@scriptc/compiler 0.4.6 → 0.4.8

package/dist/backend/llvm/record-entry-fusion.d.ts

@@ -0,0 +1,32 @@
+import { type IrExpr, type IrFunction, type IrStmt } from "../../ir/ir.js";
+import type { LlvmEmitterContext } from "./expr-context.js";
+/** One fused read/write pair. The slots exist once the read emits through
+ * the entry path; a write whose read took another path stays ordinary. */
+export interface RecordEntryPair {
+    slots: {
+        map: string;
+        key: string;
+        entry: string;
+    } | null;
+}
+export interface RecordEntryFusion {
+    reads: Map<IrExpr, RecordEntryPair>;
+    writes: Map<IrStmt, RecordEntryPair>;
+}
+/** Find the fusable read/write pairs of one function. Coroutines keep their
+ * frames in their own storage and are left alone. */
+export declare function findRecordEntryFusions(host: LlvmEmitterContext, fn: IrFunction): RecordEntryFusion;
+/** After a fused read resolved `entry` for `key` in the record's overflow
+ * `map`: park all three for the paired write. */
+export declare function rememberRecordEntry(host: LlvmEmitterContext, read: IrExpr, map: string, key: string, entry: string): void;
+/** Emit a fused write: overwrite the parked entry's value in place when the
+ * read found it, else run `ordinary` with the parked map and key. False
+ * when `write` is not fused or its read never parked an entry (emit the
+ * ordinary set). */
+export declare function emitFusedRecordSet(host: LlvmEmitterContext, write: IrStmt, value: {
+    name: string;
+    access: "f64" | "bool";
+}, ordinary: (map: string, key: string) => void): boolean;
+/** A fused read's value from the parked entry: the entry's value word, as
+ * the index type's own LLVM type. */
+export declare function fusedRecordValue(host: LlvmEmitterContext, entry: string, kind: "f64" | "bool"): string;

package/dist/backend/llvm/record-entry-fusion.js

@@ -0,0 +1,217 @@
+/* Record get-then-set fusion.
+ *
+ * `counts[k] = (counts[k] ?? 0) + 1` probes the overflow map twice for one
+ * key: the read resolves the entry (scr_map_get_str_f64) and the write
+ * resolves it again (scr_map_set_str_f64), and because the object and the
+ * key are each evaluated by their own statement, the pair takes a
+ * retain/release round on both. A typed Map<string, number> with the same
+ * update is fused (map-entry-fusion.ts) and keeps a single probe.
+ *
+ * When the write's value contains exactly one fusable read and that read
+ * names the very same object and key bindings, the read parks the overflow
+ * map, the key and the entry in function-local slots, and the write
+ * overwrites the entry's value slot in place. Every other shape — a miss,
+ * a shape with declared fields, an unfused read — takes the ordinary set.
+ * An existing key's overwrite keeps its position, so insertion order is
+ * unchanged; a miss inserts at the end, exactly like the set.
+ *
+ * The entry is valid until the next mutation of its map, so the value
+ * expression between the read and the write must be inert: it runs no user
+ * code (no getters, no calls) and mutates no collection. Shapes whose reads
+ * can run accessors (accessorOrder), that can be frozen (freezable, or
+ * published), that declare any field (those dispatch before the overflow
+ * map), or whose index value is not a scalar number/boolean are left
+ * ordinary. The parked object and key need no identity check the way a Map
+ * write does: the write names the same bindings, and an inert value
+ * expression cannot rebind them or mutate the record.
+ */
+import { typeEquals } from "../../ir/ir.js";
+import { everyExprChild, everyStmtChild } from "../../ir/traverse.js";
+import { alwaysEvaluates, inert } from "./map-entry-fusion.js";
+import { emitNumberMapSlot } from "./map-number-lookup.js";
+/** Whether `type` can surface a hit of type `iv` (the C helper's
+ * `surface`): the same type, or a union with a matching arm. */
+function surfaceable(host, type, iv) {
+    if (typeEquals(type, iv))
+        return true;
+    if (type.kind !== "union")
+        return false;
+    const def = host.unionsById.get(type.unionId);
+    return def !== undefined && def.arms.some((arm) => typeEquals(arm, iv));
+}
+/** A record read this pass can fuse: a pure dictionary shape (no declared
+ * fields, a scalar index signature, no accessors, not freezable), read
+ * through variable bindings for the object and the key. */
+function fusableRead(host, e) {
+    if (e.kind !== "recordKeyGet")
+        return false;
+    if (e.obj.kind !== "varRef" || e.key.kind !== "varRef")
+        return false;
+    const shape = host.recordShape(e.shapeId);
+    if (shape.fields.length > 0)
+        return false;
+    if (shape.accessorOrder !== undefined || shape.freezable === true)
+        return false;
+    if (host.publishedTypes?.recordGuarded(e.shapeId) === true)
+        return false;
+    const iv = shape.indexValue;
+    if (!iv || (iv.kind !== "f64" && iv.kind !== "bool"))
+        return false;
+    return surfaceable(host, e.type, iv);
+}
+/** The single record read of `e`, if exactly one. */
+function soleRead(host, e) {
+    let found = null;
+    let count = 0;
+    const visit = (node) => {
+        if (node.kind === "recordKeyGet") {
+            count++;
+            if (fusableRead(host, node))
+                found = node;
+        }
+        return everyExprChild(node, visit, () => true);
+    };
+    visit(e);
+    return count === 1 ? found : null;
+}
+/** Same object and key bindings on both sides, and the same shape. */
+function sameBindings(read, write) {
+    return (read.shapeId === write.shapeId &&
+        read.obj.kind === "varRef" &&
+        write.obj.kind === "varRef" &&
+        read.key.kind === "varRef" &&
+        write.key.kind === "varRef" &&
+        read.obj.localId === write.obj.localId &&
+        read.key.localId === write.key.localId);
+}
+/** Find the fusable read/write pairs of one function. Coroutines keep their
+ * frames in their own storage and are left alone. */
+export function findRecordEntryFusions(host, fn) {
+    const out = { reads: new Map(), writes: new Map() };
+    if (fn.async || fn.generator)
+        return out;
+    const pair = (read, write) => {
+        if (out.reads.has(read) || out.writes.has(write))
+            return;
+        const iv = host.recordShape(read.shapeId).indexValue;
+        // The value moves into the index slot with the very same scalar type.
+        if (!typeEquals(write.value.type, iv))
+            return;
+        const entry = { slots: null };
+        out.reads.set(read, entry);
+        out.writes.set(write, entry);
+    };
+    const visitList = (list) => {
+        for (const s of list) {
+            // counts[k] = ...counts[k]...: the read is the only one and runs
+            // unconditionally; nothing between it and the write mutates.
+            if (s.kind === "recordKeySet") {
+                const read = soleRead(host, s.value);
+                if (read && sameBindings(read, s) && alwaysEvaluates(s.value, read) && inert(s.value, read))
+                    pair(read, s);
+            }
+        }
+        for (const s of list)
+            visitStmt(s);
+    };
+    const visitStmt = (s) => {
+        switch (s.kind) {
+            case "if":
+                visitList(s.then);
+                if (s.else_)
+                    visitList(s.else_);
+                return;
+            case "while":
+            case "doWhile":
+            case "forOf":
+            case "block":
+                visitList(s.body);
+                return;
+            case "for":
+                visitList(s.body);
+                return;
+            case "switch":
+                for (const c of s.cases)
+                    visitList(c.body);
+                return;
+            case "tryCatch":
+                visitList(s.tryBody);
+                if (s.catchBody)
+                    visitList(s.catchBody);
+                if (s.finallyBody)
+                    visitList(s.finallyBody);
+                return;
+            default:
+                everyStmtChild(s, () => true, (child) => (visitStmt(child), true));
+        }
+    };
+    visitList(fn.body);
+    return out;
+}
+/** After a fused read resolved `entry` for `key` in the record's overflow
+ * `map`: park all three for the paired write. */
+export function rememberRecordEntry(host, read, map, key, entry) {
+    const pair = host.recordEntryFusion?.reads.get(read);
+    if (!pair)
+        return;
+    const B = host.B;
+    if (pair.slots === null) {
+        const slots = { map: B.slot(), key: B.slot(), entry: B.slot() };
+        B.entryAllocas.push(`${slots.map} = alloca ptr ; fused record read: overflow map`, `${slots.key} = alloca ptr ; fused record read: key`, `${slots.entry} = alloca ptr ; fused record read: entry`, `store ptr null, ptr ${slots.entry}`);
+        pair.slots = slots;
+    }
+    const slots = pair.slots;
+    B.line(`store ptr ${map}, ptr ${slots.map}`);
+    B.line(`store ptr ${key}, ptr ${slots.key}`);
+    B.line(`store ptr ${entry}, ptr ${slots.entry}`);
+}
+/** Emit a fused write: overwrite the parked entry's value in place when the
+ * read found it, else run `ordinary` with the parked map and key. False
+ * when `write` is not fused or its read never parked an entry (emit the
+ * ordinary set). */
+export function emitFusedRecordSet(host, write, value, ordinary) {
+    const slots = host.recordEntryFusion?.writes.get(write)?.slots;
+    if (!slots)
+        return false;
+    const B = host.B;
+    const entry = B.tmp();
+    B.line(`${entry} = load ptr, ptr ${slots.entry}`);
+    // The entry is valid only between its read and this write.
+    B.line(`store ptr null, ptr ${slots.entry}`);
+    const found = B.tmp();
+    B.line(`${found} = icmp ne ptr ${entry}, null`);
+    const hit = B.newLabel("recfuse.hit"), miss = B.newLabel("recfuse.miss"), done = B.newLabel("recfuse.done");
+    B.condBr(found, hit, miss);
+    B.startBlock(hit);
+    const slot = B.tmp(), bits = B.tmp();
+    B.line(`${slot} = getelementptr inbounds %ScrMapEntry, ptr ${entry}, i32 0, i32 1`);
+    if (value.access === "f64")
+        B.line(`${bits} = bitcast double ${value.name} to i64`);
+    else
+        B.line(`${bits} = zext i1 ${value.name} to i64`);
+    B.line(`store i64 ${bits}, ptr ${slot}`);
+    B.br(done);
+    B.startBlock(miss);
+    const map = B.tmp(), key = B.tmp();
+    B.line(`${map} = load ptr, ptr ${slots.map}`);
+    B.line(`${key} = load ptr, ptr ${slots.key}`);
+    ordinary(map, key);
+    B.br(done);
+    B.startBlock(done);
+    return true;
+}
+/** A fused read's value from the parked entry: the entry's value word, as
+ * the index type's own LLVM type. */
+export function fusedRecordValue(host, entry, kind) {
+    const B = host.B;
+    const bits = emitNumberMapSlot(host, entry, "i64");
+    if (kind === "f64") {
+        const raw = B.tmp();
+        B.line(`${raw} = bitcast i64 ${bits} to double`);
+        return raw;
+    }
+    const raw = B.tmp();
+    B.line(`${raw} = trunc i64 ${bits} to i1`);
+    return raw;
+}
+//# sourceMappingURL=record-entry-fusion.js.map

package/dist/backend/llvm/record-entry-fusion.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"record-entry-fusion.js","sourceRoot":"","sources":["../../../src/backend/llvm/record-entry-fusion.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,OAAO,EAA0D,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACpG,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAEtE,OAAO,EAAE,eAAe,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAC/D,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAgB3D;gEACgE;AAChE,SAAS,WAAW,CAAC,IAAwB,EAAE,IAAY,EAAE,EAAU;IACrE,IAAI,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC;IACxC,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9C,OAAO,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;AAC1E,CAAC;AAED;;2DAE2D;AAC3D,SAAS,WAAW,CAAC,IAAwB,EAAE,CAAS;IACtD,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,KAAK,CAAC;IAC5C,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACrE,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC1C,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1C,IAAI,KAAK,CAAC,aAAa,KAAK,SAAS,IAAI,KAAK,CAAC,SAAS,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAChF,IAAI,IAAI,CAAC,cAAc,EAAE,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACzE,MAAM,EAAE,GAAG,KAAK,CAAC,UAAU,CAAC;IAC5B,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IACnE,OAAO,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;AACvC,CAAC;AAED,qDAAqD;AACrD,SAAS,QAAQ,CAAC,IAAwB,EAAE,CAAS;IACnD,IAAI,KAAK,GAAqB,IAAI,CAAC;IACnC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,MAAM,KAAK,GAAG,CAAC,IAAY,EAAW,EAAE;QACtC,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;YACjC,KAAK,EAAE,CAAC;YACR,IAAI,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC;gBAAE,KAAK,GAAG,IAAI,CAAC;QAC5C,CAAC;QACD,OAAO,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC;IACF,KAAK,CAAC,CAAC,CAAC,CAAC;IACT,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AACpC,CAAC;AAED,sEAAsE;AACtE,SAAS,YAAY,CAAC,IAAe,EAAE,KAAgB;IACrD,OAAO,CACL,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO;QAC9B,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;QAC1B,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;QAC3B,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;QAC1B,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;QAC3B,IAAI,CAAC,GAAG,CAAC,OAAO,KAAK,KAAK,CAAC,GAAG,CAAC,OAAO;QACtC,IAAI,CAAC,GAAG,CAAC,OAAO,KAAK,KAAK,CAAC,GAAG,CAAC,OAAO,CACvC,CAAC;AACJ,CAAC;AAED;qDACqD;AACrD,MAAM,UAAU,sBAAsB,CACpC,IAAwB,EACxB,EAAc;IAEd,MAAM,GAAG,GAAsB,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IACvE,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;QAAE,OAAO,GAAG,CAAC;IACzC,MAAM,IAAI,GAAG,CAAC,IAAe,EAAE,KAAgB,EAAQ,EAAE;QACvD,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,OAAO;QACzD,MAAM,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,UAAW,CAAC;QACtD,sEAAsE;QACtE,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;YAAE,OAAO;QAC9C,MAAM,KAAK,GAAoB,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAC/C,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC3B,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,CAAC,IAAuB,EAAQ,EAAE;QAClD,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,iEAAiE;YACjE,6DAA6D;YAC7D,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;gBAC9B,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;gBACrC,IAAI,IAAI,IAAI,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC;oBACzF,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YAClB,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,IAAI;YAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,CAAC,CAAS,EAAQ,EAAE;QACpC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,IAAI;gBACP,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAClB,IAAI,CAAC,CAAC,KAAK;oBAAE,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAChC,OAAO;YACT,KAAK,OAAO,CAAC;YACb,KAAK,SAAS,CAAC;YACf,KAAK,OAAO,CAAC;YACb,KAAK,OAAO;gBACV,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAClB,OAAO;YACT,KAAK,KAAK;gBACR,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAClB,OAAO;YACT,KAAK,QAAQ;gBACX,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK;oBAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAC3C,OAAO;YACT,KAAK,UAAU;gBACb,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBACrB,IAAI,CAAC,CAAC,SAAS;oBAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;gBACxC,IAAI,CAAC,CAAC,WAAW;oBAAE,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;gBAC5C,OAAO;YACT;gBACE,cAAc,CACZ,CAAC,EACD,GAAG,EAAE,CAAC,IAAI,EACV,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CACpC,CAAC;QACN,CAAC;IACH,CAAC,CAAC;IACF,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACnB,OAAO,GAAG,CAAC;AACb,CAAC;AAED;iDACiD;AACjD,MAAM,UAAU,mBAAmB,CACjC,IAAwB,EACxB,IAAY,EACZ,GAAW,EACX,GAAW,EACX,KAAa;IAEb,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACrD,IAAI,CAAC,IAAI;QAAE,OAAO;IAClB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAChE,CAAC,CAAC,YAAY,CAAC,IAAI,CACjB,GAAG,KAAK,CAAC,GAAG,iDAAiD,EAC7D,GAAG,KAAK,CAAC,GAAG,wCAAwC,EACpD,GAAG,KAAK,CAAC,KAAK,0CAA0C,EACxD,uBAAuB,KAAK,CAAC,KAAK,EAAE,CACrC,CAAC;QACF,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;IACrB,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;IACzB,CAAC,CAAC,IAAI,CAAC,aAAa,GAAG,SAAS,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC,IAAI,CAAC,aAAa,GAAG,SAAS,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC,IAAI,CAAC,aAAa,KAAK,SAAS,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;AACnD,CAAC;AAED;;;oBAGoB;AACpB,MAAM,UAAU,kBAAkB,CAChC,IAAwB,EACxB,KAAa,EACb,KAA+C,EAC/C,QAA4C;IAE5C,MAAM,KAAK,GAAG,IAAI,CAAC,iBAAiB,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC;IAC/D,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACzB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACtB,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,oBAAoB,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;IAClD,2DAA2D;IAC3D,CAAC,CAAC,IAAI,CAAC,uBAAuB,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACtB,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,kBAAkB,KAAK,QAAQ,CAAC,CAAC;IAChD,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,EACnC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,EACjC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;IACpC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAC3B,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IAClB,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EAClB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACjB,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,+CAA+C,KAAK,gBAAgB,CAAC,CAAC;IACpF,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK;QAAE,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,qBAAqB,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC;;QAC/E,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,cAAc,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC;IACtD,CAAC,CAAC,IAAI,CAAC,aAAa,IAAI,SAAS,IAAI,EAAE,CAAC,CAAC;IACzC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAChB,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,oBAAoB,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC;IAC9C,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,oBAAoB,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC;IAC9C,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACnB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,OAAO,IAAI,CAAC;AACd,CAAC;AAED;qCACqC;AACrC,MAAM,UAAU,gBAAgB,CAC9B,IAAwB,EACxB,KAAa,EACb,IAAoB;IAEpB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACnD,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QACnB,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACpB,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,kBAAkB,IAAI,YAAY,CAAC,CAAC;QACjD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACpB,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,gBAAgB,IAAI,QAAQ,CAAC,CAAC;IAC3C,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/backend/llvm/record-results.d.ts

@@ -1,4 +1,5 @@
 import { type IrClassDef, type IrExpr, type IrFunction, type IrModule, type IrRecordShape } from "../../ir/ir.js";
+import { type IrNodeIndex } from "../../ir/node-index.js";
 import { InlineUnionFields } from "./inline-unions.js";
 export { RESULT_DST_ID, RESULT_ENTRY_PREFIX, resultEntryName } from "../result-slots.js";
 /** A plain record shape whose fields are numbers, booleans and inline
@@ -28,5 +29,7 @@ export declare function constructorInitializesFields(cls: IrClassDef, ctor: IrFu
  * producer's result (forwarding the slot), or return a parameter of a
  * record shape no store can change (copied into the slot). The original
  * function stays as it is; the backend calls the entry only where the
- * result is proven to be consumed by projections, passing frame storage. */
-export declare function addRecordResultEntries(mod: IrModule): IrModule;
+ * result is proven to be consumed by projections, passing frame storage.
+ * `nodes`, an index of `mod`, gives the record writes and dynamic stores
+ * without walking the bodies. */
+export declare function addRecordResultEntries(mod: IrModule, nodes?: IrNodeIndex): IrModule;

package/dist/backend/llvm/record-results.js

@@ -1,9 +1,11 @@
 import { constructorEscapePoint } from "../cycle-mutability.js";
 import { VOID, } from "../../ir/ir.js";
 import { dynamicFieldStores } from "../../ir/int32-slots.js";
+import { eachNodeOfKinds } from "../../ir/node-index.js";
 import { everyExpr, everyStmtList, transformStmtList } from "../../ir/traverse.js";
 import { InlineUnionFields } from "./inline-unions.js";
 import { RESULT_DST_ID, resultEntryName } from "../result-slots.js";
+const RECORD_WRITE_KINDS = ["recordSet", "recordKeySet", "recordKeyDelete"];
 export { RESULT_DST_ID, RESULT_ENTRY_PREFIX, resultEntryName } from "../result-slots.js";
 function distinctNames(names) {
     return new Set(names).size === names.length;
@@ -85,8 +87,10 @@ export function constructorInitializesFields(cls, ctor) {
  * producer's result (forwarding the slot), or return a parameter of a
  * record shape no store can change (copied into the slot). The original
  * function stays as it is; the backend calls the entry only where the
- * result is proven to be consumed by projections, passing frame storage. */
-export function addRecordResultEntries(mod) {
+ * result is proven to be consumed by projections, passing frame storage.
+ * `nodes`, an index of `mod`, gives the record writes and dynamic stores
+ * without walking the bodies. */
+export function addRecordResultEntries(mod, nodes) {
     const shapes = new Map((mod.records ?? []).map((shape) => [shape.id, shape]));
     // Scalar unions are always tagged boxes, so the full union table decides
     // inline fields exactly as the emitter's boxed table does.
@@ -102,18 +106,15 @@ export function addRecordResultEntries(mod) {
     // shared, since nothing can tell the copy from the original once `===`
     // and field writes are ruled out by the caller's projection proof.
     const written = new Set();
+    const writes = nodes?.scan(RECORD_WRITE_KINDS);
     for (const fn of mod.functions)
-        everyStmtList(fn.body, {
-            expr: () => true,
-            stmt: (stmt) => {
-                if (stmt.kind === "recordSet" ||
-                    stmt.kind === "recordKeySet" ||
-                    stmt.kind === "recordKeyDelete")
-                    written.add(stmt.shapeId);
-                return true;
-            },
+        eachNodeOfKinds(fn, writes, (node) => {
+            if (node.kind === "recordSet" ||
+                node.kind === "recordKeySet" ||
+                node.kind === "recordKeyDelete")
+                written.add(node.shapeId);
         });
-    const dynamicStores = dynamicFieldStores(mod);
+    const dynamicStores = dynamicFieldStores(mod, undefined, undefined, nodes);
     // Copies are limited to scalar shapes: a copy of a reference-owning
     // record would not carry the undeclared source keys a checked conversion
     // may keep beside the original (record-sources.ts).

package/dist/backend/llvm/record-results.js.map

@@ -1 +1 @@
-{"version":3,"file":"record-results.js","sourceRoot":"","sources":["../../../src/backend/llvm/record-results.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAChE,OAAO,EACL,IAAI,GAQL,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACnF,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAEpE,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAEzF,SAAS,aAAa,CAAC,KAAwB;IAC7C,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,CAAC;AAC9C,CAAC;AAED;+DAC+D;AAC/D,MAAM,UAAU,iBAAiB,CAC/B,KAAgC,EAChC,MAAyB;IAEzB,OAAO,CACL,KAAK,KAAK,SAAS;QACnB,CAAC,KAAK,CAAC,UAAU;QACjB,CAAC,KAAK,CAAC,KAAK;QACZ,KAAK,CAAC,MAAM,CAAC,KAAK,CAChB,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CACvF,CACF,CAAC;AACJ,CAAC;AAED;;;;2EAI2E;AAC3E,MAAM,UAAU,gBAAgB,CAAC,KAAgC;IAC/D,OAAO,KAAK,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC;AAClD,CAAC;AAED;2DAC2D;AAC3D,MAAM,UAAU,qBAAqB,CACnC,CAAiC,EACjC,KAAgC;IAEhC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IACpF,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3D,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;AAC9D,CAAC;AAED;;0CAE0C;AAC1C,MAAM,UAAU,qBAAqB,CACnC,GAA2B,EAC3B,IAA4B,EAC5B,MAAe,EACf,eAAwB,EACxB,MAAyB;IAEzB,IACE,CAAC,GAAG;QACJ,CAAC,IAAI;QACL,MAAM;QACN,eAAe;QACf,GAAG,CAAC,OAAO;QACX,GAAG,CAAC,IAAI,KAAK,SAAS;QACtB,GAAG,CAAC,aAAa,KAAK,SAAS;QAC/B,GAAG,CAAC,eAAe;QACnB,CAAC,GAAG,CAAC,YAAY,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;QACnC,IAAI,CAAC,KAAK;QACV,IAAI,CAAC,SAAS;QACd,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CACf,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;YACzB,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;YAC1B,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAC1C;QAED,OAAO,KAAK,CAAC;IACf,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC;IACrC,OAAO,IAAI,KAAK,SAAS,IAAI,sBAAsB,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC;AAC7F,CAAC;AAED;;8CAE8C;AAC9C,MAAM,UAAU,4BAA4B,CAAC,GAAe,EAAE,IAAgB;IAC5E,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC;IACrC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACrC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,YAAY,GAAG;QACnB,IAAI,EAAE,CAAC,IAAY,EAAW,EAAE,CAC9B,CAAC,CACC,IAAI,CAAC,IAAI,KAAK,UAAU;YACxB,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;YAC1B,IAAI,CAAC,GAAG,CAAC,OAAO,KAAK,IAAI;YACzB,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CACxB;QACH,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;KACjB,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;YACxF,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,YAAY,CAAC;gBAAE,OAAO,KAAK,CAAC;YACvD,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,CAAC;aAAM,IAAI,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC;YAAE,OAAO,KAAK,CAAC;IAChE,CAAC;IACD,OAAO,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;AAC7D,CAAC;AAED;;;;;4EAK4E;AAC5E,MAAM,UAAU,sBAAsB,CAAC,GAAa;IAClD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAC9E,yEAAyE;IACzE,2DAA2D;IAC3D,MAAM,MAAM,GAAG,IAAI,iBAAiB,CAClC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,EACvD,GAAG,CAAC,OAAO,IAAI,EAAE,CAClB,CAAC;IACF,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IAC3E,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1F,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,EAAE,eAAe,IAAI,EAAE,CAAC,CAAC;IAC/D,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACpE,MAAM,UAAU,GAAG,CAAC,IAAY,EAAW,EAAE,CAC3C,qBAAqB,CACnB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EACjB,SAAS,CAAC,GAAG,CAAC,IAAI,IAAI,cAAc,CAAC,EACrC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EACf,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAClB,MAAM,CACP,CAAC;IACJ,uEAAuE;IACvE,wEAAwE;IACxE,sEAAsE;IACtE,uEAAuE;IACvE,mEAAmE;IACnE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS;QAC5B,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;YACrB,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;YAChB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;gBACb,IACE,IAAI,CAAC,IAAI,KAAK,WAAW;oBACzB,IAAI,CAAC,IAAI,KAAK,cAAc;oBAC5B,IAAI,CAAC,IAAI,KAAK,iBAAiB;oBAE/B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAC5B,OAAO,IAAI,CAAC;YACd,CAAC;SACF,CAAC,CAAC;IACL,MAAM,aAAa,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC;IAC9C,oEAAoE;IACpE,yEAAyE;IACzE,oDAAoD;IACpD,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAW,EAAE,CACzC,IAAI,CAAC,IAAI,KAAK,QAAQ;QACtB,iBAAiB,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;QACnD,GAAG,CAAC,GAAG,KAAK,SAAS;QACrB,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;QAC1B,CAAC,aAAa,CAAC,GAAG;QAClB,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IACjG,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,QAAQ,GAAG,CAAC,KAAa,EAAE,MAA2B,EAAW,EAAE;QACvE,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,WAAW;gBACd,OAAO,CACL,qBAAqB,CACnB,KAAK,EACL,MAAM,CAAC,GAAG,CAAE,KAAK,CAAC,IAAoC,CAAC,OAAO,CAAC,CAChE,IAAI,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAC5D,CAAC;YACJ,KAAK,KAAK;gBACR,OAAO,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACrC,KAAK,SAAS;gBACZ,OAAO,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YACvE,KAAK,QAAQ;gBACX,OAAO,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC3D,KAAK,aAAa;gBAChB,gEAAgE;gBAChE,qCAAqC;gBACrC,OAAO,CACL,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ;oBAC9B,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;oBAC5B,gBAAgB,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBAChD,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAChE,CAAC;YACJ,KAAK,MAAM;gBACT,OAAO,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACrC;gBACE,OAAO,KAAK,CAAC;QACjB,CAAC;IACH,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,KAAa,EAAE,GAAW,EAAY,EAAE;QACpD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,WAAW;gBACd,OAAO,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBAClC,IAAI,EAAE,WAAW;oBACjB,GAAG,EAAE,GAAG;oBACR,OAAO,EAAG,KAAK,CAAC,IAAoC,CAAC,OAAO;oBAC5D,KAAK,EAAE,KAAK,CAAC,IAAI;oBACjB,KAAK,EAAE,KAAK,CAAC,KAAK;oBAClB,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG;iBACrB,CAAC,CAAC,CAAC;YACN,KAAK,QAAQ,EAAE,CAAC;gBACd,MAAM,OAAO,GAAI,KAAK,CAAC,IAAoC,CAAC,OAAO,CAAC;gBACpE,OAAO,MAAM,CAAC,GAAG,CAAC,OAAO,CAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBACjD,IAAI,EAAE,WAAW;oBACjB,GAAG,EAAE,GAAG;oBACR,OAAO;oBACP,KAAK,EAAE,KAAK,CAAC,IAAI;oBACjB,KAAK,EAAE;wBACL,IAAI,EAAE,WAAW;wBACjB,GAAG,EAAE,KAAK;wBACV,OAAO;wBACP,KAAK,EAAE,KAAK,CAAC,IAAI;wBACjB,IAAI,EAAE,KAAK,CAAC,IAAI;wBAChB,GAAG,EAAE,KAAK,CAAC,GAAG;qBACf;oBACD,GAAG,EAAE,KAAK,CAAC,GAAG;iBACf,CAAC,CAAC,CAAC;YACN,CAAC;YACD,KAAK,aAAa,EAAE,CAAC;gBACnB,MAAM,OAAO,GAAI,KAAK,CAAC,IAAoC,CAAC,OAAO,CAAC;gBACpE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC7E,MAAM,MAAM,GAAa,MAAM;qBAC5B,GAAG,CAAC,OAAO,CAAE;qBACb,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;qBACrD,GAAG,CAAC,CAAC,KAAK,EAAU,EAAE,CAAC,CAAC;oBACvB,IAAI,EAAE,WAAW;oBACjB,GAAG,EAAE,GAAG;oBACR,OAAO;oBACP,KAAK,EAAE,KAAK,CAAC,IAAI;oBACjB,KAAK,EAAE;wBACL,IAAI,EAAE,WAAW;wBACjB,GAAG,EAAE,KAAK,CAAC,MAAM;wBACjB,OAAO;wBACP,KAAK,EAAE,KAAK,CAAC,IAAI;wBACjB,IAAI,EAAE,KAAK,CAAC,IAAI;wBAChB,GAAG,EAAE,KAAK,CAAC,GAAG;qBACf;oBACD,GAAG,EAAE,KAAK,CAAC,GAAG;iBACf,CAAC,CAAC,CAAC;gBACN,OAAO;oBACL,GAAG,MAAM;oBACT,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAU,EAAE,CAAC,CAAC;wBAC5C,IAAI,EAAE,WAAW;wBACjB,GAAG,EAAE,GAAG;wBACR,OAAO;wBACP,KAAK,EAAE,QAAQ,CAAC,IAAI;wBACpB,KAAK,EAAE,QAAQ,CAAC,KAAK;wBACrB,GAAG,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG;qBACxB,CAAC,CAAC;iBACJ,CAAC;YACJ,CAAC;YACD,KAAK,MAAM;gBACT,OAAO;oBACL;wBACE,IAAI,EAAE,UAAU;wBAChB,IAAI,EAAE;4BACJ,IAAI,EAAE,MAAM;4BACZ,MAAM,EAAE,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC;4BACrC,IAAI,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC;4BAC1B,IAAI,EAAE,IAAI;4BACV,GAAG,EAAE,KAAK,CAAC,GAAG;yBACf;wBACD,GAAG,EAAE,KAAK,CAAC,GAAG;qBACf;iBACF,CAAC;YACJ,KAAK,KAAK;gBACR,OAAO;oBACL;wBACE,IAAI,EAAE,UAAU;wBAChB,IAAI,EAAE;4BACJ,IAAI,EAAE,MAAM;4BACZ,MAAM,EAAE,IAAI,KAAK,CAAC,SAAS,cAAc;4BACzC,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC;4BAC1B,IAAI,EAAE,IAAI;4BACV,GAAG,EAAE,KAAK,CAAC,GAAG;yBACf;wBACD,GAAG,EAAE,KAAK,CAAC,GAAG;qBACf;iBACF,CAAC;YACJ,KAAK,SAAS;gBACZ,OAAO;oBACL;wBACE,IAAI,EAAE,IAAI;wBACV,IAAI,EAAE,KAAK,CAAC,IAAI;wBAChB,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC;wBAC3B,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC;wBAC7B,GAAG,EAAE,KAAK,CAAC,GAAG;qBACf;iBACF,CAAC;YACJ;gBACE,MAAM,IAAI,KAAK,CAAC,aAAa,CAAC,CAAC;QACnC,CAAC;IACH,CAAC,CAAC;IACF,wEAAwE;IACxE,wEAAwE;IACxE,wEAAwE;IACxE,qEAAqE;IACrE,MAAM,UAAU,GAAG,CAAC,KAAa,EAAe,EAAE;QAChD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;QAC9B,SAAS,CAAC,KAAK,EAAE;YACf,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;YAChB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;gBACV,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;oBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBAC7C,OAAO,IAAI,CAAC;YACd,CAAC;SACF,CAAC,CAAC;QACH,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,KAAa,EAAE,GAAwB,EAAW,EAAE,CACpE,CAAC,SAAS,CAAC,KAAK,EAAE;QAChB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;YACV,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;gBACf,KAAK,QAAQ,CAAC;gBACd,KAAK,YAAY,CAAC;gBAClB,KAAK,QAAQ;oBACX,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBAC7B,KAAK,SAAS;oBACZ,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC/C;oBACE,OAAO,IAAI,CAAC;YAChB,CAAC;QACH,CAAC;QACD,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;YACV,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;gBACf,KAAK,SAAS,CAAC;gBACf,KAAK,QAAQ;oBACX,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBAC7B;oBACE,OAAO,IAAI,CAAC;YAChB,CAAC;QACH,CAAC;KACF,CAAC,CAAC;IACL,MAAM,MAAM,GAAG,CAAC,KAAa,EAAW,EAAE,CACxC,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;IAC7E,0EAA0E;IAC1E,qBAAqB;IACrB,MAAM,SAAS,GAAG,CAAC,KAAa,EAAE,GAAgB,EAAW,EAAE;QAC7D,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,WAAW,EAAE,CAAC;gBACjB,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBACxD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACvC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;wBAAE,SAAS;oBAClC,MAAM,GAAG,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC;oBACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE;wBACpC,IAAI,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC;4BAAE,OAAO,KAAK,CAAC;oBACzD,SAAS,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE;wBACpB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;4BACV,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;gCAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;4BACrC,OAAO,IAAI,CAAC;wBACd,CAAC;wBACD,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;qBACjB,CAAC,CAAC;gBACL,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,KAAK,SAAS;gBACZ,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAC1F;gBACE,6DAA6D;gBAC7D,gCAAgC;gBAChC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC,CAAC;IACF,MAAM,UAAU,GAAG,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE;QAC7C,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS,IAAI,EAAE,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,CAAC,aAAa,KAAK,SAAS;YACzF,OAAO,KAAK,CAAC;QACf,MAAM,GAAG,GAAG,EAAE,CAAC,UAAU,CAAC;QAC1B,OAAO,CACL,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,gBAAgB,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;YACpE,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CACrD,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,KAAK,MAAM,EAAE,IAAI,UAAU;QAAE,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACpD,sEAAsE;IACtE,MAAM,QAAQ,GAAG,CAAC,EAAc,EAAW,EAAE;QAC3C,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAChE,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;QACrC,MAAM,EAAE,GAAG,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;YAChC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;YACtD,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;gBACV,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;oBAAE,OAAO,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC;gBACtD,OAAO,EAAE,CAAC;gBACV,0CAA0C;gBAC1C,OAAO,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;YACzF,CAAC;SACF,CAAC,CAAC;QACH,OAAO,EAAE,IAAI,OAAO,GAAG,CAAC,CAAC;IAC3B,CAAC,CAAC;IACF,KAAK,IAAI,OAAO,GAAG,IAAI,EAAE,OAAO,GAAG,CAAC;QAClC,OAAO,GAAG,KAAK,CAAC;QAChB,KAAK,MAAM,EAAE,IAAI,UAAU;YACzB,IAAI,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC5C,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;gBAC1B,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;IACL,CAAC;IACD,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;QAC5B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;YAAE,SAAS;QACtC,MAAM,GAAG,GAAG,EAAE,CAAC,UAAU,CAAC;QAC1B,MAAM,KAAK,GAAG,aAAa,CAAC;QAC5B,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC;QAC/E,MAAM,IAAI,GAAG,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE;YACtC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACd,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CACV,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI;gBACrC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE;gBACrF,CAAC,CAAC,CAAC;SACR,CAAC,CAAC;QACH,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,aAAa,EAAE,cAAc,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,CAAC;QAC/E,KAAK,CAAC,IAAI,CAAC;YACT,GAAG,IAAI;YACP,IAAI,EAAE,eAAe,CAAC,EAAE,CAAC,IAAI,CAAC;YAC9B,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YAClE,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YAC7E,UAAU,EAAE,IAAI;YAChB,IAAI;SACL,CAAC,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,SAAS,EAAE,CAAC,GAAG,GAAG,CAAC,SAAS,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC;AACxF,CAAC"}
+{"version":3,"file":"record-results.js","sourceRoot":"","sources":["../../../src/backend/llvm/record-results.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAChE,OAAO,EACL,IAAI,GAQL,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAqC,MAAM,wBAAwB,CAAC;AAC5F,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACnF,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAEpE,MAAM,kBAAkB,GAA0B,CAAC,WAAW,EAAE,cAAc,EAAE,iBAAiB,CAAC,CAAC;AAEnG,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAEzF,SAAS,aAAa,CAAC,KAAwB;IAC7C,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,CAAC;AAC9C,CAAC;AAED;+DAC+D;AAC/D,MAAM,UAAU,iBAAiB,CAC/B,KAAgC,EAChC,MAAyB;IAEzB,OAAO,CACL,KAAK,KAAK,SAAS;QACnB,CAAC,KAAK,CAAC,UAAU;QACjB,CAAC,KAAK,CAAC,KAAK;QACZ,KAAK,CAAC,MAAM,CAAC,KAAK,CAChB,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CACvF,CACF,CAAC;AACJ,CAAC;AAED;;;;2EAI2E;AAC3E,MAAM,UAAU,gBAAgB,CAAC,KAAgC;IAC/D,OAAO,KAAK,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC;AAClD,CAAC;AAED;2DAC2D;AAC3D,MAAM,UAAU,qBAAqB,CACnC,CAAiC,EACjC,KAAgC;IAEhC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IACpF,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3D,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;AAC9D,CAAC;AAED;;0CAE0C;AAC1C,MAAM,UAAU,qBAAqB,CACnC,GAA2B,EAC3B,IAA4B,EAC5B,MAAe,EACf,eAAwB,EACxB,MAAyB;IAEzB,IACE,CAAC,GAAG;QACJ,CAAC,IAAI;QACL,MAAM;QACN,eAAe;QACf,GAAG,CAAC,OAAO;QACX,GAAG,CAAC,IAAI,KAAK,SAAS;QACtB,GAAG,CAAC,aAAa,KAAK,SAAS;QAC/B,GAAG,CAAC,eAAe;QACnB,CAAC,GAAG,CAAC,YAAY,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;QACnC,IAAI,CAAC,KAAK;QACV,IAAI,CAAC,SAAS;QACd,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CACf,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;YACzB,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;YAC1B,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAC1C;QAED,OAAO,KAAK,CAAC;IACf,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC;IACrC,OAAO,IAAI,KAAK,SAAS,IAAI,sBAAsB,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC;AAC7F,CAAC;AAED;;8CAE8C;AAC9C,MAAM,UAAU,4BAA4B,CAAC,GAAe,EAAE,IAAgB;IAC5E,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC;IACrC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACrC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,YAAY,GAAG;QACnB,IAAI,EAAE,CAAC,IAAY,EAAW,EAAE,CAC9B,CAAC,CACC,IAAI,CAAC,IAAI,KAAK,UAAU;YACxB,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;YAC1B,IAAI,CAAC,GAAG,CAAC,OAAO,KAAK,IAAI;YACzB,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CACxB;QACH,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;KACjB,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;YACxF,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,YAAY,CAAC;gBAAE,OAAO,KAAK,CAAC;YACvD,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,CAAC;aAAM,IAAI,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC;YAAE,OAAO,KAAK,CAAC;IAChE,CAAC;IACD,OAAO,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;AAC7D,CAAC;AAED;;;;;;;iCAOiC;AACjC,MAAM,UAAU,sBAAsB,CAAC,GAAa,EAAE,KAAmB;IACvE,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAC9E,yEAAyE;IACzE,2DAA2D;IAC3D,MAAM,MAAM,GAAG,IAAI,iBAAiB,CAClC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,EACvD,GAAG,CAAC,OAAO,IAAI,EAAE,CAClB,CAAC;IACF,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IAC3E,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1F,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,EAAE,eAAe,IAAI,EAAE,CAAC,CAAC;IAC/D,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACpE,MAAM,UAAU,GAAG,CAAC,IAAY,EAAW,EAAE,CAC3C,qBAAqB,CACnB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EACjB,SAAS,CAAC,GAAG,CAAC,IAAI,IAAI,cAAc,CAAC,EACrC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EACf,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAClB,MAAM,CACP,CAAC;IACJ,uEAAuE;IACvE,wEAAwE;IACxE,sEAAsE;IACtE,uEAAuE;IACvE,mEAAmE;IACnE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,MAAM,GAAG,KAAK,EAAE,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAC/C,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS;QAC5B,eAAe,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;YACnC,IACE,IAAI,CAAC,IAAI,KAAK,WAAW;gBACzB,IAAI,CAAC,IAAI,KAAK,cAAc;gBAC5B,IAAI,CAAC,IAAI,KAAK,iBAAiB;gBAE/B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC9B,CAAC,CAAC,CAAC;IACL,MAAM,aAAa,GAAG,kBAAkB,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;IAC3E,oEAAoE;IACpE,yEAAyE;IACzE,oDAAoD;IACpD,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAW,EAAE,CACzC,IAAI,CAAC,IAAI,KAAK,QAAQ;QACtB,iBAAiB,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;QACnD,GAAG,CAAC,GAAG,KAAK,SAAS;QACrB,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;QAC1B,CAAC,aAAa,CAAC,GAAG;QAClB,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IACjG,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,QAAQ,GAAG,CAAC,KAAa,EAAE,MAA2B,EAAW,EAAE;QACvE,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,WAAW;gBACd,OAAO,CACL,qBAAqB,CACnB,KAAK,EACL,MAAM,CAAC,GAAG,CAAE,KAAK,CAAC,IAAoC,CAAC,OAAO,CAAC,CAChE,IAAI,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAC5D,CAAC;YACJ,KAAK,KAAK;gBACR,OAAO,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACrC,KAAK,SAAS;gBACZ,OAAO,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YACvE,KAAK,QAAQ;gBACX,OAAO,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC3D,KAAK,aAAa;gBAChB,gEAAgE;gBAChE,qCAAqC;gBACrC,OAAO,CACL,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ;oBAC9B,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;oBAC5B,gBAAgB,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBAChD,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAChE,CAAC;YACJ,KAAK,MAAM;gBACT,OAAO,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACrC;gBACE,OAAO,KAAK,CAAC;QACjB,CAAC;IACH,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,KAAa,EAAE,GAAW,EAAY,EAAE;QACpD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,WAAW;gBACd,OAAO,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBAClC,IAAI,EAAE,WAAW;oBACjB,GAAG,EAAE,GAAG;oBACR,OAAO,EAAG,KAAK,CAAC,IAAoC,CAAC,OAAO;oBAC5D,KAAK,EAAE,KAAK,CAAC,IAAI;oBACjB,KAAK,EAAE,KAAK,CAAC,KAAK;oBAClB,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG;iBACrB,CAAC,CAAC,CAAC;YACN,KAAK,QAAQ,EAAE,CAAC;gBACd,MAAM,OAAO,GAAI,KAAK,CAAC,IAAoC,CAAC,OAAO,CAAC;gBACpE,OAAO,MAAM,CAAC,GAAG,CAAC,OAAO,CAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBACjD,IAAI,EAAE,WAAW;oBACjB,GAAG,EAAE,GAAG;oBACR,OAAO;oBACP,KAAK,EAAE,KAAK,CAAC,IAAI;oBACjB,KAAK,EAAE;wBACL,IAAI,EAAE,WAAW;wBACjB,GAAG,EAAE,KAAK;wBACV,OAAO;wBACP,KAAK,EAAE,KAAK,CAAC,IAAI;wBACjB,IAAI,EAAE,KAAK,CAAC,IAAI;wBAChB,GAAG,EAAE,KAAK,CAAC,GAAG;qBACf;oBACD,GAAG,EAAE,KAAK,CAAC,GAAG;iBACf,CAAC,CAAC,CAAC;YACN,CAAC;YACD,KAAK,aAAa,EAAE,CAAC;gBACnB,MAAM,OAAO,GAAI,KAAK,CAAC,IAAoC,CAAC,OAAO,CAAC;gBACpE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC7E,MAAM,MAAM,GAAa,MAAM;qBAC5B,GAAG,CAAC,OAAO,CAAE;qBACb,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;qBACrD,GAAG,CAAC,CAAC,KAAK,EAAU,EAAE,CAAC,CAAC;oBACvB,IAAI,EAAE,WAAW;oBACjB,GAAG,EAAE,GAAG;oBACR,OAAO;oBACP,KAAK,EAAE,KAAK,CAAC,IAAI;oBACjB,KAAK,EAAE;wBACL,IAAI,EAAE,WAAW;wBACjB,GAAG,EAAE,KAAK,CAAC,MAAM;wBACjB,OAAO;wBACP,KAAK,EAAE,KAAK,CAAC,IAAI;wBACjB,IAAI,EAAE,KAAK,CAAC,IAAI;wBAChB,GAAG,EAAE,KAAK,CAAC,GAAG;qBACf;oBACD,GAAG,EAAE,KAAK,CAAC,GAAG;iBACf,CAAC,CAAC,CAAC;gBACN,OAAO;oBACL,GAAG,MAAM;oBACT,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAU,EAAE,CAAC,CAAC;wBAC5C,IAAI,EAAE,WAAW;wBACjB,GAAG,EAAE,GAAG;wBACR,OAAO;wBACP,KAAK,EAAE,QAAQ,CAAC,IAAI;wBACpB,KAAK,EAAE,QAAQ,CAAC,KAAK;wBACrB,GAAG,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG;qBACxB,CAAC,CAAC;iBACJ,CAAC;YACJ,CAAC;YACD,KAAK,MAAM;gBACT,OAAO;oBACL;wBACE,IAAI,EAAE,UAAU;wBAChB,IAAI,EAAE;4BACJ,IAAI,EAAE,MAAM;4BACZ,MAAM,EAAE,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC;4BACrC,IAAI,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC;4BAC1B,IAAI,EAAE,IAAI;4BACV,GAAG,EAAE,KAAK,CAAC,GAAG;yBACf;wBACD,GAAG,EAAE,KAAK,CAAC,GAAG;qBACf;iBACF,CAAC;YACJ,KAAK,KAAK;gBACR,OAAO;oBACL;wBACE,IAAI,EAAE,UAAU;wBAChB,IAAI,EAAE;4BACJ,IAAI,EAAE,MAAM;4BACZ,MAAM,EAAE,IAAI,KAAK,CAAC,SAAS,cAAc;4BACzC,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC;4BAC1B,IAAI,EAAE,IAAI;4BACV,GAAG,EAAE,KAAK,CAAC,GAAG;yBACf;wBACD,GAAG,EAAE,KAAK,CAAC,GAAG;qBACf;iBACF,CAAC;YACJ,KAAK,SAAS;gBACZ,OAAO;oBACL;wBACE,IAAI,EAAE,IAAI;wBACV,IAAI,EAAE,KAAK,CAAC,IAAI;wBAChB,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC;wBAC3B,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC;wBAC7B,GAAG,EAAE,KAAK,CAAC,GAAG;qBACf;iBACF,CAAC;YACJ;gBACE,MAAM,IAAI,KAAK,CAAC,aAAa,CAAC,CAAC;QACnC,CAAC;IACH,CAAC,CAAC;IACF,wEAAwE;IACxE,wEAAwE;IACxE,wEAAwE;IACxE,qEAAqE;IACrE,MAAM,UAAU,GAAG,CAAC,KAAa,EAAe,EAAE;QAChD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;QAC9B,SAAS,CAAC,KAAK,EAAE;YACf,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;YAChB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;gBACV,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;oBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBAC7C,OAAO,IAAI,CAAC;YACd,CAAC;SACF,CAAC,CAAC;QACH,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,KAAa,EAAE,GAAwB,EAAW,EAAE,CACpE,CAAC,SAAS,CAAC,KAAK,EAAE;QAChB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;YACV,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;gBACf,KAAK,QAAQ,CAAC;gBACd,KAAK,YAAY,CAAC;gBAClB,KAAK,QAAQ;oBACX,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBAC7B,KAAK,SAAS;oBACZ,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC/C;oBACE,OAAO,IAAI,CAAC;YAChB,CAAC;QACH,CAAC;QACD,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;YACV,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;gBACf,KAAK,SAAS,CAAC;gBACf,KAAK,QAAQ;oBACX,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBAC7B;oBACE,OAAO,IAAI,CAAC;YAChB,CAAC;QACH,CAAC;KACF,CAAC,CAAC;IACL,MAAM,MAAM,GAAG,CAAC,KAAa,EAAW,EAAE,CACxC,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;IAC7E,0EAA0E;IAC1E,qBAAqB;IACrB,MAAM,SAAS,GAAG,CAAC,KAAa,EAAE,GAAgB,EAAW,EAAE;QAC7D,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,WAAW,EAAE,CAAC;gBACjB,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBACxD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACvC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;wBAAE,SAAS;oBAClC,MAAM,GAAG,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC;oBACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE;wBACpC,IAAI,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC;4BAAE,OAAO,KAAK,CAAC;oBACzD,SAAS,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE;wBACpB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;4BACV,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;gCAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;4BACrC,OAAO,IAAI,CAAC;wBACd,CAAC;wBACD,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;qBACjB,CAAC,CAAC;gBACL,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,KAAK,SAAS;gBACZ,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAC1F;gBACE,6DAA6D;gBAC7D,gCAAgC;gBAChC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC,CAAC;IACF,MAAM,UAAU,GAAG,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE;QAC7C,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS,IAAI,EAAE,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,CAAC,aAAa,KAAK,SAAS;YACzF,OAAO,KAAK,CAAC;QACf,MAAM,GAAG,GAAG,EAAE,CAAC,UAAU,CAAC;QAC1B,OAAO,CACL,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,gBAAgB,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;YACpE,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CACrD,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,KAAK,MAAM,EAAE,IAAI,UAAU;QAAE,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACpD,sEAAsE;IACtE,MAAM,QAAQ,GAAG,CAAC,EAAc,EAAW,EAAE;QAC3C,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAChE,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;QACrC,MAAM,EAAE,GAAG,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;YAChC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;YACtD,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;gBACV,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;oBAAE,OAAO,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC;gBACtD,OAAO,EAAE,CAAC;gBACV,0CAA0C;gBAC1C,OAAO,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;YACzF,CAAC;SACF,CAAC,CAAC;QACH,OAAO,EAAE,IAAI,OAAO,GAAG,CAAC,CAAC;IAC3B,CAAC,CAAC;IACF,KAAK,IAAI,OAAO,GAAG,IAAI,EAAE,OAAO,GAAG,CAAC;QAClC,OAAO,GAAG,KAAK,CAAC;QAChB,KAAK,MAAM,EAAE,IAAI,UAAU;YACzB,IAAI,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC5C,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;gBAC1B,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;IACL,CAAC;IACD,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;QAC5B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;YAAE,SAAS;QACtC,MAAM,GAAG,GAAG,EAAE,CAAC,UAAU,CAAC;QAC1B,MAAM,KAAK,GAAG,aAAa,CAAC;QAC5B,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC;QAC/E,MAAM,IAAI,GAAG,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE;YACtC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACd,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CACV,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI;gBACrC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE;gBACrF,CAAC,CAAC,CAAC;SACR,CAAC,CAAC;QACH,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,aAAa,EAAE,cAAc,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,CAAC;QAC/E,KAAK,CAAC,IAAI,CAAC;YACT,GAAG,IAAI;YACP,IAAI,EAAE,eAAe,CAAC,EAAE,CAAC,IAAI,CAAC;YAC9B,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YAClE,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YAC7E,UAAU,EAAE,IAAI;YAChB,IAAI;SACL,CAAC,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,SAAS,EAAE,CAAC,GAAG,GAAG,CAAC,SAAS,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC;AACxF,CAAC"}

package/dist/backend/llvm/record-views.d.ts

@@ -5,7 +5,18 @@ export interface RecordViews {
     readonly targets: ReadonlySet<string>;
     /** The record shapes whose capsules convert to a view of `target`. */
     sources(target: string): readonly string[];
+    /** Whether `target` may be a PARTIAL view of `source`: some of its
+     * fields are absent, because `source` does not declare them (a partial
+     * record literal asserted to a wider type). */
+    partial(target: string, source: string): boolean;
+    /** Shape ids a partial record assertion may produce a view of. */
+    readonly partialTargets: ReadonlySet<string>;
+    /** Whether some partial source of view target `target` lacks `field`. */
+    partialMissing(target: string, field: string): boolean;
 }
+/** The trap of an internal reader of a field a partial view's viewed record
+ * lacks (a width copy, say): a source-level read of the field threw first. */
+export declare const PARTIAL_VIEW_ABSENT = "scriptc: a value asserted as a wider record has no property at this field (copy it explicitly)\n";
 export declare const NO_RECORD_VIEWS: RecordViews;
 interface ViewOptions {
     readonly traced: (shapeId: string) => boolean;
@@ -24,6 +35,15 @@ export declare function recordViewTestLines(sizeType: "i32" | "i64", obj: string
  * `obj` of view-target shape `struct`: the slot itself, or the viewed
  * record's slot when `obj` is a view. Optimized builds test the mark
  * inline and look the slot up out of line; unoptimized builds, which give
- * every value a frame slot, make the address one call. */
-export declare function recordViewFieldPtr(B: BlockBuilder, sizeType: "i32" | "i64", struct: string, obj: string, slotIndex: number, position: number, declare: (decl: string) => void, outOfLine: boolean): string;
+ * every value a frame slot, make the address one call.
+ *
+ * `partial` names a shape a PARTIAL view may present: its viewed record can
+ * lack the field, and the slot lookup answers NULL there (scr_record_view_slot),
+ * so the address stops with `scr_trap` and `cstr(PARTIAL_VIEW_ABSENT)`. The
+ * message is the program's own constant; the runtime carries none. */
+export declare function recordViewFieldPtr(B: BlockBuilder, sizeType: "i32" | "i64", struct: string, obj: string, slotIndex: number, position: number, declare: (decl: string) => void, outOfLine: boolean, cstr: (text: string) => string, partial?: boolean): string;
+/** The block of an address lookup of a field a partial view lacks: the
+ * program stops with its own message (PARTIAL_VIEW_ABSENT) and does not
+ * return. */
+export declare function absentTrapLines(B: BlockBuilder, cstr: (text: string) => string, declare: (decl: string) => void): void;
 export {};