diff options
| author | Max Kazantsev <mkazantsev@azul.com> | 2021-03-19 14:17:35 +0700 |
|---|---|---|
| committer | Max Kazantsev <mkazantsev@azul.com> | 2021-03-19 14:17:35 +0700 |
| commit | 4ee4f9bf4ae49df25b46351a0bfca3a36e7bf82d (patch) | |
| tree | 69628a2eb97077e47f012c3863b5c76137179b76 | |
| parent | 8eefa07fcfe7b5d4d5827c071e494ecb78c7815c (diff) | |
| download | llvm-4ee4f9bf4ae49df25b46351a0bfca3a36e7bf82d.zip llvm-4ee4f9bf4ae49df25b46351a0bfca3a36e7bf82d.tar.gz llvm-4ee4f9bf4ae49df25b46351a0bfca3a36e7bf82d.tar.bz2 | |
[Test] Precommit test
| -rw-r--r-- | llvm/test/Transforms/IndVarSimplify/eliminate-comparison.ll | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/llvm/test/Transforms/IndVarSimplify/eliminate-comparison.ll b/llvm/test/Transforms/IndVarSimplify/eliminate-comparison.ll index 6e0d737..c367176 100644 --- a/llvm/test/Transforms/IndVarSimplify/eliminate-comparison.ll +++ b/llvm/test/Transforms/IndVarSimplify/eliminate-comparison.ll @@ -1042,5 +1042,56 @@ exit: ret i32 %iv } +define i32 @func_27(i32 %start) { +; CHECK-LABEL: @func_27( +; CHECK-NEXT: entry: +; CHECK-NEXT: br label [[LOOP:%.*]] +; CHECK: loop: +; CHECK-NEXT: [[IV:%.*]] = phi i32 [ [[START:%.*]], [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[BACKEDGE:%.*]] ] +; CHECK-NEXT: [[C1:%.*]] = icmp slt i32 [[IV]], 2 +; CHECK-NEXT: [[C2:%.*]] = icmp slt i32 [[IV]], 1 +; CHECK-NEXT: [[C3:%.*]] = icmp slt i32 [[IV]], 0 +; CHECK-NEXT: br i1 [[C1]], label [[CHECKED_1:%.*]], label [[FAIL:%.*]] +; CHECK: checked.1: +; CHECK-NEXT: br i1 [[C2]], label [[CHECKED_2:%.*]], label [[FAIL]] +; CHECK: checked.2: +; CHECK-NEXT: br i1 [[C3]], label [[BACKEDGE]], label [[FAIL]] +; CHECK: backedge: +; CHECK-NEXT: [[IV_NEXT]] = add i32 [[IV]], 758394 +; CHECK-NEXT: [[LOOP_COND:%.*]] = call i1 @cond_func() +; CHECK-NEXT: br i1 [[LOOP_COND]], label [[LOOP]], label [[EXIT:%.*]] +; CHECK: fail: +; CHECK-NEXT: unreachable +; CHECK: exit: +; CHECK-NEXT: [[IV_LCSSA1:%.*]] = phi i32 [ [[IV]], [[BACKEDGE]] ] +; CHECK-NEXT: ret i32 [[IV_LCSSA1]] +; +entry: + br label %loop + +loop: + %iv = phi i32 [%start, %entry], [%iv.next, %backedge] + %c1 = icmp slt i32 %iv, 2 + %c2 = icmp slt i32 %iv, 1 + %c3 = icmp slt i32 %iv, 0 + br i1 %c1, label %checked.1, label %fail + +checked.1: + br i1 %c2, label %checked.2, label %fail + +checked.2: + br i1 %c3, label %backedge, label %fail + +backedge: + %iv.next = add i32 %iv, 758394 + %loop.cond = call i1 @cond_func() + br i1 %loop.cond, label %loop, label %exit + +fail: + unreachable + +exit: + ret i32 %iv +} !0 = !{i32 0, i32 2147483647} |