test/Transforms/CondProp/basictest.ll

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