|
176 | 176 | )
|
177 | 177 | )
|
178 | 178 |
|
179 |
| - ;; CHECK: (func $if-lt_u-side-effect (param $i1 i32) (param $i2 i32) |
180 |
| - ;; CHECK-NEXT: (drop |
181 |
| - ;; CHECK-NEXT: (if (result i32) |
182 |
| - ;; CHECK-NEXT: (block (result i32) |
183 |
| - ;; CHECK-NEXT: (drop |
184 |
| - ;; CHECK-NEXT: (i32.load |
185 |
| - ;; CHECK-NEXT: (i32.const 0) |
186 |
| - ;; CHECK-NEXT: ) |
187 |
| - ;; CHECK-NEXT: ) |
188 |
| - ;; CHECK-NEXT: (drop |
189 |
| - ;; CHECK-NEXT: (block (result i32) |
190 |
| - ;; CHECK-NEXT: (i32.store |
191 |
| - ;; CHECK-NEXT: (i32.const 0) |
192 |
| - ;; CHECK-NEXT: (i32.const 0) |
193 |
| - ;; CHECK-NEXT: ) |
194 |
| - ;; CHECK-NEXT: (i32.const 0) |
195 |
| - ;; CHECK-NEXT: ) |
196 |
| - ;; CHECK-NEXT: ) |
197 |
| - ;; CHECK-NEXT: (i32.const 0) |
198 |
| - ;; CHECK-NEXT: ) |
199 |
| - ;; CHECK-NEXT: (then |
200 |
| - ;; CHECK-NEXT: (i32.const 1) |
201 |
| - ;; CHECK-NEXT: ) |
202 |
| - ;; CHECK-NEXT: (else |
203 |
| - ;; CHECK-NEXT: (i32.const 0) |
204 |
| - ;; CHECK-NEXT: ) |
205 |
| - ;; CHECK-NEXT: ) |
206 |
| - ;; CHECK-NEXT: ) |
207 |
| - ;; CHECK-NEXT: ) |
208 |
| - (func $if-lt_u-side-effect (param $i1 i32) (param $i2 i32) |
209 |
| - (if |
210 |
| - (i32.lt_u |
211 |
| - (i32.load |
212 |
| - (i32.const 0) |
213 |
| - ) |
214 |
| - (block (result i32) |
215 |
| - (i32.store |
216 |
| - (i32.const 0) |
217 |
| - (i32.const 0) |
218 |
| - ) |
219 |
| - (i32.const 0) |
220 |
| - ) |
221 |
| - ) |
222 |
| - (then |
223 |
| - (drop |
224 |
| - (i32.const 1) |
225 |
| - ) |
226 |
| - ) |
227 |
| - (else |
228 |
| - (drop |
229 |
| - (i32.const 0) |
230 |
| - ) |
231 |
| - ) |
232 |
| - ) |
233 |
| - ) |
234 |
| - |
235 | 179 | ;; CHECK: (func $eqz-gt_s (result i32)
|
236 | 180 | ;; CHECK-NEXT: (i32.eqz
|
237 | 181 | ;; CHECK-NEXT: (i32.const 0)
|
|
11588 | 11532 | ;; CHECK-NEXT: )
|
11589 | 11533 | ;; CHECK-NEXT: )
|
11590 | 11534 | ;; CHECK-NEXT: (drop
|
| 11535 | + ;; CHECK-NEXT: (block (result i32) |
| 11536 | + ;; CHECK-NEXT: (drop |
| 11537 | + ;; CHECK-NEXT: (i32.load |
| 11538 | + ;; CHECK-NEXT: (i32.const 0) |
| 11539 | + ;; CHECK-NEXT: ) |
| 11540 | + ;; CHECK-NEXT: ) |
| 11541 | + ;; CHECK-NEXT: (drop |
| 11542 | + ;; CHECK-NEXT: (block (result i32) |
| 11543 | + ;; CHECK-NEXT: (i32.store |
| 11544 | + ;; CHECK-NEXT: (i32.const 0) |
| 11545 | + ;; CHECK-NEXT: (i32.const 0) |
| 11546 | + ;; CHECK-NEXT: ) |
| 11547 | + ;; CHECK-NEXT: (i32.const 0) |
| 11548 | + ;; CHECK-NEXT: ) |
| 11549 | + ;; CHECK-NEXT: ) |
| 11550 | + ;; CHECK-NEXT: (i32.const 0) |
| 11551 | + ;; CHECK-NEXT: ) |
| 11552 | + ;; CHECK-NEXT: ) |
| 11553 | + ;; CHECK-NEXT: (drop |
11591 | 11554 | ;; CHECK-NEXT: (i32.ne
|
11592 | 11555 | ;; CHECK-NEXT: (local.get $x)
|
11593 | 11556 | ;; CHECK-NEXT: (i32.const 0)
|
|
11860 | 11823 | )
|
11861 | 11824 | (i64.const 0)
|
11862 | 11825 | ))
|
| 11826 | + (drop (i32.lt_u |
| 11827 | + (i32.load |
| 11828 | + (i32.const 0) |
| 11829 | + ) |
| 11830 | + (block (result i32) |
| 11831 | + (i32.store |
| 11832 | + (i32.const 0) |
| 11833 | + (i32.const 0) |
| 11834 | + ) |
| 11835 | + (i32.const 0) |
| 11836 | + ) |
| 11837 | + ) |
| 11838 | + ) |
| 11839 | + |
11863 | 11840 |
|
11864 | 11841 | ;; (unsigned)x > 0 => x != 0
|
11865 | 11842 | (drop (i32.gt_u
|
|
0 commit comments