Skip to content
This repository was archived by the owner on Dec 22, 2021. It is now read-only.

Update some of the test assertions in simd_lane.wast #140

Merged
merged 6 commits into from
Dec 17, 2019
Merged

Update some of the test assertions in simd_lane.wast #140

Changes from all commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
4fdd0c6
Trim trailing whitespace in simd_lane.wast
alexcrichton Nov 15, 2019
34aedb3
Fix a typo in simd_lane.wast
alexcrichton Nov 15, 2019
e5b3bb6
Remove extra specifiers in invalid lane tests
alexcrichton Nov 15, 2019
21e3565
Change some malformed shuffles to text parser errors
alexcrichton Nov 15, 2019
fe1c984
Ensure invalid lane length test typechecks
alexcrichton Nov 18, 2019
1d76f2d
Use multiline string syntax
alexcrichton Nov 19, 2019
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
36 changes: 19 additions & 17 deletions test/core/simd/simd_lane.wast
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
;; Tests for the extract_lane, replace_lane, swizzle and shuffle group instructions


(module
(module
(func (export "i8x16_extract_lane_s-first") (param v128) (result i32)
(i8x16.extract_lane_s 0 (local.get 0)))
(func (export "i8x16_extract_lane_s-last") (param v128) (result i32)
Expand Down Expand Up @@ -419,7 +419,7 @@
(assert_invalid (module (func (result f32) (f32x4.extract_lane -1 (v128.const f32x4 0 0 0 0)))) "invalid lane index")
(assert_invalid (module (func (result f32) (f32x4.extract_lane 4 (v128.const f32x4 0 0 0 0)))) "invalid lane index")
(assert_invalid (module (func (result v128) (i8x16.replace_lane -1 (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (i32.const 1)))) "invalid lane index")
(assert_invalid (module (func (result v128) (i8x16.replace_lane 16 (v128.const ii8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (i32.const 1)))) "invalid lane index")
(assert_invalid (module (func (result v128) (i8x16.replace_lane 16 (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (i32.const 1)))) "invalid lane index")
(assert_invalid (module (func (result v128) (i16x8.replace_lane -1 (v128.const i16x8 0 0 0 0 0 0 0 0) (i32.const 1)))) "invalid lane index")
(assert_invalid (module (func (result v128) (i16x8.replace_lane 8 (v128.const i16x8 0 0 0 0 0 0 0 0) (i32.const 1)))) "invalid lane index")
(assert_invalid (module (func (result v128) (i32x4.replace_lane -1 (v128.const i32x4 0 0 0 0) (i32.const 1)))) "invalid lane index")
Expand All @@ -444,10 +444,10 @@
(assert_invalid (module (func (result v128) (i16x8.replace_lane 8 (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (i32.const 1)))) "invalid lane index")
(assert_invalid (module (func (result v128) (i32x4.replace_lane 4 (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (i32.const 1)))) "invalid lane index")
(assert_invalid (module (func (result v128) (f32x4.replace_lane 4 (v128.const i8x16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) (i32.const 1)))) "invalid lane index")
(assert_invalid (module (func (result i64) (i64x2.extract_lane 2 (v128.const i64x2 0 0 0 0)))) "invalid lane index")
(assert_invalid (module (func (result f64) (f64x2.extract_lane 2 (v128.const f64x2 0 0 0 0)))) "invalid lane index")
(assert_invalid (module (func (result v128) (i64x2.replace_lane 2 (v128.const i64x2 0 0 0 0) (i64.const 1)))) "invalid lane index")
(assert_invalid (module (func (result v128) (f64x2.replace_lane 2 (v128.const f64x2 0 0 0 0) (f64.const 1.0)))) "invalid lane index")
(assert_invalid (module (func (result i64) (i64x2.extract_lane 2 (v128.const i64x2 0 0)))) "invalid lane index")
(assert_invalid (module (func (result f64) (f64x2.extract_lane 2 (v128.const f64x2 0 0)))) "invalid lane index")
(assert_invalid (module (func (result v128) (i64x2.replace_lane 2 (v128.const i64x2 0 0) (i64.const 1)))) "invalid lane index")
(assert_invalid (module (func (result v128) (f64x2.replace_lane 2 (v128.const f64x2 0 0) (f64.const 1.0)))) "invalid lane index")

;; Invalid parameters: required v128 but pass other types

Expand Down Expand Up @@ -489,14 +489,16 @@
(v128.const i8x16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0) (f32.const 4.0)))) "type mismatch")

;; v8x16.shuffle: the 1st argument must be 16-byte literals in 0..32
(assert_invalid (module (func (result v128)
(v8x16.shuffle 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14
(v128.const i8x16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0)
(v128.const i8x16 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15)))) "invalid lane length")
(assert_invalid (module (func (result v128)
(v8x16.shuffle 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
(v128.const i8x16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0)
(v128.const i8x16 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15)))) "invalid lane length")
(assert_malformed (module quote "(func (param v128) (result v128)"
"local.get 0"
"local.get 0"
"v8x16.shuffle 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14)")
"invalid lane length")
(assert_malformed (module quote "(func (param v128) (result v128)"
"local.get 0"
"local.get 0"
"v8x16.shuffle 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16)")
"invalid lane length")
(assert_invalid (module (func (result v128)
(v8x16.shuffle -1 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14
(v128.const i8x16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0)
Expand Down Expand Up @@ -738,9 +740,9 @@
(assert_return (invoke "as-i64x2_splat-operand" (v128.const i64x2 -1 0)) (v128.const i64x2 -1 -1))
(assert_return (invoke "as-f64x2_splat-operand" (v128.const f64x2 inf nan)) (v128.const f64x2 inf inf))
(assert_return (invoke "as-i8x16_add-operands"
(v128.const i8x16 0xff 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16) (i32.const 1)
(v128.const i8x16 0xff 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16) (i32.const 1)
(v128.const i8x16 16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 0xff) (i32.const 1))
(v128.const i8x16 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17))
(v128.const i8x16 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17))
(assert_return (invoke "as-i16x8_add-operands"
(v128.const i16x8 -1 4 9 16 25 36 49 64) (i32.const 1)
(v128.const i16x8 64 49 36 25 16 9 4 -1) (i32.const 1))
Expand Down Expand Up @@ -854,4 +856,4 @@
(v128.const i8x16 -16 -15 -14 -13 -12 -11 -10 -9 8 7 6 5 4 3 2 1))

(assert_return (invoke "as-local_set-value-1" (v128.const i64x2 -1 -1)) (i64.const -1))
(assert_return (invoke "as-global_set-value-3" (v128.const f64x2 0 0)(f64.const 3.14)) (v128.const f64x2 3.14 0))
(assert_return (invoke "as-global_set-value-3" (v128.const f64x2 0 0)(f64.const 3.14)) (v128.const f64x2 3.14 0))