quickwin 2026.5.2-3.145209

package/test/test_wasm_import_global.js

@@ -0,0 +1,41 @@
+import { readWasmFile } from './test_helper.js';
+export const suite = {
+    name: 'wasm-import-global',
+    run: (t) => {
+        const giBuf = readWasmFile('./global_imports.wasm');
+        if (!giBuf) {
+            t.fail++;
+            return;
+        }
+        const giMod = new WebAssembly.Module(giBuf);
+        t.section('import globals');
+        var giInst;
+        try {
+            giInst = new WebAssembly.Instance(giMod, {
+                env: {
+                    offset: new WebAssembly.Global({ value: 'i32', mutable: false }, 42),
+                    factor: new WebAssembly.Global({ value: 'f64', mutable: false }, 3.14),
+                    log: function (x) { }
+                }
+            });
+        }
+        catch (e) {
+            t.fail++;
+            return;
+        }
+        t.check('get_offset()', 42, giInst.exports.get_offset());
+        t.check('compute(10)', 31.4, giInst.exports.compute(10));
+        t.check('run(8)', 50, giInst.exports.run(8));
+        t.section('second instance');
+        var giInst2 = new WebAssembly.Instance(giMod, {
+            env: {
+                offset: new WebAssembly.Global({ value: 'i32', mutable: false }, 100),
+                factor: new WebAssembly.Global({ value: 'f64', mutable: false }, 2.0),
+                log: function (x) { }
+            }
+        });
+        t.check('instance2 get_offset()', 100, giInst2.exports.get_offset());
+        t.check('instance2 compute(5)', 10, giInst2.exports.compute(5));
+        t.check('instance1 still get_offset()', 42, giInst.exports.get_offset());
+    }
+};

package/test/test_wasm_import_global.ts

@@ -0,0 +1,39 @@
+import { Tester, readWasmFile } from './test_helper.js'
+
+export const suite = {
+    name: 'wasm-import-global',
+    run: (t: Tester) => {
+        const giBuf = readWasmFile('./global_imports.wasm')
+        if (!giBuf) { t.fail++; return }
+        const giMod = new WebAssembly.Module(giBuf)
+
+        t.section('import globals')
+        var giInst: WebAssembly.Instance
+        try {
+            giInst = new WebAssembly.Instance(giMod, {
+                env: {
+                    offset: new WebAssembly.Global({ value: 'i32', mutable: false }, 42),
+                    factor: new WebAssembly.Global({ value: 'f64', mutable: false }, 3.14),
+                    log: function (x: number) { /* noop */ }
+                }
+            })
+        } catch (e) {
+            t.fail++; return
+        }
+        t.check('get_offset()', 42, giInst.exports.get_offset())
+        t.check('compute(10)', 31.4, giInst.exports.compute(10))
+        t.check('run(8)', 50, giInst.exports.run(8))
+
+        t.section('second instance')
+        var giInst2 = new WebAssembly.Instance(giMod, {
+            env: {
+                offset: new WebAssembly.Global({ value: 'i32', mutable: false }, 100),
+                factor: new WebAssembly.Global({ value: 'f64', mutable: false }, 2.0),
+                log: function (x: number) { /* noop */ }
+            }
+        })
+        t.check('instance2 get_offset()', 100, giInst2.exports.get_offset())
+        t.check('instance2 compute(5)', 10, giInst2.exports.compute(5))
+        t.check('instance1 still get_offset()', 42, giInst.exports.get_offset())
+    }
+}

package/test/test_wasm_sjlj.js

@@ -0,0 +1,153 @@
+import { readWasmFile } from './test_helper.js';
+class EmscriptenEH {
+}
+class EmscriptenSjLj extends EmscriptenEH {
+}
+export const suite = {
+    name: 'wasm-sjlj',
+    run: (t) => {
+        globalThis.EmscriptenEH = EmscriptenEH;
+        globalThis.EmscriptenSjLj = EmscriptenSjLj;
+        const buf = readWasmFile('./sjlj.wasm');
+        if (!buf) {
+            t.fail++;
+            return;
+        }
+        t.section('Module');
+        var mod = null;
+        try {
+            mod = new WebAssembly.Module(buf);
+            t.check('Module created', true, mod instanceof WebAssembly.Module);
+        }
+        catch (e) {
+            t.fail++;
+            return;
+        }
+        t.section('Instance with SjLj imports');
+        var inst = null;
+        var threwBit = 0;
+        var threwValue = 0;
+        function getWasmTableEntry(index) {
+            const table = inst.exports['__indirect_function_table'];
+            const fn = table.get(index);
+            return fn;
+        }
+        function _setThrew(val, v) {
+            if (threwBit === 0) {
+                threwValue = v;
+                threwBit = val;
+            }
+        }
+        function invoke_ii(index, a1) {
+            try {
+                return getWasmTableEntry(index)(a1);
+            }
+            catch (e) {
+                if (!(e instanceof EmscriptenEH))
+                    throw e;
+                _setThrew(1, 0);
+                return 0;
+            }
+        }
+        try {
+            inst = new WebAssembly.Instance(mod, {
+                env: {
+                    throw_longjmp: () => { throw new EmscriptenSjLj; },
+                    invoke_ii: invoke_ii,
+                }
+            });
+            t.check('Instance created', true, inst instanceof WebAssembly.Instance);
+        }
+        catch (e) {
+            t.fail++;
+            return;
+        }
+        t.section('identity (no throw)');
+        try {
+            threwBit = 0;
+            threwValue = 0;
+            const result = inst.exports.identity(42);
+            t.check('identity(42) = 42', 42, result);
+        }
+        catch (e) {
+            t.fail++;
+        }
+        t.section('invoke_ii with no-throw function');
+        try {
+            threwBit = 0;
+            threwValue = 0;
+            const result = inst.exports.test_no_throw();
+            t.check('test_no_throw() returns 10', 10, result);
+            t.check('threwBit is 0', 0, threwBit);
+        }
+        catch (e) {
+            t.fail++;
+        }
+        t.section('invoke_ii with throwing function');
+        try {
+            threwBit = 0;
+            threwValue = 0;
+            const result = inst.exports.test_throw();
+            t.check('test_throw() detects threwBit', true, result !== 0);
+            t.check('threwBit is set', true, threwBit !== 0);
+        }
+        catch (e) {
+            t.fail++;
+        }
+        t.section('nested invoke (invoke_ii calls invoke_ii)');
+        try {
+            threwBit = 0;
+            threwValue = 0;
+            const result = inst.exports.test_nested_invoke();
+            t.check('test_nested_invoke() detects threwBit', true, result !== 0);
+            t.check('threwBit is set', true, threwBit !== 0);
+        }
+        catch (e) {
+            t.fail++;
+        }
+        t.section('setjmp_test pattern');
+        try {
+            threwBit = 0;
+            threwValue = 0;
+            const result = inst.exports.setjmp_test(0);
+            t.check('setjmp_test detects throw', -1, result);
+            t.check('threwBit is set', true, threwBit !== 0);
+        }
+        catch (e) {
+            t.fail++;
+        }
+        t.section('setjmp/longjmp: a(x) normal path');
+        try {
+            threwBit = 0;
+            threwValue = 0;
+            const result = inst.exports.a(5);
+            t.check('a(5) returns 10 (b returns x*2)', 10, result);
+            t.check('threwBit is 0', 0, threwBit);
+        }
+        catch (e) {
+            t.fail++;
+        }
+        t.section('setjmp/longjmp: a(x) longjmp path');
+        try {
+            threwBit = 0;
+            threwValue = 0;
+            const result = inst.exports.a(-1);
+            t.check('a(-1) returns -1 (longjmp caught)', -1, result);
+            t.check('threwBit is set', true, threwBit !== 0);
+        }
+        catch (e) {
+            t.fail++;
+        }
+        t.section('EmscriptenSjLj instanceof check');
+        try {
+            const exc = new EmscriptenSjLj();
+            t.check('instanceof EmscriptenEH', true, exc instanceof EmscriptenEH);
+            t.check('instanceof EmscriptenSjLj', true, exc instanceof EmscriptenSjLj);
+            const regularErr = new Error('test');
+            t.check('Error not instanceof EmscriptenEH', false, regularErr instanceof EmscriptenEH);
+        }
+        catch (e) {
+            t.fail++;
+        }
+    }
+};

package/test/test_wasm_sjlj.ts

@@ -0,0 +1,134 @@
+import { Tester, readWasmFile } from './test_helper.js'
+
+class EmscriptenEH {}
+class EmscriptenSjLj extends EmscriptenEH {}
+
+export const suite = {
+    name: 'wasm-sjlj',
+    run: (t: Tester) => {
+        globalThis.EmscriptenEH = EmscriptenEH
+        globalThis.EmscriptenSjLj = EmscriptenSjLj
+
+        const buf = readWasmFile('./sjlj.wasm')
+        if (!buf) { t.fail++; return }
+
+        t.section('Module')
+        var mod: WebAssembly.Module | null = null
+        try {
+            mod = new WebAssembly.Module(buf)
+            t.check('Module created', true, mod instanceof WebAssembly.Module)
+        } catch (e) { t.fail++; return }
+
+        t.section('Instance with SjLj imports')
+        var inst: WebAssembly.Instance | null = null
+        var threwBit = 0
+        var threwValue = 0
+
+        function getWasmTableEntry(index: number): Function {
+            const table = inst!.exports['__indirect_function_table'] as any
+            const fn = table.get(index)
+            return fn as Function
+        }
+
+        function _setThrew(val: number, v: number): void {
+            if (threwBit === 0) {
+                threwValue = v
+                threwBit = val
+            }
+        }
+
+        function invoke_ii(index: number, a1: number): number {
+            try {
+                return getWasmTableEntry(index)(a1) as number
+            } catch (e) {
+                if (!(e instanceof EmscriptenEH)) throw e
+                _setThrew(1, 0)
+                return 0
+            }
+        }
+
+        try {
+            inst = new WebAssembly.Instance(mod, {
+                env: {
+                    throw_longjmp: () => { throw new EmscriptenSjLj },
+                    invoke_ii: invoke_ii,
+                }
+            })
+            t.check('Instance created', true, inst instanceof WebAssembly.Instance)
+        } catch (e) {
+            t.fail++
+            return
+        }
+
+        t.section('identity (no throw)')
+        try {
+            threwBit = 0
+            threwValue = 0
+            const result = (inst.exports as any).identity(42)
+            t.check('identity(42) = 42', 42, result)
+        } catch (e) { t.fail++ }
+
+        t.section('invoke_ii with no-throw function')
+        try {
+            threwBit = 0
+            threwValue = 0
+            const result = (inst.exports as any).test_no_throw()
+            t.check('test_no_throw() returns 10', 10, result)
+            t.check('threwBit is 0', 0, threwBit)
+        } catch (e) { t.fail++ }
+
+        t.section('invoke_ii with throwing function')
+        try {
+            threwBit = 0
+            threwValue = 0
+            const result = (inst.exports as any).test_throw()
+            t.check('test_throw() detects threwBit', true, result !== 0)
+            t.check('threwBit is set', true, threwBit !== 0)
+        } catch (e) { t.fail++ }
+
+        t.section('nested invoke (invoke_ii calls invoke_ii)')
+        try {
+            threwBit = 0
+            threwValue = 0
+            const result = (inst.exports as any).test_nested_invoke()
+            t.check('test_nested_invoke() detects threwBit', true, result !== 0)
+            t.check('threwBit is set', true, threwBit !== 0)
+        } catch (e) { t.fail++ }
+
+        t.section('setjmp_test pattern')
+        try {
+            threwBit = 0
+            threwValue = 0
+            const result = (inst.exports as any).setjmp_test(0)
+            t.check('setjmp_test detects throw', -1, result)
+            t.check('threwBit is set', true, threwBit !== 0)
+        } catch (e) { t.fail++ }
+
+        t.section('setjmp/longjmp: a(x) normal path')
+        try {
+            threwBit = 0
+            threwValue = 0
+            const result = (inst.exports as any).a(5)
+            t.check('a(5) returns 10 (b returns x*2)', 10, result)
+            t.check('threwBit is 0', 0, threwBit)
+        } catch (e) { t.fail++ }
+
+        t.section('setjmp/longjmp: a(x) longjmp path')
+        try {
+            threwBit = 0
+            threwValue = 0
+            const result = (inst.exports as any).a(-1)
+            t.check('a(-1) returns -1 (longjmp caught)', -1, result)
+            t.check('threwBit is set', true, threwBit !== 0)
+        } catch (e) { t.fail++ }
+
+        t.section('EmscriptenSjLj instanceof check')
+        try {
+            const exc = new EmscriptenSjLj()
+            t.check('instanceof EmscriptenEH', true, exc instanceof EmscriptenEH)
+            t.check('instanceof EmscriptenSjLj', true, exc instanceof EmscriptenSjLj)
+            const regularErr = new Error('test')
+            t.check('Error not instanceof EmscriptenEH', false, regularErr instanceof EmscriptenEH)
+        } catch (e) { t.fail++ }
+    }
+}

package/test/test_wasm_types.js

@@ -0,0 +1,96 @@
+import { readWasmFile } from './test_helper.js';
+export const suite = {
+    name: 'wasm-types',
+    run: (t) => {
+        const buf = readWasmFile('./types.wasm');
+        if (!buf) {
+            t.fail++;
+            return;
+        }
+        const m = new WebAssembly.Module(buf);
+        const i = new WebAssembly.Instance(m);
+        t.section('i32');
+        t.check('add_i32(10, 20)', 30, i.exports.add_i32(10, 20));
+        t.check('add_i32(-5, 3)', -2, i.exports.add_i32(-5, 3));
+        t.section('i64');
+        t.check('add_i64(100, 200)', 300, i.exports.add_i64(100, 200));
+        t.check('add_i64(10000000000, 20000000000)', 30000000000, i.exports.add_i64(10000000000, 20000000000));
+        t.check('add_i64(-10000000000, 5000000000)', -5000000000, i.exports.add_i64(-10000000000, 5000000000));
+        t.check('factorial_i64(5)', 120, i.exports.factorial_i64(5));
+        t.check('factorial_i64(10)', 3628800, i.exports.factorial_i64(10));
+        t.section('f32');
+        t.check('add_f32(1.5, 2.5)', 4.0, i.exports.add_f32(1.5, 2.5));
+        t.check('add_f32(-1.0, 1.0)', 0.0, i.exports.add_f32(-1.0, 1.0));
+        t.section('f64');
+        t.check('add_f64(3.14, 2.86)', 6.0, i.exports.add_f64(3.14, 2.86));
+        t.check('sqrt_f64(144.0)', 12.0, i.exports.sqrt_f64(144.0));
+        t.section('mixed');
+        t.check('mixed_args(1, 2, 3.0, 4.0)', 10.0, i.exports.mixed_args(1, 2, 3.0, 4.0));
+        t.section('memory');
+        i.exports.write_memory(0, 12345678);
+        t.check('write/read memory', 12345678, i.exports.read_memory(0));
+        t.section('JS-side TypedArray');
+        t.check('Int32Array[0]', 12345678, new Int32Array(i.exports.memory.buffer)[0]);
+        i.exports.write_memory(4, 999);
+        t.check('Int32Array[1] after write', 999, new Int32Array(i.exports.memory.buffer)[1]);
+        t.section('exported globals');
+        t.check('const_i32.value', 42, i.exports.const_i32.value);
+        t.check('const_f64.value', 3.14, i.exports.const_f64.value);
+        t.check('mutable_i32 is Global', true, i.exports.mutable_i32 instanceof WebAssembly.Global);
+        t.check('mutable_i32.value', 99, i.exports.mutable_i32.value);
+        i.exports.mutable_i32.value = 500;
+        t.check('mutable_i32 after set from JS', 500, i.exports.mutable_i32.value);
+        t.check('mutable_i32 after set from WASM', 500, i.exports.read_mut_global());
+        t.section('Global constructor');
+        var g;
+        g = new WebAssembly.Global({ value: 'i32', mutable: false }, 42);
+        t.check('Global(i32)', 42, g.value);
+        g = new WebAssembly.Global({ value: 'i64' }, 10000000000);
+        t.check('Global(i64)', 10000000000, g.value);
+        g = new WebAssembly.Global({ value: 'f64' }, 3.14);
+        t.check('Global(f64)', 3.14, g.value);
+        g = new WebAssembly.Global({ value: 'f32' }, 2.5);
+        t.check('Global(f32)', 2.5, g.value);
+        t.section('Global mutable set');
+        g = new WebAssembly.Global({ value: 'i32', mutable: true }, 0);
+        t.check('initial', 0, g.value);
+        g.value = 77;
+        t.check('after set', 77, g.value);
+        t.section('Global immutable set throws');
+        g = new WebAssembly.Global({ value: 'i32', mutable: false }, 10);
+        try {
+            g.value = 999;
+            t.fail++;
+        }
+        catch (e) {
+            t.ok++;
+        }
+        t.section('Global.valueOf');
+        g = new WebAssembly.Global({ value: 'i32' }, 55);
+        t.check('valueOf()', 55, g.valueOf());
+        t.section('Memory constructor');
+        var mem;
+        mem = new WebAssembly.Memory({ initial: 1 });
+        t.check('Memory created', true, mem instanceof WebAssembly.Memory);
+        t.check('buffer byteLength', 65536, mem.buffer.byteLength);
+        mem = new WebAssembly.Memory({ initial: 2, maximum: 4 });
+        t.check('Memory(2,4) buffer', 131072, mem.buffer.byteLength);
+        t.check('grow(1) returned', 2, mem.grow(1));
+        t.check('after grow buffer', 196608, mem.buffer.byteLength);
+        t.section('instance.exports.memory');
+        t.check('memory is Memory', true, i.exports.memory instanceof WebAssembly.Memory);
+        t.check('memory.buffer.byteLength', 65536, i.exports.memory.buffer.byteLength);
+        t.section('standalone Memory + TypedArray');
+        mem = new WebAssembly.Memory({ initial: 1 });
+        var arr = new Int32Array(mem.buffer);
+        arr[0] = 42;
+        arr[1] = 7;
+        t.check('Int32Array[0]', 42, arr[0]);
+        t.check('Int32Array[1]', 7, arr[1]);
+        t.section('buffer identity');
+        arr[2] = 100;
+        t.check('old view[2]', 100, arr[2]);
+        t.check('new view[2]', 100, new Int32Array(mem.buffer)[2]);
+        t.check('buffer is same object', true, mem.buffer === mem.buffer);
+    }
+};

package/test/test_wasm_types.ts

@@ -0,0 +1,108 @@
+import { Tester, readWasmFile } from './test_helper.js'
+
+export const suite = {
+    name: 'wasm-types',
+    run: (t: Tester) => {
+        const buf = readWasmFile('./types.wasm')
+        if (!buf) { t.fail++; return }
+        const m = new WebAssembly.Module(buf)
+        const i = new WebAssembly.Instance(m)
+
+        t.section('i32')
+        t.check('add_i32(10, 20)', 30, i.exports.add_i32(10, 20))
+        t.check('add_i32(-5, 3)', -2, i.exports.add_i32(-5, 3))
+
+        t.section('i64')
+        t.check('add_i64(100, 200)', 300, i.exports.add_i64(100, 200))
+        t.check('add_i64(10000000000, 20000000000)', 30000000000, i.exports.add_i64(10000000000, 20000000000))
+        t.check('add_i64(-10000000000, 5000000000)', -5000000000, i.exports.add_i64(-10000000000, 5000000000))
+        t.check('factorial_i64(5)', 120, i.exports.factorial_i64(5))
+        t.check('factorial_i64(10)', 3628800, i.exports.factorial_i64(10))
+
+        t.section('f32')
+        t.check('add_f32(1.5, 2.5)', 4.0, i.exports.add_f32(1.5, 2.5))
+        t.check('add_f32(-1.0, 1.0)', 0.0, i.exports.add_f32(-1.0, 1.0))
+
+        t.section('f64')
+        t.check('add_f64(3.14, 2.86)', 6.0, i.exports.add_f64(3.14, 2.86))
+        t.check('sqrt_f64(144.0)', 12.0, i.exports.sqrt_f64(144.0))
+
+        t.section('mixed')
+        t.check('mixed_args(1, 2, 3.0, 4.0)', 10.0, i.exports.mixed_args(1, 2, 3.0, 4.0))
+
+        t.section('memory')
+        i.exports.write_memory(0, 12345678)
+        t.check('write/read memory', 12345678, i.exports.read_memory(0))
+
+        t.section('JS-side TypedArray')
+        t.check('Int32Array[0]', 12345678, new Int32Array(i.exports.memory.buffer)[0])
+        i.exports.write_memory(4, 999)
+        t.check('Int32Array[1] after write', 999, new Int32Array(i.exports.memory.buffer)[1])
+
+        t.section('exported globals')
+        t.check('const_i32.value', 42, i.exports.const_i32.value)
+        t.check('const_f64.value', 3.14, i.exports.const_f64.value)
+        t.check('mutable_i32 is Global', true, i.exports.mutable_i32 instanceof WebAssembly.Global)
+        t.check('mutable_i32.value', 99, i.exports.mutable_i32.value)
+        i.exports.mutable_i32.value = 500
+        t.check('mutable_i32 after set from JS', 500, i.exports.mutable_i32.value)
+        t.check('mutable_i32 after set from WASM', 500, i.exports.read_mut_global())
+
+        t.section('Global constructor')
+        var g: WebAssembly.Global
+        g = new WebAssembly.Global({ value: 'i32', mutable: false }, 42)
+        t.check('Global(i32)', 42, g.value)
+        g = new WebAssembly.Global({ value: 'i64' }, 10000000000)
+        t.check('Global(i64)', 10000000000, g.value)
+        g = new WebAssembly.Global({ value: 'f64' }, 3.14)
+        t.check('Global(f64)', 3.14, g.value)
+        g = new WebAssembly.Global({ value: 'f32' }, 2.5)
+        t.check('Global(f32)', 2.5, g.value)
+
+        t.section('Global mutable set')
+        g = new WebAssembly.Global({ value: 'i32', mutable: true }, 0)
+        t.check('initial', 0, g.value)
+        g.value = 77
+        t.check('after set', 77, g.value)
+
+        t.section('Global immutable set throws')
+        g = new WebAssembly.Global({ value: 'i32', mutable: false }, 10)
+        try {
+            g.value = 999
+            t.fail++
+        } catch (e) {
+            t.ok++
+        }
+
+        t.section('Global.valueOf')
+        g = new WebAssembly.Global({ value: 'i32' }, 55)
+        t.check('valueOf()', 55, g.valueOf())
+
+        t.section('Memory constructor')
+        var mem: WebAssembly.Memory
+        mem = new WebAssembly.Memory({ initial: 1 })
+        t.check('Memory created', true, mem instanceof WebAssembly.Memory)
+        t.check('buffer byteLength', 65536, mem.buffer.byteLength)
+        mem = new WebAssembly.Memory({ initial: 2, maximum: 4 })
+        t.check('Memory(2,4) buffer', 131072, mem.buffer.byteLength)
+        t.check('grow(1) returned', 2, mem.grow(1))
+        t.check('after grow buffer', 196608, mem.buffer.byteLength)
+
+        t.section('instance.exports.memory')
+        t.check('memory is Memory', true, i.exports.memory instanceof WebAssembly.Memory)
+        t.check('memory.buffer.byteLength', 65536, i.exports.memory.buffer.byteLength)
+
+        t.section('standalone Memory + TypedArray')
+        mem = new WebAssembly.Memory({ initial: 1 })
+        var arr = new Int32Array(mem.buffer)
+        arr[0] = 42; arr[1] = 7
+        t.check('Int32Array[0]', 42, arr[0])
+        t.check('Int32Array[1]', 7, arr[1])
+
+        t.section('buffer identity')
+        arr[2] = 100
+        t.check('old view[2]', 100, arr[2])
+        t.check('new view[2]', 100, new Int32Array(mem.buffer)[2])
+        t.check('buffer is same object', true, mem.buffer === mem.buffer)
+    }
+}

package/tsconfig.json

@@ -0,0 +1,18 @@
+{
+  "compilerOptions": {
+    "incremental": true,
+    "target": "es2022",
+    "module": "esnext",
+    "strict": true,
+    "noImplicitAny": false,
+    "esModuleInterop": true,
+    "skipLibCheck": true,
+    "lib": ["ES2020"],
+    "types": ["./quickwin.d.ts"],
+    "outDir": "_build",
+    "jsx": "react-jsx",
+    "jsxImportSource": "../lib/preact",
+  },
+  "include": ["test/**/*.ts", "examples/**/*.ts", "examples/**/*.tsx", "main.ts"],
+  "exclude": []
+}