Implement a domtree sub-test.

This test verifies the computed dominator tree against annotations.

Move the existing testcases into filetests/ with the new syntax.
This commit is contained in:
Jakob Stoklund Olesen
2016-09-16 14:47:47 -07:00
parent ec6a9df08a
commit 770285d5c6
13 changed files with 232 additions and 186 deletions

View File

@@ -0,0 +1,31 @@
test domtree
function test(i32) {
ebb0(v0: i32):
brz v0, ebb1 ; dominates: ebb1 ebb6
brnz v0, ebb2 ; dominates: ebb2 ebb9
jump ebb3 ; dominates: ebb3
ebb1:
jump ebb6
ebb2:
brz v0, ebb4 ; dominates: ebb4 ebb7 ebb8
jump ebb5 ; dominates: ebb5
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
}