@scriptc/compiler 0.2.2 → 0.2.4

package/dist/ir/integer-ranges.js

@@ -1,10 +1,49 @@
-import { everyExprChild, everyStmtChild } from "./traverse.js";
+import { everyExprChild, everyStmtChild, everyStmtList } from "./traverse.js";
+import { byteNumberAccess, byteNumberRange } from "./byte-numbers.js";
 const SIGNED = { min: -2147483648, max: 2147483647 };
 const UNSIGNED = { min: 0, max: 4294967295 };
-/** Deliberately local range analysis. Facts flow only through straight-line
- * statements and numeric expression evaluation. Unknown expressions and
- * control-flow boundaries discard them; nested bodies start independently.
- * No assumptions about parameters, captures, globals or loop iterations. */
+const EXACT_LIMIT = 2 ** 53;
+function union(left, right) {
+    return { min: Math.min(left.min, right.min), max: Math.max(left.max, right.max) };
+}
+function merge(into, left, right) {
+    into.clear();
+    for (const [id, value] of left) {
+        const other = right.get(id);
+        if (other)
+            into.set(id, union(value, other));
+    }
+}
+export function integerArithmeticRange(op, left, right) {
+    let min;
+    let max;
+    if (op === "+") {
+        min = left.min + right.min;
+        max = left.max + right.max;
+    }
+    else if (op === "-") {
+        min = left.min - right.max;
+        max = left.max - right.min;
+    }
+    else if (op === "*") {
+        if ((left.min <= 0 && left.max >= 0 && right.min < 0) || (right.min <= 0 && right.max >= 0 && left.min < 0))
+            return null;
+        const products = [left.min * right.min, left.min * right.max, left.max * right.min, left.max * right.max];
+        min = Math.min(...products);
+        max = Math.max(...products);
+    }
+    else if (op === "%" && left.min >= 0 && right.min > 0) {
+        return { min: 0, max: Math.min(left.max, right.max - 1) };
+    }
+    else
+        return null;
+    return Number.isSafeInteger(min) && Number.isSafeInteger(max) ? { min, max } : null;
+}
+/** Structured local dataflow. Calls cannot write uncaptured local slots,
+ * but argument expressions can; unknown evaluation forms invalidate all
+ * syntactically written slots before their children are inspected. Loops
+ * discard loop-carried facts and retain only invariant or induction facts.
+ * Suspensions and captured bindings deliberately remain outside the proof. */
 export function analyzeIntegerRanges(fn) {
     const ranges = new Map();
     if (fn.async || fn.generator)
@@ -12,20 +51,93 @@ export function analyzeIntegerRanges(fn) {
     const captures = new Set([...(fn.captures ?? []), ...(fn.classCaptures ?? [])].map((c) => c.localId));
     const eligible = new Set(fn.locals.filter((l) => l.type.kind === "f64" && !l.boxed && !l.tdz && !captures.has(l.id)).map((l) => l.id));
     function remember(e, range) {
-        // IR normally is a tree, but shared expression objects must be safe at
-        // every occurrence. An unknown occurrence invalidates any earlier fact.
+        // Shared IR objects have to satisfy the proof at every occurrence.
         const previous = ranges.get(e);
-        ranges.set(e, previous === undefined ? range : previous && range ? {
-            min: Math.min(previous.min, range.min), max: Math.max(previous.max, range.max),
-        } : null);
+        ranges.set(e, previous === undefined ? range : previous && range ? union(previous, range) : null);
         return range;
     }
-    function opaqueExpr(value) {
-        ranges.set(value, null);
-        return everyExprChild(value, opaqueExpr, opaqueStmt);
+    function set(facts, id, range) {
+        if (range && eligible.has(id))
+            facts.set(id, range);
+        else
+            facts.delete(id);
     }
-    function opaqueStmt(value) {
-        return everyStmtChild(value, opaqueExpr, opaqueStmt);
+    function writes(node) {
+        const result = new Set();
+        const e = (value) => {
+            if (value.kind === "assignExpr" || value.kind === "incDec")
+                result.add(value.localId);
+            return true;
+        };
+        const s = (value) => {
+            if (value.kind === "assign" || value.kind === "varDecl" || value.kind === "forOf")
+                result.add(value.localId);
+            if (value.kind === "tryCatch" && value.catchLocalId)
+                result.add(value.catchLocalId);
+            return true;
+        };
+        const walkExpr = (value) => e(value) && everyExprChild(value, walkExpr, walkStmt);
+        const walkStmt = (value) => s(value) && everyStmtChild(value, walkExpr, walkStmt);
+        if ("type" in node)
+            walkExpr(node);
+        else
+            walkStmt(node);
+        return result;
+    }
+    function invalidate(facts, nodes) {
+        for (const node of nodes)
+            for (const id of writes(node))
+                facts.delete(id);
+    }
+    function refine(condition, truth, facts) {
+        // A comparison constrains operand snapshots. If evaluating it writes a
+        // binding, the current slot may no longer contain the compared value.
+        if (writes(condition).size > 0)
+            return;
+        if (condition.kind === "toBool")
+            return refine(condition.operand, truth, facts);
+        if (condition.kind === "unary" && condition.op === "!")
+            return refine(condition.operand, !truth, facts);
+        if (condition.kind === "logical" && (condition.op === "&&" && truth || condition.op === "||" && !truth)) {
+            refine(condition.left, truth, facts);
+            refine(condition.right, truth, facts);
+            return;
+        }
+        if (condition.kind !== "bin")
+            return;
+        let ref = condition.left;
+        let bound = condition.right;
+        let op = condition.op;
+        if (ref.kind !== "varRef" && bound.kind === "varRef") {
+            [ref, bound] = [bound, ref];
+            op = { "<": ">", "<=": ">=", ">": "<", ">=": "<=", "===": "===", "!==": "!==" }[op] ?? "";
+        }
+        if (ref.kind !== "varRef")
+            return;
+        const boundRange = bound.kind === "numLit" && Number.isFinite(bound.value)
+            ? { min: bound.value, max: bound.value } : ranges.get(bound);
+        if (!boundRange)
+            return;
+        const previous = facts.get(ref.localId);
+        if (!previous)
+            return;
+        if (!truth)
+            op = { "<": ">=", "<=": ">", ">": "<=", ">=": "<", "===": "!==", "!==": "===" }[op] ?? "";
+        let { min, max } = previous;
+        if (op === "<")
+            max = Math.min(max, Math.ceil(boundRange.max) - 1);
+        else if (op === "<=")
+            max = Math.min(max, Math.floor(boundRange.max));
+        else if (op === ">")
+            min = Math.max(min, Math.floor(boundRange.min) + 1);
+        else if (op === ">=")
+            min = Math.max(min, Math.ceil(boundRange.min));
+        else if (op === "===") {
+            min = Math.max(min, boundRange.min);
+            max = Math.min(max, boundRange.max);
+        }
+        if (min <= max && Number.isInteger(min) && Number.isInteger(max))
+            facts.set(ref.localId, { min, max });
     }
     function expr(e, facts) {
         let range = null;
@@ -37,112 +149,254 @@ export function analyzeIntegerRanges(fn) {
             case "varRef":
                 range = facts.get(e.localId) ?? null;
                 break;
+            case "assignExpr":
+                range = expr(e.value, facts);
+                set(facts, e.localId, range);
+                break;
+            case "incDec": {
+                const before = facts.get(e.localId) ?? null;
+                const after = before ? integerArithmeticRange(e.op, before, { min: 1, max: 1 }) : null;
+                set(facts, e.localId, after);
+                range = e.prefix ? after : before;
+                break;
+            }
             case "bin": {
-                // Evaluate in source order: an opaque right operand may invalidate
-                // locals, but cannot change the already-snapshotted left value.
                 const left = expr(e.left, facts);
                 const right = expr(e.right, facts);
                 if (e.type.kind !== "f64")
                     break;
-                if (e.op === ">>>")
-                    range = UNSIGNED;
-                else if (["&", "|", "^", "<<", ">>"].includes(e.op))
-                    range = SIGNED;
-                else if (left && right && (e.op === "+" || e.op === "-")) {
-                    const min = e.op === "+" ? left.min + right.min : left.min - right.max;
-                    const max = e.op === "+" ? left.max + right.max : left.max - right.min;
-                    if (Number.isSafeInteger(min) && Number.isSafeInteger(max))
-                        range = { min, max };
+                if (e.op === ">>>") {
+                    const shift = e.right.kind === "numLit" ? e.right.value & 31 : 0;
+                    range = { min: 0, max: 4294967295 >>> shift };
                 }
+                else if (e.op === "&") {
+                    const mask = e.left.kind === "numLit" ? e.left.value | 0 : e.right.kind === "numLit" ? e.right.value | 0 : -1;
+                    range = mask >= 0 ? { min: 0, max: mask } : SIGNED;
+                }
+                else if (e.op === "|" || e.op === "^" || e.op === "<<" || e.op === ">>")
+                    range = SIGNED;
+                else if (left && right)
+                    range = integerArithmeticRange(e.op, left, right);
                 break;
             }
-            case "unary":
-                expr(e.operand, facts);
+            case "unary": {
+                const operand = expr(e.operand, facts);
                 if (e.op === "~")
                     range = SIGNED;
+                else if (e.op === "-" && operand && (operand.max < 0 || operand.min > 0))
+                    range = { min: -operand.max, max: -operand.min };
+                break;
+            }
+            case "ternary": {
+                expr(e.cond, facts);
+                const yes = new Map(facts), no = new Map(facts);
+                refine(e.cond, true, yes);
+                refine(e.cond, false, no);
+                const left = expr(e.then, yes), right = expr(e.else_, no);
+                merge(facts, yes, no);
+                if (left && right)
+                    range = union(left, right);
+                break;
+            }
+            case "logical": {
+                const left = expr(e.left, facts);
+                const skipped = new Map(facts), evaluated = new Map(facts);
+                refine(e.left, e.op === "&&", evaluated);
+                const right = expr(e.right, evaluated);
+                merge(facts, skipped, evaluated);
+                if (left && right)
+                    range = union(left, right);
+                break;
+            }
+            case "seqExpr":
+                body(e.stmts, facts);
+                range = expr(e.result, facts);
+                break;
+            case "libCall": {
+                const args = e.args.map((a) => expr(a, facts));
+                if (e.fn === "math.imul")
+                    range = SIGNED;
+                else if (e.fn === "math.clz32")
+                    range = { min: 0, max: 32 };
+                else if ((e.fn === "math.min" || e.fn === "math.max") && args.length > 0 && args.every((a) => a !== null)) {
+                    const known = args;
+                    const mins = known.map((a) => a.min), maxes = known.map((a) => a.max);
+                    range = e.fn === "math.min" ? { min: Math.min(...mins), max: Math.min(...maxes) } : { min: Math.max(...mins), max: Math.max(...maxes) };
+                }
+                break;
+            }
+            case "bytesIntrinsic": {
+                expr(e.receiver, facts);
+                for (const arg of e.args)
+                    expr(arg, facts);
+                const numeric = byteNumberAccess(e);
+                if (numeric && !numeric.write)
+                    range = byteNumberRange(numeric);
+                else if (e.method === "length" || e.method === "byteLength" || e.method === "byteOffset")
+                    range = { min: 0, max: Number.MAX_SAFE_INTEGER };
+                else if (e.method === "get" && e.receiver.type.kind === "bytes") {
+                    const elem = e.receiver.type.elem;
+                    if (elem === "u8" || elem === "u8c")
+                        range = { min: 0, max: 255 };
+                    else if (elem === "i8")
+                        range = { min: -128, max: 127 };
+                    else if (elem === "u16")
+                        range = { min: 0, max: 65535 };
+                    else if (elem === "i16")
+                        range = { min: -32768, max: 32767 };
+                    else if (elem === "u32")
+                        range = UNSIGNED;
+                    else if (elem === "i32")
+                        range = SIGNED;
+                }
+                break;
+            }
+            case "arrIntrinsic":
+                // Callbacks and arguments can have writes hidden in lazy lowering.
+                invalidate(facts, [e]);
+                everyExprChild(e, (child) => { expr(child, new Map(facts)); return true; }, (child) => { body([child], new Map(facts)); return true; });
+                if (e.method === "length")
+                    range = UNSIGNED;
                 break;
             default:
-                facts.clear();
-                opaqueExpr(e);
-                return null;
+                // Do not assume the traversal order is an evaluation order for an
+                // unknown node. Every child gets the same conservative entry state.
+                invalidate(facts, [e]);
+                everyExprChild(e, (child) => { expr(child, new Map(facts)); return true; }, (child) => { body([child], new Map(facts)); return true; });
+                break;
         }
         return remember(e, range);
     }
-    function body(stmts) {
-        const facts = new Map();
+    function induction(s, facts) {
+        if (s.init?.kind !== "varDecl" || !eligible.has(s.init.localId))
+            return null;
+        const id = s.init.localId, start = facts.get(id);
+        if (!start)
+            return null;
+        let step = 0;
+        const update = s.update;
+        if (update?.kind === "assign" && update.localId === id && update.value.kind === "bin" &&
+            update.value.left.kind === "varRef" && update.value.left.localId === id && update.value.right.kind === "numLit" && update.value.right.value === 1) {
+            step = update.value.op === "+" ? 1 : update.value.op === "-" ? -1 : 0;
+        }
+        else if (update?.kind === "exprStmt" && update.expr.kind === "incDec" && update.expr.localId === id)
+            step = update.expr.op === "+" ? 1 : -1;
+        if (!step || s.body.some((node) => writes(node).has(id)) || s.cond && writes(s.cond).has(id))
+            return null;
+        return { id, range: step > 0 ? { min: start.min, max: EXACT_LIMIT } : { min: -EXACT_LIMIT, max: start.max } };
+    }
+    function body(stmts, facts) {
         for (const s of stmts) {
             switch (s.kind) {
                 case "varDecl":
                 case "assign": {
                     const value = s.kind === "varDecl" ? s.init : s.value;
-                    const range = value ? expr(value, facts) : null;
-                    facts.delete(s.localId);
-                    if (range && eligible.has(s.localId))
-                        facts.set(s.localId, range);
+                    set(facts, s.localId, value ? expr(value, facts) : null);
                     break;
                 }
+                case "exprStmt":
+                    expr(s.expr, facts);
+                    break;
                 case "return":
                     if (s.value)
                         expr(s.value, facts);
                     facts.clear();
                     break;
-                case "exprStmt":
-                    expr(s.expr, facts);
+                case "block":
+                    body(s.body, facts);
+                    // A labeled break can skip the tail of this block. We have no
+                    // exit-edge lattice here, so discard its written facts at a join.
+                    if (!everyStmtList(s.body, { expr: () => true, stmt: (node) => node.kind !== "break" && node.kind !== "continue" }))
+                        invalidate(facts, s.body);
                     break;
-                default:
-                    facts.clear();
-                    // Only statement lists start fresh fact environments. Headers,
-                    // conditions and selectors stay opaque; typed traversal preserves
-                    // the original expression identities rather than taking snapshots.
-                    switch (s.kind) {
-                        case "block":
-                            body(s.body);
-                            break;
-                        case "if":
-                            opaqueExpr(s.cond);
-                            body(s.then);
-                            if (s.else_)
-                                body(s.else_);
-                            break;
-                        case "while":
-                        case "doWhile":
-                            opaqueExpr(s.cond);
-                            body(s.body);
-                            break;
-                        case "for":
-                            if (s.init)
-                                opaqueStmt(s.init);
-                            if (s.cond)
-                                opaqueExpr(s.cond);
-                            if (s.update)
-                                opaqueStmt(s.update);
-                            body(s.body);
-                            break;
-                        case "forOf":
-                            opaqueExpr(s.iterable);
-                            body(s.body);
-                            break;
-                        case "switch":
-                            opaqueExpr(s.disc);
-                            for (const c of s.cases) {
-                                if (c.test)
-                                    opaqueExpr(c.test);
-                                body(c.body);
-                            }
-                            break;
-                        case "tryCatch":
-                            body(s.tryBody);
-                            if (s.catchBody)
-                                body(s.catchBody);
-                            if (s.finallyBody)
-                                body(s.finallyBody);
-                            break;
-                        default: opaqueStmt(s);
+                case "if": {
+                    expr(s.cond, facts);
+                    const yes = new Map(facts), no = new Map(facts);
+                    refine(s.cond, true, yes);
+                    refine(s.cond, false, no);
+                    body(s.then, yes);
+                    if (s.else_)
+                        body(s.else_, no);
+                    merge(facts, yes, no);
+                    break;
+                }
+                case "for": {
+                    if (s.init)
+                        body([s.init], facts);
+                    const counter = induction(s, facts);
+                    const loop = new Map(facts);
+                    invalidate(loop, [...s.body, ...(s.cond ? [s.cond] : []), ...(s.update ? [s.update] : [])]);
+                    if (counter)
+                        loop.set(counter.id, counter.range);
+                    if (s.cond)
+                        expr(s.cond, loop);
+                    const inside = new Map(loop);
+                    if (s.cond)
+                        refine(s.cond, true, inside);
+                    body(s.body, inside);
+                    // Continue can bypass any body assignment. The update therefore
+                    // starts from header invariants rather than the body's exit facts.
+                    if (s.update)
+                        body([s.update], new Map(loop));
+                    invalidate(facts, [s]);
+                    break;
+                }
+                case "while":
+                case "doWhile": {
+                    const loop = new Map(facts);
+                    invalidate(loop, [s]);
+                    const header = new Map(loop);
+                    expr(s.cond, header);
+                    if (s.kind === "while") {
+                        refine(s.cond, true, header);
+                        body(s.body, header);
                     }
+                    else
+                        body(s.body, new Map(loop));
+                    invalidate(facts, [s]);
+                    break;
+                }
+                case "forOf": {
+                    expr(s.iterable, facts);
+                    const loop = new Map(facts);
+                    invalidate(loop, [s]);
+                    body(s.body, loop);
+                    invalidate(facts, [s]);
+                    break;
+                }
+                case "tryCatch":
+                    // Catch/finally, fallthrough and nonlocal exits need their own
+                    // control-flow joins. Analyze each region from invariant facts.
+                    invalidate(facts, [s]);
+                    body(s.tryBody, new Map(facts));
+                    if (s.catchBody)
+                        body(s.catchBody, new Map(facts));
+                    if (s.finallyBody)
+                        body(s.finallyBody, new Map(facts));
+                    break;
+                case "switch":
+                    invalidate(facts, [s]);
+                    expr(s.disc, new Map(facts));
+                    for (const region of s.cases) {
+                        if (region.test)
+                            expr(region.test, new Map(facts));
+                        body(region.body, new Map(facts));
+                    }
+                    break;
+                case "break":
+                case "continue":
+                    // An outer labeled jump can bypass following assignments. Clearing
+                    // the continuing path is conservative; loop exits discard writes.
+                    facts.clear();
+                    break;
+                default:
+                    invalidate(facts, [s]);
+                    everyStmtChild(s, (child) => { expr(child, new Map(facts)); return true; }, (child) => { body([child], new Map(facts)); return true; });
+                    break;
             }
         }
     }
-    body(fn.body);
+    body(fn.body, new Map());
     return ranges;
 }
 //# sourceMappingURL=integer-ranges.js.map

package/dist/ir/integer-ranges.js.map

@@ -1 +1 @@
-{"version":3,"file":"integer-ranges.js","sourceRoot":"","sources":["../../src/ir/integer-ranges.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAM/D,MAAM,MAAM,GAAiB,EAAE,GAAG,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC;AACnE,MAAM,QAAQ,GAAiB,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC;AAE3D;;;4EAG4E;AAC5E,MAAM,UAAU,oBAAoB,CAAC,EAAc;IACjD,MAAM,MAAM,GAAG,IAAI,GAAG,EAA+B,CAAC;IACtD,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;QAAE,OAAO,MAAM,CAAC;IAC5C,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,QAAQ,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAGvI,SAAS,QAAQ,CAAC,CAAS,EAAE,KAA0B;QACrD,uEAAuE;QACvE,wEAAwE;QACxE,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC;YACjE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC;SAC/E,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;IACD,SAAS,UAAU,CAAC,KAAa;QAC/B,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACxB,OAAO,cAAc,CAAC,KAAK,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;IACvD,CAAC;IACD,SAAS,UAAU,CAAC,KAAa;QAC/B,OAAO,cAAc,CAAC,KAAK,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;IACvD,CAAC;IACD,SAAS,IAAI,CAAC,CAAS,EAAE,KAAY;QACnC,IAAI,KAAK,GAAwB,IAAI,CAAC;QACtC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,QAAQ;gBACX,IAAI,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;oBAAE,KAAK,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;gBACrG,MAAM;YACR,KAAK,QAAQ;gBAAE,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC;gBAAC,MAAM;YAC3D,KAAK,KAAK,EAAE,CAAC;gBACX,mEAAmE;gBACnE,gEAAgE;gBAChE,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACjC,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBACnC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;oBAAE,MAAM;gBACjC,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK;oBAAE,KAAK,GAAG,QAAQ,CAAC;qBAChC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;oBAAE,KAAK,GAAG,MAAM,CAAC;qBAC/D,IAAI,IAAI,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC;oBACzD,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;oBACvE,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;oBACvE,IAAI,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC;wBAAE,KAAK,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;gBACnF,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,OAAO;gBACV,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;gBACvB,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG;oBAAE,KAAK,GAAG,MAAM,CAAC;gBACjC,MAAM;YACR;gBACE,KAAK,CAAC,KAAK,EAAE,CAAC;gBACd,UAAU,CAAC,CAAC,CAAC,CAAC;gBACd,OAAO,IAAI,CAAC;QAChB,CAAC;QACD,OAAO,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC5B,CAAC;IACD,SAAS,IAAI,CAAC,KAAe;QAC3B,MAAM,KAAK,GAAU,IAAI,GAAG,EAAE,CAAC;QAC/B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;gBACf,KAAK,SAAS,CAAC;gBAAC,KAAK,QAAQ,EAAE,CAAC;oBAC9B,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;oBACtD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;oBAChD,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;oBACxB,IAAI,KAAK,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;wBAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;oBAClE,MAAM;gBACR,CAAC;gBACD,KAAK,QAAQ;oBACX,IAAI,CAAC,CAAC,KAAK;wBAAE,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;oBAClC,KAAK,CAAC,KAAK,EAAE,CAAC;oBACd,MAAM;gBACR,KAAK,UAAU;oBAAE,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;oBAAC,MAAM;gBAC5C;oBACE,KAAK,CAAC,KAAK,EAAE,CAAC;oBACd,+DAA+D;oBAC/D,kEAAkE;oBAClE,mEAAmE;oBACnE,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;wBACf,KAAK,OAAO;4BAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;4BAAC,MAAM;wBAClC,KAAK,IAAI;4BACP,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;4BACnB,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;4BACb,IAAI,CAAC,CAAC,KAAK;gCAAE,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;4BAC3B,MAAM;wBACR,KAAK,OAAO,CAAC;wBAAC,KAAK,SAAS;4BAC1B,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;4BACnB,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;4BACb,MAAM;wBACR,KAAK,KAAK;4BACR,IAAI,CAAC,CAAC,IAAI;gCAAE,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;4BAC/B,IAAI,CAAC,CAAC,IAAI;gCAAE,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;4BAC/B,IAAI,CAAC,CAAC,MAAM;gCAAE,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;4BACnC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;4BACb,MAAM;wBACR,KAAK,OAAO;4BACV,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;4BACvB,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;4BACb,MAAM;wBACR,KAAK,QAAQ;4BACX,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;4BACnB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;gCACxB,IAAI,CAAC,CAAC,IAAI;oCAAE,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gCAC/B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;4BACf,CAAC;4BACD,MAAM;wBACR,KAAK,UAAU;4BACb,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;4BAChB,IAAI,CAAC,CAAC,SAAS;gCAAE,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;4BACnC,IAAI,CAAC,CAAC,WAAW;gCAAE,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;4BACvC,MAAM;wBACR,SAAS,UAAU,CAAC,CAAC,CAAC,CAAC;oBACzB,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACd,OAAO,MAAM,CAAC;AAChB,CAAC"}
+{"version":3,"file":"integer-ranges.js","sourceRoot":"","sources":["../../src/ir/integer-ranges.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9E,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAMtE,MAAM,MAAM,GAAiB,EAAE,GAAG,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC;AACnE,MAAM,QAAQ,GAAiB,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC;AAC3D,MAAM,WAAW,GAAG,CAAC,IAAI,EAAE,CAAC;AAG5B,SAAS,KAAK,CAAC,IAAkB,EAAE,KAAmB;IACpD,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;AACpF,CAAC;AACD,SAAS,KAAK,CAAC,IAAW,EAAE,IAAW,EAAE,KAAY;IACnD,IAAI,CAAC,KAAK,EAAE,CAAC;IACb,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5B,IAAI,KAAK;YAAE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IAC/C,CAAC;AACH,CAAC;AACD,MAAM,UAAU,sBAAsB,CAAC,EAAU,EAAE,IAAkB,EAAE,KAAmB;IACxF,IAAI,GAAW,CAAC;IAChB,IAAI,GAAW,CAAC;IAChB,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;QAAC,GAAG,GAAG,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;QAAC,GAAG,GAAG,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;IAAC,CAAC;SACtE,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;QAAC,GAAG,GAAG,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;QAAC,GAAG,GAAG,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;IAAC,CAAC;SAC3E,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;QACpB,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QACzH,MAAM,QAAQ,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;QAC1G,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC;QAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC;IAC3D,CAAC;SACI,IAAI,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;QACtD,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;IAC5D,CAAC;;QAAM,OAAO,IAAI,CAAC;IACnB,OAAO,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACtF,CAAC;AAED;;;;8EAI8E;AAC9E,MAAM,UAAU,oBAAoB,CAAC,EAAc;IACjD,MAAM,MAAM,GAAG,IAAI,GAAG,EAA+B,CAAC;IACtD,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;QAAE,OAAO,MAAM,CAAC;IAC5C,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,QAAQ,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAEvI,SAAS,QAAQ,CAAC,CAAS,EAAE,KAA0B;QACrD,mEAAmE;QACnE,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAClG,OAAO,KAAK,CAAC;IACf,CAAC;IACD,SAAS,GAAG,CAAC,KAAY,EAAE,EAAU,EAAE,KAA0B;QAC/D,IAAI,KAAK,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;;YAC/C,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACxB,CAAC;IACD,SAAS,MAAM,CAAC,IAAqB;QACnC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;QACjC,MAAM,CAAC,GAAG,CAAC,KAAa,EAAW,EAAE;YACnC,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;gBAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACtF,OAAO,IAAI,CAAC;QACd,CAAC,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,KAAa,EAAW,EAAE;YACnC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;gBAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC7G,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,YAAY;gBAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;YACpF,OAAO,IAAI,CAAC;QACd,CAAC,CAAC;QACF,MAAM,QAAQ,GAAG,CAAC,KAAa,EAAW,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,cAAc,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACnG,MAAM,QAAQ,GAAG,CAAC,KAAa,EAAW,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,cAAc,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACnG,IAAI,MAAM,IAAI,IAAI;YAAE,QAAQ,CAAC,IAAc,CAAC,CAAC;;YACxC,QAAQ,CAAC,IAAc,CAAC,CAAC;QAC9B,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,SAAS,UAAU,CAAC,KAAY,EAAE,KAA0B;QAC1D,KAAK,MAAM,IAAI,IAAI,KAAK;YAAE,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC;gBAAE,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC5E,CAAC;IACD,SAAS,MAAM,CAAC,SAAiB,EAAE,KAAc,EAAE,KAAY;QAC7D,uEAAuE;QACvE,sEAAsE;QACtE,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,GAAG,CAAC;YAAE,OAAO;QACvC,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,MAAM,CAAC,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAChF,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,IAAI,SAAS,CAAC,EAAE,KAAK,GAAG;YAAE,OAAO,MAAM,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACxG,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,EAAE,KAAK,IAAI,IAAI,KAAK,IAAI,SAAS,CAAC,EAAE,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACxG,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;YAAC,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;YAAC,OAAO;QACtF,CAAC;QACD,IAAI,SAAS,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO;QACrC,IAAI,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC;QACzB,IAAI,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC;QAC5B,IAAI,EAAE,GAAW,SAAS,CAAC,EAAE,CAAC;QAC9B,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACrD,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAC5B,EAAE,GAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAA6B,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QACxH,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO;QAClC,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;YACxE,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC/D,IAAI,CAAC,UAAU;YAAE,OAAO;QACxB,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACxC,IAAI,CAAC,QAAQ;YAAE,OAAO;QACtB,IAAI,CAAC,KAAK;YAAE,EAAE,GAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAA6B,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QAClI,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,QAAQ,CAAC;QAC5B,IAAI,EAAE,KAAK,GAAG;YAAE,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;aAC9D,IAAI,EAAE,KAAK,IAAI;YAAE,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;aACjE,IAAI,EAAE,KAAK,GAAG;YAAE,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;aACpE,IAAI,EAAE,KAAK,IAAI;YAAE,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;aAChE,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;YAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC;YAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC;QAAC,CAAC;QACpG,IAAI,GAAG,IAAI,GAAG,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IACzG,CAAC;IACD,SAAS,IAAI,CAAC,CAAS,EAAE,KAAY;QACnC,IAAI,KAAK,GAAwB,IAAI,CAAC;QACtC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,QAAQ;gBACX,IAAI,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;oBAAE,KAAK,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;gBACrG,MAAM;YACR,KAAK,QAAQ;gBAAE,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC;gBAAC,MAAM;YAC3D,KAAK,YAAY;gBACf,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;gBAAC,MAAM;YACpE,KAAK,QAAQ,EAAE,CAAC;gBACd,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC;gBAC5C,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;gBACvF,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;gBAAC,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;gBAAC,MAAM;YACzE,CAAC;YACD,KAAK,KAAK,EAAE,CAAC;gBACX,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACjC,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBACnC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;oBAAE,MAAM;gBACjC,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;oBACnB,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;oBACjE,KAAK,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,UAAU,KAAK,KAAK,EAAE,CAAC;gBAChD,CAAC;qBAAM,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC;oBACxB,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;oBAC9G,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;gBACrD,CAAC;qBAAM,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,IAAI,IAAI,CAAC,CAAC,EAAE,KAAK,IAAI;oBAAE,KAAK,GAAG,MAAM,CAAC;qBACrF,IAAI,IAAI,IAAI,KAAK;oBAAE,KAAK,GAAG,sBAAsB,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;gBAC1E,MAAM;YACR,CAAC;YACD,KAAK,OAAO,EAAE,CAAC;gBACb,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;gBACvC,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG;oBAAE,KAAK,GAAG,MAAM,CAAC;qBAC5B,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,GAAG,CAAC,IAAI,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC;oBAAE,KAAK,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;gBAC3H,MAAM;YACR,CAAC;YACD,KAAK,SAAS,EAAE,CAAC;gBACf,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACpB,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;gBAChD,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;gBAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;gBACrD,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBAC1D,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;gBAAC,IAAI,IAAI,IAAI,KAAK;oBAAE,KAAK,GAAG,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBAAC,MAAM;YAC9E,CAAC;YACD,KAAK,SAAS,EAAE,CAAC;gBACf,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACjC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,EAAE,SAAS,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;gBAC3D,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,IAAI,EAAE,SAAS,CAAC,CAAC;gBACzC,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;gBACvC,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;gBAAC,IAAI,IAAI,IAAI,KAAK;oBAAE,KAAK,GAAG,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBAAC,MAAM;YACzF,CAAC;YACD,KAAK,SAAS;gBACZ,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBAAC,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;gBAAC,MAAM;YAC7D,KAAK,SAAS,EAAE,CAAC;gBACf,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;gBAC/C,IAAI,CAAC,CAAC,EAAE,KAAK,WAAW;oBAAE,KAAK,GAAG,MAAM,CAAC;qBACpC,IAAI,CAAC,CAAC,EAAE,KAAK,YAAY;oBAAE,KAAK,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC;qBACvD,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,UAAU,IAAI,CAAC,CAAC,EAAE,KAAK,UAAU,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC;oBAC1G,MAAM,KAAK,GAAG,IAAsB,CAAC;oBACrC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;oBACtE,KAAK,GAAG,CAAC,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC;gBAC1I,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,gBAAgB,EAAE,CAAC;gBACtB,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;gBAAC,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,IAAI;oBAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;gBACpE,MAAM,OAAO,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;gBACpC,IAAI,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK;oBAAE,KAAK,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;qBAC3D,IAAI,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY;oBAAE,KAAK,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC;qBACtI,IAAI,CAAC,CAAC,MAAM,KAAK,KAAK,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBAChE,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;oBAClC,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,KAAK;wBAAE,KAAK,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;yBAC7D,IAAI,IAAI,KAAK,IAAI;wBAAE,KAAK,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;yBACnD,IAAI,IAAI,KAAK,KAAK;wBAAE,KAAK,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;yBACnD,IAAI,IAAI,KAAK,KAAK;wBAAE,KAAK,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;yBACxD,IAAI,IAAI,KAAK,KAAK;wBAAE,KAAK,GAAG,QAAQ,CAAC;yBACrC,IAAI,IAAI,KAAK,KAAK;wBAAE,KAAK,GAAG,MAAM,CAAC;gBAC1C,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,cAAc;gBACjB,mEAAmE;gBACnE,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBACvB,cAAc,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,GAAG,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBACxI,IAAI,CAAC,CAAC,MAAM,KAAK,QAAQ;oBAAE,KAAK,GAAG,QAAQ,CAAC;gBAC5C,MAAM;YACR;gBACE,kEAAkE;gBAClE,oEAAoE;gBACpE,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBACvB,cAAc,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,GAAG,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBACxI,MAAM;QACV,CAAC;QACD,OAAO,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC5B,CAAC;IACD,SAAS,SAAS,CAAC,CAA2B,EAAE,KAAY;QAC1D,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC;YAAE,OAAO,IAAI,CAAC;QAC7E,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjD,IAAI,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC;QACxB,IAAI,IAAI,GAAG,CAAC,CAAC;QACb,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;QACxB,IAAI,MAAM,EAAE,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,OAAO,KAAK,EAAE,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK;YACjF,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,EAAE,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;YACtJ,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxE,CAAC;aAAM,IAAI,MAAM,EAAE,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,KAAK,EAAE;YAAE,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9I,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC;QAC1G,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,WAAW,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC;IAChH,CAAC;IACD,SAAS,IAAI,CAAC,KAAe,EAAE,KAAY;QACzC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;gBACf,KAAK,SAAS,CAAC;gBAAC,KAAK,QAAQ,EAAE,CAAC;oBAC9B,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;oBACtD,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBAAC,MAAM;gBAClE,CAAC;gBACD,KAAK,UAAU;oBAAE,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;oBAAC,MAAM;gBAC5C,KAAK,QAAQ;oBACX,IAAI,CAAC,CAAC,KAAK;wBAAE,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;oBAAC,KAAK,CAAC,KAAK,EAAE,CAAC;oBAAC,MAAM;gBAC1D,KAAK,OAAO;oBACV,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;oBACpB,8DAA8D;oBAC9D,kEAAkE;oBAClE,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;wBAAE,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;oBAC/I,MAAM;gBACR,KAAK,IAAI,EAAE,CAAC;oBACV,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;oBACpB,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;oBAChD,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;oBAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;oBACrD,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;oBAAC,IAAI,CAAC,CAAC,KAAK;wBAAE,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBAClD,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;oBAAC,MAAM;gBAC/B,CAAC;gBACD,KAAK,KAAK,EAAE,CAAC;oBACX,IAAI,CAAC,CAAC,IAAI;wBAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;oBAClC,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;oBACpC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;oBAC5B,UAAU,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;oBAC5F,IAAI,OAAO;wBAAE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;oBACjD,IAAI,CAAC,CAAC,IAAI;wBAAE,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;oBAC/B,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;oBAC7B,IAAI,CAAC,CAAC,IAAI;wBAAE,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;oBACzC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;oBACrB,gEAAgE;oBAChE,mEAAmE;oBACnE,IAAI,CAAC,CAAC,MAAM;wBAAE,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;oBAC9C,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;oBAAC,MAAM;gBAChC,CAAC;gBACD,KAAK,OAAO,CAAC;gBAAC,KAAK,SAAS,EAAE,CAAC;oBAC7B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;oBAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;oBACnD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;oBAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;oBACnD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;wBACvB,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;wBAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;oBACrD,CAAC;;wBAAM,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;oBACnC,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;oBAAC,MAAM;gBAChC,CAAC;gBACD,KAAK,OAAO,EAAE,CAAC;oBACb,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;oBACxB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;oBAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;oBACnD,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;oBAAC,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;oBAAC,MAAM;gBACpD,CAAC;gBACD,KAAK,UAAU;oBACb,+DAA+D;oBAC/D,gEAAgE;oBAChE,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;oBACvB,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;oBAChC,IAAI,CAAC,CAAC,SAAS;wBAAE,IAAI,CAAC,CAAC,CAAC,SAAS,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;oBACnD,IAAI,CAAC,CAAC,WAAW;wBAAE,IAAI,CAAC,CAAC,CAAC,WAAW,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;oBACvD,MAAM;gBACR,KAAK,QAAQ;oBACX,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;oBACvB,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;oBAC7B,KAAK,MAAM,MAAM,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;wBAC7B,IAAI,MAAM,CAAC,IAAI;4BAAE,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;wBACnD,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;oBACpC,CAAC;oBACD,MAAM;gBACR,KAAK,OAAO,CAAC;gBAAC,KAAK,UAAU;oBAC3B,mEAAmE;oBACnE,kEAAkE;oBAClE,KAAK,CAAC,KAAK,EAAE,CAAC;oBAAC,MAAM;gBACvB;oBACE,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;oBACvB,cAAc,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,GAAG,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;oBACxI,MAAM;YACV,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;IACzB,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/ir/integer-ranges.test.js

@@ -1,6 +1,6 @@
 import { expect, test } from "vitest";
 import { analyzeIntegerRanges } from "./integer-ranges.js";
-import { F64 } from "./ir.js";
+import { BOOL, F64 } from "./ir.js";
 const loc = { file: "test.ts", start: 0, end: 0 };
 const num = (value) => ({ loc, kind: "numLit", value, type: F64 });
 const ref = (localId = "x") => ({ loc, kind: "varRef", localId, type: F64 });
@@ -25,7 +25,7 @@ test("rejects negative zero, fractions, nonfinite values and imprecise sums", ()
     expect(ranges.get(exact)).toEqual({ min: 9007199254740990, max: 9007199254740990 });
     expect(ranges.get(rounded)).toBeNull();
 });
-test("forgets facts across opaque expressions, control flow and boxed locals", () => {
+test("preserves uncaptured slots across calls and invalidates writes and boxed locals", () => {
     const sum = () => bin("+", ref(), num(1));
     const call = { loc, kind: "call", callee: "unknown", args: [], type: F64 };
     const afterCall = sum();
@@ -35,7 +35,7 @@ test("forgets facts across opaque expressions, control flow and boxed locals", (
         assign(num(1)), { loc, kind: "exprStmt", expr: call }, assign(afterCall),
         assign(num(1)), { loc, kind: "block", body: [assign(num(Infinity))] }, { loc, kind: "return", value: afterBlock },
     ]));
-    expect(ranges.get(afterCall)).toBeNull();
+    expect(ranges.get(afterCall)).toEqual({ min: 2, max: 2 });
     expect(ranges.get(afterBlock)).toBeNull();
     expect(analyzeIntegerRanges(fn([assign(num(1)), { loc, kind: "return", value: boxed }], true)).get(boxed)).toBeNull();
 });
@@ -60,4 +60,55 @@ test("shared expression objects never inherit a proof from another occurrence",
     ]));
     expect(ranges.get(shared)).toBeNull();
 });
+const condition = (op, left, right) => ({ loc, kind: "bin", op, left, right, type: BOOL });
+const observe = (value) => ({ loc, kind: "exprStmt", expr: value });
+test("joins branch assignments and refines signed masks on guarded paths", () => {
+    const inside = ref(), joined = ref();
+    const ranges = analyzeIntegerRanges(fn([
+        assign(bin("|", ref("unknown"), num(0))),
+        { loc, kind: "if", cond: condition(">=", ref(), num(0)), then: [observe(inside), assign(bin("&", ref(), num(255)))], else_: [assign(num(7))] },
+        observe(joined),
+    ]));
+    expect(ranges.get(inside)).toEqual({ min: 0, max: 2147483647 });
+    expect(ranges.get(joined)).toEqual({ min: 0, max: 255 });
+});
+test("assignment snapshots and lazy joins do not overwrite earlier operands", () => {
+    const before = ref(), after = ref(), last = ref();
+    const write = { loc, kind: "assignExpr", localId: "x", value: num(3), type: F64 };
+    const ternary = { loc, kind: "ternary", cond: condition("===", ref("flag"), num(0)), then: write, else_: num(5), type: F64 };
+    const ranges = analyzeIntegerRanges(fn([assign(num(1)), observe(bin("+", before, ternary)), observe(after),
+        observe({ loc, kind: "logical", op: "&&", left: ref("flag"), right: { ...write, value: num(9) }, type: F64 }), observe(last)]));
+    expect(ranges.get(before)).toEqual({ min: 1, max: 1 });
+    expect(ranges.get(after)).toEqual({ min: 1, max: 3 });
+    expect(ranges.get(last)).toEqual({ min: 1, max: 9 });
+});
+test("guards that mutate a compared binding cannot refine its later value", () => {
+    const current = ref();
+    const writes = { loc, kind: "seqExpr", stmts: [assign(bin(">>>", ref("unknown"), num(0)))], result: num(100), type: F64 };
+    const ranges = analyzeIntegerRanges(fn([assign(num(1)), { loc, kind: "if", cond: condition("<", ref(), writes), then: [observe(current)], else_: null }]));
+    expect(ranges.get(current)).toEqual({ min: 0, max: 4294967295 });
+});
+test("labeled exits and do-while conditions cannot lend facts to skipped paths", () => {
+    const afterBlock = ref(), firstBody = ref();
+    const ranges = analyzeIntegerRanges(fn([
+        assign(num(100)), { loc, kind: "block", labels: ["done"], body: [
+                { loc, kind: "if", cond: condition("===", ref("flag"), num(0)), then: [{ loc, kind: "break", label: "done" }], else_: null }, assign(num(1)),
+            ] }, observe(afterBlock),
+        { loc, kind: "doWhile", cond: condition("<", { loc, kind: "assignExpr", localId: "x", value: num(0), type: F64 }, num(-1)), body: [observe(firstBody)] },
+    ]));
+    expect(ranges.get(afterBlock)).toBeNull();
+    expect(ranges.get(firstBody)).toBeNull();
+});
+test("unit induction is exact but loop-carried assignments remain unknown", () => {
+    const counter = ref(), carried = ref("state"), after = ref();
+    const f = fn([{ loc, kind: "for", init: { loc, kind: "varDecl", localId: "x", init: num(0) },
+            cond: condition("<", ref(), num(10)), update: assign(bin("+", ref(), num(1))), body: [observe(counter), observe(carried),
+                { loc, kind: "assign", localId: "state", value: num(3) }],
+        }, observe(after)]);
+    f.locals.push({ id: "state", name: "state", type: F64, mutable: true });
+    const ranges = analyzeIntegerRanges(f);
+    expect(ranges.get(counter)).toEqual({ min: 0, max: 9 });
+    expect(ranges.get(carried)).toBeNull();
+    expect(ranges.get(after)).toBeNull();
+});
 //# sourceMappingURL=integer-ranges.test.js.map