diff options
Diffstat (limited to 'test/Transforms/IndVarSimplify/2003-09-23-NotAtTop.ll')
-rw-r--r-- | test/Transforms/IndVarSimplify/2003-09-23-NotAtTop.ll | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/test/Transforms/IndVarSimplify/2003-09-23-NotAtTop.ll b/test/Transforms/IndVarSimplify/2003-09-23-NotAtTop.ll new file mode 100644 index 0000000..da22cf2 --- /dev/null +++ b/test/Transforms/IndVarSimplify/2003-09-23-NotAtTop.ll @@ -0,0 +1,17 @@ +; RUN: llvm-as < %s | opt -indvars | llvm-dis | %prcontext Loop: 1 | grep %indvar + +; The indvar simplification code should ensure that the first PHI in the block +; is the canonical one! + +define i32 @test() { +; <label>:0 + br label %Loop + +Loop: ; preds = %Loop, %0 + %NonIndvar = phi i32 [ 200, %0 ], [ %NonIndvarNext, %Loop ] ; <i32> [#uses=1] + %Canonical = phi i32 [ 0, %0 ], [ %CanonicalNext, %Loop ] ; <i32> [#uses=1] + %NonIndvarNext = sdiv i32 %NonIndvar, 2 ; <i32> [#uses=1] + %CanonicalNext = add i32 %Canonical, 1 ; <i32> [#uses=1] + br label %Loop +} + |