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) (result i64) 9 (array.get $ty (local.get 0) (local.get 1)) 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): 23;; @0022 trapz v2, user15 24;; @0022 v33 = load.i64 notrap aligned readonly can_move v0+8 25;; @0022 v6 = load.i64 notrap aligned readonly can_move v33+32 26;; @0022 v5 = uextend.i64 v2 27;; @0022 v7 = iadd v6, v5 28;; @0022 v8 = iconst.i64 8 29;; @0022 v9 = iadd v7, v8 ; v8 = 8 30;; @0022 v10 = load.i32 notrap aligned readonly v9 31;; @0022 v11 = icmp ult v3, v10 32;; @0022 trapz v11, user16 33;; @0022 v13 = uextend.i64 v10 34;; v35 = iconst.i64 3 35;; v36 = ishl v13, v35 ; v35 = 3 36;; v32 = iconst.i64 32 37;; @0022 v15 = ushr v36, v32 ; v32 = 32 38;; @0022 trapnz v15, user1 39;; v45 = iconst.i32 3 40;; v46 = ishl v10, v45 ; v45 = 3 41;; @0022 v17 = iconst.i32 16 42;; @0022 v18 = uadd_overflow_trap v46, v17, user1 ; v17 = 16 43;; @0022 v22 = uadd_overflow_trap v2, v18, user1 44;; @0022 v23 = uextend.i64 v22 45;; @0022 v25 = iadd v6, v23 46;; v52 = ishl v3, v45 ; v45 = 3 47;; @0022 v21 = iadd v52, v17 ; v17 = 16 48;; @0022 v26 = isub v18, v21 49;; @0022 v27 = uextend.i64 v26 50;; @0022 v28 = isub v25, v27 51;; @0022 v29 = load.i64 notrap aligned little v28 52;; @0025 jump block1 53;; 54;; block1: 55;; @0025 return v29 56;; } 57