github.com/wasilibs/wazerox@v0.0.0-20240124024944-4923be63ab5f/internal/integration_test/spectest/v2/testdata/simd_i32x4_dot_i16x8.json (about)

     1  {"source_filename": "./simd_i32x4_dot_i16x8.wast",
     2   "commands": [
     3    {"type": "module", "line": 4, "filename": "simd_i32x4_dot_i16x8.0.wasm"}, 
     4    {"type": "assert_return", "line": 10, "action": {"type": "invoke", "field": "i32x4.dot_i16x8_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": "i32", "value": ["0", "0", "0", "0"]}]}, 
     5    {"type": "assert_return", "line": 13, "action": {"type": "invoke", "field": "i32x4.dot_i16x8_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": "i32", "value": ["0", "0", "0", "0"]}]}, 
     6    {"type": "assert_return", "line": 16, "action": {"type": "invoke", "field": "i32x4.dot_i16x8_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": "i32", "value": ["2", "2", "2", "2"]}]}, 
     7    {"type": "assert_return", "line": 19, "action": {"type": "invoke", "field": "i32x4.dot_i16x8_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": "i32", "value": ["0", "0", "0", "0"]}]}, 
     8    {"type": "assert_return", "line": 22, "action": {"type": "invoke", "field": "i32x4.dot_i16x8_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": "i32", "value": ["4294967294", "4294967294", "4294967294", "4294967294"]}]}, 
     9    {"type": "assert_return", "line": 25, "action": {"type": "invoke", "field": "i32x4.dot_i16x8_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": "i32", "value": ["2", "2", "2", "2"]}]}, 
    10    {"type": "assert_return", "line": 28, "action": {"type": "invoke", "field": "i32x4.dot_i16x8_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": "i32", "value": ["536838144", "536838144", "536838144", "536838144"]}]}, 
    11    {"type": "assert_return", "line": 31, "action": {"type": "invoke", "field": "i32x4.dot_i16x8_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": "i32", "value": ["536870912", "536870912", "536870912", "536870912"]}]}, 
    12    {"type": "assert_return", "line": 34, "action": {"type": "invoke", "field": "i32x4.dot_i16x8_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": "i32", "value": ["536838144", "536838144", "536838144", "536838144"]}]}, 
    13    {"type": "assert_return", "line": 37, "action": {"type": "invoke", "field": "i32x4.dot_i16x8_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": "i32", "value": ["536870912", "536870912", "536870912", "536870912"]}]}, 
    14    {"type": "assert_return", "line": 40, "action": {"type": "invoke", "field": "i32x4.dot_i16x8_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": "i32", "value": ["536903680", "536903680", "536903680", "536903680"]}]}, 
    15    {"type": "assert_return", "line": 43, "action": {"type": "invoke", "field": "i32x4.dot_i16x8_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": "i32", "value": ["65530", "65530", "65530", "65530"]}]}, 
    16    {"type": "assert_return", "line": 46, "action": {"type": "invoke", "field": "i32x4.dot_i16x8_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": "i32", "value": ["65532", "65532", "65532", "65532"]}]}, 
    17    {"type": "assert_return", "line": 49, "action": {"type": "invoke", "field": "i32x4.dot_i16x8_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": "i32", "value": ["4294901760", "4294901760", "4294901760", "4294901760"]}]}, 
    18    {"type": "assert_return", "line": 52, "action": {"type": "invoke", "field": "i32x4.dot_i16x8_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": "i32", "value": ["65532", "65532", "65532", "65532"]}]}, 
    19    {"type": "assert_return", "line": 55, "action": {"type": "invoke", "field": "i32x4.dot_i16x8_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": "i32", "value": ["65534", "65534", "65534", "65534"]}]}, 
    20    {"type": "assert_return", "line": 58, "action": {"type": "invoke", "field": "i32x4.dot_i16x8_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": "i32", "value": ["65536", "65536", "65536", "65536"]}]}, 
    21    {"type": "assert_return", "line": 61, "action": {"type": "invoke", "field": "i32x4.dot_i16x8_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": "i32", "value": ["2147352578", "2147352578", "2147352578", "2147352578"]}]}, 
    22    {"type": "assert_return", "line": 64, "action": {"type": "invoke", "field": "i32x4.dot_i16x8_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": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, 
    23    {"type": "assert_return", "line": 67, "action": {"type": "invoke", "field": "i32x4.dot_i16x8_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": "i32", "value": ["2147418112", "2147418112", "2147418112", "2147418112"]}]}, 
    24    {"type": "assert_return", "line": 70, "action": {"type": "invoke", "field": "i32x4.dot_i16x8_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": "i32", "value": ["0", "0", "0", "0"]}]}, 
    25    {"type": "assert_return", "line": 73, "action": {"type": "invoke", "field": "i32x4.dot_i16x8_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": "i32", "value": ["4294967294", "4294967294", "4294967294", "4294967294"]}]}, 
    26    {"type": "assert_return", "line": 76, "action": {"type": "invoke", "field": "i32x4.dot_i16x8_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": "i32", "value": ["2", "2", "2", "2"]}]}, 
    27    {"type": "assert_return", "line": 79, "action": {"type": "invoke", "field": "i32x4.dot_i16x8_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": "i32", "value": ["4294901762", "4294901762", "4294901762", "4294901762"]}]}, 
    28    {"type": "assert_return", "line": 82, "action": {"type": "invoke", "field": "i32x4.dot_i16x8_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": "i32", "value": ["65536", "65536", "65536", "65536"]}]}, 
    29    {"type": "assert_return", "line": 85, "action": {"type": "invoke", "field": "i32x4.dot_i16x8_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": "i32", "value": ["2", "2", "2", "2"]}]}, 
    30    {"type": "assert_invalid", "line": 90, "filename": "simd_i32x4_dot_i16x8.1.wasm", "text": "type mismatch", "module_type": "binary"}, 
    31    {"type": "assert_invalid", "line": 95, "filename": "simd_i32x4_dot_i16x8.2.wasm", "text": "type mismatch", "module_type": "binary"}, 
    32    {"type": "assert_invalid", "line": 103, "filename": "simd_i32x4_dot_i16x8.3.wasm", "text": "type mismatch", "module_type": "binary"}]}