diff --git a/test/Transforms/SCCP/ipsccp-conditional.ll b/test/Transforms/SCCP/ipsccp-conditional.ll new file mode 100644 index 00000000000..a3282119766 --- /dev/null +++ b/test/Transforms/SCCP/ipsccp-conditional.ll @@ -0,0 +1,19 @@ +; RUN: llvm-as < %s | opt -ipsccp | llvm-dis | grep -v 'ret int 0' | not grep ret + +implementation + +internal int %bar(int %A) { + %C = seteq int %A, 0 + br bool %C, label %T, label %F +T: + %B = call int %bar(int 0) + ret int 0 +F: ; unreachable + %C = call int %bar(int 1) + ret int %C +} + +int %foo() { + %X = call int %bar(int 0) + ret int %X +}