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

     1  {"source_filename": "./simd_load16_lane.wast",
     2   "commands": [
     3    {"type": "module", "line": 4, "filename": "simd_load16_lane.0.wasm"}, 
     4    {"type": "assert_return", "line": 105, "action": {"type": "invoke", "field": "v128.load16_lane_0", "args": [{"type": "i32", "value": "0"}, {"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["256", "0", "0", "0", "0", "0", "0", "0"]}]}, 
     5    {"type": "assert_return", "line": 108, "action": {"type": "invoke", "field": "v128.load16_lane_1", "args": [{"type": "i32", "value": "1"}, {"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "513", "0", "0", "0", "0", "0", "0"]}]}, 
     6    {"type": "assert_return", "line": 111, "action": {"type": "invoke", "field": "v128.load16_lane_2", "args": [{"type": "i32", "value": "2"}, {"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "770", "0", "0", "0", "0", "0"]}]}, 
     7    {"type": "assert_return", "line": 114, "action": {"type": "invoke", "field": "v128.load16_lane_3", "args": [{"type": "i32", "value": "3"}, {"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "1027", "0", "0", "0", "0"]}]}, 
     8    {"type": "assert_return", "line": 117, "action": {"type": "invoke", "field": "v128.load16_lane_4", "args": [{"type": "i32", "value": "4"}, {"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", "1284", "0", "0", "0"]}]}, 
     9    {"type": "assert_return", "line": 120, "action": {"type": "invoke", "field": "v128.load16_lane_5", "args": [{"type": "i32", "value": "5"}, {"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", "1541", "0", "0"]}]}, 
    10    {"type": "assert_return", "line": 123, "action": {"type": "invoke", "field": "v128.load16_lane_6", "args": [{"type": "i32", "value": "6"}, {"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", "1798", "0"]}]}, 
    11    {"type": "assert_return", "line": 126, "action": {"type": "invoke", "field": "v128.load16_lane_7", "args": [{"type": "i32", "value": "7"}, {"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", "2055"]}]}, 
    12    {"type": "assert_return", "line": 129, "action": {"type": "invoke", "field": "v128.load16_lane_0_offset_0", "args": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["256", "0", "0", "0", "0", "0", "0", "0"]}]}, 
    13    {"type": "assert_return", "line": 131, "action": {"type": "invoke", "field": "v128.load16_lane_1_offset_1", "args": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "513", "0", "0", "0", "0", "0", "0"]}]}, 
    14    {"type": "assert_return", "line": 133, "action": {"type": "invoke", "field": "v128.load16_lane_2_offset_2", "args": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "770", "0", "0", "0", "0", "0"]}]}, 
    15    {"type": "assert_return", "line": 135, "action": {"type": "invoke", "field": "v128.load16_lane_3_offset_3", "args": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "1027", "0", "0", "0", "0"]}]}, 
    16    {"type": "assert_return", "line": 137, "action": {"type": "invoke", "field": "v128.load16_lane_4_offset_4", "args": [{"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", "1284", "0", "0", "0"]}]}, 
    17    {"type": "assert_return", "line": 139, "action": {"type": "invoke", "field": "v128.load16_lane_5_offset_5", "args": [{"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", "1541", "0", "0"]}]}, 
    18    {"type": "assert_return", "line": 141, "action": {"type": "invoke", "field": "v128.load16_lane_6_offset_6", "args": [{"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", "1798", "0"]}]}, 
    19    {"type": "assert_return", "line": 143, "action": {"type": "invoke", "field": "v128.load16_lane_7_offset_7", "args": [{"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", "2055"]}]}, 
    20    {"type": "assert_return", "line": 145, "action": {"type": "invoke", "field": "v128.load16_lane_0_align_1", "args": [{"type": "i32", "value": "0"}, {"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["256", "0", "0", "0", "0", "0", "0", "0"]}]}, 
    21    {"type": "assert_return", "line": 148, "action": {"type": "invoke", "field": "v128.load16_lane_0_align_2", "args": [{"type": "i32", "value": "0"}, {"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["256", "0", "0", "0", "0", "0", "0", "0"]}]}, 
    22    {"type": "assert_return", "line": 151, "action": {"type": "invoke", "field": "v128.load16_lane_1_align_1", "args": [{"type": "i32", "value": "1"}, {"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "513", "0", "0", "0", "0", "0", "0"]}]}, 
    23    {"type": "assert_return", "line": 154, "action": {"type": "invoke", "field": "v128.load16_lane_1_align_2", "args": [{"type": "i32", "value": "1"}, {"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "513", "0", "0", "0", "0", "0", "0"]}]}, 
    24    {"type": "assert_return", "line": 157, "action": {"type": "invoke", "field": "v128.load16_lane_2_align_1", "args": [{"type": "i32", "value": "2"}, {"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "770", "0", "0", "0", "0", "0"]}]}, 
    25    {"type": "assert_return", "line": 160, "action": {"type": "invoke", "field": "v128.load16_lane_2_align_2", "args": [{"type": "i32", "value": "2"}, {"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "770", "0", "0", "0", "0", "0"]}]}, 
    26    {"type": "assert_return", "line": 163, "action": {"type": "invoke", "field": "v128.load16_lane_3_align_1", "args": [{"type": "i32", "value": "3"}, {"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "1027", "0", "0", "0", "0"]}]}, 
    27    {"type": "assert_return", "line": 166, "action": {"type": "invoke", "field": "v128.load16_lane_3_align_2", "args": [{"type": "i32", "value": "3"}, {"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "0", "0", "0", "0", "0"]}]}, "expected": [{"type": "v128", "lane_type": "i16", "value": ["0", "0", "0", "1027", "0", "0", "0", "0"]}]}, 
    28    {"type": "assert_return", "line": 169, "action": {"type": "invoke", "field": "v128.load16_lane_4_align_1", "args": [{"type": "i32", "value": "4"}, {"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", "1284", "0", "0", "0"]}]}, 
    29    {"type": "assert_return", "line": 172, "action": {"type": "invoke", "field": "v128.load16_lane_4_align_2", "args": [{"type": "i32", "value": "4"}, {"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", "1284", "0", "0", "0"]}]}, 
    30    {"type": "assert_return", "line": 175, "action": {"type": "invoke", "field": "v128.load16_lane_5_align_1", "args": [{"type": "i32", "value": "5"}, {"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", "1541", "0", "0"]}]}, 
    31    {"type": "assert_return", "line": 178, "action": {"type": "invoke", "field": "v128.load16_lane_5_align_2", "args": [{"type": "i32", "value": "5"}, {"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", "1541", "0", "0"]}]}, 
    32    {"type": "assert_return", "line": 181, "action": {"type": "invoke", "field": "v128.load16_lane_6_align_1", "args": [{"type": "i32", "value": "6"}, {"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", "1798", "0"]}]}, 
    33    {"type": "assert_return", "line": 184, "action": {"type": "invoke", "field": "v128.load16_lane_6_align_2", "args": [{"type": "i32", "value": "6"}, {"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", "1798", "0"]}]}, 
    34    {"type": "assert_return", "line": 187, "action": {"type": "invoke", "field": "v128.load16_lane_7_align_1", "args": [{"type": "i32", "value": "7"}, {"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", "2055"]}]}, 
    35    {"type": "assert_return", "line": 190, "action": {"type": "invoke", "field": "v128.load16_lane_7_align_2", "args": [{"type": "i32", "value": "7"}, {"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", "2055"]}]}, 
    36    {"type": "assert_invalid", "line": 195, "filename": "simd_load16_lane.1.wasm", "text": "type mismatch", "module_type": "binary"}, 
    37    {"type": "assert_invalid", "line": 201, "filename": "simd_load16_lane.2.wasm", "text": "invalid lane index", "module_type": "binary"}, 
    38    {"type": "assert_invalid", "line": 208, "filename": "simd_load16_lane.3.wasm", "text": "alignment must not be larger than natural", "module_type": "binary"}]}