@scriptc/compiler 0.2.4 → 0.2.6

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

@@ -2,9 +2,12 @@ import { type IrExpr, type IrFunction, type IrType, type IrUnionDef } from "../.
 import type { CallLifetimes } from "./call-lifetimes.js";
 import type { LlValue, LlvmEmitterContext } from "./expr-context.js";
 /** Typed reads neither invoke callbacks nor consume their inputs. Reference
- * results carry their own owner. Generic views keep the adapter path, and
- * mutations retain their ordinary operand snapshots. */
+ * results carry their own owner. Generic views keep the adapter path. */
 export declare function borrowsMapReadInputs(expr: IrExpr): boolean;
+/** Native typed mutations borrow their receiver and invoke no user code.
+ * Stored arguments still acquire ownership, and the mutation itself must
+ * never be classified as preserving the collection's reference edges. */
+export declare function borrowsMapMutationReceiver(expr: IrExpr): boolean;
 export interface LocalMapRead {
     type: IrType;
     receiver: IrExpr;
@@ -13,6 +16,7 @@ export interface LocalMapRead {
     presentTag: number;
     missingTag: number;
 }
+export declare function matchMapRead(expr: IrExpr, unions: ReadonlyMap<string, IrUnionDef>): LocalMapRead | null;
 export interface MapReadLifetimes {
     locals: Map<string, LocalMapRead>;
     arguments: Map<IrExpr, LocalMapRead>;
@@ -22,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

@@ -1,10 +1,7 @@
-import { isRefCounted, typeEquals } from "../../ir/ir.js";
+import { isRefCounted, typeEquals, } from "../../ir/ir.js";
 import { everyStmtList } from "../../ir/traverse.js";
 import { mapKeyAccess, mapKeyParamType } from "./shapes.js";
-/** Typed reads neither invoke callbacks nor consume their inputs. Reference
- * results carry their own owner. Generic views keep the adapter path, and
- * mutations retain their ordinary operand snapshots. */
-export function borrowsMapReadInputs(expr) {
+function hasTypedCollectionReceiver(expr) {
     if (expr.kind !== "mapIntrinsic" && expr.kind !== "setIntrinsic")
         return false;
     const receiver = expr.receiver.type;
@@ -18,6 +15,13 @@ export function borrowsMapReadInputs(expr) {
     }
     else
         return false;
+    return true;
+}
+/** Typed reads neither invoke callbacks nor consume their inputs. Reference
+ * results carry their own owner. Generic views keep the adapter path. */
+export function borrowsMapReadInputs(expr) {
+    if (!hasTypedCollectionReceiver(expr))
+        return false;
     switch (expr.method) {
         case "get":
         case "has":
@@ -25,18 +29,36 @@ export function borrowsMapReadInputs(expr) {
         case "iterCount":
         case "iterLive":
         case "iterKey":
-        case "iterValue": return true;
-        default: return false;
+        case "iterValue":
+            return true;
+        default:
+            return false;
     }
 }
-function mapRead(expr, unions) {
-    if (expr.kind !== "mapIntrinsic" || expr.method !== "get" || expr.args.length !== 1 ||
-        expr.receiver.type.kind !== "map" || expr.type.kind !== "union" || !borrowsMapReadInputs(expr))
+/** Native typed mutations borrow their receiver and invoke no user code.
+ * Stored arguments still acquire ownership, and the mutation itself must
+ * never be classified as preserving the collection's reference edges. */
+export function borrowsMapMutationReceiver(expr) {
+    if (!hasTypedCollectionReceiver(expr))
+        return false;
+    return (expr.method === "set" ||
+        expr.method === "add" ||
+        expr.method === "delete" ||
+        expr.method === "clear");
+}
+export function matchMapRead(expr, unions) {
+    if (expr.kind !== "mapIntrinsic" ||
+        expr.method !== "get" ||
+        expr.args.length !== 1 ||
+        expr.receiver.type.kind !== "map" ||
+        expr.type.kind !== "union" ||
+        !borrowsMapReadInputs(expr))
         return null;
     const value = expr.receiver.type.value;
     // An already-boxed union is the stored value itself. Its identity and
     // ownership stay on the existing path instead of constructing a new box.
-    if (value.kind === "union" || (!isRefCounted(value) && value.kind !== "f64" && value.kind !== "bool"))
+    if (value.kind === "union" ||
+        (!isRefCounted(value) && value.kind !== "f64" && value.kind !== "bool"))
         return null;
     const arms = unions.get(expr.type.unionId)?.arms;
     if (!arms || arms.length !== 2)
@@ -45,7 +67,14 @@ function mapRead(expr, unions) {
     const missingTag = arms.findIndex((arm) => arm.kind === "undefinedT");
     if (presentTag < 0 || missingTag < 0)
         return null;
-    return { type: expr.type, receiver: expr.receiver, key: expr.args[0], value, presentTag, missingTag };
+    return {
+        type: expr.type,
+        receiver: expr.receiver,
+        key: expr.args[0],
+        value,
+        presentTag,
+        missingTag,
+    };
 }
 /** Reuse the box-use proof for both lexical locals and direct arguments.
  * Each read owns an independent payload snapshot: changing or clearing the
@@ -59,7 +88,7 @@ export function findMapReadLifetimes(fn, unions, lifetimes) {
     everyStmtList(fn.body, {
         stmt: (stmt) => {
             if (stmt.kind === "varDecl" && stmt.init && locals?.has(stmt.localId)) {
-                const read = mapRead(stmt.init, unions);
+                const read = matchMapRead(stmt.init, unions);
                 if (read)
                     result.locals.set(stmt.localId, read);
             }
@@ -73,7 +102,7 @@ export function findMapReadLifetimes(fn, unions, lifetimes) {
                 expr.args.forEach((arg, index) => {
                     if (!parameters.has(index))
                         return;
-                    const read = mapRead(arg, unions);
+                    const read = matchMapRead(arg, unions);
                     if (read)
                         result.arguments.set(arg, read);
                 });
@@ -82,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
@@ -89,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`);
@@ -101,8 +145,9 @@ 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}`);
         owner = { slot: payload, type: read.value };
     }
@@ -110,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,EAAE,YAAY,EAAE,UAAU,EAA8D,MAAM,gBAAgB,CAAC;AACtH,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAGrD,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAE5D;;wDAEwD;AACxD,MAAM,UAAU,oBAAoB,CAAC,IAAY;IAC/C,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,QAAQ,IAAI,CAAC,MAAM,EAAE,CAAC;QACpB,KAAK,KAAK,CAAC;QAAC,KAAK,KAAK,CAAC;QAAC,KAAK,MAAM,CAAC;QAAC,KAAK,WAAW,CAAC;QACtD,KAAK,UAAU,CAAC;QAAC,KAAK,SAAS,CAAC;QAAC,KAAK,WAAW,EAAE,OAAO,IAAI,CAAC;QAC/D,SAAS,OAAO,KAAK,CAAC;IACxB,CAAC;AACH,CAAC;AAWD,SAAS,OAAO,CAAC,IAAY,EAAE,MAAuC;IACpE,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QAC/E,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAChH,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC;IACvC,sEAAsE;IACtE,yEAAyE;IACzE,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACnH,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,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC;AACzG,CAAC;AAOD;;;wDAGwD;AACxD,MAAM,UAAU,oBAAoB,CAAC,EAAc,EAAE,MAAuC,EAAE,SAAwB;IACpH,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,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBACxC,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;gBAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;oBAC/C,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC;wBAAE,OAAO;oBACnC,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;oBAClC,IAAI,IAAI;wBAAE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;gBAC5C,CAAC,CAAC,CAAC;YACH,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,EAAE,OAAO,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACzD,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,OAAO,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC;QACrG,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,kBAAkB,GAAG,QAAQ,CAAC,CAAC;QAC9C,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,CAAC,GAAG,KAAK,mCAAmC,MAAM,IAAI,MAAM,QAAQ,QAAQ,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,IAAI,SAAS,OAAO,GAAG,CAAC,CAAC;QACpI,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,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACrC,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

@@ -1,5 +1,5 @@
 import { expect, test } from "vitest";
-import { BOOL, DYN, F64, STRING, UNDEFINED_T, VOID } from "../../ir/ir.js";
+import { BOOL, DYN, F64, STRING, UNDEFINED_T, VOID, } from "../../ir/ir.js";
 import { validateModule } from "../../ir/validate.js";
 import { analyzeCallLifetimes } from "./call-lifetimes.js";
 import { emitLlvmModule } from "./emitter.js";
@@ -10,20 +10,56 @@ const optional = { kind: "union", unionId: "optional" };
 const ref = (localId, type) => ({ kind: "varRef", localId, type, loc });
 function fixture(value = record, key = F64) {
     const map = { kind: "map", key, value };
-    const params = [{ localId: "map", name: "map", type: map }, { localId: "key", name: "key", type: key }];
+    const params = [
+        { localId: "map", name: "map", type: map },
+        { localId: "key", name: "key", type: key },
+    ];
     const work = {
-        name: "work", params, returnType: BOOL, loc,
-        locals: [...params.map((p) => ({ id: p.localId, name: p.name, type: p.type, mutable: true })),
-            { id: "value", name: "value", type: optional, mutable: false }],
+        name: "work",
+        params,
+        returnType: BOOL,
+        loc,
+        locals: [
+            ...params.map((p) => ({ id: p.localId, name: p.name, type: p.type, mutable: true })),
+            { id: "value", name: "value", type: optional, mutable: false },
+        ],
         body: [
-            { kind: "varDecl", localId: "value", loc, init: { kind: "mapIntrinsic", method: "get", receiver: ref("map", map), args: [ref("key", key)], type: optional, loc } },
-            { kind: "return", loc, value: { kind: "unionIsTag", value: ref("value", optional), unionId: "optional", tag: 0, negated: false, type: BOOL, loc } },
+            {
+                kind: "varDecl",
+                localId: "value",
+                loc,
+                init: {
+                    kind: "mapIntrinsic",
+                    method: "get",
+                    receiver: ref("map", map),
+                    args: [ref("key", key)],
+                    type: optional,
+                    loc,
+                },
+            },
+            {
+                kind: "return",
+                loc,
+                value: {
+                    kind: "unionIsTag",
+                    value: ref("value", optional),
+                    unionId: "optional",
+                    tag: 0,
+                    negated: false,
+                    type: BOOL,
+                    loc,
+                },
+            },
         ],
     };
-    return { irVersion: 13, sourceFile: loc.file, entry: "main", records: [{ id: "cell", fields: [{ name: "x", type: F64 }] }],
-        unions: [{ id: "optional", arms: [value, UNDEFINED_T] }], functions: [
-            { name: "main", params: [], locals: [], returnType: VOID, body: [], loc }, work,
-        ] };
+    return {
+        irVersion: 14,
+        sourceFile: loc.file,
+        entry: "main",
+        records: [{ id: "cell", fields: [{ name: "x", type: F64 }] }],
+        unions: [{ id: "optional", arms: [value, UNDEFINED_T] }],
+        functions: [{ name: "main", params: [], locals: [], returnType: VOID, body: [], loc }, work],
+    };
 }
 function facts(mod) {
     const lifetimes = analyzeCallLifetimes(new Map(mod.functions.map((fn) => [fn.name, fn])));
@@ -59,12 +95,41 @@ test("direct helper arguments have independent stack boxes and call-scoped paylo
     const init = fn.body[0];
     if (init.kind !== "varDecl" || !init.init)
         throw new Error("missing lookup");
-    const helper = { name: "inspect", loc, returnType: BOOL,
+    const helper = {
+        name: "inspect",
+        loc,
+        returnType: BOOL,
         params: ["left", "right"].map((id) => ({ localId: id, name: id, type: optional })),
         locals: ["left", "right"].map((id) => ({ id, name: id, type: optional, mutable: false })),
-        body: [{ kind: "return", loc, value: { kind: "unionIsTag", value: ref("left", optional), unionId: "optional", tag: 0, negated: false, type: BOOL, loc } }],
+        body: [
+            {
+                kind: "return",
+                loc,
+                value: {
+                    kind: "unionIsTag",
+                    value: ref("left", optional),
+                    unionId: "optional",
+                    tag: 0,
+                    negated: false,
+                    type: BOOL,
+                    loc,
+                },
+            },
+        ],
     };
-    fn.body = [{ kind: "return", loc, value: { kind: "call", callee: helper.name, args: [init.init, { ...init.init }], type: BOOL, loc } }];
+    fn.body = [
+        {
+            kind: "return",
+            loc,
+            value: {
+                kind: "call",
+                callee: helper.name,
+                args: [init.init, { ...init.init }],
+                type: BOOL,
+                loc,
+            },
+        },
+    ];
     mod.functions.push(helper);
     expect(facts(mod).arguments.size).toBe(2);
     const ir = body(mod);
@@ -108,20 +173,27 @@ test("typed read helpers borrow string keys while mutations retain the owned con
     fn.body.push({ kind: "exprStmt", expr: mutation, loc });
     expect(keyFacts()).toBeUndefined();
 });
-test("effectful keys borrow unchanged bindings and snapshot reassigned receivers", () => {
+test("reference-preserving keys borrow receivers across unrelated later assignments", () => {
     const mod = fixture();
     const fn = mod.functions[1];
     const init = fn.body[0];
     if (init.kind !== "varDecl" || init.init?.kind !== "mapIntrinsic")
         throw new Error("missing lookup");
     init.init.args[0] = { kind: "call", callee: "key", args: [], type: F64, loc };
-    mod.functions.push({ name: "key", params: [], locals: [], body: [{ kind: "return", value: { kind: "numLit", value: 0, type: F64, loc }, loc }], returnType: F64, loc });
+    mod.functions.push({
+        name: "key",
+        params: [],
+        locals: [],
+        body: [{ kind: "return", value: { kind: "numLit", value: 0, type: F64, loc }, loc }],
+        returnType: F64,
+        loc,
+    });
     expect(body(mod)).not.toContain("@scr_map_retain_v");
     const work = mod.functions[1];
     const type = work.params[0].type;
     work.body.splice(1, 0, { kind: "assign", localId: "map", value: ref("map", type), loc });
     const ir = body(mod);
     expect(ir.indexOf("@scr_map_retain_v")).toBeGreaterThan(0);
-    expect(ir.indexOf("@scr_map_retain_v")).toBeLessThan(ir.indexOf("@sc_f_key"));
+    expect(ir.indexOf("@scr_map_retain_v")).toBeGreaterThan(ir.indexOf("@sc_f_key"));
 });
 //# sourceMappingURL=map-read-lifetimes.test.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"map-read-lifetimes.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/map-read-lifetimes.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,EAA4D,MAAM,gBAAgB,CAAC;AACrI,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAErF,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACvD,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AAC3D,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AAChE,MAAM,GAAG,GAAG,CAAC,OAAe,EAAE,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAEhG,SAAS,OAAO,CAAC,KAAK,GAAW,MAAM,EAAE,GAAG,GAAW,GAAG;IACxD,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;IAChD,MAAM,MAAM,GAAG,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IACxG,MAAM,IAAI,GAAe;QACvB,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG;QAC3C,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YAC3F,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QACjE,IAAI,EAAE;YACJ,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE;YAClK,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE;SACpJ;KACF,CAAC;IACF,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;QACxH,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,WAAW,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE;YACnE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI;SAChF,EAAE,CAAC;AACR,CAAC;AAED,SAAS,KAAK,CAAC,GAAa;IAC1B,MAAM,SAAS,GAAG,oBAAoB,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1F,OAAO,oBAAoB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,MAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;AACpH,CAAC;AAED,SAAS,IAAI,CAAC,GAAa,EAAE,IAAI,GAAY,EAAE;IAC7C,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;IACxD,OAAO,mDAAmD,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED,IAAI,CAAC,+FAA+F,EAAE,GAAG,EAAE;IACzG,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;QAChD,MAAM,GAAG,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QAC3B,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClD,KAAK,MAAM,IAAI,IAAI,CAAC,EAAE,EAAE,EAAE,CAAU,EAAE,CAAC;YACrC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YAC3B,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;YACzC,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;YAClC,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;YAC3C,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;YAC/C,IAAI,KAAK,KAAK,IAAI;gBAAE,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;YAC9D,IAAI,KAAK,KAAK,MAAM;gBAAE,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;YAC5D,IAAI,KAAK,KAAK,MAAM;gBAAE,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qFAAqF,EAAE,GAAG,EAAE;IAC/F,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,MAAM,EAAE,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;IAC7B,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;IACzB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,gBAAgB,CAAC,CAAC;IAC7E,MAAM,MAAM,GAAe,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI;QACjE,MAAM,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QAClF,MAAM,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QACzF,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC;KAC3J,CAAC;IACF,EAAE,CAAC,IAAI,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;IACxI,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC3B,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1C,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IACrB,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACtD,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;IAC3C,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC1C,MAAM,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAChC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;AAC3E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gDAAgD,EAAE,GAAG,EAAE;IAC1D,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,MAAM,EAAE,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;IAC7B,EAAE,CAAC,UAAU,GAAG,QAAQ,CAAC;IACzB,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,GAAG,EAAE,CAAC;IACpE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;AACpD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+DAA+D,EAAE,GAAG,EAAE;IACzE,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;IAC3D,MAAM,GAAG,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAC3B,GAAG,CAAC,MAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,CAAC,CAAC;IAChE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxD,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mFAAmF,EAAE,GAAG,EAAE;IAC7F,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACpC,MAAM,EAAE,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;IAC7B,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;IACzB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,cAAc;QAAE,MAAM,IAAI,KAAK,CAAC,gBAAgB,CAAC,CAAC;IACrG,MAAM,QAAQ,GAAG,GAAG,EAAE,CAAC,oBAAoB,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACpH,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IACrB,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;IAC5C,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;IAC5C,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAW,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACxE,MAAM,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnD,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;IACxD,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,aAAa,EAAE,CAAC;AACrC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,4EAA4E,EAAE,GAAG,EAAE;IACtF,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,MAAM,EAAE,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;IAC7B,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;IACzB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,cAAc;QAAE,MAAM,IAAI,KAAK,CAAC,gBAAgB,CAAC,CAAC;IACrG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAC9E,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IACxK,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IACrD,MAAM,IAAI,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;IAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC;IAClC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACzF,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IACrB,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC3D,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;AAChF,CAAC,CAAC,CAAC"}
+{"version":3,"file":"map-read-lifetimes.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/map-read-lifetimes.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EACL,IAAI,EACJ,GAAG,EACH,GAAG,EACH,MAAM,EACN,WAAW,EACX,IAAI,GAKL,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAErF,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACvD,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AAC3D,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AAChE,MAAM,GAAG,GAAG,CAAC,OAAe,EAAE,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAEhG,SAAS,OAAO,CAAC,KAAK,GAAW,MAAM,EAAE,GAAG,GAAW,GAAG;IACxD,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;IAChD,MAAM,MAAM,GAAG;QACb,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;QAC1C,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;KAC3C,CAAC;IACF,MAAM,IAAI,GAAe;QACvB,IAAI,EAAE,MAAM;QACZ,MAAM;QACN,UAAU,EAAE,IAAI;QAChB,GAAG;QACH,MAAM,EAAE;YACN,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YACpF,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE;SAC/D;QACD,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,OAAO;gBAChB,GAAG;gBACH,IAAI,EAAE;oBACJ,IAAI,EAAE,cAAc;oBACpB,MAAM,EAAE,KAAK;oBACb,QAAQ,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC;oBACzB,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;oBACvB,IAAI,EAAE,QAAQ;oBACd,GAAG;iBACJ;aACF;YACD;gBACE,IAAI,EAAE,QAAQ;gBACd,GAAG;gBACH,KAAK,EAAE;oBACL,IAAI,EAAE,YAAY;oBAClB,KAAK,EAAE,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC;oBAC7B,OAAO,EAAE,UAAU;oBACnB,GAAG,EAAE,CAAC;oBACN,OAAO,EAAE,KAAK;oBACd,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;aACF;SACF;KACF,CAAC;IACF,OAAO;QACL,SAAS,EAAE,EAAE;QACb,UAAU,EAAE,GAAG,CAAC,IAAI;QACpB,KAAK,EAAE,MAAM;QACb,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;QAC7D,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,WAAW,CAAC,EAAE,CAAC;QACxD,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,CAAC;KAC7F,CAAC;AACJ,CAAC;AAED,SAAS,KAAK,CAAC,GAAa;IAC1B,MAAM,SAAS,GAAG,oBAAoB,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1F,OAAO,oBAAoB,CACzB,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,EACjB,IAAI,GAAG,CAAC,GAAG,CAAC,MAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,EACtD,SAAS,CACV,CAAC;AACJ,CAAC;AAED,SAAS,IAAI,CAAC,GAAa,EAAE,IAAI,GAAY,EAAE;IAC7C,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;IACxD,OAAO,mDAAmD,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED,IAAI,CAAC,+FAA+F,EAAE,GAAG,EAAE;IACzG,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;QAChD,MAAM,GAAG,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QAC3B,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClD,KAAK,MAAM,IAAI,IAAI,CAAC,EAAE,EAAE,EAAE,CAAU,EAAE,CAAC;YACrC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YAC3B,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;YACzC,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;YAClC,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;YAC3C,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;YAC/C,IAAI,KAAK,KAAK,IAAI;gBAAE,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;YAC9D,IAAI,KAAK,KAAK,MAAM;gBAAE,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;YAC5D,IAAI,KAAK,KAAK,MAAM;gBAAE,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qFAAqF,EAAE,GAAG,EAAE;IAC/F,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,MAAM,EAAE,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;IAC7B,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;IACzB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,gBAAgB,CAAC,CAAC;IAC7E,MAAM,MAAM,GAAe;QACzB,IAAI,EAAE,SAAS;QACf,GAAG;QACH,UAAU,EAAE,IAAI;QAChB,MAAM,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QAClF,MAAM,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QACzF,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,QAAQ;gBACd,GAAG;gBACH,KAAK,EAAE;oBACL,IAAI,EAAE,YAAY;oBAClB,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;oBAC5B,OAAO,EAAE,UAAU;oBACnB,GAAG,EAAE,CAAC;oBACN,OAAO,EAAE,KAAK;oBACd,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;aACF;SACF;KACF,CAAC;IACF,EAAE,CAAC,IAAI,GAAG;QACR;YACE,IAAI,EAAE,QAAQ;YACd,GAAG;YACH,KAAK,EAAE;gBACL,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,MAAM,CAAC,IAAI;gBACnB,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;gBACnC,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ;SACF;KACF,CAAC;IACF,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC3B,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1C,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IACrB,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACtD,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;IAC3C,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC1C,MAAM,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAChC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;AAC3E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gDAAgD,EAAE,GAAG,EAAE;IAC1D,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,MAAM,EAAE,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;IAC7B,EAAE,CAAC,UAAU,GAAG,QAAQ,CAAC;IACzB,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,GAAG,EAAE,CAAC;IACpE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;AACpD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+DAA+D,EAAE,GAAG,EAAE;IACzE,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;IAC3D,MAAM,GAAG,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAC3B,GAAG,CAAC,MAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,CAAC,CAAC;IAChE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxD,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mFAAmF,EAAE,GAAG,EAAE;IAC7F,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACpC,MAAM,EAAE,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;IAC7B,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;IACzB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,cAAc;QAC/D,MAAM,IAAI,KAAK,CAAC,gBAAgB,CAAC,CAAC;IACpC,MAAM,QAAQ,GAAG,GAAG,EAAE,CACpB,oBAAoB,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAC/F,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IACrB,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;IAC5C,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;IAC5C,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAW,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACxE,MAAM,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnD,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;IACxD,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,aAAa,EAAE,CAAC;AACrC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+EAA+E,EAAE,GAAG,EAAE;IACzF,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,MAAM,EAAE,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;IAC7B,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;IACzB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,cAAc;QAC/D,MAAM,IAAI,KAAK,CAAC,gBAAgB,CAAC,CAAC;IACpC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAC9E,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC;QACjB,IAAI,EAAE,KAAK;QACX,MAAM,EAAE,EAAE;QACV,MAAM,EAAE,EAAE;QACV,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC;QACpF,UAAU,EAAE,GAAG;QACf,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IACrD,MAAM,IAAI,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;IAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC;IAClC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACzF,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IACrB,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC3D,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;AACnF,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";
 };
@@ -7,8 +7,9 @@ type Call = IrExpr & {
  * their payloads independently. Callback replacement uses a different IR. */
 export declare function preservesRegexInputs(method: string): boolean;
 /** Reference preservation is weaker than purity: scalar writes, allocation
- * and throwing are allowed. Existing owners and their reference edges must
- * survive until the consuming operation. Unknown calls, reference writes,
+ * and throwing are allowed. Caller owners and their reference edges must
+ * survive until the consuming operation; callee-local rebinding is private.
+ * Unknown calls, externally visible reference writes,
  * callbacks and suspension stay conservative, including inside recursion.
  * Facts belong to one finalized module, never serialized or reused after a
  * transform. Scan bodies once and propagate rejections through reverse edges. */
@@ -18,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 {};