diff options
| author | Chris Lattner <sabre@nondot.org> | 2004-05-01 22:36:24 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2004-05-01 22:36:24 +0000 |
| commit | be8d170c835cd5368bd52b2f66f4674cb613abaf (patch) | |
| tree | 0e6f97913c60712ab165ff4df1221bbcac57e4a2 /test | |
| parent | 77993632a16813efe6c951a46fc82cb226515480 (diff) | |
| download | external_llvm-be8d170c835cd5368bd52b2f66f4674cb613abaf.zip external_llvm-be8d170c835cd5368bd52b2f66f4674cb613abaf.tar.gz external_llvm-be8d170c835cd5368bd52b2f66f4674cb613abaf.tar.bz2 | |
New testcase for case that simplifycfg should catch
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@13305 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
| -rw-r--r-- | test/Transforms/SimplifyCFG/branch-cond-prop.ll | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/test/Transforms/SimplifyCFG/branch-cond-prop.ll b/test/Transforms/SimplifyCFG/branch-cond-prop.ll new file mode 100644 index 0000000..6ea548c --- /dev/null +++ b/test/Transforms/SimplifyCFG/branch-cond-prop.ll @@ -0,0 +1,20 @@ +; RUN: llvm-as < %s | opt -simplifycfg | llvm-dis | not grep call + +declare void %bar() + +void %test(int %X, int %Y) { +entry: + %tmp.2 = setlt int %X, %Y ; <bool> [#uses=2] + br bool %tmp.2, label %shortcirc_next, label %UnifiedReturnBlock + +shortcirc_next: ; preds = %entry + br bool %tmp.2, label %UnifiedReturnBlock, label %then + +then: ; preds = %shortcirc_next + call void %bar( ) + ret void + +UnifiedReturnBlock: ; preds = %entry, %shortcirc_next + ret void +} + |