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 i32) (result i64 i64) 9 (array.get $ty (local.get 0) (local.get 1)) 10 (array.get $ty (local.get 0) (local.get 2)) 11 ) 12) 13;; function u0:0(i64 vmctx, i64, i32, i32, i32) -> i64, i64 tail { 14;; gv0 = vmctx 15;; gv1 = load.i64 notrap aligned readonly gv0+8 16;; gv2 = load.i64 notrap aligned gv1+24 17;; gv3 = vmctx 18;; gv4 = load.i64 notrap aligned readonly can_move gv3+8 19;; gv5 = load.i64 notrap aligned readonly can_move gv4+32 20;; gv6 = load.i64 notrap aligned gv4+40 21;; stack_limit = gv2 22;; 23;; block0(v0: i64, v1: i64, v2: i32, v3: i32, v4: i32): 24;; @0024 trapz v2, user15 25;; @0024 v65 = load.i64 notrap aligned readonly can_move v0+8 26;; @0024 v8 = load.i64 notrap aligned readonly can_move v65+32 27;; @0024 v7 = uextend.i64 v2 28;; @0024 v9 = iadd v8, v7 29;; @0024 v10 = iconst.i64 8 30;; @0024 v11 = iadd v9, v10 ; v10 = 8 31;; @0024 v12 = load.i32 notrap aligned readonly v11 32;; @0024 v13 = icmp ult v3, v12 33;; @0024 trapz v13, user16 34;; @0024 v15 = uextend.i64 v12 35;; v67 = iconst.i64 3 36;; v68 = ishl v15, v67 ; v67 = 3 37;; v64 = iconst.i64 32 38;; @0024 v17 = ushr v68, v64 ; v64 = 32 39;; @0024 trapnz v17, user1 40;; v77 = iconst.i32 3 41;; v78 = ishl v12, v77 ; v77 = 3 42;; @0024 v19 = iconst.i32 16 43;; @0024 v20 = uadd_overflow_trap v78, v19, user1 ; v19 = 16 44;; @0024 v24 = uadd_overflow_trap v2, v20, user1 45;; @0024 v25 = uextend.i64 v24 46;; @0024 v27 = iadd v8, v25 47;; v84 = ishl v3, v77 ; v77 = 3 48;; @0024 v23 = iadd v84, v19 ; v19 = 16 49;; @0024 v28 = isub v20, v23 50;; @0024 v29 = uextend.i64 v28 51;; @0024 v30 = isub v27, v29 52;; @0024 v31 = load.i64 notrap aligned little v30 53;; @002b v38 = icmp ult v4, v12 54;; @002b trapz v38, user16 55;; v86 = ishl v4, v77 ; v77 = 3 56;; @002b v48 = iadd v86, v19 ; v19 = 16 57;; @002b v53 = isub v20, v48 58;; @002b v54 = uextend.i64 v53 59;; @002b v55 = isub v27, v54 60;; @002b v56 = load.i64 notrap aligned little v55 61;; @002e jump block1 62;; 63;; block1: 64;; @002e return v31, v56 65;; } 66