@scriptc/compiler 0.2.10 → 0.3.1

package/dist/backend/llvm/bigint-wrap.js

@@ -0,0 +1,590 @@
+import { emitBorrowedInput } from "./borrowed-inputs.js";
+const BINARY = {
+    "bigint.add": "+",
+    "bigint.sub": "-",
+    "bigint.mul": "*",
+    "bigint.and": "&",
+    "bigint.or": "|",
+    "bigint.xor": "^",
+    "bigint.div": "/",
+    "bigint.mod": "%",
+};
+const LL_BINARY = {
+    "&": "and",
+    "|": "or",
+    "^": "xor",
+};
+/** The value of a bigint literal (or constant BigInt("...") text). */
+function literalValue(e) {
+    if (e.kind !== "libCall" || e.fn !== "bigint.parse")
+        return null;
+    const text = e.args[0];
+    if (text?.kind !== "strLit")
+        return null;
+    try {
+        return BigInt(text.value);
+    }
+    catch {
+        return null;
+    }
+}
+/** A narrowing width k in 1..64 given as a numeric literal. */
+function narrowBits(e) {
+    if (e?.kind !== "numLit")
+        return null;
+    const k = e.value;
+    return Number.isInteger(k) && k >= 1 && k <= 64 ? k : null;
+}
+/** Reads and arithmetic on them: no effects, no throws. */
+function pureExpr(e) {
+    switch (e.kind) {
+        case "varRef":
+        case "numLit":
+            return true;
+        case "bin":
+            return pureExpr(e.left) && pureExpr(e.right);
+        case "unary":
+            return pureExpr(e.operand);
+        default:
+            return literalValue(e) !== null;
+    }
+}
+/** The root's mode, outer wrap and tree, or null when nothing applies. */
+function rootOf(e) {
+    if (e.fn === "bigint.asUintN" || e.fn === "bigint.asIntN") {
+        const bits = narrowBits(e.args[0]);
+        if (bits === null)
+            return null;
+        return { mode: "wrap", wrap: { signed: e.fn === "bigint.asIntN", bits }, operand: e.args[1] };
+    }
+    if (e.fn === "bigint.and") {
+        // x & M with a literal 0 <= M < 2^64 keeps only low bits of x, and the
+        // result is non-negative.
+        for (const side of [1, 0]) {
+            const m = literalValue(e.args[side]);
+            if (m !== null && m >= 0n && m < 1n << 64n)
+                return { mode: "wrap", wrap: null, operand: e };
+        }
+    }
+    if (BINARY[e.fn] !== undefined ||
+        e.fn === "bigint.shl" ||
+        e.fn === "bigint.shr" ||
+        e.fn === "bigint.neg" ||
+        e.fn === "bigint.not") {
+        return { mode: "exact", wrap: null, operand: e };
+    }
+    return null;
+}
+/** A literal whose magnitude needs more than `bits` bits. */
+function wideConstant(e, bits) {
+    const value = literalValue(e);
+    return value !== null && (value < 0n ? -value : value) >> bits !== 0n;
+}
+/** A shift count literal in 0..63. */
+function shiftCount(e) {
+    const count = literalValue(e);
+    return count !== null && count >= 0n && count < 64n ? Number(count) : null;
+}
+class TreeBuilder {
+    mode;
+    dedupe;
+    /** Bigint leaves (literals included) and BigInt(number) operands. */
+    leaves = [];
+    numbers = [];
+    /** Postfix program for the exact fallback (scr_bigint_wrap_eval). */
+    program = [];
+    /** Operations, counting BigInt(number) conversions. */
+    operations = 0;
+    /** Every leaf is pure (pureExpr). */
+    pure = true;
+    ok = true;
+    /** Leaves an exact operation reads: they must fit in 64 bits. Leaves
+     * below a narrowing only contribute their low 64 bits. */
+    strict = new Set();
+    /** Local reads already placed, by local id (only with `dedupe`). */
+    reads = new Map();
+    /** With `dedupe`, repeated reads of one local share a leaf: correct only
+     * when no leaf can write it, which a first pass establishes (`pure`).
+     * The mode switches to fixed width below each asUintN/asIntN. */
+    constructor(mode, dedupe) {
+        this.mode = mode;
+        this.dedupe = dedupe;
+    }
+    /** Leaves are evaluated before every operation. Each leaf after the
+     * first operation must be pure, so an operation that throws (division
+     * by zero) still throws before anything a later operand would do. */
+    place(e) {
+        if (!pureExpr(e)) {
+            this.pure = false;
+            if (this.operations > 0)
+                this.ok = false;
+        }
+    }
+    leaf(e) {
+        const value = literalValue(e);
+        if (value !== null) {
+            // Exact trees hold every magnitude in 64 bits.
+            if (this.mode === "exact" && (value < 0n ? -value : value) >= 1n << 64n)
+                this.ok = false;
+            const index = this.leaves.length;
+            this.leaves.push(e);
+            this.program.push(`L${index}`);
+            return { kind: "const", value };
+        }
+        this.place(e);
+        if (this.dedupe && e.kind === "varRef") {
+            const seen = this.reads.get(e.localId);
+            if (seen !== undefined) {
+                if (this.mode === "exact")
+                    this.strict.add(seen);
+                this.program.push(`L${seen}`);
+                return { kind: "leaf", index: seen };
+            }
+            this.reads.set(e.localId, this.leaves.length);
+        }
+        const index = this.leaves.length;
+        this.leaves.push(e);
+        if (this.mode === "exact")
+            this.strict.add(index);
+        this.program.push(`L${index}`);
+        return { kind: "leaf", index };
+    }
+    op(token) {
+        this.program.push(token);
+        this.operations++;
+    }
+    node(e, depth) {
+        if (depth > 24 || this.leaves.length + this.numbers.length > 24) {
+            this.ok = false;
+            return this.leaf(e);
+        }
+        if (e.kind !== "libCall")
+            return this.leaf(e);
+        const exact = this.mode === "exact";
+        const op = BINARY[e.fn];
+        if (op !== undefined && e.args.length === 2 && (exact || (op !== "/" && op !== "%"))) {
+            // An exact product with a wide constant (a hash multiplier) almost
+            // always leaves 64 bits; the plain operators are faster than taking
+            // the fallback every time.
+            if (exact && op === "*" && e.args.some((arg) => wideConstant(arg, 32n)))
+                this.ok = false;
+            const left = this.node(e.args[0], depth + 1);
+            const right = this.node(e.args[1], depth + 1);
+            this.op(op);
+            return { kind: "bin", op, left, right };
+        }
+        if ((e.fn === "bigint.shl" || (exact && e.fn === "bigint.shr")) && e.args.length === 2) {
+            const count = shiftCount(e.args[1]);
+            if (exact && e.fn === "bigint.shl" && count !== null && count >= 32)
+                this.ok = false;
+            if (count !== null) {
+                const operand = this.node(e.args[0], depth + 1);
+                const left = e.fn === "bigint.shl";
+                this.op(`${left ? "<" : ">"}${count}`);
+                return { kind: "shift", left, count, operand };
+            }
+        }
+        if ((e.fn === "bigint.neg" || e.fn === "bigint.not") && e.args.length === 1) {
+            const operand = this.node(e.args[0], depth + 1);
+            this.op(e.fn === "bigint.neg" ? "n" : "~");
+            return { kind: e.fn === "bigint.neg" ? "neg" : "not", operand };
+        }
+        if (e.fn === "bigint.asUintN" || e.fn === "bigint.asIntN") {
+            const bits = narrowBits(e.args[0]);
+            if (bits !== null) {
+                const outer = this.mode;
+                this.mode = "wrap";
+                const operand = this.node(e.args[1], depth + 1);
+                this.mode = outer;
+                const signed = e.fn === "bigint.asIntN";
+                this.op(`${signed ? "i" : "u"}${bits}`);
+                return { kind: "wrap", signed, bits, operand };
+            }
+        }
+        if (e.fn === "bigint.fromF64" && e.args.length === 1) {
+            // The conversion (and its RangeError) runs at this point of the
+            // program; only the number is evaluated with the leaves.
+            const value = e.args[0];
+            this.place(value);
+            const index = this.numbers.length;
+            this.numbers.push(value);
+            this.program.push(`F${index}`);
+            this.operations++;
+            return { kind: "number", index };
+        }
+        return this.leaf(e);
+    }
+}
+/** i64 constant text for the low 64 bits of a bigint. */
+function i64Const(value) {
+    return BigInt.asIntN(64, value).toString();
+}
+class TreeEmitter {
+    host;
+    leafValues;
+    numberValues;
+    /** i1 conditions that send the tree to the exact fallback. */
+    bad = [];
+    constructor(host, leafValues, numberValues) {
+        this.host = host;
+        this.leafValues = leafValues;
+        this.numberValues = numberValues;
+    }
+    tmp(line) {
+        const t = this.host.B.tmp();
+        this.host.B.line(line(t));
+        return t;
+    }
+    /** `value` narrowed to k bits within an i64: zero- or sign-extended. */
+    narrow(value, signed, bits) {
+        if (bits >= 64)
+            return value;
+        if (!signed) {
+            return this.tmp((t) => `${t} = and i64 ${value}, ${i64Const((1n << BigInt(bits)) - 1n)}`);
+        }
+        const up = this.tmp((t) => `${t} = shl i64 ${value}, ${64 - bits}`);
+        return this.tmp((t) => `${t} = ashr i64 ${up}, ${64 - bits}`);
+    }
+    /** Fixed width: everything modulo 2^64 in two's complement. */
+    wrap(node) {
+        switch (node.kind) {
+            case "leaf":
+                return this.leafValues[node.index].bits;
+            case "number":
+                return this.numberValues[node.index].bits;
+            case "const":
+                return i64Const(node.value);
+            case "bin": {
+                const l = this.wrap(node.left);
+                const r = this.wrap(node.right);
+                const op = { "+": "add", "-": "sub", "*": "mul", "&": "and", "|": "or", "^": "xor" }[node.op];
+                return this.tmp((t) => `${t} = ${op} i64 ${l}, ${r}`);
+            }
+            case "shift": {
+                const v = this.wrap(node.operand);
+                return this.tmp((t) => `${t} = shl i64 ${v}, ${node.count}`);
+            }
+            case "neg": {
+                const v = this.wrap(node.operand);
+                return this.tmp((t) => `${t} = sub i64 0, ${v}`);
+            }
+            case "not": {
+                const v = this.wrap(node.operand);
+                return this.tmp((t) => `${t} = xor i64 ${v}, -1`);
+            }
+            case "wrap":
+                return this.narrow(this.wrap(node.operand), node.signed, node.bits);
+        }
+    }
+    /** Sign-magnitude result with zero kept non-negative. */
+    signed(neg, mag) {
+        const nonzero = this.tmp((t) => `${t} = icmp ne i64 ${mag}, 0`);
+        return { neg: this.tmp((t) => `${t} = and i1 ${neg}, ${nonzero}`), mag };
+    }
+    overflowing(fn, l, r) {
+        this.host.declare(`declare { i64, i1 } @llvm.${fn}.with.overflow.i64(i64, i64)`);
+        const pair = this.tmp((t) => `${t} = call { i64, i1 } @llvm.${fn}.with.overflow.i64(i64 ${l}, i64 ${r})`);
+        this.bad.push(this.tmp((t) => `${t} = extractvalue { i64, i1 } ${pair}, 1`));
+        return this.tmp((t) => `${t} = extractvalue { i64, i1 } ${pair}, 0`);
+    }
+    /** ±(a.mag) + ±(b.mag), failing when the magnitude reaches 2^64. */
+    add(a, b) {
+        const same = this.tmp((t) => `${t} = icmp eq i1 ${a.neg}, ${b.neg}`);
+        const sum = this.overflowing("uadd", a.mag, b.mag);
+        // A carry only matters when the signs agree.
+        const carry = this.bad.pop();
+        this.bad.push(this.tmp((t) => `${t} = and i1 ${carry}, ${same}`));
+        const aBig = this.tmp((t) => `${t} = icmp uge i64 ${a.mag}, ${b.mag}`);
+        const ab = this.tmp((t) => `${t} = sub i64 ${a.mag}, ${b.mag}`);
+        const ba = this.tmp((t) => `${t} = sub i64 ${b.mag}, ${a.mag}`);
+        const diff = this.tmp((t) => `${t} = select i1 ${aBig}, i64 ${ab}, i64 ${ba}`);
+        const diffNeg = this.tmp((t) => `${t} = select i1 ${aBig}, i1 ${a.neg}, i1 ${b.neg}`);
+        const mag = this.tmp((t) => `${t} = select i1 ${same}, i64 ${sum}, i64 ${diff}`);
+        const neg = this.tmp((t) => `${t} = select i1 ${same}, i1 ${a.neg}, i1 ${diffNeg}`);
+        return this.signed(neg, mag);
+    }
+    negate(a) {
+        return this.signed(this.tmp((t) => `${t} = xor i1 ${a.neg}, true`), a.mag);
+    }
+    /** Exact: sign and magnitude below 2^64; anything else falls back. */
+    exact(node) {
+        switch (node.kind) {
+            case "leaf": {
+                const leaf = this.leafValues[node.index];
+                return { neg: leaf.neg, mag: leaf.mag };
+            }
+            case "number": {
+                const number = this.numberValues[node.index];
+                return { neg: number.neg, mag: number.mag };
+            }
+            case "const": {
+                const neg = node.value < 0n;
+                return { neg: neg ? "true" : "false", mag: i64Const(neg ? -node.value : node.value) };
+            }
+            case "bin": {
+                const a = this.exact(node.left);
+                const b = this.exact(node.right);
+                switch (node.op) {
+                    case "+":
+                        return this.add(a, b);
+                    case "-":
+                        return this.add(a, this.negate(b));
+                    case "*": {
+                        const mag = this.overflowing("umul", a.mag, b.mag);
+                        return this.signed(this.tmp((t) => `${t} = xor i1 ${a.neg}, ${b.neg}`), mag);
+                    }
+                    case "/":
+                    case "%": {
+                        // Truncating division on magnitudes; the remainder takes the
+                        // dividend's sign. Division by zero throws in the fallback.
+                        const zero = this.tmp((t) => `${t} = icmp eq i64 ${b.mag}, 0`);
+                        this.bad.push(zero);
+                        const safe = this.tmp((t) => `${t} = select i1 ${zero}, i64 1, i64 ${b.mag}`);
+                        const mag = this.tmp((t) => `${t} = ${node.op === "/" ? "udiv" : "urem"} i64 ${a.mag}, ${safe}`);
+                        const neg = node.op === "/" ? this.tmp((t) => `${t} = xor i1 ${a.neg}, ${b.neg}`) : a.neg;
+                        return this.signed(neg, mag);
+                    }
+                    default: {
+                        // Bitwise operators act on two's complement: both operands
+                        // sign-extend into i128, and the result must again have a
+                        // magnitude below 2^64.
+                        const op = LL_BINARY[node.op];
+                        const wide = (v) => {
+                            const m = this.tmp((t) => `${t} = zext i64 ${v.mag} to i128`);
+                            const n = this.tmp((t) => `${t} = sub i128 0, ${m}`);
+                            return this.tmp((t) => `${t} = select i1 ${v.neg}, i128 ${n}, i128 ${m}`);
+                        };
+                        const r = this.tmp((t) => `${t} = ${op} i128 ${wide(a)}, ${wide(b)}`);
+                        const neg = this.tmp((t) => `${t} = icmp slt i128 ${r}, 0`);
+                        const flipped = this.tmp((t) => `${t} = sub i128 0, ${r}`);
+                        const abs = this.tmp((t) => `${t} = select i1 ${neg}, i128 ${flipped}, i128 ${r}`);
+                        const high = this.tmp((t) => `${t} = lshr i128 ${abs}, 64`);
+                        this.bad.push(this.tmp((t) => `${t} = icmp ne i128 ${high}, 0`));
+                        return { neg, mag: this.tmp((t) => `${t} = trunc i128 ${abs} to i64`) };
+                    }
+                }
+            }
+            case "shift": {
+                const a = this.exact(node.operand);
+                const k = node.count;
+                if (node.left) {
+                    const mag = this.tmp((t) => `${t} = shl i64 ${a.mag}, ${k}`);
+                    const back = this.tmp((t) => `${t} = lshr i64 ${mag}, ${k}`);
+                    this.bad.push(this.tmp((t) => `${t} = icmp ne i64 ${back}, ${a.mag}`));
+                    return { neg: a.neg, mag };
+                }
+                // Right shifts round toward negative infinity: negative values
+                // round their magnitude up.
+                const down = this.tmp((t) => `${t} = lshr i64 ${a.mag}, ${k}`);
+                if (k === 0)
+                    return a;
+                const lost = this.tmp((t) => `${t} = and i64 ${a.mag}, ${i64Const((1n << BigInt(k)) - 1n)}`);
+                const any = this.tmp((t) => `${t} = icmp ne i64 ${lost}, 0`);
+                const up = this.tmp((t) => `${t} = and i1 ${any}, ${a.neg}`);
+                const bump = this.tmp((t) => `${t} = zext i1 ${up} to i64`);
+                const mag = this.tmp((t) => `${t} = add i64 ${down}, ${bump}`);
+                return this.signed(a.neg, mag);
+            }
+            case "neg":
+                return this.negate(this.exact(node.operand));
+            case "not": {
+                // ~a == -a - 1
+                const a = this.exact(node.operand);
+                return this.add(this.negate(a), { neg: "true", mag: "1" });
+            }
+            case "wrap": {
+                // Built in the fixed-width mode: only low bits matter below.
+                const low = this.narrow(this.wrap(node.operand), node.signed, node.bits);
+                if (!node.signed)
+                    return { neg: "false", mag: low };
+                const neg = this.tmp((t) => `${t} = icmp slt i64 ${low}, 0`);
+                const negated = this.tmp((t) => `${t} = sub i64 0, ${low}`);
+                return { neg, mag: this.tmp((t) => `${t} = select i1 ${neg}, i64 ${negated}, i64 ${low}`) };
+            }
+        }
+    }
+}
+/** Below a narrowing, leaves may be this many 64-bit words long: with at
+ * most 25 leaves and shifts below 64 bits, no exact intermediate value
+ * comes near the size limit (2^24 words), so no operation could throw. */
+const NARROWED_LEAF_WORDS = 65536;
+/** A bigint leaf: two's complement low bits, sign and low 64 bits of the
+ * magnitude, whether the magnitude fits in 64 bits (`ok`) and whether it
+ * is short enough for a narrowed tree (`short`). 64-bit targets read the
+ * value inline ({ rc, len, i32 sign, i32 cap, limbs }; limb 0 is always
+ * readable); 32-bit ones ask the runtime. */
+function leafOperand(host, value) {
+    const B = host.B;
+    const ok = B.tmp();
+    const short = B.tmp();
+    const neg = B.tmp();
+    const mag = B.tmp();
+    if (host.sizeType !== "i64") {
+        const slot = B.slot();
+        const words = B.slot();
+        B.entryAllocas.push(`${slot} = alloca i64`);
+        B.entryAllocas.push(`${words} = alloca i32`);
+        host.declare(`declare i32 @scr_bigint_mag64(ptr, ptr, ptr)`);
+        const sign = B.tmp();
+        const count = B.tmp();
+        B.line(`${sign} = call i32 @scr_bigint_mag64(ptr ${value}, ptr ${slot}, ptr ${words})`);
+        B.line(`${mag} = load i64, ptr ${slot}`);
+        B.line(`${count} = load i32, ptr ${words}`);
+        B.line(`${ok} = icmp ule i32 ${count}, 1`);
+        B.line(`${short} = icmp ule i32 ${count}, ${NARROWED_LEAF_WORDS}`);
+        B.line(`${neg} = icmp slt i32 ${sign}, 0`);
+    }
+    else {
+        const lenAt = B.tmp();
+        const len = B.tmp();
+        const signAt = B.tmp();
+        const sign = B.tmp();
+        const limbAt = B.tmp();
+        B.line(`${lenAt} = getelementptr inbounds i8, ptr ${value}, i64 8`);
+        B.line(`${len} = load i64, ptr ${lenAt}`);
+        B.line(`${signAt} = getelementptr inbounds i8, ptr ${value}, i64 16`);
+        B.line(`${sign} = load i32, ptr ${signAt}`);
+        B.line(`${limbAt} = getelementptr inbounds i8, ptr ${value}, i64 24`);
+        B.line(`${mag} = load i64, ptr ${limbAt}`);
+        B.line(`${ok} = icmp ule i64 ${len}, 1`);
+        B.line(`${short} = icmp ule i64 ${len}, ${NARROWED_LEAF_WORDS}`);
+        B.line(`${neg} = icmp slt i32 ${sign}, 0`);
+    }
+    const negated = B.tmp();
+    const bits = B.tmp();
+    B.line(`${negated} = sub i64 0, ${mag}`);
+    B.line(`${bits} = select i1 ${neg}, i64 ${negated}, i64 ${mag}`);
+    return { bits, neg, mag, ok, short };
+}
+/** A number operand of BigInt(): an integer below 2^64 in magnitude, or
+ * the fallback converts it (and throws for non-integers). */
+function numberOperand(host, value) {
+    const B = host.B;
+    const abs = B.tmp();
+    const inRange = B.tmp();
+    const safe = B.tmp();
+    const mag = B.tmp();
+    const back = B.tmp();
+    const integral = B.tmp();
+    const ok = B.tmp();
+    const neg = B.tmp();
+    const negated = B.tmp();
+    const bits = B.tmp();
+    host.declare(`declare double @llvm.fabs.f64(double)`);
+    B.line(`${abs} = call double @llvm.fabs.f64(double ${value})`);
+    B.line(`${inRange} = fcmp olt double ${abs}, 1.8446744073709552e19`);
+    B.line(`${safe} = select i1 ${inRange}, double ${abs}, double 0.0`);
+    B.line(`${mag} = fptoui double ${safe} to i64`);
+    B.line(`${back} = uitofp i64 ${mag} to double`);
+    B.line(`${integral} = fcmp oeq double ${back}, ${abs}`);
+    B.line(`${ok} = and i1 ${inRange}, ${integral}`);
+    // -0 converts to 0n; a zero magnitude is never negative.
+    B.line(`${neg} = fcmp olt double ${value}, 0.0`);
+    B.line(`${negated} = sub i64 0, ${mag}`);
+    B.line(`${bits} = select i1 ${neg}, i64 ${negated}, i64 ${mag}`);
+    return { bits, neg, mag, ok, short: ok };
+}
+/** Emits a small-value bigint tree, or returns null when `e` is not one
+ * (the caller then emits the plain library call). */
+export function emitBigIntWrap(host, e) {
+    const root = rootOf(e);
+    if (root === null)
+        return null;
+    let tree = new TreeBuilder(root.mode, false);
+    let operand = tree.node(root.operand, 0);
+    if (tree.ok && tree.pure) {
+        tree = new TreeBuilder(root.mode, true);
+        operand = tree.node(root.operand, 0);
+    }
+    // Something to fuse: an operation below a fixed-width root, two in an
+    // exact tree.
+    if (!tree.ok || tree.operations < (root.mode === "wrap" ? 1 : 2))
+        return null;
+    const whole = root.wrap ? { kind: "wrap", ...root.wrap, operand } : operand;
+    if (root.wrap)
+        tree.program.push(`${root.wrap.signed ? "i" : "u"}${root.wrap.bits}`);
+    const B = host.B;
+    const size = host.sizeType;
+    // Operands in evaluation order; literals are immortal statics.
+    const values = tree.leaves.map((leaf) => emitBorrowedInput(host, leaf));
+    const numbers = tree.numbers.map((n) => host.emitExpr(n));
+    const checks = [];
+    const leafValues = values.map((v, i) => {
+        if (literalValue(tree.leaves[i]) !== null) {
+            return { bits: "0", neg: "false", mag: "0", ok: "true", short: "true" };
+        }
+        const leaf = leafOperand(host, v.name);
+        checks.push(tree.strict.has(i) ? leaf.ok : leaf.short);
+        return leaf;
+    });
+    const numberValues = numbers.map((n) => {
+        const number = numberOperand(host, n.name);
+        checks.push(number.ok);
+        return number;
+    });
+    const emitter = new TreeEmitter(host, leafValues, numberValues);
+    const and = (acc, ok) => {
+        const t = B.tmp();
+        B.line(`${t} = and i1 ${acc}, ${ok}`);
+        return t;
+    };
+    const resultSlot = B.slot();
+    B.entryAllocas.push(`${resultSlot} = alloca ptr`);
+    const fast = B.newLabel("bigint.wrap.fast");
+    const slow = B.newLabel("bigint.wrap.slow");
+    const done = B.newLabel("bigint.wrap.done");
+    if (root.mode === "exact") {
+        // Exact trees decide after computing (overflow), so compute first and
+        // branch once. Out-of-range operands only make the work moot.
+        const value = emitter.exact(whole);
+        const good = emitter.bad.map((b) => {
+            const t = B.tmp();
+            B.line(`${t} = xor i1 ${b}, true`);
+            return t;
+        });
+        B.condBr([...checks, ...good].reduce(and, "true"), fast, slow);
+        B.startBlock(fast);
+        host.declare(`declare ptr @scr_bigint_from_mag64(i64, i1 zeroext)`);
+        const made = B.tmp();
+        B.line(`${made} = call ptr @scr_bigint_from_mag64(i64 ${value.mag}, i1 zeroext ${value.neg})`);
+        B.line(`store ptr ${made}, ptr ${resultSlot}`);
+    }
+    else {
+        B.condBr(checks.reduce(and, "true"), fast, slow);
+        B.startBlock(fast);
+        const low = emitter.wrap(whole);
+        const ctor = root.wrap?.signed ? "scr_bigint_from_i64" : "scr_bigint_from_u64";
+        host.declare(`declare ptr @${ctor}(i64)`);
+        const made = B.tmp();
+        B.line(`${made} = call ptr @${ctor}(i64 ${low})`);
+        B.line(`store ptr ${made}, ptr ${resultSlot}`);
+    }
+    B.br(done);
+    B.startBlock(slow);
+    const leafArray = B.slot();
+    B.entryAllocas.push(`${leafArray} = alloca [${Math.max(1, values.length)} x ptr]`);
+    for (let i = 0; i < values.length; i++) {
+        const at = B.tmp();
+        B.line(`${at} = getelementptr inbounds [${values.length} x ptr], ptr ${leafArray}, ${size} 0, ${size} ${i}`);
+        B.line(`store ptr ${values[i].name}, ptr ${at}`);
+    }
+    const numberArray = B.slot();
+    B.entryAllocas.push(`${numberArray} = alloca [${Math.max(1, numbers.length)} x double]`);
+    for (let i = 0; i < numbers.length; i++) {
+        const at = B.tmp();
+        B.line(`${at} = getelementptr inbounds [${numbers.length} x double], ptr ${numberArray}, ${size} 0, ${size} ${i}`);
+        B.line(`store double ${numbers[i].name}, ptr ${at}`);
+    }
+    host.declare(`declare ptr @scr_bigint_wrap_eval(ptr, ptr, ptr)`);
+    const exact = B.tmp();
+    const program = host.cstr(tree.program.join(" "));
+    B.line(`${exact} = call ptr @scr_bigint_wrap_eval(ptr ${program}, ptr ${leafArray}, ptr ${numberArray})`);
+    B.line(`store ptr ${exact}, ptr ${resultSlot}`);
+    host.emitPendingCheck();
+    B.br(done);
+    B.startBlock(done);
+    const result = B.tmp();
+    B.line(`${result} = load ptr, ptr ${resultSlot}`);
+    return host.own({ name: result, type: e.type });
+}
+//# sourceMappingURL=bigint-wrap.js.map

package/dist/backend/llvm/bigint-wrap.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bigint-wrap.js","sourceRoot":"","sources":["../../../src/backend/llvm/bigint-wrap.ts"],"names":[],"mappings":"AAkBA,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAKzD,MAAM,MAAM,GAAoC;IAC9C,YAAY,EAAE,GAAG;IACjB,YAAY,EAAE,GAAG;IACjB,YAAY,EAAE,GAAG;IACjB,YAAY,EAAE,GAAG;IACjB,WAAW,EAAE,GAAG;IAChB,YAAY,EAAE,GAAG;IACjB,YAAY,EAAE,GAAG;IACjB,YAAY,EAAE,GAAG;CAClB,CAAC;AAEF,MAAM,SAAS,GAA2B;IACxC,GAAG,EAAE,KAAK;IACV,GAAG,EAAE,IAAI;IACT,GAAG,EAAE,KAAK;CACX,CAAC;AAWF,sEAAsE;AACtE,SAAS,YAAY,CAAC,CAAS;IAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,EAAE,KAAK,cAAc;QAAE,OAAO,IAAI,CAAC;IACjE,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvB,IAAI,IAAI,EAAE,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACzC,IAAI,CAAC;QACH,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,+DAA+D;AAC/D,SAAS,UAAU,CAAC,CAAqB;IACvC,IAAI,CAAC,EAAE,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACtC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;IAClB,OAAO,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC7D,CAAC;AAED,2DAA2D;AAC3D,SAAS,QAAQ,CAAC,CAAS;IACzB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC;QACd,KAAK,KAAK;YACR,OAAO,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC/C,KAAK,OAAO;YACV,OAAO,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAC7B;YACE,OAAO,YAAY,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;IACpC,CAAC;AACH,CAAC;AAED,0EAA0E;AAC1E,SAAS,MAAM,CACb,CAAc;IAEd,IAAI,CAAC,CAAC,EAAE,KAAK,gBAAgB,IAAI,CAAC,CAAC,EAAE,KAAK,eAAe,EAAE,CAAC;QAC1D,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC/B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,KAAK,eAAe,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,CAAC;IACjG,CAAC;IACD,IAAI,CAAC,CAAC,EAAE,KAAK,YAAY,EAAE,CAAC;QAC1B,uEAAuE;QACvE,0BAA0B;QAC1B,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAC1B,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC,CAAC;YACtC,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,GAAG;gBAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QAC9F,CAAC;IACH,CAAC;IACD,IACE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,SAAS;QAC1B,CAAC,CAAC,EAAE,KAAK,YAAY;QACrB,CAAC,CAAC,EAAE,KAAK,YAAY;QACrB,CAAC,CAAC,EAAE,KAAK,YAAY;QACrB,CAAC,CAAC,EAAE,KAAK,YAAY,EACrB,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IACnD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,6DAA6D;AAC7D,SAAS,YAAY,CAAC,CAAS,EAAE,IAAY;IAC3C,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IAC9B,OAAO,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,KAAK,EAAE,CAAC;AACxE,CAAC;AAED,sCAAsC;AACtC,SAAS,UAAU,CAAC,CAAS;IAC3B,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IAC9B,OAAO,KAAK,KAAK,IAAI,IAAI,KAAK,IAAI,EAAE,IAAI,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC7E,CAAC;AAED,MAAM,WAAW;IAqBL,IAAI;IACK,MAAM;IArBzB,qEAAqE;IAC5D,MAAM,GAAa,EAAE,CAAC;IACtB,OAAO,GAAa,EAAE,CAAC;IAChC,qEAAqE;IAC5D,OAAO,GAAa,EAAE,CAAC;IAChC,uDAAuD;IACvD,UAAU,GAAG,CAAC,CAAC;IACf,qCAAqC;IACrC,IAAI,GAAG,IAAI,CAAC;IACZ,EAAE,GAAG,IAAI,CAAC;IACV;8DAC0D;IACjD,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,oEAAoE;IACnD,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IAEnD;;qEAEiE;IACjE,YACU,IAAU,EACD,MAAe;oBADxB,IAAI;sBACK,MAAM;IACtB,CAAC;IAEJ;;yEAEqE;IAC7D,KAAK,CAAC,CAAS;QACrB,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YACjB,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC;YAClB,IAAI,IAAI,CAAC,UAAU,GAAG,CAAC;gBAAE,IAAI,CAAC,EAAE,GAAG,KAAK,CAAC;QAC3C,CAAC;IACH,CAAC;IAEO,IAAI,CAAC,CAAS;QACpB,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,+CAA+C;YAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,GAAG;gBAAE,IAAI,CAAC,EAAE,GAAG,KAAK,CAAC;YACzF,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;YACjC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACpB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC;YAC/B,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QAClC,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACd,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACvC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACvC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;oBAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACjD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;gBAC9B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;YACvC,CAAC;YACD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAChD,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;QACjC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAClD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC;QAC/B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IACjC,CAAC;IAEO,EAAE,CAAC,KAAa;QACtB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,IAAI,CAAC,UAAU,EAAE,CAAC;IACpB,CAAC;IAED,IAAI,CAAC,CAAS,EAAE,KAAa;QAC3B,IAAI,KAAK,GAAG,EAAE,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;YAChE,IAAI,CAAC,EAAE,GAAG,KAAK,CAAC;YAChB,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC;QACpC,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxB,IAAI,EAAE,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;YACrF,mEAAmE;YACnE,oEAAoE;YACpE,2BAA2B;YAC3B,IAAI,KAAK,IAAI,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;gBAAE,IAAI,CAAC,EAAE,GAAG,KAAK,CAAC;YACzF,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YAC/C,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACZ,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QAC1C,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,YAAY,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,KAAK,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvF,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;YACrC,IAAI,KAAK,IAAI,CAAC,CAAC,EAAE,KAAK,YAAY,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,IAAI,EAAE;gBAAE,IAAI,CAAC,EAAE,GAAG,KAAK,CAAC;YACrF,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBACnB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBACjD,MAAM,IAAI,GAAG,CAAC,CAAC,EAAE,KAAK,YAAY,CAAC;gBACnC,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,KAAK,EAAE,CAAC,CAAC;gBACvC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;YACjD,CAAC;QACH,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,YAAY,IAAI,CAAC,CAAC,EAAE,KAAK,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5E,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YACjD,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAC3C,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC;QAClE,CAAC;QACD,IAAI,CAAC,CAAC,EAAE,KAAK,gBAAgB,IAAI,CAAC,CAAC,EAAE,KAAK,eAAe,EAAE,CAAC;YAC1D,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACnC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;gBAClB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC;gBACxB,IAAI,CAAC,IAAI,GAAG,MAAM,CAAC;gBACnB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBACjD,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC;gBAClB,MAAM,MAAM,GAAG,CAAC,CAAC,EAAE,KAAK,eAAe,CAAC;gBACxC,IAAI,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,EAAE,CAAC,CAAC;gBACxC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YACjD,CAAC;QACH,CAAC;QACD,IAAI,CAAC,CAAC,EAAE,KAAK,gBAAgB,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACrD,gEAAgE;YAChE,yDAAyD;YACzD,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;YACzB,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAClB,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;YAClC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACzB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC;YAC/B,IAAI,CAAC,UAAU,EAAE,CAAC;YAClB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;QACnC,CAAC;QACD,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtB,CAAC;CACF;AAED,yDAAyD;AACzD,SAAS,QAAQ,CAAC,KAAa;IAC7B,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;AAC7C,CAAC;AAqBD,MAAM,WAAW;IAKI,IAAI;IACJ,UAAU;IACV,YAAY;IAN/B,8DAA8D;IACrD,GAAG,GAAa,EAAE,CAAC;IAE5B,YACmB,IAAwB,EACxB,UAA8B,EAC9B,YAAgC;oBAFhC,IAAI;0BACJ,UAAU;4BACV,YAAY;IAC5B,CAAC;IAEI,GAAG,CAAC,IAA2B;QACrC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QAC5B,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1B,OAAO,CAAC,CAAC;IACX,CAAC;IAED,wEAAwE;IAChE,MAAM,CAAC,KAAa,EAAE,MAAe,EAAE,IAAY;QACzD,IAAI,IAAI,IAAI,EAAE;YAAE,OAAO,KAAK,CAAC;QAC7B,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,cAAc,KAAK,KAAK,QAAQ,CAAC,CAAC,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;QAC5F,CAAC;QACD,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,cAAc,KAAK,KAAK,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;QACpE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,eAAe,EAAE,KAAK,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;IAChE,CAAC;IAED,+DAA+D;IAC/D,IAAI,CAAC,IAAU;QACb,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,MAAM;gBACT,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAE,CAAC,IAAI,CAAC;YAC3C,KAAK,QAAQ;gBACX,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAE,CAAC,IAAI,CAAC;YAC7C,KAAK,OAAO;gBACV,OAAO,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC9B,KAAK,KAAK,EAAE,CAAC;gBACX,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC/B,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAChC,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAClF,IAAI,CAAC,EAAS,CACf,CAAC;gBACF,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACxD,CAAC;YACD,KAAK,OAAO,EAAE,CAAC;gBACb,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAClC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,cAAc,CAAC,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;YAC/D,CAAC;YACD,KAAK,KAAK,EAAE,CAAC;gBACX,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAClC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC;YACnD,CAAC;YACD,KAAK,KAAK,EAAE,CAAC;gBACX,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAClC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;YACpD,CAAC;YACD,KAAK,MAAM;gBACT,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACxE,CAAC;IACH,CAAC;IAED,yDAAyD;IACjD,MAAM,CAAC,GAAW,EAAE,GAAW;QACrC,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,kBAAkB,GAAG,KAAK,CAAC,CAAC;QAChE,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,aAAa,GAAG,KAAK,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;IAC3E,CAAC;IAEO,WAAW,CAAC,EAAU,EAAE,CAAS,EAAE,CAAS;QAClD,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,6BAA6B,EAAE,8BAA8B,CAAC,CAAC;QACjF,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CACnB,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,6BAA6B,EAAE,0BAA0B,CAAC,SAAS,CAAC,GAAG,CACnF,CAAC;QACF,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,+BAA+B,IAAI,KAAK,CAAC,CAAC,CAAC;QAC7E,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,+BAA+B,IAAI,KAAK,CAAC,CAAC;IACvE,CAAC;IAED,oEAAoE;IAC5D,GAAG,CAAC,CAAU,EAAE,CAAU;QAChC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;QACrE,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QACnD,6CAA6C;QAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAG,CAAC;QAC9B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,aAAa,KAAK,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC;QAClE,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;QACvE,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;QAChE,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;QAChE,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,gBAAgB,IAAI,SAAS,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;QAC/E,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,gBAAgB,IAAI,QAAQ,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;QACtF,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,gBAAgB,IAAI,SAAS,GAAG,SAAS,IAAI,EAAE,CAAC,CAAC;QACjF,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,gBAAgB,IAAI,QAAQ,CAAC,CAAC,GAAG,QAAQ,OAAO,EAAE,CAAC,CAAC;QACpF,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC/B,CAAC;IAEO,MAAM,CAAC,CAAU;QACvB,OAAO,IAAI,CAAC,MAAM,CAChB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,GAAG,QAAQ,CAAC,EAC/C,CAAC,CAAC,GAAG,CACN,CAAC;IACJ,CAAC;IAED,sEAAsE;IACtE,KAAK,CAAC,IAAU;QACd,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,MAAM,EAAE,CAAC;gBACZ,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAE,CAAC;gBAC1C,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;YAC1C,CAAC;YACD,KAAK,QAAQ,EAAE,CAAC;gBACd,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAE,CAAC;gBAC9C,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC;YAC9C,CAAC;YACD,KAAK,OAAO,EAAE,CAAC;gBACb,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;gBAC5B,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACxF,CAAC;YACD,KAAK,KAAK,EAAE,CAAC;gBACX,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAChC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACjC,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;oBAChB,KAAK,GAAG;wBACN,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;oBACxB,KAAK,GAAG;wBACN,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;oBACrC,KAAK,GAAG,EAAE,CAAC;wBACT,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;wBACnD,OAAO,IAAI,CAAC,MAAM,CAChB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,EAAE,CAAC,EACnD,GAAG,CACJ,CAAC;oBACJ,CAAC;oBACD,KAAK,GAAG,CAAC;oBACT,KAAK,GAAG,EAAE,CAAC;wBACT,6DAA6D;wBAC7D,4DAA4D;wBAC5D,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;wBAC/D,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;wBACpB,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,gBAAgB,IAAI,gBAAgB,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;wBAC9E,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAClB,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,CAAC,GAAG,KAAK,IAAI,EAAE,CAC3E,CAAC;wBACF,MAAM,GAAG,GACP,IAAI,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;wBAChF,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;oBAC/B,CAAC;oBACD,SAAS,CAAC;wBACR,2DAA2D;wBAC3D,0DAA0D;wBAC1D,wBAAwB;wBACxB,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,EAAE,CAAE,CAAC;wBAC/B,MAAM,IAAI,GAAG,CAAC,CAAU,EAAU,EAAE;4BAClC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC;4BAC9D,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC;4BACrD,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,GAAG,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;wBAC5E,CAAC,CAAC;wBACF,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;wBACtE,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC;wBAC5D,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC;wBAC3D,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,gBAAgB,GAAG,UAAU,OAAO,UAAU,CAAC,EAAE,CAAC,CAAC;wBACnF,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,gBAAgB,GAAG,MAAM,CAAC,CAAC;wBAC5D,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,mBAAmB,IAAI,KAAK,CAAC,CAAC,CAAC;wBACjE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,iBAAiB,GAAG,SAAS,CAAC,EAAE,CAAC;oBAC1E,CAAC;gBACH,CAAC;YACH,CAAC;YACD,KAAK,OAAO,EAAE,CAAC;gBACb,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACnC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;gBACrB,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;oBACd,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC;oBAC7D,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,eAAe,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC;oBAC7D,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,kBAAkB,IAAI,KAAK,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;oBACvE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC;gBAC7B,CAAC;gBACD,+DAA+D;gBAC/D,4BAA4B;gBAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC;gBAC/D,IAAI,CAAC,KAAK,CAAC;oBAAE,OAAO,CAAC,CAAC;gBACtB,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CACnB,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC,EAAE,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,CACtE,CAAC;gBACF,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,kBAAkB,IAAI,KAAK,CAAC,CAAC;gBAC7D,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,aAAa,GAAG,KAAK,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;gBAC7D,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC;gBAC5D,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,cAAc,IAAI,KAAK,IAAI,EAAE,CAAC,CAAC;gBAC/D,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACjC,CAAC;YACD,KAAK,KAAK;gBACR,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;YAC/C,KAAK,KAAK,EAAE,CAAC;gBACX,eAAe;gBACf,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACnC,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;YAC7D,CAAC;YACD,KAAK,MAAM,EAAE,CAAC;gBACZ,6DAA6D;gBAC7D,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBACzE,IAAI,CAAC,IAAI,CAAC,MAAM;oBAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;gBACpD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,mBAAmB,GAAG,KAAK,CAAC,CAAC;gBAC7D,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,iBAAiB,GAAG,EAAE,CAAC,CAAC;gBAC5D,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,gBAAgB,GAAG,SAAS,OAAO,SAAS,GAAG,EAAE,CAAC,EAAE,CAAC;YAC9F,CAAC;QACH,CAAC;IACH,CAAC;CACF;AAED;;0EAE0E;AAC1E,MAAM,mBAAmB,GAAG,KAAK,CAAC;AAElC;;;;6CAI6C;AAC7C,SAAS,WAAW,CAAC,IAAwB,EAAE,KAAa;IAC1D,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACnB,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACtB,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACpB,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACpB,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACtB,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACvB,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,IAAI,eAAe,CAAC,CAAC;QAC5C,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,KAAK,eAAe,CAAC,CAAC;QAC7C,IAAI,CAAC,OAAO,CAAC,8CAA8C,CAAC,CAAC;QAC7D,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACrB,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACtB,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,qCAAqC,KAAK,SAAS,IAAI,SAAS,KAAK,GAAG,CAAC,CAAC;QACxF,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,oBAAoB,IAAI,EAAE,CAAC,CAAC;QACzC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,oBAAoB,KAAK,EAAE,CAAC,CAAC;QAC5C,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,mBAAmB,KAAK,KAAK,CAAC,CAAC;QAC3C,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,mBAAmB,KAAK,KAAK,mBAAmB,EAAE,CAAC,CAAC;QACnE,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,mBAAmB,IAAI,KAAK,CAAC,CAAC;IAC7C,CAAC;SAAM,CAAC;QACN,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACtB,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACpB,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACrB,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACvB,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,qCAAqC,KAAK,SAAS,CAAC,CAAC;QACpE,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,oBAAoB,KAAK,EAAE,CAAC,CAAC;QAC1C,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,qCAAqC,KAAK,UAAU,CAAC,CAAC;QACtE,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,oBAAoB,MAAM,EAAE,CAAC,CAAC;QAC5C,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,qCAAqC,KAAK,UAAU,CAAC,CAAC;QACtE,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,oBAAoB,MAAM,EAAE,CAAC,CAAC;QAC3C,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,mBAAmB,GAAG,KAAK,CAAC,CAAC;QACzC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,mBAAmB,GAAG,KAAK,mBAAmB,EAAE,CAAC,CAAC;QACjE,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,mBAAmB,IAAI,KAAK,CAAC,CAAC;IAC7C,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACxB,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACrB,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,iBAAiB,GAAG,EAAE,CAAC,CAAC;IACzC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,gBAAgB,GAAG,SAAS,OAAO,SAAS,GAAG,EAAE,CAAC,CAAC;IACjE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;AACvC,CAAC;AAED;6DAC6D;AAC7D,SAAS,aAAa,CAAC,IAAwB,EAAE,KAAa;IAC5D,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACpB,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACxB,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACrB,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACpB,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACrB,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACzB,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACnB,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACpB,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACxB,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACrB,IAAI,CAAC,OAAO,CAAC,uCAAuC,CAAC,CAAC;IACtD,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,wCAAwC,KAAK,GAAG,CAAC,CAAC;IAC/D,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,sBAAsB,GAAG,yBAAyB,CAAC,CAAC;IACrE,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,gBAAgB,OAAO,YAAY,GAAG,cAAc,CAAC,CAAC;IACpE,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,oBAAoB,IAAI,SAAS,CAAC,CAAC;IAChD,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,iBAAiB,GAAG,YAAY,CAAC,CAAC;IAChD,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,sBAAsB,IAAI,KAAK,GAAG,EAAE,CAAC,CAAC;IACxD,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,aAAa,OAAO,KAAK,QAAQ,EAAE,CAAC,CAAC;IACjD,yDAAyD;IACzD,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,sBAAsB,KAAK,OAAO,CAAC,CAAC;IACjD,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,iBAAiB,GAAG,EAAE,CAAC,CAAC;IACzC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,gBAAgB,GAAG,SAAS,OAAO,SAAS,GAAG,EAAE,CAAC,CAAC;IACjE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;AAC3C,CAAC;AAED;qDACqD;AACrD,MAAM,UAAU,cAAc,CAAC,IAAwB,EAAE,CAAc;IACrE,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACvB,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,IAAI,IAAI,GAAG,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC7C,IAAI,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IACzC,IAAI,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACzB,IAAI,GAAG,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACxC,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IACvC,CAAC;IACD,sEAAsE;IACtE,cAAc;IACd,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC,UAAU,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9E,MAAM,KAAK,GAAS,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;IAClF,IAAI,IAAI,CAAC,IAAI;QAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAErF,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC;IAC3B,+DAA+D;IAC/D,MAAM,MAAM,GAAc,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IACnF,MAAM,OAAO,GAAc,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IACrE,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,UAAU,GAAc,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAChD,IAAI,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,KAAK,IAAI,EAAE,CAAC;YAC3C,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QAC1E,CAAC;QACD,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QACvC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;IACH,MAAM,YAAY,GAAc,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAChD,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC3C,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACvB,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,IAAI,WAAW,CAAC,IAAI,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;IAChE,MAAM,GAAG,GAAG,CAAC,GAAW,EAAE,EAAU,EAAU,EAAE;QAC9C,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAClB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,GAAG,KAAK,EAAE,EAAE,CAAC,CAAC;QACtC,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IACF,MAAM,UAAU,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5B,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,UAAU,eAAe,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC;IAC5C,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,sEAAsE;QACtE,8DAA8D;QAC9D,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACjC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YAClB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;YACnC,OAAO,CAAC,CAAC;QACX,CAAC,CAAC,CAAC;QACH,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC/D,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACnB,IAAI,CAAC,OAAO,CAAC,qDAAqD,CAAC,CAAC;QACpE,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACrB,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,0CAA0C,KAAK,CAAC,GAAG,gBAAgB,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC;QAC/F,CAAC,CAAC,IAAI,CAAC,aAAa,IAAI,SAAS,UAAU,EAAE,CAAC,CAAC;IACjD,CAAC;SAAM,CAAC;QACN,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACjD,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACnB,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,qBAAqB,CAAC;QAC/E,IAAI,CAAC,OAAO,CAAC,gBAAgB,IAAI,OAAO,CAAC,CAAC;QAC1C,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACrB,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,gBAAgB,IAAI,QAAQ,GAAG,GAAG,CAAC,CAAC;QAClD,CAAC,CAAC,IAAI,CAAC,aAAa,IAAI,SAAS,UAAU,EAAE,CAAC,CAAC;IACjD,CAAC;IACD,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAEX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,SAAS,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3B,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,SAAS,cAAc,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACnF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACnB,CAAC,CAAC,IAAI,CACJ,GAAG,EAAE,8BAA8B,MAAM,CAAC,MAAM,gBAAgB,SAAS,KAAK,IAAI,OAAO,IAAI,IAAI,CAAC,EAAE,CACrG,CAAC;QACF,CAAC,CAAC,IAAI,CAAC,aAAa,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,SAAS,EAAE,EAAE,CAAC,CAAC;IACpD,CAAC;IACD,MAAM,WAAW,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7B,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,WAAW,cAAc,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IACzF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACnB,CAAC,CAAC,IAAI,CACJ,GAAG,EAAE,8BAA8B,OAAO,CAAC,MAAM,mBAAmB,WAAW,KAAK,IAAI,OAAO,IAAI,IAAI,CAAC,EAAE,CAC3G,CAAC;QACF,CAAC,CAAC,IAAI,CAAC,gBAAgB,OAAO,CAAC,CAAC,CAAE,CAAC,IAAI,SAAS,EAAE,EAAE,CAAC,CAAC;IACxD,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,kDAAkD,CAAC,CAAC;IACjE,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACtB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,IAAI,CACJ,GAAG,KAAK,yCAAyC,OAAO,SAAS,SAAS,SAAS,WAAW,GAAG,CAClG,CAAC;IACF,CAAC,CAAC,IAAI,CAAC,aAAa,KAAK,SAAS,UAAU,EAAE,CAAC,CAAC;IAChD,IAAI,CAAC,gBAAgB,EAAE,CAAC;IACxB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAEX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACvB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,oBAAoB,UAAU,EAAE,CAAC,CAAC;IAClD,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AAClD,CAAC"}

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

@@ -21,6 +21,8 @@ export declare class BlockBuilder {
     readonly immortalTemps: Set<string>;
     constructor();
     newLabel(hint: string): string;
+    /** The label of the block instructions currently append to. */
+    currentLabel(): string;
     startBlock(label: string): void;
     line(s: string): void;
     private withDebugLocation;

package/dist/backend/llvm/blocks.js

@@ -37,6 +37,10 @@ export class BlockBuilder {
     newLabel(hint) {
         return `${hint}${this.labelCounter++}`;
     }
+    /** The label of the block instructions currently append to. */
+    currentLabel() {
+        return this.cur.label;
+    }
     startBlock(label) {
         this.cur = { label, lines: [], term: null };
         this.blocks.push(this.cur);