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 i32)
9    (array.fill $ty (local.get 0) (local.get 1) (local.get 2) (local.get 3))
10  )
11)
12;; function u0:0(i64 vmctx, i64, i32, i32, i64, 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, v4: i64, v5: i32):
23;; @0027                               trapz v2, user15
24;; @0027                               v41 = load.i64 notrap aligned readonly can_move v0+8
25;; @0027                               v7 = load.i64 notrap aligned readonly can_move v41+32
26;; @0027                               v6 = uextend.i64 v2
27;; @0027                               v8 = iadd v7, v6
28;; @0027                               v9 = iconst.i64 8
29;; @0027                               v10 = iadd v8, v9  ; v9 = 8
30;; @0027                               v11 = load.i32 notrap aligned readonly v10
31;; @0027                               v12 = uadd_overflow_trap v3, v5, user16
32;; @0027                               v13 = icmp ugt v12, v11
33;; @0027                               trapnz v13, user16
34;; @0027                               v15 = uextend.i64 v11
35;;                                     v43 = iconst.i64 3
36;;                                     v44 = ishl v15, v43  ; v43 = 3
37;;                                     v40 = iconst.i64 32
38;; @0027                               v17 = ushr v44, v40  ; v40 = 32
39;; @0027                               trapnz v17, user1
40;;                                     v53 = iconst.i32 3
41;;                                     v54 = ishl v11, v53  ; v53 = 3
42;; @0027                               v19 = iconst.i32 16
43;; @0027                               v20 = uadd_overflow_trap v54, v19, user1  ; v19 = 16
44;; @0027                               v24 = uadd_overflow_trap v2, v20, user1
45;; @0027                               v25 = uextend.i64 v24
46;; @0027                               v27 = iadd v7, v25
47;;                                     v60 = ishl v3, v53  ; v53 = 3
48;;                                     v62 = iadd v60, v19  ; v19 = 16
49;; @0027                               v28 = isub v20, v62
50;; @0027                               v29 = uextend.i64 v28
51;; @0027                               v30 = isub v27, v29
52;;                                     v64 = ishl v5, v53  ; v53 = 3
53;; @0027                               v32 = uextend.i64 v64
54;; @0027                               v33 = iadd v30, v32
55;; @0027                               jump block2(v30)
56;;
57;;                                 block2(v35: i64):
58;; @0027                               v36 = icmp eq v35, v33
59;; @0027                               brif v36, block4, block3
60;;
61;;                                 block3:
62;; @0027                               store.i64 notrap aligned little v4, v35
63;;                                     v66 = iconst.i64 8
64;;                                     v67 = iadd.i64 v35, v66  ; v66 = 8
65;; @0027                               jump block2(v67)
66;;
67;;                                 block4:
68;; @002a                               jump block1
69;;
70;;                                 block1:
71;; @002a                               return
72;; }
73