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

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

     1{"source_filename": "./simd_i8x16_sat_arith.wast",
     2 "commands": [
     3  {"type": "module", "line": 4, "filename": "simd_i8x16_sat_arith.0.wasm"}, 
     4  {"type": "assert_return", "line": 13, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
     5  {"type": "assert_return", "line": 16, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}, {"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, 
     6  {"type": "assert_return", "line": 19, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["2", "2", "2", "2", "2", "2", "2", "2", "2", "2", "2", "2", "2", "2", "2", "2"]}]}, 
     7  {"type": "assert_return", "line": 22, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}, {"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": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
     8  {"type": "assert_return", "line": 25, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "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": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
     9  {"type": "assert_return", "line": 28, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"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": "i8", "value": ["254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254"]}]}, 
    10  {"type": "assert_return", "line": 31, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63"]}, {"type": "v128", "lane_type": "i8", "value": ["64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}]}, 
    11  {"type": "assert_return", "line": 34, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64"]}, {"type": "v128", "lane_type": "i8", "value": ["64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}]}, 
    12  {"type": "assert_return", "line": 37, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193"]}, {"type": "v128", "lane_type": "i8", "value": ["192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129"]}]}, 
    13  {"type": "assert_return", "line": 40, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192"]}, {"type": "v128", "lane_type": "i8", "value": ["192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, 
    14  {"type": "assert_return", "line": 43, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191"]}, {"type": "v128", "lane_type": "i8", "value": ["192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, 
    15  {"type": "assert_return", "line": 46, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["125", "125", "125", "125", "125", "125", "125", "125", "125", "125", "125", "125", "125", "125", "125", "125"]}, {"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126"]}]}, 
    16  {"type": "assert_return", "line": 49, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126"]}, {"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}]}, 
    17  {"type": "assert_return", "line": 52, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}, {"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129"]}]}, 
    18  {"type": "assert_return", "line": 55, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["130", "130", "130", "130", "130", "130", "130", "130", "130", "130", "130", "130", "130", "130", "130", "130"]}, {"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": "i8", "value": ["129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129"]}]}, 
    19  {"type": "assert_return", "line": 58, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129"]}, {"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": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, 
    20  {"type": "assert_return", "line": 61, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}, {"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": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, 
    21  {"type": "assert_return", "line": 64, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}, {"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}]}, 
    22  {"type": "assert_return", "line": 67, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}, {"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, 
    23  {"type": "assert_return", "line": 70, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}, {"type": "v128", "lane_type": "i8", "value": ["129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, 
    24  {"type": "assert_return", "line": 73, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
    25  {"type": "assert_return", "line": 76, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
    26  {"type": "assert_return", "line": 79, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"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": "i8", "value": ["254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254"]}]}, 
    27  {"type": "assert_return", "line": 82, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126"]}]}, 
    28  {"type": "assert_return", "line": 85, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, 
    29  {"type": "assert_return", "line": 88, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"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": "i8", "value": ["254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254"]}]}, 
    30  {"type": "assert_return", "line": 91, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63"]}, {"type": "v128", "lane_type": "i8", "value": ["64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}]}, 
    31  {"type": "assert_return", "line": 94, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64"]}, {"type": "v128", "lane_type": "i8", "value": ["64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}]}, 
    32  {"type": "assert_return", "line": 97, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193"]}, {"type": "v128", "lane_type": "i8", "value": ["192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129"]}]}, 
    33  {"type": "assert_return", "line": 100, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192"]}, {"type": "v128", "lane_type": "i8", "value": ["192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, 
    34  {"type": "assert_return", "line": 103, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192"]}, {"type": "v128", "lane_type": "i8", "value": ["191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, 
    35  {"type": "assert_return", "line": 106, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}, {"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}]}, 
    36  {"type": "assert_return", "line": 109, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}, {"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}]}, 
    37  {"type": "assert_return", "line": 112, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}, {"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": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, 
    38  {"type": "assert_return", "line": 115, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}, {"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
    39  {"type": "assert_return", "line": 118, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}, {"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, 
    40  {"type": "assert_return", "line": 121, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
    41  {"type": "assert_return", "line": 124, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"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": "i8", "value": ["254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254"]}]}, 
    42  {"type": "assert_return", "line": 127, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}, {"type": "v128", "lane_type": "f32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, 
    43  {"type": "assert_return", "line": 130, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["2139095040", "2139095040", "2139095040", "2139095040"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "129", "127", "1", "1", "129", "127", "1", "1", "129", "127", "1", "1", "129", "127"]}]}, 
    44  {"type": "assert_return", "line": 133, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["4286578688", "4286578688", "4286578688", "4286578688"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "129", "0", "1", "1", "129", "0", "1", "1", "129", "0", "1", "1", "129", "0"]}]}, 
    45  {"type": "assert_return", "line": 136, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["2143289344", "2143289344", "2143289344", "2143289344"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "193", "127", "1", "1", "193", "127", "1", "1", "193", "127", "1", "1", "193", "127"]}]}, 
    46  {"type": "assert_return", "line": 139, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["4290772992", "4290772992", "4290772992", "4290772992"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "193", "0", "1", "1", "193", "0", "1", "1", "193", "0", "1", "1", "193", "0"]}]}, 
    47  {"type": "assert_return", "line": 142, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["0", "1", "2", "3", "4", "5", "6", "7", "8", "9", "10", "11", "12", "13", "14", "15"]}, {"type": "v128", "lane_type": "i8", "value": ["0", "255", "254", "253", "252", "251", "250", "249", "248", "247", "246", "245", "244", "243", "242", "241"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
    48  {"type": "assert_return", "line": 145, "action": {"type": "invoke", "field": "i8x16.add_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["0", "1", "2", "3", "4", "5", "6", "7", "8", "9", "10", "11", "12", "13", "14", "15"]}, {"type": "v128", "lane_type": "i8", "value": ["0", "2", "4", "6", "8", "10", "12", "14", "16", "18", "20", "22", "24", "26", "28", "30"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "3", "6", "9", "12", "15", "18", "21", "24", "27", "30", "33", "36", "39", "42", "45"]}]}, 
    49  {"type": "assert_return", "line": 150, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
    50  {"type": "assert_return", "line": 153, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}, {"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, 
    51  {"type": "assert_return", "line": 156, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["2", "2", "2", "2", "2", "2", "2", "2", "2", "2", "2", "2", "2", "2", "2", "2"]}]}, 
    52  {"type": "assert_return", "line": 159, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}, {"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": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
    53  {"type": "assert_return", "line": 162, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "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": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
    54  {"type": "assert_return", "line": 165, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"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": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
    55  {"type": "assert_return", "line": 168, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63"]}, {"type": "v128", "lane_type": "i8", "value": ["64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}]}, 
    56  {"type": "assert_return", "line": 171, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64"]}, {"type": "v128", "lane_type": "i8", "value": ["64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, 
    57  {"type": "assert_return", "line": 174, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193"]}, {"type": "v128", "lane_type": "i8", "value": ["192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
    58  {"type": "assert_return", "line": 177, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192"]}, {"type": "v128", "lane_type": "i8", "value": ["192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
    59  {"type": "assert_return", "line": 180, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191"]}, {"type": "v128", "lane_type": "i8", "value": ["192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
    60  {"type": "assert_return", "line": 183, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["125", "125", "125", "125", "125", "125", "125", "125", "125", "125", "125", "125", "125", "125", "125", "125"]}, {"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126"]}]}, 
    61  {"type": "assert_return", "line": 186, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126"]}, {"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}]}, 
    62  {"type": "assert_return", "line": 189, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}, {"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129"]}]}, 
    63  {"type": "assert_return", "line": 192, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["130", "130", "130", "130", "130", "130", "130", "130", "130", "130", "130", "130", "130", "130", "130", "130"]}, {"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": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
    64  {"type": "assert_return", "line": 195, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129"]}, {"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": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
    65  {"type": "assert_return", "line": 198, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}, {"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": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
    66  {"type": "assert_return", "line": 201, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}, {"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254"]}]}, 
    67  {"type": "assert_return", "line": 204, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}, {"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
    68  {"type": "assert_return", "line": 207, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}, {"type": "v128", "lane_type": "i8", "value": ["129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
    69  {"type": "assert_return", "line": 210, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
    70  {"type": "assert_return", "line": 213, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
    71  {"type": "assert_return", "line": 216, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"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": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
    72  {"type": "assert_return", "line": 219, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
    73  {"type": "assert_return", "line": 222, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
    74  {"type": "assert_return", "line": 225, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"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": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
    75  {"type": "assert_return", "line": 228, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63"]}, {"type": "v128", "lane_type": "i8", "value": ["64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}]}, 
    76  {"type": "assert_return", "line": 231, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64"]}, {"type": "v128", "lane_type": "i8", "value": ["64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, 
    77  {"type": "assert_return", "line": 234, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193"]}, {"type": "v128", "lane_type": "i8", "value": ["192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
    78  {"type": "assert_return", "line": 237, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192"]}, {"type": "v128", "lane_type": "i8", "value": ["192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
    79  {"type": "assert_return", "line": 240, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192"]}, {"type": "v128", "lane_type": "i8", "value": ["191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
    80  {"type": "assert_return", "line": 243, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}, {"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254"]}]}, 
    81  {"type": "assert_return", "line": 246, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}, {"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, 
    82  {"type": "assert_return", "line": 249, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}, {"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": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
    83  {"type": "assert_return", "line": 252, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}, {"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
    84  {"type": "assert_return", "line": 255, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}, {"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
    85  {"type": "assert_return", "line": 258, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
    86  {"type": "assert_return", "line": 261, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"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": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
    87  {"type": "assert_return", "line": 264, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}, {"type": "v128", "lane_type": "f32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "255", "128", "128", "128", "255", "128", "128", "128", "255", "128", "128", "128", "255"]}]}, 
    88  {"type": "assert_return", "line": 267, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["2139095040", "2139095040", "2139095040", "2139095040"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "129", "128", "1", "1", "129", "128", "1", "1", "129", "128", "1", "1", "129", "128"]}]}, 
    89  {"type": "assert_return", "line": 270, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["4286578688", "4286578688", "4286578688", "4286578688"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "129", "255", "1", "1", "129", "255", "1", "1", "129", "255", "1", "1", "129", "255"]}]}, 
    90  {"type": "assert_return", "line": 273, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["2143289344", "2143289344", "2143289344", "2143289344"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "193", "128", "1", "1", "193", "128", "1", "1", "193", "128", "1", "1", "193", "128"]}]}, 
    91  {"type": "assert_return", "line": 276, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["4290772992", "4290772992", "4290772992", "4290772992"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "193", "255", "1", "1", "193", "255", "1", "1", "193", "255", "1", "1", "193", "255"]}]}, 
    92  {"type": "assert_return", "line": 279, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["0", "1", "2", "3", "4", "5", "6", "7", "8", "9", "10", "11", "12", "13", "14", "15"]}, {"type": "v128", "lane_type": "i8", "value": ["0", "255", "254", "253", "252", "251", "250", "249", "248", "247", "246", "245", "244", "243", "242", "241"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
    93  {"type": "assert_return", "line": 282, "action": {"type": "invoke", "field": "i8x16.add_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["0", "1", "2", "3", "4", "5", "6", "7", "8", "9", "10", "11", "12", "13", "14", "15"]}, {"type": "v128", "lane_type": "i8", "value": ["0", "2", "4", "6", "8", "10", "12", "14", "16", "18", "20", "22", "24", "26", "28", "30"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "3", "6", "9", "12", "15", "18", "21", "24", "27", "30", "33", "36", "39", "42", "45"]}]}, 
    94  {"type": "assert_return", "line": 287, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
    95  {"type": "assert_return", "line": 290, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}, {"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
    96  {"type": "assert_return", "line": 293, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
    97  {"type": "assert_return", "line": 296, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}, {"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": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, 
    98  {"type": "assert_return", "line": 299, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "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": "i8", "value": ["2", "2", "2", "2", "2", "2", "2", "2", "2", "2", "2", "2", "2", "2", "2", "2"]}]}, 
    99  {"type": "assert_return", "line": 302, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"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": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   100  {"type": "assert_return", "line": 305, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63"]}, {"type": "v128", "lane_type": "i8", "value": ["64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
   101  {"type": "assert_return", "line": 308, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64"]}, {"type": "v128", "lane_type": "i8", "value": ["64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   102  {"type": "assert_return", "line": 311, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193"]}, {"type": "v128", "lane_type": "i8", "value": ["192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, 
   103  {"type": "assert_return", "line": 314, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192"]}, {"type": "v128", "lane_type": "i8", "value": ["192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   104  {"type": "assert_return", "line": 317, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191"]}, {"type": "v128", "lane_type": "i8", "value": ["192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
   105  {"type": "assert_return", "line": 320, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["125", "125", "125", "125", "125", "125", "125", "125", "125", "125", "125", "125", "125", "125", "125", "125"]}, {"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["124", "124", "124", "124", "124", "124", "124", "124", "124", "124", "124", "124", "124", "124", "124", "124"]}]}, 
   106  {"type": "assert_return", "line": 323, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126"]}, {"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["125", "125", "125", "125", "125", "125", "125", "125", "125", "125", "125", "125", "125", "125", "125", "125"]}]}, 
   107  {"type": "assert_return", "line": 326, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}, {"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, 
   108  {"type": "assert_return", "line": 329, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["130", "130", "130", "130", "130", "130", "130", "130", "130", "130", "130", "130", "130", "130", "130", "130"]}, {"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": "i8", "value": ["131", "131", "131", "131", "131", "131", "131", "131", "131", "131", "131", "131", "131", "131", "131", "131"]}]}, 
   109  {"type": "assert_return", "line": 332, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129"]}, {"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": "i8", "value": ["130", "130", "130", "130", "130", "130", "130", "130", "130", "130", "130", "130", "130", "130", "130", "130"]}]}, 
   110  {"type": "assert_return", "line": 335, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}, {"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": "i8", "value": ["129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129"]}]}, 
   111  {"type": "assert_return", "line": 338, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}, {"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   112  {"type": "assert_return", "line": 341, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}, {"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   113  {"type": "assert_return", "line": 344, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}, {"type": "v128", "lane_type": "i8", "value": ["129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
   114  {"type": "assert_return", "line": 347, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
   115  {"type": "assert_return", "line": 350, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254"]}]}, 
   116  {"type": "assert_return", "line": 353, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"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": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   117  {"type": "assert_return", "line": 356, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, 
   118  {"type": "assert_return", "line": 359, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}]}, 
   119  {"type": "assert_return", "line": 362, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"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": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   120  {"type": "assert_return", "line": 365, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63"]}, {"type": "v128", "lane_type": "i8", "value": ["64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
   121  {"type": "assert_return", "line": 368, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64"]}, {"type": "v128", "lane_type": "i8", "value": ["64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   122  {"type": "assert_return", "line": 371, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193"]}, {"type": "v128", "lane_type": "i8", "value": ["192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, 
   123  {"type": "assert_return", "line": 374, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192"]}, {"type": "v128", "lane_type": "i8", "value": ["192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   124  {"type": "assert_return", "line": 377, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192"]}, {"type": "v128", "lane_type": "i8", "value": ["191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, 
   125  {"type": "assert_return", "line": 380, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}, {"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   126  {"type": "assert_return", "line": 383, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}, {"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126"]}]}, 
   127  {"type": "assert_return", "line": 386, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}, {"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": "i8", "value": ["129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129"]}]}, 
   128  {"type": "assert_return", "line": 389, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}, {"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}]}, 
   129  {"type": "assert_return", "line": 392, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}, {"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   130  {"type": "assert_return", "line": 395, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254"]}]}, 
   131  {"type": "assert_return", "line": 398, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"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": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   132  {"type": "assert_return", "line": 401, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}, {"type": "v128", "lane_type": "f32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "0", "128", "128", "128", "0", "128", "128", "128", "0", "128", "128", "128", "0"]}]}, 
   133  {"type": "assert_return", "line": 404, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["2139095040", "2139095040", "2139095040", "2139095040"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "127", "130", "1", "1", "127", "130", "1", "1", "127", "130", "1", "1", "127", "130"]}]}, 
   134  {"type": "assert_return", "line": 407, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["4286578688", "4286578688", "4286578688", "4286578688"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "127", "2", "1", "1", "127", "2", "1", "1", "127", "2", "1", "1", "127", "2"]}]}, 
   135  {"type": "assert_return", "line": 410, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["2143289344", "2143289344", "2143289344", "2143289344"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "65", "130", "1", "1", "65", "130", "1", "1", "65", "130", "1", "1", "65", "130"]}]}, 
   136  {"type": "assert_return", "line": 413, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["4290772992", "4290772992", "4290772992", "4290772992"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "65", "2", "1", "1", "65", "2", "1", "1", "65", "2", "1", "1", "65", "2"]}]}, 
   137  {"type": "assert_return", "line": 416, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["0", "1", "2", "3", "4", "5", "6", "7", "8", "9", "10", "11", "12", "13", "14", "15"]}, {"type": "v128", "lane_type": "i8", "value": ["0", "255", "254", "253", "252", "251", "250", "249", "248", "247", "246", "245", "244", "243", "242", "241"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "2", "4", "6", "8", "10", "12", "14", "16", "18", "20", "22", "24", "26", "28", "30"]}]}, 
   138  {"type": "assert_return", "line": 419, "action": {"type": "invoke", "field": "i8x16.sub_sat_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["0", "1", "2", "3", "4", "5", "6", "7", "8", "9", "10", "11", "12", "13", "14", "15"]}, {"type": "v128", "lane_type": "i8", "value": ["0", "2", "4", "6", "8", "10", "12", "14", "16", "18", "20", "22", "24", "26", "28", "30"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "255", "254", "253", "252", "251", "250", "249", "248", "247", "246", "245", "244", "243", "242", "241"]}]}, 
   139  {"type": "assert_return", "line": 424, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   140  {"type": "assert_return", "line": 427, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}, {"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   141  {"type": "assert_return", "line": 430, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   142  {"type": "assert_return", "line": 433, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}, {"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": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   143  {"type": "assert_return", "line": 436, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "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": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   144  {"type": "assert_return", "line": 439, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"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": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   145  {"type": "assert_return", "line": 442, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63"]}, {"type": "v128", "lane_type": "i8", "value": ["64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   146  {"type": "assert_return", "line": 445, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64"]}, {"type": "v128", "lane_type": "i8", "value": ["64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   147  {"type": "assert_return", "line": 448, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193"]}, {"type": "v128", "lane_type": "i8", "value": ["192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, 
   148  {"type": "assert_return", "line": 451, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192"]}, {"type": "v128", "lane_type": "i8", "value": ["192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   149  {"type": "assert_return", "line": 454, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191"]}, {"type": "v128", "lane_type": "i8", "value": ["192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   150  {"type": "assert_return", "line": 457, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["125", "125", "125", "125", "125", "125", "125", "125", "125", "125", "125", "125", "125", "125", "125", "125"]}, {"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["124", "124", "124", "124", "124", "124", "124", "124", "124", "124", "124", "124", "124", "124", "124", "124"]}]}, 
   151  {"type": "assert_return", "line": 460, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126"]}, {"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["125", "125", "125", "125", "125", "125", "125", "125", "125", "125", "125", "125", "125", "125", "125", "125"]}]}, 
   152  {"type": "assert_return", "line": 463, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}, {"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}]}, 
   153  {"type": "assert_return", "line": 466, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["130", "130", "130", "130", "130", "130", "130", "130", "130", "130", "130", "130", "130", "130", "130", "130"]}, {"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": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   154  {"type": "assert_return", "line": 469, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129"]}, {"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": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   155  {"type": "assert_return", "line": 472, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}, {"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": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   156  {"type": "assert_return", "line": 475, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}, {"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   157  {"type": "assert_return", "line": 478, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}, {"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   158  {"type": "assert_return", "line": 481, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}, {"type": "v128", "lane_type": "i8", "value": ["129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129", "129"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   159  {"type": "assert_return", "line": 484, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
   160  {"type": "assert_return", "line": 487, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254"]}]}, 
   161  {"type": "assert_return", "line": 490, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"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": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   162  {"type": "assert_return", "line": 493, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, 
   163  {"type": "assert_return", "line": 496, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}]}, 
   164  {"type": "assert_return", "line": 499, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"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": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   165  {"type": "assert_return", "line": 502, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63", "63"]}, {"type": "v128", "lane_type": "i8", "value": ["64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   166  {"type": "assert_return", "line": 505, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64"]}, {"type": "v128", "lane_type": "i8", "value": ["64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   167  {"type": "assert_return", "line": 508, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193", "193"]}, {"type": "v128", "lane_type": "i8", "value": ["192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, 
   168  {"type": "assert_return", "line": 511, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192"]}, {"type": "v128", "lane_type": "i8", "value": ["192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   169  {"type": "assert_return", "line": 514, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192", "192"]}, {"type": "v128", "lane_type": "i8", "value": ["191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191", "191"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, 
   170  {"type": "assert_return", "line": 517, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}, {"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   171  {"type": "assert_return", "line": 520, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}, {"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126", "126"]}]}, 
   172  {"type": "assert_return", "line": 523, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}, {"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": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   173  {"type": "assert_return", "line": 526, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}, {"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   174  {"type": "assert_return", "line": 529, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}, {"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   175  {"type": "assert_return", "line": 532, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254"]}]}, 
   176  {"type": "assert_return", "line": 535, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"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": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   177  {"type": "assert_return", "line": 538, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}, {"type": "v128", "lane_type": "f32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "0", "128", "128", "128", "0", "128", "128", "128", "0", "128", "128", "128", "0"]}]}, 
   178  {"type": "assert_return", "line": 541, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["2139095040", "2139095040", "2139095040", "2139095040"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "0", "0", "1", "1", "0", "0", "1", "1", "0", "0", "1", "1", "0", "0"]}]}, 
   179  {"type": "assert_return", "line": 544, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["4286578688", "4286578688", "4286578688", "4286578688"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "0", "0", "1", "1", "0", "0", "1", "1", "0", "0", "1", "1", "0", "0"]}]}, 
   180  {"type": "assert_return", "line": 547, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["2143289344", "2143289344", "2143289344", "2143289344"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "0", "0", "1", "1", "0", "0", "1", "1", "0", "0", "1", "1", "0", "0"]}]}, 
   181  {"type": "assert_return", "line": 550, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["4290772992", "4290772992", "4290772992", "4290772992"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "0", "0", "1", "1", "0", "0", "1", "1", "0", "0", "1", "1", "0", "0"]}]}, 
   182  {"type": "assert_return", "line": 553, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["0", "1", "2", "3", "4", "5", "6", "7", "8", "9", "10", "11", "12", "13", "14", "15"]}, {"type": "v128", "lane_type": "i8", "value": ["0", "255", "254", "253", "252", "251", "250", "249", "248", "247", "246", "245", "244", "243", "242", "241"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   183  {"type": "assert_return", "line": 556, "action": {"type": "invoke", "field": "i8x16.sub_sat_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["0", "1", "2", "3", "4", "5", "6", "7", "8", "9", "10", "11", "12", "13", "14", "15"]}, {"type": "v128", "lane_type": "i8", "value": ["0", "2", "4", "6", "8", "10", "12", "14", "16", "18", "20", "22", "24", "26", "28", "30"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
   184  {"type": "assert_malformed", "line": 561, "filename": "simd_i8x16_sat_arith.1.wat", "text": "unknown operator", "module_type": "text"}, 
   185  {"type": "assert_malformed", "line": 564, "filename": "simd_i8x16_sat_arith.2.wat", "text": "unknown operator", "module_type": "text"}, 
   186  {"type": "assert_malformed", "line": 567, "filename": "simd_i8x16_sat_arith.3.wat", "text": "unknown operator", "module_type": "text"}, 
   187  {"type": "assert_malformed", "line": 570, "filename": "simd_i8x16_sat_arith.4.wat", "text": "unknown operator", "module_type": "text"}, 
   188  {"type": "assert_malformed", "line": 573, "filename": "simd_i8x16_sat_arith.5.wat", "text": "unknown operator", "module_type": "text"}, 
   189  {"type": "assert_malformed", "line": 576, "filename": "simd_i8x16_sat_arith.6.wat", "text": "unknown operator", "module_type": "text"}, 
   190  {"type": "assert_malformed", "line": 579, "filename": "simd_i8x16_sat_arith.7.wat", "text": "unknown operator", "module_type": "text"}, 
   191  {"type": "assert_malformed", "line": 582, "filename": "simd_i8x16_sat_arith.8.wat", "text": "unknown operator", "module_type": "text"}, 
   192  {"type": "assert_malformed", "line": 585, "filename": "simd_i8x16_sat_arith.9.wat", "text": "unknown operator", "module_type": "text"}, 
   193  {"type": "assert_malformed", "line": 588, "filename": "simd_i8x16_sat_arith.10.wat", "text": "unknown operator", "module_type": "text"}, 
   194  {"type": "assert_malformed", "line": 591, "filename": "simd_i8x16_sat_arith.11.wat", "text": "unknown operator", "module_type": "text"}, 
   195  {"type": "assert_malformed", "line": 594, "filename": "simd_i8x16_sat_arith.12.wat", "text": "unknown operator", "module_type": "text"}, 
   196  {"type": "assert_invalid", "line": 599, "filename": "simd_i8x16_sat_arith.13.wasm", "text": "type mismatch", "module_type": "binary"}, 
   197  {"type": "assert_invalid", "line": 600, "filename": "simd_i8x16_sat_arith.14.wasm", "text": "type mismatch", "module_type": "binary"}, 
   198  {"type": "assert_invalid", "line": 601, "filename": "simd_i8x16_sat_arith.15.wasm", "text": "type mismatch", "module_type": "binary"}, 
   199  {"type": "assert_invalid", "line": 602, "filename": "simd_i8x16_sat_arith.16.wasm", "text": "type mismatch", "module_type": "binary"}, 
   200  {"type": "assert_invalid", "line": 607, "filename": "simd_i8x16_sat_arith.17.wasm", "text": "type mismatch", "module_type": "binary"}, 
   201  {"type": "assert_invalid", "line": 615, "filename": "simd_i8x16_sat_arith.18.wasm", "text": "type mismatch", "module_type": "binary"}, 
   202  {"type": "assert_invalid", "line": 623, "filename": "simd_i8x16_sat_arith.19.wasm", "text": "type mismatch", "module_type": "binary"}, 
   203  {"type": "assert_invalid", "line": 631, "filename": "simd_i8x16_sat_arith.20.wasm", "text": "type mismatch", "module_type": "binary"}, 
   204  {"type": "assert_invalid", "line": 639, "filename": "simd_i8x16_sat_arith.21.wasm", "text": "type mismatch", "module_type": "binary"}, 
   205  {"type": "assert_invalid", "line": 647, "filename": "simd_i8x16_sat_arith.22.wasm", "text": "type mismatch", "module_type": "binary"}, 
   206  {"type": "assert_invalid", "line": 655, "filename": "simd_i8x16_sat_arith.23.wasm", "text": "type mismatch", "module_type": "binary"}, 
   207  {"type": "assert_invalid", "line": 663, "filename": "simd_i8x16_sat_arith.24.wasm", "text": "type mismatch", "module_type": "binary"}, 
   208  {"type": "module", "line": 672, "filename": "simd_i8x16_sat_arith.25.wasm"}, 
   209  {"type": "assert_return", "line": 691, "action": {"type": "invoke", "field": "sat-add_s-sub_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64", "64"]}, {"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}, {"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, 
   210  {"type": "assert_return", "line": 695, "action": {"type": "invoke", "field": "sat-add_s-sub_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}, {"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
   211  {"type": "assert_return", "line": 699, "action": {"type": "invoke", "field": "sat-add_u-sub_s", "args": [{"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}, {"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254", "254"]}]}, 
   212  {"type": "assert_return", "line": 703, "action": {"type": "invoke", "field": "sat-add_u-sub_u", "args": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}, {"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
   213  {"type": "assert_return", "line": 707, "action": {"type": "invoke", "field": "sat-add_s-neg", "args": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}, {"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
   214  {"type": "assert_return", "line": 710, "action": {"type": "invoke", "field": "sat-add_u-neg", "args": [{"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}, {"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255", "255"]}]}, 
   215  {"type": "assert_return", "line": 713, "action": {"type": "invoke", "field": "sat-sub_s-neg", "args": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}, {"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, 
   216  {"type": "assert_return", "line": 716, "action": {"type": "invoke", "field": "sat-sub_u-neg", "args": [{"type": "v128", "lane_type": "i8", "value": ["127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127", "127"]}, {"type": "v128", "lane_type": "i8", "value": ["128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128", "128"]}]}, "expected": [{"type": "v128", "lane_type": "i8", "value": ["1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1", "1"]}]}]}

View as plain text