[llvm] 3d14000 - [ValueTracking] Test for not in dominating condition. (NFC)

[Andreas Jonson via llvm-commits]

Author: Andreas Jonson
Date: 2025-02-09T18:16:51+01:00
New Revision: 3d140004c70e2bc79416825e43207e8b711c56d9

URL: https://github.com/llvm/llvm-project/commit/3d140004c70e2bc79416825e43207e8b711c56d9
DIFF: https://github.com/llvm/llvm-project/commit/3d140004c70e2bc79416825e43207e8b711c56d9.diff

LOG: [ValueTracking] Test for not in dominating condition. (NFC)

Added: 
    

Modified: 
    llvm/test/Transforms/InstCombine/fpclass-from-dom-cond.ll
    llvm/test/Transforms/InstCombine/known-bits.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/InstCombine/fpclass-from-dom-cond.ll b/llvm/test/Transforms/InstCombine/fpclass-from-dom-cond.ll
index 78329faf341727..e6df7fab356b4a 100644
--- a/llvm/test/Transforms/InstCombine/fpclass-from-dom-cond.ll
+++ b/llvm/test/Transforms/InstCombine/fpclass-from-dom-cond.ll
@@ -518,3 +518,32 @@ if.else:
 if.end:
   ret i1 false
 }
+
+define i1 @test_inv_and(float %x, i1 %cond2) {
+; CHECK-LABEL: define i1 @test_inv_and(
+; CHECK-SAME: float [[X:%.*]], i1 [[COND2:%.*]]) {
+; CHECK-NEXT:    [[COND:%.*]] = fcmp oge float [[X]], -1.000000e+00
+; CHECK-NEXT:    call void @use(i1 [[COND]])
+; CHECK-NEXT:    [[NOT:%.*]] = xor i1 [[COND]], true
+; CHECK-NEXT:    [[AND:%.*]] = and i1 [[COND2]], [[NOT]]
+; CHECK-NEXT:    br i1 [[AND]], label [[IF_THEN:%.*]], label [[IF_ELSE:%.*]]
+; CHECK:       if.then:
+; CHECK-NEXT:    [[RET1:%.*]] = fcmp oeq float [[X]], 0x7FF0000000000000
+; CHECK-NEXT:    ret i1 [[RET1]]
+; CHECK:       if.else:
+; CHECK-NEXT:    ret i1 false
+;
+  %cond = fcmp oge float %x, -1.0
+  %neg = fneg float %x
+  call void @use(i1 %cond)
+  %not = xor i1 %cond, true
+  %and = and i1 %not, %cond2
+  br i1 %and, label %if.then, label %if.else
+if.then:
+  %ret1 = fcmp oeq float %neg, 0xFFF0000000000000
+  ret i1 %ret1
+if.else:
+  ret i1 false
+}
+
+declare void @use(i1)

diff  --git a/llvm/test/Transforms/InstCombine/known-bits.ll b/llvm/test/Transforms/InstCombine/known-bits.ll
index 5b36684d7149b2..7563a63f607f04 100644
--- a/llvm/test/Transforms/InstCombine/known-bits.ll
+++ b/llvm/test/Transforms/InstCombine/known-bits.ll
@@ -2365,6 +2365,37 @@ exit:
   ret i8 %or2
 }
 
+define i8 @test_inv_cond_and(i8 %x, i1 %c) {
+; CHECK-LABEL: @test_inv_cond_and(
+; CHECK-NEXT:    [[AND:%.*]] = and i8 [[X:%.*]], 3
+; CHECK-NEXT:    [[CMP:%.*]] = icmp ne i8 [[AND]], 0
+; CHECK-NEXT:    call void @use(i1 [[CMP]])
+; 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]], -4
+; CHECK-NEXT:    ret i8 [[OR1]]
+; CHECK:       exit:
+; CHECK-NEXT:    [[OR2:%.*]] = or i8 [[X]], -4
+; CHECK-NEXT:    ret i8 [[OR2]]
+;
+  %and = and i8 %x, 3
+  %cmp = icmp ne i8 %and, 0
+  call void @use(i1 %cmp)
+  %not = xor i1 %cmp, true
+  %cond = and i1 %not, %c
+  br i1 %cond, label %if, label %exit
+
+if:
+  %or1 = or i8 %x, -4
+  ret i8 %or1
+
+exit:
+  %or2 = or i8 %x, -4
+  ret i8 %or2
+}
+
 declare void @dummy()
 declare void @use(i1)
 declare void @sink(i8)