diff options
| -rw-r--r-- | test/Transforms/ArgumentPromotion/control-flow.ll | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/test/Transforms/ArgumentPromotion/control-flow.ll b/test/Transforms/ArgumentPromotion/control-flow.ll new file mode 100644 index 0000000000..3907ed0f78 --- /dev/null +++ b/test/Transforms/ArgumentPromotion/control-flow.ll @@ -0,0 +1,18 @@ +; RUN: llvm-as < %s | opt -argpromotion | llvm-dis | 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 +} + |