diff options
| author | Richard Trieu <rtrieu@google.com> | 2015-11-05 23:20:36 +0000 |
|---|---|---|
| committer | Richard Trieu <rtrieu@google.com> | 2015-11-05 23:20:36 +0000 |
| commit | f8978e1a74026ac986daf62cac98d0dd6ff11bab (patch) | |
| tree | 7d26478a36f9bdab4c77bfd71f161f032d655dba /llvm/test | |
| parent | f2a37eeb8f43d1c39e0857198f7a6195d9fcc5d5 (diff) | |
| download | bcm5719-llvm-f8978e1a74026ac986daf62cac98d0dd6ff11bab.tar.gz bcm5719-llvm-f8978e1a74026ac986daf62cac98d0dd6ff11bab.zip | |
Revert r251050 to fix miscompile when running Clang -O1
See bug for details: https://llvm.org/bugs/show_bug.cgi?id=25421
Some comparisons were incorrectly replaced with a constant value.
llvm-svn: 252231
Diffstat (limited to 'llvm/test')
| -rw-r--r-- | llvm/test/Transforms/IndVarSimplify/eliminate-comparison.ll | 58 |
1 files changed, 0 insertions, 58 deletions
diff --git a/llvm/test/Transforms/IndVarSimplify/eliminate-comparison.ll b/llvm/test/Transforms/IndVarSimplify/eliminate-comparison.ll index 612f01e3cad..89f625111d4 100644 --- a/llvm/test/Transforms/IndVarSimplify/eliminate-comparison.ll +++ b/llvm/test/Transforms/IndVarSimplify/eliminate-comparison.ll @@ -447,64 +447,6 @@ define void @func_20(i32* %length.ptr) { ret void } -define void @func_21(i32* %length.ptr) { -; CHECK-LABEL: @func_21( - -; This checks that the backedge condition, (I + 1) < Length - 1 implies -; (I + 1) < Length - entry: - %length = load i32, i32* %length.ptr, !range !0 - %lim = sub i32 %length, 1 - %entry.cond = icmp sgt i32 %length, 1 - br i1 %entry.cond, label %loop, label %leave - - loop: -; CHECK: loop: - %iv = phi i32 [ 0, %entry ], [ %iv.inc, %be ] - %iv.inc = add i32 %iv, 1 - %range.check = icmp slt i32 %iv, %length - br i1 %range.check, label %be, label %leave -; CHECK: br i1 true, label %be, label %leave.loopexit -; CHECK: be: - - be: - call void @side_effect() - %be.cond = icmp slt i32 %iv.inc, %lim - br i1 %be.cond, label %loop, label %leave - - leave: - ret void -} - -define void @func_22(i32* %length.ptr) { -; CHECK-LABEL: @func_22( - -; This checks that the backedge condition, (I + 1) < Length - 1 implies -; (I + 1) < Length - entry: - %length = load i32, i32* %length.ptr, !range !0 - %lim = sub i32 %length, 1 - %entry.cond = icmp sgt i32 %length, 1 - br i1 %entry.cond, label %loop, label %leave - - loop: -; CHECK: loop: - %iv = phi i32 [ 0, %entry ], [ %iv.inc, %be ] - %iv.inc = add i32 %iv, 1 - %range.check = icmp sle i32 %iv, %length - br i1 %range.check, label %be, label %leave -; CHECK: br i1 true, label %be, label %leave.loopexit -; CHECK: be: - - be: - call void @side_effect() - %be.cond = icmp sle i32 %iv.inc, %lim - br i1 %be.cond, label %loop, label %leave - - leave: - ret void -} - define void @func_23(i32* %length.ptr) { ; CHECK-LABEL: @func_23( entry: |
