github.com/wasilibs/wazerox@v0.0.0-20240124024944-4923be63ab5f/internal/integration_test/spectest/v2/testdata/simd_store8_lane.json (about)

     1  {"source_filename": "./simd_store8_lane.wast",
     2   "commands": [
     3    {"type": "module", "line": 4, "filename": "simd_store8_lane.0.wasm"}, 
     4    {"type": "assert_return", "line": 281, "action": {"type": "invoke", "field": "v128.store8_lane_0", "args": [{"type": "i32", "value": "0"}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "0"}]}, 
     5    {"type": "assert_return", "line": 284, "action": {"type": "invoke", "field": "v128.store8_lane_1", "args": [{"type": "i32", "value": "1"}, {"type": "v128", "lane_type": "i8", "value": ["0", "1", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "1"}]}, 
     6    {"type": "assert_return", "line": 287, "action": {"type": "invoke", "field": "v128.store8_lane_2", "args": [{"type": "i32", "value": "2"}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "2", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "2"}]}, 
     7    {"type": "assert_return", "line": 290, "action": {"type": "invoke", "field": "v128.store8_lane_3", "args": [{"type": "i32", "value": "3"}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "3", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "3"}]}, 
     8    {"type": "assert_return", "line": 293, "action": {"type": "invoke", "field": "v128.store8_lane_4", "args": [{"type": "i32", "value": "4"}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "4", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "4"}]}, 
     9    {"type": "assert_return", "line": 296, "action": {"type": "invoke", "field": "v128.store8_lane_5", "args": [{"type": "i32", "value": "5"}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "5", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "5"}]}, 
    10    {"type": "assert_return", "line": 299, "action": {"type": "invoke", "field": "v128.store8_lane_6", "args": [{"type": "i32", "value": "6"}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "6", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "6"}]}, 
    11    {"type": "assert_return", "line": 302, "action": {"type": "invoke", "field": "v128.store8_lane_7", "args": [{"type": "i32", "value": "7"}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "7", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "7"}]}, 
    12    {"type": "assert_return", "line": 305, "action": {"type": "invoke", "field": "v128.store8_lane_8", "args": [{"type": "i32", "value": "8"}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "8", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "8"}]}, 
    13    {"type": "assert_return", "line": 308, "action": {"type": "invoke", "field": "v128.store8_lane_9", "args": [{"type": "i32", "value": "9"}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "9", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "9"}]}, 
    14    {"type": "assert_return", "line": 311, "action": {"type": "invoke", "field": "v128.store8_lane_10", "args": [{"type": "i32", "value": "10"}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "10", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "10"}]}, 
    15    {"type": "assert_return", "line": 314, "action": {"type": "invoke", "field": "v128.store8_lane_11", "args": [{"type": "i32", "value": "11"}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "11", "0", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "11"}]}, 
    16    {"type": "assert_return", "line": 317, "action": {"type": "invoke", "field": "v128.store8_lane_12", "args": [{"type": "i32", "value": "12"}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "12", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "12"}]}, 
    17    {"type": "assert_return", "line": 320, "action": {"type": "invoke", "field": "v128.store8_lane_13", "args": [{"type": "i32", "value": "13"}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "13", "0", "0"]}]}, "expected": [{"type": "i64", "value": "13"}]}, 
    18    {"type": "assert_return", "line": 323, "action": {"type": "invoke", "field": "v128.store8_lane_14", "args": [{"type": "i32", "value": "14"}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "14", "0"]}]}, "expected": [{"type": "i64", "value": "14"}]}, 
    19    {"type": "assert_return", "line": 326, "action": {"type": "invoke", "field": "v128.store8_lane_15", "args": [{"type": "i32", "value": "15"}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "15"]}]}, "expected": [{"type": "i64", "value": "15"}]}, 
    20    {"type": "assert_return", "line": 329, "action": {"type": "invoke", "field": "v128.store8_lane_0_offset_0", "args": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "0"}]}, 
    21    {"type": "assert_return", "line": 331, "action": {"type": "invoke", "field": "v128.store8_lane_1_offset_1", "args": [{"type": "v128", "lane_type": "i8", "value": ["0", "1", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "1"}]}, 
    22    {"type": "assert_return", "line": 333, "action": {"type": "invoke", "field": "v128.store8_lane_2_offset_2", "args": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "2", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "2"}]}, 
    23    {"type": "assert_return", "line": 335, "action": {"type": "invoke", "field": "v128.store8_lane_3_offset_3", "args": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "3", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "3"}]}, 
    24    {"type": "assert_return", "line": 337, "action": {"type": "invoke", "field": "v128.store8_lane_4_offset_4", "args": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "4", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "4"}]}, 
    25    {"type": "assert_return", "line": 339, "action": {"type": "invoke", "field": "v128.store8_lane_5_offset_5", "args": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "5", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "5"}]}, 
    26    {"type": "assert_return", "line": 341, "action": {"type": "invoke", "field": "v128.store8_lane_6_offset_6", "args": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "6", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "6"}]}, 
    27    {"type": "assert_return", "line": 343, "action": {"type": "invoke", "field": "v128.store8_lane_7_offset_7", "args": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "7", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "7"}]}, 
    28    {"type": "assert_return", "line": 345, "action": {"type": "invoke", "field": "v128.store8_lane_8_offset_8", "args": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "8", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "8"}]}, 
    29    {"type": "assert_return", "line": 347, "action": {"type": "invoke", "field": "v128.store8_lane_9_offset_9", "args": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "9", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "9"}]}, 
    30    {"type": "assert_return", "line": 349, "action": {"type": "invoke", "field": "v128.store8_lane_10_offset_10", "args": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "10", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "10"}]}, 
    31    {"type": "assert_return", "line": 351, "action": {"type": "invoke", "field": "v128.store8_lane_11_offset_11", "args": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "11", "0", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "11"}]}, 
    32    {"type": "assert_return", "line": 353, "action": {"type": "invoke", "field": "v128.store8_lane_12_offset_12", "args": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "12", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "12"}]}, 
    33    {"type": "assert_return", "line": 355, "action": {"type": "invoke", "field": "v128.store8_lane_13_offset_13", "args": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "13", "0", "0"]}]}, "expected": [{"type": "i64", "value": "13"}]}, 
    34    {"type": "assert_return", "line": 357, "action": {"type": "invoke", "field": "v128.store8_lane_14_offset_14", "args": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "14", "0"]}]}, "expected": [{"type": "i64", "value": "14"}]}, 
    35    {"type": "assert_return", "line": 359, "action": {"type": "invoke", "field": "v128.store8_lane_15_offset_15", "args": [{"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "15"]}]}, "expected": [{"type": "i64", "value": "15"}]}, 
    36    {"type": "assert_return", "line": 361, "action": {"type": "invoke", "field": "v128.store8_lane_0_align_1", "args": [{"type": "i32", "value": "0"}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "0"}]}, 
    37    {"type": "assert_return", "line": 364, "action": {"type": "invoke", "field": "v128.store8_lane_1_align_1", "args": [{"type": "i32", "value": "1"}, {"type": "v128", "lane_type": "i8", "value": ["0", "1", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "1"}]}, 
    38    {"type": "assert_return", "line": 367, "action": {"type": "invoke", "field": "v128.store8_lane_2_align_1", "args": [{"type": "i32", "value": "2"}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "2", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "2"}]}, 
    39    {"type": "assert_return", "line": 370, "action": {"type": "invoke", "field": "v128.store8_lane_3_align_1", "args": [{"type": "i32", "value": "3"}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "3", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "3"}]}, 
    40    {"type": "assert_return", "line": 373, "action": {"type": "invoke", "field": "v128.store8_lane_4_align_1", "args": [{"type": "i32", "value": "4"}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "4", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "4"}]}, 
    41    {"type": "assert_return", "line": 376, "action": {"type": "invoke", "field": "v128.store8_lane_5_align_1", "args": [{"type": "i32", "value": "5"}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "5", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "5"}]}, 
    42    {"type": "assert_return", "line": 379, "action": {"type": "invoke", "field": "v128.store8_lane_6_align_1", "args": [{"type": "i32", "value": "6"}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "6", "0", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "6"}]}, 
    43    {"type": "assert_return", "line": 382, "action": {"type": "invoke", "field": "v128.store8_lane_7_align_1", "args": [{"type": "i32", "value": "7"}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "7", "0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "7"}]}, 
    44    {"type": "assert_return", "line": 385, "action": {"type": "invoke", "field": "v128.store8_lane_8_align_1", "args": [{"type": "i32", "value": "8"}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "8", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "8"}]}, 
    45    {"type": "assert_return", "line": 388, "action": {"type": "invoke", "field": "v128.store8_lane_9_align_1", "args": [{"type": "i32", "value": "9"}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "9", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "9"}]}, 
    46    {"type": "assert_return", "line": 391, "action": {"type": "invoke", "field": "v128.store8_lane_10_align_1", "args": [{"type": "i32", "value": "10"}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "10", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "10"}]}, 
    47    {"type": "assert_return", "line": 394, "action": {"type": "invoke", "field": "v128.store8_lane_11_align_1", "args": [{"type": "i32", "value": "11"}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "11", "0", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "11"}]}, 
    48    {"type": "assert_return", "line": 397, "action": {"type": "invoke", "field": "v128.store8_lane_12_align_1", "args": [{"type": "i32", "value": "12"}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "12", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "12"}]}, 
    49    {"type": "assert_return", "line": 400, "action": {"type": "invoke", "field": "v128.store8_lane_13_align_1", "args": [{"type": "i32", "value": "13"}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "13", "0", "0"]}]}, "expected": [{"type": "i64", "value": "13"}]}, 
    50    {"type": "assert_return", "line": 403, "action": {"type": "invoke", "field": "v128.store8_lane_14_align_1", "args": [{"type": "i32", "value": "14"}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "14", "0"]}]}, "expected": [{"type": "i64", "value": "14"}]}, 
    51    {"type": "assert_return", "line": 406, "action": {"type": "invoke", "field": "v128.store8_lane_15_align_1", "args": [{"type": "i32", "value": "15"}, {"type": "v128", "lane_type": "i8", "value": ["0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "15"]}]}, "expected": [{"type": "i64", "value": "15"}]}, 
    52    {"type": "assert_invalid", "line": 411, "filename": "simd_store8_lane.1.wasm", "text": "type mismatch", "module_type": "binary"}, 
    53    {"type": "assert_invalid", "line": 417, "filename": "simd_store8_lane.2.wasm", "text": "invalid lane index", "module_type": "binary"}, 
    54    {"type": "assert_invalid", "line": 424, "filename": "simd_store8_lane.3.wasm", "text": "alignment must not be larger than natural", "module_type": "binary"}]}