[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / LoopStrengthReduce / dont_reduce_bytes.ll
blob4974f485d1c1b5fd031605ff7520aa01e108234e
1 ; Don't reduce the byte access to P[i], at least not on targets that 
2 ; support an efficient 'mem[r1+r2]' addressing mode.
4 ; RUN: opt < %s -loop-reduce -disable-output
7 declare i1 @pred(i32)
9 define void @test(i8* %PTR) {
10 ; <label>:0
11         br label %Loop
12 Loop:           ; preds = %Loop, %0
13         %INDVAR = phi i32 [ 0, %0 ], [ %INDVAR2, %Loop ]                ; <i32> [#uses=2]
14         %STRRED = getelementptr i8, i8* %PTR, i32 %INDVAR               ; <i8*> [#uses=1]
15         store i8 0, i8* %STRRED
16         %INDVAR2 = add i32 %INDVAR, 1           ; <i32> [#uses=2]
17         ;; cannot eliminate indvar
18         %cond = call i1 @pred( i32 %INDVAR2 )           ; <i1> [#uses=1]
19         br i1 %cond, label %Loop, label %Out
20 Out:            ; preds = %Loop
21         ret void