diff options
Diffstat (limited to 'js/src/jit-test/tests/wasm/spec/spec/simd_store16_lane.wast.js')
-rw-r--r-- | js/src/jit-test/tests/wasm/spec/spec/simd_store16_lane.wast.js | 512 |
1 files changed, 512 insertions, 0 deletions
diff --git a/js/src/jit-test/tests/wasm/spec/spec/simd_store16_lane.wast.js b/js/src/jit-test/tests/wasm/spec/spec/simd_store16_lane.wast.js new file mode 100644 index 0000000000..50e1431390 --- /dev/null +++ b/js/src/jit-test/tests/wasm/spec/spec/simd_store16_lane.wast.js @@ -0,0 +1,512 @@ +// |jit-test| skip-if: !wasmSimdEnabled() + +/* Copyright 2021 Mozilla Foundation + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +// ./test/core/simd/simd_store16_lane.wast + +// ./test/core/simd/simd_store16_lane.wast:4 +let $0 = instantiate(`(module + (memory 1) + (global $$zero (mut v128) (v128.const i32x4 0 0 0 0)) + (func (export "v128.store16_lane_0") + (param $$address i32) (param $$x v128) (result i64) (local $$ret i64) + (v128.store16_lane 0 (local.get $$address) (local.get $$x)) + (local.set $$ret (i64.load (local.get $$address))) + (v128.store (local.get $$address) (global.get $$zero)) (local.get $$ret)) + (func (export "v128.store16_lane_1") + (param $$address i32) (param $$x v128) (result i64) (local $$ret i64) + (v128.store16_lane 1 (local.get $$address) (local.get $$x)) + (local.set $$ret (i64.load (local.get $$address))) + (v128.store (local.get $$address) (global.get $$zero)) (local.get $$ret)) + (func (export "v128.store16_lane_2") + (param $$address i32) (param $$x v128) (result i64) (local $$ret i64) + (v128.store16_lane 2 (local.get $$address) (local.get $$x)) + (local.set $$ret (i64.load (local.get $$address))) + (v128.store (local.get $$address) (global.get $$zero)) (local.get $$ret)) + (func (export "v128.store16_lane_3") + (param $$address i32) (param $$x v128) (result i64) (local $$ret i64) + (v128.store16_lane 3 (local.get $$address) (local.get $$x)) + (local.set $$ret (i64.load (local.get $$address))) + (v128.store (local.get $$address) (global.get $$zero)) (local.get $$ret)) + (func (export "v128.store16_lane_4") + (param $$address i32) (param $$x v128) (result i64) (local $$ret i64) + (v128.store16_lane 4 (local.get $$address) (local.get $$x)) + (local.set $$ret (i64.load (local.get $$address))) + (v128.store (local.get $$address) (global.get $$zero)) (local.get $$ret)) + (func (export "v128.store16_lane_5") + (param $$address i32) (param $$x v128) (result i64) (local $$ret i64) + (v128.store16_lane 5 (local.get $$address) (local.get $$x)) + (local.set $$ret (i64.load (local.get $$address))) + (v128.store (local.get $$address) (global.get $$zero)) (local.get $$ret)) + (func (export "v128.store16_lane_6") + (param $$address i32) (param $$x v128) (result i64) (local $$ret i64) + (v128.store16_lane 6 (local.get $$address) (local.get $$x)) + (local.set $$ret (i64.load (local.get $$address))) + (v128.store (local.get $$address) (global.get $$zero)) (local.get $$ret)) + (func (export "v128.store16_lane_7") + (param $$address i32) (param $$x v128) (result i64) (local $$ret i64) + (v128.store16_lane 7 (local.get $$address) (local.get $$x)) + (local.set $$ret (i64.load (local.get $$address))) + (v128.store (local.get $$address) (global.get $$zero)) (local.get $$ret)) + (func (export "v128.store16_lane_0_offset_0") + (param $$x v128) (result i64) (local $$ret i64) + (v128.store16_lane offset=0 0 (i32.const 0) (local.get $$x)) + (local.set $$ret (i64.load offset=0 (i32.const 0))) + (v128.store offset=0 (i32.const 0) (global.get $$zero)) + (local.get $$ret)) + (func (export "v128.store16_lane_1_offset_1") + (param $$x v128) (result i64) (local $$ret i64) + (v128.store16_lane offset=1 1 (i32.const 0) (local.get $$x)) + (local.set $$ret (i64.load offset=1 (i32.const 0))) + (v128.store offset=1 (i32.const 0) (global.get $$zero)) + (local.get $$ret)) + (func (export "v128.store16_lane_2_offset_2") + (param $$x v128) (result i64) (local $$ret i64) + (v128.store16_lane offset=2 2 (i32.const 0) (local.get $$x)) + (local.set $$ret (i64.load offset=2 (i32.const 0))) + (v128.store offset=2 (i32.const 0) (global.get $$zero)) + (local.get $$ret)) + (func (export "v128.store16_lane_3_offset_3") + (param $$x v128) (result i64) (local $$ret i64) + (v128.store16_lane offset=3 3 (i32.const 0) (local.get $$x)) + (local.set $$ret (i64.load offset=3 (i32.const 0))) + (v128.store offset=3 (i32.const 0) (global.get $$zero)) + (local.get $$ret)) + (func (export "v128.store16_lane_4_offset_4") + (param $$x v128) (result i64) (local $$ret i64) + (v128.store16_lane offset=4 4 (i32.const 0) (local.get $$x)) + (local.set $$ret (i64.load offset=4 (i32.const 0))) + (v128.store offset=4 (i32.const 0) (global.get $$zero)) + (local.get $$ret)) + (func (export "v128.store16_lane_5_offset_5") + (param $$x v128) (result i64) (local $$ret i64) + (v128.store16_lane offset=5 5 (i32.const 0) (local.get $$x)) + (local.set $$ret (i64.load offset=5 (i32.const 0))) + (v128.store offset=5 (i32.const 0) (global.get $$zero)) + (local.get $$ret)) + (func (export "v128.store16_lane_6_offset_6") + (param $$x v128) (result i64) (local $$ret i64) + (v128.store16_lane offset=6 6 (i32.const 0) (local.get $$x)) + (local.set $$ret (i64.load offset=6 (i32.const 0))) + (v128.store offset=6 (i32.const 0) (global.get $$zero)) + (local.get $$ret)) + (func (export "v128.store16_lane_7_offset_7") + (param $$x v128) (result i64) (local $$ret i64) + (v128.store16_lane offset=7 7 (i32.const 0) (local.get $$x)) + (local.set $$ret (i64.load offset=7 (i32.const 0))) + (v128.store offset=7 (i32.const 0) (global.get $$zero)) + (local.get $$ret)) + (func (export "v128.store16_lane_0_align_1") + (param $$address i32) (param $$x v128) (result i64) (local $$ret i64) + (v128.store16_lane align=1 0 (local.get $$address) (local.get $$x)) + (local.set $$ret (i64.load (local.get $$address))) + (v128.store offset=0 (i32.const 0) (global.get $$zero)) + (local.get $$ret)) + (func (export "v128.store16_lane_0_align_2") + (param $$address i32) (param $$x v128) (result i64) (local $$ret i64) + (v128.store16_lane align=2 0 (local.get $$address) (local.get $$x)) + (local.set $$ret (i64.load (local.get $$address))) + (v128.store offset=0 (i32.const 0) (global.get $$zero)) + (local.get $$ret)) + (func (export "v128.store16_lane_1_align_1") + (param $$address i32) (param $$x v128) (result i64) (local $$ret i64) + (v128.store16_lane align=1 1 (local.get $$address) (local.get $$x)) + (local.set $$ret (i64.load (local.get $$address))) + (v128.store offset=1 (i32.const 0) (global.get $$zero)) + (local.get $$ret)) + (func (export "v128.store16_lane_1_align_2") + (param $$address i32) (param $$x v128) (result i64) (local $$ret i64) + (v128.store16_lane align=2 1 (local.get $$address) (local.get $$x)) + (local.set $$ret (i64.load (local.get $$address))) + (v128.store offset=1 (i32.const 0) (global.get $$zero)) + (local.get $$ret)) + (func (export "v128.store16_lane_2_align_1") + (param $$address i32) (param $$x v128) (result i64) (local $$ret i64) + (v128.store16_lane align=1 2 (local.get $$address) (local.get $$x)) + (local.set $$ret (i64.load (local.get $$address))) + (v128.store offset=2 (i32.const 0) (global.get $$zero)) + (local.get $$ret)) + (func (export "v128.store16_lane_2_align_2") + (param $$address i32) (param $$x v128) (result i64) (local $$ret i64) + (v128.store16_lane align=2 2 (local.get $$address) (local.get $$x)) + (local.set $$ret (i64.load (local.get $$address))) + (v128.store offset=2 (i32.const 0) (global.get $$zero)) + (local.get $$ret)) + (func (export "v128.store16_lane_3_align_1") + (param $$address i32) (param $$x v128) (result i64) (local $$ret i64) + (v128.store16_lane align=1 3 (local.get $$address) (local.get $$x)) + (local.set $$ret (i64.load (local.get $$address))) + (v128.store offset=3 (i32.const 0) (global.get $$zero)) + (local.get $$ret)) + (func (export "v128.store16_lane_3_align_2") + (param $$address i32) (param $$x v128) (result i64) (local $$ret i64) + (v128.store16_lane align=2 3 (local.get $$address) (local.get $$x)) + (local.set $$ret (i64.load (local.get $$address))) + (v128.store offset=3 (i32.const 0) (global.get $$zero)) + (local.get $$ret)) + (func (export "v128.store16_lane_4_align_1") + (param $$address i32) (param $$x v128) (result i64) (local $$ret i64) + (v128.store16_lane align=1 4 (local.get $$address) (local.get $$x)) + (local.set $$ret (i64.load (local.get $$address))) + (v128.store offset=4 (i32.const 0) (global.get $$zero)) + (local.get $$ret)) + (func (export "v128.store16_lane_4_align_2") + (param $$address i32) (param $$x v128) (result i64) (local $$ret i64) + (v128.store16_lane align=2 4 (local.get $$address) (local.get $$x)) + (local.set $$ret (i64.load (local.get $$address))) + (v128.store offset=4 (i32.const 0) (global.get $$zero)) + (local.get $$ret)) + (func (export "v128.store16_lane_5_align_1") + (param $$address i32) (param $$x v128) (result i64) (local $$ret i64) + (v128.store16_lane align=1 5 (local.get $$address) (local.get $$x)) + (local.set $$ret (i64.load (local.get $$address))) + (v128.store offset=5 (i32.const 0) (global.get $$zero)) + (local.get $$ret)) + (func (export "v128.store16_lane_5_align_2") + (param $$address i32) (param $$x v128) (result i64) (local $$ret i64) + (v128.store16_lane align=2 5 (local.get $$address) (local.get $$x)) + (local.set $$ret (i64.load (local.get $$address))) + (v128.store offset=5 (i32.const 0) (global.get $$zero)) + (local.get $$ret)) + (func (export "v128.store16_lane_6_align_1") + (param $$address i32) (param $$x v128) (result i64) (local $$ret i64) + (v128.store16_lane align=1 6 (local.get $$address) (local.get $$x)) + (local.set $$ret (i64.load (local.get $$address))) + (v128.store offset=6 (i32.const 0) (global.get $$zero)) + (local.get $$ret)) + (func (export "v128.store16_lane_6_align_2") + (param $$address i32) (param $$x v128) (result i64) (local $$ret i64) + (v128.store16_lane align=2 6 (local.get $$address) (local.get $$x)) + (local.set $$ret (i64.load (local.get $$address))) + (v128.store offset=6 (i32.const 0) (global.get $$zero)) + (local.get $$ret)) + (func (export "v128.store16_lane_7_align_1") + (param $$address i32) (param $$x v128) (result i64) (local $$ret i64) + (v128.store16_lane align=1 7 (local.get $$address) (local.get $$x)) + (local.set $$ret (i64.load (local.get $$address))) + (v128.store offset=7 (i32.const 0) (global.get $$zero)) + (local.get $$ret)) + (func (export "v128.store16_lane_7_align_2") + (param $$address i32) (param $$x v128) (result i64) (local $$ret i64) + (v128.store16_lane align=2 7 (local.get $$address) (local.get $$x)) + (local.set $$ret (i64.load (local.get $$address))) + (v128.store offset=7 (i32.const 0) (global.get $$zero)) + (local.get $$ret)) +)`); + +// ./test/core/simd/simd_store16_lane.wast:193 +assert_return( + () => invoke($0, `v128.store16_lane_0`, [ + 0, + i16x8([0x100, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0]), + ]), + [value("i64", 256n)], +); + +// ./test/core/simd/simd_store16_lane.wast:196 +assert_return( + () => invoke($0, `v128.store16_lane_1`, [ + 1, + i16x8([0x0, 0x201, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0]), + ]), + [value("i64", 513n)], +); + +// ./test/core/simd/simd_store16_lane.wast:199 +assert_return( + () => invoke($0, `v128.store16_lane_2`, [ + 2, + i16x8([0x0, 0x0, 0x302, 0x0, 0x0, 0x0, 0x0, 0x0]), + ]), + [value("i64", 770n)], +); + +// ./test/core/simd/simd_store16_lane.wast:202 +assert_return( + () => invoke($0, `v128.store16_lane_3`, [ + 3, + i16x8([0x0, 0x0, 0x0, 0x403, 0x0, 0x0, 0x0, 0x0]), + ]), + [value("i64", 1027n)], +); + +// ./test/core/simd/simd_store16_lane.wast:205 +assert_return( + () => invoke($0, `v128.store16_lane_4`, [ + 4, + i16x8([0x0, 0x0, 0x0, 0x0, 0x504, 0x0, 0x0, 0x0]), + ]), + [value("i64", 1284n)], +); + +// ./test/core/simd/simd_store16_lane.wast:208 +assert_return( + () => invoke($0, `v128.store16_lane_5`, [ + 5, + i16x8([0x0, 0x0, 0x0, 0x0, 0x0, 0x605, 0x0, 0x0]), + ]), + [value("i64", 1541n)], +); + +// ./test/core/simd/simd_store16_lane.wast:211 +assert_return( + () => invoke($0, `v128.store16_lane_6`, [ + 6, + i16x8([0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x706, 0x0]), + ]), + [value("i64", 1798n)], +); + +// ./test/core/simd/simd_store16_lane.wast:214 +assert_return( + () => invoke($0, `v128.store16_lane_7`, [ + 7, + i16x8([0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x807]), + ]), + [value("i64", 2055n)], +); + +// ./test/core/simd/simd_store16_lane.wast:217 +assert_return( + () => invoke($0, `v128.store16_lane_0_offset_0`, [ + i16x8([0x100, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0]), + ]), + [value("i64", 256n)], +); + +// ./test/core/simd/simd_store16_lane.wast:219 +assert_return( + () => invoke($0, `v128.store16_lane_1_offset_1`, [ + i16x8([0x0, 0x201, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0]), + ]), + [value("i64", 513n)], +); + +// ./test/core/simd/simd_store16_lane.wast:221 +assert_return( + () => invoke($0, `v128.store16_lane_2_offset_2`, [ + i16x8([0x0, 0x0, 0x302, 0x0, 0x0, 0x0, 0x0, 0x0]), + ]), + [value("i64", 770n)], +); + +// ./test/core/simd/simd_store16_lane.wast:223 +assert_return( + () => invoke($0, `v128.store16_lane_3_offset_3`, [ + i16x8([0x0, 0x0, 0x0, 0x403, 0x0, 0x0, 0x0, 0x0]), + ]), + [value("i64", 1027n)], +); + +// ./test/core/simd/simd_store16_lane.wast:225 +assert_return( + () => invoke($0, `v128.store16_lane_4_offset_4`, [ + i16x8([0x0, 0x0, 0x0, 0x0, 0x504, 0x0, 0x0, 0x0]), + ]), + [value("i64", 1284n)], +); + +// ./test/core/simd/simd_store16_lane.wast:227 +assert_return( + () => invoke($0, `v128.store16_lane_5_offset_5`, [ + i16x8([0x0, 0x0, 0x0, 0x0, 0x0, 0x605, 0x0, 0x0]), + ]), + [value("i64", 1541n)], +); + +// ./test/core/simd/simd_store16_lane.wast:229 +assert_return( + () => invoke($0, `v128.store16_lane_6_offset_6`, [ + i16x8([0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x706, 0x0]), + ]), + [value("i64", 1798n)], +); + +// ./test/core/simd/simd_store16_lane.wast:231 +assert_return( + () => invoke($0, `v128.store16_lane_7_offset_7`, [ + i16x8([0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x807]), + ]), + [value("i64", 2055n)], +); + +// ./test/core/simd/simd_store16_lane.wast:233 +assert_return( + () => invoke($0, `v128.store16_lane_0_align_1`, [ + 0, + i16x8([0x100, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0]), + ]), + [value("i64", 256n)], +); + +// ./test/core/simd/simd_store16_lane.wast:236 +assert_return( + () => invoke($0, `v128.store16_lane_0_align_2`, [ + 0, + i16x8([0x100, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0]), + ]), + [value("i64", 256n)], +); + +// ./test/core/simd/simd_store16_lane.wast:239 +assert_return( + () => invoke($0, `v128.store16_lane_1_align_1`, [ + 1, + i16x8([0x0, 0x201, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0]), + ]), + [value("i64", 513n)], +); + +// ./test/core/simd/simd_store16_lane.wast:242 +assert_return( + () => invoke($0, `v128.store16_lane_1_align_2`, [ + 1, + i16x8([0x0, 0x201, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0]), + ]), + [value("i64", 513n)], +); + +// ./test/core/simd/simd_store16_lane.wast:245 +assert_return( + () => invoke($0, `v128.store16_lane_2_align_1`, [ + 2, + i16x8([0x0, 0x0, 0x302, 0x0, 0x0, 0x0, 0x0, 0x0]), + ]), + [value("i64", 770n)], +); + +// ./test/core/simd/simd_store16_lane.wast:248 +assert_return( + () => invoke($0, `v128.store16_lane_2_align_2`, [ + 2, + i16x8([0x0, 0x0, 0x302, 0x0, 0x0, 0x0, 0x0, 0x0]), + ]), + [value("i64", 770n)], +); + +// ./test/core/simd/simd_store16_lane.wast:251 +assert_return( + () => invoke($0, `v128.store16_lane_3_align_1`, [ + 3, + i16x8([0x0, 0x0, 0x0, 0x403, 0x0, 0x0, 0x0, 0x0]), + ]), + [value("i64", 1027n)], +); + +// ./test/core/simd/simd_store16_lane.wast:254 +assert_return( + () => invoke($0, `v128.store16_lane_3_align_2`, [ + 3, + i16x8([0x0, 0x0, 0x0, 0x403, 0x0, 0x0, 0x0, 0x0]), + ]), + [value("i64", 1027n)], +); + +// ./test/core/simd/simd_store16_lane.wast:257 +assert_return( + () => invoke($0, `v128.store16_lane_4_align_1`, [ + 4, + i16x8([0x0, 0x0, 0x0, 0x0, 0x504, 0x0, 0x0, 0x0]), + ]), + [value("i64", 1284n)], +); + +// ./test/core/simd/simd_store16_lane.wast:260 +assert_return( + () => invoke($0, `v128.store16_lane_4_align_2`, [ + 4, + i16x8([0x0, 0x0, 0x0, 0x0, 0x504, 0x0, 0x0, 0x0]), + ]), + [value("i64", 1284n)], +); + +// ./test/core/simd/simd_store16_lane.wast:263 +assert_return( + () => invoke($0, `v128.store16_lane_5_align_1`, [ + 5, + i16x8([0x0, 0x0, 0x0, 0x0, 0x0, 0x605, 0x0, 0x0]), + ]), + [value("i64", 1541n)], +); + +// ./test/core/simd/simd_store16_lane.wast:266 +assert_return( + () => invoke($0, `v128.store16_lane_5_align_2`, [ + 5, + i16x8([0x0, 0x0, 0x0, 0x0, 0x0, 0x605, 0x0, 0x0]), + ]), + [value("i64", 1541n)], +); + +// ./test/core/simd/simd_store16_lane.wast:269 +assert_return( + () => invoke($0, `v128.store16_lane_6_align_1`, [ + 6, + i16x8([0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x706, 0x0]), + ]), + [value("i64", 1798n)], +); + +// ./test/core/simd/simd_store16_lane.wast:272 +assert_return( + () => invoke($0, `v128.store16_lane_6_align_2`, [ + 6, + i16x8([0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x706, 0x0]), + ]), + [value("i64", 1798n)], +); + +// ./test/core/simd/simd_store16_lane.wast:275 +assert_return( + () => invoke($0, `v128.store16_lane_7_align_1`, [ + 7, + i16x8([0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x807]), + ]), + [value("i64", 2055n)], +); + +// ./test/core/simd/simd_store16_lane.wast:278 +assert_return( + () => invoke($0, `v128.store16_lane_7_align_2`, [ + 7, + i16x8([0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x807]), + ]), + [value("i64", 2055n)], +); + +// ./test/core/simd/simd_store16_lane.wast:283 +assert_invalid( + () => instantiate(`(module (memory 1) + (func (param $$x v128) (result v128) + (v128.store16_lane 0 (local.get $$x) (i32.const 0))))`), + `type mismatch`, +); + +// ./test/core/simd/simd_store16_lane.wast:289 +assert_invalid( + () => instantiate(`(module (memory 1) + (func (param $$x v128) (result v128) + (v128.store16_lane 8 (i32.const 0) (local.get $$x))))`), + `invalid lane index`, +); + +// ./test/core/simd/simd_store16_lane.wast:295 +assert_invalid( + () => instantiate(`(module (memory 1) + (func (param $$x v128) (result v128) + (v128.store16_lane align=4 0 (i32.const 0) (local.get $$x))))`), + `alignment must not be larger than natural`, +); |