wa-lang.org/wazero@v1.0.2/internal/integration_test/spectest/v2/testdata/simd_i32x4_arith.json (about)

     1  {"source_filename": "./simd_i32x4_arith.wast",
     2   "commands": [
     3    {"type": "module", "line": 4, "filename": "simd_i32x4_arith.0.wasm"}, 
     4    {"type": "assert_return", "line": 13, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}, {"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
     5    {"type": "assert_return", "line": 16, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}, {"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, 
     6    {"type": "assert_return", "line": 19, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}, {"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2", "2", "2", "2"]}]}, 
     7    {"type": "assert_return", "line": 22, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}, {"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, 
     8    {"type": "assert_return", "line": 25, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}, {"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
     9    {"type": "assert_return", "line": 28, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}, {"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967294", "4294967294", "4294967294", "4294967294"]}]}, 
    10    {"type": "assert_return", "line": 31, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["1073741823", "1073741823", "1073741823", "1073741823"]}, {"type": "v128", "lane_type": "i32", "value": ["1073741824", "1073741824", "1073741824", "1073741824"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}]}, 
    11    {"type": "assert_return", "line": 34, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["1073741824", "1073741824", "1073741824", "1073741824"]}, {"type": "v128", "lane_type": "i32", "value": ["1073741824", "1073741824", "1073741824", "1073741824"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, 
    12    {"type": "assert_return", "line": 37, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["3221225473", "3221225473", "3221225473", "3221225473"]}, {"type": "v128", "lane_type": "i32", "value": ["3221225472", "3221225472", "3221225472", "3221225472"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483649", "2147483649", "2147483649", "2147483649"]}]}, 
    13    {"type": "assert_return", "line": 40, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["3221225472", "3221225472", "3221225472", "3221225472"]}, {"type": "v128", "lane_type": "i32", "value": ["3221225472", "3221225472", "3221225472", "3221225472"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, 
    14    {"type": "assert_return", "line": 43, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["3221225471", "3221225471", "3221225471", "3221225471"]}, {"type": "v128", "lane_type": "i32", "value": ["3221225472", "3221225472", "3221225472", "3221225472"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}]}, 
    15    {"type": "assert_return", "line": 46, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483645", "2147483645", "2147483645", "2147483645"]}, {"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483646", "2147483646", "2147483646", "2147483646"]}]}, 
    16    {"type": "assert_return", "line": 49, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483646", "2147483646", "2147483646", "2147483646"]}, {"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}]}, 
    17    {"type": "assert_return", "line": 52, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}, {"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483649", "2147483649", "2147483649", "2147483649"]}]}, 
    18    {"type": "assert_return", "line": 55, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483650", "2147483650", "2147483650", "2147483650"]}, {"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483649", "2147483649", "2147483649", "2147483649"]}]}, 
    19    {"type": "assert_return", "line": 58, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483649", "2147483649", "2147483649", "2147483649"]}, {"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, 
    20    {"type": "assert_return", "line": 61, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}, {"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}]}, 
    21    {"type": "assert_return", "line": 64, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}, {"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967294", "4294967294", "4294967294", "4294967294"]}]}, 
    22    {"type": "assert_return", "line": 67, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}, {"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
    23    {"type": "assert_return", "line": 70, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}, {"type": "v128", "lane_type": "i32", "value": ["2147483649", "2147483649", "2147483649", "2147483649"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, 
    24    {"type": "assert_return", "line": 73, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}, {"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, 
    25    {"type": "assert_return", "line": 76, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}, {"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
    26    {"type": "assert_return", "line": 79, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}, {"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967294", "4294967294", "4294967294", "4294967294"]}]}, 
    27    {"type": "assert_return", "line": 82, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}, {"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483646", "2147483646", "2147483646", "2147483646"]}]}, 
    28    {"type": "assert_return", "line": 85, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}, {"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}]}, 
    29    {"type": "assert_return", "line": 88, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}, {"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967294", "4294967294", "4294967294", "4294967294"]}]}, 
    30    {"type": "assert_return", "line": 91, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["1073741823", "1073741823", "1073741823", "1073741823"]}, {"type": "v128", "lane_type": "i32", "value": ["1073741824", "1073741824", "1073741824", "1073741824"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}]}, 
    31    {"type": "assert_return", "line": 94, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["1073741824", "1073741824", "1073741824", "1073741824"]}, {"type": "v128", "lane_type": "i32", "value": ["1073741824", "1073741824", "1073741824", "1073741824"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, 
    32    {"type": "assert_return", "line": 97, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["3221225473", "3221225473", "3221225473", "3221225473"]}, {"type": "v128", "lane_type": "i32", "value": ["3221225472", "3221225472", "3221225472", "3221225472"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483649", "2147483649", "2147483649", "2147483649"]}]}, 
    33    {"type": "assert_return", "line": 100, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["3221225472", "3221225472", "3221225472", "3221225472"]}, {"type": "v128", "lane_type": "i32", "value": ["3221225472", "3221225472", "3221225472", "3221225472"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, 
    34    {"type": "assert_return", "line": 103, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["3221225472", "3221225472", "3221225472", "3221225472"]}, {"type": "v128", "lane_type": "i32", "value": ["3221225471", "3221225471", "3221225471", "3221225471"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}]}, 
    35    {"type": "assert_return", "line": 106, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}, {"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967294", "4294967294", "4294967294", "4294967294"]}]}, 
    36    {"type": "assert_return", "line": 109, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}, {"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, 
    37    {"type": "assert_return", "line": 112, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}, {"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}]}, 
    38    {"type": "assert_return", "line": 115, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}, {"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, 
    39    {"type": "assert_return", "line": 118, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}, {"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
    40    {"type": "assert_return", "line": 121, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}, {"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
    41    {"type": "assert_return", "line": 124, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}, {"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967294", "4294967294", "4294967294", "4294967294"]}]}, 
    42    {"type": "assert_return", "line": 127, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "128", "0", "0", "0", "128", "0", "0", "0", "128", "0", "0", "0", "128"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, 
    43    {"type": "assert_return", "line": 130, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}, {"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
    44    {"type": "assert_return", "line": 133, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}, {"type": "v128", "lane_type": "i16", "value": ["0", "32768", "0", "32768", "0", "32768", "0", "32768"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, 
    45    {"type": "assert_return", "line": 136, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["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": ["0", "0", "0", "0"]}]}, 
    46    {"type": "assert_return", "line": 139, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}, {"type": "v128", "lane_type": "f32", "value": ["0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, 
    47    {"type": "assert_return", "line": 142, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}, {"type": "v128", "lane_type": "f32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
    48    {"type": "assert_return", "line": 145, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}, {"type": "v128", "lane_type": "f32", "value": ["1065353216", "1065353216", "1065353216", "1065353216"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["3212836864", "3212836864", "3212836864", "3212836864"]}]}, 
    49    {"type": "assert_return", "line": 148, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}, {"type": "v128", "lane_type": "f32", "value": ["3212836864", "3212836864", "3212836864", "3212836864"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["1065353216", "1065353216", "1065353216", "1065353216"]}]}, 
    50    {"type": "assert_return", "line": 151, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["2139095040", "2139095040", "2139095040", "2139095040"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2139095041", "2139095041", "2139095041", "2139095041"]}]}, 
    51    {"type": "assert_return", "line": 154, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["4286578688", "4286578688", "4286578688", "4286578688"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4286578689", "4286578689", "4286578689", "4286578689"]}]}, 
    52    {"type": "assert_return", "line": 157, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["2143289344", "2143289344", "2143289344", "2143289344"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2143289345", "2143289345", "2143289345", "2143289345"]}]}, 
    53    {"type": "assert_return", "line": 160, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["0", "1", "2", "3"]}, {"type": "v128", "lane_type": "i32", "value": ["0", "4294967295", "4294967294", "4294967293"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
    54    {"type": "assert_return", "line": 163, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["0", "1", "2", "3"]}, {"type": "v128", "lane_type": "i32", "value": ["0", "2", "4", "6"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "3", "6", "9"]}]}, 
    55    {"type": "assert_return", "line": 166, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["1234567890", "1234567890", "1234567890", "1234567890"]}, {"type": "v128", "lane_type": "i32", "value": ["1234567890", "1234567890", "1234567890", "1234567890"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2469135780", "2469135780", "2469135780", "2469135780"]}]}, 
    56    {"type": "assert_return", "line": 169, "action": {"type": "invoke", "field": "i32x4.add", "args": [{"type": "v128", "lane_type": "i32", "value": ["305419896", "305419896", "305419896", "305419896"]}, {"type": "v128", "lane_type": "i32", "value": ["2427178479", "2427178479", "2427178479", "2427178479"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2732598375", "2732598375", "2732598375", "2732598375"]}]}, 
    57    {"type": "assert_return", "line": 174, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}, {"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
    58    {"type": "assert_return", "line": 177, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}, {"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, 
    59    {"type": "assert_return", "line": 180, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}, {"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
    60    {"type": "assert_return", "line": 183, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}, {"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, 
    61    {"type": "assert_return", "line": 186, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}, {"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2", "2", "2", "2"]}]}, 
    62    {"type": "assert_return", "line": 189, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}, {"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
    63    {"type": "assert_return", "line": 192, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["1073741823", "1073741823", "1073741823", "1073741823"]}, {"type": "v128", "lane_type": "i32", "value": ["1073741824", "1073741824", "1073741824", "1073741824"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, 
    64    {"type": "assert_return", "line": 195, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["1073741824", "1073741824", "1073741824", "1073741824"]}, {"type": "v128", "lane_type": "i32", "value": ["1073741824", "1073741824", "1073741824", "1073741824"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
    65    {"type": "assert_return", "line": 198, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["3221225473", "3221225473", "3221225473", "3221225473"]}, {"type": "v128", "lane_type": "i32", "value": ["3221225472", "3221225472", "3221225472", "3221225472"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, 
    66    {"type": "assert_return", "line": 201, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["3221225472", "3221225472", "3221225472", "3221225472"]}, {"type": "v128", "lane_type": "i32", "value": ["3221225472", "3221225472", "3221225472", "3221225472"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
    67    {"type": "assert_return", "line": 204, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["3221225471", "3221225471", "3221225471", "3221225471"]}, {"type": "v128", "lane_type": "i32", "value": ["3221225472", "3221225472", "3221225472", "3221225472"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, 
    68    {"type": "assert_return", "line": 207, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483645", "2147483645", "2147483645", "2147483645"]}, {"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483644", "2147483644", "2147483644", "2147483644"]}]}, 
    69    {"type": "assert_return", "line": 210, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483646", "2147483646", "2147483646", "2147483646"]}, {"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483645", "2147483645", "2147483645", "2147483645"]}]}, 
    70    {"type": "assert_return", "line": 213, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}, {"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}]}, 
    71    {"type": "assert_return", "line": 216, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483650", "2147483650", "2147483650", "2147483650"]}, {"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483651", "2147483651", "2147483651", "2147483651"]}]}, 
    72    {"type": "assert_return", "line": 219, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483649", "2147483649", "2147483649", "2147483649"]}, {"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483650", "2147483650", "2147483650", "2147483650"]}]}, 
    73    {"type": "assert_return", "line": 222, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}, {"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483649", "2147483649", "2147483649", "2147483649"]}]}, 
    74    {"type": "assert_return", "line": 225, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}, {"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
    75    {"type": "assert_return", "line": 228, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}, {"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
    76    {"type": "assert_return", "line": 231, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}, {"type": "v128", "lane_type": "i32", "value": ["2147483649", "2147483649", "2147483649", "2147483649"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, 
    77    {"type": "assert_return", "line": 234, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}, {"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, 
    78    {"type": "assert_return", "line": 237, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}, {"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967294", "4294967294", "4294967294", "4294967294"]}]}, 
    79    {"type": "assert_return", "line": 240, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}, {"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
    80    {"type": "assert_return", "line": 243, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}, {"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, 
    81    {"type": "assert_return", "line": 246, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}, {"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}]}, 
    82    {"type": "assert_return", "line": 249, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}, {"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
    83    {"type": "assert_return", "line": 252, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["1073741823", "1073741823", "1073741823", "1073741823"]}, {"type": "v128", "lane_type": "i32", "value": ["1073741824", "1073741824", "1073741824", "1073741824"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, 
    84    {"type": "assert_return", "line": 255, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["1073741824", "1073741824", "1073741824", "1073741824"]}, {"type": "v128", "lane_type": "i32", "value": ["1073741824", "1073741824", "1073741824", "1073741824"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
    85    {"type": "assert_return", "line": 258, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["3221225473", "3221225473", "3221225473", "3221225473"]}, {"type": "v128", "lane_type": "i32", "value": ["3221225472", "3221225472", "3221225472", "3221225472"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, 
    86    {"type": "assert_return", "line": 261, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["3221225472", "3221225472", "3221225472", "3221225472"]}, {"type": "v128", "lane_type": "i32", "value": ["3221225472", "3221225472", "3221225472", "3221225472"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
    87    {"type": "assert_return", "line": 264, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["3221225472", "3221225472", "3221225472", "3221225472"]}, {"type": "v128", "lane_type": "i32", "value": ["3221225471", "3221225471", "3221225471", "3221225471"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, 
    88    {"type": "assert_return", "line": 267, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}, {"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
    89    {"type": "assert_return", "line": 270, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}, {"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483646", "2147483646", "2147483646", "2147483646"]}]}, 
    90    {"type": "assert_return", "line": 273, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}, {"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483649", "2147483649", "2147483649", "2147483649"]}]}, 
    91    {"type": "assert_return", "line": 276, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}, {"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, 
    92    {"type": "assert_return", "line": 279, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}, {"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
    93    {"type": "assert_return", "line": 282, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}, {"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967294", "4294967294", "4294967294", "4294967294"]}]}, 
    94    {"type": "assert_return", "line": 285, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}, {"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
    95    {"type": "assert_return", "line": 288, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "128", "0", "0", "0", "128", "0", "0", "0", "128", "0", "0", "0", "128"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, 
    96    {"type": "assert_return", "line": 291, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}, {"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2", "2", "2", "2"]}]}, 
    97    {"type": "assert_return", "line": 294, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}, {"type": "v128", "lane_type": "i16", "value": ["0", "32768", "0", "32768", "0", "32768", "0", "32768"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, 
    98    {"type": "assert_return", "line": 297, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["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": ["2", "2", "2", "2"]}]}, 
    99    {"type": "assert_return", "line": 300, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}, {"type": "v128", "lane_type": "f32", "value": ["0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, 
   100    {"type": "assert_return", "line": 303, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}, {"type": "v128", "lane_type": "f32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
   101    {"type": "assert_return", "line": 306, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}, {"type": "v128", "lane_type": "f32", "value": ["1065353216", "1065353216", "1065353216", "1065353216"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["1082130432", "1082130432", "1082130432", "1082130432"]}]}, 
   102    {"type": "assert_return", "line": 309, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}, {"type": "v128", "lane_type": "f32", "value": ["3212836864", "3212836864", "3212836864", "3212836864"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["3229614080", "3229614080", "3229614080", "3229614080"]}]}, 
   103    {"type": "assert_return", "line": 312, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["2139095040", "2139095040", "2139095040", "2139095040"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2155872257", "2155872257", "2155872257", "2155872257"]}]}, 
   104    {"type": "assert_return", "line": 315, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["4286578688", "4286578688", "4286578688", "4286578688"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["8388609", "8388609", "8388609", "8388609"]}]}, 
   105    {"type": "assert_return", "line": 318, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["2143289344", "2143289344", "2143289344", "2143289344"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2151677953", "2151677953", "2151677953", "2151677953"]}]}, 
   106    {"type": "assert_return", "line": 321, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["0", "1", "2", "3"]}, {"type": "v128", "lane_type": "i32", "value": ["0", "4294967295", "4294967294", "4294967293"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "2", "4", "6"]}]}, 
   107    {"type": "assert_return", "line": 324, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["0", "1", "2", "3"]}, {"type": "v128", "lane_type": "i32", "value": ["0", "2", "4", "6"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "4294967295", "4294967294", "4294967293"]}]}, 
   108    {"type": "assert_return", "line": 327, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["3214567890", "3214567890", "3214567890", "3214567890"]}, {"type": "v128", "lane_type": "i32", "value": ["1234567890", "1234567890", "1234567890", "1234567890"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["1980000000", "1980000000", "1980000000", "1980000000"]}]}, 
   109    {"type": "assert_return", "line": 330, "action": {"type": "invoke", "field": "i32x4.sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["2427178479", "2427178479", "2427178479", "2427178479"]}, {"type": "v128", "lane_type": "i32", "value": ["305419896", "305419896", "305419896", "305419896"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2121758583", "2121758583", "2121758583", "2121758583"]}]}, 
   110    {"type": "assert_return", "line": 335, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}, {"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
   111    {"type": "assert_return", "line": 338, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}, {"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
   112    {"type": "assert_return", "line": 341, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}, {"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, 
   113    {"type": "assert_return", "line": 344, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}, {"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
   114    {"type": "assert_return", "line": 347, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}, {"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, 
   115    {"type": "assert_return", "line": 350, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}, {"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, 
   116    {"type": "assert_return", "line": 353, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["1073741823", "1073741823", "1073741823", "1073741823"]}, {"type": "v128", "lane_type": "i32", "value": ["1073741824", "1073741824", "1073741824", "1073741824"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["3221225472", "3221225472", "3221225472", "3221225472"]}]}, 
   117    {"type": "assert_return", "line": 356, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["1073741824", "1073741824", "1073741824", "1073741824"]}, {"type": "v128", "lane_type": "i32", "value": ["1073741824", "1073741824", "1073741824", "1073741824"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
   118    {"type": "assert_return", "line": 359, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["3221225473", "3221225473", "3221225473", "3221225473"]}, {"type": "v128", "lane_type": "i32", "value": ["3221225472", "3221225472", "3221225472", "3221225472"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["3221225472", "3221225472", "3221225472", "3221225472"]}]}, 
   119    {"type": "assert_return", "line": 362, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["3221225472", "3221225472", "3221225472", "3221225472"]}, {"type": "v128", "lane_type": "i32", "value": ["3221225472", "3221225472", "3221225472", "3221225472"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
   120    {"type": "assert_return", "line": 365, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["3221225471", "3221225471", "3221225471", "3221225471"]}, {"type": "v128", "lane_type": "i32", "value": ["3221225472", "3221225472", "3221225472", "3221225472"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["1073741824", "1073741824", "1073741824", "1073741824"]}]}, 
   121    {"type": "assert_return", "line": 368, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483645", "2147483645", "2147483645", "2147483645"]}, {"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483645", "2147483645", "2147483645", "2147483645"]}]}, 
   122    {"type": "assert_return", "line": 371, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483646", "2147483646", "2147483646", "2147483646"]}, {"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483646", "2147483646", "2147483646", "2147483646"]}]}, 
   123    {"type": "assert_return", "line": 374, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}, {"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, 
   124    {"type": "assert_return", "line": 377, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483650", "2147483650", "2147483650", "2147483650"]}, {"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483646", "2147483646", "2147483646", "2147483646"]}]}, 
   125    {"type": "assert_return", "line": 380, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483649", "2147483649", "2147483649", "2147483649"]}, {"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}]}, 
   126    {"type": "assert_return", "line": 383, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}, {"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, 
   127    {"type": "assert_return", "line": 386, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}, {"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, 
   128    {"type": "assert_return", "line": 389, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}, {"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
   129    {"type": "assert_return", "line": 392, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}, {"type": "v128", "lane_type": "i32", "value": ["2147483649", "2147483649", "2147483649", "2147483649"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, 
   130    {"type": "assert_return", "line": 395, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}, {"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
   131    {"type": "assert_return", "line": 398, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}, {"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, 
   132    {"type": "assert_return", "line": 401, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}, {"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, 
   133    {"type": "assert_return", "line": 404, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}, {"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483649", "2147483649", "2147483649", "2147483649"]}]}, 
   134    {"type": "assert_return", "line": 407, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}, {"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, 
   135    {"type": "assert_return", "line": 410, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}, {"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, 
   136    {"type": "assert_return", "line": 413, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["1073741823", "1073741823", "1073741823", "1073741823"]}, {"type": "v128", "lane_type": "i32", "value": ["1073741824", "1073741824", "1073741824", "1073741824"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["3221225472", "3221225472", "3221225472", "3221225472"]}]}, 
   137    {"type": "assert_return", "line": 416, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["1073741824", "1073741824", "1073741824", "1073741824"]}, {"type": "v128", "lane_type": "i32", "value": ["1073741824", "1073741824", "1073741824", "1073741824"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
   138    {"type": "assert_return", "line": 419, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["3221225473", "3221225473", "3221225473", "3221225473"]}, {"type": "v128", "lane_type": "i32", "value": ["3221225472", "3221225472", "3221225472", "3221225472"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["3221225472", "3221225472", "3221225472", "3221225472"]}]}, 
   139    {"type": "assert_return", "line": 422, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["3221225472", "3221225472", "3221225472", "3221225472"]}, {"type": "v128", "lane_type": "i32", "value": ["3221225472", "3221225472", "3221225472", "3221225472"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
   140    {"type": "assert_return", "line": 425, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["3221225472", "3221225472", "3221225472", "3221225472"]}, {"type": "v128", "lane_type": "i32", "value": ["3221225471", "3221225471", "3221225471", "3221225471"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["1073741824", "1073741824", "1073741824", "1073741824"]}]}, 
   141    {"type": "assert_return", "line": 428, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}, {"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, 
   142    {"type": "assert_return", "line": 431, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}, {"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}]}, 
   143    {"type": "assert_return", "line": 434, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}, {"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, 
   144    {"type": "assert_return", "line": 437, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}, {"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, 
   145    {"type": "assert_return", "line": 440, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}, {"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
   146    {"type": "assert_return", "line": 443, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}, {"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, 
   147    {"type": "assert_return", "line": 446, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}, {"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, 
   148    {"type": "assert_return", "line": 449, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["268435456", "268435456", "268435456", "268435456"]}, {"type": "v128", "lane_type": "i8", "value": ["16", "16", "16", "16", "16", "16", "16", "16", "16", "16", "16", "16", "16", "16", "16", "16"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
   149    {"type": "assert_return", "line": 452, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}, {"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, 
   150    {"type": "assert_return", "line": 455, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}, {"type": "v128", "lane_type": "i16", "value": ["0", "2", "0", "2", "0", "2", "0", "2"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
   151    {"type": "assert_return", "line": 458, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, 
   152    {"type": "assert_return", "line": 461, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "f32", "value": ["0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
   153    {"type": "assert_return", "line": 464, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "f32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
   154    {"type": "assert_return", "line": 467, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "f32", "value": ["1065353216", "1065353216", "1065353216", "1065353216"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
   155    {"type": "assert_return", "line": 470, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "f32", "value": ["3212836864", "3212836864", "3212836864", "3212836864"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
   156    {"type": "assert_return", "line": 473, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["2139095040", "2139095040", "2139095040", "2139095040"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2139095040", "2139095040", "2139095040", "2139095040"]}]}, 
   157    {"type": "assert_return", "line": 476, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["4286578688", "4286578688", "4286578688", "4286578688"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4286578688", "4286578688", "4286578688", "4286578688"]}]}, 
   158    {"type": "assert_return", "line": 479, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["2143289344", "2143289344", "2143289344", "2143289344"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2143289344", "2143289344", "2143289344", "2143289344"]}]}, 
   159    {"type": "assert_return", "line": 482, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["0", "1", "2", "3"]}, {"type": "v128", "lane_type": "i32", "value": ["0", "4294967295", "4294967294", "4294967293"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "4294967295", "4294967292", "4294967287"]}]}, 
   160    {"type": "assert_return", "line": 485, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["0", "1", "2", "3"]}, {"type": "v128", "lane_type": "i32", "value": ["0", "2", "4", "6"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "2", "8", "18"]}]}, 
   161    {"type": "assert_return", "line": 488, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["123456789", "123456789", "123456789", "123456789"]}, {"type": "v128", "lane_type": "i32", "value": ["987654321", "987654321", "987654321", "987654321"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4227814277", "4227814277", "4227814277", "4227814277"]}]}, 
   162    {"type": "assert_return", "line": 491, "action": {"type": "invoke", "field": "i32x4.mul", "args": [{"type": "v128", "lane_type": "i32", "value": ["305419896", "305419896", "305419896", "305419896"]}, {"type": "v128", "lane_type": "i32", "value": ["2427178479", "2427178479", "2427178479", "2427178479"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["709022216", "709022216", "709022216", "709022216"]}]}, 
   163    {"type": "assert_return", "line": 496, "action": {"type": "invoke", "field": "i32x4.neg", "args": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
   164    {"type": "assert_return", "line": 498, "action": {"type": "invoke", "field": "i32x4.neg", "args": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, 
   165    {"type": "assert_return", "line": 500, "action": {"type": "invoke", "field": "i32x4.neg", "args": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, 
   166    {"type": "assert_return", "line": 502, "action": {"type": "invoke", "field": "i32x4.neg", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483646", "2147483646", "2147483646", "2147483646"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483650", "2147483650", "2147483650", "2147483650"]}]}, 
   167    {"type": "assert_return", "line": 504, "action": {"type": "invoke", "field": "i32x4.neg", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483649", "2147483649", "2147483649", "2147483649"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}]}, 
   168    {"type": "assert_return", "line": 506, "action": {"type": "invoke", "field": "i32x4.neg", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, 
   169    {"type": "assert_return", "line": 508, "action": {"type": "invoke", "field": "i32x4.neg", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483649", "2147483649", "2147483649", "2147483649"]}]}, 
   170    {"type": "assert_return", "line": 510, "action": {"type": "invoke", "field": "i32x4.neg", "args": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, 
   171    {"type": "assert_return", "line": 512, "action": {"type": "invoke", "field": "i32x4.neg", "args": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, 
   172    {"type": "assert_return", "line": 514, "action": {"type": "invoke", "field": "i32x4.neg", "args": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, 
   173    {"type": "assert_return", "line": 516, "action": {"type": "invoke", "field": "i32x4.neg", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, 
   174    {"type": "assert_return", "line": 518, "action": {"type": "invoke", "field": "i32x4.neg", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483649", "2147483649", "2147483649", "2147483649"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}]}, 
   175    {"type": "assert_return", "line": 520, "action": {"type": "invoke", "field": "i32x4.neg", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483649", "2147483649", "2147483649", "2147483649"]}]}, 
   176    {"type": "assert_return", "line": 522, "action": {"type": "invoke", "field": "i32x4.neg", "args": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, 
   177    {"type": "assert_return", "line": 524, "action": {"type": "invoke", "field": "i32x4.neg", "args": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, 
   178    {"type": "assert_invalid", "line": 528, "filename": "simd_i32x4_arith.1.wasm", "text": "type mismatch", "module_type": "binary"}, 
   179    {"type": "assert_invalid", "line": 529, "filename": "simd_i32x4_arith.2.wasm", "text": "type mismatch", "module_type": "binary"}, 
   180    {"type": "assert_invalid", "line": 530, "filename": "simd_i32x4_arith.3.wasm", "text": "type mismatch", "module_type": "binary"}, 
   181    {"type": "assert_invalid", "line": 531, "filename": "simd_i32x4_arith.4.wasm", "text": "type mismatch", "module_type": "binary"}, 
   182    {"type": "assert_invalid", "line": 536, "filename": "simd_i32x4_arith.5.wasm", "text": "type mismatch", "module_type": "binary"}, 
   183    {"type": "assert_invalid", "line": 544, "filename": "simd_i32x4_arith.6.wasm", "text": "type mismatch", "module_type": "binary"}, 
   184    {"type": "assert_invalid", "line": 552, "filename": "simd_i32x4_arith.7.wasm", "text": "type mismatch", "module_type": "binary"}, 
   185    {"type": "assert_invalid", "line": 560, "filename": "simd_i32x4_arith.8.wasm", "text": "type mismatch", "module_type": "binary"}, 
   186    {"type": "assert_invalid", "line": 568, "filename": "simd_i32x4_arith.9.wasm", "text": "type mismatch", "module_type": "binary"}, 
   187    {"type": "assert_invalid", "line": 576, "filename": "simd_i32x4_arith.10.wasm", "text": "type mismatch", "module_type": "binary"}, 
   188    {"type": "assert_invalid", "line": 584, "filename": "simd_i32x4_arith.11.wasm", "text": "type mismatch", "module_type": "binary"}, 
   189    {"type": "module", "line": 593, "filename": "simd_i32x4_arith.12.wasm"}, 
   190    {"type": "assert_return", "line": 610, "action": {"type": "invoke", "field": "add-sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["0", "1", "2", "3"]}, {"type": "v128", "lane_type": "i32", "value": ["0", "2", "4", "6"]}, {"type": "v128", "lane_type": "i32", "value": ["0", "2", "4", "6"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "1", "2", "3"]}]}, 
   191    {"type": "assert_return", "line": 614, "action": {"type": "invoke", "field": "mul-add", "args": [{"type": "v128", "lane_type": "i32", "value": ["0", "1", "2", "3"]}, {"type": "v128", "lane_type": "i32", "value": ["0", "1", "2", "3"]}, {"type": "v128", "lane_type": "i32", "value": ["2", "2", "2", "2"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "4", "8", "12"]}]}, 
   192    {"type": "assert_return", "line": 618, "action": {"type": "invoke", "field": "mul-sub", "args": [{"type": "v128", "lane_type": "i32", "value": ["0", "2", "4", "6"]}, {"type": "v128", "lane_type": "i32", "value": ["0", "1", "2", "3"]}, {"type": "v128", "lane_type": "i32", "value": ["0", "1", "2", "3"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "1", "4", "9"]}]}, 
   193    {"type": "assert_return", "line": 622, "action": {"type": "invoke", "field": "sub-add", "args": [{"type": "v128", "lane_type": "i32", "value": ["0", "1", "2", "3"]}, {"type": "v128", "lane_type": "i32", "value": ["0", "2", "4", "6"]}, {"type": "v128", "lane_type": "i32", "value": ["0", "2", "4", "6"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "1", "2", "3"]}]}, 
   194    {"type": "assert_return", "line": 626, "action": {"type": "invoke", "field": "add-neg", "args": [{"type": "v128", "lane_type": "i32", "value": ["0", "1", "2", "3"]}, {"type": "v128", "lane_type": "i32", "value": ["0", "1", "2", "3"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 
   195    {"type": "assert_return", "line": 629, "action": {"type": "invoke", "field": "mul-neg", "args": [{"type": "v128", "lane_type": "i32", "value": ["0", "1", "2", "3"]}, {"type": "v128", "lane_type": "i32", "value": ["2", "2", "2", "2"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "4294967294", "4294967292", "4294967290"]}]}, 
   196    {"type": "assert_return", "line": 632, "action": {"type": "invoke", "field": "sub-neg", "args": [{"type": "v128", "lane_type": "i32", "value": ["0", "1", "2", "3"]}, {"type": "v128", "lane_type": "i32", "value": ["0", "1", "2", "3"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "4294967294", "4294967292", "4294967290"]}]}]}