github.com/tetratelabs/wazero@v1.7.1/internal/integration_test/spectest/v2/testdata/simd_i16x8_q15mulr_sat_s.json (about)

     1  {"source_filename": "./simd_i16x8_q15mulr_sat_s.wast",
     2   "commands": [
     3    {"type": "module", "line": 4, "filename": "simd_i16x8_q15mulr_sat_s.0.wasm"}, 
     4    {"type": "assert_return", "line": 10, "action": {"type": "invoke", "field": "i16x8.q15mulr_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}, {"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
     5    {"type": "assert_return", "line": 13, "action": {"type": "invoke", "field": "i16x8.q15mulr_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
     6    {"type": "assert_return", "line": 16, "action": {"type": "invoke", "field": "i16x8.q15mulr_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
     7    {"type": "assert_return", "line": 19, "action": {"type": "invoke", "field": "i16x8.q15mulr_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
     8    {"type": "assert_return", "line": 22, "action": {"type": "invoke", "field": "i16x8.q15mulr_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
     9    {"type": "assert_return", "line": 25, "action": {"type": "invoke", "field": "i16x8.q15mulr_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
    10    {"type": "assert_return", "line": 28, "action": {"type": "invoke", "field": "i16x8.q15mulr_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["16383", "16383", "16383", "16383", "16383", "16383", "16383", "16383"]}, {"type": "v128", "lane_type": "i16", "value": ["16384", "16384", "16384", "16384", "16384", "16384", "16384", "16384"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["8192", "8192", "8192", "8192", "8192", "8192", "8192", "8192"]}]}, 
    11    {"type": "assert_return", "line": 31, "action": {"type": "invoke", "field": "i16x8.q15mulr_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["16384", "16384", "16384", "16384", "16384", "16384", "16384", "16384"]}, {"type": "v128", "lane_type": "i16", "value": ["16384", "16384", "16384", "16384", "16384", "16384", "16384", "16384"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["8192", "8192", "8192", "8192", "8192", "8192", "8192", "8192"]}]}, 
    12    {"type": "assert_return", "line": 34, "action": {"type": "invoke", "field": "i16x8.q15mulr_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["49153", "49153", "49153", "49153", "49153", "49153", "49153", "49153"]}, {"type": "v128", "lane_type": "i16", "value": ["49152", "49152", "49152", "49152", "49152", "49152", "49152", "49152"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["8192", "8192", "8192", "8192", "8192", "8192", "8192", "8192"]}]}, 
    13    {"type": "assert_return", "line": 37, "action": {"type": "invoke", "field": "i16x8.q15mulr_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["49152", "49152", "49152", "49152", "49152", "49152", "49152", "49152"]}, {"type": "v128", "lane_type": "i16", "value": ["49152", "49152", "49152", "49152", "49152", "49152", "49152", "49152"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["8192", "8192", "8192", "8192", "8192", "8192", "8192", "8192"]}]}, 
    14    {"type": "assert_return", "line": 40, "action": {"type": "invoke", "field": "i16x8.q15mulr_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["49151", "49151", "49151", "49151", "49151", "49151", "49151", "49151"]}, {"type": "v128", "lane_type": "i16", "value": ["49152", "49152", "49152", "49152", "49152", "49152", "49152", "49152"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["8193", "8193", "8193", "8193", "8193", "8193", "8193", "8193"]}]}, 
    15    {"type": "assert_return", "line": 43, "action": {"type": "invoke", "field": "i16x8.q15mulr_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32765", "32765", "32765", "32765", "32765", "32765", "32765", "32765"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, 
    16    {"type": "assert_return", "line": 46, "action": {"type": "invoke", "field": "i16x8.q15mulr_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32766", "32766", "32766", "32766", "32766", "32766", "32766", "32766"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, 
    17    {"type": "assert_return", "line": 49, "action": {"type": "invoke", "field": "i16x8.q15mulr_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
    18    {"type": "assert_return", "line": 52, "action": {"type": "invoke", "field": "i16x8.q15mulr_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32770", "32770", "32770", "32770", "32770", "32770", "32770", "32770"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, 
    19    {"type": "assert_return", "line": 55, "action": {"type": "invoke", "field": "i16x8.q15mulr_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32769", "32769", "32769", "32769", "32769", "32769", "32769", "32769"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, 
    20    {"type": "assert_return", "line": 58, "action": {"type": "invoke", "field": "i16x8.q15mulr_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, 
    21    {"type": "assert_return", "line": 61, "action": {"type": "invoke", "field": "i16x8.q15mulr_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}, {"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32766", "32766", "32766", "32766", "32766", "32766", "32766", "32766"]}]}, 
    22    {"type": "assert_return", "line": 64, "action": {"type": "invoke", "field": "i16x8.q15mulr_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}]}, 
    23    {"type": "assert_return", "line": 67, "action": {"type": "invoke", "field": "i16x8.q15mulr_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "i16", "value": ["32769", "32769", "32769", "32769", "32769", "32769", "32769", "32769"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}]}, 
    24    {"type": "assert_return", "line": 70, "action": {"type": "invoke", "field": "i16x8.q15mulr_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
    25    {"type": "assert_return", "line": 73, "action": {"type": "invoke", "field": "i16x8.q15mulr_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
    26    {"type": "assert_return", "line": 76, "action": {"type": "invoke", "field": "i16x8.q15mulr_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
    27    {"type": "assert_return", "line": 79, "action": {"type": "invoke", "field": "i16x8.q15mulr_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
    28    {"type": "assert_return", "line": 82, "action": {"type": "invoke", "field": "i16x8.q15mulr_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, 
    29    {"type": "assert_return", "line": 85, "action": {"type": "invoke", "field": "i16x8.q15mulr_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
    30    {"type": "assert_invalid", "line": 90, "filename": "simd_i16x8_q15mulr_sat_s.1.wasm", "text": "type mismatch", "module_type": "binary"}, 
    31    {"type": "assert_invalid", "line": 95, "filename": "simd_i16x8_q15mulr_sat_s.2.wasm", "text": "type mismatch", "module_type": "binary"}, 
    32    {"type": "assert_invalid", "line": 103, "filename": "simd_i16x8_q15mulr_sat_s.3.wasm", "text": "type mismatch", "module_type": "binary"}]}