1;;! target = "x86_64"
2;;! test = "optimize"
3;;! flags = ["-Wepoch-interruption=y"]
4
5(module (func (loop (br 0))))
6
7;; function u0:0(i64 vmctx, i64) tail {
8;;     gv0 = vmctx
9;;     gv1 = load.i64 notrap aligned readonly gv0+8
10;;     gv2 = load.i64 notrap aligned gv1+24
11;;     gv3 = vmctx
12;;     gv4 = load.i64 notrap aligned readonly can_move gv3+8
13;;     sig0 = (i64 vmctx) -> i64 tail
14;;     fn0 = colocated u805306368:16 sig0
15;;     stack_limit = gv2
16;;
17;;                                 block0(v0: i64, v1: i64):
18;; @0016                               v3 = load.i64 notrap aligned v0+24
19;; @0016                               v4 = load.i64 notrap aligned v3
20;; @0016                               v5 = load.i64 notrap aligned readonly can_move v0+8
21;; @0016                               v6 = load.i64 notrap aligned v5+8
22;; @0016                               v7 = icmp uge v4, v6
23;; @0016                               brif v7, block3, block2(v6)
24;;
25;;                                 block3 cold:
26;; @0016                               v9 = call fn0(v0)
27;; @0016                               jump block2(v9)
28;;
29;;                                 block2(v21: i64):
30;; @0017                               jump block4(v21)
31;;
32;;                                 block4(v12: i64):
33;; @0017                               v11 = load.i64 notrap aligned v3
34;; @0017                               v13 = icmp uge v11, v12
35;; @0017                               brif v13, block7, block6(v12)
36;;
37;;                                 block7 cold:
38;; @0017                               v15 = load.i64 notrap aligned v5+8
39;; @0017                               v16 = icmp.i64 uge v11, v15
40;; @0017                               brif v16, block8, block6(v15)
41;;
42;;                                 block8 cold:
43;; @0017                               v18 = call fn0(v0)
44;; @0017                               jump block6(v18)
45;;
46;;                                 block6(v22: i64):
47;; @0019                               jump block4(v22)
48;; }
49