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"}]}
View as plain text