27 lines · plain
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 INDVAR5 6target datalayout = "e-p:32:32:32-n32"7 8declare i1 @pred()9 10declare i32 @getidx()11 12define void @test(ptr %P) {13; <label>:014 br label %Loop15Loop: ; preds = %Loop, %016 %INDVAR = phi i32 [ 0, %0 ], [ %INDVAR2, %Loop ] ; <i32> [#uses=2]17 %idx = call i32 @getidx( ) ; <i32> [#uses=1]18 %STRRED = getelementptr [10000 x i32], ptr %P, i32 %INDVAR, i32 %idx ; <ptr> [#uses=1]19 store i32 0, ptr %STRRED20 %INDVAR2 = add i32 %INDVAR, 1 ; <i32> [#uses=1]21 %cond = call i1 @pred( ) ; <i1> [#uses=1]22 br i1 %cond, label %Loop, label %Out23Out: ; preds = %Loop24 ret void25}26 27