diff options
Diffstat (limited to 'llvm/test/Transforms/IndVarSimplify/rewrite-loop-exit-value.ll')
-rw-r--r-- | llvm/test/Transforms/IndVarSimplify/rewrite-loop-exit-value.ll | 63 |
1 files changed, 0 insertions, 63 deletions
diff --git a/llvm/test/Transforms/IndVarSimplify/rewrite-loop-exit-value.ll b/llvm/test/Transforms/IndVarSimplify/rewrite-loop-exit-value.ll deleted file mode 100644 index 6993946b951..00000000000 --- a/llvm/test/Transforms/IndVarSimplify/rewrite-loop-exit-value.ll +++ /dev/null @@ -1,63 +0,0 @@ -; RUN: opt -indvars -instcombine -S < %s | FileCheck %s - -;; Test that loop's exit value is rewritten to its initial -;; value from loop preheader -define i32 @test1(i32* %var) { -; CHECK-LABEL: @test1 -entry: - %cond = icmp eq i32* %var, null - br label %header - -header: - %phi_indvar = phi i32 [0, %entry], [%indvar, %loop] - br i1 %cond, label %loop, label %exit - -loop: - %indvar = add i32 %phi_indvar, 1 - br label %header - -exit: -; CHECK: ret i32 0 - ret i32 %phi_indvar -} - -;; Test that we can not rewrite loop exit value if it's not -;; a phi node (%indvar is an add instruction in this test). -define i32 @test2(i32* %var) { -; CHECK-LABEL: @test2 -entry: - %cond = icmp eq i32* %var, null - br label %header - -header: - %phi_indvar = phi i32 [0, %entry], [%indvar, %header] - %indvar = add i32 %phi_indvar, 1 - br i1 %cond, label %header, label %exit - -exit: -; CHECK: ret i32 %indvar - ret i32 %indvar -} - -;; Test that we can not rewrite loop exit value if the condition -;; is not in loop header. -define i32 @test3(i32* %var) { -; CHECK-LABEL: @test3 -entry: - %cond1 = icmp eq i32* %var, null - br label %header - -header: - %phi_indvar = phi i32 [0, %entry], [%indvar, %header], [%indvar, %body] - %indvar = add i32 %phi_indvar, 1 - %cond2 = icmp eq i32 %indvar, 10 - br i1 %cond2, label %header, label %body - -body: - br i1 %cond1, label %header, label %exit - -exit: -; CHECK: ret i32 %phi_indvar - ret i32 %phi_indvar -} - |