@wasmgroundup/emit 0.2.3 → 0.2.5

package/dist/index.d.ts

@@ -20,6 +20,7 @@ declare function exportsec(exports: BytecodeFragment): BytecodeFragment;
 declare const funcidx: typeof u32;
 declare const exportdesc: {
     func(idx: number): BytecodeFragment;
+    global(idx: number): BytecodeFragment;
 };
 declare function module(sections: any): BytecodeFragment;
 declare const instr: {
@@ -31,6 +32,10 @@ declare const instr: {
         set: number;
         tee: number;
     };
+    global: {
+        get: number;
+        set: number;
+    };
     i32: {
         const: number;
         add: number;
@@ -60,10 +65,18 @@ declare const instr: {
 };
 declare function u32(v: number | bigint): number[];
 declare function i32(v: number | bigint): number[];
+declare function f64(v: number): number[];
 declare function locals(n: number, type: valtype): BytecodeFragment;
 declare function import_(mod: string, nm: string, d: BytecodeFragment): BytecodeFragment;
 declare function importsec(ims: BytecodeFragment): BytecodeFragment;
 declare const importdesc: {
     func(x: number): BytecodeFragment;
 };
-export { BytecodeFragment, code, codesec, export_, exportdesc, exportsec, func, funcidx, funcsec, functype, i32, import_, importdesc, importsec, instr, locals, module, name, section, typeidx, typesec, valtype, vec, };
+declare const mut: {
+    const: number;
+    var: number;
+};
+declare function globaltype(t: any, m: any): any[];
+declare function global(gt: any, e: any): any[];
+declare function globalsec(globs: any): (number | BytecodeFragment)[];
+export { BytecodeFragment, code, codesec, export_, exportdesc, exportsec, f64, func, funcidx, funcsec, functype, global, globalsec, globaltype, i32, import_, importdesc, importsec, instr, locals, module, mut, name, section, typeidx, typesec, valtype, vec, };

package/dist/index.js

@@ -1,6 +1,7 @@
 const SECTION_ID_TYPE = 1;
 const SECTION_ID_IMPORT = 2;
 const SECTION_ID_FUNCTION = 3;
+const SECTION_ID_GLOBAL = 6;
 const SECTION_ID_EXPORT = 7;
 const SECTION_ID_CODE = 10;
 const TYPE_FUNCTION = 0x60;
@@ -73,6 +74,9 @@ const exportdesc = {
     func(idx) {
         return [0x00, funcidx(idx)];
     },
+    global(idx) {
+        return [0x03, globalidx(idx)];
+    },
 };
 function module(sections) {
     return [magic(), version(), sections];
@@ -90,6 +94,10 @@ const instr = {
         set: 0x21,
         tee: 0x22,
     },
+    global: {
+        get: 0x23,
+        set: 0x24,
+    },
     i32: {
         const: 0x41,
         add: 0x6a,
@@ -136,7 +144,6 @@ function u32(v) {
     }
     return r;
 }
-///! START i32-v1 #priv #api #dedent
 function i32(v) {
     let val = BigInt(v);
     const r = [];
@@ -155,6 +162,11 @@ function i32(v) {
     }
     return r;
 }
+function f64(v) {
+    var buf = new ArrayBuffer(8);
+    new Float64Array(buf)[0] = v;
+    return Array.from(new Uint8Array(buf));
+}
 function locals(n, type) {
     return [u32(n), type];
 }
@@ -172,4 +184,21 @@ const importdesc = {
         return [0x00, funcidx(x)];
     },
 };
-export { code, codesec, export_, exportdesc, exportsec, func, funcidx, funcsec, functype, i32, import_, importdesc, importsec, instr, locals, module, name, section, typeidx, typesec, valtype, vec, };
+const globalidx = u32;
+const mut = {
+    const: 0x00,
+    var: 0x01,
+};
+// t:valtype  m:mut
+function globaltype(t, m) {
+    return [t, m];
+}
+// gt:globaltype  e:expr
+function global(gt, e) {
+    return [gt, e];
+}
+// glob*:vec(global)
+function globalsec(globs) {
+    return section(SECTION_ID_GLOBAL, vec(globs));
+}
+export { code, codesec, export_, exportdesc, exportsec, f64, func, funcidx, funcsec, functype, global, globalsec, globaltype, i32, import_, importdesc, importsec, instr, locals, module, mut, name, section, typeidx, typesec, valtype, vec, };

package/index.test.ts

@@ -7,20 +7,32 @@ import {
   export_,
   exportdesc,
   exportsec,
+  f64,
   func,
   funcidx,
   funcsec,
   functype,
+  global,
+  globalsec,
+  globaltype,
+  i32,
   import_,
   importdesc,
   importsec,
   instr,
   module,
+  mut,
   typeidx,
   typesec,
   valtype,
 } from "./index";
 
+const PI = 3.141592653589793115997963468544185161590576171875;
+
+function fragmentToUInt8Array(frag: BytecodeFragment): Uint8Array {
+  return Uint8Array.from((frag as any).flat(Infinity));
+}
+
 test("simple modules", async () => {
   const makeModule = (paramTypes, resultTypes, body) => {
     const mod = module([
@@ -29,7 +41,7 @@ test("simple modules", async () => {
       exportsec([export_("main", exportdesc.func(0))]),
       codesec([code(func([], body))]),
     ]);
-    return Uint8Array.from(mod.flat(Infinity));
+    return fragmentToUInt8Array(mod);
   };
   const runMain = async (bytes, args) => {
     const { instance } = await WebAssembly.instantiate(bytes);
@@ -73,7 +85,7 @@ test("imports", async () => {
         code(func([], [instr.local.get, 0, instr.call, funcidx(0), instr.end])),
       ]),
     ]);
-    return Uint8Array.from(mod.flat(Infinity));
+    return fragmentToUInt8Array(mod);
   };
 
   const { instance } = await WebAssembly.instantiate(makeModule(), {
@@ -87,3 +99,79 @@ test("imports", async () => {
   expect(instance.exports.main(1)).toBe(2);
   expect(instance.exports.main(2)).toBe(3);
 });
+
+test("f64", async () => {
+  const makeModule = () => {
+    const mod = module([
+      typesec([functype([], [valtype.f64])]),
+      funcsec([typeidx(0), typeidx(0), typeidx(0)]),
+      exportsec([
+        export_("pi", exportdesc.func(0)),
+        export_("nan", exportdesc.func(1)),
+        export_("one", exportdesc.func(2)),
+      ]),
+      codesec([
+        code(func([], [instr.f64.const, f64(PI), instr.end])),
+        code(func([], [instr.f64.const, f64(Number.NaN), instr.end])),
+        code(func([], [instr.f64.const, f64(1), instr.end])),
+      ]),
+    ]);
+    return fragmentToUInt8Array(mod);
+  };
+  const { instance } = await WebAssembly.instantiate(makeModule());
+  expect(instance.exports.pi()).toBe(PI);
+  expect(instance.exports.nan()).toBe(Number.NaN);
+  expect(instance.exports.one()).toBe(1);
+});
+
+test("globals", async () => {
+  const makeModule = () => {
+    const mod = module([
+      typesec([
+        functype([], [valtype.f64]), // pi
+        functype([], [valtype.i32]), // getVar
+        functype([], []), // incVar
+      ]),
+      funcsec([typeidx(0), typeidx(1), typeidx(2)]),
+      globalsec([
+        global(globaltype(valtype.f64, mut.const), [
+          instr.f64.const,
+          f64(PI),
+          instr.end,
+        ]),
+        global(globaltype(valtype.i32, mut.var), [
+          instr.i32.const,
+          i32(0),
+          instr.end,
+        ]),
+      ]),
+      exportsec([
+        export_("pi", exportdesc.func(0)),
+        export_("getVar", exportdesc.func(1)),
+        export_("incVar", exportdesc.func(2)),
+      ]),
+      codesec([
+        code(func([], [instr.global.get, 0, instr.end])), // pi
+        code(func([], [instr.global.get, 1, instr.end])), // getVar
+        code(
+          // prettier-ignore
+          func([], [
+              instr.global.get, 1,
+              instr.i32.const, 1,
+              instr.i32.add,
+              instr.global.set, 1,
+              instr.end,
+            ],
+          ),
+        ), // incVar
+      ]),
+    ]);
+    return fragmentToUInt8Array(mod);
+  };
+
+  const { exports } = (await WebAssembly.instantiate(makeModule())).instance;
+  expect(exports.pi()).toBe(PI);
+  expect(exports.getVar()).toBe(0);
+  exports.incVar();
+  expect(exports.getVar()).toBe(1);
+});

package/index.ts

@@ -1,6 +1,7 @@
 const SECTION_ID_TYPE = 1;
 const SECTION_ID_IMPORT = 2;
 const SECTION_ID_FUNCTION = 3;
+const SECTION_ID_GLOBAL = 6;
 const SECTION_ID_EXPORT = 7;
 const SECTION_ID_CODE = 10;
 
@@ -100,6 +101,9 @@ const exportdesc = {
   func(idx: number): BytecodeFragment {
     return [0x00, funcidx(idx)];
   },
+  global(idx: number): BytecodeFragment {
+    return [0x03, globalidx(idx)];
+  },
 };
 
 function module(sections): BytecodeFragment {
@@ -120,6 +124,11 @@ const instr = {
     set: 0x21,
     tee: 0x22,
   },
+  global: {
+    get: 0x23,
+    set: 0x24,
+  },
+
   i32: {
     const: 0x41,
     add: 0x6a,
@@ -169,7 +178,6 @@ function u32(v: number | bigint): number[] {
   return r;
 }
 
-///! START i32-v1 #priv #api #dedent
 function i32(v: number | bigint): number[] {
   let val = BigInt(v);
   const r = [];
@@ -192,6 +200,12 @@ function i32(v: number | bigint): number[] {
   return r;
 }
 
+function f64(v: number): number[] {
+  var buf = new ArrayBuffer(8);
+  new Float64Array(buf)[0] = v;
+  return Array.from(new Uint8Array(buf));
+}
+
 function locals(n: number, type: valtype): BytecodeFragment {
   return [u32(n), type];
 }
@@ -217,6 +231,28 @@ const importdesc = {
   },
 };
 
+const globalidx = u32;
+
+const mut = {
+  const: 0x00,
+  var: 0x01,
+};
+
+// t:valtype  m:mut
+function globaltype(t, m) {
+  return [t, m];
+}
+
+// gt:globaltype  e:expr
+function global(gt, e) {
+  return [gt, e];
+}
+
+// glob*:vec(global)
+function globalsec(globs) {
+  return section(SECTION_ID_GLOBAL, vec(globs));
+}
+
 export {
   BytecodeFragment,
   code,
@@ -224,10 +260,14 @@ export {
   export_,
   exportdesc,
   exportsec,
+  f64,
   func,
   funcidx,
   funcsec,
   functype,
+  global,
+  globalsec,
+  globaltype,
   i32,
   import_,
   importdesc,
@@ -235,6 +275,7 @@ export {
   instr,
   locals,
   module,
+  mut,
   name,
   section,
   typeidx,

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@wasmgroundup/emit",
   "description": "A library for creating binary-encoded WebAssembly modules",
-  "version": "0.2.3",
+  "version": "0.2.5",
   "main": "dist/index.js",
   "types": "dist/index.d.ts",
   "repository": {