]>
Commit | Line | Data |
---|---|---|
1 | (module | |
2 | (type $0 (func (param i32))) | |
3 | (type $1 (func (result i32))) | |
4 | (type $2 (func)) | |
5 | (type $3 (func (result f64))) | |
6 | (memory $0 0) | |
7 | (func $x (; 0 ;) (type $0) (param $x i32) | |
8 | (call $x | |
9 | (i32.const 2300) | |
10 | ) | |
11 | (nop) | |
12 | (drop | |
13 | (i32.add | |
14 | (i32.const 1) | |
15 | (get_local $x) | |
16 | ) | |
17 | ) | |
18 | (nop) | |
19 | (nop) | |
20 | (nop) | |
21 | (loop $in | |
22 | (br $in) | |
23 | ) | |
24 | (nop) | |
25 | (block $c | |
26 | (nop) | |
27 | (call $x | |
28 | (i32.const 4) | |
29 | ) | |
30 | (br $c) | |
31 | (br $c) | |
32 | ) | |
33 | (drop | |
34 | (block $val (result i32) | |
35 | (nop) | |
36 | (call $x | |
37 | (i32.const 4) | |
38 | ) | |
39 | (br $val | |
40 | (i32.const 101) | |
41 | ) | |
42 | (br $val | |
43 | (i32.const 102) | |
44 | ) | |
45 | ) | |
46 | ) | |
47 | (nop) | |
48 | (drop | |
49 | (block $d0 (result i32) | |
50 | (call $x | |
51 | (i32.const 5) | |
52 | ) | |
53 | (nop) | |
54 | (i32.const 1) | |
55 | ) | |
56 | ) | |
57 | (drop | |
58 | (block $d2 (result i32) | |
59 | (call $x | |
60 | (i32.const 6) | |
61 | ) | |
62 | (nop) | |
63 | (i32.const 1) | |
64 | ) | |
65 | ) | |
66 | (drop | |
67 | (block $d4 (result i32) | |
68 | (call $x | |
69 | (i32.const 7) | |
70 | ) | |
71 | (nop) | |
72 | (i32.const 2) | |
73 | ) | |
74 | ) | |
75 | (call $x | |
76 | (i32.const 2) | |
77 | ) | |
78 | (call $x | |
79 | (i32.const 1) | |
80 | ) | |
81 | (call $x | |
82 | (i32.const 0) | |
83 | ) | |
84 | (call $x | |
85 | (i32.const 0) | |
86 | ) | |
87 | ) | |
88 | (func $ret (; 1 ;) (type $1) (result i32) | |
89 | (if | |
90 | (call $ret) | |
91 | (return | |
92 | (i32.const 0) | |
93 | ) | |
94 | ) | |
95 | (if | |
96 | (call $ret) | |
97 | (return | |
98 | (i32.const 1) | |
99 | ) | |
100 | ) | |
101 | (i32.const 1) | |
102 | ) | |
103 | (func $noret (; 2 ;) (type $2) | |
104 | (if | |
105 | (call $ret) | |
106 | (return) | |
107 | ) | |
108 | ) | |
109 | (func $refinalize-br-condition-unreachable (; 3 ;) (type $2) | |
110 | (block $label$1 | |
111 | (drop | |
112 | (br_if $label$1 | |
113 | (unreachable) | |
114 | ) | |
115 | ) | |
116 | ) | |
117 | ) | |
118 | (func $br_if-condition-is-block-i32-but-unreachable-so-refinalize-tricky (; 4 ;) (type $2) | |
119 | (drop | |
120 | (block $label$1 (result i32) | |
121 | (drop | |
122 | (br_if $label$1 | |
123 | (i32.const 100) | |
124 | (block $label$3 | |
125 | (unreachable) | |
126 | ) | |
127 | ) | |
128 | ) | |
129 | (i32.const 0) | |
130 | ) | |
131 | ) | |
132 | ) | |
133 | (func $reuse-br-value (; 5 ;) (type $3) (result f64) | |
134 | (block $label$0 (result f64) | |
135 | (i32.store8 | |
136 | (i32.const 1919623207) | |
137 | (if (result i32) | |
138 | (i32.const 1) | |
139 | (block $label$2 | |
140 | (drop | |
141 | (i64.and | |
142 | (i64.trunc_u/f32 | |
143 | (f32.const 70847791997969805621592064) | |
144 | ) | |
145 | (i64.const 729618461987467893) | |
146 | ) | |
147 | ) | |
148 | (br $label$0 | |
149 | (f64.const 6.134856208230095e-154) | |
150 | ) | |
151 | ) | |
152 | (i32.load offset=3 align=2 | |
153 | (i32.const 169901344) | |
154 | ) | |
155 | ) | |
156 | ) | |
157 | (f64.const 4776014875438170098655851e156) | |
158 | ) | |
159 | ) | |
160 | (func $refinalize-two-breaks-one-unreachable (; 6 ;) (type $2) | |
161 | (drop | |
162 | (block $label$0 (result i64) | |
163 | (br_if $label$0 | |
164 | (select | |
165 | (i64.const 1) | |
166 | (block $block | |
167 | (set_global $global$0 | |
168 | (i32.const 1) | |
169 | ) | |
170 | (br $label$0 | |
171 | (i64.const -22) | |
172 | ) | |
173 | ) | |
174 | (i32.const 0) | |
175 | ) | |
176 | (i32.const 1) | |
177 | ) | |
178 | ) | |
179 | ) | |
180 | ) | |
181 | (func $one-break-value-and-it-is-unreachable (; 7 ;) (type $3) (result f64) | |
182 | (local $var$0 i32) | |
183 | (block $label$6 (result f64) | |
184 | (br_if $label$6 | |
185 | (unreachable) | |
186 | (i32.const 0) | |
187 | ) | |
188 | ) | |
189 | ) | |
190 | ) |