{"source_filename": "./memory.wast", "commands": [ {"type": "module", "line": 3, "filename": "memory.0.wasm"}, {"type": "module", "line": 4, "filename": "memory.1.wasm"}, {"type": "module", "line": 5, "filename": "memory.2.wasm"}, {"type": "module", "line": 6, "filename": "memory.3.wasm"}, {"type": "module", "line": 7, "filename": "memory.4.wasm"}, {"type": "module", "line": 8, "filename": "memory.5.wasm"}, {"type": "assert_invalid", "line": 10, "filename": "memory.6.wasm", "text": "multiple memories", "module_type": "binary"}, {"type": "assert_invalid", "line": 11, "filename": "memory.7.wasm", "text": "multiple memories", "module_type": "binary"}, {"type": "module", "line": 13, "filename": "memory.8.wasm"}, {"type": "assert_return", "line": 14, "action": {"type": "invoke", "field": "memsize", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, {"type": "module", "line": 15, "filename": "memory.9.wasm"}, {"type": "assert_return", "line": 16, "action": {"type": "invoke", "field": "memsize", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, {"type": "module", "line": 17, "filename": "memory.10.wasm"}, {"type": "assert_return", "line": 18, "action": {"type": "invoke", "field": "memsize", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, {"type": "assert_invalid", "line": 20, "filename": "memory.11.wasm", "text": "unknown memory", "module_type": "binary"}, {"type": "assert_invalid", "line": 21, "filename": "memory.12.wasm", "text": "unknown memory", "module_type": "binary"}, {"type": "assert_invalid", "line": 22, "filename": "memory.13.wasm", "text": "unknown memory", "module_type": "binary"}, {"type": "assert_invalid", "line": 25, "filename": "memory.14.wasm", "text": "unknown memory", "module_type": "binary"}, {"type": "assert_invalid", "line": 29, "filename": "memory.15.wasm", "text": "unknown memory", "module_type": "binary"}, {"type": "assert_invalid", "line": 33, "filename": "memory.16.wasm", "text": "unknown memory", "module_type": "binary"}, {"type": "assert_invalid", "line": 37, "filename": "memory.17.wasm", "text": "unknown memory", "module_type": "binary"}, {"type": "assert_invalid", "line": 41, "filename": "memory.18.wasm", "text": "unknown memory", "module_type": "binary"}, {"type": "assert_invalid", "line": 45, "filename": "memory.19.wasm", "text": "unknown memory", "module_type": "binary"}, {"type": "assert_invalid", "line": 51, "filename": "memory.20.wasm", "text": "size minimum must not be greater than maximum", "module_type": "binary"}, {"type": "assert_invalid", "line": 55, "filename": "memory.21.wasm", "text": "memory size must be at most 65536 pages (4GiB)", "module_type": "binary"}, {"type": "assert_invalid", "line": 59, "filename": "memory.22.wasm", "text": "memory size must be at most 65536 pages (4GiB)", "module_type": "binary"}, {"type": "assert_invalid", "line": 63, "filename": "memory.23.wasm", "text": "memory size must be at most 65536 pages (4GiB)", "module_type": "binary"}, {"type": "assert_invalid", "line": 67, "filename": "memory.24.wasm", "text": "memory size must be at most 65536 pages (4GiB)", "module_type": "binary"}, {"type": "assert_invalid", "line": 71, "filename": "memory.25.wasm", "text": "memory size must be at most 65536 pages (4GiB)", "module_type": "binary"}, {"type": "assert_invalid", "line": 75, "filename": "memory.26.wasm", "text": "memory size must be at most 65536 pages (4GiB)", "module_type": "binary"}, {"type": "assert_malformed", "line": 80, "filename": "memory.27.wat", "text": "i32 constant out of range", "module_type": "text"}, {"type": "assert_malformed", "line": 84, "filename": "memory.28.wat", "text": "i32 constant out of range", "module_type": "text"}, {"type": "assert_malformed", "line": 88, "filename": "memory.29.wat", "text": "i32 constant out of range", "module_type": "text"}, {"type": "module", "line": 92, "filename": "memory.30.wasm"}, {"type": "assert_return", "line": 180, "action": {"type": "invoke", "field": "data", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, {"type": "assert_return", "line": 181, "action": {"type": "invoke", "field": "cast", "args": []}, "expected": [{"type": "f64", "value": "4631107791820423168"}]}, {"type": "assert_return", "line": 183, "action": {"type": "invoke", "field": "i32_load8_s", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, {"type": "assert_return", "line": 184, "action": {"type": "invoke", "field": "i32_load8_u", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "255"}]}, {"type": "assert_return", "line": 185, "action": {"type": "invoke", "field": "i32_load16_s", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, {"type": "assert_return", "line": 186, "action": {"type": "invoke", "field": "i32_load16_u", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "65535"}]}, {"type": "assert_return", "line": 188, "action": {"type": "invoke", "field": "i32_load8_s", "args": [{"type": "i32", "value": "100"}]}, "expected": [{"type": "i32", "value": "100"}]}, {"type": "assert_return", "line": 189, "action": {"type": "invoke", "field": "i32_load8_u", "args": [{"type": "i32", "value": "200"}]}, "expected": [{"type": "i32", "value": "200"}]}, {"type": "assert_return", "line": 190, "action": {"type": "invoke", "field": "i32_load16_s", "args": [{"type": "i32", "value": "20000"}]}, "expected": [{"type": "i32", "value": "20000"}]}, {"type": "assert_return", "line": 191, "action": {"type": "invoke", "field": "i32_load16_u", "args": [{"type": "i32", "value": "40000"}]}, "expected": [{"type": "i32", "value": "40000"}]}, {"type": "assert_return", "line": 193, "action": {"type": "invoke", "field": "i32_load8_s", "args": [{"type": "i32", "value": "4275856707"}]}, "expected": [{"type": "i32", "value": "67"}]}, {"type": "assert_return", "line": 194, "action": {"type": "invoke", "field": "i32_load8_s", "args": [{"type": "i32", "value": "878104047"}]}, "expected": [{"type": "i32", "value": "4294967279"}]}, {"type": "assert_return", "line": 195, "action": {"type": "invoke", "field": "i32_load8_u", "args": [{"type": "i32", "value": "4275856707"}]}, "expected": [{"type": "i32", "value": "67"}]}, {"type": "assert_return", "line": 196, "action": {"type": "invoke", "field": "i32_load8_u", "args": [{"type": "i32", "value": "878104047"}]}, "expected": [{"type": "i32", "value": "239"}]}, {"type": "assert_return", "line": 197, "action": {"type": "invoke", "field": "i32_load16_s", "args": [{"type": "i32", "value": "4275856707"}]}, "expected": [{"type": "i32", "value": "25923"}]}, {"type": "assert_return", "line": 198, "action": {"type": "invoke", "field": "i32_load16_s", "args": [{"type": "i32", "value": "878104047"}]}, "expected": [{"type": "i32", "value": "4294954479"}]}, {"type": "assert_return", "line": 199, "action": {"type": "invoke", "field": "i32_load16_u", "args": [{"type": "i32", "value": "4275856707"}]}, "expected": [{"type": "i32", "value": "25923"}]}, {"type": "assert_return", "line": 200, "action": {"type": "invoke", "field": "i32_load16_u", "args": [{"type": "i32", "value": "878104047"}]}, "expected": [{"type": "i32", "value": "52719"}]}, {"type": "assert_return", "line": 202, "action": {"type": "invoke", "field": "i64_load8_s", "args": [{"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, {"type": "assert_return", "line": 203, "action": {"type": "invoke", "field": "i64_load8_u", "args": [{"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "255"}]}, {"type": "assert_return", "line": 204, "action": {"type": "invoke", "field": "i64_load16_s", "args": [{"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, {"type": "assert_return", "line": 205, "action": {"type": "invoke", "field": "i64_load16_u", "args": [{"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "65535"}]}, {"type": "assert_return", "line": 206, "action": {"type": "invoke", "field": "i64_load32_s", "args": [{"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, {"type": "assert_return", "line": 207, "action": {"type": "invoke", "field": "i64_load32_u", "args": [{"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "4294967295"}]}, {"type": "assert_return", "line": 209, "action": {"type": "invoke", "field": "i64_load8_s", "args": [{"type": "i64", "value": "100"}]}, "expected": [{"type": "i64", "value": "100"}]}, {"type": "assert_return", "line": 210, "action": {"type": "invoke", "field": "i64_load8_u", "args": [{"type": "i64", "value": "200"}]}, "expected": [{"type": "i64", "value": "200"}]}, {"type": "assert_return", "line": 211, "action": {"type": "invoke", "field": "i64_load16_s", "args": [{"type": "i64", "value": "20000"}]}, "expected": [{"type": "i64", "value": "20000"}]}, {"type": "assert_return", "line": 212, "action": {"type": "invoke", "field": "i64_load16_u", "args": [{"type": "i64", "value": "40000"}]}, "expected": [{"type": "i64", "value": "40000"}]}, {"type": "assert_return", "line": 213, "action": {"type": "invoke", "field": "i64_load32_s", "args": [{"type": "i64", "value": "20000"}]}, "expected": [{"type": "i64", "value": "20000"}]}, {"type": "assert_return", "line": 214, "action": {"type": "invoke", "field": "i64_load32_u", "args": [{"type": "i64", "value": "40000"}]}, "expected": [{"type": "i64", "value": "40000"}]}, {"type": "assert_return", "line": 216, "action": {"type": "invoke", "field": "i64_load8_s", "args": [{"type": "i64", "value": "18364758543954109763"}]}, "expected": [{"type": "i64", "value": "67"}]}, {"type": "assert_return", "line": 217, "action": {"type": "invoke", "field": "i64_load8_s", "args": [{"type": "i64", "value": "3771275841602506223"}]}, "expected": [{"type": "i64", "value": "18446744073709551599"}]}, {"type": "assert_return", "line": 218, "action": {"type": "invoke", "field": "i64_load8_u", "args": [{"type": "i64", "value": "18364758543954109763"}]}, "expected": [{"type": "i64", "value": "67"}]}, {"type": "assert_return", "line": 219, "action": {"type": "invoke", "field": "i64_load8_u", "args": [{"type": "i64", "value": "3771275841602506223"}]}, "expected": [{"type": "i64", "value": "239"}]}, {"type": "assert_return", "line": 220, "action": {"type": "invoke", "field": "i64_load16_s", "args": [{"type": "i64", "value": "18364758543954109763"}]}, "expected": [{"type": "i64", "value": "25923"}]}, {"type": "assert_return", "line": 221, "action": {"type": "invoke", "field": "i64_load16_s", "args": [{"type": "i64", "value": "3771275841602506223"}]}, "expected": [{"type": "i64", "value": "18446744073709538799"}]}, {"type": "assert_return", "line": 222, "action": {"type": "invoke", "field": "i64_load16_u", "args": [{"type": "i64", "value": "18364758543954109763"}]}, "expected": [{"type": "i64", "value": "25923"}]}, {"type": "assert_return", "line": 223, "action": {"type": "invoke", "field": "i64_load16_u", "args": [{"type": "i64", "value": "3771275841602506223"}]}, "expected": [{"type": "i64", "value": "52719"}]}, {"type": "assert_return", "line": 224, "action": {"type": "invoke", "field": "i64_load32_s", "args": [{"type": "i64", "value": "18364758543954109763"}]}, "expected": [{"type": "i64", "value": "1446274371"}]}, {"type": "assert_return", "line": 225, "action": {"type": "invoke", "field": "i64_load32_s", "args": [{"type": "i64", "value": "3771275841602506223"}]}, "expected": [{"type": "i64", "value": "18446744071976963567"}]}, {"type": "assert_return", "line": 226, "action": {"type": "invoke", "field": "i64_load32_u", "args": [{"type": "i64", "value": "18364758543954109763"}]}, "expected": [{"type": "i64", "value": "1446274371"}]}, {"type": "assert_return", "line": 227, "action": {"type": "invoke", "field": "i64_load32_u", "args": [{"type": "i64", "value": "3771275841602506223"}]}, "expected": [{"type": "i64", "value": "2562379247"}]}, {"type": "assert_malformed", "line": 231, "filename": "memory.31.wat", "text": "duplicate memory", "module_type": "text"}, {"type": "assert_malformed", "line": 235, "filename": "memory.32.wat", "text": "duplicate memory", "module_type": "text"}, {"type": "assert_malformed", "line": 239, "filename": "memory.33.wat", "text": "duplicate memory", "module_type": "text"}]}