From cde5f95591b6f38df235ac16ee7ee979ec19bd09 Mon Sep 17 00:00:00 2001
From: Quentin Carbonneaux <quentin@c9x.me>
Date: Mon, 18 Feb 2019 13:47:33 +0100
Subject: mark phi arguments as escaping

Thanks to Michael Forney for spotting this
oversight and providing the test case.

Note: because esc() leaves ABot unchanged,
the assertion "a->type == ABot" on line 122
remains valid.
---
 test/load1.ssa | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 test/load1.ssa

(limited to 'test')

diff --git a/test/load1.ssa b/test/load1.ssa
new file mode 100644
index 0000000..a87fd2d
--- /dev/null
+++ b/test/load1.ssa
@@ -0,0 +1,27 @@
+# checks that phi arguments are correctly
+# handled in alias analysis
+
+export
+function w $f(w %cond) {
+@start
+        %x =l alloc4 4
+        %y =l alloc4 4
+        storew 0, %x
+        jnz %cond, @true, @false
+@true
+        jmp @end
+@false
+        jmp @end
+@end
+        %ptr =l phi @true %x, @false %y
+        storew 1, %ptr
+        %result =w loadsw %x
+        ret %result
+}
+
+# >>> driver
+# extern int f(int);
+# int main() {
+# 	return !(f(0) == 0 && f(1) == 1);
+# }
+# <<<
-- 
cgit 1.4.1