@scriptc/compiler 0.3.1 → 0.3.3

package/dist/backend/llvm/regions.test.js

@@ -0,0 +1,173 @@
+import { expect, test } from "vitest";
+import { F64, STRING, VOID } from "../../ir/ir.js";
+import { validateModule } from "../../ir/validate.js";
+import { emitLlvmModule } from "./emitter.js";
+import { mangleClassNew, mangleClassRelease, mangleClassRetain, mangleClassStruct, mangleRecordRelease, mangleRecordStruct, } from "../mangle.js";
+const loc = { file: "regions.ts", start: 0, end: 1 };
+const node = { kind: "object", className: "Node" };
+const leaf = { kind: "object", className: "Leaf" };
+const owner = { kind: "object", className: "Owner" };
+const tagged = { kind: "object", className: "Tagged" };
+const span = { kind: "record", shapeId: "span" };
+/** A ProgramLifetime hierarchy (Node, Leaf), an ordinary hierarchy that
+ * holds instances of it (Owner, Tagged), a record that holds one, and a
+ * class that cannot reach any (Label). */
+function module(body = [], lifetimeRegions = true) {
+    return {
+        irVersion: 16,
+        sourceFile: loc.file,
+        entry: "main",
+        ...(lifetimeRegions ? { lifetimeRegions: true } : {}),
+        functions: [
+            {
+                name: "main",
+                params: [],
+                returnType: VOID,
+                locals: [],
+                body: body.map((expr) => ({ kind: "exprStmt", expr, loc })),
+                loc,
+            },
+        ],
+        classes: [
+            {
+                name: "Node",
+                fields: [
+                    { name: "parent", type: node },
+                    { name: "kids", type: { kind: "array", elem: node } },
+                    { name: "name", type: STRING },
+                    { name: "span", type: span },
+                ],
+                methods: [],
+                loc,
+            },
+            {
+                name: "Leaf",
+                base: "Node",
+                fields: [
+                    { name: "parent", type: node },
+                    { name: "kids", type: { kind: "array", elem: node } },
+                    { name: "name", type: STRING },
+                    { name: "span", type: span },
+                    { name: "value", type: F64 },
+                ],
+                methods: [],
+                loc,
+            },
+            { name: "Owner", fields: [{ name: "label", type: STRING }], methods: [], loc },
+            {
+                name: "Tagged",
+                base: "Owner",
+                fields: [
+                    { name: "label", type: STRING },
+                    { name: "target", type: leaf },
+                ],
+                methods: [],
+                loc,
+            },
+            { name: "Label", fields: [{ name: "text", type: STRING }], methods: [], loc },
+            { name: "Holder", fields: [{ name: "owner", type: owner }], methods: [], loc },
+        ],
+        records: [
+            {
+                id: "span",
+                fields: [
+                    { name: "end", type: F64 },
+                    { name: "owner", type: tagged },
+                ],
+            },
+        ],
+        contracts: { programLifetime: ["Node"] },
+    };
+}
+function body(llvm, name) {
+    return (new RegExp(`^define internal [a-z]+ @${name.replace(/[.$]/g, "\\$&")}\\([^]*?^}`, "m").exec(llvm)?.[0] ?? "");
+}
+test("programs without regions keep ProgramLifetime's empty counts and emit no region code", () => {
+    const llvm = emitLlvmModule(module([], false), { pointerBits: 64 });
+    expect(llvm).not.toMatch(/scr_region|sc_rgn_types|\.rcur|\.rcls|\.rvisit|\.rwalk|\.rown/);
+    expect(body(llvm, mangleClassRetain("Node"))).toMatch(/entry:\n {2}ret ptr %o\n}/);
+    expect(body(llvm, mangleClassRelease("Leaf"))).toMatch(/entry:\n {2}ret void\n}/);
+});
+test("ProgramLifetime instances live in the current region and count in their chunk", () => {
+    const llvm = emitLlvmModule(module(), { pointerBits: 64 });
+    for (const cls of ["Node", "Leaf"]) {
+        const struct = mangleClassStruct(cls);
+        // new: the cursor fast path, the runtime's slow path, and the
+        // program-lifetime count publication still reads.
+        const nw = body(llvm, mangleClassNew(cls));
+        expect(nw, cls).toContain(`load ptr, ptr @${struct}.rcur`);
+        expect(nw, cls).toContain(`call ptr @scr_region_alloc(ptr @${struct}.rcur, ptr @${struct}.rcls)`);
+        // The first reference is implied: allocation leaves the chunk count alone.
+        expect(nw, cls).not.toContain("2097151");
+        expect(nw, cls).toContain("store i64 -9223372036854775808, ptr %o");
+        expect(nw, cls).not.toContain("scr_rt_calloc");
+        // retain/release: the chunk count, NULL-tolerant, once a region
+        // exists, and only in chunks that have an owner (freeable regions).
+        expect(body(llvm, mangleClassRetain(cls)), cls).toMatch(/%on = load i8, ptr @scr_region_counting, !tbaa !\d+\n {2}%idle = icmp eq i8 %on, 0/);
+        expect(body(llvm, mangleClassRetain(cls)), cls).toContain("%mine = icmp ne ptr %owner, null");
+        expect(body(llvm, mangleClassRetain(cls)), cls).toMatch(/add i64 %n, 1/);
+        expect(body(llvm, mangleClassRelease(cls)), cls).toMatch(/sub i64 %n, 1/);
+        expect(body(llvm, mangleClassRelease(cls)), cls).toContain("icmp eq ptr %o, null");
+        expect(llvm, cls).toMatch(new RegExp(`@${struct}\\.rcur = internal global \\{ ptr, ptr \\} zeroinitializer`));
+    }
+    // The visit reports region references by address, ordinary references
+    // with the release entry point the runtime knows them by; strings cannot
+    // reach the region and are not reported.
+    const visit = body(llvm, `${mangleClassStruct("Leaf")}.rvisit`);
+    expect(visit).toContain("call void @scr_region_ref(ptr %w, ptr %v0) ; parent");
+    expect(visit).toContain("call void @scr_region_slot(ptr %w, ptr %v1, ptr @scr_arr_release_v) ; kids");
+    expect(visit).toContain(`call void @scr_region_slot(ptr %w, ptr %v3, ptr @${mangleRecordRelease("span")}) ; span`);
+    expect(visit).not.toContain("; name");
+    // The fields-release releases every reference field, strings included.
+    const release = body(llvm, `${mangleClassStruct("Leaf")}.rrelease`);
+    for (const field of ["parent", "kids", "name", "span"])
+        expect(release).toContain(`; ${field}`);
+});
+test("walkers cover the ordinary classes and records that can reach a region", () => {
+    const llvm = emitLlvmModule(module(), { pointerBits: 64 });
+    // Owner itself holds nothing, but a field typed Owner may hold a Tagged:
+    // its walker dispatches on the dynamic class.
+    const owner = body(llvm, `${mangleClassStruct("Owner")}.rwalk`);
+    expect(owner).toMatch(/switch i64 %pre, label %done \[ i64 \d+, label %c\d+ \]/);
+    expect(owner).toContain(`call void @${mangleClassStruct("Tagged")}.rown(ptr %o, ptr %w)`);
+    expect(llvm).not.toContain(`@${mangleClassStruct("Owner")}.rown(`);
+    expect(body(llvm, `${mangleClassStruct("Tagged")}.rown`)).toContain("call void @scr_region_ref(ptr %w, ptr %v1) ; target");
+    expect(body(llvm, `${mangleRecordStruct("span")}.rwalk`)).toContain(`call void @scr_region_slot(ptr %w, ptr %v1, ptr @${mangleClassRelease("Tagged")}) ; owner`);
+    // Classes that cannot reach the region are not walked.
+    expect(llvm).not.toContain(`${mangleClassStruct("Label")}.rwalk`);
+    // The table: region classes by release, then walkers.
+    const table = /^@sc_rgn_types = internal constant .*$/m.exec(llvm)?.[0] ?? "";
+    expect(table).toContain(`{ ptr @${mangleClassRelease("Node")}, ptr null }`);
+    expect(table).toContain(`{ ptr @${mangleClassRelease("Leaf")}, ptr null }`);
+    expect(table).toContain(`{ ptr @${mangleClassRelease("Owner")}, ptr @${mangleClassStruct("Owner")}.rwalk }`);
+    expect(table).toContain(`{ ptr @${mangleClassRelease("Holder")}, ptr @${mangleClassStruct("Holder")}.rown }`);
+    expect(table).toContain(`{ ptr @${mangleRecordRelease("span")}, ptr @${mangleRecordStruct("span")}.rwalk }`);
+    expect(table).not.toContain(mangleClassRelease("Label"));
+    expect(table).toMatch(/\{ ptr, ptr \} zeroinitializer \] ; region type table$/);
+});
+test("worker executables count only their own chunks", () => {
+    const llvm = emitLlvmModule({ ...module(), workers: true }, { pointerBits: 64 });
+    const retain = body(llvm, mangleClassRetain("Node"));
+    expect(retain).toContain("load atomic i8, ptr @scr_region_counting unordered, align 1");
+    expect(retain).toContain("call ptr @llvm.threadlocal.address.p0(ptr @scr_thread_hot)");
+    expect(retain).toMatch(/icmp eq ptr %owner, %self\n {2}br i1 %mine, label %count, label %done/);
+    expect(llvm).toMatch(/@sc_o_Node\.rcur = internal thread_local(\(localexec\))? global/);
+});
+test("LifetimeRegion's intrinsics call the runtime", () => {
+    const id = { kind: "intrinsic", name: "region.create", args: [], type: F64, loc };
+    const calls = [
+        { kind: "intrinsic", name: "region.enter", args: [id], type: VOID, loc },
+        { kind: "intrinsic", name: "region.leave", args: [], type: VOID, loc },
+        { kind: "intrinsic", name: "region.release", args: [id], type: VOID, loc },
+    ];
+    expect(validateModule(module(calls))).toEqual([]);
+    const llvm = emitLlvmModule(module(calls), { pointerBits: 64 });
+    const main = body(llvm, "main") || llvm;
+    expect(main).toMatch(/call double @scr_region_create\(ptr @sc_rgn_types\)/);
+    expect(main).toMatch(/call void @scr_region_enter\(double %\S+\)/);
+    expect(main).toContain("call void @scr_region_leave()");
+    expect(main).toMatch(/call void @scr_region_release\(double %\S+\)/);
+    // Region intrinsics need a module that uses regions.
+    expect(validateModule(module(calls, false)).map((e) => e.message)).toContain("in main: region.enter outside a lifetimeRegions module");
+});
+//# sourceMappingURL=regions.test.js.map

package/dist/backend/llvm/regions.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"regions.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/regions.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAA2C,MAAM,gBAAgB,CAAC;AAC5F,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,iBAAiB,EACjB,iBAAiB,EACjB,mBAAmB,EACnB,kBAAkB,GACnB,MAAM,cAAc,CAAC;AAEtB,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACrD,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;AAC3D,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;AAC3D,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;AAC7D,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;AAC/D,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AAEzD;;0CAE0C;AAC1C,SAAS,MAAM,CAAC,IAAI,GAAa,EAAE,EAAE,eAAe,GAAG,IAAI;IACzD,OAAO;QACL,SAAS,EAAE,EAAE;QACb,UAAU,EAAE,GAAG,CAAC,IAAI;QACpB,KAAK,EAAE,MAAM;QACb,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9D,SAAS,EAAE;YACT;gBACE,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,EAAE;gBACV,UAAU,EAAE,IAAI;gBAChB,MAAM,EAAE,EAAE;gBACV,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;gBACpE,GAAG;aACJ;SACF;QACD,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE;oBAC9B,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;oBACrD,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE;oBAC9B,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE;iBAC7B;gBACD,OAAO,EAAE,EAAE;gBACX,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE;oBAC9B,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;oBACrD,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE;oBAC9B,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE;oBAC5B,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE;iBAC7B;gBACD,OAAO,EAAE,EAAE;gBACX,GAAG;aACJ;YACD,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE;YAC9E;gBACE,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,OAAO;gBACb,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE;oBAC/B,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE;iBAC/B;gBACD,OAAO,EAAE,EAAE;gBACX,GAAG;aACJ;YACD,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE;YAC7E,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE;SAC/E;QACD,OAAO,EAAE;YACP;gBACE,EAAE,EAAE,MAAM;gBACV,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;oBAC1B,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE;iBAChC;aACF;SACF;QACD,SAAS,EAAE,EAAE,eAAe,EAAE,CAAC,MAAM,CAAC,EAAE;KACzC,CAAC;AACJ,CAAC;AAED,SAAS,IAAI,CAAC,IAAY,EAAE,IAAY;IACtC,OAAO,CACL,IAAI,MAAM,CAAC,4BAA4B,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,IAAI,CACzF,IAAI,CACL,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CACb,CAAC;AACJ,CAAC;AAED,IAAI,CAAC,sFAAsF,EAAE,GAAG,EAAE;IAChG,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC;IACpE,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,+DAA+D,CAAC,CAAC;IAC1F,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,2BAA2B,CAAC,CAAC;IACnF,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,yBAAyB,CAAC,CAAC;AACpF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+EAA+E,EAAE,GAAG,EAAE;IACzF,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC;IAC3D,KAAK,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;QACtC,8DAA8D;QAC9D,kDAAkD;QAClD,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3C,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,SAAS,CAAC,kBAAkB,MAAM,OAAO,CAAC,CAAC;QAC3D,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,SAAS,CACvB,mCAAmC,MAAM,eAAe,MAAM,QAAQ,CACvE,CAAC;QACF,2EAA2E;QAC3E,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACzC,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,SAAS,CAAC,wCAAwC,CAAC,CAAC;QACpE,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;QAC/C,gEAAgE;QAChE,oEAAoE;QACpE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,iBAAiB,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,OAAO,CACrD,oFAAoF,CACrF,CAAC;QACF,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,iBAAiB,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,SAAS,CAAC,kCAAkC,CAAC,CAAC;QAC9F,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,iBAAiB,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;QACzE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,kBAAkB,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;QAC1E,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,kBAAkB,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,SAAS,CAAC,sBAAsB,CAAC,CAAC;QACnF,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,OAAO,CACvB,IAAI,MAAM,CAAC,IAAI,MAAM,4DAA4D,CAAC,CACnF,CAAC;IACJ,CAAC;IACD,sEAAsE;IACtE,yEAAyE;IACzE,yCAAyC;IACzC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,GAAG,iBAAiB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAChE,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,qDAAqD,CAAC,CAAC;IAC/E,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CACrB,4EAA4E,CAC7E,CAAC;IACF,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CACrB,oDAAoD,mBAAmB,CAAC,MAAM,CAAC,UAAU,CAC1F,CAAC;IACF,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACtC,uEAAuE;IACvE,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,GAAG,iBAAiB,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IACpE,KAAK,MAAM,KAAK,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC;QAAE,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,KAAK,KAAK,EAAE,CAAC,CAAC;AAClG,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wEAAwE,EAAE,GAAG,EAAE;IAClF,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC;IAC3D,yEAAyE;IACzE,8CAA8C;IAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,GAAG,iBAAiB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAChE,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,yDAAyD,CAAC,CAAC;IACjF,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,cAAc,iBAAiB,CAAC,QAAQ,CAAC,uBAAuB,CAAC,CAAC;IAC1F,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,iBAAiB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACnE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,iBAAiB,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CACjE,qDAAqD,CACtD,CAAC;IACF,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,kBAAkB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CACjE,oDAAoD,kBAAkB,CAAC,QAAQ,CAAC,WAAW,CAC5F,CAAC;IACF,uDAAuD;IACvD,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,iBAAiB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAClE,sDAAsD;IACtD,MAAM,KAAK,GAAG,yCAAyC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9E,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,UAAU,kBAAkB,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;IAC5E,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,UAAU,kBAAkB,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;IAC5E,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CACrB,UAAU,kBAAkB,CAAC,OAAO,CAAC,UAAU,iBAAiB,CAAC,OAAO,CAAC,UAAU,CACpF,CAAC;IACF,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CACrB,UAAU,kBAAkB,CAAC,QAAQ,CAAC,UAAU,iBAAiB,CAAC,QAAQ,CAAC,SAAS,CACrF,CAAC;IACF,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CACrB,UAAU,mBAAmB,CAAC,MAAM,CAAC,UAAU,kBAAkB,CAAC,MAAM,CAAC,UAAU,CACpF,CAAC;IACF,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC;IACzD,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,wDAAwD,CAAC,CAAC;AAClF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gDAAgD,EAAE,GAAG,EAAE;IAC1D,MAAM,IAAI,GAAG,cAAc,CAAC,EAAE,GAAG,MAAM,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC;IACjF,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC;IACrD,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,6DAA6D,CAAC,CAAC;IACxF,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,4DAA4D,CAAC,CAAC;IACvF,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,uEAAuE,CAAC,CAAC;IAChG,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,iEAAiE,CAAC,CAAC;AAC1F,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,8CAA8C,EAAE,GAAG,EAAE;IACxD,MAAM,EAAE,GAAW,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAC1F,MAAM,KAAK,GAAa;QACtB,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QACxE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QACtE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;KAC3E,CAAC;IACF,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC;IAChE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC;IACxC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,qDAAqD,CAAC,CAAC;IAC5E,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,4CAA4C,CAAC,CAAC;IACnE,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,+BAA+B,CAAC,CAAC;IACxD,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,8CAA8C,CAAC,CAAC;IACrE,qDAAqD;IACrD,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAC1E,wDAAwD,CACzD,CAAC;AACJ,CAAC,CAAC,CAAC"}

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

@@ -1,3 +1,4 @@
+import { inlineRcOption } from "./shapes.js";
 import { mkdtempSync, readFileSync, rmSync } from "node:fs";
 import { tmpdir } from "node:os";
 import { join } from "node:path";
@@ -39,6 +40,7 @@ test("sort-heavy programs emit equal LLVM from memory and from serialized IR", a
                     wasi: false,
                     runtimeAbiMarker: false,
                     objectAudit: sanitize,
+                    ...inlineRcOption(options.optimization, sanitize),
                 });
                 const text = typeof emitted === "string" ? emitted : emitted.join("");
                 expect(text === readFileSync(llvmPath, "utf8"), label).toBe(true);

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,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,WAAW,EAAE,QAAQ;iBACtB,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,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"}

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

@@ -2,25 +2,43 @@
  * 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 { IrModule, IrRecordShape, IrType } from "../../ir/ir.js";
+import type { IrClassDef, IrModule, IrRecordShape, IrType } from "../../ir/ir.js";
+import type { BlockBuilder } from "./blocks.js";
 import type { NullableUnions } from "./nullable-unions.js";
+import { INLINE_UNION_FIELD, type InlineUnionFields } from "./inline-unions.js";
 /** What the tables need from the emitter: the extern-declaration ledger
  * and the module-wide cycle/shape indexes. */
 export interface ShapeHost {
     declare(decl: string): void;
+    /** The hierarchy root of a class (a program class or a runtime base),
+     * or undefined for classes outside the class graph. */
+    classRootOf?(className: string): string | undefined;
     /** Request the shared OOM abort helper (@sc_oom) — emitted once. */
     needOom(): void;
     /** The target C ABI's `size_t` / refcount integer type. */
     readonly sizeType: "i32" | "i64";
-    /** Byte offset from an object pointer back to ScrCycHdr.buffered. */
-    readonly cycleBufferedOffset: number;
+    /** Byte offset from an object pointer back to ScrCycHdr.buf. */
+    readonly cycleBufOffset: number;
     readonly tracedShapes: Set<string>;
     readonly tracedUnions: Set<string>;
     /** Unions represented as a nullable arm pointer (nullable-unions.ts):
      * their RC and trace entry points are the arm's NULL-tolerant ones. */
     readonly nullableUnions: NullableUnions;
+    /** Record and class fields that store a scalar union's tag and bits
+     * inline (inline-unions.ts): they own nothing. */
+    readonly inlineUnions: InlineUnionFields;
+    /** The zeroed `%ScrUnion` an inline store reads for a NULL dummy. */
+    unionNoneRef(): string;
     readonly recordsById: Map<string, IrRecordShape>;
     readonly recordCloneShapes: ReadonlySet<string>;
+    /** The program constructs lifetime regions: the ProgramLifetime classes
+     * allocate in regions and count references in their region chunk instead
+     * of being empty (llvm/regions.ts). */
+    regions?: RegionHooks | null;
+    /** The alias tag of a runtime word that lifetime-region code reads and
+     * writes outside every field: the chunk count, the chunk owner, the class
+     * cursors and scr_region_counting (", !tbaa !N", or "" in debug builds). */
+    regionAliasTag?(word: "count" | "owner" | "cursor" | "counting"): string;
     /** Emit the live-object audit notes (`scr_obj_alloc_note` /
      * `scr_obj_free_note`) in emitted new/free helpers. Only runtimes built
      * with SCR_RC_AUDIT (the sanitized lane) count them; release and dev
@@ -33,15 +51,26 @@ export interface ShapeHost {
     readonly threadLocalAlloc?: boolean;
     /** Inline RC fast-path helpers requested so far ("<family>:<op>"); the
      * emitter defines each once through {@link emitInlineRcHelpers}. Null
-     * keeps every retain/release a runtime call: inline RC is a
-     * size-for-speed optimization of the `speed` posture only. */
+     * keeps every retain/release a runtime call. */
     readonly rcHelpers: Set<string> | null;
+    /** Which fast paths are inlined (see {@link InlineRcMode}). */
+    readonly rcMode?: InlineRcMode;
+    /** Define the fast-path helpers `noinline` (see {@link inlineRcOption}). */
+    readonly rcHelpersNoinline?: boolean;
     /** The next collector statistics index for an emitted ScrCycType
      * descriptor (cycTypeDescriptor), counting from FIRST_EMITTED_CYC_KIND
      * in emission order.
      * Absent: every descriptor gets 0, which keeps no statistics. */
     nextCycKind?(): number;
 }
+/** What class emission asks of lifetime regions (LifetimeRegions in
+ * llvm/regions.ts): the retain and release bodies, the allocation lines of
+ * `new` (the instance in `%o`), and a class's region definitions. */
+export interface RegionHooks {
+    rcBody(fnName: string, ret: "ptr" | "void", comment: string): string[];
+    newAlloc(className: string, sizeOf: string): string[];
+    classDefinitions(cls: IrClassDef, sizeOf: string): string[];
+}
 /** Every emitted function/helper carries #0 = { sanitize_address } — see
  * the emitter header. */
 export declare const FN_ATTRS = "#0";
@@ -90,8 +119,11 @@ interface InlineRcFamily {
  * collector's on_dead bookkeeping) stays in the runtime release, which
  * 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.
+ *
  * Releases stay plain calls for:
- * - dyn: scr_dyn_release buffers a surviving object only for some kinds.
  * - arr: array releases are the most numerous release sites and the
  *   least hot (at most 1% self time across the benchmark suite), and
  *   inlining them roughly doubled the code growth for no measured speedup.
@@ -100,10 +132,34 @@ export declare const INLINE_RC_FAMILIES: Readonly<Record<string, InlineRcFamily>
 type RcOp = "retain" | "release";
 /** The mirrored family for an RC operation on a runtime stem (`scr_str`),
  * or null when it stays a call. */
-export declare function inlineRcFamily(stem: string, op: RcOp): InlineRcFamily | null;
+export declare function inlineRcFamily(host: ShapeHost, stem: string, op: RcOp): InlineRcFamily | null;
+/** Which RC fast paths an emission inlines. `speed` mirrors every family
+ * with a fast path. `release` mirrors only the string retain and the dyn
+ * retain and release: the operations that dominate dynamic-value and string
+ * code, at almost no size cost. String releases stay calls in `release`
+ * because string-heavy programs have many release sites. */
+export type InlineRcMode = "release" | "speed";
+/** The emitter's inline RC option for a native optimization posture: none
+ * at `dev`, the `release` subset by default. Sanitized builds compile the
+ * whole program in one AddressSanitizer pass, whose time grows with every
+ * inlined fast path, so they call the same helpers out of line. */
+export declare function inlineRcOption(optimization: string | undefined, sanitize?: boolean): {
+    inlineRc?: InlineRcMode;
+    rcHelpersNoinline?: true;
+};
 /** The release call target for a capture box: scr_box_release's fast path,
  * or scr_box_release itself without inline RC. */
 export declare function boxReleaseSym(host: ShapeHost): string;
+/** Inlined dyn releases one function body keeps. LLVM's optimization time
+ * 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. */
+export declare const INLINE_DYN_RELEASES_PER_FUNCTION = 256;
+/** Apply {@link INLINE_DYN_RELEASES_PER_FUNCTION} to each function of an
+ * emitted module, given as parts joined by newlines. A function can span
+ * parts (main's lines) and a part can hold several functions. */
+export declare function limitInlineDynReleases(parts: readonly string[]): string[];
 export declare function inlineRcDecls(host: ShapeHost): string[];
 /** Definitions for every requested inline RC helper, in a stable order.
  *
@@ -133,7 +189,10 @@ export declare function elemAccess(elem: IrType): "f64" | "bool" | "ref";
  * SCR_ELEM_ARR spelling would hide them from the outer array's trace)
  * construct through scr_arr_new_ops with the element type's `_v` RC entry
  * points; every other element kind keeps the plain scr_arr_new call. */
-export declare function arrNewCall(host: ShapeHost, elem: IrType, capText: string): string;
+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;
 /** The constant %ScrArrOps descriptor (retain, release, trace) of a REF
  * element type, defined once per module and shared by all its arrays. */
 export declare function arrOps(host: ShapeHost, elem: IrType): string;
@@ -145,8 +204,13 @@ export declare function boxNewCall(host: ShapeHost, t: IrType): string;
 /** Box accessor suffix (boxAccess): scalars unboxed, ref kinds pointers. */
 export declare function boxAccess(t: IrType): "f64" | "bool" | "ref";
 /** A record field's in-struct LLVM type. bool fields store as i8 (the C
- * _Bool layout); loads/stores convert at the access site. */
-export declare function llFieldType(t: IrType): "double" | "i8" | "ptr";
+ * _Bool layout); loads/stores convert at the access site. An `inline`
+ * scalar-union field stores its tag and bits (inline-unions.ts). */
+export declare function llFieldType(t: IrType, inline: boolean): "double" | "i8" | "ptr" | typeof INLINE_UNION_FIELD;
+/** Loads a struct field slot for helper code: i8 bools truncate to i1, and
+ * an inline union field lends a private stack box with the slot's own
+ * bits (ABSENT included). */
+export declare function loadStructField(B: BlockBuilder, sizeType: "i32" | "i64", ptr: string, t: IrType, inline: boolean): string;
 export type MapKeyAccess = "f64" | "bool" | "str" | "ref";
 /** The key's calling convention is independent of equality: bigint and
  * union payloads travel by reference but compare by JavaScript value. */
@@ -156,6 +220,15 @@ export declare function mapKeyParamType(access: MapKeyAccess): string;
 /** The ScrMapKeyKind / ScrMapValKind constants for scr_map_new. */
 export declare function mapKeyKindNum(key: IrType, unionArms?: IrType[]): number;
 export declare function mapValKindNum(value: IrType): number;
+/** The RC-relevant members of a shape: every field except inline scalar
+ * unions, plus the overflow map on index-signature shapes (one more
+ * map-typed member). `index` is the member's field position in the
+ * emitted struct type (rc header at 0). */
+export declare function rcMembers(shape: IrRecordShape, inline: InlineUnionFields): {
+    index: number;
+    type: IrType;
+    name: string;
+}[];
 /** The NULL- and immortal-skipping retain body shared by every shape. A
  * retain never touches the cycle header: a buffered candidate that is
  * retained again stays a candidate (scr_cycle.c, markRoots). */
@@ -215,9 +288,9 @@ export declare function releaseBody(host: ShapeHost, fnName: string, traced: boo
  * (and their destroy calls) into every caller. */
 export declare function releaseFastPath(host: ShapeHost, fnName: string, slow: string, traced: boolean, comment?: string, immortal?: boolean): string[];
 /** The possible-cycle-root step of a release that left a headered object
- * alive: scr_cyc_on_release with its early return inlined. Read `buffered`
- * (the i16 at obj-6; nonzero for a queued candidate or a
- * tenured object) and call the runtime only to enqueue a new candidate.
+ * alive: scr_cyc_on_release with its early return inlined. Test the sign
+ * of `buf` (the i32 at obj-4; negative for a queued candidate or a tenured
+ * object) and call the runtime only to enqueue a new candidate.
  * Every emitted release of a headered object shares this sequence
  * (scr_runtime.h asserts the offset); it ends by branching to `done`. */
 /** One traced field of an emitted trace function: load the slot and visit