wa-lang.org/wazero@v1.0.2/internal/integration_test/spectest/v2/testdata/simd_i16x8_sat_arith.json

{"source_filename": "./simd_i16x8_sat_arith.wast",
 "commands": [
  {"type": "module", "line": 4, "filename": "simd_i16x8_sat_arith.0.wasm"}, 
  {"type": "assert_return", "line": 13, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}, {"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 16, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, 
  {"type": "assert_return", "line": 19, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["2", "2", "2", "2", "2", "2", "2", "2"]}]}, 
  {"type": "assert_return", "line": 22, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 25, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 28, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65534", "65534", "65534", "65534", "65534", "65534", "65534", "65534"]}]}, 
  {"type": "assert_return", "line": 31, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["16383", "16383", "16383", "16383", "16383", "16383", "16383", "16383"]}, {"type": "v128", "lane_type": "i16", "value": ["16384", "16384", "16384", "16384", "16384", "16384", "16384", "16384"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}]}, 
  {"type": "assert_return", "line": 34, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["16384", "16384", "16384", "16384", "16384", "16384", "16384", "16384"]}, {"type": "v128", "lane_type": "i16", "value": ["16384", "16384", "16384", "16384", "16384", "16384", "16384", "16384"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}]}, 
  {"type": "assert_return", "line": 37, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["49153", "49153", "49153", "49153", "49153", "49153", "49153", "49153"]}, {"type": "v128", "lane_type": "i16", "value": ["49152", "49152", "49152", "49152", "49152", "49152", "49152", "49152"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32769", "32769", "32769", "32769", "32769", "32769", "32769", "32769"]}]}, 
  {"type": "assert_return", "line": 40, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["49152", "49152", "49152", "49152", "49152", "49152", "49152", "49152"]}, {"type": "v128", "lane_type": "i16", "value": ["49152", "49152", "49152", "49152", "49152", "49152", "49152", "49152"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, 
  {"type": "assert_return", "line": 43, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["49151", "49151", "49151", "49151", "49151", "49151", "49151", "49151"]}, {"type": "v128", "lane_type": "i16", "value": ["49152", "49152", "49152", "49152", "49152", "49152", "49152", "49152"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, 
  {"type": "assert_return", "line": 46, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32765", "32765", "32765", "32765", "32765", "32765", "32765", "32765"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32766", "32766", "32766", "32766", "32766", "32766", "32766", "32766"]}]}, 
  {"type": "assert_return", "line": 49, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32766", "32766", "32766", "32766", "32766", "32766", "32766", "32766"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}]}, 
  {"type": "assert_return", "line": 52, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32769", "32769", "32769", "32769", "32769", "32769", "32769", "32769"]}]}, 
  {"type": "assert_return", "line": 55, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32770", "32770", "32770", "32770", "32770", "32770", "32770", "32770"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32769", "32769", "32769", "32769", "32769", "32769", "32769", "32769"]}]}, 
  {"type": "assert_return", "line": 58, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32769", "32769", "32769", "32769", "32769", "32769", "32769", "32769"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, 
  {"type": "assert_return", "line": 61, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, 
  {"type": "assert_return", "line": 64, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}, {"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}]}, 
  {"type": "assert_return", "line": 67, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, 
  {"type": "assert_return", "line": 70, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "i16", "value": ["32769", "32769", "32769", "32769", "32769", "32769", "32769", "32769"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, 
  {"type": "assert_return", "line": 73, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 76, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 79, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65534", "65534", "65534", "65534", "65534", "65534", "65534", "65534"]}]}, 
  {"type": "assert_return", "line": 82, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32766", "32766", "32766", "32766", "32766", "32766", "32766", "32766"]}]}, 
  {"type": "assert_return", "line": 85, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, 
  {"type": "assert_return", "line": 88, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65534", "65534", "65534", "65534", "65534", "65534", "65534", "65534"]}]}, 
  {"type": "assert_return", "line": 91, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["16383", "16383", "16383", "16383", "16383", "16383", "16383", "16383"]}, {"type": "v128", "lane_type": "i16", "value": ["16384", "16384", "16384", "16384", "16384", "16384", "16384", "16384"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}]}, 
  {"type": "assert_return", "line": 94, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["16384", "16384", "16384", "16384", "16384", "16384", "16384", "16384"]}, {"type": "v128", "lane_type": "i16", "value": ["16384", "16384", "16384", "16384", "16384", "16384", "16384", "16384"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}]}, 
  {"type": "assert_return", "line": 97, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["49153", "49153", "49153", "49153", "49153", "49153", "49153", "49153"]}, {"type": "v128", "lane_type": "i16", "value": ["49152", "49152", "49152", "49152", "49152", "49152", "49152", "49152"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32769", "32769", "32769", "32769", "32769", "32769", "32769", "32769"]}]}, 
  {"type": "assert_return", "line": 100, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["49152", "49152", "49152", "49152", "49152", "49152", "49152", "49152"]}, {"type": "v128", "lane_type": "i16", "value": ["49152", "49152", "49152", "49152", "49152", "49152", "49152", "49152"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, 
  {"type": "assert_return", "line": 103, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["49152", "49152", "49152", "49152", "49152", "49152", "49152", "49152"]}, {"type": "v128", "lane_type": "i16", "value": ["49151", "49151", "49151", "49151", "49151", "49151", "49151", "49151"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, 
  {"type": "assert_return", "line": 106, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}, {"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}]}, 
  {"type": "assert_return", "line": 109, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}]}, 
  {"type": "assert_return", "line": 112, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, 
  {"type": "assert_return", "line": 115, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}, {"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 118, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, 
  {"type": "assert_return", "line": 121, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 124, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65534", "65534", "65534", "65534", "65534", "65534", "65534", "65534"]}]}, 
  {"type": "assert_return", "line": 127, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "f32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, 
  {"type": "assert_return", "line": 130, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["2139095040", "2139095040", "2139095040", "2139095040"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["1", "32641", "1", "32641", "1", "32641", "1", "32641"]}]}, 
  {"type": "assert_return", "line": 133, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["4286578688", "4286578688", "4286578688", "4286578688"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["1", "65409", "1", "65409", "1", "65409", "1", "65409"]}]}, 
  {"type": "assert_return", "line": 136, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["2143289344", "2143289344", "2143289344", "2143289344"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["1", "32705", "1", "32705", "1", "32705", "1", "32705"]}]}, 
  {"type": "assert_return", "line": 139, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["4290772992", "4290772992", "4290772992", "4290772992"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["1", "65473", "1", "65473", "1", "65473", "1", "65473"]}]}, 
  {"type": "assert_return", "line": 142, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["0", "1", "2", "3", "4", "5", "6", "7"]}, {"type": "v128", "lane_type": "i16", "value": ["0", "65535", "65534", "65533", "65532", "65531", "65530", "65529"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 145, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["0", "1", "2", "3", "4", "5", "6", "7"]}, {"type": "v128", "lane_type": "i16", "value": ["0", "2", "4", "6", "8", "10", "12", "14"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "3", "6", "9", "12", "15", "18", "21"]}]}, 
  {"type": "assert_return", "line": 148, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["12345", "12345", "12345", "12345", "12345", "12345", "12345", "12345"]}, {"type": "v128", "lane_type": "i16", "value": ["32123", "32123", "32123", "32123", "32123", "32123", "32123", "32123"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}]}, 
  {"type": "assert_return", "line": 151, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["12345", "12345", "12345", "12345", "12345", "12345", "12345", "12345"]}, {"type": "v128", "lane_type": "i16", "value": ["56789", "56789", "56789", "56789", "56789", "56789", "56789", "56789"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["3598", "3598", "3598", "3598", "3598", "3598", "3598", "3598"]}]}, 
  {"type": "assert_return", "line": 154, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["4660", "4660", "4660", "4660", "4660", "4660", "4660", "4660"]}, {"type": "v128", "lane_type": "i16", "value": ["22136", "22136", "22136", "22136", "22136", "22136", "22136", "22136"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["26796", "26796", "26796", "26796", "26796", "26796", "26796", "26796"]}]}, 
  {"type": "assert_return", "line": 157, "action": {"type": "invoke", "field": "i16x8.add_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["37035", "37035", "37035", "37035", "37035", "37035", "37035", "37035"]}, {"type": "v128", "lane_type": "i16", "value": ["52719", "52719", "52719", "52719", "52719", "52719", "52719", "52719"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, 
  {"type": "assert_return", "line": 162, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}, {"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 165, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, 
  {"type": "assert_return", "line": 168, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["2", "2", "2", "2", "2", "2", "2", "2"]}]}, 
  {"type": "assert_return", "line": 171, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 174, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 177, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 180, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["16383", "16383", "16383", "16383", "16383", "16383", "16383", "16383"]}, {"type": "v128", "lane_type": "i16", "value": ["16384", "16384", "16384", "16384", "16384", "16384", "16384", "16384"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}]}, 
  {"type": "assert_return", "line": 183, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["16384", "16384", "16384", "16384", "16384", "16384", "16384", "16384"]}, {"type": "v128", "lane_type": "i16", "value": ["16384", "16384", "16384", "16384", "16384", "16384", "16384", "16384"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, 
  {"type": "assert_return", "line": 186, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["49153", "49153", "49153", "49153", "49153", "49153", "49153", "49153"]}, {"type": "v128", "lane_type": "i16", "value": ["49152", "49152", "49152", "49152", "49152", "49152", "49152", "49152"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 189, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["49152", "49152", "49152", "49152", "49152", "49152", "49152", "49152"]}, {"type": "v128", "lane_type": "i16", "value": ["49152", "49152", "49152", "49152", "49152", "49152", "49152", "49152"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 192, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["49151", "49151", "49151", "49151", "49151", "49151", "49151", "49151"]}, {"type": "v128", "lane_type": "i16", "value": ["49152", "49152", "49152", "49152", "49152", "49152", "49152", "49152"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 195, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["32765", "32765", "32765", "32765", "32765", "32765", "32765", "32765"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32766", "32766", "32766", "32766", "32766", "32766", "32766", "32766"]}]}, 
  {"type": "assert_return", "line": 198, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["32766", "32766", "32766", "32766", "32766", "32766", "32766", "32766"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}]}, 
  {"type": "assert_return", "line": 201, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32769", "32769", "32769", "32769", "32769", "32769", "32769", "32769"]}]}, 
  {"type": "assert_return", "line": 204, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["32770", "32770", "32770", "32770", "32770", "32770", "32770", "32770"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 207, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["32769", "32769", "32769", "32769", "32769", "32769", "32769", "32769"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 210, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 213, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}, {"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65534", "65534", "65534", "65534", "65534", "65534", "65534", "65534"]}]}, 
  {"type": "assert_return", "line": 216, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 219, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "i16", "value": ["32769", "32769", "32769", "32769", "32769", "32769", "32769", "32769"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 222, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 225, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 228, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 231, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 234, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 237, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 240, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["16383", "16383", "16383", "16383", "16383", "16383", "16383", "16383"]}, {"type": "v128", "lane_type": "i16", "value": ["16384", "16384", "16384", "16384", "16384", "16384", "16384", "16384"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}]}, 
  {"type": "assert_return", "line": 243, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["16384", "16384", "16384", "16384", "16384", "16384", "16384", "16384"]}, {"type": "v128", "lane_type": "i16", "value": ["16384", "16384", "16384", "16384", "16384", "16384", "16384", "16384"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, 
  {"type": "assert_return", "line": 246, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["49153", "49153", "49153", "49153", "49153", "49153", "49153", "49153"]}, {"type": "v128", "lane_type": "i16", "value": ["49152", "49152", "49152", "49152", "49152", "49152", "49152", "49152"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 249, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["49152", "49152", "49152", "49152", "49152", "49152", "49152", "49152"]}, {"type": "v128", "lane_type": "i16", "value": ["49152", "49152", "49152", "49152", "49152", "49152", "49152", "49152"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 252, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["49152", "49152", "49152", "49152", "49152", "49152", "49152", "49152"]}, {"type": "v128", "lane_type": "i16", "value": ["49151", "49151", "49151", "49151", "49151", "49151", "49151", "49151"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 255, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}, {"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65534", "65534", "65534", "65534", "65534", "65534", "65534", "65534"]}]}, 
  {"type": "assert_return", "line": 258, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, 
  {"type": "assert_return", "line": 261, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 264, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}, {"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 267, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 270, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 273, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 276, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "f32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32768", "65535", "32768", "65535", "32768", "65535", "32768", "65535"]}]}, 
  {"type": "assert_return", "line": 279, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["2139095040", "2139095040", "2139095040", "2139095040"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["1", "32641", "1", "32641", "1", "32641", "1", "32641"]}]}, 
  {"type": "assert_return", "line": 282, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["4286578688", "4286578688", "4286578688", "4286578688"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["1", "65409", "1", "65409", "1", "65409", "1", "65409"]}]}, 
  {"type": "assert_return", "line": 285, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["2143289344", "2143289344", "2143289344", "2143289344"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["1", "32705", "1", "32705", "1", "32705", "1", "32705"]}]}, 
  {"type": "assert_return", "line": 288, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["2143289344", "2143289344", "2143289344", "2143289344"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["1", "32705", "1", "32705", "1", "32705", "1", "32705"]}]}, 
  {"type": "assert_return", "line": 291, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["0", "1", "2", "3", "4", "5", "6", "7"]}, {"type": "v128", "lane_type": "i16", "value": ["0", "65535", "65534", "65533", "65532", "65531", "65530", "65529"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 294, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["0", "1", "2", "3", "4", "5", "6", "7"]}, {"type": "v128", "lane_type": "i16", "value": ["0", "2", "4", "6", "8", "10", "12", "14"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "3", "6", "9", "12", "15", "18", "21"]}]}, 
  {"type": "assert_return", "line": 297, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["12345", "12345", "12345", "12345", "12345", "12345", "12345", "12345"]}, {"type": "v128", "lane_type": "i16", "value": ["56789", "56789", "56789", "56789", "56789", "56789", "56789", "56789"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 300, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["12345", "12345", "12345", "12345", "12345", "12345", "12345", "12345"]}, {"type": "v128", "lane_type": "i16", "value": ["53191", "53191", "53191", "53191", "53191", "53191", "53191", "53191"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 303, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["4660", "4660", "4660", "4660", "4660", "4660", "4660", "4660"]}, {"type": "v128", "lane_type": "i16", "value": ["22136", "22136", "22136", "22136", "22136", "22136", "22136", "22136"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["26796", "26796", "26796", "26796", "26796", "26796", "26796", "26796"]}]}, 
  {"type": "assert_return", "line": 306, "action": {"type": "invoke", "field": "i16x8.add_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["37035", "37035", "37035", "37035", "37035", "37035", "37035", "37035"]}, {"type": "v128", "lane_type": "i16", "value": ["52719", "52719", "52719", "52719", "52719", "52719", "52719", "52719"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 311, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}, {"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 314, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 317, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 320, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, 
  {"type": "assert_return", "line": 323, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["2", "2", "2", "2", "2", "2", "2", "2"]}]}, 
  {"type": "assert_return", "line": 326, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 329, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["16383", "16383", "16383", "16383", "16383", "16383", "16383", "16383"]}, {"type": "v128", "lane_type": "i16", "value": ["16384", "16384", "16384", "16384", "16384", "16384", "16384", "16384"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 332, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["16384", "16384", "16384", "16384", "16384", "16384", "16384", "16384"]}, {"type": "v128", "lane_type": "i16", "value": ["16384", "16384", "16384", "16384", "16384", "16384", "16384", "16384"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 335, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["49153", "49153", "49153", "49153", "49153", "49153", "49153", "49153"]}, {"type": "v128", "lane_type": "i16", "value": ["49152", "49152", "49152", "49152", "49152", "49152", "49152", "49152"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, 
  {"type": "assert_return", "line": 338, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["49152", "49152", "49152", "49152", "49152", "49152", "49152", "49152"]}, {"type": "v128", "lane_type": "i16", "value": ["49152", "49152", "49152", "49152", "49152", "49152", "49152", "49152"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 341, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["49151", "49151", "49151", "49151", "49151", "49151", "49151", "49151"]}, {"type": "v128", "lane_type": "i16", "value": ["49152", "49152", "49152", "49152", "49152", "49152", "49152", "49152"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 344, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32765", "32765", "32765", "32765", "32765", "32765", "32765", "32765"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32764", "32764", "32764", "32764", "32764", "32764", "32764", "32764"]}]}, 
  {"type": "assert_return", "line": 347, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32766", "32766", "32766", "32766", "32766", "32766", "32766", "32766"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32765", "32765", "32765", "32765", "32765", "32765", "32765", "32765"]}]}, 
  {"type": "assert_return", "line": 350, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, 
  {"type": "assert_return", "line": 353, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32770", "32770", "32770", "32770", "32770", "32770", "32770", "32770"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32771", "32771", "32771", "32771", "32771", "32771", "32771", "32771"]}]}, 
  {"type": "assert_return", "line": 356, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32769", "32769", "32769", "32769", "32769", "32769", "32769", "32769"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32770", "32770", "32770", "32770", "32770", "32770", "32770", "32770"]}]}, 
  {"type": "assert_return", "line": 359, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32769", "32769", "32769", "32769", "32769", "32769", "32769", "32769"]}]}, 
  {"type": "assert_return", "line": 362, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}, {"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 365, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 368, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "i16", "value": ["32769", "32769", "32769", "32769", "32769", "32769", "32769", "32769"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 371, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 374, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65534", "65534", "65534", "65534", "65534", "65534", "65534", "65534"]}]}, 
  {"type": "assert_return", "line": 377, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 380, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, 
  {"type": "assert_return", "line": 383, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}]}, 
  {"type": "assert_return", "line": 386, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 389, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["16383", "16383", "16383", "16383", "16383", "16383", "16383", "16383"]}, {"type": "v128", "lane_type": "i16", "value": ["16384", "16384", "16384", "16384", "16384", "16384", "16384", "16384"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 392, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["16384", "16384", "16384", "16384", "16384", "16384", "16384", "16384"]}, {"type": "v128", "lane_type": "i16", "value": ["16384", "16384", "16384", "16384", "16384", "16384", "16384", "16384"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 395, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["49153", "49153", "49153", "49153", "49153", "49153", "49153", "49153"]}, {"type": "v128", "lane_type": "i16", "value": ["49152", "49152", "49152", "49152", "49152", "49152", "49152", "49152"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, 
  {"type": "assert_return", "line": 398, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["49152", "49152", "49152", "49152", "49152", "49152", "49152", "49152"]}, {"type": "v128", "lane_type": "i16", "value": ["49152", "49152", "49152", "49152", "49152", "49152", "49152", "49152"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 401, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["49152", "49152", "49152", "49152", "49152", "49152", "49152", "49152"]}, {"type": "v128", "lane_type": "i16", "value": ["49151", "49151", "49151", "49151", "49151", "49151", "49151", "49151"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, 
  {"type": "assert_return", "line": 404, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}, {"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 407, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32766", "32766", "32766", "32766", "32766", "32766", "32766", "32766"]}]}, 
  {"type": "assert_return", "line": 410, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32769", "32769", "32769", "32769", "32769", "32769", "32769", "32769"]}]}, 
  {"type": "assert_return", "line": 413, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}, {"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}]}, 
  {"type": "assert_return", "line": 416, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 419, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65534", "65534", "65534", "65534", "65534", "65534", "65534", "65534"]}]}, 
  {"type": "assert_return", "line": 422, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 425, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "f32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32768", "0", "32768", "0", "32768", "0", "32768", "0"]}]}, 
  {"type": "assert_return", "line": 428, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["2139095040", "2139095040", "2139095040", "2139095040"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["1", "32897", "1", "32897", "1", "32897", "1", "32897"]}]}, 
  {"type": "assert_return", "line": 431, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["4286578688", "4286578688", "4286578688", "4286578688"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["1", "129", "1", "129", "1", "129", "1", "129"]}]}, 
  {"type": "assert_return", "line": 434, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["2143289344", "2143289344", "2143289344", "2143289344"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["1", "32833", "1", "32833", "1", "32833", "1", "32833"]}]}, 
  {"type": "assert_return", "line": 437, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["4290772992", "4290772992", "4290772992", "4290772992"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["1", "65", "1", "65", "1", "65", "1", "65"]}]}, 
  {"type": "assert_return", "line": 440, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["0", "1", "2", "3", "4", "5", "6", "7"]}, {"type": "v128", "lane_type": "i16", "value": ["0", "65535", "65534", "65533", "65532", "65531", "65530", "65529"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "2", "4", "6", "8", "10", "12", "14"]}]}, 
  {"type": "assert_return", "line": 443, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["0", "1", "2", "3", "4", "5", "6", "7"]}, {"type": "v128", "lane_type": "i16", "value": ["0", "2", "4", "6", "8", "10", "12", "14"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "65535", "65534", "65533", "65532", "65531", "65530", "65529"]}]}, 
  {"type": "assert_return", "line": 446, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["12345", "12345", "12345", "12345", "12345", "12345", "12345", "12345"]}, {"type": "v128", "lane_type": "i16", "value": ["56789", "56789", "56789", "56789", "56789", "56789", "56789", "56789"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["21092", "21092", "21092", "21092", "21092", "21092", "21092", "21092"]}]}, 
  {"type": "assert_return", "line": 449, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["12345", "12345", "12345", "12345", "12345", "12345", "12345", "12345"]}, {"type": "v128", "lane_type": "i16", "value": ["53191", "53191", "53191", "53191", "53191", "53191", "53191", "53191"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["24690", "24690", "24690", "24690", "24690", "24690", "24690", "24690"]}]}, 
  {"type": "assert_return", "line": 452, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["4660", "4660", "4660", "4660", "4660", "4660", "4660", "4660"]}, {"type": "v128", "lane_type": "i16", "value": ["22136", "22136", "22136", "22136", "22136", "22136", "22136", "22136"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["48060", "48060", "48060", "48060", "48060", "48060", "48060", "48060"]}]}, 
  {"type": "assert_return", "line": 455, "action": {"type": "invoke", "field": "i16x8.sub_sat_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["37035", "37035", "37035", "37035", "37035", "37035", "37035", "37035"]}, {"type": "v128", "lane_type": "i16", "value": ["60876", "60876", "60876", "60876", "60876", "60876", "60876", "60876"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["41695", "41695", "41695", "41695", "41695", "41695", "41695", "41695"]}]}, 
  {"type": "assert_return", "line": 460, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}, {"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 463, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 466, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 469, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 472, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 475, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 478, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["16383", "16383", "16383", "16383", "16383", "16383", "16383", "16383"]}, {"type": "v128", "lane_type": "i16", "value": ["16384", "16384", "16384", "16384", "16384", "16384", "16384", "16384"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 481, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["16384", "16384", "16384", "16384", "16384", "16384", "16384", "16384"]}, {"type": "v128", "lane_type": "i16", "value": ["16384", "16384", "16384", "16384", "16384", "16384", "16384", "16384"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 484, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["49153", "49153", "49153", "49153", "49153", "49153", "49153", "49153"]}, {"type": "v128", "lane_type": "i16", "value": ["49152", "49152", "49152", "49152", "49152", "49152", "49152", "49152"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, 
  {"type": "assert_return", "line": 487, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["49152", "49152", "49152", "49152", "49152", "49152", "49152", "49152"]}, {"type": "v128", "lane_type": "i16", "value": ["49152", "49152", "49152", "49152", "49152", "49152", "49152", "49152"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 490, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["49151", "49151", "49151", "49151", "49151", "49151", "49151", "49151"]}, {"type": "v128", "lane_type": "i16", "value": ["49152", "49152", "49152", "49152", "49152", "49152", "49152", "49152"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 493, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["32765", "32765", "32765", "32765", "32765", "32765", "32765", "32765"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32764", "32764", "32764", "32764", "32764", "32764", "32764", "32764"]}]}, 
  {"type": "assert_return", "line": 496, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["32766", "32766", "32766", "32766", "32766", "32766", "32766", "32766"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32765", "32765", "32765", "32765", "32765", "32765", "32765", "32765"]}]}, 
  {"type": "assert_return", "line": 499, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}]}, 
  {"type": "assert_return", "line": 502, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["32770", "32770", "32770", "32770", "32770", "32770", "32770", "32770"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 505, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["32769", "32769", "32769", "32769", "32769", "32769", "32769", "32769"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 508, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 511, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}, {"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 514, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 517, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "i16", "value": ["32769", "32769", "32769", "32769", "32769", "32769", "32769", "32769"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 520, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 523, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65534", "65534", "65534", "65534", "65534", "65534", "65534", "65534"]}]}, 
  {"type": "assert_return", "line": 526, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 529, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, 
  {"type": "assert_return", "line": 532, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}]}, 
  {"type": "assert_return", "line": 535, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 538, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["16383", "16383", "16383", "16383", "16383", "16383", "16383", "16383"]}, {"type": "v128", "lane_type": "i16", "value": ["16384", "16384", "16384", "16384", "16384", "16384", "16384", "16384"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 541, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["16384", "16384", "16384", "16384", "16384", "16384", "16384", "16384"]}, {"type": "v128", "lane_type": "i16", "value": ["16384", "16384", "16384", "16384", "16384", "16384", "16384", "16384"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 544, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["49153", "49153", "49153", "49153", "49153", "49153", "49153", "49153"]}, {"type": "v128", "lane_type": "i16", "value": ["49152", "49152", "49152", "49152", "49152", "49152", "49152", "49152"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, 
  {"type": "assert_return", "line": 547, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["49152", "49152", "49152", "49152", "49152", "49152", "49152", "49152"]}, {"type": "v128", "lane_type": "i16", "value": ["49152", "49152", "49152", "49152", "49152", "49152", "49152", "49152"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 550, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["49152", "49152", "49152", "49152", "49152", "49152", "49152", "49152"]}, {"type": "v128", "lane_type": "i16", "value": ["49151", "49151", "49151", "49151", "49151", "49151", "49151", "49151"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, 
  {"type": "assert_return", "line": 553, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}, {"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 556, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32766", "32766", "32766", "32766", "32766", "32766", "32766", "32766"]}]}, 
  {"type": "assert_return", "line": 559, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 562, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}, {"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 565, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 568, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65534", "65534", "65534", "65534", "65534", "65534", "65534", "65534"]}]}, 
  {"type": "assert_return", "line": 571, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 574, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "f32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32768", "0", "32768", "0", "32768", "0", "32768", "0"]}]}, 
  {"type": "assert_return", "line": 577, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["2139095040", "2139095040", "2139095040", "2139095040"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["1", "0", "1", "0", "1", "0", "1", "0"]}]}, 
  {"type": "assert_return", "line": 580, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["4286578688", "4286578688", "4286578688", "4286578688"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["1", "0", "1", "0", "1", "0", "1", "0"]}]}, 
  {"type": "assert_return", "line": 583, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["2143289344", "2143289344", "2143289344", "2143289344"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["1", "0", "1", "0", "1", "0", "1", "0"]}]}, 
  {"type": "assert_return", "line": 586, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}, {"type": "v128", "lane_type": "f32", "value": ["4290772992", "4290772992", "4290772992", "4290772992"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["1", "0", "1", "0", "1", "0", "1", "0"]}]}, 
  {"type": "assert_return", "line": 589, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["0", "1", "2", "3", "4", "5", "6", "7"]}, {"type": "v128", "lane_type": "i16", "value": ["0", "65535", "65534", "65533", "65532", "65531", "65530", "65529"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 592, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["0", "1", "2", "3", "4", "5", "6", "7"]}, {"type": "v128", "lane_type": "i16", "value": ["0", "2", "4", "6", "8", "10", "12", "14"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 595, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["12345", "12345", "12345", "12345", "12345", "12345", "12345", "12345"]}, {"type": "v128", "lane_type": "i16", "value": ["56789", "56789", "56789", "56789", "56789", "56789", "56789", "56789"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 598, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["56789", "56789", "56789", "56789", "56789", "56789", "56789", "56789"]}, {"type": "v128", "lane_type": "i16", "value": ["53191", "53191", "53191", "53191", "53191", "53191", "53191", "53191"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["3598", "3598", "3598", "3598", "3598", "3598", "3598", "3598"]}]}, 
  {"type": "assert_return", "line": 601, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["4660", "4660", "4660", "4660", "4660", "4660", "4660", "4660"]}, {"type": "v128", "lane_type": "i16", "value": ["43400", "43400", "43400", "43400", "43400", "43400", "43400", "43400"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, 
  {"type": "assert_return", "line": 604, "action": {"type": "invoke", "field": "i16x8.sub_sat_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["52719", "52719", "52719", "52719", "52719", "52719", "52719", "52719"]}, {"type": "v128", "lane_type": "i16", "value": ["37035", "37035", "37035", "37035", "37035", "37035", "37035", "37035"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["15684", "15684", "15684", "15684", "15684", "15684", "15684", "15684"]}]}, 
  {"type": "assert_malformed", "line": 609, "filename": "simd_i16x8_sat_arith.1.wat", "text": "unknown operator", "module_type": "text"}, 
  {"type": "assert_malformed", "line": 612, "filename": "simd_i16x8_sat_arith.2.wat", "text": "unknown operator", "module_type": "text"}, 
  {"type": "assert_malformed", "line": 615, "filename": "simd_i16x8_sat_arith.3.wat", "text": "unknown operator", "module_type": "text"}, 
  {"type": "assert_malformed", "line": 618, "filename": "simd_i16x8_sat_arith.4.wat", "text": "unknown operator", "module_type": "text"}, 
  {"type": "assert_invalid", "line": 623, "filename": "simd_i16x8_sat_arith.5.wasm", "text": "type mismatch", "module_type": "binary"}, 
  {"type": "assert_invalid", "line": 624, "filename": "simd_i16x8_sat_arith.6.wasm", "text": "type mismatch", "module_type": "binary"}, 
  {"type": "assert_invalid", "line": 625, "filename": "simd_i16x8_sat_arith.7.wasm", "text": "type mismatch", "module_type": "binary"}, 
  {"type": "assert_invalid", "line": 626, "filename": "simd_i16x8_sat_arith.8.wasm", "text": "type mismatch", "module_type": "binary"}, 
  {"type": "assert_invalid", "line": 631, "filename": "simd_i16x8_sat_arith.9.wasm", "text": "type mismatch", "module_type": "binary"}, 
  {"type": "assert_invalid", "line": 639, "filename": "simd_i16x8_sat_arith.10.wasm", "text": "type mismatch", "module_type": "binary"}, 
  {"type": "assert_invalid", "line": 647, "filename": "simd_i16x8_sat_arith.11.wasm", "text": "type mismatch", "module_type": "binary"}, 
  {"type": "assert_invalid", "line": 655, "filename": "simd_i16x8_sat_arith.12.wasm", "text": "type mismatch", "module_type": "binary"}, 
  {"type": "assert_invalid", "line": 663, "filename": "simd_i16x8_sat_arith.13.wasm", "text": "type mismatch", "module_type": "binary"}, 
  {"type": "assert_invalid", "line": 671, "filename": "simd_i16x8_sat_arith.14.wasm", "text": "type mismatch", "module_type": "binary"}, 
  {"type": "assert_invalid", "line": 679, "filename": "simd_i16x8_sat_arith.15.wasm", "text": "type mismatch", "module_type": "binary"}, 
  {"type": "assert_invalid", "line": 687, "filename": "simd_i16x8_sat_arith.16.wasm", "text": "type mismatch", "module_type": "binary"}, 
  {"type": "module", "line": 696, "filename": "simd_i16x8_sat_arith.17.wasm"}, 
  {"type": "assert_return", "line": 715, "action": {"type": "invoke", "field": "sat-add_s-sub_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["16384", "16384", "16384", "16384", "16384", "16384", "16384", "16384"]}, {"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}, {"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, 
  {"type": "assert_return", "line": 719, "action": {"type": "invoke", "field": "sat-add_s-sub_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 723, "action": {"type": "invoke", "field": "sat-add_u-sub_s", "args": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}, {"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65534", "65534", "65534", "65534", "65534", "65534", "65534", "65534"]}]}, 
  {"type": "assert_return", "line": 727, "action": {"type": "invoke", "field": "sat-add_u-sub_u", "args": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}, {"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}, {"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 731, "action": {"type": "invoke", "field": "sat-add_s-neg", "args": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 734, "action": {"type": "invoke", "field": "sat-add_u-neg", "args": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}, {"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["65535", "65535", "65535", "65535", "65535", "65535", "65535", "65535"]}]}, 
  {"type": "assert_return", "line": 737, "action": {"type": "invoke", "field": "sat-sub_s-neg", "args": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}, {"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, 
  {"type": "assert_return", "line": 740, "action": {"type": "invoke", "field": "sat-sub_u-neg", "args": [{"type": "v128", "lane_type": "i16", "value": ["32767", "32767", "32767", "32767", "32767", "32767", "32767", "32767"]}, {"type": "v128", "lane_type": "i16", "value": ["32768", "32768", "32768", "32768", "32768", "32768", "32768", "32768"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["1", "1", "1", "1", "1", "1", "1", "1"]}]}]}