diff options
Diffstat (limited to 'test/Transforms/SimplifyCFG/branch-phi-thread.ll')
-rw-r--r-- | test/Transforms/SimplifyCFG/branch-phi-thread.ll | 65 |
1 files changed, 65 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..e370978 --- /dev/null +++ b/test/Transforms/SimplifyCFG/branch-phi-thread.ll @@ -0,0 +1,65 @@ +; RUN: llvm-upgrade < %s | llvm-as | opt -simplifycfg -adce | llvm-dis | \ +; RUN: not grep {call void %f1} +; END. + +declare void %f1() +declare void %f2() +declare void %f3() +declare void %f4() + +implementation + +int %test1(int %X, bool %D) { +E: + %C = seteq int %X, 0 + br bool %C, label %T, label %F +T: + br bool %C, label %B, label %A +A: + call void %f1() + br bool %D, label %T, label %F +B: + call void %f2() + ret int 345 +F: + call void %f3() + ret int 123 +} + +int %test2(int %X, bool %D) { +E: + %C = seteq int %X, 0 + br bool %C, label %T, label %F +T: + %P = phi bool [true, %E], [%C, %A] + br bool %P, label %B, label %A +A: + call void %f1() + br bool %D, label %T, label %F +B: + call void %f2() + ret int 345 +F: + call void %f3() + ret int 123 +} + +int %test3(int %X, bool %D, int* %AP, int* %BP) { +E: + %C = seteq int %X, 0 + br bool %C, label %T, label %F +T: + call void %f3() ;; Inst in block. + %XX = load int* %AP + store int %XX, int* %BP + br bool %C, label %B, label %A +A: + call void %f1() + br bool %D, label %T, label %F +B: + call void %f2() + ret int 345 +F: + call void %f3() + ret int 123 +} |