41 lines · plain
1; Check that this test makes INDVAR and related stuff dead.2; RUN: opt < %s -loop-reduce -S | FileCheck %s3 4; CHECK: phi5; CHECK: phi6; CHECK-NOT: phi7 8declare i1 @pred()9 10define void @test1(ptr %P) {11; <label>:012 br label %Loop13Loop: ; preds = %Loop, %014 %INDVAR = phi i32 [ 0, %0 ], [ %INDVAR2, %Loop ] ; <i32> [#uses=3]15 %gep1 = getelementptr { i32, i32 }, ptr %P, i32 %INDVAR, i32 0 ; <ptr> [#uses=1]16 store i32 0, ptr %gep117 %gep2 = getelementptr { i32, i32 }, ptr %P, i32 %INDVAR, i32 1 ; <ptr> [#uses=1]18 store i32 0, ptr %gep219 %INDVAR2 = add i32 %INDVAR, 1 ; <i32> [#uses=1]20 %cond = call i1 @pred( ) ; <i1> [#uses=1]21 br i1 %cond, label %Loop, label %Out22Out: ; preds = %Loop23 ret void24}25 26define void @test2(ptr %P) {27; <label>:028 br label %Loop29Loop: ; preds = %Loop, %030 %INDVAR = phi i32 [ 0, %0 ], [ %INDVAR2, %Loop ] ; <i32> [#uses=3]31 %gep1 = getelementptr [2 x i32], ptr %P, i32 %INDVAR, i64 0 ; <ptr> [#uses=1]32 store i32 0, ptr %gep133 %gep2 = getelementptr [2 x i32], ptr %P, i32 %INDVAR, i64 1 ; <ptr> [#uses=1]34 store i32 0, ptr %gep235 %INDVAR2 = add i32 %INDVAR, 1 ; <i32> [#uses=1]36 %cond = call i1 @pred( ) ; <i1> [#uses=1]37 br i1 %cond, label %Loop, label %Out38Out: ; preds = %Loop39 ret void40}41