...

Text file src/github.com/tetratelabs/wazero/internal/integration_test/spectest/v2/testdata/simd_i32x4_dot_i16x8.json

Documentation: github.com/tetratelabs/wazero/internal/integration_test/spectest/v2/testdata

     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"}]}

View as plain text