1 ; CFG Simplification is making a loop dead, then changing the add into: 2 ; 3 ; %V1 = add int %V1, 1 4 ; 5 ; Which is not valid SSA 6 ; 7 ; RUN: opt < %s -simplifycfg | llvm-dis 8 9 define void @test() { 10 ; <label>:0 11 br i1 true, label %end, label %Loop 12 Loop: ; preds = %Loop, %0 13 %V = phi i32 [ 0, %0 ], [ %V1, %Loop ] ; <i32> [#uses=1] 14 %V1 = add i32 %V, 1 ; <i32> [#uses=1] 15 br label %Loop 16 end: ; preds = %0 17 ret void 18 } 19 20
