1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
|
{"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"}]}
|
