Support opaque pointers in PromoteBools pass

PromoteBools was wrongly skipping RAUW operation on ptr function calls
after promoting their signature and adding their users to promotion
queue which lead to cleaning those users and creating undef values in
subsequent users, which then in turn created dead code which was
eliminated and caused wrong test results. Essentially this pass was
wrongly skipping RAUW when neccessary.

In cases like these:
```llvm
  @call = call ptr @some-function(i1 true)
  @bitcast = bitcast ptr @call to ptr
  @ptrtoint = ptrtoint ptr @bitcast to i64
```

After pass pre fix:
```llvm
  @0 = call ptr @some-function(i8 1)
  @ptrtoint = ptrtoint ptr undef to i64
```

Proper pass behaviour:
```llvm
  @0 = call ptr @some-function(i8 1)
  @bitcast = bitcast ptr @0 to ptr
  @ptrtoin = ptrtoint ptr @bitcast to i64
```

Author: kkreczko

IGC/AdaptorOCL/preprocess_spvir/PromoteBools.cpp

@@ -1,6 +1,6 @@
 /*========================== begin_copyright_notice ============================
 
-Copyright (C) 2022-2024 Intel Corporation
+Copyright (C) 2022-2025 Intel Corporation
 
 SPDX-License-Identifier: MIT
 
@@ -440,8 +440,18 @@ Value *PromoteBools::getOrCreatePromotedValue(Value *value) {
 
   if (newValue != value) {
     promotedValuesCache[value] = newValue;
-    auto ty = value->getType();
-    if (!IGCLLVM::isOpaquePointerTy(ty) && ty == newValue->getType()) {
+
+    bool promotionChangedType = false;
+    auto oldGV = dyn_cast<GlobalValue>(value);
+    auto newGV = dyn_cast<GlobalValue>(newValue);
+
+    if (oldGV && newGV) {
+      promotionChangedType = oldGV->getValueType() != newGV->getValueType();
+    }
+
+    bool typesMatch = (value->getType() == newValue->getType());
+
+    if (!promotionChangedType && typesMatch) {
       value->replaceAllUsesWith(newValue);
     } else {
       for (const auto &user : value->users()) {

IGC/Compiler/tests/PromoteBools/opaque-ptr-users-no-undef.ll

@@ -0,0 +1,44 @@
+;=========================== begin_copyright_notice ============================
+;
+; Copyright (C) 2025 Intel Corporation
+;
+; SPDX-License-Identifier: MIT
+;
+;============================ end_copyright_notice =============================
+; REQUIRES: llvm-16-plus, regkeys
+; RUN: igc_opt --regkey "EnableOpaquePointersBackend=1" --igc-promote-bools -S < %s 2>&1 | FileCheck %s
+
+; This test verifies that the pass can handle nested users of opaque pointer function calls
+; without generating undef values and deleting said users unnecessarily.
+; ------------------------------------------------
+; NoUndefUsersOpaque
+; ------------------------------------------------
+
+; CHECK-LABEL: define spir_kernel void @test_kernel()
+; CHECK: call spir_func ptr addrspace(4) @joint_helper(i8 1)
+; CHECK-NOT: undef
+; CHECK: ptrtoint ptr addrspace(4)
+; CHECK: ret void
+
+; CHECK-LABEL: define internal spir_func ptr addrspace(4) @joint_helper(i8 %flag)
+; CHECK-NOT: i1
+; CHECK: alloca i8, align 1, addrspace(4)
+; CHECK: getelementptr inbounds i8, ptr addrspace(4)
+; CHECK: ret ptr addrspace(4)
+
+define spir_kernel void @test_kernel() #0 {
+entry:
+  %call  = call spir_func ptr addrspace(4) @joint_helper(i1 1) #0
+  %bc    = bitcast ptr addrspace(4) %call to ptr addrspace(4)
+  %asint = ptrtoint ptr addrspace(4) %bc to i64
+  ret void
+}
+
+define internal spir_func ptr addrspace(4) @joint_helper(i1 %flag) #0 {
+entry:
+  %base = alloca i1, align 1, addrspace(4)
+  %gep  = getelementptr inbounds i1, ptr addrspace(4) %base, i64 1
+  ret ptr addrspace(4) %gep
+}
+
+attributes #0 = { nounwind }