2002-05-21-PHIElimination.ll 414 B

12345678910111213141516171819
  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. define void @test() {
  9. ; <label>:0
  10. br i1 true, label %end, label %Loop
  11. Loop: ; preds = %Loop, %0
  12. %V = phi i32 [ 0, %0 ], [ %V1, %Loop ] ; <i32> [#uses=1]
  13. %V1 = add i32 %V, 1 ; <i32> [#uses=1]
  14. br label %Loop
  15. end: ; preds = %0
  16. ret void
  17. }