-int %test() {
- br bool true, label %LoopHead, label %LoopHead
-
-LoopHead:
- %A = phi int [0, %0], [0, %0], [%B, %LoopHead]
- %B = add int %A, 1
- br bool false, label %LoopHead, label %Out
-Out:
- ret int %B
+define i32 @test() {
+; <label>:0
+ br i1 true, label %LoopHead, label %LoopHead
+
+LoopHead: ; preds = %LoopHead, %0, %0
+ %A = phi i32 [ 7, %0 ], [ 7, %0 ], [ %B, %LoopHead ] ; <i32> [#uses=1]
+ %B = add i32 %A, 1 ; <i32> [#uses=2]
+ br i1 false, label %LoopHead, label %Out
+
+Out: ; preds = %LoopHead
+ ret i32 %B