i31ref-globals.wat

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

(module
  (global $x (mut i31ref) (ref.i31 (i32.const 42)))
  (func (export "get") (result i31ref)
    (global.get $x)
  )
  (func (export "set") (param i31ref)
    (global.set $x (local.get 0))
  )
)

;; function u0:0(i64 vmctx, i64) -> i32 tail {
;;     gv0 = vmctx
;;     gv1 = load.i64 notrap aligned readonly gv0+8
;;     gv2 = load.i64 notrap aligned gv1+16
;;     gv3 = vmctx
;;     stack_limit = gv2
;;
;;                                 block0(v0: i64, v1: i64):
;;                                     v6 = iconst.i64 48
;; @0036                               v4 = iadd v0, v6  ; v6 = 48
;; @0036                               v5 = load.i32 notrap aligned v4
;; @0038                               jump block1
;;
;;                                 block1:
;; @0038                               return v5
;; }
;;
;; function u0:1(i64 vmctx, i64, i32) tail {
;;     gv0 = vmctx
;;     gv1 = load.i64 notrap aligned readonly gv0+8
;;     gv2 = load.i64 notrap aligned gv1+16
;;     gv3 = vmctx
;;     stack_limit = gv2
;;
;;                                 block0(v0: i64, v1: i64, v2: i32):
;;                                     v5 = iconst.i64 48
;; @003d                               v4 = iadd v0, v5  ; v5 = 48
;; @003d                               store notrap aligned v2, v4
;; @003f                               jump block1
;;
;;                                 block1:
;; @003f                               return
;; }