[TwoAddressInstructionPass] When looking for a 3 addr conversion after commuting...
[oota-llvm.git] / test / Transforms / LoopStrengthReduce / ops_after_indvar.ll
1 ; Check that this test makes INDVAR and related stuff dead, because P[indvar]
2 ; gets reduced, making INDVAR dead.
3
4 ; RUN: opt < %s -loop-reduce -S | not grep INDVAR
5
6 target datalayout = "e-p:32:32:32-n32"
7
8 declare i1 @pred()
9
10 declare i32 @getidx()
11
12 define void @test([10000 x i32]* %P) {
13 ; <label>:0
14         br label %Loop
15 Loop:           ; preds = %Loop, %0
16         %INDVAR = phi i32 [ 0, %0 ], [ %INDVAR2, %Loop ]                ; <i32> [#uses=2]
17         %idx = call i32 @getidx( )              ; <i32> [#uses=1]
18         %STRRED = getelementptr [10000 x i32], [10000 x i32]* %P, i32 %INDVAR, i32 %idx         ; <i32*> [#uses=1]
19         store i32 0, i32* %STRRED
20         %INDVAR2 = add i32 %INDVAR, 1           ; <i32> [#uses=1]
21         %cond = call i1 @pred( )                ; <i1> [#uses=1]
22         br i1 %cond, label %Loop, label %Out
23 Out:            ; preds = %Loop
24         ret void
25 }
26