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

Fix branch_destination/analyze_branch for BranchInt/BranchFloat.

Browse Source
This commit is contained in:
Dan Gohman
2017-11-08 10:27:55 -08:00
parent 889b06fd16
commit e213c2654f
3 changed files with 58 additions and 21 deletions
Download Patch File Download Diff File Expand all files Collapse all files

32
cranelift/filetests/parser/flags.cton
View File

@@ -2,45 +2,45 @@ test cat
test verifier
function %iflags(i32) {
ebb0(v0: i32):
ebb200(v0: i32):
v1 = ifcmp_imm v0, 17
brif eq v1, ebb1
brif ugt v1, ebb2
brif eq v1, ebb201
brif ugt v1, ebb202
v2 = iconst.i32 34
v3 = ifcmp v0, v2
v4 = trueif eq v3
brnz v4, ebb2
brnz v4, ebb202
return
ebb1:
ebb201:
return
ebb2:
ebb202:
trap oob
}
; check: $v1 = ifcmp_imm $v0, 17
; check: brif eq $v1, $ebb1
; check: brif ugt $v1, $ebb2
; check: brif eq $v1, $ebb201
; check: brif ugt $v1, $ebb202
; check: $v3 = ifcmp $v0, $v2
; check: $v4 = trueif eq $v3
function %fflags(f32) {
ebb0(v0: f32):
ebb200(v0: f32):
v1 = f32const 0x34.0p0
v2 = ffcmp v0, v1
brff eq v2, ebb1
brff ord v2, ebb2
brff eq v2, ebb201
brff ord v2, ebb202
v3 = trueff gt v2
brnz v3, ebb2
brnz v3, ebb202
return
ebb1:
ebb201:
return
ebb2:
ebb202:
trap oob
}
; check: $v2 = ffcmp $v0, $v1
; check: brff eq $v2, $ebb1
; check: brff ord $v2, $ebb2
; check: brff eq $v2, $ebb201
; check: brff ord $v2, $ebb202
; check: $v3 = trueff gt $v2