github.com/tetratelabs/wazero@v1.7.3-0.20240513003603-48f702e154b5/internal/integration_test/spectest/v2/testdata/memory_fill.json (about)

     1  {"source_filename": "./memory_fill.wast",
     2   "commands": [
     3    {"type": "module", "line": 6, "filename": "memory_fill.0.wasm"}, 
     4    {"type": "action", "line": 22, "action": {"type": "invoke", "field": "test", "args": []}, "expected": []}, 
     5    {"type": "assert_return", "line": 24, "action": {"type": "invoke", "field": "checkRange", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "65280"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, 
     6    {"type": "assert_return", "line": 26, "action": {"type": "invoke", "field": "checkRange", "args": [{"type": "i32", "value": "65280"}, {"type": "i32", "value": "65536"}, {"type": "i32", "value": "85"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, 
     7    {"type": "module", "line": 28, "filename": "memory_fill.1.wasm"}, 
     8    {"type": "assert_trap", "line": 44, "action": {"type": "invoke", "field": "test", "args": []}, "text": "out of bounds memory access", "expected": []}, 
     9    {"type": "module", "line": 46, "filename": "memory_fill.2.wasm"}, 
    10    {"type": "assert_trap", "line": 62, "action": {"type": "invoke", "field": "test", "args": []}, "text": "out of bounds memory access", "expected": []}, 
    11    {"type": "module", "line": 64, "filename": "memory_fill.3.wasm"}, 
    12    {"type": "action", "line": 80, "action": {"type": "invoke", "field": "test", "args": []}, "expected": []}, 
    13    {"type": "assert_return", "line": 82, "action": {"type": "invoke", "field": "checkRange", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "65536"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, 
    14    {"type": "module", "line": 84, "filename": "memory_fill.4.wasm"}, 
    15    {"type": "action", "line": 100, "action": {"type": "invoke", "field": "test", "args": []}, "expected": []}, 
    16    {"type": "module", "line": 102, "filename": "memory_fill.5.wasm"}, 
    17    {"type": "assert_trap", "line": 118, "action": {"type": "invoke", "field": "test", "args": []}, "text": "out of bounds memory access", "expected": []}, 
    18    {"type": "module", "line": 120, "filename": "memory_fill.6.wasm"}, 
    19    {"type": "action", "line": 136, "action": {"type": "invoke", "field": "test", "args": []}, "expected": []}, 
    20    {"type": "assert_return", "line": 138, "action": {"type": "invoke", "field": "checkRange", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "1"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, 
    21    {"type": "assert_return", "line": 140, "action": {"type": "invoke", "field": "checkRange", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "65535"}, {"type": "i32", "value": "170"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, 
    22    {"type": "assert_return", "line": 142, "action": {"type": "invoke", "field": "checkRange", "args": [{"type": "i32", "value": "65535"}, {"type": "i32", "value": "65536"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, 
    23    {"type": "module", "line": 145, "filename": "memory_fill.7.wasm"}, 
    24    {"type": "action", "line": 162, "action": {"type": "invoke", "field": "test", "args": []}, "expected": []}, 
    25    {"type": "assert_return", "line": 164, "action": {"type": "invoke", "field": "checkRange", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "18"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, 
    26    {"type": "assert_return", "line": 166, "action": {"type": "invoke", "field": "checkRange", "args": [{"type": "i32", "value": "18"}, {"type": "i32", "value": "21"}, {"type": "i32", "value": "85"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, 
    27    {"type": "assert_return", "line": 168, "action": {"type": "invoke", "field": "checkRange", "args": [{"type": "i32", "value": "21"}, {"type": "i32", "value": "25"}, {"type": "i32", "value": "170"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, 
    28    {"type": "assert_return", "line": 170, "action": {"type": "invoke", "field": "checkRange", "args": [{"type": "i32", "value": "25"}, {"type": "i32", "value": "28"}, {"type": "i32", "value": "85"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, 
    29    {"type": "assert_return", "line": 172, "action": {"type": "invoke", "field": "checkRange", "args": [{"type": "i32", "value": "28"}, {"type": "i32", "value": "65536"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, 
    30    {"type": "assert_invalid", "line": 175, "filename": "memory_fill.8.wasm", "text": "unknown memory 0", "module_type": "binary"}, 
    31    {"type": "assert_invalid", "line": 181, "filename": "memory_fill.9.wasm", "text": "type mismatch", "module_type": "binary"}, 
    32    {"type": "assert_invalid", "line": 188, "filename": "memory_fill.10.wasm", "text": "type mismatch", "module_type": "binary"}, 
    33    {"type": "assert_invalid", "line": 195, "filename": "memory_fill.11.wasm", "text": "type mismatch", "module_type": "binary"}, 
    34    {"type": "assert_invalid", "line": 202, "filename": "memory_fill.12.wasm", "text": "type mismatch", "module_type": "binary"}, 
    35    {"type": "assert_invalid", "line": 209, "filename": "memory_fill.13.wasm", "text": "type mismatch", "module_type": "binary"}, 
    36    {"type": "assert_invalid", "line": 216, "filename": "memory_fill.14.wasm", "text": "type mismatch", "module_type": "binary"}, 
    37    {"type": "assert_invalid", "line": 223, "filename": "memory_fill.15.wasm", "text": "type mismatch", "module_type": "binary"}, 
    38    {"type": "assert_invalid", "line": 230, "filename": "memory_fill.16.wasm", "text": "type mismatch", "module_type": "binary"}, 
    39    {"type": "assert_invalid", "line": 237, "filename": "memory_fill.17.wasm", "text": "type mismatch", "module_type": "binary"}, 
    40    {"type": "assert_invalid", "line": 244, "filename": "memory_fill.18.wasm", "text": "type mismatch", "module_type": "binary"}, 
    41    {"type": "assert_invalid", "line": 251, "filename": "memory_fill.19.wasm", "text": "type mismatch", "module_type": "binary"}, 
    42    {"type": "assert_invalid", "line": 258, "filename": "memory_fill.20.wasm", "text": "type mismatch", "module_type": "binary"}, 
    43    {"type": "assert_invalid", "line": 265, "filename": "memory_fill.21.wasm", "text": "type mismatch", "module_type": "binary"}, 
    44    {"type": "assert_invalid", "line": 272, "filename": "memory_fill.22.wasm", "text": "type mismatch", "module_type": "binary"}, 
    45    {"type": "assert_invalid", "line": 279, "filename": "memory_fill.23.wasm", "text": "type mismatch", "module_type": "binary"}, 
    46    {"type": "assert_invalid", "line": 286, "filename": "memory_fill.24.wasm", "text": "type mismatch", "module_type": "binary"}, 
    47    {"type": "assert_invalid", "line": 293, "filename": "memory_fill.25.wasm", "text": "type mismatch", "module_type": "binary"}, 
    48    {"type": "assert_invalid", "line": 300, "filename": "memory_fill.26.wasm", "text": "type mismatch", "module_type": "binary"}, 
    49    {"type": "assert_invalid", "line": 307, "filename": "memory_fill.27.wasm", "text": "type mismatch", "module_type": "binary"}, 
    50    {"type": "assert_invalid", "line": 314, "filename": "memory_fill.28.wasm", "text": "type mismatch", "module_type": "binary"}, 
    51    {"type": "assert_invalid", "line": 321, "filename": "memory_fill.29.wasm", "text": "type mismatch", "module_type": "binary"}, 
    52    {"type": "assert_invalid", "line": 328, "filename": "memory_fill.30.wasm", "text": "type mismatch", "module_type": "binary"}, 
    53    {"type": "assert_invalid", "line": 335, "filename": "memory_fill.31.wasm", "text": "type mismatch", "module_type": "binary"}, 
    54    {"type": "assert_invalid", "line": 342, "filename": "memory_fill.32.wasm", "text": "type mismatch", "module_type": "binary"}, 
    55    {"type": "assert_invalid", "line": 349, "filename": "memory_fill.33.wasm", "text": "type mismatch", "module_type": "binary"}, 
    56    {"type": "assert_invalid", "line": 356, "filename": "memory_fill.34.wasm", "text": "type mismatch", "module_type": "binary"}, 
    57    {"type": "assert_invalid", "line": 363, "filename": "memory_fill.35.wasm", "text": "type mismatch", "module_type": "binary"}, 
    58    {"type": "assert_invalid", "line": 370, "filename": "memory_fill.36.wasm", "text": "type mismatch", "module_type": "binary"}, 
    59    {"type": "assert_invalid", "line": 377, "filename": "memory_fill.37.wasm", "text": "type mismatch", "module_type": "binary"}, 
    60    {"type": "assert_invalid", "line": 384, "filename": "memory_fill.38.wasm", "text": "type mismatch", "module_type": "binary"}, 
    61    {"type": "assert_invalid", "line": 391, "filename": "memory_fill.39.wasm", "text": "type mismatch", "module_type": "binary"}, 
    62    {"type": "assert_invalid", "line": 398, "filename": "memory_fill.40.wasm", "text": "type mismatch", "module_type": "binary"}, 
    63    {"type": "assert_invalid", "line": 405, "filename": "memory_fill.41.wasm", "text": "type mismatch", "module_type": "binary"}, 
    64    {"type": "assert_invalid", "line": 412, "filename": "memory_fill.42.wasm", "text": "type mismatch", "module_type": "binary"}, 
    65    {"type": "assert_invalid", "line": 419, "filename": "memory_fill.43.wasm", "text": "type mismatch", "module_type": "binary"}, 
    66    {"type": "assert_invalid", "line": 426, "filename": "memory_fill.44.wasm", "text": "type mismatch", "module_type": "binary"}, 
    67    {"type": "assert_invalid", "line": 433, "filename": "memory_fill.45.wasm", "text": "type mismatch", "module_type": "binary"}, 
    68    {"type": "assert_invalid", "line": 440, "filename": "memory_fill.46.wasm", "text": "type mismatch", "module_type": "binary"}, 
    69    {"type": "assert_invalid", "line": 447, "filename": "memory_fill.47.wasm", "text": "type mismatch", "module_type": "binary"}, 
    70    {"type": "assert_invalid", "line": 454, "filename": "memory_fill.48.wasm", "text": "type mismatch", "module_type": "binary"}, 
    71    {"type": "assert_invalid", "line": 461, "filename": "memory_fill.49.wasm", "text": "type mismatch", "module_type": "binary"}, 
    72    {"type": "assert_invalid", "line": 468, "filename": "memory_fill.50.wasm", "text": "type mismatch", "module_type": "binary"}, 
    73    {"type": "assert_invalid", "line": 475, "filename": "memory_fill.51.wasm", "text": "type mismatch", "module_type": "binary"}, 
    74    {"type": "assert_invalid", "line": 482, "filename": "memory_fill.52.wasm", "text": "type mismatch", "module_type": "binary"}, 
    75    {"type": "assert_invalid", "line": 489, "filename": "memory_fill.53.wasm", "text": "type mismatch", "module_type": "binary"}, 
    76    {"type": "assert_invalid", "line": 496, "filename": "memory_fill.54.wasm", "text": "type mismatch", "module_type": "binary"}, 
    77    {"type": "assert_invalid", "line": 503, "filename": "memory_fill.55.wasm", "text": "type mismatch", "module_type": "binary"}, 
    78    {"type": "assert_invalid", "line": 510, "filename": "memory_fill.56.wasm", "text": "type mismatch", "module_type": "binary"}, 
    79    {"type": "assert_invalid", "line": 517, "filename": "memory_fill.57.wasm", "text": "type mismatch", "module_type": "binary"}, 
    80    {"type": "assert_invalid", "line": 524, "filename": "memory_fill.58.wasm", "text": "type mismatch", "module_type": "binary"}, 
    81    {"type": "assert_invalid", "line": 531, "filename": "memory_fill.59.wasm", "text": "type mismatch", "module_type": "binary"}, 
    82    {"type": "assert_invalid", "line": 538, "filename": "memory_fill.60.wasm", "text": "type mismatch", "module_type": "binary"}, 
    83    {"type": "assert_invalid", "line": 545, "filename": "memory_fill.61.wasm", "text": "type mismatch", "module_type": "binary"}, 
    84    {"type": "assert_invalid", "line": 552, "filename": "memory_fill.62.wasm", "text": "type mismatch", "module_type": "binary"}, 
    85    {"type": "assert_invalid", "line": 559, "filename": "memory_fill.63.wasm", "text": "type mismatch", "module_type": "binary"}, 
    86    {"type": "assert_invalid", "line": 566, "filename": "memory_fill.64.wasm", "text": "type mismatch", "module_type": "binary"}, 
    87    {"type": "assert_invalid", "line": 573, "filename": "memory_fill.65.wasm", "text": "type mismatch", "module_type": "binary"}, 
    88    {"type": "assert_invalid", "line": 580, "filename": "memory_fill.66.wasm", "text": "type mismatch", "module_type": "binary"}, 
    89    {"type": "assert_invalid", "line": 587, "filename": "memory_fill.67.wasm", "text": "type mismatch", "module_type": "binary"}, 
    90    {"type": "assert_invalid", "line": 594, "filename": "memory_fill.68.wasm", "text": "type mismatch", "module_type": "binary"}, 
    91    {"type": "assert_invalid", "line": 601, "filename": "memory_fill.69.wasm", "text": "type mismatch", "module_type": "binary"}, 
    92    {"type": "assert_invalid", "line": 608, "filename": "memory_fill.70.wasm", "text": "type mismatch", "module_type": "binary"}, 
    93    {"type": "assert_invalid", "line": 615, "filename": "memory_fill.71.wasm", "text": "type mismatch", "module_type": "binary"}, 
    94    {"type": "module", "line": 621, "filename": "memory_fill.72.wasm"}, 
    95    {"type": "assert_trap", "line": 638, "action": {"type": "invoke", "field": "run", "args": [{"type": "i32", "value": "65280"}, {"type": "i32", "value": "37"}, {"type": "i32", "value": "512"}]}, "text": "out of bounds memory access", "expected": []}, 
    96    {"type": "assert_return", "line": 641, "action": {"type": "invoke", "field": "checkRange", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "1"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, 
    97    {"type": "module", "line": 643, "filename": "memory_fill.73.wasm"}, 
    98    {"type": "assert_trap", "line": 660, "action": {"type": "invoke", "field": "run", "args": [{"type": "i32", "value": "65279"}, {"type": "i32", "value": "37"}, {"type": "i32", "value": "514"}]}, "text": "out of bounds memory access", "expected": []}, 
    99    {"type": "assert_return", "line": 663, "action": {"type": "invoke", "field": "checkRange", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "1"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, 
   100    {"type": "module", "line": 665, "filename": "memory_fill.74.wasm"}, 
   101    {"type": "assert_trap", "line": 682, "action": {"type": "invoke", "field": "run", "args": [{"type": "i32", "value": "65279"}, {"type": "i32", "value": "37"}, {"type": "i32", "value": "4294967295"}]}, "text": "out of bounds memory access", "expected": []}, 
   102    {"type": "assert_return", "line": 685, "action": {"type": "invoke", "field": "checkRange", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "1"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}]}