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

     1  {"source_filename": "./simd_store32_lane.wast",
     2   "commands": [
     3    {"type": "module", "line": 4, "filename": "simd_store32_lane.0.wasm"}, 
     4    {"type": "assert_return", "line": 125, "action": {"type": "invoke", "field": "v128.store32_lane_0", "args": [{"type": "i32", "value": "0"}, {"type": "v128", "lane_type": "i32", "value": ["50462976", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "50462976"}]}, 
     5    {"type": "assert_return", "line": 128, "action": {"type": "invoke", "field": "v128.store32_lane_1", "args": [{"type": "i32", "value": "1"}, {"type": "v128", "lane_type": "i32", "value": ["0", "67305985", "0", "0"]}]}, "expected": [{"type": "i64", "value": "67305985"}]}, 
     6    {"type": "assert_return", "line": 131, "action": {"type": "invoke", "field": "v128.store32_lane_2", "args": [{"type": "i32", "value": "2"}, {"type": "v128", "lane_type": "i32", "value": ["0", "0", "84148994", "0"]}]}, "expected": [{"type": "i64", "value": "84148994"}]}, 
     7    {"type": "assert_return", "line": 134, "action": {"type": "invoke", "field": "v128.store32_lane_3", "args": [{"type": "i32", "value": "3"}, {"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "100992003"]}]}, "expected": [{"type": "i64", "value": "100992003"}]}, 
     8    {"type": "assert_return", "line": 137, "action": {"type": "invoke", "field": "v128.store32_lane_0_offset_0", "args": [{"type": "v128", "lane_type": "i32", "value": ["50462976", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "50462976"}]}, 
     9    {"type": "assert_return", "line": 139, "action": {"type": "invoke", "field": "v128.store32_lane_1_offset_1", "args": [{"type": "v128", "lane_type": "i32", "value": ["0", "67305985", "0", "0"]}]}, "expected": [{"type": "i64", "value": "67305985"}]}, 
    10    {"type": "assert_return", "line": 141, "action": {"type": "invoke", "field": "v128.store32_lane_2_offset_2", "args": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "84148994", "0"]}]}, "expected": [{"type": "i64", "value": "84148994"}]}, 
    11    {"type": "assert_return", "line": 143, "action": {"type": "invoke", "field": "v128.store32_lane_3_offset_3", "args": [{"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "100992003"]}]}, "expected": [{"type": "i64", "value": "100992003"}]}, 
    12    {"type": "assert_return", "line": 145, "action": {"type": "invoke", "field": "v128.store32_lane_0_align_1", "args": [{"type": "i32", "value": "0"}, {"type": "v128", "lane_type": "i32", "value": ["50462976", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "50462976"}]}, 
    13    {"type": "assert_return", "line": 148, "action": {"type": "invoke", "field": "v128.store32_lane_0_align_2", "args": [{"type": "i32", "value": "0"}, {"type": "v128", "lane_type": "i32", "value": ["50462976", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "50462976"}]}, 
    14    {"type": "assert_return", "line": 151, "action": {"type": "invoke", "field": "v128.store32_lane_0_align_4", "args": [{"type": "i32", "value": "0"}, {"type": "v128", "lane_type": "i32", "value": ["50462976", "0", "0", "0"]}]}, "expected": [{"type": "i64", "value": "50462976"}]}, 
    15    {"type": "assert_return", "line": 154, "action": {"type": "invoke", "field": "v128.store32_lane_1_align_1", "args": [{"type": "i32", "value": "1"}, {"type": "v128", "lane_type": "i32", "value": ["0", "67305985", "0", "0"]}]}, "expected": [{"type": "i64", "value": "67305985"}]}, 
    16    {"type": "assert_return", "line": 157, "action": {"type": "invoke", "field": "v128.store32_lane_1_align_2", "args": [{"type": "i32", "value": "1"}, {"type": "v128", "lane_type": "i32", "value": ["0", "67305985", "0", "0"]}]}, "expected": [{"type": "i64", "value": "67305985"}]}, 
    17    {"type": "assert_return", "line": 160, "action": {"type": "invoke", "field": "v128.store32_lane_1_align_4", "args": [{"type": "i32", "value": "1"}, {"type": "v128", "lane_type": "i32", "value": ["0", "67305985", "0", "0"]}]}, "expected": [{"type": "i64", "value": "67305985"}]}, 
    18    {"type": "assert_return", "line": 163, "action": {"type": "invoke", "field": "v128.store32_lane_2_align_1", "args": [{"type": "i32", "value": "2"}, {"type": "v128", "lane_type": "i32", "value": ["0", "0", "84148994", "0"]}]}, "expected": [{"type": "i64", "value": "84148994"}]}, 
    19    {"type": "assert_return", "line": 166, "action": {"type": "invoke", "field": "v128.store32_lane_2_align_2", "args": [{"type": "i32", "value": "2"}, {"type": "v128", "lane_type": "i32", "value": ["0", "0", "84148994", "0"]}]}, "expected": [{"type": "i64", "value": "84148994"}]}, 
    20    {"type": "assert_return", "line": 169, "action": {"type": "invoke", "field": "v128.store32_lane_2_align_4", "args": [{"type": "i32", "value": "2"}, {"type": "v128", "lane_type": "i32", "value": ["0", "0", "84148994", "0"]}]}, "expected": [{"type": "i64", "value": "84148994"}]}, 
    21    {"type": "assert_return", "line": 172, "action": {"type": "invoke", "field": "v128.store32_lane_3_align_1", "args": [{"type": "i32", "value": "3"}, {"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "100992003"]}]}, "expected": [{"type": "i64", "value": "100992003"}]}, 
    22    {"type": "assert_return", "line": 175, "action": {"type": "invoke", "field": "v128.store32_lane_3_align_2", "args": [{"type": "i32", "value": "3"}, {"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "100992003"]}]}, "expected": [{"type": "i64", "value": "100992003"}]}, 
    23    {"type": "assert_return", "line": 178, "action": {"type": "invoke", "field": "v128.store32_lane_3_align_4", "args": [{"type": "i32", "value": "3"}, {"type": "v128", "lane_type": "i32", "value": ["0", "0", "0", "100992003"]}]}, "expected": [{"type": "i64", "value": "100992003"}]}, 
    24    {"type": "assert_invalid", "line": 183, "filename": "simd_store32_lane.1.wasm", "text": "type mismatch", "module_type": "binary"}, 
    25    {"type": "assert_invalid", "line": 189, "filename": "simd_store32_lane.2.wasm", "text": "invalid lane index", "module_type": "binary"}, 
    26    {"type": "assert_invalid", "line": 196, "filename": "simd_store32_lane.3.wasm", "text": "alignment must not be larger than natural", "module_type": "binary"}]}