-Test:
- %X = phi int [7, %0], [%Y, %Dead]
- ret int 0
-Dead:
- %Y = shr int 12, ubyte 4
+Test: ; preds = %Dead, %0
+ %X = phi i32 [ 0, %0 ], [ %Y, %Dead ] ; <i32> [#uses=1]
+ ret i32 %X
+Dead: ; No predecessors!
+ %Y = ashr i32 12, 4 ; <i32> [#uses=1]