From 18cdbc1e7d6b0d9dcb6f051cf3c2afcf45448453 Mon Sep 17 00:00:00 2001
From: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date: Tue, 21 Jul 2015 13:02:08 -0400
Subject: add fun example!

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

(limited to 'lisc/test')

diff --git a/lisc/test/alt.ssa b/lisc/test/alt.ssa
new file mode 100644
index 0000000..57e82c2
--- /dev/null
+++ b/lisc/test/alt.ssa
@@ -0,0 +1,23 @@
+# an example with reducible control
+# flow graph that exposes poor
+# handling of looping constructs
+
+@start
+	%ten = copy 10
+@loop
+	%alt = phi @start 0, @left %alt1, @right %alt1
+	%cnt = phi @start 100, @left %cnt, @right %cnt2
+	%alt1 = sub 1, %alt
+	jez %alt1, @left, @right
+@left
+	%x = phi @loop 10, @left %x1
+	%x1 = sub %x, 1
+	jez %x, @loop, @left
+@right
+	%cnt1 = phi @loop %cnt, @right %cnt2
+	%cnt2 = sub %cnt1, %ten
+	jez %cnt2, @end, @loop
+@end
+	%ret = copy %cnt # a dummy use, no return
+	                 # values are available yet
+	ret
-- 
cgit 1.4.1