;;! target = 'x86_64'
;;! test = 'optimize'
;;! flags = '-Wgc -Ccollector=copying'
(module
(type $a (array (mut anyref)))
(func $fill-anything (param $a (ref $a)) (param $i i32) (param $v anyref) (param $len i32)
(array.fill $a (local.get $a) (local.get $i) (local.get $v) (local.get $len))
)
(func $fill-zero (param $a (ref $a)) (param $i i32) (param $len i32)
(array.fill $a (local.get $a) (local.get $i) (ref.null any) (local.get $len))
)
(func $fill-pattern (param $a (ref $a)) (param $i i32) (param $len i32)
(array.fill $a (local.get $a) (local.get $i) (ref.i31 (i32.const -1)) (local.get $len))
)
)
;; function u0:0(i64 vmctx, i64, i32, i32, i32, i32) tail {
;; region0 = 2147483648 "GcHeap"
;; gv0 = vmctx
;; gv1 = load.i64 notrap aligned readonly gv0+8
;; gv2 = load.i64 notrap aligned gv1+24
;; gv3 = vmctx
;; gv4 = load.i64 notrap aligned readonly can_move gv3+8
;; gv5 = load.i64 notrap aligned readonly can_move gv4+32
;; gv6 = load.i64 notrap aligned gv4+40
;; stack_limit = gv2
;;
;; block0(v0: i64, v1: i64, v2: i32, v3: i32, v4: i32, v5: i32):
;; @0030 trapz v2, user16
;; @0030 v49 = load.i64 notrap aligned readonly can_move v0+8
;; @0030 v7 = load.i64 notrap aligned readonly can_move v49+32
;; @0030 v6 = uextend.i64 v2
;; @0030 v8 = iadd v7, v6
;; @0030 v9 = iconst.i64 16
;; @0030 v10 = iadd v8, v9 ; v9 = 16
;; @0030 v11 = load.i32 user2 readonly region0 v10
;; @0030 v13 = uextend.i64 v3
;; @0030 v14 = uextend.i64 v5
;; @0030 v17 = iadd v13, v14
;; @0030 v12 = uextend.i64 v11
;; @0030 v18 = icmp ugt v17, v12
;; @0030 trapnz v18, user17
;; @0030 v32 = load.i64 notrap aligned v49+40
;; @0030 v22 = iconst.i64 20
;; @0030 v23 = iadd v8, v22 ; v22 = 20
;; v53 = iconst.i64 2
;; v54 = ishl v13, v53 ; v53 = 2
;; @0030 v27 = iadd v23, v54
;; v56 = ishl v14, v53 ; v53 = 2
;; @0030 v34 = uadd_overflow_trap v27, v56, user2
;; @0030 v33 = iadd v7, v32
;; @0030 v35 = icmp ugt v34, v33
;; @0030 trapnz v35, user2
;; v51 = iconst.i64 0
;; @0030 v38 = icmp eq v14, v51 ; v51 = 0
;; @0030 v25 = iconst.i64 4
;; @0030 v36 = iadd v27, v56
;; @0030 brif v38, block3, block2(v27)
;;
;; block2(v39: i64):
;; @0030 store.i32 user2 little region0 v4, v39
;; v58 = iconst.i64 4
;; v59 = iadd v39, v58 ; v58 = 4
;; @0030 v42 = icmp eq v59, v36
;; @0030 brif v42, block3, block2(v59)
;;
;; block3:
;; @0033 jump block1
;;
;; block1:
;; @0033 return
;; }
;;
;; function u0:1(i64 vmctx, i64, i32, i32, i32) tail {
;; region0 = 2147483648 "GcHeap"
;; gv0 = vmctx
;; gv1 = load.i64 notrap aligned readonly gv0+8
;; gv2 = load.i64 notrap aligned gv1+24
;; gv3 = vmctx
;; gv4 = load.i64 notrap aligned readonly can_move gv3+8
;; gv5 = load.i64 notrap aligned readonly can_move gv4+32
;; gv6 = load.i64 notrap aligned gv4+40
;; stack_limit = gv2
;;
;; block0(v0: i64, v1: i64, v2: i32, v3: i32, v4: i32):
;; @003e trapz v2, user16
;; @003e v49 = load.i64 notrap aligned readonly can_move v0+8
;; @003e v7 = load.i64 notrap aligned readonly can_move v49+32
;; @003e v6 = uextend.i64 v2
;; @003e v8 = iadd v7, v6
;; @003e v9 = iconst.i64 16
;; @003e v10 = iadd v8, v9 ; v9 = 16
;; @003e v11 = load.i32 user2 readonly region0 v10
;; @003e v13 = uextend.i64 v3
;; @003e v14 = uextend.i64 v4
;; @003e v17 = iadd v13, v14
;; @003e v12 = uextend.i64 v11
;; @003e v18 = icmp ugt v17, v12
;; @003e trapnz v18, user17
;; @003e v32 = load.i64 notrap aligned v49+40
;; @003e v22 = iconst.i64 20
;; @003e v23 = iadd v8, v22 ; v22 = 20
;; v53 = iconst.i64 2
;; v54 = ishl v13, v53 ; v53 = 2
;; @003e v27 = iadd v23, v54
;; v56 = ishl v14, v53 ; v53 = 2
;; @003e v34 = uadd_overflow_trap v27, v56, user2
;; @003e v33 = iadd v7, v32
;; @003e v35 = icmp ugt v34, v33
;; @003e trapnz v35, user2
;; v51 = iconst.i64 0
;; @003e v38 = icmp eq v14, v51 ; v51 = 0
;; @003a v5 = iconst.i32 0
;; @003e v25 = iconst.i64 4
;; @003e v36 = iadd v27, v56
;; @003e brif v38, block3, block2(v27)
;;
;; block2(v39: i64):
;; v58 = iconst.i32 0
;; @003e store user2 little region0 v58, v39 ; v58 = 0
;; v59 = iconst.i64 4
;; v60 = iadd v39, v59 ; v59 = 4
;; @003e v42 = icmp eq v60, v36
;; @003e brif v42, block3, block2(v60)
;;
;; block3:
;; @0041 jump block1
;;
;; block1:
;; @0041 return
;; }
;;
;; function u0:2(i64 vmctx, i64, i32, i32, i32) tail {
;; region0 = 2147483648 "GcHeap"
;; gv0 = vmctx
;; gv1 = load.i64 notrap aligned readonly gv0+8
;; gv2 = load.i64 notrap aligned gv1+24
;; gv3 = vmctx
;; gv4 = load.i64 notrap aligned readonly can_move gv3+8
;; gv5 = load.i64 notrap aligned readonly can_move gv4+32
;; gv6 = load.i64 notrap aligned gv4+40
;; stack_limit = gv2
;;
;; block0(v0: i64, v1: i64, v2: i32, v3: i32, v4: i32):
;; @004e trapz v2, user16
;; @004e v53 = load.i64 notrap aligned readonly can_move v0+8
;; @004e v11 = load.i64 notrap aligned readonly can_move v53+32
;; @004e v10 = uextend.i64 v2
;; @004e v12 = iadd v11, v10
;; @004e v13 = iconst.i64 16
;; @004e v14 = iadd v12, v13 ; v13 = 16
;; @004e v15 = load.i32 user2 readonly region0 v14
;; @004e v17 = uextend.i64 v3
;; @004e v18 = uextend.i64 v4
;; @004e v21 = iadd v17, v18
;; @004e v16 = uextend.i64 v15
;; @004e v22 = icmp ugt v21, v16
;; @004e trapnz v22, user17
;; @004e v36 = load.i64 notrap aligned v53+40
;; @004e v26 = iconst.i64 20
;; @004e v27 = iadd v12, v26 ; v26 = 20
;; v63 = iconst.i64 2
;; v64 = ishl v17, v63 ; v63 = 2
;; @004e v31 = iadd v27, v64
;; v66 = ishl v18, v63 ; v63 = 2
;; @004e v38 = uadd_overflow_trap v31, v66, user2
;; @004e v37 = iadd v11, v36
;; @004e v39 = icmp ugt v38, v37
;; @004e trapnz v39, user2
;; v61 = iconst.i64 0
;; @004e v42 = icmp eq v18, v61 ; v61 = 0
;; @0048 v5 = iconst.i32 -1
;; @004e v29 = iconst.i64 4
;; @004e v40 = iadd v31, v66
;; @004e brif v42, block3, block2(v31)
;;
;; block2(v43: i64):
;; v68 = iconst.i32 -1
;; @004e store user2 little region0 v68, v43 ; v68 = -1
;; v69 = iconst.i64 4
;; v70 = iadd v43, v69 ; v69 = 4
;; @004e v46 = icmp eq v70, v40
;; @004e brif v46, block3, block2(v70)
;;
;; block3:
;; @0051 jump block1
;;
;; block1:
;; @0051 return
;; }