[InstSimplify] Add tests for PR62760 (NFC)

llvm · May 17, 2023 · 7d9f03f · 7d9f03f
1 parent 16f49ea
commit 7d9f03f
Show file tree

Hide file tree

Showing 2 changed files with 90 additions and 1 deletion.
diff --git a/llvm/test/Transforms/InstSimplify/abs_intrinsic.ll b/llvm/test/Transforms/InstSimplify/abs_intrinsic.ll
@@ -1,6 +1,7 @@
 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
 ; RUN: opt < %s -passes=instsimplify -S | FileCheck %s
 
+declare i1 @llvm.abs.i1(i1, i1)
 declare i8 @llvm.abs.i8(i8, i1)
 declare i32 @llvm.abs.i32(i32, i1)
 declare <3 x i82> @llvm.abs.v3i82(<3 x i82>, i1)
@@ -290,3 +291,42 @@ define i32 @select_nabs_of_abs_ne(i32 %x) {
   %sel = select i1 %cmp, i32 %neg, i32 %abs
   ret i32 %sel
 }
+
+; FIXME: This is a miscompile.
+define i1 @abs_i1_non_poison_eq_false(i1 %x) {
+; CHECK-LABEL: @abs_i1_non_poison_eq_false(
+; CHECK-NEXT:    ret i1 true
+;
+  %abs = call i1 @llvm.abs.i1(i1 %x, i1 false)
+  %cmp = icmp eq i1 %abs, false
+  ret i1 %cmp
+}
+
+define i1 @abs_i1_non_poison_eq_true(i1 %x) {
+; CHECK-LABEL: @abs_i1_non_poison_eq_true(
+; CHECK-NEXT:    [[ABS:%.*]] = call i1 @llvm.abs.i1(i1 [[X:%.*]], i1 false)
+; CHECK-NEXT:    ret i1 [[ABS]]
+;
+  %abs = call i1 @llvm.abs.i1(i1 %x, i1 false)
+  %cmp = icmp eq i1 %abs, true
+  ret i1 %cmp
+}
+
+define i1 @abs_i1_poison_eq_false(i1 %x) {
+; CHECK-LABEL: @abs_i1_poison_eq_false(
+; CHECK-NEXT:    ret i1 true
+;
+  %abs = call i1 @llvm.abs.i1(i1 %x, i1 true)
+  %cmp = icmp eq i1 %abs, false
+  ret i1 %cmp
+}
+
+define i1 @abs_i1_poison_eq_true(i1 %x) {
+; CHECK-LABEL: @abs_i1_poison_eq_true(
+; CHECK-NEXT:    [[ABS:%.*]] = call i1 @llvm.abs.i1(i1 [[X:%.*]], i1 true)
+; CHECK-NEXT:    ret i1 [[ABS]]
+;
+  %abs = call i1 @llvm.abs.i1(i1 %x, i1 true)
+  %cmp = icmp eq i1 %abs, true
+  ret i1 %cmp
+}
diff --git a/llvm/test/Transforms/InstSimplify/call.ll b/llvm/test/Transforms/InstSimplify/call.ll
@@ -1379,7 +1379,7 @@ declare float @fmaxf(float, float)
 
 define float @nobuiltin_fmax() {
 ; CHECK-LABEL: @nobuiltin_fmax(
-; CHECK-NEXT:    [[M:%.*]] = call float @fmaxf(float 0.000000e+00, float 1.000000e+00) #[[ATTR4:[0-9]+]]
+; CHECK-NEXT:    [[M:%.*]] = call float @fmaxf(float 0.000000e+00, float 1.000000e+00) #[[ATTR3:[0-9]+]]
 ; CHECK-NEXT:    [[R:%.*]] = call float @llvm.fabs.f32(float [[M]])
 ; CHECK-NEXT:    ret float [[R]]
 ;
@@ -1392,6 +1392,8 @@ define float @nobuiltin_fmax() {
 declare i32 @llvm.ctpop.i32(i32)
 declare <3 x i33> @llvm.ctpop.v3i33(<3 x i33>)
 declare i1 @llvm.ctpop.i1(i1)
+declare i1 @llvm.ctlz.i1(i1, i1)
+declare i1 @llvm.cttz.i1(i1, i1)
 
 define i32 @ctpop_lowbit(i32 %x) {
 ; CHECK-LABEL: @ctpop_lowbit(
@@ -1567,5 +1569,52 @@ define i1 @capture_vs_recurse(i64 %mask) {
   ret i1 %cmp
 }
 
+; FIXME: This is a miscompile.
+define i1 @ctlz_i1_non_poison_eq_false(i1 %x) {
+; CHECK-LABEL: @ctlz_i1_non_poison_eq_false(
+; CHECK-NEXT:    ret i1 true
+;
+  %ct = call i1 @llvm.ctlz.i1(i1 %x, i1 false)
+  %cmp = icmp eq i1 %ct, false
+  ret i1 %cmp
+}
+
+define i1 @ctlz_i1_poison_eq_false(i1 %x) {
+; CHECK-LABEL: @ctlz_i1_poison_eq_false(
+; CHECK-NEXT:    ret i1 true
+;
+  %ct = call i1 @llvm.ctlz.i1(i1 %x, i1 true)
+  %cmp = icmp eq i1 %ct, false
+  ret i1 %cmp
+}
+
+; FIXME: This is a miscompile.
+define i1 @cttz_i1_non_poison_eq_false(i1 %x) {
+; CHECK-LABEL: @cttz_i1_non_poison_eq_false(
+; CHECK-NEXT:    ret i1 true
+;
+  %ct = call i1 @llvm.cttz.i1(i1 %x, i1 false)
+  %cmp = icmp eq i1 %ct, false
+  ret i1 %cmp
+}
+
+define i1 @cttz_i1_poison_eq_false(i1 %x) {
+; CHECK-LABEL: @cttz_i1_poison_eq_false(
+; CHECK-NEXT:    ret i1 true
+;
+  %ct = call i1 @llvm.cttz.i1(i1 %x, i1 true)
+  %cmp = icmp eq i1 %ct, false
+  ret i1 %cmp
+}
+
+define i1 @ctpop_i1_non_poison_eq_false(i1 %x) {
+; CHECK-LABEL: @ctpop_i1_non_poison_eq_false(
+; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i1 [[X:%.*]], false
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+  %ct = call i1 @llvm.ctpop.i1(i1 %x)
+  %cmp = icmp eq i1 %ct, false
+  ret i1 %cmp
+}
 
 attributes #0 = { nobuiltin readnone }