diff --git a/test/Transforms/SimplifyCFG/branch-phi-thread.ll b/test/Transforms/SimplifyCFG/branch-phi-thread.ll new file mode 100644 index 00000000000..9098376ba46 --- /dev/null +++ b/test/Transforms/SimplifyCFG/branch-phi-thread.ll @@ -0,0 +1,26 @@ +; RUN: llvm-as < %s | opt -simplifycfg -adce | llvm-dis | not grep 'call void %f1' +declare void %f1() +declare void %f2() +declare void %f3() +declare void %f4() + +implementation + +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 +} +