github.com/tetratelabs/wazero@v1.7.3-0.20240513003603-48f702e154b5/internal/integration_test/spectest/v2/testdata/simd_i32x4_trunc_sat_f32x4.json (about) 1 {"source_filename": "./simd_i32x4_trunc_sat_f32x4.wast", 2 "commands": [ 3 {"type": "module", "line": 3, "filename": "simd_i32x4_trunc_sat_f32x4.0.wasm"}, 4 {"type": "assert_return", "line": 10, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 5 {"type": "assert_return", "line": 12, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 6 {"type": "assert_return", "line": 14, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["1069547520", "1069547520", "1069547520", "1069547520"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, 7 {"type": "assert_return", "line": 16, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["3217031168", "3217031168", "3217031168", "3217031168"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, 8 {"type": "assert_return", "line": 18, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["1072902963", "1072902963", "1072902963", "1072902963"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, 9 {"type": "assert_return", "line": 20, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["1073741824", "1073741824", "1073741824", "1073741824"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2", "2", "2", "2"]}]}, 10 {"type": "assert_return", "line": 22, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["3220386611", "3220386611", "3220386611", "3220386611"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, 11 {"type": "assert_return", "line": 24, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["3221225472", "3221225472", "3221225472", "3221225472"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967294", "4294967294", "4294967294", "4294967294"]}]}, 12 {"type": "assert_return", "line": 26, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["1325400063", "1325400063", "1325400063", "1325400063"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483520", "2147483520", "2147483520", "2147483520"]}]}, 13 {"type": "assert_return", "line": 28, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["3472883711", "3472883711", "3472883711", "3472883711"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483776", "2147483776", "2147483776", "2147483776"]}]}, 14 {"type": "assert_return", "line": 30, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["1325400064", "1325400064", "1325400064", "1325400064"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}]}, 15 {"type": "assert_return", "line": 32, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["3472883712", "3472883712", "3472883712", "3472883712"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, 16 {"type": "assert_return", "line": 34, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["1333788672", "1333788672", "1333788672", "1333788672"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}]}, 17 {"type": "assert_return", "line": 36, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["3481272320", "3481272320", "3481272320", "3481272320"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, 18 {"type": "assert_return", "line": 38, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["1325400064", "1325400064", "1325400064", "1325400064"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}]}, 19 {"type": "assert_return", "line": 40, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["3472883712", "3472883712", "3472883712", "3472883712"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, 20 {"type": "assert_return", "line": 42, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["1333788672", "1333788672", "1333788672", "1333788672"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}]}, 21 {"type": "assert_return", "line": 44, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["1333788672", "1333788672", "1333788672", "1333788672"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}]}, 22 {"type": "assert_return", "line": 46, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["1333788672", "1333788672", "1333788672", "1333788672"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}]}, 23 {"type": "assert_return", "line": 48, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 24 {"type": "assert_return", "line": 50, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["2147483649", "2147483649", "2147483649", "2147483649"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 25 {"type": "assert_return", "line": 52, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["8388608", "8388608", "8388608", "8388608"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 26 {"type": "assert_return", "line": 54, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["2155872256", "2155872256", "2155872256", "2155872256"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 27 {"type": "assert_return", "line": 56, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["1056964608", "1056964608", "1056964608", "1056964608"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 28 {"type": "assert_return", "line": 58, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["3204448256", "3204448256", "3204448256", "3204448256"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 29 {"type": "assert_return", "line": 60, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["1065353216", "1065353216", "1065353216", "1065353216"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, 30 {"type": "assert_return", "line": 62, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["3212836864", "3212836864", "3212836864", "3212836864"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, 31 {"type": "assert_return", "line": 64, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["1066192077", "1066192077", "1066192077", "1066192077"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, 32 {"type": "assert_return", "line": 66, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["3213675725", "3213675725", "3213675725", "3213675725"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, 33 {"type": "assert_return", "line": 68, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["1086918619", "1086918619", "1086918619", "1086918619"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["6", "6", "6", "6"]}]}, 34 {"type": "assert_return", "line": 70, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["3234402267", "3234402267", "3234402267", "3234402267"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967290", "4294967290", "4294967290", "4294967290"]}]}, 35 {"type": "assert_return", "line": 72, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["2139095039", "2139095039", "2139095039", "2139095039"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}]}, 36 {"type": "assert_return", "line": 74, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["4286578687", "4286578687", "4286578687", "4286578687"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, 37 {"type": "assert_return", "line": 76, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["1063675494", "1063675494", "1063675494", "1063675494"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 38 {"type": "assert_return", "line": 78, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["3211159142", "3211159142", "3211159142", "3211159142"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 39 {"type": "assert_return", "line": 80, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["1065353215", "1065353215", "1065353215", "1065353215"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 40 {"type": "assert_return", "line": 82, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["3212836863", "3212836863", "3212836863", "3212836863"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 41 {"type": "assert_return", "line": 84, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["1086918619", "1086918619", "1086918619", "1086918619"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["6", "6", "6", "6"]}]}, 42 {"type": "assert_return", "line": 86, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["3234402267", "3234402267", "3234402267", "3234402267"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967290", "4294967290", "4294967290", "4294967290"]}]}, 43 {"type": "assert_return", "line": 88, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["2139095039", "2139095039", "2139095039", "2139095039"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}]}, 44 {"type": "assert_return", "line": 90, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["4286578687", "4286578687", "4286578687", "4286578687"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, 45 {"type": "assert_return", "line": 92, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["2139095040", "2139095040", "2139095040", "2139095040"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483647", "2147483647", "2147483647", "2147483647"]}]}, 46 {"type": "assert_return", "line": 94, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["4286578688", "4286578688", "4286578688", "4286578688"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, 47 {"type": "assert_return", "line": 96, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["2143289344", "2143289344", "2143289344", "2143289344"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 48 {"type": "assert_return", "line": 98, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["4290772992", "4290772992", "4290772992", "4290772992"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 49 {"type": "assert_return", "line": 100, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["2143568964", "2143568964", "2143568964", "2143568964"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 50 {"type": "assert_return", "line": 102, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["4291052612", "4291052612", "4291052612", "4291052612"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 51 {"type": "assert_return", "line": 104, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["1109917696", "1109917696", "1109917696", "1109917696"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["42", "42", "42", "42"]}]}, 52 {"type": "assert_return", "line": 106, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["3257401344", "3257401344", "3257401344", "3257401344"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967254", "4294967254", "4294967254", "4294967254"]}]}, 53 {"type": "assert_return", "line": 108, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["1290500515", "1290500515", "1290500515", "1290500515"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["123456792", "123456792", "123456792", "123456792"]}]}, 54 {"type": "assert_return", "line": 110, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_s", "args": [{"type": "v128", "lane_type": "f32", "value": ["1318267910", "1318267910", "1318267910", "1318267910"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["1234567936", "1234567936", "1234567936", "1234567936"]}]}, 55 {"type": "assert_return", "line": 114, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 56 {"type": "assert_return", "line": 116, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 57 {"type": "assert_return", "line": 118, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["1069547520", "1069547520", "1069547520", "1069547520"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, 58 {"type": "assert_return", "line": 120, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["3217031168", "3217031168", "3217031168", "3217031168"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 59 {"type": "assert_return", "line": 122, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["1072902963", "1072902963", "1072902963", "1072902963"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, 60 {"type": "assert_return", "line": 124, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["1073741824", "1073741824", "1073741824", "1073741824"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2", "2", "2", "2"]}]}, 61 {"type": "assert_return", "line": 126, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["3220386611", "3220386611", "3220386611", "3220386611"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 62 {"type": "assert_return", "line": 128, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["3221225472", "3221225472", "3221225472", "3221225472"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 63 {"type": "assert_return", "line": 130, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["1325400063", "1325400063", "1325400063", "1325400063"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483520", "2147483520", "2147483520", "2147483520"]}]}, 64 {"type": "assert_return", "line": 132, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["3472883711", "3472883711", "3472883711", "3472883711"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 65 {"type": "assert_return", "line": 134, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["1325400064", "1325400064", "1325400064", "1325400064"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, 66 {"type": "assert_return", "line": 136, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["3472883712", "3472883712", "3472883712", "3472883712"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 67 {"type": "assert_return", "line": 138, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["1333788672", "1333788672", "1333788672", "1333788672"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, 68 {"type": "assert_return", "line": 140, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["3481272320", "3481272320", "3481272320", "3481272320"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 69 {"type": "assert_return", "line": 142, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["1325400064", "1325400064", "1325400064", "1325400064"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["2147483648", "2147483648", "2147483648", "2147483648"]}]}, 70 {"type": "assert_return", "line": 144, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["3472883712", "3472883712", "3472883712", "3472883712"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 71 {"type": "assert_return", "line": 146, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["1333788672", "1333788672", "1333788672", "1333788672"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, 72 {"type": "assert_return", "line": 148, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["1333788672", "1333788672", "1333788672", "1333788672"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, 73 {"type": "assert_return", "line": 150, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["1333788672", "1333788672", "1333788672", "1333788672"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, 74 {"type": "assert_return", "line": 152, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["1", "1", "1", "1"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 75 {"type": "assert_return", "line": 154, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["2147483649", "2147483649", "2147483649", "2147483649"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 76 {"type": "assert_return", "line": 156, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["8388608", "8388608", "8388608", "8388608"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 77 {"type": "assert_return", "line": 158, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["2155872256", "2155872256", "2155872256", "2155872256"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 78 {"type": "assert_return", "line": 160, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["1056964608", "1056964608", "1056964608", "1056964608"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 79 {"type": "assert_return", "line": 162, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["3204448256", "3204448256", "3204448256", "3204448256"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 80 {"type": "assert_return", "line": 164, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["1065353216", "1065353216", "1065353216", "1065353216"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, 81 {"type": "assert_return", "line": 166, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["3212836864", "3212836864", "3212836864", "3212836864"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 82 {"type": "assert_return", "line": 168, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["1066192077", "1066192077", "1066192077", "1066192077"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["1", "1", "1", "1"]}]}, 83 {"type": "assert_return", "line": 170, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["3213675725", "3213675725", "3213675725", "3213675725"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 84 {"type": "assert_return", "line": 172, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["1086918619", "1086918619", "1086918619", "1086918619"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["6", "6", "6", "6"]}]}, 85 {"type": "assert_return", "line": 174, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["3234402267", "3234402267", "3234402267", "3234402267"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 86 {"type": "assert_return", "line": 176, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["2139095039", "2139095039", "2139095039", "2139095039"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, 87 {"type": "assert_return", "line": 178, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["4286578687", "4286578687", "4286578687", "4286578687"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 88 {"type": "assert_return", "line": 180, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["1063675494", "1063675494", "1063675494", "1063675494"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 89 {"type": "assert_return", "line": 182, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["3211159142", "3211159142", "3211159142", "3211159142"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 90 {"type": "assert_return", "line": 184, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["1065353215", "1065353215", "1065353215", "1065353215"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 91 {"type": "assert_return", "line": 186, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["3212836863", "3212836863", "3212836863", "3212836863"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 92 {"type": "assert_return", "line": 188, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["1086918619", "1086918619", "1086918619", "1086918619"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["6", "6", "6", "6"]}]}, 93 {"type": "assert_return", "line": 190, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["3234402267", "3234402267", "3234402267", "3234402267"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 94 {"type": "assert_return", "line": 192, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["2139095039", "2139095039", "2139095039", "2139095039"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, 95 {"type": "assert_return", "line": 194, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["4286578687", "4286578687", "4286578687", "4286578687"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 96 {"type": "assert_return", "line": 196, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["2139095040", "2139095040", "2139095040", "2139095040"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["4294967295", "4294967295", "4294967295", "4294967295"]}]}, 97 {"type": "assert_return", "line": 198, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["4286578688", "4286578688", "4286578688", "4286578688"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 98 {"type": "assert_return", "line": 200, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["2143289344", "2143289344", "2143289344", "2143289344"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 99 {"type": "assert_return", "line": 202, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["4290772992", "4290772992", "4290772992", "4290772992"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 100 {"type": "assert_return", "line": 204, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["2143568964", "2143568964", "2143568964", "2143568964"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 101 {"type": "assert_return", "line": 206, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["4291052612", "4291052612", "4291052612", "4291052612"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 102 {"type": "assert_return", "line": 208, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["1109917696", "1109917696", "1109917696", "1109917696"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["42", "42", "42", "42"]}]}, 103 {"type": "assert_return", "line": 210, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["3257401344", "3257401344", "3257401344", "3257401344"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "0"]}]}, 104 {"type": "assert_return", "line": 212, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["1290500515", "1290500515", "1290500515", "1290500515"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["123456792", "123456792", "123456792", "123456792"]}]}, 105 {"type": "assert_return", "line": 214, "action": {"type": "invoke", "field": "i32x4.trunc_sat_f32x4_u", "args": [{"type": "v128", "lane_type": "f32", "value": ["1318267910", "1318267910", "1318267910", "1318267910"]}]}, "expected": [{"type": "v128", "lane_type": "i32", "value": ["1234567936", "1234567936", "1234567936", "1234567936"]}]}, 106 {"type": "assert_invalid", "line": 218, "filename": "simd_i32x4_trunc_sat_f32x4.1.wasm", "text": "type mismatch", "module_type": "binary"}, 107 {"type": "assert_invalid", "line": 219, "filename": "simd_i32x4_trunc_sat_f32x4.2.wasm", "text": "type mismatch", "module_type": "binary"}, 108 {"type": "assert_invalid", "line": 224, "filename": "simd_i32x4_trunc_sat_f32x4.3.wasm", "text": "type mismatch", "module_type": "binary"}, 109 {"type": "assert_invalid", "line": 232, "filename": "simd_i32x4_trunc_sat_f32x4.4.wasm", "text": "type mismatch", "module_type": "binary"}]}