@scriptc/compiler 0.4.5 → 0.4.6

package/dist/ir/saturating-loop-jams.js

@@ -0,0 +1,420 @@
+import { BOOL, F64, } from "./ir.js";
+import { everyStmtList, transformStmtList } from "./traverse.js";
+/** The most iterations of an outer loop that run jammed. */
+const MAX_COPIES = 8;
+/** The most statement and expression nodes of one outer iteration: every
+ * copy duplicates it. */
+const MAX_BODY_NODES = 160;
+/** Binary operators of numbers and booleans that run no other code and
+ * cannot throw. */
+const PURE_BINARY = new Set([
+    "+",
+    "-",
+    "*",
+    "/",
+    "%",
+    "&",
+    "|",
+    "^",
+    "<<",
+    ">>",
+    ">>>",
+    "<",
+    "<=",
+    ">",
+    ">=",
+    "===",
+    "!==",
+]);
+const PURE_UNARY = new Set(["-", "+", "~", "!"]);
+function isRef(e, id) {
+    return e?.kind === "varRef" && e.localId === id;
+}
+function intLit(e) {
+    return e?.kind === "numLit" && Number.isSafeInteger(e.value) && !Object.is(e.value, -0)
+        ? e.value
+        : null;
+}
+/** `id = id + step` with a positive integer literal step. */
+function constantStep(update, id) {
+    if (update?.kind !== "assign" ||
+        update.localId !== id ||
+        update.value.kind !== "bin" ||
+        update.value.op !== "+" ||
+        !isRef(update.value.left, id))
+        return null;
+    const step = intLit(update.value.right);
+    return step !== null && step > 0 ? step : null;
+}
+/** A number or boolean expression that runs no other code and cannot throw:
+ * literals, reads of locals and module bindings, arithmetic, comparisons
+ * and typed-array element reads that answer NaN out of range. */
+function pureExpr(e, locals) {
+    if (e.type.kind !== "f64" && e.type.kind !== "bool")
+        return false;
+    switch (e.kind) {
+        case "numLit":
+        case "boolLit":
+            return true;
+        case "varRef": {
+            const local = locals.get(e.localId);
+            if (local)
+                return !local.boxed && !local.tdz;
+            return e.localId.startsWith("%g.");
+        }
+        case "bin":
+            return PURE_BINARY.has(e.op) && pureExpr(e.left, locals) && pureExpr(e.right, locals);
+        case "unary":
+            return PURE_UNARY.has(e.op) && pureExpr(e.operand, locals);
+        case "bytesIntrinsic":
+            return (e.method === "get" &&
+                e.invalidNaN === true &&
+                e.receiver.kind === "varRef" &&
+                e.args.length === 1 &&
+                pureExpr(e.args[0], locals));
+        default:
+            return false;
+    }
+}
+/** A local written by `s` (a declaration or assignment), or null. */
+function writtenLocal(s) {
+    return s.kind === "varDecl" || s.kind === "assign" ? s.localId : null;
+}
+/** Straight-line declarations and assignments of pure values. */
+function pureStatements(list, locals) {
+    return list.every((s) => (s.kind === "varDecl" && s.init !== null && pureExpr(s.init, locals)) ||
+        (s.kind === "assign" && locals.has(s.localId) && pureExpr(s.value, locals)));
+}
+/** The bits `C` of `id = id | C`, with `C` a non-negative int32 literal, or
+ * null. */
+function orBits(s) {
+    if (s.kind !== "assign" ||
+        s.value.kind !== "bin" ||
+        s.value.op !== "|" ||
+        !isRef(s.value.left, s.localId))
+        return null;
+    const bits = intLit(s.value.right);
+    return bits !== null && bits >= 0 && bits <= 0x7fffffff ? bits : null;
+}
+/** The statements of the inner loop's body: pure declarations and
+ * assignments, `if` statements over them, `acc = acc | C`, and
+ * `if (acc === full) break` (collected into `breaks`). */
+function innerStatements(list, locals, acc) {
+    return list.every((s) => {
+        if (s.kind === "if") {
+            // `if (acc === full) break`
+            if (s.then.length === 1 &&
+                s.then[0].kind === "break" &&
+                s.then[0].label === undefined &&
+                (s.else_ === null || s.else_.length === 0) &&
+                s.cond.kind === "bin" &&
+                s.cond.op === "===" &&
+                s.cond.left.kind === "varRef" &&
+                intLit(s.cond.right) !== null) {
+                if (acc.id !== null && acc.id !== s.cond.left.localId)
+                    return false;
+                acc.id = s.cond.left.localId;
+                acc.breaks.push(intLit(s.cond.right));
+                return true;
+            }
+            return (pureExpr(s.cond, locals) &&
+                innerStatements(s.then, locals, acc) &&
+                innerStatements(s.else_ ?? [], locals, acc));
+        }
+        const bits = orBits(s);
+        if (s.kind === "assign" && bits !== null) {
+            if (acc.id !== null && acc.id !== s.localId)
+                return false;
+            acc.id = s.localId;
+            acc.bits |= bits;
+            return true;
+        }
+        return pureStatements([s], locals);
+    });
+}
+function countNodes(list) {
+    let n = 0;
+    everyStmtList(list, {
+        expr: () => ++n <= MAX_BODY_NODES,
+        stmt: () => ++n <= MAX_BODY_NODES,
+    });
+    return n;
+}
+/** Reads of local `id` anywhere in `list`. */
+function reads(list, id) {
+    return !everyStmtList(list, { expr: (e) => !isRef(e, id), stmt: () => true });
+}
+/** Locals written anywhere in `list`. */
+function writes(list) {
+    const out = new Set();
+    everyStmtList(list, {
+        expr: () => true,
+        stmt: (s) => {
+            const id = writtenLocal(s);
+            if (id !== null)
+                out.add(id);
+            return true;
+        },
+    });
+    return out;
+}
+/** Locals declared anywhere in `list`. */
+function declared(list) {
+    const out = new Set();
+    everyStmtList(list, {
+        expr: () => true,
+        stmt: (s) => {
+            if (s.kind === "varDecl")
+                out.add(s.localId);
+            return true;
+        },
+    });
+    return out;
+}
+/** The jam of `loop`, or null. */
+function matchJam(loop, locals) {
+    if (loop.labels?.length || loop.init?.kind !== "varDecl")
+        return null;
+    const counter = loop.init.localId;
+    const local = locals.get(counter);
+    if (local?.type.kind !== "f64" || local.boxed || local.tdz)
+        return null;
+    const start = intLit(loop.init.init);
+    const step = constantStep(loop.update, counter);
+    const cond = loop.cond;
+    if (start === null ||
+        step === null ||
+        cond?.kind !== "bin" ||
+        cond.op !== "<" ||
+        !isRef(cond.left, counter))
+        return null;
+    const end = intLit(cond.right);
+    if (end === null)
+        return null;
+    const values = [];
+    for (let v = start; v < end && values.length <= MAX_COPIES; v += step)
+        values.push(v);
+    if (values.length < 2 || values.length > MAX_COPIES)
+        return null;
+    // One inner loop, with straight-line code before and after it.
+    const at = loop.body.findIndex((s) => s.kind === "for");
+    if (at < 0)
+        return null;
+    const inner = loop.body[at];
+    const pre = loop.body.slice(0, at), post = loop.body.slice(at + 1);
+    if (!pureStatements(pre, locals) || !pureStatements(post, locals))
+        return null;
+    if (countNodes(loop.body) > MAX_BODY_NODES)
+        return null;
+    if (inner.labels?.length || inner.init?.kind !== "varDecl")
+        return null;
+    const j = inner.init.localId;
+    const jLocal = locals.get(j);
+    if (jLocal?.type.kind !== "f64" || jLocal.boxed || jLocal.tdz)
+        return null;
+    if (inner.init.init === null || !pureExpr(inner.init.init, locals))
+        return null;
+    if (inner.cond === null || !pureExpr(inner.cond, locals) || constantStep(inner.update, j) !== 1)
+        return null;
+    const acc = { id: null, bits: 0, breaks: [] };
+    if (!innerStatements(inner.body, locals, acc) || acc.id === null)
+        return null;
+    const full = acc.bits;
+    // Every exit tests the accumulator against the value every OR leaves
+    // unchanged once it is reached.
+    if (acc.breaks.length === 0 || acc.breaks.some((value) => value !== full))
+        return null;
+    const accId = acc.id;
+    // The accumulator starts at a literal in `pre`, and the inner loop changes
+    // it only by its ORs.
+    const accDecl = pre.find((s) => s.kind === "varDecl" && s.localId === accId);
+    if (accDecl?.kind !== "varDecl" || intLit(accDecl.init) === null)
+        return null;
+    const onlyOrs = everyStmtList(inner.body, {
+        expr: () => true,
+        stmt: (s) => writtenLocal(s) !== accId || orBits(s) !== null,
+    });
+    if (!onlyOrs)
+        return null;
+    // Every copy shares the inner counter: only the inner loop's update writes
+    // it.
+    if (writes(inner.body).has(j))
+        return null;
+    // The counter, the inner bound and every value the inner loop reads from
+    // outside the iteration are the same for every copy: only `pre` and the
+    // counter vary.
+    const own = declared([...pre, inner]);
+    own.delete(counter);
+    const innerWrites = writes([inner]);
+    innerWrites.delete(j);
+    for (const id of innerWrites)
+        if (!own.has(id) && id !== accId)
+            return null;
+    if (writes([inner]).has(counter) || writes(pre).has(counter) || writes(post).has(counter))
+        return null;
+    // Copies run `pre` and the inner loop of later iterations before `post`
+    // of earlier ones: `pre` and the inner loop must not read what `post`
+    // writes, and `pre` writes only its own declarations.
+    const postWrites = writes(post);
+    for (const id of postWrites)
+        if (reads([...pre, inner], id) || own.has(id))
+            return null;
+    for (const id of writes(pre))
+        if (!own.has(id))
+            return null;
+    // After the inner loop, iterations past a copy's exit are dead: `post`
+    // reads no value the inner loop writes besides the accumulator.
+    for (const id of innerWrites)
+        if (id !== accId && reads(post, id))
+            return null;
+    // The copies share the inner loop's start and bound: they read neither the
+    // counter nor a local of the iteration.
+    const controls = [
+        { kind: "exprStmt", expr: inner.init.init, loc: inner.loc },
+        { kind: "exprStmt", expr: inner.cond, loc: inner.loc },
+    ];
+    if (reads(controls, counter))
+        return null;
+    for (const id of own)
+        if (id !== j && reads(controls, id))
+            return null;
+    return { counter, values, pre, inner, post, acc: accId, full };
+}
+/** Runs the iterations of a short constant-count loop together when its body
+ * is an inner loop that exits once an accumulator reaches the value its ORs
+ * saturate at (mandelbrot's pairs of pixels per output byte):
+ *
+ *   for (let i = 0; i < 8; i += 2) {
+ *     <pre: pure declarations, including `let b = 0`>
+ *     for (let j = 0; j < M; j++) {
+ *       <pure arithmetic>; if (c) { b |= 2; if (b === 3) break; } ...
+ *     }
+ *     <post: pure assignments reading b>
+ *   }
+ *
+ * becomes every iteration's `pre` (with `i` a literal), one inner loop
+ * running every iteration's body in turn that exits when every accumulator
+ * is full, and every iteration's `post` in order. Once an accumulator is
+ * full its ORs leave it full, so the iterations a copy runs past its own
+ * exit leave its accumulator as its own loop left it, and every other value
+ * they compute is dead: the bodies only compute numbers, read typed-array
+ * elements that answer NaN out of range, and write their own locals. `pre`
+ * and the inner loop read nothing `post` writes, so running later `pre`s
+ * and inner loops first changes no value. Independent iterations then
+ * overlap their dependence chains. */
+export function jamSaturatingLoops(mod) {
+    let changed = false;
+    const functions = mod.functions.map((fn) => {
+        if (fn.async || fn.generator)
+            return fn;
+        const locals = new Map(fn.locals.map((local) => [local.id, local]));
+        let found = false;
+        everyStmtList(fn.body, {
+            expr: () => !found,
+            stmt: (s) => {
+                if (s.kind === "for" && matchJam(s, locals) !== null)
+                    found = true;
+                return !found;
+            },
+        });
+        if (!found)
+            return fn;
+        const added = [];
+        const ids = new Set(fn.locals.map((local) => local.id));
+        const fresh = (of, copy) => {
+            let id = `%jam.${copy}.${of.id}`;
+            while (ids.has(id))
+                id += "_";
+            ids.add(id);
+            const { source: _source, ...rest } = of;
+            added.push({ ...rest, id, name: `%jam.${of.name}` });
+            return id;
+        };
+        const body = transformStmtList(fn.body, {
+            expr: (e) => e,
+            stmt: (s) => {
+                if (s.kind !== "for")
+                    return s;
+                const jam = matchJam(s, locals);
+                return jam === null ? s : emitJam(jam, locals, fresh);
+            },
+        });
+        changed = true;
+        return { ...fn, locals: [...fn.locals, ...added], body };
+    });
+    return changed ? { ...mod, functions } : mod;
+}
+function emitJam(jam, locals, fresh) {
+    const { inner, pre, post, values, counter } = jam;
+    const loc = inner.loc;
+    const own = declared([...pre, ...inner.body]);
+    const j = inner.init.localId;
+    own.delete(j);
+    const copies = values.map((value, copy) => {
+        const rename = new Map();
+        for (const id of own)
+            rename.set(id, fresh(locals.get(id), copy));
+        const rewrite = (list) => transformStmtList(list, {
+            expr: (e) => {
+                if (e.kind !== "varRef")
+                    return e;
+                if (e.localId === counter)
+                    return { kind: "numLit", value, type: F64, loc: e.loc };
+                const to = rename.get(e.localId);
+                return to === undefined ? e : { ...e, localId: to };
+            },
+            stmt: (s) => {
+                if (s.kind === "varDecl" || s.kind === "assign") {
+                    const to = rename.get(s.localId);
+                    if (to !== undefined)
+                        return { ...s, localId: to };
+                }
+                return s;
+            },
+        });
+        // The copy's exits become the shared test at the end of the iteration.
+        const withoutBreaks = (list) => list.flatMap((s) => {
+            if (s.kind !== "if")
+                return [s];
+            if (s.then.length === 1 && s.then[0].kind === "break")
+                return [];
+            return [
+                { ...s, then: withoutBreaks(s.then), else_: s.else_ ? withoutBreaks(s.else_) : null },
+            ];
+        });
+        return {
+            pre: rewrite(pre),
+            body: rewrite(withoutBreaks(inner.body)),
+            post: rewrite(post),
+            acc: rename.get(jam.acc),
+        };
+    });
+    let allFull = null;
+    for (const copy of copies) {
+        const full = {
+            kind: "bin",
+            op: "===",
+            left: { kind: "varRef", localId: copy.acc, type: F64, loc },
+            right: { kind: "numLit", value: jam.full, type: F64, loc },
+            type: BOOL,
+            loc,
+        };
+        allFull =
+            allFull === null
+                ? full
+                : { kind: "logical", op: "&&", left: allFull, right: full, type: BOOL, loc };
+    }
+    const jammed = {
+        ...inner,
+        body: [
+            ...copies.flatMap((copy) => copy.body),
+            { kind: "if", cond: allFull, then: [{ kind: "break", loc }], else_: null, loc },
+        ],
+    };
+    return {
+        kind: "block",
+        body: [...copies.flatMap((copy) => copy.pre), jammed, ...copies.flatMap((copy) => copy.post)],
+        loc,
+    };
+}
+//# sourceMappingURL=saturating-loop-jams.js.map

package/dist/ir/saturating-loop-jams.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"saturating-loop-jams.js","sourceRoot":"","sources":["../../src/ir/saturating-loop-jams.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,GAAG,GAMJ,MAAM,SAAS,CAAC;AACjB,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAEjE,4DAA4D;AAC5D,MAAM,UAAU,GAAG,CAAC,CAAC;AAErB;yBACyB;AACzB,MAAM,cAAc,GAAG,GAAG,CAAC;AAE3B;mBACmB;AACnB,MAAM,WAAW,GAAG,IAAI,GAAG,CAAS;IAClC,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,IAAI;IACJ,IAAI;IACJ,KAAK;IACL,GAAG;IACH,IAAI;IACJ,GAAG;IACH,IAAI;IACJ,KAAK;IACL,KAAK;CACN,CAAC,CAAC;AAEH,MAAM,UAAU,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAczD,SAAS,KAAK,CAAC,CAA4B,EAAE,EAAU;IACrD,OAAO,CAAC,EAAE,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,KAAK,EAAE,CAAC;AAClD,CAAC;AAED,SAAS,MAAM,CAAC,CAA4B;IAC1C,OAAO,CAAC,EAAE,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACrF,CAAC,CAAC,CAAC,CAAC,KAAK;QACT,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,6DAA6D;AAC7D,SAAS,YAAY,CAAC,MAAqB,EAAE,EAAU;IACrD,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,EAAE,KAAK,GAAG;QACvB,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;QAE7B,OAAO,IAAI,CAAC;IACd,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACxC,OAAO,IAAI,KAAK,IAAI,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACjD,CAAC;AAED;;iEAEiE;AACjE,SAAS,QAAQ,CAAC,CAAS,EAAE,MAAoC;IAC/D,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC;IAClE,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC;QACd,KAAK,QAAQ,EAAE,CAAC;YACd,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACpC,IAAI,KAAK;gBAAE,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;YAC7C,OAAO,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACrC,CAAC;QACD,KAAK,KAAK;YACR,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACxF,KAAK,OAAO;YACV,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC7D,KAAK,gBAAgB;YACnB,OAAO,CACL,CAAC,CAAC,MAAM,KAAK,KAAK;gBAClB,CAAC,CAAC,UAAU,KAAK,IAAI;gBACrB,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;gBAC5B,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;gBACnB,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,MAAM,CAAC,CAC7B,CAAC;QACJ;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED,qEAAqE;AACrE,SAAS,YAAY,CAAC,CAAS;IAC7B,OAAO,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;AACxE,CAAC;AAED,iEAAiE;AACjE,SAAS,cAAc,CAAC,IAAuB,EAAE,MAAoC;IACnF,OAAO,IAAI,CAAC,KAAK,CACf,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACrE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAC9E,CAAC;AACJ,CAAC;AAED;WACW;AACX,SAAS,MAAM,CAAC,CAAS;IACvB,IACE,CAAC,CAAC,IAAI,KAAK,QAAQ;QACnB,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK;QACtB,CAAC,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG;QAClB,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC;QAE/B,OAAO,IAAI,CAAC;IACd,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACnC,OAAO,IAAI,KAAK,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACxE,CAAC;AAED;;0DAE0D;AAC1D,SAAS,eAAe,CACtB,IAAuB,EACvB,MAAoC,EACpC,GAA0D;IAE1D,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE;QACtB,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACpB,4BAA4B;YAC5B,IACE,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;gBACnB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,IAAI,KAAK,OAAO;gBAC3B,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,KAAK,KAAK,SAAS;gBAC9B,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC;gBAC1C,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;gBACrB,CAAC,CAAC,IAAI,CAAC,EAAE,KAAK,KAAK;gBACnB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAC7B,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,EAC7B,CAAC;gBACD,IAAI,GAAG,CAAC,EAAE,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO;oBAAE,OAAO,KAAK,CAAC;gBACpE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC;gBAC7B,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAE,CAAC,CAAC;gBACvC,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,CACL,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC;gBACxB,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC;gBACpC,eAAe,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,CAC5C,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YACzC,IAAI,GAAG,CAAC,EAAE,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC,OAAO;gBAAE,OAAO,KAAK,CAAC;YAC1D,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC;YACnB,GAAG,CAAC,IAAI,IAAI,IAAI,CAAC;YACjB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,UAAU,CAAC,IAAuB;IACzC,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,aAAa,CAAC,IAAgB,EAAE;QAC9B,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,IAAI,cAAc;QACjC,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,IAAI,cAAc;KAClC,CAAC,CAAC;IACH,OAAO,CAAC,CAAC;AACX,CAAC;AAED,8CAA8C;AAC9C,SAAS,KAAK,CAAC,IAAuB,EAAE,EAAU;IAChD,OAAO,CAAC,aAAa,CAAC,IAAgB,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;AAC5F,CAAC;AAED,yCAAyC;AACzC,SAAS,MAAM,CAAC,IAAuB;IACrC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,aAAa,CAAC,IAAgB,EAAE;QAC9B,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;QAChB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;YACV,MAAM,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;YAC3B,IAAI,EAAE,KAAK,IAAI;gBAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC7B,OAAO,IAAI,CAAC;QACd,CAAC;KACF,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACb,CAAC;AAED,0CAA0C;AAC1C,SAAS,QAAQ,CAAC,IAAuB;IACvC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,aAAa,CAAC,IAAgB,EAAE;QAC9B,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;QAChB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;YACV,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;gBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAC7C,OAAO,IAAI,CAAC;QACd,CAAC;KACF,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACb,CAAC;AAED,kCAAkC;AAClC,SAAS,QAAQ,CACf,IAA8B,EAC9B,MAAoC;IAEpC,IAAI,IAAI,CAAC,MAAM,EAAE,MAAM,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACtE,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC;IAClC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAClC,IAAI,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IACxE,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAChD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IACE,KAAK,KAAK,IAAI;QACd,IAAI,KAAK,IAAI;QACb,IAAI,EAAE,IAAI,KAAK,KAAK;QACpB,IAAI,CAAC,EAAE,KAAK,GAAG;QACf,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;QAE1B,OAAO,IAAI,CAAC;IACd,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/B,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC9B,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,GAAG,IAAI,MAAM,CAAC,MAAM,IAAI,UAAU,EAAE,CAAC,IAAI,IAAI;QAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,UAAU;QAAE,OAAO,IAAI,CAAC;IACjE,+DAA+D;IAC/D,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;IACxD,IAAI,EAAE,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAA6B,CAAC;IACxD,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAChC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IACjC,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/E,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,cAAc;QAAE,OAAO,IAAI,CAAC;IACxD,IAAI,KAAK,CAAC,MAAM,EAAE,MAAM,IAAI,KAAK,CAAC,IAAI,EAAE,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACxE,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC;IAC7B,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC7B,IAAI,MAAM,EAAE,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IAC3E,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAChF,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC;QAC7F,OAAO,IAAI,CAAC;IACd,MAAM,GAAG,GAAG,EAAE,EAAE,EAAE,IAAqB,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,EAAc,EAAE,CAAC;IAC3E,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,GAAG,CAAC,EAAE,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC9E,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC;IACtB,qEAAqE;IACrE,gCAAgC;IAChC,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACvF,MAAM,KAAK,GAAG,GAAG,CAAC,EAAE,CAAC;IACrB,2EAA2E;IAC3E,sBAAsB;IACtB,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,KAAK,KAAK,CAAC,CAAC;IAC7E,IAAI,OAAO,EAAE,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC9E,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE;QACxC,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;QAChB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI;KAC7D,CAAC,CAAC;IACH,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAC1B,2EAA2E;IAC3E,MAAM;IACN,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3C,yEAAyE;IACzE,wEAAwE;IACxE,gBAAgB;IAChB,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,GAAG,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;IACtC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACpB,MAAM,WAAW,GAAG,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACpC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACtB,KAAK,MAAM,EAAE,IAAI,WAAW;QAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC;IAC5E,IAAI,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC;QACvF,OAAO,IAAI,CAAC;IACd,wEAAwE;IACxE,sEAAsE;IACtE,sDAAsD;IACtD,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IAChC,KAAK,MAAM,EAAE,IAAI,UAAU;QAAE,IAAI,KAAK,CAAC,CAAC,GAAG,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC;IACxF,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,GAAG,CAAC;QAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC;IAC5D,uEAAuE;IACvE,gEAAgE;IAChE,KAAK,MAAM,EAAE,IAAI,WAAW;QAAE,IAAI,EAAE,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC;IAC/E,2EAA2E;IAC3E,wCAAwC;IACxC,MAAM,QAAQ,GAAa;QACzB,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE;QAC3D,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE;KACvD,CAAC;IACF,IAAI,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1C,KAAK,MAAM,EAAE,IAAI,GAAG;QAAE,IAAI,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,EAAE,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC;IACvE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AACjE,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;sCAqBsC;AACtC,MAAM,UAAU,kBAAkB,CAAC,GAAa;IAC9C,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,MAAM,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAc,EAAE;QACrD,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;YAAE,OAAO,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QACpE,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;YACrB,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK;YAClB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;gBACV,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI;oBAAE,KAAK,GAAG,IAAI,CAAC;gBACnE,OAAO,CAAC,KAAK,CAAC;YAChB,CAAC;SACF,CAAC,CAAC;QACH,IAAI,CAAC,KAAK;YAAE,OAAO,EAAE,CAAC;QACtB,MAAM,KAAK,GAAc,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;QACxD,MAAM,KAAK,GAAG,CAAC,EAAW,EAAE,IAAY,EAAU,EAAE;YAClD,IAAI,EAAE,GAAG,QAAQ,IAAI,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;YACjC,OAAO,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,EAAE,IAAI,GAAG,CAAC;YAC9B,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACZ,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,CAAC;YACxC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACrD,OAAO,EAAE,CAAC;QACZ,CAAC,CAAC;QACF,MAAM,IAAI,GAAG,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE;YACtC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACd,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;gBACV,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;oBAAE,OAAO,CAAC,CAAC;gBAC/B,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;gBAChC,OAAO,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;YACxD,CAAC;SACF,CAAC,CAAC;QACH,OAAO,GAAG,IAAI,CAAC;QACf,OAAO,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC;IAC3D,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;AAC/C,CAAC;AAED,SAAS,OAAO,CACd,GAAQ,EACR,MAAoC,EACpC,KAA4C;IAE5C,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,GAAG,CAAC;IAClD,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;IACtB,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,GAAG,GAAG,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9C,MAAM,CAAC,GAAI,KAAK,CAAC,IAAqC,CAAC,OAAO,CAAC;IAC/D,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACd,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE;QACxC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;QACzC,KAAK,MAAM,EAAE,IAAI,GAAG;YAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAE,EAAE,IAAI,CAAC,CAAC,CAAC;QACnE,MAAM,OAAO,GAAG,CAAC,IAAuB,EAAY,EAAE,CACpD,iBAAiB,CAAC,IAAgB,EAAE;YAClC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;gBACV,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;oBAAE,OAAO,CAAC,CAAC;gBAClC,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO;oBAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC;gBACnF,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBACjC,OAAO,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;YACtD,CAAC;YACD,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;gBACV,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAChD,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;oBACjC,IAAI,EAAE,KAAK,SAAS;wBAAE,OAAO,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;gBACrD,CAAC;gBACD,OAAO,CAAC,CAAC;YACX,CAAC;SACF,CAAC,CAAC;QACL,uEAAuE;QACvE,MAAM,aAAa,GAAG,CAAC,IAAuB,EAAY,EAAE,CAC1D,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAY,EAAE;YAC3B,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;gBAAE,OAAO,CAAC,CAAC,CAAC,CAAC;YAChC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,IAAI,KAAK,OAAO;gBAAE,OAAO,EAAE,CAAC;YAClE,OAAO;gBACL,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;aACtF,CAAC;QACJ,CAAC,CAAC,CAAC;QACL,OAAO;YACL,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC;YACjB,IAAI,EAAE,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACxC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC;YACnB,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAE;SAC1B,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,IAAI,OAAO,GAAkB,IAAI,CAAC;IAClC,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,KAAK;YACX,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YAC3D,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YAC1D,IAAI,EAAE,IAAI;YACV,GAAG;SACJ,CAAC;QACF,OAAO;YACL,OAAO,KAAK,IAAI;gBACd,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACnF,CAAC;IACD,MAAM,MAAM,GAAW;QACrB,GAAG,KAAK;QACR,IAAI,EAAE;YACJ,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;YACtC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,OAAQ,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;SACjF;KACF,CAAC;IACF,OAAO;QACL,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7F,GAAG;KACJ,CAAC;AACJ,CAAC"}

package/dist/ir/saturating-loop-jams.test.d.ts

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

package/dist/ir/saturating-loop-jams.test.js

@@ -0,0 +1,196 @@
+import { expect, test } from "vitest";
+import { BOOL, F64, VOID } from "./ir.js";
+import { everyStmtList } from "./traverse.js";
+import { jamSaturatingLoops } from "./saturating-loop-jams.js";
+const loc = { file: "saturating-loop-jams.ts", start: 0, end: 0 };
+const BYTES = { kind: "bytes", elem: "f64" };
+const num = (value) => ({ loc, kind: "numLit", value, type: F64 });
+const ref = (localId) => ({ loc, kind: "varRef", localId, type: F64 });
+const bin = (op, left, right) => ({
+    loc,
+    kind: "bin",
+    op,
+    left,
+    right,
+    type: op === "<" || op === ">" || op === "===" ? BOOL : F64,
+});
+const decl = (id, init) => ({ loc, kind: "varDecl", localId: id, init });
+const set = (id, value) => ({ loc, kind: "assign", localId: id, value });
+const stepBy = (id, by) => set(id, bin("+", ref(id), num(by)));
+const loop = (id, end, by, body, start = num(0)) => ({
+    loc,
+    kind: "for",
+    init: decl(id, start),
+    cond: bin("<", ref(id), end),
+    update: stepBy(id, by),
+    body,
+});
+const exitWhen = (acc, full) => ({
+    loc,
+    kind: "if",
+    cond: bin("===", ref(acc), num(full)),
+    then: [{ loc, kind: "break" }],
+    else_: null,
+});
+const get = (index) => ({
+    loc,
+    kind: "bytesIntrinsic",
+    method: "get",
+    receiver: { loc, kind: "varRef", localId: "cr", type: BYTES },
+    args: [index],
+    type: F64,
+    invalidNaN: true,
+});
+/** One lane of mandelbrot's escape test: `z = z * z + c`, `b |= bit` and
+ * an exit once `b` is full. */
+function lane(z, c, bit, full = 3, extra = []) {
+    return [
+        decl(`${z}.t`, bin("*", ref(z), ref(z))),
+        set(z, bin("+", ref(`${z}.t`), ref(c))),
+        {
+            loc,
+            kind: "if",
+            cond: bin(">", ref(`${z}.t`), num(4)),
+            then: [set("b", bin("|", ref("b"), num(bit))), exitWhen("b", full), ...extra],
+            else_: null,
+        },
+    ];
+}
+function nest(options = {}) {
+    const post = options.post ?? [set("res", bin("|", bin("<<", ref("res"), num(2)), ref("b")))];
+    return [
+        decl("res", num(0)),
+        loop("i", num(2 * (options.copies ?? 4)), 2, [
+            decl("c1", get(ref("i"))),
+            decl("c2", get(bin("+", ref("i"), num(1)))),
+            decl("z1", ref("c1")),
+            decl("z2", ref("c2")),
+            decl("b", num(0)),
+            ...(options.preExtra ?? []),
+            loop("j", options.innerEnd ?? num(50), 1, [
+                ...lane("z1", "c1", 2, options.full),
+                ...lane("z2", "c2", 1, options.full),
+                ...(options.innerExtra ?? []),
+            ], options.innerStart),
+            ...post,
+        ]),
+    ];
+}
+function moduleOf(body) {
+    const ids = new Set();
+    everyStmtList(body, {
+        expr: (e) => {
+            if (e.kind === "varRef" && e.localId !== "cr")
+                ids.add(e.localId);
+            return true;
+        },
+        stmt: (s) => {
+            if (s.kind === "varDecl" || s.kind === "assign")
+                ids.add(s.localId);
+            return true;
+        },
+    });
+    const fn = {
+        name: "render",
+        params: [{ localId: "cr", name: "cr", type: BYTES }],
+        locals: [
+            { id: "cr", name: "cr", type: BYTES, mutable: false },
+            ...[...ids].map((id) => ({ id, name: id, type: F64, mutable: true })),
+        ],
+        body,
+        returnType: VOID,
+        loc,
+    };
+    return { irVersion: 17, sourceFile: loc.file, entry: "render", functions: [fn] };
+}
+function loops(body) {
+    const found = [];
+    everyStmtList(body, {
+        expr: () => true,
+        stmt: (s) => {
+            if (s.kind === "for")
+                found.push(s);
+            return true;
+        },
+    });
+    return found;
+}
+test("jams a constant-count loop whose inner loop exits once its accumulator is full", () => {
+    const mod = moduleOf(nest());
+    const out = jamSaturatingLoops(mod);
+    expect(out).not.toBe(mod);
+    const body = out.functions[0].body;
+    // The outer loop is gone: one inner loop runs the four iterations.
+    const remaining = loops(body);
+    expect(remaining.length).toBe(1);
+    const inner = remaining[0];
+    // Its only exit tests every copy's accumulator, at the end of the body.
+    let breaks = 0;
+    everyStmtList(inner.body, {
+        expr: () => true,
+        stmt: (s) => {
+            if (s.kind === "break")
+                breaks++;
+            return true;
+        },
+    });
+    expect(breaks).toBe(1);
+    const last = inner.body[inner.body.length - 1];
+    expect(last.kind).toBe("if");
+    // Each copy keeps its own accumulator and lanes; `post` runs in order.
+    const added = out.functions[0].locals.filter((local) => local.id.startsWith("%jam."));
+    expect(added.filter((local) => local.name === "%jam.b").length).toBe(4);
+    const block = body[1];
+    expect(block.kind).toBe("block");
+    if (block.kind !== "block")
+        return;
+    const posts = block.body.slice(-4);
+    expect(posts.every((s) => s.kind === "assign" && s.localId === "res")).toBe(true);
+});
+test("keeps loops whose exits or values do not allow running iterations together", () => {
+    const reject = (body) => {
+        const mod = moduleOf(body);
+        expect(jamSaturatingLoops(mod)).toBe(mod);
+    };
+    // An exit before the accumulator is full: later ORs would change it.
+    reject(nest({ full: 2 }));
+    // `post` reads a lane value the copies keep computing past their exit.
+    reject(nest({ post: [set("res", bin("+", ref("res"), ref("z1")))] }));
+    // `pre` reads what `post` writes.
+    reject(nest({ preExtra: [decl("seed", ref("res"))] }));
+    // The inner loop writes the accumulator other than by an OR: a later
+    // iteration can clear bits after an exit.
+    reject(nest({ innerExtra: [set("b", num(0))] }));
+    reject(nest({ innerExtra: [set("b", bin("+", ref("b"), num(4)))] }));
+    // The inner loop's body advances its counter, which the copies share.
+    reject(nest({ innerExtra: [stepBy("j", 1)] }));
+    // The inner loop's start or bound reads the counter or a local of the
+    // iteration.
+    reject(nest({ innerStart: ref("i") }));
+    reject(nest({ innerEnd: bin("+", num(10), ref("i")) }));
+    reject(nest({ preExtra: [decl("start", num(3))], innerStart: ref("start") }));
+    // One iteration, or more than eight.
+    reject(nest({ copies: 1 }));
+    reject(nest({ copies: 9 }));
+    // A store in the inner loop is observable past an exit.
+    reject([
+        decl("res", num(0)),
+        loop("i", num(8), 2, [
+            decl("b", num(0)),
+            decl("z1", num(0)),
+            loop("j", num(50), 1, [
+                ...lane("z1", "z1", 2, 3, [
+                    {
+                        loc,
+                        kind: "bytesSet",
+                        arr: { loc, kind: "varRef", localId: "cr", type: BYTES },
+                        index: num(0),
+                        value: num(1),
+                    },
+                ]),
+            ]),
+            set("res", bin("|", ref("res"), ref("b"))),
+        ]),
+    ]);
+});
+//# sourceMappingURL=saturating-loop-jams.test.js.map

package/dist/ir/saturating-loop-jams.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"saturating-loop-jams.test.js","sourceRoot":"","sources":["../../src/ir/saturating-loop-jams.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAA4D,MAAM,SAAS,CAAC;AACpG,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAE/D,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,yBAAyB,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAClE,MAAM,KAAK,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAW,CAAC;AACtD,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AACnF,MAAM,GAAG,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAEvF,MAAM,GAAG,GAAG,CAAC,EAAM,EAAE,IAAY,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC;IAC5D,GAAG;IACH,IAAI,EAAE,KAAK;IACX,EAAE;IACF,IAAI;IACJ,KAAK;IACL,IAAI,EAAE,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG;CAC5D,CAAC,CAAC;AACH,MAAM,IAAI,GAAG,CAAC,EAAU,EAAE,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;AACjG,MAAM,GAAG,GAAG,CAAC,EAAU,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;AACjG,MAAM,MAAM,GAAG,CAAC,EAAU,EAAE,EAAU,EAAU,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACvF,MAAM,IAAI,GAAG,CACX,EAAU,EACV,GAAW,EACX,EAAU,EACV,IAAc,EACd,KAAK,GAAW,GAAG,CAAC,CAAC,CAAC,EACI,EAAE,CAAC,CAAC;IAC9B,GAAG;IACH,IAAI,EAAE,KAAK;IACX,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC;IACrB,IAAI,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC;IAC5B,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC;IACtB,IAAI;CACL,CAAC,CAAC;AACH,MAAM,QAAQ,GAAG,CAAC,GAAW,EAAE,IAAY,EAAU,EAAE,CAAC,CAAC;IACvD,GAAG;IACH,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAC9B,KAAK,EAAE,IAAI;CACZ,CAAC,CAAC;AACH,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;IACtC,GAAG;IACH,IAAI,EAAE,gBAAgB;IACtB,MAAM,EAAE,KAAK;IACb,QAAQ,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE;IAC7D,IAAI,EAAE,CAAC,KAAK,CAAC;IACb,IAAI,EAAE,GAAG;IACT,UAAU,EAAE,IAAI;CACjB,CAAC,CAAC;AAEH;+BAC+B;AAC/B,SAAS,IAAI,CAAC,CAAS,EAAE,CAAS,EAAE,GAAW,EAAE,IAAI,GAAG,CAAC,EAAE,KAAK,GAAa,EAAE;IAC7E,OAAO;QACL,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACvC;YACE,GAAG;YACH,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YACrC,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,GAAG,KAAK,CAAC;YAC7E,KAAK,EAAE,IAAI;SACZ;KACF,CAAC;AACJ,CAAC;AAED,SAAS,IAAI,CACX,OAAO,GAQH,EAAE;IAEN,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7F,OAAO;QACL,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACnB,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;YAC3C,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;YACzB,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3C,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;YACrB,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;YACrB,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YACjB,GAAG,CAAC,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC;YAC3B,IAAI,CACF,GAAG,EACH,OAAO,CAAC,QAAQ,IAAI,GAAG,CAAC,EAAE,CAAC,EAC3B,CAAC,EACD;gBACE,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC;gBACpC,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC;gBACpC,GAAG,CAAC,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC;aAC9B,EACD,OAAO,CAAC,UAAU,CACnB;YACD,GAAG,IAAI;SACR,CAAC;KACH,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,IAAc;IAC9B,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,aAAa,CAAC,IAAI,EAAE;QAClB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;YACV,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,KAAK,IAAI;gBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAClE,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;YACV,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;gBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACpE,OAAO,IAAI,CAAC;QACd,CAAC;KACF,CAAC,CAAC;IACH,MAAM,EAAE,GAAe;QACrB,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QACpD,MAAM,EAAE;YACN,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE;YACrD,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;SACtE;QACD,IAAI;QACJ,UAAU,EAAE,IAAI;QAChB,GAAG;KACJ,CAAC;IACF,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,EAAc,CAAC;AAC/F,CAAC;AAED,SAAS,KAAK,CAAC,IAAc;IAC3B,MAAM,KAAK,GAAiC,EAAE,CAAC;IAC/C,aAAa,CAAC,IAAI,EAAE;QAClB,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;QAChB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;YACV,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACpC,OAAO,IAAI,CAAC;QACd,CAAC;KACF,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,IAAI,CAAC,gFAAgF,EAAE,GAAG,EAAE;IAC1F,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAC7B,MAAM,GAAG,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1B,MAAM,IAAI,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC;IACpC,mEAAmE;IACnE,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAE,CAAC;IAC5B,wEAAwE;IACxE,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE;QACxB,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;QAChB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;YACV,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;gBAAE,MAAM,EAAE,CAAC;YACjC,OAAO,IAAI,CAAC;QACd,CAAC;KACF,CAAC,CAAC;IACH,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC;IAChD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,uEAAuE;IACvE,MAAM,KAAK,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;IACvF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxE,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;IACvB,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACjC,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO;IACnC,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACnC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACpF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,4EAA4E,EAAE,GAAG,EAAE;IACtF,MAAM,MAAM,GAAG,CAAC,IAAc,EAAQ,EAAE;QACtC,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC3B,MAAM,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5C,CAAC,CAAC;IACF,qEAAqE;IACrE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1B,uEAAuE;IACvE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACtE,kCAAkC;IAClC,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACvD,qEAAqE;IACrE,0CAA0C;IAC1C,MAAM,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACjD,MAAM,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrE,sEAAsE;IACtE,MAAM,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/C,sEAAsE;IACtE,aAAa;IACb,MAAM,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACvC,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACxD,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9E,qCAAqC;IACrC,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5B,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5B,wDAAwD;IACxD,MAAM,CAAC;QACL,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACnB,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;YACnB,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YACjB,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YAClB,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE;gBACpB,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE;oBACxB;wBACE,GAAG;wBACH,IAAI,EAAE,UAAU;wBAChB,GAAG,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE;wBACxD,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;wBACb,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;qBACd;iBACF,CAAC;aACH,CAAC;YACF,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;SAC3C,CAAC;KACH,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}