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

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

Browse Source
This commit is contained in:
Nicolas B. Pierron
2019-06-28 17:31:08 +02:00
committed by Nicolas B. Pierron
parent 4316917cb9
commit 3970fa2752
1 changed files with 24 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

24
cranelift/filetests/filetests/postopt/basic.clif
View File

@@ -7,6 +7,9 @@ function %br_icmp(i32, i32) -> i32 {
ebb0(v0: i32, v1: i32): ebb0(v0: i32, v1: i32):
[Op1icscc#39,%rdx] v2 = icmp slt v0, v1 [Op1icscc#39,%rdx] v2 = icmp slt v0, v1
[Op1t8jccd_long#85] brnz v2, ebb1 [Op1t8jccd_long#85] brnz v2, ebb1
[-] fallthrough ebb2
ebb2:
[Op1ret#c3] return v1 [Op1ret#c3] return v1
ebb1: ebb1:
@@ -18,6 +21,9 @@ ebb1:
; nextln: v9 = ifcmp v0, v1 ; nextln: v9 = ifcmp v0, v1
; nextln: v2 = trueif slt v9 ; nextln: v2 = trueif slt v9
; nextln: brif slt v9, ebb1 ; nextln: brif slt v9, ebb1
; nextln: fallthrough ebb2
; nextln:
; nextln: ebb2:
; nextln: return v1 ; nextln: return v1
; nextln: ; nextln:
; nextln: ebb1: ; nextln: ebb1:
@@ -31,6 +37,9 @@ function %br_icmp_inverse(i32, i32) -> i32 {
ebb0(v0: i32, v1: i32): ebb0(v0: i32, v1: i32):
[Op1icscc#39,%rdx] v2 = icmp slt v0, v1 [Op1icscc#39,%rdx] v2 = icmp slt v0, v1
[Op1t8jccd_long#84] brz v2, ebb1 [Op1t8jccd_long#84] brz v2, ebb1
[-] fallthrough ebb2
ebb2:
[Op1ret#c3] return v1 [Op1ret#c3] return v1
ebb1: ebb1:
@@ -42,6 +51,9 @@ ebb1:
; nextln: v9 = ifcmp v0, v1 ; nextln: v9 = ifcmp v0, v1
; nextln: v2 = trueif slt v9 ; nextln: v2 = trueif slt v9
; nextln: brif sge v9, ebb1 ; nextln: brif sge v9, ebb1
; nextln: fallthrough ebb2
; nextln:
; nextln: ebb2:
; nextln: return v1 ; nextln: return v1
; nextln: ; nextln:
; nextln: ebb1: ; nextln: ebb1:
@@ -55,6 +67,9 @@ function %br_icmp_imm(i32, i32) -> i32 {
ebb0(v0: i32, v1: i32): ebb0(v0: i32, v1: i32):
[Op1icscc_ib#7083] v2 = icmp_imm slt v0, 2 [Op1icscc_ib#7083] v2 = icmp_imm slt v0, 2
[Op1t8jccd_long#84] brz v2, ebb1 [Op1t8jccd_long#84] brz v2, ebb1
[-] fallthrough ebb2
ebb2:
[Op1ret#c3] return v1 [Op1ret#c3] return v1
ebb1: ebb1:
@@ -66,6 +81,9 @@ ebb1:
; nextln: v9 = ifcmp_imm v0, 2 ; nextln: v9 = ifcmp_imm v0, 2
; nextln: v2 = trueif slt v9 ; nextln: v2 = trueif slt v9
; nextln: brif sge v9, ebb1 ; nextln: brif sge v9, ebb1
; nextln: fallthrough ebb2
; nextln:
; nextln: ebb2:
; nextln: return v1 ; nextln: return v1
; nextln: ; nextln:
; nextln: ebb1: ; nextln: ebb1:
@@ -79,6 +97,9 @@ function %br_fcmp(f32, f32) -> f32 {
ebb0(v0: f32, v1: f32): ebb0(v0: f32, v1: f32):
[Op2fcscc#42e,%rdx] v2 = fcmp gt v0, v1 [Op2fcscc#42e,%rdx] v2 = fcmp gt v0, v1
[Op1t8jccd_long#84] brz v2, ebb1 [Op1t8jccd_long#84] brz v2, ebb1
[-] fallthrough ebb2
ebb2:
[Op1ret#c3] return v1 [Op1ret#c3] return v1
ebb1: ebb1:
@@ -91,6 +112,9 @@ ebb1:
; nextln: v19 = ffcmp v0, v1 ; nextln: v19 = ffcmp v0, v1
; nextln: v2 = trueff gt v19 ; nextln: v2 = trueff gt v19
; nextln: brff ule v19, ebb1 ; nextln: brff ule v19, ebb1
; nextln: fallthrough ebb2
; nextln:
; nextln: ebb2:
; nextln: return v1 ; nextln: return v1
; nextln: ; nextln:
; nextln: ebb1: ; nextln: ebb1: