@scriptc/compiler 0.3.4 → 0.3.5

package/dist/ir/field-values.test.js

@@ -0,0 +1,160 @@
+import { expect, test } from "vitest";
+import { hoistFinalFieldReads } from "./field-values.js";
+import { analyzeFinalFields } from "./final-fields.js";
+import { BOOL, F64, VOID, } from "./ir.js";
+const loc = { file: "field-values.ts", start: 0, end: 0 };
+const GRID = { kind: "object", className: "Grid" };
+const num = (value) => ({ loc, kind: "numLit", value, type: F64 });
+const ref = (localId, type = F64) => ({
+    loc,
+    kind: "varRef",
+    localId,
+    type,
+});
+const field = (obj, name) => ({
+    loc,
+    kind: "fieldGet",
+    obj: ref(obj, GRID),
+    className: "Grid",
+    field: name,
+    type: F64,
+});
+const lt = (left, right) => ({
+    loc,
+    kind: "bin",
+    op: "<",
+    left,
+    right,
+    type: BOOL,
+});
+const loopReading = (...reads) => ({
+    loc,
+    kind: "while",
+    cond: lt(ref("i"), reads[0]),
+    body: reads.slice(1).map((expr) => ({ loc, kind: "exprStmt", expr })),
+});
+const set = (obj, name, value) => ({
+    loc,
+    kind: "fieldSet",
+    obj: ref(obj, GRID),
+    className: "Grid",
+    field: name,
+    value,
+});
+const method = (name, body, extra = {}) => ({
+    loc,
+    name,
+    params: [{ localId: "this", name: "this", type: GRID }],
+    locals: [
+        { id: "this", name: "this", type: GRID, mutable: false },
+        { id: "i", name: "i", type: F64, mutable: true },
+    ],
+    returnType: VOID,
+    body,
+    ...extra,
+});
+const grid = {
+    name: "Grid",
+    fields: [
+        { name: "w", type: F64 },
+        { name: "count", type: F64 },
+        { name: "hits", type: F64 },
+    ],
+    methods: [],
+};
+const moduleOf = (functions) => ({
+    irVersion: 16,
+    sourceFile: "field-values.ts",
+    entry: "%init",
+    classes: [grid],
+    functions: [
+        method("%Grid.constructor", [
+            set("this", "w", num(8)),
+            set("this", "count", num(0)),
+            set("this", "hits", num(0)),
+        ]),
+        ...functions,
+    ],
+});
+const hoistedLocals = (mod, name) => {
+    const before = mod.functions.find((f) => f.name === name);
+    const after = hoistFinalFieldReads(mod).functions.find((f) => f.name === name);
+    return after.locals.slice(before.locals.length).map((l) => l.id);
+};
+test("scalar final fields exclude fields written or updated outside their constructor", () => {
+    const mod = moduleOf([
+        method("%Grid.bump", [
+            set("this", "count", num(1)),
+            {
+                loc,
+                kind: "exprStmt",
+                expr: {
+                    loc,
+                    kind: "fieldIncDec",
+                    op: "+",
+                    prefix: true,
+                    obj: ref("this", GRID),
+                    className: "Grid",
+                    field: "hits",
+                    fieldDyn: false,
+                    type: F64,
+                },
+            },
+        ]),
+    ]);
+    const finals = analyzeFinalFields(mod, true);
+    expect(["w", "count", "hits"].filter((f) => finals.isFinal("Grid", f))).toEqual(["w"]);
+    // Reference-only analysis ignores scalar fields entirely.
+    expect(analyzeFinalFields(mod).isFinal("Grid", "w")).toBe(false);
+});
+test("loops read a final field of a receiver once, before the loop", () => {
+    const mod = moduleOf([
+        method("%Grid.scan", [
+            loopReading(field("this", "w"), field("this", "w"), field("this", "count")),
+        ]),
+        method("%Grid.bump", [set("this", "count", num(1))]),
+    ]);
+    const out = hoistFinalFieldReads(mod).functions.find((f) => f.name === "%Grid.scan");
+    expect(out.locals.slice(-1)).toEqual([
+        { id: "this.w%final", name: "w", type: F64, mutable: false },
+    ]);
+    const block = out.body[0];
+    expect(block.kind).toBe("block");
+    if (block.kind !== "block")
+        return;
+    expect(block.body[0]).toMatchObject({
+        kind: "varDecl",
+        localId: "this.w%final",
+        init: { kind: "fieldGet", field: "w" },
+    });
+    const loop = block.body[1];
+    if (loop.kind !== "while")
+        throw new Error("expected the loop");
+    expect(loop.cond).toMatchObject({ right: { kind: "varRef", localId: "this.w%final" } });
+    // The written field keeps its per-use read.
+    expect(loop.body[1]).toMatchObject({
+        kind: "exprStmt",
+        expr: { kind: "fieldGet", field: "count" },
+    });
+});
+test("constructors, suspending functions and rebound receivers keep their reads", () => {
+    const scan = [loopReading(field("this", "w"))];
+    const rebinding = [
+        { loc, kind: "assign", localId: "this", value: ref("this", GRID) },
+        ...scan,
+    ];
+    const mod = moduleOf([
+        method("%Grid.gen", scan, {
+            generator: { yieldT: F64, nextT: F64, resultType: { kind: "record", shapeId: "%gen" } },
+        }),
+        method("%Grid.later", scan, { async: true }),
+        method("%Grid.rebind", rebinding),
+        method("%Grid.plain", [{ loc, kind: "exprStmt", expr: field("this", "w") }]),
+    ]);
+    for (const name of ["%Grid.gen", "%Grid.later", "%Grid.rebind", "%Grid.plain"])
+        expect(hoistedLocals(mod, name)).toEqual([]);
+    const ctor = moduleOf([]);
+    ctor.functions[0] = method("%Grid.constructor", [set("this", "w", num(8)), ...scan]);
+    expect(hoistedLocals(ctor, "%Grid.constructor")).toEqual([]);
+});
+//# sourceMappingURL=field-values.test.js.map

package/dist/ir/field-values.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"field-values.test.js","sourceRoot":"","sources":["../../src/ir/field-values.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,EACL,IAAI,EACJ,GAAG,EACH,IAAI,GAOL,MAAM,SAAS,CAAC;AAEjB,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAC1D,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;AAC3D,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AACnF,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,KAAK,GAAG,CAAC,GAAW,EAAE,IAAY,EAAU,EAAE,CAAC,CAAC;IACpD,GAAG;IACH,IAAI,EAAE,UAAU;IAChB,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;IACnB,SAAS,EAAE,MAAM;IACjB,KAAK,EAAE,IAAI;IACX,IAAI,EAAE,GAAG;CACV,CAAC,CAAC;AACH,MAAM,EAAE,GAAG,CAAC,IAAY,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC;IACnD,GAAG;IACH,IAAI,EAAE,KAAK;IACX,EAAE,EAAE,GAAG;IACP,IAAI;IACJ,KAAK;IACL,IAAI,EAAE,IAAI;CACX,CAAC,CAAC;AACH,MAAM,WAAW,GAAG,CAAC,GAAG,KAAe,EAAU,EAAE,CAAC,CAAC;IACnD,GAAG;IACH,IAAI,EAAE,OAAO;IACb,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC;IAC7B,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;CACtE,CAAC,CAAC;AACH,MAAM,GAAG,GAAG,CAAC,GAAW,EAAE,IAAY,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC;IACjE,GAAG;IACH,IAAI,EAAE,UAAU;IAChB,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;IACnB,SAAS,EAAE,MAAM;IACjB,KAAK,EAAE,IAAI;IACX,KAAK;CACN,CAAC,CAAC;AACH,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,IAAc,EAAE,KAAK,GAAwB,EAAE,EAAc,EAAE,CAAC,CAAC;IAC7F,GAAG;IACH,IAAI;IACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACvD,MAAM,EAAE;QACN,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;QACxD,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE;KACjD;IACD,UAAU,EAAE,IAAI;IAChB,IAAI;IACJ,GAAG,KAAK;CACT,CAAC,CAAC;AACH,MAAM,IAAI,GAAe;IACvB,IAAI,EAAE,MAAM;IACZ,MAAM,EAAE;QACN,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE;QACxB,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE;QAC5B,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE;KAC5B;IACD,OAAO,EAAE,EAAE;CACa,CAAC;AAC3B,MAAM,QAAQ,GAAG,CAAC,SAAuB,EAAY,EAAE,CAAC,CAAC;IACvD,SAAS,EAAE,EAAE;IACb,UAAU,EAAE,iBAAiB;IAC7B,KAAK,EAAE,OAAO;IACd,OAAO,EAAE,CAAC,IAAI,CAAC;IACf,SAAS,EAAE;QACT,MAAM,CAAC,mBAAmB,EAAE;YAC1B,GAAG,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YACxB,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YAC5B,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;SAC5B,CAAC;QACF,GAAG,SAAS;KACb;CACF,CAAC,CAAC;AACH,MAAM,aAAa,GAAG,CAAC,GAAa,EAAE,IAAY,EAAY,EAAE;IAC9D,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAE,CAAC;IAC3D,MAAM,KAAK,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAE,CAAC;IAChF,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AACnE,CAAC,CAAC;AAEF,IAAI,CAAC,iFAAiF,EAAE,GAAG,EAAE;IAC3F,MAAM,GAAG,GAAG,QAAQ,CAAC;QACnB,MAAM,CAAC,YAAY,EAAE;YACnB,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YAC5B;gBACE,GAAG;gBACH,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE;oBACJ,GAAG;oBACH,IAAI,EAAE,aAAa;oBACnB,EAAE,EAAE,GAAG;oBACP,MAAM,EAAE,IAAI;oBACZ,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;oBACtB,SAAS,EAAE,MAAM;oBACjB,KAAK,EAAE,MAAM;oBACb,QAAQ,EAAE,KAAK;oBACf,IAAI,EAAE,GAAG;iBACV;aACF;SACF,CAAC;KACH,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC7C,MAAM,CAAC,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACvF,0DAA0D;IAC1D,MAAM,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACnE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,8DAA8D,EAAE,GAAG,EAAE;IACxE,MAAM,GAAG,GAAG,QAAQ,CAAC;QACnB,MAAM,CAAC,YAAY,EAAE;YACnB,WAAW,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;SAC5E,CAAC;QACF,MAAM,CAAC,YAAY,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KACrD,CAAC,CAAC;IACH,MAAM,GAAG,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAE,CAAC;IACtF,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;QACnC,EAAE,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;KAC7D,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;IAC3B,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACjC,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO;IACnC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;QAClC,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,cAAc;QACvB,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE;KACvC,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;IAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,mBAAmB,CAAC,CAAC;IAChE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE,CAAC,CAAC;IACxF,4CAA4C;IAC5C,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;QACjC,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE;KAC3C,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2EAA2E,EAAE,GAAG,EAAE;IACrF,MAAM,IAAI,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IAC/C,MAAM,SAAS,GAAa;QAC1B,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE;QAClE,GAAG,IAAI;KACR,CAAC;IACF,MAAM,GAAG,GAAG,QAAQ,CAAC;QACnB,MAAM,CAAC,WAAW,EAAE,IAAI,EAAE;YACxB,SAAS,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE;SACxF,CAAC;QACF,MAAM,CAAC,aAAa,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAC5C,MAAM,CAAC,cAAc,EAAE,SAAS,CAAC;QACjC,MAAM,CAAC,aAAa,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;KAC7E,CAAC,CAAC;IACH,KAAK,MAAM,IAAI,IAAI,CAAC,WAAW,EAAE,aAAa,EAAE,cAAc,EAAE,aAAa,CAAC;QAC5E,MAAM,CAAC,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC;IAC1B,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,mBAAmB,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;IACrF,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAC/D,CAAC,CAAC,CAAC"}

package/dist/ir/final-fields.d.ts

@@ -32,4 +32,7 @@ export declare class FinalFields {
 }
 /** `%C.constructor`'s class name, or null for any other function. */
 export declare function constructorClass(fnName: string): string | null;
-export declare function analyzeFinalFields(mod: IrModule): FinalFields;
+/** `scalars` extends the analysis from reference-counted fields to fields of
+ * every type, for consumers that read a final field's value once instead of
+ * borrowing it (field-values.ts). */
+export declare function analyzeFinalFields(mod: IrModule, scalars?: boolean): FinalFields;

package/dist/ir/final-fields.js

@@ -73,7 +73,10 @@ export function constructorClass(fnName) {
         ? fnName.slice(1, -CONSTRUCTOR_SUFFIX.length)
         : null;
 }
-export function analyzeFinalFields(mod) {
+/** `scalars` extends the analysis from reference-counted fields to fields of
+ * every type, for consumers that read a final field's value once instead of
+ * borrowing it (field-values.ts). */
+export function analyzeFinalFields(mod, scalars = false) {
     const classes = new Map((mod.classes ?? []).map((c) => [c.name, c]));
     const finals = new FinalFields(classes);
     if (mod.lib)
@@ -105,7 +108,7 @@ export function analyzeFinalFields(mod) {
     };
     for (const cls of classes.values())
         for (const field of cls.fields) {
-            if (!isRefCounted(field.type) || field.name.startsWith("%"))
+            if ((!scalars && !isRefCounted(field.type)) || field.name.startsWith("%"))
                 continue;
             const family = finals.family(cls.name, field.name);
             if (finals.reasons.has(family))
@@ -136,7 +139,12 @@ export function analyzeFinalFields(mod) {
             }
             return everyStmtChild(s, expr, stmt);
         };
-        const expr = (e) => everyExprChild(e, expr, stmt);
+        // `o.n++` updates a numeric field in place; reference fields never see it.
+        const expr = (e) => {
+            if (e.kind === "fieldIncDec" && finals.isFinal(e.className, e.field))
+                finals.drop(finals.family(e.className, e.field), `updated in ${fn.name}`);
+            return everyExprChild(e, expr, stmt);
+        };
         for (const s of fn.body)
             stmt(s);
     }

package/dist/ir/final-fields.js.map

@@ -1 +1 @@
-{"version":3,"file":"final-fields.js","sourceRoot":"","sources":["../../src/ir/final-fields.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAA4D,MAAM,SAAS,CAAC;AACjG,OAAO,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AACtD,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAE/D;;;;;;;;;;;;;;;;0BAgB0B;AAC1B,MAAM,OAAO,WAAW;IAMO,OAAO;IALnB,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IAC3B,QAAQ,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC7D,6DAA6D;IACpD,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE7C,YAA6B,OAAO,GAAoC,IAAI,GAAG,EAAE;uBAApD,OAAO;IAAgD,CAAC;IAErF,8EAA8E;IAC9E,MAAM,CAAC,SAAiB,EAAE,KAAa;QACrC,MAAM,GAAG,GAAG,GAAG,SAAS,KAAK,KAAK,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACtC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,IAAI,KAAK,GAA2B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAChE,IAAI,MAAM,GAAkB,IAAI,CAAC;QACjC,IAAI,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAChD,SAAS,CAAC;gBACR,MAAM,IAAI,GAA2B,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBAC3F,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC;oBAAE,MAAM;gBACvD,KAAK,GAAG,IAAI,CAAC;YACf,CAAC;YACD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACrC,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC/B,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,OAAO,CAAC,SAAiB,EAAE,KAAa;QACtC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QACzC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QAC7C,OAAO,MAAM,KAAK,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACpD,CAAC;IAED,IAAI,IAAI;QACN,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;IAC1B,CAAC;IAED,kDAAkD;IAClD,GAAG,CAAC,MAAc;QAChB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC1B,CAAC;IACD,IAAI,CAAC,MAAc,EAAE,GAAW;QAC9B,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAC7D,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC;CACF;AAED,MAAM,kBAAkB,GAAG,cAAc,CAAC;AAE1C,qEAAqE;AACrE,MAAM,UAAU,gBAAgB,CAAC,MAAc;IAC7C,OAAO,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,kBAAkB,CAAC;QAClE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;QAC7C,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,GAAa;IAC9C,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACrE,MAAM,MAAM,GAAG,IAAI,WAAW,CAAC,OAAO,CAAC,CAAC;IACxC,IAAI,GAAG,CAAC,GAAG;QAAE,OAAO,MAAM,CAAC;IAC3B,MAAM,OAAO,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC;IACxC,IAAI,OAAO,CAAC,GAAG;QAAE,OAAO,MAAM,CAAC;IAE/B,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1C,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,MAAM,EAAE;QAChC,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YAChC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC9B,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACrC,CAAC;IACH,MAAM,UAAU,GAAG,CAAC,GAAe,EAAW,EAAE;QAC9C,KAAK,IAAI,CAAC,GAA2B,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;YAC1F,IAAI,CAAC,CAAC,OAAO,IAAI,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC3D,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,OAAO,KAAK,CAAC;QACnD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,SAAiB,EAAE,MAAc,EAAW,EAAE;QAC9D,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QACpD,KAAK,IAAI,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;YAClF,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;gBAAE,OAAO,IAAI,CAAC;QACpC,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,MAAM,EAAE;QAChC,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YAC/B,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;gBAAE,SAAS;YACtE,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAE,CAAC;YACpD,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,SAAS;YACzC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,mCAAmC,CAAC,CAAC;iBAC1E,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;gBACpC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,mCAAmC,CAAC,CAAC;;gBACtD,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC1B,CAAC;IACH,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IAErC,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,gBAAgB,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACvC,MAAM,IAAI,GAAG,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/D,MAAM,SAAS,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACxF,qEAAqE;QACrE,MAAM,YAAY,GAAG,SAAS,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,IAAK,CAAC,CAAC;QAC/F,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;YAClC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC1B,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;gBACnD,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC5D,MAAM,GAAG,GACP,YAAY,IAAI,IAAI,KAAK,IAAI,IAAI,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,IAAK,CAAC,CAAC;oBAClF,IAAI,CAAC,GAAG;wBAAE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,cAAc,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;gBACzD,CAAC;YACH,CAAC;YACD,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACvC,CAAC,CAAC;QACF,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACnE,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI;YAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;iEACiE;AACjE,SAAS,MAAM,CAAC,CAAS,EAAE,IAAY;IACrC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC,OAAO,KAAK,IAAI,CAAC;IACnD,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAC7E,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;QACxB,IACE,IAAI,CAAC,IAAI,KAAK,UAAU;YACxB,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;YAC5B,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,iBAAiB;YAClC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC;YAC9E,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC;YAE3B,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,OAAO,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,kBAAkB,CAAC,CAAS;IACnC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC;IAC/E,OAAO,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,kBAAkB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;AAC7D,CAAC;AAED,SAAS,SAAS,CAAC,IAAc,EAAE,OAAe;IAChD,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO;YAAE,KAAK,GAAG,IAAI,CAAC;QAC5F,OAAO,CAAC,KAAK,IAAI,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,IAAI,CAAC,CAAC,WAAW,KAAK,IAAI;YAAE,KAAK,GAAG,IAAI,CAAC;QACzF,OAAO,CAAC,KAAK,IAAI,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,IAAI;QAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAAE,MAAM;IAC1C,OAAO,KAAK,CAAC;AACf,CAAC"}
+{"version":3,"file":"final-fields.js","sourceRoot":"","sources":["../../src/ir/final-fields.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAA4D,MAAM,SAAS,CAAC;AACjG,OAAO,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AACtD,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAE/D;;;;;;;;;;;;;;;;0BAgB0B;AAC1B,MAAM,OAAO,WAAW;IAMO,OAAO;IALnB,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IAC3B,QAAQ,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC7D,6DAA6D;IACpD,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE7C,YAA6B,OAAO,GAAoC,IAAI,GAAG,EAAE;uBAApD,OAAO;IAAgD,CAAC;IAErF,8EAA8E;IAC9E,MAAM,CAAC,SAAiB,EAAE,KAAa;QACrC,MAAM,GAAG,GAAG,GAAG,SAAS,KAAK,KAAK,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACtC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,IAAI,KAAK,GAA2B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAChE,IAAI,MAAM,GAAkB,IAAI,CAAC;QACjC,IAAI,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAChD,SAAS,CAAC;gBACR,MAAM,IAAI,GAA2B,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBAC3F,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC;oBAAE,MAAM;gBACvD,KAAK,GAAG,IAAI,CAAC;YACf,CAAC;YACD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACrC,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC/B,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,OAAO,CAAC,SAAiB,EAAE,KAAa;QACtC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QACzC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QAC7C,OAAO,MAAM,KAAK,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACpD,CAAC;IAED,IAAI,IAAI;QACN,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;IAC1B,CAAC;IAED,kDAAkD;IAClD,GAAG,CAAC,MAAc;QAChB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC1B,CAAC;IACD,IAAI,CAAC,MAAc,EAAE,GAAW;QAC9B,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAC7D,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC;CACF;AAED,MAAM,kBAAkB,GAAG,cAAc,CAAC;AAE1C,qEAAqE;AACrE,MAAM,UAAU,gBAAgB,CAAC,MAAc;IAC7C,OAAO,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,kBAAkB,CAAC;QAClE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;QAC7C,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED;;qCAEqC;AACrC,MAAM,UAAU,kBAAkB,CAAC,GAAa,EAAE,OAAO,GAAG,KAAK;IAC/D,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACrE,MAAM,MAAM,GAAG,IAAI,WAAW,CAAC,OAAO,CAAC,CAAC;IACxC,IAAI,GAAG,CAAC,GAAG;QAAE,OAAO,MAAM,CAAC;IAC3B,MAAM,OAAO,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC;IACxC,IAAI,OAAO,CAAC,GAAG;QAAE,OAAO,MAAM,CAAC;IAE/B,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1C,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,MAAM,EAAE;QAChC,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YAChC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC9B,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACrC,CAAC;IACH,MAAM,UAAU,GAAG,CAAC,GAAe,EAAW,EAAE;QAC9C,KAAK,IAAI,CAAC,GAA2B,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;YAC1F,IAAI,CAAC,CAAC,OAAO,IAAI,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC3D,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,OAAO,KAAK,CAAC;QACnD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,SAAiB,EAAE,MAAc,EAAW,EAAE;QAC9D,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QACpD,KAAK,IAAI,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;YAClF,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;gBAAE,OAAO,IAAI,CAAC;QACpC,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,MAAM,EAAE;QAChC,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YAC/B,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;gBAAE,SAAS;YACpF,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAE,CAAC;YACpD,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,SAAS;YACzC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,mCAAmC,CAAC,CAAC;iBAC1E,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;gBACpC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,mCAAmC,CAAC,CAAC;;gBACtD,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC1B,CAAC;IACH,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IAErC,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,gBAAgB,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACvC,MAAM,IAAI,GAAG,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/D,MAAM,SAAS,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACxF,qEAAqE;QACrE,MAAM,YAAY,GAAG,SAAS,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,IAAK,CAAC,CAAC;QAC/F,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;YAClC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC1B,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;gBACnD,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC5D,MAAM,GAAG,GACP,YAAY,IAAI,IAAI,KAAK,IAAI,IAAI,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,IAAK,CAAC,CAAC;oBAClF,IAAI,CAAC,GAAG;wBAAE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,cAAc,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;gBACzD,CAAC;YACH,CAAC;YACD,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACvC,CAAC,CAAC;QACF,2EAA2E;QAC3E,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;YAClC,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC;gBAClE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAE,EAAE,cAAc,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;YAC7E,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACvC,CAAC,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI;YAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;iEACiE;AACjE,SAAS,MAAM,CAAC,CAAS,EAAE,IAAY;IACrC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC,OAAO,KAAK,IAAI,CAAC;IACnD,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAC7E,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;QACxB,IACE,IAAI,CAAC,IAAI,KAAK,UAAU;YACxB,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;YAC5B,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,iBAAiB;YAClC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC;YAC9E,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC;YAE3B,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,OAAO,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,kBAAkB,CAAC,CAAS;IACnC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC;IAC/E,OAAO,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,kBAAkB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;AAC7D,CAAC;AAED,SAAS,SAAS,CAAC,IAAc,EAAE,OAAe;IAChD,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO;YAAE,KAAK,GAAG,IAAI,CAAC;QAC5F,OAAO,CAAC,KAAK,IAAI,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,IAAI,CAAC,CAAC,WAAW,KAAK,IAAI;YAAE,KAAK,GAAG,IAAI,CAAC;QACzF,OAAO,CAAC,KAAK,IAAI,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,IAAI;QAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAAE,MAAM;IAC1C,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/ir/function-references.test.js

@@ -22,7 +22,7 @@ const EXPR_FIELDS = {
     new: { className: "other" },
     classRef: { className: "other", "captures[]": "other" },
     instanceOf: { className: "other" },
-    virtualCall: { className: "other", method: "method" },
+    virtualCall: { className: "other", method: "method", "targets[]": "other" },
     fieldGet: { className: "other", field: "other" },
     recordLit: { "fields[].name": "other" },
     recordClone: { "overrides[].name": "other" },

package/dist/ir/function-references.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"function-references.test.js","sourceRoot":"","sources":["../../src/ir/function-references.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,qBAAqB,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AAC3F,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EACL,GAAG,EACH,IAAI,GAOL,MAAM,SAAS,CAAC;AACjB,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AA0C9C,MAAM,WAAW,GAAuB;IACtC,MAAM,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE;IAC7B,MAAM,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE;IAC1B,WAAW,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE;IAClC,MAAM,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC5B,MAAM,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC5B,WAAW,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IACnD,UAAU,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAChC,SAAS,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;IACjC,QAAQ,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE;IACzB,SAAS,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE;IAC1B,QAAQ,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAC9C,eAAe,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE;IACtD,IAAI,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE;IAC1B,OAAO,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IAC5B,OAAO,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE,OAAO,EAAE;IACvD,GAAG,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE;IAC3B,QAAQ,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE;IACvD,UAAU,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE;IAClC,WAAW,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE;IACrD,QAAQ,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAChD,SAAS,EAAE,EAAE,eAAe,EAAE,OAAO,EAAE;IACvC,WAAW,EAAE,EAAE,kBAAkB,EAAE,OAAO,EAAE;IAC5C,SAAS,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAC/C,YAAY,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAClC,OAAO,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IAC5B,OAAO,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,gBAAgB,EAAE,OAAO,EAAE;IAC3D,SAAS,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE;IACnD,SAAS,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE;IAC3B,aAAa,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE;IACxD,QAAQ,EAAE,EAAE,kBAAkB,EAAE,OAAO,EAAE;IACzC,aAAa,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IACnC,YAAY,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAClC,SAAS,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAC/C,WAAW,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IACjC,SAAS,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC/B,WAAW,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE;IAClD,WAAW,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IACjC,UAAU,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE;IAClC,WAAW,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE;IACnC,WAAW,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IACjC,SAAS,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAC/C,WAAW,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IACjC,UAAU,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAChC,OAAO,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC7B,aAAa,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;CACnC,CAAC;AAEF,MAAM,WAAW,GAAuB;IACtC,OAAO,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC7B,MAAM,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC5B,KAAK,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE;IAC9B,OAAO,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE;IAChC,MAAM,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE;IAC/B,GAAG,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE;IAC5B,KAAK,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE;IAChD,QAAQ,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAChD,SAAS,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAC/C,YAAY,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAClC,eAAe,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IACrC,KAAK,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE;IACzB,QAAQ,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE;IAC5B,KAAK,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE;IAC9B,YAAY,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE;IACjD,OAAO,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC7B,QAAQ,EAAE,EAAE,YAAY,EAAE,OAAO,EAAE;CACpC,CAAC;AAEF,MAAM,WAAW,GAAuB;IACtC,MAAM,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE;IAC9B,MAAM,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC5B,QAAQ,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE;IAChC,QAAQ,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE;IAC/B,KAAK,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;CAC5B,CAAC;AAEF,MAAM,eAAe,GAAyD;IAC5E,IAAI,EAAE,OAAO;IACb,UAAU,EAAE,OAAO;IACnB,gBAAgB,EAAE,OAAO;IACzB,qBAAqB,EAAE,OAAO;IAC9B,eAAe,EAAE,OAAO;IACxB,kBAAkB,EAAE,OAAO;IAC3B,eAAe,EAAE,OAAO;IACxB,aAAa,EAAE,OAAO;IACtB,iBAAiB,EAAE,OAAO;IAC1B,oBAAoB,EAAE,OAAO;IAC7B,sBAAsB,EAAE,OAAO;IAC/B,yBAAyB,EAAE,OAAO;CACnC,CAAC;AAEF,MAAM,aAAa,GAA4D;IAC7E,UAAU,EAAE,OAAO;IACnB,KAAK,EAAE,WAAW;IAClB,gBAAgB,EAAE,OAAO;IACzB,gBAAgB,EAAE,OAAO;IACzB,kBAAkB,EAAE,OAAO;IAC3B,qBAAqB,EAAE,OAAO;IAC9B,2BAA2B,EAAE,OAAO;IACpC,+BAA+B,EAAE,WAAW;IAC5C,mCAAmC,EAAE,WAAW;IAChD,gCAAgC,EAAE,OAAO;IACzC,mCAAmC,EAAE,OAAO;IAC5C,gCAAgC,EAAE,OAAO;IACzC,mCAAmC,EAAE,OAAO;IAC5C,yBAAyB,EAAE,OAAO;IAClC,qBAAqB,EAAE,QAAQ;IAC/B,4BAA4B,EAAE,OAAO;IACrC,6BAA6B,EAAE,QAAQ;IACvC,cAAc,EAAE,OAAO;IACvB,gBAAgB,EAAE,OAAO;IACzB,oBAAoB,EAAE,OAAO;IAC7B,cAAc,EAAE,OAAO;IACvB,yBAAyB,EAAE,OAAO;IAClC,2BAA2B,EAAE,OAAO;IACpC,aAAa,EAAE,OAAO;IACtB,6BAA6B,EAAE,OAAO;IACtC,wCAAwC,EAAE,OAAO;IACjD,mBAAmB,EAAE,OAAO;IAC5B,qBAAqB,EAAE,OAAO;IAC9B,sBAAsB,EAAE,OAAO;IAC/B,6BAA6B,EAAE,OAAO;IACtC,+BAA+B,EAAE,OAAO;IACxC,mCAAmC,EAAE,OAAO;IAC5C,wCAAwC,EAAE,OAAO;IACjD,iDAAiD,EAAE,OAAO;IAC1D,iBAAiB,EAAE,OAAO;IAC1B,YAAY,EAAE,OAAO;IACrB,gBAAgB,EAAE,OAAO;IACzB,wBAAwB,EAAE,OAAO;IACjC,mBAAmB,EAAE,OAAO;IAC5B,uBAAuB,EAAE,OAAO;IAChC,4BAA4B,EAAE,OAAO;IACrC,sBAAsB,EAAE,OAAO;IAC/B,kCAAkC,EAAE,OAAO;IAC3C,sBAAsB,EAAE,OAAO;IAC/B,sBAAsB,EAAE,WAAW;IACnC,gCAAgC,EAAE,OAAO;IACzC,8BAA8B,EAAE,OAAO;IACvC,yBAAyB,EAAE,OAAO;IAClC,6BAA6B,EAAE,OAAO;IACtC,gCAAgC,EAAE,OAAO;IACzC,4BAA4B,EAAE,OAAO;IACrC,+BAA+B,EAAE,OAAO;IACxC,sBAAsB,EAAE,OAAO;IAC/B,yBAAyB,EAAE,OAAO;IAClC,yBAAyB,EAAE,OAAO;IAClC,0BAA0B,EAAE,MAAM;IAClC,yBAAyB,EAAE,OAAO;IAClC,qBAAqB,EAAE,MAAM;IAC7B,qBAAqB,EAAE,OAAO;IAC9B,6BAA6B,EAAE,OAAO;IACtC,6BAA6B,EAAE,OAAO;CACvC,CAAC;AAEF,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACxD,MAAM,MAAM,GAAG,YAAY,CAAC;AAC5B,MAAM,MAAM,GAAe;IACzB,IAAI,EAAE,MAAM;IACZ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAChD,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC1D,UAAU,EAAE,IAAI;IAChB,IAAI,EAAE,EAAE;IACR,GAAG;CACJ,CAAC;AACF,MAAM,KAAK,GAAG,CAAC,IAAI,GAAa,EAAE,EAAc,EAAE,CAAC,CAAC;IAClD,IAAI,EAAE,OAAO;IACb,MAAM,EAAE,EAAE;IACV,MAAM,EAAE,EAAE;IACV,UAAU,EAAE,IAAI;IAChB,IAAI;IACJ,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,MAAM,GAAG,CAAC,IAAI,GAAa,EAAE,EAAY,EAAE,CAAC,CAAC;IACjD,SAAS,EAAE,EAAE;IACb,UAAU,EAAE,GAAG,CAAC,IAAI;IACpB,KAAK,EAAE,OAAO;IACd,SAAS,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;CACjC,CAAC,CAAC;AACH,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAE7E;wCACwC;AACxC,MAAM,kBAAkB,GAAmC;IACzD,gBAAgB,EAAE,GAAG,EAAE,CACrB,MAAM,CAAC;QACL,QAAQ,CAAC;YACP,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,MAAM;YACd,QAAQ,EAAE,EAAE;YACZ,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE;YAChD,GAAG;SACJ,CAAC;KACH,CAAC;IACJ,iBAAiB,EAAE,GAAG,EAAE,CACtB,MAAM,CAAC;QACL,QAAQ,CAAC;YACP,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YAClD,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YACnD,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;KACH,CAAC;IACJ,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAC7C,+BAA+B,EAAE,GAAG,EAAE,CAAC,CAAC;QACtC,GAAG,MAAM,EAAE;QACX,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,mBAAmB,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;KAC9E,CAAC;IACF,mCAAmC,EAAE,GAAG,EAAE,CAAC,CAAC;QAC1C,GAAG,MAAM,EAAE;QACX,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,uBAAuB,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;KAClF,CAAC;IACF,sBAAsB,EAAE,GAAG,EAAE,CAAC,CAAC;QAC7B,GAAG,MAAM,EAAE;QACX,GAAG,EAAE;YACH,WAAW,EAAE,YAAY;YACzB,MAAM,EAAE,MAAM;YACd,UAAU,EAAE,UAAU;YACtB,kBAAkB,EAAE,UAAU;YAC9B,aAAa,EAAE,IAAI;YACnB,iBAAiB,EAAE,IAAI;YACvB,eAAe,EAAE,KAAK;YACtB,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;YACrF,YAAY,EAAE,EAAE;SACjB;KACF,CAAC;CACH,CAAC;AAEF,SAAS,YAAY,CAAC,GAAa;IACjC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC,CAAC;IACrD,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS;QAC5B,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;YACrB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;gBACb,MAAM,IAAI,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;gBACzC,IAAI,IAAI,KAAK,SAAS;oBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACxC,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;SACjB,CAAC,CAAC;IACL,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,cAAc,GAAG,CAAC,KAAa,EAAE,MAAc,EAAY,EAAE,CACjE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAC7C,OAAO,KAAK,KAAK,QAAQ;IACvB,CAAC,CAAC,KAAK,KAAK,WAAW;QACrB,CAAC,CAAC,CAAC,MAAM,GAAG,GAAG,CAAC;QAChB,CAAC,CAAC,EAAE;IACN,CAAC,CAAC,cAAc,CAAC,KAAe,EAAE,GAAG,GAAG,GAAG,CAAC,CAC/C,CAAC;AAEJ,IAAI,CAAC,iEAAiE,EAAE,GAAG,EAAE;IAC3E,MAAM,UAAU,GAAG;QACjB,GAAG,cAAc,CAAC,WAAW,EAAE,EAAE,CAAC;QAClC,GAAG,cAAc,CAAC,WAAW,EAAE,EAAE,CAAC;QAClC,GAAG,cAAc,CAAC,WAAW,EAAE,EAAE,CAAC;QAClC,GAAG,cAAc,CAAC,eAAe,EAAE,cAAc,CAAC;QAClD,GAAG,cAAc,CAAC,aAAa,EAAE,EAAE,CAAC;KACrC,CAAC;IACF,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AAC5E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,yBAAyB,EAAE,CAAC,IAAI,EAAE,EAAE;IAC7E,MAAM,GAAG,GAAG,kBAAkB,CAAC,IAAI,CAAE,EAAE,CAAC;IACxC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,iBAAiB,CAAC,GAAG,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAClE,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACpD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,8DAA8D,EAAE,GAAG,EAAE;IACxE,MAAM,GAAG,GAAG,MAAM,CAAC;QACjB,QAAQ,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACrE,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,CAAC;QAC1E,QAAQ,CAAC;YACP,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YACnD,MAAM,EAAE,MAAM;YACd,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE;YACrB,GAAG;SACJ,CAAC;KACH,CAAC,CAAC;IACH,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClD,MAAM,CAAC,iBAAiB,CAAC,GAAG,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACnG,CAAC,CAAC,CAAC"}
+{"version":3,"file":"function-references.test.js","sourceRoot":"","sources":["../../src/ir/function-references.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,qBAAqB,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AAC3F,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EACL,GAAG,EACH,IAAI,GAOL,MAAM,SAAS,CAAC;AACjB,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AA0C9C,MAAM,WAAW,GAAuB;IACtC,MAAM,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE;IAC7B,MAAM,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE;IAC1B,WAAW,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE;IAClC,MAAM,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC5B,MAAM,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC5B,WAAW,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IACnD,UAAU,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAChC,SAAS,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;IACjC,QAAQ,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE;IACzB,SAAS,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE;IAC1B,QAAQ,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAC9C,eAAe,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE;IACtD,IAAI,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE;IAC1B,OAAO,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IAC5B,OAAO,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE,OAAO,EAAE;IACvD,GAAG,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE;IAC3B,QAAQ,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE;IACvD,UAAU,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE;IAClC,WAAW,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE;IAC3E,QAAQ,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAChD,SAAS,EAAE,EAAE,eAAe,EAAE,OAAO,EAAE;IACvC,WAAW,EAAE,EAAE,kBAAkB,EAAE,OAAO,EAAE;IAC5C,SAAS,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAC/C,YAAY,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAClC,OAAO,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IAC5B,OAAO,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,gBAAgB,EAAE,OAAO,EAAE;IAC3D,SAAS,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE;IACnD,SAAS,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE;IAC3B,aAAa,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE;IACxD,QAAQ,EAAE,EAAE,kBAAkB,EAAE,OAAO,EAAE;IACzC,aAAa,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IACnC,YAAY,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAClC,SAAS,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAC/C,WAAW,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IACjC,SAAS,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC/B,WAAW,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE;IAClD,WAAW,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IACjC,UAAU,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE;IAClC,WAAW,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE;IACnC,WAAW,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IACjC,SAAS,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAC/C,WAAW,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IACjC,UAAU,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAChC,OAAO,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC7B,aAAa,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;CACnC,CAAC;AAEF,MAAM,WAAW,GAAuB;IACtC,OAAO,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC7B,MAAM,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC5B,KAAK,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE;IAC9B,OAAO,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE;IAChC,MAAM,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE;IAC/B,GAAG,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE;IAC5B,KAAK,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE;IAChD,QAAQ,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAChD,SAAS,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAC/C,YAAY,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAClC,eAAe,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IACrC,KAAK,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE;IACzB,QAAQ,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE;IAC5B,KAAK,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE;IAC9B,YAAY,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE;IACjD,OAAO,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC7B,QAAQ,EAAE,EAAE,YAAY,EAAE,OAAO,EAAE;CACpC,CAAC;AAEF,MAAM,WAAW,GAAuB;IACtC,MAAM,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE;IAC9B,MAAM,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC5B,QAAQ,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE;IAChC,QAAQ,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE;IAC/B,KAAK,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;CAC5B,CAAC;AAEF,MAAM,eAAe,GAAyD;IAC5E,IAAI,EAAE,OAAO;IACb,UAAU,EAAE,OAAO;IACnB,gBAAgB,EAAE,OAAO;IACzB,qBAAqB,EAAE,OAAO;IAC9B,eAAe,EAAE,OAAO;IACxB,kBAAkB,EAAE,OAAO;IAC3B,eAAe,EAAE,OAAO;IACxB,aAAa,EAAE,OAAO;IACtB,iBAAiB,EAAE,OAAO;IAC1B,oBAAoB,EAAE,OAAO;IAC7B,sBAAsB,EAAE,OAAO;IAC/B,yBAAyB,EAAE,OAAO;CACnC,CAAC;AAEF,MAAM,aAAa,GAA4D;IAC7E,UAAU,EAAE,OAAO;IACnB,KAAK,EAAE,WAAW;IAClB,gBAAgB,EAAE,OAAO;IACzB,gBAAgB,EAAE,OAAO;IACzB,kBAAkB,EAAE,OAAO;IAC3B,qBAAqB,EAAE,OAAO;IAC9B,2BAA2B,EAAE,OAAO;IACpC,+BAA+B,EAAE,WAAW;IAC5C,mCAAmC,EAAE,WAAW;IAChD,gCAAgC,EAAE,OAAO;IACzC,mCAAmC,EAAE,OAAO;IAC5C,gCAAgC,EAAE,OAAO;IACzC,mCAAmC,EAAE,OAAO;IAC5C,yBAAyB,EAAE,OAAO;IAClC,qBAAqB,EAAE,QAAQ;IAC/B,4BAA4B,EAAE,OAAO;IACrC,6BAA6B,EAAE,QAAQ;IACvC,cAAc,EAAE,OAAO;IACvB,gBAAgB,EAAE,OAAO;IACzB,oBAAoB,EAAE,OAAO;IAC7B,cAAc,EAAE,OAAO;IACvB,yBAAyB,EAAE,OAAO;IAClC,2BAA2B,EAAE,OAAO;IACpC,aAAa,EAAE,OAAO;IACtB,6BAA6B,EAAE,OAAO;IACtC,wCAAwC,EAAE,OAAO;IACjD,mBAAmB,EAAE,OAAO;IAC5B,qBAAqB,EAAE,OAAO;IAC9B,sBAAsB,EAAE,OAAO;IAC/B,6BAA6B,EAAE,OAAO;IACtC,+BAA+B,EAAE,OAAO;IACxC,mCAAmC,EAAE,OAAO;IAC5C,wCAAwC,EAAE,OAAO;IACjD,iDAAiD,EAAE,OAAO;IAC1D,iBAAiB,EAAE,OAAO;IAC1B,YAAY,EAAE,OAAO;IACrB,gBAAgB,EAAE,OAAO;IACzB,wBAAwB,EAAE,OAAO;IACjC,mBAAmB,EAAE,OAAO;IAC5B,uBAAuB,EAAE,OAAO;IAChC,4BAA4B,EAAE,OAAO;IACrC,sBAAsB,EAAE,OAAO;IAC/B,kCAAkC,EAAE,OAAO;IAC3C,sBAAsB,EAAE,OAAO;IAC/B,sBAAsB,EAAE,WAAW;IACnC,gCAAgC,EAAE,OAAO;IACzC,8BAA8B,EAAE,OAAO;IACvC,yBAAyB,EAAE,OAAO;IAClC,6BAA6B,EAAE,OAAO;IACtC,gCAAgC,EAAE,OAAO;IACzC,4BAA4B,EAAE,OAAO;IACrC,+BAA+B,EAAE,OAAO;IACxC,sBAAsB,EAAE,OAAO;IAC/B,yBAAyB,EAAE,OAAO;IAClC,yBAAyB,EAAE,OAAO;IAClC,0BAA0B,EAAE,MAAM;IAClC,yBAAyB,EAAE,OAAO;IAClC,qBAAqB,EAAE,MAAM;IAC7B,qBAAqB,EAAE,OAAO;IAC9B,6BAA6B,EAAE,OAAO;IACtC,6BAA6B,EAAE,OAAO;CACvC,CAAC;AAEF,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACxD,MAAM,MAAM,GAAG,YAAY,CAAC;AAC5B,MAAM,MAAM,GAAe;IACzB,IAAI,EAAE,MAAM;IACZ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAChD,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC1D,UAAU,EAAE,IAAI;IAChB,IAAI,EAAE,EAAE;IACR,GAAG;CACJ,CAAC;AACF,MAAM,KAAK,GAAG,CAAC,IAAI,GAAa,EAAE,EAAc,EAAE,CAAC,CAAC;IAClD,IAAI,EAAE,OAAO;IACb,MAAM,EAAE,EAAE;IACV,MAAM,EAAE,EAAE;IACV,UAAU,EAAE,IAAI;IAChB,IAAI;IACJ,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,MAAM,GAAG,CAAC,IAAI,GAAa,EAAE,EAAY,EAAE,CAAC,CAAC;IACjD,SAAS,EAAE,EAAE;IACb,UAAU,EAAE,GAAG,CAAC,IAAI;IACpB,KAAK,EAAE,OAAO;IACd,SAAS,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;CACjC,CAAC,CAAC;AACH,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAE7E;wCACwC;AACxC,MAAM,kBAAkB,GAAmC;IACzD,gBAAgB,EAAE,GAAG,EAAE,CACrB,MAAM,CAAC;QACL,QAAQ,CAAC;YACP,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,MAAM;YACd,QAAQ,EAAE,EAAE;YACZ,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE;YAChD,GAAG;SACJ,CAAC;KACH,CAAC;IACJ,iBAAiB,EAAE,GAAG,EAAE,CACtB,MAAM,CAAC;QACL,QAAQ,CAAC;YACP,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YAClD,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YACnD,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;KACH,CAAC;IACJ,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAC7C,+BAA+B,EAAE,GAAG,EAAE,CAAC,CAAC;QACtC,GAAG,MAAM,EAAE;QACX,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,mBAAmB,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;KAC9E,CAAC;IACF,mCAAmC,EAAE,GAAG,EAAE,CAAC,CAAC;QAC1C,GAAG,MAAM,EAAE;QACX,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,uBAAuB,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;KAClF,CAAC;IACF,sBAAsB,EAAE,GAAG,EAAE,CAAC,CAAC;QAC7B,GAAG,MAAM,EAAE;QACX,GAAG,EAAE;YACH,WAAW,EAAE,YAAY;YACzB,MAAM,EAAE,MAAM;YACd,UAAU,EAAE,UAAU;YACtB,kBAAkB,EAAE,UAAU;YAC9B,aAAa,EAAE,IAAI;YACnB,iBAAiB,EAAE,IAAI;YACvB,eAAe,EAAE,KAAK;YACtB,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;YACrF,YAAY,EAAE,EAAE;SACjB;KACF,CAAC;CACH,CAAC;AAEF,SAAS,YAAY,CAAC,GAAa;IACjC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC,CAAC;IACrD,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS;QAC5B,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;YACrB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;gBACb,MAAM,IAAI,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;gBACzC,IAAI,IAAI,KAAK,SAAS;oBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACxC,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;SACjB,CAAC,CAAC;IACL,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,cAAc,GAAG,CAAC,KAAa,EAAE,MAAc,EAAY,EAAE,CACjE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAC7C,OAAO,KAAK,KAAK,QAAQ;IACvB,CAAC,CAAC,KAAK,KAAK,WAAW;QACrB,CAAC,CAAC,CAAC,MAAM,GAAG,GAAG,CAAC;QAChB,CAAC,CAAC,EAAE;IACN,CAAC,CAAC,cAAc,CAAC,KAAe,EAAE,GAAG,GAAG,GAAG,CAAC,CAC/C,CAAC;AAEJ,IAAI,CAAC,iEAAiE,EAAE,GAAG,EAAE;IAC3E,MAAM,UAAU,GAAG;QACjB,GAAG,cAAc,CAAC,WAAW,EAAE,EAAE,CAAC;QAClC,GAAG,cAAc,CAAC,WAAW,EAAE,EAAE,CAAC;QAClC,GAAG,cAAc,CAAC,WAAW,EAAE,EAAE,CAAC;QAClC,GAAG,cAAc,CAAC,eAAe,EAAE,cAAc,CAAC;QAClD,GAAG,cAAc,CAAC,aAAa,EAAE,EAAE,CAAC;KACrC,CAAC;IACF,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AAC5E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,yBAAyB,EAAE,CAAC,IAAI,EAAE,EAAE;IAC7E,MAAM,GAAG,GAAG,kBAAkB,CAAC,IAAI,CAAE,EAAE,CAAC;IACxC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,iBAAiB,CAAC,GAAG,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAClE,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACpD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,8DAA8D,EAAE,GAAG,EAAE;IACxE,MAAM,GAAG,GAAG,MAAM,CAAC;QACjB,QAAQ,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACrE,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,CAAC;QAC1E,QAAQ,CAAC;YACP,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YACnD,MAAM,EAAE,MAAM;YACd,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE;YACrB,GAAG;SACJ,CAAC;KACH,CAAC,CAAC;IACH,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClD,MAAM,CAAC,iBAAiB,CAAC,GAAG,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACnG,CAAC,CAAC,CAAC"}

package/dist/ir/init-only-globals.d.ts

@@ -0,0 +1,16 @@
+import type { IrModule } from "./ir.js";
+/** Module `let`/`var` bindings that only their declaration writes read as
+ * module constants.
+ *
+ * A source binding whose one write in the whole program is a top-level
+ * `assign` of the guarded, synchronous module initializer holds that value
+ * for every later read, exactly like a `const`: reads that can run before
+ * the store already carry the frontend's `initFlag`, TDZ sentinel or
+ * `undefined`-admitting union type, and those globals are left alone. Marking
+ * such a global immutable hands it to the analyses that already serve
+ * `const` (constant folding, borrowed reads, constant tables) without
+ * changing its storage, lifetime or initialization order. Compiler-internal
+ * globals (init guards, initialization flags, caches) have no source binding
+ * and are never touched. Library builds keep their globals: an embedder can
+ * reset or observe library state between entries. */
+export declare function freezeInitOnlyGlobals(mod: IrModule): IrModule;

package/dist/ir/init-only-globals.js

@@ -0,0 +1,121 @@
+import { everyStmtList } from "./traverse.js";
+/** Module `let`/`var` bindings that only their declaration writes read as
+ * module constants.
+ *
+ * A source binding whose one write in the whole program is a top-level
+ * `assign` of the guarded, synchronous module initializer holds that value
+ * for every later read, exactly like a `const`: reads that can run before
+ * the store already carry the frontend's `initFlag`, TDZ sentinel or
+ * `undefined`-admitting union type, and those globals are left alone. Marking
+ * such a global immutable hands it to the analyses that already serve
+ * `const` (constant folding, borrowed reads, constant tables) without
+ * changing its storage, lifetime or initialization order. Compiler-internal
+ * globals (init guards, initialization flags, caches) have no source binding
+ * and are never touched. Library builds keep their globals: an embedder can
+ * reset or observe library state between entries. */
+export function freezeInitOnlyGlobals(mod) {
+    if (mod.lib || !mod.globals?.length)
+        return mod;
+    const candidates = new Map();
+    for (const g of mod.globals)
+        if (g.mutable && g.source && g.tdz !== true && g.initFlag === undefined)
+            candidates.set(g.id, g);
+    if (candidates.size === 0)
+        return mod;
+    // Every node other than a read that names a candidate is a write
+    // (assignments, loop and catch bindings, compound updates); lifted
+    // captures keep their own discipline.
+    const writes = new Map();
+    const write = (id) => {
+        if (candidates.has(id))
+            writes.set(id, (writes.get(id) ?? 0) + 1);
+    };
+    for (const cls of mod.classes ?? [])
+        for (const capture of cls.localCaptures ?? [])
+            candidates.delete(capture.localId);
+    for (const fn of mod.functions) {
+        for (const capture of [...(fn.captures ?? []), ...(fn.classCaptures ?? [])])
+            candidates.delete(capture.localId);
+        everyStmtList(fn.body, {
+            stmt: (s) => {
+                if ("localId" in s && typeof s.localId === "string")
+                    write(s.localId);
+                if (s.kind === "tryCatch" && s.catchLocalId)
+                    write(s.catchLocalId);
+                return true;
+            },
+            expr: (e) => {
+                if (e.kind === "closure")
+                    for (const id of e.captures)
+                        candidates.delete(id);
+                else if (e.kind !== "varRef" && "localId" in e && typeof e.localId === "string")
+                    write(e.localId);
+                return true;
+            },
+        });
+    }
+    const frozen = new Set();
+    for (const fn of mod.functions) {
+        if (!isGuardedInitializer(fn, mod))
+            continue;
+        const readBefore = new Set();
+        const noteReads = (s) => {
+            everyStmtList([s], {
+                stmt: () => true,
+                expr: (e) => {
+                    if (e.kind === "varRef" && candidates.has(e.localId))
+                        readBefore.add(e.localId);
+                    return true;
+                },
+            });
+        };
+        // Unlabeled blocks run unconditionally and in order, like the statements
+        // around them; a labeled block can `break` past a write, and any other
+        // compound statement may skip or repeat one.
+        const scan = (list) => {
+            for (const s of list) {
+                if (s.kind === "block" && !s.labels?.length) {
+                    scan(s.body);
+                    continue;
+                }
+                if (s.kind === "assign" &&
+                    candidates.has(s.localId) &&
+                    writes.get(s.localId) === 1 &&
+                    !readBefore.has(s.localId))
+                    frozen.add(s.localId);
+                noteReads(s);
+            }
+        };
+        scan(fn.body);
+    }
+    if (frozen.size === 0)
+        return mod;
+    return {
+        ...mod,
+        globals: mod.globals.map((g) => (frozen.has(g.id) ? immutableGlobal(g) : g)),
+    };
+}
+/** `if (loaded) return; loaded = true; ...`: a synchronous module initializer
+ * that runs its body at most once, whose guard only it writes. */
+function isGuardedInitializer(fn, mod) {
+    if (fn.async || fn.generator || fn.captures?.length)
+        return false;
+    const check = fn.body[0], set = fn.body[1];
+    if (check?.kind !== "if" ||
+        check.cond.kind !== "varRef" ||
+        check.else_ !== null ||
+        check.then.length !== 1 ||
+        check.then[0]?.kind !== "return" ||
+        check.then[0].value !== null ||
+        set?.kind !== "assign" ||
+        set.localId !== check.cond.localId ||
+        set.value.kind !== "boolLit" ||
+        !set.value.value)
+        return false;
+    const guard = mod.globals?.find((g) => g.id === set.localId);
+    return guard?.type.kind === "bool" && guard.tdz !== true;
+}
+function immutableGlobal(global) {
+    return { ...global, mutable: false };
+}
+//# sourceMappingURL=init-only-globals.js.map

package/dist/ir/init-only-globals.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"init-only-globals.js","sourceRoot":"","sources":["../../src/ir/init-only-globals.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE9C;;;;;;;;;;;;;qDAaqD;AACrD,MAAM,UAAU,qBAAqB,CAAC,GAAa;IACjD,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM;QAAE,OAAO,GAAG,CAAC;IAChD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC/C,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,OAAO;QACzB,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,KAAK,IAAI,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS;YACrE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAC5B,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IAEtC,iEAAiE;IACjE,mEAAmE;IACnE,sCAAsC;IACtC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,MAAM,KAAK,GAAG,CAAC,EAAU,EAAQ,EAAE;QACjC,IAAI,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACpE,CAAC,CAAC;IACF,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE;QACjC,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,aAAa,IAAI,EAAE;YAAE,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACpF,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAC/B,KAAK,MAAM,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC;YACzE,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACrC,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;YACrB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;gBACV,IAAI,SAAS,IAAI,CAAC,IAAI,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ;oBAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBACtE,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,YAAY;oBAAE,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;gBACnE,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;gBACV,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;oBAAE,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,QAAQ;wBAAE,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;qBACxE,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,SAAS,IAAI,CAAC,IAAI,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ;oBAC7E,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBACnB,OAAO,IAAI,CAAC;YACd,CAAC;SACF,CAAC,CAAC;IACL,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAC/B,IAAI,CAAC,oBAAoB,CAAC,EAAE,EAAE,GAAG,CAAC;YAAE,SAAS;QAC7C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;QACrC,MAAM,SAAS,GAAG,CAAC,CAAS,EAAQ,EAAE;YACpC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE;gBACjB,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;gBAChB,IAAI,EAAE,CAAC,CAAS,EAAE,EAAE;oBAClB,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;wBAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;oBAChF,OAAO,IAAI,CAAC;gBACd,CAAC;aACF,CAAC,CAAC;QACL,CAAC,CAAC;QACF,yEAAyE;QACzE,uEAAuE;QACvE,6CAA6C;QAC7C,MAAM,IAAI,GAAG,CAAC,IAAuB,EAAQ,EAAE;YAC7C,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;gBACrB,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;oBAC5C,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBACb,SAAS;gBACX,CAAC;gBACD,IACE,CAAC,CAAC,IAAI,KAAK,QAAQ;oBACnB,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;oBACzB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;oBAC3B,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;oBAE1B,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBACxB,SAAS,CAAC,CAAC,CAAC,CAAC;YACf,CAAC;QACH,CAAC,CAAC;QACF,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAChB,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IAClC,OAAO;QACL,GAAG,GAAG;QACN,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KAC7E,CAAC;AACJ,CAAC;AAED;kEACkE;AAClE,SAAS,oBAAoB,CAAC,EAAc,EAAE,GAAa;IACzD,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM;QAAE,OAAO,KAAK,CAAC;IAClE,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EACtB,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnB,IACE,KAAK,EAAE,IAAI,KAAK,IAAI;QACpB,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAC5B,KAAK,CAAC,KAAK,KAAK,IAAI;QACpB,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QACvB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,QAAQ;QAChC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI;QAC5B,GAAG,EAAE,IAAI,KAAK,QAAQ;QACtB,GAAG,CAAC,OAAO,KAAK,KAAK,CAAC,IAAI,CAAC,OAAO;QAClC,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;QAC5B,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK;QAEhB,OAAO,KAAK,CAAC;IACf,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,OAAO,CAAC,CAAC;IAC7D,OAAO,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,IAAI,CAAC;AAC3D,CAAC;AAED,SAAS,eAAe,CAAC,MAAgB;IACvC,OAAO,EAAE,GAAG,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AACvC,CAAC"}

package/dist/ir/init-only-globals.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/ir/init-only-globals.test.js

@@ -0,0 +1,115 @@
+import { expect, test } from "vitest";
+import { freezeInitOnlyGlobals } from "./init-only-globals.js";
+import { BOOL, F64, VOID, } from "./ir.js";
+const loc = { file: "init-only-globals.ts", start: 0, end: 0 };
+const source = { loc, scope: loc };
+const num = (value) => ({ loc, kind: "numLit", value, type: F64 });
+const ref = (localId) => ({ loc, kind: "varRef", localId, type: F64 });
+const assign = (localId, value) => ({
+    loc,
+    kind: "assign",
+    localId,
+    value,
+});
+const use = (expr) => ({ loc, kind: "exprStmt", expr });
+const ret = (value) => ({ loc, kind: "return", value });
+const fn = (name, body, extra = {}) => ({
+    loc,
+    name,
+    params: [],
+    locals: [],
+    returnType: name === "%init" ? VOID : F64,
+    body,
+    ...extra,
+});
+const binding = (id, extra = {}) => ({
+    id,
+    name: id,
+    type: F64,
+    mutable: true,
+    source,
+    ...extra,
+});
+const guard = { id: "%g.%loaded", name: "%loaded", type: BOOL, mutable: true };
+const guarded = (body) => [
+    {
+        loc,
+        kind: "if",
+        cond: { loc, kind: "varRef", localId: guard.id, type: BOOL },
+        then: [{ loc, kind: "return", value: null }],
+        else_: null,
+    },
+    {
+        loc,
+        kind: "assign",
+        localId: guard.id,
+        value: { loc, kind: "boolLit", value: true, type: BOOL },
+    },
+    ...body,
+];
+const moduleOf = (globals, functions) => ({
+    irVersion: 16,
+    sourceFile: "init-only-globals.ts",
+    entry: "%init",
+    globals: [guard, ...globals],
+    functions,
+});
+const mutability = (mod) => Object.fromEntries((mod.globals ?? []).map((g) => [g.name, g.mutable]));
+test("source bindings stored once by the guarded initializer become immutable", () => {
+    const mod = moduleOf([
+        binding("%g.SIZE"),
+        binding("%g.BLOCK"),
+        binding("%g.TWICE"),
+        binding("%g.LATER"),
+        binding("%g.EARLY"),
+        binding("%g.FLAGGED", { initFlag: "%g.FLAGGED%initialized" }),
+        binding("%g.CHECKED", { tdz: true }),
+        binding("%g.LOOPED"),
+        binding("%g.LABELED"),
+    ], [
+        fn("%init", guarded([
+            use(ref("%g.EARLY")),
+            assign("%g.SIZE", num(24)),
+            { loc, kind: "block", body: [assign("%g.BLOCK", ref("%g.SIZE"))] },
+            assign("%g.TWICE", num(1)),
+            assign("%g.TWICE", num(2)),
+            assign("%g.LATER", num(3)),
+            assign("%g.EARLY", num(4)),
+            assign("%g.FLAGGED", num(5)),
+            assign("%g.CHECKED", num(6)),
+            { loc, kind: "while", cond: ref("%g.SIZE"), body: [assign("%g.LOOPED", num(7))] },
+            { loc, kind: "block", labels: ["out"], body: [assign("%g.LABELED", num(8))] },
+        ])),
+        fn("bump", [assign("%g.LATER", num(9)), ret(ref("%g.SIZE"))]),
+    ]);
+    expect(mutability(freezeInitOnlyGlobals(mod))).toEqual({
+        "%loaded": true,
+        "%g.SIZE": false,
+        "%g.BLOCK": false,
+        "%g.TWICE": true,
+        "%g.LATER": true,
+        "%g.EARLY": true,
+        "%g.FLAGGED": true,
+        "%g.CHECKED": true,
+        "%g.LOOPED": true,
+        "%g.LABELED": true,
+    });
+});
+test("unguarded, asynchronous and library initializers keep their bindings mutable", () => {
+    const globals = [binding("%g.SIZE")];
+    const store = [assign("%g.SIZE", num(24))];
+    const unguarded = moduleOf(globals, [fn("%init", store)]);
+    const asyncInit = moduleOf(globals, [fn("%init", guarded(store), { async: true })]);
+    const library = {
+        ...moduleOf(globals, [fn("%init", guarded(store))]),
+        lib: {},
+    };
+    for (const mod of [unguarded, asyncInit, library])
+        expect(freezeInitOnlyGlobals(mod)).toBe(mod);
+});
+test("compiler-internal globals without a source binding are never frozen", () => {
+    const internal = { id: "%g.%cache", name: "%cache", type: F64, mutable: true };
+    const mod = moduleOf([internal], [fn("%init", guarded([assign(internal.id, num(1))]))]);
+    expect(freezeInitOnlyGlobals(mod)).toBe(mod);
+});
+//# sourceMappingURL=init-only-globals.test.js.map

package/dist/ir/init-only-globals.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"init-only-globals.test.js","sourceRoot":"","sources":["../../src/ir/init-only-globals.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,EACL,IAAI,EACJ,GAAG,EACH,IAAI,GAML,MAAM,SAAS,CAAC;AAEjB,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,sBAAsB,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAC/D,MAAM,MAAM,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;AACnC,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AACnF,MAAM,GAAG,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AACvF,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,GAAG,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;AACxE,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;AACxE,MAAM,EAAE,GAAG,CAAC,IAAY,EAAE,IAAc,EAAE,KAAK,GAAwB,EAAE,EAAc,EAAE,CAAC,CAAC;IACzF,GAAG;IACH,IAAI;IACJ,MAAM,EAAE,EAAE;IACV,MAAM,EAAE,EAAE;IACV,UAAU,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG;IACzC,IAAI;IACJ,GAAG,KAAK;CACT,CAAC,CAAC;AACH,MAAM,OAAO,GAAG,CAAC,EAAU,EAAE,KAAK,GAAsB,EAAE,EAAY,EAAE,CAAC,CAAC;IACxE,EAAE;IACF,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,GAAG;IACT,OAAO,EAAE,IAAI;IACb,MAAM;IACN,GAAG,KAAK;CACT,CAAC,CAAC;AACH,MAAM,KAAK,GAAa,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AACzF,MAAM,OAAO,GAAG,CAAC,IAAc,EAAY,EAAE,CAAC;IAC5C;QACE,GAAG;QACH,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE;QAC5D,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAC5C,KAAK,EAAE,IAAI;KACZ;IACD;QACE,GAAG;QACH,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,KAAK,CAAC,EAAE;QACjB,KAAK,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE;KACzD;IACD,GAAG,IAAI;CACR,CAAC;AACF,MAAM,QAAQ,GAAG,CAAC,OAAmB,EAAE,SAAuB,EAAY,EAAE,CAAC,CAAC;IAC5E,SAAS,EAAE,EAAE;IACb,UAAU,EAAE,sBAAsB;IAClC,KAAK,EAAE,OAAO;IACd,OAAO,EAAE,CAAC,KAAK,EAAE,GAAG,OAAO,CAAC;IAC5B,SAAS;CACV,CAAC,CAAC;AACH,MAAM,UAAU,GAAG,CAAC,GAAa,EAA2B,EAAE,CAC5D,MAAM,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAE1E,IAAI,CAAC,yEAAyE,EAAE,GAAG,EAAE;IACnF,MAAM,GAAG,GAAG,QAAQ,CAClB;QACE,OAAO,CAAC,SAAS,CAAC;QAClB,OAAO,CAAC,UAAU,CAAC;QACnB,OAAO,CAAC,UAAU,CAAC;QACnB,OAAO,CAAC,UAAU,CAAC;QACnB,OAAO,CAAC,UAAU,CAAC;QACnB,OAAO,CAAC,YAAY,EAAE,EAAE,QAAQ,EAAE,wBAAwB,EAAE,CAAC;QAC7D,OAAO,CAAC,YAAY,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;QACpC,OAAO,CAAC,WAAW,CAAC;QACpB,OAAO,CAAC,YAAY,CAAC;KACtB,EACD;QACE,EAAE,CACA,OAAO,EACP,OAAO,CAAC;YACN,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YACpB,MAAM,CAAC,SAAS,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;YAC1B,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE;YAClE,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YAC1B,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YAC1B,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YAC1B,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YAC1B,MAAM,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YAC5B,MAAM,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YAC5B,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;YACjF,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;SAC9E,CAAC,CACH;QACD,EAAE,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;KAC9D,CACF,CAAC;IACF,MAAM,CAAC,UAAU,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;QACrD,SAAS,EAAE,IAAI;QACf,SAAS,EAAE,KAAK;QAChB,UAAU,EAAE,KAAK;QACjB,UAAU,EAAE,IAAI;QAChB,UAAU,EAAE,IAAI;QAChB,UAAU,EAAE,IAAI;QAChB,YAAY,EAAE,IAAI;QAClB,YAAY,EAAE,IAAI;QAClB,WAAW,EAAE,IAAI;QACjB,YAAY,EAAE,IAAI;KACnB,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,8EAA8E,EAAE,GAAG,EAAE;IACxF,MAAM,OAAO,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,SAAS,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3C,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAC1D,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACpF,MAAM,OAAO,GAAa;QACxB,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACnD,GAAG,EAAE,EAAkC;KACxC,CAAC;IACF,KAAK,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE,OAAO,CAAC;QAAE,MAAM,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAClG,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qEAAqE,EAAE,GAAG,EAAE;IAC/E,MAAM,QAAQ,GAAa,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACzF,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxF,MAAM,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC/C,CAAC,CAAC,CAAC"}

package/dist/ir/initializer-bindings.d.ts

@@ -1,9 +1,26 @@
-import type { IrFunction, IrGlobal, IrModule } from "./ir.js";
+import type { IrFunction, IrGlobal, IrModule, IrStmt } from "./ir.js";
 /** Globals private to a guarded, synchronous initializer have local numeric
  * dataflow: no other function can replace their slots, and reentrant module
  * evaluation returns before reaching them. Keep the actual global storage
  * and lifetime; these facts are only inputs to numeric and extent analysis. */
 export declare function findInitializerBindings(mod: IrModule): ReadonlyMap<string, IrGlobal[]>;
+/** The candidates for local storage: number bindings whose slots the
+ * initializer could keep in a local of its own. No other code reads or
+ * writes them (that is what makes them initializer bindings), and the
+ * guard runs the initializer's body at most once, so a local that starts at
+ * the global's zero value is indistinguishable from the global. Import-cycle
+ * bindings keep their global: their initialization flag is checked by code
+ * outside the initializer. */
+export declare function initializerLocalCandidates(bindings: readonly IrGlobal[]): IrGlobal[];
+/** An analysis view that lists bindings as plain locals: their writes, not
+ * an incoming value, decide their storage (see initializerLocalCandidates). */
+export declare function withInitializerLocals(fn: IrFunction, bindings: readonly IrGlobal[]): IrFunction;
+/** Bindings some loop writes only on a path its iteration may skip: inside
+ * an `if` or `switch` arm, a conditional expression arm or a short-circuit
+ * operand of that loop's body. Kept in a register, such an update becomes a
+ * select that every iteration waits on; kept in memory, only the taken path
+ * pays. Writes directly in a nested loop's body count against that loop. */
+export declare function conditionalLoopWrites(body: readonly IrStmt[]): Set<string>;
 /** An analysis view only: parameters seed numeric-view initialization, not
  * integer ranges. Code generation still uses the original ABI and globals. */
 export declare function withInitializerBindings(fn: IrFunction, bindings: readonly IrGlobal[]): IrFunction;