@scriptc/compiler 0.4.5 → 0.4.6

package/dist/backend/llvm/repr-report.js

@@ -0,0 +1,143 @@
+/* The representation report (SCRIPTC_REPR_REPORT=<file>): after a module is
+ * emitted, one tab-separated line per class field, function parameter,
+ * function result and union, naming the storage the backend chose for it
+ * and, for numbers kept as doubles, the reason the int32 analysis recorded
+ * (int32-slots.ts Int32Slots.reasons). It is a diagnostic for ranking
+ * representation work; nothing reads it back. */
+import { writeFileSync } from "node:fs";
+import { typeKey } from "../../ir/ir.js";
+import { classFieldTypes } from "./classes.js";
+import { INLINE_UNION_FIELD } from "./inline-unions.js";
+export const REPR_REPORT_HEADER = "kind\towner\tname\ttype\tstorage\treason";
+/** The file SCRIPTC_REPR_REPORT names, or null. A build that writes the
+ * report skips the executable cache, whose hit would emit no module. */
+export function representationReportPath(env = process.env) {
+    const path = env["SCRIPTC_REPR_REPORT"];
+    return path === undefined || path === "" ? null : path;
+}
+/** Writes the report of `emitter`'s module when SCRIPTC_REPR_REPORT names a
+ * file. */
+export function writeRepresentationReport(emitter) {
+    const path = representationReportPath();
+    if (path !== null)
+        writeFileSync(path, representationReport(emitter));
+}
+export function representationReport(emitter) {
+    const mod = emitter.mod;
+    const slots = emitter.int32Slots;
+    const lines = [REPR_REPORT_HEADER];
+    const row = (...cells) => {
+        lines.push(cells.map((cell) => cell.replace(/[\t\n]/g, " ")).join("\t"));
+    };
+    const typeLabel = typeLabeler(mod);
+    // A union value that is not a plain box: a nullable or shape pointer.
+    const unionStorage = (t) => {
+        if (t.kind !== "union")
+            return null;
+        return emitter.nullableUnions.get(t.unionId)?.repr ?? "box";
+    };
+    for (const cls of mod.classes ?? []) {
+        const meta = emitter.classMeta.get(cls.name);
+        const types = classFieldTypes(emitter.shapeHost, cls, slots);
+        // Inherited fields come first in def.fields: report each field once,
+        // on the class that declares it.
+        const inherited = meta?.base?.def.fields.length ?? 0;
+        cls.fields.forEach((field, i) => {
+            if (i < inherited)
+                return;
+            let storage = types[i];
+            if (storage === INLINE_UNION_FIELD)
+                storage = "inline union";
+            else if (meta?.compressed[i] === true)
+                storage = "ref32";
+            else if (storage === "ptr")
+                storage = unionStorage(field.type) ?? "ptr";
+            let reason = "";
+            if (field.type.kind === "f64" && storage === "double") {
+                const family = slots.family(cls.name, field.name);
+                reason =
+                    family === null
+                        ? "no field family"
+                        : (slots.reasons.get(`field:${family}`) ?? "not a candidate");
+            }
+            row("field", cls.name, field.name, typeLabel(field.type), storage, reason);
+        });
+    }
+    for (const fn of mod.functions) {
+        const abi = emitter.int32Abis.get(fn.name);
+        fn.params.forEach((param, i) => {
+            let storage;
+            let reason = "";
+            if (param.type.kind === "f64") {
+                storage = abi?.params[i] === true ? "i32" : "double";
+                if (storage === "double")
+                    reason = parameterReason(emitter, fn, param.localId);
+            }
+            else
+                storage = unionStorage(param.type) ?? scalarStorage(param.type);
+            row("param", fn.name, param.name, typeLabel(param.type), storage, reason);
+        });
+        const ret = fn.returnType;
+        if (ret.kind === "void")
+            continue;
+        let storage;
+        let reason = "";
+        if (ret.kind === "f64") {
+            storage = abi?.result === true ? "i32" : "double";
+            if (storage === "double")
+                reason = slots.reasons.get(`ret:${fn.name}`) ?? notCandidate(emitter, fn);
+        }
+        else if (ret.kind === "union" && abi?.union === true)
+            storage = "register pair";
+        else
+            storage = unionStorage(ret) ?? scalarStorage(ret);
+        row("return", fn.name, "", typeLabel(ret), storage, reason);
+    }
+    for (const def of mod.unions ?? [])
+        row("union", def.id, "", typeLabel({ kind: "union", unionId: def.id }), unionStorage({ kind: "union", unionId: def.id }), "");
+    return lines.join("\n") + "\n";
+}
+function scalarStorage(t) {
+    switch (t.kind) {
+        case "f64":
+            return "double";
+        case "bool":
+            return "i1";
+        default:
+            return "ptr";
+    }
+}
+function parameterReason(emitter, fn, localId) {
+    const slots = emitter.int32Slots;
+    const recorded = slots.reasons.get(`param:${fn.name}\0${localId}`);
+    if (recorded !== undefined)
+        return recorded;
+    // Proven, but the function has no i32 entry (findInt32Abis).
+    if (slots.hasParam(fn.name, localId))
+        return "no i32 entry";
+    return notCandidate(emitter, fn);
+}
+/** Why a function's numbers were never int32 candidates: the analysis only
+ * proves functions that direct calls alone reach. */
+function notCandidate(emitter, fn) {
+    if (fn.async)
+        return "async function";
+    if (fn.generator)
+        return "generator";
+    if (fn.captures !== undefined)
+        return "closure";
+    if (!emitter.int32Slots.called.has(fn.name))
+        return "no direct call";
+    return "escapes or is dispatched";
+}
+/** Type labels with union arms spelled out. */
+function typeLabeler(mod) {
+    const arms = new Map((mod.unions ?? []).map((def) => [def.id, def.arms]));
+    return (t) => {
+        if (t.kind !== "union")
+            return typeKey(t);
+        const list = arms.get(t.unionId);
+        return list === undefined ? typeKey(t) : list.map(typeKey).join(" | ");
+    };
+}
+//# sourceMappingURL=repr-report.js.map

package/dist/backend/llvm/repr-report.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"repr-report.js","sourceRoot":"","sources":["../../../src/backend/llvm/repr-report.ts"],"names":[],"mappings":"AAAA;;;;;iDAKiD;AACjD,OAAO,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACxC,OAAO,EAAE,OAAO,EAA+C,MAAM,gBAAgB,CAAC;AAEtF,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAExD,MAAM,CAAC,MAAM,kBAAkB,GAAG,0CAA0C,CAAC;AAE7E;wEACwE;AACxE,MAAM,UAAU,wBAAwB,CAAC,GAAG,GAAsB,OAAO,CAAC,GAAG;IAC3E,MAAM,IAAI,GAAG,GAAG,CAAC,qBAAqB,CAAC,CAAC;IACxC,OAAO,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACzD,CAAC;AAED;WACW;AACX,MAAM,UAAU,yBAAyB,CAAC,OAAkB;IAC1D,MAAM,IAAI,GAAG,wBAAwB,EAAE,CAAC;IACxC,IAAI,IAAI,KAAK,IAAI;QAAE,aAAa,CAAC,IAAI,EAAE,oBAAoB,CAAC,OAAO,CAAC,CAAC,CAAC;AACxE,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,OAAkB;IACrD,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC;IACxB,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,CAAC;IACjC,MAAM,KAAK,GAAG,CAAC,kBAAkB,CAAC,CAAC;IACnC,MAAM,GAAG,GAAG,CAAC,GAAG,KAAe,EAAQ,EAAE;QACvC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3E,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IACnC,sEAAsE;IACtE,MAAM,YAAY,GAAG,CAAC,CAAS,EAAiB,EAAE;QAChD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,IAAI,CAAC;QACpC,OAAO,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,IAAI,KAAK,CAAC;IAC9D,CAAC,CAAC;IAEF,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;QAC7D,qEAAqE;QACrE,iCAAiC;QACjC,MAAM,SAAS,GAAG,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC;QACrD,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;YAC9B,IAAI,CAAC,GAAG,SAAS;gBAAE,OAAO;YAC1B,IAAI,OAAO,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;YACxB,IAAI,OAAO,KAAK,kBAAkB;gBAAE,OAAO,GAAG,cAAc,CAAC;iBACxD,IAAI,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,IAAI;gBAAE,OAAO,GAAG,OAAO,CAAC;iBACpD,IAAI,OAAO,KAAK,KAAK;gBAAE,OAAO,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC;YACxE,IAAI,MAAM,GAAG,EAAE,CAAC;YAChB,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;gBACtD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;gBAClD,MAAM;oBACJ,MAAM,KAAK,IAAI;wBACb,CAAC,CAAC,iBAAiB;wBACnB,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,MAAM,EAAE,CAAC,IAAI,iBAAiB,CAAC,CAAC;YACpE,CAAC;YACD,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QAC7E,CAAC,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAC3C,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;YAC7B,IAAI,OAAe,CAAC;YACpB,IAAI,MAAM,GAAG,EAAE,CAAC;YAChB,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBAC9B,OAAO,GAAG,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC;gBACrD,IAAI,OAAO,KAAK,QAAQ;oBAAE,MAAM,GAAG,eAAe,CAAC,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;YACjF,CAAC;;gBAAM,OAAO,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACvE,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QAC5E,CAAC,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,EAAE,CAAC,UAAU,CAAC;QAC1B,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM;YAAE,SAAS;QAClC,IAAI,OAAe,CAAC;QACpB,IAAI,MAAM,GAAG,EAAE,CAAC;QAChB,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACvB,OAAO,GAAG,GAAG,EAAE,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC;YAClD,IAAI,OAAO,KAAK,QAAQ;gBACtB,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,YAAY,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAC9E,CAAC;aAAM,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,EAAE,KAAK,KAAK,IAAI;YAAE,OAAO,GAAG,eAAe,CAAC;;YAC7E,OAAO,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC;QACvD,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,EAAE,SAAS,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAC9D,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,MAAM,IAAI,EAAE;QAChC,GAAG,CACD,OAAO,EACP,GAAG,CAAC,EAAE,EACN,EAAE,EACF,SAAS,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAC7C,YAAY,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE,EAAE,CAAE,EACjD,EAAE,CACH,CAAC;IACJ,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AACjC,CAAC;AAED,SAAS,aAAa,CAAC,CAAS;IAC9B,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,KAAK;YACR,OAAO,QAAQ,CAAC;QAClB,KAAK,MAAM;YACT,OAAO,IAAI,CAAC;QACd;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CAAC,OAAkB,EAAE,EAAc,EAAE,OAAe;IAC1E,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,CAAC;IACjC,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC,CAAC;IACnE,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC;IAC5C,6DAA6D;IAC7D,IAAI,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC;QAAE,OAAO,cAAc,CAAC;IAC5D,OAAO,YAAY,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;AACnC,CAAC;AAED;qDACqD;AACrD,SAAS,YAAY,CAAC,OAAkB,EAAE,EAAc;IACtD,IAAI,EAAE,CAAC,KAAK;QAAE,OAAO,gBAAgB,CAAC;IACtC,IAAI,EAAE,CAAC,SAAS;QAAE,OAAO,WAAW,CAAC;IACrC,IAAI,EAAE,CAAC,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAChD,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;QAAE,OAAO,gBAAgB,CAAC;IACrE,OAAO,0BAA0B,CAAC;AACpC,CAAC;AAED,+CAA+C;AAC/C,SAAS,WAAW,CAAC,GAAa;IAChC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1E,OAAO,CAAC,CAAC,EAAE,EAAE;QACX,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;QAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACjC,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzE,CAAC,CAAC;AACJ,CAAC"}

package/dist/backend/llvm/repr-report.test.d.ts

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

package/dist/backend/llvm/repr-report.test.js

@@ -0,0 +1,62 @@
+import { mkdtemp, readFile, rm, writeFile } from "node:fs/promises";
+import { tmpdir } from "node:os";
+import { join } from "node:path";
+import { afterEach, expect, test } from "vitest";
+import { compile, deserializeModule } from "../../index.js";
+import { emitLlvmModule } from "./emitter.js";
+import { REPR_REPORT_HEADER } from "./repr-report.js";
+const saved = process.env["SCRIPTC_REPR_REPORT"];
+afterEach(() => {
+    if (saved === undefined)
+        delete process.env["SCRIPTC_REPR_REPORT"];
+    else
+        process.env["SCRIPTC_REPR_REPORT"] = saved;
+});
+test("the representation report names each slot's storage and why a number stays a double", async () => {
+    const dir = await mkdtemp(join(tmpdir(), "scriptc-repr-report-"));
+    try {
+        const entry = join(dir, "main.ts"), outPath = join(dir, "main.ir.json"), report = join(dir, "repr.tsv");
+        await writeFile(entry, `
+class Box {
+  id: number;
+  hits: number;
+  items: number[];
+  constructor(id: number, items: number[]) { this.id = id | 0; this.hits = 0; this.items = items; }
+}
+function scale(value: number, by: number = 2): number { return (value * by) | 0; }
+function half(value: number): number { return value / 2; }
+const boxes: Box[] = [];
+for (let i = 0; i < 4; i++) boxes.push(new Box(i, [i, i + 1]));
+for (const b of boxes) b.hits++;
+console.log(scale(boxes[1]!.id), scale(3, 4), half(boxes.length), boxes[2]!.items.length, boxes[3]!.hits);
+`);
+        const result = await compile(entry, { outDir: dir, outPath, outputKind: "ir" });
+        if (!result.ok)
+            throw new Error(result.diagnostics.map((d) => d.message).join("\n"));
+        const mod = deserializeModule(await readFile(outPath, "utf8"));
+        process.env["SCRIPTC_REPR_REPORT"] = report;
+        emitLlvmModule(mod);
+        const lines = (await readFile(report, "utf8")).trimEnd().split("\n");
+        expect(lines[0]).toBe(REPR_REPORT_HEADER);
+        const rows = lines.slice(1).map((line) => line.split("\t"));
+        const row = (kind, owner, name) => rows.find((r) => r[0] === kind && r[1] === owner && r[2] === name);
+        expect(row("field", "Box", "id")?.slice(3, 5)).toEqual(["f64", "i32"]);
+        // `++` on a field keeps it a double, and the report says so.
+        expect(row("field", "Box", "hits")?.[4]).toBe("double");
+        expect(row("field", "Box", "hits")?.[5]).not.toBe("");
+        expect(row("field", "Box", "items")?.slice(3, 5)).toEqual(["array<f64>", "ptr"]);
+        // Both calls of `scale` take its variant, whose defaulted parameter is
+        // a number: the one that omits it passes the default.
+        expect(row("param", "scale", "by")).toBeUndefined();
+        expect(row("param", "scale.nativeNumber", "value")?.[4]).toBe("i32");
+        expect(row("param", "scale.nativeNumber", "by")?.slice(3, 5)).toEqual(["f64", "i32"]);
+        // An array length may exceed the int32 range.
+        expect(row("param", "half", "value")?.[4]).toBe("double");
+        expect(row("param", "half", "value")?.[5]).toMatch(/^argument in .* is not int32$/);
+        expect(row("return", "half", "")?.slice(4)).toEqual(["double", "return is not int32"]);
+    }
+    finally {
+        await rm(dir, { recursive: true, force: true });
+    }
+});
+//# sourceMappingURL=repr-report.test.js.map

package/dist/backend/llvm/repr-report.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"repr-report.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/repr-report.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACpE,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACjD,OAAO,EAAE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAEtD,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC;AACjD,SAAS,CAAC,GAAG,EAAE;IACb,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC;;QAC9D,OAAO,CAAC,GAAG,CAAC,qBAAqB,CAAC,GAAG,KAAK,CAAC;AAClD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qFAAqF,EAAE,KAAK,IAAI,EAAE;IACrG,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,sBAAsB,CAAC,CAAC,CAAC;IAClE,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,EAChC,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,EACnC,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QACjC,MAAM,SAAS,CACb,KAAK,EACL;;;;;;;;;;;;;CAaL,CACI,CAAC;QACF,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;QAChF,IAAI,CAAC,MAAM,CAAC,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACrF,MAAM,GAAG,GAAG,iBAAiB,CAAC,MAAM,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;QAC/D,OAAO,CAAC,GAAG,CAAC,qBAAqB,CAAC,GAAG,MAAM,CAAC;QAC5C,cAAc,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,KAAK,GAAG,CAAC,MAAM,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACrE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC1C,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5D,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,KAAa,EAAE,IAAY,EAAE,EAAE,CACxD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;QACrE,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;QACvE,6DAA6D;QAC7D,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACxD,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACtD,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC,CAAC;QACjF,uEAAuE;QACvE,sDAAsD;QACtD,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;QACpD,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,oBAAoB,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrE,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,oBAAoB,EAAE,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;QACtF,8CAA8C;QAC9C,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC1D,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,+BAA+B,CAAC,CAAC;QACpF,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,qBAAqB,CAAC,CAAC,CAAC;IACzF,CAAC;YAAS,CAAC;QACT,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAClD,CAAC;AACH,CAAC,CAAC,CAAC"}

package/dist/backend/llvm/runtime-registries.test.d.ts

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

package/dist/backend/llvm/runtime-registries.test.js

@@ -0,0 +1,88 @@
+import { readFileSync } from "node:fs";
+import { expect, test } from "vitest";
+import { BYTES_ELEM_NUM, CLOSURE_KIND, SCR_ARR_FROZEN, SCR_ARR_STATES } from "./common.js";
+import { DYN_KIND, MESSAGE_KIND } from "./dyn.js";
+// The backend writes the numbers of several runtime enums and flag sets
+// into the IR it emits. Each check here reads the C declaration and fails
+// when the backend's copy disagrees, or when two names share a value.
+const source = (file) => readFileSync(new URL(`../../../../runtime/src/${file}`, import.meta.url), "utf8")
+    .replace(/\/\*[\s\S]*?\*\//g, "")
+    .replace(/\/\/.*$/gm, "");
+/** The members of `typedef enum ... { ... } <name>;` with their values. */
+function cEnum(file, name) {
+    const match = new RegExp(`typedef enum(?: \\w+)? \\{([^}]*)\\} ${name};`).exec(source(file));
+    expect(match, `${name} in ${file}`).not.toBeNull();
+    const body = match[1];
+    const members = new Map();
+    let next = 0;
+    for (const entry of body
+        .split(",")
+        .map((e) => e.trim())
+        .filter(Boolean)) {
+        const [, member, value] = /^(\w+)(?:\s*=\s*(\d+))?$/.exec(entry);
+        const v = value === undefined ? next : Number(value);
+        members.set(member, v);
+        next = v + 1;
+    }
+    return members;
+}
+/** The `#define <prefix>NAME <n>u` flags of a header. */
+function cFlags(file, prefix) {
+    const re = new RegExp(`^#define ${prefix}(\\w+) (\\d+)u\\b`, "gm");
+    return new Map([...source(file).matchAll(re)].map(([, name, value]) => [name, Number(value)]));
+}
+function expectDistinct(values, what) {
+    const owners = new Map();
+    for (const [name, value] of values) {
+        expect(owners.get(value), `${what}: ${name} = ${value}`).toBeUndefined();
+        owners.set(value, name);
+    }
+}
+function expectSingleBits(values, what) {
+    for (const [name, value] of values) {
+        expect(value > 0 && (value & (value - 1)) === 0, `${what}: ${name} = ${value}`).toBe(true);
+    }
+    expectDistinct(values, what);
+}
+test("DYN_KIND matches ScrDynKind", () => {
+    const kinds = cEnum("scr_dyn.h", "ScrDynKind");
+    expectDistinct(kinds, "ScrDynKind");
+    for (const [name, value] of Object.entries(DYN_KIND)) {
+        expect(kinds.get(`SCR_DYN_${name}`), name).toBe(value);
+    }
+});
+test("MESSAGE_KIND matches ScrMessageKind", () => {
+    const kinds = cEnum("scr_dyn.h", "ScrMessageKind");
+    expectDistinct(kinds, "ScrMessageKind");
+    for (const [name, value] of Object.entries(MESSAGE_KIND)) {
+        expect(kinds.get(`SCR_MESSAGE_${name}`), name).toBe(value);
+    }
+});
+test("BYTES_ELEM_NUM matches ScrBytesElem", () => {
+    const elems = cEnum("scr_bytes.h", "ScrBytesElem");
+    expectDistinct(elems, "ScrBytesElem");
+    expect(Object.keys(BYTES_ELEM_NUM).length).toBe(elems.size);
+    for (const [name, value] of Object.entries(BYTES_ELEM_NUM)) {
+        expect(elems.get(`SCR_BYTES_${name.toUpperCase()}`), name).toBe(value);
+    }
+});
+test("CLOSURE_KIND matches the SCR_CLOSURE_KIND_* bits", () => {
+    const flags = cFlags("scr_closure.h", "SCR_CLOSURE_KIND_");
+    expect(flags.get("CALL_MASK")).toBe(CLOSURE_KIND.GENERATOR | CLOSURE_KIND.ASYNC);
+    flags.delete("CALL_MASK");
+    expect(flags.get("MASK")).toBe(CLOSURE_KIND.RECEIVER_FREE - 1);
+    flags.delete("MASK");
+    expectSingleBits(flags, "SCR_CLOSURE_KIND");
+    expect(Object.fromEntries(flags)).toEqual(CLOSURE_KIND);
+});
+test("the %ScrArr spare flags the backend tests match scr_array.h", () => {
+    const flags = cFlags("scr_array.h", "SCR_ARR_");
+    const spare = new Map(["INLINE_SLOTS", "HEAD_ROOM", "UNSHIFTED", "HAS_EXT", "STATES", "FROZEN"].map((name) => [
+        name,
+        flags.get(name),
+    ]));
+    expectSingleBits(spare, "%ScrArr spare");
+    expect(spare.get("STATES")).toBe(SCR_ARR_STATES);
+    expect(spare.get("FROZEN")).toBe(SCR_ARR_FROZEN);
+});
+//# sourceMappingURL=runtime-registries.test.js.map

package/dist/backend/llvm/runtime-registries.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-registries.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/runtime-registries.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC3F,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAElD,wEAAwE;AACxE,0EAA0E;AAC1E,sEAAsE;AACtE,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,EAAE,CAC9B,YAAY,CAAC,IAAI,GAAG,CAAC,2BAA2B,IAAI,EAAE,EAAE,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;KAC9E,OAAO,CAAC,mBAAmB,EAAE,EAAE,CAAC;KAChC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;AAE9B,2EAA2E;AAC3E,SAAS,KAAK,CAAC,IAAY,EAAE,IAAY;IACvC,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,wCAAwC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7F,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IACnD,MAAM,IAAI,GAAG,KAAM,CAAC,CAAC,CAAE,CAAC;IACxB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,MAAM,KAAK,IAAI,IAAI;SACrB,KAAK,CAAC,GAAG,CAAC;SACV,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;SACpB,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACnB,MAAM,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,0BAA0B,CAAC,IAAI,CAAC,KAAK,CAAE,CAAC;QAClE,MAAM,CAAC,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACrD,OAAO,CAAC,GAAG,CAAC,MAAO,EAAE,CAAC,CAAC,CAAC;QACxB,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;IACf,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,yDAAyD;AACzD,SAAS,MAAM,CAAC,IAAY,EAAE,MAAc;IAC1C,MAAM,EAAE,GAAG,IAAI,MAAM,CAAC,YAAY,MAAM,mBAAmB,EAAE,IAAI,CAAC,CAAC;IACnE,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,IAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AAClG,CAAC;AAED,SAAS,cAAc,CAAC,MAA2B,EAAE,IAAY;IAC/D,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;QACnC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI,KAAK,IAAI,MAAM,KAAK,EAAE,CAAC,CAAC,aAAa,EAAE,CAAC;QACzE,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC1B,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,MAA2B,EAAE,IAAY;IACjE,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;QACnC,MAAM,CAAC,KAAK,GAAG,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI,KAAK,IAAI,MAAM,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7F,CAAC;IACD,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AAC/B,CAAC;AAED,IAAI,CAAC,6BAA6B,EAAE,GAAG,EAAE;IACvC,MAAM,KAAK,GAAG,KAAK,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC;IAC/C,cAAc,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IACpC,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrD,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzD,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qCAAqC,EAAE,GAAG,EAAE;IAC/C,MAAM,KAAK,GAAG,KAAK,CAAC,WAAW,EAAE,gBAAgB,CAAC,CAAC;IACnD,cAAc,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;IACxC,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;QACzD,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,eAAe,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7D,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qCAAqC,EAAE,GAAG,EAAE;IAC/C,MAAM,KAAK,GAAG,KAAK,CAAC,aAAa,EAAE,cAAc,CAAC,CAAC;IACnD,cAAc,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;IACtC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5D,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC;QAC3D,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzE,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kDAAkD,EAAE,GAAG,EAAE;IAC5D,MAAM,KAAK,GAAG,MAAM,CAAC,eAAe,EAAE,mBAAmB,CAAC,CAAC;IAC3D,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACjF,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IAC1B,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,aAAa,GAAG,CAAC,CAAC,CAAC;IAC/D,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACrB,gBAAgB,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC;IAC5C,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;AAC1D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6DAA6D,EAAE,GAAG,EAAE;IACvE,MAAM,KAAK,GAAG,MAAM,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,IAAI,GAAG,CACnB,CAAC,cAAc,EAAE,WAAW,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACtF,IAAI;QACJ,KAAK,CAAC,GAAG,CAAC,IAAI,CAAE;KACjB,CAAC,CACH,CAAC;IACF,gBAAgB,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;IACzC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACjD,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;AACnD,CAAC,CAAC,CAAC"}

package/dist/backend/llvm/serialized-ir-emission.test.js

@@ -42,6 +42,7 @@ test("sort-heavy programs emit equal LLVM from memory and from serialized IR", a
                     // compile() emits Linux textual LLVM with the unwinding ABI.
                     unwindAbi: process.platform === "linux",
                     objectAudit: sanitize,
+                    sanitizeAttributes: sanitize,
                     ...inlineRcOption(options.optimization, sanitize),
                 });
                 const text = typeof emitted === "string" ? emitted : emitted.join("");

package/dist/backend/llvm/serialized-ir-emission.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"serialized-ir-emission.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/serialized-ir-emission.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAC5D,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAC5D,OAAO,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC;AAEpD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,IAAI,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC;AAEzD,6EAA6E;AAC7E,2EAA2E;AAC3E,8EAA8E;AAC9E,4EAA4E;AAC5E,+DAA+D;AAC/D,IAAI,CAAC,wEAAwE,EAAE,KAAK,IAAI,EAAE;IACxF,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,kBAAkB,CAAC,CAAC,CAAC;IAClE,IAAI,CAAC;QACH,KAAK,MAAM,QAAQ,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;YACrC,KAAK,MAAM,IAAI,IAAI;gBACjB,oBAAoB;gBACpB,4BAA4B;gBAC5B,2BAA2B;aAC5B,EAAE,CAAC;gBACF,MAAM,KAAK,GAAG,GAAG,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;gBACxD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,cAAc,EAAE,IAAI,CAAC,CAAC;gBAC/C,MAAM,OAAO,GAAG;oBACd,MAAM,EAAE,SAAS;oBACjB,OAAO,EAAE,MAAe;oBACxB,YAAY,EAAE,SAAkB;oBAChC,QAAQ;iBACT,CAAC;gBACF,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,GAAG,KAAK,CAAC,CAAC;gBAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,GAAG,UAAU,CAAC,CAAC;gBAClD,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,KAAK,EAAE,EAAE,GAAG,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;gBACzF,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAClC,MAAM,EAAE,GAAG,MAAM,OAAO,CAAC,KAAK,EAAE,EAAE,GAAG,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;gBACnF,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAChC,MAAM,OAAO,GAAG,oBAAoB,CAAC,iBAAiB,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE;oBACpF,YAAY,EAAE,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,IAAI,EAAE;oBACjD,WAAW,EAAE,EAAE;oBACf,IAAI,EAAE,KAAK;oBACX,gBAAgB,EAAE,KAAK;oBACvB,6DAA6D;oBAC7D,SAAS,EAAE,OAAO,CAAC,QAAQ,KAAK,OAAO;oBACvC,WAAW,EAAE,QAAQ;oBACrB,GAAG,cAAc,CAAC,OAAO,CAAC,YAAY,EAAE,QAAQ,CAAC;iBAClD,CAAC,CAAC;gBACH,MAAM,IAAI,GAAG,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACtE,MAAM,CAAC,IAAI,KAAK,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACpE,CAAC;QACH,CAAC;IACH,CAAC;YAAS,CAAC;QACT,MAAM,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACtD,CAAC;AACH,CAAC,EAAE,OAAO,CAAC,CAAC"}
+{"version":3,"file":"serialized-ir-emission.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/serialized-ir-emission.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAC5D,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAC5D,OAAO,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC;AAEpD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,IAAI,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC;AAEzD,6EAA6E;AAC7E,2EAA2E;AAC3E,8EAA8E;AAC9E,4EAA4E;AAC5E,+DAA+D;AAC/D,IAAI,CAAC,wEAAwE,EAAE,KAAK,IAAI,EAAE;IACxF,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,kBAAkB,CAAC,CAAC,CAAC;IAClE,IAAI,CAAC;QACH,KAAK,MAAM,QAAQ,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;YACrC,KAAK,MAAM,IAAI,IAAI;gBACjB,oBAAoB;gBACpB,4BAA4B;gBAC5B,2BAA2B;aAC5B,EAAE,CAAC;gBACF,MAAM,KAAK,GAAG,GAAG,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;gBACxD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,cAAc,EAAE,IAAI,CAAC,CAAC;gBAC/C,MAAM,OAAO,GAAG;oBACd,MAAM,EAAE,SAAS;oBACjB,OAAO,EAAE,MAAe;oBACxB,YAAY,EAAE,SAAkB;oBAChC,QAAQ;iBACT,CAAC;gBACF,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,GAAG,KAAK,CAAC,CAAC;gBAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,GAAG,UAAU,CAAC,CAAC;gBAClD,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,KAAK,EAAE,EAAE,GAAG,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;gBACzF,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAClC,MAAM,EAAE,GAAG,MAAM,OAAO,CAAC,KAAK,EAAE,EAAE,GAAG,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;gBACnF,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAChC,MAAM,OAAO,GAAG,oBAAoB,CAAC,iBAAiB,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE;oBACpF,YAAY,EAAE,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,IAAI,EAAE;oBACjD,WAAW,EAAE,EAAE;oBACf,IAAI,EAAE,KAAK;oBACX,gBAAgB,EAAE,KAAK;oBACvB,6DAA6D;oBAC7D,SAAS,EAAE,OAAO,CAAC,QAAQ,KAAK,OAAO;oBACvC,WAAW,EAAE,QAAQ;oBACrB,kBAAkB,EAAE,QAAQ;oBAC5B,GAAG,cAAc,CAAC,OAAO,CAAC,YAAY,EAAE,QAAQ,CAAC;iBAClD,CAAC,CAAC;gBACH,MAAM,IAAI,GAAG,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACtE,MAAM,CAAC,IAAI,KAAK,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACpE,CAAC;QACH,CAAC;IACH,CAAC;YAAS,CAAC;QACT,MAAM,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACtD,CAAC;AACH,CAAC,EAAE,OAAO,CAAC,CAAC"}

package/dist/backend/llvm/shape-union-tags.test.d.ts

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

package/dist/backend/llvm/shape-union-tags.test.js

@@ -0,0 +1,75 @@
+import { mkdtemp, readFile, rm, writeFile } from "node:fs/promises";
+import { tmpdir } from "node:os";
+import { join } from "node:path";
+import { expect, test } from "vitest";
+import { compile, deserializeModule } from "../../index.js";
+import { validateModule } from "../../ir/validate.js";
+import { emitLlvmModule } from "./emitter.js";
+async function llvmFor(source) {
+    const dir = await mkdtemp(join(tmpdir(), "scriptc-shape-union-tags-"));
+    try {
+        const entry = join(dir, "main.ts"), output = join(dir, "main.ir.json");
+        await writeFile(entry, source);
+        const result = await compile(entry, { outDir: dir, outPath: output, outputKind: "ir" });
+        if (!result.ok)
+            throw new Error(result.diagnostics.map((item) => `${item.code}: ${item.message}`).join("\n"));
+        const module = deserializeModule(await readFile(output, "utf8"));
+        expect(validateModule(module)).toEqual([]);
+        return emitLlvmModule(module);
+    }
+    finally {
+        await rm(dir, { recursive: true, force: true });
+    }
+}
+function tagHelpers(ir) {
+    return [...ir.matchAll(/^define internal i32 @sc_stag\.[^\n]*\{[^]*?^}/gm)].map((match) => match[0]);
+}
+test("a union whose arms span few shape numbers switches on the shape word", async () => {
+    const ir = await llvmFor(`
+type Num = { kind: "num"; value: number };
+type Neg = { kind: "neg"; operand: Node };
+type Add = { kind: "add"; left: Node; right: Node };
+type Node = Num | Neg | Add;
+function evaluate(node: Node): number {
+  switch (node.kind) {
+    case "num": return node.value;
+    case "neg": return -evaluate(node.operand);
+    case "add": return evaluate(node.left) + evaluate(node.right);
+  }
+}
+const one: Node = { kind: "num", value: 1 };
+console.log(evaluate({ kind: "add", left: one, right: { kind: "neg", operand: one } }));
+`);
+    expect(ir).not.toMatch(/@sc_stagtab\./);
+    const helpers = tagHelpers(ir);
+    expect(helpers.length).toBeGreaterThan(0);
+    for (const helper of helpers)
+        expect(helper).toMatch(/switch i32 %w/);
+});
+test("a union whose arms span many shape numbers reads the arm from its table", async () => {
+    const arms = Array.from({ length: 40 }, (_, i) => i);
+    const ir = await llvmFor(`
+${arms.map((i) => `type K${i} = { kind: "k${i}"; v${i}: number };`).join("\n")}
+type Any = ${arms.map((i) => `K${i}`).join(" | ")};
+function value(item: Any): number {
+  switch (item.kind) {
+${arms.map((i) => `    case "k${i}": return item.v${i};`).join("\n")}
+  }
+}
+const items: Any[] = [${arms.map((i) => `{ kind: "k${i}", v${i}: ${i} }`).join(", ")}];
+let total = 0;
+for (const item of items) total += value(item);
+console.log(total);
+`);
+    // One byte per shape number from the arms' lowest to highest; 255 names no arm.
+    const table = /^(@sc_stagtab\.\S+) = private unnamed_addr constant \[(\d+) x i8\] \[([^\]]*)\]$/m.exec(ir);
+    expect(table, "arm table").not.toBeNull();
+    const entries = table[3].split(", ").map((entry) => Number(entry.replace("i8 ", "")));
+    expect(entries).toHaveLength(Number(table[2]));
+    expect(entries.filter((entry) => entry !== 255).sort((a, b) => a - b)).toEqual(arms);
+    const helper = tagHelpers(ir).find((text) => text.includes(table[1]));
+    expect(helper, "tag helper").toBeDefined();
+    expect(helper).toContain(`getelementptr inbounds [${table[2]} x i8], ptr ${table[1]}`);
+    expect(helper).not.toMatch(/switch i32 %w/);
+});
+//# sourceMappingURL=shape-union-tags.test.js.map

package/dist/backend/llvm/shape-union-tags.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"shape-union-tags.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/shape-union-tags.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACpE,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAE9C,KAAK,UAAU,OAAO,CAAC,MAAc;IACnC,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,2BAA2B,CAAC,CAAC,CAAC;IACvE,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,EAChC,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;QACrC,MAAM,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC/B,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;QACxF,IAAI,CAAC,MAAM,CAAC,EAAE;YACZ,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAChG,MAAM,MAAM,GAAG,iBAAiB,CAAC,MAAM,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QACjE,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC3C,OAAO,cAAc,CAAC,MAAM,CAAC,CAAC;IAChC,CAAC;YAAS,CAAC;QACT,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAClD,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,EAAU;IAC5B,OAAO,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,kDAAkD,CAAC,CAAC,CAAC,GAAG,CAC7E,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CACpB,CAAC;AACJ,CAAC;AAED,IAAI,CAAC,sEAAsE,EAAE,KAAK,IAAI,EAAE;IACtF,MAAM,EAAE,GAAG,MAAM,OAAO,CAAC;;;;;;;;;;;;;;CAc1B,CAAC,CAAC;IACD,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;IACxC,MAAM,OAAO,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC;IAC/B,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC1C,KAAK,MAAM,MAAM,IAAI,OAAO;QAAE,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;AACxE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,yEAAyE,EAAE,KAAK,IAAI,EAAE;IACzF,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACrD,MAAM,EAAE,GAAG,MAAM,OAAO,CAAC;EACzB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,gBAAgB,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;aACjE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;;;EAG/C,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;;;wBAG5C,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;;;;CAInF,CAAC,CAAC;IACD,gFAAgF;IAChF,MAAM,KAAK,GACT,mFAAmF,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC/F,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC1C,MAAM,OAAO,GAAG,KAAM,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACxF,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,KAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChD,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACrF,MAAM,MAAM,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAM,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC;IACxE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,WAAW,EAAE,CAAC;IAC3C,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,2BAA2B,KAAM,CAAC,CAAC,CAAC,eAAe,KAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACzF,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;AAC9C,CAAC,CAAC,CAAC"}

package/dist/backend/llvm/shapes.d.ts

@@ -2,13 +2,18 @@
  * Containers store erased adapters; shape helpers retain, release and trace
  * their fields. Every allocation has a size_t reference count at offset zero
  * and participates in the runtime allocation audit. */
+import type { HeapCensus } from "./heap-census.js";
 import type { IrClassDef, IrModule, IrRecordShape, IrType } from "../../ir/ir.js";
-import type { BlockBuilder } from "./blocks.js";
+import { type FreeObservers } from "./alloc.js";
+import { type BlockBuilder } from "./blocks.js";
 import { type NullableUnions } from "./nullable-unions.js";
 import { INLINE_UNION_FIELD, type InlineUnionFields } from "./inline-unions.js";
+import { type RecordViews } from "./record-views.js";
 /** What the tables need from the emitter: the extern-declaration ledger
  * and the module-wide cycle/shape indexes. */
 export interface ShapeHost {
+    /** The counters of a build instrumented for the heap census (heap-census.ts). */
+    readonly heapCensus?: HeapCensus | null;
     /** Chunk emitters only (emit-journal.ts): EmitJournal's allocated, built,
      * opened, used and entry. */
     journalAllocated?: ((name: string, op: string, args: readonly unknown[]) => void) | undefined;
@@ -76,6 +81,15 @@ export interface ShapeHost {
      * allocate in regions and count references in their region chunk instead
      * of being empty (llvm/regions.ts). */
     regions?: RegionHooks | null;
+    /** Record shapes and classes with an arena-aware constructor
+     * (arenas.ts). */
+    arenaShapes?: ReadonlySet<string>;
+    /** Record view targets and their sources (record-views.ts). */
+    recordViews?: RecordViews;
+    arenaClasses?: ReadonlySet<string>;
+    /** Every arena the program opens is closed (ArenaPlan.allClosed): the
+     * arena-aware constructors take no dispose list. */
+    arenasClosed?: boolean;
     /** The target C ABI's `size_t` / refcount integer type. */
     readonly sizeType: "i32" | "i64";
     /** Worker executables: the inline allocator state is thread-local. */
@@ -107,8 +121,9 @@ export interface RegionHooks {
     newAlloc(className: string, sizeOf: string): string[];
     classDefinitions(cls: IrClassDef, sizeOf: string): string[];
 }
-/** Every emitted function/helper carries #0 = { sanitize_address } — see
- * the emitter header. */
+/** Every emitted function/helper carries attribute group #0: the build's
+ * target CPU level, and `sanitize_address` in sanitized builds (see
+ * emit-module.ts functionAttributes). */
 export declare const FN_ATTRS = "#0";
 export { computeTraced } from "../cycle-analysis.js";
 /** The runtime's `_v` (ptr → ptr / ptr → void) RC entry points for one
@@ -129,7 +144,15 @@ export declare function retainSym(host: ShapeHost, t: IrType): string;
 /** The tag, release and trace helpers of every shape union
  * (nullable-unions.ts). The tag helper maps a value to its arm: NULL and
  * the null sentinel are the unit arms, anything else a tagged record whose
- * shape word names its arm (the switch folds to a lookup table). */
+ * shape word names its arm.
+ * - Arms within SHAPE_TAG_SWITCH_SPAN shape numbers: the helper switches on
+ *   the shape word. Inlined, the switch folds into the caller's branch on
+ *   the arm, one indirect jump with a jump table of at most that many
+ *   entries per site.
+ * - Wider unions: the shape word indexes the union's arm table, one entry
+ *   per shape number from the arms' lowest to highest, and callers branch
+ *   on the small arm tag. Folded switches would give every site of such a
+ *   union a jump table spanning all of its arms' shape numbers. */
 export declare function emitShapeUnionHelpers(host: ShapeHost): string[];
 /** Definitions of the requested NULL-skipping retain wrappers. */
 export declare function emitNullableRetainWrappers(host: ShapeHost): string[];
@@ -161,9 +184,10 @@ interface InlineRcFamily {
  * repeats its own checks, so the fast path never duplicates it.
  *
  * The dyn release buffers a surviving value by kind (scr_dyn_release):
- * the fast path decides the always and never cases and calls
- * scr_dyn_release_survivor for kinds whose candidacy is per value,
- * including arrays and objects of intact documents (ScrDynRegion).
+ * the fast path skips scalars and values already in a candidate buffer or
+ * never candidates, and calls scr_dyn_release_survivor for the rest, which
+ * decides per value (intact documents, ScrDynRegion; capsules and handles
+ * without edges).
  *
  * The array release inlines the decrement of an array that stays alive
  * and is not headered (`a->cyc`): those are most array releases in
@@ -197,7 +221,9 @@ export declare function boxReleaseSym(host: ShapeHost): string;
  * grows faster than the number of inlined releases in one function, and
  * generated dispatch tables and module initializers of large packages have
  * thousands of release sites; a body with more calls scr_dyn_release, which
- * the inline helper mirrors, at every site. */
+ * the inline helper mirrors, at every site except up to this many sites
+ * inside its loops (a script's top-level loop runs in its module
+ * initializer). */
 export declare const INLINE_DYN_RELEASES_PER_FUNCTION = 256;
 /** Inlined string releases one function body keeps in `release` emission,
  * which inlines string releases (RELEASE_RC_OPS); the bodies with the most of them, such as
@@ -242,7 +268,16 @@ export declare function elemAccess(elem: IrType): "f64" | "bool" | "ref";
 export declare function arrNewCall(host: ShapeHost, elem: IrType, capText: string, 
 /** An empty array expected to receive a few elements (its first slots
  * live in its own block): capText must be "0". */
-small?: boolean): string;
+small?: boolean, 
+/** In the current group arena when one is open (arenas.ts). */
+arena?: boolean): string;
+/** The ScrElemKind and ops descriptor (or `null`) an array of `elem`
+ * starts with: the arrays arrNewCall constructs, for the instances of a
+ * class that extends Array (scr_arr_subclass_init). */
+export declare function arrElemInit(host: ShapeHost, elem: IrType): {
+    kind: number;
+    ops: string;
+};
 /** The %ScrArrOps descriptor (retain, release, trace, registry id) of a REF
  * element type, defined once per module and shared by all its arrays. It is
  * writable: the runtime stores its registry id on the first array. Its tail
@@ -363,6 +398,21 @@ export declare function usedDirectTargets(host: ShapeHost, candidates: readonly
  * (segmentPrologueLines to segmentTeardownLines), defined as `_s`, with
  * `_sc` for scr_rc_destroy_seg, and `_d` starts a segment and frees it. */
 export declare function destroyDefinitions(destroy: string, body: readonly string[], chained: boolean, segment?: ShapeHost | null): string[];
+/** The teardown of a type whose reference fields all hold its own type
+ * (`fields`: their struct indices; `release`: the type's inlinable release;
+ * no collector header): one loop instead of a call per node. A child whose
+ * last reference the dead node held joins a pending list linked through its
+ * own count word, which it no longer needs; the loop takes the list's first
+ * node next, so nodes are visited parent first, fields in order. Each node
+ * releases its block as emitObjectFree does, keeping a block of the calling
+ * thread's arena in a segment linked through its first word, and the segment
+ * goes onto the free list in one step at the end (emitSegmentFree): the next
+ * structure built parent first takes the blocks in the order it allocates
+ * them, as segmentTeardownLines arranges for the recursive form. The loop
+ * needs no depth budget. `_d` (the direct-chain entry other teardowns call)
+ * and the plain entry both run it. A class that keeps its id in the count
+ * word counts in the low half (`count`); a dead node's whole word is free. */
+export declare function iterativeTeardownDefinitions(host: ShapeHost, destroy: string, struct: string, fields: readonly number[], release: string, observers: FreeObservers, count?: RcCount): string[];
 /** Common NULL/immortal/decrement skeleton for ordinary object releases.
  * `freeBody` owns the zero-ref teardown and must leave the current block at
  * its end; traced objects also get the possible-cycle-root branch.
@@ -370,7 +420,7 @@ export declare function destroyDefinitions(destroy: string, body: readonly strin
  * `fnName` is only the inlinable fast path (releaseFastPath); the complete
  * release is `${fnName}_slow`, kept out of line so callers that inline the
  * release do not also inline its teardown. */
-export declare function releaseBody(host: ShapeHost, fnName: string, traced: boolean, freeBody: string[], comment?: string, bounded?: boolean, immortal?: boolean, chained?: boolean, segmented?: boolean, frozen?: boolean): string[];
+export declare function releaseBody(host: ShapeHost, fnName: string, traced: boolean, freeBody: string[], comment?: string, bounded?: boolean, immortal?: boolean, chained?: boolean, segmented?: boolean, frozen?: boolean, destroyDefs?: readonly string[] | null, count?: RcCount): string[];
 /** The inlinable half of an object release. A reference that is neither the
  * last one nor immortal (rc - 2 < SIZE_MAX - 2 rules out 0, 1 and SIZE_MAX
  * in one compare) only decrements and, for headered objects, takes the