-Loop:
- %j = phi uint [0, %0], [%Next, %Loop]
-
- %x = load int* %X ; Should promote this to a register inside of loop!
- %x2 = add int %x, 1
- store int %x2, int* %X
-
- %Next = add uint %j, 1
- %cond = seteq uint %Next, 0
- br bool %cond, label %Out, label %Loop
+Loop: ; preds = %Loop, %0
+ %j = phi i32 [ 0, %0 ], [ %Next, %Loop ] ; <i32> [#uses=1]
+ %x = load i32* @X ; <i32> [#uses=1]
+ %x2 = add i32 %x, 1 ; <i32> [#uses=1]
+ store i32 %x2, i32* @X
+ %Next = add i32 %j, 1 ; <i32> [#uses=2]
+ %cond = icmp eq i32 %Next, 0 ; <i1> [#uses=1]
+ br i1 %cond, label %Out, label %Loop