diff --git a/cranelift/src/tools/tests/dominator_tree_testdata/tall-tree.cton b/cranelift/src/tools/tests/dominator_tree_testdata/tall-tree.cton
new file mode 100644
index 0000000000..d2ea0f8a9e
--- /dev/null
+++ b/cranelift/src/tools/tests/dominator_tree_testdata/tall-tree.cton
@@ -0,0 +1,31 @@
+function test(i32) {
+    ebb0(v0: i32):      ; dominates(0)
+        brz v0, ebb1    ; dominates(1)
+        brnz v0, ebb2   ; dominates(2,5)
+        jump ebb3       ; dominates(3)
+    ebb1:
+        jump ebb4       ; dominates(4)
+    ebb2:
+        jump ebb5
+    ebb3:
+        jump ebb5
+    ebb4:
+        brz v0, ebb6    ; dominates(6,10)
+        jump ebb7       ; dominates(7)
+    ebb5:
+        return
+    ebb6:
+        brz v0, ebb8    ; dominates(11,8)
+        brnz v0, ebb9   ; dominates(9)
+        jump ebb10
+    ebb7:
+        jump ebb10
+    ebb8:
+        jump ebb11
+    ebb9:
+        jump ebb11
+    ebb10:
+        return
+    ebb11:
+        return
+}
diff --git a/cranelift/src/tools/tests/dominator_tree_testdata/wide-tree.cton b/cranelift/src/tools/tests/dominator_tree_testdata/wide-tree.cton
new file mode 100644
index 0000000000..0883ef6514
--- /dev/null
+++ b/cranelift/src/tools/tests/dominator_tree_testdata/wide-tree.cton
@@ -0,0 +1,39 @@
+function test(i32) {
+    ebb0(v0: i32):      ; dominates(0)
+        brz v0, ebb13   ; dominates(13)
+        jump ebb1       ; dominates(1)
+    ebb1:
+        brz v0, ebb2    ; dominates(2,7)
+        brnz v0, ebb3   ; dominates(3)
+        brz v0, ebb4    ; dominates(4)
+        brnz v0, ebb5   ; dominates(5)
+        jump ebb6       ; dominates(6)
+    ebb2:
+        jump ebb7
+    ebb3:
+        jump ebb7
+    ebb4:
+        jump ebb7
+    ebb5:
+        jump ebb7
+    ebb6:
+        jump ebb7
+    ebb7:
+        brnz v0, ebb8   ; dominates(8,12)
+        brz v0, ebb9    ; dominates(9)
+        brnz v0, ebb10  ; dominates(10)
+        jump ebb11      ; dominates(11)
+    ebb8:
+        jump ebb12
+    ebb9:
+        jump ebb12
+    ebb10:
+        brz v0, ebb13
+        jump ebb12
+    ebb11:
+        jump ebb13
+    ebb12:
+        return
+    ebb13:
+        return
+}