github.com/tetratelabs/wazero@v1.7.3-0.20240513003603-48f702e154b5/internal/integration_test/spectest/v2/testdata/simd_i8x16_sat_arith.json (about) 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"]}]}]}