diff options
Diffstat (limited to 'test/Transforms/SimplifyCFG/branch-cond-prop.ll')
| -rw-r--r-- | test/Transforms/SimplifyCFG/branch-cond-prop.ll | 17 |
1 files changed, 17 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..448934e --- /dev/null +++ b/test/Transforms/SimplifyCFG/branch-cond-prop.ll @@ -0,0 +1,17 @@ +; RUN: opt < %s -simplifycfg -S | not grep call + +declare void @bar() + +define void @test(i32 %X, i32 %Y) { +entry: + %tmp.2 = icmp slt i32 %X, %Y ; <i1> [#uses=2] + br i1 %tmp.2, label %shortcirc_next, label %UnifiedReturnBlock +shortcirc_next: ; preds = %entry + br i1 %tmp.2, label %UnifiedReturnBlock, label %then +then: ; preds = %shortcirc_next + call void @bar( ) + ret void +UnifiedReturnBlock: ; preds = %shortcirc_next, %entry + ret void +} + |