| ; RUN: llvm-upgrade < %s | llvm-as | opt -argpromotion | llvm-dis | \ | |
| ; RUN: not grep {load int\* null} | |
| implementation | |
| internal int %callee(bool %C, int* %P) { | |
| br bool %C, label %T, label %F | |
| T: | |
| ret int 17 | |
| F: | |
| %X = load int* %P | |
| ret int %X | |
| } | |
| int %foo() { | |
| %X = call int %callee(bool true, int* null) | |
| ret int %X | |
| } | |