br-on-cast.wat

;;! target = "x86_64"
;;! flags = "-W function-references,gc -C collector=null"
;;! test = "optimize"

(module
  (type $s (struct))
  (import "" "f" (func $f))
  (import "" "g" (func $g))
  (func (param anyref)
    block (result (ref $s))
      (br_on_cast 0 anyref (ref $s) (local.get 0))
      (call $f)
      return
    end
    (call $g)
    return
  )
)
;; function u0:0(i64 vmctx, i64, i32) tail {
;;     ss0 = explicit_slot 4, align = 4
;;     gv0 = vmctx
;;     gv1 = load.i64 notrap aligned readonly gv0+8
;;     gv2 = load.i64 notrap aligned gv1+16
;;     gv3 = vmctx
;;     gv4 = load.i64 notrap aligned readonly can_move gv3+8
;;     gv5 = load.i64 notrap aligned readonly can_move gv4+24
;;     gv6 = load.i64 notrap aligned gv4+32
;;     sig0 = (i64 vmctx, i32, i32) -> i32 tail
;;     sig1 = (i64 vmctx, i64) tail
;;     fn0 = colocated u805306368:35 sig0
;;     stack_limit = gv2
;;
;;                                 block0(v0: i64, v1: i64, v2: i32):
;;                                     v42 = stack_addr.i64 ss0
;;                                     store notrap v2, v42
;;                                     v40 = iconst.i32 0
;; @002f                               v4 = icmp eq v2, v40  ; v40 = 0
;; @002f                               v5 = uextend.i32 v4
;; @002f                               brif v5, block5(v40), block3  ; v40 = 0
;;
;;                                 block3:
;; @002f                               v7 = iconst.i32 1
;; @002f                               v8 = band.i32 v2, v7  ; v7 = 1
;;                                     v43 = iconst.i32 0
;; @002f                               brif v8, block5(v43), block4  ; v43 = 0
;;
;;                                 block4:
;; @002f                               v36 = load.i64 notrap aligned readonly can_move v0+8
;; @002f                               v14 = load.i64 notrap aligned readonly can_move v36+24
;; @002f                               v13 = uextend.i64 v2
;; @002f                               v15 = iadd v14, v13
;; @002f                               v16 = iconst.i64 4
;; @002f                               v17 = iadd v15, v16  ; v16 = 4
;; @002f                               v18 = load.i32 notrap aligned readonly v17
;; @002f                               v11 = load.i64 notrap aligned readonly can_move v0+40
;; @002f                               v12 = load.i32 notrap aligned readonly can_move v11
;; @002f                               v19 = icmp eq v18, v12
;; @002f                               v20 = uextend.i32 v19
;; @002f                               brif v20, block7(v20), block6
;;
;;                                 block6:
;; @002f                               v22 = call fn0(v0, v18, v12), stack_map=[i32 @ ss0+0]
;; @002f                               jump block7(v22)
;;
;;                                 block7(v23: i32):
;; @002f                               jump block5(v23)
;;
;;                                 block5(v24: i32):
;;                                     v31 = load.i32 notrap v42
;; @002f                               brif v24, block2, block8
;;
;;                                 block8:
;; @0035                               v27 = load.i64 notrap aligned readonly can_move v0+48
;; @0035                               v26 = load.i64 notrap aligned readonly can_move v0+64
;; @0035                               call_indirect sig1, v27(v26, v0)
;; @0037                               return
;;
;;                                 block2:
;; @0039                               v30 = load.i64 notrap aligned readonly can_move v0+72
;; @0039                               v29 = load.i64 notrap aligned readonly can_move v0+88
;; @0039                               call_indirect sig1, v30(v29, v0)
;; @003b                               return
;; }