1{"source_filename": "./imports.wast",
2 "commands": [
3 {"type": "module", "line": 3, "filename": "imports.0.wasm"},
4 {"type": "register", "line": 21, "as": "test"},
5 {"type": "module", "line": 26, "filename": "imports.1.wasm"},
6 {"type": "assert_return", "line": 85, "action": {"type": "invoke", "field": "print32", "args": [{"type": "i32", "value": "13"}]}, "expected": []},
7 {"type": "assert_return", "line": 86, "action": {"type": "invoke", "field": "print64", "args": [{"type": "i64", "value": "24"}]}, "expected": []},
8 {"type": "assert_invalid", "line": 89, "filename": "imports.2.wasm", "text": "unknown type", "module_type": "binary"},
9 {"type": "module", "line": 97, "filename": "imports.3.wasm"},
10 {"type": "assert_return", "line": 104, "action": {"type": "invoke", "field": "print_i32", "args": [{"type": "i32", "value": "13"}]}, "expected": []},
11 {"type": "module", "line": 107, "filename": "imports.4.wasm"},
12 {"type": "assert_return", "line": 114, "action": {"type": "invoke", "field": "print_i32", "args": [{"type": "i32", "value": "5"}, {"type": "i32", "value": "11"}]}, "expected": [{"type": "i32", "value": "16"}]},
13 {"type": "module", "line": 116, "filename": "imports.5.wasm"},
14 {"type": "module", "line": 117, "filename": "imports.6.wasm"},
15 {"type": "module", "line": 118, "filename": "imports.7.wasm"},
16 {"type": "module", "line": 119, "filename": "imports.8.wasm"},
17 {"type": "module", "line": 120, "filename": "imports.9.wasm"},
18 {"type": "module", "line": 121, "filename": "imports.10.wasm"},
19 {"type": "module", "line": 122, "filename": "imports.11.wasm"},
20 {"type": "assert_unlinkable", "line": 125, "filename": "imports.12.wasm", "text": "unknown import", "module_type": "binary"},
21 {"type": "assert_unlinkable", "line": 129, "filename": "imports.13.wasm", "text": "unknown import", "module_type": "binary"},
22 {"type": "assert_unlinkable", "line": 134, "filename": "imports.14.wasm", "text": "incompatible import type", "module_type": "binary"},
23 {"type": "assert_unlinkable", "line": 138, "filename": "imports.15.wasm", "text": "incompatible import type", "module_type": "binary"},
24 {"type": "assert_unlinkable", "line": 142, "filename": "imports.16.wasm", "text": "incompatible import type", "module_type": "binary"},
25 {"type": "assert_unlinkable", "line": 146, "filename": "imports.17.wasm", "text": "incompatible import type", "module_type": "binary"},
26 {"type": "assert_unlinkable", "line": 150, "filename": "imports.18.wasm", "text": "incompatible import type", "module_type": "binary"},
27 {"type": "assert_unlinkable", "line": 154, "filename": "imports.19.wasm", "text": "incompatible import type", "module_type": "binary"},
28 {"type": "assert_unlinkable", "line": 158, "filename": "imports.20.wasm", "text": "incompatible import type", "module_type": "binary"},
29 {"type": "assert_unlinkable", "line": 162, "filename": "imports.21.wasm", "text": "incompatible import type", "module_type": "binary"},
30 {"type": "assert_unlinkable", "line": 166, "filename": "imports.22.wasm", "text": "incompatible import type", "module_type": "binary"},
31 {"type": "assert_unlinkable", "line": 170, "filename": "imports.23.wasm", "text": "incompatible import type", "module_type": "binary"},
32 {"type": "assert_unlinkable", "line": 174, "filename": "imports.24.wasm", "text": "incompatible import type", "module_type": "binary"},
33 {"type": "assert_unlinkable", "line": 178, "filename": "imports.25.wasm", "text": "incompatible import type", "module_type": "binary"},
34 {"type": "assert_unlinkable", "line": 182, "filename": "imports.26.wasm", "text": "incompatible import type", "module_type": "binary"},
35 {"type": "assert_unlinkable", "line": 186, "filename": "imports.27.wasm", "text": "incompatible import type", "module_type": "binary"},
36 {"type": "assert_unlinkable", "line": 190, "filename": "imports.28.wasm", "text": "incompatible import type", "module_type": "binary"},
37 {"type": "assert_unlinkable", "line": 194, "filename": "imports.29.wasm", "text": "incompatible import type", "module_type": "binary"},
38 {"type": "assert_unlinkable", "line": 199, "filename": "imports.30.wasm", "text": "incompatible import type", "module_type": "binary"},
39 {"type": "assert_unlinkable", "line": 203, "filename": "imports.31.wasm", "text": "incompatible import type", "module_type": "binary"},
40 {"type": "assert_unlinkable", "line": 207, "filename": "imports.32.wasm", "text": "incompatible import type", "module_type": "binary"},
41 {"type": "assert_unlinkable", "line": 211, "filename": "imports.33.wasm", "text": "incompatible import type", "module_type": "binary"},
42 {"type": "assert_unlinkable", "line": 215, "filename": "imports.34.wasm", "text": "incompatible import type", "module_type": "binary"},
43 {"type": "assert_unlinkable", "line": 219, "filename": "imports.35.wasm", "text": "incompatible import type", "module_type": "binary"},
44 {"type": "module", "line": 226, "filename": "imports.36.wasm"},
45 {"type": "assert_return", "line": 243, "action": {"type": "invoke", "field": "get-0", "args": []}, "expected": [{"type": "i32", "value": "666"}]},
46 {"type": "assert_return", "line": 244, "action": {"type": "invoke", "field": "get-1", "args": []}, "expected": [{"type": "i32", "value": "666"}]},
47 {"type": "assert_return", "line": 245, "action": {"type": "invoke", "field": "get-x", "args": []}, "expected": [{"type": "i32", "value": "666"}]},
48 {"type": "assert_return", "line": 246, "action": {"type": "invoke", "field": "get-y", "args": []}, "expected": [{"type": "i32", "value": "666"}]},
49 {"type": "module", "line": 248, "filename": "imports.37.wasm"},
50 {"type": "module", "line": 249, "filename": "imports.38.wasm"},
51 {"type": "module", "line": 250, "filename": "imports.39.wasm"},
52 {"type": "assert_unlinkable", "line": 253, "filename": "imports.40.wasm", "text": "unknown import", "module_type": "binary"},
53 {"type": "assert_unlinkable", "line": 257, "filename": "imports.41.wasm", "text": "unknown import", "module_type": "binary"},
54 {"type": "assert_unlinkable", "line": 262, "filename": "imports.42.wasm", "text": "incompatible import type", "module_type": "binary"},
55 {"type": "assert_unlinkable", "line": 266, "filename": "imports.43.wasm", "text": "incompatible import type", "module_type": "binary"},
56 {"type": "assert_unlinkable", "line": 270, "filename": "imports.44.wasm", "text": "incompatible import type", "module_type": "binary"},
57 {"type": "assert_unlinkable", "line": 274, "filename": "imports.45.wasm", "text": "incompatible import type", "module_type": "binary"},
58 {"type": "assert_unlinkable", "line": 278, "filename": "imports.46.wasm", "text": "incompatible import type", "module_type": "binary"},
59 {"type": "assert_unlinkable", "line": 282, "filename": "imports.47.wasm", "text": "incompatible import type", "module_type": "binary"},
60 {"type": "assert_unlinkable", "line": 286, "filename": "imports.48.wasm", "text": "incompatible import type", "module_type": "binary"},
61 {"type": "assert_unlinkable", "line": 290, "filename": "imports.49.wasm", "text": "incompatible import type", "module_type": "binary"},
62 {"type": "assert_unlinkable", "line": 294, "filename": "imports.50.wasm", "text": "incompatible import type", "module_type": "binary"},
63 {"type": "assert_unlinkable", "line": 298, "filename": "imports.51.wasm", "text": "incompatible import type", "module_type": "binary"},
64 {"type": "assert_unlinkable", "line": 302, "filename": "imports.52.wasm", "text": "incompatible import type", "module_type": "binary"},
65 {"type": "assert_unlinkable", "line": 306, "filename": "imports.53.wasm", "text": "incompatible import type", "module_type": "binary"},
66 {"type": "assert_unlinkable", "line": 311, "filename": "imports.54.wasm", "text": "incompatible import type", "module_type": "binary"},
67 {"type": "assert_unlinkable", "line": 315, "filename": "imports.55.wasm", "text": "incompatible import type", "module_type": "binary"},
68 {"type": "assert_unlinkable", "line": 319, "filename": "imports.56.wasm", "text": "incompatible import type", "module_type": "binary"},
69 {"type": "assert_unlinkable", "line": 323, "filename": "imports.57.wasm", "text": "incompatible import type", "module_type": "binary"},
70 {"type": "assert_unlinkable", "line": 327, "filename": "imports.58.wasm", "text": "incompatible import type", "module_type": "binary"},
71 {"type": "assert_unlinkable", "line": 331, "filename": "imports.59.wasm", "text": "incompatible import type", "module_type": "binary"},
72 {"type": "module", "line": 338, "filename": "imports.60.wasm"},
73 {"type": "assert_trap", "line": 350, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "0"}]}, "text": "uninitialized element", "expected": [{"type": "i32"}]},
74 {"type": "assert_return", "line": 351, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "11"}]},
75 {"type": "assert_return", "line": 352, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "22"}]},
76 {"type": "assert_trap", "line": 353, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "3"}]}, "text": "uninitialized element", "expected": [{"type": "i32"}]},
77 {"type": "assert_trap", "line": 354, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "100"}]}, "text": "undefined element", "expected": [{"type": "i32"}]},
78 {"type": "module", "line": 357, "filename": "imports.61.wasm"},
79 {"type": "assert_trap", "line": 369, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "0"}]}, "text": "uninitialized element", "expected": [{"type": "i32"}]},
80 {"type": "assert_return", "line": 370, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "11"}]},
81 {"type": "assert_return", "line": 371, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "22"}]},
82 {"type": "assert_trap", "line": 372, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "3"}]}, "text": "uninitialized element", "expected": [{"type": "i32"}]},
83 {"type": "assert_trap", "line": 373, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "100"}]}, "text": "undefined element", "expected": [{"type": "i32"}]},
84 {"type": "module", "line": 376, "filename": "imports.62.wasm"},
85 {"type": "module", "line": 383, "filename": "imports.63.wasm"},
86 {"type": "module", "line": 384, "filename": "imports.64.wasm"},
87 {"type": "module", "line": 385, "filename": "imports.65.wasm"},
88 {"type": "module", "line": 386, "filename": "imports.66.wasm"},
89 {"type": "module", "line": 387, "filename": "imports.67.wasm"},
90 {"type": "module", "line": 388, "filename": "imports.68.wasm"},
91 {"type": "module", "line": 389, "filename": "imports.69.wasm"},
92 {"type": "module", "line": 390, "filename": "imports.70.wasm"},
93 {"type": "module", "line": 391, "filename": "imports.71.wasm"},
94 {"type": "module", "line": 392, "filename": "imports.72.wasm"},
95 {"type": "module", "line": 393, "filename": "imports.73.wasm"},
96 {"type": "module", "line": 394, "filename": "imports.74.wasm"},
97 {"type": "module", "line": 395, "filename": "imports.75.wasm"},
98 {"type": "module", "line": 396, "filename": "imports.76.wasm"},
99 {"type": "module", "line": 397, "filename": "imports.77.wasm"},
100 {"type": "module", "line": 398, "filename": "imports.78.wasm"},
101 {"type": "module", "line": 399, "filename": "imports.79.wasm"},
102 {"type": "module", "line": 400, "filename": "imports.80.wasm"},
103 {"type": "module", "line": 401, "filename": "imports.81.wasm"},
104 {"type": "module", "line": 402, "filename": "imports.82.wasm"},
105 {"type": "assert_unlinkable", "line": 405, "filename": "imports.83.wasm", "text": "unknown import", "module_type": "binary"},
106 {"type": "assert_unlinkable", "line": 409, "filename": "imports.84.wasm", "text": "unknown import", "module_type": "binary"},
107 {"type": "assert_unlinkable", "line": 414, "filename": "imports.85.wasm", "text": "incompatible import type", "module_type": "binary"},
108 {"type": "assert_unlinkable", "line": 418, "filename": "imports.86.wasm", "text": "incompatible import type", "module_type": "binary"},
109 {"type": "assert_unlinkable", "line": 422, "filename": "imports.87.wasm", "text": "incompatible import type", "module_type": "binary"},
110 {"type": "assert_unlinkable", "line": 426, "filename": "imports.88.wasm", "text": "incompatible import type", "module_type": "binary"},
111 {"type": "assert_unlinkable", "line": 430, "filename": "imports.89.wasm", "text": "incompatible import type", "module_type": "binary"},
112 {"type": "assert_unlinkable", "line": 434, "filename": "imports.90.wasm", "text": "incompatible import type", "module_type": "binary"},
113 {"type": "assert_unlinkable", "line": 439, "filename": "imports.91.wasm", "text": "incompatible import type", "module_type": "binary"},
114 {"type": "assert_unlinkable", "line": 443, "filename": "imports.92.wasm", "text": "incompatible import type", "module_type": "binary"},
115 {"type": "assert_unlinkable", "line": 447, "filename": "imports.93.wasm", "text": "incompatible import type", "module_type": "binary"},
116 {"type": "assert_unlinkable", "line": 451, "filename": "imports.94.wasm", "text": "incompatible import type", "module_type": "binary"},
117 {"type": "module", "line": 459, "filename": "imports.95.wasm"},
118 {"type": "assert_return", "line": 466, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]},
119 {"type": "assert_return", "line": 467, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "16"}]},
120 {"type": "assert_return", "line": 468, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "8"}]}, "expected": [{"type": "i32", "value": "1048576"}]},
121 {"type": "assert_trap", "line": 469, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "1000000"}]}, "text": "out of bounds memory access", "expected": [{"type": "i32"}]},
122 {"type": "module", "line": 471, "filename": "imports.96.wasm"},
123 {"type": "assert_return", "line": 477, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]},
124 {"type": "assert_return", "line": 478, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "16"}]},
125 {"type": "assert_return", "line": 479, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "8"}]}, "expected": [{"type": "i32", "value": "1048576"}]},
126 {"type": "assert_trap", "line": 480, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "1000000"}]}, "text": "out of bounds memory access", "expected": [{"type": "i32"}]},
127 {"type": "assert_invalid", "line": 483, "filename": "imports.97.wasm", "text": "multiple memories", "module_type": "binary"},
128 {"type": "assert_invalid", "line": 487, "filename": "imports.98.wasm", "text": "multiple memories", "module_type": "binary"},
129 {"type": "assert_invalid", "line": 491, "filename": "imports.99.wasm", "text": "multiple memories", "module_type": "binary"},
130 {"type": "module", "line": 495, "filename": "imports.100.wasm"},
131 {"type": "module", "line": 496, "filename": "imports.101.wasm"},
132 {"type": "module", "line": 497, "filename": "imports.102.wasm"},
133 {"type": "module", "line": 498, "filename": "imports.103.wasm"},
134 {"type": "module", "line": 499, "filename": "imports.104.wasm"},
135 {"type": "module", "line": 500, "filename": "imports.105.wasm"},
136 {"type": "module", "line": 501, "filename": "imports.106.wasm"},
137 {"type": "module", "line": 502, "filename": "imports.107.wasm"},
138 {"type": "module", "line": 503, "filename": "imports.108.wasm"},
139 {"type": "assert_unlinkable", "line": 506, "filename": "imports.109.wasm", "text": "unknown import", "module_type": "binary"},
140 {"type": "assert_unlinkable", "line": 510, "filename": "imports.110.wasm", "text": "unknown import", "module_type": "binary"},
141 {"type": "assert_unlinkable", "line": 515, "filename": "imports.111.wasm", "text": "incompatible import type", "module_type": "binary"},
142 {"type": "assert_unlinkable", "line": 519, "filename": "imports.112.wasm", "text": "incompatible import type", "module_type": "binary"},
143 {"type": "assert_unlinkable", "line": 523, "filename": "imports.113.wasm", "text": "incompatible import type", "module_type": "binary"},
144 {"type": "assert_unlinkable", "line": 527, "filename": "imports.114.wasm", "text": "incompatible import type", "module_type": "binary"},
145 {"type": "assert_unlinkable", "line": 532, "filename": "imports.115.wasm", "text": "incompatible import type", "module_type": "binary"},
146 {"type": "assert_unlinkable", "line": 536, "filename": "imports.116.wasm", "text": "incompatible import type", "module_type": "binary"},
147 {"type": "assert_unlinkable", "line": 540, "filename": "imports.117.wasm", "text": "incompatible import type", "module_type": "binary"},
148 {"type": "assert_unlinkable", "line": 544, "filename": "imports.118.wasm", "text": "incompatible import type", "module_type": "binary"},
149 {"type": "assert_unlinkable", "line": 548, "filename": "imports.119.wasm", "text": "incompatible import type", "module_type": "binary"},
150 {"type": "assert_unlinkable", "line": 552, "filename": "imports.120.wasm", "text": "incompatible import type", "module_type": "binary"},
151 {"type": "assert_unlinkable", "line": 557, "filename": "imports.121.wasm", "text": "incompatible import type", "module_type": "binary"},
152 {"type": "assert_unlinkable", "line": 561, "filename": "imports.122.wasm", "text": "incompatible import type", "module_type": "binary"},
153 {"type": "module", "line": 565, "filename": "imports.123.wasm"},
154 {"type": "assert_return", "line": 569, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]},
155 {"type": "assert_return", "line": 570, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]},
156 {"type": "assert_return", "line": 571, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]},
157 {"type": "assert_return", "line": 572, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "4294967295"}]},
158 {"type": "assert_return", "line": 573, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]},
159 {"type": "module", "line": 575, "name": "$Mgm", "filename": "imports.124.wasm"},
160 {"type": "register", "line": 579, "name": "$Mgm", "as": "grown-memory"},
161 {"type": "assert_return", "line": 580, "action": {"type": "invoke", "module": "$Mgm", "field": "grow", "args": []}, "expected": [{"type": "i32", "value": "1"}]},
162 {"type": "module", "line": 581, "name": "$Mgim1", "filename": "imports.125.wasm"},
163 {"type": "register", "line": 586, "name": "$Mgim1", "as": "grown-imported-memory"},
164 {"type": "assert_return", "line": 587, "action": {"type": "invoke", "module": "$Mgim1", "field": "grow", "args": []}, "expected": [{"type": "i32", "value": "2"}]},
165 {"type": "module", "line": 588, "name": "$Mgim2", "filename": "imports.126.wasm"},
166 {"type": "assert_return", "line": 593, "action": {"type": "invoke", "module": "$Mgim2", "field": "size", "args": []}, "expected": [{"type": "i32", "value": "3"}]},
167 {"type": "assert_malformed", "line": 599, "filename": "imports.127.wat", "text": "import after function", "module_type": "text"},
168 {"type": "assert_malformed", "line": 603, "filename": "imports.128.wat", "text": "import after function", "module_type": "text"},
169 {"type": "assert_malformed", "line": 607, "filename": "imports.129.wat", "text": "import after function", "module_type": "text"},
170 {"type": "assert_malformed", "line": 611, "filename": "imports.130.wat", "text": "import after function", "module_type": "text"},
171 {"type": "assert_malformed", "line": 616, "filename": "imports.131.wat", "text": "import after global", "module_type": "text"},
172 {"type": "assert_malformed", "line": 620, "filename": "imports.132.wat", "text": "import after global", "module_type": "text"},
173 {"type": "assert_malformed", "line": 624, "filename": "imports.133.wat", "text": "import after global", "module_type": "text"},
174 {"type": "assert_malformed", "line": 628, "filename": "imports.134.wat", "text": "import after global", "module_type": "text"},
175 {"type": "assert_malformed", "line": 633, "filename": "imports.135.wat", "text": "import after table", "module_type": "text"},
176 {"type": "assert_malformed", "line": 637, "filename": "imports.136.wat", "text": "import after table", "module_type": "text"},
177 {"type": "assert_malformed", "line": 641, "filename": "imports.137.wat", "text": "import after table", "module_type": "text"},
178 {"type": "assert_malformed", "line": 645, "filename": "imports.138.wat", "text": "import after table", "module_type": "text"},
179 {"type": "assert_malformed", "line": 650, "filename": "imports.139.wat", "text": "import after memory", "module_type": "text"},
180 {"type": "assert_malformed", "line": 654, "filename": "imports.140.wat", "text": "import after memory", "module_type": "text"},
181 {"type": "assert_malformed", "line": 658, "filename": "imports.141.wat", "text": "import after memory", "module_type": "text"},
182 {"type": "assert_malformed", "line": 662, "filename": "imports.142.wat", "text": "import after memory", "module_type": "text"},
183 {"type": "module", "line": 669, "filename": "imports.143.wasm"},
184 {"type": "register", "line": 670, "as": "not wasm"},
185 {"type": "assert_unlinkable", "line": 672, "filename": "imports.144.wasm", "text": "unknown import", "module_type": "binary"}]}
View as plain text