[llvm] e2f6ebe - [tests] precommit tests for D145846

[via llvm-commits]

Author: Zhongyunde
Date: 2023-03-22T19:47:35+08:00
New Revision: e2f6ebe8ca1563711ffecfb8102b0611f99e1cbb

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

LOG: [tests] precommit tests for D145846

Added: 
    

Modified: 
    llvm/test/Transforms/InstCombine/icmp-sub.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/InstCombine/icmp-sub.ll b/llvm/test/Transforms/InstCombine/icmp-sub.ll
index ab64934fcb554..68f158508cc94 100644
--- a/llvm/test/Transforms/InstCombine/icmp-sub.ll
+++ b/llvm/test/Transforms/InstCombine/icmp-sub.ll
@@ -561,3 +561,88 @@ bb_loop:
 bb_exit:
   ret void
 }
+
+; https://alive2.llvm.org/ce/z/D2Aph4
+define i1 @PR60818_ne(i32 %a) {
+; CHECK-LABEL: @PR60818_ne(
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    [[SUB:%.*]] = sub i32 0, [[A:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp ne i32 [[SUB]], [[A]]
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+entry:
+  %sub = sub i32 0, %a
+  %cmp = icmp ne i32 %sub, %a
+  ret i1 %cmp
+}
+
+define i1 @PR60818_eq(i32 %a) {
+; CHECK-LABEL: @PR60818_eq(
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    [[SUB:%.*]] = sub i32 0, [[A:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[SUB]], [[A]]
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+entry:
+  %sub = sub i32 0, %a
+  %cmp = icmp eq i32 %sub, %a
+  ret i1 %cmp
+}
+
+define i1 @PR60818_eq_commuted(i32 %x) {
+; CHECK-LABEL: @PR60818_eq_commuted(
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    [[A:%.*]] = mul i32 [[X:%.*]], 43
+; CHECK-NEXT:    [[SUB:%.*]] = sub i32 0, [[A]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[A]], [[SUB]]
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+entry:
+  %a = mul i32 %x, 43         ; thwart complexity-based canonicalization
+  %sub = sub i32 0, %a
+  %cmp = icmp eq i32 %a, %sub ; negation on RHS
+  ret i1 %cmp
+}
+
+define <2 x i1> @PR60818_ne_vector(<2 x i32> %a) {
+; CHECK-LABEL: @PR60818_ne_vector(
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    [[SUB:%.*]] = sub <2 x i32> zeroinitializer, [[A:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp ne <2 x i32> [[SUB]], [[A]]
+; CHECK-NEXT:    ret <2 x i1> [[CMP]]
+;
+entry:
+  %sub = sub <2 x i32> zeroinitializer, %a
+  %cmp = icmp ne <2 x i32> %a, %sub
+  ret <2 x i1> %cmp
+}
+
+; Negative as multi-use
+define i1 @PR60818_eq_multi_use(i32 %a) {
+; CHECK-LABEL: @PR60818_eq_multi_use(
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    [[SUB:%.*]] = sub i32 0, [[A:%.*]]
+; CHECK-NEXT:    call void @use(i32 [[SUB]])
+; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[SUB]], [[A]]
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+entry:
+  %sub = sub i32 0, %a
+  call void @use(i32 %sub)  ; add new user
+  %cmp = icmp eq i32 %sub, %a
+  ret i1 %cmp
+}
+
+; Negative as non-equality predicate
+define i1 @PR60818_sgt(i32 %a) {
+; CHECK-LABEL: @PR60818_sgt(
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    [[SUB:%.*]] = sub i32 0, [[A:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt i32 [[SUB]], [[A]]
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+entry:
+  %sub = sub i32 0, %a
+  %cmp = icmp sgt i32 %sub, %a
+  ret i1 %cmp
+}