WebAssembly: miscellaneous spec fixes
[WebKit-https.git] / JSTests / wasm / spec-tests / imports.wast.js
1 /* Lovingly generated by gen-spec-js.py based on the wonderful content of *
2  * https://github.com/WebAssembly/spec/blob/master/interpreter/host/js.ml */
3 'use strict';
4
5 let soft_validate = true;
6
7 let spectest = {
8   print: print || ((...xs) => console.log(...xs)),
9   global: 666,
10   table: new WebAssembly.Table({initial: 10, maximum: 20, element: 'anyfunc'}),
11   memory: new WebAssembly.Memory({initial: 1, maximum: 2}),};
12
13 let registry = {spectest};
14 let $$;
15
16 function register(name, instance) {
17   registry[name] = instance.exports;
18 }
19
20 function module(bytes) {
21   let buffer = new ArrayBuffer(bytes.length);
22   let view = new Uint8Array(buffer);
23   for (let i = 0; i < bytes.length; ++i) {
24     view[i] = bytes.charCodeAt(i);
25   }
26   return new WebAssembly.Module(buffer);
27 }
28
29 function instance(bytes, imports = registry) {
30   return new WebAssembly.Instance(module(bytes), imports);
31 }
32
33 function assert_malformed(bytes) {
34   try { module(bytes) } catch (e) {
35     if (e instanceof WebAssembly.CompileError) return;
36   }
37   throw new Error("Wasm decoding failure expected");
38 }
39
40 function assert_invalid(bytes) {
41   try { module(bytes) } catch (e) {
42     if (e instanceof WebAssembly.CompileError) return;
43   }
44   throw new Error("Wasm validation failure expected");
45 }
46
47 function assert_soft_invalid(bytes) {
48   try { module(bytes) } catch (e) {
49     if (e instanceof WebAssembly.CompileError) return;
50     throw new Error("Wasm validation failure expected");
51   }
52   if (soft_validate)
53     throw new Error("Wasm validation failure expected");
54 }
55
56 function assert_unlinkable(bytes) {
57   let mod = module(bytes);
58   try { new WebAssembly.Instance(mod, registry) } catch (e) {
59       if (e instanceof WebAssembly.LinkError) return; // Note: this is fixed in tip-of-tree wabt.
60   }
61   throw new Error("Wasm linking failure expected");
62 }
63
64 function assert_uninstantiable(bytes) {
65   let mod = module(bytes);
66   try { new WebAssembly.Instance(mod, registry) } catch (e) {
67     if (e instanceof WebAssembly.RuntimeError) return;
68   }
69   throw new Error("Wasm trap expected");
70 }
71
72 function assert_trap(action) {
73   try { action() } catch (e) {
74     if (e instanceof WebAssembly.RuntimeError) return;
75   }
76   throw new Error("Wasm trap expected");
77 }
78
79 function assert_return(action, expected) {
80   let actual = action();
81   if (!Object.is(actual, expected)) {
82     throw new Error("Wasm return value " + expected + " expected, got " + actual);
83   };
84 }
85
86 function assert_return_nan(action) {
87   let actual = action();
88   if (!Number.isNaN(actual)) {
89     throw new Error("Wasm return value NaN expected, got " + actual);
90   };
91 }
92
93 let f32 = Math.fround;
94
95 $$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x1e\x07\x60\x00\x00\x60\x01\x7f\x00\x60\x01\x7d\x00\x60\x00\x01\x7f\x60\x00\x01\x7d\x60\x01\x7f\x01\x7f\x60\x01\x7e\x01\x7e\x03\x08\x07\x00\x01\x02\x03\x04\x05\x06\x04\x04\x01\x70\x00\x0a\x05\x03\x01\x00\x02\x06\x0e\x02\x7f\x00\x41\x37\x0b\x7d\x00\x43\x00\x00\x30\x42\x0b\x07\x8e\x01\x0b\x04\x66\x75\x6e\x63\x00\x00\x08\x66\x75\x6e\x63\x2d\x69\x33\x32\x00\x01\x08\x66\x75\x6e\x63\x2d\x66\x33\x32\x00\x02\x09\x66\x75\x6e\x63\x2d\x3e\x69\x33\x32\x00\x03\x09\x66\x75\x6e\x63\x2d\x3e\x66\x33\x32\x00\x04\x0d\x66\x75\x6e\x63\x2d\x69\x33\x32\x2d\x3e\x69\x33\x32\x00\x05\x0d\x66\x75\x6e\x63\x2d\x69\x36\x34\x2d\x3e\x69\x36\x34\x00\x06\x0a\x67\x6c\x6f\x62\x61\x6c\x2d\x69\x33\x32\x03\x00\x0a\x67\x6c\x6f\x62\x61\x6c\x2d\x66\x33\x32\x03\x01\x0c\x74\x61\x62\x6c\x65\x2d\x31\x30\x2d\x69\x6e\x66\x01\x00\x0c\x6d\x65\x6d\x6f\x72\x79\x2d\x32\x2d\x69\x6e\x66\x02\x00\x0a\x21\x07\x02\x00\x0b\x02\x00\x0b\x02\x00\x0b\x04\x00\x41\x16\x0b\x07\x00\x43\x00\x00\x30\x41\x0b\x04\x00\x20\x00\x0b\x04\x00\x20\x00\x0b");
96 register("test", $$)
97 // FIXME re-exporting an import isn't implemented. https://bugs.webkit.org/show_bug.cgi?id=165510
98 //$$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x23\x08\x60\x01\x7f\x00\x60\x01\x7e\x00\x60\x01\x7d\x00\x60\x01\x7c\x00\x60\x02\x7f\x7d\x00\x60\x02\x7c\x7c\x00\x60\x01\x7e\x01\x7e\x60\x00\x00\x02\xc0\x01\x0b\x08\x73\x70\x65\x63\x74\x65\x73\x74\x05\x70\x72\x69\x6e\x74\x00\x00\x08\x73\x70\x65\x63\x74\x65\x73\x74\x05\x70\x72\x69\x6e\x74\x00\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x05\x70\x72\x69\x6e\x74\x00\x00\x08\x73\x70\x65\x63\x74\x65\x73\x74\x05\x70\x72\x69\x6e\x74\x00\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x05\x70\x72\x69\x6e\x74\x00\x02\x08\x73\x70\x65\x63\x74\x65\x73\x74\x05\x70\x72\x69\x6e\x74\x00\x03\x08\x73\x70\x65\x63\x74\x65\x73\x74\x05\x70\x72\x69\x6e\x74\x00\x04\x08\x73\x70\x65\x63\x74\x65\x73\x74\x05\x70\x72\x69\x6e\x74\x00\x05\x08\x73\x70\x65\x63\x74\x65\x73\x74\x05\x70\x72\x69\x6e\x74\x00\x00\x08\x73\x70\x65\x63\x74\x65\x73\x74\x05\x70\x72\x69\x6e\x74\x00\x03\x04\x74\x65\x73\x74\x0d\x66\x75\x6e\x63\x2d\x69\x36\x34\x2d\x3e\x69\x36\x34\x00\x06\x03\x04\x03\x00\x01\x07\x04\x05\x01\x70\x01\x02\x02\x07\x20\x03\x07\x70\x72\x69\x6e\x74\x33\x32\x00\x0b\x07\x70\x72\x69\x6e\x74\x36\x34\x00\x0c\x08\x61\x73\x73\x65\x72\x74\x5f\x30\x00\x0d\x09\x08\x01\x00\x41\x00\x0b\x02\x02\x05\x0a\x70\x03\x2c\x01\x01\x7d\x20\x00\xb2\x21\x01\x20\x00\x10\x00\x20\x00\x41\x01\x6a\x43\x00\x00\x28\x42\x10\x06\x20\x00\x10\x02\x20\x00\x10\x08\x20\x01\x10\x04\x20\x00\x41\x00\x11\x00\x00\x0b\x35\x01\x01\x7c\x20\x00\x10\x0a\xb9\x21\x01\x20\x00\x10\x01\x20\x01\x44\x00\x00\x00\x00\x00\x00\xf0\x3f\xa0\x44\x00\x00\x00\x00\x00\x80\x4a\x40\x10\x07\x20\x01\x10\x05\x20\x01\x10\x09\x20\x01\x41\x01\x11\x03\x00\x0b\x0b\x00\x02\x40\x42\x18\x10\x0c\x0f\x0b\x00\x0b");
99 //assert_return(() => $$.exports["print32"](13));
100 //assert_return(() => $$.exports["assert_0"]());
101 $$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x04\x01\x60\x00\x00\x02\x0d\x01\x04\x74\x65\x73\x74\x04\x66\x75\x6e\x63\x00\x00");
102 $$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x05\x01\x60\x01\x7f\x00\x02\x11\x01\x04\x74\x65\x73\x74\x08\x66\x75\x6e\x63\x2d\x69\x33\x32\x00\x00");
103 $$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x05\x01\x60\x01\x7d\x00\x02\x11\x01\x04\x74\x65\x73\x74\x08\x66\x75\x6e\x63\x2d\x66\x33\x32\x00\x00");
104 $$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x05\x01\x60\x00\x01\x7f\x02\x12\x01\x04\x74\x65\x73\x74\x09\x66\x75\x6e\x63\x2d\x3e\x69\x33\x32\x00\x00");
105 $$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x05\x01\x60\x00\x01\x7d\x02\x12\x01\x04\x74\x65\x73\x74\x09\x66\x75\x6e\x63\x2d\x3e\x66\x33\x32\x00\x00");
106 $$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x06\x01\x60\x01\x7f\x01\x7f\x02\x16\x01\x04\x74\x65\x73\x74\x0d\x66\x75\x6e\x63\x2d\x69\x33\x32\x2d\x3e\x69\x33\x32\x00\x00");
107 $$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x06\x01\x60\x01\x7e\x01\x7e\x02\x16\x01\x04\x74\x65\x73\x74\x0d\x66\x75\x6e\x63\x2d\x69\x36\x34\x2d\x3e\x69\x36\x34\x00\x00");
108 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x04\x01\x60\x00\x00\x02\x10\x01\x04\x74\x65\x73\x74\x07\x75\x6e\x6b\x6e\x6f\x77\x6e\x00\x00");
109 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x04\x01\x60\x00\x00\x02\x14\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x07\x75\x6e\x6b\x6e\x6f\x77\x6e\x00\x00");
110 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x05\x01\x60\x01\x7f\x00\x02\x0d\x01\x04\x74\x65\x73\x74\x04\x66\x75\x6e\x63\x00\x00");
111 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x05\x01\x60\x00\x01\x7f\x02\x0d\x01\x04\x74\x65\x73\x74\x04\x66\x75\x6e\x63\x00\x00");
112 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x06\x01\x60\x01\x7f\x01\x7f\x02\x0d\x01\x04\x74\x65\x73\x74\x04\x66\x75\x6e\x63\x00\x00");
113 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x04\x01\x60\x00\x00\x02\x11\x01\x04\x74\x65\x73\x74\x08\x66\x75\x6e\x63\x2d\x69\x33\x32\x00\x00");
114 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x05\x01\x60\x00\x01\x7f\x02\x11\x01\x04\x74\x65\x73\x74\x08\x66\x75\x6e\x63\x2d\x69\x33\x32\x00\x00");
115 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x05\x01\x60\x01\x7d\x00\x02\x11\x01\x04\x74\x65\x73\x74\x08\x66\x75\x6e\x63\x2d\x69\x33\x32\x00\x00");
116 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x05\x01\x60\x01\x7e\x00\x02\x11\x01\x04\x74\x65\x73\x74\x08\x66\x75\x6e\x63\x2d\x69\x33\x32\x00\x00");
117 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x06\x01\x60\x01\x7f\x01\x7f\x02\x11\x01\x04\x74\x65\x73\x74\x08\x66\x75\x6e\x63\x2d\x69\x33\x32\x00\x00");
118 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x04\x01\x60\x00\x00\x02\x12\x01\x04\x74\x65\x73\x74\x09\x66\x75\x6e\x63\x2d\x3e\x69\x33\x32\x00\x00");
119 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x05\x01\x60\x01\x7f\x00\x02\x12\x01\x04\x74\x65\x73\x74\x09\x66\x75\x6e\x63\x2d\x3e\x69\x33\x32\x00\x00");
120 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x05\x01\x60\x00\x01\x7d\x02\x12\x01\x04\x74\x65\x73\x74\x09\x66\x75\x6e\x63\x2d\x3e\x69\x33\x32\x00\x00");
121 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x05\x01\x60\x00\x01\x7e\x02\x12\x01\x04\x74\x65\x73\x74\x09\x66\x75\x6e\x63\x2d\x3e\x69\x33\x32\x00\x00");
122 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x06\x01\x60\x01\x7f\x01\x7f\x02\x12\x01\x04\x74\x65\x73\x74\x09\x66\x75\x6e\x63\x2d\x3e\x69\x33\x32\x00\x00");
123 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x04\x01\x60\x00\x00\x02\x16\x01\x04\x74\x65\x73\x74\x0d\x66\x75\x6e\x63\x2d\x69\x33\x32\x2d\x3e\x69\x33\x32\x00\x00");
124 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x05\x01\x60\x01\x7f\x00\x02\x16\x01\x04\x74\x65\x73\x74\x0d\x66\x75\x6e\x63\x2d\x69\x33\x32\x2d\x3e\x69\x33\x32\x00\x00");
125 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x05\x01\x60\x00\x01\x7f\x02\x16\x01\x04\x74\x65\x73\x74\x0d\x66\x75\x6e\x63\x2d\x69\x33\x32\x2d\x3e\x69\x33\x32\x00\x00");
126 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x05\x01\x60\x00\x01\x7f\x02\x13\x01\x04\x74\x65\x73\x74\x0a\x67\x6c\x6f\x62\x61\x6c\x2d\x69\x33\x32\x00\x00");
127 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x04\x01\x60\x00\x00\x02\x15\x01\x04\x74\x65\x73\x74\x0c\x74\x61\x62\x6c\x65\x2d\x31\x30\x2d\x69\x6e\x66\x00\x00");
128 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x04\x01\x60\x00\x00\x02\x15\x01\x04\x74\x65\x73\x74\x0c\x6d\x65\x6d\x6f\x72\x79\x2d\x32\x2d\x69\x6e\x66\x00\x00");
129 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x04\x01\x60\x00\x00\x02\x13\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x06\x67\x6c\x6f\x62\x61\x6c\x00\x00");
130 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x04\x01\x60\x00\x00\x02\x12\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x05\x74\x61\x62\x6c\x65\x00\x00");
131 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x04\x01\x60\x00\x00\x02\x13\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x06\x6d\x65\x6d\x6f\x72\x79\x00\x00");
132 // FIXME i64 global was fixed in ToT spec repo. Update spec tests for newer version. https://bugs.webkit.org/show_bug.cgi?id=168784
133 //$$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x05\x01\x60\x00\x01\x7f\x02\x86\x01\x07\x08\x73\x70\x65\x63\x74\x65\x73\x74\x06\x67\x6c\x6f\x62\x61\x6c\x03\x7f\x00\x08\x73\x70\x65\x63\x74\x65\x73\x74\x06\x67\x6c\x6f\x62\x61\x6c\x03\x7f\x00\x08\x73\x70\x65\x63\x74\x65\x73\x74\x06\x67\x6c\x6f\x62\x61\x6c\x03\x7f\x00\x08\x73\x70\x65\x63\x74\x65\x73\x74\x06\x67\x6c\x6f\x62\x61\x6c\x03\x7f\x00\x08\x73\x70\x65\x63\x74\x65\x73\x74\x06\x67\x6c\x6f\x62\x61\x6c\x03\x7e\x00\x08\x73\x70\x65\x63\x74\x65\x73\x74\x06\x67\x6c\x6f\x62\x61\x6c\x03\x7d\x00\x08\x73\x70\x65\x63\x74\x65\x73\x74\x06\x67\x6c\x6f\x62\x61\x6c\x03\x7c\x00\x03\x05\x04\x00\x00\x00\x00\x07\x21\x04\x05\x67\x65\x74\x2d\x30\x00\x00\x05\x67\x65\x74\x2d\x31\x00\x01\x05\x67\x65\x74\x2d\x78\x00\x02\x05\x67\x65\x74\x2d\x79\x00\x03\x0a\x15\x04\x04\x00\x23\x00\x0b\x04\x00\x23\x01\x0b\x04\x00\x23\x02\x0b\x04\x00\x23\x03\x0b");
134 //assert_return(() => $$.exports["get-0"](), 666);
135 //assert_return(() => $$.exports["get-1"](), 666);
136 //assert_return(() => $$.exports["get-x"](), 666);
137 //assert_return(() => $$.exports["get-y"](), 666);
138 $$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x14\x01\x04\x74\x65\x73\x74\x0a\x67\x6c\x6f\x62\x61\x6c\x2d\x69\x33\x32\x03\x7f\x00");
139 $$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x14\x01\x04\x74\x65\x73\x74\x0a\x67\x6c\x6f\x62\x61\x6c\x2d\x66\x33\x32\x03\x7d\x00");
140 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x11\x01\x04\x74\x65\x73\x74\x07\x75\x6e\x6b\x6e\x6f\x77\x6e\x03\x7f\x00");
141 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x15\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x07\x75\x6e\x6b\x6e\x6f\x77\x6e\x03\x7f\x00");
142 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x0e\x01\x04\x74\x65\x73\x74\x04\x66\x75\x6e\x63\x03\x7f\x00");
143 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x16\x01\x04\x74\x65\x73\x74\x0c\x74\x61\x62\x6c\x65\x2d\x31\x30\x2d\x69\x6e\x66\x03\x7f\x00");
144 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x16\x01\x04\x74\x65\x73\x74\x0c\x6d\x65\x6d\x6f\x72\x79\x2d\x32\x2d\x69\x6e\x66\x03\x7f\x00");
145 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x13\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x05\x70\x72\x69\x6e\x74\x03\x7f\x00");
146 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x13\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x05\x74\x61\x62\x6c\x65\x03\x7f\x00");
147 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x14\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x06\x6d\x65\x6d\x6f\x72\x79\x03\x7f\x00");
148 $$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x0a\x02\x60\x00\x01\x7f\x60\x01\x7f\x01\x7f\x02\x15\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x05\x74\x61\x62\x6c\x65\x01\x70\x01\x0a\x14\x03\x04\x03\x01\x00\x00\x07\x08\x01\x04\x63\x61\x6c\x6c\x00\x00\x09\x08\x01\x00\x41\x01\x0b\x02\x01\x02\x0a\x13\x03\x07\x00\x20\x00\x11\x00\x00\x0b\x04\x00\x41\x0b\x0b\x04\x00\x41\x16\x0b");
149 assert_trap(() => $$.exports["call"](0));
150 assert_return(() => $$.exports["call"](1), 11);
151 assert_return(() => $$.exports["call"](2), 22);
152 assert_trap(() => $$.exports["call"](3));
153 assert_trap(() => $$.exports["call"](100));
154 $$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x0a\x02\x60\x00\x01\x7f\x60\x01\x7f\x01\x7f\x02\x15\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x05\x74\x61\x62\x6c\x65\x01\x70\x01\x0a\x14\x03\x04\x03\x01\x00\x00\x07\x08\x01\x04\x63\x61\x6c\x6c\x00\x00\x09\x08\x01\x00\x41\x01\x0b\x02\x01\x02\x0a\x13\x03\x07\x00\x20\x00\x11\x00\x00\x0b\x04\x00\x41\x0b\x0b\x04\x00\x41\x16\x0b");
155 assert_trap(() => $$.exports["call"](0));
156 assert_return(() => $$.exports["call"](1), 11);
157 assert_return(() => $$.exports["call"](2), 22);
158 assert_trap(() => $$.exports["call"](3));
159 assert_trap(() => $$.exports["call"](100));
160 assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x0d\x02\x00\x00\x01\x70\x00\x0a\x00\x00\x01\x70\x00\x0a");
161 assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x07\x01\x00\x00\x01\x70\x00\x0a\x04\x04\x01\x70\x00\x0a");
162 assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x04\x07\x02\x70\x00\x0a\x70\x00\x0a");
163 $$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x17\x01\x04\x74\x65\x73\x74\x0c\x74\x61\x62\x6c\x65\x2d\x31\x30\x2d\x69\x6e\x66\x01\x70\x00\x0a");
164 $$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x17\x01\x04\x74\x65\x73\x74\x0c\x74\x61\x62\x6c\x65\x2d\x31\x30\x2d\x69\x6e\x66\x01\x70\x00\x05");
165 $$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x17\x01\x04\x74\x65\x73\x74\x0c\x74\x61\x62\x6c\x65\x2d\x31\x30\x2d\x69\x6e\x66\x01\x70\x00\x00");
166 $$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x14\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x05\x74\x61\x62\x6c\x65\x01\x70\x00\x0a");
167 $$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x14\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x05\x74\x61\x62\x6c\x65\x01\x70\x00\x05");
168 $$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x14\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x05\x74\x61\x62\x6c\x65\x01\x70\x00\x00");
169 $$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x15\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x05\x74\x61\x62\x6c\x65\x01\x70\x01\x0a\x14");
170 $$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x15\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x05\x74\x61\x62\x6c\x65\x01\x70\x01\x05\x14");
171 $$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x15\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x05\x74\x61\x62\x6c\x65\x01\x70\x01\x00\x14");
172 $$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x15\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x05\x74\x61\x62\x6c\x65\x01\x70\x01\x0a\x19");
173 $$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x15\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x05\x74\x61\x62\x6c\x65\x01\x70\x01\x05\x19");
174 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x12\x01\x04\x74\x65\x73\x74\x07\x75\x6e\x6b\x6e\x6f\x77\x6e\x01\x70\x00\x0a");
175 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x16\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x07\x75\x6e\x6b\x6e\x6f\x77\x6e\x01\x70\x00\x0a");
176 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x17\x01\x04\x74\x65\x73\x74\x0c\x74\x61\x62\x6c\x65\x2d\x31\x30\x2d\x69\x6e\x66\x01\x70\x00\x0c");
177 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x18\x01\x04\x74\x65\x73\x74\x0c\x74\x61\x62\x6c\x65\x2d\x31\x30\x2d\x69\x6e\x66\x01\x70\x01\x0a\x14");
178 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x14\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x05\x74\x61\x62\x6c\x65\x01\x70\x00\x0c");
179 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x15\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x05\x74\x61\x62\x6c\x65\x01\x70\x01\x0a\x0f");
180 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x0f\x01\x04\x74\x65\x73\x74\x04\x66\x75\x6e\x63\x01\x70\x00\x0a");
181 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x15\x01\x04\x74\x65\x73\x74\x0a\x67\x6c\x6f\x62\x61\x6c\x2d\x69\x33\x32\x01\x70\x00\x0a");
182 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x17\x01\x04\x74\x65\x73\x74\x0c\x6d\x65\x6d\x6f\x72\x79\x2d\x32\x2d\x69\x6e\x66\x01\x70\x00\x0a");
183 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x14\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x05\x70\x72\x69\x6e\x74\x01\x70\x00\x0a");
184 $$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x06\x01\x60\x01\x7f\x01\x7f\x02\x15\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x06\x6d\x65\x6d\x6f\x72\x79\x02\x01\x01\x02\x03\x02\x01\x00\x07\x08\x01\x04\x6c\x6f\x61\x64\x00\x00\x0a\x09\x01\x07\x00\x20\x00\x28\x02\x00\x0b\x0b\x07\x01\x00\x41\x0a\x0b\x01\x10");
185 assert_return(() => $$.exports["load"](0), 0);
186 assert_return(() => $$.exports["load"](10), 16);
187 assert_return(() => $$.exports["load"](8), 1048576);
188 assert_trap(() => $$.exports["load"](1000000));
189 $$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x06\x01\x60\x01\x7f\x01\x7f\x02\x15\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x06\x6d\x65\x6d\x6f\x72\x79\x02\x01\x01\x02\x03\x02\x01\x00\x07\x08\x01\x04\x6c\x6f\x61\x64\x00\x00\x0a\x09\x01\x07\x00\x20\x00\x28\x02\x00\x0b\x0b\x07\x01\x00\x41\x0a\x0b\x01\x10");
190 assert_return(() => $$.exports["load"](0), 0);
191 assert_return(() => $$.exports["load"](10), 16);
192 assert_return(() => $$.exports["load"](8), 1048576);
193 assert_trap(() => $$.exports["load"](1000000));
194 assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x0b\x02\x00\x00\x02\x00\x01\x00\x00\x02\x00\x01");
195 assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x06\x01\x00\x00\x02\x00\x01\x05\x03\x01\x00\x00");
196 assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x05\x05\x02\x00\x00\x00\x00");
197 $$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x16\x01\x04\x74\x65\x73\x74\x0c\x6d\x65\x6d\x6f\x72\x79\x2d\x32\x2d\x69\x6e\x66\x02\x00\x02");
198 $$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x16\x01\x04\x74\x65\x73\x74\x0c\x6d\x65\x6d\x6f\x72\x79\x2d\x32\x2d\x69\x6e\x66\x02\x00\x01");
199 $$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x16\x01\x04\x74\x65\x73\x74\x0c\x6d\x65\x6d\x6f\x72\x79\x2d\x32\x2d\x69\x6e\x66\x02\x00\x00");
200 $$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x14\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x06\x6d\x65\x6d\x6f\x72\x79\x02\x00\x01");
201 $$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x14\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x06\x6d\x65\x6d\x6f\x72\x79\x02\x00\x00");
202 $$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x15\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x06\x6d\x65\x6d\x6f\x72\x79\x02\x01\x01\x02");
203 $$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x15\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x06\x6d\x65\x6d\x6f\x72\x79\x02\x01\x00\x02");
204 $$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x15\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x06\x6d\x65\x6d\x6f\x72\x79\x02\x01\x01\x03");
205 $$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x15\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x06\x6d\x65\x6d\x6f\x72\x79\x02\x01\x00\x03");
206 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x11\x01\x04\x74\x65\x73\x74\x07\x75\x6e\x6b\x6e\x6f\x77\x6e\x02\x00\x01");
207 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x15\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x07\x75\x6e\x6b\x6e\x6f\x77\x6e\x02\x00\x01");
208 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x16\x01\x04\x74\x65\x73\x74\x0c\x6d\x65\x6d\x6f\x72\x79\x2d\x32\x2d\x69\x6e\x66\x02\x00\x03");
209 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x17\x01\x04\x74\x65\x73\x74\x0c\x6d\x65\x6d\x6f\x72\x79\x2d\x32\x2d\x69\x6e\x66\x02\x01\x02\x03");
210 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x14\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x06\x6d\x65\x6d\x6f\x72\x79\x02\x00\x02");
211 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x15\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x06\x6d\x65\x6d\x6f\x72\x79\x02\x01\x01\x01");
212 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x12\x01\x04\x74\x65\x73\x74\x08\x66\x75\x6e\x63\x2d\x69\x33\x32\x02\x00\x01");
213 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x14\x01\x04\x74\x65\x73\x74\x0a\x67\x6c\x6f\x62\x61\x6c\x2d\x69\x33\x32\x02\x00\x01");
214 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x16\x01\x04\x74\x65\x73\x74\x0c\x74\x61\x62\x6c\x65\x2d\x31\x30\x2d\x69\x6e\x66\x02\x00\x01");
215 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x13\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x05\x70\x72\x69\x6e\x74\x02\x00\x01");
216 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x14\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x06\x67\x6c\x6f\x62\x61\x6c\x02\x00\x01");
217 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x13\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x05\x74\x61\x62\x6c\x65\x02\x00\x01");
218 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x14\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x06\x6d\x65\x6d\x6f\x72\x79\x02\x00\x02");
219 assert_unlinkable("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x15\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x06\x6d\x65\x6d\x6f\x72\x79\x02\x01\x01\x01");
220 $$ = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x06\x01\x60\x01\x7f\x01\x7f\x02\x15\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x06\x6d\x65\x6d\x6f\x72\x79\x02\x01\x00\x03\x03\x02\x01\x00\x07\x08\x01\x04\x67\x72\x6f\x77\x00\x00\x0a\x08\x01\x06\x00\x20\x00\x40\x00\x0b");
221 assert_return(() => $$.exports["grow"](0), 1);
222 assert_return(() => $$.exports["grow"](1), 1);
223 assert_return(() => $$.exports["grow"](0), 2);
224 assert_return(() => $$.exports["grow"](1), -1);
225 assert_return(() => $$.exports["grow"](0), 2);