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

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

Browse Source
This commit is contained in:
Nicolas B. Pierron
2019-06-28 17:47:56 +02:00
committed by Nicolas B. Pierron
parent 560619f749
commit 3c6ca9049e
2 changed files with 9 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
cranelift/filetests/filetests/simple_gvn/basic.clif
View File

@@ -24,6 +24,9 @@ function %redundancies_on_some_paths(i32, i32, i32) -> i32 {
ebb0(v0: i32, v1: i32, v2: i32): ebb0(v0: i32, v1: i32, v2: i32):
v3 = iadd v0, v1 v3 = iadd v0, v1
brz v3, ebb1 brz v3, ebb1
jump ebb3
ebb3:
v4 = iadd v0, v1 v4 = iadd v0, v1
jump ebb2(v4) jump ebb2(v4)
; check: jump ebb2(v3) ; check: jump ebb2(v3)

6
cranelift/filetests/filetests/simple_gvn/scopes.clif
View File

@@ -5,6 +5,9 @@ ebb0(v0: i32, v1: i32, v2: i32, v3: i32, v4: i32):
v5 = iconst.i32 16 v5 = iconst.i32 16
; check: v5 = iconst.i32 16 ; check: v5 = iconst.i32 16
brz v0, ebb1 brz v0, ebb1
jump ebb5
ebb5:
v6 = iconst.i32 17 v6 = iconst.i32 17
; check: v6 = iconst.i32 17 ; check: v6 = iconst.i32 17
v7 = iconst.i32 16 v7 = iconst.i32 16
@@ -30,6 +33,9 @@ ebb2:
v14 = iconst.i32 16 v14 = iconst.i32 16
; not: v14 = iconst.i32 16 ; not: v14 = iconst.i32 16
brz v1, ebb3 brz v1, ebb3
jump ebb6
ebb6:
v15 = iconst.i32 20 v15 = iconst.i32 20
; check: v15 = iconst.i32 20 ; check: v15 = iconst.i32 20
v16 = iconst.i32 19 v16 = iconst.i32 19