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

     1  {"source_filename": "./bulk.wast",
     2   "commands": [
     3    {"type": "module", "line": 2, "filename": "bulk.0.wasm"}, 
     4    {"type": "module", "line": 6, "filename": "bulk.1.wasm"}, 
     5    {"type": "module", "line": 13, "filename": "bulk.2.wasm"}, 
     6    {"type": "action", "line": 27, "action": {"type": "invoke", "field": "fill", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "255"}, {"type": "i32", "value": "3"}]}, "expected": []}, 
     7    {"type": "assert_return", "line": 28, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
     8    {"type": "assert_return", "line": 29, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "255"}]}, 
     9    {"type": "assert_return", "line": 30, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "255"}]}, 
    10    {"type": "assert_return", "line": 31, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "3"}]}, "expected": [{"type": "i32", "value": "255"}]}, 
    11    {"type": "assert_return", "line": 32, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "4"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    12    {"type": "action", "line": 35, "action": {"type": "invoke", "field": "fill", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "48042"}, {"type": "i32", "value": "2"}]}, "expected": []}, 
    13    {"type": "assert_return", "line": 36, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "170"}]}, 
    14    {"type": "assert_return", "line": 37, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "170"}]}, 
    15    {"type": "action", "line": 40, "action": {"type": "invoke", "field": "fill", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "65536"}]}, "expected": []}, 
    16    {"type": "assert_trap", "line": 43, "action": {"type": "invoke", "field": "fill", "args": [{"type": "i32", "value": "65280"}, {"type": "i32", "value": "1"}, {"type": "i32", "value": "257"}]}, "text": "out of bounds memory access", "expected": []}, 
    17    {"type": "assert_return", "line": 45, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "65280"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    18    {"type": "assert_return", "line": 46, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "65535"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    19    {"type": "action", "line": 49, "action": {"type": "invoke", "field": "fill", "args": [{"type": "i32", "value": "65536"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": []}, 
    20    {"type": "assert_trap", "line": 52, "action": {"type": "invoke", "field": "fill", "args": [{"type": "i32", "value": "65537"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "text": "out of bounds memory access", "expected": []}, 
    21    {"type": "module", "line": 57, "filename": "bulk.3.wasm"}, 
    22    {"type": "action", "line": 71, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "10"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "4"}]}, "expected": []}, 
    23    {"type": "assert_return", "line": 73, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "9"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    24    {"type": "assert_return", "line": 74, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "170"}]}, 
    25    {"type": "assert_return", "line": 75, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "11"}]}, "expected": [{"type": "i32", "value": "187"}]}, 
    26    {"type": "assert_return", "line": 76, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "12"}]}, "expected": [{"type": "i32", "value": "204"}]}, 
    27    {"type": "assert_return", "line": 77, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "13"}]}, "expected": [{"type": "i32", "value": "221"}]}, 
    28    {"type": "assert_return", "line": 78, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "14"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    29    {"type": "action", "line": 81, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "8"}, {"type": "i32", "value": "10"}, {"type": "i32", "value": "4"}]}, "expected": []}, 
    30    {"type": "assert_return", "line": 82, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "8"}]}, "expected": [{"type": "i32", "value": "170"}]}, 
    31    {"type": "assert_return", "line": 83, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "9"}]}, "expected": [{"type": "i32", "value": "187"}]}, 
    32    {"type": "assert_return", "line": 84, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "204"}]}, 
    33    {"type": "assert_return", "line": 85, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "11"}]}, "expected": [{"type": "i32", "value": "221"}]}, 
    34    {"type": "assert_return", "line": 86, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "12"}]}, "expected": [{"type": "i32", "value": "204"}]}, 
    35    {"type": "assert_return", "line": 87, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "13"}]}, "expected": [{"type": "i32", "value": "221"}]}, 
    36    {"type": "action", "line": 90, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "10"}, {"type": "i32", "value": "7"}, {"type": "i32", "value": "6"}]}, "expected": []}, 
    37    {"type": "assert_return", "line": 91, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    38    {"type": "assert_return", "line": 92, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "11"}]}, "expected": [{"type": "i32", "value": "170"}]}, 
    39    {"type": "assert_return", "line": 93, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "12"}]}, "expected": [{"type": "i32", "value": "187"}]}, 
    40    {"type": "assert_return", "line": 94, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "13"}]}, "expected": [{"type": "i32", "value": "204"}]}, 
    41    {"type": "assert_return", "line": 95, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "14"}]}, "expected": [{"type": "i32", "value": "221"}]}, 
    42    {"type": "assert_return", "line": 96, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "15"}]}, "expected": [{"type": "i32", "value": "204"}]}, 
    43    {"type": "assert_return", "line": 97, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "16"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    44    {"type": "action", "line": 100, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "65280"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "256"}]}, "expected": []}, 
    45    {"type": "action", "line": 101, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "65024"}, {"type": "i32", "value": "65280"}, {"type": "i32", "value": "256"}]}, "expected": []}, 
    46    {"type": "action", "line": 104, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "65536"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": []}, 
    47    {"type": "action", "line": 105, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "65536"}, {"type": "i32", "value": "0"}]}, "expected": []}, 
    48    {"type": "assert_trap", "line": 108, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "65537"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "text": "out of bounds memory access", "expected": []}, 
    49    {"type": "assert_trap", "line": 110, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "65537"}, {"type": "i32", "value": "0"}]}, "text": "out of bounds memory access", "expected": []}, 
    50    {"type": "module", "line": 115, "filename": "bulk.4.wasm"}, 
    51    {"type": "action", "line": 129, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "1"}, {"type": "i32", "value": "2"}]}, "expected": []}, 
    52    {"type": "assert_return", "line": 130, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "187"}]}, 
    53    {"type": "assert_return", "line": 131, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "204"}]}, 
    54    {"type": "assert_return", "line": 132, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    55    {"type": "action", "line": 135, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "65532"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "4"}]}, "expected": []}, 
    56    {"type": "assert_trap", "line": 138, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "65534"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "3"}]}, "text": "out of bounds memory access", "expected": []}, 
    57    {"type": "assert_return", "line": 140, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "65534"}]}, "expected": [{"type": "i32", "value": "204"}]}, 
    58    {"type": "assert_return", "line": 141, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "65535"}]}, "expected": [{"type": "i32", "value": "221"}]}, 
    59    {"type": "action", "line": 144, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "65536"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": []}, 
    60    {"type": "action", "line": 145, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "4"}, {"type": "i32", "value": "0"}]}, "expected": []}, 
    61    {"type": "assert_trap", "line": 148, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "65537"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "text": "out of bounds memory access", "expected": []}, 
    62    {"type": "assert_trap", "line": 150, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "5"}, {"type": "i32", "value": "0"}]}, "text": "out of bounds memory access", "expected": []}, 
    63    {"type": "module", "line": 154, "filename": "bulk.5.wasm"}, 
    64    {"type": "action", "line": 168, "action": {"type": "invoke", "field": "init_passive", "args": [{"type": "i32", "value": "1"}]}, "expected": []}, 
    65    {"type": "action", "line": 169, "action": {"type": "invoke", "field": "drop_passive", "args": []}, "expected": []}, 
    66    {"type": "action", "line": 170, "action": {"type": "invoke", "field": "drop_passive", "args": []}, "expected": []}, 
    67    {"type": "assert_return", "line": 171, "action": {"type": "invoke", "field": "init_passive", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, 
    68    {"type": "assert_trap", "line": 172, "action": {"type": "invoke", "field": "init_passive", "args": [{"type": "i32", "value": "1"}]}, "text": "out of bounds memory access", "expected": []}, 
    69    {"type": "action", "line": 173, "action": {"type": "invoke", "field": "init_passive", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, 
    70    {"type": "action", "line": 174, "action": {"type": "invoke", "field": "drop_active", "args": []}, "expected": []}, 
    71    {"type": "assert_return", "line": 175, "action": {"type": "invoke", "field": "init_active", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, 
    72    {"type": "assert_trap", "line": 176, "action": {"type": "invoke", "field": "init_active", "args": [{"type": "i32", "value": "1"}]}, "text": "out of bounds memory access", "expected": []}, 
    73    {"type": "action", "line": 177, "action": {"type": "invoke", "field": "init_active", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, 
    74    {"type": "module", "line": 181, "filename": "bulk.6.wasm"}, 
    75    {"type": "module", "line": 196, "filename": "bulk.7.wasm"}, 
    76    {"type": "module", "line": 199, "filename": "bulk.8.wasm"}, 
    77    {"type": "assert_trap", "line": 219, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "2"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "2"}]}, "text": "out of bounds table access", "expected": []}, 
    78    {"type": "assert_trap", "line": 221, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "2"}]}, "text": "uninitialized element 2", "expected": [{"type": "i32"}]}, 
    79    {"type": "action", "line": 224, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "1"}, {"type": "i32", "value": "2"}]}, "expected": []}, 
    80    {"type": "assert_return", "line": 225, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
    81    {"type": "assert_return", "line": 226, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    82    {"type": "assert_trap", "line": 227, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "2"}]}, "text": "uninitialized element", "expected": [{"type": "i32"}]}, 
    83    {"type": "action", "line": 230, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "2"}, {"type": "i32", "value": "2"}]}, "expected": []}, 
    84    {"type": "action", "line": 233, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "3"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": []}, 
    85    {"type": "action", "line": 234, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "4"}, {"type": "i32", "value": "0"}]}, "expected": []}, 
    86    {"type": "assert_trap", "line": 237, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "4"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "text": "out of bounds table access", "expected": []}, 
    87    {"type": "assert_trap", "line": 239, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "5"}, {"type": "i32", "value": "0"}]}, "text": "out of bounds table access", "expected": []}, 
    88    {"type": "module", "line": 244, "filename": "bulk.9.wasm"}, 
    89    {"type": "action", "line": 261, "action": {"type": "invoke", "field": "init_passive", "args": [{"type": "i32", "value": "1"}]}, "expected": []}, 
    90    {"type": "action", "line": 262, "action": {"type": "invoke", "field": "drop_passive", "args": []}, "expected": []}, 
    91    {"type": "action", "line": 263, "action": {"type": "invoke", "field": "drop_passive", "args": []}, "expected": []}, 
    92    {"type": "assert_return", "line": 264, "action": {"type": "invoke", "field": "init_passive", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, 
    93    {"type": "assert_trap", "line": 265, "action": {"type": "invoke", "field": "init_passive", "args": [{"type": "i32", "value": "1"}]}, "text": "out of bounds table access", "expected": []}, 
    94    {"type": "action", "line": 266, "action": {"type": "invoke", "field": "init_passive", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, 
    95    {"type": "action", "line": 267, "action": {"type": "invoke", "field": "drop_active", "args": []}, "expected": []}, 
    96    {"type": "assert_return", "line": 268, "action": {"type": "invoke", "field": "init_active", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, 
    97    {"type": "assert_trap", "line": 269, "action": {"type": "invoke", "field": "init_active", "args": [{"type": "i32", "value": "1"}]}, "text": "out of bounds table access", "expected": []}, 
    98    {"type": "action", "line": 270, "action": {"type": "invoke", "field": "init_active", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, 
    99    {"type": "module", "line": 274, "filename": "bulk.10.wasm"}, 
   100    {"type": "module", "line": 297, "filename": "bulk.11.wasm"}, 
   101    {"type": "module", "line": 300, "filename": "bulk.12.wasm"}, 
   102    {"type": "action", "line": 319, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "3"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "3"}]}, "expected": []}, 
   103    {"type": "assert_return", "line": 321, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "3"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   104    {"type": "assert_return", "line": 322, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "4"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   105    {"type": "assert_return", "line": 323, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "5"}]}, "expected": [{"type": "i32", "value": "2"}]}, 
   106    {"type": "action", "line": 326, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "1"}, {"type": "i32", "value": "3"}]}, "expected": []}, 
   107    {"type": "assert_return", "line": 328, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   108    {"type": "assert_return", "line": 329, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, 
   109    {"type": "assert_return", "line": 330, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   110    {"type": "action", "line": 333, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "2"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "3"}]}, "expected": []}, 
   111    {"type": "assert_return", "line": 335, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   112    {"type": "assert_return", "line": 336, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "3"}]}, "expected": [{"type": "i32", "value": "2"}]}, 
   113    {"type": "assert_return", "line": 337, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "4"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   114    {"type": "action", "line": 340, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "6"}, {"type": "i32", "value": "8"}, {"type": "i32", "value": "2"}]}, "expected": []}, 
   115    {"type": "action", "line": 341, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "8"}, {"type": "i32", "value": "6"}, {"type": "i32", "value": "2"}]}, "expected": []}, 
   116    {"type": "action", "line": 344, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "10"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": []}, 
   117    {"type": "action", "line": 345, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "10"}, {"type": "i32", "value": "0"}]}, "expected": []}, 
   118    {"type": "assert_trap", "line": 348, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "11"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "text": "out of bounds table access", "expected": []}, 
   119    {"type": "assert_trap", "line": 350, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "11"}, {"type": "i32", "value": "0"}]}, "text": "out of bounds table access", "expected": []}]}