From 4b72d0e64d94058d4ad5773862b9de1f0730dc44 Mon Sep 17 00:00:00 2001
From: Morgan Phillips <winter2718@gmail.com>
Date: Fri, 26 Aug 2016 13:39:44 -0700
Subject: [PATCH] Add another dominator tree test case

---
 .../tests/dominator_tree_testdata/loops2.cton | 29 +++++++++++++++++++
 1 file changed, 29 insertions(+)
 create mode 100644 src/tools/tests/dominator_tree_testdata/loops2.cton

diff --git a/src/tools/tests/dominator_tree_testdata/loops2.cton b/src/tools/tests/dominator_tree_testdata/loops2.cton
new file mode 100644
index 0000000000..452641be01
--- /dev/null
+++ b/src/tools/tests/dominator_tree_testdata/loops2.cton
@@ -0,0 +1,29 @@
+function test(i32) {
+    ebb0(v0: i32):      ; dominates(0)
+        brz v0, ebb1    ; dominates(1,6)
+        brnz v0, ebb2   ; dominates(2,9)
+        jump ebb3       ; dominates(3)
+    ebb1:
+        jump ebb6
+    ebb2:
+        brz v0, ebb4    ; dominates(4,7,8)
+        jump ebb5       ; dominates(5)
+    ebb3:
+        jump ebb9
+    ebb4:
+        brz v0, ebb4
+        brnz v0, ebb6
+        jump ebb7
+    ebb5:
+        brz v0, ebb7
+        brnz v0, ebb8
+        jump ebb9
+    ebb6:
+        return
+    ebb7:
+        jump ebb8
+    ebb8:
+        return
+    ebb9:
+        return
+}