1;;! target = "x86_64"
2
3(module
4  (memory 0)
5  (func (param i32 i32) (result i32)
6    local.get 0
7    i32.load
8    local.get 1
9    i32.load
10    i32.add))
11
12;; function u0:0(i64 vmctx, i64, i32, i32) -> i32 tail {
13;;     gv0 = vmctx
14;;     gv1 = load.i64 notrap aligned readonly gv0+8
15;;     gv2 = load.i64 notrap aligned gv1+24
16;;     gv3 = vmctx
17;;     gv4 = load.i64 notrap aligned gv3+64
18;;     gv5 = load.i64 notrap aligned readonly can_move gv3+56
19;;     stack_limit = gv2
20;;
21;;                                 block0(v0: i64, v1: i64, v2: i32, v3: i32):
22;; @0021                               v5 = uextend.i64 v2
23;; @0021                               v6 = load.i64 notrap aligned readonly can_move v0+56
24;; @0021                               v7 = iadd v6, v5
25;; @0021                               v8 = load.i32 little heap v7
26;; @0026                               v9 = uextend.i64 v3
27;; @0026                               v10 = load.i64 notrap aligned readonly can_move v0+56
28;; @0026                               v11 = iadd v10, v9
29;; @0026                               v12 = load.i32 little heap v11
30;; @0029                               v13 = iadd v8, v12
31;; @002a                               jump block1
32;;
33;;                                 block1:
34;; @002a                               return v13
35;; }
36