test cat
test verifier

function %iflags(i32) {
block200(v0: i32):
    v1 = ifcmp_imm v0, 17
    brif eq v1, block201
    jump block400

block400:
    brif ugt v1, block202
    jump block401

block401:
    v2 = iconst.i32 34
    v3 = ifcmp v0, v2
    v4 = trueif eq v3
    brnz v4, block202
    jump block402

block402:
    return

block201:
    return

block202:
    trap heap_oob
}
; check: v1 = ifcmp_imm v0, 17
; check: brif eq v1, block201
; check: brif ugt v1, block202
; check: v3 = ifcmp.i32 v0, v2
; check: v4 = trueif eq v3

function %fflags(f32) {
block200(v0: f32):
    v1 = f32const 0x34.0p0
    v2 = ffcmp v0, v1
    brff eq v2, block201
    jump block400

block400:
    brff ord v2, block202
    jump block401

block401:
    v3 = trueff gt v2
    brnz v3, block202
    jump block402

block402:
    return

block201:
    return

block202:
    trap heap_oob
}
; check: v2 = ffcmp v0, v1
; check: brff eq v2, block201
; check: brff ord v2, block202
; check: v3 = trueff gt v2