When removing a function from the function set and adding it to deferred, we
[llvm.git] / test / Transforms / LoopStrengthReduce / invariant_value_first_arg.ll
blobe2aed78c32e3c10d97071c937961673ea994c3ad
1 ; Check that the index of 'P[outer]' is pulled out of the loop.
2 ; RUN: opt < %s -loop-reduce -S -default-data-layout="e-p:32:32:32" | \
3 ; RUN:   not grep {getelementptr.*%outer.*%INDVAR}
5 declare i1 @pred()
7 define void @test([10000 x i32]* %P, i32 %outer) {
8 ; <label>:0
9         br label %Loop
10 Loop:           ; preds = %Loop, %0
11         %INDVAR = phi i32 [ 0, %0 ], [ %INDVAR2, %Loop ]                ; <i32> [#uses=2]
12         %STRRED = getelementptr [10000 x i32]* %P, i32 %outer, i32 %INDVAR              ; <i32*> [#uses=1]
13         store i32 0, i32* %STRRED
14         %INDVAR2 = add i32 %INDVAR, 1           ; <i32> [#uses=1]
15         %cond = call i1 @pred( )                ; <i1> [#uses=1]
16         br i1 %cond, label %Loop, label %Out
17 Out:            ; preds = %Loop
18         ret void