[llvm] r345831 - [InstSimplify] add tests for icmp fold bug (PR39510); NFC
Sanjay Patel via llvm-commits
llvm-commits at lists.llvm.org
Thu Nov 1 07:03:23 PDT 2018
Author: spatel
Date: Thu Nov 1 07:03:22 2018
New Revision: 345831
URL: http://llvm.org/viewvc/llvm-project?rev=345831&view=rev
Log:
[InstSimplify] add tests for icmp fold bug (PR39510); NFC
Verify that set intersection/subset are not confused.
Modified:
llvm/trunk/test/Transforms/InstSimplify/icmp-abs-nabs.ll
Modified: llvm/trunk/test/Transforms/InstSimplify/icmp-abs-nabs.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstSimplify/icmp-abs-nabs.ll?rev=345831&r1=345830&r2=345831&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/InstSimplify/icmp-abs-nabs.ll (original)
+++ llvm/trunk/test/Transforms/InstSimplify/icmp-abs-nabs.ll Thu Nov 1 07:03:22 2018
@@ -399,3 +399,38 @@ define <3 x i1> @nabs_is_not_over_0_sle_
ret <3 x i1> %r
}
+; Negative test - intersection does not equal absolute value range.
+; PR39510 - https://bugs.llvm.org/show_bug.cgi?id=39510
+
+define i1 @abs_no_intersection(i32 %a) {
+; CHECK-LABEL: @abs_no_intersection(
+; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[A:%.*]], 0
+; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 0, [[A]]
+; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[A]]
+; CHECK-NEXT: [[R:%.*]] = icmp ne i32 [[COND]], 2
+; CHECK-NEXT: ret i1 [[R]]
+;
+ %cmp = icmp slt i32 %a, 0
+ %sub = sub nsw i32 0, %a
+ %cond = select i1 %cmp, i32 %sub, i32 %a
+ %r = icmp ne i32 %cond, 2
+ ret i1 %r
+}
+
+; Negative test - intersection does not equal absolute value range.
+
+define i1 @nabs_no_intersection(i32 %a) {
+; CHECK-LABEL: @nabs_no_intersection(
+; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i32 [[A:%.*]], 0
+; CHECK-NEXT: [[SUB:%.*]] = sub i32 0, [[A]]
+; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[SUB]], i32 [[A]]
+; CHECK-NEXT: [[R:%.*]] = icmp ne i32 [[COND]], -2
+; CHECK-NEXT: ret i1 [[R]]
+;
+ %cmp = icmp sgt i32 %a, 0
+ %sub = sub i32 0, %a
+ %cond = select i1 %cmp, i32 %sub, i32 %a
+ %r = icmp ne i32 %cond, -2
+ ret i1 %r
+}
+
More information about the llvm-commits
mailing list