1 ; RUN: llvm-as < %s | opt -gvnpre | llvm-dis | not grep {%t3 =}
2 ; RUN: llvm-as < %s | opt -gvnpre | llvm-dis | not grep {%t9 =}
6 %t1 = bitcast i32 0 to i32 ; <i32> [#uses=5]
9 block2: ; preds = %block6, %block1
10 %t2 = phi i32 [ %t1, %block1 ], [ %t3, %block6 ] ; <i32> [#uses=3]
11 %t3 = add i32 %t2, 1 ; <i32> [#uses=5]
12 br i1 false, label %block3, label %block7
14 block3: ; preds = %block2
15 br i1 true, label %block4, label %block5
17 block4: ; preds = %block3
18 %t4 = add i32 %t2, %t3 ; <i32> [#uses=1]
19 %t5 = bitcast i32 %t4 to i32 ; <i32> [#uses=1]
20 %t6 = add i32 %t1, %t5 ; <i32> [#uses=0]
23 block5: ; preds = %block3
24 %t7 = add i32 %t3, 1 ; <i32> [#uses=1]
27 block6: ; preds = %block5, %block4
28 %t8 = phi i32 [ %t1, %block4 ], [ %t7, %block5 ] ; <i32> [#uses=1]
29 %t9 = add i32 %t2, %t3 ; <i32> [#uses=2]
30 %t10 = add i32 %t9, %t8 ; <i32> [#uses=0]
31 %t11 = bitcast i32 12 to i32 ; <i32> [#uses=1]
32 %t12 = add i32 %t9, %t11 ; <i32> [#uses=1]
33 %t13 = add i32 %t12, %t3 ; <i32> [#uses=0]
36 block7: ; preds = %block2