1 files changed, 20 insertions, 0 deletions
diff --git a/test/Transforms/SCCP/ipsccp-conditional.ll b/test/Transforms/SCCP/ipsccp-conditional.ll
new file mode 100644
index 0000000..db36228
--- /dev/null
+++ b/test/Transforms/SCCP/ipsccp-conditional.ll
@@ -0,0 +1,20 @@
+; RUN: llvm-upgrade < %s | llvm-as | opt -ipsccp | llvm-dis | \
+; RUN:   grep -v {ret i32 0} | grep -v {ret i32 undef} | 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
+}