test/Transforms/CondProp/basictest.ll

   1 ; RUN: llvm-as < %s | opt -condprop | llvm-dis | not grep 'br label'
   2
   3 int %test(bool %C) {
   4         br bool %C, label %T1, label %F1
   5 T1:
   6         br label %Cont
   7 F1:
   8         br label %Cont
   9 Cont:
  10         %C2 = phi bool [false, %F1], [true, %T1]
  11         br bool %C2, label %T2, label %F2
  12 T2:
  13         call void %bar()
  14         ret int 17
  15 F2:
  16         ret int 1
  17 }
  18 declare void %bar()