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

Use BB-like EBB in docs/*.clif

Browse Source
This commit is contained in:
Nicolas B. Pierron
2019-06-27 15:46:31 +02:00
committed by Nicolas B. Pierron
parent 563525b090
commit bc75eee0cd
2 changed files with 17 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
cranelift/docs/callex.clif
View File

@@ -4,10 +4,13 @@ function %gcd(i32 uext, i32 uext) -> i32 uext system_v {
fn0 = %divmod(i32 uext, i32 uext) -> i32 uext, i32 uext fn0 = %divmod(i32 uext, i32 uext) -> i32 uext, i32 uext
ebb1(v0: i32, v1: i32): ebb1(v0: i32, v1: i32):
brz v1, ebb2 brz v1, ebb3
jump ebb2
ebb2:
v2, v3 = call fn0(v0, v1) v2, v3 = call fn0(v0, v1)
return v2 return v2
ebb2: ebb3:
return v0 return v0
} }

18
cranelift/docs/example.clif
View File

@@ -6,11 +6,14 @@ function %average(i32, i32) -> f32 system_v {
ebb1(v0: i32, v1: i32): ebb1(v0: i32, v1: i32):
v2 = f64const 0x0.0 v2 = f64const 0x0.0
stack_store v2, ss0 stack_store v2, ss0
brz v1, ebb3 ; Handle count == 0. brz v1, ebb5 ; Handle count == 0.
v3 = iconst.i32 0 jump ebb2
jump ebb2(v3)
ebb2(v4: i32): ebb2:
v3 = iconst.i32 0
jump ebb3(v3)
ebb3(v4: i32):
v5 = imul_imm v4, 4 v5 = imul_imm v4, 4
v6 = iadd v0, v5 v6 = iadd v0, v5
v7 = load.f32 v6 ; array[i] v7 = load.f32 v6 ; array[i]
@@ -20,14 +23,17 @@ ebb2(v4: i32):
stack_store v10, ss0 stack_store v10, ss0
v11 = iadd_imm v4, 1 v11 = iadd_imm v4, 1
v12 = icmp ult v11, v1 v12 = icmp ult v11, v1
brnz v12, ebb2(v11) ; Loop backedge. brnz v12, ebb3(v11) ; Loop backedge.
jump ebb4
ebb4:
v13 = stack_load.f64 ss0 v13 = stack_load.f64 ss0
v14 = fcvt_from_uint.f64 v1 v14 = fcvt_from_uint.f64 v1
v15 = fdiv v13, v14 v15 = fdiv v13, v14
v16 = fdemote.f32 v15 v16 = fdemote.f32 v15
return v16 return v16
ebb3: ebb5:
v100 = f32const +NaN v100 = f32const +NaN
return v100 return v100
} }