@scriptc/compiler 0.4.0 → 0.4.2

package/dist/ir/integer-loops.js

@@ -1,6 +1,13 @@
 import { everyExprChild, everyStmtChild, everyStmtList } from "./traverse.js";
 import { byteNumberAccess } from "./byte-numbers.js";
 import { preservesArrayLength } from "./array-length-stability.js";
+/** The bound of the run-time follower test. */
+export const FOLLOWER_GUARD_LIMIT = 2 ** 52;
+/** The magnitude a follower that passed the test can reach. The test's four
+ * f64 operations (the step ratio, the span, its product and the sum) each
+ * round down by at most a factor of 1 - 2^-53, so the exact sum is below
+ * `2^52 / (1 - 2^-53)^4`, which is less than 2^52 + 3. */
+const FOLLOWER_GUARD_RANGE = FOLLOWER_GUARD_LIMIT + 2;
 function constantStep(update, id) {
     if (update?.kind === "exprStmt" && update.expr.kind === "incDec" && update.expr.localId === id)
         return update.expr.op === "+" ? 1 : -1;
@@ -40,6 +47,11 @@ function stableLoopValue(value, locals, body, invariant, counter, stableLength =
                 value.op === "|") &&
                 stableLoopValue(value.left, locals, body, invariant, counter, stableLength) &&
                 stableLoopValue(value.right, locals, body, invariant, counter, stableLength));
+        case "strIntrinsic":
+            // A string's length is fixed: stable while its binding is.
+            return (value.method === "length" &&
+                value.receiver.kind === "varRef" &&
+                stableLoopValue(value.receiver, locals, body, invariant, counter));
         case "bytesIntrinsic":
         case "arrIntrinsic":
             return ((value.method === "length" ||
@@ -57,35 +69,58 @@ function stableLoopValue(value, locals, body, invariant, counter, stableLength =
  * A final update may round beyond the limit: the scoped counter cannot be
  * observed after that update, and both representations exit the loop. */
 export function matchIntegerCountedForLoop(stmt, locals, ranges = new Map(), unaliased = null) {
-    const init = stmt.init;
-    if (init?.kind !== "varDecl" || !init.init)
-        return null;
-    const local = locals.get(init.localId);
-    if (local?.type.kind !== "f64" || !local.mutable || local.boxed || local.tdz)
-        return null;
-    const start = init.init;
-    let startRange = start.kind === "numLit" && Number.isSafeInteger(start.value) && !Object.is(start.value, -0)
-        ? { min: start.value, max: start.value }
-        : ranges.get(start);
-    // An unproven start is tested at run time, on a versioned loop.
-    const startGuarded = !startRange && start.kind !== "numLit" && start.type.kind === "f64";
-    if (startGuarded)
-        startRange = { min: -Number.MAX_SAFE_INTEGER, max: Number.MAX_SAFE_INTEGER };
-    if (!startRange ||
-        startRange.min < -Number.MAX_SAFE_INTEGER ||
-        startRange.max > Number.MAX_SAFE_INTEGER ||
-        !stableLoopValue(start, locals, stmt.body, false, local.id))
-        return null;
-    const step = constantStep(stmt.update, local.id);
-    if (step === null || writesLocal(stmt.body, local.id))
-        return null;
     const cond = stmt.cond;
     if (cond?.kind !== "bin")
         return null;
+    const decls = stmt.init?.kind === "block" ? stmt.init.body : stmt.init ? [stmt.init] : [];
+    // `i++, j += 2, k--` lowers to nested blocks of steps.
+    const flat = (u) => u?.kind === "block" ? u.body.flatMap(flat) : [u];
+    const updates = flat(stmt.update);
+    if (decls.length === 0 || updates.length !== decls.length)
+        return null;
+    const declared = (e) => e.kind === "varRef" && decls.some((d) => d.kind === "varDecl" && d.localId === e.localId)
+        ? e.localId
+        : null;
+    // The condition tests the driving counter; every other declaration
+    // follows it.
+    const driver = declared(cond.left) ?? declared(cond.right);
+    const counterIds = decls.map((d) => (d.kind === "varDecl" ? d.localId : ""));
+    const stepOf = (id) => {
+        const steps = updates.map((u) => constantStep(u, id)).filter((v) => v !== null);
+        return steps.length === 1 ? steps[0] : null;
+    };
+    // A counter's start is a stable integer that refers to no counter. An
+    // unproven start is tested at run time, on a versioned loop.
+    const counterStart = (id) => {
+        const decl = decls.find((d) => d.kind === "varDecl" && d.localId === id);
+        if (decl?.kind !== "varDecl" || !decl.init)
+            return null;
+        const local = locals.get(id);
+        if (local?.type.kind !== "f64" || !local.mutable || local.boxed || local.tdz)
+            return null;
+        const start = decl.init;
+        const known = start.kind === "numLit" && Number.isSafeInteger(start.value) && !Object.is(start.value, -0)
+            ? { min: start.value, max: start.value }
+            : ranges.get(start);
+        const guarded = !known && start.kind !== "numLit" && start.type.kind === "f64";
+        const range = guarded ? { min: -Number.MAX_SAFE_INTEGER, max: Number.MAX_SAFE_INTEGER } : known;
+        const step = stepOf(id);
+        if (!range ||
+            range.min < -Number.MAX_SAFE_INTEGER ||
+            range.max > Number.MAX_SAFE_INTEGER ||
+            !counterIds.every((counter) => stableLoopValue(start, locals, stmt.body, false, counter)) ||
+            step === null ||
+            writesLocal(stmt.body, id))
+            return null;
+        return { start, range, guarded, step };
+    };
+    const head = driver === null ? null : counterStart(driver);
+    if (!head)
+        return null;
+    const local = locals.get(driver);
+    const { start, step, guarded: startGuarded, range: startRange } = head;
     let limit = cond.right, op = cond.op;
     if (cond.left.kind !== "varRef" || cond.left.localId !== local.id) {
-        if (cond.right.kind !== "varRef" || cond.right.localId !== local.id)
-            return null;
         limit = cond.left;
         op = { "<": ">", "<=": ">=", ">": "<", ">=": "<=" }[op] ?? "";
     }
@@ -119,10 +154,57 @@ export function matchIntegerCountedForLoop(stmt, locals, ranges = new Map(), una
     const limitGuarded = !boundRange || (step > 0 ? !(boundRange.max <= guardLimit) : !(boundRange.min >= guardLimit));
     if (limitGuarded && limit.kind === "numLit")
         return null;
-    const guarded = limitGuarded || startGuarded;
+    const range = step > 0
+        ? {
+            min: startRange.min,
+            max: Math.max(startRange.min, Math.min(Number.MAX_SAFE_INTEGER, boundRange
+                ? Math.ceil(boundRange.max) - (inclusive ? 0 : 1)
+                : Number.MAX_SAFE_INTEGER)),
+        }
+        : {
+            min: Math.min(startRange.max, Math.max(-Number.MAX_SAFE_INTEGER, boundRange
+                ? Math.floor(boundRange.min) + (inclusive ? 0 : 1)
+                : -Number.MAX_SAFE_INTEGER)),
+            max: startRange.max,
+        };
+    // On body entry k the driver holds `start + step * k`, so k is at most the
+    // driver's span over |step|, and a follower holds its start plus its own
+    // step times k. A span above 2^53 - 1 can round down, so it bounds no
+    // trip count. Below it the quotient rounds to at least its floor, and the
+    // follower's products and sums below are exact while they stay within
+    // ±(2^53 - 1) and round outside it otherwise.
+    const span = step > 0 ? range.max - startRange.min : startRange.max - range.min;
+    const trips = span <= Number.MAX_SAFE_INTEGER ? Math.floor(span / Math.abs(step)) : Infinity;
+    const followers = [];
+    for (const id of counterIds) {
+        if (id === local.id)
+            continue;
+        const follower = counterStart(id);
+        // The limit is evaluated once; a follower changes on every update.
+        if (!follower || !stableLoopValue(limit, locals, stmt.body, false, id))
+            return null;
+        const reach = follower.step * trips;
+        const min = follower.range.min + Math.min(0, reach), max = follower.range.max + Math.max(0, reach);
+        const tripGuarded = min < -Number.MAX_SAFE_INTEGER || max > Number.MAX_SAFE_INTEGER;
+        // Known starts and a literal limit are not tested at run time.
+        if (tripGuarded && !follower.guarded && !startGuarded && limit.kind === "numLit")
+            return null;
+        followers.push({
+            localId: id,
+            start: follower.start,
+            step: follower.step,
+            startGuarded: follower.guarded,
+            tripGuarded,
+            range: tripGuarded
+                ? { min: Math.max(-FOLLOWER_GUARD_RANGE, min), max: Math.min(FOLLOWER_GUARD_RANGE, max) }
+                : { min, max },
+        });
+    }
+    const guarded = limitGuarded || startGuarded || followers.some((f) => f.startGuarded || f.tripGuarded);
     let useful = false;
     let cost = 0;
-    const counter = (e) => (e.kind === "varRef" && e.localId === local.id) ||
+    const counter = (e) => (e.kind === "varRef" &&
+        (e.localId === local.id || followers.some((f) => f.localId === e.localId))) ||
         (e.kind === "bin" &&
             (e.op === "+" || e.op === "-" || e.op === "*") &&
             (counter(e.left) || counter(e.right)));
@@ -170,19 +252,6 @@ export function matchIntegerCountedForLoop(stmt, locals, ranges = new Map(), una
     };
     if (!stmt.body.every(bodyStmt) || !useful)
         return null;
-    const range = step > 0
-        ? {
-            min: startRange.min,
-            max: Math.max(startRange.min, Math.min(Number.MAX_SAFE_INTEGER, boundRange
-                ? Math.ceil(boundRange.max) - (inclusive ? 0 : 1)
-                : Number.MAX_SAFE_INTEGER)),
-        }
-        : {
-            min: Math.min(startRange.max, Math.max(-Number.MAX_SAFE_INTEGER, boundRange
-                ? Math.floor(boundRange.min) + (inclusive ? 0 : 1)
-                : -Number.MAX_SAFE_INTEGER)),
-            max: startRange.max,
-        };
     return {
         localId: local.id,
         start,
@@ -194,6 +263,91 @@ export function matchIntegerCountedForLoop(stmt, locals, ranges = new Map(), una
         startGuarded,
         guardLimit,
         range,
+        followers,
+    };
+}
+export function matchIntegerPairedForLoop(stmt, locals, ranges = new Map()) {
+    const init = stmt.init, update = stmt.update, cond = stmt.cond;
+    if (init?.kind !== "block" || init.body.length !== 2)
+        return null;
+    if (update?.kind !== "block" || update.body.length !== 2)
+        return null;
+    if (cond?.kind !== "bin" || (cond.op !== "<" && cond.op !== "<="))
+        return null;
+    if (cond.left.kind !== "varRef" || cond.right.kind !== "varRef")
+        return null;
+    const lowId = cond.left.localId, highId = cond.right.localId;
+    if (lowId === highId)
+        return null;
+    const counter = (id) => {
+        const decl = init.body.find((d) => d.kind === "varDecl" && d.localId === id);
+        if (decl?.kind !== "varDecl" || !decl.init)
+            return null;
+        const local = locals.get(id);
+        if (local?.type.kind !== "f64" || !local.mutable || local.boxed || local.tdz)
+            return null;
+        const start = decl.init;
+        // Each start is evaluated once in the head and again on a fallback path.
+        if (!stableLoopValue(start, locals, stmt.body, false, lowId) ||
+            !stableLoopValue(start, locals, stmt.body, false, highId))
+            return null;
+        const steps = update.body.map((u) => constantStep(u, id)).filter((v) => v !== null);
+        if (steps.length !== 1 || writesLocal(stmt.body, id))
+            return null;
+        const known = start.kind === "numLit" && Number.isSafeInteger(start.value) && !Object.is(start.value, -0)
+            ? { min: start.value, max: start.value }
+            : ranges.get(start);
+        const startGuarded = !known && start.kind !== "numLit" && start.type.kind === "f64";
+        if (!known && !startGuarded)
+            return null;
+        if (known && (known.min < -Number.MAX_SAFE_INTEGER || known.max > Number.MAX_SAFE_INTEGER))
+            return null;
+        return { localId: id, start, step: steps[0], startGuarded };
+    };
+    const low = counter(lowId), high = counter(highId);
+    if (!low || !high || low.step <= 0 || high.step >= 0)
+        return null;
+    const startRange = (c) => c.startGuarded
+        ? { min: -Number.MAX_SAFE_INTEGER, max: Number.MAX_SAFE_INTEGER }
+        : c.start.kind === "numLit"
+            ? { min: c.start.value, max: c.start.value }
+            : ranges.get(c.start);
+    const guarded = low.startGuarded || high.startGuarded;
+    // Only a loop whose counters index something gains from integer storage.
+    let useful = false, cost = 0;
+    const isCounter = (e) => (e.kind === "varRef" && (e.localId === lowId || e.localId === highId)) ||
+        (e.kind === "bin" &&
+            (e.op === "+" || e.op === "-") &&
+            (isCounter(e.left) || isCounter(e.right)));
+    const expr = (e) => {
+        if (e.kind === "arrayGet" && isCounter(e.index))
+            useful = true;
+        if (e.kind === "strIntrinsic" && e.method === "charCodeAt" && e.args[0] && isCounter(e.args[0]))
+            useful = true;
+        if (e.kind === "bytesIntrinsic" && e.method === "get" && e.args[0] && isCounter(e.args[0]))
+            useful = true;
+        return (!guarded || ++cost <= 80) && everyExprChild(e, expr, bodyStmt);
+    };
+    const bodyStmt = (s) => {
+        if ((s.kind === "arraySet" || s.kind === "bytesSet") && isCounter(s.index))
+            useful = true;
+        if (guarded &&
+            (s.kind === "for" || s.kind === "forOf" || s.kind === "while" || s.kind === "doWhile"))
+            return false;
+        return (!guarded || ++cost <= 80) && everyStmtChild(s, expr, bodyStmt);
+    };
+    if (!stmt.body.every(bodyStmt) || !useful)
+        return null;
+    return {
+        low,
+        high,
+        inclusive: cond.op === "<=",
+        guarded,
+        // A loop whose starts already fail the condition never enters the body.
+        range: {
+            min: startRange(low).min,
+            max: Math.max(startRange(low).min, startRange(high).max),
+        },
     };
 }
 /** True when a lowered subtree writes `localId`. Local ids are unique per

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

@@ -1 +1 @@
-{"version":3,"file":"integer-loops.js","sourceRoot":"","sources":["../../src/ir/integer-loops.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9E,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AA2BnE,SAAS,YAAY,CAAC,MAAqB,EAAE,EAAU;IACrD,IAAI,MAAM,EAAE,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,KAAK,EAAE;QAC5F,OAAO,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzC,IACE,MAAM,EAAE,IAAI,KAAK,QAAQ;QACzB,MAAM,CAAC,OAAO,KAAK,EAAE;QACrB,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK;QAC3B,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QACnC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,EAAE;QAChC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;QAEpC,OAAO,IAAI,CAAC;IACd,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;IACvC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACpF,OAAO,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AAChG,CAAC;AAED;;;;6CAI6C;AAC7C,SAAS,eAAe,CACtB,KAAa,EACb,MAAoC,EACpC,IAAc,EACd,SAAkB,EAClB,OAAe,EACf,YAAY,GAAkC,GAAG,EAAE,CAAC,KAAK;IAEzD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC;QACd,KAAK,QAAQ,EAAE,CAAC;YACd,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACxC,OAAO,CACL,KAAK,CAAC,OAAO,KAAK,OAAO;gBACzB,KAAK,KAAK,SAAS;gBACnB,CAAC,KAAK,CAAC,KAAK;gBACZ,CAAC,KAAK,CAAC,GAAG;gBACV,CAAC,CAAC,SAAS,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAClD,CAAC;QACJ,CAAC;QACD,KAAK,KAAK;YACR,OAAO,CACL,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG;gBACf,KAAK,CAAC,EAAE,KAAK,GAAG;gBAChB,KAAK,CAAC,EAAE,KAAK,GAAG;gBAChB,KAAK,CAAC,EAAE,KAAK,KAAK;gBAClB,KAAK,CAAC,EAAE,KAAK,GAAG,CAAC;gBACnB,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,CAAC;gBAC3E,eAAe,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,CAAC,CAC7E,CAAC;QACJ,KAAK,gBAAgB,CAAC;QACtB,KAAK,cAAc;YACjB,OAAO,CACL,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ;gBACxB,CAAC,KAAK,CAAC,IAAI,KAAK,gBAAgB,IAAI,KAAK,CAAC,MAAM,KAAK,YAAY,CAAC,CAAC;gBACrE,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;gBAChC,CAAC,KAAK,CAAC,IAAI,KAAK,gBAAgB,IAAI,CAAC,SAAS,IAAI,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;gBACvF,eAAe,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAClE,CAAC;QACJ;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED;;;;yEAIyE;AACzE,MAAM,UAAU,0BAA0B,CACxC,IAA8B,EAC9B,MAAoC,EACpC,MAAM,GAAkB,IAAI,GAAG,EAAE,EACjC,SAAS,GAA+B,IAAI;IAE5C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,IAAI,EAAE,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACvC,IAAI,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IAC1F,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC;IACxB,IAAI,UAAU,GACZ,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACzF,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE;QACxC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACxB,gEAAgE;IAChE,MAAM,YAAY,GAAG,CAAC,UAAU,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC;IACzF,IAAI,YAAY;QAAE,UAAU,GAAG,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,gBAAgB,EAAE,GAAG,EAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC;IAC/F,IACE,CAAC,UAAU;QACX,UAAU,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,gBAAgB;QACzC,UAAU,CAAC,GAAG,GAAG,MAAM,CAAC,gBAAgB;QACxC,CAAC,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;QAE3D,OAAO,IAAI,CAAC;IACd,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;IACjD,IAAI,IAAI,KAAK,IAAI,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IACnE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,IAAI,EAAE,IAAI,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IACtC,IAAI,KAAK,GAAG,IAAI,CAAC,KAAK,EACpB,EAAE,GAAW,IAAI,CAAC,EAAE,CAAC;IACvB,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,EAAE,EAAE,CAAC;QAClE,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,KAAK,KAAK,CAAC,EAAE;YAAE,OAAO,IAAI,CAAC;QACjF,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC;QAClB,EAAE,GAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAA6B,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;IAC5F,CAAC;IACD,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAClF,0EAA0E;IAC1E,2DAA2D;IAC3D,MAAM,WAAW,GAAG,CAAC,QAAgB,EAAW,EAAE;QAChD,IAAI,MAAM,GAAG,CAAC,EACZ,MAAM,GAAG,KAAK,CAAC;QACjB,IACE,MAAM,CAAC,IAAI,KAAK,KAAK;YACrB,MAAM,CAAC,EAAE,KAAK,GAAG;YACjB,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;YAC9B,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EACnC,CAAC;YACD,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;YAC5B,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC;QACvB,CAAC;QACD,OAAO,CACL,IAAI,GAAG,CAAC;YACR,MAAM,CAAC,IAAI,KAAK,cAAc;YAC9B,MAAM,CAAC,MAAM,KAAK,QAAQ;YAC1B,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;YACjC,MAAM,CAAC,QAAQ,CAAC,OAAO,KAAK,QAAQ;YACpC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CACzC,CAAC;IACJ,CAAC,CAAC;IACF,MAAM,YAAY,GAAG,CAAC,QAAgB,EAAW,EAAE,CACjD,SAAS,KAAK,IAAI;QAClB,oBAAoB,CAClB,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,EACpB,EAAE,QAAQ,EAAE,OAAO,EAAE,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,EAC9D,MAAM,EACN,SAAS,CACV,CAAC;IACJ,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,YAAY,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1F,MAAM,SAAS,GAAG,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,CAAC;IAC7C,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/F,MAAM,UAAU,GACd,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,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;IACvF,MAAM,YAAY,GAChB,CAAC,UAAU,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC;IAChG,IAAI,YAAY,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACzD,MAAM,OAAO,GAAG,YAAY,IAAI,YAAY,CAAC;IAC7C,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,MAAM,OAAO,GAAG,CAAC,CAAS,EAAW,EAAE,CACrC,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,KAAK,KAAK,CAAC,EAAE,CAAC;QAC/C,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK;YACf,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC;YAC9C,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,IACE,CAAC,CAAC,IAAI,KAAK,KAAK;YAChB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG;gBACb,CAAC,CAAC,EAAE,KAAK,GAAG;gBACZ,CAAC,CAAC,EAAE,KAAK,GAAG;gBACZ,CAAC,CAAC,EAAE,KAAK,IAAI;gBACb,CAAC,CAAC,EAAE,KAAK,IAAI;gBACb,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC;gBACf,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;gBACtC,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YAEpC,MAAM,GAAG,IAAI,CAAC;QAChB,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YAChC,MAAM,OAAO,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;YACpC,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACvD,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,IAAI,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC;gBAAE,MAAM,GAAG,IAAI,CAAC;QAClF,CAAC;QACD,IACE,CAAC,CAAC,IAAI,KAAK,SAAS;YACpB,CAAC,CAAC,CAAC,EAAE,KAAK,WAAW,IAAI,CAAC,CAAC,EAAE,KAAK,YAAY,CAAC;YAC/C,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC;YAEpB,MAAM,GAAG,IAAI,CAAC;QAChB,kEAAkE;QAClE,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC3F,MAAM,GAAG,IAAI,CAAC;QAChB,qEAAqE;QACrE,yCAAyC;QACzC,IACE,CAAC,OAAO;YACR,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAC1C,CAAC,CAAC,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,CAAC,MAAM,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAE7F,MAAM,GAAG,IAAI,CAAC;QAChB,OAAO,CAAC,CAAC,OAAO,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC,IAAI,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IACzE,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAW,EAAE;QACtC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;YAAE,MAAM,GAAG,IAAI,CAAC;QAC7D,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;YAAE,MAAM,GAAG,IAAI,CAAC;QACzE,IACE,OAAO;YACP,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC;YAEtF,OAAO,KAAK,CAAC;QACf,OAAO,CAAC,CAAC,OAAO,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC,IAAI,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IACzE,CAAC,CAAC;IACF,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACvD,MAAM,KAAK,GACT,IAAI,GAAG,CAAC;QACN,CAAC,CAAC;YACE,GAAG,EAAE,UAAU,CAAC,GAAG;YACnB,GAAG,EAAE,IAAI,CAAC,GAAG,CACX,UAAU,CAAC,GAAG,EACd,IAAI,CAAC,GAAG,CACN,MAAM,CAAC,gBAAgB,EACvB,UAAU;gBACR,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACjD,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAC5B,CACF;SACF;QACH,CAAC,CAAC;YACE,GAAG,EAAE,IAAI,CAAC,GAAG,CACX,UAAU,CAAC,GAAG,EACd,IAAI,CAAC,GAAG,CACN,CAAC,MAAM,CAAC,gBAAgB,EACxB,UAAU;gBACR,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAClD,CAAC,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAC7B,CACF;YACD,GAAG,EAAE,UAAU,CAAC,GAAG;SACpB,CAAC;IACR,OAAO;QACL,OAAO,EAAE,KAAK,CAAC,EAAE;QACjB,KAAK;QACL,KAAK;QACL,IAAI;QACJ,SAAS;QACT,OAAO;QACP,YAAY;QACZ,YAAY;QACZ,UAAU;QACV,KAAK;KACN,CAAC;AACJ,CAAC;AAED;;4EAE4E;AAC5E,SAAS,WAAW,CAAC,IAAc,EAAE,OAAe;IAClD,OAAO,CAAC,aAAa,CAAC,IAAI,EAAE;QAC1B,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CACb,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,IAAI,CAAC,OAAO,KAAK,OAAO;QACpF,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,OAAO,KAAK,OAAO;KACnE,CAAC,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CAAC,MAAqB,EAAE,OAAe;IAC7D,mEAAmE;IACnE,0EAA0E;IAC1E,qEAAqE;IACrE,IAAI,MAAM,EAAE,IAAI,KAAK,UAAU,EAAE,CAAC;QAChC,OAAO,CACL,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,GAAG,CAC3F,CAAC;IACJ,CAAC;IACD,OAAO,CACL,MAAM,EAAE,IAAI,KAAK,QAAQ;QACzB,MAAM,CAAC,OAAO,KAAK,OAAO;QAC1B,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK;QAC3B,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG;QACvB,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QACnC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO;QACrC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;QACpC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,CAC/B,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,wBAAwB,CACtC,IAA8B,EAC9B,MAAoC;IAEpC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IACE,IAAI,EAAE,IAAI,KAAK,SAAS;QACxB,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,QAAQ;QAC5B,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC;QACrB,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAC9B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACvC,IAAI,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAEtF,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IACE,IAAI,EAAE,IAAI,KAAK,KAAK;QACpB,IAAI,CAAC,EAAE,KAAK,GAAG;QACf,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAC3B,IAAI,CAAC,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO;QAClC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,gBAAgB;QACpC,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ;QAC9B,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;QACrC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EACzC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC9D,IAAI,aAAa,EAAE,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAE/C,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7D,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAEtD,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;AACvE,CAAC;AAED;;;+EAG+E;AAC/E,MAAM,UAAU,wBAAwB,CACtC,IAA8B,EAC9B,MAAoC,EACpC,KAA0B;IAE1B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,IAAI,EAAE,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACxD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC;IACxB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;IACzF,MAAM,MAAM,GACV,KAAK,CAAC,IAAI,KAAK,KAAK;QACpB,KAAK,CAAC,EAAE,KAAK,GAAG;QAChB,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAC5B,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC;QAC7B,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;QAC7B,KAAK,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,CAAC;IAC1B,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACvC,IACE,CAAC,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC;QAClB,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,KAAK;QAC1B,CAAC,KAAK,CAAC,OAAO;QACd,KAAK,CAAC,KAAK;QACX,KAAK,CAAC,GAAG;QAET,OAAO,IAAI,CAAC;IACd,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IACE,IAAI,EAAE,IAAI,KAAK,KAAK;QACpB,IAAI,CAAC,EAAE,KAAK,GAAG;QACf,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAC3B,IAAI,CAAC,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,EAAE;QAC9B,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,cAAc;QAClC,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ;QAC9B,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;QACrC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QACzC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,KAAK;QAC9C,CAAC,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;QACvC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QAEhC,OAAO,IAAI,CAAC;IACd,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;AACnE,CAAC"}
+{"version":3,"file":"integer-loops.js","sourceRoot":"","sources":["../../src/ir/integer-loops.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9E,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AA+CnE,+CAA+C;AAC/C,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,IAAI,EAAE,CAAC;AAC5C;;;0DAG0D;AAC1D,MAAM,oBAAoB,GAAG,oBAAoB,GAAG,CAAC,CAAC;AAEtD,SAAS,YAAY,CAAC,MAAqB,EAAE,EAAU;IACrD,IAAI,MAAM,EAAE,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,KAAK,EAAE;QAC5F,OAAO,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzC,IACE,MAAM,EAAE,IAAI,KAAK,QAAQ;QACzB,MAAM,CAAC,OAAO,KAAK,EAAE;QACrB,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK;QAC3B,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QACnC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,EAAE;QAChC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;QAEpC,OAAO,IAAI,CAAC;IACd,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;IACvC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACpF,OAAO,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AAChG,CAAC;AAED;;;;6CAI6C;AAC7C,SAAS,eAAe,CACtB,KAAa,EACb,MAAoC,EACpC,IAAc,EACd,SAAkB,EAClB,OAAe,EACf,YAAY,GAAkC,GAAG,EAAE,CAAC,KAAK;IAEzD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC;QACd,KAAK,QAAQ,EAAE,CAAC;YACd,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACxC,OAAO,CACL,KAAK,CAAC,OAAO,KAAK,OAAO;gBACzB,KAAK,KAAK,SAAS;gBACnB,CAAC,KAAK,CAAC,KAAK;gBACZ,CAAC,KAAK,CAAC,GAAG;gBACV,CAAC,CAAC,SAAS,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAClD,CAAC;QACJ,CAAC;QACD,KAAK,KAAK;YACR,OAAO,CACL,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG;gBACf,KAAK,CAAC,EAAE,KAAK,GAAG;gBAChB,KAAK,CAAC,EAAE,KAAK,GAAG;gBAChB,KAAK,CAAC,EAAE,KAAK,KAAK;gBAClB,KAAK,CAAC,EAAE,KAAK,GAAG,CAAC;gBACnB,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,CAAC;gBAC3E,eAAe,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,CAAC,CAC7E,CAAC;QACJ,KAAK,cAAc;YACjB,2DAA2D;YAC3D,OAAO,CACL,KAAK,CAAC,MAAM,KAAK,QAAQ;gBACzB,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;gBAChC,eAAe,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAClE,CAAC;QACJ,KAAK,gBAAgB,CAAC;QACtB,KAAK,cAAc;YACjB,OAAO,CACL,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ;gBACxB,CAAC,KAAK,CAAC,IAAI,KAAK,gBAAgB,IAAI,KAAK,CAAC,MAAM,KAAK,YAAY,CAAC,CAAC;gBACrE,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;gBAChC,CAAC,KAAK,CAAC,IAAI,KAAK,gBAAgB,IAAI,CAAC,SAAS,IAAI,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;gBACvF,eAAe,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAClE,CAAC;QACJ;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED;;;;yEAIyE;AACzE,MAAM,UAAU,0BAA0B,CACxC,IAA8B,EAC9B,MAAoC,EACpC,MAAM,GAAkB,IAAI,GAAG,EAAE,EACjC,SAAS,GAA+B,IAAI;IAE5C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,IAAI,EAAE,IAAI,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IACtC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1F,uDAAuD;IACvD,MAAM,IAAI,GAAG,CAAC,CAAgB,EAAqB,EAAE,CACnD,CAAC,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAClC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACvE,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAiB,EAAE,CAC5C,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC;QACvF,CAAC,CAAC,CAAC,CAAC,OAAO;QACX,CAAC,CAAC,IAAI,CAAC;IACX,mEAAmE;IACnE,cAAc;IACd,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3D,MAAM,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7E,MAAM,MAAM,GAAG,CAAC,EAAU,EAAiB,EAAE;QAC3C,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;QAChF,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/C,CAAC,CAAC;IACF,sEAAsE;IACtE,6DAA6D;IAC7D,MAAM,YAAY,GAAG,CACnB,EAAU,EACqE,EAAE;QACjF,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,KAAK,EAAE,CAAC,CAAC;QACzE,IAAI,IAAI,EAAE,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI;YAAE,OAAO,IAAI,CAAC;QACxD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC7B,IAAI,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,GAAG;YAAE,OAAO,IAAI,CAAC;QAC1F,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC;QACxB,MAAM,KAAK,GACT,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YACzF,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE;YACxC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACxB,MAAM,OAAO,GAAG,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC;QAC/E,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,gBAAgB,EAAE,GAAG,EAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;QAChG,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC;QACxB,IACE,CAAC,KAAK;YACN,KAAK,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,gBAAgB;YACpC,KAAK,CAAC,GAAG,GAAG,MAAM,CAAC,gBAAgB;YACnC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;YACzF,IAAI,KAAK,IAAI;YACb,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YAE1B,OAAO,IAAI,CAAC;QACd,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACzC,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;IAC3D,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,MAAO,CAAE,CAAC;IACnC,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC;IACvE,IAAI,KAAK,GAAG,IAAI,CAAC,KAAK,EACpB,EAAE,GAAW,IAAI,CAAC,EAAE,CAAC;IACvB,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,EAAE,EAAE,CAAC;QAClE,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC;QAClB,EAAE,GAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAA6B,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;IAC5F,CAAC;IACD,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAClF,0EAA0E;IAC1E,2DAA2D;IAC3D,MAAM,WAAW,GAAG,CAAC,QAAgB,EAAW,EAAE;QAChD,IAAI,MAAM,GAAG,CAAC,EACZ,MAAM,GAAG,KAAK,CAAC;QACjB,IACE,MAAM,CAAC,IAAI,KAAK,KAAK;YACrB,MAAM,CAAC,EAAE,KAAK,GAAG;YACjB,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;YAC9B,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EACnC,CAAC;YACD,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;YAC5B,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC;QACvB,CAAC;QACD,OAAO,CACL,IAAI,GAAG,CAAC;YACR,MAAM,CAAC,IAAI,KAAK,cAAc;YAC9B,MAAM,CAAC,MAAM,KAAK,QAAQ;YAC1B,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;YACjC,MAAM,CAAC,QAAQ,CAAC,OAAO,KAAK,QAAQ;YACpC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CACzC,CAAC;IACJ,CAAC,CAAC;IACF,MAAM,YAAY,GAAG,CAAC,QAAgB,EAAW,EAAE,CACjD,SAAS,KAAK,IAAI;QAClB,oBAAoB,CAClB,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,EACpB,EAAE,QAAQ,EAAE,OAAO,EAAE,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,EAC9D,MAAM,EACN,SAAS,CACV,CAAC;IACJ,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,YAAY,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1F,MAAM,SAAS,GAAG,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,CAAC;IAC7C,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/F,MAAM,UAAU,GACd,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,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;IACvF,MAAM,YAAY,GAChB,CAAC,UAAU,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC;IAChG,IAAI,YAAY,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACzD,MAAM,KAAK,GACT,IAAI,GAAG,CAAC;QACN,CAAC,CAAC;YACE,GAAG,EAAE,UAAU,CAAC,GAAG;YACnB,GAAG,EAAE,IAAI,CAAC,GAAG,CACX,UAAU,CAAC,GAAG,EACd,IAAI,CAAC,GAAG,CACN,MAAM,CAAC,gBAAgB,EACvB,UAAU;gBACR,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACjD,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAC5B,CACF;SACF;QACH,CAAC,CAAC;YACE,GAAG,EAAE,IAAI,CAAC,GAAG,CACX,UAAU,CAAC,GAAG,EACd,IAAI,CAAC,GAAG,CACN,CAAC,MAAM,CAAC,gBAAgB,EACxB,UAAU;gBACR,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAClD,CAAC,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAC7B,CACF;YACD,GAAG,EAAE,UAAU,CAAC,GAAG;SACpB,CAAC;IACR,2EAA2E;IAC3E,yEAAyE;IACzE,sEAAsE;IACtE,0EAA0E;IAC1E,sEAAsE;IACtE,8CAA8C;IAC9C,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;IAChF,MAAM,KAAK,GAAG,IAAI,IAAI,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC7F,MAAM,SAAS,GAA0B,EAAE,CAAC;IAC5C,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;QAC5B,IAAI,EAAE,KAAK,KAAK,CAAC,EAAE;YAAE,SAAS;QAC9B,MAAM,QAAQ,GAAG,YAAY,CAAC,EAAE,CAAC,CAAC;QAClC,mEAAmE;QACnE,IAAI,CAAC,QAAQ,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC;QACpF,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,GAAG,KAAK,CAAC;QACpC,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,EACjD,GAAG,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAChD,MAAM,WAAW,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,gBAAgB,IAAI,GAAG,GAAG,MAAM,CAAC,gBAAgB,CAAC;QACpF,+DAA+D;QAC/D,IAAI,WAAW,IAAI,CAAC,QAAQ,CAAC,OAAO,IAAI,CAAC,YAAY,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAC9F,SAAS,CAAC,IAAI,CAAC;YACb,OAAO,EAAE,EAAE;YACX,KAAK,EAAE,QAAQ,CAAC,KAAK;YACrB,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,YAAY,EAAE,QAAQ,CAAC,OAAO;YAC9B,WAAW;YACX,KAAK,EAAE,WAAW;gBAChB,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,oBAAoB,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,oBAAoB,EAAE,GAAG,CAAC,EAAE;gBACzF,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE;SACjB,CAAC,CAAC;IACL,CAAC;IACD,MAAM,OAAO,GACX,YAAY,IAAI,YAAY,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,WAAW,CAAC,CAAC;IACzF,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,MAAM,OAAO,GAAG,CAAC,CAAS,EAAW,EAAE,CACrC,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ;QAClB,CAAC,CAAC,CAAC,OAAO,KAAK,KAAK,CAAC,EAAE,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QAC7E,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK;YACf,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC;YAC9C,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,IACE,CAAC,CAAC,IAAI,KAAK,KAAK;YAChB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG;gBACb,CAAC,CAAC,EAAE,KAAK,GAAG;gBACZ,CAAC,CAAC,EAAE,KAAK,GAAG;gBACZ,CAAC,CAAC,EAAE,KAAK,IAAI;gBACb,CAAC,CAAC,EAAE,KAAK,IAAI;gBACb,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC;gBACf,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;gBACtC,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YAEpC,MAAM,GAAG,IAAI,CAAC;QAChB,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YAChC,MAAM,OAAO,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;YACpC,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACvD,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,IAAI,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC;gBAAE,MAAM,GAAG,IAAI,CAAC;QAClF,CAAC;QACD,IACE,CAAC,CAAC,IAAI,KAAK,SAAS;YACpB,CAAC,CAAC,CAAC,EAAE,KAAK,WAAW,IAAI,CAAC,CAAC,EAAE,KAAK,YAAY,CAAC;YAC/C,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC;YAEpB,MAAM,GAAG,IAAI,CAAC;QAChB,kEAAkE;QAClE,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC3F,MAAM,GAAG,IAAI,CAAC;QAChB,qEAAqE;QACrE,yCAAyC;QACzC,IACE,CAAC,OAAO;YACR,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAC1C,CAAC,CAAC,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,CAAC,MAAM,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAE7F,MAAM,GAAG,IAAI,CAAC;QAChB,OAAO,CAAC,CAAC,OAAO,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC,IAAI,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IACzE,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAW,EAAE;QACtC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;YAAE,MAAM,GAAG,IAAI,CAAC;QAC7D,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;YAAE,MAAM,GAAG,IAAI,CAAC;QACzE,IACE,OAAO;YACP,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC;YAEtF,OAAO,KAAK,CAAC;QACf,OAAO,CAAC,CAAC,OAAO,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC,IAAI,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IACzE,CAAC,CAAC;IACF,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACvD,OAAO;QACL,OAAO,EAAE,KAAK,CAAC,EAAE;QACjB,KAAK;QACL,KAAK;QACL,IAAI;QACJ,SAAS;QACT,OAAO;QACP,YAAY;QACZ,YAAY;QACZ,UAAU;QACV,KAAK;QACL,SAAS;KACV,CAAC;AACJ,CAAC;AA4BD,MAAM,UAAU,yBAAyB,CACvC,IAA8B,EAC9B,MAAoC,EACpC,MAAM,GAAkB,IAAI,GAAG,EAAE;IAEjC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EACpB,MAAM,GAAG,IAAI,CAAC,MAAM,EACpB,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACnB,IAAI,IAAI,EAAE,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAClE,IAAI,MAAM,EAAE,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACtE,IAAI,IAAI,EAAE,IAAI,KAAK,KAAK,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/E,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC7E,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAC7B,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC;IAC9B,IAAI,KAAK,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IAClC,MAAM,OAAO,GAAG,CAAC,EAAU,EAA+B,EAAE;QAC1D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,KAAK,EAAE,CAAC,CAAC;QAC7E,IAAI,IAAI,EAAE,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI;YAAE,OAAO,IAAI,CAAC;QACxD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC7B,IAAI,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,GAAG;YAAE,OAAO,IAAI,CAAC;QAC1F,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC;QACxB,yEAAyE;QACzE,IACE,CAAC,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC;YACxD,CAAC,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC;YAEzD,OAAO,IAAI,CAAC;QACd,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;QACpF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC;QAClE,MAAM,KAAK,GACT,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YACzF,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE;YACxC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACxB,MAAM,YAAY,GAAG,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC;QACpF,IAAI,CAAC,KAAK,IAAI,CAAC,YAAY;YAAE,OAAO,IAAI,CAAC;QACzC,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,gBAAgB,IAAI,KAAK,CAAC,GAAG,GAAG,MAAM,CAAC,gBAAgB,CAAC;YACxF,OAAO,IAAI,CAAC;QACd,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAE,EAAE,YAAY,EAAE,CAAC;IAC/D,CAAC,CAAC;IACF,MAAM,GAAG,GAAG,OAAO,CAAC,KAAK,CAAC,EACxB,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IACzB,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAClE,MAAM,UAAU,GAAG,CAAC,CAAuB,EAAgB,EAAE,CAC3D,CAAC,CAAC,YAAY;QACZ,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,gBAAgB,EAAE,GAAG,EAAE,MAAM,CAAC,gBAAgB,EAAE;QACjE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;YACzB,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE;YAC5C,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAE,CAAC;IAC7B,MAAM,OAAO,GAAG,GAAG,CAAC,YAAY,IAAI,IAAI,CAAC,YAAY,CAAC;IACtD,yEAAyE;IACzE,IAAI,MAAM,GAAG,KAAK,EAChB,IAAI,GAAG,CAAC,CAAC;IACX,MAAM,SAAS,GAAG,CAAC,CAAS,EAAW,EAAE,CACvC,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC;QACtE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK;YACf,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC;YAC9B,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC;YAAE,MAAM,GAAG,IAAI,CAAC;QAC/D,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC7F,MAAM,GAAG,IAAI,CAAC;QAChB,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB,IAAI,CAAC,CAAC,MAAM,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACxF,MAAM,GAAG,IAAI,CAAC;QAChB,OAAO,CAAC,CAAC,OAAO,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC,IAAI,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IACzE,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAW,EAAE;QACtC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC;YAAE,MAAM,GAAG,IAAI,CAAC;QAC1F,IACE,OAAO;YACP,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC;YAEtF,OAAO,KAAK,CAAC;QACf,OAAO,CAAC,CAAC,OAAO,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC,IAAI,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IACzE,CAAC,CAAC;IACF,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACvD,OAAO;QACL,GAAG;QACH,IAAI;QACJ,SAAS,EAAE,IAAI,CAAC,EAAE,KAAK,IAAI;QAC3B,OAAO;QACP,wEAAwE;QACxE,KAAK,EAAE;YACL,GAAG,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,GAAG;YACxB,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC;SACzD;KACF,CAAC;AACJ,CAAC;AAED;;4EAE4E;AAC5E,SAAS,WAAW,CAAC,IAAc,EAAE,OAAe;IAClD,OAAO,CAAC,aAAa,CAAC,IAAI,EAAE;QAC1B,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CACb,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,IAAI,CAAC,OAAO,KAAK,OAAO;QACpF,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,OAAO,KAAK,OAAO;KACnE,CAAC,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CAAC,MAAqB,EAAE,OAAe;IAC7D,mEAAmE;IACnE,0EAA0E;IAC1E,qEAAqE;IACrE,IAAI,MAAM,EAAE,IAAI,KAAK,UAAU,EAAE,CAAC;QAChC,OAAO,CACL,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,GAAG,CAC3F,CAAC;IACJ,CAAC;IACD,OAAO,CACL,MAAM,EAAE,IAAI,KAAK,QAAQ;QACzB,MAAM,CAAC,OAAO,KAAK,OAAO;QAC1B,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK;QAC3B,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG;QACvB,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QACnC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO;QACrC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;QACpC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,CAC/B,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,wBAAwB,CACtC,IAA8B,EAC9B,MAAoC;IAEpC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IACE,IAAI,EAAE,IAAI,KAAK,SAAS;QACxB,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,QAAQ;QAC5B,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC;QACrB,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAC9B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACvC,IAAI,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAEtF,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IACE,IAAI,EAAE,IAAI,KAAK,KAAK;QACpB,IAAI,CAAC,EAAE,KAAK,GAAG;QACf,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAC3B,IAAI,CAAC,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO;QAClC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,gBAAgB;QACpC,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ;QAC9B,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;QACrC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EACzC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC9D,IAAI,aAAa,EAAE,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAE/C,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7D,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAEtD,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;AACvE,CAAC;AAED;;;+EAG+E;AAC/E,MAAM,UAAU,wBAAwB,CACtC,IAA8B,EAC9B,MAAoC,EACpC,KAA0B;IAE1B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,IAAI,EAAE,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACxD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC;IACxB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;IACzF,MAAM,MAAM,GACV,KAAK,CAAC,IAAI,KAAK,KAAK;QACpB,KAAK,CAAC,EAAE,KAAK,GAAG;QAChB,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAC5B,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC;QAC7B,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;QAC7B,KAAK,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,CAAC;IAC1B,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACvC,IACE,CAAC,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC;QAClB,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,KAAK;QAC1B,CAAC,KAAK,CAAC,OAAO;QACd,KAAK,CAAC,KAAK;QACX,KAAK,CAAC,GAAG;QAET,OAAO,IAAI,CAAC;IACd,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IACE,IAAI,EAAE,IAAI,KAAK,KAAK;QACpB,IAAI,CAAC,EAAE,KAAK,GAAG;QACf,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAC3B,IAAI,CAAC,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,EAAE;QAC9B,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,cAAc;QAClC,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ;QAC9B,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;QACrC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QACzC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,KAAK;QAC9C,CAAC,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;QACvC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QAEhC,OAAO,IAAI,CAAC;IACd,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;AACnE,CAAC"}

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

@@ -1,6 +1,6 @@
 import { expect, test } from "vitest";
 import { BOOL, F64, STRING, arrayOf } from "./ir.js";
-import { matchIntegerArrayForLoop, matchIntegerCountedForLoop } from "./integer-loops.js";
+import { matchIntegerArrayForLoop, matchIntegerCountedForLoop, matchIntegerPairedForLoop, } from "./integer-loops.js";
 const loc = { file: "integer-array-loop.ts", start: 0, end: 0 };
 const number = (value) => ({ kind: "numLit", value, type: F64, loc });
 const ref = (localId) => ({ kind: "varRef", localId, type: F64, loc });
@@ -193,6 +193,44 @@ test("a string read at the counter is an integer consumer", () => {
     s.body = [read(ref("limit"))];
     expect(matchIntegerCountedForLoop(s, withText)).toBeNull();
 });
+test("a string length bounds a counted loop while its binding is unchanged", () => {
+    const withText = new Map(locals);
+    withText.set("s", { id: "s", name: "s", type: STRING, mutable: true });
+    const text = () => ({ kind: "varRef", localId: "s", type: STRING, loc });
+    const length = {
+        kind: "strIntrinsic",
+        method: "length",
+        receiver: text(),
+        args: [],
+        type: F64,
+        loc,
+    };
+    const s = counted(length);
+    s.body = [
+        {
+            kind: "exprStmt",
+            expr: {
+                kind: "strIntrinsic",
+                method: "charCodeAt",
+                receiver: text(),
+                args: [ref("i")],
+                type: F64,
+                loc,
+            },
+            loc,
+        },
+    ];
+    expect(matchIntegerCountedForLoop(s, withText)?.localId).toBe("i");
+    // Rebinding the string in the body changes the length the condition reads.
+    const rebinding = {
+        ...s,
+        body: [...s.body, { kind: "assign", localId: "s", value: text(), loc }],
+    };
+    expect(matchIntegerCountedForLoop(rebinding, withText)).toBeNull();
+    const boxed = new Map(withText);
+    boxed.set("s", { ...withText.get("s"), boxed: true });
+    expect(matchIntegerCountedForLoop(s, boxed)).toBeNull();
+});
 test("a stable array length bounds a counted loop; a resizing body keeps it a condition", () => {
     const ARR = arrayOf(F64);
     const array = (localId) => ({ kind: "varRef", localId, type: ARR, loc });
@@ -297,4 +335,166 @@ test("a descending loop from an array's last index takes an integer counter for
         range: { min: 0, max: 4294967294 },
     });
 });
+test("paired counters closing in on each other run as integers", () => {
+    const vars = new Map(locals);
+    for (const id of ["lo", "hi", "head"])
+        vars.set(id, { id, name: id, type: F64, mutable: true });
+    const step = (id, op, value = 1) => ({
+        kind: "assign",
+        localId: id,
+        value: { kind: "bin", op, left: ref(id), right: number(value), type: F64, loc },
+        loc,
+    });
+    const element = (index) => ({
+        kind: "arrayGet",
+        arr: { kind: "varRef", localId: "a", type: arrayOf(F64), loc },
+        index,
+        type: F64,
+        loc,
+    });
+    const paired = (lowStart, highStart, update = [step("lo", "+"), step("hi", "-")]) => ({
+        kind: "for",
+        loc,
+        init: {
+            kind: "block",
+            body: [
+                { kind: "varDecl", localId: "lo", init: lowStart, loc },
+                { kind: "varDecl", localId: "hi", init: highStart, loc },
+            ],
+            loc,
+        },
+        cond: { kind: "bin", op: "<", left: ref("lo"), right: ref("hi"), type: BOOL, loc },
+        update: { kind: "block", body: update, loc },
+        body: [{ kind: "exprStmt", expr: element(ref("hi")), loc }],
+    });
+    expect(matchIntegerPairedForLoop(paired(number(0), number(9)), vars)).toMatchObject({
+        low: { localId: "lo", step: 1, startGuarded: false },
+        high: { localId: "hi", step: -1, startGuarded: false },
+        guarded: false,
+        range: { min: 0, max: 9 },
+    });
+    // A start without a known range is tested at run time.
+    expect(matchIntegerPairedForLoop(paired(number(0), ref("head")), vars)).toMatchObject({
+        high: { startGuarded: true },
+        guarded: true,
+    });
+    // Counters moving the same way, written by the body, captured, started
+    // from each other, or never used as an index are refused.
+    expect(matchIntegerPairedForLoop(paired(number(0), number(9), [step("lo", "+"), step("hi", "+")]), vars)).toBeNull();
+    const writing = paired(number(0), number(9));
+    writing.body.push(step("hi", "-", 2));
+    expect(matchIntegerPairedForLoop(writing, vars)).toBeNull();
+    const boxed = new Map(vars);
+    boxed.set("hi", { ...vars.get("hi"), boxed: true });
+    expect(matchIntegerPairedForLoop(paired(number(0), number(9)), boxed)).toBeNull();
+    expect(matchIntegerPairedForLoop(paired(number(0), ref("lo")), vars)).toBeNull();
+    const unused = paired(number(0), number(9));
+    unused.body = [];
+    expect(matchIntegerPairedForLoop(unused, vars)).toBeNull();
+});
+test("counters stepped beside the tested one run as integers", () => {
+    const vars = new Map(locals);
+    for (const id of ["j", "k", "limit", "from"])
+        vars.set(id, { id, name: id, type: F64, mutable: true });
+    vars.set("s", { id: "s", name: "s", type: STRING, mutable: false });
+    const step = (id, op, value = 1) => ({
+        kind: "assign",
+        localId: id,
+        value: { kind: "bin", op, left: ref(id), right: number(value), type: F64, loc },
+        loc,
+    });
+    const read = (index) => ({
+        kind: "exprStmt",
+        expr: {
+            kind: "strIntrinsic",
+            method: "charCodeAt",
+            receiver: { kind: "varRef", localId: "s", type: STRING, loc },
+            args: [index],
+            type: F64,
+            loc,
+        },
+        loc,
+    });
+    const comoving = (limit, followerStart = number(0), update = { kind: "block", body: [step("i", "+"), step("j", "+", 4)], loc }) => ({
+        kind: "for",
+        loc,
+        init: {
+            kind: "block",
+            body: [
+                { kind: "varDecl", localId: "i", init: number(0), loc },
+                { kind: "varDecl", localId: "j", init: followerStart, loc },
+            ],
+            loc,
+        },
+        cond: { kind: "bin", op: "<", left: ref("i"), right: limit, type: BOOL, loc },
+        update,
+        body: [read(ref("j"))],
+    });
+    // A literal limit bounds the follower: at most 9 updates of 4 before the
+    // last body entry.
+    expect(matchIntegerCountedForLoop(comoving(number(10)), vars)).toMatchObject({
+        localId: "i",
+        guarded: false,
+        range: { min: 0, max: 9 },
+        followers: [
+            {
+                localId: "j",
+                step: 4,
+                startGuarded: false,
+                tripGuarded: false,
+                range: { min: 0, max: 36 },
+            },
+        ],
+    });
+    // An unknown limit or start is tested at run time.
+    expect(matchIntegerCountedForLoop(comoving(ref("limit")), vars)).toMatchObject({
+        guarded: true,
+        followers: [{ tripGuarded: true, range: { min: 0, max: 2 ** 52 + 2 } }],
+    });
+    expect(matchIntegerCountedForLoop(comoving(number(10), ref("from")), vars)).toMatchObject({
+        guarded: true,
+        followers: [{ startGuarded: true, tripGuarded: true }],
+    });
+    // A literal limit with known starts that can pass 2^53 is refused.
+    expect(matchIntegerCountedForLoop(comoving(number(10), number(2 ** 53 - 9)), vars)).toBeNull();
+    // Nested update blocks (`i++, j += 4, k--`) step three counters.
+    const three = comoving(number(10), number(0), {
+        kind: "block",
+        body: [{ kind: "block", body: [step("i", "+"), step("j", "+", 4)], loc }, step("k", "-")],
+        loc,
+    });
+    if (three.init?.kind === "block")
+        three.init.body.push({ kind: "varDecl", localId: "k", init: number(5), loc });
+    expect(matchIntegerCountedForLoop(three, vars)?.followers).toMatchObject([
+        { localId: "j", range: { min: 0, max: 36 } },
+        { localId: "k", step: -1, range: { min: -4, max: 5 } },
+    ]);
+    // A follower without a step, one the body writes, one the limit reads, a
+    // captured one, and a start that reads another counter are refused.
+    expect(matchIntegerCountedForLoop(comoving(number(10), number(0), { kind: "block", body: [step("i", "+")], loc }), vars)).toBeNull();
+    const writing = comoving(number(10));
+    writing.body.push(step("j", "+"));
+    expect(matchIntegerCountedForLoop(writing, vars)).toBeNull();
+    expect(matchIntegerCountedForLoop(comoving(ref("j")), vars)).toBeNull();
+    const boxed = new Map(vars);
+    boxed.set("j", { ...vars.get("j"), boxed: true });
+    expect(matchIntegerCountedForLoop(comoving(number(10)), boxed)).toBeNull();
+    expect(matchIntegerCountedForLoop(comoving(number(10), ref("i")), vars)).toBeNull();
+    // A driver span above 2^53 - 1 bounds no trip count. From -(2^53 - 1) to
+    // below 2^52 - 1 the span 3 * 2^52 - 3 rounds down to 3 * 2^52 - 4, which
+    // would put this follower's last value at 2^53 - 1 instead of 2^53.
+    const wide = comoving(number(2 ** 52 - 1), number(-(2 ** 52) + 3), {
+        kind: "block",
+        body: [step("i", "+"), step("j", "+")],
+        loc,
+    });
+    if (wide.init?.kind === "block" && wide.init.body[0]?.kind === "varDecl")
+        wide.init.body[0].init = number(-Number.MAX_SAFE_INTEGER);
+    expect(matchIntegerCountedForLoop(wide, vars)).toBeNull();
+    if (wide.init?.kind === "block" && wide.init.body[1]?.kind === "varDecl")
+        wide.init.body[1].init = ref("from");
+    expect(matchIntegerCountedForLoop(wide, vars)?.followers).toMatchObject([
+        { startGuarded: true, tripGuarded: true },
+    ]);
+});
 //# sourceMappingURL=integer-loops.test.js.map