@scriptc/compiler 0.2.3 → 0.2.4

package/dist/backend/llvm/borrowed-inputs.d.ts

@@ -0,0 +1,15 @@
+import type { IrExpr } from "../../ir/ir.js";
+import type { LlValue, LlvmEmitterContext } from "./expr-context.js";
+/** For a runtime input whose ABI borrows rather than consumes ownership.
+ * An unchanged, unboxed local owns its value across all later arguments and
+ * the operation, including callbacks and collection mutation. Projections,
+ * globals, captures and reassigned bindings keep their ordinary snapshots.
+ * Stored values that move into a container must still use emitExpr. */
+export declare function emitBorrowedInput(host: LlvmEmitterContext, value: IrExpr): LlValue;
+/** A projection or writable binding can borrow across later operands only
+ * while every operation preserves existing owners. Compute suffix facts
+ * once, keeping left-to-right evaluation and the owning fallback for each
+ * argument independently. The consumer must borrow all inputs and preserve
+ * reference edges itself; mutating runtime operations use emitBorrowedInput. */
+export declare function borrowableInputs(host: LlvmEmitterContext, inputs: readonly IrExpr[], consumerPreserves?: boolean): boolean[];
+export declare function emitBorrowedInputs(host: LlvmEmitterContext, inputs: readonly IrExpr[]): LlValue[];

package/dist/backend/llvm/borrowed-inputs.js

@@ -0,0 +1,28 @@
+/** For a runtime input whose ABI borrows rather than consumes ownership.
+ * An unchanged, unboxed local owns its value across all later arguments and
+ * the operation, including callbacks and collection mutation. Projections,
+ * globals, captures and reassigned bindings keep their ordinary snapshots.
+ * Stored values that move into a container must still use emitExpr. */
+export function emitBorrowedInput(host, value) {
+    return host.canBorrowCallArgument(value) ? host.emitReadReceiver(value) : host.emitExpr(value);
+}
+/** A projection or writable binding can borrow across later operands only
+ * while every operation preserves existing owners. Compute suffix facts
+ * once, keeping left-to-right evaluation and the owning fallback for each
+ * argument independently. The consumer must borrow all inputs and preserve
+ * reference edges itself; mutating runtime operations use emitBorrowedInput. */
+export function borrowableInputs(host, inputs, consumerPreserves = true) {
+    const result = new Array(inputs.length);
+    let preserves = consumerPreserves;
+    for (let i = inputs.length - 1; i >= 0; i--) {
+        const value = inputs[i];
+        result[i] = host.canBorrowCallArgument(value) || (preserves && host.canBorrowReceiver(value));
+        preserves = preserves && host.referenceEffects.preserves(value);
+    }
+    return result;
+}
+export function emitBorrowedInputs(host, inputs) {
+    const borrowed = borrowableInputs(host, inputs);
+    return inputs.map((value, index) => borrowed[index] ? host.emitReadReceiver(value) : host.emitExpr(value));
+}
+//# sourceMappingURL=borrowed-inputs.js.map

package/dist/backend/llvm/borrowed-inputs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"borrowed-inputs.js","sourceRoot":"","sources":["../../../src/backend/llvm/borrowed-inputs.ts"],"names":[],"mappings":"AAGA;;;;uEAIuE;AACvE,MAAM,UAAU,iBAAiB,CAAC,IAAwB,EAAE,KAAa;IACvE,OAAO,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACjG,CAAC;AAED;;;;gFAIgF;AAChF,MAAM,UAAU,gBAAgB,CAAC,IAAwB,EAAE,MAAyB,EAAE,iBAAiB,GAAG,IAAI;IAC5G,MAAM,MAAM,GAAc,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACnD,IAAI,SAAS,GAAG,iBAAiB,CAAC;IAClC,KAAK,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;QACzB,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC;QAC9F,SAAS,GAAG,SAAS,IAAI,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAwB,EAAE,MAAyB;IACpF,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAChD,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7G,CAAC"}

package/dist/backend/llvm/byte-numbers.d.ts

@@ -0,0 +1,10 @@
+import { type ByteNumberAccess } from "../../ir/byte-numbers.js";
+import type { IrExpr } from "../../ir/ir.js";
+import type { LlValue, LlvmEmitterContext } from "./expr-context.js";
+/** Emit the successful numeric access directly. The original runtime call
+ * remains the error path, preserving Buffer's value-before-offset errors,
+ * DataView's ToIndex behavior, and exception cleanup through the host. All
+ * operands have already been evaluated, exactly once and in source order. */
+export declare function emitByteNumber(host: LlvmEmitterContext, e: IrExpr & {
+    kind: "bytesIntrinsic";
+}, spec: ByteNumberAccess, receiver: LlValue, offset: LlValue, value: LlValue | null, little: string, fallback: () => LlValue): LlValue;

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

@@ -0,0 +1,235 @@
+import { byteNumberRange } from "../../ir/byte-numbers.js";
+import { f64Lit } from "./common.js";
+import { exactInteger, widenInteger } from "./integer-values.js";
+/** Supported LLVM targets are little-endian. All memory accesses use align
+ * 1: Buffer fields and DataView windows can start at arbitrary byte offsets. */
+function endianBits(host, raw, width, little) {
+    if (width === 1 || little === "true")
+        return raw;
+    const B = host.B, bits = width * 8;
+    const swapBits = bits <= 16 ? 16 : bits <= 32 ? 32 : 64;
+    let operand = raw;
+    if (bits !== swapBits) {
+        operand = B.tmp();
+        B.line(`${operand} = zext i${bits} ${raw} to i${swapBits}`);
+    }
+    host.declare(`declare i${swapBits} @llvm.bswap.i${swapBits}(i${swapBits})`);
+    let swapped = B.tmp();
+    B.line(`${swapped} = call i${swapBits} @llvm.bswap.i${swapBits}(i${swapBits} ${operand})`);
+    if (bits !== swapBits) {
+        const shifted = B.tmp(), narrowed = B.tmp();
+        B.line(`${shifted} = lshr i${swapBits} ${swapped}, ${swapBits - bits}`);
+        B.line(`${narrowed} = trunc i${swapBits} ${shifted} to i${bits}`);
+        swapped = narrowed;
+    }
+    if (little === "false")
+        return swapped;
+    const selected = B.tmp();
+    B.line(`${selected} = select i1 ${little}, i${bits} ${raw}, i${bits} ${swapped}`);
+    return selected;
+}
+/** Emit the successful numeric access directly. The original runtime call
+ * remains the error path, preserving Buffer's value-before-offset errors,
+ * DataView's ToIndex behavior, and exception cleanup through the host. All
+ * operands have already been evaluated, exactly once and in source order. */
+export function emitByteNumber(host, e, spec, receiver, offset, value, little, fallback) {
+    const B = host.B, size = host.sizeType;
+    const slow = B.newLabel("bytes.number.slow"), access = B.newLabel("bytes.number.access");
+    const fastDone = B.newLabel("bytes.number.fast.done"), slowDone = B.newLabel("bytes.number.slow.done");
+    const done = B.newLabel("bytes.number.done");
+    const bits = spec.width * 8;
+    const integer = exactInteger(host, offset, e.args[spec.offsetArg]);
+    let index, fits, room = "true";
+    if (integer && host.bytesBounds.has(e)) {
+        const wide = widenInteger(host, integer);
+        index = size === "i64" ? wide : B.tmp();
+        if (size !== "i64")
+            B.line(`${index} = trunc i64 ${wide} to ${size}`);
+        fits = "true";
+    }
+    else {
+        const lengthPtr = B.tmp(), length = B.tmp(), capacity = B.tmp();
+        room = B.tmp();
+        B.line(`${lengthPtr} = getelementptr inbounds %ScrBytes, ptr ${receiver.name}, i64 0, i32 1`);
+        B.line(`${length} = load ${size}, ptr ${lengthPtr}`);
+        B.line(`${room} = icmp uge ${size} ${length}, ${spec.width}`);
+        B.line(`${capacity} = sub ${size} ${length}, ${spec.width}`);
+        if (integer) {
+            const wide = widenInteger(host, integer);
+            const cap = size === "i64" ? capacity : B.tmp();
+            if (size !== "i64")
+                B.line(`${cap} = zext ${size} ${capacity} to i64`);
+            fits = B.tmp();
+            B.line(`${fits} = icmp ule i64 ${wide}, ${cap}`);
+            if (spec.dataView && integer.range.max > Number.MAX_SAFE_INTEGER) {
+                const safe = B.tmp(), both = B.tmp();
+                B.line(`${safe} = icmp ule i64 ${wide}, ${Number.MAX_SAFE_INTEGER}`);
+                B.line(`${both} = and i1 ${fits}, ${safe}`);
+                fits = both;
+            }
+            index = size === "i64" ? wide : B.tmp();
+            if (size !== "i64")
+                B.line(`${index} = trunc i64 ${wide} to ${size}`);
+        }
+        else {
+            let normalized = offset.name;
+            if (spec.dataView) {
+                const nan = B.tmp(), finiteOrZero = B.tmp();
+                normalized = B.tmp();
+                B.line(`${nan} = fcmp uno double ${offset.name}, ${offset.name}`);
+                B.line(`${finiteOrZero} = select i1 ${nan}, double ${f64Lit(0)}, double ${offset.name}`);
+                host.declare("declare double @llvm.trunc.f64(double)");
+                B.line(`${normalized} = call double @llvm.trunc.f64(double ${finiteOrZero})`);
+            }
+            const cap = B.tmp(), positive = B.tmp(), bounded = B.tmp(), representable = B.tmp(), range = B.tmp();
+            const addressRange = B.tmp(), initial = B.tmp(), convert = B.newLabel("bytes.number.index");
+            B.line(`${cap} = uitofp ${size} ${capacity} to double`);
+            B.line(`${positive} = fcmp oge double ${normalized}, ${f64Lit(0)}`);
+            B.line(`${bounded} = fcmp ole double ${normalized}, ${cap}`);
+            // The separate address limit makes fptoui safe even if converting a
+            // maximum size_t length to double rounds upward on a 64-bit target.
+            B.line(`${representable} = fcmp olt double ${normalized}, ${f64Lit(size === "i64" ? 2 ** 64 : 2 ** 32)}`);
+            B.line(`${range} = and i1 ${positive}, ${bounded}`);
+            B.line(`${addressRange} = and i1 ${range}, ${representable}`);
+            B.line(`${initial} = and i1 ${room}, ${addressRange}`);
+            B.condBr(initial, convert, slow);
+            B.startBlock(convert);
+            index = B.tmp();
+            B.line(`${index} = fptoui double ${normalized} to ${size}`);
+            fits = B.tmp();
+            const roundTrip = B.tmp();
+            B.line(`${roundTrip} = uitofp ${size} ${index} to double`);
+            B.line(`${fits} = fcmp oeq double ${roundTrip}, ${normalized}`);
+            const withinCapacity = B.tmp(), exactBounds = B.tmp();
+            B.line(`${withinCapacity} = icmp ule ${size} ${index}, ${capacity}`);
+            B.line(`${exactBounds} = and i1 ${fits}, ${withinCapacity}`);
+            fits = exactBounds;
+            if (spec.dataView) {
+                const safe = B.tmp(), both = B.tmp();
+                B.line(`${safe} = fcmp ole double ${normalized}, ${f64Lit(Number.MAX_SAFE_INTEGER)}`);
+                B.line(`${both} = and i1 ${fits}, ${safe}`);
+                fits = both;
+            }
+        }
+    }
+    let valid = B.tmp();
+    B.line(`${valid} = and i1 ${room}, ${fits}`);
+    if (spec.write && !spec.dataView && !spec.floating) {
+        const range = byteNumberRange(spec);
+        const known = host.integerRanges.get(e.args[spec.valueArg]);
+        if (!known || known.min < range.min || known.max > range.max) {
+            const above = B.tmp(), below = B.tmp(), valueFits = B.tmp(), both = B.tmp();
+            // Buffer integer writes accept NaN (stored as zero) and fractions
+            // within the declared range. Unordered comparisons preserve that.
+            B.line(`${above} = fcmp uge double ${value.name}, ${f64Lit(range.min)}`);
+            B.line(`${below} = fcmp ule double ${value.name}, ${f64Lit(range.max)}`);
+            B.line(`${valueFits} = and i1 ${above}, ${below}`);
+            B.line(`${both} = and i1 ${valid}, ${valueFits}`);
+            valid = both;
+        }
+    }
+    B.condBr(valid, access, slow);
+    B.startBlock(access);
+    const data = host.emitBytesData(receiver.name), pointer = B.tmp();
+    B.line(`${pointer} = getelementptr inbounds i8, ptr ${data}, ${size} ${index}`);
+    let fastResult = "", fastInteger = "";
+    const readRange = !spec.write ? byteNumberRange(spec) : null;
+    const integerType = bits <= 32 ? "i32" : "i64";
+    if (spec.write) {
+        let raw;
+        if (spec.floating) {
+            let stored = value.name;
+            if (bits === 32) {
+                stored = B.tmp();
+                B.line(`${stored} = fptrunc double ${value.name} to float`);
+            }
+            raw = B.tmp();
+            B.line(`${raw} = bitcast ${bits === 32 ? "float" : "double"} ${stored} to i${bits}`);
+        }
+        else if (spec.dataView) {
+            const stored = host.emitToUint32(value.name, e.args[spec.valueArg], value.uint32);
+            raw = stored;
+            if (bits < 32) {
+                raw = B.tmp();
+                B.line(`${raw} = trunc i32 ${stored} to i${bits}`);
+            }
+        }
+        else {
+            const integerValue = exactInteger(host, value, e.args[spec.valueArg]);
+            if (integerValue && (integerValue.type === "i64" || bits <= 32)) {
+                raw = integerValue.name;
+                if (integerValue.type !== `i${bits}`) {
+                    raw = B.tmp();
+                    B.line(`${raw} = trunc ${integerValue.type} ${integerValue.name} to i${bits}`);
+                }
+            }
+            else {
+                const nan = B.tmp(), normalized = B.tmp(), whole = B.tmp();
+                B.line(`${nan} = fcmp uno double ${value.name}, ${value.name}`);
+                B.line(`${normalized} = select i1 ${nan}, double ${f64Lit(0)}, double ${value.name}`);
+                B.line(`${whole} = fptosi double ${normalized} to i64`);
+                raw = B.tmp();
+                B.line(`${raw} = trunc i64 ${whole} to i${bits}`);
+            }
+        }
+        const stored = endianBits(host, raw, spec.width, little);
+        B.line(`store i${bits} ${stored}, ptr ${pointer}, align 1`);
+        if (!spec.dataView) {
+            fastResult = B.tmp();
+            B.line(`${fastResult} = fadd double ${offset.name}, ${f64Lit(spec.width)}`);
+        }
+    }
+    else {
+        const loaded = B.tmp();
+        B.line(`${loaded} = load i${bits}, ptr ${pointer}, align 1`);
+        const raw = endianBits(host, loaded, spec.width, little);
+        fastResult = B.tmp();
+        if (spec.floating) {
+            if (bits === 32) {
+                const float = B.tmp();
+                B.line(`${float} = bitcast i32 ${raw} to float`);
+                B.line(`${fastResult} = fpext float ${float} to double`);
+            }
+            else
+                B.line(`${fastResult} = bitcast i64 ${raw} to double`);
+        }
+        else {
+            B.line(`${fastResult} = ${spec.signed ? "sitofp" : "uitofp"} i${bits} ${raw} to double`);
+            if (readRange) {
+                fastInteger = raw;
+                if (`i${bits}` !== integerType) {
+                    fastInteger = B.tmp();
+                    B.line(`${fastInteger} = ${spec.signed ? "sext" : "zext"} i${bits} ${raw} to ${integerType}`);
+                }
+            }
+        }
+    }
+    B.br(fastDone);
+    B.startBlock(fastDone);
+    B.br(done);
+    B.startBlock(slow);
+    const failure = fallback();
+    let slowInteger = "";
+    if (readRange) {
+        slowInteger = B.tmp();
+        B.line(`${slowInteger} = ${spec.signed ? "fptosi" : "fptoui"} double ${failure.name} to ${integerType}`);
+    }
+    B.br(slowDone);
+    B.startBlock(slowDone);
+    B.br(done);
+    B.startBlock(done);
+    if (e.type.kind === "void")
+        return { name: "", type: e.type };
+    const result = B.tmp();
+    B.line(`${result} = phi double [ ${fastResult}, %${fastDone} ], [ ${failure.name}, %${slowDone} ]`);
+    if (readRange) {
+        const integer = B.tmp();
+        B.line(`${integer} = phi ${integerType} [ ${fastInteger}, %${fastDone} ], [ ${slowInteger}, %${slowDone} ]`);
+        const uint32 = integerType === "i32" ? integer : B.tmp();
+        if (integerType !== "i32")
+            B.line(`${uint32} = trunc i64 ${integer} to i32`);
+        return { name: result, type: e.type, uint32, integer: { name: integer, type: integerType, signed: spec.signed, range: readRange } };
+    }
+    return { name: result, type: e.type };
+}
+//# sourceMappingURL=byte-numbers.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"byte-numbers.js","sourceRoot":"","sources":["../../../src/backend/llvm/byte-numbers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAyB,MAAM,0BAA0B,CAAC;AAGlF,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAEjE;gFACgF;AAChF,SAAS,UAAU,CAAC,IAAwB,EAAE,GAAW,EAAE,KAAa,EAAE,MAAc;IACtF,IAAI,KAAK,KAAK,CAAC,IAAI,MAAM,KAAK,MAAM;QAAE,OAAO,GAAG,CAAC;IACjD,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,IAAI,GAAG,KAAK,GAAG,CAAC,CAAC;IACnC,MAAM,QAAQ,GAAG,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACxD,IAAI,OAAO,GAAG,GAAG,CAAC;IAClB,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtB,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAClB,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,YAAY,IAAI,IAAI,GAAG,QAAQ,QAAQ,EAAE,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,YAAY,QAAQ,iBAAiB,QAAQ,KAAK,QAAQ,GAAG,CAAC,CAAC;IAC5E,IAAI,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACtB,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,YAAY,QAAQ,iBAAiB,QAAQ,KAAK,QAAQ,IAAI,OAAO,GAAG,CAAC,CAAC;IAC3F,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtB,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAC5C,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,YAAY,QAAQ,IAAI,OAAO,KAAK,QAAQ,GAAG,IAAI,EAAE,CAAC,CAAC;QACxE,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,aAAa,QAAQ,IAAI,OAAO,QAAQ,IAAI,EAAE,CAAC,CAAC;QAClE,OAAO,GAAG,QAAQ,CAAC;IACrB,CAAC;IACD,IAAI,MAAM,KAAK,OAAO;QAAE,OAAO,OAAO,CAAC;IACvC,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACzB,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,gBAAgB,MAAM,MAAM,IAAI,IAAI,GAAG,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC,CAAC;IAClF,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;6EAG6E;AAC7E,MAAM,UAAU,cAAc,CAC5B,IAAwB,EACxB,CAAsC,EACtC,IAAsB,EACtB,QAAiB,EACjB,MAAe,EACf,KAAqB,EACrB,MAAc,EACd,QAAuB;IAEvB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC;IACvC,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,qBAAqB,CAAC,CAAC;IACzF,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,wBAAwB,CAAC,EAAE,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,wBAAwB,CAAC,CAAC;IACvG,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;IAC5B,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;IACnE,IAAI,KAAa,EAAE,IAAY,EAAE,IAAI,GAAG,MAAM,CAAC;IAC/C,IAAI,OAAO,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACzC,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QACxC,IAAI,IAAI,KAAK,KAAK;YAAE,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,gBAAgB,IAAI,OAAO,IAAI,EAAE,CAAC,CAAC;QACtE,IAAI,GAAG,MAAM,CAAC;IAChB,CAAC;SAAM,CAAC;QACN,MAAM,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAChE,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACf,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,4CAA4C,QAAQ,CAAC,IAAI,gBAAgB,CAAC,CAAC;QAC9F,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,WAAW,IAAI,SAAS,SAAS,EAAE,CAAC,CAAC;QACrD,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,eAAe,IAAI,IAAI,MAAM,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QAC9D,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,UAAU,IAAI,IAAI,MAAM,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QAC7D,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACzC,MAAM,GAAG,GAAG,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;YAChD,IAAI,IAAI,KAAK,KAAK;gBAAE,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,WAAW,IAAI,IAAI,QAAQ,SAAS,CAAC,CAAC;YACvE,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACf,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,mBAAmB,IAAI,KAAK,GAAG,EAAE,CAAC,CAAC;YACjD,IAAI,IAAI,CAAC,QAAQ,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,GAAG,MAAM,CAAC,gBAAgB,EAAE,CAAC;gBACjE,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;gBACrC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,mBAAmB,IAAI,KAAK,MAAM,CAAC,gBAAgB,EAAE,CAAC,CAAC;gBACrE,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,aAAa,IAAI,KAAK,IAAI,EAAE,CAAC,CAAC;gBAC5C,IAAI,GAAG,IAAI,CAAC;YACd,CAAC;YACD,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;YACxC,IAAI,IAAI,KAAK,KAAK;gBAAE,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,gBAAgB,IAAI,OAAO,IAAI,EAAE,CAAC,CAAC;QACxE,CAAC;aAAM,CAAC;YACN,IAAI,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC;YAC7B,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAClB,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,YAAY,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;gBAC5C,UAAU,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;gBACrB,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,sBAAsB,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;gBAClE,CAAC,CAAC,IAAI,CAAC,GAAG,YAAY,gBAAgB,GAAG,YAAY,MAAM,CAAC,CAAC,CAAC,YAAY,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;gBACzF,IAAI,CAAC,OAAO,CAAC,wCAAwC,CAAC,CAAC;gBACvD,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,yCAAyC,YAAY,GAAG,CAAC,CAAC;YAChF,CAAC;YACD,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,aAAa,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACrG,MAAM,YAAY,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,GAAG,CAAC,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAC;YAC5F,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,aAAa,IAAI,IAAI,QAAQ,YAAY,CAAC,CAAC;YACxD,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,sBAAsB,UAAU,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACpE,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,sBAAsB,UAAU,KAAK,GAAG,EAAE,CAAC,CAAC;YAC7D,oEAAoE;YACpE,oEAAoE;YACpE,CAAC,CAAC,IAAI,CAAC,GAAG,aAAa,sBAAsB,UAAU,KAAK,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;YAC1G,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,aAAa,QAAQ,KAAK,OAAO,EAAE,CAAC,CAAC;YACpD,CAAC,CAAC,IAAI,CAAC,GAAG,YAAY,aAAa,KAAK,KAAK,aAAa,EAAE,CAAC,CAAC;YAC9D,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,aAAa,IAAI,KAAK,YAAY,EAAE,CAAC,CAAC;YACvD,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;YACjC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;YACtB,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YAChB,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,oBAAoB,UAAU,OAAO,IAAI,EAAE,CAAC,CAAC;YAC5D,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACf,MAAM,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YAC1B,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,aAAa,IAAI,IAAI,KAAK,YAAY,CAAC,CAAC;YAC3D,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,sBAAsB,SAAS,KAAK,UAAU,EAAE,CAAC,CAAC;YAChE,MAAM,cAAc,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,WAAW,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACtD,CAAC,CAAC,IAAI,CAAC,GAAG,cAAc,eAAe,IAAI,IAAI,KAAK,KAAK,QAAQ,EAAE,CAAC,CAAC;YACrE,CAAC,CAAC,IAAI,CAAC,GAAG,WAAW,aAAa,IAAI,KAAK,cAAc,EAAE,CAAC,CAAC;YAC7D,IAAI,GAAG,WAAW,CAAC;YACnB,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAClB,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;gBACrC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,sBAAsB,UAAU,KAAK,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC;gBACtF,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,aAAa,IAAI,KAAK,IAAI,EAAE,CAAC,CAAC;gBAC5C,IAAI,GAAG,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACpB,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,aAAa,IAAI,KAAK,IAAI,EAAE,CAAC,CAAC;IAC7C,IAAI,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACnD,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAE,CAAC;QACrC,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAE,CAAC,CAAC;QAC7D,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,IAAI,KAAK,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;YAC7D,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YAC5E,kEAAkE;YAClE,kEAAkE;YAClE,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,sBAAsB,KAAM,CAAC,IAAI,KAAK,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC1E,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,sBAAsB,KAAM,CAAC,IAAI,KAAK,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC1E,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,aAAa,KAAK,KAAK,KAAK,EAAE,CAAC,CAAC;YACnD,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,aAAa,KAAK,KAAK,SAAS,EAAE,CAAC,CAAC;YAClD,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;IACH,CAAC;IACD,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IACrB,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAClE,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,qCAAqC,IAAI,KAAK,IAAI,IAAI,KAAK,EAAE,CAAC,CAAC;IAChF,IAAI,UAAU,GAAG,EAAE,EAAE,WAAW,GAAG,EAAE,CAAC;IACtC,MAAM,SAAS,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7D,MAAM,WAAW,GAAG,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;IAC/C,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,IAAI,GAAW,CAAC;QAChB,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,IAAI,MAAM,GAAG,KAAM,CAAC,IAAI,CAAC;YACzB,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;gBAChB,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;gBACjB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,qBAAqB,KAAM,CAAC,IAAI,WAAW,CAAC,CAAC;YAC/D,CAAC;YACD,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACd,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,cAAc,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,IAAI,MAAM,QAAQ,IAAI,EAAE,CAAC,CAAC;QACvF,CAAC;aAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,KAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,KAAM,CAAC,MAAM,CAAC,CAAC;YACpF,GAAG,GAAG,MAAM,CAAC;YACb,IAAI,IAAI,GAAG,EAAE,EAAE,CAAC;gBACd,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;gBACd,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,gBAAgB,MAAM,QAAQ,IAAI,EAAE,CAAC,CAAC;YACrD,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,YAAY,GAAG,YAAY,CAAC,IAAI,EAAE,KAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YACvE,IAAI,YAAY,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,IAAI,EAAE,CAAC,EAAE,CAAC;gBAChE,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC;gBACxB,IAAI,YAAY,CAAC,IAAI,KAAK,IAAI,IAAI,EAAE,EAAE,CAAC;oBACrC,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;oBACd,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,YAAY,YAAY,CAAC,IAAI,IAAI,YAAY,CAAC,IAAI,QAAQ,IAAI,EAAE,CAAC,CAAC;gBACjF,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,UAAU,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;gBAC3D,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,sBAAsB,KAAM,CAAC,IAAI,KAAK,KAAM,CAAC,IAAI,EAAE,CAAC,CAAC;gBAClE,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,gBAAgB,GAAG,YAAY,MAAM,CAAC,CAAC,CAAC,YAAY,KAAM,CAAC,IAAI,EAAE,CAAC,CAAC;gBACvF,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,oBAAoB,UAAU,SAAS,CAAC,CAAC;gBACxD,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;gBACd,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,gBAAgB,KAAK,QAAQ,IAAI,EAAE,CAAC,CAAC;YACpD,CAAC;QACH,CAAC;QACD,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACzD,CAAC,CAAC,IAAI,CAAC,UAAU,IAAI,IAAI,MAAM,SAAS,OAAO,WAAW,CAAC,CAAC;QAC5D,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACnB,UAAU,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACrB,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,kBAAkB,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC9E,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACvB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,YAAY,IAAI,SAAS,OAAO,WAAW,CAAC,CAAC;QAC7D,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACzD,UAAU,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACrB,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;gBAChB,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;gBACtB,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,kBAAkB,GAAG,WAAW,CAAC,CAAC;gBACjD,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,kBAAkB,KAAK,YAAY,CAAC,CAAC;YAC3D,CAAC;;gBAAM,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,kBAAkB,GAAG,YAAY,CAAC,CAAC;QAChE,CAAC;aAAM,CAAC;YACN,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,MAAM,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,IAAI,GAAG,YAAY,CAAC,CAAC;YACzF,IAAI,SAAS,EAAE,CAAC;gBACd,WAAW,GAAG,GAAG,CAAC;gBAClB,IAAI,IAAI,IAAI,EAAE,KAAK,WAAW,EAAE,CAAC;oBAC/B,WAAW,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;oBACtB,CAAC,CAAC,IAAI,CAAC,GAAG,WAAW,MAAM,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,IAAI,GAAG,OAAO,WAAW,EAAE,CAAC,CAAC;gBAChG,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;IACf,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IACvB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,OAAO,GAAG,QAAQ,EAAE,CAAC;IAC3B,IAAI,WAAW,GAAG,EAAE,CAAC;IACrB,IAAI,SAAS,EAAE,CAAC;QACd,WAAW,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACtB,CAAC,CAAC,IAAI,CAAC,GAAG,WAAW,MAAM,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,WAAW,OAAO,CAAC,IAAI,OAAO,WAAW,EAAE,CAAC,CAAC;IAC3G,CAAC;IACD,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;IACf,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IACvB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9D,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACvB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,mBAAmB,UAAU,MAAM,QAAQ,SAAS,OAAO,CAAC,IAAI,MAAM,QAAQ,IAAI,CAAC,CAAC;IACpG,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACxB,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,UAAU,WAAW,MAAM,WAAW,MAAM,QAAQ,SAAS,WAAW,MAAM,QAAQ,IAAI,CAAC,CAAC;QAC7G,MAAM,MAAM,GAAG,WAAW,KAAK,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QACzD,IAAI,WAAW,KAAK,KAAK;YAAE,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,gBAAgB,OAAO,SAAS,CAAC,CAAC;QAC7E,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,CAAC;IACtI,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;AACxC,CAAC"}

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

@@ -0,0 +1,9 @@
+import type { IrExpr, IrFunction, IrStmt } from "../../ir/ir.js";
+import type { IntegerRanges } from "../../ir/integer-ranges.js";
+type Node = IrExpr | IrStmt;
+/** Relational proofs for fixed typed-array lengths. Cached lengths retain
+ * their receiver identity only when that binding is never reassigned.
+ * Loops may use offsets in either direction, but both index integrality
+ * and receiver stability are established separately from the relation. */
+export declare function findBytesBounds(fn: IrFunction, ranges: IntegerRanges): ReadonlySet<Node>;
+export {};

package/dist/backend/llvm/bytes-bounds.js

@@ -0,0 +1,189 @@
+import { integerArithmeticRange } from "../../ir/integer-ranges.js";
+import { everyExprChild, everyStmtChild, everyStmtList } from "../../ir/traverse.js";
+import { isStableReceiverOperand } from "../../ir/analysis.js";
+import { byteNumberAccess } from "../../ir/byte-numbers.js";
+/** Relational proofs for fixed typed-array lengths. Cached lengths retain
+ * their receiver identity only when that binding is never reassigned.
+ * Loops may use offsets in either direction, but both index integrality
+ * and receiver stability are established separately from the relation. */
+export function findBytesBounds(fn, ranges) {
+    const proved = new Map();
+    if (fn.async || fn.generator || !fn.locals.some((local) => local.type.kind === "bytes"))
+        return new Set();
+    const locals = new Map(fn.locals.map((l) => [l.id, l]));
+    const captured = new Set([...(fn.captures ?? []), ...(fn.classCaptures ?? [])].map((c) => c.localId));
+    const changed = new Set();
+    const initializers = new Map();
+    everyStmtList(fn.body, {
+        expr: (e) => { if (e.kind === "assignExpr" || e.kind === "incDec")
+            changed.add(e.localId); return true; },
+        stmt: (s) => {
+            if (s.kind === "assign" || s.kind === "forOf")
+                changed.add(s.localId);
+            if (s.kind === "varDecl" && s.init)
+                initializers.set(s.localId, s.init);
+            return true;
+        },
+    });
+    const eligible = (id) => {
+        const local = locals.get(id);
+        return local !== undefined && !local.boxed && !local.tdz && !captured.has(id);
+    };
+    const cached = new Map();
+    const resolving = new Set();
+    function extent(e, cache) {
+        if (e.kind === "bytesIntrinsic" && (e.method === "length" || e.method === "byteLength" &&
+            e.receiver.type.kind === "bytes" && (e.receiver.type.elem === "u8" || e.receiver.type.elem === "u8c")) && e.receiver.kind === "varRef" &&
+            eligible(e.receiver.localId) && (!cache || !changed.has(e.receiver.localId)))
+            return { receiver: e.receiver.localId, offset: 0 };
+        if (e.kind === "varRef" && eligible(e.localId) && !changed.has(e.localId)) {
+            const previous = cached.get(e.localId);
+            if (previous !== undefined)
+                return previous;
+            const init = initializers.get(e.localId);
+            if (!init || resolving.has(e.localId))
+                return null;
+            resolving.add(e.localId);
+            const result = extent(init, true);
+            resolving.delete(e.localId);
+            cached.set(e.localId, result);
+            return result;
+        }
+        if (e.kind === "bin" && (e.op === "+" || e.op === "-") && e.right.kind === "numLit" &&
+            Number.isSafeInteger(e.right.value) && ranges.get(e)) {
+            const left = extent(e.left, cache);
+            const offset = left ? left.offset + (e.op === "+" ? e.right.value : -e.right.value) : NaN;
+            if (left && Number.isSafeInteger(offset))
+                return { receiver: left.receiver, offset };
+        }
+        return null;
+    }
+    function affine(e, counter) {
+        if (e.kind === "varRef" && e.localId === counter)
+            return 0;
+        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 + (e.op === "+" ? e.right.value : -e.right.value);
+        return Number.isSafeInteger(result) ? result : null;
+    }
+    function affineRange(e, bound) {
+        if (e.kind === "varRef" && e.localId === bound.counter) {
+            const max = Number.MAX_SAFE_INTEGER + bound.offset - 1;
+            return Number.isSafeInteger(max) && bound.minimum <= max ? { min: bound.minimum, max } : null;
+        }
+        if (e.kind !== "bin" || (e.op !== "+" && e.op !== "-") || e.right.kind !== "numLit" || !Number.isSafeInteger(e.right.value))
+            return null;
+        const left = affineRange(e.left, bound);
+        return left ? integerArithmeticRange(e.op, left, { min: e.right.value, max: e.right.value }) : null;
+    }
+    function stable(body, receiver, counter) {
+        return everyStmtList(body, {
+            expr: (e) => {
+                if ((e.kind === "assignExpr" || e.kind === "incDec") && (e.localId === receiver || e.localId === counter))
+                    return false;
+                return isStableReceiverOperand(e, receiver);
+            },
+            stmt: (s) => {
+                if (s.kind === "assign" && (s.localId === receiver || s.localId === counter))
+                    return false;
+                switch (s.kind) {
+                    case "varDecl":
+                    case "assign":
+                    case "exprStmt":
+                    case "bytesSet":
+                    case "if":
+                    case "block":
+                    case "for":
+                    case "while":
+                    case "doWhile":
+                    case "break":
+                    case "continue":
+                    case "return": return true;
+                    default: return false;
+                }
+            },
+        });
+    }
+    function loopBound(s) {
+        if (s.init?.kind !== "varDecl" || !s.init.init || !eligible(s.init.localId) || s.cond?.kind !== "bin")
+            return null;
+        const counter = s.init.localId;
+        let right = s.cond.right, op = s.cond.op;
+        if (s.cond.left.kind !== "varRef" || s.cond.left.localId !== counter) {
+            if (right.kind !== "varRef" || right.localId !== counter)
+                return null;
+            right = s.cond.left;
+            op = { "<": ">", "<=": ">=", ">": "<", ">=": "<=" }[op] ?? "";
+        }
+        const update = s.update;
+        let step = 0;
+        if (update?.kind === "assign" && update.localId === counter && update.value.kind === "bin" && update.value.left.kind === "varRef" &&
+            update.value.left.localId === counter && update.value.right.kind === "numLit") {
+            step = update.value.op === "+" ? update.value.right.value : update.value.op === "-" ? -update.value.right.value : 0;
+        }
+        else if (update?.kind === "exprStmt" && update.expr.kind === "incDec" && update.expr.localId === counter)
+            step = update.expr.op === "+" ? 1 : -1;
+        if (!Number.isSafeInteger(step) || step === 0)
+            return null;
+        let result = null;
+        if (step > 0 && (op === "<" || op === "<=")) {
+            const length = extent(right, false), start = ranges.get(s.init.init);
+            if (length && start)
+                result = { ...length, counter, offset: length.offset + (op === "<=" ? 1 : 0), minimum: start.min };
+        }
+        else if (step < 0 && (op === ">" || op === ">=") && right.kind === "numLit" && Number.isFinite(right.value)) {
+            const start = extent(s.init.init, false);
+            if (start)
+                result = { ...start, counter, offset: start.offset + 1, minimum: op === ">" ? Math.floor(right.value) + 1 : Math.ceil(right.value) };
+        }
+        return result && stable(s.body, result.receiver, counter) ? result : null;
+    }
+    function access(node, array, index, active, width) {
+        const integer = ranges.get(index);
+        let safe = false;
+        if (array.kind === "varRef" && eligible(array.localId)) {
+            for (const bound of active) {
+                if (array.localId !== bound.receiver)
+                    continue;
+                if (!integer && !affineRange(index, bound))
+                    continue;
+                const offset = affine(index, bound.counter);
+                if (offset !== null && bound.minimum + offset >= 0 && bound.offset + offset + width - 1 <= 0) {
+                    safe = true;
+                    break;
+                }
+            }
+        }
+        proved.set(node, (proved.get(node) ?? true) && safe);
+    }
+    function expr(e, active) {
+        if (e.kind === "bytesIntrinsic" && e.method === "get" && e.args[0])
+            access(e, e.receiver, e.args[0], active, 1);
+        const numeric = byteNumberAccess(e);
+        if (numeric && e.kind === "bytesIntrinsic")
+            access(e, e.receiver, e.args[numeric.offsetArg], active, numeric.width);
+        return everyExprChild(e, (child) => expr(child, active), (child) => stmt(child, active));
+    }
+    function stmt(s, active) {
+        if (s.kind === "bytesSet")
+            access(s, s.arr, s.index, active, 1);
+        if (s.kind === "for") {
+            if (s.init)
+                stmt(s.init, active);
+            if (s.cond)
+                expr(s.cond, active);
+            if (s.update)
+                stmt(s.update, active);
+            const bound = loopBound(s);
+            const body = bound ? [...active, bound] : active;
+            return s.body.every((child) => stmt(child, body));
+        }
+        return everyStmtChild(s, (child) => expr(child, active), (child) => stmt(child, active));
+    }
+    fn.body.every((s) => stmt(s, []));
+    return new Set([...proved].filter(([, safe]) => safe).map(([node]) => node));
+}
+//# sourceMappingURL=bytes-bounds.js.map

package/dist/backend/llvm/bytes-bounds.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bytes-bounds.js","sourceRoot":"","sources":["../../../src/backend/llvm/bytes-bounds.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,sBAAsB,EAAqB,MAAM,4BAA4B,CAAC;AACvF,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrF,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAC/D,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAM5D;;;0EAG0E;AAC1E,MAAM,UAAU,eAAe,CAAC,EAAc,EAAE,MAAqB;IACnE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAiB,CAAC;IACxC,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC;QAAE,OAAO,IAAI,GAAG,EAAE,CAAC;IAC1G,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,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACtG,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC/C,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;QACrB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC;QACzG,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;YACV,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;gBAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACtE,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI;gBAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YACxE,OAAO,IAAI,CAAC;QACd,CAAC;KACF,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,CAAC,EAAU,EAAW,EAAE;QACvC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC7B,OAAO,KAAK,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChF,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAyB,CAAC;IAChD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,SAAS,MAAM,CAAC,CAAS,EAAE,KAAc;QACvC,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB,IAAI,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY;YAClF,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;YACtI,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;QACrI,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1E,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACvC,IAAI,QAAQ,KAAK,SAAS;gBAAE,OAAO,QAAQ,CAAC;YAC5C,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,IAAI,CAAC,CAAC;YAClC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;YAAC,OAAO,MAAM,CAAC;QAC5E,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;YAC/E,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACzD,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACnC,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,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,CAAC,CAAC,GAAG,CAAC;YAC1F,IAAI,IAAI,IAAI,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC;gBAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;QACvF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,SAAS,MAAM,CAAC,CAAS,EAAE,OAAe;QACxC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO;YAAE,OAAO,CAAC,CAAC;QAC3D,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACzI,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,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;QACtE,OAAO,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;IACtD,CAAC;IACD,SAAS,WAAW,CAAC,CAAS,EAAE,KAAY;QAC1C,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC;YACvD,MAAM,GAAG,GAAG,MAAM,CAAC,gBAAgB,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;YACvD,OAAO,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,OAAO,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAChG,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACzI,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACxC,OAAO,IAAI,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACtG,CAAC;IACD,SAAS,MAAM,CAAC,IAAc,EAAE,QAAgB,EAAE,OAAe;QAC/D,OAAO,aAAa,CAAC,IAAI,EAAE;YACzB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;gBACV,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC;oBAAE,OAAO,KAAK,CAAC;gBACxH,OAAO,uBAAuB,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;YAC9C,CAAC;YACD,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;gBACV,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC;oBAAE,OAAO,KAAK,CAAC;gBAC3F,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;oBACf,KAAK,SAAS,CAAC;oBAAC,KAAK,QAAQ,CAAC;oBAAC,KAAK,UAAU,CAAC;oBAAC,KAAK,UAAU,CAAC;oBAAC,KAAK,IAAI,CAAC;oBAAC,KAAK,OAAO,CAAC;oBACzF,KAAK,KAAK,CAAC;oBAAC,KAAK,OAAO,CAAC;oBAAC,KAAK,SAAS,CAAC;oBAAC,KAAK,OAAO,CAAC;oBAAC,KAAK,UAAU,CAAC;oBAAC,KAAK,QAAQ,EAAE,OAAO,IAAI,CAAC;oBACpG,SAAS,OAAO,KAAK,CAAC;gBACxB,CAAC;YACH,CAAC;SACF,CAAC,CAAC;IACL,CAAC;IACD,SAAS,SAAS,CAAC,CAA2B;QAC5C,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC;QACnH,MAAM,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC;QAC/B,IAAI,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,GAAW,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QACjD,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;YACrE,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,KAAK,OAAO;gBAAE,OAAO,IAAI,CAAC;YACtE,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YACpB,EAAE,GAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAA6B,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QAC5F,CAAC;QACD,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;QACxB,IAAI,IAAI,GAAG,CAAC,CAAC;QACb,IAAI,MAAM,EAAE,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,OAAO,KAAK,OAAO,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;YAC7H,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAClF,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACtH,CAAC;aAAM,IAAI,MAAM,EAAE,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO;YAAE,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnJ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAC3D,IAAI,MAAM,GAAiB,IAAI,CAAC;QAChC,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YAC5C,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrE,IAAI,MAAM,IAAI,KAAK;gBAAE,MAAM,GAAG,EAAE,GAAG,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC;QAC1H,CAAC;aAAM,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YAC9G,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzC,IAAI,KAAK;gBAAE,MAAM,GAAG,EAAE,GAAG,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,OAAO,EAAE,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QAClJ,CAAC;QACD,OAAO,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5E,CAAC;IACD,SAAS,MAAM,CAAC,IAAU,EAAE,KAAa,EAAE,KAAa,EAAE,MAAe,EAAE,KAAa;QACtF,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,IAAI,GAAG,KAAK,CAAC;QACjB,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YACvD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;gBAC3B,IAAI,KAAK,CAAC,OAAO,KAAK,KAAK,CAAC,QAAQ;oBAAE,SAAS;gBAC/C,IAAI,CAAC,OAAO,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC;oBAAE,SAAS;gBACrD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;gBAC5C,IAAI,MAAM,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,GAAG,MAAM,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,MAAM,GAAG,KAAK,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAAC,IAAI,GAAG,IAAI,CAAC;oBAAC,MAAM;gBAAC,CAAC;YACvH,CAAC;QACH,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC;IACvD,CAAC;IACD,SAAS,IAAI,CAAC,CAAS,EAAE,MAAe;QACtC,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB,IAAI,CAAC,CAAC,MAAM,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;QAChH,MAAM,OAAO,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QACpC,IAAI,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB;YAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAE,EAAE,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;QACrH,OAAO,cAAc,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3F,CAAC;IACD,SAAS,IAAI,CAAC,CAAS,EAAE,MAAe;QACtC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;YAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;QAChE,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACrB,IAAI,CAAC,CAAC,IAAI;gBAAE,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACjC,IAAI,CAAC,CAAC,IAAI;gBAAE,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACjC,IAAI,CAAC,CAAC,MAAM;gBAAE,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YACrC,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;YAC3B,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YACjD,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;QACpD,CAAC;QACD,OAAO,cAAc,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3F,CAAC;IACD,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAClC,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;AAC/E,CAAC"}

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

@@ -1,5 +1,12 @@
 import { type IrFunction } from "../../ir/ir.js";
 export interface CallLifetimes {
+    /** Unchanged heap bindings can borrow the caller's owner. Copies that
+     * escape through returns, stores or other calls still acquire ownership.
+     * This does not permit passing a stack box to the parameter. */
+    borrowed: Map<string, Set<number>>;
+    /** Locals initialized once and never assigned or captured. A source let
+     * 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.
      * This is a lifetime fact, not a purity or nonthrowing guarantee. */