47 lines
788 B
Plaintext
47 lines
788 B
Plaintext
test cat
|
|
test verifier
|
|
|
|
function %iflags(i32) {
|
|
ebb200(v0: i32):
|
|
v1 = ifcmp_imm v0, 17
|
|
brif eq v1, ebb201
|
|
brif ugt v1, ebb202
|
|
v2 = iconst.i32 34
|
|
v3 = ifcmp v0, v2
|
|
v4 = trueif eq v3
|
|
brnz v4, ebb202
|
|
return
|
|
|
|
ebb201:
|
|
return
|
|
|
|
ebb202:
|
|
trap oob
|
|
}
|
|
; check: $v1 = ifcmp_imm $v0, 17
|
|
; check: brif eq $v1, $ebb201
|
|
; check: brif ugt $v1, $ebb202
|
|
; check: $v3 = ifcmp $v0, $v2
|
|
; check: $v4 = trueif eq $v3
|
|
|
|
function %fflags(f32) {
|
|
ebb200(v0: f32):
|
|
v1 = f32const 0x34.0p0
|
|
v2 = ffcmp v0, v1
|
|
brff eq v2, ebb201
|
|
brff ord v2, ebb202
|
|
v3 = trueff gt v2
|
|
brnz v3, ebb202
|
|
return
|
|
|
|
ebb201:
|
|
return
|
|
|
|
ebb202:
|
|
trap oob
|
|
}
|
|
; check: $v2 = ffcmp $v0, $v1
|
|
; check: brff eq $v2, $ebb201
|
|
; check: brff ord $v2, $ebb202
|
|
; check: $v3 = trueff gt $v2
|