T0b1/wasmtime
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add additional test cases

Browse Source
This commit is contained in:
Morgan Phillips
2016-08-24 13:13:31 -07:00
parent 586fbbc797
commit 125b79c06a
2 changed files with 70 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

31
cranelift/src/tools/tests/dominator_tree_testdata/tall-tree.cton Normal file
View File

@@ -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
}

39
cranelift/src/tools/tests/dominator_tree_testdata/wide-tree.cton Normal file
View File

@@ -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
}