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

Use BB-like EBB in filetests/parser/*.clif

Browse Source
This commit is contained in:
Nicolas B. Pierron
2019-06-28 17:23:12 +02:00
committed by Nicolas B. Pierron
parent 7b36cb58a0
commit 4316917cb9
1 changed files with 19 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
cranelift/filetests/filetests/parser/flags.clif
View File

@@ -5,11 +5,20 @@ function %iflags(i32) {
ebb200(v0: i32): ebb200(v0: i32):
v1 = ifcmp_imm v0, 17 v1 = ifcmp_imm v0, 17
brif eq v1, ebb201 brif eq v1, ebb201
jump ebb400
ebb400:
brif ugt v1, ebb202 brif ugt v1, ebb202
jump ebb401
ebb401:
v2 = iconst.i32 34 v2 = iconst.i32 34
v3 = ifcmp v0, v2 v3 = ifcmp v0, v2
v4 = trueif eq v3 v4 = trueif eq v3
brnz v4, ebb202 brnz v4, ebb202
jump ebb402
ebb402:
return return
ebb201: ebb201:
@@ -21,7 +30,7 @@ ebb202:
; check: v1 = ifcmp_imm v0, 17 ; check: v1 = ifcmp_imm v0, 17
; check: brif eq v1, ebb201 ; check: brif eq v1, ebb201
; check: brif ugt v1, ebb202 ; check: brif ugt v1, ebb202
; check: v3 = ifcmp v0, v2 ; check: v3 = ifcmp.i32 v0, v2
; check: v4 = trueif eq v3 ; check: v4 = trueif eq v3
function %fflags(f32) { function %fflags(f32) {
@@ -29,9 +38,18 @@ ebb200(v0: f32):
v1 = f32const 0x34.0p0 v1 = f32const 0x34.0p0
v2 = ffcmp v0, v1 v2 = ffcmp v0, v1
brff eq v2, ebb201 brff eq v2, ebb201
jump ebb400
ebb400:
brff ord v2, ebb202 brff ord v2, ebb202
jump ebb401
ebb401:
v3 = trueff gt v2 v3 = trueff gt v2
brnz v3, ebb202 brnz v3, ebb202
jump ebb402
ebb402:
return return
ebb201: ebb201: