github.com/wasilibs/wazerox@v0.0.0-20240124024944-4923be63ab5f/internal/integration_test/spectest/v1/testdata/load.json (about) 1 {"source_filename": "./load.wast", 2 "commands": [ 3 {"type": "module", "line": 3, "filename": "load.0.wasm"}, 4 {"type": "assert_return", "line": 161, "action": {"type": "invoke", "field": "as-br-value", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, 5 {"type": "assert_return", "line": 163, "action": {"type": "invoke", "field": "as-br_if-cond", "args": []}, "expected": []}, 6 {"type": "assert_return", "line": 164, "action": {"type": "invoke", "field": "as-br_if-value", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, 7 {"type": "assert_return", "line": 165, "action": {"type": "invoke", "field": "as-br_if-value-cond", "args": []}, "expected": [{"type": "i32", "value": "7"}]}, 8 {"type": "assert_return", "line": 167, "action": {"type": "invoke", "field": "as-br_table-index", "args": []}, "expected": []}, 9 {"type": "assert_return", "line": 168, "action": {"type": "invoke", "field": "as-br_table-value", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, 10 {"type": "assert_return", "line": 169, "action": {"type": "invoke", "field": "as-br_table-value-index", "args": []}, "expected": [{"type": "i32", "value": "6"}]}, 11 {"type": "assert_return", "line": 171, "action": {"type": "invoke", "field": "as-return-value", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, 12 {"type": "assert_return", "line": 173, "action": {"type": "invoke", "field": "as-if-cond", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 13 {"type": "assert_return", "line": 174, "action": {"type": "invoke", "field": "as-if-then", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, 14 {"type": "assert_return", "line": 175, "action": {"type": "invoke", "field": "as-if-else", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, 15 {"type": "assert_return", "line": 177, "action": {"type": "invoke", "field": "as-select-first", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, 16 {"type": "assert_return", "line": 178, "action": {"type": "invoke", "field": "as-select-second", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 17 {"type": "assert_return", "line": 179, "action": {"type": "invoke", "field": "as-select-cond", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 18 {"type": "assert_return", "line": 181, "action": {"type": "invoke", "field": "as-call-first", "args": []}, "expected": [{"type": "i32", "value": "4294967295"}]}, 19 {"type": "assert_return", "line": 182, "action": {"type": "invoke", "field": "as-call-mid", "args": []}, "expected": [{"type": "i32", "value": "4294967295"}]}, 20 {"type": "assert_return", "line": 183, "action": {"type": "invoke", "field": "as-call-last", "args": []}, "expected": [{"type": "i32", "value": "4294967295"}]}, 21 {"type": "assert_return", "line": 185, "action": {"type": "invoke", "field": "as-call_indirect-first", "args": []}, "expected": [{"type": "i32", "value": "4294967295"}]}, 22 {"type": "assert_return", "line": 186, "action": {"type": "invoke", "field": "as-call_indirect-mid", "args": []}, "expected": [{"type": "i32", "value": "4294967295"}]}, 23 {"type": "assert_return", "line": 187, "action": {"type": "invoke", "field": "as-call_indirect-last", "args": []}, "expected": [{"type": "i32", "value": "4294967295"}]}, 24 {"type": "assert_return", "line": 188, "action": {"type": "invoke", "field": "as-call_indirect-index", "args": []}, "expected": [{"type": "i32", "value": "4294967295"}]}, 25 {"type": "assert_return", "line": 190, "action": {"type": "invoke", "field": "as-local.set-value", "args": []}, "expected": []}, 26 {"type": "assert_return", "line": 191, "action": {"type": "invoke", "field": "as-local.tee-value", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, 27 {"type": "assert_return", "line": 192, "action": {"type": "invoke", "field": "as-global.set-value", "args": []}, "expected": []}, 28 {"type": "assert_return", "line": 194, "action": {"type": "invoke", "field": "as-load-address", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, 29 {"type": "assert_return", "line": 195, "action": {"type": "invoke", "field": "as-loadN-address", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, 30 {"type": "assert_return", "line": 196, "action": {"type": "invoke", "field": "as-store-address", "args": []}, "expected": []}, 31 {"type": "assert_return", "line": 197, "action": {"type": "invoke", "field": "as-store-value", "args": []}, "expected": []}, 32 {"type": "assert_return", "line": 198, "action": {"type": "invoke", "field": "as-storeN-address", "args": []}, "expected": []}, 33 {"type": "assert_return", "line": 199, "action": {"type": "invoke", "field": "as-storeN-value", "args": []}, "expected": []}, 34 {"type": "assert_return", "line": 201, "action": {"type": "invoke", "field": "as-unary-operand", "args": []}, "expected": [{"type": "i32", "value": "32"}]}, 35 {"type": "assert_return", "line": 203, "action": {"type": "invoke", "field": "as-binary-left", "args": []}, "expected": [{"type": "i32", "value": "10"}]}, 36 {"type": "assert_return", "line": 204, "action": {"type": "invoke", "field": "as-binary-right", "args": []}, "expected": [{"type": "i32", "value": "10"}]}, 37 {"type": "assert_return", "line": 206, "action": {"type": "invoke", "field": "as-test-operand", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 38 {"type": "assert_return", "line": 208, "action": {"type": "invoke", "field": "as-compare-left", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 39 {"type": "assert_return", "line": 209, "action": {"type": "invoke", "field": "as-compare-right", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 40 {"type": "assert_return", "line": 211, "action": {"type": "invoke", "field": "as-memory.grow-size", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 41 {"type": "assert_malformed", "line": 214, "filename": "load.1.wat", "text": "unknown operator", "module_type": "text"}, 42 {"type": "assert_malformed", "line": 221, "filename": "load.2.wat", "text": "unknown operator", "module_type": "text"}, 43 {"type": "assert_malformed", "line": 228, "filename": "load.3.wat", "text": "unknown operator", "module_type": "text"}, 44 {"type": "assert_malformed", "line": 235, "filename": "load.4.wat", "text": "unknown operator", "module_type": "text"}, 45 {"type": "assert_malformed", "line": 242, "filename": "load.5.wat", "text": "unknown operator", "module_type": "text"}, 46 {"type": "assert_malformed", "line": 249, "filename": "load.6.wat", "text": "unknown operator", "module_type": "text"}, 47 {"type": "assert_malformed", "line": 257, "filename": "load.7.wat", "text": "unknown operator", "module_type": "text"}, 48 {"type": "assert_malformed", "line": 264, "filename": "load.8.wat", "text": "unknown operator", "module_type": "text"}, 49 {"type": "assert_malformed", "line": 271, "filename": "load.9.wat", "text": "unknown operator", "module_type": "text"}, 50 {"type": "assert_malformed", "line": 279, "filename": "load.10.wat", "text": "unknown operator", "module_type": "text"}, 51 {"type": "assert_malformed", "line": 286, "filename": "load.11.wat", "text": "unknown operator", "module_type": "text"}, 52 {"type": "assert_malformed", "line": 294, "filename": "load.12.wat", "text": "unknown operator", "module_type": "text"}, 53 {"type": "assert_malformed", "line": 301, "filename": "load.13.wat", "text": "unknown operator", "module_type": "text"}, 54 {"type": "assert_invalid", "line": 312, "filename": "load.14.wasm", "text": "type mismatch", "module_type": "binary"}, 55 {"type": "assert_invalid", "line": 316, "filename": "load.15.wasm", "text": "type mismatch", "module_type": "binary"}, 56 {"type": "assert_invalid", "line": 320, "filename": "load.16.wasm", "text": "type mismatch", "module_type": "binary"}, 57 {"type": "assert_invalid", "line": 324, "filename": "load.17.wasm", "text": "type mismatch", "module_type": "binary"}, 58 {"type": "assert_invalid", "line": 328, "filename": "load.18.wasm", "text": "type mismatch", "module_type": "binary"}, 59 {"type": "assert_invalid", "line": 332, "filename": "load.19.wasm", "text": "type mismatch", "module_type": "binary"}, 60 {"type": "assert_invalid", "line": 336, "filename": "load.20.wasm", "text": "type mismatch", "module_type": "binary"}, 61 {"type": "assert_invalid", "line": 340, "filename": "load.21.wasm", "text": "type mismatch", "module_type": "binary"}, 62 {"type": "assert_invalid", "line": 344, "filename": "load.22.wasm", "text": "type mismatch", "module_type": "binary"}, 63 {"type": "assert_invalid", "line": 348, "filename": "load.23.wasm", "text": "type mismatch", "module_type": "binary"}, 64 {"type": "assert_invalid", "line": 352, "filename": "load.24.wasm", "text": "type mismatch", "module_type": "binary"}, 65 {"type": "assert_invalid", "line": 356, "filename": "load.25.wasm", "text": "type mismatch", "module_type": "binary"}, 66 {"type": "assert_invalid", "line": 360, "filename": "load.26.wasm", "text": "type mismatch", "module_type": "binary"}, 67 {"type": "assert_invalid", "line": 364, "filename": "load.27.wasm", "text": "type mismatch", "module_type": "binary"}, 68 {"type": "assert_invalid", "line": 371, "filename": "load.28.wasm", "text": "type mismatch", "module_type": "binary"}, 69 {"type": "assert_invalid", "line": 372, "filename": "load.29.wasm", "text": "type mismatch", "module_type": "binary"}, 70 {"type": "assert_invalid", "line": 373, "filename": "load.30.wasm", "text": "type mismatch", "module_type": "binary"}, 71 {"type": "assert_invalid", "line": 374, "filename": "load.31.wasm", "text": "type mismatch", "module_type": "binary"}, 72 {"type": "assert_invalid", "line": 375, "filename": "load.32.wasm", "text": "type mismatch", "module_type": "binary"}, 73 {"type": "assert_invalid", "line": 376, "filename": "load.33.wasm", "text": "type mismatch", "module_type": "binary"}, 74 {"type": "assert_invalid", "line": 377, "filename": "load.34.wasm", "text": "type mismatch", "module_type": "binary"}, 75 {"type": "assert_invalid", "line": 378, "filename": "load.35.wasm", "text": "type mismatch", "module_type": "binary"}, 76 {"type": "assert_invalid", "line": 379, "filename": "load.36.wasm", "text": "type mismatch", "module_type": "binary"}, 77 {"type": "assert_invalid", "line": 380, "filename": "load.37.wasm", "text": "type mismatch", "module_type": "binary"}, 78 {"type": "assert_invalid", "line": 381, "filename": "load.38.wasm", "text": "type mismatch", "module_type": "binary"}, 79 {"type": "assert_invalid", "line": 382, "filename": "load.39.wasm", "text": "type mismatch", "module_type": "binary"}, 80 {"type": "assert_invalid", "line": 383, "filename": "load.40.wasm", "text": "type mismatch", "module_type": "binary"}, 81 {"type": "assert_invalid", "line": 384, "filename": "load.41.wasm", "text": "type mismatch", "module_type": "binary"}, 82 {"type": "assert_invalid", "line": 388, "filename": "load.42.wasm", "text": "type mismatch", "module_type": "binary"}, 83 {"type": "assert_invalid", "line": 397, "filename": "load.43.wasm", "text": "type mismatch", "module_type": "binary"}, 84 {"type": "assert_invalid", "line": 407, "filename": "load.44.wasm", "text": "type mismatch", "module_type": "binary"}, 85 {"type": "assert_invalid", "line": 417, "filename": "load.45.wasm", "text": "type mismatch", "module_type": "binary"}, 86 {"type": "assert_invalid", "line": 427, "filename": "load.46.wasm", "text": "type mismatch", "module_type": "binary"}, 87 {"type": "assert_invalid", "line": 437, "filename": "load.47.wasm", "text": "type mismatch", "module_type": "binary"}, 88 {"type": "assert_invalid", "line": 447, "filename": "load.48.wasm", "text": "type mismatch", "module_type": "binary"}, 89 {"type": "assert_invalid", "line": 457, "filename": "load.49.wasm", "text": "type mismatch", "module_type": "binary"}, 90 {"type": "assert_invalid", "line": 467, "filename": "load.50.wasm", "text": "type mismatch", "module_type": "binary"}, 91 {"type": "assert_invalid", "line": 476, "filename": "load.51.wasm", "text": "type mismatch", "module_type": "binary"}, 92 {"type": "assert_invalid", "line": 485, "filename": "load.52.wasm", "text": "type mismatch", "module_type": "binary"}, 93 {"type": "assert_invalid", "line": 495, "filename": "load.53.wasm", "text": "type mismatch", "module_type": "binary"}, 94 {"type": "assert_invalid", "line": 512, "filename": "load.54.wasm", "text": "type mismatch", "module_type": "binary"}, 95 {"type": "assert_invalid", "line": 522, "filename": "load.55.wasm", "text": "type mismatch", "module_type": "binary"}, 96 {"type": "assert_invalid", "line": 532, "filename": "load.56.wasm", "text": "type mismatch", "module_type": "binary"}, 97 {"type": "assert_invalid", "line": 542, "filename": "load.57.wasm", "text": "type mismatch", "module_type": "binary"}, 98 {"type": "assert_invalid", "line": 551, "filename": "load.58.wasm", "text": "type mismatch", "module_type": "binary"}, 99 {"type": "assert_invalid", "line": 560, "filename": "load.59.wasm", "text": "type mismatch", "module_type": "binary"}]}