@scriptc/compiler 0.3.5 → 0.4.0

package/dist/backend/llvm/speculative-integers.test.js

@@ -0,0 +1,148 @@
+import { expect, test } from "vitest";
+import { F64 } from "../../ir/ir.js";
+import { isSpeculableValue, planSpeculativeLoop, speculativeReads, } from "./speculative-integers.js";
+const loc = { file: "speculative.ts", start: 0, end: 0 };
+const num = (value) => ({ kind: "numLit", value, type: F64, loc });
+const ref = (localId) => ({ kind: "varRef", localId, type: F64, loc });
+const bin = (op, left, right) => ({
+    kind: "bin",
+    op,
+    left,
+    right,
+    type: op === "<" ? { kind: "bool" } : F64,
+    loc,
+});
+const assign = (localId, value) => ({
+    kind: "assign",
+    localId,
+    value,
+    loc,
+});
+const increment = (localId) => ({
+    kind: "exprStmt",
+    expr: { kind: "incDec", op: "+", prefix: false, localId, type: F64, loc },
+    loc,
+});
+const loop = (body, cond = bin("<", ref("i"), ref("n"))) => ({
+    kind: "while",
+    cond,
+    body,
+    loc,
+});
+const all = () => true;
+test("integer writes and their loop-invariant inputs are speculated", () => {
+    const write = assign("v", bin("%", bin("+", bin("*", ref("v"), num(31)), ref("k")), num(1000003)));
+    const step = increment("i");
+    const plan = planSpeculativeLoop(loop([write, step]), all);
+    expect(plan.writes).toEqual(new Set([write, step]));
+    // `n` (condition) and `k` (write input) are invariant and checked on entry.
+    expect([...plan.locals]).toEqual([
+        ["v", true],
+        ["i", true],
+        ["k", true],
+        ["n", true],
+    ]);
+});
+test("locals declared in the body need no entry check", () => {
+    const declare = { kind: "varDecl", localId: "t", init: bin("*", ref("i"), num(2)), loc };
+    const plan = planSpeculativeLoop(loop([
+        declare,
+        assign("s", bin("%", bin("*", ref("s"), ref("t")), num(65521))),
+        increment("i"),
+    ]), all);
+    expect(plan.locals.get("t")).toBe(false);
+    expect(plan.locals.get("s")).toBe(true);
+});
+test("non-integer, expression-position and ineligible writes keep the double copy", () => {
+    expect(isSpeculableValue(bin("/", ref("a"), num(2)))).toBe(false);
+    expect(isSpeculableValue(num(0.5))).toBe(false);
+    expect(isSpeculableValue(num(-0))).toBe(false);
+    expect(isSpeculableValue(bin("|", ref("a"), num(0)))).toBe(true);
+    // A fractional write leaves only the counter, which alone is not worth a copy.
+    const halves = loop([assign("x", bin("/", ref("x"), num(2))), increment("i")]);
+    expect(planSpeculativeLoop(halves, all)?.locals.has("x")).toBeFalsy();
+    // A write inside a sequence expression cannot restart its statement.
+    const sequence = {
+        kind: "exprStmt",
+        expr: {
+            kind: "seqExpr",
+            stmts: [assign("v", bin("+", ref("v"), num(1)))],
+            result: num(0),
+            type: F64,
+            loc,
+        },
+        loc,
+    };
+    const plan = planSpeculativeLoop(loop([sequence, assign("v", bin("+", ref("v"), num(2))), increment("i")]), all);
+    expect(plan?.locals.has("v")).toBeFalsy();
+    expect(planSpeculativeLoop(loop([assign("v", bin("+", ref("v"), num(2)))]), (id) => id !== "v")).toBeNull();
+});
+test("accumulators that are only added to keep their double", () => {
+    const sum = loop([assign("s", bin("+", ref("s"), bin("%", ref("i"), num(7)))), increment("i")]);
+    expect(planSpeculativeLoop(sum, all)?.locals.has("s")).toBeFalsy();
+});
+test("nested loops are left to the inner loop", () => {
+    const inner = loop([assign("v", bin("+", ref("v"), num(1)))]);
+    expect(planSpeculativeLoop(loop([inner, increment("i")]), all)).toBeNull();
+});
+test("statically proven locals are never shadowed and leave nothing to duplicate", () => {
+    const write = assign("v", bin("%", bin("+", bin("*", ref("v"), num(31)), ref("k")), num(1000003)));
+    const body = [write, increment("i")];
+    // Every read proven: no plan at all.
+    expect(planSpeculativeLoop(loop(body), all, () => false, () => true)).toBeNull();
+    // Only `k` proven: `v` and the counter are shadowed, `k` is not checked.
+    const plan = planSpeculativeLoop(loop(body), all, () => false, (e) => e.kind === "varRef" && e.localId === "k");
+    expect(plan.locals.has("v")).toBe(true);
+    expect(plan.locals.has("k")).toBe(false);
+});
+test("heap reads are speculative leaves, read before any check", () => {
+    const rows = {
+        kind: "varRef",
+        localId: "rows",
+        type: { kind: "array", elem: F64 },
+        loc,
+    };
+    const element = { kind: "arrayGet", arr: rows, index: ref("i"), type: F64, loc };
+    const text = { kind: "varRef", localId: "s", type: { kind: "string" }, loc };
+    const code = {
+        kind: "strIntrinsic",
+        method: "charCodeAt",
+        receiver: text,
+        args: [ref("i")],
+        type: F64,
+        loc,
+    };
+    const value = bin("%", bin("+", bin("*", ref("h"), num(33)), code), num(2147483647));
+    expect(isSpeculableValue(value)).toBe(true);
+    expect(speculativeReads(bin("+", element, code))).toEqual([element, code]);
+    // The ordinary emitter evaluates bitwise operators; heap reads stay out.
+    expect(isSpeculableValue(bin("|", code, num(0)))).toBe(false);
+    const eligible = (id) => id !== "rows" && id !== "s";
+    const plan = planSpeculativeLoop(loop([assign("h", value), increment("i")]), eligible);
+    expect(plan.locals.has("h")).toBe(true);
+});
+test("invariants may come from bindings no shadow could be written to", () => {
+    const write = assign("h", bin("%", bin("+", bin("*", ref("h"), num(33)), ref("i")), ref("m")));
+    const body = [write, increment("i")];
+    const locals = (id) => id !== "m";
+    expect(planSpeculativeLoop(loop(body), locals)?.locals.has("h")).toBeFalsy();
+    const plan = planSpeculativeLoop(loop(body), locals, () => false, () => false, all);
+    expect(plan.locals.get("m")).toBe(true);
+    expect(plan.locals.has("h")).toBe(true);
+});
+test("loops that only count and compare keep one copy", () => {
+    const counter = loop([increment("i")]);
+    expect(planSpeculativeLoop(counter, all)).toBeNull();
+    // A product in the condition alone is not.
+    const bounded = loop([increment("i")], bin("<", ref("i"), bin("*", ref("n"), ref("scale"))));
+    expect(planSpeculativeLoop(bounded, all)).toBeNull();
+    // A variable step (a sieve's `j += i`) is worth a copy.
+    const sieve = loop([assign("i", bin("+", ref("i"), ref("step")))]);
+    expect(planSpeculativeLoop(sieve, all)?.locals.has("i")).toBe(true);
+    const scaled = loop([
+        assign("j", bin("+", ref("j"), bin("*", ref("i"), ref("n")))),
+        increment("i"),
+    ]);
+    expect(planSpeculativeLoop(scaled, all)?.locals.has("n")).toBe(true);
+});
+//# sourceMappingURL=speculative-integers.test.js.map

package/dist/backend/llvm/speculative-integers.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"speculative-integers.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/speculative-integers.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,GAAG,EAA4B,MAAM,gBAAgB,CAAC;AAC/D,OAAO,EACL,iBAAiB,EACjB,mBAAmB,EACnB,gBAAgB,GACjB,MAAM,2BAA2B,CAAC;AAEnC,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACzD,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACnF,MAAM,GAAG,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACvF,MAAM,GAAG,GAAG,CAAC,EAA2C,EAAE,IAAY,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC;IACjG,IAAI,EAAE,KAAK;IACX,EAAE;IACF,IAAI;IACJ,KAAK;IACL,IAAI,EAAE,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,GAAG;IACzC,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,MAAM,GAAG,CAAC,OAAe,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC;IAC1D,IAAI,EAAE,QAAQ;IACd,OAAO;IACP,KAAK;IACL,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,SAAS,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,CAAC;IAC9C,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;IACzE,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,IAAI,GAAG,CAAC,IAAc,EAAE,IAAI,GAAW,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAU,EAAE,CAAC,CAAC;IACrF,IAAI,EAAE,OAAO;IACb,IAAI;IACJ,IAAI;IACJ,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,GAAG,GAAG,GAAY,EAAE,CAAC,IAAI,CAAC;AAEhC,IAAI,CAAC,+DAA+D,EAAE,GAAG,EAAE;IACzE,MAAM,KAAK,GAAG,MAAM,CAClB,GAAG,EACH,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CACxE,CAAC;IACF,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;IAC5B,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAU,EAAE,GAAG,CAAE,CAAC;IACrE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACpD,4EAA4E;IAC5E,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;QAC/B,CAAC,GAAG,EAAE,IAAI,CAAC;QACX,CAAC,GAAG,EAAE,IAAI,CAAC;QACX,CAAC,GAAG,EAAE,IAAI,CAAC;QACX,CAAC,GAAG,EAAE,IAAI,CAAC;KACZ,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iDAAiD,EAAE,GAAG,EAAE;IAC3D,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC;IACjG,MAAM,IAAI,GAAG,mBAAmB,CAC9B,IAAI,CAAC;QACH,OAAO;QACP,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QAC/D,SAAS,CAAC,GAAG,CAAC;KACf,CAAU,EACX,GAAG,CACH,CAAC;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6EAA6E,EAAE,GAAG,EAAE;IACvF,MAAM,CAAC,iBAAiB,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClE,MAAM,CAAC,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChD,MAAM,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/C,MAAM,CAAC,iBAAiB,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,+EAA+E;IAC/E,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC/E,MAAM,CAAC,mBAAmB,CAAC,MAAe,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;IAC/E,qEAAqE;IACrE,MAAM,QAAQ,GAAW;QACvB,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE;YACJ,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAChD,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;YACd,IAAI,EAAE,GAAG;YACT,GAAG;SACJ;QACD,GAAG;KACJ,CAAC;IACF,MAAM,IAAI,GAAG,mBAAmB,CAC9B,IAAI,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAU,EAClF,GAAG,CACJ,CAAC;IACF,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;IAC1C,MAAM,CACJ,mBAAmB,CACjB,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAU,EACxD,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,GAAG,CACnB,CACF,CAAC,QAAQ,EAAE,CAAC;AACf,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,uDAAuD,EAAE,GAAG,EAAE;IACjE,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAChG,MAAM,CAAC,mBAAmB,CAAC,GAAY,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;AAC9E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,yCAAyC,EAAE,GAAG,EAAE;IACnD,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9D,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAU,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACtF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,4EAA4E,EAAE,GAAG,EAAE;IACtF,MAAM,KAAK,GAAG,MAAM,CAClB,GAAG,EACH,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CACxE,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;IACrC,qCAAqC;IACrC,MAAM,CACJ,mBAAmB,CACjB,IAAI,CAAC,IAAI,CAAU,EACnB,GAAG,EACH,GAAG,EAAE,CAAC,KAAK,EACX,GAAG,EAAE,CAAC,IAAI,CACX,CACF,CAAC,QAAQ,EAAE,CAAC;IACb,yEAAyE;IACzE,MAAM,IAAI,GAAG,mBAAmB,CAC9B,IAAI,CAAC,IAAI,CAAU,EACnB,GAAG,EACH,GAAG,EAAE,CAAC,KAAK,EACX,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,KAAK,GAAG,CAC/C,CAAC;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC3C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,0DAA0D,EAAE,GAAG,EAAE;IACpE,MAAM,IAAI,GAAW;QACnB,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,MAAM;QACf,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE;QAClC,GAAG;KACK,CAAC;IACX,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACzF,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAW,CAAC;IAC9F,MAAM,IAAI,GAAW;QACnB,IAAI,EAAE,cAAc;QACpB,MAAM,EAAE,YAAY;QACpB,QAAQ,EAAE,IAAI;QACd,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChB,IAAI,EAAE,GAAG;QACT,GAAG;KACK,CAAC;IACX,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC;IACrF,MAAM,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,MAAM,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;IAC3E,yEAAyE;IACzE,MAAM,CAAC,iBAAiB,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9D,MAAM,QAAQ,GAAG,CAAC,EAAU,EAAW,EAAE,CAAC,EAAE,KAAK,MAAM,IAAI,EAAE,KAAK,GAAG,CAAC;IACtE,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAU,EAAE,QAAQ,CAAE,CAAC;IACjG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iEAAiE,EAAE,GAAG,EAAE;IAC3E,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC/F,MAAM,IAAI,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;IACrC,MAAM,MAAM,GAAG,CAAC,EAAU,EAAW,EAAE,CAAC,EAAE,KAAK,GAAG,CAAC;IACnD,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAU,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;IACtF,MAAM,IAAI,GAAG,mBAAmB,CAC9B,IAAI,CAAC,IAAI,CAAU,EACnB,MAAM,EACN,GAAG,EAAE,CAAC,KAAK,EACX,GAAG,EAAE,CAAC,KAAK,EACX,GAAG,CACH,CAAC;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iDAAiD,EAAE,GAAG,EAAE;IAC3D,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACvC,MAAM,CAAC,mBAAmB,CAAC,OAAgB,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC9D,2CAA2C;IAC3C,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7F,MAAM,CAAC,mBAAmB,CAAC,OAAgB,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC9D,wDAAwD;IACxD,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnE,MAAM,CAAC,mBAAmB,CAAC,KAAc,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7E,MAAM,MAAM,GAAG,IAAI,CAAC;QAClB,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC7D,SAAS,CAAC,GAAG,CAAC;KACf,CAAC,CAAC;IACH,MAAM,CAAC,mBAAmB,CAAC,MAAe,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAChF,CAAC,CAAC,CAAC"}

package/dist/backend/llvm/split-loops.js

@@ -80,8 +80,8 @@ export function storeSplitSnapshot(host, snapshot) {
     host.B.line(`store ptr ${snapshot.source}, ptr ${sourceSlot}`);
     host.B.line(`store ptr ${snapshot.separator}, ptr ${separatorSlot}`);
     host.B.line(`store i32 ${snapshot.limit}, ptr ${limitSlot}`);
-    host.moveTemp({ name: snapshot.source, type: STRING });
-    host.moveTemp({ name: snapshot.separator, type: STRING });
+    host.toFrame({ name: snapshot.source, type: STRING });
+    host.toFrame({ name: snapshot.separator, type: STRING });
     return { sourceSlot, separatorSlot, limitSlot };
 }
 export function loadSplitSnapshot(host, snapshot) {

package/dist/backend/llvm/split-loops.js.map

@@ -1 +1 @@
-{"version":3,"file":"split-loops.js","sourceRoot":"","sources":["../../../src/backend/llvm/split-loops.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAA2D,MAAM,gBAAgB,CAAC;AACjG,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAKrD,MAAM,UAAU,WAAW,CAAC,KAAa;IACvC,OAAO,KAAK,CAAC,IAAI,KAAK,cAAc,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAClF,CAAC;AAED;;;+DAG+D;AAC/D,MAAM,UAAU,sBAAsB,CAAC,EAAc;IACnD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC9C,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;QAAE,OAAO,MAAM,CAAC;IAC5C,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;QACrB,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;QAChB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACb,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI;gBAAE,OAAO,IAAI,CAAC;YACvD,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrC,IAAI,CAAC,KAAK;gBAAE,OAAO,IAAI,CAAC;YACxB,MAAM,KAAK,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,IAAI,CAAC,OAAO,CAAC,CAAC;YACnE,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,GAAG;gBAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YAC3F,OAAO,IAAI,CAAC;QACd,CAAC;KACF,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IACrC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC9C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC7C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;QACrB,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE;YACd,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC;gBACtD,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1E,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU;gBACvD,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,IAAI,EAAE;oBAAE,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;wBAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC5E,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACb,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBACxD,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1E,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACjF,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;gBAC1D,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YACvC,OAAO,IAAI,CAAC;QACd,CAAC;KACF,CAAC,CAAC;IACH,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,IAAI,EAAE;QAC5B,IACE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC;YACzB,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC;YACxB,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;YAClB,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;YAEd,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACtB,OAAO,MAAM,CAAC;AAChB,CAAC;AAQD;;4EAE4E;AAC5E,MAAM,UAAU,iBAAiB,CAAC,IAAwB,EAAE,KAAkB;IAC5E,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC7C,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;IAC5C,IAAI,CAAC,OAAO,CAAC,oCAAoC,CAAC,CAAC;IACnD,MAAM,SAAS,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC/B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,qCAAqC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;IAC5E,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAC9E,CAAC;AAQD;yEACyE;AACzE,MAAM,UAAU,kBAAkB,CAChC,IAAwB,EACxB,QAAuB;IAEvB,MAAM,UAAU,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,EAC9B,aAAa,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,EAC7B,SAAS,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5B,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CACtB,GAAG,UAAU,eAAe,EAC5B,GAAG,aAAa,eAAe,EAC/B,GAAG,SAAS,eAAe,CAC5B,CAAC;IACF,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,QAAQ,CAAC,MAAM,SAAS,UAAU,EAAE,CAAC,CAAC;IAC/D,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,QAAQ,CAAC,SAAS,SAAS,aAAa,EAAE,CAAC,CAAC;IACrE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,QAAQ,CAAC,KAAK,SAAS,SAAS,EAAE,CAAC,CAAC;IAC7D,IAAI,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IACvD,IAAI,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IAC1D,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC;AAClD,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,IAAwB,EACxB,QAA6B;IAE7B,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,EACzB,SAAS,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,EACxB,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IACvB,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,oBAAoB,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC;IAChE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,oBAAoB,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IACtE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,oBAAoB,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC;IAC9D,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;AACtC,CAAC;AAED;mEACmE;AACnE,MAAM,UAAU,eAAe,CAAC,IAAwB,EAAE,QAAuB;IAC/E,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7B,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,MAAM,eAAe,IAAI,CAAC,QAAQ,wBAAwB,CAAC,CAAC;IACxF,IAAI,CAAC,OAAO,CAAC,mDAAmD,CAAC,CAAC;IAClE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,4CAA4C,MAAM,SAAS,QAAQ,CAAC,KAAK,GAAG,CAAC,CAAC;IAC1F,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,IAAwB,EACxB,QAAuB,EACvB,MAAc,EACd,OAAe;IAEf,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,CAAC,OAAO,CAAC,4DAA4D,CAAC,CAAC;IAC3E,IAAI,CAAC,CAAC,CAAC,IAAI,CACT,GAAG,KAAK,8CAA8C,QAAQ,CAAC,MAAM,SAAS,QAAQ,CAAC,SAAS,SAAS,MAAM,SAAS,OAAO,GAAG,CACnI,CAAC;IACF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,IAAwB;IACvD,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9B,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,OAAO,eAAe,CAAC,CAAC;IACpD,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,uBAAuB,OAAO,EAAE,CAAC,CAAC;IAC9C,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC9B,OAAO,OAAO,CAAC;AACjB,CAAC;AAQD;4EAC4E;AAC5E,MAAM,UAAU,kBAAkB,CAChC,IAAgC,EAChC,KAA0B;IAE1B,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,GAAG;QAAE,OAAO,KAAK,CAAC;IACtE,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,IAAI,SAAS,GAAG,GAAG,CAAC;IACpB,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE;QACvB,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE;YACd,IAAI,EAAE,SAAS,GAAG,CAAC,EAAE,CAAC;gBACpB,IAAI,GAAG,KAAK,CAAC;gBACb,OAAO,KAAK,CAAC;YACf,CAAC;YACD,IACE,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC;gBACvD,KAAK,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC;gBAEtC,IAAI,GAAG,KAAK,CAAC;YACf,IACE,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC;gBACxD,KAAK,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO;gBAE9B,IAAI,GAAG,KAAK,CAAC;YACf,IACE,KAAK,CAAC,IAAI,KAAK,cAAc;gBAC7B,KAAK,CAAC,MAAM,KAAK,KAAK;gBACtB,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;gBAClC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;gBACzC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK;gBACxC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,QAAQ;gBAChC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO;gBAEtC,MAAM,GAAG,IAAI,CAAC;YAChB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACb,IAAI,EAAE,SAAS,GAAG,CAAC,EAAE,CAAC;gBACpB,IAAI,GAAG,KAAK,CAAC;gBACb,OAAO,KAAK,CAAC;YACf,CAAC;YACD,IACE,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC;gBAC5E,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO;gBAE7B,IAAI,GAAG,KAAK,CAAC;YACf,OAAO,IAAI,CAAC;QACd,CAAC;KACF,CAAC,CAAC;IACH,OAAO,IAAI,IAAI,MAAM,CAAC;AACxB,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,IAAwB,EACxB,QAAuB,EACvB,MAAc,EACd,UAAkB;IAElB,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,CAAC,OAAO,CAAC,4DAA4D,CAAC,CAAC;IAC3E,IAAI,CAAC,CAAC,CAAC,IAAI,CACT,GAAG,KAAK,8CAA8C,QAAQ,CAAC,MAAM,SAAS,QAAQ,CAAC,SAAS,SAAS,MAAM,SAAS,UAAU,GAAG,CACtI,CAAC;IACF,OAAO,KAAK,CAAC;AACf,CAAC;AAED;4EAC4E;AAC5E,MAAM,UAAU,qBAAqB,CACnC,IAAwB,EACxB,OAAe,EACf,IAAe;IAEf,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC;IACxC,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,EACrB,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACnB,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,oBAAoB,IAAI,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,kBAAkB,OAAO,QAAQ,CAAC,CAAC;IACnD,MAAM,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAC5C,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;IACpC,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IAChC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IACrB,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACtB,IAAI,CAAC,OAAO,CAAC,+CAA+C,IAAI,CAAC,QAAQ,QAAQ,CAAC,CAAC;IACnF,CAAC,CAAC,IAAI,CACJ,GAAG,KAAK,8CAA8C,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,MAAM,SAAS,IAAI,CAAC,OAAO,GAAG,CAC1H,CAAC;IACF,CAAC,CAAC,IAAI,CAAC,aAAa,KAAK,SAAS,IAAI,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IACZ,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;AACtB,CAAC"}
+{"version":3,"file":"split-loops.js","sourceRoot":"","sources":["../../../src/backend/llvm/split-loops.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAA2D,MAAM,gBAAgB,CAAC;AACjG,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAKrD,MAAM,UAAU,WAAW,CAAC,KAAa;IACvC,OAAO,KAAK,CAAC,IAAI,KAAK,cAAc,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAClF,CAAC;AAED;;;+DAG+D;AAC/D,MAAM,UAAU,sBAAsB,CAAC,EAAc;IACnD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC9C,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;QAAE,OAAO,MAAM,CAAC;IAC5C,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;QACrB,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;QAChB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACb,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI;gBAAE,OAAO,IAAI,CAAC;YACvD,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrC,IAAI,CAAC,KAAK;gBAAE,OAAO,IAAI,CAAC;YACxB,MAAM,KAAK,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,IAAI,CAAC,OAAO,CAAC,CAAC;YACnE,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,GAAG;gBAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YAC3F,OAAO,IAAI,CAAC;QACd,CAAC;KACF,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IACrC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC9C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC7C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;QACrB,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE;YACd,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC;gBACtD,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1E,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU;gBACvD,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,IAAI,EAAE;oBAAE,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;wBAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC5E,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACb,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBACxD,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1E,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACjF,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;gBAC1D,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YACvC,OAAO,IAAI,CAAC;QACd,CAAC;KACF,CAAC,CAAC;IACH,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,IAAI,EAAE;QAC5B,IACE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC;YACzB,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC;YACxB,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;YAClB,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;YAEd,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACtB,OAAO,MAAM,CAAC;AAChB,CAAC;AAQD;;4EAE4E;AAC5E,MAAM,UAAU,iBAAiB,CAAC,IAAwB,EAAE,KAAkB;IAC5E,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC7C,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;IAC5C,IAAI,CAAC,OAAO,CAAC,oCAAoC,CAAC,CAAC;IACnD,MAAM,SAAS,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC/B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,qCAAqC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;IAC5E,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAC9E,CAAC;AAQD;yEACyE;AACzE,MAAM,UAAU,kBAAkB,CAChC,IAAwB,EACxB,QAAuB;IAEvB,MAAM,UAAU,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,EAC9B,aAAa,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,EAC7B,SAAS,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5B,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CACtB,GAAG,UAAU,eAAe,EAC5B,GAAG,aAAa,eAAe,EAC/B,GAAG,SAAS,eAAe,CAC5B,CAAC;IACF,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,QAAQ,CAAC,MAAM,SAAS,UAAU,EAAE,CAAC,CAAC;IAC/D,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,QAAQ,CAAC,SAAS,SAAS,aAAa,EAAE,CAAC,CAAC;IACrE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,QAAQ,CAAC,KAAK,SAAS,SAAS,EAAE,CAAC,CAAC;IAC7D,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IACtD,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IACzD,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC;AAClD,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,IAAwB,EACxB,QAA6B;IAE7B,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,EACzB,SAAS,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,EACxB,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IACvB,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,oBAAoB,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC;IAChE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,oBAAoB,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IACtE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,oBAAoB,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC;IAC9D,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;AACtC,CAAC;AAED;mEACmE;AACnE,MAAM,UAAU,eAAe,CAAC,IAAwB,EAAE,QAAuB;IAC/E,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7B,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,MAAM,eAAe,IAAI,CAAC,QAAQ,wBAAwB,CAAC,CAAC;IACxF,IAAI,CAAC,OAAO,CAAC,mDAAmD,CAAC,CAAC;IAClE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,4CAA4C,MAAM,SAAS,QAAQ,CAAC,KAAK,GAAG,CAAC,CAAC;IAC1F,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,IAAwB,EACxB,QAAuB,EACvB,MAAc,EACd,OAAe;IAEf,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,CAAC,OAAO,CAAC,4DAA4D,CAAC,CAAC;IAC3E,IAAI,CAAC,CAAC,CAAC,IAAI,CACT,GAAG,KAAK,8CAA8C,QAAQ,CAAC,MAAM,SAAS,QAAQ,CAAC,SAAS,SAAS,MAAM,SAAS,OAAO,GAAG,CACnI,CAAC;IACF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,IAAwB;IACvD,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9B,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,OAAO,eAAe,CAAC,CAAC;IACpD,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,uBAAuB,OAAO,EAAE,CAAC,CAAC;IAC9C,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC9B,OAAO,OAAO,CAAC;AACjB,CAAC;AAQD;4EAC4E;AAC5E,MAAM,UAAU,kBAAkB,CAChC,IAAgC,EAChC,KAA0B;IAE1B,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,GAAG;QAAE,OAAO,KAAK,CAAC;IACtE,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,IAAI,SAAS,GAAG,GAAG,CAAC;IACpB,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE;QACvB,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE;YACd,IAAI,EAAE,SAAS,GAAG,CAAC,EAAE,CAAC;gBACpB,IAAI,GAAG,KAAK,CAAC;gBACb,OAAO,KAAK,CAAC;YACf,CAAC;YACD,IACE,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC;gBACvD,KAAK,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC;gBAEtC,IAAI,GAAG,KAAK,CAAC;YACf,IACE,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC;gBACxD,KAAK,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO;gBAE9B,IAAI,GAAG,KAAK,CAAC;YACf,IACE,KAAK,CAAC,IAAI,KAAK,cAAc;gBAC7B,KAAK,CAAC,MAAM,KAAK,KAAK;gBACtB,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;gBAClC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;gBACzC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK;gBACxC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,QAAQ;gBAChC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO;gBAEtC,MAAM,GAAG,IAAI,CAAC;YAChB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACb,IAAI,EAAE,SAAS,GAAG,CAAC,EAAE,CAAC;gBACpB,IAAI,GAAG,KAAK,CAAC;gBACb,OAAO,KAAK,CAAC;YACf,CAAC;YACD,IACE,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC;gBAC5E,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO;gBAE7B,IAAI,GAAG,KAAK,CAAC;YACf,OAAO,IAAI,CAAC;QACd,CAAC;KACF,CAAC,CAAC;IACH,OAAO,IAAI,IAAI,MAAM,CAAC;AACxB,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,IAAwB,EACxB,QAAuB,EACvB,MAAc,EACd,UAAkB;IAElB,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,CAAC,OAAO,CAAC,4DAA4D,CAAC,CAAC;IAC3E,IAAI,CAAC,CAAC,CAAC,IAAI,CACT,GAAG,KAAK,8CAA8C,QAAQ,CAAC,MAAM,SAAS,QAAQ,CAAC,SAAS,SAAS,MAAM,SAAS,UAAU,GAAG,CACtI,CAAC;IACF,OAAO,KAAK,CAAC;AACf,CAAC;AAED;4EAC4E;AAC5E,MAAM,UAAU,qBAAqB,CACnC,IAAwB,EACxB,OAAe,EACf,IAAe;IAEf,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC;IACxC,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,EACrB,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACnB,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,oBAAoB,IAAI,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,kBAAkB,OAAO,QAAQ,CAAC,CAAC;IACnD,MAAM,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAC5C,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;IACpC,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IAChC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IACrB,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACtB,IAAI,CAAC,OAAO,CAAC,+CAA+C,IAAI,CAAC,QAAQ,QAAQ,CAAC,CAAC;IACnF,CAAC,CAAC,IAAI,CACJ,GAAG,KAAK,8CAA8C,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,MAAM,SAAS,IAAI,CAAC,OAAO,GAAG,CAC1H,CAAC;IACF,CAAC,CAAC,IAAI,CAAC,aAAa,KAAK,SAAS,IAAI,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IACZ,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;AACtB,CAAC"}

package/dist/backend/llvm/stack-objects.d.ts

@@ -2,13 +2,26 @@ import { type IrExpr, type IrFunction, type IrType } from "../../ir/ir.js";
 import type { CallLifetimes } from "./call-lifetimes.js";
 import type { LlValue, LlvmEmitterContext } from "./expr-context.js";
 export type StackObjectSource = IrExpr & {
-    kind: "recordLit" | "new" | "call";
+    kind: "recordLit" | "recordClone" | "new" | "call";
 };
-/** A record literal, `new` or result-slot producer call whose object can
- * live in the frame's own storage: a plain scalar record shape, or a
+/** A field of a frame object that owns a reference: an entry-block pointer
+ * to its slot, and the field's type for the release. */
+export interface StackObjectField {
+    name: string;
+    ptr: string;
+    type: IrType;
+}
+/** Records the owners of a frame object's reference fields before anything
+ * stores them: a lexical scope for bindings, a statement frame for
+ * temporaries. */
+export type StackObjectFieldOwner = (fields: readonly StackObjectField[]) => void;
+/** A record literal, spread copy, `new` or result-slot producer call whose
+ * object can live in the frame's own storage: a closed record shape, or a
  * standalone scalar class whose constructor never lets `this` escape
  * (record-results.ts). The caller proves that every use of the value only
- * projects it. */
+ * projects it. Record fields may own references; the frame releases them
+ * (stackObjectFields). Published shapes keep heap storage: their field
+ * guards treat the immortal header as a frozen object. */
 export declare function canStackObject(host: LlvmEmitterContext, e: IrExpr): e is StackObjectSource;
 /** Locals initialized once by a stack-eligible object and only projected
  * afterwards (CallLifetimes.locals): field reads, and arguments to
@@ -22,8 +35,15 @@ export declare function findLocalStackObjects(host: LlvmEmitterContext, fn: IrFu
  * value, and then copies it into the binding's slot. */
 export declare function findReassignedStackObjects(host: LlvmEmitterContext, fn: IrFunction, lifetimes: CallLifetimes): Set<string>;
 export declare function stackObjectStruct(type: IrType): string;
+/** The reference fields of the frame object in `slot`, addressed from the
+ * entry block so that every cleanup path can reach them. Inline union
+ * fields copy bits and own nothing; class objects in frame storage are
+ * scalar. */
+export declare function stackObjectFields(host: LlvmEmitterContext, type: IrType, slot: string): readonly StackObjectField[];
 /** Build the object in an entry-block slot (or `into`, an existing one).
  * The immortal reference count makes every retain and release a no-op;
  * the proof that the value is only projected keeps the pointer from
- * outliving the frame. */
-export declare function emitStackObject(host: LlvmEmitterContext, e: StackObjectSource, into?: string): LlValue;
+ * outliving the frame. Reference fields start empty and are handed to
+ * `owner` before anything is stored, so an exception while the object is
+ * being built releases exactly the fields stored so far. */
+export declare function emitStackObject(host: LlvmEmitterContext, e: StackObjectSource, owner: StackObjectFieldOwner, into?: string): LlValue;

package/dist/backend/llvm/stack-objects.js

@@ -1,17 +1,27 @@
-import { VOID, typeEquals } from "../../ir/ir.js";
-import { completeRecordLiteral, constructorInitializesFields, resultEntryName, scalarRecordShape, scalarStandaloneClass, } from "./record-results.js";
+import { VOID, isRefCounted, typeEquals, } from "../../ir/ir.js";
+import { completeRecordLiteral, constructorInitializesFields, frameRecordShape, resultEntryName, scalarStandaloneClass, } from "./record-results.js";
 import { everyStmtList } from "../../ir/traverse.js";
 import { mangleClassStruct, mangleRecordStruct } from "../mangle.js";
 import { undefinedArmTag } from "../../ir/analysis.js";
 import { classFieldIndex } from "./classes.js";
 import { emitCallExpr, emitConstruction } from "./expr-calls.js";
 import { emitRecordLitFields } from "./expr-primitives.js";
-/** A record literal, `new` or result-slot producer call whose object can
- * live in the frame's own storage: a plain scalar record shape, or a
+import { SHAPE_WORD_INDEX } from "./nullable-unions.js";
+import { llFieldType } from "./shapes.js";
+/** A record literal, spread copy, `new` or result-slot producer call whose
+ * object can live in the frame's own storage: a closed record shape, or a
  * standalone scalar class whose constructor never lets `this` escape
  * (record-results.ts). The caller proves that every use of the value only
- * projects it. */
+ * projects it. Record fields may own references; the frame releases them
+ * (stackObjectFields). Published shapes keep heap storage: their field
+ * guards treat the immortal header as a frozen object. */
 export function canStackObject(host, e) {
+    // A ThreadSlots key keeps its slot index for its lifetime and has its
+    // values released when it is freed: it lives on the heap.
+    if (e.type.kind === "object" && host.classMeta.get(e.type.className)?.threadSlot === true)
+        return false;
+    if (e.type.kind === "record" && host.publishedTypes?.recordGuarded(e.type.shapeId) === true)
+        return false;
     // A producer with a result-slot entry builds its fresh result in the
     // caller's storage.
     if (e.kind === "call")
@@ -20,14 +30,43 @@ export function canStackObject(host, e) {
         if (e.type.kind !== "record")
             return false;
         const shape = host.recordsById.get(e.type.shapeId);
-        return scalarRecordShape(shape, host.inlineUnions) && completeRecordLiteral(e, shape);
+        return frameRecordShape(shape) && completeRecordLiteral(e, shape);
     }
+    // A same-shape spread (`{ ...source, field: value }`) copies the source's
+    // fields; the frontend builds it only for plain declared-field records.
+    if (e.kind === "recordClone")
+        return e.type.kind === "record" && frameRecordShape(host.recordsById.get(e.type.shapeId));
     if (e.kind !== "new")
         return false;
     const meta = host.classMeta.get(e.className);
     return (meta !== undefined &&
         scalarStandaloneClass(meta.def, host.fnByName.get(`%${e.className}.constructor`), meta.hierarchy, host.programLifetime.has(e.className), host.inlineUnions));
 }
+/** Whether a frame object of this type has fields that own references. */
+function ownsReferences(host, type) {
+    return (type.kind === "record" &&
+        host
+            .recordShape(type.shapeId)
+            .fields.some((field) => isRefCounted(field.type) && !host.inlineUnions.record(field.type)));
+}
+/** Locals declared directly in a switch case. The cases share one scope
+ * whose exit runs whichever case was entered, so a scope-owned field would
+ * be released without its declaration having run. */
+function caseScopedLocals(fn) {
+    const ids = new Set();
+    everyStmtList(fn.body, {
+        expr: () => true,
+        stmt: (stmt) => {
+            if (stmt.kind === "switch")
+                for (const c of stmt.cases)
+                    for (const s of c.body)
+                        if (s.kind === "varDecl")
+                            ids.add(s.localId);
+            return true;
+        },
+    });
+    return ids;
+}
 /** Locals initialized once by a stack-eligible object and only projected
  * afterwards (CallLifetimes.locals): field reads, and arguments to
  * parameters that are themselves only projected. */
@@ -36,13 +75,15 @@ export function findLocalStackObjects(host, fn, lifetimes) {
     const safe = lifetimes.locals.get(fn.name);
     if (!safe?.size || fn.async || fn.generator)
         return result;
+    const caseScoped = caseScopedLocals(fn);
     everyStmtList(fn.body, {
         expr: () => true,
         stmt: (stmt) => {
             if (stmt.kind === "varDecl" &&
                 safe.has(stmt.localId) &&
                 stmt.init &&
-                canStackObject(host, stmt.init))
+                canStackObject(host, stmt.init) &&
+                !(caseScoped.has(stmt.localId) && ownsReferences(host, stmt.init.type)))
                 result.set(stmt.localId, stmt.init);
             return true;
         },
@@ -87,8 +128,9 @@ export function findReassignedStackObjects(host, fn, lifetimes) {
             return true;
         },
     });
+    const caseScoped = caseScopedLocals(fn);
     for (const id of result)
-        if (!initialized.has(id))
+        if (!initialized.has(id) || (caseScoped.has(id) && ownsReferences(host, types.get(id))))
             result.delete(id);
     return result;
 }
@@ -97,11 +139,69 @@ export function stackObjectStruct(type) {
         ? `%${mangleRecordStruct(type.shapeId)}`
         : `%${mangleClassStruct(type.className)}`;
 }
+/** The reference fields of the frame object in `slot`, addressed from the
+ * entry block so that every cleanup path can reach them. Inline union
+ * fields copy bits and own nothing; class objects in frame storage are
+ * scalar. */
+export function stackObjectFields(host, type, slot) {
+    if (type.kind !== "record")
+        return [];
+    const cached = host.stackObjectFieldPtrs.get(slot);
+    if (cached)
+        return cached;
+    const struct = stackObjectStruct(type);
+    const base = host.nullableUnions.fieldBase(type.shapeId);
+    const fields = [];
+    host.recordShape(type.shapeId).fields.forEach((field, index) => {
+        if (!isRefCounted(field.type) || host.inlineUnions.record(field.type))
+            return;
+        const ptr = host.B.slot();
+        host.B.entryAllocas.push(`${ptr} = getelementptr inbounds ${struct}, ptr ${slot}, i64 0, i32 ${index + base}`);
+        fields.push({ name: field.name, ptr, type: field.type });
+    });
+    host.stackObjectFieldPtrs.set(slot, fields);
+    return fields;
+}
+/** Copy a same-shape spread's source fields into `slot`, retaining the
+ * references, then store the overrides in source order. The source is
+ * read once, before any override evaluates, as the heap clone helper
+ * reads it; an overridden field is never copied, so its slot stays empty
+ * until the override initializes it. */
+function emitRecordCloneFields(host, e, slot) {
+    const B = host.B;
+    const shapeId = e.type.shapeId;
+    const overridden = new Set(e.overrides.map((override) => override.name));
+    const source = host.emitReadReceiver(e.source);
+    for (const field of host.recordShape(shapeId).fields) {
+        if (overridden.has(field.name))
+            continue;
+        const from = host.recordFieldPtr(source.name, shapeId, field.name);
+        const to = host.recordFieldPtr(slot, shapeId, field.name);
+        const fieldTy = llFieldType(from.type, from.inline);
+        const v = B.tmp();
+        B.line(`${v} = load ${fieldTy}, ptr ${from.ptr}`);
+        const stored = isRefCounted(from.type) && !from.inline ? host.retainFrame(v, from.type) : v;
+        B.line(`store ${fieldTy} ${stored}, ptr ${to.ptr}`);
+    }
+    const initialized = new Set();
+    for (const override of e.overrides) {
+        const v = host.emitFieldValue(override.value, host.recordFieldInline(shapeId, override.name));
+        const { ptr, type, inline } = host.recordFieldPtr(slot, shapeId, override.name);
+        // The first store fills an empty slot; a repeated name replaces it.
+        if (initialized.has(override.name))
+            host.replaceField(ptr, type, inline, v);
+        else
+            host.initField(ptr, type, inline, v);
+        initialized.add(override.name);
+    }
+}
 /** Build the object in an entry-block slot (or `into`, an existing one).
  * The immortal reference count makes every retain and release a no-op;
  * the proof that the value is only projected keeps the pointer from
- * outliving the frame. */
-export function emitStackObject(host, e, into) {
+ * outliving the frame. Reference fields start empty and are handed to
+ * `owner` before anything is stored, so an exception while the object is
+ * being built releases exactly the fields stored so far. */
+export function emitStackObject(host, e, owner, into) {
     const B = host.B;
     const type = e.type;
     const struct = stackObjectStruct(type);
@@ -110,6 +210,18 @@ export function emitStackObject(host, e, into) {
         slot = B.slot();
         B.entryAllocas.push(`${slot} = alloca ${struct}, align 8`);
     }
+    // A literal's interned string fields are immortal and need no owner. A
+    // binding's own slot (`into`) keeps an owner for every field: later
+    // assignments copy arbitrary values into it.
+    const literals = into === undefined && e.kind === "recordLit"
+        ? new Set(e.fields.filter((f) => f.value.kind === "strLit").map((f) => f.name))
+        : new Set();
+    const fields = stackObjectFields(host, type, slot).filter((f) => !literals.has(f.name));
+    if (fields.length > 0) {
+        for (const field of fields)
+            B.line(`store ptr null, ptr ${field.ptr}`);
+        owner(fields);
+    }
     // Literals store every field; constructors that store every field
     // before reading one need no zeroed storage either.
     if (type.kind === "object") {
@@ -129,12 +241,23 @@ export function emitStackObject(host, e, into) {
         }
     }
     B.line(`store ${host.sizeType} -1, ptr ${slot}`);
+    if (type.kind === "record") {
+        // A tagged shape's word names it to every shape union's tag read.
+        const shapeNumber = host.nullableUnions.shapeNumber(type.shapeId);
+        if (shapeNumber !== 0) {
+            const p = B.tmp();
+            B.line(`${p} = getelementptr inbounds ${struct}, ptr ${slot}, i64 0, i32 ${SHAPE_WORD_INDEX}`);
+            B.line(`store i32 ${shapeNumber}, ptr ${p}`);
+        }
+    }
     if (e.kind === "call") {
         // The entry writes the result into the slot it receives last.
         emitCallExpr(host, { ...e, callee: resultEntryName(e.callee), type: VOID }, false, false, host.markImmortal({ name: slot, type }));
     }
     else if (e.kind === "recordLit")
         emitRecordLitFields(host, e, slot);
+    else if (e.kind === "recordClone")
+        emitRecordCloneFields(host, e, slot);
     else
         emitConstruction(host, e, slot, host.fnByName.get(`%${e.className}.constructor`));
     return { name: slot, type: e.type };

package/dist/backend/llvm/stack-objects.js.map

@@ -1 +1 @@
-{"version":3,"file":"stack-objects.js","sourceRoot":"","sources":["../../../src/backend/llvm/stack-objects.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,UAAU,EAA6C,MAAM,gBAAgB,CAAC;AAC7F,OAAO,EACL,qBAAqB,EACrB,4BAA4B,EAC5B,eAAe,EACf,iBAAiB,EACjB,qBAAqB,GACtB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/C,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAEjE,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAI3D;;;;kBAIkB;AAClB,MAAM,UAAU,cAAc,CAAC,IAAwB,EAAE,CAAS;IAChE,qEAAqE;IACrE,oBAAoB;IACpB,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAC3E,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC3C,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnD,OAAO,iBAAiB,CAAC,KAAK,EAAE,IAAI,CAAC,YAAY,CAAC,IAAI,qBAAqB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACxF,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC;IACnC,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAC7C,OAAO,CACL,IAAI,KAAK,SAAS;QAClB,qBAAqB,CACnB,IAAI,CAAC,GAAG,EACR,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,SAAS,cAAc,CAAC,EAChD,IAAI,CAAC,SAAS,EACd,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,EACrC,IAAI,CAAC,YAAY,CAClB,CACF,CAAC;AACJ,CAAC;AAED;;oDAEoD;AACpD,MAAM,UAAU,qBAAqB,CACnC,IAAwB,EACxB,EAAc,EACd,SAAwB;IAExB,MAAM,MAAM,GAAG,IAAI,GAAG,EAA6B,CAAC;IACpD,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAC3C,IAAI,CAAC,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;QAAE,OAAO,MAAM,CAAC;IAC3D,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;QACrB,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;QAChB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACb,IACE,IAAI,CAAC,IAAI,KAAK,SAAS;gBACvB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;gBACtB,IAAI,CAAC,IAAI;gBACT,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;gBAE/B,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YACtC,OAAO,IAAI,CAAC;QACd,CAAC;KACF,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;wDAKwD;AACxD,MAAM,UAAU,0BAA0B,CACxC,IAAwB,EACxB,EAAc,EACd,SAAwB;IAExB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,SAAS,GAAG,SAAS,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACzD,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAC7C,IAAI,CAAC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;QAAE,OAAO,MAAM,CAAC;IAChE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxE,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC3B,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,QAAQ,IAAI,IAAI,EAAE,IAAI,KAAK,QAAQ,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC/F,CAAC;IACD,yEAAyE;IACzE,mEAAmE;IACnE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;QACrB,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;QAChB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACb,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;gBAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACvD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI;gBAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACxE,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBACpF,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC/D,IACE,CAAC,KAAK;oBACN,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC;oBAC5B,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAE,CAAC;oBAEjD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAChC,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;KACF,CAAC,CAAC;IACH,KAAK,MAAM,EAAE,IAAI,MAAM;QAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACrE,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ;QAC3B,CAAC,CAAC,IAAI,kBAAkB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE;QACxC,CAAC,CAAC,IAAI,iBAAiB,CAAE,IAAoC,CAAC,SAAS,CAAC,EAAE,CAAC;AAC/E,CAAC;AAED;;;0BAG0B;AAC1B,MAAM,UAAU,eAAe,CAC7B,IAAwB,EACxB,CAAoB,EACpB,IAAa;IAEb,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC;IACpB,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QAChB,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,IAAI,aAAa,MAAM,WAAW,CAAC,CAAC;IAC7D,CAAC;IACD,kEAAkE;IAClE,oDAAoD;IACpD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAE,CAAC;QACjD,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,SAAS,cAAc,CAAE,CAAC;QAClE,IAAI,CAAC,4BAA4B,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;YAClD,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,yBAAyB,IAAI,EAAE,CAAC,CAAC;YACvD,uEAAuE;YACvE,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;gBACpC,MAAM,GAAG,GAAG,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;gBACzD,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC;oBAAE,SAAS;gBACnF,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;gBAClB,CAAC,CAAC,IAAI,CACJ,GAAG,CAAC,6BAA6B,MAAM,SAAS,IAAI,gBAAgB,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,SAAS,CACrH,CAAC;gBACF,CAAC,CAAC,IAAI,CAAC,aAAa,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;IACH,CAAC;IACD,CAAC,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,QAAQ,YAAY,IAAI,EAAE,CAAC,CAAC;IACjD,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACtB,8DAA8D;QAC9D,YAAY,CACV,IAAI,EACJ,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EACvD,KAAK,EACL,KAAK,EACL,IAAI,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CACxC,CAAC;IACJ,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW;QAAE,mBAAmB,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;;QACjE,gBAAgB,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,SAAS,cAAc,CAAE,CAAC,CAAC;IACxF,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;AACtC,CAAC"}
+{"version":3,"file":"stack-objects.js","sourceRoot":"","sources":["../../../src/backend/llvm/stack-objects.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,YAAY,EACZ,UAAU,GAIX,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,qBAAqB,EACrB,4BAA4B,EAC5B,gBAAgB,EAChB,eAAe,EACf,qBAAqB,GACtB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/C,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAEjE,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAiB1C;;;;;;0DAM0D;AAC1D,MAAM,UAAU,cAAc,CAAC,IAAwB,EAAE,CAAS;IAChE,sEAAsE;IACtE,0DAA0D;IAC1D,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,UAAU,KAAK,IAAI;QACvF,OAAO,KAAK,CAAC;IACf,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,cAAc,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI;QACzF,OAAO,KAAK,CAAC;IACf,qEAAqE;IACrE,oBAAoB;IACpB,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAC3E,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC3C,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnD,OAAO,gBAAgB,CAAC,KAAK,CAAC,IAAI,qBAAqB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACpE,CAAC;IACD,0EAA0E;IAC1E,wEAAwE;IACxE,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa;QAC1B,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IAC5F,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC;IACnC,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAC7C,OAAO,CACL,IAAI,KAAK,SAAS;QAClB,qBAAqB,CACnB,IAAI,CAAC,GAAG,EACR,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,SAAS,cAAc,CAAC,EAChD,IAAI,CAAC,SAAS,EACd,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,EACrC,IAAI,CAAC,YAAY,CAClB,CACF,CAAC;AACJ,CAAC;AAED,0EAA0E;AAC1E,SAAS,cAAc,CAAC,IAAwB,EAAE,IAAY;IAC5D,OAAO,CACL,IAAI,CAAC,IAAI,KAAK,QAAQ;QACtB,IAAI;aACD,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC;aACzB,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAC7F,CAAC;AACJ,CAAC;AAED;;qDAEqD;AACrD,SAAS,gBAAgB,CAAC,EAAc;IACtC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;QACrB,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;QAChB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACb,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;gBACxB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK;oBACxB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI;wBAAE,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;4BAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACzE,OAAO,IAAI,CAAC;QACd,CAAC;KACF,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;oDAEoD;AACpD,MAAM,UAAU,qBAAqB,CACnC,IAAwB,EACxB,EAAc,EACd,SAAwB;IAExB,MAAM,MAAM,GAAG,IAAI,GAAG,EAA6B,CAAC;IACpD,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAC3C,IAAI,CAAC,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;QAAE,OAAO,MAAM,CAAC;IAC3D,MAAM,UAAU,GAAG,gBAAgB,CAAC,EAAE,CAAC,CAAC;IACxC,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;QACrB,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;QAChB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACb,IACE,IAAI,CAAC,IAAI,KAAK,SAAS;gBACvB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;gBACtB,IAAI,CAAC,IAAI;gBACT,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;gBAC/B,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAEvE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YACtC,OAAO,IAAI,CAAC;QACd,CAAC;KACF,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;wDAKwD;AACxD,MAAM,UAAU,0BAA0B,CACxC,IAAwB,EACxB,EAAc,EACd,SAAwB;IAExB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,SAAS,GAAG,SAAS,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACzD,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAC7C,IAAI,CAAC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;QAAE,OAAO,MAAM,CAAC;IAChE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxE,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC3B,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,QAAQ,IAAI,IAAI,EAAE,IAAI,KAAK,QAAQ,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC/F,CAAC;IACD,yEAAyE;IACzE,mEAAmE;IACnE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;QACrB,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;QAChB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACb,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;gBAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACvD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI;gBAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACxE,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBACpF,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC/D,IACE,CAAC,KAAK;oBACN,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC;oBAC5B,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAE,CAAC;oBAEjD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAChC,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;KACF,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,gBAAgB,CAAC,EAAE,CAAC,CAAC;IACxC,KAAK,MAAM,EAAE,IAAI,MAAM;QACrB,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC,CAAC;YACtF,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACtB,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ;QAC3B,CAAC,CAAC,IAAI,kBAAkB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE;QACxC,CAAC,CAAC,IAAI,iBAAiB,CAAE,IAAoC,CAAC,SAAS,CAAC,EAAE,CAAC;AAC/E,CAAC;AAED;;;aAGa;AACb,MAAM,UAAU,iBAAiB,CAC/B,IAAwB,EACxB,IAAY,EACZ,IAAY;IAEZ,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAC;IACtC,MAAM,MAAM,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACnD,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAC1B,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzD,MAAM,MAAM,GAAuB,EAAE,CAAC;IACtC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QAC7D,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,OAAO;QAC9E,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC1B,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CACtB,GAAG,GAAG,6BAA6B,MAAM,SAAS,IAAI,gBAAgB,KAAK,GAAG,IAAI,EAAE,CACrF,CAAC;QACF,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IACH,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC5C,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;wCAIwC;AACxC,SAAS,qBAAqB,CAC5B,IAAwB,EACxB,CAAmC,EACnC,IAAY;IAEZ,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,OAAO,GAAI,CAAC,CAAC,IAAoC,CAAC,OAAO,CAAC;IAChE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IACzE,MAAM,MAAM,GAAG,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAC/C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC;QACrD,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,SAAS;QACzC,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACnE,MAAM,EAAE,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC1D,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QACpD,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAClB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,OAAO,SAAS,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;QAClD,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5F,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,IAAI,MAAM,SAAS,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;IACtD,CAAC;IACD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,KAAK,MAAM,QAAQ,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;QACnC,MAAM,CAAC,GAAG,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;QAC9F,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;QAChF,oEAAoE;QACpE,IAAI,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;;YACvE,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;QAC1C,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;AACH,CAAC;AAED;;;;;4DAK4D;AAC5D,MAAM,UAAU,eAAe,CAC7B,IAAwB,EACxB,CAAoB,EACpB,KAA4B,EAC5B,IAAa;IAEb,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC;IACpB,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QAChB,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,IAAI,aAAa,MAAM,WAAW,CAAC,CAAC;IAC7D,CAAC;IACD,uEAAuE;IACvE,oEAAoE;IACpE,6CAA6C;IAC7C,MAAM,QAAQ,GACZ,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW;QAC1C,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC/E,CAAC,CAAC,IAAI,GAAG,EAAU,CAAC;IACxB,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACxF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,KAAK,MAAM,KAAK,IAAI,MAAM;YAAE,CAAC,CAAC,IAAI,CAAC,uBAAuB,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC;QACvE,KAAK,CAAC,MAAM,CAAC,CAAC;IAChB,CAAC;IACD,kEAAkE;IAClE,oDAAoD;IACpD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAE,CAAC;QACjD,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,SAAS,cAAc,CAAE,CAAC;QAClE,IAAI,CAAC,4BAA4B,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;YAClD,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,yBAAyB,IAAI,EAAE,CAAC,CAAC;YACvD,uEAAuE;YACvE,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;gBACpC,MAAM,GAAG,GAAG,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;gBACzD,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC;oBAAE,SAAS;gBACnF,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;gBAClB,CAAC,CAAC,IAAI,CACJ,GAAG,CAAC,6BAA6B,MAAM,SAAS,IAAI,gBAAgB,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,SAAS,CACrH,CAAC;gBACF,CAAC,CAAC,IAAI,CAAC,aAAa,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;IACH,CAAC;IACD,CAAC,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,QAAQ,YAAY,IAAI,EAAE,CAAC,CAAC;IACjD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,kEAAkE;QAClE,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAClE,IAAI,WAAW,KAAK,CAAC,EAAE,CAAC;YACtB,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YAClB,CAAC,CAAC,IAAI,CACJ,GAAG,CAAC,6BAA6B,MAAM,SAAS,IAAI,gBAAgB,gBAAgB,EAAE,CACvF,CAAC;YACF,CAAC,CAAC,IAAI,CAAC,aAAa,WAAW,SAAS,CAAC,EAAE,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACtB,8DAA8D;QAC9D,YAAY,CACV,IAAI,EACJ,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EACvD,KAAK,EACL,KAAK,EACL,IAAI,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CACxC,CAAC;IACJ,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW;QAAE,mBAAmB,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;SACjE,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa;QAAE,qBAAqB,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;;QACnE,gBAAgB,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,SAAS,cAAc,CAAE,CAAC,CAAC;IACxF,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;AACtC,CAAC"}

package/dist/backend/llvm/stack-objects.test.js

@@ -195,7 +195,7 @@ test("loop bindings are never reassigned into a fixed slot", () => {
         ],
     };
     const mod = {
-        irVersion: 16,
+        irVersion: 17,
         sourceFile: loc.file,
         entry: "main",
         records: [{ id: "point", fields: [{ name: "x", type: F64 }] }],
@@ -252,4 +252,58 @@ console.log(pick({ x: 1, y: 2 }, { x: 3, y: 4 }, true).y, forward({ x: 1, y: 1 }
         .sort();
     expect(entries).toEqual([`${RESULT_ENTRY_PREFIX}forward`, `${RESULT_ENTRY_PREFIX}pick`]);
 });
+const TOKENS = `
+interface Token { kind: string; text: string; pos: number }
+function make(kind: string, text: string, pos: number): Token { return { kind, text, pos }; }
+function width(t: Token): number { return t.text.length + t.kind.length; }
+function divmod(a: number, b: number): [number, number] { return [Math.floor(a / b), a % b]; }
+interface State { name: string; count: number }
+function bump(s: State): State { return { ...s, count: s.count + 1 }; }
+export function tokens(n: number, w: string): number {
+  const t = { kind: "id", text: w, pos: n };
+  const u = make("num", w, n);
+  const [q, r] = divmod(n, 7);
+  return t.pos + width(u) + width({ kind: w, text: w, pos: 0 }) + q + r;
+}
+export function states(n: number, w: string): number {
+  let s: State = { name: w, count: 0 };
+  for (let i = 0; i < n; i++) {
+    s = { ...s, count: s.count + 1 };
+    s = bump(s);
+  }
+  return s.count + s.name.length;
+}
+console.log(tokens(3, "ab"), states(4, "cd"));
+`;
+test("records and tuples that own references live in frame storage", async () => {
+    const ir = emitLlvmModule(await moduleFor(TOKENS));
+    const tokens = body(ir, "tokens");
+    expect(tokens).not.toMatch(/@sc_rnew_/);
+    expect(tokens).toMatch(/call void @sc_\w*into_make\(/);
+    expect(tokens).toMatch(/call void @sc_\w*into_divmod\(/);
+    // Reference fields start empty in entry-addressed slots, and the frame
+    // releases them; an interned literal field (`kind: "id"`) needs neither.
+    const fields = [...tokens.matchAll(/(%s\d+) = getelementptr inbounds %sc_rs_\w+, ptr %s\d+/g)];
+    const owned = fields.filter(([, ptr]) => tokens.includes(`store ptr null, ptr ${ptr}\n`));
+    expect(owned.length).toBe(5);
+    expect(fields.length).toBe(6);
+    for (const [, ptr] of owned)
+        expect(tokens).toMatch(new RegExp(`load ptr, ptr ${ptr}\\n\\s+call void @\\w+\\(`));
+});
+test("spread updates copy into the binding's slot and release the replaced fields", async () => {
+    const mod = await moduleFor(TOKENS);
+    const entries = addRecordResultEntries(mod)
+        .functions.map((fn) => fn.name)
+        .filter((name) => name.startsWith(RESULT_ENTRY_PREFIX));
+    expect(entries).toEqual(expect.arrayContaining([
+        `${RESULT_ENTRY_PREFIX}make`,
+        `${RESULT_ENTRY_PREFIX}divmod`,
+        `${RESULT_ENTRY_PREFIX}bump`,
+    ]));
+    const states = body(emitLlvmModule(mod), "states");
+    expect(states).not.toMatch(/@sc_rnew_|@sc_rclone_/);
+    expect(states).toMatch(/call void @sc_\w*into_bump\(/);
+    // The old name is loaded before the copy and released after it.
+    expect(states).toMatch(/(%t\d+) = load ptr, ptr %s\d+\n\s+(%t\d+) = load %sc_rs_\w+, ptr %s\d+\n\s+store %sc_rs_\w+ \2, ptr %s\d+\n(?:.*\n)*?\s+call void @\w+\(ptr \1\)/);
+});
 //# sourceMappingURL=stack-objects.test.js.map