@scriptc/compiler 0.4.8 → 0.4.9

package/dist/ir/constant-length-clones.test.js

@@ -0,0 +1,292 @@
+import { expect, test } from "vitest";
+import { specializeConstantArrayLengths } from "./constant-length-clones.js";
+import { BOOL, F64, VOID, } from "./ir.js";
+const loc = { file: "constant-length-clones.ts", start: 0, end: 0 };
+const num = (value) => ({
+    loc,
+    kind: "numLit",
+    value,
+    type: F64,
+});
+const ref = (localId, type = F64) => ({
+    loc,
+    kind: "varRef",
+    localId,
+    type,
+});
+const ARR = { kind: "array", elem: F64 };
+const arrayOf = (length) => ({
+    loc,
+    kind: "arrayLit",
+    elems: Array.from({ length }, (_unused, index) => num(index)),
+    type: ARR,
+});
+const length = (receiver) => ({
+    loc,
+    kind: "arrIntrinsic",
+    method: "length",
+    receiver,
+    args: [],
+    type: F64,
+});
+const bin = (op, left, right) => ({
+    loc,
+    kind: "bin",
+    op,
+    left,
+    right,
+    type: op === "<" ? BOOL : F64,
+});
+/** The statements wrapped in a loop, the position a specializing call sits in. */
+const loop = (body) => ({
+    loc,
+    kind: "while",
+    cond: bin("<", num(0), num(1)),
+    body,
+});
+const ret = (value) => ({ loc, kind: "return", value });
+const decl = (localId, init) => ({
+    loc,
+    kind: "varDecl",
+    localId,
+    init,
+});
+const assign = (localId, value) => ({
+    loc,
+    kind: "assign",
+    localId,
+    value,
+});
+const param = (localId) => ({
+    localId,
+    name: localId,
+    type: ARR,
+});
+const localOf = (id, type = F64, extra = {}) => ({
+    id,
+    name: id,
+    type,
+    mutable: false,
+    ...extra,
+});
+const fn = (name, params, locals, body, extra = {}) => ({
+    loc,
+    name,
+    params,
+    locals,
+    returnType: VOID,
+    body,
+    ...extra,
+});
+const arrayGlobal = (id, extra = {}) => ({
+    id,
+    name: id,
+    type: ARR,
+    mutable: false,
+    ...extra,
+});
+/** A callee that reads its parameter's element count into a local, indexes it
+ * and returns the count. */
+function reader(extra = [], extra2 = {}) {
+    return fn("reader", [param("a.0")], [localOf("n.0"), localOf("i.0")], [decl("n.0", length(ref("a.0", ARR))), decl("i.0", num(0)), ...extra, ret(ref("n.0"))], extra2);
+}
+function moduleWith(functions, globals = []) {
+    return {
+        irVersion: 17,
+        sourceFile: "constant-length-clones.ts",
+        entry: "%init",
+        functions,
+        globals,
+    };
+}
+const init = (body) => fn("%init", [], [], body);
+test("a looping call passing an immutable array literal global specializes the callee", () => {
+    const mod = moduleWith([
+        init([
+            loop([
+                assign("caller.0", {
+                    loc,
+                    kind: "call",
+                    callee: "reader",
+                    args: [ref("%g.e.arr", ARR)],
+                    type: F64,
+                }),
+            ]),
+        ]),
+        reader(),
+    ], [arrayGlobal("%g.e.arr")]);
+    mod.functions[0].body.unshift(assign("%g.e.arr", arrayOf(3)));
+    const out = specializeConstantArrayLengths(mod);
+    const clone = out.functions.find((candidate) => candidate.name === "reader.constLen");
+    expect(clone).toBeDefined();
+    expect(clone.params[0].constLength).toBe(3);
+    const text = JSON.stringify(clone.body);
+    expect(text).not.toContain('"method":"length"');
+    expect(text).toContain('"value":3');
+    const call = JSON.stringify(out.functions[0].body);
+    expect(call).toContain('"callee":"reader.constLen"');
+    // The original function keeps its runtime read.
+    expect(JSON.stringify(out.functions[1].body)).toContain('"method":"length"');
+});
+test("a looping call passing a constant local in the caller specializes the callee", () => {
+    const mod = moduleWith([
+        fn("%init", [], [localOf("arr.0", ARR)], [
+            decl("arr.0", arrayOf(4)),
+            loop([
+                assign("caller.0", {
+                    loc,
+                    kind: "call",
+                    callee: "reader",
+                    args: [ref("arr.0", ARR)],
+                    type: F64,
+                }),
+            ]),
+        ]),
+        reader(),
+    ]);
+    const out = specializeConstantArrayLengths(mod);
+    const clone = out.functions.find((candidate) => candidate.name === "reader.constLen");
+    expect(clone?.params[0]?.constLength).toBe(4);
+});
+test("a call outside any loop keeps the general callee", () => {
+    const mod = moduleWith([
+        init([
+            assign("caller.0", {
+                loc,
+                kind: "call",
+                callee: "reader",
+                args: [ref("%g.e.arr", ARR)],
+                type: F64,
+            }),
+        ]),
+        reader(),
+    ], [arrayGlobal("%g.e.arr")]);
+    mod.functions[0].body.unshift(assign("%g.e.arr", arrayOf(3)));
+    const out = specializeConstantArrayLengths(mod);
+    expect(out.functions.map((candidate) => candidate.name)).toEqual(["%init", "reader"]);
+    expect(JSON.stringify(out.functions[0].body)).toContain('"callee":"reader"');
+    expect(JSON.stringify(out.functions[1].body)).toContain('"method":"length"');
+});
+test("a callee that grows its parameter keeps the original function", () => {
+    const push = {
+        loc,
+        kind: "exprStmt",
+        expr: {
+            loc,
+            kind: "arrIntrinsic",
+            method: "push",
+            receiver: ref("a.0", ARR),
+            args: [num(1)],
+            type: F64,
+        },
+    };
+    const mod = moduleWith([
+        init([
+            assign("caller.0", {
+                loc,
+                kind: "call",
+                callee: "reader",
+                args: [ref("%g.e.arr", ARR)],
+                type: F64,
+            }),
+        ]),
+        reader([push]),
+    ], [arrayGlobal("%g.e.arr")]);
+    mod.functions[0].body.unshift(assign("%g.e.arr", arrayOf(3)));
+    const out = specializeConstantArrayLengths(mod);
+    expect(out.functions.map((candidate) => candidate.name)).toEqual(["%init", "reader"]);
+});
+test("a callee that returns its parameter keeps the original function", () => {
+    const mod = moduleWith([
+        init([
+            assign("caller.0", {
+                loc,
+                kind: "call",
+                callee: "reader",
+                args: [ref("%g.e.arr", ARR)],
+                type: F64,
+            }),
+        ]),
+        reader([{ loc, kind: "exprStmt", expr: ref("a.0", ARR) }]),
+    ], [arrayGlobal("%g.e.arr")]);
+    mod.functions[0].body.unshift(assign("%g.e.arr", arrayOf(3)));
+    const out = specializeConstantArrayLengths(mod);
+    expect(out.functions.map((candidate) => candidate.name)).toEqual(["%init", "reader"]);
+});
+test("an argument array written twice does not specialize", () => {
+    const mod = moduleWith([
+        init([
+            assign("%g.e.arr", arrayOf(3)),
+            assign("%g.e.arr", arrayOf(3)),
+            assign("caller.0", {
+                loc,
+                kind: "call",
+                callee: "reader",
+                args: [ref("%g.e.arr", ARR)],
+                type: F64,
+            }),
+        ]),
+        reader(),
+    ], [arrayGlobal("%g.e.arr")]);
+    const out = specializeConstantArrayLengths(mod);
+    expect(out.functions.map((candidate) => candidate.name)).toEqual(["%init", "reader"]);
+});
+test("an argument array that is not a literal does not specialize", () => {
+    const mod = moduleWith([
+        init([
+            decl("arr.0", { loc, kind: "arrayNewLen", length: num(3), type: ARR }),
+            assign("caller.0", {
+                loc,
+                kind: "call",
+                callee: "reader",
+                args: [ref("arr.0", ARR)],
+                type: F64,
+            }),
+        ]),
+        reader(),
+    ], []);
+    const out = specializeConstantArrayLengths(mod);
+    expect(out.functions.map((candidate) => candidate.name)).toEqual(["%init", "reader"]);
+});
+test("an argument array passed on to a callee that grows it does not specialize", () => {
+    const grow = fn("grow", [param("b.0")], [], [
+        {
+            loc,
+            kind: "exprStmt",
+            expr: {
+                loc,
+                kind: "arrIntrinsic",
+                method: "push",
+                receiver: ref("b.0", ARR),
+                args: [num(1)],
+                type: F64,
+            },
+        },
+    ]);
+    const mod = moduleWith([
+        init([
+            assign("%g.e.arr", arrayOf(3)),
+            loop([
+                assign("caller.0", {
+                    loc,
+                    kind: "call",
+                    callee: "grow",
+                    args: [ref("%g.e.arr", ARR)],
+                    type: VOID,
+                }),
+                assign("caller.1", {
+                    loc,
+                    kind: "call",
+                    callee: "reader",
+                    args: [ref("%g.e.arr", ARR)],
+                    type: F64,
+                }),
+            ]),
+        ]),
+        grow,
+        reader(),
+    ], [arrayGlobal("%g.e.arr")]);
+    const out = specializeConstantArrayLengths(mod);
+    expect(out.functions.map((candidate) => candidate.name)).toEqual(["%init", "grow", "reader"]);
+});
+//# sourceMappingURL=constant-length-clones.test.js.map

package/dist/ir/constant-length-clones.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constant-length-clones.test.js","sourceRoot":"","sources":["../../src/ir/constant-length-clones.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,8BAA8B,EAAE,MAAM,6BAA6B,CAAC;AAC7E,OAAO,EACL,IAAI,EACJ,GAAG,EACH,IAAI,GAQL,MAAM,SAAS,CAAC;AAEjB,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,2BAA2B,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACpE,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;IACtC,GAAG;IACH,IAAI,EAAE,QAAQ;IACd,KAAK;IACL,IAAI,EAAE,GAAG;CACV,CAAC,CAAC;AACH,MAAM,GAAG,GAAG,CAAC,OAAe,EAAE,IAAI,GAAW,GAAG,EAAU,EAAE,CAAC,CAAC;IAC5D,GAAG;IACH,IAAI,EAAE,QAAQ;IACd,OAAO;IACP,IAAI;CACL,CAAC,CAAC;AACH,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACjD,MAAM,OAAO,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,CAAC;IAC3C,GAAG;IACH,IAAI,EAAE,UAAU;IAChB,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC7D,IAAI,EAAE,GAAG;CACV,CAAC,CAAC;AACH,MAAM,MAAM,GAAG,CAAC,QAAgB,EAAU,EAAE,CAAC,CAAC;IAC5C,GAAG;IACH,IAAI,EAAE,cAAc;IACpB,MAAM,EAAE,QAAQ;IAChB,QAAQ;IACR,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,GAAG;CACV,CAAC,CAAC;AACH,MAAM,GAAG,GAAG,CAAC,EAA0C,EAAE,IAAY,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC;IAChG,GAAG;IACH,IAAI,EAAE,KAAK;IACX,EAAE;IACF,IAAI;IACJ,KAAK;IACL,IAAI,EAAE,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG;CAC9B,CAAC,CAAC;AACH,kFAAkF;AAClF,MAAM,IAAI,GAAG,CAAC,IAAc,EAAU,EAAE,CAAC,CAAC;IACxC,GAAG;IACH,IAAI,EAAE,OAAO;IACb,IAAI,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAI;CACL,CAAC,CAAC;AACH,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;AACxE,MAAM,IAAI,GAAG,CAAC,OAAe,EAAE,IAAmB,EAAU,EAAE,CAAC,CAAC;IAC9D,GAAG;IACH,IAAI,EAAE,SAAS;IACf,OAAO;IACP,IAAI;CACL,CAAC,CAAC;AACH,MAAM,MAAM,GAAG,CAAC,OAAe,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC;IAC1D,GAAG;IACH,IAAI,EAAE,QAAQ;IACd,OAAO;IACP,KAAK;CACN,CAAC,CAAC;AACH,MAAM,KAAK,GAAG,CAAC,OAAe,EAAW,EAAE,CAAC,CAAC;IAC3C,OAAO;IACP,IAAI,EAAE,OAAO;IACb,IAAI,EAAE,GAAG;CACV,CAAC,CAAC;AACH,MAAM,OAAO,GAAG,CAAC,EAAU,EAAE,IAAI,GAAW,GAAG,EAAE,KAAK,GAAqB,EAAE,EAAW,EAAE,CAAC,CAAC;IAC1F,EAAE;IACF,IAAI,EAAE,EAAE;IACR,IAAI;IACJ,OAAO,EAAE,KAAK;IACd,GAAG,KAAK;CACT,CAAC,CAAC;AACH,MAAM,EAAE,GAAG,CACT,IAAY,EACZ,MAAiB,EACjB,MAAiB,EACjB,IAAc,EACd,KAAK,GAAwB,EAAE,EACnB,EAAE,CAAC,CAAC;IAChB,GAAG;IACH,IAAI;IACJ,MAAM;IACN,MAAM;IACN,UAAU,EAAE,IAAI;IAChB,IAAI;IACJ,GAAG,KAAK;CACT,CAAC,CAAC;AACH,MAAM,WAAW,GAAG,CAAC,EAAU,EAAE,KAAK,GAAW,EAAE,EAAE,EAAE,CAAC,CAAC;IACvD,EAAE;IACF,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,GAAG;IACT,OAAO,EAAE,KAAK;IACd,GAAG,KAAK;CACT,CAAC,CAAC;AAEH;4BAC4B;AAC5B,SAAS,MAAM,CAAC,KAAK,GAAa,EAAE,EAAE,MAAM,GAAwB,EAAE;IACpE,OAAO,EAAE,CACP,QAAQ,EACR,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EACd,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAChC,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EACtF,MAAM,CACP,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,SAAuB,EAAE,OAAO,GAAwB,EAAE;IAC5E,OAAO;QACL,SAAS,EAAE,EAAE;QACb,UAAU,EAAE,2BAA2B;QACvC,KAAK,EAAE,OAAO;QACd,SAAS;QACT,OAAO;KACR,CAAC;AACJ,CAAC;AAED,MAAM,IAAI,GAAG,CAAC,IAAc,EAAc,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;AAEvE,IAAI,CAAC,iFAAiF,EAAE,GAAG,EAAE;IAC3F,MAAM,GAAG,GAAG,UAAU,CACpB;QACE,IAAI,CAAC;YACH,IAAI,CAAC;gBACH,MAAM,CAAC,UAAU,EAAE;oBACjB,GAAG;oBACH,IAAI,EAAE,MAAM;oBACZ,MAAM,EAAE,QAAQ;oBAChB,IAAI,EAAE,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;oBAC5B,IAAI,EAAE,GAAG;iBACV,CAAC;aACH,CAAC;SACH,CAAC;QACF,MAAM,EAAE;KACT,EACD,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAC1B,CAAC;IACF,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,MAAM,GAAG,GAAG,8BAA8B,CAAC,GAAG,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAC;IACtF,MAAM,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;IAC5B,MAAM,CAAC,KAAM,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAM,CAAC,IAAI,CAAC,CAAC;IACzC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IAChD,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC;IACpD,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,4BAA4B,CAAC,CAAC;IACrD,gDAAgD;IAChD,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;AAChF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,8EAA8E,EAAE,GAAG,EAAE;IACxF,MAAM,GAAG,GAAG,UAAU,CAAC;QACrB,EAAE,CACA,OAAO,EACP,EAAE,EACF,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,EACvB;YACE,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;YACzB,IAAI,CAAC;gBACH,MAAM,CAAC,UAAU,EAAE;oBACjB,GAAG;oBACH,IAAI,EAAE,MAAM;oBACZ,MAAM,EAAE,QAAQ;oBAChB,IAAI,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;oBACzB,IAAI,EAAE,GAAG;iBACV,CAAC;aACH,CAAC;SACH,CACF;QACD,MAAM,EAAE;KACT,CAAC,CAAC;IACH,MAAM,GAAG,GAAG,8BAA8B,CAAC,GAAG,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAC;IACtF,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAChD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kDAAkD,EAAE,GAAG,EAAE;IAC5D,MAAM,GAAG,GAAG,UAAU,CACpB;QACE,IAAI,CAAC;YACH,MAAM,CAAC,UAAU,EAAE;gBACjB,GAAG;gBACH,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,QAAQ;gBAChB,IAAI,EAAE,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;gBAC5B,IAAI,EAAE,GAAG;aACV,CAAC;SACH,CAAC;QACF,MAAM,EAAE;KACT,EACD,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAC1B,CAAC;IACF,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,MAAM,GAAG,GAAG,8BAA8B,CAAC,GAAG,CAAC,CAAC;IAChD,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;IACtF,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IAC9E,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;AAChF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+DAA+D,EAAE,GAAG,EAAE;IACzE,MAAM,IAAI,GAAW;QACnB,GAAG;QACH,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE;YACJ,GAAG;YACH,IAAI,EAAE,cAAc;YACpB,MAAM,EAAE,MAAM;YACd,QAAQ,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC;YACzB,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACd,IAAI,EAAE,GAAG;SACV;KACF,CAAC;IACF,MAAM,GAAG,GAAG,UAAU,CACpB;QACE,IAAI,CAAC;YACH,MAAM,CAAC,UAAU,EAAE;gBACjB,GAAG;gBACH,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,QAAQ;gBAChB,IAAI,EAAE,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;gBAC5B,IAAI,EAAE,GAAG;aACV,CAAC;SACH,CAAC;QACF,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC;KACf,EACD,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAC1B,CAAC;IACF,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,MAAM,GAAG,GAAG,8BAA8B,CAAC,GAAG,CAAC,CAAC;IAChD,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;AACxF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iEAAiE,EAAE,GAAG,EAAE;IAC3E,MAAM,GAAG,GAAG,UAAU,CACpB;QACE,IAAI,CAAC;YACH,MAAM,CAAC,UAAU,EAAE;gBACjB,GAAG;gBACH,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,QAAQ;gBAChB,IAAI,EAAE,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;gBAC5B,IAAI,EAAE,GAAG;aACV,CAAC;SACH,CAAC;QACF,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;KAC3D,EACD,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAC1B,CAAC;IACF,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,MAAM,GAAG,GAAG,8BAA8B,CAAC,GAAG,CAAC,CAAC;IAChD,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;AACxF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qDAAqD,EAAE,GAAG,EAAE;IAC/D,MAAM,GAAG,GAAG,UAAU,CACpB;QACE,IAAI,CAAC;YACH,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;YAC9B,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;YAC9B,MAAM,CAAC,UAAU,EAAE;gBACjB,GAAG;gBACH,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,QAAQ;gBAChB,IAAI,EAAE,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;gBAC5B,IAAI,EAAE,GAAG;aACV,CAAC;SACH,CAAC;QACF,MAAM,EAAE;KACT,EACD,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAC1B,CAAC;IACF,MAAM,GAAG,GAAG,8BAA8B,CAAC,GAAG,CAAC,CAAC;IAChD,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;AACxF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6DAA6D,EAAE,GAAG,EAAE;IACvE,MAAM,GAAG,GAAG,UAAU,CACpB;QACE,IAAI,CAAC;YACH,IAAI,CAAC,OAAO,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YACtE,MAAM,CAAC,UAAU,EAAE;gBACjB,GAAG;gBACH,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,QAAQ;gBAChB,IAAI,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;gBACzB,IAAI,EAAE,GAAG;aACV,CAAC;SACH,CAAC;QACF,MAAM,EAAE;KACT,EACD,EAAE,CACH,CAAC;IACF,MAAM,GAAG,GAAG,8BAA8B,CAAC,GAAG,CAAC,CAAC;IAChD,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;AACxF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2EAA2E,EAAE,GAAG,EAAE;IACrF,MAAM,IAAI,GAAG,EAAE,CACb,MAAM,EACN,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EACd,EAAE,EACF;QACE;YACE,GAAG;YACH,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE;gBACJ,GAAG;gBACH,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,MAAM;gBACd,QAAQ,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC;gBACzB,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACd,IAAI,EAAE,GAAG;aACV;SACF;KACF,CACF,CAAC;IACF,MAAM,GAAG,GAAG,UAAU,CACpB;QACE,IAAI,CAAC;YACH,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;YAC9B,IAAI,CAAC;gBACH,MAAM,CAAC,UAAU,EAAE;oBACjB,GAAG;oBACH,IAAI,EAAE,MAAM;oBACZ,MAAM,EAAE,MAAM;oBACd,IAAI,EAAE,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;oBAC5B,IAAI,EAAE,IAAI;iBACX,CAAC;gBACF,MAAM,CAAC,UAAU,EAAE;oBACjB,GAAG;oBACH,IAAI,EAAE,MAAM;oBACZ,MAAM,EAAE,QAAQ;oBAChB,IAAI,EAAE,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;oBAC5B,IAAI,EAAE,GAAG;iBACV,CAAC;aACH,CAAC;SACH,CAAC;QACF,IAAI;QACJ,MAAM,EAAE;KACT,EACD,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAC1B,CAAC;IACF,MAAM,GAAG,GAAG,8BAA8B,CAAC,GAAG,CAAC,CAAC;IAChD,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;AAChG,CAAC,CAAC,CAAC"}

package/dist/ir/constant-tables.d.ts

@@ -1,13 +1,11 @@
-import type { IrModule } from "./ir.js";
+import type { IrExpr, IrModule } from "./ir.js";
 export interface ConstantNumericTable {
     symbol: string;
     values: readonly number[];
 }
 /** Find module globals whose only observable uses are primitive indexed
- * reads and length queries. `const` only protects the binding: every other
- * use (including aliases, exports to dynamic code, mutation, and passing or
- * returning the array) disqualifies the table. All functions are inspected,
- * including callbacks, and nested index expressions are checked too.
+ * reads and length queries. Backends keep the array's own allocation and
+ * initialization and read the constant data instead.
  *
  * This is read specialization only. Backends retain the original allocation,
  * initialization, receiver evaluation and cleanup. They must guard against
@@ -15,3 +13,10 @@ export interface ConstantNumericTable {
  * indices; the constant data must never make a not-yet-initialized array
  * observable early. No IR or runtime representation changes are needed. */
 export declare function findConstantNumericTables(mod: IrModule): ReadonlyMap<string, ConstantNumericTable>;
+/** The initializing array literals of the same tables, for the backends that
+ * construct them in place: the array becomes immortal storage over the data
+ * in the program image, so it is neither allocated nor copied. Those backends
+ * rely on the scan above having proved that nothing writes the table. Only
+ * literals too large for an array's inline slots qualify: smaller ones are
+ * built in place from registers. */
+export declare function findStaticArrayTables(mod: IrModule): ReadonlySet<IrExpr>;

package/dist/ir/constant-tables.js

@@ -1,5 +1,9 @@
 import { everyExprChild, everyStmtChild } from "./traverse.js";
 const MAX_TABLE_ELEMENTS = 256;
+/** A literal of up to this many elements keeps its slots inside the array's
+ * own block (SCR_ARR_KNOWN_INLINE_MAX, scr_array.c); a larger one takes
+ * storage of its own, which the table in the image replaces. */
+const MIN_STATIC_ELEMENTS = 17;
 function literalNumber(expr) {
     if (expr.kind === "numLit")
         return expr.value;
@@ -10,26 +14,38 @@ function literalNumber(expr) {
     }
     return null;
 }
-/** Find module globals whose only observable uses are primitive indexed
- * reads and length queries. `const` only protects the binding: every other
- * use (including aliases, exports to dynamic code, mutation, and passing or
+/** Module globals whose only observable uses are primitive indexed reads and
+ * length queries. `const` only protects the binding: every other use
+ * (including aliases, exports to dynamic code, mutation, and passing or
  * returning the array) disqualifies the table. All functions are inspected,
  * including callbacks, and nested index expressions are checked too.
  *
- * This is read specialization only. Backends retain the original allocation,
- * initialization, receiver evaluation and cleanup. They must guard against
- * an uninitialized receiver and preserve the generic accessor for invalid
- * indices; the constant data must never make a not-yet-initialized array
- * observable early. No IR or runtime representation changes are needed. */
-export function findConstantNumericTables(mod) {
+ * With `readers`, a call of an element-reader helper counts as an indexed
+ * read: `%arr.idxOr.<type>` (lowering/array-values.ts) is `a[i]` as
+ * `T | undefined`, and its body only tests the element's state and reads
+ * it. */
+function scanNumericTables(mod, maxElements, readers) {
     const candidates = new Map();
     for (const global of mod.globals ?? []) {
         if (!global.mutable && global.type.kind === "array" && global.type.elem.kind === "f64") {
-            candidates.set(global.id, { values: null, writes: 0, reads: 0, rejected: false });
+            candidates.set(global.id, {
+                values: null,
+                node: null,
+                writes: 0,
+                reads: 0,
+                rejected: false,
+            });
         }
     }
     if (candidates.size === 0)
         return new Map();
+    /* The lifted `a[i]` helpers, by their reserved name (`%` cannot begin a
+     * source name); their bodies only read the array. */
+    const readerNames = readers
+        ? new Set(mod.functions
+            .filter((fn) => fn.name.startsWith("%arr.idxOr.") && fn.params.length === 2)
+            .map((fn) => fn.name))
+        : null;
     function candidateFor(expr) {
         return expr.kind === "varRef" && expr.type.kind === "array" && expr.type.elem.kind === "f64"
             ? candidates.get(expr.localId)
@@ -60,10 +76,28 @@ export function findConstantNumericTables(mod) {
             }
             case "arrayGet":
             case "arrayHas":
-            case "arrayState":
-                if (candidateFor(node.arr))
+            case "arrayState": {
+                const candidate = candidateFor(node.arr);
+                if (candidate) {
+                    // The scan that places the literal counts every indexed read; the
+                    // constant-data scan leaves these uncounted, so its tables are
+                    // unchanged.
+                    if (readers)
+                        candidate.reads++;
                     return expr(node.index);
+                }
                 break;
+            }
+            case "call": {
+                const candidate = readerNames !== null && readerNames.has(node.callee) && node.args.length === 2
+                    ? candidateFor(node.args[0])
+                    : undefined;
+                if (candidate) {
+                    candidate.reads++;
+                    return expr(node.args[1]);
+                }
+                break;
+            }
             case "varRef":
             case "assignExpr":
             case "incDec":
@@ -83,17 +117,19 @@ export function findConstantNumericTables(mod) {
                         if (init.kind === "arrayLit" &&
                             !init.spreads?.length &&
                             init.elems.length > 0 &&
-                            init.elems.length <= MAX_TABLE_ELEMENTS) {
+                            init.elems.length <= maxElements) {
                             const values = [];
                             for (const elem of init.elems) {
                                 const value = literalNumber(elem);
                                 if (value !== null)
                                     values.push(value);
                             }
-                            if (values.length === init.elems.length)
+                            if (values.length === init.elems.length) {
                                 candidate.values = values;
+                                candidate.node = init;
+                            }
                         }
-                        if (candidate.values === null)
+                        if (candidate.node === null)
                             candidate.rejected = true;
                     }
                     else
@@ -116,10 +152,40 @@ export function findConstantNumericTables(mod) {
         if (!candidate.rejected &&
             candidate.writes === 1 &&
             candidate.reads > 0 &&
-            candidate.values !== null) {
-            tables.set(id, { symbol: `sc_const_numbers_${tables.size}`, values: candidate.values });
+            candidate.values !== null &&
+            candidate.node !== null) {
+            tables.set(id, { values: candidate.values, node: candidate.node });
         }
     }
     return tables;
 }
+/** Find module globals whose only observable uses are primitive indexed
+ * reads and length queries. Backends keep the array's own allocation and
+ * initialization and read the constant data instead.
+ *
+ * This is read specialization only. Backends retain the original allocation,
+ * initialization, receiver evaluation and cleanup. They must guard against
+ * an uninitialized receiver and preserve the generic accessor for invalid
+ * indices; the constant data must never make a not-yet-initialized array
+ * observable early. No IR or runtime representation changes are needed. */
+export function findConstantNumericTables(mod) {
+    const tables = new Map();
+    for (const [id, table] of scanNumericTables(mod, MAX_TABLE_ELEMENTS, false)) {
+        tables.set(id, { symbol: `sc_const_numbers_${tables.size}`, values: table.values });
+    }
+    return tables;
+}
+/** The initializing array literals of the same tables, for the backends that
+ * construct them in place: the array becomes immortal storage over the data
+ * in the program image, so it is neither allocated nor copied. Those backends
+ * rely on the scan above having proved that nothing writes the table. Only
+ * literals too large for an array's inline slots qualify: smaller ones are
+ * built in place from registers. */
+export function findStaticArrayTables(mod) {
+    const tables = new Set();
+    for (const table of scanNumericTables(mod, Number.POSITIVE_INFINITY, true).values())
+        if (table.values.length >= MIN_STATIC_ELEMENTS)
+            tables.add(table.node);
+    return tables;
+}
 //# sourceMappingURL=constant-tables.js.map

package/dist/ir/constant-tables.js.map

@@ -1 +1 @@
-{"version":3,"file":"constant-tables.js","sourceRoot":"","sources":["../../src/ir/constant-tables.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAO/D,MAAM,kBAAkB,GAAG,GAAG,CAAC;AAE/B,SAAS,aAAa,CAAC,IAAY;IACjC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC;IAC9C,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1C,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,CAAC,KAAK,CAAC;IACpC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;2EAU2E;AAC3E,MAAM,UAAU,yBAAyB,CACvC,GAAa;IAEb,MAAM,UAAU,GAAG,IAAI,GAAG,EAGvB,CAAC;IACJ,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;QACvC,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACvF,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;QACpF,CAAC;IACH,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,IAAI,GAAG,EAAE,CAAC;IAE5C,SAAS,YAAY,CAAC,IAAY;QAChC,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;YAC1F,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;YAC9B,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAED,SAAS,MAAM,CAAC,EAAU;QACxB,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACrC,IAAI,SAAS;YAAE,SAAS,CAAC,QAAQ,GAAG,IAAI,CAAC;IAC3C,CAAC;IAED,SAAS,IAAI,CAAC,IAAY;QACxB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,SAAS,CAAC;YACf,KAAK,UAAU;gBACb,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,IAAI,EAAE;oBAAE,MAAM,CAAC,EAAE,CAAC,CAAC;gBACjD,MAAM;YACR,KAAK,cAAc,EAAE,CAAC;gBACpB,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC9C,IACE,SAAS;oBACT,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC;wBACtD,CAAC,IAAI,CAAC,MAAM,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,EACvD,CAAC;oBACD,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW;wBAAE,SAAS,CAAC,KAAK,EAAE,CAAC;oBACnD,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC/B,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,UAAU,CAAC;YAChB,KAAK,UAAU,CAAC;YAChB,KAAK,YAAY;gBACf,IAAI,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC;oBAAE,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACpD,MAAM;YACR,KAAK,QAAQ,CAAC;YACd,KAAK,YAAY,CAAC;YAClB,KAAK,QAAQ;gBACX,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACrB,MAAM;QACV,CAAC;QACD,OAAO,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1C,CAAC;IAED,SAAS,IAAI,CAAC,IAAY;QACxB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,QAAQ,EAAE,CAAC;gBACd,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAC/C,IAAI,SAAS,EAAE,CAAC;oBACd,SAAS,CAAC,MAAM,EAAE,CAAC;oBACnB,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wBAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC;wBACxB,IACE,IAAI,CAAC,IAAI,KAAK,UAAU;4BACxB,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM;4BACrB,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;4BACrB,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,kBAAkB,EACvC,CAAC;4BACD,MAAM,MAAM,GAAa,EAAE,CAAC;4BAC5B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gCAC9B,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;gCAClC,IAAI,KAAK,KAAK,IAAI;oCAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;4BACzC,CAAC;4BACD,IAAI,MAAM,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM;gCAAE,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC;wBACrE,CAAC;wBACD,IAAI,SAAS,CAAC,MAAM,KAAK,IAAI;4BAAE,SAAS,CAAC,QAAQ,GAAG,IAAI,CAAC;oBAC3D,CAAC;;wBAAM,SAAS,CAAC,QAAQ,GAAG,IAAI,CAAC;gBACnC,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,SAAS,CAAC;YACf,KAAK,OAAO,CAAC;YACb,KAAK,SAAS;gBACZ,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACrB,MAAM;QACV,CAAC;QACD,OAAO,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1C,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS;QAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACpD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAgC,CAAC;IACvD,KAAK,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,UAAU,EAAE,CAAC;QACzC,IACE,CAAC,SAAS,CAAC,QAAQ;YACnB,SAAS,CAAC,MAAM,KAAK,CAAC;YACtB,SAAS,CAAC,KAAK,GAAG,CAAC;YACnB,SAAS,CAAC,MAAM,KAAK,IAAI,EACzB,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,oBAAoB,MAAM,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;QAC1F,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}
+{"version":3,"file":"constant-tables.js","sourceRoot":"","sources":["../../src/ir/constant-tables.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAO/D,MAAM,kBAAkB,GAAG,GAAG,CAAC;AAE/B;;gEAEgE;AAChE,MAAM,mBAAmB,GAAG,EAAE,CAAC;AAE/B,SAAS,aAAa,CAAC,IAAY;IACjC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC;IAC9C,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1C,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,CAAC,KAAK,CAAC;IACpC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAOD;;;;;;;;;SASS;AACT,SAAS,iBAAiB,CACxB,GAAa,EACb,WAAmB,EACnB,OAAgB;IAEhB,MAAM,UAAU,GAAG,IAAI,GAAG,EASvB,CAAC;IACJ,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;QACvC,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACvF,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE;gBACxB,MAAM,EAAE,IAAI;gBACZ,IAAI,EAAE,IAAI;gBACV,MAAM,EAAE,CAAC;gBACT,KAAK,EAAE,CAAC;gBACR,QAAQ,EAAE,KAAK;aAChB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,IAAI,GAAG,EAAE,CAAC;IAC5C;yDACqD;IACrD,MAAM,WAAW,GAAG,OAAO;QACzB,CAAC,CAAC,IAAI,GAAG,CACL,GAAG,CAAC,SAAS;aACV,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC;aAC3E,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CACxB;QACH,CAAC,CAAC,IAAI,CAAC;IAET,SAAS,YAAY,CAAC,IAAY;QAChC,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;YAC1F,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;YAC9B,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAED,SAAS,MAAM,CAAC,EAAU;QACxB,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACrC,IAAI,SAAS;YAAE,SAAS,CAAC,QAAQ,GAAG,IAAI,CAAC;IAC3C,CAAC;IAED,SAAS,IAAI,CAAC,IAAY;QACxB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,SAAS,CAAC;YACf,KAAK,UAAU;gBACb,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,IAAI,EAAE;oBAAE,MAAM,CAAC,EAAE,CAAC,CAAC;gBACjD,MAAM;YACR,KAAK,cAAc,EAAE,CAAC;gBACpB,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC9C,IACE,SAAS;oBACT,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC;wBACtD,CAAC,IAAI,CAAC,MAAM,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,EACvD,CAAC;oBACD,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW;wBAAE,SAAS,CAAC,KAAK,EAAE,CAAC;oBACnD,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC/B,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,UAAU,CAAC;YAChB,KAAK,UAAU,CAAC;YAChB,KAAK,YAAY,EAAE,CAAC;gBAClB,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACzC,IAAI,SAAS,EAAE,CAAC;oBACd,kEAAkE;oBAClE,+DAA+D;oBAC/D,aAAa;oBACb,IAAI,OAAO;wBAAE,SAAS,CAAC,KAAK,EAAE,CAAC;oBAC/B,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC1B,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,MAAM,EAAE,CAAC;gBACZ,MAAM,SAAS,GACb,WAAW,KAAK,IAAI,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;oBAC5E,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;oBAC7B,CAAC,CAAC,SAAS,CAAC;gBAChB,IAAI,SAAS,EAAE,CAAC;oBACd,SAAS,CAAC,KAAK,EAAE,CAAC;oBAClB,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;gBAC7B,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,QAAQ,CAAC;YACd,KAAK,YAAY,CAAC;YAClB,KAAK,QAAQ;gBACX,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACrB,MAAM;QACV,CAAC;QACD,OAAO,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1C,CAAC;IAED,SAAS,IAAI,CAAC,IAAY;QACxB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,QAAQ,EAAE,CAAC;gBACd,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAC/C,IAAI,SAAS,EAAE,CAAC;oBACd,SAAS,CAAC,MAAM,EAAE,CAAC;oBACnB,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wBAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC;wBACxB,IACE,IAAI,CAAC,IAAI,KAAK,UAAU;4BACxB,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM;4BACrB,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;4BACrB,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,WAAW,EAChC,CAAC;4BACD,MAAM,MAAM,GAAa,EAAE,CAAC;4BAC5B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gCAC9B,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;gCAClC,IAAI,KAAK,KAAK,IAAI;oCAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;4BACzC,CAAC;4BACD,IAAI,MAAM,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;gCACxC,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC;gCAC1B,SAAS,CAAC,IAAI,GAAG,IAAI,CAAC;4BACxB,CAAC;wBACH,CAAC;wBACD,IAAI,SAAS,CAAC,IAAI,KAAK,IAAI;4BAAE,SAAS,CAAC,QAAQ,GAAG,IAAI,CAAC;oBACzD,CAAC;;wBAAM,SAAS,CAAC,QAAQ,GAAG,IAAI,CAAC;gBACnC,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,SAAS,CAAC;YACf,KAAK,OAAO,CAAC;YACb,KAAK,SAAS;gBACZ,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACrB,MAAM;QACV,CAAC;QACD,OAAO,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1C,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS;QAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACpD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC/C,KAAK,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,UAAU,EAAE,CAAC;QACzC,IACE,CAAC,SAAS,CAAC,QAAQ;YACnB,SAAS,CAAC,MAAM,KAAK,CAAC;YACtB,SAAS,CAAC,KAAK,GAAG,CAAC;YACnB,SAAS,CAAC,MAAM,KAAK,IAAI;YACzB,SAAS,CAAC,IAAI,KAAK,IAAI,EACvB,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;QACrE,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;;2EAQ2E;AAC3E,MAAM,UAAU,yBAAyB,CACvC,GAAa;IAEb,MAAM,MAAM,GAAG,IAAI,GAAG,EAAgC,CAAC;IACvD,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,iBAAiB,CAAC,GAAG,EAAE,kBAAkB,EAAE,KAAK,CAAC,EAAE,CAAC;QAC5E,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,oBAAoB,MAAM,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IACtF,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;oCAKoC;AACpC,MAAM,UAAU,qBAAqB,CAAC,GAAa;IACjD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,KAAK,MAAM,KAAK,IAAI,iBAAiB,CAAC,GAAG,EAAE,MAAM,CAAC,iBAAiB,EAAE,IAAI,CAAC,CAAC,MAAM,EAAE;QACjF,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,IAAI,mBAAmB;YAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACzE,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/ir/constant-tables.test.js

@@ -1,5 +1,5 @@
 import { expect, test } from "vitest";
-import { findConstantNumericTables } from "./constant-tables.js";
+import { findConstantNumericTables, findStaticArrayTables } from "./constant-tables.js";
 import { arrayOf, F64, funcOf, VOID } from "./ir.js";
 import { validateModule } from "./validate.js";
 const loc = { file: "constant-tables.ts", start: 0, end: 0 };
@@ -115,4 +115,61 @@ test.each(["mutable", "spread", "effectful", "empty", "large", "missing initiali
         mod.functions[0].body.shift();
     expect(findConstantNumericTables(mod).size).toBe(0);
 });
+/** The fixture with a `count`-element literal table, and that literal. */
+function sized(count) {
+    const mod = fixture();
+    const init = mod.functions[0].body[0].value;
+    if (init.kind !== "arrayLit")
+        throw new Error("fixture");
+    init.elems = Array.from({ length: count }, (_, i) => num(i + 25));
+    return { mod, init };
+}
+test("static tables are the literals too large for an array's inline slots", () => {
+    const { mod, init } = sized(17);
+    expect(validateModule(mod)).toEqual([]);
+    expect([...findStaticArrayTables(mod)]).toEqual([init]);
+});
+test("static tables leave a literal that fits inline slots on the in-place path", () => {
+    expect(findStaticArrayTables(sized(16).mod).size).toBe(0);
+});
+test("static tables cover literals past the constant-data limit", () => {
+    expect(findStaticArrayTables(sized(4250).mod).size).toBe(1);
+});
+test("indexed reads alone keep a static table", () => {
+    const { mod } = sized(17);
+    mod.functions[0].body[1] = expr({
+        kind: "arrayGet",
+        arr: ref(),
+        index: num(1),
+        type: F64,
+        loc,
+    });
+    expect(validateModule(mod)).toEqual([]);
+    expect(findStaticArrayTables(mod).size).toBe(1);
+});
+test.each(["element", "length", "argument", "return", "reassign", "callback"])("static tables refuse %s uses", (use) => {
+    const { mod } = sized(17);
+    const body = mod.functions[0].body;
+    const mutation = { kind: "arraySet", arr: ref(), index: num(0), value: num(9), loc };
+    if (use === "element")
+        body.push(mutation);
+    else if (use === "length")
+        body.push({ kind: "arraySetLength", arr: ref(), length: num(0), loc });
+    else if (use === "argument")
+        body.push(expr({ kind: "call", callee: "external", args: [ref()], type: VOID, loc }));
+    else if (use === "return")
+        body.push({ kind: "return", value: ref(), loc });
+    else if (use === "reassign")
+        body.push(body[0]);
+    else
+        mod.functions.push({
+            name: "laterCallback",
+            params: [],
+            returnType: VOID,
+            locals: [],
+            body: [mutation],
+            loc,
+        });
+    expect(findStaticArrayTables(mod).size).toBe(0);
+});
 //# sourceMappingURL=constant-tables.test.js.map

package/dist/ir/constant-tables.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"constant-tables.test.js","sourceRoot":"","sources":["../../src/ir/constant-tables.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,yBAAyB,EAAE,MAAM,sBAAsB,CAAC;AACjE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAA2C,MAAM,SAAS,CAAC;AAC9F,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAE/C,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAC7D,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;AAC1B,MAAM,EAAE,GAAG,UAAU,CAAC;AACtB,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACnF,MAAM,GAAG,GAAG,GAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AACvE,MAAM,IAAI,GAAG,CAAC,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,EAAU,EAAE,CAAC,CAAC;IACxC,IAAI,EAAE,cAAc;IACpB,MAAM,EAAE,WAAW;IACnB,QAAQ,EAAE,GAAG,EAAE;IACf,IAAI,EAAE,CAAC,KAAK,CAAC;IACb,IAAI,EAAE,GAAG;IACT,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,IAAI,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;AAEjF,SAAS,OAAO;IACd,OAAO;QACL,SAAS,EAAE,EAAE;QACb,UAAU,EAAE,GAAG,CAAC,IAAI;QACpB,KAAK,EAAE,MAAM;QACb,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QACtD,SAAS,EAAE;YACT;gBACE,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,EAAE;gBACV,UAAU,EAAE,IAAI;gBAChB,MAAM,EAAE,EAAE;gBACV,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,QAAQ;wBACd,OAAO,EAAE,EAAE;wBACX,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE;wBAC/E,GAAG;qBACJ;oBACD,IAAI,CAAC,IAAI,EAAE,CAAC;iBACb;gBACD,GAAG;aACJ;SACF;KACF,CAAC;AACJ,CAAC;AAED,IAAI,CAAC,iFAAiF,EAAE,GAAG,EAAE;IAC3F,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;IAClF,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;AAC9B,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC;IACR,OAAO;IACP,SAAS;IACT,QAAQ;IACR,UAAU;IACV,QAAQ;IACR,UAAU;IACV,gBAAgB;IAChB,SAAS;IACT,UAAU;CACX,CAAC,CAAC,wCAAwC,EAAE,CAAC,GAAG,EAAE,EAAE;IACnD,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,MAAM,IAAI,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC;IACpC,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC;IAC7F,IAAI,GAAG,KAAK,OAAO,EAAE,CAAC;QACpB,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QACpF,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;IACrE,CAAC;SAAM,IAAI,GAAG,KAAK,SAAS;QAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;SAC7C,IAAI,GAAG,KAAK,QAAQ;QAAE,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;SAC7F,IAAI,GAAG,KAAK,UAAU;QACzB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;SACnF,IAAI,GAAG,KAAK,QAAQ;QAAE,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;SACvE,IAAI,GAAG,KAAK,UAAU;QAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;SAC5C,IAAI,GAAG,KAAK,gBAAgB;QAC/B,IAAI,CAAC,IAAI,CACP,IAAI,CACF,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CACzF,CACF,CAAC;SACC,IAAI,GAAG,KAAK,SAAS;QACxB,IAAI,CAAC,IAAI,CACP,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAC3F,CAAC;;QAEF,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC;YACjB,IAAI,EAAE,eAAe;YACrB,MAAM,EAAE,EAAE;YACV,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,EAAE;YACV,IAAI,EAAE,CAAC,QAAQ,CAAC;YAChB,GAAG;SACJ,CAAC,CAAC;IACL,MAAM,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACtD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,8EAA8E,EAAE,GAAG,EAAE;IACxF,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,IAAI,CACzB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EACxB,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAC3F,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CACtE,CAAC;IACF,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACtD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,EAAE,qBAAqB,CAAC,CAAC,CACpF,sCAAsC,EACtC,CAAC,MAAM,EAAE,EAAE;IACT,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,MAAM,IAAI,GAAI,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAiC,CAAC,KAEvE,CAAC;IACF,IAAI,MAAM,KAAK,SAAS;QAAE,GAAG,CAAC,OAAQ,CAAC,CAAC,CAAE,CAAC,OAAO,GAAG,IAAI,CAAC;SACrD,IAAI,MAAM,KAAK,QAAQ;QAAE,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC;SAC5C,IAAI,MAAM,KAAK,WAAW;QAC7B,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;SAC1E,IAAI,MAAM,KAAK,OAAO;QAAE,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;SACxC,IAAI,MAAM,KAAK,OAAO;QAAE,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;;QAC/E,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;IACpC,MAAM,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACtD,CAAC,CACF,CAAC"}
+{"version":3,"file":"constant-tables.test.js","sourceRoot":"","sources":["../../src/ir/constant-tables.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,yBAAyB,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AACxF,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAA2C,MAAM,SAAS,CAAC;AAC9F,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAE/C,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAC7D,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;AAC1B,MAAM,EAAE,GAAG,UAAU,CAAC;AACtB,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACnF,MAAM,GAAG,GAAG,GAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AACvE,MAAM,IAAI,GAAG,CAAC,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,EAAU,EAAE,CAAC,CAAC;IACxC,IAAI,EAAE,cAAc;IACpB,MAAM,EAAE,WAAW;IACnB,QAAQ,EAAE,GAAG,EAAE;IACf,IAAI,EAAE,CAAC,KAAK,CAAC;IACb,IAAI,EAAE,GAAG;IACT,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,IAAI,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;AAEjF,SAAS,OAAO;IACd,OAAO;QACL,SAAS,EAAE,EAAE;QACb,UAAU,EAAE,GAAG,CAAC,IAAI;QACpB,KAAK,EAAE,MAAM;QACb,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QACtD,SAAS,EAAE;YACT;gBACE,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,EAAE;gBACV,UAAU,EAAE,IAAI;gBAChB,MAAM,EAAE,EAAE;gBACV,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,QAAQ;wBACd,OAAO,EAAE,EAAE;wBACX,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE;wBAC/E,GAAG;qBACJ;oBACD,IAAI,CAAC,IAAI,EAAE,CAAC;iBACb;gBACD,GAAG;aACJ;SACF;KACF,CAAC;AACJ,CAAC;AAED,IAAI,CAAC,iFAAiF,EAAE,GAAG,EAAE;IAC3F,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;IAClF,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;AAC9B,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC;IACR,OAAO;IACP,SAAS;IACT,QAAQ;IACR,UAAU;IACV,QAAQ;IACR,UAAU;IACV,gBAAgB;IAChB,SAAS;IACT,UAAU;CACX,CAAC,CAAC,wCAAwC,EAAE,CAAC,GAAG,EAAE,EAAE;IACnD,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,MAAM,IAAI,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC;IACpC,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC;IAC7F,IAAI,GAAG,KAAK,OAAO,EAAE,CAAC;QACpB,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QACpF,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;IACrE,CAAC;SAAM,IAAI,GAAG,KAAK,SAAS;QAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;SAC7C,IAAI,GAAG,KAAK,QAAQ;QAAE,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;SAC7F,IAAI,GAAG,KAAK,UAAU;QACzB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;SACnF,IAAI,GAAG,KAAK,QAAQ;QAAE,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;SACvE,IAAI,GAAG,KAAK,UAAU;QAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;SAC5C,IAAI,GAAG,KAAK,gBAAgB;QAC/B,IAAI,CAAC,IAAI,CACP,IAAI,CACF,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CACzF,CACF,CAAC;SACC,IAAI,GAAG,KAAK,SAAS;QACxB,IAAI,CAAC,IAAI,CACP,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAC3F,CAAC;;QAEF,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC;YACjB,IAAI,EAAE,eAAe;YACrB,MAAM,EAAE,EAAE;YACV,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,EAAE;YACV,IAAI,EAAE,CAAC,QAAQ,CAAC;YAChB,GAAG;SACJ,CAAC,CAAC;IACL,MAAM,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACtD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,8EAA8E,EAAE,GAAG,EAAE;IACxF,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,IAAI,CACzB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EACxB,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAC3F,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CACtE,CAAC;IACF,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACtD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,EAAE,qBAAqB,CAAC,CAAC,CACpF,sCAAsC,EACtC,CAAC,MAAM,EAAE,EAAE;IACT,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,MAAM,IAAI,GAAI,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAiC,CAAC,KAEvE,CAAC;IACF,IAAI,MAAM,KAAK,SAAS;QAAE,GAAG,CAAC,OAAQ,CAAC,CAAC,CAAE,CAAC,OAAO,GAAG,IAAI,CAAC;SACrD,IAAI,MAAM,KAAK,QAAQ;QAAE,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC;SAC5C,IAAI,MAAM,KAAK,WAAW;QAC7B,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;SAC1E,IAAI,MAAM,KAAK,OAAO;QAAE,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;SACxC,IAAI,MAAM,KAAK,OAAO;QAAE,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;;QAC/E,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;IACpC,MAAM,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACtD,CAAC,CACF,CAAC;AAEF,0EAA0E;AAC1E,SAAS,KAAK,CAAC,KAAa;IAC1B,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,MAAM,IAAI,GAAI,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAiC,CAAC,KAAK,CAAC;IAC9E,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC;IACzD,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IAClE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;AACvB,CAAC;AAED,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;IAChF,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC;IAChC,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,CAAC,CAAC,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC1D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2EAA2E,EAAE,GAAG,EAAE;IACrF,MAAM,CAAC,qBAAqB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC5D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2DAA2D,EAAE,GAAG,EAAE;IACrE,MAAM,CAAC,qBAAqB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC9D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,yCAAyC,EAAE,GAAG,EAAE;IACnD,MAAM,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC;IAC1B,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC;QAC/B,IAAI,EAAE,UAAU;QAChB,GAAG,EAAE,GAAG,EAAE;QACV,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;QACb,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,CAC5E,8BAA8B,EAC9B,CAAC,GAAG,EAAE,EAAE;IACN,MAAM,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC;IAC1B,MAAM,IAAI,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC;IACpC,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC;IAC7F,IAAI,GAAG,KAAK,SAAS;QAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;SACtC,IAAI,GAAG,KAAK,QAAQ;QACvB,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;SACpE,IAAI,GAAG,KAAK,UAAU;QACzB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;SACnF,IAAI,GAAG,KAAK,QAAQ;QAAE,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;SACvE,IAAI,GAAG,KAAK,UAAU;QAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;;QAE/C,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC;YACjB,IAAI,EAAE,eAAe;YACrB,MAAM,EAAE,EAAE;YACV,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,EAAE;YACV,IAAI,EAAE,CAAC,QAAQ,CAAC;YAChB,GAAG;SACJ,CAAC,CAAC;IACL,MAAM,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC,CACF,CAAC"}

package/dist/ir/fields.generated.js

@@ -227,7 +227,8 @@ export function eachStringField(node, visit) {
         }
         case "fieldAbsent": {
             visit(node.kind, "kind");
-            visit(node.unionId, "unionId");
+            if (typeof node.unionId === "string")
+                visit(node.unionId, "unionId");
             return;
         }
         case "fieldGet": {
@@ -991,7 +992,9 @@ export function walkExprFields(node, walker, skipType) {
         }
         case "fieldAbsent": {
             walker.string(node.kind);
-            walker.string(node.unionId);
+            if (node.unionId !== undefined && node.unionId !== null) {
+                walker.string(node.unionId);
+            }
             if (!skipType) {
                 walkTypeFields(node.type, walker, skipType);
             }