1;;! target = "x86_64"
2;;! flags = "-W function-references"
3;;! test = "optimize"
4
5(module
6  (global $sp (mut i32) (i32.const 0x1000))
7  (func
8    global.get $sp
9    i32.const 16
10    i32.sub
11    global.set $sp
12  )
13)
14
15;; function u0:0(i64 vmctx, i64) tail {
16;;     gv0 = vmctx
17;;     gv1 = load.i64 notrap aligned readonly gv0+8
18;;     gv2 = load.i64 notrap aligned gv1+24
19;;     gv3 = vmctx
20;;     stack_limit = gv2
21;;
22;;                                 block0(v0: i64, v1: i64):
23;; @0020                               v3 = load.i32 notrap aligned table v0+48
24;; @0022                               v4 = iconst.i32 16
25;; @0024                               v5 = isub v3, v4  ; v4 = 16
26;; @0025                               store notrap aligned table v5, v0+48
27;; @0027                               jump block1
28;;
29;;                                 block1:
30;; @0027                               return
31;; }
32