Add ZExt instruction on Cmp bool promotion

After promoting Cmp instructions of type i1 all uses are replaced with extended to i8 value

Author: tuStroma

IGC/AdaptorOCL/preprocess_spvir/PromoteBools.cpp

@@ -412,6 +412,10 @@ Value* PromoteBools::getOrCreatePromotedValue(Value* value)
     {
         newValue = promoteICmp(icmp);
     }
+    else if (auto fcmp = dyn_cast<FCmpInst>(value))
+    {
+        newValue = promoteFCmp(fcmp);
+    }
     else if (auto inlineAsm = dyn_cast<InlineAsm>(value))
     {
         newValue = promoteInlineAsm(inlineAsm);
@@ -481,6 +485,17 @@ Value* PromoteBools::getOrCreatePromotedValue(Value* value)
         }
     }
 
+    if (typeNeedsPromotion(newValue->getType()))
+    {
+        if (auto instruction = dyn_cast<Instruction>(newValue))
+        {
+            ZExtInst* zext = new ZExtInst(newValue, getOrCreatePromotedType(newValue->getType()), "");
+            zext->insertAfter(instruction);
+            if (newValue == value)
+                return zext;
+        }
+    }
+
     if (newValue != value)
     {
         promotedValuesCache[value] = newValue;
@@ -1009,6 +1024,35 @@ ICmpInst* PromoteBools::promoteICmp(ICmpInst* icmp)
     return newICmp;
 }
 
+FCmpInst* PromoteBools::promoteFCmp(FCmpInst* fcmp)
+{
+    if (!fcmp)
+    {
+        return nullptr;
+    }
+
+    auto op0 = fcmp->getOperand(0);
+    auto op1 = fcmp->getOperand(1);
+
+    if (!wasPromotedAnyOf(fcmp->operands()) && !typeNeedsPromotion(op0->getType()))
+    {
+        return fcmp;
+    }
+
+    auto promotedOp0 = convertI1ToI8(getOrCreatePromotedValue(op0), fcmp);
+    auto promotedOp1 = convertI1ToI8(getOrCreatePromotedValue(op1), fcmp);
+
+    auto newFCmp = new FCmpInst(
+        fcmp,
+        fcmp->getPredicate(),
+        promotedOp0,
+        promotedOp1,
+        ""
+    );
+    newFCmp->setDebugLoc(fcmp->getDebugLoc());
+    return newFCmp;
+}
+
 InlineAsm* PromoteBools::promoteInlineAsm(InlineAsm* inlineAsm)
 {
     if (!inlineAsm || !typeNeedsPromotion(inlineAsm->getFunctionType()))

IGC/AdaptorOCL/preprocess_spvir/PromoteBools.h

@@ -93,6 +93,7 @@ namespace IGC
         llvm::ExtractValueInst* promoteExtractValue(llvm::ExtractValueInst* extractValue);
         llvm::GetElementPtrInst* promoteGetElementPtr(llvm::GetElementPtrInst* getElementPtr);
         llvm::ICmpInst* promoteICmp(llvm::ICmpInst* icmp);
+        llvm::FCmpInst* promoteFCmp(llvm::FCmpInst* fcmp);
         llvm::InlineAsm* promoteInlineAsm(llvm::InlineAsm* inlineAsm);
         llvm::InsertValueInst* promoteInsertValue(llvm::InsertValueInst* insertValue);
         llvm::LoadInst* promoteLoad(llvm::LoadInst* load);

IGC/Compiler/tests/PromoteBools/fcmp.ll

@@ -0,0 +1,22 @@
+;=========================== begin_copyright_notice ============================
+;
+; Copyright (C) 2023 Intel Corporation
+;
+; SPDX-License-Identifier: MIT
+;
+;============================ end_copyright_notice =============================
+
+; RUN: igc_opt -igc-promote-bools -S %s -o %t.ll
+; RUN: FileCheck %s --input-file=%t.ll
+
+define spir_kernel void @fcmp() {
+  %C3 = fcmp oeq float zeroinitializer, zeroinitializer
+  store i1 %C3, i1* null, align 1
+  ret void
+}
+
+; CHECK-LABEL:  define spir_kernel void @fcmp()
+
+; CHECK:        [[TMP0:%.*]] = fcmp oeq float
+; CHECK-NEXT:   [[TMP1:%.*]] = zext i1 [[TMP0]] to i8
+; CHECK-NEXT:   store i8 [[TMP1]], i8* null, align 1