1test domtree
2
3function %test(i32) {
4    block0(v0: i32):
5        brz v0, block13   ; dominates: block13
6        jump block1       ; dominates: block1
7    block1:
8        brz v0, block2    ; dominates: block2 block7
9        jump block20      ; dominates: block20
10    block20:
11        brnz v0, block3   ; dominates: block3
12        jump block21      ; dominates: block21
13    block21:
14        brz v0, block4    ; dominates: block4
15        jump block22      ; dominates: block22
16    block22:
17        brnz v0, block5   ; dominates: block5
18        jump block6       ; dominates: block6
19    block2:
20        jump block7
21    block3:
22        jump block7
23    block4:
24        jump block7
25    block5:
26        jump block7
27    block6:
28        jump block7
29    block7:
30        brnz v0, block8   ; dominates: block8 block12
31        jump block23      ; dominates: block23
32    block23:
33        brz v0, block9    ; dominates: block9
34        jump block24      ; dominates: block24
35    block24:
36        brnz v0, block10  ; dominates: block10
37        jump block11      ; dominates: block11
38    block8:
39        jump block12
40    block9:
41        jump block12
42    block10:
43        brz v0, block13
44        jump block12
45    block11:
46        jump block13
47    block12:
48        return
49    block13:
50        return
51}
52
53; check: domtree_preorder {
54; nextln: block0: block13 block1
55; nextln: block13:
56; nextln: block1: block2 block20 block7
57; nextln: block2:
58; nextln: block20: block3 block21
59; nextln: block3:
60; nextln: block21: block4 block22
61; nextln: block4:
62; nextln: block22: block5 block6
63; nextln: block5:
64; nextln: block6:
65; nextln: block7: block8 block23 block12
66; nextln: block8:
67; nextln: block23: block9 block24
68; nextln: block9:
69; nextln: block24: block10 block11
70; nextln: block10:
71; nextln: block11:
72; nextln: block12:
73; nextln: }
74