github.com/wasilibs/wazerox@v0.0.0-20240124024944-4923be63ab5f/internal/integration_test/spectest/v2/testdata/memory.json (about) 1 {"source_filename": "./memory.wast", 2 "commands": [ 3 {"type": "module", "line": 3, "filename": "memory.0.wasm"}, 4 {"type": "module", "line": 4, "filename": "memory.1.wasm"}, 5 {"type": "module", "line": 5, "filename": "memory.2.wasm"}, 6 {"type": "module", "line": 6, "filename": "memory.3.wasm"}, 7 {"type": "module", "line": 7, "filename": "memory.4.wasm"}, 8 {"type": "module", "line": 8, "filename": "memory.5.wasm"}, 9 {"type": "assert_invalid", "line": 10, "filename": "memory.6.wasm", "text": "multiple memories", "module_type": "binary"}, 10 {"type": "assert_invalid", "line": 11, "filename": "memory.7.wasm", "text": "multiple memories", "module_type": "binary"}, 11 {"type": "module", "line": 13, "filename": "memory.8.wasm"}, 12 {"type": "assert_return", "line": 14, "action": {"type": "invoke", "field": "memsize", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, 13 {"type": "module", "line": 15, "filename": "memory.9.wasm"}, 14 {"type": "assert_return", "line": 16, "action": {"type": "invoke", "field": "memsize", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, 15 {"type": "module", "line": 17, "filename": "memory.10.wasm"}, 16 {"type": "assert_return", "line": 18, "action": {"type": "invoke", "field": "memsize", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 17 {"type": "assert_invalid", "line": 20, "filename": "memory.11.wasm", "text": "unknown memory", "module_type": "binary"}, 18 {"type": "assert_invalid", "line": 21, "filename": "memory.12.wasm", "text": "unknown memory", "module_type": "binary"}, 19 {"type": "assert_invalid", "line": 22, "filename": "memory.13.wasm", "text": "unknown memory", "module_type": "binary"}, 20 {"type": "assert_invalid", "line": 25, "filename": "memory.14.wasm", "text": "unknown memory", "module_type": "binary"}, 21 {"type": "assert_invalid", "line": 29, "filename": "memory.15.wasm", "text": "unknown memory", "module_type": "binary"}, 22 {"type": "assert_invalid", "line": 33, "filename": "memory.16.wasm", "text": "unknown memory", "module_type": "binary"}, 23 {"type": "assert_invalid", "line": 37, "filename": "memory.17.wasm", "text": "unknown memory", "module_type": "binary"}, 24 {"type": "assert_invalid", "line": 41, "filename": "memory.18.wasm", "text": "unknown memory", "module_type": "binary"}, 25 {"type": "assert_invalid", "line": 45, "filename": "memory.19.wasm", "text": "unknown memory", "module_type": "binary"}, 26 {"type": "assert_invalid", "line": 51, "filename": "memory.20.wasm", "text": "size minimum must not be greater than maximum", "module_type": "binary"}, 27 {"type": "assert_invalid", "line": 55, "filename": "memory.21.wasm", "text": "memory size must be at most 65536 pages (4GiB)", "module_type": "binary"}, 28 {"type": "assert_invalid", "line": 59, "filename": "memory.22.wasm", "text": "memory size must be at most 65536 pages (4GiB)", "module_type": "binary"}, 29 {"type": "assert_invalid", "line": 63, "filename": "memory.23.wasm", "text": "memory size must be at most 65536 pages (4GiB)", "module_type": "binary"}, 30 {"type": "assert_invalid", "line": 67, "filename": "memory.24.wasm", "text": "memory size must be at most 65536 pages (4GiB)", "module_type": "binary"}, 31 {"type": "assert_invalid", "line": 71, "filename": "memory.25.wasm", "text": "memory size must be at most 65536 pages (4GiB)", "module_type": "binary"}, 32 {"type": "assert_invalid", "line": 75, "filename": "memory.26.wasm", "text": "memory size must be at most 65536 pages (4GiB)", "module_type": "binary"}, 33 {"type": "assert_malformed", "line": 80, "filename": "memory.27.wat", "text": "i32 constant out of range", "module_type": "text"}, 34 {"type": "assert_malformed", "line": 84, "filename": "memory.28.wat", "text": "i32 constant out of range", "module_type": "text"}, 35 {"type": "assert_malformed", "line": 88, "filename": "memory.29.wat", "text": "i32 constant out of range", "module_type": "text"}, 36 {"type": "module", "line": 92, "filename": "memory.30.wasm"}, 37 {"type": "assert_return", "line": 180, "action": {"type": "invoke", "field": "data", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 38 {"type": "assert_return", "line": 181, "action": {"type": "invoke", "field": "cast", "args": []}, "expected": [{"type": "f64", "value": "4631107791820423168"}]}, 39 {"type": "assert_return", "line": 183, "action": {"type": "invoke", "field": "i32_load8_s", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, 40 {"type": "assert_return", "line": 184, "action": {"type": "invoke", "field": "i32_load8_u", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "255"}]}, 41 {"type": "assert_return", "line": 185, "action": {"type": "invoke", "field": "i32_load16_s", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, 42 {"type": "assert_return", "line": 186, "action": {"type": "invoke", "field": "i32_load16_u", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "65535"}]}, 43 {"type": "assert_return", "line": 188, "action": {"type": "invoke", "field": "i32_load8_s", "args": [{"type": "i32", "value": "100"}]}, "expected": [{"type": "i32", "value": "100"}]}, 44 {"type": "assert_return", "line": 189, "action": {"type": "invoke", "field": "i32_load8_u", "args": [{"type": "i32", "value": "200"}]}, "expected": [{"type": "i32", "value": "200"}]}, 45 {"type": "assert_return", "line": 190, "action": {"type": "invoke", "field": "i32_load16_s", "args": [{"type": "i32", "value": "20000"}]}, "expected": [{"type": "i32", "value": "20000"}]}, 46 {"type": "assert_return", "line": 191, "action": {"type": "invoke", "field": "i32_load16_u", "args": [{"type": "i32", "value": "40000"}]}, "expected": [{"type": "i32", "value": "40000"}]}, 47 {"type": "assert_return", "line": 193, "action": {"type": "invoke", "field": "i32_load8_s", "args": [{"type": "i32", "value": "4275856707"}]}, "expected": [{"type": "i32", "value": "67"}]}, 48 {"type": "assert_return", "line": 194, "action": {"type": "invoke", "field": "i32_load8_s", "args": [{"type": "i32", "value": "878104047"}]}, "expected": [{"type": "i32", "value": "4294967279"}]}, 49 {"type": "assert_return", "line": 195, "action": {"type": "invoke", "field": "i32_load8_u", "args": [{"type": "i32", "value": "4275856707"}]}, "expected": [{"type": "i32", "value": "67"}]}, 50 {"type": "assert_return", "line": 196, "action": {"type": "invoke", "field": "i32_load8_u", "args": [{"type": "i32", "value": "878104047"}]}, "expected": [{"type": "i32", "value": "239"}]}, 51 {"type": "assert_return", "line": 197, "action": {"type": "invoke", "field": "i32_load16_s", "args": [{"type": "i32", "value": "4275856707"}]}, "expected": [{"type": "i32", "value": "25923"}]}, 52 {"type": "assert_return", "line": 198, "action": {"type": "invoke", "field": "i32_load16_s", "args": [{"type": "i32", "value": "878104047"}]}, "expected": [{"type": "i32", "value": "4294954479"}]}, 53 {"type": "assert_return", "line": 199, "action": {"type": "invoke", "field": "i32_load16_u", "args": [{"type": "i32", "value": "4275856707"}]}, "expected": [{"type": "i32", "value": "25923"}]}, 54 {"type": "assert_return", "line": 200, "action": {"type": "invoke", "field": "i32_load16_u", "args": [{"type": "i32", "value": "878104047"}]}, "expected": [{"type": "i32", "value": "52719"}]}, 55 {"type": "assert_return", "line": 202, "action": {"type": "invoke", "field": "i64_load8_s", "args": [{"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, 56 {"type": "assert_return", "line": 203, "action": {"type": "invoke", "field": "i64_load8_u", "args": [{"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "255"}]}, 57 {"type": "assert_return", "line": 204, "action": {"type": "invoke", "field": "i64_load16_s", "args": [{"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, 58 {"type": "assert_return", "line": 205, "action": {"type": "invoke", "field": "i64_load16_u", "args": [{"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "65535"}]}, 59 {"type": "assert_return", "line": 206, "action": {"type": "invoke", "field": "i64_load32_s", "args": [{"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, 60 {"type": "assert_return", "line": 207, "action": {"type": "invoke", "field": "i64_load32_u", "args": [{"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "4294967295"}]}, 61 {"type": "assert_return", "line": 209, "action": {"type": "invoke", "field": "i64_load8_s", "args": [{"type": "i64", "value": "100"}]}, "expected": [{"type": "i64", "value": "100"}]}, 62 {"type": "assert_return", "line": 210, "action": {"type": "invoke", "field": "i64_load8_u", "args": [{"type": "i64", "value": "200"}]}, "expected": [{"type": "i64", "value": "200"}]}, 63 {"type": "assert_return", "line": 211, "action": {"type": "invoke", "field": "i64_load16_s", "args": [{"type": "i64", "value": "20000"}]}, "expected": [{"type": "i64", "value": "20000"}]}, 64 {"type": "assert_return", "line": 212, "action": {"type": "invoke", "field": "i64_load16_u", "args": [{"type": "i64", "value": "40000"}]}, "expected": [{"type": "i64", "value": "40000"}]}, 65 {"type": "assert_return", "line": 213, "action": {"type": "invoke", "field": "i64_load32_s", "args": [{"type": "i64", "value": "20000"}]}, "expected": [{"type": "i64", "value": "20000"}]}, 66 {"type": "assert_return", "line": 214, "action": {"type": "invoke", "field": "i64_load32_u", "args": [{"type": "i64", "value": "40000"}]}, "expected": [{"type": "i64", "value": "40000"}]}, 67 {"type": "assert_return", "line": 216, "action": {"type": "invoke", "field": "i64_load8_s", "args": [{"type": "i64", "value": "18364758543954109763"}]}, "expected": [{"type": "i64", "value": "67"}]}, 68 {"type": "assert_return", "line": 217, "action": {"type": "invoke", "field": "i64_load8_s", "args": [{"type": "i64", "value": "3771275841602506223"}]}, "expected": [{"type": "i64", "value": "18446744073709551599"}]}, 69 {"type": "assert_return", "line": 218, "action": {"type": "invoke", "field": "i64_load8_u", "args": [{"type": "i64", "value": "18364758543954109763"}]}, "expected": [{"type": "i64", "value": "67"}]}, 70 {"type": "assert_return", "line": 219, "action": {"type": "invoke", "field": "i64_load8_u", "args": [{"type": "i64", "value": "3771275841602506223"}]}, "expected": [{"type": "i64", "value": "239"}]}, 71 {"type": "assert_return", "line": 220, "action": {"type": "invoke", "field": "i64_load16_s", "args": [{"type": "i64", "value": "18364758543954109763"}]}, "expected": [{"type": "i64", "value": "25923"}]}, 72 {"type": "assert_return", "line": 221, "action": {"type": "invoke", "field": "i64_load16_s", "args": [{"type": "i64", "value": "3771275841602506223"}]}, "expected": [{"type": "i64", "value": "18446744073709538799"}]}, 73 {"type": "assert_return", "line": 222, "action": {"type": "invoke", "field": "i64_load16_u", "args": [{"type": "i64", "value": "18364758543954109763"}]}, "expected": [{"type": "i64", "value": "25923"}]}, 74 {"type": "assert_return", "line": 223, "action": {"type": "invoke", "field": "i64_load16_u", "args": [{"type": "i64", "value": "3771275841602506223"}]}, "expected": [{"type": "i64", "value": "52719"}]}, 75 {"type": "assert_return", "line": 224, "action": {"type": "invoke", "field": "i64_load32_s", "args": [{"type": "i64", "value": "18364758543954109763"}]}, "expected": [{"type": "i64", "value": "1446274371"}]}, 76 {"type": "assert_return", "line": 225, "action": {"type": "invoke", "field": "i64_load32_s", "args": [{"type": "i64", "value": "3771275841602506223"}]}, "expected": [{"type": "i64", "value": "18446744071976963567"}]}, 77 {"type": "assert_return", "line": 226, "action": {"type": "invoke", "field": "i64_load32_u", "args": [{"type": "i64", "value": "18364758543954109763"}]}, "expected": [{"type": "i64", "value": "1446274371"}]}, 78 {"type": "assert_return", "line": 227, "action": {"type": "invoke", "field": "i64_load32_u", "args": [{"type": "i64", "value": "3771275841602506223"}]}, "expected": [{"type": "i64", "value": "2562379247"}]}, 79 {"type": "assert_malformed", "line": 231, "filename": "memory.31.wat", "text": "duplicate memory", "module_type": "text"}, 80 {"type": "assert_malformed", "line": 235, "filename": "memory.32.wat", "text": "duplicate memory", "module_type": "text"}, 81 {"type": "assert_malformed", "line": 239, "filename": "memory.33.wat", "text": "duplicate memory", "module_type": "text"}]}