1;;! target = "x86_64" 2;;! flags = "-W function-references,gc -C collector=null" 3;;! test = "optimize" 4 5(module 6 (type $ty (array (mut i8))) 7 8 (func (param (ref $ty) i32) (result i32) 9 (array.get_u $ty (local.get 0) (local.get 1)) 10 ) 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 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 v34 = load.i64 notrap aligned readonly can_move v0+8 25;; @0022 v6 = load.i64 notrap aligned readonly can_move v34+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;; v33 = iconst.i64 32 35;; @0022 v15 = ushr v13, v33 ; v33 = 32 36;; @0022 trapnz v15, user1 37;; @0022 v17 = iconst.i32 12 38;; @0022 v18 = uadd_overflow_trap v10, v17, user1 ; v17 = 12 39;; @0022 v22 = uadd_overflow_trap v2, v18, user1 40;; @0022 v23 = uextend.i64 v22 41;; @0022 v25 = iadd v6, v23 42;; @0022 v21 = iadd v3, v17 ; v17 = 12 43;; @0022 v26 = isub v18, v21 44;; @0022 v27 = uextend.i64 v26 45;; @0022 v28 = isub v25, v27 46;; @0022 v29 = load.i8 notrap aligned little v28 47;; @0025 jump block1 48;; 49;; block1: 50;; @0022 v30 = uextend.i32 v29 51;; @0025 return v30 52;; } 53