test/Transforms/CondProp/basictest.ll

   1 ; RUN: llvm-as < %s | opt -condprop | llvm-dis | \
   2 ; RUN:    not grep {br label}
   3
   4
   5 define i32 @test(i1 %C) {
   6         br i1 %C, label %T1, label %F1
   7
   8 T1:             ; preds = %0
   9         br label %Cont
  10
  11 F1:             ; preds = %0
  12         br label %Cont
  13
  14 Cont:           ; preds = %F1, %T1
  15         %C2 = phi i1 [ false, %F1 ], [ true, %T1 ]              ; <i1> [#uses=1]
  16         br i1 %C2, label %T2, label %F2
  17
  18 T2:             ; preds = %Cont
  19         call void @bar( )
  20         ret i32 17
  21
  22 F2:             ; preds = %Cont
  23         ret i32 1
  24 }
  25
  26 declare void @bar()
  27