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"}]}