[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / LoopStrengthReduce / ops_after_indvar.ll
blobad2caeb274f4bd2604e8c92912599fa94dd13199
1 ; Check that this test makes INDVAR and related stuff dead, because P[indvar]
2 ; gets reduced, making INDVAR dead.
4 ; RUN: opt < %s -loop-reduce -S | not grep INDVAR
6 target datalayout = "e-p:32:32:32-n32"
8 declare i1 @pred()
10 declare i32 @getidx()
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