[llvm] 09a500b - [ValueTracking] more test of trunc to i1 as condition in dominating condition. (NFC)

[Andreas Jonson via llvm-commits]

Author: Andreas Jonson
Date: 2025-02-09T13:57:41+01:00
New Revision: 09a500b3db5e99db4b5c7d5ac95c3aa99c191adf

URL: https://github.com/llvm/llvm-project/commit/09a500b3db5e99db4b5c7d5ac95c3aa99c191adf
DIFF: https://github.com/llvm/llvm-project/commit/09a500b3db5e99db4b5c7d5ac95c3aa99c191adf.diff

LOG: [ValueTracking] more test of trunc to i1 as condition in dominating condition. (NFC)

Added: 
    

Modified: 
    llvm/test/Transforms/InstCombine/known-bits.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/InstCombine/known-bits.ll b/llvm/test/Transforms/InstCombine/known-bits.ll
index a3872fefecf3b3..5b36684d7149b2 100644
--- a/llvm/test/Transforms/InstCombine/known-bits.ll
+++ b/llvm/test/Transforms/InstCombine/known-bits.ll
@@ -2313,6 +2313,58 @@ if.else:
   ret i8 %c
 }
 
+define i8 @test_trunc_cond_and(i8 %x, i1 %c) {
+; CHECK-LABEL: @test_trunc_cond_and(
+; CHECK-NEXT:    [[CMP:%.*]] = trunc i8 [[X:%.*]] to i1
+; CHECK-NEXT:    [[COND:%.*]] = and i1 [[C:%.*]], [[CMP]]
+; CHECK-NEXT:    br i1 [[COND]], label [[IF:%.*]], label [[EXIT:%.*]]
+; CHECK:       if:
+; CHECK-NEXT:    [[OR1:%.*]] = or i8 [[X]], -2
+; CHECK-NEXT:    ret i8 [[OR1]]
+; CHECK:       exit:
+; CHECK-NEXT:    [[OR2:%.*]] = or i8 [[X]], -2
+; CHECK-NEXT:    ret i8 [[OR2]]
+;
+  %cmp = trunc i8 %x to i1
+  %cond = and i1 %cmp, %c
+  br i1 %cond, label %if, label %exit
+
+if:
+  %or1 = or i8 %x, -2
+  ret i8 %or1
+
+exit:
+  %or2 = or i8 %x, -2
+  ret i8 %or2
+}
+
+define i8 @test_not_trunc_cond_and(i8 %x, i1 %c) {
+; CHECK-LABEL: @test_not_trunc_cond_and(
+; CHECK-NEXT:    [[CMP:%.*]] = trunc i8 [[X:%.*]] to i1
+; CHECK-NEXT:    [[NOT:%.*]] = xor i1 [[CMP]], true
+; CHECK-NEXT:    [[COND:%.*]] = and i1 [[C:%.*]], [[NOT]]
+; CHECK-NEXT:    br i1 [[COND]], label [[IF:%.*]], label [[EXIT:%.*]]
+; CHECK:       if:
+; CHECK-NEXT:    [[OR1:%.*]] = or i8 [[X]], -2
+; CHECK-NEXT:    ret i8 [[OR1]]
+; CHECK:       exit:
+; CHECK-NEXT:    [[OR2:%.*]] = or i8 [[X]], -2
+; CHECK-NEXT:    ret i8 [[OR2]]
+;
+  %cmp = trunc i8 %x to i1
+  %not = xor i1 %cmp, true
+  %cond = and i1 %not, %c
+  br i1 %cond, label %if, label %exit
+
+if:
+  %or1 = or i8 %x, -2
+  ret i8 %or1
+
+exit:
+  %or2 = or i8 %x, -2
+  ret i8 %or2
+}
+
 declare void @dummy()
 declare void @use(i1)
 declare void @sink(i8)