watr 1.1.1 → 1.2.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "watr",
-  "version": "1.1.1",
+  "version": "1.2.0",
   "description": "Ligth & fast WAT compiler",
   "main": "watr.js",
   "type": "module",

package/readme.md

@@ -1,4 +1,4 @@
-# watr
+# watr [![Test](https://github.com/audio-lab/watr/actions/workflows/test.js.yml/badge.svg)](https://github.com/audio-lab/watr/actions/workflows/test.js.yml)
 
 > Light & fast WAT compiler.
 
@@ -17,9 +17,9 @@ Performance (op/s) | 45000 | 2500 | 3100
 
   | Size (gzipped) | Performance (op/s)
 ---|---|---
-watr | 3.3 kb | 45,000
-wat-compiler | 6 kb | 2,500
-wabt | 300 kb | 3,100
+watr | 3.8 kb | 1900
+wat-compiler | 6 kb | 135
+wabt | 300 kb | 250
 
 ## Usage
 
@@ -62,8 +62,9 @@ double(108) // 216
 
 ## Limitations
 
-Ambiguous syntax is intentionally prohibited in favor of explicit lispy structure.<br>
-Each instruction has prefix signature with parenthesized immediates and arguments.
+Ambiguous syntax is prohibited in favor of explicit lispy structure.<br>
+Each instruction must have prefix signature with parenthesized immediates and arguments.<br>
+It may be supported, but discouraged.
 
 ```wast
 (func (result i32)
@@ -95,11 +96,16 @@ end
 )
 ```
 
-Numbers format limitation:
+```wast
+(f32.const 0x1.fffffep+127)  ;; ✘ floating HEX (not supported)
+```
+
+```wast
+(global.set $pc (;(i32.const <new-pc>);)) ✘ default arguments must be explicit
+```
 
-* Int64 input format `0x7fffffffffffffff` is not supported (at the moment), only Int32.
-* Floating HEX like `0x1.fffffep+127` format is not supported.
-* Numeric placeholders `122_000.11_3_54E0_2_3` are not supported.
+It may also miss some edge cases and nice error messages.
+For good REPL experience better use wabt.
 
 <!--
 Main goal is to get very fluent with wasm text.

package/watr.js

@@ -1,3 +1,106 @@
+// encoding ref: https://github.com/j-s-n/WebBS/blob/master/compiler/byteCode.js
+const uleb = (number, buffer=[]) => {
+  if (typeof number === 'string') number = parseInt(number.replaceAll('_',''));
+
+  let byte = number & 0b01111111;
+  number = number >>> 7;
+
+  if (number === 0) {
+    buffer.push(byte);
+    return buffer;
+  } else {
+    buffer.push(byte | 0b10000000);
+    return uleb(number, buffer);
+  }
+};
+
+function leb (n, buffer=[]) {
+  if (typeof n === 'string') n = parseInt(n.replaceAll('_',''));
+
+  while (true) {
+    const byte = Number(n & 0x7F);
+    n >>= 7;
+    if ((n === 0 && (byte & 0x40) === 0) || (n === -1 && (byte & 0x40) !== 0)) {
+      buffer.push(byte);
+      break
+    }
+    buffer.push((byte | 0x80));
+  }
+  return buffer
+}
+
+function bigleb(n, buffer=[]) {
+  if (typeof n === 'string') {
+    n = n.replaceAll('_','');
+    n = n[0]==='-'?-BigInt(n.slice(1)):BigInt(n);
+    byteView.setBigInt64(0, n);
+    n = byteView.getBigInt64(0);
+  }
+
+  while (true) {
+    const byte = Number(n & 0x7Fn);
+    n >>= 7n;
+    if ((n === 0n && (byte & 0x40) === 0) || (n === -1n && (byte & 0x40) !== 0)) {
+      buffer.push(byte);
+      break
+    }
+    buffer.push((byte | 0x80));
+  }
+  return buffer
+}
+
+// generalized float cases parser
+const flt = input => input==='nan'||input==='+nan'?NaN:input==='-nan'?-NaN:
+    input==='inf'||input==='+inf'?Infinity:input==='-inf'?-Infinity:parseFloat(input.replaceAll('_',''));
+
+const byteView = new DataView(new BigInt64Array(1).buffer);
+
+const F32_SIGN = 0x80000000, F32_NAN  = 0x7f800000;
+function f32 (input, value, idx) {
+  if (~(idx=input.indexOf('nan:'))) {
+    value = parseInt(input.slice(idx+4));
+    value |= F32_NAN;
+    if (input[0] === '-') value |= F32_SIGN;
+    byteView.setInt32(0, value);
+  }
+  else {
+    value=typeof input === 'string' ? flt(input) : input;
+    byteView.setFloat32(0, value);
+  }
+
+  return [
+    byteView.getUint8(3),
+    byteView.getUint8(2),
+    byteView.getUint8(1),
+    byteView.getUint8(0)
+  ];
+}
+
+const F64_SIGN = 0x8000000000000000n, F64_NAN  = 0x7ff0000000000000n;
+function f64 (input, value, idx) {
+  if (~(idx=input.indexOf('nan:'))) {
+    value = BigInt(input.slice(idx+4));
+    value |= F64_NAN;
+    if (input[0] === '-') value |= F64_SIGN;
+    byteView.setBigInt64(0, value);
+  }
+  else {
+    value=typeof input === 'string' ? flt(input) : input;
+    byteView.setFloat64(0, value);
+  }
+
+  return [
+    byteView.getUint8(7),
+    byteView.getUint8(6),
+    byteView.getUint8(5),
+    byteView.getUint8(4),
+    byteView.getUint8(3),
+    byteView.getUint8(2),
+    byteView.getUint8(1),
+    byteView.getUint8(0)
+  ];
+}
+
 // ref: https://github.com/stagas/wat-compiler/blob/main/lib/const.js
 // NOTE: squashing into a string doesn't save up gzipped size
 const OP = [
@@ -37,7 +140,11 @@ ALIGN = {
   'i64.store': 8, 'f32.store': 4, 'f64.store': 8,
   'i32.store8': 1, 'i32.store16': 2, 'i64.store8': 1, 'i64.store16': 2, 'i64.store32': 4,
 };
-OP.map((op,i)=>OP[op]=i); // init op names
+
+OP.map((op,i)=>OP[op]=i); // init op names
+
+// some inlinable instructions
+const INLINE = {loop: 1, block: 1, if: 1, end: -1, return: -1};
 
 // convert wat tree to wasm binary
 var compile = (nodes) => {
@@ -49,22 +156,44 @@ var compile = (nodes) => {
     0x01, 0x00, 0x00, 0x00, // version
   ];
 
+  // 1. transform tree
   // (func) → [(func)]
   if (typeof nodes[0] === 'string' && nodes[0] !== 'module') nodes = [nodes];
 
-  // build nodes in order of sections, to properly initialize indexes/aliases
-  // must come separate from binary builder: func can define types etc.
-  for (let name in sections) {
+  // (global $a (import "a" "b") (mut i32)) → (import "a" "b" (global $a (mut i32)))
+  // (memory (import "a" "b") min max shared) → (import "a" "b" (memory min max shared))
+  nodes = nodes.map(node => {
+    if (node[2]?.[0]==='import') {
+      let [kind, name, imp, ...args] = node;
+      return [...imp, [kind, name, ...args]]
+    }
+    else if (node[1]?.[0]==='import') {
+      let [kind, imp, ...args] = node;
+      return [...imp, [kind, ...args]]
+    }
+    return node
+  });
+
+  // 2. build IR. import must be initialized first, global before func, elem after func
+  let order = ['type', 'import', 'table', 'memory', 'global', 'func', 'export', 'start', 'elem', 'data'], postcall = [];
+
+  for (let name of order) {
     let remaining = [];
-    for (let node of nodes) node[0] === name ? build[name](node, sections) : remaining.push(node);
+    for (let node of nodes) {
+      node[0] === name ? postcall.push(build[name](node, sections)) : remaining.push(node);
+    }
+
     nodes = remaining;
   }
 
-  // console.log(sections)
-  // build binary sections
+  // code must be compiled after all definitions
+  for (let cb of postcall) cb && cb.call && cb();
+
+
+  // 3. build binary
   for (let name in sections) {
     let items=sections[name];
-    if (items.importc) items = items.slice(items.importc); // discard imported functions
+    if (items.importc) items = items.slice(items.importc); // discard imported functions/globals
     if (!items.length) continue
     let sectionCode = SECTION[name], bytes = [];
     if (sectionCode!==8) bytes.push(items.length); // skip start section count
@@ -108,15 +237,14 @@ const build = {
 
   // (func $name? ...params result ...body)
   func([,...body], ctx) {
-    let idx=ctx.func.length, // fn index comes after impoted fns
-        locals=[], // list of local variables
+    let locals=[], // list of local variables
         callstack=[];
 
     // fn name
-    if (body[0]?.[0] === '$') ctx.func[body.shift()] = idx;
+    if (body[0]?.[0] === '$') ctx.func[body.shift()] = ctx.func.length;
 
     // export binding
-    if (body[0]?.[0] === 'export') build.export([...body.shift(), ['func', idx]], ctx);
+    if (body[0]?.[0] === 'export') build.export([...body.shift(), ['func', ctx.func.length]], ctx);
 
     // register type
     let [typeIdx, params, result] = build.type([,['func',...body]], ctx);
@@ -133,11 +261,13 @@ const build = {
       locals.push(...types.map(t => TYPE[t]));
     }
 
-    // map code instruction into bytes: [args, opCode, immediates]
-    const instr = ([op, ...nodes]) => {
-      if (op.length===1) err(`Inline instructions are not supported \`${op+nodes.join('')}\``);
+    // squash local types
+    let locTypes = locals.reduce((a, type) => (type==a[a.length-1] ? a[a.length-2]++ : a.push(1,type), a), []);
 
-      let opCode = OP[op], argc=0, args=[], imm=[], id;
+    // map code instruction into bytes: [args, opCode, immediates]
+    const instr = (group) => {
+      let [op, ...nodes] = group;
+      let opCode = OP[op], argc=0, before=[], after=[], id;
 
       // NOTE: we could reorganize ops by groups and detect signature as `op in STORE`
       // but numeric comparison is faster than generic hash lookup
@@ -159,28 +289,31 @@ const build = {
           // FIXME: figure out point in Math.log2 aligns
           let o = {align: ALIGN[op], offset: 0}, p;
           while (nodes[0]?.[0] in o) p = nodes.shift(), o[p[0]] = +p[1];
-          imm = [Math.log2(o.align), o.offset];
+          after = [Math.log2(o.align), ...uleb(o.offset)];
           argc = opCode >= 54 ? 2 : 1;
         }
 
         // (i32.const 123)
-        else if (opCode>=65&&opCode<=68) imm = opCode < 67 ? leb(nodes.shift()) : (opCode==67 ? f32 : f64)(nodes.shift());
+        else if (opCode>=65&&opCode<=68) {
+          after = (opCode==65?leb:opCode==66?bigleb:opCode==67?f32:f64)(nodes.shift());
+        }
 
         // (local.get $id), (local.tee $id x)
         else if (opCode>=32&&opCode<=34) {
-          imm = uleb(nodes[0]?.[0]==='$' ? params[id=nodes.shift()] || locals[id] : nodes.shift());
+          after = uleb(nodes[0]?.[0]==='$' ? params[id=nodes.shift()] || locals[id] : nodes.shift());
           if (opCode>32) argc = 1;
         }
 
         // (global.get id), (global.set id)
         else if (opCode==35||opCode==36) {
-          imm = uleb(nodes[0]?.[0]==='$' ? ctx.global[nodes.shift()] : nodes.shift());
+          after = uleb(nodes[0]?.[0]==='$' ? ctx.global[nodes.shift()] : nodes.shift());
           if (opCode>35) argc = 1;
         }
 
         // (call id ...nodes)
         else if (opCode==16) {
-          imm = uleb(id = nodes[0]?.[0]==='$' ? ctx.func[nodes.shift()] : nodes.shift());
+          let fnName = nodes.shift();
+          after = uleb(id = fnName[0]==='$' ? ctx.func[fnName] ?? err('Unknown function `' + fnName + '`') : fnName);
           // FIXME: how to get signature of imported function
           [,argc] = ctx.type[ctx.func[id][0]];
         }
@@ -190,12 +323,12 @@ const build = {
           let typeId = nodes.shift()[1];
           [,argc] = ctx.type[typeId = typeId[0]==='$'?ctx.type[typeId]:typeId];
           argc++;
-          imm = uleb(typeId), imm.push(0); // extra immediate indicates table idx (reserved)
+          after = uleb(typeId), after.push(0); // extra afterediate indicates table idx (reserved)
         }
 
         // FIXME (memory.grow $idx?)
         else if (opCode==63||opCode==64) {
-          imm = [0];
+          after = [0];
           argc = 1;
         }
 
@@ -203,23 +336,24 @@ const build = {
         else if (opCode==4) {
           callstack.push(opCode);
           let [,type] = nodes[0][0]==='result' ? nodes.shift() : [,'void'];
-          imm=[TYPE[type]];
-          argc = 0, args.push(...instr(nodes.shift()));
+          after=[TYPE[type]];
+
+          argc = 0, before.push(...instr(nodes.shift()));
           let body;
-          if (nodes[0][0]==='then') [,...body] = nodes.shift(); else body = nodes;
-          while (body.length) imm.push(...instr(body.shift()));
+          if (nodes[0]?.[0]==='then') [,...body] = nodes.shift(); else body = nodes;
+          after.push(...consume(body));
 
           callstack.pop(), callstack.push(OP.else);
           if (nodes[0]?.[0]==='else') {
             [,...body] = nodes.shift();
-            imm.push(OP.else, ...body.flatMap(instr));
+            if (body.length) after.push(OP.else,...consume(body));
           }
           callstack.pop();
-          imm.push(OP.end);
+          after.push(OP.end);
         }
 
-        // (drop arg), (return arg), (end arg)
-        else if (opCode==0x1a || opCode==0x0f || opCode==0x0b) { argc = 1; }
+        // (drop arg?), (return arg?)
+        else if (opCode==0x1a || opCode==0x0f) { argc = nodes.length?1:0; }
 
         // (select a b cond)
         else if (opCode==0x1b) { argc = 3; }
@@ -229,25 +363,27 @@ const build = {
           callstack.push(opCode);
           if (nodes[0]?.[0]==='$') (callstack[nodes.shift()] = callstack.length);
           let [,type] = nodes[0]?.[0]==='result' ? nodes.shift() : [,'void'];
-          imm=[TYPE[type]];
-          while (nodes.length) imm.push(...instr(nodes.shift()));
-          imm.push(OP.end);
-          callstack.pop();
+          after=[TYPE[type], ...consume(nodes)];
+
+          if (!group.inline) callstack.pop(), after.push(OP.end); // inline loop/block expects end to be separately provided
         }
 
+        // (end)
+        else if (opCode==0x0b) callstack.pop();
+
         // (br $label result?)
         // (br_if $label cond result?)
         else if (opCode==0x0c||opCode==0x0d) {
           // br index indicates how many callstack items to pop
-          imm = uleb(nodes[0]?.[0]==='$' ? callstack.length-callstack[nodes.shift()] : nodes.shift());
+          after = uleb(nodes[0]?.[0]==='$' ? callstack.length-callstack[nodes.shift()] : nodes.shift());
           argc = (opCode==0x0d ? 1 + (nodes.length > 1) : !!nodes.length);
         }
 
         // (br_table 1 2 3 4  0  selector result?)
         else if (opCode==0x0e) {
-          imm = [];
-          while (!Array.isArray(nodes[0])) id=nodes.shift(), imm.push(...uleb(id[0][0]==='$'?callstack.length-callstack[id]:id));
-          imm.unshift(...uleb(imm.length-1));
+          after = [];
+          while (!Array.isArray(nodes[0])) id=nodes.shift(), after.push(...uleb(id[0][0]==='$'?callstack.length-callstack[id]:id));
+          after.unshift(...uleb(after.length-1));
           argc = 1 + (nodes.length>1);
         }
 
@@ -256,44 +392,55 @@ const build = {
 
       // consume arguments
       if (nodes.length < argc) err(`Stack arguments are not supported at \`${op}\``);
-      while (argc--) args.push(...instr(nodes.shift()));
+      while (argc--) before.push(...instr(nodes.shift()));
       if (nodes.length) err(`Too many arguments for \`${op}\`.`);
 
-      return [...args, opCode, ...imm]
+      return [...before, opCode, ...after]
     };
 
-    let code = body.flatMap(instr);
+    // consume sequence of nodes
+    const consume = nodes => {
+      let result = [];
+      while (nodes.length) {
+        let node = nodes.shift(), c;
+
+        if (typeof node === 'string') {
+          // permit some inline instructions: loop $label ... end,  br $label,  arg return
+          if (c=INLINE[node]) {
+            node = [node], node.inline = true;
+            if (c>0) nodes[0]?.[0]==='$' && node.push(nodes.shift());
+          }
+          else err(`Inline instruction \`${node}\` is not supported`);
+        }
 
-    // squash local types
-    let locTypes = locals.reduce((a, type) => (type==a[a.length-1] ? a[a.length-2]++ : a.push(1,type), a), []);
+        node && result.push(...instr(node));
+      }
+      return result
+    };
 
-    ctx.code.push([...uleb(code.length+2+locTypes.length), ...uleb(locTypes.length>>1), ...locTypes, ...code, OP.end]);
+    // evaluates after all definitions
+    return () => {
+      let code = consume(body);
+      ctx.code.push([...uleb(code.length+2+locTypes.length), ...uleb(locTypes.length>>1), ...locTypes, ...code, OP.end]);
+    }
   },
 
   // (memory min max shared)
   // (memory $name min max shared)
-  // (memory (import "js" "mem") min max shared)
+  // (memory (export "mem") 5)
   memory([, ...parts], ctx) {
     if (parts[0][0]==='$') ctx.memory[parts.shift()] = ctx.memory.length;
-    if (parts[0][0] === 'import') {
-      let [imp, ...limits] = parts;
-      // (import "js" "mem" (memory 1))
-      return build.import([...imp, ['memory', ...limits]], ctx)
-    }
-
+    if (parts[0][0] === 'export') build.export([...parts.shift(), ['memory', ctx.memory.length]], ctx);
     ctx.memory.push(range(parts));
   },
 
   // (global i32 (i32.const 42))
   // (global $id i32 (i32.const 42))
   // (global $id (mut i32) (i32.const 42))
-  // FIXME (global $g1 (import "js" "g1") (mut i32))  ;; import from js
   global([, ...args], ctx) {
     let name = args[0][0]==='$' && args.shift();
     if (name) ctx.global[name] = ctx.global.length;
-
-    let [type, init] = args, mut = type[0] === 'mut';
-
+    let [type, init] = args, mut = type[0] === 'mut' ? 1 : 0;
     ctx.global.push([TYPE[mut ? type[1] : type], mut, ...iinit(init)]);
   },
 
@@ -302,7 +449,6 @@ const build = {
   table([, ...args], ctx) {
     let name = args[0][0]==='$' && args.shift();
     if (name) ctx.table[name] = ctx.table.length;
-
     let lims = range(args);
     ctx.table.push([TYPE[args.pop()], ...lims]);
   },
@@ -322,30 +468,39 @@ const build = {
   // (import "math" "add" (func $add (param i32 i32 externref) (result i32)))
   // (import "js" "mem" (memory 1))
   // (import "js" "mem" (memory $name 1))
-  import([, mod, name, ref], ctx) {
-    // FIXME: forward here from particular nodes instead: definition for import is same, we should DRY import code
-    // build[ref[0]]([ref[0], ['import', mod, name], ...ref.slice(1)])
+  // (import "js" "v" (global $name (mut f64)))
+  import([, mod, field, ref], ctx) {
+    let details, [kind, ...parts] = ref,
+        name = parts[0]?.[0]==='$' && parts.shift();
 
-    let details, [kind, ...parts] = ref;
     if (kind==='func') {
       // we track imported funcs in func section to share namespace, and skip them on final build
-      if (parts[0]?.[0]==='$') ctx.func[parts.shift()] = ctx.func.length;
+      if (name) ctx.func[name] = ctx.func.length;
       let [typeIdx] = build.type([, ['func', ...parts]], ctx);
       ctx.func.push(details = uleb(typeIdx));
       ctx.func.importc = (ctx.func.importc||0)+1;
     }
     else if (kind==='memory') {
-      if (parts[0][0]==='$') ctx.memory[parts.shift()] = ctx.memory.length;
+      if (name) ctx.memory[name] = ctx.memory.length;
       details = range(parts);
     }
+    else if (kind==='global') {
+      // imported globals share namespace with internal globals - we skip them in final build
+      if (name) ctx.global[name] = ctx.global.length;
+      let [type] = parts, mut = type[0] === 'mut' ? 1 : 0;
+      details = [TYPE[mut ? type[1] : type], mut];
+      ctx.global.push(details);
+      ctx.global.importc = (ctx.global.importc||0)+1;
+    }
+    else throw Error('Unimplemented ' + kind)
 
-    ctx.import.push([...str(mod), ...str(name), KIND[kind], ...details]);
+    ctx.import.push([...str(mod), ...str(field), KIND[kind], ...details]);
   },
 
-  // (data (i32.const 0) "\2a")
-  data([, offset, init], ctx) {
+  // (data (i32.const 0) "\aa" "\bb"?)
+  data([, offset, ...inits], ctx) {
     // FIXME: first is mem index
-    ctx.data.push([0, ...iinit(offset,ctx), ...str(init)]);
+    ctx.data.push([0, ...iinit(offset,ctx), ...str(inits.map(i=>i[0]==='"'?i.slice(1,-1):i).join(''))]);
   },
 
   // (start $main)
@@ -356,15 +511,21 @@ const build = {
 
 // (i32.const 0) - instantiation time initializer
 const iinit = ([op, literal], ctx) => op[0]==='f' ?
-  [OP[op], ...(op=='f32'?f32:f64)(literal), OP.end] :
-  [OP[op], ...leb(literal[0] === '$' ? ctx.global[literal] : literal), OP.end];
+  [OP[op], ...(op[1]==='3'?f32:f64)(literal), OP.end] :
+  [OP[op], ...(op[1]==='3'?leb:bigleb)(literal[0] === '$' ? ctx.global[literal] : literal), OP.end];
+
+const escape = {n:10, r:13, t:9, v:1};
 
 // build string binary
 const str = str => {
   str = str[0]==='"' ? str.slice(1,-1) : str;
   let res = [], i = 0, c, BSLASH=92;
   // spec https://webassembly.github.io/spec/core/text/values.html#strings
-  for (;i < str.length;) c=str.charCodeAt(i++), res.push(...uleb(c===BSLASH ? parseInt(str.slice(i,i+=2), 16) : c));
+  for (;i < str.length;) {
+    c=str.charCodeAt(i++);
+    res.push(c===BSLASH ? escape[str[i++]] || parseInt(str.slice(i-1,++i), 16) : c);
+  }
+
   res.unshift(...uleb(res.length));
   return res
 };
@@ -372,105 +533,25 @@ const str = str => {
 // build range/limits sequence (non-consuming)
 const range = ([min, max, shared]) => isNaN(parseInt(max)) ? [0, ...uleb(min)] : [shared==='shared'?3:1, ...uleb(min), ...uleb(max)];
 
-
-// encoding ref: https://github.com/j-s-n/WebBS/blob/master/compiler/byteCode.js
-function leb (number, buffer) {
-  if (!buffer) buffer = [], number = parseInt(number);
-
-  let byte = number & 0b01111111;
-  let signBit = byte & 0b01000000;
-  number = number >> 7;
-
-  if ((number === 0 && signBit === 0) || (number === -1 && signBit !== 0)) {
-    buffer.push(byte);
-    return buffer;
-  } else {
-    buffer.push(byte | 0b10000000);
-    return leb(number, buffer);
-  }
-}
-
-const uleb = (number, buffer) => {
-  if (!buffer) buffer = [], number = parseInt(number);
-
-  let byte = number & 0b01111111;
-  number = number >>> 7;
-
-  if (number === 0) {
-    buffer.push(byte);
-    return buffer;
-  } else {
-    buffer.push(byte | 0b10000000);
-    return uleb(number, buffer);
-  }
-};
-
-const byteView = new DataView(new BigInt64Array(1).buffer);
-
-const F32_SIGN = 0x80000000, F32_NAN  = 0x7f800000;
-function f32 (input, value, idx) {
-  if (~(idx=input.indexOf('nan:'))) {
-    value = parseInt(input.slice(idx+4));
-    value |= F32_NAN;
-    if (input[0] === '-') value |= F32_SIGN;
-    byteView.setInt32(0, value);
-  }
-  else {
-    value=input==='nan'||input==='+nan'?NaN:input==='-nan'?-NaN:input==='inf'||input==='+inf'?Infinity:input==='-inf'?-Infinity:parseFloat(input);
-    byteView.setFloat32(0, value);
-  }
-
-  return [
-    byteView.getUint8(3),
-    byteView.getUint8(2),
-    byteView.getUint8(1),
-    byteView.getUint8(0)
-  ];
-}
-
-const F64_SIGN = 0x8000000000000000n, F64_NAN  = 0x7ff0000000000000n;
-function f64 (input, value, idx) {
-  if (~(idx=input.indexOf('nan:'))) {
-    value = BigInt(input.slice(idx+4));
-    value |= F64_NAN;
-    if (input[0] === '-') value |= F64_SIGN;
-    byteView.setBigInt64(0, value);
-  }
-  else {
-    value=input==='nan'||input==='+nan'?NaN:input==='-nan'?-NaN:input==='inf'||input==='+inf'?Infinity:input==='-inf'?-Infinity:parseFloat(input);
-    byteView.setFloat64(0, value);
-  }
-
-  return [
-    byteView.getUint8(7),
-    byteView.getUint8(6),
-    byteView.getUint8(5),
-    byteView.getUint8(4),
-    byteView.getUint8(3),
-    byteView.getUint8(2),
-    byteView.getUint8(1),
-    byteView.getUint8(0)
-  ];
-}
-
 const err = text => { throw Error(text) };
 
-const OPAREN=40, CPAREN=41, SPACE=32, SEMIC=59;
+const OPAREN=40, CPAREN=41, SPACE=32, DQUOTE=34, SEMIC=59;
 
 var parse = (str) => {
   let i = 0, level = [], buf='';
 
   const commit = () => buf && (
-    level.push(~buf.indexOf('=') ? buf.split('=') : buf),
+    level.push(buf[0]!=='"' && ~buf.indexOf('=') ? buf.split('=') : buf),
     buf = ''
   );
 
   const parseLevel = () => {
     for (let c, root; i < str.length; ) {
       c = str.charCodeAt(i);
-      if (c === OPAREN) {
+      if (c === DQUOTE) commit(), buf = str.slice(i++, i=str.indexOf('"', i)+1), commit();
+      else if (c === OPAREN) {
         if (str.charCodeAt(i+1) === SEMIC) i=str.indexOf(';)', i)+2; // (; ... ;)
-        else i++, (root=level).push(level=[]), parseLevel(), level=root;
+        else commit(), i++, (root=level).push(level=[]), parseLevel(), level=root;
       }
       else if (c === SEMIC) i=str.indexOf('\n', i)+1;  // ; ...
       else if (c <= SPACE) commit(), i++;

package/watr.min.js

@@ -1 +1 @@
-const e=["unreachable","nop","block","loop","if","else",,,,,,"end","br","br_if","br_table","return","call","call_indirect",,,,,,,,,"drop","select",,,,,"local.get","local.set","local.tee","global.get","global.set",,,,"i32.load","i64.load","f32.load","f64.load","i32.load8_s","i32.load8_u","i32.load16_s","i32.load16_u","i64.load8_s","i64.load8_u","i64.load16_s","i64.load16_u","i64.load32_s","i64.load32_u","i32.store","i64.store","f32.store","f64.store","i32.store8","i32.store16","i64.store8","i64.store16","i64.store32","memory.size","memory.grow","i32.const","i64.const","f32.const","f64.const","i32.eqz","i32.eq","i32.ne","i32.lt_s","i32.lt_u","i32.gt_s","i32.gt_u","i32.le_s","i32.le_u","i32.ge_s","i32.ge_u","i64.eqz","i64.eq","i64.ne","i64.lt_s","i64.lt_u","i64.gt_s","i64.gt_u","i64.le_s","i64.le_u","i64.ge_s","i64.ge_u","f32.eq","f32.ne","f32.lt","f32.gt","f32.le","f32.ge","f64.eq","f64.ne","f64.lt","f64.gt","f64.le","f64.ge","i32.clz","i32.ctz","i32.popcnt","i32.add","i32.sub","i32.mul","i32.div_s","i32.div_u","i32.rem_s","i32.rem_u","i32.and","i32.or","i32.xor","i32.shl","i32.shr_s","i32.shr_u","i32.rotl","i32.rotr","i64.clz","i64.ctz","i64.popcnt","i64.add","i64.sub","i64.mul","i64.div_s","i64.div_u","i64.rem_s","i64.rem_u","i64.and","i64.or","i64.xor","i64.shl","i64.shr_s","i64.shr_u","i64.rotl","i64.rotr","f32.abs","f32.neg","f32.ceil","f32.floor","f32.trunc","f32.nearest","f32.sqrt","f32.add","f32.sub","f32.mul","f32.div","f32.min","f32.max","f32.copysign","f64.abs","f64.neg","f64.ceil","f64.floor","f64.trunc","f64.nearest","f64.sqrt","f64.add","f64.sub","f64.mul","f64.div","f64.min","f64.max","f64.copysign","i32.wrap_i64","i32.trunc_f32_s","i32.trunc_f32_u","i32.trunc_f64_s","i32.trunc_f64_u","i64.extend_i32_s","i64.extend_i32_u","i64.trunc_f32_s","i64.trunc_f32_u","i64.trunc_f64_s","i64.trunc_f64_u","f32.convert_i32_s","f32.convert_i32_u","f32.convert_i64_s","f32.convert_i64_u","f32.demote_f64","f64.convert_i32_s","f64.convert_i32_u","f64.convert_i64_s","f64.convert_i64_u","f64.promote_f32","i32.reinterpret_f32","i64.reinterpret_f64","f32.reinterpret_i32","f64.reinterpret_i64"],t={type:1,import:2,func:3,table:4,memory:5,global:6,export:7,start:8,elem:9,code:10,data:11},i={i32:127,i64:126,f32:125,f64:124,void:64,func:96,funcref:112},n={func:0,table:1,memory:2,global:3},s={"i32.load":4,"i64.load":8,"f32.load":4,"f64.load":8,"i32.load8_s":1,"i32.load8_u":1,"i32.load16_s":2,"i32.load16_u":2,"i64.load8_s":1,"i64.load8_u":1,"i64.load16_s":2,"i64.load16_u":2,"i64.load32_s":4,"i64.load32_u":4,"i32.store":4,"i64.store":8,"f32.store":4,"f64.store":8,"i32.store8":1,"i32.store16":2,"i64.store8":1,"i64.store16":2,"i64.store32":4};e.map(((t,i)=>e[t]=i));var l=e=>{let i={type:[],import:[],func:[],table:[],memory:[],global:[],export:[],start:[],elem:[],code:[],data:[]},n=[0,97,115,109,1,0,0,0];"string"==typeof e[0]&&"module"!==e[0]&&(e=[e]);for(let t in i){let n=[];for(let s of e)s[0]===t?f[t](s,i):n.push(s);e=n}for(let e in i){let s=i[e];if(s.importc&&(s=s.slice(s.importc)),!s.length)continue;let l=t[e],f=[];8!==l&&f.push(s.length);for(let e of s)f.push(...e);n.push(l,...h(f.length),...f)}return new Uint8Array(n)};const f={type([,e,t],n){"$"!==e[0]&&(t=e,e=null);let s,l,f=[],r=[],[o,...u]=t;if("func"===o){for(;"param"===u[0]?.[0];){let[,...e]=u.shift();"$"===e[0]?.[0]&&(f[e.shift()]=f.length),f.push(...e.map((e=>i[e])))}"result"===u[0]?.[0]&&(r=u.shift().slice(1).map((e=>i[e]))),l=[i.func,...h(f.length),...f,...h(r.length),...r],s=n.type.findIndex((e=>e.every(((e,t)=>e===l[t])))),s<0&&(s=n.type.push(l)-1)}return e&&(n.type[e]=s),[s,f,r]},func([,...t],n){let l=n.func.length,r=[],o=[];"$"===t[0]?.[0]&&(n.func[t.shift()]=l),"export"===t[0]?.[0]&&f.export([...t.shift(),["func",l]],n);let[u,p,_]=f.type([,["func",...t]],n);for(;"param"===t[0]?.[0]||"result"===t[0]?.[0];)t.shift();for(n.func.push([u]);"local"===t[0]?.[0];){let e,[,...n]=t.shift();"$"===n[0][0]&&(p[e=n.shift()]?m("Ambiguous name "+e):r[e]=p.length+r.length),r.push(...n.map((e=>i[e])))}const g=([t,...l])=>{1===t.length&&m(`Inline instructions are not supported \`${t+l.join("")}\``);let f,u=e[t],_=0,y=[],b=[];if(u>=69)_=u>=167||u<=159&&u>=153||u<=145&&u>=139||u<=123&&u>=121||u<=105&&u>=103||80==u||69==u?1:2;else if(u>=40&&u<=62){let e,i={align:s[t],offset:0};for(;l[0]?.[0]in i;)e=l.shift(),i[e[0]]=+e[1];b=[Math.log2(i.align),i.offset],_=u>=54?2:1}else if(u>=65&&u<=68)b=u<67?a(l.shift()):(67==u?c:d)(l.shift());else if(u>=32&&u<=34)b=h("$"===l[0]?.[0]?p[f=l.shift()]||r[f]:l.shift()),u>32&&(_=1);else if(35==u||36==u)b=h("$"===l[0]?.[0]?n.global[l.shift()]:l.shift()),u>35&&(_=1);else if(16==u)b=h(f="$"===l[0]?.[0]?n.func[l.shift()]:l.shift()),[,_]=n.type[n.func[f][0]];else if(17==u){let e=l.shift()[1];[,_]=n.type[e="$"===e[0]?n.type[e]:e],_++,b=h(e),b.push(0)}else if(63==u||64==u)b=[0],_=1;else if(4==u){o.push(u);let t,[,n]="result"===l[0][0]?l.shift():[,"void"];for(b=[i[n]],_=0,y.push(...g(l.shift())),"then"===l[0][0]?[,...t]=l.shift():t=l;t.length;)b.push(...g(t.shift()));o.pop(),o.push(e.else),"else"===l[0]?.[0]&&([,...t]=l.shift(),b.push(e.else,...t.flatMap(g))),o.pop(),b.push(e.end)}else if(26==u||15==u||11==u)_=1;else if(27==u)_=3;else if(2==u||3==u){o.push(u),"$"===l[0]?.[0]&&(o[l.shift()]=o.length);let[,t]="result"===l[0]?.[0]?l.shift():[,"void"];for(b=[i[t]];l.length;)b.push(...g(l.shift()));b.push(e.end),o.pop()}else if(12==u||13==u)b=h("$"===l[0]?.[0]?o.length-o[l.shift()]:l.shift()),_=13==u?1+(l.length>1):!!l.length;else if(14==u){for(b=[];!Array.isArray(l[0]);)f=l.shift(),b.push(...h("$"===f[0][0]?o.length-o[f]:f));b.unshift(...h(b.length-1)),_=1+(l.length>1)}else null==u&&m(`Unknown instruction \`${t}\``);for(l.length<_&&m(`Stack arguments are not supported at \`${t}\``);_--;)y.push(...g(l.shift()));return l.length&&m(`Too many arguments for \`${t}\`.`),[...y,u,...b]};let y=t.flatMap(g),b=r.reduce(((e,t)=>(t==e[e.length-1]?e[e.length-2]++:e.push(1,t),e)),[]);n.code.push([...h(y.length+2+b.length),...h(b.length>>1),...b,...y,e.end])},memory([,...e],t){if("$"===e[0][0]&&(t.memory[e.shift()]=t.memory.length),"import"===e[0][0]){let[i,...n]=e;return f.import([...i,["memory",...n]],t)}t.memory.push(u(e))},global([,...e],t){let n="$"===e[0][0]&&e.shift();n&&(t.global[n]=t.global.length);let[s,l]=e,f="mut"===s[0];t.global.push([i[f?s[1]:s],f,...r(l)])},table([,...e],t){let n="$"===e[0][0]&&e.shift();n&&(t.table[n]=t.table.length);let s=u(e);t.table.push([i[e.pop()],...s])},elem([,e,...t],i){i.elem.push([0,...r(e,i),...h(t.length),...t.flatMap((e=>h("$"===e[0]?i.func[e]:e)))])},export([,e,[t,i]],s){"$"===i[0]&&(i=s[t][i]),s.export.push([...o(e),n[t],...h(i)])},import([,e,t,i],s){let l,[r,...a]=i;if("func"===r){"$"===a[0]?.[0]&&(s.func[a.shift()]=s.func.length);let[e]=f.type([,["func",...a]],s);s.func.push(l=h(e)),s.func.importc=(s.func.importc||0)+1}else"memory"===r&&("$"===a[0][0]&&(s.memory[a.shift()]=s.memory.length),l=u(a));s.import.push([...o(e),...o(t),n[r],...l])},data([,e,t],i){i.data.push([0,...r(e,i),...o(t)])},start([,e],t){t.start.length||t.start.push(["$"===e[0]?t.func[e]:e])}},r=([t,i],n)=>"f"===t[0]?[e[t],...("f32"==t?c:d)(i),e.end]:[e[t],...a("$"===i[0]?n.global[i]:i),e.end],o=e=>{e='"'===e[0]?e.slice(1,-1):e;let t,i=[],n=0;for(;n<e.length;)t=e.charCodeAt(n++),i.push(...h(92===t?parseInt(e.slice(n,n+=2),16):t));return i.unshift(...h(i.length)),i},u=([e,t,i])=>isNaN(parseInt(t))?[0,...h(e)]:["shared"===i?3:1,...h(e),...h(t)];function a(e,t){t||(t=[],e=parseInt(e));let i=127&e,n=64&i;return 0==(e>>=7)&&0===n||-1===e&&0!==n?(t.push(i),t):(t.push(128|i),a(e,t))}const h=(e,t)=>{t||(t=[],e=parseInt(e));let i=127&e;return 0==(e>>>=7)?(t.push(i),t):(t.push(128|i),h(e,t))},p=new DataView(new BigInt64Array(1).buffer);function c(e,t,i){return~(i=e.indexOf("nan:"))?(t=parseInt(e.slice(i+4)),t|=2139095040,"-"===e[0]&&(t|=2147483648),p.setInt32(0,t)):(t="nan"===e||"+nan"===e||"-nan"===e?NaN:"inf"===e||"+inf"===e?1/0:"-inf"===e?-1/0:parseFloat(e),p.setFloat32(0,t)),[p.getUint8(3),p.getUint8(2),p.getUint8(1),p.getUint8(0)]}const _=0x8000000000000000n,g=0x7ff0000000000000n;function d(e,t,i){return~(i=e.indexOf("nan:"))?(t=BigInt(e.slice(i+4)),t|=g,"-"===e[0]&&(t|=_),p.setBigInt64(0,t)):(t="nan"===e||"+nan"===e||"-nan"===e?NaN:"inf"===e||"+inf"===e?1/0:"-inf"===e?-1/0:parseFloat(e),p.setFloat64(0,t)),[p.getUint8(7),p.getUint8(6),p.getUint8(5),p.getUint8(4),p.getUint8(3),p.getUint8(2),p.getUint8(1),p.getUint8(0)]}const m=e=>{throw Error(e)};var y=e=>{let t=0,i=[],n="";const s=()=>n&&(i.push(~n.indexOf("=")?n.split("="):n),n=""),l=()=>{for(let f,r;t<e.length;)if(f=e.charCodeAt(t),40===f)59===e.charCodeAt(t+1)?t=e.indexOf(";)",t)+2:(t++,(r=i).push(i=[]),l(),i=r);else if(59===f)t=e.indexOf("\n",t)+1;else if(f<=32)s(),t++;else{if(41===f)return s(),t++;n+=e[t++]}s()};return l(),i.length>1?i:i[0]},b=e=>(e="string"==typeof e?y(e):e,l(e));export{l as compile,b as default,y as parse};
+const e=(t,i=[])=>{"string"==typeof t&&(t=parseInt(t.replaceAll("_","")));let l=127&t;return 0==(t>>>=7)?(i.push(l),i):(i.push(128|l),e(t,i))};function t(e,t=[]){for("string"==typeof e&&(e=parseInt(e.replaceAll("_","")));;){const i=Number(127&e);if(0==(e>>=7)&&0==(64&i)||-1===e&&0!=(64&i)){t.push(i);break}t.push(128|i)}return t}function i(e,t=[]){for("string"==typeof e&&(e="-"===(e=e.replaceAll("_",""))[0]?-BigInt(e.slice(1)):BigInt(e),n.setBigInt64(0,e),e=n.getBigInt64(0));;){const i=Number(0x7Fn&e);if(0n===(e>>=7n)&&0==(64&i)||-1n===e&&0!=(64&i)){t.push(i);break}t.push(128|i)}return t}const l=e=>"nan"===e||"+nan"===e||"-nan"===e?NaN:"inf"===e||"+inf"===e?1/0:"-inf"===e?-1/0:parseFloat(e.replaceAll("_","")),n=new DataView(new BigInt64Array(1).buffer);function s(e,t,i){return~(i=e.indexOf("nan:"))?(t=parseInt(e.slice(i+4)),t|=2139095040,"-"===e[0]&&(t|=2147483648),n.setInt32(0,t)):(t="string"==typeof e?l(e):e,n.setFloat32(0,t)),[n.getUint8(3),n.getUint8(2),n.getUint8(1),n.getUint8(0)]}const r=0x8000000000000000n,o=0x7ff0000000000000n;function f(e,t,i){return~(i=e.indexOf("nan:"))?(t=BigInt(e.slice(i+4)),t|=o,"-"===e[0]&&(t|=r),n.setBigInt64(0,t)):(t="string"==typeof e?l(e):e,n.setFloat64(0,t)),[n.getUint8(7),n.getUint8(6),n.getUint8(5),n.getUint8(4),n.getUint8(3),n.getUint8(2),n.getUint8(1),n.getUint8(0)]}const u=["unreachable","nop","block","loop","if","else",,,,,,"end","br","br_if","br_table","return","call","call_indirect",,,,,,,,,"drop","select",,,,,"local.get","local.set","local.tee","global.get","global.set",,,,"i32.load","i64.load","f32.load","f64.load","i32.load8_s","i32.load8_u","i32.load16_s","i32.load16_u","i64.load8_s","i64.load8_u","i64.load16_s","i64.load16_u","i64.load32_s","i64.load32_u","i32.store","i64.store","f32.store","f64.store","i32.store8","i32.store16","i64.store8","i64.store16","i64.store32","memory.size","memory.grow","i32.const","i64.const","f32.const","f64.const","i32.eqz","i32.eq","i32.ne","i32.lt_s","i32.lt_u","i32.gt_s","i32.gt_u","i32.le_s","i32.le_u","i32.ge_s","i32.ge_u","i64.eqz","i64.eq","i64.ne","i64.lt_s","i64.lt_u","i64.gt_s","i64.gt_u","i64.le_s","i64.le_u","i64.ge_s","i64.ge_u","f32.eq","f32.ne","f32.lt","f32.gt","f32.le","f32.ge","f64.eq","f64.ne","f64.lt","f64.gt","f64.le","f64.ge","i32.clz","i32.ctz","i32.popcnt","i32.add","i32.sub","i32.mul","i32.div_s","i32.div_u","i32.rem_s","i32.rem_u","i32.and","i32.or","i32.xor","i32.shl","i32.shr_s","i32.shr_u","i32.rotl","i32.rotr","i64.clz","i64.ctz","i64.popcnt","i64.add","i64.sub","i64.mul","i64.div_s","i64.div_u","i64.rem_s","i64.rem_u","i64.and","i64.or","i64.xor","i64.shl","i64.shr_s","i64.shr_u","i64.rotl","i64.rotr","f32.abs","f32.neg","f32.ceil","f32.floor","f32.trunc","f32.nearest","f32.sqrt","f32.add","f32.sub","f32.mul","f32.div","f32.min","f32.max","f32.copysign","f64.abs","f64.neg","f64.ceil","f64.floor","f64.trunc","f64.nearest","f64.sqrt","f64.add","f64.sub","f64.mul","f64.div","f64.min","f64.max","f64.copysign","i32.wrap_i64","i32.trunc_f32_s","i32.trunc_f32_u","i32.trunc_f64_s","i32.trunc_f64_u","i64.extend_i32_s","i64.extend_i32_u","i64.trunc_f32_s","i64.trunc_f32_u","i64.trunc_f64_s","i64.trunc_f64_u","f32.convert_i32_s","f32.convert_i32_u","f32.convert_i64_s","f32.convert_i64_u","f32.demote_f64","f64.convert_i32_s","f64.convert_i32_u","f64.convert_i64_s","f64.convert_i64_u","f64.promote_f32","i32.reinterpret_f32","i64.reinterpret_f64","f32.reinterpret_i32","f64.reinterpret_i64"],a={type:1,import:2,func:3,table:4,memory:5,global:6,export:7,start:8,elem:9,code:10,data:11},p={i32:127,i64:126,f32:125,f64:124,void:64,func:96,funcref:112},h={func:0,table:1,memory:2,global:3},c={"i32.load":4,"i64.load":8,"f32.load":4,"f64.load":8,"i32.load8_s":1,"i32.load8_u":1,"i32.load16_s":2,"i32.load16_u":2,"i64.load8_s":1,"i64.load8_u":1,"i64.load16_s":2,"i64.load16_u":2,"i64.load32_s":4,"i64.load32_u":4,"i32.store":4,"i64.store":8,"f32.store":4,"f64.store":8,"i32.store8":1,"i32.store16":2,"i64.store8":1,"i64.store16":2,"i64.store32":4};u.map(((e,t)=>u[e]=t));const g={loop:1,block:1,if:1,end:-1,return:-1};var _=t=>{let i={type:[],import:[],func:[],table:[],memory:[],global:[],export:[],start:[],elem:[],code:[],data:[]},l=[0,97,115,109,1,0,0,0];"string"==typeof t[0]&&"module"!==t[0]&&(t=[t]),t=t.map((e=>{if("import"===e[2]?.[0]){let[t,i,l,...n]=e;return[...l,[t,i,...n]]}if("import"===e[1]?.[0]){let[t,i,...l]=e;return[...i,[t,...l]]}return e}));let n=["type","import","table","memory","global","func","export","start","elem","data"],s=[];for(let e of n){let l=[];for(let n of t)n[0]===e?s.push(d[e](n,i)):l.push(n);t=l}for(let e of s)e&&e.call&&e();for(let t in i){let n=i[t];if(n.importc&&(n=n.slice(n.importc)),!n.length)continue;let s=a[t],r=[];8!==s&&r.push(n.length);for(let e of n)r.push(...e);l.push(s,...e(r.length),...r)}return new Uint8Array(l)};const d={type([,t,i],l){"$"!==t[0]&&(i=t,t=null);let n,s,r=[],o=[],[f,...u]=i;if("func"===f){for(;"param"===u[0]?.[0];){let[,...e]=u.shift();"$"===e[0]?.[0]&&(r[e.shift()]=r.length),r.push(...e.map((e=>p[e])))}"result"===u[0]?.[0]&&(o=u.shift().slice(1).map((e=>p[e]))),s=[p.func,...e(r.length),...r,...e(o.length),...o],n=l.type.findIndex((e=>e.every(((e,t)=>e===s[t])))),n<0&&(n=l.type.push(s)-1)}return t&&(l.type[t]=n),[n,r,o]},func([,...l],n){let r=[],o=[];"$"===l[0]?.[0]&&(n.func[l.shift()]=n.func.length),"export"===l[0]?.[0]&&d.export([...l.shift(),["func",n.func.length]],n);let[a,h,_]=d.type([,["func",...l]],n);for(;"param"===l[0]?.[0]||"result"===l[0]?.[0];)l.shift();for(n.func.push([a]);"local"===l[0]?.[0];){let e,[,...t]=l.shift();"$"===t[0][0]&&(h[e=t.shift()]?$("Ambiguous name "+e):r[e]=h.length+r.length),r.push(...t.map((e=>p[e])))}let m=r.reduce(((e,t)=>(t==e[e.length-1]?e[e.length-2]++:e.push(1,t),e)),[]);const b=l=>{let a,[g,..._]=l,d=u[g],m=0,x=[],v=[];if(d>=69)m=d>=167||d<=159&&d>=153||d<=145&&d>=139||d<=123&&d>=121||d<=105&&d>=103||80==d||69==d?1:2;else if(d>=40&&d<=62){let t,i={align:c[g],offset:0};for(;_[0]?.[0]in i;)t=_.shift(),i[t[0]]=+t[1];v=[Math.log2(i.align),...e(i.offset)],m=d>=54?2:1}else if(d>=65&&d<=68)v=(65==d?t:66==d?i:67==d?s:f)(_.shift());else if(d>=32&&d<=34)v=e("$"===_[0]?.[0]?h[a=_.shift()]||r[a]:_.shift()),d>32&&(m=1);else if(35==d||36==d)v=e("$"===_[0]?.[0]?n.global[_.shift()]:_.shift()),d>35&&(m=1);else if(16==d){let t=_.shift();v=e(a="$"===t[0]?n.func[t]??$("Unknown function `"+t+"`"):t),[,m]=n.type[n.func[a][0]]}else if(17==d){let t=_.shift()[1];[,m]=n.type[t="$"===t[0]?n.type[t]:t],m++,v=e(t),v.push(0)}else if(63==d||64==d)v=[0],m=1;else if(4==d){o.push(d);let e,[,t]="result"===_[0][0]?_.shift():[,"void"];v=[p[t]],m=0,x.push(...b(_.shift())),"then"===_[0]?.[0]?[,...e]=_.shift():e=_,v.push(...y(e)),o.pop(),o.push(u.else),"else"===_[0]?.[0]&&([,...e]=_.shift(),e.length&&v.push(u.else,...y(e))),o.pop(),v.push(u.end)}else if(26==d||15==d)m=_.length?1:0;else if(27==d)m=3;else if(2==d||3==d){o.push(d),"$"===_[0]?.[0]&&(o[_.shift()]=o.length);let[,e]="result"===_[0]?.[0]?_.shift():[,"void"];v=[p[e],...y(_)],l.inline||(o.pop(),v.push(u.end))}else if(11==d)o.pop();else if(12==d||13==d)v=e("$"===_[0]?.[0]?o.length-o[_.shift()]:_.shift()),m=13==d?1+(_.length>1):!!_.length;else if(14==d){for(v=[];!Array.isArray(_[0]);)a=_.shift(),v.push(...e("$"===a[0][0]?o.length-o[a]:a));v.unshift(...e(v.length-1)),m=1+(_.length>1)}else null==d&&$(`Unknown instruction \`${g}\``);for(_.length<m&&$(`Stack arguments are not supported at \`${g}\``);m--;)x.push(...b(_.shift()));return _.length&&$(`Too many arguments for \`${g}\`.`),[...x,d,...v]},y=e=>{let t=[];for(;e.length;){let i,l=e.shift();"string"==typeof l&&((i=g[l])?(l=[l],l.inline=!0,i>0&&"$"===e[0]?.[0]&&l.push(e.shift())):$(`Inline instruction \`${l}\` is not supported`)),l&&t.push(...b(l))}return t};return()=>{let t=y(l);n.code.push([...e(t.length+2+m.length),...e(m.length>>1),...m,...t,u.end])}},memory([,...e],t){"$"===e[0][0]&&(t.memory[e.shift()]=t.memory.length),"export"===e[0][0]&&d.export([...e.shift(),["memory",t.memory.length]],t),t.memory.push(x(e))},global([,...e],t){let i="$"===e[0][0]&&e.shift();i&&(t.global[i]=t.global.length);let[l,n]=e,s="mut"===l[0]?1:0;t.global.push([p[s?l[1]:l],s,...m(n)])},table([,...e],t){let i="$"===e[0][0]&&e.shift();i&&(t.table[i]=t.table.length);let l=x(e);t.table.push([p[e.pop()],...l])},elem([,t,...i],l){l.elem.push([0,...m(t,l),...e(i.length),...i.flatMap((t=>e("$"===t[0]?l.func[t]:t)))])},export([,t,[i,l]],n){"$"===l[0]&&(l=n[i][l]),n.export.push([...y(t),h[i],...e(l)])},import([,t,i,l],n){let s,[r,...o]=l,f="$"===o[0]?.[0]&&o.shift();if("func"===r){f&&(n.func[f]=n.func.length);let[t]=d.type([,["func",...o]],n);n.func.push(s=e(t)),n.func.importc=(n.func.importc||0)+1}else if("memory"===r)f&&(n.memory[f]=n.memory.length),s=x(o);else{if("global"!==r)throw Error("Unimplemented "+r);{f&&(n.global[f]=n.global.length);let[e]=o,t="mut"===e[0]?1:0;s=[p[t?e[1]:e],t],n.global.push(s),n.global.importc=(n.global.importc||0)+1}}n.import.push([...y(t),...y(i),h[r],...s])},data([,e,...t],i){i.data.push([0,...m(e,i),...y(t.map((e=>'"'===e[0]?e.slice(1,-1):e)).join(""))])},start([,e],t){t.start.length||t.start.push(["$"===e[0]?t.func[e]:e])}},m=([e,l],n)=>"f"===e[0]?[u[e],...("3"===e[1]?s:f)(l),u.end]:[u[e],...("3"===e[1]?t:i)("$"===l[0]?n.global[l]:l),u.end],b={n:10,r:13,t:9,v:1},y=t=>{t='"'===t[0]?t.slice(1,-1):t;let i,l=[],n=0;for(;n<t.length;)i=t.charCodeAt(n++),l.push(92===i?b[t[n++]]||parseInt(t.slice(n-1,++n),16):i);return l.unshift(...e(l.length)),l},x=([t,i,l])=>isNaN(parseInt(i))?[0,...e(t)]:["shared"===l?3:1,...e(t),...e(i)],$=e=>{throw Error(e)};var v=e=>{let t=0,i=[],l="";const n=()=>l&&(i.push('"'!==l[0]&&~l.indexOf("=")?l.split("="):l),l=""),s=()=>{for(let r,o;t<e.length;)if(r=e.charCodeAt(t),34===r)n(),l=e.slice(t++,t=e.indexOf('"',t)+1),n();else if(40===r)59===e.charCodeAt(t+1)?t=e.indexOf(";)",t)+2:(n(),t++,(o=i).push(i=[]),s(),i=o);else if(59===r)t=e.indexOf("\n",t)+1;else if(r<=32)n(),t++;else{if(41===r)return n(),t++;l+=e[t++]}n()};return s(),i.length>1?i:i[0]},U=e=>(e="string"==typeof e?v(e):e,_(e));export{_ as compile,U as default,v as parse};