1;;! target = "x86_64" 2;;! flags = "-W function-references,gc -C collector=null" 3;;! test = "optimize" 4 5(module 6 (type $ty (array (mut i64))) 7 8 (func (param (ref $ty) i32 i64) 9 (array.set $ty (local.get 0) (local.get 1) (local.get 2)) 10 ) 11) 12;; function u0:0(i64 vmctx, i64, i32, i32, i64) 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 readonly can_move gv3+8 18;; gv5 = load.i64 notrap aligned readonly can_move gv4+32 19;; gv6 = load.i64 notrap aligned gv4+40 20;; stack_limit = gv2 21;; 22;; block0(v0: i64, v1: i64, v2: i32, v3: i32, v4: i64): 23;; @0024 trapz v2, user15 24;; @0024 v32 = load.i64 notrap aligned readonly can_move v0+8 25;; @0024 v6 = load.i64 notrap aligned readonly can_move v32+32 26;; @0024 v5 = uextend.i64 v2 27;; @0024 v7 = iadd v6, v5 28;; @0024 v8 = iconst.i64 8 29;; @0024 v9 = iadd v7, v8 ; v8 = 8 30;; @0024 v10 = load.i32 notrap aligned readonly v9 31;; @0024 v11 = icmp ult v3, v10 32;; @0024 trapz v11, user16 33;; @0024 v13 = uextend.i64 v10 34;; v34 = iconst.i64 3 35;; v35 = ishl v13, v34 ; v34 = 3 36;; v31 = iconst.i64 32 37;; @0024 v15 = ushr v35, v31 ; v31 = 32 38;; @0024 trapnz v15, user1 39;; v44 = iconst.i32 3 40;; v45 = ishl v10, v44 ; v44 = 3 41;; @0024 v17 = iconst.i32 16 42;; @0024 v18 = uadd_overflow_trap v45, v17, user1 ; v17 = 16 43;; @0024 v22 = uadd_overflow_trap v2, v18, user1 44;; @0024 v23 = uextend.i64 v22 45;; @0024 v25 = iadd v6, v23 46;; v51 = ishl v3, v44 ; v44 = 3 47;; @0024 v21 = iadd v51, v17 ; v17 = 16 48;; @0024 v26 = isub v18, v21 49;; @0024 v27 = uextend.i64 v26 50;; @0024 v28 = isub v25, v27 51;; @0024 store notrap aligned little v4, v28 52;; @0027 jump block1 53;; 54;; block1: 55;; @0027 return 56;; } 57