@scriptc/compiler 0.2.5 → 0.2.7

package/dist/backend/llvm/loop-array-borrows.test.js

@@ -0,0 +1,145 @@
+import { expect, test } from "vitest";
+import { F64, VOID, arrayOf, } from "../../ir/ir.js";
+import { analyzeCallLifetimes } from "./call-lifetimes.js";
+import { ReferenceEffects } from "./reference-effects.js";
+import { findLoopArrayBorrows } from "./loop-array-borrows.js";
+const loc = { file: "loop.ts", start: 0, end: 0 };
+const cell = { kind: "object", className: "Cell" };
+const array = arrayOf(cell);
+const ref = (localId, type) => ({ kind: "varRef", localId, type, loc });
+function fixture() {
+    const read = {
+        kind: "varDecl",
+        localId: "cell",
+        init: {
+            kind: "arrayGet",
+            arr: ref("items", array),
+            index: { kind: "numLit", value: 0, type: F64, loc },
+            type: cell,
+            loc,
+        },
+        loc,
+    };
+    const loop = {
+        kind: "for",
+        init: null,
+        cond: null,
+        update: null,
+        body: [
+            read,
+            {
+                kind: "exprStmt",
+                expr: {
+                    kind: "fieldGet",
+                    obj: ref("cell", cell),
+                    className: "Cell",
+                    field: "value",
+                    type: F64,
+                    loc,
+                },
+                loc,
+            },
+        ],
+        loc,
+    };
+    const fn = {
+        name: "read",
+        params: [{ localId: "items", name: "items", type: array }],
+        locals: [
+            { id: "items", name: "items", type: array, mutable: true },
+            { id: "cell", name: "cell", type: cell, mutable: true },
+        ],
+        returnType: VOID,
+        body: [loop],
+        loc,
+    };
+    return { fn, read, loop };
+}
+function facts(fn) {
+    const functions = new Map([[fn.name, fn]]);
+    return findLoopArrayBorrows(fn, analyzeCallLifetimes(functions), new ReferenceEffects(functions, () => false));
+}
+test("stable let reads borrow within a preserving iteration despite unrelated mutation", () => {
+    const { fn, read } = fixture();
+    fn.body.unshift({
+        kind: "arraySetLength",
+        arr: ref("items", array),
+        length: { kind: "numLit", value: 1, type: F64, loc },
+        loc,
+    });
+    expect(facts(fn)).toEqual(new Set([read]));
+});
+test.each(["mutation", "callback", "escape", "capture", "source-rebind", "update"])("%s keeps an owned loop read", (variant) => {
+    const { fn, loop } = fixture();
+    const mutation = {
+        kind: "arraySetLength",
+        arr: ref("items", array),
+        length: { kind: "numLit", value: 0, type: F64, loc },
+        loc,
+    };
+    if (variant === "mutation")
+        loop.body.push(mutation);
+    if (variant === "callback")
+        loop.body.push({
+            kind: "exprStmt",
+            expr: { kind: "call", callee: "unknown", args: [], type: VOID, loc },
+            loc,
+        });
+    if (variant === "escape")
+        loop.body.push({ kind: "return", value: ref("cell", cell), loc });
+    if (variant === "capture")
+        fn.locals[1].boxed = true;
+    if (variant === "source-rebind")
+        loop.body.push({ kind: "assign", localId: "items", value: ref("other", array), loc });
+    if (variant === "update")
+        loop.update = mutation;
+    expect(facts(fn).size).toBe(0);
+});
+test("for-of retains its iterable while projection-only elements borrow it", () => {
+    const { fn, loop } = fixture();
+    const iteration = {
+        kind: "forOf",
+        localId: "cell",
+        iterable: ref("items", array),
+        body: loop.body.slice(1),
+        loc,
+    };
+    fn.body = [iteration];
+    expect(facts(fn)).toEqual(new Set([iteration]));
+    iteration.body.push({
+        kind: "arraySetLength",
+        arr: ref("items", array),
+        length: { kind: "numLit", value: 0, type: F64, loc },
+        loc,
+    });
+    expect(facts(fn).size).toBe(0);
+});
+test("captured and returned for-of elements retain their ordinary ownership", () => {
+    const { fn } = fixture();
+    const iteration = {
+        kind: "forOf",
+        localId: "cell",
+        iterable: ref("items", array),
+        body: [{ kind: "return", value: ref("cell", cell), loc }],
+        loc,
+    };
+    fn.body = [iteration];
+    expect(facts(fn).size).toBe(0);
+    iteration.body = [
+        {
+            kind: "exprStmt",
+            expr: {
+                kind: "fieldGet",
+                obj: ref("cell", cell),
+                className: "Cell",
+                field: "value",
+                type: F64,
+                loc,
+            },
+            loc,
+        },
+    ];
+    fn.locals[1].boxed = true;
+    expect(facts(fn).size).toBe(0);
+});
+//# sourceMappingURL=loop-array-borrows.test.js.map

package/dist/backend/llvm/loop-array-borrows.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"loop-array-borrows.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/loop-array-borrows.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EACL,GAAG,EACH,IAAI,EACJ,OAAO,GAKR,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAC/D,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAClD,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;AAC3D,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;AAC5B,MAAM,GAAG,GAAG,CAAC,OAAe,EAAE,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAChG,SAAS,OAAO;IACd,MAAM,IAAI,GAAW;QACnB,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,MAAM;QACf,IAAI,EAAE;YACJ,IAAI,EAAE,UAAU;YAChB,GAAG,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC;YACxB,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YACnD,IAAI,EAAE,IAAI;YACV,GAAG;SACJ;QACD,GAAG;KACJ,CAAC;IACF,MAAM,IAAI,GAA6B;QACrC,IAAI,EAAE,KAAK;QACX,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,IAAI;QACV,MAAM,EAAE,IAAI;QACZ,IAAI,EAAE;YACJ,IAAI;YACJ;gBACE,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE;oBACJ,IAAI,EAAE,UAAU;oBAChB,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;oBACtB,SAAS,EAAE,MAAM;oBACjB,KAAK,EAAE,OAAO;oBACd,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACD,GAAG;aACJ;SACF;QACD,GAAG;KACJ,CAAC;IACF,MAAM,EAAE,GAAe;QACrB,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QAC1D,MAAM,EAAE;YACN,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE;YAC1D,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE;SACxD;QACD,UAAU,EAAE,IAAI;QAChB,IAAI,EAAE,CAAC,IAAI,CAAC;QACZ,GAAG;KACJ,CAAC;IACF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AAC5B,CAAC;AACD,SAAS,KAAK,CAAC,EAAc;IAC3B,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3C,OAAO,oBAAoB,CACzB,EAAE,EACF,oBAAoB,CAAC,SAAS,CAAC,EAC/B,IAAI,gBAAgB,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAC7C,CAAC;AACJ,CAAC;AACD,IAAI,CAAC,kFAAkF,EAAE,GAAG,EAAE;IAC5F,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,OAAO,EAAE,CAAC;IAC/B,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC;QACd,IAAI,EAAE,gBAAgB;QACtB,GAAG,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC;QACxB,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QACpD,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AACH,IAAI,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,eAAe,EAAE,QAAQ,CAAC,CAAC,CACjF,6BAA6B,EAC7B,CAAC,OAAO,EAAE,EAAE;IACV,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,OAAO,EAAE,CAAC;IAC/B,MAAM,QAAQ,GAAW;QACvB,IAAI,EAAE,gBAAgB;QACtB,GAAG,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC;QACxB,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QACpD,GAAG;KACJ,CAAC;IACF,IAAI,OAAO,KAAK,UAAU;QAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACrD,IAAI,OAAO,KAAK,UAAU;QACxB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YACb,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YACpE,GAAG;SACJ,CAAC,CAAC;IACL,IAAI,OAAO,KAAK,QAAQ;QAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IAC5F,IAAI,OAAO,KAAK,SAAS;QAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,KAAK,GAAG,IAAI,CAAC;IACtD,IAAI,OAAO,KAAK,eAAe;QAC7B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACxF,IAAI,OAAO,KAAK,QAAQ;QAAE,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC;IACjD,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACjC,CAAC,CACF,CAAC;AAEF,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;IAChF,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,OAAO,EAAE,CAAC;IAC/B,MAAM,SAAS,GAAW;QACxB,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,MAAM;QACf,QAAQ,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC;QAC7B,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QACxB,GAAG;KACJ,CAAC;IACF,EAAE,CAAC,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;IACtB,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAChD,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;QAClB,IAAI,EAAE,gBAAgB;QACtB,GAAG,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC;QACxB,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QACpD,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACjC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,uEAAuE,EAAE,GAAG,EAAE;IACjF,MAAM,EAAE,EAAE,EAAE,GAAG,OAAO,EAAE,CAAC;IACzB,MAAM,SAAS,GAAW;QACxB,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,MAAM;QACf,QAAQ,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC;QAC7B,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;QACzD,GAAG;KACJ,CAAC;IACF,EAAE,CAAC,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;IACtB,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,SAAS,CAAC,IAAI,GAAG;QACf;YACE,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE;gBACJ,IAAI,EAAE,UAAU;gBAChB,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;gBACtB,SAAS,EAAE,MAAM;gBACjB,KAAK,EAAE,OAAO;gBACd,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ;YACD,GAAG;SACJ;KACF,CAAC;IACF,EAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,KAAK,GAAG,IAAI,CAAC;IAC3B,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACjC,CAAC,CAAC,CAAC"}

package/dist/backend/llvm/map-read-lifetimes.d.ts

@@ -26,6 +26,11 @@ export interface MapReadLifetimes {
  * map later cannot invalidate an earlier result. No map purity assumption
  * is needed, including for reference-valued entries. */
 export declare function findMapReadLifetimes(fn: IrFunction, unions: ReadonlyMap<string, IrUnionDef>, lifetimes: CallLifetimes): MapReadLifetimes;
+export declare function emitMapLookupKey(host: LlvmEmitterContext, key: IrExpr, borrow: boolean): {
+    access: string;
+    types: string;
+    args: string;
+};
 export interface StackMapRead {
     value: LlValue;
     owner: {

package/dist/backend/llvm/map-read-lifetimes.js

@@ -111,6 +111,21 @@ export function findMapReadLifetimes(fn, unions, lifetimes) {
     });
     return result;
 }
+export function emitMapLookupKey(host, key, borrow) {
+    const span = borrow && key.kind === "varRef" && key.type.kind === "string"
+        ? host.splitSpans.get(key.localId)
+        : undefined;
+    if (span)
+        return {
+            access: "span",
+            types: `ptr, ${host.sizeType}`,
+            args: `ptr ${span.bytes}, ${host.sizeType} ${span.length}`,
+        };
+    const value = borrow ? host.emitReadReceiver(key) : host.emitExpr(key);
+    const access = mapKeyAccess(key.type);
+    const type = mapKeyParamType(access);
+    return { access, types: type, args: `${type} ${value.name}` };
+}
 /** Preserve Map.get's ordinary lookup and tag ABI, with the temporary box
  * on the stack. The reference getter supplies +1 directly to the payload
  * slot; its lexical or call frame releases that slot on every exit. Scalar
@@ -118,9 +133,9 @@ export function findMapReadLifetimes(fn, unions, lifetimes) {
 export function emitStackMapRead(host, read) {
     const B = host.B;
     const receiver = host.emitStableReceiver(read.receiver, [read.key]);
-    const key = host.emitReadReceiver(read.key);
-    const access = mapKeyAccess(read.key.type);
-    const keyType = mapKeyParamType(access);
+    const key = emitMapLookupKey(host, read.key, true);
+    const access = key.access;
+    const keyType = key.types;
     const box = B.slot(), payload = B.slot(), tag = B.slot();
     B.entryAllocas.push(`${box} = alloca %ScrUnion`);
     B.entryAllocas.push(`${payload} = getelementptr inbounds %ScrUnion, ptr ${box}, i32 0, i32 5`);
@@ -130,7 +145,7 @@ export function emitStackMapRead(host, read) {
     if (isRefCounted(read.value)) {
         const raw = B.tmp();
         host.declare(`declare ptr @scr_map_get_${access}_ref(ptr, ${keyType})`);
-        B.line(`${raw} = call ptr @scr_map_get_${access}_ref(ptr ${receiver.name}, ${keyType} ${key.name})`);
+        B.line(`${raw} = call ptr @scr_map_get_${access}_ref(ptr ${receiver.name}, ${key.args})`);
         B.line(`${found} = icmp ne ptr ${raw}, null`);
         B.line(`store i64 0, ptr ${payload}`);
         B.line(`store ptr ${raw}, ptr ${payload}`);
@@ -140,7 +155,7 @@ export function emitStackMapRead(host, read) {
         const scalar = read.value.kind === "f64" ? "f64" : "bool";
         B.line(`store i64 0, ptr ${payload}`);
         host.declare(`declare zeroext i1 @scr_map_get_${access}_${scalar}(ptr, ${keyType}, ptr)`);
-        B.line(`${found} = call zeroext i1 @scr_map_get_${access}_${scalar}(ptr ${receiver.name}, ${keyType} ${key.name}, ptr ${payload})`);
+        B.line(`${found} = call zeroext i1 @scr_map_get_${access}_${scalar}(ptr ${receiver.name}, ${key.args}, ptr ${payload})`);
         if (read.value.kind === "bool") {
             // The runtime writes a byte; union projections read an i64. Widen
             // explicitly rather than depending on the target's byte order.

package/dist/backend/llvm/map-read-lifetimes.js.map

@@ -1 +1 @@
-{"version":3,"file":"map-read-lifetimes.js","sourceRoot":"","sources":["../../../src/backend/llvm/map-read-lifetimes.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,YAAY,EACZ,UAAU,GAKX,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAGrD,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAE5D,SAAS,0BAA0B,CACjC,IAAY;IAEZ,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,KAAK,CAAC;IAC/E,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IACpC,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC5B,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,KAAK,CAAC;IACjF,CAAC;SAAM,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACnC,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,KAAK,CAAC;IACjD,CAAC;;QAAM,OAAO,KAAK,CAAC;IACpB,OAAO,IAAI,CAAC;AACd,CAAC;AAED;yEACyE;AACzE,MAAM,UAAU,oBAAoB,CAAC,IAAY;IAC/C,IAAI,CAAC,0BAA0B,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACpD,QAAQ,IAAI,CAAC,MAAM,EAAE,CAAC;QACpB,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,MAAM,CAAC;QACZ,KAAK,WAAW,CAAC;QACjB,KAAK,UAAU,CAAC;QAChB,KAAK,SAAS,CAAC;QACf,KAAK,WAAW;YACd,OAAO,IAAI,CAAC;QACd;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED;;yEAEyE;AACzE,MAAM,UAAU,0BAA0B,CAAC,IAAY;IACrD,IAAI,CAAC,0BAA0B,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACpD,OAAO,CACL,IAAI,CAAC,MAAM,KAAK,KAAK;QACrB,IAAI,CAAC,MAAM,KAAK,KAAK;QACrB,IAAI,CAAC,MAAM,KAAK,QAAQ;QACxB,IAAI,CAAC,MAAM,KAAK,OAAO,CACxB,CAAC;AACJ,CAAC;AAWD,MAAM,UAAU,YAAY,CAC1B,IAAY,EACZ,MAAuC;IAEvC,IACE,IAAI,CAAC,IAAI,KAAK,cAAc;QAC5B,IAAI,CAAC,MAAM,KAAK,KAAK;QACrB,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QACtB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QACjC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAC1B,CAAC,oBAAoB,CAAC,IAAI,CAAC;QAE3B,OAAO,IAAI,CAAC;IACd,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC;IACvC,sEAAsE;IACtE,yEAAyE;IACzE,IACE,KAAK,CAAC,IAAI,KAAK,OAAO;QACtB,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC;QAEvE,OAAO,IAAI,CAAC;IACd,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IACjD,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5C,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;IACnE,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;IACtE,IAAI,UAAU,GAAG,CAAC,IAAI,UAAU,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAClD,OAAO;QACL,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAE;QAClB,KAAK;QACL,UAAU;QACV,UAAU;KACX,CAAC;AACJ,CAAC;AAOD;;;wDAGwD;AACxD,MAAM,UAAU,oBAAoB,CAClC,EAAc,EACd,MAAuC,EACvC,SAAwB;IAExB,MAAM,MAAM,GAAqB,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IAC7E,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;QAAE,OAAO,MAAM,CAAC;IAC5C,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAC7C,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;QACrB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACb,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,IAAI,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBACtE,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBAC7C,IAAI,IAAI;oBAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YAClD,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACb,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;gBAAE,OAAO,IAAI,CAAC;YACtC,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACzD,IAAI,UAAU;gBACZ,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;oBAC/B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC;wBAAE,OAAO;oBACnC,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;oBACvC,IAAI,IAAI;wBAAE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;gBAC5C,CAAC,CAAC,CAAC;YACL,OAAO,IAAI,CAAC;QACd,CAAC;KACF,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC;AAOD;;;+EAG+E;AAC/E,MAAM,UAAU,gBAAgB,CAAC,IAAwB,EAAE,IAAkB;IAC3E,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,QAAQ,GAAG,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACpE,MAAM,GAAG,GAAG,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC3C,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,EAClB,OAAO,GAAG,CAAC,CAAC,IAAI,EAAE,EAClB,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACjB,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,GAAG,qBAAqB,CAAC,CAAC;IACjD,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,OAAO,4CAA4C,GAAG,gBAAgB,CAAC,CAAC;IAC/F,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,GAAG,4CAA4C,GAAG,gBAAgB,CAAC,CAAC;IAC3F,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACtB,IAAI,KAAK,GAA0B,IAAI,CAAC;IACxC,IAAI,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACpB,IAAI,CAAC,OAAO,CAAC,4BAA4B,MAAM,aAAa,OAAO,GAAG,CAAC,CAAC;QACxE,CAAC,CAAC,IAAI,CACJ,GAAG,GAAG,4BAA4B,MAAM,YAAY,QAAQ,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,IAAI,GAAG,CAC7F,CAAC;QACF,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,kBAAkB,GAAG,QAAQ,CAAC,CAAC;QAC9C,CAAC,CAAC,IAAI,CAAC,oBAAoB,OAAO,EAAE,CAAC,CAAC;QACtC,CAAC,CAAC,IAAI,CAAC,aAAa,GAAG,SAAS,OAAO,EAAE,CAAC,CAAC;QAC3C,KAAK,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IAC9C,CAAC;SAAM,CAAC;QACN,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;QAC1D,CAAC,CAAC,IAAI,CAAC,oBAAoB,OAAO,EAAE,CAAC,CAAC;QACtC,IAAI,CAAC,OAAO,CAAC,mCAAmC,MAAM,IAAI,MAAM,SAAS,OAAO,QAAQ,CAAC,CAAC;QAC1F,CAAC,CAAC,IAAI,CACJ,GAAG,KAAK,mCAAmC,MAAM,IAAI,MAAM,QAAQ,QAAQ,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,IAAI,SAAS,OAAO,GAAG,CAC5H,CAAC;QACF,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC/B,kEAAkE;YAClE,+DAA+D;YAC/D,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EAClB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACjB,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,mBAAmB,OAAO,EAAE,CAAC,CAAC;YAC5C,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,cAAc,IAAI,SAAS,CAAC,CAAC;YAC3C,CAAC,CAAC,IAAI,CAAC,aAAa,IAAI,SAAS,OAAO,EAAE,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACzB,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,gBAAgB,KAAK,SAAS,IAAI,CAAC,UAAU,SAAS,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;IAC3F,CAAC,CAAC,IAAI,CAAC,aAAa,QAAQ,SAAS,GAAG,EAAE,CAAC,CAAC;IAC5C,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC;AAC1D,CAAC"}
+{"version":3,"file":"map-read-lifetimes.js","sourceRoot":"","sources":["../../../src/backend/llvm/map-read-lifetimes.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,YAAY,EACZ,UAAU,GAKX,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAGrD,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAE5D,SAAS,0BAA0B,CACjC,IAAY;IAEZ,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,KAAK,CAAC;IAC/E,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IACpC,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC5B,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,KAAK,CAAC;IACjF,CAAC;SAAM,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACnC,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,KAAK,CAAC;IACjD,CAAC;;QAAM,OAAO,KAAK,CAAC;IACpB,OAAO,IAAI,CAAC;AACd,CAAC;AAED;yEACyE;AACzE,MAAM,UAAU,oBAAoB,CAAC,IAAY;IAC/C,IAAI,CAAC,0BAA0B,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACpD,QAAQ,IAAI,CAAC,MAAM,EAAE,CAAC;QACpB,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,MAAM,CAAC;QACZ,KAAK,WAAW,CAAC;QACjB,KAAK,UAAU,CAAC;QAChB,KAAK,SAAS,CAAC;QACf,KAAK,WAAW;YACd,OAAO,IAAI,CAAC;QACd;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED;;yEAEyE;AACzE,MAAM,UAAU,0BAA0B,CAAC,IAAY;IACrD,IAAI,CAAC,0BAA0B,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACpD,OAAO,CACL,IAAI,CAAC,MAAM,KAAK,KAAK;QACrB,IAAI,CAAC,MAAM,KAAK,KAAK;QACrB,IAAI,CAAC,MAAM,KAAK,QAAQ;QACxB,IAAI,CAAC,MAAM,KAAK,OAAO,CACxB,CAAC;AACJ,CAAC;AAWD,MAAM,UAAU,YAAY,CAC1B,IAAY,EACZ,MAAuC;IAEvC,IACE,IAAI,CAAC,IAAI,KAAK,cAAc;QAC5B,IAAI,CAAC,MAAM,KAAK,KAAK;QACrB,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QACtB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QACjC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAC1B,CAAC,oBAAoB,CAAC,IAAI,CAAC;QAE3B,OAAO,IAAI,CAAC;IACd,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC;IACvC,sEAAsE;IACtE,yEAAyE;IACzE,IACE,KAAK,CAAC,IAAI,KAAK,OAAO;QACtB,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC;QAEvE,OAAO,IAAI,CAAC;IACd,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IACjD,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5C,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;IACnE,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;IACtE,IAAI,UAAU,GAAG,CAAC,IAAI,UAAU,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAClD,OAAO;QACL,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAE;QAClB,KAAK;QACL,UAAU;QACV,UAAU;KACX,CAAC;AACJ,CAAC;AAOD;;;wDAGwD;AACxD,MAAM,UAAU,oBAAoB,CAClC,EAAc,EACd,MAAuC,EACvC,SAAwB;IAExB,MAAM,MAAM,GAAqB,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IAC7E,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;QAAE,OAAO,MAAM,CAAC;IAC5C,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAC7C,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;QACrB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACb,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,IAAI,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBACtE,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBAC7C,IAAI,IAAI;oBAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YAClD,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACb,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;gBAAE,OAAO,IAAI,CAAC;YACtC,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACzD,IAAI,UAAU;gBACZ,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;oBAC/B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC;wBAAE,OAAO;oBACnC,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;oBACvC,IAAI,IAAI;wBAAE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;gBAC5C,CAAC,CAAC,CAAC;YACL,OAAO,IAAI,CAAC;QACd,CAAC;KACF,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,IAAwB,EACxB,GAAW,EACX,MAAe;IAEf,MAAM,IAAI,GACR,MAAM,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAC3D,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC;QAClC,CAAC,CAAC,SAAS,CAAC;IAChB,IAAI,IAAI;QACN,OAAO;YACL,MAAM,EAAE,MAAM;YACd,KAAK,EAAE,QAAQ,IAAI,CAAC,QAAQ,EAAE;YAC9B,IAAI,EAAE,OAAO,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,MAAM,EAAE;SAC3D,CAAC;IACJ,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IACvE,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IACrC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;AAChE,CAAC;AAOD;;;+EAG+E;AAC/E,MAAM,UAAU,gBAAgB,CAAC,IAAwB,EAAE,IAAkB;IAC3E,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,QAAQ,GAAG,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACpE,MAAM,GAAG,GAAG,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACnD,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;IAC1B,MAAM,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC;IAC1B,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,EAClB,OAAO,GAAG,CAAC,CAAC,IAAI,EAAE,EAClB,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACjB,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,GAAG,qBAAqB,CAAC,CAAC;IACjD,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,OAAO,4CAA4C,GAAG,gBAAgB,CAAC,CAAC;IAC/F,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,GAAG,4CAA4C,GAAG,gBAAgB,CAAC,CAAC;IAC3F,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACtB,IAAI,KAAK,GAA0B,IAAI,CAAC;IACxC,IAAI,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACpB,IAAI,CAAC,OAAO,CAAC,4BAA4B,MAAM,aAAa,OAAO,GAAG,CAAC,CAAC;QACxE,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,4BAA4B,MAAM,YAAY,QAAQ,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC;QAC1F,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,kBAAkB,GAAG,QAAQ,CAAC,CAAC;QAC9C,CAAC,CAAC,IAAI,CAAC,oBAAoB,OAAO,EAAE,CAAC,CAAC;QACtC,CAAC,CAAC,IAAI,CAAC,aAAa,GAAG,SAAS,OAAO,EAAE,CAAC,CAAC;QAC3C,KAAK,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IAC9C,CAAC;SAAM,CAAC;QACN,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;QAC1D,CAAC,CAAC,IAAI,CAAC,oBAAoB,OAAO,EAAE,CAAC,CAAC;QACtC,IAAI,CAAC,OAAO,CAAC,mCAAmC,MAAM,IAAI,MAAM,SAAS,OAAO,QAAQ,CAAC,CAAC;QAC1F,CAAC,CAAC,IAAI,CACJ,GAAG,KAAK,mCAAmC,MAAM,IAAI,MAAM,QAAQ,QAAQ,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,SAAS,OAAO,GAAG,CACjH,CAAC;QACF,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC/B,kEAAkE;YAClE,+DAA+D;YAC/D,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EAClB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACjB,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,mBAAmB,OAAO,EAAE,CAAC,CAAC;YAC5C,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,cAAc,IAAI,SAAS,CAAC,CAAC;YAC3C,CAAC,CAAC,IAAI,CAAC,aAAa,IAAI,SAAS,OAAO,EAAE,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACzB,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,gBAAgB,KAAK,SAAS,IAAI,CAAC,UAAU,SAAS,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;IAC3F,CAAC,CAAC,IAAI,CAAC,aAAa,QAAQ,SAAS,GAAG,EAAE,CAAC,CAAC;IAC5C,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC;AAC1D,CAAC"}

package/dist/backend/llvm/map-read-lifetimes.test.js

@@ -53,7 +53,7 @@ function fixture(value = record, key = F64) {
         ],
     };
     return {
-        irVersion: 13,
+        irVersion: 15,
         sourceFile: loc.file,
         entry: "main",
         records: [{ id: "cell", fields: [{ name: "x", type: F64 }] }],

package/dist/backend/llvm/nullable-fields.d.ts

@@ -0,0 +1,28 @@
+import { type IrClassDef, type IrType, type IrUnionDef } from "../../ir/ir.js";
+/** A class field typed `C | null` or `C | undefined` (exactly one unit arm
+ * and one emitted class arm) stores the class pointer itself: NULL is the
+ * unit arm, anything else is the owned (+1) instance. No union box exists
+ * for the field; reads build one only where a whole union value escapes,
+ * and projections (tag tests, narrowing, equality, nullish) read the
+ * pointer directly. The struct slot stays `ptr`, so layouts are unchanged. */
+export interface NullableRefField {
+    unionId: string;
+    refTag: number;
+    unitTag: number;
+    arm: {
+        kind: "object";
+        className: string;
+    };
+}
+export declare class NullableRefFields {
+    private readonly unions;
+    private readonly emitted;
+    private readonly cache;
+    constructor(classes: readonly IrClassDef[], unions: ReadonlyMap<string, IrUnionDef>);
+    /** The representation of one declared field, or null for ordinary storage
+     * (runtime classes keep their C layouts). */
+    get(className: string, field: string): NullableRefField | null;
+    /** The storage form of a field type: the class arm for nullable fields. */
+    storageType(className: string, field: string, type: IrType): IrType;
+    private ofType;
+}

package/dist/backend/llvm/nullable-fields.js

@@ -0,0 +1,45 @@
+import { isUnitType } from "../../ir/ir.js";
+export class NullableRefFields {
+    unions;
+    emitted = new Map();
+    cache = new Map();
+    constructor(classes, unions) {
+        this.unions = unions;
+        for (const cls of classes)
+            if (!cls.runtime)
+                this.emitted.set(cls.name, cls);
+    }
+    /** The representation of one declared field, or null for ordinary storage
+     * (runtime classes keep their C layouts). */
+    get(className, field) {
+        const key = `${className}\0${field}`;
+        const cached = this.cache.get(key);
+        if (cached !== undefined)
+            return cached;
+        const cls = this.emitted.get(className);
+        const type = cls?.fields.find((f) => f.name === field)?.type;
+        const result = type && !field.startsWith("%") ? this.ofType(type) : null;
+        this.cache.set(key, result);
+        return result;
+    }
+    /** The storage form of a field type: the class arm for nullable fields. */
+    storageType(className, field, type) {
+        return this.get(className, field)?.arm ?? type;
+    }
+    ofType(type) {
+        if (type.kind !== "union")
+            return null;
+        const def = this.unions.get(type.unionId);
+        if (!def || def.arms.length !== 2)
+            return null;
+        const unitTag = def.arms.findIndex(isUnitType);
+        if (unitTag < 0)
+            return null;
+        const refTag = 1 - unitTag;
+        const arm = def.arms[refTag];
+        if (arm.kind !== "object" || !this.emitted.has(arm.className))
+            return null;
+        return { unionId: type.unionId, refTag, unitTag, arm };
+    }
+}
+//# sourceMappingURL=nullable-fields.js.map

package/dist/backend/llvm/nullable-fields.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nullable-fields.js","sourceRoot":"","sources":["../../../src/backend/llvm/nullable-fields.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAiD,MAAM,gBAAgB,CAAC;AAe3F,MAAM,OAAO,iBAAiB;IAMT,MAAM;IALR,OAAO,GAAG,IAAI,GAAG,EAAsB,CAAC;IACxC,KAAK,GAAG,IAAI,GAAG,EAAmC,CAAC;IAEpE,YACE,OAA8B,EACb,MAAuC;sBAAvC,MAAM;QAEvB,KAAK,MAAM,GAAG,IAAI,OAAO;YAAE,IAAI,CAAC,GAAG,CAAC,OAAO;gBAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC/E,CAAC;IAED;iDAC6C;IAC7C,GAAG,CAAC,SAAiB,EAAE,KAAa;QAClC,MAAM,GAAG,GAAG,GAAG,SAAS,KAAK,KAAK,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACnC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACxC,MAAM,IAAI,GAAG,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,IAAI,CAAC;QAC7D,MAAM,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACzE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC5B,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,2EAA2E;IAC3E,WAAW,CAAC,SAAiB,EAAE,KAAa,EAAE,IAAY;QACxD,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC;IACjD,CAAC;IAEO,MAAM,CAAC,IAAY;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,IAAI,CAAC;QACvC,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1C,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAC/C,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAC/C,IAAI,OAAO,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QAC7B,MAAM,MAAM,GAAG,CAAC,GAAG,OAAO,CAAC;QAC3B,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,CAAE,CAAC;QAC9B,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC;YAAE,OAAO,IAAI,CAAC;QAC3E,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;IACzD,CAAC;CACF"}

package/dist/backend/llvm/nullable-fields.test.d.ts

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

package/dist/backend/llvm/nullable-fields.test.js

@@ -0,0 +1,48 @@
+import { expect, test } from "vitest";
+import { NullableRefFields } from "./nullable-fields.js";
+const loc = { file: "nullable.ts", start: 0, end: 0 };
+const node = { kind: "object", className: "Node" };
+const union = (id) => ({ kind: "union", unionId: id });
+const unions = new Map([
+    ["orNull", [{ kind: "nullT" }, node]],
+    ["orUndefined", [node, { kind: "undefinedT" }]],
+    ["both", [{ kind: "nullT" }, { kind: "undefinedT" }, node]],
+    ["orNumber", [node, { kind: "f64" }]],
+    ["runtimeArm", [{ kind: "nullT" }, { kind: "object", className: "%Error" }]],
+    ["recordArm", [{ kind: "nullT" }, { kind: "record", shapeId: "r" }]],
+].map(([id, arms]) => [id, { id, arms }]));
+const cls = (name, fields, runtime = false) => ({
+    name,
+    loc,
+    fields: fields.map(([fieldName, type]) => ({ name: fieldName, type })),
+    ...(runtime ? { runtime: true } : {}),
+});
+test("only one unit arm plus one emitted class arm uses pointer storage", () => {
+    const fields = new NullableRefFields([
+        cls("Node", [
+            ["next", union("orNull")],
+            ["prev", union("orUndefined")],
+            ["both", union("both")],
+            ["num", union("orNumber")],
+            ["err", union("runtimeArm")],
+            ["rec", union("recordArm")],
+            ["plain", node],
+            ["%hidden", union("orNull")],
+        ]),
+        cls("%Error", [["next", union("orNull")]], true),
+    ], unions);
+    expect(fields.get("Node", "next")).toEqual({
+        unionId: "orNull",
+        refTag: 1,
+        unitTag: 0,
+        arm: node,
+    });
+    expect(fields.get("Node", "prev")).toMatchObject({ refTag: 0, unitTag: 1 });
+    for (const field of ["both", "num", "err", "rec", "plain", "%hidden", "missing"])
+        expect(fields.get("Node", field)).toBeNull();
+    // Runtime classes keep their C layouts.
+    expect(fields.get("%Error", "next")).toBeNull();
+    expect(fields.storageType("Node", "next", union("orNull"))).toEqual(node);
+    expect(fields.storageType("Node", "num", union("orNumber"))).toEqual(union("orNumber"));
+});
+//# sourceMappingURL=nullable-fields.test.js.map

package/dist/backend/llvm/nullable-fields.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nullable-fields.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/nullable-fields.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAEtC,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAEzD,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACtD,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;AAC3D,MAAM,KAAK,GAAG,CAAC,EAAU,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;AACvE,MAAM,MAAM,GAAG,IAAI,GAAG,CAElB;IACE,CAAC,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,IAAI,CAAC,CAAC;IACrC,CAAC,aAAa,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC;IAC/C,CAAC,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,IAAI,CAAC,CAAC;IAC3D,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACrC,CAAC,YAAY,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC5E,CAAC,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC;CAEvE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAgB,CAAC,CAAC,CACxD,CAAC;AACF,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,MAA0B,EAAE,OAAO,GAAG,KAAK,EAAc,EAAE,CACpF,CAAC;IACC,IAAI;IACJ,GAAG;IACH,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACtE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;CACtC,CAA0B,CAAC;AAE9B,IAAI,CAAC,mEAAmE,EAAE,GAAG,EAAE;IAC7E,MAAM,MAAM,GAAG,IAAI,iBAAiB,CAClC;QACE,GAAG,CAAC,MAAM,EAAE;YACV,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;YACzB,CAAC,MAAM,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC;YAC9B,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;YACvB,CAAC,KAAK,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;YAC1B,CAAC,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;YAC5B,CAAC,KAAK,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;YAC3B,CAAC,OAAO,EAAE,IAAI,CAAC;YACf,CAAC,SAAS,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;SAC7B,CAAC;QACF,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;KACjD,EACD,MAAM,CACP,CAAC;IACF,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;QACzC,OAAO,EAAE,QAAQ;QACjB,MAAM,EAAE,CAAC;QACT,OAAO,EAAE,CAAC;QACV,GAAG,EAAE,IAAI;KACV,CAAC,CAAC;IACH,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;IAC5E,KAAK,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC;QAC9E,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC/C,wCAAwC;IACxC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAChD,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1E,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;AAC1F,CAAC,CAAC,CAAC"}

package/dist/backend/llvm/reference-effects.d.ts

@@ -1,4 +1,4 @@
-import { type IrExpr, type IrFunction } from "../../ir/ir.js";
+import { type IrExpr, type IrFunction, type IrStmt } from "../../ir/ir.js";
 type Call = IrExpr & {
     kind: "call";
 };
@@ -19,5 +19,6 @@ export declare class ReferenceEffects {
     private readonly expressions;
     constructor(functions: ReadonlyMap<string, IrFunction>, intrinsicCall: (call: Call) => boolean);
     preserves(value: IrExpr): boolean;
+    preservesScope(body: IrStmt[]): boolean;
 }
 export {};

package/dist/backend/llvm/reference-effects.js

@@ -96,6 +96,7 @@ function statementPreservesEdges(s, privateLocals) {
         case "throw":
         case "if":
         case "for":
+        case "forOf":
         case "while":
         case "doWhile":
         case "block":
@@ -175,5 +176,11 @@ export class ReferenceEffects {
         this.expressions.set(value, result);
         return result;
     }
+    preservesScope(body) {
+        return everyStmtList(body, {
+            stmt: (stmt) => statementPreservesEdges(stmt),
+            expr: (expr) => this.preserves(expr),
+        });
+    }
 }
 //# sourceMappingURL=reference-effects.js.map

package/dist/backend/llvm/reference-effects.js.map

@@ -1 +1 @@
-{"version":3,"file":"reference-effects.js","sourceRoot":"","sources":["../../../src/backend/llvm/reference-effects.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAC/D,OAAO,EAAE,YAAY,EAA6C,MAAM,gBAAgB,CAAC;AACzF,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrF,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAI5D;;6EAE6E;AAC7E,MAAM,UAAU,oBAAoB,CAAC,MAAc;IACjD,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,UAAU,CAAC;QAChB,KAAK,SAAS,CAAC;QACf,KAAK,YAAY,CAAC;QAClB,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO,CAAC;QACb,KAAK,WAAW,CAAC;QACjB,KAAK,UAAU;YACb,OAAO,IAAI,CAAC;QACd;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED,SAAS,wBAAwB,CAC/B,CAAS,EACT,IAA8B,EAC9B,aAAmC;IAEnC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ,CAAC;QACd,KAAK,KAAK,CAAC;QACX,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS,CAAC;QACf,KAAK,SAAS,CAAC;QACf,KAAK,SAAS,CAAC;QACf,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW,CAAC;QACjB,KAAK,aAAa,CAAC;QACnB,KAAK,YAAY,CAAC;QAClB,KAAK,WAAW,CAAC;QACjB,KAAK,WAAW,CAAC;QACjB,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,UAAU,CAAC;QAChB,KAAK,UAAU,CAAC;QAChB,KAAK,YAAY,CAAC;QAClB,KAAK,SAAS,CAAC;QACf,KAAK,aAAa,CAAC;QACnB,KAAK,aAAa,CAAC;QACnB,KAAK,YAAY,CAAC;QAClB,KAAK,cAAc,CAAC;QACpB,KAAK,aAAa;YAChB,OAAO,IAAI,CAAC;QACd,KAAK,SAAS;YACZ,OAAO,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAClC,KAAK,YAAY;YACf,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,aAAa,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC;QACzE,KAAK,cAAc;YACjB,OAAO,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACvC,KAAK,gBAAgB;YACnB,OAAO,oBAAoB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACxC,KAAK,cAAc,CAAC;QACpB,KAAK,cAAc;YACjB,OAAO,oBAAoB,CAAC,CAAC,CAAC,CAAC;QACjC,KAAK,SAAS;YACZ,oEAAoE;YACpE,qEAAqE;YACrE,OAAO,CAAC,CAAC,EAAE,KAAK,WAAW,IAAI,CAAC,CAAC,EAAE,KAAK,iBAAiB,IAAI,uBAAuB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9F,KAAK,MAAM;YACT,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;QACjB,KAAK,cAAc;YACjB,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC;QAC/B,KAAK,gBAAgB;YACnB,OAAO,CACL,CAAC,CAAC,MAAM,KAAK,KAAK;gBAClB,CAAC,CAAC,MAAM,KAAK,QAAQ;gBACrB,CAAC,CAAC,MAAM,KAAK,YAAY;gBACzB,CAAC,CAAC,MAAM,KAAK,YAAY;gBACzB,gBAAgB,CAAC,CAAC,CAAC,KAAK,IAAI,CAC7B,CAAC;QACJ;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAAC,CAAS,EAAE,aAAmC;IAC7E,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,SAAS,CAAC;QACf,KAAK,UAAU,CAAC;QAChB,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO,CAAC;QACb,KAAK,IAAI,CAAC;QACV,KAAK,KAAK,CAAC;QACX,KAAK,OAAO,CAAC;QACb,KAAK,SAAS,CAAC;QACf,KAAK,OAAO,CAAC;QACb,KAAK,OAAO,CAAC;QACb,KAAK,UAAU,CAAC;QAChB,KAAK,UAAU;YACb,OAAO,IAAI,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,aAAa,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC;QAC/E,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW;YACd,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACrC;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED;;;;;;iFAMiF;AACjF,MAAM,OAAO,gBAAgB;IAMR,aAAa;IALvB,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACtB,WAAW,GAAG,IAAI,GAAG,EAAmB,CAAC;IAE1D,YACE,SAA0C,EACzB,aAAsC;6BAAtC,aAAa;QAE9B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAuB,CAAC;QAC/C,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,KAAK,MAAM,EAAE,IAAI,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;YACpC,iEAAiE;YACjE,oEAAoE;YACpE,oEAAoE;YACpE,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CACnE,CAAC;YACF,MAAM,IAAI,GACR,CAAC,EAAE,CAAC,KAAK;gBACT,CAAC,EAAE,CAAC,SAAS;gBACb,CAAC,EAAE,CAAC,QAAQ;gBACZ,CAAC,EAAE,CAAC,aAAa;gBACjB,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;oBACrB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,uBAAuB,CAAC,IAAI,EAAE,aAAa,CAAC;oBAC5D,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CACV,wBAAwB,CACtB,CAAC,EACD,CAAC,IAAI,EAAE,EAAE;wBACP,IAAI,aAAa,CAAC,IAAI,CAAC;4BAAE,OAAO,IAAI,CAAC;wBACrC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC;4BAAE,OAAO,KAAK,CAAC;wBAC9C,IAAI,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;wBACxC,IAAI,CAAC,QAAQ;4BAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;wBAChE,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;wBACtB,OAAO,IAAI,CAAC;oBACd,CAAC,EACD,aAAa,CACd;iBACJ,CAAC,CAAC;YACL,IAAI,IAAI;gBAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;;gBACjC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;QACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC;YACzC,IAAI,CAAC,QAAQ;gBAAE,SAAS;YACxB,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;gBAC9B,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC;oBAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACzD,CAAC;QACH,CAAC;IACH,CAAC;IAED,SAAS,CAAC,KAAa;QACrB,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC1C,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,MAAM,IAAI,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC7D,MAAM,IAAI,GAAG,CAAC,IAAY,EAAW,EAAE,CACrC,uBAAuB,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACpE,MAAM,MAAM,GACV,wBAAwB,CACtB,KAAK,EACL,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CACtE,IAAI,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACzC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACpC,OAAO,MAAM,CAAC;IAChB,CAAC;CACF"}
+{"version":3,"file":"reference-effects.js","sourceRoot":"","sources":["../../../src/backend/llvm/reference-effects.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAC/D,OAAO,EAAE,YAAY,EAA6C,MAAM,gBAAgB,CAAC;AACzF,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrF,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAI5D;;6EAE6E;AAC7E,MAAM,UAAU,oBAAoB,CAAC,MAAc;IACjD,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,UAAU,CAAC;QAChB,KAAK,SAAS,CAAC;QACf,KAAK,YAAY,CAAC;QAClB,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO,CAAC;QACb,KAAK,WAAW,CAAC;QACjB,KAAK,UAAU;YACb,OAAO,IAAI,CAAC;QACd;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED,SAAS,wBAAwB,CAC/B,CAAS,EACT,IAA8B,EAC9B,aAAmC;IAEnC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ,CAAC;QACd,KAAK,KAAK,CAAC;QACX,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS,CAAC;QACf,KAAK,SAAS,CAAC;QACf,KAAK,SAAS,CAAC;QACf,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW,CAAC;QACjB,KAAK,aAAa,CAAC;QACnB,KAAK,YAAY,CAAC;QAClB,KAAK,WAAW,CAAC;QACjB,KAAK,WAAW,CAAC;QACjB,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,UAAU,CAAC;QAChB,KAAK,UAAU,CAAC;QAChB,KAAK,YAAY,CAAC;QAClB,KAAK,SAAS,CAAC;QACf,KAAK,aAAa,CAAC;QACnB,KAAK,aAAa,CAAC;QACnB,KAAK,YAAY,CAAC;QAClB,KAAK,cAAc,CAAC;QACpB,KAAK,aAAa;YAChB,OAAO,IAAI,CAAC;QACd,KAAK,SAAS;YACZ,OAAO,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAClC,KAAK,YAAY;YACf,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,aAAa,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC;QACzE,KAAK,cAAc;YACjB,OAAO,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACvC,KAAK,gBAAgB;YACnB,OAAO,oBAAoB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACxC,KAAK,cAAc,CAAC;QACpB,KAAK,cAAc;YACjB,OAAO,oBAAoB,CAAC,CAAC,CAAC,CAAC;QACjC,KAAK,SAAS;YACZ,oEAAoE;YACpE,qEAAqE;YACrE,OAAO,CAAC,CAAC,EAAE,KAAK,WAAW,IAAI,CAAC,CAAC,EAAE,KAAK,iBAAiB,IAAI,uBAAuB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9F,KAAK,MAAM;YACT,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;QACjB,KAAK,cAAc;YACjB,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC;QAC/B,KAAK,gBAAgB;YACnB,OAAO,CACL,CAAC,CAAC,MAAM,KAAK,KAAK;gBAClB,CAAC,CAAC,MAAM,KAAK,QAAQ;gBACrB,CAAC,CAAC,MAAM,KAAK,YAAY;gBACzB,CAAC,CAAC,MAAM,KAAK,YAAY;gBACzB,gBAAgB,CAAC,CAAC,CAAC,KAAK,IAAI,CAC7B,CAAC;QACJ;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAAC,CAAS,EAAE,aAAmC;IAC7E,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,SAAS,CAAC;QACf,KAAK,UAAU,CAAC;QAChB,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO,CAAC;QACb,KAAK,IAAI,CAAC;QACV,KAAK,KAAK,CAAC;QACX,KAAK,OAAO,CAAC;QACb,KAAK,OAAO,CAAC;QACb,KAAK,SAAS,CAAC;QACf,KAAK,OAAO,CAAC;QACb,KAAK,OAAO,CAAC;QACb,KAAK,UAAU,CAAC;QAChB,KAAK,UAAU;YACb,OAAO,IAAI,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,aAAa,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC;QAC/E,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW;YACd,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACrC;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED;;;;;;iFAMiF;AACjF,MAAM,OAAO,gBAAgB;IAMR,aAAa;IALvB,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACtB,WAAW,GAAG,IAAI,GAAG,EAAmB,CAAC;IAE1D,YACE,SAA0C,EACzB,aAAsC;6BAAtC,aAAa;QAE9B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAuB,CAAC;QAC/C,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,KAAK,MAAM,EAAE,IAAI,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;YACpC,iEAAiE;YACjE,oEAAoE;YACpE,oEAAoE;YACpE,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CACnE,CAAC;YACF,MAAM,IAAI,GACR,CAAC,EAAE,CAAC,KAAK;gBACT,CAAC,EAAE,CAAC,SAAS;gBACb,CAAC,EAAE,CAAC,QAAQ;gBACZ,CAAC,EAAE,CAAC,aAAa;gBACjB,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;oBACrB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,uBAAuB,CAAC,IAAI,EAAE,aAAa,CAAC;oBAC5D,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CACV,wBAAwB,CACtB,CAAC,EACD,CAAC,IAAI,EAAE,EAAE;wBACP,IAAI,aAAa,CAAC,IAAI,CAAC;4BAAE,OAAO,IAAI,CAAC;wBACrC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC;4BAAE,OAAO,KAAK,CAAC;wBAC9C,IAAI,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;wBACxC,IAAI,CAAC,QAAQ;4BAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;wBAChE,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;wBACtB,OAAO,IAAI,CAAC;oBACd,CAAC,EACD,aAAa,CACd;iBACJ,CAAC,CAAC;YACL,IAAI,IAAI;gBAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;;gBACjC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;QACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC;YACzC,IAAI,CAAC,QAAQ;gBAAE,SAAS;YACxB,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;gBAC9B,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC;oBAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACzD,CAAC;QACH,CAAC;IACH,CAAC;IAED,SAAS,CAAC,KAAa;QACrB,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC1C,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,MAAM,IAAI,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC7D,MAAM,IAAI,GAAG,CAAC,IAAY,EAAW,EAAE,CACrC,uBAAuB,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACpE,MAAM,MAAM,GACV,wBAAwB,CACtB,KAAK,EACL,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CACtE,IAAI,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACzC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACpC,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,cAAc,CAAC,IAAc;QAC3B,OAAO,aAAa,CAAC,IAAI,EAAE;YACzB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC;YAC7C,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;SACrC,CAAC,CAAC;IACL,CAAC;CACF"}

package/dist/backend/llvm/serialized-ir-emission.test.d.ts

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

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

@@ -0,0 +1,52 @@
+import { mkdtempSync, readFileSync, rmSync } from "node:fs";
+import { tmpdir } from "node:os";
+import { join } from "node:path";
+import { expect, test } from "vitest";
+import { compile, deserializeModule } from "../../index.js";
+import { emitLlvmModuleSource } from "./emitter.js";
+const root = join(import.meta.dirname, "../../../../..");
+// Per-node emitter analyses must reach the same conclusions for an in-memory
+// module and its serialized IR artifact. The sanitized bootstrap emits the
+// next compiler generation from that artifact. Both emissions use the backend
+// options `compile` derives from the build flags (object audit notes follow
+// --sanitize), so any difference comes from the IR round trip.
+test("sort-heavy programs emit equal LLVM from memory and from serialized IR", async () => {
+    const directory = mkdtempSync(join(tmpdir(), "scriptc-sort-ir-"));
+    try {
+        for (const sanitize of [false, true]) {
+            for (const name of [
+                "array-sort-runs.ts",
+                "uint8array-sort-domains.ts",
+                "2703-array-sparse-sort.ts",
+            ]) {
+                const label = `${name}${sanitize ? " (sanitize)" : ""}`;
+                const entry = join(root, "tests/corpus", name);
+                const options = {
+                    outDir: directory,
+                    backend: "llvm",
+                    optimization: "release",
+                    sanitize,
+                };
+                const llvmPath = join(directory, name + ".ll");
+                const irPath = join(directory, name + ".ir.json");
+                const llvm = await compile(entry, { ...options, outPath: llvmPath, outputKind: "llvm" });
+                expect(llvm.ok, label).toBe(true);
+                const ir = await compile(entry, { ...options, outPath: irPath, outputKind: "ir" });
+                expect(ir.ok, label).toBe(true);
+                const emitted = emitLlvmModuleSource(deserializeModule(readFileSync(irPath, "utf8")), {
+                    targetTriple: process.env["SCRIPTC_TARGET"] ?? "",
+                    pointerBits: 64,
+                    wasi: false,
+                    runtimeAbiMarker: false,
+                    objectAudit: sanitize,
+                });
+                const text = typeof emitted === "string" ? emitted : emitted.join("");
+                expect(text === readFileSync(llvmPath, "utf8"), label).toBe(true);
+            }
+        }
+    }
+    finally {
+        rmSync(directory, { recursive: true, force: true });
+    }
+}, 120_000);
+//# sourceMappingURL=serialized-ir-emission.test.js.map

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

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

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

@@ -17,6 +17,19 @@ export interface ShapeHost {
     readonly tracedUnions: Set<string>;
     readonly recordsById: Map<string, IrRecordShape>;
     readonly recordCloneShapes: ReadonlySet<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
+     * runtime packs define them empty, so plain builds omit the calls.
+     * Absent means emit. */
+    readonly objectAudit?: boolean;
+    /** Inline the small-object allocator's fast paths (llvm/alloc.ts). */
+    readonly inlineAlloc?: 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. */
+    readonly rcHelpers: Set<string> | null;
 }
 /** Every emitted function/helper carries #0 = { sanitize_address } — see
  * the emitter header. */
@@ -34,12 +47,66 @@ export declare function vAdapters(host: ShapeHost, t: IrType): {
     release: string;
 };
 /** The retain call target (ptr → ptr, +1 unless immortal) — the `_v`
- * table above; the split exists so call sites read type-directedly. */
+ * table above; the split exists so call sites read type-directedly.
+ * Families with a mirrored fast path call the inline helper instead. */
 export declare function retainSym(host: ShapeHost, t: IrType): string;
 /** The release call target (ptr → void, NULL-tolerant). The runtime's
  * typed releases are external symbols, so the direct (non-`_v`) entry
- * points serve where one exists; records use their emitted helper. */
+ * points serve where one exists; records use their emitted helper.
+ * Families with a mirrored fast path call the inline helper instead. */
 export declare function releaseSym(host: ShapeHost, t: IrType): string;
+/** How a runtime family decides whether an object carries a ScrCycHdr:
+ * never, always, or per object through the trace slots its C retain and
+ * release test (`a->elem_trace`, `m->key_trace || m->val_trace`). */
+type RcCycle = "none" | "always" | "arr" | "map";
+interface InlineRcFamily {
+    readonly cycle: RcCycle;
+    /** The C retain tolerates NULL (the others dereference unconditionally). */
+    readonly retainNull: boolean;
+    /** The out-of-line release behind the inline fast path: it owns the
+     * rc == 1 → 0 transition and, for per-object (`arr`/`map`) families,
+     * every release of a headered object. Null keeps the release a plain
+     * runtime call. */
+    readonly release: string | null;
+}
+/** Runtime RC families whose fast paths the backend mirrors in IR, keyed
+ * by the family name without its `scr_` stem prefix. Each
+ * row restates the C entry points in scr_runtime.h and the runtime TUs:
+ * retain is `if (rc != SIZE_MAX) { rc++; mark-live if headered }`, and a
+ * release that leaves the object alive is `rc--`, then scr_cyc_on_release
+ * when headered. Everything else (destruction, RC-audit accounting, the
+ * collector's on_dead bookkeeping) stays in the runtime release, which
+ * repeats its own checks, so the fast path never duplicates it.
+ *
+ * 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.
+ *   Array retains are inlined. */
+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;
+/** 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;
+export declare function inlineRcDecls(host: ShapeHost): string[];
+/** Definitions for every requested inline RC helper, in a stable order.
+ *
+ * retain: a NULL skip where the C retain tolerates NULL, the immortal skip,
+ * the increment, and for headered objects the mark-live `store i32 0` at
+ * obj-cycleColorOffset (scr_cyc_mark_live).
+ *
+ * release: NULL and immortal skips. rc == 1 (and any headered object of a
+ * per-object family) calls the runtime release, marked cold so destruction
+ * stays out of line. Otherwise decrement; always-headered families then
+ * inline scr_cyc_on_release's already-buffered case (color = PURPLE, and
+ * `buffered` is the i16 four bytes after color), calling the runtime only
+ * to enqueue a new candidate. scr_runtime.h asserts both header offsets and
+ * the trace-slot offsets. */
+export declare function emitInlineRcHelpers(host: ShapeHost): string[];
 /** The trace entry point for a payload/field type, or null when the type
  * cannot participate in a cycle. */
 export declare function traceAdapter(host: ShapeHost, t: IrType): string | null;
@@ -81,10 +148,13 @@ export declare function mapValKindNum(value: IrType): number;
  * so mark-live is one i32 store at obj-16 (scr_cyc_mark_live inlined —
  * the runtime's is a static inline with no external symbol). */
 export declare function retainBody(host: ShapeHost, fnName: string, traced: boolean, comment?: string): string[];
+/** Scalar fields and native strings cannot form recursive ownership chains.
+ * Other reference kinds conservatively share the runtime destruction budget. */
+export declare function needsBoundedRelease(type: IrType): boolean;
 /** 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. */
-export declare function releaseBody(host: ShapeHost, fnName: string, traced: boolean, freeBody: string[], comment?: string): string[];
+export declare function releaseBody(host: ShapeHost, fnName: string, traced: boolean, freeBody: string[], comment?: string, bounded?: boolean): string[];
 /** Per-record-shape LLVM emission: the named struct types (returned as
  * `typeDefs`) and the new/retain/release (+trace/gcFree for cycle-capable
  * shapes) function definitions (`defs`). Layout follows the runtime ABI: