[llvm] 28aa60a - [InstCombine] add test with more unreachable insts; NFC
Sanjay Patel via llvm-commits
llvm-commits at lists.llvm.org
Mon Sep 7 05:20:02 PDT 2020
Author: Sanjay Patel
Date: 2020-09-07T08:19:43-04:00
New Revision: 28aa60aae25b7e46804deae909b29b66c1b41d95
URL: https://github.com/llvm/llvm-project/commit/28aa60aae25b7e46804deae909b29b66c1b41d95
DIFF: https://github.com/llvm/llvm-project/commit/28aa60aae25b7e46804deae909b29b66c1b41d95.diff
LOG: [InstCombine] add test with more unreachable insts; NFC
Goes with D87149
Added:
Modified:
llvm/test/Transforms/InstCombine/assume.ll
Removed:
################################################################################
diff --git a/llvm/test/Transforms/InstCombine/assume.ll b/llvm/test/Transforms/InstCombine/assume.ll
index f8a7bb01ff64..b55b1c21c0b9 100644
--- a/llvm/test/Transforms/InstCombine/assume.ll
+++ b/llvm/test/Transforms/InstCombine/assume.ll
@@ -597,6 +597,51 @@ exit:
unreachable
}
+define i32 @unreachable_assumes_and_store(i32 %x, i32 %y, i32* %p) {
+; CHECK-LABEL: @unreachable_assumes_and_store(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[CMP0:%.*]] = icmp sgt i32 [[X:%.*]], 1
+; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i32 [[Y:%.*]], 1
+; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP0]], [[CMP1]]
+; CHECK-NEXT: tail call void @llvm.assume(i1 [[OR]])
+; CHECK-NEXT: [[CMP2:%.*]] = icmp eq i32 [[X]], 1
+; CHECK-NEXT: br i1 [[CMP2]], label [[IF:%.*]], label [[EXIT:%.*]]
+; CHECK: if:
+; CHECK-NEXT: [[A:%.*]] = and i32 [[Y]], -2
+; CHECK-NEXT: [[CMP3:%.*]] = icmp ne i32 [[A]], 104
+; CHECK-NEXT: tail call void @llvm.assume(i1 [[CMP3]])
+; CHECK-NEXT: br label [[EXIT]]
+; CHECK: exit:
+; CHECK-NEXT: [[CMP4:%.*]] = icmp eq i32 [[X]], 2
+; CHECK-NEXT: tail call void @llvm.assume(i1 [[CMP4]])
+; CHECK-NEXT: [[CMP5:%.*]] = icmp ugt i32 [[Y]], 42
+; CHECK-NEXT: tail call void @llvm.assume(i1 [[CMP5]])
+; CHECK-NEXT: store i32 [[X]], i32* [[P:%.*]], align 4
+; CHECK-NEXT: unreachable
+;
+entry:
+ %cmp0 = icmp sgt i32 %x, 1
+ %cmp1 = icmp eq i32 %y, 1
+ %or = or i1 %cmp0, %cmp1
+ tail call void @llvm.assume(i1 %or)
+ %cmp2 = icmp eq i32 %x, 1
+ br i1 %cmp2, label %if, label %exit
+
+if:
+ %a = and i32 %y, -2
+ %cmp3 = icmp ne i32 %a, 104
+ tail call void @llvm.assume(i1 %cmp3)
+ br label %exit
+
+exit:
+ %cmp4 = icmp eq i32 %x, 2
+ tail call void @llvm.assume(i1 %cmp4)
+ %cmp5 = icmp ugt i32 %y, 42
+ tail call void @llvm.assume(i1 %cmp5)
+ store i32 %x, i32* %p
+ unreachable
+}
+
declare void @llvm.dbg.value(metadata, metadata, metadata)
!llvm.dbg.cu = !{!0}
More information about the llvm-commits
mailing list