aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--test/Transforms/SCCP/ipsccp-conditional.ll19
1 files changed, 19 insertions, 0 deletions
diff --git a/test/Transforms/SCCP/ipsccp-conditional.ll b/test/Transforms/SCCP/ipsccp-conditional.ll
new file mode 100644
index 0000000000..a328211976
--- /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
+}