|
425 | 425 | (assert_malformed (module quote "(func (result i64) (i64x2.extract_lane 256 (v128.const i64x2 0 0)))") "i8 constant out of range") |
426 | 426 | (assert_malformed (module quote "(func (result f64) (f64x2.extract_lane 256 (v128.const f64x2 0 0)))") "i8 constant out of range") |
427 | 427 | (assert_malformed (module quote "(func (result v128) (i64x2.replace_lane 256 (v128.const i64x2 0 0) (i64.const 1)))") "i8 constant out of range") |
428 | | -(assert_malformed (module quote "(func (result v128) (f64x2.replace_lane 256 (v128.const f64x2 0 0) (f64.const 1)))") "i8 constant out of") |
| 428 | +(assert_malformed (module quote "(func (result v128) (f64x2.replace_lane 256 (v128.const f64x2 0 0) (f64.const 1)))") "i8 constant out of range") |
429 | 429 |
|
430 | 430 | ;; Invalid lane index value |
431 | 431 |
|
|
521 | 521 | (assert_malformed (module quote "(func (result v128)" |
522 | 522 | "(i8x16.shuffle 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 -1" |
523 | 523 | "(v128.const i8x16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0)" |
524 | | - "(v128.const i8x16 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15)))") "i8 constant out of") |
| 524 | + "(v128.const i8x16 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15)))") "i8 constant out of range") |
525 | 525 | (assert_malformed (module quote "(func (result v128)" |
526 | 526 | "(i8x16.shuffle 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 256" |
527 | 527 | "(v128.const i8x16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0)" |
528 | | - "(v128.const i8x16 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15)))") "i8 constant out of") |
| 528 | + "(v128.const i8x16 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15)))") "i8 constant out of range") |
529 | 529 | (assert_invalid (module (func (result v128) |
530 | 530 | (i8x16.shuffle 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 255 |
531 | 531 | (v128.const i8x16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0) |
|
604 | 604 | (assert_malformed (module quote "(func (result v128) " |
605 | 605 | "(i8x16.shuffle 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15.0 " |
606 | 606 | "(v128.const i8x16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0) " |
607 | | - "(v128.const i8x16 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15)))") "i8 constant out of") |
| 607 | + "(v128.const i8x16 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15)))") "i8 constant out of range") |
608 | 608 | (assert_malformed (module quote "(func (result v128) " |
609 | 609 | "(i8x16.shuffle 0.5 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 " |
610 | 610 | "(v128.const i8x16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0) " |
611 | | - "(v128.const i8x16 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15)))") "i8 constant out of") |
| 611 | + "(v128.const i8x16 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15)))") "i8 constant out of range") |
612 | 612 | (assert_malformed (module quote "(func (result v128) " |
613 | 613 | "(i8x16.shuffle -inf 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 " |
614 | 614 | "(v128.const i8x16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0) " |
615 | | - "(v128.const i8x16 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15)))") "i8 constant out of") |
| 615 | + "(v128.const i8x16 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15)))") "i8 constant out of range") |
616 | 616 | (assert_malformed (module quote "(func (result v128) " |
617 | 617 | "(i8x16.shuffle 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 inf " |
618 | 618 | "(v128.const i8x16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0) " |
619 | | - "(v128.const i8x16 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15)))") "i8 constant out of") |
| 619 | + "(v128.const i8x16 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15)))") "i8 constant out of range") |
620 | 620 | (assert_malformed (module quote "(func (result v128) " |
621 | 621 | "(i8x16.shuffle nan 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 " |
622 | 622 | "(v128.const i8x16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0) " |
623 | | - "(v128.const i8x16 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15)))") "i8 constant out of") |
| 623 | + "(v128.const i8x16 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15)))") "i8 constant out of range") |
624 | 624 |
|
625 | 625 |
|
626 | 626 | ;; Combination with each other |
|
0 commit comments