test/Transforms/GVNPRE/basic.ll

   1 ; RUN: llvm-as | opt -gvnpre | llvm-dis | not grep {%t3 =}
   2 ; RUN: llvm-as | opt -gvnpre | llvm-dis | not grep {%t9 =}
   3
   4 define i32 @main() {
   5 block1:
   6         %t1 = bitcast i32 0 to i32              ; <i32> [#uses=5]
   7         br label %block2
   8
   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
  13
  14 block3:         ; preds = %block2
  15         br i1 true, label %block4, label %block5
  16
  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]
  21         br label %block6
  22
  23 block5:         ; preds = %block3
  24         %t7 = add i32 %t3, 1            ; <i32> [#uses=1]
  25         br label %block6
  26
  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]
  34         br label %block2
  35
  36 block7:         ; preds = %block2
  37         ret i32 %t1
  38 }