-Loop:
- %X = phi int [0, %0], [1, %Loop]
- br bool true, label %Out, label %Loop
-Out:
- ret int %X
+Loop: ; preds = %Loop, %0
+ %X = phi i32 [ 0, %0 ], [ 1, %Loop ] ; <i32> [#uses=1]
+ br i1 true, label %Out, label %Loop
+Out: ; preds = %Loop
+ ret i32 %X