@scriptc/compiler 0.2.7 → 0.2.9

package/dist/ir/constant-globals.js

@@ -0,0 +1,81 @@
+import { everyStmtList, mapExprChildren, mapStmtChildren } from "./traverse.js";
+/** Module constants such as `const DOT = 0x2e` read as their literal.
+ *
+ * A module-level binding is a global that the module initializer stores
+ * once; every other function loads it (a thread-local load in worker
+ * programs), which also hides the value from integer ranges, switch
+ * dispatch and LLVM's constant folding. When the global is immutable, has
+ * exactly one write in the program and that write stores a number or
+ * boolean literal, every read sees that literal: reads that could run before
+ * the store carry the frontend's initialization flag (`initFlag`) or a TDZ
+ * sentinel, and those globals are left alone. The store stays, so module
+ * namespace views and debuggers still find the value in the global. Library
+ * builds keep their globals: a host may observe them across the boundary. */
+export function foldConstantGlobals(mod) {
+    if (mod.lib || !mod.globals?.length)
+        return mod;
+    const candidates = new Set();
+    for (const g of mod.globals)
+        if (!g.mutable &&
+            g.tdz !== true &&
+            g.initFlag === undefined &&
+            (g.type.kind === "f64" || g.type.kind === "bool"))
+            candidates.add(g.id);
+    if (candidates.size === 0)
+        return mod;
+    const writes = new Map();
+    const values = new Map();
+    const write = (id, value) => {
+        if (!candidates.has(id))
+            return;
+        writes.set(id, (writes.get(id) ?? 0) + 1);
+        if (value && (value.kind === "numLit" || value.kind === "boolLit"))
+            values.set(id, value);
+        else
+            values.delete(id);
+    };
+    for (const fn of mod.functions)
+        everyStmtList(fn.body, {
+            // Every node other than a read that names the binding is a write
+            // (assignments, loop and catch bindings, compound updates); only a
+            // plain assignment or declaration contributes a value.
+            stmt: (s) => {
+                if (s.kind === "assign")
+                    write(s.localId, s.value);
+                else if (s.kind === "varDecl")
+                    write(s.localId, s.init);
+                else if ("localId" in s && typeof s.localId === "string")
+                    write(s.localId, null);
+                return true;
+            },
+            expr: (e) => {
+                if (e.kind !== "varRef" && "localId" in e && typeof e.localId === "string")
+                    write(e.localId, null);
+                return true;
+            },
+        });
+    const constants = new Map();
+    for (const [id, value] of values)
+        if (writes.get(id) === 1)
+            constants.set(id, value);
+    if (constants.size === 0)
+        return mod;
+    const reads = (e) => !(e.kind === "varRef" && constants.has(e.localId));
+    const rewriteExpr = (e) => {
+        if (e.kind === "varRef") {
+            const value = constants.get(e.localId);
+            return value ? { ...value, type: e.type, loc: e.loc } : e;
+        }
+        return mapExprChildren(e, rewriteExpr, rewriteStmt);
+    };
+    const rewriteStmt = (s) => mapStmtChildren(s, rewriteExpr, rewriteStmt);
+    let changed = false;
+    const functions = mod.functions.map((fn) => {
+        if (everyStmtList(fn.body, { stmt: () => true, expr: reads }))
+            return fn;
+        changed = true;
+        return { ...fn, body: fn.body.map(rewriteStmt) };
+    });
+    return changed ? { ...mod, functions } : mod;
+}
+//# sourceMappingURL=constant-globals.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"constant-globals.js","sourceRoot":"","sources":["../../src/ir/constant-globals.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAIhF;;;;;;;;;;;6EAW6E;AAC7E,MAAM,UAAU,mBAAmB,CAAC,GAAa;IAC/C,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM;QAAE,OAAO,GAAG,CAAC;IAChD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,OAAO;QACzB,IACE,CAAC,CAAC,CAAC,OAAO;YACV,CAAC,CAAC,GAAG,KAAK,IAAI;YACd,CAAC,CAAC,QAAQ,KAAK,SAAS;YACxB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC;YAEjD,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACzB,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IAEtC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC1C,MAAM,KAAK,GAAG,CAAC,EAAU,EAAE,KAAoB,EAAQ,EAAE;QACvD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO;QAChC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;;YACrF,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACzB,CAAC,CAAC;IACF,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS;QAC5B,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;YACrB,iEAAiE;YACjE,mEAAmE;YACnE,uDAAuD;YACvD,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;gBACV,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;oBAAE,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;qBAC9C,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;oBAAE,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;qBACnD,IAAI,SAAS,IAAI,CAAC,IAAI,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ;oBAAE,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;gBACjF,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;gBACV,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,SAAS,IAAI,CAAC,IAAI,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ;oBACxE,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;gBACzB,OAAO,IAAI,CAAC;YACd,CAAC;SACF,CAAC,CAAC;IACL,MAAM,SAAS,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC7C,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,MAAM;QAAE,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC;YAAE,SAAS,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IACrF,IAAI,SAAS,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IAErC,MAAM,KAAK,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACzF,MAAM,WAAW,GAAG,CAAC,CAAS,EAAU,EAAE;QACxC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACxB,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACvC,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,CAAC;QACD,OAAO,eAAe,CAAC,CAAC,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;IACtD,CAAC,CAAC;IACF,MAAM,WAAW,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;IACxF,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,MAAM,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAc,EAAE;QACrD,IAAI,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;YAAE,OAAO,EAAE,CAAC;QACzE,OAAO,GAAG,IAAI,CAAC;QACf,OAAO,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;IACnD,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;AAC/C,CAAC"}

package/dist/ir/constant-globals.test.d.ts

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

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

@@ -0,0 +1,97 @@
+import { expect, test } from "vitest";
+import { foldConstantGlobals } from "./constant-globals.js";
+import { F64, VOID } from "./ir.js";
+const loc = { file: "constant-globals.ts", start: 0, end: 0 };
+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 ret = (value) => ({ loc, kind: "return", value });
+const fn = (name, body) => ({
+    loc,
+    name,
+    params: [],
+    locals: [],
+    returnType: name === "%init" ? VOID : F64,
+    body,
+});
+const global = (id, extra = {}) => ({
+    id,
+    name: id,
+    type: F64,
+    mutable: false,
+    ...extra,
+});
+test("immutable globals stored once with a literal read as that literal", () => {
+    const mod = {
+        irVersion: 15,
+        sourceFile: "constant-globals.ts",
+        entry: "%init",
+        functions: [
+            fn("%init", [
+                assign("%g.DOT", num(46)),
+                assign("%g.LATE", num(7)),
+                assign("%g.TWICE", num(1)),
+                assign("%g.TWICE", num(2)),
+                assign("%g.MUT", num(3)),
+            ]),
+            fn("read", [
+                ret({
+                    loc,
+                    kind: "bin",
+                    op: "+",
+                    left: ref("%g.DOT"),
+                    right: {
+                        loc,
+                        kind: "bin",
+                        op: "+",
+                        left: ref("%g.LATE"),
+                        right: {
+                            loc,
+                            kind: "bin",
+                            op: "+",
+                            left: ref("%g.TWICE"),
+                            right: ref("%g.MUT"),
+                            type: F64,
+                        },
+                        type: F64,
+                    },
+                    type: F64,
+                }),
+            ]),
+        ],
+        classes: [],
+        records: [],
+        unions: [],
+        globals: [
+            global("%g.DOT"),
+            global("%g.LATE", { initFlag: "%g.LATE.initialized" }),
+            global("%g.TWICE"),
+            global("%g.MUT", { mutable: true }),
+        ],
+    };
+    const folded = foldConstantGlobals(mod);
+    const reads = [];
+    const walk = (e) => {
+        if (e.kind === "varRef")
+            reads.push(e.localId);
+        else if (e.kind === "numLit")
+            reads.push(String(e.value));
+        else if (e.kind === "bin") {
+            walk(e.left);
+            walk(e.right);
+        }
+    };
+    const body = folded.functions.find((f) => f.name === "read").body[0];
+    if (body.kind === "return" && body.value)
+        walk(body.value);
+    expect(reads).toEqual(["46", "%g.LATE", "%g.TWICE", "%g.MUT"]);
+    // The initializer keeps its store; the input module is not modified.
+    expect(folded.functions[0]).toBe(mod.functions[0]);
+    expect(mod.functions[1].body[0]).not.toBe(body);
+});
+//# sourceMappingURL=constant-globals.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"constant-globals.test.js","sourceRoot":"","sources":["../../src/ir/constant-globals.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EAAE,GAAG,EAAE,IAAI,EAA4D,MAAM,SAAS,CAAC;AAE9F,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,qBAAqB,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAC9D,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,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;AACxE,MAAM,EAAE,GAAG,CAAC,IAAY,EAAE,IAAc,EAAc,EAAE,CAAC,CAAC;IACxD,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;CACL,CAAC,CAAC;AACH,MAAM,MAAM,GAAG,CAAC,EAAU,EAAE,KAAK,GAAW,EAAE,EAAE,EAAE,CAAC,CAAC;IAClD,EAAE;IACF,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,GAAG;IACT,OAAO,EAAE,KAAK;IACd,GAAG,KAAK;CACT,CAAC,CAAC;AAEH,IAAI,CAAC,mEAAmE,EAAE,GAAG,EAAE;IAC7E,MAAM,GAAG,GAAa;QACpB,SAAS,EAAE,EAAE;QACb,UAAU,EAAE,qBAAqB;QACjC,KAAK,EAAE,OAAO;QACd,SAAS,EAAE;YACT,EAAE,CAAC,OAAO,EAAE;gBACV,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;gBACzB,MAAM,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;gBACzB,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;gBAC1B,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;gBAC1B,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;aACzB,CAAC;YACF,EAAE,CAAC,MAAM,EAAE;gBACT,GAAG,CAAC;oBACF,GAAG;oBACH,IAAI,EAAE,KAAK;oBACX,EAAE,EAAE,GAAG;oBACP,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC;oBACnB,KAAK,EAAE;wBACL,GAAG;wBACH,IAAI,EAAE,KAAK;wBACX,EAAE,EAAE,GAAG;wBACP,IAAI,EAAE,GAAG,CAAC,SAAS,CAAC;wBACpB,KAAK,EAAE;4BACL,GAAG;4BACH,IAAI,EAAE,KAAK;4BACX,EAAE,EAAE,GAAG;4BACP,IAAI,EAAE,GAAG,CAAC,UAAU,CAAC;4BACrB,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC;4BACpB,IAAI,EAAE,GAAG;yBACV;wBACD,IAAI,EAAE,GAAG;qBACV;oBACD,IAAI,EAAE,GAAG;iBACV,CAAC;aACH,CAAC;SACH;QACD,OAAO,EAAE,EAAE;QACX,OAAO,EAAE,EAAE;QACX,MAAM,EAAE,EAAE;QACV,OAAO,EAAE;YACP,MAAM,CAAC,QAAQ,CAAC;YAChB,MAAM,CAAC,SAAS,EAAE,EAAE,QAAQ,EAAE,qBAAqB,EAAE,CAAC;YACtD,MAAM,CAAC,UAAU,CAAC;YAClB,MAAM,CAAC,QAAQ,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;SACpC;KACF,CAAC;IACF,MAAM,MAAM,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC;IACxC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,IAAI,GAAG,CAAC,CAAS,EAAQ,EAAE;QAC/B,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;aAC1C,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;YAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;aACrD,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC1B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACb,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAChB,CAAC;IACH,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;IACvE,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,KAAK;QAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3D,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC/D,qEAAqE;IACrE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACnD,CAAC,CAAC,CAAC"}

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

@@ -0,0 +1,35 @@
+import { type IrClassDef, type IrModule } from "./ir.js";
+/** Whole-program final reference fields.
+ *
+ * A reference-counted class field is final when every write the program can
+ * make to it is a constructor of its family storing through that
+ * constructor's own `this`. Outside the constructors such a field never
+ * changes, so while its object is alive the field keeps its value alive: a
+ * read of `o.f` may be borrowed for as long as `o` itself is (`this.scanner`
+ * inside a method, across any call), without a retain and a release.
+ * Constructors are excluded from that use, because they are where the field
+ * changes; so are async functions and generators, whose suspensions let
+ * other code (a constructor that is still running) continue.
+ *
+ * Writes the IR does not show disqualify fields up front: library builds
+ * (instances cross a native boundary), live dynamic views whose stores can
+ * name the field (see dynamicFieldStores), and classes with runtime-provided
+ * or generic ancestors. Generated stores only initialize fresh objects or
+ * tear down dead ones. */
+export declare class FinalFields {
+    private readonly classes;
+    private readonly finals;
+    private readonly familyOf;
+    /** Disqualified families and the first reason, for tests. */
+    readonly reasons: Map<string, string>;
+    constructor(classes?: ReadonlyMap<string, IrClassDef>);
+    /** The topmost class in the base chain declaring the field, and the field. */
+    family(className: string, field: string): string | null;
+    isFinal(className: string, field: string): boolean;
+    get size(): number;
+    add(family: string): void;
+    drop(family: string, why: string): void;
+}
+/** `%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;

package/dist/ir/final-fields.js

@@ -0,0 +1,187 @@
+import { isRefCounted } from "./ir.js";
+import { dynamicFieldStores } from "./int32-slots.js";
+import { everyExprChild, everyStmtChild } from "./traverse.js";
+/** Whole-program final reference fields.
+ *
+ * A reference-counted class field is final when every write the program can
+ * make to it is a constructor of its family storing through that
+ * constructor's own `this`. Outside the constructors such a field never
+ * changes, so while its object is alive the field keeps its value alive: a
+ * read of `o.f` may be borrowed for as long as `o` itself is (`this.scanner`
+ * inside a method, across any call), without a retain and a release.
+ * Constructors are excluded from that use, because they are where the field
+ * changes; so are async functions and generators, whose suspensions let
+ * other code (a constructor that is still running) continue.
+ *
+ * Writes the IR does not show disqualify fields up front: library builds
+ * (instances cross a native boundary), live dynamic views whose stores can
+ * name the field (see dynamicFieldStores), and classes with runtime-provided
+ * or generic ancestors. Generated stores only initialize fresh objects or
+ * tear down dead ones. */
+export class FinalFields {
+    classes;
+    finals = new Set();
+    familyOf = new Map();
+    /** Disqualified families and the first reason, for tests. */
+    reasons = new Map();
+    constructor(classes = new Map()) {
+        this.classes = classes;
+    }
+    /** The topmost class in the base chain declaring the field, and the field. */
+    family(className, field) {
+        const key = `${className}\0${field}`;
+        const cached = this.familyOf.get(key);
+        if (cached !== undefined)
+            return cached;
+        let owner = this.classes.get(className);
+        let result = null;
+        if (owner?.fields.some((f) => f.name === field)) {
+            for (;;) {
+                const base = owner.base ? this.classes.get(owner.base) : undefined;
+                if (!base?.fields.some((f) => f.name === field))
+                    break;
+                owner = base;
+            }
+            result = `${owner.name}\0${field}`;
+        }
+        this.familyOf.set(key, result);
+        return result;
+    }
+    isFinal(className, field) {
+        if (this.finals.size === 0)
+            return false;
+        const family = this.family(className, field);
+        return family !== null && this.finals.has(family);
+    }
+    get size() {
+        return this.finals.size;
+    }
+    /* ── construction (analyzeFinalFields only) ── */
+    add(family) {
+        this.finals.add(family);
+    }
+    drop(family, why) {
+        if (!this.reasons.has(family))
+            this.reasons.set(family, why);
+        this.finals.delete(family);
+    }
+}
+const CONSTRUCTOR_SUFFIX = ".constructor";
+/** `%C.constructor`'s class name, or null for any other function. */
+export function constructorClass(fnName) {
+    return fnName.startsWith("%") && fnName.endsWith(CONSTRUCTOR_SUFFIX)
+        ? fnName.slice(1, -CONSTRUCTOR_SUFFIX.length)
+        : null;
+}
+export function analyzeFinalFields(mod) {
+    const classes = new Map((mod.classes ?? []).map((c) => [c.name, c]));
+    const finals = new FinalFields(classes);
+    if (mod.lib)
+        return finals;
+    const dynamic = dynamicFieldStores(mod);
+    if (dynamic.all)
+        return finals;
+    const genericFamilies = new Set();
+    for (const cls of classes.values())
+        if (cls.genericOf !== undefined) {
+            genericFamilies.add(cls.name);
+            genericFamilies.add(cls.genericOf);
+        }
+    const plainClass = (cls) => {
+        for (let c = cls; c; c = c.base ? classes.get(c.base) : undefined) {
+            if (c.runtime || genericFamilies.has(c.name))
+                return false;
+            if (c.base && !classes.has(c.base))
+                return false;
+        }
+        return true;
+    };
+    const inFamily = (className, family) => {
+        const owner = family.slice(0, family.indexOf("\0"));
+        for (let c = classes.get(className); c; c = c.base ? classes.get(c.base) : undefined)
+            if (c.name === owner)
+                return true;
+        return false;
+    };
+    for (const cls of classes.values())
+        for (const field of cls.fields) {
+            if (!isRefCounted(field.type) || field.name.startsWith("%"))
+                continue;
+            const family = finals.family(cls.name, field.name);
+            if (finals.reasons.has(family))
+                continue;
+            if (!plainClass(cls))
+                finals.drop(family, "runtime-provided or generic class");
+            else if (dynamic.names.has(field.name))
+                finals.drop(family, "dynamic stores can name the field");
+            else
+                finals.add(family);
+        }
+    if (finals.size === 0)
+        return finals;
+    for (const fn of mod.functions) {
+        const ctor = constructorClass(fn.name);
+        const self = ctor !== null ? fn.params[0]?.localId : undefined;
+        const selfLocal = self !== undefined ? fn.locals.find((l) => l.id === self) : undefined;
+        // `this` must name the object under construction for the whole body.
+        const constructing = selfLocal !== undefined && !selfLocal.boxed && !reassigns(fn.body, self);
+        const stmt = (s) => {
+            if (s.kind === "fieldSet") {
+                const family = finals.family(s.className, s.field);
+                if (family !== null && finals.isFinal(s.className, s.field)) {
+                    const own = constructing && ctor !== null && inFamily(ctor, family) && isSelf(s.obj, self);
+                    if (!own)
+                        finals.drop(family, `written in ${fn.name}`);
+                }
+            }
+            return everyStmtChild(s, expr, stmt);
+        };
+        const expr = (e) => everyExprChild(e, expr, stmt);
+        for (const s of fn.body)
+            stmt(s);
+    }
+    return finals;
+}
+/** `this` itself, or behind the derived constructor's guards (`if (!super
+ * called) throw`), which read no reference and write nothing. */
+function isSelf(e, self) {
+    if (e.kind === "varRef")
+        return e.localId === self;
+    if (e.kind !== "seqExpr")
+        return false;
+    for (const s of e.stmts) {
+        if (s.kind !== "if" || s.else_ !== null || s.then.length !== 1)
+            return false;
+        const only = s.then[0];
+        if (only.kind !== "exprStmt" ||
+            only.expr.kind !== "libCall" ||
+            only.expr.fn !== "error.nodeThrow" ||
+            !only.expr.args.every((arg) => arg.kind === "numLit" || arg.kind === "strLit") ||
+            !throwFreeCondition(s.cond))
+            return false;
+    }
+    return isSelf(e.result, self);
+}
+function throwFreeCondition(e) {
+    if (e.kind === "varRef" || e.kind === "boolLit")
+        return e.type.kind === "bool";
+    return e.kind === "unary" && throwFreeCondition(e.operand);
+}
+function reassigns(body, localId) {
+    let found = false;
+    const expr = (e) => {
+        if ((e.kind === "assignExpr" || e.kind === "incDec") && e.localId === localId)
+            found = true;
+        return !found && everyExprChild(e, expr, stmt);
+    };
+    const stmt = (s) => {
+        if (s.kind === "assign" && s.localId === localId && s.initializes !== true)
+            found = true;
+        return !found && everyStmtChild(s, expr, stmt);
+    };
+    for (const s of body)
+        if (!stmt(s))
+            break;
+    return found;
+}
+//# sourceMappingURL=final-fields.js.map

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

@@ -0,0 +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"}

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

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

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

@@ -0,0 +1,106 @@
+import { expect, test } from "vitest";
+import { analyzeFinalFields, constructorClass } from "./final-fields.js";
+import { BOOL, STRING, VOID, } from "./ir.js";
+const loc = { file: "final-fields.ts", start: 0, end: 0 };
+const obj = (className) => ({ kind: "object", className });
+const ref = (localId, type) => ({ loc, kind: "varRef", localId, type });
+const str = (value) => ({ loc, kind: "strLit", value, type: STRING });
+const set = (target, className, field, value) => ({
+    loc,
+    kind: "fieldSet",
+    obj: target,
+    className,
+    field,
+    value,
+});
+const fn = (name, self, body) => ({
+    loc,
+    name,
+    params: self ? [{ localId: "this", name: "this", type: obj(self) }] : [],
+    locals: self ? [{ id: "this", name: "this", type: obj(self), mutable: false }] : [],
+    returnType: VOID,
+    body,
+});
+const cls = (name, fields, base) => ({
+    loc,
+    name,
+    ...(base ? { base } : {}),
+    fields: fields.map((field) => ({ name: field, type: STRING })),
+});
+const mod = (classes, functions) => ({
+    irVersion: 15,
+    sourceFile: "final-fields.ts",
+    entry: "%main",
+    classes,
+    functions: [fn("%main", null, []), ...functions],
+    records: [],
+    unions: [],
+    globals: [],
+});
+const self = (className) => ref("this", obj(className));
+test("constructor names map to their class", () => {
+    expect(constructorClass("%%m1.Parser.constructor")).toBe("%m1.Parser");
+    expect(constructorClass("%%m1.Parser.parse")).toBeNull();
+});
+test("fields written only through their constructors' this are final", () => {
+    const finals = analyzeFinalFields(mod([cls("A", ["kept", "moved"]), cls("B", ["kept", "moved", "own"], "A")], [
+        fn("%A.constructor", "A", [
+            set(self("A"), "A", "kept", str("a")),
+            set(self("A"), "A", "kept", str("twice")),
+            set(self("A"), "A", "moved", str("a")),
+        ]),
+        // A subclass constructor initializes its base's field through a guard.
+        fn("%B.constructor", "B", [
+            set({
+                loc,
+                kind: "seqExpr",
+                stmts: [
+                    {
+                        loc,
+                        kind: "if",
+                        cond: {
+                            loc,
+                            kind: "unary",
+                            op: "!",
+                            operand: ref("superCalled", BOOL),
+                            type: BOOL,
+                        },
+                        then: [
+                            {
+                                loc,
+                                kind: "exprStmt",
+                                expr: {
+                                    loc,
+                                    kind: "libCall",
+                                    fn: "error.nodeThrow",
+                                    args: [str("ReferenceError")],
+                                    type: VOID,
+                                },
+                            },
+                        ],
+                        else_: null,
+                    },
+                ],
+                result: self("B"),
+                type: obj("B"),
+            }, "B", "own", str("b")),
+        ]),
+        // Any write elsewhere disqualifies the field family.
+        fn("%A.reset", "A", [set(self("A"), "A", "moved", str("later"))]),
+    ]));
+    expect(finals.isFinal("A", "kept")).toBe(true);
+    expect(finals.isFinal("B", "kept")).toBe(true);
+    expect(finals.isFinal("B", "own")).toBe(true);
+    expect(finals.isFinal("A", "moved")).toBe(false);
+    expect(finals.isFinal("B", "moved")).toBe(false);
+    expect(finals.reasons.get("A\0moved")).toBe("written in %A.reset");
+});
+test("constructors writing another object, and library builds, are not final", () => {
+    const other = fn("%A.constructor", "A", [set(ref("peer", obj("A")), "A", "kept", str("a"))]);
+    other.locals.push({ id: "peer", name: "peer", type: obj("A"), mutable: false });
+    expect(analyzeFinalFields(mod([cls("A", ["kept"])], [other])).isFinal("A", "kept")).toBe(false);
+    const library = mod([cls("A", ["kept"])], []);
+    library.lib = { profile: "p" };
+    expect(analyzeFinalFields(library).size).toBe(0);
+});
+//# sourceMappingURL=final-fields.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"final-fields.test.js","sourceRoot":"","sources":["../../src/ir/final-fields.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACzE,OAAO,EACL,IAAI,EACJ,MAAM,EACN,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,GAAG,GAAG,CAAC,SAAiB,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;AAC3E,MAAM,GAAG,GAAG,CAAC,OAAe,EAAE,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;AAChG,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;AACtF,MAAM,GAAG,GAAG,CAAC,MAAc,EAAE,SAAiB,EAAE,KAAa,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC;IACxF,GAAG;IACH,IAAI,EAAE,UAAU;IAChB,GAAG,EAAE,MAAM;IACX,SAAS;IACT,KAAK;IACL,KAAK;CACN,CAAC,CAAC;AACH,MAAM,EAAE,GAAG,CAAC,IAAY,EAAE,IAAmB,EAAE,IAAc,EAAc,EAAE,CAAC,CAAC;IAC7E,GAAG;IACH,IAAI;IACJ,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE;IACxE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE;IACnF,UAAU,EAAE,IAAI;IAChB,IAAI;CACL,CAAC,CAAC;AACH,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,MAAgB,EAAE,IAAa,EAAc,EAAE,CAAC,CAAC;IAC1E,GAAG;IACH,IAAI;IACJ,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;CAC/D,CAAC,CAAC;AACH,MAAM,GAAG,GAAG,CAAC,OAAqB,EAAE,SAAuB,EAAY,EAAE,CAAC,CAAC;IACzE,SAAS,EAAE,EAAE;IACb,UAAU,EAAE,iBAAiB;IAC7B,KAAK,EAAE,OAAO;IACd,OAAO;IACP,SAAS,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,GAAG,SAAS,CAAC;IAChD,OAAO,EAAE,EAAE;IACX,MAAM,EAAE,EAAE;IACV,OAAO,EAAE,EAAE;CACZ,CAAC,CAAC;AACH,MAAM,IAAI,GAAG,CAAC,SAAiB,EAAU,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;AAExE,IAAI,CAAC,sCAAsC,EAAE,GAAG,EAAE;IAChD,MAAM,CAAC,gBAAgB,CAAC,yBAAyB,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACvE,MAAM,CAAC,gBAAgB,CAAC,mBAAmB,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AAC3D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gEAAgE,EAAE,GAAG,EAAE;IAC1E,MAAM,MAAM,GAAG,kBAAkB,CAC/B,GAAG,CACD,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,EACtE;QACE,EAAE,CAAC,gBAAgB,EAAE,GAAG,EAAE;YACxB,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;YACrC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;YACzC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;SACvC,CAAC;QACF,uEAAuE;QACvE,EAAE,CAAC,gBAAgB,EAAE,GAAG,EAAE;YACxB,GAAG,CACD;gBACE,GAAG;gBACH,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE;oBACL;wBACE,GAAG;wBACH,IAAI,EAAE,IAAI;wBACV,IAAI,EAAE;4BACJ,GAAG;4BACH,IAAI,EAAE,OAAO;4BACb,EAAE,EAAE,GAAG;4BACP,OAAO,EAAE,GAAG,CAAC,aAAa,EAAE,IAAI,CAAC;4BACjC,IAAI,EAAE,IAAI;yBACX;wBACD,IAAI,EAAE;4BACJ;gCACE,GAAG;gCACH,IAAI,EAAE,UAAU;gCAChB,IAAI,EAAE;oCACJ,GAAG;oCACH,IAAI,EAAE,SAAS;oCACf,EAAE,EAAE,iBAAiB;oCACrB,IAAI,EAAE,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;oCAC7B,IAAI,EAAE,IAAI;iCACX;6BACF;yBACF;wBACD,KAAK,EAAE,IAAI;qBACZ;iBACF;gBACD,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC;gBACjB,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC;aACf,EACD,GAAG,EACH,KAAK,EACL,GAAG,CAAC,GAAG,CAAC,CACT;SACF,CAAC;QACF,qDAAqD;QACrD,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;KAClE,CACF,CACF,CAAC;IACF,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjD,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjD,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;AACrE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wEAAwE,EAAE,GAAG,EAAE;IAClF,MAAM,KAAK,GAAG,EAAE,CAAC,gBAAgB,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7F,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;IAChF,MAAM,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChG,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC9C,OAAO,CAAC,GAAG,GAAG,EAAE,OAAO,EAAE,GAAG,EAA6C,CAAC;IAC1E,MAAM,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACnD,CAAC,CAAC,CAAC"}

package/dist/ir/int32-slots.d.ts

@@ -0,0 +1,81 @@
+import type { IrClassDef, IrExpr, IrModule } from "./ir.js";
+import { type IntegerSlotFacts } from "./integer-ranges.js";
+/** Whole-program int32 specialization of numeric storage.
+ *
+ * A class field typed `number` whose every write provably stores an int32
+ * (never -0, never NaN, never a fraction or an out-of-range integer) can be
+ * stored as an i32: reading it back as a double is exact, so every program
+ * observation is unchanged. The same proof seeds parameters of functions
+ * that are only ever called directly (every call site passes an int32) and
+ * results of functions whose every return is an int32. Parameter and result
+ * ABIs stay double; only the facts reach the callee and the call sites.
+ *
+ * The analysis is optimistic: every candidate slot starts as int32, each
+ * function is analyzed by analyzeIntegerRanges under the current facts, and
+ * any write the analysis cannot prove disqualifies its slot. Functions that
+ * read a disqualified slot are analyzed again, until no write fails. At the
+ * fixpoint every assumption was proven against every write.
+ *
+ * Writes the IR does not show disqualify a slot up front. Instances that
+ * reach checked-dynamic code get live views whose runtime stores commit
+ * back into the fields; a field of such a class stays a double when any
+ * dynamic store in the program can name it (literal-keyed stores name one
+ * property, every other store any property, islands everything). Classes
+ * with runtime-provided ancestors, generic families, fields under
+ * `++`/`--`, and parameters of functions that escape as values, are
+ * constructed through class values, or are virtual-dispatch targets are
+ * excluded as well. Library builds keep ordinary storage: their instances
+ * cross a native boundary. Worker builds do not: instances reach another
+ * thread only through postMessage/workerData, whose dyn views read (and
+ * commit) fields like every other dynamic reader. Reads are never
+ * restricted: every reader (static code, dyn views, JSON, inspect) widens
+ * the i32 exactly. */
+export declare class Int32Slots {
+    private readonly classes;
+    /** Field families (topmost declaring class and field) stored as i32. */
+    private readonly fields;
+    private readonly familyOf;
+    private readonly paramFacts;
+    private readonly returns;
+    /** Captured-binding groups (one shared box) that hold an int32, and the
+     * group of each `function\0local` member. */
+    private readonly boxes;
+    private readonly boxGroupOf;
+    /** Field write values proven int32 by the final analysis. */
+    readonly provenWrites: Set<IrExpr>;
+    /** Disqualified candidates and the first reason, for tests. */
+    readonly reasons: Map<string, string>;
+    constructor(classes?: ReadonlyMap<string, IrClassDef>);
+    /** The family key of a class field: the topmost class in the base chain
+     * that declares a field of that name (all subclasses share its slot). */
+    family(className: string, field: string): string | null;
+    isField(className: string, field: string): boolean;
+    /** The facts analyzeIntegerRanges may assume inside one function. */
+    facts(fnName: string): IntegerSlotFacts;
+    boxGroup(fnName: string, localId: string): string | null;
+    addBox(group: string, members: readonly string[]): void;
+    dropBox(group: string): boolean;
+    hasBox(group: string | null): boolean;
+    addField(family: string): void;
+    dropField(family: string): boolean;
+    hasFamily(family: string): boolean;
+    addParam(fnName: string, localId: string): void;
+    dropParam(fnName: string, localId: string): boolean;
+    hasParam(fnName: string, localId: string): boolean;
+    addReturn(fnName: string): void;
+    dropReturn(fnName: string): boolean;
+    hasReturn(fnName: string): boolean;
+    get fieldCount(): number;
+    get returnCount(): number;
+    get paramCount(): number;
+}
+/** The class field names that runtime stores through live dynamic views
+ * (typed-ref capsules) can write: every name when `all` (islands, jsval
+ * values, or a dynamic store whose key is not a literal), otherwise the
+ * literal keys of `dyn.keySet`/`dyn.keyDelete`. A view commits a store back
+ * into the instance's native field slots, which the IR does not show. */
+export declare function dynamicFieldStores(mod: IrModule, records?: Map<string, import("./ir.js").IrRecordShape>, unions?: Map<string, import("./ir.js").IrUnionDef>): {
+    all: boolean;
+    names: Set<string>;
+};
+export declare function analyzeInt32Slots(mod: IrModule): Int32Slots;