test/Transforms/ArgumentPromotion/control-flow.ll

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