@scriptc/compiler 0.4.5 → 0.4.6

package/dist/backend/llvm/region-ir.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"region-ir.js","sourceRoot":"","sources":["../../../src/backend/llvm/region-ir.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAItE,kDAAkD;AAClD,MAAM,CAAC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC;IACjC,UAAU;IACV,aAAa;IACb,QAAQ;IACR,QAAQ;IACR,KAAK;IACL,WAAW;IACX,aAAa;IACb,SAAS;CACV,CAAC,CAAC;AAEH,4EAA4E;AAC5E,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC;IACzC,OAAO;IACP,cAAc;IACd,YAAY;IACZ,WAAW;IACX,MAAM;IACN,eAAe;IACf,UAAU;IACV,SAAS;IACT,mBAAmB;IACnB,QAAQ;CACT,CAAC,CAAC;AACH,qDAAqD;AACrD,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC;IACrC,SAAS;IACT,MAAM;IACN,eAAe;IACf,YAAY;IACZ,eAAe;CAChB,CAAC,CAAC;AACH,2EAA2E;AAC3E,MAAM,CAAC,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC;IAC/B,UAAU;IACV,SAAS;IACT,SAAS;IACT,WAAW;IACX,MAAM;IACN,OAAO;IACP,cAAc;IACd,YAAY;IACZ,eAAe;IACf,aAAa;IACb,QAAQ;CACT,CAAC,CAAC;AAEH,MAAM,UAAU,OAAO,CAAC,CAAS;IAC/B,OAAO,CACL,CAAC,CAAC,IAAI,KAAK,OAAO;QAClB,CAAC,CAAC,IAAI,KAAK,KAAK;QAChB,CAAC,CAAC,IAAI,KAAK,KAAK;QAChB,CAAC,CAAC,IAAI,KAAK,QAAQ;QACnB,CAAC,CAAC,IAAI,KAAK,QAAQ;QACnB,CAAC,CAAC,IAAI,KAAK,MAAM;QACjB,CAAC,CAAC,IAAI,KAAK,OAAO,CACnB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,IAAU,EAAE,GAAW;IAC9C,MAAM,IAAI,GAAG,CAAC,KAAW,EAAW,EAAE;QACpC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChB,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,IAAI,MAAM,IAAI,IAAI,IAAK,IAAe,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC;QACvE,cAAc,CAAC,IAAc,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;;QACxC,cAAc,CAAC,IAAc,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;AAClD,CAAC;AAED,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC;IACzB,SAAS;IACT,QAAQ;IACR,UAAU;IACV,IAAI;IACJ,OAAO;IACP,SAAS;IACT,QAAQ;IACR,KAAK;IACL,UAAU;IACV,gBAAgB;IAChB,mBAAmB;IACnB,aAAa;IACb,UAAU;IACV,OAAO;IACP,QAAQ;IACR,UAAU;IACV,WAAW;IACX,cAAc;IACd,iBAAiB;IACjB,OAAO;IACP,UAAU;IACV,OAAO;IACP,OAAO;IACP,cAAc;IACd,SAAS;IACT,UAAU;CACX,CAAC,CAAC;AACH,MAAM,UAAU,MAAM,CAAC,IAAU;IAC/B,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACpC,CAAC;AAED,6CAA6C;AAC7C,MAAM,UAAU,IAAI,CAAC,CAAmB,EAAE,CAAO;IAC/C,OAAO,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,CAAC;AACpC,CAAC;AAED;;iEAEiE;AACjE,MAAM,UAAU,WAAW,CAAC,KAAW,EAAE,MAAwB;IAC/D,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACvC,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC/D,KAAK,SAAS,CAAC;QACf,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC;QACd,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACpC,KAAK,WAAW,CAAC;QACjB,KAAK,aAAa,CAAC;QACnB,KAAK,aAAa,CAAC;QACnB,KAAK,QAAQ,CAAC;QACd,KAAK,UAAU;YACb,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACnC;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED;oDACoD;AACpD,MAAM,UAAU,YAAY,CAC1B,KAAW,EACX,MAAwB,EACxB,SAA2C;IAE3C,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACvC,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,UAAU;YACb,OAAO,IAAI,CAAC;QACd,KAAK,UAAU,CAAC;QAChB,KAAK,UAAU,CAAC;QAChB,KAAK,YAAY,CAAC;QAClB,KAAK,mBAAmB,CAAC;QACzB,KAAK,aAAa,CAAC;QACnB,KAAK,gBAAgB,CAAC;QACtB,KAAK,UAAU;YACb,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACjC,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW,CAAC;QACjB,KAAK,cAAc,CAAC;QACpB,KAAK,WAAW,CAAC;QACjB,KAAK,cAAc,CAAC;QACpB,KAAK,eAAe,CAAC;QACrB,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW,CAAC;QACjB,KAAK,cAAc,CAAC;QACpB,KAAK,iBAAiB;YACpB,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACjC,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACtC,KAAK,cAAc;YACjB,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC;gBAAE,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAC7E,OAAO,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACtC,KAAK,cAAc;YACjB,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC9C,OAAO,MAAM,CAAC,MAAM,KAAK,KAAK,IAAI,MAAM,CAAC,MAAM,KAAK,KAAK,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC;QAC1F,KAAK,cAAc;YACjB,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC9C,OAAO,MAAM,CAAC,MAAM,KAAK,KAAK,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC;QAC/D,KAAK,KAAK;YACR,OAAO,MAAM,CAAC,EAAE,KAAK,KAAK,IAAI,MAAM,CAAC,EAAE,KAAK,KAAK,CAAC;QACpD,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO,CAAC;QACb,KAAK,YAAY,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC;QACd,KAAK,WAAW,CAAC;QACjB,KAAK,aAAa;YAChB,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACnC,KAAK,WAAW;YACd,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACpC,KAAK,MAAM,EAAE,CAAC;YACZ,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC9C,OAAO,KAAK,IAAI,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC;QACzE,CAAC;QACD;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED,4CAA4C;AAC5C,MAAM,UAAU,WAAW,CAAC,IAAuB,EAAE,IAAU;IAC7D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE;QAAE,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;YAAE,OAAO,CAAC,CAAC;IACxE,OAAO,CAAC,CAAC,CAAC;AACZ,CAAC;AAED;2BAC2B;AAC3B,MAAM,UAAU,MAAM,CAAC,IAAU;IAC/B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM,CAAC;QACZ,KAAK,WAAW,CAAC;QACjB,KAAK,aAAa,CAAC;QACnB,KAAK,KAAK,CAAC;QACX,KAAK,UAAU,CAAC;QAChB,KAAK,SAAS,CAAC;QACf,KAAK,SAAS,CAAC;QACf,KAAK,WAAW,CAAC;QACjB,KAAK,WAAW,CAAC;QACjB,KAAK,SAAS,CAAC;QACf,KAAK,cAAc,CAAC;QACpB,KAAK,gBAAgB,CAAC;QACtB,KAAK,cAAc,CAAC;QACpB,KAAK,cAAc,CAAC;QACpB,KAAK,cAAc,CAAC;QACpB,KAAK,gBAAgB;YACnB,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;AAEjE;;0DAE0D;AAC1D,MAAM,UAAU,WAAW,CACzB,IAAuB,EACvB,KAAoE;IAEpE,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,MAAM,OAAO,GAAyB,EAAE,CAAC;IACzC,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,MAAM,GAAqB,SAAS,CAAC;IACzC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,MAAM,QAAQ,GAAG,CAAC,KAAa,EAAW,EAAE;QAC1C,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClB,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACrB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnB,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,KAAa,EAAW,EAAE;QAC1C,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClB,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACrB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnB,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,KAAK,MAAM,EAAE,IAAI,IAAI;QAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;IACpC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QAC1B,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAG,CAAC;QAC5B,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAC1B,MAAM,GAAG,IAAI,CAAC;QACd,KAAK,GAAG,KAAK,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,IAAI,MAAM,CAAC,IAAI,CAAC;YAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;;YACtD,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAChD,CAAC;AACH,CAAC"}

package/dist/backend/llvm/region-sites.d.ts

@@ -0,0 +1,20 @@
+import type { IrModule } from "../../ir/ir.js";
+import { type RegionGroups } from "./region-groups.js";
+import { type Node } from "./region-ir.js";
+export interface RegionSites {
+    /** Allocation sites (and calls) whose value the group keeps. */
+    arenaSites: Set<Node>;
+    /** Calls, constructions and closure calls in arena-aware functions whose
+     * value the group does not keep and whose callee may allocate: the
+     * arena is suspended while they run. */
+    heapCalls: Set<Node>;
+}
+/** The functions that run inside the arenas of `roots`: what they call,
+ * transitively, with the closures they pass. */
+export declare function reachableFrom(mod: IrModule, roots: Iterable<Node>): Set<string>;
+/**
+ * Narrows `groups` to the roots and call regions worth an arena (with
+ * `reachable` recomputed for them) and classifies the allocations of the
+ * functions that run in their arenas.
+ */
+export declare function planRegionSites(mod: IrModule, groups: RegionGroups): RegionSites;

package/dist/backend/llvm/region-sites.js

@@ -0,0 +1,327 @@
+import { contentOf, source, storeOf, storeTarget } from "./region-groups.js";
+import { argsOf, children, indexOfNode, isExpr, refType, same, transparent, } from "./region-ir.js";
+import { VirtualTargets } from "./reference-effects.js";
+const LOOPS = new Set(["while", "doWhile", "for", "forOf"]);
+/** Collection methods that remove what their receiver holds. */
+const REMOVALS = new Set(["pop", "shift", "splice", "delete", "clear"]);
+/** The local whose graph `node` drops values from (an element write, a
+ * length write, a delete, a removing method), or null. */
+function removalTarget(node) {
+    switch (node.kind) {
+        case "arraySet":
+        case "arraySetLength":
+        case "arraySetUndefined":
+        case "arrayDelete":
+            return storeTarget(node.arr);
+        case "recordKeyDelete":
+            return storeTarget(node.obj);
+        case "arrIntrinsic":
+        case "mapIntrinsic":
+        case "setIntrinsic":
+            return REMOVALS.has(node.method) ? storeTarget(node.receiver) : null;
+        default:
+            return null;
+    }
+}
+/** The functions a call-like node may run, or null when unknown. */
+function targetsOf(vt, node) {
+    if (node.kind === "call")
+        return [node.callee];
+    if (node.kind === "new")
+        return [`%${node.className}.constructor`];
+    if (node.kind === "virtualCall") {
+        const t = vt.targets(node.className, node.method);
+        return t !== null && t.length > 0 ? t : null;
+    }
+    return null;
+}
+const callLike = (node) => node.kind === "call" ||
+    node.kind === "new" ||
+    node.kind === "virtualCall" ||
+    node.kind === "callValue" ||
+    node.kind === "newValue";
+/** The functions that run inside the arenas of `roots`: what they call,
+ * transitively, with the closures they pass. */
+export function reachableFrom(mod, roots) {
+    const fns = new Map(mod.functions.map((f) => [f.name, f]));
+    const vt = new VirtualTargets(mod.classes ?? []);
+    const reachable = new Set();
+    const queue = [];
+    const visit = (node) => {
+        const reach = (name) => {
+            if (fns.has(name) && !reachable.has(name)) {
+                reachable.add(name);
+                queue.push(name);
+            }
+        };
+        if (node.kind === "closure")
+            reach(node.fnName);
+        else
+            for (const t of targetsOf(vt, node) ?? [])
+                reach(t);
+        const kids = [];
+        children(node, kids);
+        for (const k of kids)
+            visit(k);
+    };
+    for (const r of roots)
+        visit(r);
+    while (queue.length > 0)
+        for (const st of fns.get(queue.pop()).body)
+            visit(st);
+    return reachable;
+}
+/** Classifies the allocations and calls of `fn`. */
+function classify(fn, topLocalsKept) {
+    const locals = new Set(fn.locals.map((l) => l.id));
+    // Alias classes: a local bound to another local shares its fate.
+    const parent = new Map();
+    const find = (id) => {
+        let r = id;
+        while (parent.has(r))
+            r = parent.get(r);
+        return r;
+    };
+    const unite = (a, b) => {
+        const ra = find(a), rb = find(b);
+        if (ra !== rb)
+            parent.set(ra, rb);
+    };
+    const kept = new Set();
+    const keep = (id) => {
+        const r = find(id);
+        if (kept.has(r))
+            return false;
+        kept.add(r);
+        return true;
+    };
+    const isKept = (id) => kept.has(find(id));
+    // Kept from the start (applied once the alias classes are known).
+    const seeds = [];
+    if (fn.name.endsWith(".constructor") && fn.params.length > 0)
+        seeds.push(fn.params[0].localId);
+    if (topLocalsKept) {
+        const types = new Map(fn.locals.map((l) => [l.id, l.type]));
+        for (const st of fn.body)
+            if (st.kind === "varDecl" && refType(types.get(st.localId) ?? { kind: "void" }))
+                seeds.push(st.localId);
+    }
+    const fateOf = (node, parents) => {
+        let value = node;
+        let at = parents.length - 1;
+        while (at >= 0 && transparent(value, parents[at]))
+            value = parents[at--];
+        const p = at >= 0 ? parents[at] : undefined;
+        if (p === undefined)
+            return { kind: "heap" };
+        if (p.kind === "return")
+            return { kind: "kept" };
+        if ((p.kind === "varDecl" && p.init !== null && same(p.init, value)) ||
+            (p.kind === "assign" && same(p.value, value))) {
+            const id = p.localId;
+            // A local assigned in a loop usually drops its old value.
+            if (!locals.has(id) || (p.kind === "assign" && depth > 0))
+                return { kind: "heap" };
+            return { kind: "local", id };
+        }
+        const target = storeOf(value, p);
+        if (target !== undefined) {
+            if (p.kind === "arraySet")
+                return { kind: "heap" };
+            const id = storeTarget(target);
+            return id !== null && locals.has(id) ? { kind: "target", id } : { kind: "heap" };
+        }
+        if (isExpr(p) && contentOf(value, p))
+            return { kind: "node", node: p };
+        // An argument of a call that returns a reference follows the call's
+        // value: the callee may put it into its result.
+        const args = argsOf(p);
+        if (callLike(p) &&
+            isExpr(p) &&
+            refType(p.type) &&
+            args !== null &&
+            indexOfNode(args, value) >= 0)
+            return { kind: "node", node: p };
+        return { kind: "heap" };
+    };
+    // Lossy locals: their graphs drop values (element writes, removals), so
+    // what is stored into them is not kept.
+    const lossy = new Set();
+    const fates = new Map();
+    const loops = new Map();
+    const localUses = [];
+    const parents = [];
+    let depth = 0;
+    const walk = (node) => {
+        const removal = removalTarget(node);
+        if (removal !== null)
+            lossy.add(removal);
+        if (source(node) || callLike(node)) {
+            fates.set(node, fateOf(node, parents));
+            loops.set(node, depth > 0);
+        }
+        else if (node.kind === "varRef" && locals.has(node.localId) && refType(node.type)) {
+            const f = fateOf(node, parents);
+            if (f.kind !== "heap")
+                localUses.push([node.localId, f]);
+        }
+        const loop = LOOPS.has(node.kind);
+        if (loop)
+            depth++;
+        const kids = [];
+        children(node, kids);
+        parents.push(node);
+        for (const k of kids)
+            walk(k);
+        parents.pop();
+        if (loop)
+            depth--;
+    };
+    for (const st of fn.body)
+        walk(st);
+    // A local bound to another local joins its class.
+    for (const [id, f] of localUses)
+        if (f.kind === "local")
+            unite(id, f.id);
+    for (const id of [...lossy])
+        lossy.add(find(id));
+    for (const id of seeds)
+        keep(id);
+    const keptFate = (f, seen = 0) => {
+        if (seen > 64)
+            return false;
+        switch (f.kind) {
+            case "kept":
+                return true;
+            case "local":
+                return isKept(f.id);
+            case "target":
+                return isKept(f.id) && !lossy.has(find(f.id));
+            case "node": {
+                const g = fates.get(f.node);
+                return g !== undefined && keptFate(g, seen + 1);
+            }
+            case "heap":
+                return false;
+        }
+    };
+    for (let changed = true; changed;) {
+        changed = false;
+        for (const [id, f] of localUses)
+            if (f.kind !== "local" && keptFate(f) && keep(id))
+                changed = true;
+    }
+    const out = { kept: new Map(), dropped: [] };
+    for (const [e, f] of fates)
+        if (keptFate(f))
+            out.kept.set(e, loops.get(e));
+        else if (callLike(e))
+            out.dropped.push(e);
+    return out;
+}
+/**
+ * Narrows `groups` to the roots and call regions worth an arena (with
+ * `reachable` recomputed for them) and classifies the allocations of the
+ * functions that run in their arenas.
+ */
+export function planRegionSites(mod, groups) {
+    const fns = new Map(mod.functions.map((f) => [f.name, f]));
+    const vt = new VirtualTargets(mod.classes ?? []);
+    const regionCallees = new Set();
+    for (const c of groups.calls)
+        if (c.kind === "call")
+            regionCallees.add(c.callee);
+    const sites = new Map();
+    for (const name of groups.reachable) {
+        const fn = fns.get(name);
+        if (fn !== undefined)
+            sites.set(name, classify(fn, regionCallees.has(name)));
+    }
+    // Which functions reach which (for recursion), over the reachable ones.
+    const calleesOf = (name) => {
+        const out = new Set();
+        const s = sites.get(name);
+        if (s === undefined)
+            return out;
+        for (const e of [...s.kept.keys(), ...s.dropped])
+            for (const t of targetsOf(vt, e) ?? [])
+                if (sites.has(t))
+                    out.add(t);
+        return out;
+    };
+    const edges = new Map([...sites.keys()].map((n) => [n, calleesOf(n)]));
+    const reaches = (from, to) => {
+        const seen = new Set();
+        const stack = [from];
+        while (stack.length > 0) {
+            const n = stack.pop();
+            if (n === to)
+                return true;
+            if (seen.has(n))
+                continue;
+            seen.add(n);
+            for (const m of edges.get(n) ?? new Set())
+                stack.push(m);
+        }
+        return false;
+    };
+    const grows = new Set();
+    for (let changed = true; changed;) {
+        changed = false;
+        for (const [name, s] of sites) {
+            if (grows.has(name))
+                continue;
+            let g = false;
+            for (const [e, inLoop] of s.kept) {
+                if (inLoop)
+                    g = true;
+                for (const t of targetsOf(vt, e) ?? [])
+                    if (grows.has(t) || reaches(t, name))
+                        g = true;
+                if (g)
+                    break;
+            }
+            if (g) {
+                grows.add(name);
+                changed = true;
+            }
+        }
+    }
+    const worth = (r) => {
+        // Module code runs once, and its groups hold the program's own state.
+        if (r.kind === "call")
+            return grows.has(r.callee) && !r.callee.startsWith("%init.");
+        if (r.kind !== "new")
+            return false;
+        if (grows.has(`%${r.className}.constructor`))
+            return true;
+        return r.args.some((a) => a.kind === "call" && grows.has(a.callee));
+    };
+    for (const r of [...groups.roots])
+        if (!worth(r)) {
+            groups.roots.delete(r);
+            groups.drops.delete(r);
+        }
+    for (const c of [...groups.calls])
+        if (!worth(c))
+            groups.calls.delete(c);
+    groups.reachable = reachableFrom(mod, [...groups.roots, ...groups.calls]);
+    const arenaSites = new Set();
+    const heapCalls = new Set();
+    const mayAllocate = (e) => {
+        const t = targetsOf(vt, e);
+        return t === null || t.some((n) => groups.allocates.has(n) || !fns.has(n));
+    };
+    for (const name of groups.reachable) {
+        const s = sites.get(name);
+        if (s === undefined)
+            continue;
+        for (const e of s.kept.keys())
+            arenaSites.add(e);
+        for (const e of s.dropped)
+            if (!groups.roots.has(e) && !groups.calls.has(e) && mayAllocate(e))
+                heapCalls.add(e);
+    }
+    return { arenaSites, heapCalls };
+}
+//# sourceMappingURL=region-sites.js.map

package/dist/backend/llvm/region-sites.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"region-sites.js","sourceRoot":"","sources":["../../../src/backend/llvm/region-sites.ts"],"names":[],"mappings":"AA6BA,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,EAAqB,MAAM,oBAAoB,CAAC;AAChG,OAAO,EACL,MAAM,EACN,QAAQ,EACR,WAAW,EACX,MAAM,EACN,OAAO,EACP,IAAI,EACJ,WAAW,GAEZ,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAWxD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;AAE5D,gEAAgE;AAChE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;AAExE;0DAC0D;AAC1D,SAAS,aAAa,CAAC,IAAU;IAC/B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,UAAU,CAAC;QAChB,KAAK,gBAAgB,CAAC;QACtB,KAAK,mBAAmB,CAAC;QACzB,KAAK,aAAa;YAChB,OAAO,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/B,KAAK,iBAAiB;YACpB,OAAO,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/B,KAAK,cAAc,CAAC;QACpB,KAAK,cAAc,CAAC;QACpB,KAAK,cAAc;YACjB,OAAO,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACvE;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,oEAAoE;AACpE,SAAS,SAAS,CAAC,EAAkB,EAAE,IAAU;IAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,CAAC,IAAI,IAAI,CAAC,SAAS,cAAc,CAAC,CAAC;IACnE,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAClD,OAAO,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,QAAQ,GAAG,CAAC,IAAU,EAAW,EAAE,CACvC,IAAI,CAAC,IAAI,KAAK,MAAM;IACpB,IAAI,CAAC,IAAI,KAAK,KAAK;IACnB,IAAI,CAAC,IAAI,KAAK,aAAa;IAC3B,IAAI,CAAC,IAAI,KAAK,WAAW;IACzB,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC;AAE3B;gDACgD;AAChD,MAAM,UAAU,aAAa,CAAC,GAAa,EAAE,KAAqB;IAChE,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3D,MAAM,EAAE,GAAG,IAAI,cAAc,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;IACjD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAG,CAAC,IAAU,EAAQ,EAAE;QACjC,MAAM,KAAK,GAAG,CAAC,IAAY,EAAQ,EAAE;YACnC,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC1C,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACpB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,CAAC;QACH,CAAC,CAAC;QACF,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;;YAC3C,KAAK,MAAM,CAAC,IAAI,SAAS,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE;gBAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QACzD,MAAM,IAAI,GAAW,EAAE,CAAC;QACxB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACrB,KAAK,MAAM,CAAC,IAAI,IAAI;YAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAChC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAG,CAAE,CAAC,IAAI;YAAE,KAAK,CAAC,EAAE,CAAC,CAAC;IACjF,OAAO,SAAS,CAAC;AACnB,CAAC;AASD,oDAAoD;AACpD,SAAS,QAAQ,CAAC,EAAc,EAAE,aAAsB;IACtD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACnD,iEAAiE;IACjE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,MAAM,IAAI,GAAG,CAAC,EAAU,EAAU,EAAE;QAClC,IAAI,CAAC,GAAG,EAAE,CAAC;QACX,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC;QACzC,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,CAAS,EAAE,CAAS,EAAQ,EAAE;QAC3C,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,EAChB,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACf,IAAI,EAAE,KAAK,EAAE;YAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IACpC,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,IAAI,GAAG,CAAC,EAAU,EAAW,EAAE;QACnC,MAAM,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC;QACnB,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QAC9B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACZ,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,EAAU,EAAW,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3D,kEAAkE;IAClE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC;IAChG,IAAI,aAAa,EAAE,CAAC;QAClB,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5D,KAAK,MAAM,EAAE,IAAI,EAAE,CAAC,IAAI;YACtB,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;gBAC7E,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC;IASD,MAAM,MAAM,GAAG,CAAC,IAAU,EAAE,OAAwB,EAAQ,EAAE;QAC5D,IAAI,KAAK,GAAS,IAAI,CAAC;QACvB,IAAI,EAAE,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;QAC5B,OAAO,EAAE,IAAI,CAAC,IAAI,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;YAAE,KAAK,GAAG,OAAO,CAAC,EAAE,EAAE,CAAE,CAAC;QAC1E,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5C,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC7C,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACjD,IACE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAChE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,EAC7C,CAAC;YACD,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC;YACrB,0DAA0D;YAC1D,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,GAAG,CAAC,CAAC;gBAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YACnF,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;QAC/B,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACjC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;gBAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YACnD,MAAM,EAAE,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;YAC/B,OAAO,EAAE,KAAK,IAAI,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACnF,CAAC;QACD,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QACvE,oEAAoE;QACpE,gDAAgD;QAChD,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACvB,IACE,QAAQ,CAAC,CAAC,CAAC;YACX,MAAM,CAAC,CAAC,CAAC;YACT,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;YACf,IAAI,KAAK,IAAI;YACb,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;YAE7B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QACnC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC1B,CAAC,CAAC;IAEF,wEAAwE;IACxE,wCAAwC;IACxC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAc,CAAC;IACpC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAiB,CAAC;IACvC,MAAM,SAAS,GAAqB,EAAE,CAAC;IACvC,MAAM,OAAO,GAAW,EAAE,CAAC;IAC3B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,MAAM,IAAI,GAAG,CAAC,IAAU,EAAQ,EAAE;QAChC,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,OAAO,KAAK,IAAI;YAAE,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACzC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;YACvC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAC7B,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACpF,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAChC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;gBAAE,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3D,CAAC;QACD,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,IAAI;YAAE,KAAK,EAAE,CAAC;QAClB,MAAM,IAAI,GAAW,EAAE,CAAC;QACxB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACrB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnB,KAAK,MAAM,CAAC,IAAI,IAAI;YAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9B,OAAO,CAAC,GAAG,EAAE,CAAC;QACd,IAAI,IAAI;YAAE,KAAK,EAAE,CAAC;IACpB,CAAC,CAAC;IACF,KAAK,MAAM,EAAE,IAAI,EAAE,CAAC,IAAI;QAAE,IAAI,CAAC,EAAE,CAAC,CAAC;IAEnC,kDAAkD;IAClD,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,SAAS;QAAE,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;YAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACzE,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,KAAK,CAAC;QAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IACjD,KAAK,MAAM,EAAE,IAAI,KAAK;QAAE,IAAI,CAAC,EAAE,CAAC,CAAC;IACjC,MAAM,QAAQ,GAAG,CAAC,CAAO,EAAE,IAAI,GAAG,CAAC,EAAW,EAAE;QAC9C,IAAI,IAAI,GAAG,EAAE;YAAE,OAAO,KAAK,CAAC;QAC5B,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,MAAM;gBACT,OAAO,IAAI,CAAC;YACd,KAAK,OAAO;gBACV,OAAO,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACtB,KAAK,QAAQ;gBACX,OAAO,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAChD,KAAK,MAAM,EAAE,CAAC;gBACZ,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAC5B,OAAO,CAAC,KAAK,SAAS,IAAI,QAAQ,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC;YAClD,CAAC;YACD,KAAK,MAAM;gBACT,OAAO,KAAK,CAAC;QACjB,CAAC;IACH,CAAC,CAAC;IACF,KAAK,IAAI,OAAO,GAAG,IAAI,EAAE,OAAO,GAAG,CAAC;QAClC,OAAO,GAAG,KAAK,CAAC;QAChB,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,SAAS;YAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC;gBAAE,OAAO,GAAG,IAAI,CAAC;IACtE,CAAC;IACD,MAAM,GAAG,GAAY,EAAE,IAAI,EAAE,IAAI,GAAG,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IACtD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,KAAK;QACxB,IAAI,QAAQ,CAAC,CAAC,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC;aAC3C,IAAI,QAAQ,CAAC,CAAC,CAAC;YAAE,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5C,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,GAAa,EAAE,MAAoB;IACjE,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3D,MAAM,EAAE,GAAG,IAAI,cAAc,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;IACjD,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK;QAAE,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;YAAE,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACjF,MAAM,KAAK,GAAG,IAAI,GAAG,EAAmB,CAAC;IACzC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QACpC,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACzB,IAAI,EAAE,KAAK,SAAS;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,EAAE,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/E,CAAC;IACD,wEAAwE;IACxE,MAAM,SAAS,GAAG,CAAC,IAAY,EAAe,EAAE;QAC9C,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;QAC9B,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO,GAAG,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC;YAC9C,KAAK,MAAM,CAAC,IAAI,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE;gBAAE,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;oBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACvE,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvE,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,EAAU,EAAW,EAAE;QACpD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC;QACrB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;YACvB,IAAI,CAAC,KAAK,EAAE;gBAAE,OAAO,IAAI,CAAC;YAC1B,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,SAAS;YAC1B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACZ,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,EAAU;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnE,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,IAAI,OAAO,GAAG,IAAI,EAAE,OAAO,GAAG,CAAC;QAClC,OAAO,GAAG,KAAK,CAAC;QAChB,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC;YAC9B,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC9B,IAAI,CAAC,GAAG,KAAK,CAAC;YACd,KAAK,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;gBACjC,IAAI,MAAM;oBAAE,CAAC,GAAG,IAAI,CAAC;gBACrB,KAAK,MAAM,CAAC,IAAI,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE;oBAAE,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC;wBAAE,CAAC,GAAG,IAAI,CAAC;gBACvF,IAAI,CAAC;oBAAE,MAAM;YACf,CAAC;YACD,IAAI,CAAC,EAAE,CAAC;gBACN,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAChB,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,CAAO,EAAW,EAAE;QACjC,sEAAsE;QACtE,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QACpF,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,KAAK,CAAC;QACnC,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,SAAS,cAAc,CAAC;YAAE,OAAO,IAAI,CAAC;QAC1D,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACtE,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;QAC/B,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;YACd,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACvB,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACzB,CAAC;IACH,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;QAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;YAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACzE,MAAM,CAAC,SAAS,GAAG,aAAa,CAAC,GAAG,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IAE1E,MAAM,UAAU,GAAG,IAAI,GAAG,EAAQ,CAAC;IACnC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAQ,CAAC;IAClC,MAAM,WAAW,GAAG,CAAC,CAAO,EAAW,EAAE;QACvC,MAAM,CAAC,GAAG,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC3B,OAAO,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7E,CAAC,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QACpC,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAI,CAAC,KAAK,SAAS;YAAE,SAAS;QAC9B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE;YAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO;YACvB,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC;gBAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACzF,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC;AACnC,CAAC"}

package/dist/backend/llvm/region-sites.test.d.ts

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

package/dist/backend/llvm/region-sites.test.js

@@ -0,0 +1,216 @@
+import { mkdtemp, readFile, rm, writeFile } from "node:fs/promises";
+import { tmpdir } from "node:os";
+import { join } from "node:path";
+import { expect, test } from "vitest";
+import { compile, deserializeModule } from "../../index.js";
+import { analyzeRegionGroups } from "./region-groups.js";
+import { children } from "./region-ir.js";
+import { planRegionSites } from "./region-sites.js";
+async function moduleFor(source) {
+    const dir = await mkdtemp(join(tmpdir(), "scriptc-region-sites-"));
+    try {
+        const entry = join(dir, "main.ts"), output = join(dir, "main.ir.json");
+        await writeFile(entry, source);
+        const result = await compile(entry, { outDir: dir, outPath: output, outputKind: "ir" });
+        if (!result.ok)
+            throw new Error(result.diagnostics.map((item) => `${item.code}: ${item.message}`).join("\n"));
+        return deserializeModule(await readFile(output, "utf8"));
+    }
+    finally {
+        await rm(dir, { recursive: true, force: true });
+    }
+}
+/** The nodes in function `fn` matching `pick`, in order. */
+function nodesIn(mod, fn, pick) {
+    const out = [];
+    const visit = (node) => {
+        if (pick(node))
+            out.push(node);
+        const kids = [];
+        children(node, kids);
+        for (const k of kids)
+            visit(k);
+    };
+    for (const s of mod.functions.find((f) => f.name === fn).body)
+        visit(s);
+    return out;
+}
+const calls = (callee) => (e) => e.kind === "call" && e.callee === callee;
+const records = (e) => e.kind === "recordLit";
+function plan(mod) {
+    const groups = analyzeRegionGroups(mod);
+    const sites = planRegionSites(mod, groups);
+    return { groups, sites };
+}
+const TREE = `
+class Node {
+  left: Node | null;
+  right: Node | null;
+  constructor(left: Node | null, right: Node | null) {
+    this.left = left;
+    this.right = right;
+  }
+  count(): number {
+    return 1 + (this.left === null ? 0 : this.left.count()) + (this.right === null ? 0 : this.right.count());
+  }
+}
+function tree(depth: number): Node {
+  return depth === 0 ? new Node(null, null) : new Node(tree(depth - 1), tree(depth - 1));
+}
+`;
+test("a recursive builder's root takes an arena for every node", async () => {
+    const mod = await moduleFor(`${TREE}
+let total = 0;
+for (let d = 0; d < 4; d++) total += tree(d).count();
+console.log(total);
+`);
+    const { groups, sites } = plan(mod);
+    const roots = nodesIn(mod, "%init.0", calls("tree")).filter((c) => groups.roots.has(c));
+    expect(roots.length).toBe(1);
+    for (const n of nodesIn(mod, "tree", (e) => e.kind === "new"))
+        expect(sites.arenaSites.has(n)).toBe(true);
+    for (const c of nodesIn(mod, "tree", calls("tree")))
+        expect(sites.arenaSites.has(c)).toBe(true);
+});
+test("a builder of a bounded number of objects is no root", async () => {
+    const mod = await moduleFor(`
+interface V { x: number; y: number }
+function add(a: V, b: V): V {
+  return { x: a.x + b.x, y: a.y + b.y };
+}
+let at: V = { x: 0, y: 0 };
+let sum = 0;
+for (let i = 0; i < 10; i++) {
+  const step = add(at, { x: i, y: 1 });
+  sum += step.x;
+}
+console.log(sum, at.y);
+`);
+    const { groups } = plan(mod);
+    expect(groups.roots.size).toBe(0);
+    expect(groups.calls.size).toBe(0);
+    expect(groups.reachable.size).toBe(0);
+});
+test("a list a builder appends to in a loop takes the arena", async () => {
+    const mod = await moduleFor(`
+interface Row { id: number; score: number }
+function rows(n: number): Row[] {
+  const out: Row[] = [];
+  for (let i = 0; i < n; i++) {
+    const row: Row = { id: i, score: i * 2 };
+    out.push(row);
+  }
+  return out;
+}
+let total = 0;
+for (let k = 0; k < 3; k++) total += rows(10 + k).length;
+console.log(total);
+`);
+    const { groups, sites } = plan(mod);
+    expect(nodesIn(mod, "%init.0", calls("rows")).some((c) => groups.roots.has(c))).toBe(true);
+    const [row] = nodesIn(mod, "rows", records);
+    expect(sites.arenaSites.has(row)).toBe(true);
+    const [out] = nodesIn(mod, "rows", (e) => e.kind === "arrayLit");
+    expect(sites.arenaSites.has(out)).toBe(true);
+});
+test("values that replace elements or die in the loop take the heap", async () => {
+    const mod = await moduleFor(`
+interface V { x: number; y: number }
+function vec(x: number, y: number): V {
+  return { x, y };
+}
+function add(a: V, b: V): V {
+  return { x: a.x + b.x, y: a.y + b.y };
+}
+function simulate(n: number, steps: number): number {
+  const points: V[] = [];
+  for (let i = 0; i < n; i++) points.push(vec(i, i));
+  for (let s = 0; s < steps; s++)
+    for (let i = 0; i < n; i++) points[i] = add(points[i]!, vec(0, 1));
+  let sum = 0;
+  for (const p of points) sum += p.x + p.y;
+  return sum;
+}
+console.log(simulate(100, 10));
+`);
+    const { groups, sites } = plan(mod);
+    // The list's elements are replaced, so it keeps nothing: no group grows.
+    expect(groups.calls.size).toBe(0);
+    expect(groups.roots.size).toBe(0);
+    expect(sites.arenaSites.size).toBe(0);
+});
+test("a value reassigned in a loop and returned takes the heap", async () => {
+    const mod = await moduleFor(`
+class C {
+  re: number;
+  im: number;
+  constructor(re: number, im: number) {
+    this.re = re;
+    this.im = im;
+  }
+  times(o: C): C {
+    return new C(this.re * o.re - this.im * o.im, this.re * o.im + this.im * o.re);
+  }
+}
+function power(c: C, n: number): C {
+  let z = new C(1, 0);
+  for (let i = 0; i < n; i++) z = z.times(c);
+  return z;
+}
+let s = 0;
+for (let k = 0; k < 5; k++) s += power(new C(0.5, 0.5), k).re;
+console.log(s);
+`);
+    const { groups } = plan(mod);
+    expect(nodesIn(mod, "%init.0", calls("power")).some((c) => groups.roots.has(c))).toBe(false);
+});
+test("calls in an arena-aware function whose values die take the heap", async () => {
+    const mod = await moduleFor(`
+interface P { x: number; next: P | null }
+function weight(p: P): number {
+  return p.x * 2;
+}
+function probe(x: number): P {
+  return { x, next: null };
+}
+function chain(n: number): P {
+  let head: P = { x: 0, next: null };
+  const first = head;
+  for (let i = 1; i < n; i++) {
+    const node: P = { x: weight(probe(i)), next: null };
+    head.next = node;
+    head = node;
+  }
+  return first;
+}
+let total = 0;
+for (let k = 0; k < 3; k++) total += chain(5).x;
+console.log(total);
+`);
+    const { groups, sites } = plan(mod);
+    expect(nodesIn(mod, "%init.0", calls("chain")).some((c) => groups.roots.has(c))).toBe(true);
+    const [probe] = nodesIn(mod, "chain", calls("probe"));
+    expect(sites.arenaSites.has(probe)).toBe(false);
+    expect(sites.heapCalls.has(probe)).toBe(true);
+    for (const node of nodesIn(mod, "chain", records))
+        expect(sites.arenaSites.has(node)).toBe(true);
+});
+test("a root assigned in a loop to a local declared outside it is no root", async () => {
+    const mod = await moduleFor(`${TREE}
+function run(n: number): number {
+  let t = tree(1);
+  let total = t.count();
+  for (let d = 0; d < n; d++) {
+    t = tree(d);
+    total += t.count();
+  }
+  return total;
+}
+console.log(run(6));
+`);
+    const { groups } = plan(mod);
+    const [first, inLoop] = nodesIn(mod, "run", calls("tree"));
+    expect(groups.roots.has(first)).toBe(true);
+    expect(groups.roots.has(inLoop)).toBe(false);
+});
+//# sourceMappingURL=region-sites.test.js.map

package/dist/backend/llvm/region-sites.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"region-sites.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/region-sites.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACpE,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAE5D,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,EAAE,QAAQ,EAAa,MAAM,gBAAgB,CAAC;AACrD,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAEpD,KAAK,UAAU,SAAS,CAAC,MAAc;IACrC,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,uBAAuB,CAAC,CAAC,CAAC;IACnE,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,EAChC,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;QACrC,MAAM,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC/B,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;QACxF,IAAI,CAAC,MAAM,CAAC,EAAE;YACZ,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAChG,OAAO,iBAAiB,CAAC,MAAM,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3D,CAAC;YAAS,CAAC;QACT,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAClD,CAAC;AACH,CAAC;AAED,4DAA4D;AAC5D,SAAS,OAAO,CAAC,GAAa,EAAE,EAAU,EAAE,IAA4B;IACtE,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,KAAK,GAAG,CAAC,IAAU,EAAQ,EAAE;QACjC,IAAI,IAAI,CAAC,IAAc,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,IAAc,CAAC,CAAC;QACnD,MAAM,IAAI,GAAW,EAAE,CAAC;QACxB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACrB,KAAK,MAAM,CAAC,IAAI,IAAI;YAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAE,CAAC,IAAI;QAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACzE,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,KAAK,GAAG,CAAC,MAAc,EAAE,EAAE,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC;AAC1F,MAAM,OAAO,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC;AAEtD,SAAS,IAAI,CAAC,GAAa;IACzB,MAAM,MAAM,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC;IACxC,MAAM,KAAK,GAAG,eAAe,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IAC3C,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;AAC3B,CAAC;AAED,MAAM,IAAI,GAAG;;;;;;;;;;;;;;;CAeZ,CAAC;AAEF,IAAI,CAAC,0DAA0D,EAAE,KAAK,IAAI,EAAE;IAC1E,MAAM,GAAG,GAAG,MAAM,SAAS,CAAC,GAAG,IAAI;;;;CAIpC,CAAC,CAAC;IACD,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,EAAE,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACxF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7B,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC;QAC3D,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAAE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAClG,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qDAAqD,EAAE,KAAK,IAAI,EAAE;IACrE,MAAM,GAAG,GAAG,MAAM,SAAS,CAAC;;;;;;;;;;;;CAY7B,CAAC,CAAC;IACD,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IAC7B,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACxC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,uDAAuD,EAAE,KAAK,IAAI,EAAE;IACvE,MAAM,GAAG,GAAG,MAAM,SAAS,CAAC;;;;;;;;;;;;;CAa7B,CAAC,CAAC;IACD,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3F,MAAM,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IAC5C,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,GAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,MAAM,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;IACjE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,GAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAChD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+DAA+D,EAAE,KAAK,IAAI,EAAE;IAC/E,MAAM,GAAG,GAAG,MAAM,SAAS,CAAC;;;;;;;;;;;;;;;;;;CAkB7B,CAAC,CAAC;IACD,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IACpC,yEAAyE;IACzE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACxC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,0DAA0D,EAAE,KAAK,IAAI,EAAE;IAC1E,MAAM,GAAG,GAAG,MAAM,SAAS,CAAC;;;;;;;;;;;;;;;;;;;;CAoB7B,CAAC,CAAC;IACD,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IAC7B,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC/F,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iEAAiE,EAAE,KAAK,IAAI,EAAE;IACjF,MAAM,GAAG,GAAG,MAAM,SAAS,CAAC;;;;;;;;;;;;;;;;;;;;;CAqB7B,CAAC,CAAC;IACD,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5F,MAAM,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;IACtD,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjD,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC;QAAE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACnG,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qEAAqE,EAAE,KAAK,IAAI,EAAE;IACrF,MAAM,GAAG,GAAG,MAAM,SAAS,CAAC,GAAG,IAAI;;;;;;;;;;;CAWpC,CAAC,CAAC;IACD,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IAC7B,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAC3D,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAChD,CAAC,CAAC,CAAC"}

package/dist/backend/llvm/repr-report.d.ts

@@ -0,0 +1,9 @@
+import type { LlEmitter } from "./emitter.js";
+export declare const REPR_REPORT_HEADER = "kind\towner\tname\ttype\tstorage\treason";
+/** The file SCRIPTC_REPR_REPORT names, or null. A build that writes the
+ * report skips the executable cache, whose hit would emit no module. */
+export declare function representationReportPath(env?: NodeJS.ProcessEnv): string | null;
+/** Writes the report of `emitter`'s module when SCRIPTC_REPR_REPORT names a
+ * file. */
+export declare function writeRepresentationReport(emitter: LlEmitter): void;
+export declare function representationReport(emitter: LlEmitter): string;