aboutsummaryrefslogtreecommitdiffstats
path: root/test/Transforms/SCCP/apint-ipsccp2.ll
diff options
context:
space:
mode:
Diffstat (limited to 'test/Transforms/SCCP/apint-ipsccp2.ll')
-rw-r--r--test/Transforms/SCCP/apint-ipsccp2.ll19
1 files changed, 19 insertions, 0 deletions
diff --git a/test/Transforms/SCCP/apint-ipsccp2.ll b/test/Transforms/SCCP/apint-ipsccp2.ll
new file mode 100644
index 0000000..3c02e05
--- /dev/null
+++ b/test/Transforms/SCCP/apint-ipsccp2.ll
@@ -0,0 +1,19 @@
+; RUN: opt < %s -ipsccp -S | grep -v {ret i101 0} | \
+; RUN: grep -v {ret i101 undef} | not grep ret
+
+
+define internal i101 @bar(i101 %A) {
+ %x = icmp eq i101 %A, 0
+ br i1 %x, label %T, label %F
+T:
+ %B = call i101 @bar(i101 0)
+ ret i101 0
+F: ; unreachable
+ %C = call i101 @bar(i101 1)
+ ret i101 %C
+}
+
+define i101 @foo() {
+ %X = call i101 @bar(i101 0)
+ ret i101 %X
+}