@scriptc/compiler 0.4.4 → 0.4.5

package/dist/ir/row-pairs.js

@@ -0,0 +1,373 @@
+import { BOOL, F64, } from "./ir.js";
+import { everyExpr, everyExprChild, mapExprChildren, transformStmtList } from "./traverse.js";
+/** Inner-loop expressions above this many nodes keep the loop as written. */
+const MAX_TERM_NODES = 64;
+/** The number operators a term may use: they run no other code and cannot
+ * throw. */
+const PURE_BINARY = new Set([
+    "+",
+    "-",
+    "*",
+    "/",
+    "%",
+    "**",
+    "&",
+    "|",
+    "^",
+    "<<",
+    ">>",
+    ">>>",
+]);
+function isRef(e, id) {
+    return e?.kind === "varRef" && e.localId === id;
+}
+/** `id = id + 1`, or `id++` as a statement. */
+function unitStep(update, id) {
+    if (update?.kind === "exprStmt")
+        return update.expr.kind === "incDec" && update.expr.localId === id && update.expr.op === "+";
+    return (update?.kind === "assign" &&
+        update.localId === id &&
+        update.value.kind === "bin" &&
+        update.value.op === "+" &&
+        isRef(update.value.left, id) &&
+        update.value.right.kind === "numLit" &&
+        update.value.right.value === 1);
+}
+/** A plain number local: unboxed and outside the temporal dead zone. */
+function plainNumber(locals, id) {
+    const local = locals.get(id);
+    return local !== undefined && local.type.kind === "f64" && !local.boxed && !local.tdz;
+}
+function readsLocal(e, id) {
+    return !everyExpr(e, { stmt: () => true, expr: (x) => !isRef(x, id) });
+}
+/** The row-sum shape of a `for` statement, or null. Bounds and receivers
+ * must be literals or locals the nest never writes. */
+function matchRowSum(s, locals) {
+    if (s.labels?.length || s.init?.kind !== "varDecl" || !s.init.init)
+        return null;
+    const row = s.init.localId;
+    if (!plainNumber(locals, row) || !unitStep(s.update, row))
+        return null;
+    const cond = s.cond;
+    if (cond?.kind !== "bin" || cond.op !== "<" || !isRef(cond.left, row))
+        return null;
+    const start = s.init.init, end = cond.right;
+    if (s.body.length !== 3)
+        return null;
+    const [decl, inner, store] = s.body;
+    if (decl.kind !== "varDecl" || decl.init?.kind !== "numLit")
+        return null;
+    const sum = decl.localId;
+    if (!plainNumber(locals, sum))
+        return null;
+    if (inner.kind !== "for" || inner.labels?.length)
+        return null;
+    if (inner.init?.kind !== "varDecl" || !inner.init.init)
+        return null;
+    const column = inner.init.localId;
+    if (!plainNumber(locals, column) || !unitStep(inner.update, column))
+        return null;
+    const innerCond = inner.cond;
+    if (innerCond?.kind !== "bin" || innerCond.op !== "<" || !isRef(innerCond.left, column))
+        return null;
+    if (inner.body.length !== 1)
+        return null;
+    const add = inner.body[0];
+    if (add.kind !== "assign" ||
+        add.localId !== sum ||
+        add.value.kind !== "bin" ||
+        add.value.op !== "+" ||
+        !isRef(add.value.left, sum))
+        return null;
+    const term = add.value.right;
+    if (store.kind !== "bytesSet" ||
+        store.arr.kind !== "varRef" ||
+        store.arr.type.kind !== "bytes" ||
+        !isRef(store.index, row) ||
+        !isRef(store.value, sum))
+        return null;
+    const out = store.arr;
+    // Values the nest reads but never writes: the row counter, the column
+    // counter and the sum are its only writes.
+    const written = new Set([row, sum, column]);
+    // A typed array's length is fixed, so a stable receiver's length is
+    // stable too.
+    const stable = (e) => e.kind === "numLit" ||
+        (e.kind === "varRef" &&
+            !written.has(e.localId) &&
+            locals.get(e.localId) !== undefined &&
+            !locals.get(e.localId).boxed &&
+            !locals.get(e.localId).tdz) ||
+        (e.kind === "bytesIntrinsic" &&
+            e.method === "length" &&
+            e.args.length === 0 &&
+            e.receiver.kind === "varRef" &&
+            e.receiver.type.kind === "bytes" &&
+            stable(e.receiver));
+    if (!stable(start) || !stable(end) || !stable(out))
+        return null;
+    if (!stable(inner.init.init) || !stable(innerCond.right))
+        return null;
+    const reads = [];
+    let nodes = 0;
+    const pure = (e) => {
+        if (++nodes > MAX_TERM_NODES)
+            return false;
+        switch (e.kind) {
+            case "numLit":
+                return e.type.kind === "f64";
+            case "varRef":
+                return e.type.kind === "f64" && (e.localId === row || e.localId === column || stable(e));
+            case "bin":
+                return e.type.kind === "f64" && PURE_BINARY.has(e.op) && pure(e.left) && pure(e.right);
+            case "unary":
+                return e.type.kind === "f64" && (e.op === "-" || e.op === "~") && pure(e.operand);
+            case "bytesIntrinsic":
+                if (stable(e))
+                    return true;
+                if (e.method !== "get" ||
+                    e.args.length !== 1 ||
+                    e.receiver.kind !== "varRef" ||
+                    e.receiver.type.kind !== "bytes" ||
+                    !stable(e.receiver))
+                    return false;
+                reads.push(e.receiver);
+                return pure(e.args[0]);
+            default:
+                return false;
+        }
+    };
+    if (!pure(term) || readsLocal(term, sum))
+        return null;
+    return { row, start, end, sum, init: decl.init, inner, column, term, out, reads };
+}
+/** A fresh copy of `e` with `substitute` applied to its local reads and
+ * `replace` to the nodes it answers for. */
+function copy(e, substitute, replace = () => null) {
+    const replaced = replace(e);
+    if (replaced !== null)
+        return replaced;
+    if (e.kind === "varRef")
+        return substitute(e);
+    return mapExprChildren({ ...e }, (child) => copy(child, substitute, replace), (stmt) => stmt);
+}
+const bin = (op, left, right, loc) => ({
+    kind: "bin",
+    op,
+    left,
+    right,
+    type: F64,
+    loc,
+});
+/** Runs the row sums of `match` two rows per pass when the test holds and
+ * as written otherwise. */
+function pairRows(s, match, fresh, done) {
+    const loc = s.loc;
+    const ref = (id) => ({ kind: "varRef", localId: id, type: F64, loc });
+    const num = (value) => ({ kind: "numLit", value, type: F64, loc });
+    const again = (e) => copy(e, (r) => ({ ...r }));
+    const row = fresh("row"), sum = fresh("sum"), next = fresh("next"), column = fresh("column");
+    const atColumn = (r) => r.localId === match.column ? { ...r, localId: column } : { ...r };
+    // Element reads that do not depend on the row are read once per column
+    // and shared by both rows.
+    const shared = new Map();
+    const elements = [];
+    const collect = (e) => {
+        if (e.kind === "bytesIntrinsic" && e.method === "get" && !readsLocal(e, match.row)) {
+            const id = fresh("element");
+            shared.set(e, id);
+            elements.push({ kind: "varDecl", localId: id, init: copy(e, atColumn), loc });
+            return true;
+        }
+        return everyExprChild(e, collect, () => true);
+    };
+    collect(match.term);
+    // The second row's term reads `row + 1`, so its counter sums stay visible
+    // to the counted-loop analysis.
+    const termAt = (rowExpr) => copy(match.term, (r) => (r.localId === match.row ? rowExpr() : atColumn(r)), (node) => {
+        const id = shared.get(node);
+        return id === undefined ? null : { kind: "varRef", localId: id, type: node.type, loc };
+    });
+    const innerCond = match.inner.cond;
+    const pairs = {
+        kind: "for",
+        init: { kind: "varDecl", localId: row, init: again(match.start), loc },
+        cond: {
+            kind: "bin",
+            op: "<",
+            left: ref(row),
+            right: bin("-", again(match.end), num(1), loc),
+            type: BOOL,
+            loc,
+        },
+        update: { kind: "assign", localId: row, value: bin("+", ref(row), num(2), loc), loc },
+        body: [
+            { kind: "varDecl", localId: sum, init: { ...match.init }, loc },
+            { kind: "varDecl", localId: next, init: { ...match.init }, loc },
+            {
+                kind: "for",
+                init: {
+                    kind: "varDecl",
+                    localId: column,
+                    init: again(match.inner.init.init),
+                    loc,
+                },
+                cond: { ...innerCond, left: ref(column), right: again(innerCond.right) },
+                update: { kind: "assign", localId: column, value: bin("+", ref(column), num(1), loc), loc },
+                body: [
+                    ...elements,
+                    {
+                        kind: "assign",
+                        localId: sum,
+                        value: bin("+", ref(sum), termAt(() => ref(row)), loc),
+                        loc,
+                    },
+                    {
+                        kind: "assign",
+                        localId: next,
+                        value: bin("+", ref(next), termAt(() => bin("+", ref(row), num(1), loc)), loc),
+                        loc,
+                    },
+                ],
+                loc,
+            },
+            { kind: "bytesSet", arr: { ...match.out }, index: ref(row), value: ref(sum), loc },
+            {
+                kind: "bytesSet",
+                arr: { ...match.out },
+                index: bin("+", ref(row), num(1), loc),
+                value: ref(next),
+                loc,
+            },
+        ],
+        loc,
+    };
+    // Both bounds are int32, so `row < end - 1` is `row + 1 < end`, and the
+    // nest has at least two rows. The overlap tests run only then, so they never
+    // read an array the program assigns only when there are rows. Rows are
+    // independent when the written array shares no byte with an array the
+    // term reads; an array that is not there answers false.
+    const int32 = (e) => ({
+        kind: "bin",
+        op: "===",
+        left: bin("|", again(e), num(0), loc),
+        right: again(e),
+        type: BOOL,
+        loc,
+    });
+    const tests = [
+        int32(match.start),
+        int32(match.end),
+        {
+            kind: "bin",
+            op: "<",
+            left: bin("+", again(match.start), num(1), loc),
+            right: again(match.end),
+            type: BOOL,
+            loc,
+        },
+        ...match.reads.map((read) => ({
+            kind: "libCall",
+            fn: "bytes.disjoint",
+            args: [{ ...match.out }, { ...read }],
+            type: BOOL,
+            loc,
+        })),
+    ];
+    const test = tests.reduce((left, right) => ({
+        kind: "logical",
+        op: "&&",
+        left,
+        right,
+        type: BOOL,
+        loc,
+    }));
+    // The loop as written then runs the rows the pairs left: the last one when
+    // the count is odd (from `end - ((end - start) & 1)`), or all of them when
+    // the test failed. It is the nest's only other copy.
+    const go = fresh("go"), from = fresh("from");
+    const paired = { kind: "bin", op: "===", left: ref(go), right: num(1), type: BOOL, loc };
+    const rest = {
+        ...s,
+        init: { kind: "varDecl", localId: match.row, init: ref(from), loc },
+    };
+    done.add(rest);
+    return {
+        kind: "block",
+        body: [
+            {
+                kind: "varDecl",
+                localId: go,
+                init: { kind: "ternary", cond: test, then: num(1), else_: num(0), type: F64, loc },
+                loc,
+            },
+            {
+                kind: "varDecl",
+                localId: from,
+                init: {
+                    kind: "ternary",
+                    cond: paired,
+                    then: bin("-", again(match.end), bin("&", bin("-", again(match.end), again(match.start), loc), num(1), loc), loc),
+                    else_: again(match.start),
+                    type: F64,
+                    loc,
+                },
+                loc,
+            },
+            { kind: "if", cond: { ...paired }, then: [pairs], else_: null, loc },
+            rest,
+        ],
+        loc,
+    };
+}
+/** Runs loop nests that sum one term per row (spectral-norm's `au`) two rows
+ * per pass.
+ *
+ * Each row's sum keeps its order of additions, so every sum has the bits
+ * the nest computes as written: the second row's term is the same
+ * expression of `row + 1`. The term only reads numbers, the counters and
+ * typed-array elements, so it runs no other code and cannot throw. The
+ * nest runs paired when both row bounds are int32 (so `row < end - 1` is
+ * `row + 1 < end`), there are at least two rows, and the array the rows
+ * store into shares no byte with any array the term reads, so no row reads
+ * another row's result. An odd row count runs its last row as written.
+ * Otherwise the nest runs as written. Two independent sums take turns in
+ * the inner loop, so neither waits on the other's addition. */
+export function pairRowSums(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]));
+        const added = [];
+        const ids = new Set(fn.locals.map((local) => local.id));
+        const fresh = (name) => {
+            let id = `%pair.${name}.${ids.size}`;
+            while (ids.has(id))
+                id += "_";
+            ids.add(id);
+            added.push({ id, name: `%pair.${name}`, type: F64, mutable: true });
+            return id;
+        };
+        const paired = new Set();
+        const body = transformStmtList(fn.body, {
+            expr: (e) => e,
+            stmt: (s) => {
+                if (s.kind !== "for" || paired.has(s))
+                    return s;
+                const match = matchRowSum(s, locals);
+                if (match === null)
+                    return s;
+                paired.add(s);
+                return pairRows(s, match, fresh, paired);
+            },
+        });
+        if (added.length === 0)
+            return fn;
+        changed = true;
+        return { ...fn, locals: [...fn.locals, ...added], body };
+    });
+    return changed ? { ...mod, functions } : mod;
+}
+//# sourceMappingURL=row-pairs.js.map

package/dist/ir/row-pairs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"row-pairs.js","sourceRoot":"","sources":["../../src/ir/row-pairs.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,GAAG,GAMJ,MAAM,SAAS,CAAC;AACjB,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAE9F,6EAA6E;AAC7E,MAAM,cAAc,GAAG,EAAE,CAAC;AAE1B;YACY;AACZ,MAAM,WAAW,GAAG,IAAI,GAAG,CAAS;IAClC,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,IAAI;IACJ,GAAG;IACH,GAAG;IACH,GAAG;IACH,IAAI;IACJ,IAAI;IACJ,KAAK;CACN,CAAC,CAAC;AAwBH,SAAS,KAAK,CAAC,CAA4B,EAAE,EAAU;IACrD,OAAO,CAAC,EAAE,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,KAAK,EAAE,CAAC;AAClD,CAAC;AAED,+CAA+C;AAC/C,SAAS,QAAQ,CAAC,MAAqB,EAAE,EAAU;IACjD,IAAI,MAAM,EAAE,IAAI,KAAK,UAAU;QAC7B,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,KAAK,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,GAAG,CAAC;IAC/F,OAAO,CACL,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,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;QAC5B,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,wEAAwE;AACxE,SAAS,WAAW,CAAC,MAAoC,EAAE,EAAU;IACnE,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC7B,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;AACxF,CAAC;AAED,SAAS,UAAU,CAAC,CAAS,EAAE,EAAU;IACvC,OAAO,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;AACzE,CAAC;AAED;uDACuD;AACvD,SAAS,WAAW,CAClB,CAA2B,EAC3B,MAAoC;IAEpC,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAChF,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC;IAC3B,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACvE,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC;IACpB,IAAI,IAAI,EAAE,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACnF,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,EACvB,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC;IACnB,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAgC,CAAC;IAChE,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACzE,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC;IACzB,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3C,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,MAAM;QAAE,OAAO,IAAI,CAAC;IAC9D,IAAI,KAAK,CAAC,IAAI,EAAE,IAAI,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACpE,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC;IAClC,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACjF,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC;IAC7B,IAAI,SAAS,EAAE,IAAI,KAAK,KAAK,IAAI,SAAS,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC;QACrF,OAAO,IAAI,CAAC;IACd,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;IAC3B,IACE,GAAG,CAAC,IAAI,KAAK,QAAQ;QACrB,GAAG,CAAC,OAAO,KAAK,GAAG;QACnB,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK;QACxB,GAAG,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG;QACpB,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC;QAE3B,OAAO,IAAI,CAAC;IACd,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC;IAC7B,IACE,KAAK,CAAC,IAAI,KAAK,UAAU;QACzB,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;QAC3B,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAC/B,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC;QACxB,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC;QAExB,OAAO,IAAI,CAAC;IACd,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;IACtB,sEAAsE;IACtE,2CAA2C;IAC3C,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;IAC5C,oEAAoE;IACpE,cAAc;IACd,MAAM,MAAM,GAAG,CAAC,CAAS,EAAW,EAAE,CACpC,CAAC,CAAC,IAAI,KAAK,QAAQ;QACnB,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ;YAClB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;YACvB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,SAAS;YACnC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAE,CAAC,KAAK;YAC7B,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAE,CAAC,GAAG,CAAC;QAC9B,CAAC,CAAC,CAAC,IAAI,KAAK,gBAAgB;YAC1B,CAAC,CAAC,MAAM,KAAK,QAAQ;YACrB,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;YACnB,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;YAC5B,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;YAChC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IACxB,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAChE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACtE,MAAM,KAAK,GAAoC,EAAE,CAAC;IAClD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,IAAI,EAAE,KAAK,GAAG,cAAc;YAAE,OAAO,KAAK,CAAC;QAC3C,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,QAAQ;gBACX,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC;YAC/B,KAAK,QAAQ;gBACX,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,KAAK,GAAG,IAAI,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3F,KAAK,KAAK;gBACR,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACzF,KAAK,OAAO;gBACV,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACpF,KAAK,gBAAgB;gBACnB,IAAI,MAAM,CAAC,CAAC,CAAC;oBAAE,OAAO,IAAI,CAAC;gBAC3B,IACE,CAAC,CAAC,MAAM,KAAK,KAAK;oBAClB,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;oBACnB,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;oBAC5B,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;oBAChC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC;oBAEnB,OAAO,KAAK,CAAC;gBACf,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;gBACvB,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;YAC1B;gBACE,OAAO,KAAK,CAAC;QACjB,CAAC;IACH,CAAC,CAAC;IACF,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACtD,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;AACpF,CAAC;AAED;4CAC4C;AAC5C,SAAS,IAAI,CACX,CAAS,EACT,UAAwD,EACxD,OAAO,GAAoC,GAAG,EAAE,CAAC,IAAI;IAErD,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IAC5B,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,QAAQ,CAAC;IACvC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;IAC9C,OAAO,eAAe,CACpB,EAAE,GAAG,CAAC,EAAE,EACR,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,UAAU,EAAE,OAAO,CAAC,EAC3C,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CACf,CAAC;AACJ,CAAC;AAED,MAAM,GAAG,GAAG,CACV,EAAyB,EACzB,IAAY,EACZ,KAAa,EACb,GAAkB,EACV,EAAE,CAAC,CAAC;IACZ,IAAI,EAAE,KAAK;IACX,EAAE;IACF,IAAI;IACJ,KAAK;IACL,IAAI,EAAE,GAAG;IACT,GAAG;CACJ,CAAC,CAAC;AAEH;2BAC2B;AAC3B,SAAS,QAAQ,CACf,CAA2B,EAC3B,KAAa,EACb,KAA+B,EAC/B,IAAiB;IAEjB,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC;IAClB,MAAM,GAAG,GAAG,CAAC,EAAU,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IACtF,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IACnF,MAAM,KAAK,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAChE,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,EACtB,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,EAClB,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,EACpB,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC3B,MAAM,QAAQ,GAAG,CAAC,CAA8B,EAAU,EAAE,CAC1D,CAAC,CAAC,OAAO,KAAK,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;IACpE,uEAAuE;IACvE,2BAA2B;IAC3B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,OAAO,GAAG,CAAC,CAAS,EAAW,EAAE;QACrC,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB,IAAI,CAAC,CAAC,MAAM,KAAK,KAAK,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YACnF,MAAM,EAAE,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC;YAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAClB,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;YAC9E,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,cAAc,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC,CAAC;IACF,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACpB,0EAA0E;IAC1E,gCAAgC;IAChC,MAAM,MAAM,GAAG,CAAC,OAAqB,EAAU,EAAE,CAC/C,IAAI,CACF,KAAK,CAAC,IAAI,EACV,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,KAAK,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAC1D,CAAC,IAAI,EAAE,EAAE;QACP,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5B,OAAO,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;IACzF,CAAC,CACF,CAAC;IACJ,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,IAAgC,CAAC;IAC/D,MAAM,KAAK,GAAW;QACpB,IAAI,EAAE,KAAK;QACX,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE;QACtE,IAAI,EAAE;YACJ,IAAI,EAAE,KAAK;YACX,EAAE,EAAE,GAAG;YACP,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC;YACd,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;YAC9C,IAAI,EAAE,IAAI;YACV,GAAG;SACJ;QACD,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;QACrF,IAAI,EAAE;YACJ,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE;YAC/D,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE;YAChE;gBACE,IAAI,EAAE,KAAK;gBACX,IAAI,EAAE;oBACJ,IAAI,EAAE,SAAS;oBACf,OAAO,EAAE,MAAM;oBACf,IAAI,EAAE,KAAK,CAAE,KAAK,CAAC,KAAK,CAAC,IAAqC,CAAC,IAAK,CAAC;oBACrE,GAAG;iBACJ;gBACD,IAAI,EAAE,EAAE,GAAG,SAAS,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE;gBACxE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;gBAC3F,IAAI,EAAE;oBACJ,GAAG,QAAQ;oBACX;wBACE,IAAI,EAAE,QAAQ;wBACd,OAAO,EAAE,GAAG;wBACZ,KAAK,EAAE,GAAG,CACR,GAAG,EACH,GAAG,CAAC,GAAG,CAAC,EACR,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EACtB,GAAG,CACJ;wBACD,GAAG;qBACJ;oBACD;wBACE,IAAI,EAAE,QAAQ;wBACd,OAAO,EAAE,IAAI;wBACb,KAAK,EAAE,GAAG,CACR,GAAG,EACH,GAAG,CAAC,IAAI,CAAC,EACT,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAC7C,GAAG,CACJ;wBACD,GAAG;qBACJ;iBACF;gBACD,GAAG;aACJ;YACD,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,EAAE,GAAG,KAAK,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;YAClF;gBACE,IAAI,EAAE,UAAU;gBAChB,GAAG,EAAE,EAAE,GAAG,KAAK,CAAC,GAAG,EAAE;gBACrB,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;gBACtC,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC;gBAChB,GAAG;aACJ;SACF;QACD,GAAG;KACJ,CAAC;IACF,wEAAwE;IACxE,6EAA6E;IAC7E,uEAAuE;IACvE,sEAAsE;IACtE,wDAAwD;IACxD,MAAM,KAAK,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC;QACpC,IAAI,EAAE,KAAK;QACX,EAAE,EAAE,KAAK;QACT,IAAI,EAAE,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;QACrC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;QACf,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,KAAK,GAAa;QACtB,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;QAClB,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC;QAChB;YACE,IAAI,EAAE,KAAK;YACX,EAAE,EAAE,GAAG;YACP,IAAI,EAAE,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;YAC/C,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC;YACvB,IAAI,EAAE,IAAI;YACV,GAAG;SACJ;QACD,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAU,EAAE,CAAC,CAAC;YACpC,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,gBAAgB;YACpB,IAAI,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC,GAAG,EAAE,EAAE,EAAE,GAAG,IAAI,EAAE,CAAC;YACrC,IAAI,EAAE,IAAI;YACV,GAAG;SACJ,CAAC,CAAC;KACJ,CAAC;IACF,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QAC1C,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,IAAI;QACR,IAAI;QACJ,KAAK;QACL,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC,CAAC,CAAC;IACJ,2EAA2E;IAC3E,2EAA2E;IAC3E,qDAAqD;IACrD,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,EACpB,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IACvB,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACjG,MAAM,IAAI,GAAW;QACnB,GAAG,CAAC;QACJ,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE;KACpE,CAAC;IACF,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACf,OAAO;QACL,IAAI,EAAE,OAAO;QACb,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;gBAClF,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,IAAI;gBACb,IAAI,EAAE;oBACJ,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,GAAG,CACP,GAAG,EACH,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,EAChB,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAC1E,GAAG,CACJ;oBACD,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;oBACzB,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACD,GAAG;aACJ;YACD,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,GAAG,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;YACpE,IAAI;SACL;QACD,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;+DAY+D;AAC/D,MAAM,UAAU,WAAW,CAAC,GAAa;IACvC,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,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,IAAY,EAAU,EAAE;YACrC,IAAI,EAAE,GAAG,SAAS,IAAI,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC;YACrC,OAAO,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,EAAE,IAAI,GAAG,CAAC;YAC9B,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACZ,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,IAAI,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YACpE,OAAO,EAAE,CAAC;QACZ,CAAC,CAAC;QACF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;QACjC,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,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;oBAAE,OAAO,CAAC,CAAC;gBAChD,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;gBACrC,IAAI,KAAK,KAAK,IAAI;oBAAE,OAAO,CAAC,CAAC;gBAC7B,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACd,OAAO,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YAC3C,CAAC;SACF,CAAC,CAAC;QACH,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QAClC,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"}

package/dist/ir/row-pairs.test.d.ts

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

package/dist/ir/row-pairs.test.js

@@ -0,0 +1,129 @@
+import { expect, test } from "vitest";
+import { BOOL, F64, VOID } from "./ir.js";
+import { pairRowSums } from "./row-pairs.js";
+const loc = { file: "row-pairs.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 bytes = (localId) => ({
+    loc,
+    kind: "varRef",
+    localId,
+    type: BYTES,
+});
+const bin = (op, left, right) => ({
+    loc,
+    kind: "bin",
+    op,
+    left,
+    right,
+    type: op === "<" ? BOOL : F64,
+});
+const step = (id) => ({
+    loc,
+    kind: "assign",
+    localId: id,
+    value: bin("+", ref(id), num(1)),
+});
+const counted = (id, start, end, body) => ({
+    loc,
+    kind: "for",
+    init: { loc, kind: "varDecl", localId: id, init: start },
+    cond: bin("<", ref(id), end),
+    update: step(id),
+    body,
+});
+const get = (array, index) => ({
+    loc,
+    kind: "bytesIntrinsic",
+    method: "get",
+    receiver: bytes(array),
+    args: [index],
+    type: F64,
+    invalidNaN: true,
+});
+/** for (i = start; i < end; i++) { t = 0; for (j = 0; j < n; j++) t += u[j] / (i + j + 1); v[i] = t } */
+function rowSum(term = bin("/", get("u", ref("j")), bin("+", bin("+", ref("i"), ref("j")), num(1)))) {
+    return counted("i", ref("start"), ref("end"), [
+        { loc, kind: "varDecl", localId: "t", init: num(0) },
+        counted("j", num(0), ref("n"), [
+            { loc, kind: "assign", localId: "t", value: bin("+", ref("t"), term) },
+        ]),
+        { loc, kind: "bytesSet", arr: bytes("v"), index: ref("i"), value: ref("t") },
+    ]);
+}
+const local = (id, type = F64) => ({ id, name: id, type, mutable: true });
+function mod(body) {
+    const fn = {
+        loc,
+        name: "rows",
+        params: [],
+        locals: [
+            ...["i", "j", "t", "start", "end", "n"].map((id) => local(id)),
+            local("u", BYTES),
+            local("v", BYTES),
+        ],
+        returnType: VOID,
+        body,
+    };
+    return { irVersion: 17, sourceFile: "row-pairs.ts", entry: "rows", functions: [fn] };
+}
+test("a row-sum nest runs two rows per pass behind its bounds and overlap test", () => {
+    const result = pairRowSums(mod([rowSum()]));
+    const top = result.functions[0].body[0];
+    expect(top.kind).toBe("block");
+    const [go, from, branch, rest] = top.body;
+    // The test: int32 bounds, start <= end, and the stored array disjoint
+    // from the array the term reads.
+    expect(JSON.stringify(go.init)).toContain('"fn":"bytes.disjoint"');
+    expect(branch.else_).toBeNull();
+    const pairs = branch.then[0];
+    expect(pairs.body.filter((s) => s.kind === "bytesSet")).toHaveLength(2);
+    const inner = pairs.body[2];
+    // One read of u[j] for both rows, then the two sums.
+    expect(inner.body).toHaveLength(3);
+    expect(inner.body[0]).toMatchObject({ kind: "varDecl", init: { kind: "bytesIntrinsic" } });
+    // The second row's term reads `row + 1`.
+    const row = pairs.init?.kind === "varDecl" ? pairs.init.localId : "";
+    expect(inner.body[2].value).toMatchObject({
+        op: "+",
+        right: {
+            op: "/",
+            left: { kind: "varRef" },
+            right: {
+                op: "+",
+                left: {
+                    op: "+",
+                    left: { op: "+", left: { kind: "varRef", localId: row }, right: { value: 1 } },
+                },
+            },
+        },
+    });
+    // The loop as written runs from `end - ((end - start) & 1)` after the
+    // pairs, or from the start when the test failed: the nest's one other copy.
+    expect(from.init).toMatchObject({
+        kind: "ternary",
+        then: { op: "-" },
+        else_: { localId: "start" },
+    });
+    expect(rest.init).toMatchObject({
+        kind: "varDecl",
+        localId: "i",
+        init: { localId: from.localId },
+    });
+    expect(top.body).toHaveLength(4);
+    expect(result.functions[0].locals.map((l) => l.id).filter((id) => id.startsWith("%pair."))).toHaveLength(7);
+});
+test("nests whose term calls, writes or reads the sum keep their loops", () => {
+    const calls = { loc, kind: "call", callee: "f", args: [ref("j")], type: F64 };
+    const readsSum = bin("+", ref("t"), get("u", ref("j")));
+    for (const term of [calls, readsSum]) {
+        const m = mod([rowSum(term)]);
+        expect(pairRowSums(m)).toBe(m);
+    }
+    const stored = rowSum();
+    stored.body[2] = { loc, kind: "bytesSet", arr: bytes("v"), index: ref("j"), value: ref("t") };
+    const m = mod([stored]);
+    expect(pairRowSums(m)).toBe(m);
+});
+//# sourceMappingURL=row-pairs.test.js.map

package/dist/ir/row-pairs.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"row-pairs.test.js","sourceRoot":"","sources":["../../src/ir/row-pairs.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,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAE7C,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACvD,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;AACvF,MAAM,KAAK,GAAG,CAAC,OAAe,EAA+B,EAAE,CAAC,CAAC;IAC/D,GAAG;IACH,IAAI,EAAE,QAAQ;IACd,OAAO;IACP,IAAI,EAAE,KAAK;CACZ,CAAC,CAAC;AACH,MAAM,GAAG,GAAG,CAAC,EAAmB,EAAE,IAAY,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC;IACzE,GAAG;IACH,IAAI,EAAE,KAAK;IACX,EAAE;IACF,IAAI;IACJ,KAAK;IACL,IAAI,EAAE,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG;CAC9B,CAAC,CAAC;AACH,MAAM,IAAI,GAAG,CAAC,EAAU,EAAU,EAAE,CAAC,CAAC;IACpC,GAAG;IACH,IAAI,EAAE,QAAQ;IACd,OAAO,EAAE,EAAE;IACX,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;CACjC,CAAC,CAAC;AACH,MAAM,OAAO,GAAG,CACd,EAAU,EACV,KAAa,EACb,GAAW,EACX,IAAc,EACY,EAAE,CAAC,CAAC;IAC9B,GAAG;IACH,IAAI,EAAE,KAAK;IACX,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE;IACxD,IAAI,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC;IAC5B,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;IAChB,IAAI;CACL,CAAC,CAAC;AACH,MAAM,GAAG,GAAG,CAAC,KAAa,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC;IACrD,GAAG;IACH,IAAI,EAAE,gBAAgB;IACtB,MAAM,EAAE,KAAK;IACb,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC;IACtB,IAAI,EAAE,CAAC,KAAK,CAAC;IACb,IAAI,EAAE,GAAG;IACT,UAAU,EAAE,IAAI;CACjB,CAAC,CAAC;AAEH,yGAAyG;AACzG,SAAS,MAAM,CACb,IAAI,GAAW,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAE3F,OAAO,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE;QAC5C,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE;QACpD,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE;YAC7B,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,EAAE;SACvE,CAAC;QACF,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE;KAC7E,CAAC,CAAC;AACL,CAAC;AAED,MAAM,KAAK,GAAG,CAAC,EAAU,EAAE,IAAI,GAAmB,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;AAClG,SAAS,GAAG,CAAC,IAAc;IACzB,MAAM,EAAE,GAAe;QACrB,GAAG;QACH,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,EAAE;QACV,MAAM,EAAE;YACN,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC9D,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC;YACjB,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC;SAClB;QACD,UAAU,EAAE,IAAI;QAChB,IAAI;KACL,CAAC;IACF,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AACvF,CAAC;AAED,IAAI,CAAC,0EAA0E,EAAE,GAAG,EAAE;IACpF,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5C,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAA+B,CAAC;IACvE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC/B,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,GAAG,CAAC,IAKpC,CAAC;IACF,sEAAsE;IACtE,iCAAiC;IACjC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,uBAAuB,CAAC,CAAC;IACnE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;IAChC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAA6B,CAAC;IACzD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACxE,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAA6B,CAAC;IACxD,qDAAqD;IACrD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACnC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,CAAC,CAAC;IAC3F,yCAAyC;IACzC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;IACrE,MAAM,CAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAiC,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC;QACzE,EAAE,EAAE,GAAG;QACP,KAAK,EAAE;YACL,EAAE,EAAE,GAAG;YACP,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACxB,KAAK,EAAE;gBACL,EAAE,EAAE,GAAG;gBACP,IAAI,EAAE;oBACJ,EAAE,EAAE,GAAG;oBACP,IAAI,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;iBAC/E;aACF;SACF;KACF,CAAC,CAAC;IACH,sEAAsE;IACtE,4EAA4E;IAC5E,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC;QAC9B,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE;QACjB,KAAK,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;KAC5B,CAAC,CAAC;IACH,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC;QAC9B,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,GAAG;QACZ,IAAI,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE;KAChC,CAAC,CAAC;IACH,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACjC,MAAM,CACJ,MAAM,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CACrF,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;AACpB,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kEAAkE,EAAE,GAAG,EAAE;IAC5E,MAAM,KAAK,GAAW,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACtF,MAAM,QAAQ,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACxD,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,EAAE,CAAC;IACxB,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;IAC9F,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACxB,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACjC,CAAC,CAAC,CAAC"}

package/dist/ir/runtime-features.d.ts

@@ -96,7 +96,7 @@ declare const RUNTIME_FEATURE_RULES: {
      * a boxed function or record that carries one): scr_dgram_dyn.c over
      * the dgram unit. */
     dgramDyn: RuntimeFeatureRule;
-    /** A TextEncoder or TextDecoder record converts to or from an untyped
+    /** A TextEncoder, TextDecoder or StringDecoder record converts to or from an untyped
      * value (its handle box, or a boxed function, record or collection that
      * carries one): scr_text_codec_dyn.c. */
     textCodecDyn: RuntimeFeatureRule;
@@ -185,11 +185,15 @@ declare const RUNTIME_FEATURE_RULES: {
     /** scr_url_legacy.c parses and stringifies queries. */
     qs: RuntimeFeatureRule;
     /** scr_url_legacy.c lowercases and normalizes hostnames with the regex
-     * unit's libunicode, NODE_DEBUG matching in scr_util_callable.c and
-     * readline's terminal unit use the regex unit, and locale case mapping
-     * runs its default conversion. */
+     * unit's libunicode, the WHATWG URL host parser runs UTS #46 through
+     * scr_idna.c (which links with the regex unit), NODE_DEBUG matching in
+     * scr_util_callable.c and readline's terminal unit use the regex unit,
+     * and locale case mapping runs its default conversion. */
     regex: RuntimeFeatureRule;
     searchParams: RuntimeFeatureRule;
+    /** URL programs install the IDNA unit's ToASCII for the WHATWG host
+     * parser (scr_url_idna_install). */
+    urlIdna: RuntimeFeatureRule;
     /** stdin setEncoding / string data listeners / stdio 'resize' events. A
      * typed string 'data' listener takes setEncoding-decoded chunks; the
      * process stream object's setEncoding and 'resize' members are reached
@@ -207,12 +211,21 @@ declare const RUNTIME_FEATURE_RULES: {
     utilPromisify: RuntimeFeatureRule;
     /** process.emitWarning is assigned (process.setEmitWarning). */
     warningReplace: RuntimeFeatureRule;
+    /** Module namespace objects as checked-dynamic values
+     * (scr_module_namespace.c). */
+    moduleNamespace: RuntimeFeatureRule;
     /** The WebAssembly API (scr_wasm.c). */
     wasm: RuntimeFeatureRule;
     /** crypto.subtle importKey/sign/verify/digest and CryptoKey:
      * scr_webcrypto.c. */
     webcrypto: RuntimeFeatureRule;
+    /** scr_x509.c: the X509Certificate fields beyond the validity window and
+     * fingerprint, which stay in scr_lib.c. */
+    x509: RuntimeFeatureRule;
     zlib: RuntimeFeatureRule;
+    /** node:zlib's Brotli forms: zlib.brotliInstall, which %main calls when
+     * the program uses Brotli (scr_brotli.c). */
+    brotli: RuntimeFeatureRule;
 };
 type RuntimeFeatureName = keyof typeof RUNTIME_FEATURE_RULES;
 export type RuntimeFeatures = Record<RuntimeFeatureName, boolean>;