@scriptc/compiler 0.2.5 → 0.2.6

package/dist/backend/llvm/byte-windows.js

@@ -0,0 +1,334 @@
+import { byteNumberAccess } from "../../ir/byte-numbers.js";
+import { isStableReceiverOperand } from "../../ir/analysis.js";
+import { everyExprChild, everyStmtChild } from "../../ir/traverse.js";
+/** Extra receivers are read before the loop only when their initialization
+ * dominates its head. In particular, a zero-iteration loop must not start
+ * reading an otherwise unused, uninitialized output binding. */
+export function findInitializedByteLoopBindings(fn) {
+    const entries = new Map();
+    const initialized = new Set(fn.params.map((p) => p.localId));
+    function list(body, known) {
+        for (const stmt of body) {
+            if (stmt.kind === "varDecl") {
+                if (stmt.init)
+                    known.add(stmt.localId);
+                else
+                    known.delete(stmt.localId);
+            }
+            if (stmt.kind === "assign")
+                known.add(stmt.localId);
+            if (stmt.kind === "block" && !stmt.labels?.length)
+                list(stmt.body, known);
+            if (stmt.kind === "if") {
+                const left = new Set(known), right = new Set(known);
+                list(stmt.then, left);
+                list(stmt.else_ ?? [], right);
+                for (const id of left)
+                    if (right.has(id))
+                        known.add(id);
+            }
+            if (stmt.kind === "for") {
+                entries.set(stmt, new Set(known));
+                const inner = new Set(known);
+                if (stmt.init)
+                    list([stmt.init], inner);
+                list(stmt.body, inner);
+            }
+            if (stmt.kind === "while" || stmt.kind === "doWhile")
+                list(stmt.body, new Set(known));
+        }
+    }
+    list(fn.body, initialized);
+    return entries;
+}
+/** A complete-record guard proves both the last field's extent and exact
+ * affine offsets. The checked loop remains authoritative for partial input.
+ * Only bounded, synchronous bodies with stable direct receivers qualify. */
+export function matchByteWindow(loop, counted, locals, captured, ranges, initialized) {
+    if (counted.start.kind !== "numLit" ||
+        counted.start.value !== 0 ||
+        Object.is(counted.start.value, -0) ||
+        counted.step <= 1 ||
+        counted.inclusive ||
+        counted.limit.kind !== "bytesIntrinsic" ||
+        (counted.limit.method !== "length" && counted.limit.method !== "byteLength") ||
+        counted.limit.receiver.kind !== "varRef" ||
+        counted.limit.receiver.type.kind !== "bytes" ||
+        counted.limit.receiver.type.elem !== "u8")
+        return null;
+    const receiver = counted.limit.receiver;
+    const receiverId = receiver.localId;
+    const local = locals.get(receiverId);
+    if (!local ||
+        local.boxed ||
+        local.tdz ||
+        captured.has(receiverId) ||
+        captured.has(counted.localId))
+        return null;
+    const initializers = new Map();
+    const changed = new Set();
+    const declared = new Set();
+    const progress = new Map();
+    const refused = new Set();
+    // Summing both branch arms bounds every path. At iteration k, a cursor
+    // starts at most k * budget; prefix sums also cover skips and early exits.
+    const prefix = new Map();
+    const update = (id, value) => {
+        if (value?.kind !== "bin" ||
+            value.op !== "+" ||
+            value.left.kind !== "varRef" ||
+            value.left.localId !== id ||
+            value.right.kind !== "numLit" ||
+            !Number.isSafeInteger(value.right.value) ||
+            value.right.value <= 0) {
+            refused.add(id);
+            return;
+        }
+        const next = (progress.get(id) ?? 0) + value.right.value;
+        if (!Number.isSafeInteger(next))
+            refused.add(id);
+        progress.set(id, next);
+    };
+    let cost = 0;
+    const countExpr = (e) => {
+        if (++cost > 160)
+            return false;
+        if (e.kind === "assignExpr" || e.kind === "incDec")
+            changed.add(e.localId);
+        if ((e.kind === "assignExpr" || e.kind === "incDec") &&
+            (e.localId === receiverId || e.localId === counted.localId))
+            return false;
+        prefix.set(e, new Map(progress));
+        const result = everyExprChild(e, countExpr, stableStmt);
+        if (e.kind === "assignExpr")
+            refused.add(e.localId);
+        if (e.kind === "incDec")
+            refused.add(e.localId);
+        return result;
+    };
+    const stableExpr = (e) => countExpr(e) && isStableReceiverOperand(e, receiverId);
+    const stableStmt = (s) => {
+        if (++cost > 160)
+            return false;
+        switch (s.kind) {
+            case "varDecl": {
+                declared.add(s.localId);
+                const binding = locals.get(s.localId);
+                if (initializers.has(s.localId))
+                    changed.add(s.localId);
+                if (s.init && binding && !binding.mutable && !binding.boxed && !binding.tdz)
+                    initializers.set(s.localId, s.init);
+                break;
+            }
+            case "assign":
+                changed.add(s.localId);
+                if (s.localId === receiverId || s.localId === counted.localId)
+                    return false;
+                break;
+            case "exprStmt":
+            case "bytesSet":
+            case "if":
+            case "block":
+            case "break":
+            case "continue":
+            case "return":
+                break;
+            default:
+                return false;
+        }
+        prefix.set(s, new Map(progress));
+        const result = everyStmtChild(s, stableExpr, stableStmt);
+        if (s.kind === "assign")
+            update(s.localId, s.value);
+        return result;
+    };
+    if (!loop.body.every(stableStmt))
+        return null;
+    const resolving = new Set();
+    function affine(e, counter) {
+        if (e.kind === "varRef") {
+            if (e.localId === counter)
+                return { offset: 0, maximum: 0 };
+            if (captured.has(e.localId) || changed.has(e.localId))
+                return null;
+            const init = initializers.get(e.localId);
+            if (!init || resolving.has(e.localId))
+                return null;
+            resolving.add(e.localId);
+            const offset = affine(init, counter);
+            resolving.delete(e.localId);
+            return offset;
+        }
+        if (e.kind !== "bin" ||
+            (e.op !== "+" && e.op !== "-") ||
+            e.right.kind !== "numLit" ||
+            !Number.isSafeInteger(e.right.value))
+            return null;
+        const left = affine(e.left, counter);
+        if (left === null)
+            return null;
+        const result = left.offset + (e.op === "+" ? e.right.value : -e.right.value);
+        return Number.isSafeInteger(result) && result >= 0
+            ? { offset: result, maximum: Math.max(left.maximum, result) }
+            : null;
+    }
+    const bounds = new Set();
+    const facts = new Map(ranges);
+    const counterMax = Number.MAX_SAFE_INTEGER - counted.step;
+    const targetGroups = new Map();
+    function access(node, array, index, width) {
+        if (array.kind !== "varRef")
+            return;
+        if (array.localId === receiverId) {
+            const offset = affine(index, counted.localId);
+            if (offset && offset.maximum <= counted.step && offset.offset + width <= counted.step)
+                bounds.add(node);
+            return;
+        }
+        const target = locals.get(array.localId);
+        if (!target ||
+            target.boxed ||
+            target.tdz ||
+            captured.has(array.localId) ||
+            !initialized.has(array.localId) ||
+            declared.has(array.localId) ||
+            changed.has(array.localId) ||
+            array.type.kind !== "bytes" ||
+            array.type.elem !== "u8")
+            return;
+        for (const [id, budget] of progress) {
+            const cursorLocal = locals.get(id);
+            if (!budget ||
+                !initialized.has(id) ||
+                refused.has(id) ||
+                declared.has(id) ||
+                captured.has(id) ||
+                !cursorLocal ||
+                cursorLocal.boxed ||
+                cursorLocal.tdz ||
+                cursorLocal.type.kind !== "f64")
+                continue;
+            const offset = affine(index, id);
+            if (offset === null)
+                continue;
+            const before = prefix.get(node)?.get(id) ?? 0;
+            const end = before + offset.offset + width;
+            const stride = Math.max(budget, end, before + offset.maximum);
+            if (!Number.isSafeInteger(stride) || stride > 2147483647)
+                continue;
+            const key = `${array.localId.length}:${array.localId}${id}`;
+            const group = targetGroups.get(key);
+            if (group) {
+                group.stride = Math.max(group.stride, stride);
+                group.nodes.push(node);
+            }
+            else
+                targetGroups.set(key, {
+                    receiver: array,
+                    cursor: { kind: "varRef", localId: id, type: cursorLocal.type, loc: index.loc },
+                    stride,
+                    nodes: [node],
+                });
+        }
+    }
+    const expr = (e) => {
+        const offset = affine(e, counted.localId);
+        if (offset && offset.maximum <= counted.step) {
+            const max = counterMax + offset.offset;
+            if (Number.isSafeInteger(max))
+                facts.set(e, { min: offset.offset, max });
+        }
+        if (e.kind === "bytesIntrinsic") {
+            const numeric = byteNumberAccess(e);
+            if (numeric)
+                access(e, e.receiver, e.args[numeric.offsetArg], numeric.width);
+            else if (e.method === "get" && e.args[0])
+                access(e, e.receiver, e.args[0], 1);
+        }
+        return everyExprChild(e, expr, stmt);
+    };
+    const stmt = (s) => {
+        if (s.kind === "bytesSet")
+            access(s, s.arr, s.index, 1);
+        return everyStmtChild(s, expr, stmt);
+    };
+    loop.body.every(stmt);
+    if (bounds.size < 2)
+        return null;
+    const targets = [...targetGroups.values()].slice(0, 4);
+    for (const target of targets)
+        for (const node of target.nodes)
+            bounds.add(node);
+    const cursorStrides = new Map();
+    for (const target of targets)
+        cursorStrides.set(target.cursor.localId, Math.max(cursorStrides.get(target.cursor.localId) ?? 0, target.stride));
+    const scoped = new Map();
+    const cursorExpr = (e) => {
+        for (const [id, stride] of cursorStrides) {
+            const offset = affine(e, id);
+            if (!offset)
+                continue;
+            const before = prefix.get(e)?.get(id) ?? 0;
+            const max = Number.MAX_SAFE_INTEGER - stride + before + offset.offset;
+            const safe = before + offset.maximum <= stride && Number.isSafeInteger(max);
+            const previous = scoped.get(e);
+            scoped.set(e, !safe || previous === null
+                ? null
+                : {
+                    min: Math.min(previous?.min ?? offset.offset, offset.offset),
+                    max: Math.max(previous?.max ?? max, max),
+                });
+        }
+        return everyExprChild(e, cursorExpr, cursorStmt);
+    };
+    const cursorStmt = (s) => everyStmtChild(s, cursorExpr, cursorStmt);
+    loop.body.every(cursorStmt);
+    for (const [e, range] of scoped)
+        if (range)
+            facts.set(e, range);
+    return { receiver, stride: counted.step, bounds, ranges: facts, targets };
+}
+/** Compare record capacities with division so expanding output records
+ * cannot overflow either target's address width. Raw extents establish
+ * safe-number limits separately from each field's value validation. */
+export function emitByteWindowGuard(host, window) {
+    const B = host.B;
+    const receiver = host.emitStableReceiver(window.receiver, []);
+    const lengthPtr = B.tmp(), length = B.tmp(), remaining = B.tmp(), complete = B.tmp();
+    B.line(`${lengthPtr} = getelementptr inbounds %ScrBytes, ptr ${receiver.name}, i64 0, i32 1`);
+    B.line(`${length} = load ${host.sizeType}, ptr ${lengthPtr}`);
+    B.line(`${remaining} = urem ${host.sizeType} ${length}, ${window.stride}`);
+    B.line(`${complete} = icmp eq ${host.sizeType} ${remaining}, 0`);
+    let valid = complete;
+    if (host.sizeType === "i64") {
+        const exact = B.tmp();
+        valid = B.tmp();
+        B.line(`${exact} = icmp ule i64 ${length}, ${Number.MAX_SAFE_INTEGER}`);
+        B.line(`${valid} = and i1 ${complete}, ${exact}`);
+    }
+    for (const target of window.targets) {
+        const output = host.emitStableReceiver(target.receiver, []);
+        const cursor = host.emitExpr(target.cursor);
+        const outputPtr = B.tmp(), outputLength = B.tmp(), records = B.tmp(), capacity = B.tmp(), fits = B.tmp(), zero = B.tmp(), both = B.tmp(), all = B.tmp();
+        B.line(`${outputPtr} = getelementptr inbounds %ScrBytes, ptr ${output.name}, i64 0, i32 1`);
+        B.line(`${outputLength} = load ${host.sizeType}, ptr ${outputPtr}`);
+        B.line(`${records} = udiv ${host.sizeType} ${length}, ${window.stride}`);
+        B.line(`${capacity} = udiv ${host.sizeType} ${outputLength}, ${target.stride}`);
+        B.line(`${fits} = icmp uge ${host.sizeType} ${capacity}, ${records}`);
+        const cursorBits = B.tmp();
+        // Only +0 seeds exact arithmetic; -0 retains the checked number path.
+        B.line(`${cursorBits} = bitcast double ${cursor.name} to i64`);
+        B.line(`${zero} = icmp eq i64 ${cursorBits}, 0`);
+        B.line(`${both} = and i1 ${fits}, ${zero}`);
+        B.line(`${all} = and i1 ${valid}, ${both}`);
+        valid = all;
+        if (host.sizeType === "i64") {
+            const exact = B.tmp(), guarded = B.tmp();
+            B.line(`${exact} = icmp ule i64 ${outputLength}, ${Number.MAX_SAFE_INTEGER}`);
+            B.line(`${guarded} = and i1 ${valid}, ${exact}`);
+            valid = guarded;
+        }
+    }
+    return valid;
+}
+//# sourceMappingURL=byte-windows.js.map

package/dist/backend/llvm/byte-windows.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"byte-windows.js","sourceRoot":"","sources":["../../../src/backend/llvm/byte-windows.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAC/D,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAUtE;;gEAEgE;AAChE,MAAM,UAAU,+BAA+B,CAC7C,EAAc;IAEd,MAAM,OAAO,GAAG,IAAI,GAAG,EAA+B,CAAC;IACvD,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAC7D,SAAS,IAAI,CAAC,IAAuB,EAAE,KAAkB;QACvD,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;YACxB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC5B,IAAI,IAAI,CAAC,IAAI;oBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;;oBAClC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAClC,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACpD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM;gBAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC1E,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;gBACvB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,EACzB,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;gBACzB,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBACtB,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC;gBAC9B,KAAK,MAAM,EAAE,IAAI,IAAI;oBAAE,IAAI,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;wBAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC1D,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBACxB,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;gBAClC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;gBAC7B,IAAI,IAAI,CAAC,IAAI;oBAAE,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;gBACxC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzB,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;gBAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QACxF,CAAC;IACH,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IAC3B,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;4EAE4E;AAC5E,MAAM,UAAU,eAAe,CAC7B,IAA8B,EAC9B,OAA8B,EAC9B,MAAoC,EACpC,QAA6B,EAC7B,MAAqB,EACrB,WAAgC;IAEhC,IACE,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;QAC/B,OAAO,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC;QACzB,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAClC,OAAO,CAAC,IAAI,IAAI,CAAC;QACjB,OAAO,CAAC,SAAS;QACjB,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,gBAAgB;QACvC,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,KAAK,YAAY,CAAC;QAC5E,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;QACxC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAC5C,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI;QAEzC,OAAO,IAAI,CAAC;IACd,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC;IACxC,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC;IACpC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACrC,IACE,CAAC,KAAK;QACN,KAAK,CAAC,KAAK;QACX,KAAK,CAAC,GAAG;QACT,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC;QACxB,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC;QAE7B,OAAO,IAAI,CAAC;IACd,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC/C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,uEAAuE;IACvE,2EAA2E;IAC3E,MAAM,MAAM,GAAG,IAAI,GAAG,EAAgD,CAAC;IACvE,MAAM,MAAM,GAAG,CAAC,EAAU,EAAE,KAAoB,EAAQ,EAAE;QACxD,IACE,KAAK,EAAE,IAAI,KAAK,KAAK;YACrB,KAAK,CAAC,EAAE,KAAK,GAAG;YAChB,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;YAC5B,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,EAAE;YACzB,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;YAC7B,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;YACxC,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,EACtB,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAChB,OAAO;QACT,CAAC;QACD,MAAM,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;QACzD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjD,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IACzB,CAAC,CAAC;IACF,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,MAAM,SAAS,GAAG,CAAC,CAAS,EAAW,EAAE;QACvC,IAAI,EAAE,IAAI,GAAG,GAAG;YAAE,OAAO,KAAK,CAAC;QAC/B,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAC3E,IACE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;YAChD,CAAC,CAAC,CAAC,OAAO,KAAK,UAAU,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,OAAO,CAAC;YAE3D,OAAO,KAAK,CAAC;QACf,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;QACjC,MAAM,MAAM,GAAG,cAAc,CAAC,CAAC,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;QACxD,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY;YAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACpD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAChD,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IACF,MAAM,UAAU,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,uBAAuB,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;IAClG,MAAM,UAAU,GAAG,CAAC,CAAS,EAAW,EAAE;QACxC,IAAI,EAAE,IAAI,GAAG,GAAG;YAAE,OAAO,KAAK,CAAC;QAC/B,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,SAAS,EAAE,CAAC;gBACf,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBACxB,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBACtC,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBACxD,IAAI,CAAC,CAAC,IAAI,IAAI,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,GAAG;oBACzE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;gBACtC,MAAM;YACR,CAAC;YACD,KAAK,QAAQ;gBACX,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBACvB,IAAI,CAAC,CAAC,OAAO,KAAK,UAAU,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,OAAO;oBAAE,OAAO,KAAK,CAAC;gBAC5E,MAAM;YACR,KAAK,UAAU,CAAC;YAChB,KAAK,UAAU,CAAC;YAChB,KAAK,IAAI,CAAC;YACV,KAAK,OAAO,CAAC;YACb,KAAK,OAAO,CAAC;YACb,KAAK,UAAU,CAAC;YAChB,KAAK,QAAQ;gBACX,MAAM;YACR;gBACE,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;QACjC,MAAM,MAAM,GAAG,cAAc,CAAC,CAAC,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;QACzD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;YAAE,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QACpD,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IACF,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,SAAS,MAAM,CAAC,CAAS,EAAE,OAAe;QACxC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACxB,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO;gBAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;YAC5D,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;gBAAE,OAAO,IAAI,CAAC;YACnE,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACzC,IAAI,CAAC,IAAI,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;gBAAE,OAAO,IAAI,CAAC;YACnD,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACzB,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACrC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAC5B,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,IACE,CAAC,CAAC,IAAI,KAAK,KAAK;YAChB,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC;YAC9B,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;YACzB,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;YAEpC,OAAO,IAAI,CAAC;QACd,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACrC,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC7E,OAAO,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,MAAM,IAAI,CAAC;YAChD,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE;YAC7D,CAAC,CAAC,IAAI,CAAC;IACX,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC1C,MAAM,KAAK,GAAG,IAAI,GAAG,CAA8B,MAAM,CAAC,CAAC;IAC3D,MAAM,UAAU,GAAG,MAAM,CAAC,gBAAgB,GAAG,OAAO,CAAC,IAAI,CAAC;IAC1D,MAAM,YAAY,GAAG,IAAI,GAAG,EAQzB,CAAC;IACJ,SAAS,MAAM,CAAC,IAAqB,EAAE,KAAa,EAAE,KAAa,EAAE,KAAa;QAChF,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO;QACpC,IAAI,KAAK,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;YACjC,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;YAC9C,IAAI,MAAM,IAAI,MAAM,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,IAAI,MAAM,CAAC,MAAM,GAAG,KAAK,IAAI,OAAO,CAAC,IAAI;gBACnF,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACnB,OAAO;QACT,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACzC,IACE,CAAC,MAAM;YACP,MAAM,CAAC,KAAK;YACZ,MAAM,CAAC,GAAG;YACV,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC;YAC3B,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC;YAC/B,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC;YAC3B,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;YAC3B,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI;YAExB,OAAO;QACT,KAAK,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACpC,MAAM,WAAW,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACnC,IACE,CAAC,MAAM;gBACP,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;gBACpB,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBACf,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBAChB,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBAChB,CAAC,WAAW;gBACZ,WAAW,CAAC,KAAK;gBACjB,WAAW,CAAC,GAAG;gBACf,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;gBAE/B,SAAS;YACX,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACjC,IAAI,MAAM,KAAK,IAAI;gBAAE,SAAS;YAC9B,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YAC9C,MAAM,GAAG,GAAG,MAAM,GAAG,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC;YAC3C,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;YAC9D,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,UAAU;gBAAE,SAAS;YACnE,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,IAAI,KAAK,CAAC,OAAO,GAAG,EAAE,EAAE,CAAC;YAC5D,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACpC,IAAI,KAAK,EAAE,CAAC;gBACV,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;gBAC9C,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzB,CAAC;;gBACC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE;oBACpB,QAAQ,EAAE,KAAK;oBACf,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE;oBAC/E,MAAM;oBACN,KAAK,EAAE,CAAC,IAAI,CAAC;iBACd,CAAC,CAAC;QACP,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QAC1C,IAAI,MAAM,IAAI,MAAM,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;YAC7C,MAAM,GAAG,GAAG,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC;YACvC,IAAI,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC;gBAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QAC3E,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YAChC,MAAM,OAAO,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;YACpC,IAAI,OAAO;gBAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAE,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;iBACzE,IAAI,CAAC,CAAC,MAAM,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;gBAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChF,CAAC;QACD,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;YAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACxD,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC;IACF,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACtB,IAAI,MAAM,CAAC,IAAI,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,OAAO,GAAG,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACvD,KAAK,MAAM,MAAM,IAAI,OAAO;QAAE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK;YAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAChF,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,KAAK,MAAM,MAAM,IAAI,OAAO;QAC1B,aAAa,CAAC,GAAG,CACf,MAAM,CAAC,MAAM,CAAC,OAAO,EACrB,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CACvE,CAAC;IACJ,MAAM,MAAM,GAAG,IAAI,GAAG,EAA+B,CAAC;IACtD,MAAM,UAAU,GAAG,CAAC,CAAS,EAAW,EAAE;QACxC,KAAK,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;YACzC,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC7B,IAAI,CAAC,MAAM;gBAAE,SAAS;YACtB,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YAC3C,MAAM,GAAG,GAAG,MAAM,CAAC,gBAAgB,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;YACtE,MAAM,IAAI,GAAG,MAAM,GAAG,MAAM,CAAC,OAAO,IAAI,MAAM,IAAI,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;YAC5E,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC/B,MAAM,CAAC,GAAG,CACR,CAAC,EACD,CAAC,IAAI,IAAI,QAAQ,KAAK,IAAI;gBACxB,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC;oBACE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,IAAI,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;oBAC5D,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,IAAI,GAAG,EAAE,GAAG,CAAC;iBACzC,CACN,CAAC;QACJ,CAAC;QACD,OAAO,cAAc,CAAC,CAAC,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;IACnD,CAAC,CAAC;IACF,MAAM,UAAU,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;IACrF,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAC5B,KAAK,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,MAAM;QAAE,IAAI,KAAK;YAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAChE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;AAC5E,CAAC;AAED;;uEAEuE;AACvE,MAAM,UAAU,mBAAmB,CAAC,IAAwB,EAAE,MAAkB;IAC9E,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,QAAQ,GAAG,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IAC9D,MAAM,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,EACvB,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EAChB,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,EACnB,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACrB,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,4CAA4C,QAAQ,CAAC,IAAI,gBAAgB,CAAC,CAAC;IAC9F,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,WAAW,IAAI,CAAC,QAAQ,SAAS,SAAS,EAAE,CAAC,CAAC;IAC9D,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,WAAW,IAAI,CAAC,QAAQ,IAAI,MAAM,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAC3E,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,cAAc,IAAI,CAAC,QAAQ,IAAI,SAAS,KAAK,CAAC,CAAC;IACjE,IAAI,KAAK,GAAG,QAAQ,CAAC;IACrB,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACtB,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAChB,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,mBAAmB,MAAM,KAAK,MAAM,CAAC,gBAAgB,EAAE,CAAC,CAAC;QACxE,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,aAAa,QAAQ,KAAK,KAAK,EAAE,CAAC,CAAC;IACpD,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC5D,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC5C,MAAM,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,EACvB,YAAY,GAAG,CAAC,CAAC,GAAG,EAAE,EACtB,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,EAClB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EACd,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EACd,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EACd,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAChB,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,4CAA4C,MAAM,CAAC,IAAI,gBAAgB,CAAC,CAAC;QAC5F,CAAC,CAAC,IAAI,CAAC,GAAG,YAAY,WAAW,IAAI,CAAC,QAAQ,SAAS,SAAS,EAAE,CAAC,CAAC;QACpE,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,WAAW,IAAI,CAAC,QAAQ,IAAI,MAAM,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QACzE,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,WAAW,IAAI,CAAC,QAAQ,IAAI,YAAY,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QAChF,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,eAAe,IAAI,CAAC,QAAQ,IAAI,QAAQ,KAAK,OAAO,EAAE,CAAC,CAAC;QACtE,MAAM,UAAU,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAC3B,sEAAsE;QACtE,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,qBAAqB,MAAM,CAAC,IAAI,SAAS,CAAC,CAAC;QAC/D,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,kBAAkB,UAAU,KAAK,CAAC,CAAC;QACjD,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,aAAa,IAAI,KAAK,IAAI,EAAE,CAAC,CAAC;QAC5C,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,aAAa,KAAK,KAAK,IAAI,EAAE,CAAC,CAAC;QAC5C,KAAK,GAAG,GAAG,CAAC;QACZ,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;YAC5B,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,EACnB,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACpB,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,mBAAmB,YAAY,KAAK,MAAM,CAAC,gBAAgB,EAAE,CAAC,CAAC;YAC9E,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,aAAa,KAAK,KAAK,KAAK,EAAE,CAAC,CAAC;YACjD,KAAK,GAAG,OAAO,CAAC;QAClB,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/backend/llvm/byte-windows.test.d.ts

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

package/dist/backend/llvm/byte-windows.test.js

@@ -0,0 +1,244 @@
+import { expect, test } from "vitest";
+import { BOOL, F64, VOID, } from "../../ir/ir.js";
+import { everyStmtList } from "../../ir/traverse.js";
+import { analyzeIntegerRanges } from "../../ir/integer-ranges.js";
+import { matchIntegerCountedForLoop } from "../../ir/integer-loops.js";
+import { findInitializedByteLoopBindings, matchByteWindow } from "./byte-windows.js";
+const loc = { file: "windows.ts", start: 0, end: 0 };
+const bytes = { kind: "bytes", elem: "u8" };
+const num = (value) => ({ kind: "numLit", value, type: F64, loc });
+const ref = (localId, type = F64) => ({
+    kind: "varRef",
+    localId,
+    type,
+    loc,
+});
+const add = (left, value) => ({
+    kind: "bin",
+    op: "+",
+    left,
+    right: num(value),
+    type: F64,
+    loc,
+});
+const read = (index) => ({
+    kind: "bytesIntrinsic",
+    method: "readNum",
+    receiver: ref("input", bytes),
+    args: [{ kind: "strLit", value: "u32le", type: { kind: "string" }, loc }, index],
+    type: F64,
+    loc,
+});
+const write = (index) => ({
+    kind: "exprStmt",
+    expr: {
+        kind: "bytesIntrinsic",
+        method: "writeNum",
+        receiver: ref("output", bytes),
+        args: [{ kind: "strLit", value: "u32be", type: { kind: "string" }, loc }, num(1), index],
+        type: F64,
+        loc,
+    },
+    loc,
+});
+const expression = (expr) => ({ kind: "exprStmt", expr, loc });
+const advance = (value) => ({
+    kind: "assign",
+    localId: "position",
+    value: add(ref("position"), value),
+    loc,
+});
+function fixture() {
+    const loop = {
+        kind: "for",
+        init: { kind: "varDecl", localId: "offset", init: num(0), loc },
+        cond: {
+            kind: "bin",
+            op: "<",
+            left: ref("offset"),
+            right: {
+                kind: "bytesIntrinsic",
+                method: "length",
+                receiver: ref("input", bytes),
+                args: [],
+                type: F64,
+                loc,
+            },
+            type: BOOL,
+            loc,
+        },
+        update: { kind: "assign", localId: "offset", value: add(ref("offset"), 8), loc },
+        body: [
+            expression(read(ref("offset"))),
+            expression(read(add(ref("offset"), 4))),
+            write(ref("position")),
+            advance(4),
+        ],
+        loc,
+    };
+    const locals = ["input", "output", "position", "offset", "alias"].map((id) => ({
+        id,
+        name: id,
+        type: id === "input" || id === "output" ? bytes : F64,
+        mutable: id !== "alias",
+    }));
+    return {
+        loop,
+        fn: {
+            name: "window",
+            params: ["input", "output"].map((id) => ({ localId: id, name: id, type: bytes })),
+            returnType: VOID,
+            locals,
+            body: [{ kind: "varDecl", localId: "position", init: num(0), loc }, loop],
+            loc,
+        },
+    };
+}
+function match(fn, loop) {
+    const locals = new Map(fn.locals.map((l) => [l.id, l]));
+    const ranges = analyzeIntegerRanges(fn);
+    const counted = matchIntegerCountedForLoop(loop, locals, ranges);
+    if (!counted)
+        return null;
+    return matchByteWindow(loop, counted, locals, new Set((fn.captures ?? []).map((c) => c.localId)), ranges, findInitializedByteLoopBindings(fn).get(loop) ?? new Set());
+}
+test("proves complete input fields and a filtered output cursor without changing global facts", () => {
+    const { fn, loop } = fixture();
+    const ranges = analyzeIntegerRanges(fn), before = [...ranges];
+    const locals = new Map(fn.locals.map((l) => [l.id, l]));
+    const window = matchByteWindow(loop, matchIntegerCountedForLoop(loop, locals, ranges), locals, new Set(), ranges, new Set(["input", "output", "position"]));
+    expect(window?.bounds.size).toBe(3);
+    expect(window?.targets.map((t) => t.stride)).toEqual([4]);
+    expect([...ranges]).toEqual(before);
+    const access = loop.body[1].expr;
+    expect(access.kind).toBe("bytesIntrinsic");
+    if (access.kind === "bytesIntrinsic")
+        expect(window?.ranges.get(access.args[1])).toEqual({
+            min: 4,
+            max: Number.MAX_SAFE_INTEGER - 4,
+        });
+});
+test("includes progress before each field and conservatively sums alternative branches", () => {
+    const { fn, loop } = fixture();
+    loop.body.splice(2, 0, {
+        kind: "if",
+        cond: { kind: "boolLit", value: true, type: BOOL, loc },
+        then: [advance(4)],
+        else_: [advance(8)],
+        loc,
+    });
+    expect(match(fn, loop)?.targets.map((t) => t.stride)).toEqual([16]);
+    loop.body.push(advance(-4));
+    expect(match(fn, loop)?.targets).toEqual([]);
+});
+test("follows immutable offset aliases and refuses mutated, captured or cyclic aliases", () => {
+    const { fn, loop } = fixture();
+    loop.body.splice(1, 1, { kind: "varDecl", localId: "alias", init: add(ref("offset"), 4), loc }, expression(read(ref("alias"))));
+    expect(match(fn, loop)?.bounds.size).toBe(3);
+    fn.captures = [{ localId: "alias", name: "alias", type: F64 }];
+    expect(match(fn, loop)).toBeNull();
+    delete fn.captures;
+    loop.body.push({ kind: "assign", localId: "alias", value: num(0), loc });
+    expect(match(fn, loop)).toBeNull();
+    loop.body.pop();
+    loop.body[1].init = ref("alias");
+    expect(match(fn, loop)).toBeNull();
+});
+test("does not hoist uninitialized receivers or borrow cursor proofs across expression writes", () => {
+    const { fn, loop } = fixture();
+    fn.params = fn.params.filter((p) => p.localId !== "output");
+    fn.body.unshift({ kind: "varDecl", localId: "output", init: null, loc });
+    expect(match(fn, loop)?.targets).toEqual([]);
+    fn.body[0] = { kind: "assign", localId: "output", value: ref("input", bytes), loc };
+    expect(match(fn, loop)?.targets).toHaveLength(1);
+    loop.body.push(expression({
+        kind: "assignExpr",
+        localId: "position",
+        value: add(ref("position"), 4),
+        type: F64,
+        loc,
+    }));
+    expect(match(fn, loop)?.targets).toEqual([]);
+});
+test("rejects receiver changes, opaque bodies and oversized duplication", () => {
+    for (const extra of [
+        { kind: "assign", localId: "input", value: ref("output", bytes), loc },
+        { kind: "while", cond: { kind: "boolLit", value: false, type: BOOL, loc }, body: [], loc },
+        expression({ kind: "call", callee: "opaque", args: [], type: F64, loc }),
+    ]) {
+        const { fn, loop } = fixture();
+        loop.body.push(extra);
+        expect(match(fn, loop)).toBeNull();
+    }
+    const { fn, loop } = fixture();
+    loop.body.push(...Array.from({ length: 160 }, () => expression(num(0))));
+    expect(match(fn, loop)).toBeNull();
+});
+test("does not treat cancellation of rounded intermediate offsets as an affine field", () => {
+    const { fn, loop } = fixture();
+    const rounded = add(add(add(ref("offset"), Number.MAX_SAFE_INTEGER), -Number.MAX_SAFE_INTEGER), 4);
+    loop.body[1] = expression(read(rounded));
+    expect(match(fn, loop)).toBeNull();
+});
+test("initialization must dominate the loop on both branch paths", () => {
+    const { fn, loop } = fixture();
+    fn.params = fn.params.filter((p) => p.localId !== "output");
+    const initialize = { kind: "assign", localId: "output", value: ref("input", bytes), loc };
+    const branch = {
+        kind: "if",
+        cond: { kind: "boolLit", value: true, type: BOOL, loc },
+        then: [initialize],
+        else_: [],
+        loc,
+    };
+    fn.body.splice(1, 0, branch);
+    expect(match(fn, loop)?.targets).toEqual([]);
+    branch.else_ = [initialize];
+    expect(match(fn, loop)?.targets).toHaveLength(1);
+});
+test("keeps receiver/cursor pairs distinct when IR identifiers contain separators", () => {
+    const { fn, loop } = fixture();
+    const rename = (id) => (id === "output" ? "a:b" : id === "position" ? "c" : id);
+    for (const local of fn.locals)
+        local.id = rename(local.id);
+    for (const param of fn.params)
+        param.localId = rename(param.localId);
+    everyStmtList(fn.body, {
+        expr: (e) => {
+            if (e.kind === "varRef" || e.kind === "assignExpr" || e.kind === "incDec")
+                e.localId = rename(e.localId);
+            return true;
+        },
+        stmt: (s) => {
+            if (s.kind === "assign" || s.kind === "varDecl")
+                s.localId = rename(s.localId);
+            return true;
+        },
+    });
+    fn.params.push({ localId: "a", name: "second", type: bytes });
+    fn.locals.push({ id: "a", name: "second", type: bytes, mutable: false }, { id: "b:c", name: "secondary", type: F64, mutable: true });
+    fn.body.unshift({ kind: "varDecl", localId: "b:c", init: num(0), loc });
+    loop.body.push({
+        kind: "exprStmt",
+        expr: {
+            kind: "bytesIntrinsic",
+            method: "writeNum",
+            receiver: ref("a", bytes),
+            args: [
+                { kind: "strLit", value: "u32be", type: { kind: "string" }, loc },
+                num(1),
+                ref("b:c"),
+            ],
+            type: F64,
+            loc,
+        },
+        loc,
+    }, { kind: "assign", localId: "b:c", value: add(ref("b:c"), 4), loc });
+    const window = match(fn, loop);
+    expect(window?.targets.map((t) => t.receiver.kind === "varRef" ? [t.receiver.localId, t.cursor.localId] : null)).toEqual([
+        ["a:b", "c"],
+        ["a", "b:c"],
+    ]);
+    expect(window?.bounds.size).toBe(4);
+});
+//# sourceMappingURL=byte-windows.test.js.map

package/dist/backend/llvm/byte-windows.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"byte-windows.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/byte-windows.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EACL,IAAI,EACJ,GAAG,EACH,IAAI,GAKL,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAClE,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AACvE,OAAO,EAAE,+BAA+B,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAErF,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACrD,MAAM,KAAK,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAW,CAAC;AACrD,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACnF,MAAM,GAAG,GAAG,CAAC,OAAe,EAAE,IAAI,GAAmB,GAAG,EAAU,EAAE,CAAC,CAAC;IACpE,IAAI,EAAE,QAAQ;IACd,OAAO;IACP,IAAI;IACJ,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC;IACpD,IAAI,EAAE,KAAK;IACX,EAAE,EAAE,GAAG;IACP,IAAI;IACJ,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC;IACjB,IAAI,EAAE,GAAG;IACT,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,IAAI,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;IACvC,IAAI,EAAE,gBAAgB;IACtB,MAAM,EAAE,SAAS;IACjB,QAAQ,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC;IAC7B,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,EAAE,KAAK,CAAC;IAChF,IAAI,EAAE,GAAG;IACT,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,KAAK,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;IACxC,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE;QACJ,IAAI,EAAE,gBAAgB;QACtB,MAAM,EAAE,UAAU;QAClB,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC;QAC9B,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC;QACxF,IAAI,EAAE,GAAG;QACT,GAAG;KACJ;IACD,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,UAAU,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAC/E,MAAM,OAAO,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;IAC1C,IAAI,EAAE,QAAQ;IACd,OAAO,EAAE,UAAU;IACnB,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC;IAClC,GAAG;CACJ,CAAC,CAAC;AACH,SAAS,OAAO;IACd,MAAM,IAAI,GAA6B;QACrC,IAAI,EAAE,KAAK;QACX,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE;QAC/D,IAAI,EAAE;YACJ,IAAI,EAAE,KAAK;YACX,EAAE,EAAE,GAAG;YACP,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC;YACnB,KAAK,EAAE;gBACL,IAAI,EAAE,gBAAgB;gBACtB,MAAM,EAAE,QAAQ;gBAChB,QAAQ,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC;gBAC7B,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ;YACD,IAAI,EAAE,IAAI;YACV,GAAG;SACJ;QACD,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE;QAChF,IAAI,EAAE;YACJ,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC/B,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACvC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YACtB,OAAO,CAAC,CAAC,CAAC;SACX;QACD,GAAG;KACJ,CAAC;IACF,MAAM,MAAM,GAAc,CAAC,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACxF,EAAE;QACF,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,EAAE,KAAK,OAAO,IAAI,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG;QACrD,OAAO,EAAE,EAAE,KAAK,OAAO;KACxB,CAAC,CAAC,CAAC;IACJ,OAAO;QACL,IAAI;QACJ,EAAE,EAAE;YACF,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;YACjF,UAAU,EAAE,IAAI;YAChB,MAAM;YACN,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,IAAI,CAAC;YACzE,GAAG;SACJ;KACF,CAAC;AACJ,CAAC;AACD,SAAS,KAAK,CAAC,EAAc,EAAE,IAA8B;IAC3D,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,MAAM,MAAM,GAAG,oBAAoB,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,OAAO,GAAG,0BAA0B,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IACjE,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAC1B,OAAO,eAAe,CACpB,IAAI,EACJ,OAAO,EACP,MAAM,EACN,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAClD,MAAM,EACN,+BAA+B,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAE,CAC3D,CAAC;AACJ,CAAC;AAED,IAAI,CAAC,yFAAyF,EAAE,GAAG,EAAE;IACnG,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,OAAO,EAAE,CAAC;IAC/B,MAAM,MAAM,GAAG,oBAAoB,CAAC,EAAE,CAAC,EACrC,MAAM,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC;IACvB,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,MAAM,MAAM,GAAG,eAAe,CAC5B,IAAI,EACJ,0BAA0B,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAE,EACjD,MAAM,EACN,IAAI,GAAG,EAAE,EACT,MAAM,EACN,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CACzC,CAAC;IACF,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1D,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACpC,MAAM,MAAM,GAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAmC,CAAC,IAAI,CAAC;IACpE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC3C,IAAI,MAAM,CAAC,IAAI,KAAK,gBAAgB;QAClC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,OAAO,CAAC;YAClD,GAAG,EAAE,CAAC;YACN,GAAG,EAAE,MAAM,CAAC,gBAAgB,GAAG,CAAC;SACjC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kFAAkF,EAAE,GAAG,EAAE;IAC5F,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,OAAO,EAAE,CAAC;IAC/B,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE;QACrB,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QACvD,IAAI,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAClB,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACnB,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACpE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5B,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAC/C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kFAAkF,EAAE,GAAG,EAAE;IAC5F,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,OAAO,EAAE,CAAC;IAC/B,IAAI,CAAC,IAAI,CAAC,MAAM,CACd,CAAC,EACD,CAAC,EACD,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,EACvE,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAC/B,CAAC;IACF,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7C,EAAE,CAAC,QAAQ,GAAG,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IAC/D,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACnC,OAAO,EAAE,CAAC,QAAQ,CAAC;IACnB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACzE,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACnC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;IACf,IAAI,CAAC,IAAI,CAAC,CAAC,CAAkC,CAAC,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC;IACnE,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACrC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,yFAAyF,EAAE,GAAG,EAAE;IACnG,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,OAAO,EAAE,CAAC;IAC/B,EAAE,CAAC,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC;IAC5D,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IACzE,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC7C,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,GAAG,EAAE,CAAC;IACpF,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACjD,IAAI,CAAC,IAAI,CAAC,IAAI,CACZ,UAAU,CAAC;QACT,IAAI,EAAE,YAAY;QAClB,OAAO,EAAE,UAAU;QACnB,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QAC9B,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CACH,CAAC;IACF,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAC/C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mEAAmE,EAAE,GAAG,EAAE;IAC7E,KAAK,MAAM,KAAK,IAAI;QAClB,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,GAAG,EAAE;QACtE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE;QAC1F,UAAU,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;KAC7D,EAAE,CAAC;QACd,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,OAAO,EAAE,CAAC;QAC/B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtB,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACrC,CAAC;IACD,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,OAAO,EAAE,CAAC;IAC/B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzE,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACrC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gFAAgF,EAAE,GAAG,EAAE;IAC1F,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,OAAO,EAAE,CAAC;IAC/B,MAAM,OAAO,GAAG,GAAG,CACjB,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAC1E,CAAC,CACF,CAAC;IACF,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IACzC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACrC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,4DAA4D,EAAE,GAAG,EAAE;IACtE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,OAAO,EAAE,CAAC;IAC/B,EAAE,CAAC,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC;IAC5D,MAAM,UAAU,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,GAAG,EAAE,CAAC;IAClG,MAAM,MAAM,GAA4B;QACtC,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QACvD,IAAI,EAAE,CAAC,UAAU,CAAC;QAClB,KAAK,EAAE,EAAE;QACT,GAAG;KACJ,CAAC;IACF,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;IAC7B,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC7C,MAAM,CAAC,KAAK,GAAG,CAAC,UAAU,CAAC,CAAC;IAC5B,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;AACnD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6EAA6E,EAAE,GAAG,EAAE;IACvF,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,OAAO,EAAE,CAAC;IAC/B,MAAM,MAAM,GAAG,CAAC,EAAU,EAAU,EAAE,CAAC,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAChG,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM;QAAE,KAAK,CAAC,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC3D,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM;QAAE,KAAK,CAAC,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACrE,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;QACrB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;YACV,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;gBACvE,CAAC,CAAC,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAChC,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;YACV,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;gBAAE,CAAC,CAAC,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAC/E,OAAO,IAAI,CAAC;QACd,CAAC;KACF,CAAC,CAAC;IACH,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC9D,EAAE,CAAC,MAAM,CAAC,IAAI,CACZ,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,EACxD,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAC3D,CAAC;IACF,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACxE,IAAI,CAAC,IAAI,CAAC,IAAI,CACZ;QACE,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE;YACJ,IAAI,EAAE,gBAAgB;YACtB,MAAM,EAAE,UAAU;YAClB,QAAQ,EAAE,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC;YACzB,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE;gBACjE,GAAG,CAAC,CAAC,CAAC;gBACN,GAAG,CAAC,KAAK,CAAC;aACX;YACD,IAAI,EAAE,GAAG;YACT,GAAG;SACJ;QACD,GAAG;KACJ,EACD,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CACnE,CAAC;IACF,MAAM,MAAM,GAAG,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IAC/B,MAAM,CACJ,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACxB,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAC7E,CACF,CAAC,OAAO,CAAC;QACR,CAAC,KAAK,EAAE,GAAG,CAAC;QACZ,CAAC,GAAG,EAAE,KAAK,CAAC;KACb,CAAC,CAAC;IACH,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACtC,CAAC,CAAC,CAAC"}

package/dist/backend/llvm/call-lifetimes.d.ts

@@ -8,10 +8,10 @@ export interface CallLifetimes {
      * binding may be stable too; source mutability alone is not a write. */
     bindings: Map<string, Set<string>>;
     /** Parameters consumed only by projections, borrowing string operations,
-     * or other proven parameters.
+     * callable invocation, or other proven parameters.
      * This is a lifetime fact, not a purity or nonthrowing guarantee. */
     parameters: Map<string, Set<number>>;
-    /** Immutable locals with the same use restriction. Their initialization
+    /** Stable locals with the same use restriction. Their initialization
      * and ownership still need a separate representation proof. */
     locals: Map<string, Set<string>>;
     /** Projection-only local uses, allowing statement assignments. Each