From 86f520a1f11561d0db5e1c540f3ace2f2bd8c376 Mon Sep 17 00:00:00 2001
From: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date: Sat, 21 Nov 2015 20:58:36 -0500
Subject: add dominators construction test

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

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

diff --git a/lisc/test/dragon.ssa b/lisc/test/dragon.ssa
new file mode 100644
index 0000000..b169e1b
--- /dev/null
+++ b/lisc/test/dragon.ssa
@@ -0,0 +1,33 @@
+# a moderately complex test for
+# dominators computation from
+# the dragon book
+# because branching is limited to
+# two, I had to split some blocks
+
+function $dragon() {
+@start
+@b1
+	jnz 0, @b2, @b3
+@b2
+	jmp @b3
+@b3
+	jmp @b4.1
+@b4.1
+	jnz 0, @b3, @b4.2
+@b4.2
+	jnz 0, @b5, @b6
+@b5
+	jmp @b7
+@b6
+	jmp @b7
+@b7
+	jnz 0, @b8.1, @b4.1
+@b8.1
+	jnz 0, @b3, @b8.2
+@b8.2
+	jnz 0, @b9, @b10
+@b9
+	jmp @b1
+@b10
+	jmp @b7
+}
-- 
cgit 1.4.1