@scriptc/compiler 0.2.2 → 0.2.4

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

@@ -0,0 +1,128 @@
+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) {
+    if (expr.kind !== "mapIntrinsic" && expr.kind !== "setIntrinsic")
+        return false;
+    const receiver = expr.receiver.type;
+    if (receiver.kind === "map") {
+        if (receiver.key.kind === "dyn" || receiver.value.kind === "dyn")
+            return false;
+    }
+    else if (receiver.kind === "set") {
+        if (receiver.elem.kind === "dyn")
+            return false;
+    }
+    else
+        return false;
+    switch (expr.method) {
+        case "get":
+        case "has":
+        case "size":
+        case "iterCount":
+        case "iterLive":
+        case "iterKey":
+        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))
+        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"))
+        return null;
+    const arms = unions.get(expr.type.unionId)?.arms;
+    if (!arms || arms.length !== 2)
+        return null;
+    const presentTag = arms.findIndex((arm) => typeEquals(arm, value));
+    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 };
+}
+/** Reuse the box-use proof for both lexical locals and direct arguments.
+ * Each read owns an independent payload snapshot: changing or clearing the
+ * map later cannot invalidate an earlier result. No map purity assumption
+ * is needed, including for reference-valued entries. */
+export function findMapReadLifetimes(fn, unions, lifetimes) {
+    const result = { locals: new Map(), arguments: new Map() };
+    if (fn.async || fn.generator)
+        return result;
+    const locals = lifetimes.locals.get(fn.name);
+    everyStmtList(fn.body, {
+        stmt: (stmt) => {
+            if (stmt.kind === "varDecl" && stmt.init && locals?.has(stmt.localId)) {
+                const read = mapRead(stmt.init, unions);
+                if (read)
+                    result.locals.set(stmt.localId, read);
+            }
+            return true;
+        },
+        expr: (expr) => {
+            if (expr.kind !== "call")
+                return true;
+            const parameters = lifetimes.parameters.get(expr.callee);
+            if (parameters)
+                expr.args.forEach((arg, index) => {
+                    if (!parameters.has(index))
+                        return;
+                    const read = mapRead(arg, unions);
+                    if (read)
+                        result.arguments.set(arg, read);
+                });
+            return true;
+        },
+    });
+    return result;
+}
+/** 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
+ * results have no owner. A missing reference initializes the owner to null. */
+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 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`);
+    B.entryAllocas.push(`${tag} = getelementptr inbounds %ScrUnion, ptr ${box}, i32 0, i32 1`);
+    const found = B.tmp();
+    let owner = null;
+    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(`${found} = icmp ne ptr ${raw}, null`);
+        B.line(`store ptr ${raw}, ptr ${payload}`);
+        owner = { slot: payload, type: read.value };
+    }
+    else {
+        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})`);
+        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.
+            const byte = B.tmp(), bits = B.tmp();
+            B.line(`${byte} = load i8, ptr ${payload}`);
+            B.line(`${bits} = zext i8 ${byte} to i64`);
+            B.line(`store i64 ${bits}, ptr ${payload}`);
+        }
+    }
+    const selected = B.tmp();
+    B.line(`${selected} = select i1 ${found}, i32 ${read.presentTag}, i32 ${read.missingTag}`);
+    B.line(`store i32 ${selected}, ptr ${tag}`);
+    return { value: { name: box, type: read.type }, owner };
+}
+//# sourceMappingURL=map-read-lifetimes.js.map

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

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

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

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

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

@@ -0,0 +1,127 @@
+import { expect, test } from "vitest";
+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";
+import { borrowsMapReadInputs, findMapReadLifetimes } from "./map-read-lifetimes.js";
+const loc = { file: "map-reads.ts", start: 0, end: 1 };
+const record = { kind: "record", shapeId: "cell" };
+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 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 }],
+        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 } },
+        ],
+    };
+    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,
+        ] };
+}
+function facts(mod) {
+    const lifetimes = analyzeCallLifetimes(new Map(mod.functions.map((fn) => [fn.name, fn])));
+    return findMapReadLifetimes(mod.functions[1], new Map(mod.unions.map((union) => [union.id, union])), lifetimes);
+}
+function body(mod, bits = 64) {
+    expect(validateModule(mod)).toEqual([]);
+    const llvm = emitLlvmModule(mod, { pointerBits: bits });
+    return /^define internal [^\n]*@sc_(?:b)?f_work\([^]*?^}/m.exec(llvm)[0];
+}
+test("local map results keep scalar and owned reference payloads without heap wrappers on both ABIs", () => {
+    for (const value of [F64, BOOL, STRING, record]) {
+        const mod = fixture(value);
+        expect(facts(mod).locals.has("value")).toBe(true);
+        for (const bits of [32, 64]) {
+            const ir = body(mod, bits);
+            expect(ir).toContain("alloca %ScrUnion");
+            expect(ir).toContain("select i1");
+            expect(ir).not.toContain("@scr_union_new");
+            expect(ir).not.toContain("@scr_union_release");
+            if (value === BOOL)
+                expect(ir).toMatch(/zext i8 %\w+ to i64/);
+            if (value === record)
+                expect(ir).toContain("@sc_rrelease_");
+            if (value === STRING)
+                expect(ir).toContain("@scr_str_release");
+        }
+    }
+});
+test("direct helper arguments have independent stack boxes and call-scoped payload owners", () => {
+    const mod = fixture();
+    const fn = mod.functions[1];
+    const init = fn.body[0];
+    if (init.kind !== "varDecl" || !init.init)
+        throw new Error("missing lookup");
+    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 } }],
+    };
+    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);
+    expect(ir.match(/alloca %ScrUnion/g)).toHaveLength(2);
+    expect(ir).not.toContain("@scr_union_new");
+    expect(ir).not.toContain("@scr_union_release");
+    const call = ir.indexOf("@sc_bf_inspect");
+    expect(call).toBeGreaterThan(0);
+    expect(ir.slice(call).match(/call void @sc_rrelease_/g)).toHaveLength(2);
+});
+test("escaping local boxes retain ordinary ownership", () => {
+    const mod = fixture();
+    const fn = mod.functions[1];
+    fn.returnType = optional;
+    fn.body[1] = { kind: "return", value: ref("value", optional), loc };
+    expect(facts(mod).locals.size).toBe(0);
+    expect(body(mod)).toContain("@scr_union_new_ref");
+});
+test("stored union boxes and dynamic views stay on the general path", () => {
+    const union = { kind: "union", unionId: "stored" };
+    const mod = fixture(union);
+    mod.unions.push({ id: "stored", arms: [record, UNDEFINED_T] });
+    expect(facts(mod).locals.size).toBe(0);
+    expect(facts(fixture(record, DYN)).locals.size).toBe(0);
+    expect(facts(fixture(DYN)).locals.size).toBe(0);
+});
+test("typed read helpers borrow string keys while mutations retain the owned convention", () => {
+    const mod = fixture(record, STRING);
+    const fn = mod.functions[1];
+    const init = fn.body[0];
+    if (init.kind !== "varDecl" || init.init?.kind !== "mapIntrinsic")
+        throw new Error("missing lookup");
+    const keyFacts = () => analyzeCallLifetimes(new Map(mod.functions.map((f) => [f.name, f]))).parameters.get(fn.name);
+    expect(keyFacts()).toEqual(new Set([1]));
+    const ir = body(mod);
+    expect(ir).not.toContain("@scr_map_retain");
+    expect(ir).not.toContain("@scr_str_retain");
+    expect(ir).not.toContain("@scr_str_release");
+    const mutation = { ...init.init, method: "delete", type: BOOL };
+    expect(borrowsMapReadInputs(mutation)).toBe(false);
+    fn.body.push({ kind: "exprStmt", expr: mutation, loc });
+    expect(keyFacts()).toBeUndefined();
+});
+test("effectful keys borrow unchanged bindings and snapshot reassigned receivers", () => {
+    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 });
+    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"));
+});
+//# sourceMappingURL=map-read-lifetimes.test.js.map

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

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

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

@@ -0,0 +1,22 @@
+import { type IrExpr, type IrFunction } from "../../ir/ir.js";
+type Call = IrExpr & {
+    kind: "call";
+};
+/** These native operations may update lastIndex and allocate results, but
+ * never invoke user code or remove an existing reference edge. Results own
+ * 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,
+ * 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. */
+export declare class ReferenceEffects {
+    private readonly intrinsicCall;
+    readonly functions: Set<string>;
+    private readonly expressions;
+    constructor(functions: ReadonlyMap<string, IrFunction>, intrinsicCall: (call: Call) => boolean);
+    preserves(value: IrExpr): boolean;
+}
+export {};

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

@@ -0,0 +1,148 @@
+import { preservesDynTest } from "./checked-value-lifetimes.js";
+import { isStableReceiverOperand } from "../../ir/analysis.js";
+import { isRefCounted } from "../../ir/ir.js";
+import { everyExprChild, everyStmtChild, everyStmtList } from "../../ir/traverse.js";
+import { borrowsStringInputs } from "./string-lifetimes.js";
+import { borrowsMapReadInputs } from "./map-read-lifetimes.js";
+import { byteNumberAccess } from "../../ir/byte-numbers.js";
+/** These native operations may update lastIndex and allocate results, but
+ * never invoke user code or remove an existing reference edge. Results own
+ * their payloads independently. Callback replacement uses a different IR. */
+export function preservesRegexInputs(method) {
+    switch (method) {
+        case "test":
+        case "exec":
+        case "match":
+        case "search":
+        case "matchAll":
+        case "replace":
+        case "replaceAll":
+        case "split":
+        case "source":
+        case "flags":
+        case "lastIndex":
+        case "toString": return true;
+        default: return false;
+    }
+}
+function expressionPreservesEdges(e, call) {
+    switch (e.kind) {
+        case "numLit":
+        case "boolLit":
+        case "strLit":
+        case "unitLit":
+        case "varRef":
+        case "bin":
+        case "unary":
+        case "incDec":
+        case "toBool":
+        case "logical":
+        case "ternary":
+        case "seqExpr":
+        case "fieldGet":
+        case "recordGet":
+        case "unionNarrow":
+        case "unionIsTag":
+        case "unionWrap":
+        case "strConcat":
+        case "strEq":
+        case "strCmp":
+        case "arrayGet":
+        case "arrayHas":
+        case "arrayState":
+        case "unionEq":
+        case "unionFuncEq":
+        case "dynScalarEq":
+        case "caughtTest":
+        case "caughtNarrow":
+        case "caughtCheck": return true;
+        case "dynTest": return preservesDynTest(e.test);
+        case "assignExpr": return !isRefCounted(e.type);
+        case "strIntrinsic": return borrowsStringInputs(e.method);
+        case "regexIntrinsic": return preservesRegexInputs(e.method);
+        case "mapIntrinsic":
+        case "setIntrinsic": return borrowsMapReadInputs(e);
+        case "libCall": return e.fn === "error.nodeThrow" || isStableReceiverOperand(e, "");
+        case "call": return call(e);
+        case "arrIntrinsic": return e.method === "length";
+        case "bytesIntrinsic": return e.method === "get" || e.method === "length" || e.method === "byteLength" ||
+            e.method === "byteOffset" || byteNumberAccess(e) !== null;
+        default: return false;
+    }
+}
+function statementPreservesEdges(s) {
+    switch (s.kind) {
+        case "varDecl":
+        case "exprStmt":
+        case "return":
+        case "if":
+        case "for":
+        case "while":
+        case "doWhile":
+        case "block":
+        case "break":
+        case "continue":
+        case "bytesSet": return true;
+        case "assign":
+        case "fieldSet":
+        case "recordSet": return !isRefCounted(s.value.type);
+        default: return false;
+    }
+}
+/** 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,
+ * 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. */
+export class ReferenceEffects {
+    intrinsicCall;
+    functions = new Set();
+    expressions = new Map();
+    constructor(functions, intrinsicCall) {
+        this.intrinsicCall = intrinsicCall;
+        const callers = new Map();
+        const unsafe = [];
+        for (const fn of functions.values()) {
+            const safe = !fn.async && !fn.generator && !fn.captures && !fn.classCaptures && everyStmtList(fn.body, {
+                stmt: statementPreservesEdges,
+                expr: (e) => expressionPreservesEdges(e, (call) => {
+                    if (intrinsicCall(call))
+                        return true;
+                    if (!functions.has(call.callee))
+                        return false;
+                    let incoming = callers.get(call.callee);
+                    if (!incoming)
+                        callers.set(call.callee, incoming = new Set());
+                    incoming.add(fn.name);
+                    return true;
+                }),
+            });
+            if (safe)
+                this.functions.add(fn.name);
+            else
+                unsafe.push(fn.name);
+        }
+        for (let i = 0; i < unsafe.length; i++) {
+            const incoming = callers.get(unsafe[i]);
+            if (!incoming)
+                continue;
+            for (const caller of incoming) {
+                if (this.functions.delete(caller))
+                    unsafe.push(caller);
+            }
+        }
+    }
+    preserves(value) {
+        const known = this.expressions.get(value);
+        if (known !== undefined)
+            return known;
+        const expr = (node) => this.preserves(node);
+        const stmt = (node) => statementPreservesEdges(node) && everyStmtChild(node, expr, stmt);
+        const result = expressionPreservesEdges(value, (call) => this.intrinsicCall(call) || this.functions.has(call.callee)) &&
+            everyExprChild(value, expr, stmt);
+        this.expressions.set(value, result);
+        return result;
+    }
+}
+//# sourceMappingURL=reference-effects.js.map

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

@@ -0,0 +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;QAAC,KAAK,MAAM,CAAC;QAAC,KAAK,OAAO,CAAC;QAAC,KAAK,QAAQ,CAAC;QAAC,KAAK,UAAU,CAAC;QACvE,KAAK,SAAS,CAAC;QAAC,KAAK,YAAY,CAAC;QAAC,KAAK,OAAO,CAAC;QAAC,KAAK,QAAQ,CAAC;QAC/D,KAAK,OAAO,CAAC;QAAC,KAAK,WAAW,CAAC;QAAC,KAAK,UAAU,EAAE,OAAO,IAAI,CAAC;QAC7D,SAAS,OAAO,KAAK,CAAC;IACxB,CAAC;AACH,CAAC;AAED,SAAS,wBAAwB,CAAC,CAAS,EAAE,IAA8B;IACzE,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,QAAQ,CAAC;QAAC,KAAK,SAAS,CAAC;QAAC,KAAK,QAAQ,CAAC;QAAC,KAAK,SAAS,CAAC;QAAC,KAAK,QAAQ,CAAC;QAC5E,KAAK,KAAK,CAAC;QAAC,KAAK,OAAO,CAAC;QAAC,KAAK,QAAQ,CAAC;QAAC,KAAK,QAAQ,CAAC;QAAC,KAAK,SAAS,CAAC;QACvE,KAAK,SAAS,CAAC;QAAC,KAAK,SAAS,CAAC;QAAC,KAAK,UAAU,CAAC;QAAC,KAAK,WAAW,CAAC;QAClE,KAAK,aAAa,CAAC;QAAC,KAAK,YAAY,CAAC;QAAC,KAAK,WAAW,CAAC;QAAC,KAAK,WAAW,CAAC;QAC1E,KAAK,OAAO,CAAC;QAAC,KAAK,QAAQ,CAAC;QAAC,KAAK,UAAU,CAAC;QAAC,KAAK,UAAU,CAAC;QAAC,KAAK,YAAY,CAAC;QACjF,KAAK,SAAS,CAAC;QAAC,KAAK,aAAa,CAAC;QAAC,KAAK,aAAa,CAAC;QACvD,KAAK,YAAY,CAAC;QAAC,KAAK,cAAc,CAAC;QAAC,KAAK,aAAa,EAAE,OAAO,IAAI,CAAC;QACxE,KAAK,SAAS,EAAE,OAAO,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAChD,KAAK,YAAY,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAChD,KAAK,cAAc,EAAE,OAAO,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC1D,KAAK,gBAAgB,EAAE,OAAO,oBAAoB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC7D,KAAK,cAAc,CAAC;QAAC,KAAK,cAAc,EAAE,OAAO,oBAAoB,CAAC,CAAC,CAAC,CAAC;QACzE,KAAK,SAAS,EAAE,OAAO,CAAC,CAAC,EAAE,KAAK,iBAAiB,IAAI,uBAAuB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACpF,KAAK,MAAM,EAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,KAAK,cAAc,EAAE,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC;QAClD,KAAK,gBAAgB,EAAE,OAAO,CAAC,CAAC,MAAM,KAAK,KAAK,IAAI,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY;YACpG,CAAC,CAAC,MAAM,KAAK,YAAY,IAAI,gBAAgB,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;QAC5D,SAAS,OAAO,KAAK,CAAC;IACxB,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAAC,CAAS;IACxC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,SAAS,CAAC;QAAC,KAAK,UAAU,CAAC;QAAC,KAAK,QAAQ,CAAC;QAAC,KAAK,IAAI,CAAC;QAAC,KAAK,KAAK,CAAC;QACtE,KAAK,OAAO,CAAC;QAAC,KAAK,SAAS,CAAC;QAAC,KAAK,OAAO,CAAC;QAAC,KAAK,OAAO,CAAC;QAAC,KAAK,UAAU,CAAC;QAAC,KAAK,UAAU,EAAE,OAAO,IAAI,CAAC;QACxG,KAAK,QAAQ,CAAC;QAAC,KAAK,UAAU,CAAC;QAAC,KAAK,WAAW,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACrF,SAAS,OAAO,KAAK,CAAC;IACxB,CAAC;AACH,CAAC;AAED;;;;;iFAKiF;AACjF,MAAM,OAAO,gBAAgB;IAI8C,aAAa;IAH7E,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACtB,WAAW,GAAG,IAAI,GAAG,EAAmB,CAAC;IAE1D,YAAY,SAA0C,EAAmB,aAAsC;6BAAtC,aAAa;QACpF,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,MAAM,IAAI,GAAG,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC,SAAS,IAAI,CAAC,EAAE,CAAC,QAAQ,IAAI,CAAC,EAAE,CAAC,aAAa,IAAI,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;gBACrG,IAAI,EAAE,uBAAuB;gBAC7B,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,wBAAwB,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE;oBAChD,IAAI,aAAa,CAAC,IAAI,CAAC;wBAAE,OAAO,IAAI,CAAC;oBACrC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC;wBAAE,OAAO,KAAK,CAAC;oBAC9C,IAAI,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;oBACxC,IAAI,CAAC,QAAQ;wBAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC;oBAC9D,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;oBACtB,OAAO,IAAI,CAAC;gBACd,CAAC,CAAC;aACH,CAAC,CAAC;YACH,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,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC1G,MAAM,MAAM,GAAG,wBAAwB,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACnH,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACpC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACpC,OAAO,MAAM,CAAC;IAChB,CAAC;CACF"}

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

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

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

@@ -0,0 +1,74 @@
+import { expect, test } from "vitest";
+import { BOOL, DYN, F64, STRING, VOID } from "../../ir/ir.js";
+import { ReferenceEffects, preservesRegexInputs } from "./reference-effects.js";
+const loc = { file: "effects.ts", start: 0, end: 0 };
+const number = { kind: "numLit", value: 1, type: F64, loc };
+const text = { kind: "strLit", value: "text", type: STRING, loc };
+const call = (callee, args = []) => ({ kind: "call", callee, args, type: F64, loc });
+function fn(name, expressions = []) {
+    return { name, params: [], locals: [], body: expressions.map((expr) => ({ kind: "exprStmt", expr, loc })), returnType: VOID, loc };
+}
+function effects(functions) {
+    return new ReferenceEffects(new Map(functions.map((f) => [f.name, f])), () => false);
+}
+test("reference preservation allows recursive scalar work but propagates a reference write", () => {
+    const first = fn("first", [call("second")]), second = fn("second", [call("first")]);
+    second.body.push({ kind: "assign", localId: "scalar", value: number, loc });
+    const safe = effects([first, second]);
+    expect(safe.functions).toEqual(new Set(["first", "second"]));
+    expect(safe.preserves(call("first"))).toBe(true);
+    second.body.push({ kind: "assign", localId: "owner", value: text, loc });
+    expect(effects([first, second]).functions.size).toBe(0);
+});
+test("later argument statements and indirect calls remain part of the lifetime proof", () => {
+    const summary = effects([fn("read")]);
+    const assignment = { kind: "assignExpr", localId: "owner", value: text, type: STRING, loc };
+    const sequence = { kind: "seqExpr", stmts: [{ kind: "assign", localId: "owner", value: text, loc }], result: number, type: F64, loc };
+    expect(summary.preserves(call("read", [assignment]))).toBe(false);
+    expect(summary.preserves(call("read", [sequence]))).toBe(false);
+    expect(summary.preserves(call("unknown"))).toBe(false);
+    expect(summary.preserves(call("read", [number]))).toBe(true);
+});
+test("suspending bodies and environments cannot inherit synchronous guarantees", () => {
+    const async = fn("async");
+    async.async = true;
+    const capture = fn("capture");
+    capture.captures = [];
+    const callers = [fn("a", [call("async")]), fn("b", [call("capture")])];
+    expect(effects([async, capture, ...callers]).functions.size).toBe(0);
+    expect(preservesRegexInputs("futureMethod")).toBe(false);
+    expect(preservesRegexInputs("matchAllInto")).toBe(false);
+});
+test("numeric byte operations preserve owners but argument replacement and callbacks do not", () => {
+    const bytes = { kind: "varRef", localId: "bytes", type: { kind: "bytes", elem: "u8" }, loc };
+    const read = { kind: "bytesIntrinsic", method: "dvGetUint32", receiver: bytes, args: [number], type: F64, loc };
+    const write = { kind: "bytesIntrinsic", method: "dvSetUint32", receiver: bytes, args: [number, read], type: VOID, loc };
+    const summary = effects([fn("read", [read]), fn("write", [write])]);
+    expect(summary.functions).toEqual(new Set(["read", "write"]));
+    expect(summary.preserves(write)).toBe(true);
+    const replace = { kind: "assignExpr", localId: "bytes", value: bytes, type: bytes.type, loc };
+    expect(summary.preserves({ ...read, receiver: replace })).toBe(false);
+    expect(summary.preserves({ ...read, args: [call("unknown")] })).toBe(false);
+});
+test("long call graphs use a worklist and facts are rebuilt for changed bodies", () => {
+    const functions = Array.from({ length: 2000 }, (_, i) => fn(`f${i}`, i === 1999 ? [] : [call(`f${i + 1}`)]));
+    expect(effects(functions).functions.size).toBe(functions.length);
+    const write = { kind: "assign", localId: "owner", value: text, loc };
+    functions[1999].body.push(write);
+    expect(effects(functions).functions.size).toBe(0);
+});
+test("checked scalar tests preserve owners while materializing reads stay conservative", () => {
+    const value = { kind: "varRef", localId: "value", type: DYN, loc };
+    const summary = effects([]);
+    for (const test of ["truthy", "nullish", "string", "bytes", "buffer", "promise"]) {
+        expect(summary.preserves({ kind: "dynTest", value, test, type: BOOL, loc }), test).toBe(true);
+    }
+    for (const test of ["object", "array", "function", "error"]) {
+        expect(summary.preserves({ kind: "dynTest", value, test, type: BOOL, loc }), test).toBe(false);
+    }
+    expect(summary.preserves({ kind: "dynScalarEq", left: value, right: text, type: BOOL, loc })).toBe(true);
+    expect(summary.preserves({ kind: "dynKeyGet", value, key: text, type: DYN, loc })).toBe(false);
+    const replace = { kind: "assignExpr", localId: "value", value, type: DYN, loc };
+    expect(summary.preserves({ kind: "dynScalarEq", left: value, right: replace, type: BOOL, loc })).toBe(false);
+});
+//# sourceMappingURL=reference-effects.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"reference-effects.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/reference-effects.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,IAAI,EAA6C,MAAM,gBAAgB,CAAC;AACzG,OAAO,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAEhF,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACrD,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AACpE,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AAC1E,MAAM,IAAI,GAAG,CAAC,MAAc,EAAE,IAAI,GAAa,EAAE,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AAC/G,SAAS,EAAE,CAAC,IAAY,EAAE,WAAW,GAAa,EAAE;IAClD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACrI,CAAC;AACD,SAAS,OAAO,CAAC,SAAuB;IACtC,OAAO,IAAI,gBAAgB,CAAC,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;AACvF,CAAC;AAED,IAAI,CAAC,sFAAsF,EAAE,GAAG,EAAE;IAChG,MAAM,KAAK,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACpF,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;IAC5E,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IACtC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC7D,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IACzE,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC1D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gFAAgF,EAAE,GAAG,EAAE;IAC1F,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACtC,MAAM,UAAU,GAAW,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IACpG,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAC9I,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClE,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChE,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC/D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,0EAA0E,EAAE,GAAG,EAAE;IACpF,MAAM,KAAK,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC;IAAC,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC;IAC9C,MAAM,OAAO,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IAAC,OAAO,CAAC,QAAQ,GAAG,EAAE,CAAC;IACrD,MAAM,OAAO,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IACvE,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrE,MAAM,CAAC,oBAAoB,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzD,MAAM,CAAC,oBAAoB,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC3D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,uFAAuF,EAAE,GAAG,EAAE;IACjG,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC;IACrG,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACxH,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAChI,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACpE,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IAC9D,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;IACtG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtE,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,0EAA0E,EAAE,GAAG,EAAE;IACpF,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7G,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACjE,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAC7E,SAAS,CAAC,IAAI,CAAE,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACpD,CAAC,CAAC,CAAC;AAGH,IAAI,CAAC,kFAAkF,EAAE,GAAG,EAAE;IAC5F,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAC3E,MAAM,OAAO,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;IAC5B,KAAK,MAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,CAAU,EAAE,CAAC;QAC1F,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChG,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,CAAU,EAAE,CAAC;QACrE,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjG,CAAC;IACD,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/F,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACxF,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC/G,CAAC,CAAC,CAAC"}

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

@@ -66,11 +66,14 @@ export declare function boxAccess(t: IrType): "f64" | "bool" | "ref";
 /** A record field's in-struct LLVM type. bool fields store as i8 (the C
  * _Bool layout); loads/stores convert at the access site. */
 export declare function llFieldType(t: IrType): "double" | "i8" | "ptr";
-/** Runtime suffix for a map's KEY kind (mapKeyAccess's table): f64 with
- * SameValueZero, string content, or handle-identity REF (symbols). */
-export declare function mapKeyAccess(key: IrType): "f64" | "str" | "ref";
+export type MapKeyAccess = "f64" | "bool" | "str" | "ref";
+/** The key's calling convention is independent of equality: bigint and
+ * union payloads travel by reference but compare by JavaScript value. */
+export declare function mapKeyAccess(key: IrType): MapKeyAccess;
+export declare function mapKeyLlType(access: MapKeyAccess): "double" | "i1" | "ptr";
+export declare function mapKeyParamType(access: MapKeyAccess): string;
 /** The ScrMapKeyKind / ScrMapValKind constants for scr_map_new. */
-export declare function mapKeyKindNum(key: IrType): number;
+export declare function mapKeyKindNum(key: IrType, unionArms?: IrType[]): number;
 export declare function mapValKindNum(value: IrType): number;
 /** The immortal-skip + mark-live retain body shared by every shape. The
  * cycle header sits before the object; `color` is at obj-16 on 64-bit