@scriptc/compiler 0.4.3 → 0.4.5

package/dist/ir/receiver-readers.js

@@ -1,5 +1,5 @@
 import { isBorrowSafeMath } from "./analysis.js";
-import { everyStmtList } from "./traverse.js";
+import { eachNodeOfKinds } from "./node-index.js";
 /** Expression kinds that run no user code of their own and never consult
  * the ambient receiver stack. Calls are admitted here and resolved through
  * the module call graph below; callValue brackets its own receiver. */
@@ -81,6 +81,21 @@ const RECEIVER_FREE_STMTS = new Set([
     // (scr_throw_error_msg_code).
     "runtimeFence",
 ]);
+/** The kinds whose nodes the readers walk answers true for without looking
+ * at them: every receiver-free statement, and the receiver-free expressions
+ * other than calls, library calls, string conversions and data intrinsics. */
+const TRIVIALLY_RECEIVER_FREE = new Set([
+    ...RECEIVER_FREE_STMTS,
+    ...[...RECEIVER_FREE_EXPRS].filter((kind) => kind !== "call" &&
+        kind !== "new" &&
+        kind !== "virtualCall" &&
+        kind !== "libCall" &&
+        kind !== "toString" &&
+        kind !== "arrIntrinsic" &&
+        kind !== "strIntrinsic" &&
+        kind !== "mapIntrinsic" &&
+        kind !== "setIntrinsic"),
+]);
 /** Runtime library calls beyond scalar Math that only compute or build and
  * park a native error: the f64[] folds behind Math.max/min(...xs),
  * `new Error(message)` (scr_error_new), and the checked-read TypeError
@@ -125,9 +140,13 @@ function opaqueOperand(e) {
  * this set needs no receiver bracket. */
 export class AmbientReceiverReaders {
     functions;
+    nodes;
     readers = null;
-    constructor(functions) {
+    constructor(functions, 
+    /** The module's node index, read instead of walking the bodies it holds. */
+    nodes) {
         this.functions = functions;
+        this.nodes = nodes;
     }
     ignores(fn) {
         if (fn.async || fn.generator)
@@ -149,6 +168,7 @@ export class AmbientReceiverReaders {
         }
         const readers = new Set();
         const callers = new Map();
+        const scan = this.nodes?.scanExcept(TRIVIALLY_RECEIVER_FREE);
         for (const fn of this.functions.values()) {
             const callees = new Set();
             let reads = fn.async === true || fn.generator !== undefined;
@@ -158,33 +178,38 @@ export class AmbientReceiverReaders {
                 callees.add(name);
                 return true;
             };
+            const expr = (expr) => {
+                if (!RECEIVER_FREE_EXPRS.has(expr.kind))
+                    return false;
+                switch (expr.kind) {
+                    case "call":
+                        return edge(expr.callee);
+                    case "new":
+                        return edge(`%${expr.className}.constructor`);
+                    case "virtualCall": {
+                        // Any class's override may run: admit only when every
+                        // same-named method is itself receiver-free.
+                        const targets = byMethod.get(expr.method) ?? [];
+                        return targets.length > 0 && targets.every(edge);
+                    }
+                    case "libCall":
+                        return isBorrowSafeMath(expr.fn) || RECEIVER_FREE_LIB_FNS.has(expr.fn);
+                    case "toString":
+                        return !opaqueOperand(expr.operand);
+                    default: {
+                        const operands = dataIntrinsicOperands(expr);
+                        return operands === null || !operands.some(opaqueOperand);
+                    }
+                }
+            };
             if (!reads)
-                reads = !everyStmtList(fn.body, {
-                    stmt: (stmt) => RECEIVER_FREE_STMTS.has(stmt.kind),
-                    expr: (expr) => {
-                        if (!RECEIVER_FREE_EXPRS.has(expr.kind))
-                            return false;
-                        switch (expr.kind) {
-                            case "call":
-                                return edge(expr.callee);
-                            case "new":
-                                return edge(`%${expr.className}.constructor`);
-                            case "virtualCall": {
-                                // Any class's override may run: admit only when every
-                                // same-named method is itself receiver-free.
-                                const targets = byMethod.get(expr.method) ?? [];
-                                return targets.length > 0 && targets.every(edge);
-                            }
-                            case "libCall":
-                                return isBorrowSafeMath(expr.fn) || RECEIVER_FREE_LIB_FNS.has(expr.fn);
-                            case "toString":
-                                return !opaqueOperand(expr.operand);
-                            default: {
-                                const operands = dataIntrinsicOperands(expr);
-                                return operands === null || !operands.some(opaqueOperand);
-                            }
-                        }
-                    },
+                eachNodeOfKinds(fn, scan, (node, statement) => {
+                    const free = statement
+                        ? RECEIVER_FREE_STMTS.has(node.kind)
+                        : expr(node);
+                    if (!free)
+                        reads = true;
+                    return free;
                 });
             if (reads)
                 readers.add(fn.name);

package/dist/ir/receiver-readers.js.map

@@ -1 +1 @@
-{"version":3,"file":"receiver-readers.js","sourceRoot":"","sources":["../../src/ir/receiver-readers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAEjD,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE9C;;uEAEuE;AACvE,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAiB;IAClD,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,KAAK;IACL,OAAO;IACP,SAAS;IACT,SAAS;IACT,SAAS;IACT,QAAQ;IACR,aAAa;IACb,YAAY;IACZ,QAAQ;IACR,UAAU;IACV,WAAW;IACX,OAAO;IACP,QAAQ;IACR,SAAS;IACT,WAAW;IACX,WAAW;IACX,aAAa;IACb,aAAa;IACb,YAAY;IACZ,SAAS;IACT,WAAW;IACX,QAAQ;IACR,UAAU;IACV,YAAY;IACZ,UAAU;IACV,WAAW;IACX,WAAW;IACX,aAAa;IACb,UAAU;IACV,UAAU;IACV,YAAY;IACZ,UAAU;IACV,aAAa;IACb,SAAS;IACT,SAAS;IACT,WAAW;IACX,MAAM;IACN,KAAK;IACL,aAAa;IACb,SAAS;IACT,cAAc;IACd,cAAc;IACd,cAAc;IACd,cAAc;IACd,QAAQ;IACR,QAAQ;CACT,CAAC,CAAC;AAEH,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAiB;IAClD,SAAS;IACT,QAAQ;IACR,UAAU;IACV,QAAQ;IACR,IAAI;IACJ,OAAO;IACP,SAAS;IACT,KAAK;IACL,QAAQ;IACR,OAAO;IACP,OAAO;IACP,UAAU;IACV,UAAU;IACV,WAAW;IACX,UAAU;IACV,mBAAmB;IACnB,gBAAgB;IAChB,OAAO;IACP,SAAS;IACT,UAAU;IACV,4DAA4D;IAC5D,8BAA8B;IAC9B,cAAc;CACf,CAAC,CAAC;AAEH;;;6BAG6B;AAC7B,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAU;IAC7C,aAAa;IACb,aAAa;IACb,WAAW;IACX,iBAAiB;CAClB,CAAC,CAAC;AAEH;;+CAE+C;AAC/C;;gDAEgD;AAChD,SAAS,qBAAqB,CAAC,CAAS;IACtC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,cAAc,CAAC;QACpB,KAAK,cAAc,CAAC;QACpB,KAAK,cAAc,CAAC;QACpB,KAAK,cAAc;YACjB,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;QACjC,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,EAAE,CAAC;QACZ;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,CAAS;IAC9B,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;IACzB,OAAO,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,QAAQ,CAAC;AAChE,CAAC;AAED;;;;;;;yCAOyC;AACzC,MAAM,OAAO,sBAAsB;IAGJ,SAAS;IAF9B,OAAO,GAAuB,IAAI,CAAC;IAE3C,YAA6B,SAA0C;yBAA1C,SAAS;IAAoC,CAAC;IAE3E,OAAO,CAAC,EAAc;QACpB,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;YAAE,OAAO,KAAK,CAAC;QAC3C,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC;IAEO,OAAO;QACb,IAAI,IAAI,CAAC,OAAO;YAAE,OAAO,IAAI,CAAC,OAAO,CAAC;QACtC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;QAC7C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;YACzC,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;YAClC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC;gBAAE,SAAS;YAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;YACnC,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YACxC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChB,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC7B,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;QAC5C,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;YACzC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;YAClC,IAAI,KAAK,GAAG,EAAE,CAAC,KAAK,KAAK,IAAI,IAAI,EAAE,CAAC,SAAS,KAAK,SAAS,CAAC;YAC5D,MAAM,IAAI,GAAG,CAAC,IAAY,EAAW,EAAE;gBACrC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,OAAO,KAAK,CAAC;gBAC5C,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAClB,OAAO,IAAI,CAAC;YACd,CAAC,CAAC;YACF,IAAI,CAAC,KAAK;gBACR,KAAK,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;oBAC9B,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;oBAClD,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;wBACb,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;4BAAE,OAAO,KAAK,CAAC;wBACtD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;4BAClB,KAAK,MAAM;gCACT,OAAO,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;4BAC3B,KAAK,KAAK;gCACR,OAAO,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,cAAc,CAAC,CAAC;4BAChD,KAAK,aAAa,EAAE,CAAC;gCACnB,sDAAsD;gCACtD,6CAA6C;gCAC7C,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;gCAChD,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;4BACnD,CAAC;4BACD,KAAK,SAAS;gCACZ,OAAO,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;4BACzE,KAAK,UAAU;gCACb,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;4BACtC,SAAS,CAAC;gCACR,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;gCAC7C,OAAO,QAAQ,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;4BAC5D,CAAC;wBACH,CAAC;oBACH,CAAC;iBACF,CAAC,CAAC;YACL,IAAI,KAAK;gBAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YAChC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC7B,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;gBACvC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;gBACnB,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;QACD,MAAM,IAAI,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC;QAC1B,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAG,CAAC,IAAI,EAAE,EAAE,CAAC;gBACpD,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;oBAAE,SAAS;gBAClC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACpB,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACpB,CAAC;QACH,CAAC;QACD,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,OAAO,OAAO,CAAC;IACjB,CAAC;CACF;AAED;;;gBAGgB;AAChB,MAAM,UAAU,uBAAuB,CACrC,EAAc,EACd,SAAS,GAAoC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;IAErE,OAAO,IAAI,sBAAsB,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAC3D,CAAC"}
+{"version":3,"file":"receiver-readers.js","sourceRoot":"","sources":["../../src/ir/receiver-readers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAEjD,OAAO,EAAE,eAAe,EAAoB,MAAM,iBAAiB,CAAC;AAEpE;;uEAEuE;AACvE,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAiB;IAClD,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,KAAK;IACL,OAAO;IACP,SAAS;IACT,SAAS;IACT,SAAS;IACT,QAAQ;IACR,aAAa;IACb,YAAY;IACZ,QAAQ;IACR,UAAU;IACV,WAAW;IACX,OAAO;IACP,QAAQ;IACR,SAAS;IACT,WAAW;IACX,WAAW;IACX,aAAa;IACb,aAAa;IACb,YAAY;IACZ,SAAS;IACT,WAAW;IACX,QAAQ;IACR,UAAU;IACV,YAAY;IACZ,UAAU;IACV,WAAW;IACX,WAAW;IACX,aAAa;IACb,UAAU;IACV,UAAU;IACV,YAAY;IACZ,UAAU;IACV,aAAa;IACb,SAAS;IACT,SAAS;IACT,WAAW;IACX,MAAM;IACN,KAAK;IACL,aAAa;IACb,SAAS;IACT,cAAc;IACd,cAAc;IACd,cAAc;IACd,cAAc;IACd,QAAQ;IACR,QAAQ;CACT,CAAC,CAAC;AAEH,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAiB;IAClD,SAAS;IACT,QAAQ;IACR,UAAU;IACV,QAAQ;IACR,IAAI;IACJ,OAAO;IACP,SAAS;IACT,KAAK;IACL,QAAQ;IACR,OAAO;IACP,OAAO;IACP,UAAU;IACV,UAAU;IACV,WAAW;IACX,UAAU;IACV,mBAAmB;IACnB,gBAAgB;IAChB,OAAO;IACP,SAAS;IACT,UAAU;IACV,4DAA4D;IAC5D,8BAA8B;IAC9B,cAAc;CACf,CAAC,CAAC;AAEH;;8EAE8E;AAC9E,MAAM,uBAAuB,GAAG,IAAI,GAAG,CAAS;IAC9C,GAAG,mBAAmB;IACtB,GAAG,CAAC,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAChC,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,KAAK,MAAM;QACf,IAAI,KAAK,KAAK;QACd,IAAI,KAAK,aAAa;QACtB,IAAI,KAAK,SAAS;QAClB,IAAI,KAAK,UAAU;QACnB,IAAI,KAAK,cAAc;QACvB,IAAI,KAAK,cAAc;QACvB,IAAI,KAAK,cAAc;QACvB,IAAI,KAAK,cAAc,CAC1B;CACF,CAAC,CAAC;AAEH;;;6BAG6B;AAC7B,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAU;IAC7C,aAAa;IACb,aAAa;IACb,WAAW;IACX,iBAAiB;CAClB,CAAC,CAAC;AAEH;;+CAE+C;AAC/C;;gDAEgD;AAChD,SAAS,qBAAqB,CAAC,CAAS;IACtC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,cAAc,CAAC;QACpB,KAAK,cAAc,CAAC;QACpB,KAAK,cAAc,CAAC;QACpB,KAAK,cAAc;YACjB,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;QACjC,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,EAAE,CAAC;QACZ;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,CAAS;IAC9B,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;IACzB,OAAO,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,QAAQ,CAAC;AAChE,CAAC;AAED;;;;;;;yCAOyC;AACzC,MAAM,OAAO,sBAAsB;IAId,SAAS;IAET,KAAK;IALhB,OAAO,GAAuB,IAAI,CAAC;IAE3C,YACmB,SAA0C;IAC3D,4EAA4E;IAC3D,KAAmB;yBAFnB,SAAS;qBAET,KAAK;IACrB,CAAC;IAEJ,OAAO,CAAC,EAAc;QACpB,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;YAAE,OAAO,KAAK,CAAC;QAC3C,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC;IAEO,OAAO;QACb,IAAI,IAAI,CAAC,OAAO;YAAE,OAAO,IAAI,CAAC,OAAO,CAAC;QACtC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;QAC7C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;YACzC,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;YAClC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC;gBAAE,SAAS;YAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;YACnC,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YACxC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChB,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC7B,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;QAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC,uBAAuB,CAAC,CAAC;QAC7D,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;YACzC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;YAClC,IAAI,KAAK,GAAG,EAAE,CAAC,KAAK,KAAK,IAAI,IAAI,EAAE,CAAC,SAAS,KAAK,SAAS,CAAC;YAC5D,MAAM,IAAI,GAAG,CAAC,IAAY,EAAW,EAAE;gBACrC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,OAAO,KAAK,CAAC;gBAC5C,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAClB,OAAO,IAAI,CAAC;YACd,CAAC,CAAC;YACF,MAAM,IAAI,GAAG,CAAC,IAAY,EAAW,EAAE;gBACrC,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,OAAO,KAAK,CAAC;gBACtD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;oBAClB,KAAK,MAAM;wBACT,OAAO,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;oBAC3B,KAAK,KAAK;wBACR,OAAO,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,cAAc,CAAC,CAAC;oBAChD,KAAK,aAAa,EAAE,CAAC;wBACnB,sDAAsD;wBACtD,6CAA6C;wBAC7C,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;wBAChD,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBACnD,CAAC;oBACD,KAAK,SAAS;wBACZ,OAAO,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;oBACzE,KAAK,UAAU;wBACb,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBACtC,SAAS,CAAC;wBACR,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;wBAC7C,OAAO,QAAQ,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;oBAC5D,CAAC;gBACH,CAAC;YACH,CAAC,CAAC;YACF,IAAI,CAAC,KAAK;gBACR,eAAe,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE;oBAC5C,MAAM,IAAI,GAAG,SAAS;wBACpB,CAAC,CAAC,mBAAmB,CAAC,GAAG,CAAE,IAAe,CAAC,IAAI,CAAC;wBAChD,CAAC,CAAC,IAAI,CAAC,IAAc,CAAC,CAAC;oBACzB,IAAI,CAAC,IAAI;wBAAE,KAAK,GAAG,IAAI,CAAC;oBACxB,OAAO,IAAI,CAAC;gBACd,CAAC,CAAC,CAAC;YACL,IAAI,KAAK;gBAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YAChC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC7B,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;gBACvC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;gBACnB,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;QACD,MAAM,IAAI,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC;QAC1B,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAG,CAAC,IAAI,EAAE,EAAE,CAAC;gBACpD,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;oBAAE,SAAS;gBAClC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACpB,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACpB,CAAC;QACH,CAAC;QACD,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,OAAO,OAAO,CAAC;IACjB,CAAC;CACF;AAED;;;gBAGgB;AAChB,MAAM,UAAU,uBAAuB,CACrC,EAAc,EACd,SAAS,GAAoC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;IAErE,OAAO,IAAI,sBAAsB,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAC3D,CAAC"}

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

@@ -0,0 +1,15 @@
+import { type IrModule } from "./ir.js";
+/** 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 declare function pairRowSums(mod: IrModule): IrModule;

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 {};