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