1;;! target = "x86_64"
2
3(module
4  (type (;0;) (func (param i32 i64 f64) (result f64)))
5  (type (;1;) (func))
6  (type (;2;) (func (result f32)))
7  (type (;3;) (func (result f64)))
8  (type (;4;) (func (param f64 f64) (result f64)))
9  (type (;5;) (func (result i32)))
10  (func (result i32)
11      block (result i32)
12        unreachable
13      end
14      block
15      end
16      i32.clz
17  )
18  (func (result i32)
19      loop (result i32)
20        unreachable
21      end
22      block
23      end
24      i32.clz
25  )
26  (func (;0;) (type 5) (result i32)
27    nop
28    block (result i32)  ;; label = @1
29      block  ;; label = @2
30        block  ;; label = @3
31          nop
32          block  ;; label = @4
33            i32.const 1
34            if  ;; label = @5
35              nop
36              block  ;; label = @6
37                nop
38                nop
39                loop (result i32)  ;; label = @7
40                  nop
41                  block (result i32)  ;; label = @8
42                    nop
43                    nop
44                    block (result i32)  ;; label = @9
45                      nop
46                      unreachable
47                    end
48                  end
49                end
50                block (result i32)  ;; label = @7
51                  block  ;; label = @8
52                    nop
53                  end
54                  i32.const 0
55                end
56                br_if 5 (;@1;)
57                drop
58              end
59            else
60              nop
61            end
62            nop
63          end
64        end
65      end
66      unreachable
67    end)
68  (func
69    block (result i32)
70      block (result i32)
71        i32.const 1
72        br 1
73      end
74    end
75    drop
76  )
77  (table (;0;) 16 funcref)
78  (elem (i32.const 0))
79)
80
81;; function u0:0(i64 vmctx, i64) -> i32 tail {
82;;     gv0 = vmctx
83;;     gv1 = load.i64 notrap aligned readonly gv0+8
84;;     gv2 = load.i64 notrap aligned gv1+24
85;;     stack_limit = gv2
86;;
87;;                                 block0(v0: i64, v1: i64):
88;; @0043                               trap user11
89;; }
90;;
91;; function u0:1(i64 vmctx, i64) -> i32 tail {
92;;     gv0 = vmctx
93;;     gv1 = load.i64 notrap aligned readonly gv0+8
94;;     gv2 = load.i64 notrap aligned gv1+24
95;;     stack_limit = gv2
96;;
97;;                                 block0(v0: i64, v1: i64):
98;; @004c                               jump block2
99;;
100;;                                 block2:
101;; @004e                               trap user11
102;; }
103;;
104;; function u0:2(i64 vmctx, i64) -> i32 tail {
105;;     gv0 = vmctx
106;;     gv1 = load.i64 notrap aligned readonly gv0+8
107;;     gv2 = load.i64 notrap aligned gv1+24
108;;     stack_limit = gv2
109;;
110;;                                 block0(v0: i64, v1: i64):
111;; @0061                               v4 = iconst.i32 1
112;; @0063                               brif v4, block6, block13  ; v4 = 1
113;;
114;;                                 block6:
115;; @006a                               jump block9
116;;
117;;                                 block9:
118;; @0074                               trap user11
119;;
120;;                                 block13:
121;; @0087                               jump block7
122;;
123;;                                 block7:
124;; @0089                               jump block5
125;;
126;;                                 block5:
127;; @008a                               jump block4
128;;
129;;                                 block4:
130;; @008b                               jump block3
131;;
132;;                                 block3:
133;; @008c                               trap user11
134;; }
135;;
136;; function u0:3(i64 vmctx, i64) tail {
137;;     gv0 = vmctx
138;;     gv1 = load.i64 notrap aligned readonly gv0+8
139;;     gv2 = load.i64 notrap aligned gv1+24
140;;     stack_limit = gv2
141;;
142;;                                 block0(v0: i64, v1: i64):
143;; @0095                               v4 = iconst.i32 1
144;; @0097                               jump block2
145;;
146;;                                 block2:
147;; @009c                               jump block1
148;;
149;;                                 block1:
150;; @009c                               return
151;; }
152