@scriptc/compiler 0.4.5 → 0.4.6

package/dist/backend/llvm/arenas.js

@@ -0,0 +1,313 @@
+import { analyzeClosedGroups, analyzeRegionGroups, source, } from "./region-groups.js";
+import { CYC_BUF, CYC_HDR, CYC_TYPE } from "./alloc.js";
+import { ALLOCATIONS, children, forEachNode, isExpr } from "./region-ir.js";
+import { planRegionSites, reachableFrom } from "./region-sites.js";
+/** The count an arena object starts with (scr_arena.h SCR_ARENA_RC). */
+export const ARENA_RC = 2 ** 29;
+/** Group arenas are on unless SCRIPTC_ARENAS=0 (for comparisons). */
+export function arenasRequested() {
+    return process.env["SCRIPTC_ARENAS"] !== "0";
+}
+/** Whether `mod` can construct a WeakMap or WeakSet, directly or through
+ * a stored global constructor. A weak collection's entry for a key goes
+ * when the key is freed, and an arena object is never freed on its own, so
+ * such programs use no arenas. */
+function constructsWeakCollections(mod) {
+    let found = false;
+    const visit = (node) => {
+        if (found)
+            return;
+        if (node.kind === "libCall") {
+            if (node.fn === "weakMap.new" || node.fn === "weakSet.new")
+                found = true;
+            else if (node.fn === "dyn.globalConstructor") {
+                const name = node.args[0];
+                if (name?.kind !== "strLit" || name.value === "WeakMap" || name.value === "WeakSet")
+                    found = true;
+            }
+        }
+        const kids = [];
+        children(node, kids);
+        for (const k of kids)
+            visit(k);
+    };
+    for (const fn of mod.functions)
+        for (const s of fn.body)
+            visit(s);
+    return found;
+}
+/** Programs with more functions than this use no arenas: the analysis
+ * visits every function, and on programs this large it costs more compile
+ * time than their arenas save at run time. */
+const ARENA_FUNCTION_LIMIT = 4000;
+/** The arena plan of `mod`, or null when nothing would use an arena. */
+export function planArenas(mod, eligible) {
+    if (mod.functions.length > ARENA_FUNCTION_LIMIT || constructsWeakCollections(mod))
+        return null;
+    const groups = analyzeRegionGroups(mod);
+    const sites = planRegionSites(mod, groups);
+    if (groups.roots.size === 0 && groups.calls.size === 0)
+        return null;
+    const shapes = new Set();
+    const classes = new Set();
+    const defs = new Map((mod.classes ?? []).map((c) => [c.name, c]));
+    const note = (node) => {
+        const kept = sites.arenaSites.has(node) || groups.roots.has(node);
+        if (kept &&
+            node.kind === "recordLit" &&
+            node.type.kind === "record" &&
+            eligible.shape(node.type.shapeId))
+            shapes.add(node.type.shapeId);
+        if (kept && node.kind === "new") {
+            const def = defs.get(node.className);
+            if (def !== undefined && eligible.cls(def))
+                classes.add(node.className);
+        }
+        const kids = [];
+        children(node, kids);
+        for (const k of kids)
+            note(k);
+    };
+    for (const fn of mod.functions)
+        if (groups.reachable.has(fn.name))
+            for (const s of fn.body)
+                note(s);
+    for (const r of groups.roots)
+        if (r.kind === "new")
+            note(r);
+    // A group's heap objects die when its arena drops, unless heap objects
+    // hold each other in a cycle: the collector frees those later, and by
+    // then their references into the arena point at recycled memory. So a
+    // group keeps its arena only if every cycle-capable object it can
+    // allocate takes the arena.
+    const takesArena = (node) => (sites.arenaSites.has(node) || groups.roots.has(node)) &&
+        ((node.kind === "recordLit" && node.type.kind === "record" && shapes.has(node.type.shapeId)) ||
+            (node.kind === "new" && classes.has(node.className)) ||
+            node.kind === "arrayLit");
+    const unsafe = cycleUnsafeFunctions(mod, groups.reachable, sites, takesArena, eligible.traced);
+    for (const r of [...groups.roots, ...groups.calls]) {
+        const runs = reachableFrom(mod, [r]);
+        if ([...runs].some((f) => unsafe.has(f)) || (r.kind === "new" && !takesArena(r))) {
+            groups.roots.delete(r);
+            groups.calls.delete(r);
+            groups.drops.delete(r);
+        }
+    }
+    if (groups.roots.size === 0 && groups.calls.size === 0)
+        return null;
+    groups.reachable = reachableFrom(mod, [...groups.roots, ...groups.calls]);
+    const arenaType = (t) => {
+        if (t.kind === "object")
+            return classes.has(t.className);
+        if (t.kind === "record")
+            return shapes.has(t.shapeId);
+        if (t.kind === "union") {
+            const arm = eligible.nullableArm(t.unionId);
+            return arm !== null && arenaType(arm);
+        }
+        // Arrays of arena objects: kept array literals of them take the arena.
+        return t.kind === "array" && t.elem.kind !== "union" && arenaType(t.elem);
+    };
+    const keptSite = (e) => sites.arenaSites.has(e) || groups.roots.has(e);
+    for (const r of analyzeClosedGroups(mod, groups, arenaType, keptSite))
+        groups.closed.add(r);
+    const allClosed = [...groups.roots, ...groups.calls].every((r) => groups.closed.has(r));
+    return { groups, sites, shapes, classes, allClosed };
+}
+/** The functions in `reachable` that can allocate a cycle-capable object
+ * on the heap while an arena is open: one that does not take the arena
+ * (`takesArena`), or a call that runs with the arena suspended and reaches
+ * any cycle-capable allocation. */
+function cycleUnsafeFunctions(mod, reachable, sites, takesArena, traced) {
+    const fns = new Map(mod.functions.map((f) => [f.name, f]));
+    const allocatesTraced = (node) => isExpr(node) &&
+        traced(node.type) &&
+        (node.kind === "closure"
+            ? node.captures.length > 0
+            : (ALLOCATIONS.has(node.kind) || source(node) || node.kind === "libCall") &&
+                node.kind !== "call" &&
+                node.kind !== "callValue");
+    // Functions with a cycle-capable allocation, and what they call.
+    const direct = new Set();
+    const calls = new Map();
+    const heap = new Set();
+    for (const name of reachable) {
+        const fn = fns.get(name);
+        if (fn === undefined)
+            continue;
+        const out = new Set();
+        calls.set(name, out);
+        forEachNode(fn.body, (node) => {
+            if (allocatesTraced(node)) {
+                direct.add(name);
+                if (!takesArena(node))
+                    heap.add(name);
+            }
+            if (node.kind === "call")
+                out.add(node.callee);
+            else if (node.kind === "new")
+                out.add(`%${node.className}.constructor`);
+            else if (node.kind === "closure")
+                out.add(node.fnName);
+        });
+    }
+    const tracedSomewhere = new Set(direct);
+    for (let changed = true; changed;) {
+        changed = false;
+        for (const [name, out] of calls)
+            if (!tracedSomewhere.has(name) && [...out].some((c) => tracedSomewhere.has(c))) {
+                tracedSomewhere.add(name);
+                changed = true;
+            }
+    }
+    for (const name of reachable) {
+        const fn = fns.get(name);
+        if (fn === undefined || heap.has(name))
+            continue;
+        forEachNode(fn.body, (node) => {
+            if (!sites.heapCalls.has(node))
+                return;
+            const target = node.kind === "call"
+                ? node.callee
+                : node.kind === "new"
+                    ? `%${node.className}.constructor`
+                    : null;
+            // A suspended call of an unknown function (a closure, a virtual call)
+            // may allocate anything.
+            if (target === null || tracedSomewhere.has(target))
+                heap.add(name);
+        });
+    }
+    return heap;
+}
+/** The arena-aware constructor of a record shape or class. */
+export function arenaNewSym(newSym) {
+    return `${newSym}.r`;
+}
+/** The function that releases an arena object's fields at the drop. */
+export function arenaDisposeSym(newSym) {
+    return `${newSym}.dispose`;
+}
+/** Whether `fn` allocates through arena-aware constructors. */
+export function arenaAware(plan, fn) {
+    return plan !== null && fn !== undefined && plan.groups.reachable.has(fn.name);
+}
+/** Instructions that set `dest` to the address of the calling thread's
+ * open arena pointer (scr_arena.c's scr_arena_cur), or null on targets
+ * without the inline allocator, which call scr_arena_current,
+ * scr_arena_suspend and scr_arena_resume instead. In worker programs the
+ * pointer is thread-local. */
+export function arenaCurrentAddress(host, dest) {
+    if (host.inlineAlloc !== true)
+        return null;
+    if (host.threadLocalAlloc !== true) {
+        host.declare(`@scr_arena_cur = external global ptr`);
+        return [`${dest} = getelementptr inbounds i8, ptr @scr_arena_cur, i64 0`];
+    }
+    host.declare(`@scr_arena_cur = external thread_local global ptr`);
+    host.declare(`declare nonnull ptr @llvm.threadlocal.address.p0(ptr nonnull)`);
+    return [`${dest} = call ptr @llvm.threadlocal.address.p0(ptr @scr_arena_cur)`];
+}
+/**
+ * The arena-aware constructor `<new>.r`: an object of `size` bytes (a
+ * `size_t` constant expression) in the current arena, behind the collector header
+ * `cyc` names (or none), which `init` sets up the way the heap constructor
+ * does (with the count ARENA_RC). When `dispose` names a function and the
+ * arena is not closed, the object goes on the arena's dispose list, which
+ * the drop runs. The heap constructor's object when no arena is open or
+ * the arena is full. The bump, the clear, the header and the dispose entry
+ * are inline (scr_arena.c's ScrArena ABI); scr_arena_obj takes a new chunk
+ * and scr_arena_disposal grows the list.
+ *
+ * `clear` is what the bump path zeroes: the whole object, or only the
+ * collector header, for callers that store every word of the object before
+ * anything reads it (a record literal of a shape with no dispose entries:
+ * `init` stores the count and the shape number, and the literal every
+ * field). scr_arena_obj and the heap constructor return zeroed objects.
+ */
+export function arenaNewLines(host, newSym, size, cyc, dispose, init, result, clear = "object") {
+    const S = host.sizeType;
+    // ScrArena's fields and dispose entries are pointer-sized (scr_arena.c).
+    const word = S === "i32" ? 4 : 8;
+    host.declare(`declare ptr @scr_arena_obj(ptr, ${S}, ptr)`);
+    host.declare(`declare void @llvm.memset.p0.${S}(ptr, i8, ${S}, i1)`);
+    const cur = arenaCurrentAddress(host, "%cur");
+    const current = cur === null
+        ? (host.declare(`declare ptr @scr_arena_current()`), [`  %a = call ptr @scr_arena_current()`])
+        : [...cur.map((line) => `  ${line}`), `  %a = load ptr, ptr %cur`];
+    const lines = [
+        `define internal ptr @${arenaNewSym(newSym)}() nounwind alwaysinline { ; in the open arena`,
+        `entry:`,
+        ...current,
+        `  %on = icmp ne ptr %a, null`,
+        `  br i1 %on, label %arena, label %heap`,
+        `arena:`,
+    ];
+    // A traced type's first object registers its descriptor on the slow path.
+    if (cyc !== null)
+        lines.push(`  %tidp = getelementptr inbounds ${CYC_TYPE}, ptr ${cyc}, i32 0, i32 3`, `  %tid = load atomic i32, ptr %tidp acquire, align 4`, `  %creg = icmp ne i32 %tid, 0`);
+    const hdr = cyc === null ? 0 : CYC_HDR;
+    lines.push(`  %n0 = add ${S} ${size}, ${hdr + 7}`, `  %n = and ${S} %n0, -8`, `  %bp = load ptr, ptr %a`, `  %limp = getelementptr inbounds i8, ptr %a, ${S} ${word}`, `  %lim = load ptr, ptr %limp`, `  %bpi = ptrtoint ptr %bp to ${S}`, `  %limi = ptrtoint ptr %lim to ${S}`, `  %room = sub ${S} %limi, %bpi`, `  %fits0 = icmp ule ${S} %n, %room`);
+    if (cyc !== null)
+        lines.push(`  %fits = and i1 %fits0, %creg`);
+    lines.push(`  br i1 ${cyc === null ? "%fits0" : "%fits"}, label %carve, label %slow`, `carve:`, `  %end = getelementptr inbounds i8, ptr %bp, ${S} %n`, `  store ptr %end, ptr %a`);
+    if (clear === "object")
+        lines.push(`  call void @llvm.memset.p0.${S}(ptr align 8 %bp, i8 0, ${S} %n, i1 false)`);
+    else if (cyc !== null)
+        lines.push(`  call void @llvm.memset.p0.${S}(ptr align 8 %bp, i8 0, ${S} ${CYC_HDR}, i1 false)`);
+    if (cyc !== null)
+        lines.push(`  %id = trunc i32 %tid to i16`, `  store i16 %id, ptr %bp ; ScrCycHdr.id`, `  %bufp = getelementptr inbounds i8, ptr %bp, i64 ${CYC_BUF}`, `  store i32 -1, ptr %bufp ; ScrCycHdr.buf = SCR_CYC_ACYCLIC`);
+    lines.push(`  %of = getelementptr inbounds i8, ptr %bp, ${S} ${hdr}`, `  br label %init`, `slow:`, `  %os = call ptr @scr_arena_obj(ptr %a, ${S} ${size}, ptr ${cyc ?? "null"})`, `  %got = icmp ne ptr %os, null`, `  br i1 %got, label %init, label %heap`, `init:`, `  %o = phi ptr [ %of, %carve ], [ %os, %slow ]`, ...init);
+    if (dispose !== null) {
+        host.declare(`declare void @scr_arena_disposal(ptr, ptr, ptr)`);
+        lines.push(`  %closedp = getelementptr inbounds i8, ptr %a, ${S} ${4 * word} ; ScrArena.closed`, `  %closed = load i32, ptr %closedp`, `  %skip = icmp ne i32 %closed, 0`, `  br i1 %skip, label %done, label %list`, `list:`, `  %dpp = getelementptr inbounds i8, ptr %a, ${S} ${2 * word} ; ScrArena.disposals`, `  %dp = load ptr, ptr %dpp`, `  %dep = getelementptr inbounds i8, ptr %a, ${S} ${3 * word} ; ScrArena.disposals_end`, `  %de = load ptr, ptr %dep`, `  %full = icmp eq ptr %dp, %de`, `  br i1 %full, label %grow, label %push`, `push:`, `  store ptr %o, ptr %dp ; ScrArenaDisposal.obj`, `  %dfp = getelementptr inbounds i8, ptr %dp, ${S} ${word}`, `  store ptr @${dispose}, ptr %dfp ; ScrArenaDisposal.dispose`, `  %dn = getelementptr inbounds i8, ptr %dp, ${S} ${2 * word}`, `  store ptr %dn, ptr %dpp`, `  br label %done`, `grow:`, `  call void @scr_arena_disposal(ptr %a, ptr %o, ptr @${dispose})`, `  br label %done`, `done:`);
+    }
+    lines.push(`  ret ptr ${result}`, `heap:`, `  %h = call ptr @${newSym}()`, `  ret ptr %h`, `}`, ``);
+    return lines;
+}
+/** Dispose lines for field `i` of `%o` at `ptr` (a getelementptr into
+ * `%o`), released by `release`: a plain reference (no union encoding) is
+ * released only when it is a heap object, since an arena or immortal
+ * object's count (the rc word's low half) is at least 2^28 and its release
+ * would change nothing. */
+export function disposeFieldLines(i, gep, plain, release, comment) {
+    const load = [`  %f${i} = ${gep}`, `  %v${i} = load ptr, ptr %f${i}`];
+    if (!plain)
+        return [...load, `  call void ${release}(ptr %v${i}) ; ${comment}`];
+    return [
+        ...load,
+        `  %nn${i} = icmp ne ptr %v${i}, null`,
+        `  br i1 %nn${i}, label %chk${i}, label %next${i}`,
+        `chk${i}:`,
+        `  %rc${i} = load i32, ptr %v${i}`,
+        `  %heap${i} = icmp ult i32 %rc${i}, ${2 ** 28}`,
+        `  br i1 %heap${i}, label %rel${i}, label %next${i}`,
+        `rel${i}:`,
+        `  call void ${release}(ptr %v${i}) ; ${comment}`,
+        `  br label %next${i}`,
+        `next${i}:`,
+    ];
+}
+/** Whether values of `t` are plain pointers to counted objects. */
+export function plainRefType(t) {
+    return (t.kind === "object" ||
+        t.kind === "record" ||
+        t.kind === "array" ||
+        t.kind === "map" ||
+        t.kind === "set" ||
+        t.kind === "func" ||
+        t.kind === "string");
+}
+/** The dispose function: releases each reference field (`fields`, lines
+ * that load `%v<i>` and release it) of the object `%o`. */
+export function arenaDisposeLines(newSym, fields) {
+    return [
+        `define internal void @${arenaDisposeSym(newSym)}(ptr %o) nounwind { ; arena drop`,
+        `entry:`,
+        ...fields,
+        `  ret void`,
+        `}`,
+        ``,
+    ];
+}
+//# sourceMappingURL=arenas.js.map

package/dist/backend/llvm/arenas.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"arenas.js","sourceRoot":"","sources":["../../../src/backend/llvm/arenas.ts"],"names":[],"mappings":"AAyBA,OAAO,EACL,mBAAmB,EACnB,mBAAmB,EACnB,MAAM,GAEP,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACxD,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAa,MAAM,gBAAgB,CAAC;AACvF,OAAO,EAAE,eAAe,EAAE,aAAa,EAAoB,MAAM,mBAAmB,CAAC;AAErF,wEAAwE;AACxE,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;AAEhC,qEAAqE;AACrE,MAAM,UAAU,eAAe;IAC7B,OAAO,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,KAAK,GAAG,CAAC;AAC/C,CAAC;AAwBD;;;kCAGkC;AAClC,SAAS,yBAAyB,CAAC,GAAa;IAC9C,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,KAAK,GAAG,CAAC,IAAU,EAAQ,EAAE;QACjC,IAAI,KAAK;YAAE,OAAO;QAClB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC5B,IAAI,IAAI,CAAC,EAAE,KAAK,aAAa,IAAI,IAAI,CAAC,EAAE,KAAK,aAAa;gBAAE,KAAK,GAAG,IAAI,CAAC;iBACpE,IAAI,IAAI,CAAC,EAAE,KAAK,uBAAuB,EAAE,CAAC;gBAC7C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAC1B,IAAI,IAAI,EAAE,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;oBACjF,KAAK,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,CAAC;QACD,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,EAAE,IAAI,GAAG,CAAC,SAAS;QAAE,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI;YAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAClE,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;8CAE8C;AAC9C,MAAM,oBAAoB,GAAG,IAAI,CAAC;AAElC,wEAAwE;AACxE,MAAM,UAAU,UAAU,CAAC,GAAa,EAAE,QAA0B;IAClE,IAAI,GAAG,CAAC,SAAS,CAAC,MAAM,GAAG,oBAAoB,IAAI,yBAAyB,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/F,MAAM,MAAM,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC;IACxC,MAAM,KAAK,GAAG,eAAe,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IAC3C,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACpE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,MAAM,IAAI,GAAG,CAAC,IAAU,EAAQ,EAAE;QAChC,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClE,IACE,IAAI;YACJ,IAAI,CAAC,IAAI,KAAK,WAAW;YACzB,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;YAC3B,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC;YAEjC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAChC,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAChC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACrC,IAAI,GAAG,KAAK,SAAS,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC1E,CAAC;QACD,MAAM,IAAI,GAAW,EAAE,CAAC;QACxB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACrB,KAAK,MAAM,CAAC,IAAI,IAAI;YAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC;IACF,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS;QAC5B,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;YAAE,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI;gBAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACtE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK;QAAE,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;YAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5D,uEAAuE;IACvE,sEAAsE;IACtE,sEAAsE;IACtE,kEAAkE;IAClE,4BAA4B;IAC5B,MAAM,UAAU,GAAG,CAAC,IAAU,EAAW,EAAE,CACzC,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACtD,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC1F,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACpD,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;IAC9B,MAAM,MAAM,GAAG,oBAAoB,CAAC,GAAG,EAAE,MAAM,CAAC,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC/F,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACrC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACjF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACvB,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACvB,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACpE,MAAM,CAAC,SAAS,GAAG,aAAa,CAAC,GAAG,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IAC1E,MAAM,SAAS,GAAG,CAAC,CAAS,EAAW,EAAE;QACvC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACzD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACtD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACvB,MAAM,GAAG,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAC5C,OAAO,GAAG,KAAK,IAAI,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC;QACxC,CAAC;QACD,uEAAuE;QACvE,OAAO,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC5E,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,CAAO,EAAW,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACtF,KAAK,MAAM,CAAC,IAAI,mBAAmB,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,CAAC;QAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC5F,MAAM,SAAS,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACxF,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;AACvD,CAAC;AAED;;;mCAGmC;AACnC,SAAS,oBAAoB,CAC3B,GAAa,EACb,SAA8B,EAC9B,KAAkB,EAClB,UAAmC,EACnC,MAA8B;IAE9B,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,CAAC,IAAU,EAAW,EAAE,CAC9C,MAAM,CAAC,IAAI,CAAC;QACZ,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;QACjB,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;YACtB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;YAC1B,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;gBACvE,IAAI,CAAC,IAAI,KAAK,MAAM;gBACpB,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;IACjC,iEAAiE;IACjE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC7C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACzB,IAAI,EAAE,KAAK,SAAS;YAAE,SAAS;QAC/B,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;QAC9B,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACrB,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YAC5B,IAAI,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC1B,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACjB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;oBAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACxC,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;gBAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;iBAC1C,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;gBAAE,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,SAAS,cAAc,CAAC,CAAC;iBACnE,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;gBAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACzD,CAAC,CAAC,CAAC;IACL,CAAC;IACD,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC;IACxC,KAAK,IAAI,OAAO,GAAG,IAAI,EAAE,OAAO,GAAG,CAAC;QAClC,OAAO,GAAG,KAAK,CAAC;QAChB,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,KAAK;YAC7B,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/E,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC1B,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;IACL,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACzB,IAAI,EAAE,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QACjD,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YAC5B,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO;YACvC,MAAM,MAAM,GACV,IAAI,CAAC,IAAI,KAAK,MAAM;gBAClB,CAAC,CAAC,IAAI,CAAC,MAAM;gBACb,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;oBACnB,CAAC,CAAC,IAAI,IAAI,CAAC,SAAS,cAAc;oBAClC,CAAC,CAAC,IAAI,CAAC;YACb,sEAAsE;YACtE,yBAAyB;YACzB,IAAI,MAAM,KAAK,IAAI,IAAI,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrE,CAAC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,WAAW,CAAC,MAAc;IACxC,OAAO,GAAG,MAAM,IAAI,CAAC;AACvB,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,eAAe,CAAC,MAAc;IAC5C,OAAO,GAAG,MAAM,UAAU,CAAC;AAC7B,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,UAAU,CAAC,IAAsB,EAAE,EAA0B;IAC3E,OAAO,IAAI,KAAK,IAAI,IAAI,EAAE,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;AACjF,CAAC;AAWD;;;;8BAI8B;AAC9B,MAAM,UAAU,mBAAmB,CAAC,IAAe,EAAE,IAAY;IAC/D,IAAI,IAAI,CAAC,WAAW,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC3C,IAAI,IAAI,CAAC,gBAAgB,KAAK,IAAI,EAAE,CAAC;QACnC,IAAI,CAAC,OAAO,CAAC,sCAAsC,CAAC,CAAC;QACrD,OAAO,CAAC,GAAG,IAAI,yDAAyD,CAAC,CAAC;IAC5E,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,mDAAmD,CAAC,CAAC;IAClE,IAAI,CAAC,OAAO,CAAC,+DAA+D,CAAC,CAAC;IAC9E,OAAO,CAAC,GAAG,IAAI,8DAA8D,CAAC,CAAC;AACjF,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,aAAa,CAC3B,IAAe,EACf,MAAc,EACd,IAAY,EACZ,GAAkB,EAClB,OAAsB,EACtB,IAAc,EACd,MAAc,EACd,KAAK,GAAwB,QAAQ;IAErC,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC;IACxB,yEAAyE;IACzE,MAAM,IAAI,GAAG,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjC,IAAI,CAAC,OAAO,CAAC,mCAAmC,CAAC,QAAQ,CAAC,CAAC;IAC3D,IAAI,CAAC,OAAO,CAAC,gCAAgC,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;IACrE,MAAM,GAAG,GAAG,mBAAmB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC9C,MAAM,OAAO,GACX,GAAG,KAAK,IAAI;QACV,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,kCAAkC,CAAC,EAAE,CAAC,sCAAsC,CAAC,CAAC;QAC9F,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,2BAA2B,CAAC,CAAC;IACvE,MAAM,KAAK,GAAa;QACtB,wBAAwB,WAAW,CAAC,MAAM,CAAC,gDAAgD;QAC3F,QAAQ;QACR,GAAG,OAAO;QACV,8BAA8B;QAC9B,wCAAwC;QACxC,QAAQ;KACT,CAAC;IACF,0EAA0E;IAC1E,IAAI,GAAG,KAAK,IAAI;QACd,KAAK,CAAC,IAAI,CACR,oCAAoC,QAAQ,SAAS,GAAG,gBAAgB,EACxE,sDAAsD,EACtD,+BAA+B,CAChC,CAAC;IACJ,MAAM,GAAG,GAAG,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;IACvC,KAAK,CAAC,IAAI,CACR,eAAe,CAAC,IAAI,IAAI,KAAK,GAAG,GAAG,CAAC,EAAE,EACtC,cAAc,CAAC,UAAU,EACzB,0BAA0B,EAC1B,gDAAgD,CAAC,IAAI,IAAI,EAAE,EAC3D,8BAA8B,EAC9B,gCAAgC,CAAC,EAAE,EACnC,kCAAkC,CAAC,EAAE,EACrC,iBAAiB,CAAC,cAAc,EAChC,uBAAuB,CAAC,YAAY,CACrC,CAAC;IACF,IAAI,GAAG,KAAK,IAAI;QAAE,KAAK,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;IAC/D,KAAK,CAAC,IAAI,CACR,WAAW,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,6BAA6B,EACzE,QAAQ,EACR,gDAAgD,CAAC,KAAK,EACtD,0BAA0B,CAC3B,CAAC;IACF,IAAI,KAAK,KAAK,QAAQ;QACpB,KAAK,CAAC,IAAI,CAAC,+BAA+B,CAAC,2BAA2B,CAAC,gBAAgB,CAAC,CAAC;SACtF,IAAI,GAAG,KAAK,IAAI;QACnB,KAAK,CAAC,IAAI,CACR,+BAA+B,CAAC,2BAA2B,CAAC,IAAI,OAAO,aAAa,CACrF,CAAC;IACJ,IAAI,GAAG,KAAK,IAAI;QACd,KAAK,CAAC,IAAI,CACR,+BAA+B,EAC/B,yCAAyC,EACzC,qDAAqD,OAAO,EAAE,EAC9D,6DAA6D,CAC9D,CAAC;IACJ,KAAK,CAAC,IAAI,CACR,+CAA+C,CAAC,IAAI,GAAG,EAAE,EACzD,kBAAkB,EAClB,OAAO,EACP,2CAA2C,CAAC,IAAI,IAAI,SAAS,GAAG,IAAI,MAAM,GAAG,EAC7E,gCAAgC,EAChC,wCAAwC,EACxC,OAAO,EACP,gDAAgD,EAChD,GAAG,IAAI,CACR,CAAC;IACF,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACrB,IAAI,CAAC,OAAO,CAAC,iDAAiD,CAAC,CAAC;QAChE,KAAK,CAAC,IAAI,CACR,mDAAmD,CAAC,IAAI,CAAC,GAAG,IAAI,oBAAoB,EACpF,oCAAoC,EACpC,kCAAkC,EAClC,yCAAyC,EACzC,OAAO,EACP,+CAA+C,CAAC,IAAI,CAAC,GAAG,IAAI,uBAAuB,EACnF,4BAA4B,EAC5B,+CAA+C,CAAC,IAAI,CAAC,GAAG,IAAI,2BAA2B,EACvF,4BAA4B,EAC5B,gCAAgC,EAChC,yCAAyC,EACzC,OAAO,EACP,gDAAgD,EAChD,gDAAgD,CAAC,IAAI,IAAI,EAAE,EAC3D,gBAAgB,OAAO,uCAAuC,EAC9D,+CAA+C,CAAC,IAAI,CAAC,GAAG,IAAI,EAAE,EAC9D,2BAA2B,EAC3B,kBAAkB,EAClB,OAAO,EACP,wDAAwD,OAAO,GAAG,EAClE,kBAAkB,EAClB,OAAO,CACR,CAAC;IACJ,CAAC;IACD,KAAK,CAAC,IAAI,CACR,aAAa,MAAM,EAAE,EACrB,OAAO,EACP,oBAAoB,MAAM,IAAI,EAC9B,cAAc,EACd,GAAG,EACH,EAAE,CACH,CAAC;IACF,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;2BAI2B;AAC3B,MAAM,UAAU,iBAAiB,CAC/B,CAAS,EACT,GAAW,EACX,KAAc,EACd,OAAe,EACf,OAAe;IAEf,MAAM,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,EAAE,EAAE,OAAO,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;IACtE,IAAI,CAAC,KAAK;QAAE,OAAO,CAAC,GAAG,IAAI,EAAE,eAAe,OAAO,UAAU,CAAC,OAAO,OAAO,EAAE,CAAC,CAAC;IAChF,OAAO;QACL,GAAG,IAAI;QACP,QAAQ,CAAC,oBAAoB,CAAC,QAAQ;QACtC,cAAc,CAAC,eAAe,CAAC,gBAAgB,CAAC,EAAE;QAClD,MAAM,CAAC,GAAG;QACV,QAAQ,CAAC,sBAAsB,CAAC,EAAE;QAClC,UAAU,CAAC,sBAAsB,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE;QAChD,gBAAgB,CAAC,eAAe,CAAC,gBAAgB,CAAC,EAAE;QACpD,MAAM,CAAC,GAAG;QACV,eAAe,OAAO,UAAU,CAAC,OAAO,OAAO,EAAE;QACjD,mBAAmB,CAAC,EAAE;QACtB,OAAO,CAAC,GAAG;KACZ,CAAC;AACJ,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,YAAY,CAAC,CAAS;IACpC,OAAO,CACL,CAAC,CAAC,IAAI,KAAK,QAAQ;QACnB,CAAC,CAAC,IAAI,KAAK,QAAQ;QACnB,CAAC,CAAC,IAAI,KAAK,OAAO;QAClB,CAAC,CAAC,IAAI,KAAK,KAAK;QAChB,CAAC,CAAC,IAAI,KAAK,KAAK;QAChB,CAAC,CAAC,IAAI,KAAK,MAAM;QACjB,CAAC,CAAC,IAAI,KAAK,QAAQ,CACpB,CAAC;AACJ,CAAC;AAED;2DAC2D;AAC3D,MAAM,UAAU,iBAAiB,CAAC,MAAc,EAAE,MAAgB;IAChE,OAAO;QACL,yBAAyB,eAAe,CAAC,MAAM,CAAC,kCAAkC;QAClF,QAAQ;QACR,GAAG,MAAM;QACT,YAAY;QACZ,GAAG;QACH,EAAE;KACH,CAAC;AACJ,CAAC"}

package/dist/backend/llvm/arenas.test.d.ts

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

package/dist/backend/llvm/arenas.test.js

@@ -0,0 +1,140 @@
+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 } from "../../index.js";
+async function llvmFor(source) {
+    const dir = await mkdtemp(join(tmpdir(), "scriptc-arenas-"));
+    try {
+        const entry = join(dir, "main.ts"), output = join(dir, "main.ll");
+        await writeFile(entry, source);
+        const result = await compile(entry, { outDir: dir, outPath: output, outputKind: "llvm" });
+        if (!result.ok)
+            throw new Error(result.diagnostics.map((item) => `${item.code}: ${item.message}`).join("\n"));
+        return await readFile(output, "utf8");
+    }
+    finally {
+        await rm(dir, { recursive: true, force: true });
+    }
+}
+/** The bodies of the module's arena-aware constructors. */
+function arenaConstructors(llvm) {
+    return [...llvm.matchAll(/^define internal ptr @[^(]*\.r\(\)[^\n]*\n[\s\S]*?^}/gm)].map((m) => m[0]);
+}
+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));
+}
+interface Leaf {
+  left: Leaf | null;
+  right: Leaf | null;
+}
+function leaves(depth: number): Leaf {
+  return depth === 0 ? { left: null, right: null } : { left: leaves(depth - 1), right: leaves(depth - 1) };
+}
+function size(leaf: Leaf): number {
+  return leaf.left === null || leaf.right === null ? 1 : 1 + size(leaf.left) + size(leaf.right);
+}
+`;
+test("when every arena is closed, arena-aware constructors take no dispose list", async () => {
+    const llvm = await llvmFor(`${TREE}
+let total = 0;
+for (let d = 0; d < 4; d++) total += tree(d).count() + size(leaves(d));
+console.log(total);
+`);
+    expect(llvm).toMatch(/@scr_arena_open\(ptr %[\w.]+, i32 1\)/);
+    expect(llvm).not.toMatch(/@scr_arena_open\(ptr %[\w.]+, i32 0\)/);
+    const constructors = arenaConstructors(llvm);
+    expect(constructors.length).toBe(2);
+    for (const body of constructors) {
+        expect(body).not.toContain("ScrArena.closed");
+        expect(body).not.toContain("@scr_arena_disposal");
+    }
+    // A record literal stores every field, and no dispose entry reads them:
+    // the record's constructor does not clear the object. A class constructor
+    // may leave fields unset, so the class's does.
+    const record = constructors.find((body) => body.includes("@sc_rnew_"));
+    const cls = constructors.find((body) => !body.includes("@sc_rnew_"));
+    expect(record).not.toContain("@llvm.memset");
+    expect(cls).toContain("@llvm.memset");
+});
+test("record literals in an arena that is not closed keep the clear their dispose entries need", async () => {
+    // The items hold outside strings, so their groups are not closed.
+    const llvm = await llvmFor(`
+interface Item {
+  label: string;
+  next: Item | null;
+}
+function chain(labels: string[], n: number): Item {
+  return n === 0 ? { label: labels[0]!, next: null } : { label: labels[n % labels.length]!, next: chain(labels, n - 1) };
+}
+function length(item: Item): number {
+  return item.next === null ? item.label.length : item.label.length + length(item.next);
+}
+const labels = ["a", "bb", "ccc"];
+let total = 0;
+for (let round = 0; round < 4; round++) total += length(chain(labels, 10 + round));
+console.log(total);
+`);
+    expect(llvm).toMatch(/@scr_arena_open\(ptr %[\w.]+, i32 0\)/);
+    const items = arenaConstructors(llvm).filter((body) => body.includes("@sc_rnew_"));
+    expect(items.length).toBe(1);
+    expect(items[0]).toContain(".dispose");
+    expect(items[0]).toContain("@llvm.memset");
+});
+test("an arena that is not closed keeps the dispose list in every arena-aware constructor", async () => {
+    // The rings hold strings and outside categories, so their groups are not closed.
+    const llvm = await llvmFor(`${TREE}
+class Category {
+  name: string;
+  constructor(name: string) {
+    this.name = name;
+  }
+}
+class Member {
+  next: Member | undefined = undefined;
+  category: Category;
+  label: string;
+  constructor(category: Category, label: string) {
+    this.category = category;
+    this.label = label;
+  }
+}
+function ring(categories: Category[], size: number, seed: number): Member {
+  const first = new Member(categories[seed % categories.length]!, \`m\${seed}\`);
+  let last = first;
+  for (let i = 1; i < size; i++) {
+    const member = new Member(categories[(seed + i) % categories.length]!, \`m\${seed}-\${i}\`);
+    last.next = member;
+    last = member;
+  }
+  last.next = first;
+  return first;
+}
+const categories = [new Category("a"), new Category("b")];
+let total = 0;
+for (let round = 0; round < 4; round++) {
+  const r = ring(categories, 30, round);
+  total += r.next!.label.length + r.category.name.length + tree(round).count();
+}
+console.log(total);
+`);
+    expect(llvm).toMatch(/@scr_arena_open\(ptr %[\w.]+, i32 1\)/);
+    expect(llvm).toMatch(/@scr_arena_open\(ptr %[\w.]+, i32 0\)/);
+    const withFields = arenaConstructors(llvm).filter((body) => body.includes(".dispose"));
+    expect(withFields.length).toBeGreaterThan(0);
+    for (const body of withFields)
+        expect(body).toContain("ScrArena.closed");
+});
+//# sourceMappingURL=arenas.test.js.map

package/dist/backend/llvm/arenas.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"arenas.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/arenas.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,MAAM,gBAAgB,CAAC;AAEzC,KAAK,UAAU,OAAO,CAAC,MAAc;IACnC,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,iBAAiB,CAAC,CAAC,CAAC;IAC7D,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,EAChC,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;QAChC,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,MAAM,EAAE,CAAC,CAAC;QAC1F,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,MAAM,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACxC,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,2DAA2D;AAC3D,SAAS,iBAAiB,CAAC,IAAY;IACrC,OAAO,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,wDAAwD,CAAC,CAAC,CAAC,GAAG,CACrF,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CACZ,CAAC;AACJ,CAAC;AAED,MAAM,IAAI,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;CAyBZ,CAAC;AAEF,IAAI,CAAC,2EAA2E,EAAE,KAAK,IAAI,EAAE;IAC3F,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,GAAG,IAAI;;;;CAInC,CAAC,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,uCAAuC,CAAC,CAAC;IAC9D,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,uCAAuC,CAAC,CAAC;IAClE,MAAM,YAAY,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAC7C,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;QAC9C,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;IACpD,CAAC;IACD,wEAAwE;IACxE,0EAA0E;IAC1E,+CAA+C;IAC/C,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAE,CAAC;IACxE,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAE,CAAC;IACtE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAC7C,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;AACxC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,0FAA0F,EAAE,KAAK,IAAI,EAAE;IAC1G,kEAAkE;IAClE,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC;;;;;;;;;;;;;;;CAe5B,CAAC,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,uCAAuC,CAAC,CAAC;IAC9D,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC;IACnF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IACvC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qFAAqF,EAAE,KAAK,IAAI,EAAE;IACrG,iFAAiF;IACjF,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,GAAG,IAAI;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAkCnC,CAAC,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,uCAAuC,CAAC,CAAC;IAC9D,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,uCAAuC,CAAC,CAAC;IAC9D,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;IACvF,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC7C,KAAK,MAAM,IAAI,IAAI,UAAU;QAAE,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;AAC3E,CAAC,CAAC,CAAC"}

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

@@ -1,3 +1,7 @@
+/** An inline dyn release call, and the comment that marks one emitted
+ * inside a loop: the sites limitInlineReleases keeps inline first. */
+export declare const DYN_RELEASE_CALL = "call void @sc_rc_release_dyn(";
+export declare const LOOP_SITE = " ; loop";
 export declare class BlockBuilder {
     private readonly blocks;
     private cur;
@@ -22,6 +26,9 @@ export declare class BlockBuilder {
     /** Entry slots whose loads and stores render volatile, so no LLVM pass
      * promotes them to SSA values (see volatileSlotAccess). */
     volatileSlots: ReadonlySet<string> | null;
+    /** Loops of the IR function enclosing the lines being emitted; inline dyn
+     * releases inside one carry LOOP_SITE (shapes.ts limitInlineReleases). */
+    loopDepth: number;
     constructor();
     newLabel(hint: string): string;
     /** The label of the block instructions currently append to. */
@@ -33,7 +40,10 @@ export declare class BlockBuilder {
     slot(): string;
     isTerminated(): boolean;
     terminate(s: string): void;
-    br(label: string): void;
+    /** Ends the block by continuing an unwind with `exception`, the value
+     * of a landing pad (UNWIND_RESUME_DECLARATION). */
+    resumeUnwind(exception: string): void;
+    br(label: string, attachment?: string): void;
     condBr(v: string, t: string, f: string, attachment?: string): void;
     /** Emit a double-indexed `for (i = 0; i < len; i++)` loop. `next` is
      * exposed for bodies with internal branches that need to continue at the

package/dist/backend/llvm/blocks.js

@@ -10,6 +10,10 @@
  * whole statements once the current block is terminated, so no dropped
  * definition can leak into a later block. */
 import { UNWIND_RESUME, UNWIND_SLOT } from "./unwind-abi.js";
+/** An inline dyn release call, and the comment that marks one emitted
+ * inside a loop: the sites limitInlineReleases keeps inline first. */
+export const DYN_RELEASE_CALL = "call void @sc_rc_release_dyn(";
+export const LOOP_SITE = " ; loop";
 export class BlockBuilder {
     blocks = [];
     cur;
@@ -34,6 +38,9 @@ export class BlockBuilder {
     /** Entry slots whose loads and stores render volatile, so no LLVM pass
      * promotes them to SSA values (see volatileSlotAccess). */
     volatileSlots = null;
+    /** Loops of the IR function enclosing the lines being emitted; inline dyn
+     * releases inside one carry LOOP_SITE (shapes.ts limitInlineReleases). */
+    loopDepth = 0;
     constructor() {
         this.cur = { label: "entry", lines: [], term: null };
         this.blocks.push(this.cur);
@@ -50,8 +57,10 @@ export class BlockBuilder {
         this.blocks.push(this.cur);
     }
     line(s) {
-        if (this.cur.term === null)
-            this.cur.lines.push(`  ${this.withDebugLocation(s)}`);
+        if (this.cur.term === null) {
+            const marked = this.loopDepth > 0 && s.startsWith(DYN_RELEASE_CALL) ? s + LOOP_SITE : s;
+            this.cur.lines.push(`  ${this.withDebugLocation(marked)}`);
+        }
     }
     withDebugLocation(s) {
         if (this.debugLocation === null || s.trimStart().startsWith(";"))
@@ -87,13 +96,22 @@ export class BlockBuilder {
             if (s === UNWIND_RESUME) {
                 const exception = this.tmp();
                 this.line(`${exception} = load { ptr, i32 }, ptr ${UNWIND_SLOT}`);
-                s = `resume { ptr, i32 } ${exception}`;
+                this.resumeUnwind(exception);
+                return;
             }
             this.cur.term = `  ${this.withDebugLocation(s)}`;
         }
     }
-    br(label) {
-        this.terminate(`br label %${label}`);
+    /** Ends the block by continuing an unwind with `exception`, the value
+     * of a landing pad (UNWIND_RESUME_DECLARATION). */
+    resumeUnwind(exception) {
+        const token = this.tmp();
+        this.line(`${token} = extractvalue { ptr, i32 } ${exception}, 0`);
+        this.line(`call void @scr_unwind_resume(ptr ${token})`);
+        this.terminate("unreachable");
+    }
+    br(label, attachment = "") {
+        this.terminate(`br label %${label}${attachment}`);
     }
     condBr(v, t, f, attachment = "") {
         this.terminate(`br i1 ${v}, label %${t}, label %${f}${attachment}`);

package/dist/backend/llvm/blocks.js.map

@@ -1 +1 @@
-{"version":3,"file":"blocks.js","sourceRoot":"","sources":["../../../src/backend/llvm/blocks.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;6CAU6C;AAC7C,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAE7D,MAAM,OAAO,YAAY;IACN,MAAM,GAA8D,EAAE,CAAC;IAChF,GAAG,CAA0D;IACrE;;2CAEuC;IAC9B,YAAY,GAAa,EAAE,CAAC;IAC7B,WAAW,GAAG,CAAC,CAAC;IAChB,YAAY,GAAG,CAAC,CAAC;IACzB,aAAa,GAAkB,IAAI,CAAC;IACpC;;yDAEqD;IACrD,gBAAgB,GAAG,KAAK,CAAC;IACzB,yEAAyE;IACzE,OAAO,GAAkB,IAAI,CAAC;IAC9B,kEAAkE;IAClE,cAAc,GAAkB,IAAI,CAAC;IACrC;8BAC0B;IACjB,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IAC3C;+DAC2D;IAC3D,aAAa,GAA+B,IAAI,CAAC;IAEjD;QACE,IAAI,CAAC,GAAG,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACrD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC7B,CAAC;IAED,QAAQ,CAAC,IAAY;QACnB,OAAO,GAAG,IAAI,GAAG,IAAI,CAAC,YAAY,EAAE,EAAE,CAAC;IACzC,CAAC;IAED,+DAA+D;IAC/D,YAAY;QACV,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;IACxB,CAAC;IAED,UAAU,CAAC,KAAa;QACtB,IAAI,CAAC,GAAG,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QAC5C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC7B,CAAC;IAED,IAAI,CAAC,CAAS;QACZ,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI;YAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACpF,CAAC;IAEO,iBAAiB,CAAC,CAAS;QACjC,IAAI,IAAI,CAAC,aAAa,KAAK,IAAI,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,OAAO,CAAC,CAAC;QAC3E,wEAAwE;QACxE,uEAAuE;QACvE,IAAI,MAAM,GAAG,KAAK,CAAC;QACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAClC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG;gBAAE,MAAM,GAAG,CAAC,MAAM,CAAC;YAC1C,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;gBACnC,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,UAAU,IAAI,CAAC,aAAa,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;YAChF,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC,UAAU,IAAI,CAAC,aAAa,EAAE,CAAC;IAC5C,CAAC;IAED,GAAG;QACD,OAAO,KAAK,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;IACnC,CAAC;IAED,IAAI;QACF,OAAO,KAAK,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;IACnC,CAAC;IAED,YAAY;QACV,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC;IAChC,CAAC;IAED,SAAS,CAAC,CAAS;QACjB,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC3B,IACE,IAAI,CAAC,cAAc;gBACnB,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC;oBACnB,CAAC,CAAC,UAAU,CAAC,+BAA+B,CAAC;oBAC7C,CAAC,KAAK,aAAa,CAAC;gBAEtB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YACjC,IAAI,CAAC,KAAK,aAAa,EAAE,CAAC;gBACxB,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC7B,IAAI,CAAC,IAAI,CAAC,GAAG,SAAS,6BAA6B,WAAW,EAAE,CAAC,CAAC;gBAClE,CAAC,GAAG,uBAAuB,SAAS,EAAE,CAAC;YACzC,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,KAAK,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;QACnD,CAAC;IACH,CAAC;IAED,EAAE,CAAC,KAAa;QACd,IAAI,CAAC,SAAS,CAAC,aAAa,KAAK,EAAE,CAAC,CAAC;IACvC,CAAC;IAED,MAAM,CAAC,CAAS,EAAE,CAAS,EAAE,CAAS,EAAE,UAAU,GAAG,EAAE;QACrD,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,YAAY,CAAC,YAAY,CAAC,GAAG,UAAU,EAAE,CAAC,CAAC;IACtE,CAAC;IAED;;iCAE6B;IAC7B,WAAW,CACT,GAAW,EACX,QAA+C,EAC/C,UAAU,GAAkB,KAAK;QAEjC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC9B,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,SAAS,kBAAkB,CAAC,CAAC;QACvD,IAAI,CAAC,IAAI,CAAC,wCAAwC,SAAS,EAAE,CAAC,CAAC;QAC/D,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QACtC,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QACtC,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QACtC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QACnB,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC3B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACxB,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,uBAAuB,SAAS,EAAE,CAAC,CAAC;QACtD,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,WAAW,UAAU,WAAW,KAAK,KAAK,GAAG,EAAE,CAAC,CAAC;QAClE,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC9B,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACtB,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACtB,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE;YAAE,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACtB,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC/B,IAAI,CAAC,IAAI,CAAC,GAAG,WAAW,kBAAkB,KAAK,sBAAsB,CAAC,CAAC;QACvE,IAAI,CAAC,IAAI,CAAC,gBAAgB,WAAW,SAAS,SAAS,EAAE,CAAC,CAAC;QAC3D,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QACnB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;IAED,MAAM;QACJ,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC;QACjC,OAAO,IAAI,CAAC,MAAM;aACf,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACZ,MAAM,IAAI,GACR,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC;gBAChC,CAAC,CAAC,CAAC,CAAC,KAAK;gBACT,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;YAC7D,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YACpF,+DAA+D;YAC/D,mEAAmE;YACnE,cAAc;YACd,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,eAAe,CAAC;YACvC,OAAO,GAAG,CAAC,CAAC,KAAK,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC;QAC9E,CAAC,CAAC;aACD,IAAI,CAAC,IAAI,CAAC,CAAC;IAChB,CAAC;CACF;AAED;;;mCAGmC;AACnC,MAAM,UAAU,kBAAkB,CAAC,IAAY,EAAE,KAA0B;IACzE,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,OAAO,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE;QAAE,EAAE,EAAE,CAAC;IACxC,IAAI,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACvC,IAAI,MAAM,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QAC5B,EAAE,GAAG,MAAM,GAAG,CAAC,CAAC;IAClB,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtF,IAAI,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,WAAW,EAAE,EAAE,GAAG,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACvE,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,GAAG,IAAI,CAAC,CAAC;IACnD,IAAI,OAAO,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7B,MAAM,KAAK,GAAG,OAAO,GAAG,CAAC,CAAC;IAC1B,IAAI,GAAG,GAAG,KAAK,GAAG,CAAC,CAAC;IACpB,OAAO,GAAG,GAAG,IAAI,CAAC,MAAM,IAAI,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QAAE,GAAG,EAAE,CAAC;IACpE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACpD,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,YAAY,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;AACxE,CAAC;AAED,SAAS,UAAU,CAAC,IAAY;IAC9B,OAAO,CACL,CAAC,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI,EAAE,CAAC;QAC1B,CAAC,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI,EAAE,CAAC;QAC1B,CAAC,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI,GAAG,CAAC;QAC3B,IAAI,KAAK,EAAE;QACX,IAAI,KAAK,EAAE,CACZ,CAAC;AACJ,CAAC"}
+{"version":3,"file":"blocks.js","sourceRoot":"","sources":["../../../src/backend/llvm/blocks.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;6CAU6C;AAC7C,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAE7D;sEACsE;AACtE,MAAM,CAAC,MAAM,gBAAgB,GAAG,+BAA+B,CAAC;AAChE,MAAM,CAAC,MAAM,SAAS,GAAG,SAAS,CAAC;AAEnC,MAAM,OAAO,YAAY;IACN,MAAM,GAA8D,EAAE,CAAC;IAChF,GAAG,CAA0D;IACrE;;2CAEuC;IAC9B,YAAY,GAAa,EAAE,CAAC;IAC7B,WAAW,GAAG,CAAC,CAAC;IAChB,YAAY,GAAG,CAAC,CAAC;IACzB,aAAa,GAAkB,IAAI,CAAC;IACpC;;yDAEqD;IACrD,gBAAgB,GAAG,KAAK,CAAC;IACzB,yEAAyE;IACzE,OAAO,GAAkB,IAAI,CAAC;IAC9B,kEAAkE;IAClE,cAAc,GAAkB,IAAI,CAAC;IACrC;8BAC0B;IACjB,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IAC3C;+DAC2D;IAC3D,aAAa,GAA+B,IAAI,CAAC;IACjD;8EAC0E;IAC1E,SAAS,GAAG,CAAC,CAAC;IAEd;QACE,IAAI,CAAC,GAAG,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACrD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC7B,CAAC;IAED,QAAQ,CAAC,IAAY;QACnB,OAAO,GAAG,IAAI,GAAG,IAAI,CAAC,YAAY,EAAE,EAAE,CAAC;IACzC,CAAC;IAED,+DAA+D;IAC/D,YAAY;QACV,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;IACxB,CAAC;IAED,UAAU,CAAC,KAAa;QACtB,IAAI,CAAC,GAAG,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QAC5C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC7B,CAAC;IAED,IAAI,CAAC,CAAS;QACZ,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC3B,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,GAAG,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;YACxF,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC7D,CAAC;IACH,CAAC;IAEO,iBAAiB,CAAC,CAAS;QACjC,IAAI,IAAI,CAAC,aAAa,KAAK,IAAI,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,OAAO,CAAC,CAAC;QAC3E,wEAAwE;QACxE,uEAAuE;QACvE,IAAI,MAAM,GAAG,KAAK,CAAC;QACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAClC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG;gBAAE,MAAM,GAAG,CAAC,MAAM,CAAC;YAC1C,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;gBACnC,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,UAAU,IAAI,CAAC,aAAa,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;YAChF,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC,UAAU,IAAI,CAAC,aAAa,EAAE,CAAC;IAC5C,CAAC;IAED,GAAG;QACD,OAAO,KAAK,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;IACnC,CAAC;IAED,IAAI;QACF,OAAO,KAAK,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;IACnC,CAAC;IAED,YAAY;QACV,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC;IAChC,CAAC;IAED,SAAS,CAAC,CAAS;QACjB,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC3B,IACE,IAAI,CAAC,cAAc;gBACnB,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC;oBACnB,CAAC,CAAC,UAAU,CAAC,+BAA+B,CAAC;oBAC7C,CAAC,KAAK,aAAa,CAAC;gBAEtB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YACjC,IAAI,CAAC,KAAK,aAAa,EAAE,CAAC;gBACxB,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC7B,IAAI,CAAC,IAAI,CAAC,GAAG,SAAS,6BAA6B,WAAW,EAAE,CAAC,CAAC;gBAClE,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;gBAC7B,OAAO;YACT,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,KAAK,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;QACnD,CAAC;IACH,CAAC;IAED;uDACmD;IACnD,YAAY,CAAC,SAAiB;QAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,gCAAgC,SAAS,KAAK,CAAC,CAAC;QAClE,IAAI,CAAC,IAAI,CAAC,oCAAoC,KAAK,GAAG,CAAC,CAAC;QACxD,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IAChC,CAAC;IAED,EAAE,CAAC,KAAa,EAAE,UAAU,GAAG,EAAE;QAC/B,IAAI,CAAC,SAAS,CAAC,aAAa,KAAK,GAAG,UAAU,EAAE,CAAC,CAAC;IACpD,CAAC;IAED,MAAM,CAAC,CAAS,EAAE,CAAS,EAAE,CAAS,EAAE,UAAU,GAAG,EAAE;QACrD,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,YAAY,CAAC,YAAY,CAAC,GAAG,UAAU,EAAE,CAAC,CAAC;IACtE,CAAC;IAED;;iCAE6B;IAC7B,WAAW,CACT,GAAW,EACX,QAA+C,EAC/C,UAAU,GAAkB,KAAK;QAEjC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC9B,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,SAAS,kBAAkB,CAAC,CAAC;QACvD,IAAI,CAAC,IAAI,CAAC,wCAAwC,SAAS,EAAE,CAAC,CAAC;QAC/D,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QACtC,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QACtC,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QACtC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QACnB,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC3B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACxB,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,uBAAuB,SAAS,EAAE,CAAC,CAAC;QACtD,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,WAAW,UAAU,WAAW,KAAK,KAAK,GAAG,EAAE,CAAC,CAAC;QAClE,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC9B,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACtB,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACtB,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE;YAAE,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACtB,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC/B,IAAI,CAAC,IAAI,CAAC,GAAG,WAAW,kBAAkB,KAAK,sBAAsB,CAAC,CAAC;QACvE,IAAI,CAAC,IAAI,CAAC,gBAAgB,WAAW,SAAS,SAAS,EAAE,CAAC,CAAC;QAC3D,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QACnB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;IAED,MAAM;QACJ,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC;QACjC,OAAO,IAAI,CAAC,MAAM;aACf,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACZ,MAAM,IAAI,GACR,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC;gBAChC,CAAC,CAAC,CAAC,CAAC,KAAK;gBACT,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;YAC7D,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YACpF,+DAA+D;YAC/D,mEAAmE;YACnE,cAAc;YACd,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,eAAe,CAAC;YACvC,OAAO,GAAG,CAAC,CAAC,KAAK,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC;QAC9E,CAAC,CAAC;aACD,IAAI,CAAC,IAAI,CAAC,CAAC;IAChB,CAAC;CACF;AAED;;;mCAGmC;AACnC,MAAM,UAAU,kBAAkB,CAAC,IAAY,EAAE,KAA0B;IACzE,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,OAAO,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE;QAAE,EAAE,EAAE,CAAC;IACxC,IAAI,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACvC,IAAI,MAAM,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QAC5B,EAAE,GAAG,MAAM,GAAG,CAAC,CAAC;IAClB,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtF,IAAI,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,WAAW,EAAE,EAAE,GAAG,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACvE,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,GAAG,IAAI,CAAC,CAAC;IACnD,IAAI,OAAO,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7B,MAAM,KAAK,GAAG,OAAO,GAAG,CAAC,CAAC;IAC1B,IAAI,GAAG,GAAG,KAAK,GAAG,CAAC,CAAC;IACpB,OAAO,GAAG,GAAG,IAAI,CAAC,MAAM,IAAI,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QAAE,GAAG,EAAE,CAAC;IACpE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACpD,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,YAAY,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;AACxE,CAAC;AAED,SAAS,UAAU,CAAC,IAAY;IAC9B,OAAO,CACL,CAAC,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI,EAAE,CAAC;QAC1B,CAAC,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI,EAAE,CAAC;QAC1B,CAAC,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI,GAAG,CAAC;QAC3B,IAAI,KAAK,EAAE;QACX,IAAI,KAAK,EAAE,CACZ,CAAC;AACJ,CAAC"}

package/dist/backend/llvm/bytes-headers.d.ts

@@ -0,0 +1,19 @@
+import type { IrStmt } from "../../ir/ir.js";
+import type { LlEmitter } from "./emitter.js";
+export interface BytesHeader {
+    length: string;
+    data: string;
+    /** The view's shared storage (worker programs only). */
+    shared: string | null;
+}
+export interface BytesHeaderScope {
+    /** The function the scope's values belong to. */
+    fn: string;
+    locals: ReadonlyMap<string, BytesHeader>;
+    /** The header of each receiver value read from one of `locals`. */
+    values: Map<string, BytesHeader>;
+}
+/** Reads the header fields of the views `loop` accesses through a const
+ * local or a parameter it does not rebind, at the current block, which must
+ * dominate every copy of the loop. Null when there are none. */
+export declare function emitLoopBytesHeaders(emitter: LlEmitter, loop: IrStmt, parameters: ReadonlySet<string>): BytesHeaderScope | null;