diff options
| author | Ed Schouten <ed@FreeBSD.org> | 2009-06-02 17:52:33 +0000 |
|---|---|---|
| committer | Ed Schouten <ed@FreeBSD.org> | 2009-06-02 17:52:33 +0000 |
| commit | 009b1c42aa6266385f2c37e227516b24077e6dd7 (patch) | |
| tree | 64ba909838c23261cace781ece27d106134ea451 /test/Transforms/ArgumentPromotion/control-flow.ll | |
Diffstat (limited to 'test/Transforms/ArgumentPromotion/control-flow.ll')
| -rw-r--r-- | test/Transforms/ArgumentPromotion/control-flow.ll | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/test/Transforms/ArgumentPromotion/control-flow.ll b/test/Transforms/ArgumentPromotion/control-flow.ll new file mode 100644 index 0000000000000..76e8fd95030eb --- /dev/null +++ b/test/Transforms/ArgumentPromotion/control-flow.ll @@ -0,0 +1,19 @@ +; RUN: llvm-as < %s | opt -argpromotion | llvm-dis | \ +; RUN: not grep {load i32\* null} + +define internal i32 @callee(i1 %C, i32* %P) { + br i1 %C, label %T, label %F + +T: ; preds = %0 + ret i32 17 + +F: ; preds = %0 + %X = load i32* %P ; <i32> [#uses=1] + ret i32 %X +} + +define i32 @foo() { + %X = call i32 @callee( i1 true, i32* null ) ; <i32> [#uses=1] + ret i32 %X +} + |