diff options
Diffstat (limited to 'test/Transforms/SimplifyCFG/branch-phi-thread.ll')
| -rw-r--r-- | test/Transforms/SimplifyCFG/branch-phi-thread.ll | 66 |
1 files changed, 66 insertions, 0 deletions
diff --git a/test/Transforms/SimplifyCFG/branch-phi-thread.ll b/test/Transforms/SimplifyCFG/branch-phi-thread.ll new file mode 100644 index 0000000..f52d979 --- /dev/null +++ b/test/Transforms/SimplifyCFG/branch-phi-thread.ll @@ -0,0 +1,66 @@ +; RUN: opt < %s -simplifycfg -adce -S | \ +; RUN: not grep {call void @f1} +; END. + +declare void @f1() + +declare void @f2() + +declare void @f3() + +declare void @f4() + +define i32 @test1(i32 %X, i1 %D) { +E: + %C = icmp eq i32 %X, 0 ; <i1> [#uses=2] + br i1 %C, label %T, label %F +T: ; preds = %A, %E + br i1 %C, label %B, label %A +A: ; preds = %T + call void @f1( ) + br i1 %D, label %T, label %F +B: ; preds = %T + call void @f2( ) + ret i32 345 +F: ; preds = %A, %E + call void @f3( ) + ret i32 123 +} + +define i32 @test2(i32 %X, i1 %D) { +E: + %C = icmp eq i32 %X, 0 ; <i1> [#uses=2] + br i1 %C, label %T, label %F +T: ; preds = %A, %E + %P = phi i1 [ true, %E ], [ %C, %A ] ; <i1> [#uses=1] + br i1 %P, label %B, label %A +A: ; preds = %T + call void @f1( ) + br i1 %D, label %T, label %F +B: ; preds = %T + call void @f2( ) + ret i32 345 +F: ; preds = %A, %E + call void @f3( ) + ret i32 123 +} + +define i32 @test3(i32 %X, i1 %D, i32* %AP, i32* %BP) { +E: + %C = icmp eq i32 %X, 0 ; <i1> [#uses=2] + br i1 %C, label %T, label %F +T: ; preds = %A, %E + call void @f3( ) + %XX = load i32* %AP ; <i32> [#uses=1] + store i32 %XX, i32* %BP + br i1 %C, label %B, label %A +A: ; preds = %T + call void @f1( ) + br i1 %D, label %T, label %F +B: ; preds = %T + call void @f2( ) + ret i32 345 +F: ; preds = %A, %E + call void @f3( ) + ret i32 123 +} |