test/Transforms/ArgumentPromotion/control-flow.ll

   1 ; RUN: llvm-upgrade < %s | llvm-as | opt -argpromotion | llvm-dis | \
   2 ; RUN:    not grep {load int\* null}
   3
   4 implementation
   5
   6 internal int %callee(bool %C, int* %P) {
   7         br bool %C, label %T, label %F
   8 T:
   9         ret int 17
  10 F:
  11         %X = load int* %P
  12         ret int %X
  13 }
  14
  15 int %foo() {
  16         %X = call int %callee(bool true, int* null)
  17         ret int %X
  18 }
  19