1use super::OperatorValidatorTemp;
2use crate::{MemArg, Result, ValType, WasmModuleResources};
3use crate::{VisitSimdOperator, V128};
4
5impl<'resources, R> OperatorValidatorTemp<'_, 'resources, R>
6where
7 R: WasmModuleResources,
8{
9 fn check_simd_lane_index(&self, index: u8, max: u8) -> Result<()> {
10 if index >= max {
11 bail!(self.offset, "SIMD index out of bounds");
12 }
13 Ok(())
14 }
15
16 /// Checks a [`V128`] splat operator.
17 fn check_v128_splat(&mut self, src_ty: ValType) -> Result<()> {
18 self.pop_operand(Some(src_ty))?;
19 self.push_operand(ValType::V128)?;
20 Ok(())
21 }
22
23 /// Checks a [`V128`] binary operator.
24 fn check_v128_binary_op(&mut self) -> Result<()> {
25 self.pop_operand(Some(ValType::V128))?;
26 self.pop_operand(Some(ValType::V128))?;
27 self.push_operand(ValType::V128)?;
28 Ok(())
29 }
30
31 /// Checks a [`V128`] binary float operator.
32 fn check_v128_fbinary_op(&mut self) -> Result<()> {
33 self.check_floats_enabled()?;
34 self.check_v128_binary_op()
35 }
36
37 /// Checks a [`V128`] unary operator.
38 fn check_v128_unary_op(&mut self) -> Result<()> {
39 self.pop_operand(Some(ValType::V128))?;
40 self.push_operand(ValType::V128)?;
41 Ok(())
42 }
43
44 /// Checks a [`V128`] unary float operator.
45 fn check_v128_funary_op(&mut self) -> Result<()> {
46 self.check_floats_enabled()?;
47 self.check_v128_unary_op()
48 }
49
50 /// Checks a [`V128`] relaxed ternary operator.
51 fn check_v128_ternary_op(&mut self) -> Result<()> {
52 self.pop_operand(Some(ValType::V128))?;
53 self.pop_operand(Some(ValType::V128))?;
54 self.pop_operand(Some(ValType::V128))?;
55 self.push_operand(ValType::V128)?;
56 Ok(())
57 }
58
59 /// Checks a [`V128`] test operator.
60 fn check_v128_bitmask_op(&mut self) -> Result<()> {
61 self.pop_operand(Some(ValType::V128))?;
62 self.push_operand(ValType::I32)?;
63 Ok(())
64 }
65
66 /// Checks a [`V128`] shift operator.
67 fn check_v128_shift_op(&mut self) -> Result<()> {
68 self.pop_operand(Some(ValType::I32))?;
69 self.pop_operand(Some(ValType::V128))?;
70 self.push_operand(ValType::V128)?;
71 Ok(())
72 }
73
74 /// Checks a [`V128`] common load operator.
75 fn check_v128_load_op(&mut self, memarg: MemArg) -> Result<()> {
76 let idx = self.check_memarg(memarg)?;
77 self.pop_operand(Some(idx))?;
78 self.push_operand(ValType::V128)?;
79 Ok(())
80 }
81}
82
83impl<'a, T> VisitSimdOperator<'a> for OperatorValidatorTemp<'_, '_, T>
84where
85 T: WasmModuleResources,
86{
87 fn visit_v128_load(&mut self, memarg: MemArg) -> Self::Output {
88 let ty = self.check_memarg(memarg)?;
89 self.pop_operand(Some(ty))?;
90 self.push_operand(ValType::V128)?;
91 Ok(())
92 }
93 fn visit_v128_store(&mut self, memarg: MemArg) -> Self::Output {
94 let ty = self.check_memarg(memarg)?;
95 self.pop_operand(Some(ValType::V128))?;
96 self.pop_operand(Some(ty))?;
97 Ok(())
98 }
99 fn visit_v128_const(&mut self, _value: V128) -> Self::Output {
100 self.push_operand(ValType::V128)?;
101 Ok(())
102 }
103 fn visit_i8x16_splat(&mut self) -> Self::Output {
104 self.check_v128_splat(ValType::I32)
105 }
106 fn visit_i16x8_splat(&mut self) -> Self::Output {
107 self.check_v128_splat(ValType::I32)
108 }
109 fn visit_i32x4_splat(&mut self) -> Self::Output {
110 self.check_v128_splat(ValType::I32)
111 }
112 fn visit_i64x2_splat(&mut self) -> Self::Output {
113 self.check_v128_splat(ValType::I64)
114 }
115 fn visit_f32x4_splat(&mut self) -> Self::Output {
116 self.check_floats_enabled()?;
117 self.check_v128_splat(ValType::F32)
118 }
119 fn visit_f64x2_splat(&mut self) -> Self::Output {
120 self.check_floats_enabled()?;
121 self.check_v128_splat(ValType::F64)
122 }
123 fn visit_i8x16_extract_lane_s(&mut self, lane: u8) -> Self::Output {
124 self.check_simd_lane_index(lane, 16)?;
125 self.pop_operand(Some(ValType::V128))?;
126 self.push_operand(ValType::I32)?;
127 Ok(())
128 }
129 fn visit_i8x16_extract_lane_u(&mut self, lane: u8) -> Self::Output {
130 self.visit_i8x16_extract_lane_s(lane)
131 }
132 fn visit_i16x8_extract_lane_s(&mut self, lane: u8) -> Self::Output {
133 self.check_simd_lane_index(lane, 8)?;
134 self.pop_operand(Some(ValType::V128))?;
135 self.push_operand(ValType::I32)?;
136 Ok(())
137 }
138 fn visit_i16x8_extract_lane_u(&mut self, lane: u8) -> Self::Output {
139 self.visit_i16x8_extract_lane_s(lane)
140 }
141 fn visit_i32x4_extract_lane(&mut self, lane: u8) -> Self::Output {
142 self.check_simd_lane_index(lane, 4)?;
143 self.pop_operand(Some(ValType::V128))?;
144 self.push_operand(ValType::I32)?;
145 Ok(())
146 }
147 fn visit_i8x16_replace_lane(&mut self, lane: u8) -> Self::Output {
148 self.check_simd_lane_index(lane, 16)?;
149 self.pop_operand(Some(ValType::I32))?;
150 self.pop_operand(Some(ValType::V128))?;
151 self.push_operand(ValType::V128)?;
152 Ok(())
153 }
154 fn visit_i16x8_replace_lane(&mut self, lane: u8) -> Self::Output {
155 self.check_simd_lane_index(lane, 8)?;
156 self.pop_operand(Some(ValType::I32))?;
157 self.pop_operand(Some(ValType::V128))?;
158 self.push_operand(ValType::V128)?;
159 Ok(())
160 }
161 fn visit_i32x4_replace_lane(&mut self, lane: u8) -> Self::Output {
162 self.check_simd_lane_index(lane, 4)?;
163 self.pop_operand(Some(ValType::I32))?;
164 self.pop_operand(Some(ValType::V128))?;
165 self.push_operand(ValType::V128)?;
166 Ok(())
167 }
168 fn visit_i64x2_extract_lane(&mut self, lane: u8) -> Self::Output {
169 self.check_simd_lane_index(lane, 2)?;
170 self.pop_operand(Some(ValType::V128))?;
171 self.push_operand(ValType::I64)?;
172 Ok(())
173 }
174 fn visit_i64x2_replace_lane(&mut self, lane: u8) -> Self::Output {
175 self.check_simd_lane_index(lane, 2)?;
176 self.pop_operand(Some(ValType::I64))?;
177 self.pop_operand(Some(ValType::V128))?;
178 self.push_operand(ValType::V128)?;
179 Ok(())
180 }
181 fn visit_f32x4_extract_lane(&mut self, lane: u8) -> Self::Output {
182 self.check_floats_enabled()?;
183 self.check_simd_lane_index(lane, 4)?;
184 self.pop_operand(Some(ValType::V128))?;
185 self.push_operand(ValType::F32)?;
186 Ok(())
187 }
188 fn visit_f32x4_replace_lane(&mut self, lane: u8) -> Self::Output {
189 self.check_floats_enabled()?;
190 self.check_simd_lane_index(lane, 4)?;
191 self.pop_operand(Some(ValType::F32))?;
192 self.pop_operand(Some(ValType::V128))?;
193 self.push_operand(ValType::V128)?;
194 Ok(())
195 }
196 fn visit_f64x2_extract_lane(&mut self, lane: u8) -> Self::Output {
197 self.check_floats_enabled()?;
198 self.check_simd_lane_index(lane, 2)?;
199 self.pop_operand(Some(ValType::V128))?;
200 self.push_operand(ValType::F64)?;
201 Ok(())
202 }
203 fn visit_f64x2_replace_lane(&mut self, lane: u8) -> Self::Output {
204 self.check_floats_enabled()?;
205 self.check_simd_lane_index(lane, 2)?;
206 self.pop_operand(Some(ValType::F64))?;
207 self.pop_operand(Some(ValType::V128))?;
208 self.push_operand(ValType::V128)?;
209 Ok(())
210 }
211 fn visit_f32x4_eq(&mut self) -> Self::Output {
212 self.check_v128_fbinary_op()
213 }
214 fn visit_f32x4_ne(&mut self) -> Self::Output {
215 self.check_v128_fbinary_op()
216 }
217 fn visit_f32x4_lt(&mut self) -> Self::Output {
218 self.check_v128_fbinary_op()
219 }
220 fn visit_f32x4_gt(&mut self) -> Self::Output {
221 self.check_v128_fbinary_op()
222 }
223 fn visit_f32x4_le(&mut self) -> Self::Output {
224 self.check_v128_fbinary_op()
225 }
226 fn visit_f32x4_ge(&mut self) -> Self::Output {
227 self.check_v128_fbinary_op()
228 }
229 fn visit_f64x2_eq(&mut self) -> Self::Output {
230 self.check_v128_fbinary_op()
231 }
232 fn visit_f64x2_ne(&mut self) -> Self::Output {
233 self.check_v128_fbinary_op()
234 }
235 fn visit_f64x2_lt(&mut self) -> Self::Output {
236 self.check_v128_fbinary_op()
237 }
238 fn visit_f64x2_gt(&mut self) -> Self::Output {
239 self.check_v128_fbinary_op()
240 }
241 fn visit_f64x2_le(&mut self) -> Self::Output {
242 self.check_v128_fbinary_op()
243 }
244 fn visit_f64x2_ge(&mut self) -> Self::Output {
245 self.check_v128_fbinary_op()
246 }
247 fn visit_f32x4_add(&mut self) -> Self::Output {
248 self.check_v128_fbinary_op()
249 }
250 fn visit_f32x4_sub(&mut self) -> Self::Output {
251 self.check_v128_fbinary_op()
252 }
253 fn visit_f32x4_mul(&mut self) -> Self::Output {
254 self.check_v128_fbinary_op()
255 }
256 fn visit_f32x4_div(&mut self) -> Self::Output {
257 self.check_v128_fbinary_op()
258 }
259 fn visit_f32x4_min(&mut self) -> Self::Output {
260 self.check_v128_fbinary_op()
261 }
262 fn visit_f32x4_max(&mut self) -> Self::Output {
263 self.check_v128_fbinary_op()
264 }
265 fn visit_f32x4_pmin(&mut self) -> Self::Output {
266 self.check_v128_fbinary_op()
267 }
268 fn visit_f32x4_pmax(&mut self) -> Self::Output {
269 self.check_v128_fbinary_op()
270 }
271 fn visit_f64x2_add(&mut self) -> Self::Output {
272 self.check_v128_fbinary_op()
273 }
274 fn visit_f64x2_sub(&mut self) -> Self::Output {
275 self.check_v128_fbinary_op()
276 }
277 fn visit_f64x2_mul(&mut self) -> Self::Output {
278 self.check_v128_fbinary_op()
279 }
280 fn visit_f64x2_div(&mut self) -> Self::Output {
281 self.check_v128_fbinary_op()
282 }
283 fn visit_f64x2_min(&mut self) -> Self::Output {
284 self.check_v128_fbinary_op()
285 }
286 fn visit_f64x2_max(&mut self) -> Self::Output {
287 self.check_v128_fbinary_op()
288 }
289 fn visit_f64x2_pmin(&mut self) -> Self::Output {
290 self.check_v128_fbinary_op()
291 }
292 fn visit_f64x2_pmax(&mut self) -> Self::Output {
293 self.check_v128_fbinary_op()
294 }
295 fn visit_i8x16_eq(&mut self) -> Self::Output {
296 self.check_v128_binary_op()
297 }
298 fn visit_i8x16_ne(&mut self) -> Self::Output {
299 self.check_v128_binary_op()
300 }
301 fn visit_i8x16_lt_s(&mut self) -> Self::Output {
302 self.check_v128_binary_op()
303 }
304 fn visit_i8x16_lt_u(&mut self) -> Self::Output {
305 self.check_v128_binary_op()
306 }
307 fn visit_i8x16_gt_s(&mut self) -> Self::Output {
308 self.check_v128_binary_op()
309 }
310 fn visit_i8x16_gt_u(&mut self) -> Self::Output {
311 self.check_v128_binary_op()
312 }
313 fn visit_i8x16_le_s(&mut self) -> Self::Output {
314 self.check_v128_binary_op()
315 }
316 fn visit_i8x16_le_u(&mut self) -> Self::Output {
317 self.check_v128_binary_op()
318 }
319 fn visit_i8x16_ge_s(&mut self) -> Self::Output {
320 self.check_v128_binary_op()
321 }
322 fn visit_i8x16_ge_u(&mut self) -> Self::Output {
323 self.check_v128_binary_op()
324 }
325 fn visit_i16x8_eq(&mut self) -> Self::Output {
326 self.check_v128_binary_op()
327 }
328 fn visit_i16x8_ne(&mut self) -> Self::Output {
329 self.check_v128_binary_op()
330 }
331 fn visit_i16x8_lt_s(&mut self) -> Self::Output {
332 self.check_v128_binary_op()
333 }
334 fn visit_i16x8_lt_u(&mut self) -> Self::Output {
335 self.check_v128_binary_op()
336 }
337 fn visit_i16x8_gt_s(&mut self) -> Self::Output {
338 self.check_v128_binary_op()
339 }
340 fn visit_i16x8_gt_u(&mut self) -> Self::Output {
341 self.check_v128_binary_op()
342 }
343 fn visit_i16x8_le_s(&mut self) -> Self::Output {
344 self.check_v128_binary_op()
345 }
346 fn visit_i16x8_le_u(&mut self) -> Self::Output {
347 self.check_v128_binary_op()
348 }
349 fn visit_i16x8_ge_s(&mut self) -> Self::Output {
350 self.check_v128_binary_op()
351 }
352 fn visit_i16x8_ge_u(&mut self) -> Self::Output {
353 self.check_v128_binary_op()
354 }
355 fn visit_i32x4_eq(&mut self) -> Self::Output {
356 self.check_v128_binary_op()
357 }
358 fn visit_i32x4_ne(&mut self) -> Self::Output {
359 self.check_v128_binary_op()
360 }
361 fn visit_i32x4_lt_s(&mut self) -> Self::Output {
362 self.check_v128_binary_op()
363 }
364 fn visit_i32x4_lt_u(&mut self) -> Self::Output {
365 self.check_v128_binary_op()
366 }
367 fn visit_i32x4_gt_s(&mut self) -> Self::Output {
368 self.check_v128_binary_op()
369 }
370 fn visit_i32x4_gt_u(&mut self) -> Self::Output {
371 self.check_v128_binary_op()
372 }
373 fn visit_i32x4_le_s(&mut self) -> Self::Output {
374 self.check_v128_binary_op()
375 }
376 fn visit_i32x4_le_u(&mut self) -> Self::Output {
377 self.check_v128_binary_op()
378 }
379 fn visit_i32x4_ge_s(&mut self) -> Self::Output {
380 self.check_v128_binary_op()
381 }
382 fn visit_i32x4_ge_u(&mut self) -> Self::Output {
383 self.check_v128_binary_op()
384 }
385 fn visit_i64x2_eq(&mut self) -> Self::Output {
386 self.check_v128_binary_op()
387 }
388 fn visit_i64x2_ne(&mut self) -> Self::Output {
389 self.check_v128_binary_op()
390 }
391 fn visit_i64x2_lt_s(&mut self) -> Self::Output {
392 self.check_v128_binary_op()
393 }
394 fn visit_i64x2_gt_s(&mut self) -> Self::Output {
395 self.check_v128_binary_op()
396 }
397 fn visit_i64x2_le_s(&mut self) -> Self::Output {
398 self.check_v128_binary_op()
399 }
400 fn visit_i64x2_ge_s(&mut self) -> Self::Output {
401 self.check_v128_binary_op()
402 }
403 fn visit_v128_and(&mut self) -> Self::Output {
404 self.check_v128_binary_op()
405 }
406 fn visit_v128_andnot(&mut self) -> Self::Output {
407 self.check_v128_binary_op()
408 }
409 fn visit_v128_or(&mut self) -> Self::Output {
410 self.check_v128_binary_op()
411 }
412 fn visit_v128_xor(&mut self) -> Self::Output {
413 self.check_v128_binary_op()
414 }
415 fn visit_i8x16_add(&mut self) -> Self::Output {
416 self.check_v128_binary_op()
417 }
418 fn visit_i8x16_add_sat_s(&mut self) -> Self::Output {
419 self.check_v128_binary_op()
420 }
421 fn visit_i8x16_add_sat_u(&mut self) -> Self::Output {
422 self.check_v128_binary_op()
423 }
424 fn visit_i8x16_sub(&mut self) -> Self::Output {
425 self.check_v128_binary_op()
426 }
427 fn visit_i8x16_sub_sat_s(&mut self) -> Self::Output {
428 self.check_v128_binary_op()
429 }
430 fn visit_i8x16_sub_sat_u(&mut self) -> Self::Output {
431 self.check_v128_binary_op()
432 }
433 fn visit_i8x16_min_s(&mut self) -> Self::Output {
434 self.check_v128_binary_op()
435 }
436 fn visit_i8x16_min_u(&mut self) -> Self::Output {
437 self.check_v128_binary_op()
438 }
439 fn visit_i8x16_max_s(&mut self) -> Self::Output {
440 self.check_v128_binary_op()
441 }
442 fn visit_i8x16_max_u(&mut self) -> Self::Output {
443 self.check_v128_binary_op()
444 }
445 fn visit_i16x8_add(&mut self) -> Self::Output {
446 self.check_v128_binary_op()
447 }
448 fn visit_i16x8_add_sat_s(&mut self) -> Self::Output {
449 self.check_v128_binary_op()
450 }
451 fn visit_i16x8_add_sat_u(&mut self) -> Self::Output {
452 self.check_v128_binary_op()
453 }
454 fn visit_i16x8_sub(&mut self) -> Self::Output {
455 self.check_v128_binary_op()
456 }
457 fn visit_i16x8_sub_sat_s(&mut self) -> Self::Output {
458 self.check_v128_binary_op()
459 }
460 fn visit_i16x8_sub_sat_u(&mut self) -> Self::Output {
461 self.check_v128_binary_op()
462 }
463 fn visit_i16x8_mul(&mut self) -> Self::Output {
464 self.check_v128_binary_op()
465 }
466 fn visit_i16x8_min_s(&mut self) -> Self::Output {
467 self.check_v128_binary_op()
468 }
469 fn visit_i16x8_min_u(&mut self) -> Self::Output {
470 self.check_v128_binary_op()
471 }
472 fn visit_i16x8_max_s(&mut self) -> Self::Output {
473 self.check_v128_binary_op()
474 }
475 fn visit_i16x8_max_u(&mut self) -> Self::Output {
476 self.check_v128_binary_op()
477 }
478 fn visit_i32x4_add(&mut self) -> Self::Output {
479 self.check_v128_binary_op()
480 }
481 fn visit_i32x4_sub(&mut self) -> Self::Output {
482 self.check_v128_binary_op()
483 }
484 fn visit_i32x4_mul(&mut self) -> Self::Output {
485 self.check_v128_binary_op()
486 }
487 fn visit_i32x4_min_s(&mut self) -> Self::Output {
488 self.check_v128_binary_op()
489 }
490 fn visit_i32x4_min_u(&mut self) -> Self::Output {
491 self.check_v128_binary_op()
492 }
493 fn visit_i32x4_max_s(&mut self) -> Self::Output {
494 self.check_v128_binary_op()
495 }
496 fn visit_i32x4_max_u(&mut self) -> Self::Output {
497 self.check_v128_binary_op()
498 }
499 fn visit_i32x4_dot_i16x8_s(&mut self) -> Self::Output {
500 self.check_v128_binary_op()
501 }
502 fn visit_i64x2_add(&mut self) -> Self::Output {
503 self.check_v128_binary_op()
504 }
505 fn visit_i64x2_sub(&mut self) -> Self::Output {
506 self.check_v128_binary_op()
507 }
508 fn visit_i64x2_mul(&mut self) -> Self::Output {
509 self.check_v128_binary_op()
510 }
511 fn visit_i8x16_avgr_u(&mut self) -> Self::Output {
512 self.check_v128_binary_op()
513 }
514 fn visit_i16x8_avgr_u(&mut self) -> Self::Output {
515 self.check_v128_binary_op()
516 }
517 fn visit_i8x16_narrow_i16x8_s(&mut self) -> Self::Output {
518 self.check_v128_binary_op()
519 }
520 fn visit_i8x16_narrow_i16x8_u(&mut self) -> Self::Output {
521 self.check_v128_binary_op()
522 }
523 fn visit_i16x8_narrow_i32x4_s(&mut self) -> Self::Output {
524 self.check_v128_binary_op()
525 }
526 fn visit_i16x8_narrow_i32x4_u(&mut self) -> Self::Output {
527 self.check_v128_binary_op()
528 }
529 fn visit_i16x8_extmul_low_i8x16_s(&mut self) -> Self::Output {
530 self.check_v128_binary_op()
531 }
532 fn visit_i16x8_extmul_high_i8x16_s(&mut self) -> Self::Output {
533 self.check_v128_binary_op()
534 }
535 fn visit_i16x8_extmul_low_i8x16_u(&mut self) -> Self::Output {
536 self.check_v128_binary_op()
537 }
538 fn visit_i16x8_extmul_high_i8x16_u(&mut self) -> Self::Output {
539 self.check_v128_binary_op()
540 }
541 fn visit_i32x4_extmul_low_i16x8_s(&mut self) -> Self::Output {
542 self.check_v128_binary_op()
543 }
544 fn visit_i32x4_extmul_high_i16x8_s(&mut self) -> Self::Output {
545 self.check_v128_binary_op()
546 }
547 fn visit_i32x4_extmul_low_i16x8_u(&mut self) -> Self::Output {
548 self.check_v128_binary_op()
549 }
550 fn visit_i32x4_extmul_high_i16x8_u(&mut self) -> Self::Output {
551 self.check_v128_binary_op()
552 }
553 fn visit_i64x2_extmul_low_i32x4_s(&mut self) -> Self::Output {
554 self.check_v128_binary_op()
555 }
556 fn visit_i64x2_extmul_high_i32x4_s(&mut self) -> Self::Output {
557 self.check_v128_binary_op()
558 }
559 fn visit_i64x2_extmul_low_i32x4_u(&mut self) -> Self::Output {
560 self.check_v128_binary_op()
561 }
562 fn visit_i64x2_extmul_high_i32x4_u(&mut self) -> Self::Output {
563 self.check_v128_binary_op()
564 }
565 fn visit_i16x8_q15mulr_sat_s(&mut self) -> Self::Output {
566 self.check_v128_binary_op()
567 }
568 fn visit_f32x4_ceil(&mut self) -> Self::Output {
569 self.check_v128_funary_op()
570 }
571 fn visit_f32x4_floor(&mut self) -> Self::Output {
572 self.check_v128_funary_op()
573 }
574 fn visit_f32x4_trunc(&mut self) -> Self::Output {
575 self.check_v128_funary_op()
576 }
577 fn visit_f32x4_nearest(&mut self) -> Self::Output {
578 self.check_v128_funary_op()
579 }
580 fn visit_f64x2_ceil(&mut self) -> Self::Output {
581 self.check_v128_funary_op()
582 }
583 fn visit_f64x2_floor(&mut self) -> Self::Output {
584 self.check_v128_funary_op()
585 }
586 fn visit_f64x2_trunc(&mut self) -> Self::Output {
587 self.check_v128_funary_op()
588 }
589 fn visit_f64x2_nearest(&mut self) -> Self::Output {
590 self.check_v128_funary_op()
591 }
592 fn visit_f32x4_abs(&mut self) -> Self::Output {
593 self.check_v128_funary_op()
594 }
595 fn visit_f32x4_neg(&mut self) -> Self::Output {
596 self.check_v128_funary_op()
597 }
598 fn visit_f32x4_sqrt(&mut self) -> Self::Output {
599 self.check_v128_funary_op()
600 }
601 fn visit_f64x2_abs(&mut self) -> Self::Output {
602 self.check_v128_funary_op()
603 }
604 fn visit_f64x2_neg(&mut self) -> Self::Output {
605 self.check_v128_funary_op()
606 }
607 fn visit_f64x2_sqrt(&mut self) -> Self::Output {
608 self.check_v128_funary_op()
609 }
610 fn visit_f32x4_demote_f64x2_zero(&mut self) -> Self::Output {
611 self.check_v128_funary_op()
612 }
613 fn visit_f64x2_promote_low_f32x4(&mut self) -> Self::Output {
614 self.check_v128_funary_op()
615 }
616 fn visit_f64x2_convert_low_i32x4_s(&mut self) -> Self::Output {
617 self.check_v128_funary_op()
618 }
619 fn visit_f64x2_convert_low_i32x4_u(&mut self) -> Self::Output {
620 self.check_v128_funary_op()
621 }
622 fn visit_i32x4_trunc_sat_f32x4_s(&mut self) -> Self::Output {
623 self.check_v128_funary_op()
624 }
625 fn visit_i32x4_trunc_sat_f32x4_u(&mut self) -> Self::Output {
626 self.check_v128_funary_op()
627 }
628 fn visit_i32x4_trunc_sat_f64x2_s_zero(&mut self) -> Self::Output {
629 self.check_v128_funary_op()
630 }
631 fn visit_i32x4_trunc_sat_f64x2_u_zero(&mut self) -> Self::Output {
632 self.check_v128_funary_op()
633 }
634 fn visit_f32x4_convert_i32x4_s(&mut self) -> Self::Output {
635 self.check_v128_funary_op()
636 }
637 fn visit_f32x4_convert_i32x4_u(&mut self) -> Self::Output {
638 self.check_v128_funary_op()
639 }
640 fn visit_v128_not(&mut self) -> Self::Output {
641 self.check_v128_unary_op()
642 }
643 fn visit_i8x16_abs(&mut self) -> Self::Output {
644 self.check_v128_unary_op()
645 }
646 fn visit_i8x16_neg(&mut self) -> Self::Output {
647 self.check_v128_unary_op()
648 }
649 fn visit_i8x16_popcnt(&mut self) -> Self::Output {
650 self.check_v128_unary_op()
651 }
652 fn visit_i16x8_abs(&mut self) -> Self::Output {
653 self.check_v128_unary_op()
654 }
655 fn visit_i16x8_neg(&mut self) -> Self::Output {
656 self.check_v128_unary_op()
657 }
658 fn visit_i32x4_abs(&mut self) -> Self::Output {
659 self.check_v128_unary_op()
660 }
661 fn visit_i32x4_neg(&mut self) -> Self::Output {
662 self.check_v128_unary_op()
663 }
664 fn visit_i64x2_abs(&mut self) -> Self::Output {
665 self.check_v128_unary_op()
666 }
667 fn visit_i64x2_neg(&mut self) -> Self::Output {
668 self.check_v128_unary_op()
669 }
670 fn visit_i16x8_extend_low_i8x16_s(&mut self) -> Self::Output {
671 self.check_v128_unary_op()
672 }
673 fn visit_i16x8_extend_high_i8x16_s(&mut self) -> Self::Output {
674 self.check_v128_unary_op()
675 }
676 fn visit_i16x8_extend_low_i8x16_u(&mut self) -> Self::Output {
677 self.check_v128_unary_op()
678 }
679 fn visit_i16x8_extend_high_i8x16_u(&mut self) -> Self::Output {
680 self.check_v128_unary_op()
681 }
682 fn visit_i32x4_extend_low_i16x8_s(&mut self) -> Self::Output {
683 self.check_v128_unary_op()
684 }
685 fn visit_i32x4_extend_high_i16x8_s(&mut self) -> Self::Output {
686 self.check_v128_unary_op()
687 }
688 fn visit_i32x4_extend_low_i16x8_u(&mut self) -> Self::Output {
689 self.check_v128_unary_op()
690 }
691 fn visit_i32x4_extend_high_i16x8_u(&mut self) -> Self::Output {
692 self.check_v128_unary_op()
693 }
694 fn visit_i64x2_extend_low_i32x4_s(&mut self) -> Self::Output {
695 self.check_v128_unary_op()
696 }
697 fn visit_i64x2_extend_high_i32x4_s(&mut self) -> Self::Output {
698 self.check_v128_unary_op()
699 }
700 fn visit_i64x2_extend_low_i32x4_u(&mut self) -> Self::Output {
701 self.check_v128_unary_op()
702 }
703 fn visit_i64x2_extend_high_i32x4_u(&mut self) -> Self::Output {
704 self.check_v128_unary_op()
705 }
706 fn visit_i16x8_extadd_pairwise_i8x16_s(&mut self) -> Self::Output {
707 self.check_v128_unary_op()
708 }
709 fn visit_i16x8_extadd_pairwise_i8x16_u(&mut self) -> Self::Output {
710 self.check_v128_unary_op()
711 }
712 fn visit_i32x4_extadd_pairwise_i16x8_s(&mut self) -> Self::Output {
713 self.check_v128_unary_op()
714 }
715 fn visit_i32x4_extadd_pairwise_i16x8_u(&mut self) -> Self::Output {
716 self.check_v128_unary_op()
717 }
718 fn visit_v128_bitselect(&mut self) -> Self::Output {
719 self.pop_operand(Some(ValType::V128))?;
720 self.pop_operand(Some(ValType::V128))?;
721 self.pop_operand(Some(ValType::V128))?;
722 self.push_operand(ValType::V128)?;
723 Ok(())
724 }
725 fn visit_i8x16_relaxed_swizzle(&mut self) -> Self::Output {
726 self.pop_operand(Some(ValType::V128))?;
727 self.pop_operand(Some(ValType::V128))?;
728 self.push_operand(ValType::V128)?;
729 Ok(())
730 }
731 fn visit_i32x4_relaxed_trunc_f32x4_s(&mut self) -> Self::Output {
732 self.check_v128_unary_op()
733 }
734 fn visit_i32x4_relaxed_trunc_f32x4_u(&mut self) -> Self::Output {
735 self.check_v128_unary_op()
736 }
737 fn visit_i32x4_relaxed_trunc_f64x2_s_zero(&mut self) -> Self::Output {
738 self.check_v128_unary_op()
739 }
740 fn visit_i32x4_relaxed_trunc_f64x2_u_zero(&mut self) -> Self::Output {
741 self.check_v128_unary_op()
742 }
743 fn visit_f32x4_relaxed_madd(&mut self) -> Self::Output {
744 self.check_v128_ternary_op()
745 }
746 fn visit_f32x4_relaxed_nmadd(&mut self) -> Self::Output {
747 self.check_v128_ternary_op()
748 }
749 fn visit_f64x2_relaxed_madd(&mut self) -> Self::Output {
750 self.check_v128_ternary_op()
751 }
752 fn visit_f64x2_relaxed_nmadd(&mut self) -> Self::Output {
753 self.check_v128_ternary_op()
754 }
755 fn visit_i8x16_relaxed_laneselect(&mut self) -> Self::Output {
756 self.check_v128_ternary_op()
757 }
758 fn visit_i16x8_relaxed_laneselect(&mut self) -> Self::Output {
759 self.check_v128_ternary_op()
760 }
761 fn visit_i32x4_relaxed_laneselect(&mut self) -> Self::Output {
762 self.check_v128_ternary_op()
763 }
764 fn visit_i64x2_relaxed_laneselect(&mut self) -> Self::Output {
765 self.check_v128_ternary_op()
766 }
767 fn visit_f32x4_relaxed_min(&mut self) -> Self::Output {
768 self.check_v128_binary_op()
769 }
770 fn visit_f32x4_relaxed_max(&mut self) -> Self::Output {
771 self.check_v128_binary_op()
772 }
773 fn visit_f64x2_relaxed_min(&mut self) -> Self::Output {
774 self.check_v128_binary_op()
775 }
776 fn visit_f64x2_relaxed_max(&mut self) -> Self::Output {
777 self.check_v128_binary_op()
778 }
779 fn visit_i16x8_relaxed_q15mulr_s(&mut self) -> Self::Output {
780 self.check_v128_binary_op()
781 }
782 fn visit_i16x8_relaxed_dot_i8x16_i7x16_s(&mut self) -> Self::Output {
783 self.check_v128_binary_op()
784 }
785 fn visit_i32x4_relaxed_dot_i8x16_i7x16_add_s(&mut self) -> Self::Output {
786 self.check_v128_ternary_op()
787 }
788 fn visit_v128_any_true(&mut self) -> Self::Output {
789 self.check_v128_bitmask_op()
790 }
791 fn visit_i8x16_all_true(&mut self) -> Self::Output {
792 self.check_v128_bitmask_op()
793 }
794 fn visit_i8x16_bitmask(&mut self) -> Self::Output {
795 self.check_v128_bitmask_op()
796 }
797 fn visit_i16x8_all_true(&mut self) -> Self::Output {
798 self.check_v128_bitmask_op()
799 }
800 fn visit_i16x8_bitmask(&mut self) -> Self::Output {
801 self.check_v128_bitmask_op()
802 }
803 fn visit_i32x4_all_true(&mut self) -> Self::Output {
804 self.check_v128_bitmask_op()
805 }
806 fn visit_i32x4_bitmask(&mut self) -> Self::Output {
807 self.check_v128_bitmask_op()
808 }
809 fn visit_i64x2_all_true(&mut self) -> Self::Output {
810 self.check_v128_bitmask_op()
811 }
812 fn visit_i64x2_bitmask(&mut self) -> Self::Output {
813 self.check_v128_bitmask_op()
814 }
815 fn visit_i8x16_shl(&mut self) -> Self::Output {
816 self.check_v128_shift_op()
817 }
818 fn visit_i8x16_shr_s(&mut self) -> Self::Output {
819 self.check_v128_shift_op()
820 }
821 fn visit_i8x16_shr_u(&mut self) -> Self::Output {
822 self.check_v128_shift_op()
823 }
824 fn visit_i16x8_shl(&mut self) -> Self::Output {
825 self.check_v128_shift_op()
826 }
827 fn visit_i16x8_shr_s(&mut self) -> Self::Output {
828 self.check_v128_shift_op()
829 }
830 fn visit_i16x8_shr_u(&mut self) -> Self::Output {
831 self.check_v128_shift_op()
832 }
833 fn visit_i32x4_shl(&mut self) -> Self::Output {
834 self.check_v128_shift_op()
835 }
836 fn visit_i32x4_shr_s(&mut self) -> Self::Output {
837 self.check_v128_shift_op()
838 }
839 fn visit_i32x4_shr_u(&mut self) -> Self::Output {
840 self.check_v128_shift_op()
841 }
842 fn visit_i64x2_shl(&mut self) -> Self::Output {
843 self.check_v128_shift_op()
844 }
845 fn visit_i64x2_shr_s(&mut self) -> Self::Output {
846 self.check_v128_shift_op()
847 }
848 fn visit_i64x2_shr_u(&mut self) -> Self::Output {
849 self.check_v128_shift_op()
850 }
851 fn visit_i8x16_swizzle(&mut self) -> Self::Output {
852 self.pop_operand(Some(ValType::V128))?;
853 self.pop_operand(Some(ValType::V128))?;
854 self.push_operand(ValType::V128)?;
855 Ok(())
856 }
857 fn visit_i8x16_shuffle(&mut self, lanes: [u8; 16]) -> Self::Output {
858 self.pop_operand(Some(ValType::V128))?;
859 self.pop_operand(Some(ValType::V128))?;
860 for i in lanes {
861 self.check_simd_lane_index(i, 32)?;
862 }
863 self.push_operand(ValType::V128)?;
864 Ok(())
865 }
866 fn visit_v128_load8_splat(&mut self, memarg: MemArg) -> Self::Output {
867 let ty = self.check_memarg(memarg)?;
868 self.pop_operand(Some(ty))?;
869 self.push_operand(ValType::V128)?;
870 Ok(())
871 }
872 fn visit_v128_load16_splat(&mut self, memarg: MemArg) -> Self::Output {
873 let ty = self.check_memarg(memarg)?;
874 self.pop_operand(Some(ty))?;
875 self.push_operand(ValType::V128)?;
876 Ok(())
877 }
878 fn visit_v128_load32_splat(&mut self, memarg: MemArg) -> Self::Output {
879 let ty = self.check_memarg(memarg)?;
880 self.pop_operand(Some(ty))?;
881 self.push_operand(ValType::V128)?;
882 Ok(())
883 }
884 fn visit_v128_load32_zero(&mut self, memarg: MemArg) -> Self::Output {
885 self.visit_v128_load32_splat(memarg)
886 }
887 fn visit_v128_load64_splat(&mut self, memarg: MemArg) -> Self::Output {
888 self.check_v128_load_op(memarg)
889 }
890 fn visit_v128_load64_zero(&mut self, memarg: MemArg) -> Self::Output {
891 self.check_v128_load_op(memarg)
892 }
893 fn visit_v128_load8x8_s(&mut self, memarg: MemArg) -> Self::Output {
894 self.check_v128_load_op(memarg)
895 }
896 fn visit_v128_load8x8_u(&mut self, memarg: MemArg) -> Self::Output {
897 self.check_v128_load_op(memarg)
898 }
899 fn visit_v128_load16x4_s(&mut self, memarg: MemArg) -> Self::Output {
900 self.check_v128_load_op(memarg)
901 }
902 fn visit_v128_load16x4_u(&mut self, memarg: MemArg) -> Self::Output {
903 self.check_v128_load_op(memarg)
904 }
905 fn visit_v128_load32x2_s(&mut self, memarg: MemArg) -> Self::Output {
906 self.check_v128_load_op(memarg)
907 }
908 fn visit_v128_load32x2_u(&mut self, memarg: MemArg) -> Self::Output {
909 self.check_v128_load_op(memarg)
910 }
911 fn visit_v128_load8_lane(&mut self, memarg: MemArg, lane: u8) -> Self::Output {
912 let idx = self.check_memarg(memarg)?;
913 self.check_simd_lane_index(lane, 16)?;
914 self.pop_operand(Some(ValType::V128))?;
915 self.pop_operand(Some(idx))?;
916 self.push_operand(ValType::V128)?;
917 Ok(())
918 }
919 fn visit_v128_load16_lane(&mut self, memarg: MemArg, lane: u8) -> Self::Output {
920 let idx = self.check_memarg(memarg)?;
921 self.check_simd_lane_index(lane, 8)?;
922 self.pop_operand(Some(ValType::V128))?;
923 self.pop_operand(Some(idx))?;
924 self.push_operand(ValType::V128)?;
925 Ok(())
926 }
927 fn visit_v128_load32_lane(&mut self, memarg: MemArg, lane: u8) -> Self::Output {
928 let idx = self.check_memarg(memarg)?;
929 self.check_simd_lane_index(lane, 4)?;
930 self.pop_operand(Some(ValType::V128))?;
931 self.pop_operand(Some(idx))?;
932 self.push_operand(ValType::V128)?;
933 Ok(())
934 }
935 fn visit_v128_load64_lane(&mut self, memarg: MemArg, lane: u8) -> Self::Output {
936 let idx = self.check_memarg(memarg)?;
937 self.check_simd_lane_index(lane, 2)?;
938 self.pop_operand(Some(ValType::V128))?;
939 self.pop_operand(Some(idx))?;
940 self.push_operand(ValType::V128)?;
941 Ok(())
942 }
943 fn visit_v128_store8_lane(&mut self, memarg: MemArg, lane: u8) -> Self::Output {
944 let idx = self.check_memarg(memarg)?;
945 self.check_simd_lane_index(lane, 16)?;
946 self.pop_operand(Some(ValType::V128))?;
947 self.pop_operand(Some(idx))?;
948 Ok(())
949 }
950 fn visit_v128_store16_lane(&mut self, memarg: MemArg, lane: u8) -> Self::Output {
951 let idx = self.check_memarg(memarg)?;
952 self.check_simd_lane_index(lane, 8)?;
953 self.pop_operand(Some(ValType::V128))?;
954 self.pop_operand(Some(idx))?;
955 Ok(())
956 }
957 fn visit_v128_store32_lane(&mut self, memarg: MemArg, lane: u8) -> Self::Output {
958 let idx = self.check_memarg(memarg)?;
959 self.check_simd_lane_index(lane, 4)?;
960 self.pop_operand(Some(ValType::V128))?;
961 self.pop_operand(Some(idx))?;
962 Ok(())
963 }
964 fn visit_v128_store64_lane(&mut self, memarg: MemArg, lane: u8) -> Self::Output {
965 let idx = self.check_memarg(memarg)?;
966 self.check_simd_lane_index(lane, 2)?;
967 self.pop_operand(Some(ValType::V128))?;
968 self.pop_operand(Some(idx))?;
969 Ok(())
970 }
971}
972