Support opaque pointers in PromoteBools pass

Fixed issue with opaque pointers in PromoteBools pass

Author: agrabezh

IGC/AdaptorOCL/preprocess_spvir/PromoteBools.cpp

@@ -520,19 +520,15 @@ Value* PromoteBools::getOrCreatePromotedValue(Value* value)
     if (newValue != value)
     {
         promotedValuesCache[value] = newValue;
-        if (value->getType() == newValue->getType())
-        {
-            value->replaceAllUsesWith(newValue);
-        }
-        else
-        {
-            for (const auto& user : value->users())
-            {
-                if (!wasPromoted(user))
-                {
-                    promotionQueue.push(user);
-                }
+        auto ty = value->getType();
+        if (!IGCLLVM::isOpaquePointerTy(ty) && ty == newValue->getType()) {
+          value->replaceAllUsesWith(newValue);
+        } else {
+          for (const auto &user : value->users()) {
+            if (!wasPromoted(user)) {
+              promotionQueue.push(user);
             }
+          }
         }
     }
     return newValue;

IGC/Compiler/tests/PromoteBools/opaque_pointers.ll

@@ -0,0 +1,27 @@
+;=========================== begin_copyright_notice ============================
+;
+; Copyright (C) 2025 Intel Corporation
+;
+; SPDX-License-Identifier: MIT
+;
+;============================ end_copyright_notice =============================
+
+; RUN: igc_opt --typed-pointers -igc-promote-bools -S %s | FileCheck %s
+; RUN: igc_opt --opaque-pointers -igc-promote-bools -S %s | FileCheck %s
+
+target triple = "spir64-unknown-unknown"
+
+; CHECK-LABEL: define spir_func float @readSrcPixelSingle() {
+; CHECK-NEXT:  call spir_func zeroext i8 @isBorder()
+
+; CHECK-LABEL: define spir_func zeroext i8 @isBorder() {
+; CHECK-NEXT:  ret i8 0
+
+define spir_func zeroext i1 @isBorder() {
+  ret i1 false
+}
+
+define spir_func float @readSrcPixelSingle() {
+  %call = call spir_func zeroext i1 @isBorder()
+  ret float 0.000000e+00
+}