From 395891e95c3e9a76b11157d5f0d8124becf03db9 Mon Sep 17 00:00:00 2001
From: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date: Thu, 16 Jul 2015 02:56:29 -0400
Subject: fix phi handling in liveness

---
 lisc/test/live.ssa | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 lisc/test/live.ssa

(limited to 'lisc/test/live.ssa')

diff --git a/lisc/test/live.ssa b/lisc/test/live.ssa
new file mode 100644
index 0000000..2d5546d
--- /dev/null
+++ b/lisc/test/live.ssa
@@ -0,0 +1,19 @@
+# this control flow graph is irreducible
+# yet, we expecet the liveness analysis
+# to work properly and make %x live in
+# the block @left
+#
+# nothing should ever be live at the entry
+
+@start
+	%b = copy 0
+	%x = copy 10
+	jez 0, @left, @loop
+@left
+	jmp @inloop
+@loop
+	%x1 = add %x, 1
+@inloop
+	%b1 = add %b, 1
+@endloop
+	jmp @loop
-- 
cgit 1.4.1