@scriptc/compiler 0.3.0 → 0.3.2

package/dist/frontend/lowering/lifetime-regions.js

@@ -0,0 +1,216 @@
+/* LifetimeRegion (@scriptc/experimental): an allocation context for
+ * ProgramLifetime instances (backend/llvm/regions.ts, scr_region.c).
+ *
+ * A LifetimeRegion value is an instance of the synthetic class
+ * `%LifetimeRegion` whose one private field holds the runtime region id, so
+ * it has the identity, typeof and inspection of the Node.js class (whose
+ * instances have no own properties). The surface lowers at its use sites:
+ * - `new LifetimeRegion()` constructs the class; its constructor creates
+ *   the region (region.create);
+ * - `region.run(fn)` calls an interned helper per callback type that
+ *   enters the region, calls `fn`, and leaves it in a `finally`, so the
+ *   region is left however `fn` completes;
+ * - `region.release()` condemns the region (region.release).
+ * Any other use of the class or its methods as values is refused. The
+ * module is marked lifetimeRegions, which moves every ProgramLifetime
+ * class into counted regions. */
+import { F64, VOID, funcOf, typeKey } from "../../ir/ir.js";
+import { experimentalImportOf, lifetimeRegionMemberOf } from "../experimental-import.js";
+import * as ts from "../ts7/adapter.js";
+import { locOf } from "../program.js";
+export const LIFETIME_REGION_CLASS = "%LifetimeRegion";
+const REGION_FIELD = "#region";
+const BUILTIN_LOC = { file: "<builtin>", start: 0, end: 0 };
+/** The LifetimeRegion instance type, registering the class (and its
+ * constructor) on first use. */
+export function lifetimeRegionType(lowerer) {
+    const type = { kind: "object", className: LIFETIME_REGION_CLASS };
+    if (lowerer.classes.has(LIFETIME_REGION_CLASS))
+        return type;
+    const info = {
+        def: {
+            name: LIFETIME_REGION_CLASS,
+            fields: [{ name: REGION_FIELD, type: F64 }],
+            loc: BUILTIN_LOC,
+        },
+        fields: new Map(),
+        fieldOrder: [],
+        methods: new Map(),
+        decl: null,
+        lifetimeRegion: true,
+        ctor: null,
+        ctorParams: [],
+        base: null,
+        subclasses: [],
+        throwingSetters: [],
+        staticFields: [],
+    };
+    lowerer.classes.set(LIFETIME_REGION_CLASS, info);
+    lowerer.usesLifetimeRegions = true;
+    const self = { kind: "varRef", localId: "this.0", type, loc: BUILTIN_LOC };
+    lowerer.liftedFns.push({
+        name: `%${LIFETIME_REGION_CLASS}.constructor`,
+        params: [{ localId: "this.0", name: "this", type }],
+        returnType: VOID,
+        locals: [{ id: "this.0", name: "this", type, mutable: false }],
+        body: [
+            {
+                kind: "fieldSet",
+                obj: self,
+                className: LIFETIME_REGION_CLASS,
+                field: REGION_FIELD,
+                value: { kind: "intrinsic", name: "region.create", args: [], type: F64, loc: BUILTIN_LOC },
+                loc: BUILTIN_LOC,
+            },
+        ],
+        loc: BUILTIN_LOC,
+    });
+    return type;
+}
+/** `new LifetimeRegion()`. */
+export function lowerLifetimeRegionNew(lowerer, expr) {
+    if (!ts.isIdentifier(expr.expression))
+        return null;
+    if (experimentalImportOf(lowerer.program, expr.expression) !== "LifetimeRegion")
+        return null;
+    if ((expr.arguments?.length ?? 0) !== 0)
+        lowerer.noLowering(`new LifetimeRegion with ${expr.arguments.length} arguments`, expr);
+    const type = lifetimeRegionType(lowerer);
+    return { kind: "new", className: LIFETIME_REGION_CLASS, args: [], type, loc: locOf(expr) };
+}
+/** `region.run(fn)` and `region.release()`. */
+export function lowerLifetimeRegionCall(lowerer, expr) {
+    const callee = expr.expression;
+    if (!ts.isPropertyAccessExpression(callee))
+        return null;
+    const member = lifetimeRegionMemberOf(lowerer.program, callee, lowerer.experimentalFiles);
+    if (member === null)
+        return null;
+    // `region?.release()`: the optional-chain lowering binds the receiver
+    // and dispatches the call again (optional-chains.ts).
+    if (callee.questionDotToken !== undefined && !lowerer.chainHandled.has(callee))
+        return null;
+    const loc = locOf(expr);
+    const type = lifetimeRegionType(lowerer);
+    if (expr.questionDotToken !== undefined)
+        lowerer.noLowering(`LifetimeRegion.${member}?.() calls`, expr, `call region.${member}() directly`);
+    const region = lowerer.coerceInto(callee.expression, lowerer.lowerExpr(callee.expression), type);
+    if (member === "release") {
+        if (expr.arguments.length !== 0)
+            lowerer.noLowering(`LifetimeRegion.release with ${expr.arguments.length} arguments`, expr);
+        return {
+            kind: "intrinsic",
+            name: "region.release",
+            args: [
+                {
+                    kind: "fieldGet",
+                    obj: region,
+                    className: LIFETIME_REGION_CLASS,
+                    field: REGION_FIELD,
+                    type: F64,
+                    loc,
+                },
+            ],
+            type: VOID,
+            loc,
+        };
+    }
+    const arg = expr.arguments[0];
+    if (expr.arguments.length !== 1 || arg === undefined || ts.isSpreadElement(arg))
+        lowerer.noLowering(`LifetimeRegion.run with ${expr.arguments.length} arguments`, expr);
+    const resultTs = lowerer.typeOf(expr);
+    const mapped = resultTs.flags & ts.TypeFlags.Void ? VOID : lowerer.mapTypeOf(resultTs);
+    if (mapped === null)
+        lowerer.badType(expr, resultTs);
+    const ret = mapped;
+    const fnType = funcOf([], ret);
+    const fn = lowerer.coerceInto(arg, lowerer.lowerExpr(arg), fnType);
+    return {
+        kind: "call",
+        callee: runHelper(lowerer, fnType, loc),
+        args: [region, fn],
+        type: ret,
+        loc,
+    };
+}
+/** The interned `%LifetimeRegion.run.<n>` helper for one callback type:
+ *
+ *     const id = region.#region;
+ *     region.enter(id);
+ *     try { return fn(); } finally { region.leave(); }
+ */
+function runHelper(lowerer, fnType, loc) {
+    const key = typeKey(fnType);
+    const known = lowerer.regionRunHelpers.get(key);
+    if (known !== undefined)
+        return known;
+    const name = `%${LIFETIME_REGION_CLASS}.run.${lowerer.regionRunHelpers.size}`;
+    lowerer.regionRunHelpers.set(key, name);
+    const regionT = lifetimeRegionType(lowerer);
+    const ret = fnType.ret;
+    const ref = (localId, type) => ({ kind: "varRef", localId, type, loc });
+    const call = { kind: "callValue", callee: ref("fn.0", fnType), args: [], type: ret, loc };
+    const guarded = ret.kind === "void"
+        ? [
+            { kind: "exprStmt", expr: call, loc },
+            { kind: "return", value: null, loc },
+        ]
+        : [{ kind: "return", value: call, loc }];
+    const fn = {
+        name,
+        params: [
+            { localId: "region.0", name: "region", type: regionT },
+            { localId: "fn.0", name: "fn", type: fnType },
+        ],
+        returnType: ret,
+        locals: [
+            { id: "region.0", name: "region", type: regionT, mutable: false },
+            { id: "fn.0", name: "fn", type: fnType, mutable: false },
+            { id: "id.0", name: "id", type: F64, mutable: false },
+        ],
+        body: [
+            {
+                kind: "varDecl",
+                localId: "id.0",
+                init: {
+                    kind: "fieldGet",
+                    obj: ref("region.0", regionT),
+                    className: LIFETIME_REGION_CLASS,
+                    field: REGION_FIELD,
+                    type: F64,
+                    loc,
+                },
+                loc,
+            },
+            {
+                kind: "exprStmt",
+                expr: {
+                    kind: "intrinsic",
+                    name: "region.enter",
+                    args: [ref("id.0", F64)],
+                    type: VOID,
+                    loc,
+                },
+                loc,
+            },
+            {
+                kind: "tryCatch",
+                tryBody: guarded,
+                catchBody: null,
+                catchLocalId: null,
+                finallyBody: [
+                    {
+                        kind: "exprStmt",
+                        expr: { kind: "intrinsic", name: "region.leave", args: [], type: VOID, loc },
+                        loc,
+                    },
+                ],
+                loc,
+            },
+        ],
+        loc,
+    };
+    lowerer.liftedFns.push(fn);
+    return name;
+}
+//# sourceMappingURL=lifetime-regions.js.map

package/dist/frontend/lowering/lifetime-regions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lifetime-regions.js","sourceRoot":"","sources":["../../../src/frontend/lowering/lifetime-regions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;iCAeiC;AACjC,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAE5D,OAAO,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACzF,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAGxC,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAEtC,MAAM,CAAC,MAAM,qBAAqB,GAAG,iBAAiB,CAAC;AACvD,MAAM,YAAY,GAAG,SAAS,CAAC;AAE/B,MAAM,WAAW,GAAW,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAEpE;gCACgC;AAChC,MAAM,UAAU,kBAAkB,CAAC,OAAgB;IACjD,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,qBAAqB,EAAE,CAAC;IAC1E,IAAI,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,qBAAqB,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5D,MAAM,IAAI,GAAc;QACtB,GAAG,EAAE;YACH,IAAI,EAAE,qBAAqB;YAC3B,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YAC3C,GAAG,EAAE,WAAW;SACjB;QACD,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,UAAU,EAAE,EAAE;QACd,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,IAAI,EAAE,IAAI;QACV,cAAc,EAAE,IAAI;QACpB,IAAI,EAAE,IAAI;QACV,UAAU,EAAE,EAAE;QACd,IAAI,EAAE,IAAI;QACV,UAAU,EAAE,EAAE;QACd,eAAe,EAAE,EAAE;QACnB,YAAY,EAAE,EAAE;KACjB,CAAC;IACF,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,qBAAqB,EAAE,IAAI,CAAC,CAAC;IACjD,OAAO,CAAC,mBAAmB,GAAG,IAAI,CAAC;IACnC,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;IACnF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;QACrB,IAAI,EAAE,IAAI,qBAAqB,cAAc;QAC7C,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;QACnD,UAAU,EAAE,IAAI;QAChB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QAC9D,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,UAAU;gBAChB,GAAG,EAAE,IAAI;gBACT,SAAS,EAAE,qBAAqB;gBAChC,KAAK,EAAE,YAAY;gBACnB,KAAK,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,WAAW,EAAE;gBAC1F,GAAG,EAAE,WAAW;aACjB;SACF;QACD,GAAG,EAAE,WAAW;KACjB,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8BAA8B;AAC9B,MAAM,UAAU,sBAAsB,CAAC,OAAgB,EAAE,IAAsB;IAC7E,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IACnD,IAAI,oBAAoB,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,KAAK,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAC7F,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC;QACrC,OAAO,CAAC,UAAU,CAAC,2BAA2B,IAAI,CAAC,SAAU,CAAC,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;IAC1F,MAAM,IAAI,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;IACzC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,qBAAqB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;AAC7F,CAAC;AAED,+CAA+C;AAC/C,MAAM,UAAU,uBAAuB,CAAC,OAAgB,EAAE,IAAuB;IAC/E,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACxD,MAAM,MAAM,GAAG,sBAAsB,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAC1F,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjC,sEAAsE;IACtE,sDAAsD;IACtD,IAAI,MAAM,CAAC,gBAAgB,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5F,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;IACzC,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS;QACrC,OAAO,CAAC,UAAU,CAChB,kBAAkB,MAAM,YAAY,EACpC,IAAI,EACJ,eAAe,MAAM,aAAa,CACnC,CAAC;IACJ,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,CAAC;IACjG,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;YAC7B,OAAO,CAAC,UAAU,CAAC,+BAA+B,IAAI,CAAC,SAAS,CAAC,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;QAC7F,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,gBAAgB;YACtB,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,UAAU;oBAChB,GAAG,EAAE,MAAM;oBACX,SAAS,EAAE,qBAAqB;oBAChC,KAAK,EAAE,YAAY;oBACnB,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;aACF;YACD,IAAI,EAAE,IAAI;YACV,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,KAAK,SAAS,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC;QAC7E,OAAO,CAAC,UAAU,CAAC,2BAA2B,IAAI,CAAC,SAAS,CAAC,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;IACzF,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACvF,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACrD,MAAM,GAAG,GAAG,MAAO,CAAC;IACpB,MAAM,MAAM,GAAG,MAAM,CAAC,EAAE,EAAE,GAAG,CAA8B,CAAC;IAC5D,MAAM,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC,GAAI,EAAE,OAAO,CAAC,SAAS,CAAC,GAAI,CAAC,EAAE,MAAM,CAAC,CAAC;IACrE,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC;QACvC,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC;QAClB,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,SAAS,CAAC,OAAgB,EAAE,MAAiC,EAAE,GAAW;IACjF,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAC5B,MAAM,KAAK,GAAG,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChD,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACtC,MAAM,IAAI,GAAG,IAAI,qBAAqB,QAAQ,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,CAAC;IAC9E,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACxC,MAAM,OAAO,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;IAC5C,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC;IACvB,MAAM,GAAG,GAAG,CAAC,OAAe,EAAE,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IAChG,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAClG,MAAM,OAAO,GACX,GAAG,CAAC,IAAI,KAAK,MAAM;QACjB,CAAC,CAAC;YACE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YACrC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;SACrC;QACH,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IAC7C,MAAM,EAAE,GAAe;QACrB,IAAI;QACJ,MAAM,EAAE;YACN,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE;YACtD,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE;SAC9C;QACD,UAAU,EAAE,GAAG;QACf,MAAM,EAAE;YACN,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE;YACjE,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE;YACxD,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;SACtD;QACD,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,MAAM;gBACf,IAAI,EAAE;oBACJ,IAAI,EAAE,UAAU;oBAChB,GAAG,EAAE,GAAG,CAAC,UAAU,EAAE,OAAO,CAAC;oBAC7B,SAAS,EAAE,qBAAqB;oBAChC,KAAK,EAAE,YAAY;oBACnB,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACD,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE;oBACJ,IAAI,EAAE,WAAW;oBACjB,IAAI,EAAE,cAAc;oBACpB,IAAI,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;oBACxB,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,UAAU;gBAChB,OAAO,EAAE,OAAO;gBAChB,SAAS,EAAE,IAAI;gBACf,YAAY,EAAE,IAAI;gBAClB,WAAW,EAAE;oBACX;wBACE,IAAI,EAAE,UAAU;wBAChB,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;wBAC5E,GAAG;qBACJ;iBACF;gBACD,GAAG;aACJ;SACF;QACD,GAAG;KACJ,CAAC;IACF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3B,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/frontend/lowering/lower-array-sort.d.ts

@@ -1,3 +1,29 @@
-import { type IrFunction, type IrType, type SrcLoc } from "../../ir/ir.js";
-export declare function buildArraySortFn(name: string, elem: IrType, arity: number, copyFirst: boolean, undefinedTag: number | null, loc: SrcLoc, native?: boolean): IrFunction;
+import { type IrExpr, type IrFunction, type IrType, type SrcLoc } from "../../ir/ir.js";
+type SortKeyRead = IrExpr & {
+    kind: "recordGet" | "fieldGet";
+};
+/** A comparator that orders by one number: the elements themselves or one
+ * field of each, ascending or descending. */
+export interface SortKeyOrder {
+    /** 1 for ascending, -1 for descending. */
+    order: 1 | -1;
+    /** The field read over the comparator's first parameter, or null when
+     * the elements are the numbers. */
+    read: SortKeyRead | null;
+}
+/** Recognizes the lifted body of a capture-free numeric comparator:
+ * `(a, b) => a - b`, `b - a`, `a < b ? -1 : a > b ? 1 : 0` (either test
+ * first, either sign), or any of them over one number field of both
+ * parameters (`a.k - b.k`). Such a comparator runs no user code, cannot
+ * throw, and is consistent over numbers other than NaN, so the runtime may
+ * order the elements by their keys without calling it. */
+export declare function recognizeKeyComparator(fn: IrFunction): SortKeyOrder | null;
+/** The key reader of a recognized field comparator: `(x) => x.k`, the same
+ * field read as the comparator's. */
+export declare function buildSortKeyFn(name: string, elem: IrType, read: SortKeyRead, loc: SrcLoc): IrFunction;
+export declare function buildArraySortFn(name: string, elem: IrType, arity: number, copyFirst: boolean, undefinedTag: number | null, loc: SrcLoc, native?: boolean, keyed?: {
+    order: 1 | -1;
+    key: boolean;
+} | null): IrFunction;
 export declare function buildBytesSortFn(name: string, arity: number, hasComparator: boolean, loc: SrcLoc): IrFunction;
+export {};

package/dist/frontend/lowering/lower-array-sort.js

@@ -253,10 +253,106 @@ function stableSort(b, src, n, greater) {
         ]),
     ];
 }
-export function buildArraySortFn(name, elem, arity, copyFirst, undefinedTag, loc, native = false) {
+/** Recognizes the lifted body of a capture-free numeric comparator:
+ * `(a, b) => a - b`, `b - a`, `a < b ? -1 : a > b ? 1 : 0` (either test
+ * first, either sign), or any of them over one number field of both
+ * parameters (`a.k - b.k`). Such a comparator runs no user code, cannot
+ * throw, and is consistent over numbers other than NaN, so the runtime may
+ * order the elements by their keys without calling it. */
+export function recognizeKeyComparator(fn) {
+    if (fn.params.length !== 2 || fn.async || fn.generator || (fn.captures?.length ?? 0) > 0)
+        return null;
+    const [first, second] = fn.params;
+    const ret = fn.body.length === 1 ? fn.body[0] : null;
+    if (ret?.kind !== "return" || !ret.value)
+        return null;
+    let read;
+    // Which parameter an operand reads; every operand must read the same key.
+    const operand = (e) => {
+        if (e.type.kind !== "f64")
+            return null;
+        let ref = e;
+        let field = null;
+        if (e.kind === "recordGet" || e.kind === "fieldGet") {
+            field = e;
+            ref = e.obj;
+        }
+        if (ref.kind !== "varRef")
+            return null;
+        const param = ref.localId === first.localId ? 0 : ref.localId === second.localId ? 1 : null;
+        if (param === null)
+            return null;
+        if (read === undefined)
+            read = field;
+        else if (!sameKeyRead(read, field))
+            return null;
+        return param;
+    };
+    // `x < y` or `x > y` over both parameters, as the first one's relation.
+    const relation = (e) => {
+        if (e.kind !== "bin" || (e.op !== "<" && e.op !== ">"))
+            return null;
+        const left = operand(e.left), right = operand(e.right);
+        if (left === null || right === null || left === right)
+            return null;
+        return (e.op === "<") === (left === 0) ? "lt" : "gt";
+    };
+    const sign = (e) => e.kind === "numLit" && (e.value === 1 || e.value === -1 || e.value === 0) ? e.value : null;
+    const value = ret.value;
+    if (value.kind === "bin" && value.op === "-") {
+        const left = operand(value.left), right = operand(value.right);
+        if (left === null || right === null || left === right)
+            return null;
+        return { order: left === 0 ? 1 : -1, read: read ?? null };
+    }
+    if (value.kind === "ternary" && value.else_.kind === "ternary") {
+        const outer = relation(value.cond), inner = relation(value.else_.cond);
+        const outerSign = sign(value.then), innerSign = sign(value.else_.then);
+        if (outer === null ||
+            inner === null ||
+            outer === inner ||
+            outerSign === null ||
+            outerSign === 0 ||
+            innerSign !== -outerSign ||
+            sign(value.else_.else_) !== 0)
+            return null;
+        // Ascending answers negative when the first parameter is less.
+        return { order: (outer === "lt") === outerSign < 0 ? 1 : -1, read: read ?? null };
+    }
+    return null;
+}
+function sameKeyRead(left, right) {
+    if (left === null || right === null)
+        return left === right;
+    if (left.kind === "recordGet" && right.kind === "recordGet")
+        return left.shapeId === right.shapeId && left.field === right.field;
+    if (left.kind === "fieldGet" && right.kind === "fieldGet")
+        return left.className === right.className && left.field === right.field;
+    return false;
+}
+/** The key reader of a recognized field comparator: `(x) => x.k`, the same
+ * field read as the comparator's. */
+export function buildSortKeyFn(name, elem, read, loc) {
+    const b = new SortIr(loc);
+    const x = b.local("x", elem);
+    return {
+        name,
+        params: [{ localId: x.localId, name: "x", type: elem }],
+        returnType: F64,
+        locals: b.locals,
+        body: [{ kind: "return", value: { ...read, obj: x, loc }, loc }],
+        loc,
+    };
+}
+export function buildArraySortFn(name, elem, arity, copyFirst, undefinedTag, loc, native = false, keyed = null) {
     const b = new SortIr(loc);
     const arrT = arrayOf(elem), fnT = funcOf([elem, elem].slice(0, arity), F64);
     const a = b.local("a", arrT), f = b.local("f", fnT);
+    const keyT = funcOf([elem], F64);
+    const key = keyed?.key ? b.local("key", keyT) : null;
+    // A recognized comparator lets the runtime order by keys; it still
+    // receives the comparator for inputs whose keys it does not order.
+    const keyArgs = keyed ? [b.num(keyed.order), ...(key ? [key] : [])] : [];
     const src = b.local("src", arrT);
     const n = b.local("n"), valueCount = b.local("valueCount"), undefinedCount = b.local("undefinedCount");
     const index = b.local("index"), state = b.local("state");
@@ -289,9 +385,22 @@ export function buildArraySortFn(name, elem, arity, copyFirst, undefinedTag, loc
             : compare;
     };
     const result = copyFirst ? src : a;
+    // Dense arrays sort in the runtime without the compacting snapshot below:
+    // `sort` orders the receiver's values outside it and writes them back
+    // after success, and `toSorted` orders its private copy in place.
+    const dense = (receiver) => b.branch({
+        kind: "arrIntrinsic",
+        method: "sortDense",
+        receiver,
+        args: [f, { kind: "boolLit", value: copyFirst, type: BOOL, loc }, ...keyArgs],
+        type: BOOL,
+        loc,
+    }, [{ kind: "return", value: receiver, loc }]);
     const body = [
+        ...(native && !copyFirst ? [dense(a)] : []),
         b.bind(n, b.length(a)),
         b.bind(src, { kind: "arrIntrinsic", method: "slice", receiver: a, args: [], type: arrT, loc }),
+        ...(native && copyFirst ? [dense(src)] : []),
         b.bind(valueCount, b.num(0)),
         b.bind(undefinedCount, b.num(0)),
         // Compact the owned snapshot before callbacks. Dense values stay in
@@ -315,7 +424,7 @@ export function buildArraySortFn(name, elem, arity, copyFirst, undefinedTag, loc
                         kind: "arrIntrinsic",
                         method: "sortValues",
                         receiver: src,
-                        args: [valueCount, f],
+                        args: [valueCount, f, ...keyArgs],
                         type: VOID,
                         loc,
                     },
@@ -343,6 +452,7 @@ export function buildArraySortFn(name, elem, arity, copyFirst, undefinedTag, loc
         params: [
             { localId: a.localId, name: "a", type: arrT },
             { localId: f.localId, name: "f", type: fnT },
+            ...(key ? [{ localId: key.localId, name: "key", type: keyT }] : []),
         ],
         returnType: arrT,
         locals: b.locals,

package/dist/frontend/lowering/lower-array-sort.js.map

@@ -1 +1 @@
-{"version":3,"file":"lower-array-sort.js","sourceRoot":"","sources":["../../../src/frontend/lowering/lower-array-sort.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,GAAG,EAMH,IAAI,EAEJ,OAAO,EACP,MAAM,GACP,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAKzD,qEAAqE;AACrE,MAAM,MAAM;IAEW,GAAG;IADf,MAAM,GAAc,EAAE,CAAC;IAChC,YAAqB,GAAW;mBAAX,GAAG;IAAW,CAAC;IAEpC,KAAK,CAAC,IAAY,EAAE,IAAI,GAAW,GAAG;QACpC,MAAM,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC;QACvB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QACpD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IAC9D,CAAC;IACD,GAAG,CAAC,KAAa;QACf,OAAO,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IACjC,CAAC;IACD,IAAI,CAAC,KAAgB,EAAE,IAAY;QACjC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IAC1E,CAAC;IACD,MAAM,CAAC,KAAgB,EAAE,KAAa;QACpC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IAC1E,CAAC;IACD,GAAG,CAAC,IAAY,EAAE,KAAa;QAC7B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IACzE,CAAC;IACD,GAAG,CAAC,IAAY,EAAE,KAAa;QAC7B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IACzE,CAAC;IACD,EAAE,CAAC,IAAY,EAAE,KAAa;QAC5B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IAC1E,CAAC;IACD,EAAE,CAAC,IAAY,EAAE,KAAa;QAC5B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IAC5E,CAAC;IACD,GAAG,CAAC,OAAe;QACjB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IACxE,CAAC;IACD,MAAM,CAAC,IAAY,EAAE,IAAY,EAAE,KAAa;QAC9C,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IAChF,CAAC;IACD,MAAM,CAAC,IAAY,EAAE,IAAc,EAAE,KAAK,GAAoB,IAAI;QAChE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IAC1D,CAAC;IACD,KAAK,CAAC,IAAY,EAAE,IAAc;QAChC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IACtD,CAAC;IACD,IAAI,CAAC,KAAgB,EAAE,MAAM,GAAG,CAAC;QAC/B,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC/D,CAAC;IACD,IAAI,CAAC,KAAgB,EAAE,KAAa,EAAE,GAAW,EAAE,IAAc;QAC/D,OAAO;YACL,IAAI,EAAE,KAAK;YACX,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC;YAC7B,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC;YACzB,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;YACxB,IAAI;YACJ,GAAG,EAAE,IAAI,CAAC,GAAG;SACd,CAAC;IACJ,CAAC;IACD,MAAM,CAAC,QAAgB;QACrB,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;YACnC,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE;YAC5F,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IAC/F,CAAC;IACD,EAAE,CAAC,GAAW,EAAE,KAAa;QAC3B,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;YAC9B,CAAC,CAAC;gBACE,IAAI,EAAE,gBAAgB;gBACtB,MAAM,EAAE,KAAK;gBACb,QAAQ,EAAE,GAAG;gBACb,IAAI,EAAE,CAAC,KAAK,CAAC;gBACb,IAAI,EAAE,GAAG;gBACT,GAAG,EAAE,IAAI,CAAC,GAAG;aACd;YACH,CAAC,CAAC;gBACE,IAAI,EAAE,UAAU;gBAChB,GAAG;gBACH,KAAK;gBACL,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG;gBACrD,GAAG,EAAE,IAAI,CAAC,GAAG;aACd,CAAC;IACR,CAAC;IACD,GAAG,CAAC,GAAW,EAAE,KAAa,EAAE,KAAa;QAC3C,OAAO;YACL,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU;YACzD,GAAG;YACH,KAAK;YACL,KAAK;YACL,GAAG,EAAE,IAAI,CAAC,GAAG;SACd,CAAC;IACJ,CAAC;IACD,QAAQ,CAAC,IAAY,EAAE,MAAc;QACnC,OAAO,IAAI,CAAC,IAAI,KAAK,OAAO;YAC1B,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE;YAC3D,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IAC3D,CAAC;CACF;AAED;;;oCAGoC;AACpC,SAAS,aAAa,CAAC,IAAc;IACnC,OAAO,iBAAiB,CAAC,IAAI,EAAE;QAC7B,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACb,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;gBAClB,KAAK,QAAQ;oBACX,OAAO,EAAE,GAAG,IAAI,EAAE,CAAC;gBACrB,KAAK,QAAQ;oBACX,OAAO,EAAE,GAAG,IAAI,EAAE,CAAC;gBACrB,KAAK,SAAS;oBACZ,OAAO,EAAE,GAAG,IAAI,EAAE,CAAC;gBACrB;oBACE,OAAO,IAAI,CAAC;YAChB,CAAC;QACH,CAAC;QACD,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;KAC7D,CAAC,CAAC;AACL,CAAC;AAED;;;;;;0EAM0E;AAC1E,SAAS,UAAU,CAAC,CAAS,EAAE,GAAc,EAAE,CAAS,EAAE,OAAgB;IACxE,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;IAC7D,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC/B,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC3B,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC7B,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC/B,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACrC,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC3B,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC7B,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACjC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC/B,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACvB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACvB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACvB,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC3B,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC3B,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACrC,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACvC,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC;IACnD,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;IACrD,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EACnB,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EACd,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACjB,MAAM,EAAE,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACvD,MAAM,IAAI,GAAG,CAAC,KAAgB,EAAE,IAAY,EAAU,EAAE,CACtD,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnF,MAAM,KAAK,GAAa;QACtB,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QACrB,CAAC,CAAC,KAAK,CACL;YACE,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,IAAI;YACR,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC;YAClB,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC;YACrB,IAAI,EAAE,IAAI;YACV,GAAG,EAAE,CAAC,CAAC,GAAG;SACX,EACD;YACE,CAAC,CAAC,MAAM,CACN,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,EACtB,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EACvF,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACpF;YACD,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;SACV,CACF;QACD,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC;QACZ,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC;KACf,CAAC;IACF,OAAO;QACL,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC;QAC9E,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC;QACrB,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC;QACnB,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE;YACtB,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAC9B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE;gBACrB,CAAC,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC/C,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;gBACX,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE;oBACpB,CAAC,CAAC,MAAM,CACN,CAAC,CAAC,MAAM,CACN,UAAU,EACV,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EACrC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAC7C,EACD,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EACb,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAChC;iBACF,CAAC;gBACF,CAAC,CAAC,MAAM,CAAC,UAAU,EAAE;oBACnB,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC;oBACnB,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;oBAC9B,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE;wBACzB,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;wBACvB,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;wBACzB,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC;wBACxB,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC;wBACxB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;wBACZ,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;qBAClB,CAAC;iBACH,CAAC;aACH,CAAC;YACF,2DAA2D;YAC3D,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACrF,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE;gBACxB,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;gBACtB,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC;gBAClB,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;gBACjB,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE;oBACvB,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE;wBACb,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,YAAY;wBAChB,IAAI,EAAE;4BACJ,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE;yBACpF;wBACD,IAAI,EAAE,GAAG;wBACT,GAAG,EAAE,CAAC,CAAC,GAAG;qBACX,CAAC;oBACF,8DAA8D;oBAC9D,CAAC,CAAC,MAAM,CACN,OAAO,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,EAC1B,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,EACxB,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CACpC;iBACF,CAAC;gBACF,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC;gBACd,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBACxE,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC;gBACtB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;aACZ,CAAC;YACF,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC;YAC1B,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC;YAChB,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC;SACrB,CAAC;QACF,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE;YAC5B,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACpC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE;gBAC3B,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC;gBACjB,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC;gBACpB,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,QAAQ,CAAC,EAAE;oBACvC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;oBAC9B,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;oBACxC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;oBACxF,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC;oBAChB,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC;oBACd,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC;oBAChB,CAAC,CAAC,MAAM,CACN,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,EAChB;wBACE,CAAC,CAAC,IAAI,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;wBACzC,CAAC,CAAC,IAAI,CAAC,aAAa,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;wBAC9B,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,EAAE,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;qBACxE,EACD,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CACjB;oBACD,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC;oBAC3B,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC;oBACf,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;iBACf,CAAC;gBACF,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC;gBAC3B,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC;gBAChB,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC;gBAClB,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC;aACnB,CAAC;SACH,CAAC;KACH,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,IAAY,EACZ,IAAY,EACZ,KAAa,EACb,SAAkB,EAClB,YAA2B,EAC3B,GAAW,EACX,MAAM,GAAG,KAAK;IAEd,MAAM,CAAC,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC;IAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,EACxB,GAAG,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;IAClD,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,EAC1B,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACxB,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACjC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EACpB,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,EAClC,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,EAC5B,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC3B,MAAM,WAAW,GAAG,CAAC,KAAa,EAAiB,EAAE;QACnD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;YACnD,OAAO;gBACL,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,GAAG,EAAE,YAAY;gBACjB,OAAO,EAAE,KAAK;gBACd,KAAK;gBACL,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ,CAAC;QACJ,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,MAAM,OAAO,GAAY,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACvC,MAAM,OAAO,GAAW;YACtB,IAAI,EAAE,KAAK;YACX,EAAE,EAAE,GAAG;YACP,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YAC3F,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACf,IAAI,EAAE,IAAI;YACV,GAAG;SACJ,CAAC;QACF,MAAM,aAAa,GAAG,WAAW,CAAC,IAAI,CAAC,EACrC,cAAc,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;QACtC,OAAO,aAAa,KAAK,IAAI,IAAI,cAAc,KAAK,IAAI;YACtD,CAAC,CAAC,CAAC,CAAC,MAAM,CACN,aAAa,EACb,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,EACrB,CAAC,CAAC,MAAM,CAAC,cAAc,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,OAAO,CAAC,CACtF;YACH,CAAC,CAAC,OAAO,CAAC;IACd,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACnC,MAAM,IAAI,GAAa;QACrB,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACtB,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAC9F,CAAC,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC5B,CAAC,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChC,oEAAoE;QACpE,sEAAsE;QACtE,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;YACzB,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;YACtE,CAAC,CAAC,MAAM,CACN,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EACrB;gBACE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC7E,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC;aACnB,EACD,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAC5D;SACF,CAAC;QACF,yEAAyE;QACzE,iEAAiE;QACjE,sEAAsE;QACtE,uCAAuC;QACvC,GAAG,CAAC,MAAM;YACR,CAAC,CAAC;gBACE;oBACE,IAAI,EAAE,UAAmB;oBACzB,IAAI,EAAE;wBACJ,IAAI,EAAE,cAAuB;wBAC7B,MAAM,EAAE,YAAqB;wBAC7B,QAAQ,EAAE,GAAG;wBACb,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC,CAAC;wBACrB,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD,GAAG;iBACJ;aACF;YACH,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;QAC5C,GAAG,CAAC,SAAS;YACX,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/E,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,EAAE,cAAc,CAAC,EAAE;YAC3E,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE;SACvD,CAAC;QACF,GAAG,CAAC,SAAS;YACX,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC;gBACE,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,UAAU,EAAE,cAAc,CAAC,EAAE,CAAC,EAAE;oBAClD,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE;iBAC5C,CAAC;aACH,CAAC;QACN,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE;KACvC,CAAC;IACF,OAAO;QACL,IAAI;QACJ,MAAM,EAAE;YACN,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE;YAC7C,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE;SAC7C;QACD,UAAU,EAAE,IAAI;QAChB,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC;QACzB,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;0EAC0E;AAC1E,SAAS,UAAU,CAAC,CAAS,EAAE,CAAY,EAAE,GAAc,EAAE,CAAY;IACvE,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,EAC5B,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,EACxB,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACvB,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EACnB,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACjB,OAAO;QACL,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;QACpC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QACnD,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;QAC7D,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE;YACrB,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;YAC7B,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;SACtD,CAAC;QACF,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC;QACnB,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;YAC9B,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;YAC9C,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;SACrE,CAAC;KACH,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,IAAY,EACZ,KAAa,EACb,aAAsB,EACtB,GAAW;IAEX,MAAM,CAAC,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC;IAC1B,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,QAAQ,CAAC,EAC9B,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,EAC9B,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACnB,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;IACpD,MAAM,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACnD,MAAM,IAAI,GAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChD,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;QACf,IAAI,CAAC,IAAI,CACP,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE;YACV,IAAI,EAAE,gBAAgB;YACtB,MAAM,EAAE,OAAO;YACf,QAAQ,EAAE,CAAC;YACX,IAAI,EAAE,EAAE;YACR,IAAI,EAAE,QAAQ;YACd,GAAG;SACJ,CAAC,CACH,CAAC;QACF,IAAI,CAAC,IAAI,CACP,GAAG,UAAU,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;YACzC,IAAI,EAAE,KAAK;YACX,EAAE,EAAE,GAAG;YACP,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YAC3F,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACf,IAAI,EAAE,IAAI;YACV,GAAG;SACJ,CAAC,CAAC,CACJ,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,IAAI,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IAC/C,OAAO;QACL,IAAI;QACJ,MAAM,EAAE;YACN,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE;YACjD,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;SACtE;QACD,UAAU,EAAE,QAAQ;QACpB,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC;QACzB,GAAG;KACJ,CAAC;AACJ,CAAC"}
+{"version":3,"file":"lower-array-sort.js","sourceRoot":"","sources":["../../../src/frontend/lowering/lower-array-sort.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,GAAG,EAMH,IAAI,EAEJ,OAAO,EACP,MAAM,GACP,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAKzD,qEAAqE;AACrE,MAAM,MAAM;IAEW,GAAG;IADf,MAAM,GAAc,EAAE,CAAC;IAChC,YAAqB,GAAW;mBAAX,GAAG;IAAW,CAAC;IAEpC,KAAK,CAAC,IAAY,EAAE,IAAI,GAAW,GAAG;QACpC,MAAM,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC;QACvB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QACpD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IAC9D,CAAC;IACD,GAAG,CAAC,KAAa;QACf,OAAO,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IACjC,CAAC;IACD,IAAI,CAAC,KAAgB,EAAE,IAAY;QACjC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IAC1E,CAAC;IACD,MAAM,CAAC,KAAgB,EAAE,KAAa;QACpC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IAC1E,CAAC;IACD,GAAG,CAAC,IAAY,EAAE,KAAa;QAC7B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IACzE,CAAC;IACD,GAAG,CAAC,IAAY,EAAE,KAAa;QAC7B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IACzE,CAAC;IACD,EAAE,CAAC,IAAY,EAAE,KAAa;QAC5B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IAC1E,CAAC;IACD,EAAE,CAAC,IAAY,EAAE,KAAa;QAC5B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IAC5E,CAAC;IACD,GAAG,CAAC,OAAe;QACjB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IACxE,CAAC;IACD,MAAM,CAAC,IAAY,EAAE,IAAY,EAAE,KAAa;QAC9C,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IAChF,CAAC;IACD,MAAM,CAAC,IAAY,EAAE,IAAc,EAAE,KAAK,GAAoB,IAAI;QAChE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IAC1D,CAAC;IACD,KAAK,CAAC,IAAY,EAAE,IAAc;QAChC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IACtD,CAAC;IACD,IAAI,CAAC,KAAgB,EAAE,MAAM,GAAG,CAAC;QAC/B,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC/D,CAAC;IACD,IAAI,CAAC,KAAgB,EAAE,KAAa,EAAE,GAAW,EAAE,IAAc;QAC/D,OAAO;YACL,IAAI,EAAE,KAAK;YACX,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC;YAC7B,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC;YACzB,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;YACxB,IAAI;YACJ,GAAG,EAAE,IAAI,CAAC,GAAG;SACd,CAAC;IACJ,CAAC;IACD,MAAM,CAAC,QAAgB;QACrB,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;YACnC,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE;YAC5F,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IAC/F,CAAC;IACD,EAAE,CAAC,GAAW,EAAE,KAAa;QAC3B,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;YAC9B,CAAC,CAAC;gBACE,IAAI,EAAE,gBAAgB;gBACtB,MAAM,EAAE,KAAK;gBACb,QAAQ,EAAE,GAAG;gBACb,IAAI,EAAE,CAAC,KAAK,CAAC;gBACb,IAAI,EAAE,GAAG;gBACT,GAAG,EAAE,IAAI,CAAC,GAAG;aACd;YACH,CAAC,CAAC;gBACE,IAAI,EAAE,UAAU;gBAChB,GAAG;gBACH,KAAK;gBACL,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG;gBACrD,GAAG,EAAE,IAAI,CAAC,GAAG;aACd,CAAC;IACR,CAAC;IACD,GAAG,CAAC,GAAW,EAAE,KAAa,EAAE,KAAa;QAC3C,OAAO;YACL,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU;YACzD,GAAG;YACH,KAAK;YACL,KAAK;YACL,GAAG,EAAE,IAAI,CAAC,GAAG;SACd,CAAC;IACJ,CAAC;IACD,QAAQ,CAAC,IAAY,EAAE,MAAc;QACnC,OAAO,IAAI,CAAC,IAAI,KAAK,OAAO;YAC1B,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE;YAC3D,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IAC3D,CAAC;CACF;AAED;;;oCAGoC;AACpC,SAAS,aAAa,CAAC,IAAc;IACnC,OAAO,iBAAiB,CAAC,IAAI,EAAE;QAC7B,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACb,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;gBAClB,KAAK,QAAQ;oBACX,OAAO,EAAE,GAAG,IAAI,EAAE,CAAC;gBACrB,KAAK,QAAQ;oBACX,OAAO,EAAE,GAAG,IAAI,EAAE,CAAC;gBACrB,KAAK,SAAS;oBACZ,OAAO,EAAE,GAAG,IAAI,EAAE,CAAC;gBACrB;oBACE,OAAO,IAAI,CAAC;YAChB,CAAC;QACH,CAAC;QACD,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;KAC7D,CAAC,CAAC;AACL,CAAC;AAED;;;;;;0EAM0E;AAC1E,SAAS,UAAU,CAAC,CAAS,EAAE,GAAc,EAAE,CAAS,EAAE,OAAgB;IACxE,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;IAC7D,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC/B,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC3B,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC7B,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC/B,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACrC,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC3B,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC7B,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACjC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC/B,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACvB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACvB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACvB,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC3B,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC3B,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACrC,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACvC,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC;IACnD,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;IACrD,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EACnB,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EACd,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACjB,MAAM,EAAE,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACvD,MAAM,IAAI,GAAG,CAAC,KAAgB,EAAE,IAAY,EAAU,EAAE,CACtD,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnF,MAAM,KAAK,GAAa;QACtB,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QACrB,CAAC,CAAC,KAAK,CACL;YACE,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,IAAI;YACR,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC;YAClB,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC;YACrB,IAAI,EAAE,IAAI;YACV,GAAG,EAAE,CAAC,CAAC,GAAG;SACX,EACD;YACE,CAAC,CAAC,MAAM,CACN,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,EACtB,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EACvF,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACpF;YACD,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;SACV,CACF;QACD,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC;QACZ,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC;KACf,CAAC;IACF,OAAO;QACL,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC;QAC9E,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC;QACrB,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC;QACnB,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE;YACtB,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAC9B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE;gBACrB,CAAC,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC/C,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;gBACX,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE;oBACpB,CAAC,CAAC,MAAM,CACN,CAAC,CAAC,MAAM,CACN,UAAU,EACV,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EACrC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAC7C,EACD,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EACb,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAChC;iBACF,CAAC;gBACF,CAAC,CAAC,MAAM,CAAC,UAAU,EAAE;oBACnB,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC;oBACnB,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;oBAC9B,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE;wBACzB,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;wBACvB,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;wBACzB,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC;wBACxB,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC;wBACxB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;wBACZ,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;qBAClB,CAAC;iBACH,CAAC;aACH,CAAC;YACF,2DAA2D;YAC3D,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACrF,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE;gBACxB,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;gBACtB,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC;gBAClB,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;gBACjB,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE;oBACvB,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE;wBACb,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,YAAY;wBAChB,IAAI,EAAE;4BACJ,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE;yBACpF;wBACD,IAAI,EAAE,GAAG;wBACT,GAAG,EAAE,CAAC,CAAC,GAAG;qBACX,CAAC;oBACF,8DAA8D;oBAC9D,CAAC,CAAC,MAAM,CACN,OAAO,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,EAC1B,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,EACxB,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CACpC;iBACF,CAAC;gBACF,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC;gBACd,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBACxE,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC;gBACtB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;aACZ,CAAC;YACF,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC;YAC1B,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC;YAChB,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC;SACrB,CAAC;QACF,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE;YAC5B,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACpC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE;gBAC3B,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC;gBACjB,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC;gBACpB,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,QAAQ,CAAC,EAAE;oBACvC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;oBAC9B,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;oBACxC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;oBACxF,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC;oBAChB,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC;oBACd,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC;oBAChB,CAAC,CAAC,MAAM,CACN,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,EAChB;wBACE,CAAC,CAAC,IAAI,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;wBACzC,CAAC,CAAC,IAAI,CAAC,aAAa,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;wBAC9B,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,EAAE,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;qBACxE,EACD,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CACjB;oBACD,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC;oBAC3B,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC;oBACf,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;iBACf,CAAC;gBACF,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC;gBAC3B,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC;gBAChB,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC;gBAClB,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC;aACnB,CAAC;SACH,CAAC;KACH,CAAC;AACJ,CAAC;AAcD;;;;;0DAK0D;AAC1D,MAAM,UAAU,sBAAsB,CAAC,EAAc;IACnD,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS,IAAI,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;QACtF,OAAO,IAAI,CAAC;IACd,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC;IAClC,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IACtD,IAAI,GAAG,EAAE,IAAI,KAAK,QAAQ,IAAI,CAAC,GAAG,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACtD,IAAI,IAAoC,CAAC;IACzC,0EAA0E;IAC1E,MAAM,OAAO,GAAG,CAAC,CAAS,EAAgB,EAAE;QAC1C,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC;QACvC,IAAI,GAAG,GAAW,CAAC,CAAC;QACpB,IAAI,KAAK,GAAuB,IAAI,CAAC;QACrC,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACpD,KAAK,GAAG,CAAC,CAAC;YACV,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC;QACd,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACvC,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,KAAK,KAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,KAAK,MAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC9F,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAChC,IAAI,IAAI,KAAK,SAAS;YAAE,IAAI,GAAG,KAAK,CAAC;aAChC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAChD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,wEAAwE;IACxE,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAsB,EAAE;QACjD,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QACpE,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,EAC1B,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,IAAI,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,IAAI,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC;QACnE,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IACvD,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,CAAS,EAAiB,EAAE,CACxC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7F,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC;IACxB,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC;QAC7C,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAC9B,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC/B,IAAI,IAAI,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,IAAI,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC;QACnE,OAAO,EAAE,KAAK,EAAE,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,IAAI,IAAI,EAAE,CAAC;IAC5D,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC/D,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAChC,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACrC,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAChC,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACrC,IACE,KAAK,KAAK,IAAI;YACd,KAAK,KAAK,IAAI;YACd,KAAK,KAAK,KAAK;YACf,SAAS,KAAK,IAAI;YAClB,SAAS,KAAK,CAAC;YACf,SAAS,KAAK,CAAC,SAAS;YACxB,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;YAE7B,OAAO,IAAI,CAAC;QACd,+DAA+D;QAC/D,OAAO,EAAE,KAAK,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,IAAI,IAAI,EAAE,CAAC;IACpF,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,WAAW,CAAC,IAAwB,EAAE,KAAyB;IACtE,IAAI,IAAI,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,KAAK,KAAK,CAAC;IAC3D,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW;QACzD,OAAO,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC;IACtE,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU;QACvD,OAAO,IAAI,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC;IAC1E,OAAO,KAAK,CAAC;AACf,CAAC;AAED;qCACqC;AACrC,MAAM,UAAU,cAAc,CAC5B,IAAY,EACZ,IAAY,EACZ,IAAiB,EACjB,GAAW;IAEX,MAAM,CAAC,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC;IAC1B,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC7B,OAAO;QACL,IAAI;QACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACvD,UAAU,EAAE,GAAG;QACf,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC;QAChE,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,IAAY,EACZ,IAAY,EACZ,KAAa,EACb,SAAkB,EAClB,YAA2B,EAC3B,GAAW,EACX,MAAM,GAAG,KAAK,EACd,KAAK,GAA2C,IAAI;IAEpD,MAAM,CAAC,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC;IAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,EACxB,GAAG,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;IAClD,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,EAC1B,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;IACjC,MAAM,GAAG,GAAG,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACrD,mEAAmE;IACnE,mEAAmE;IACnE,MAAM,OAAO,GAAa,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACnF,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACjC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EACpB,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,EAClC,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,EAC5B,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC3B,MAAM,WAAW,GAAG,CAAC,KAAa,EAAiB,EAAE;QACnD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;YACnD,OAAO;gBACL,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,GAAG,EAAE,YAAY;gBACjB,OAAO,EAAE,KAAK;gBACd,KAAK;gBACL,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ,CAAC;QACJ,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,MAAM,OAAO,GAAY,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACvC,MAAM,OAAO,GAAW;YACtB,IAAI,EAAE,KAAK;YACX,EAAE,EAAE,GAAG;YACP,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YAC3F,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACf,IAAI,EAAE,IAAI;YACV,GAAG;SACJ,CAAC;QACF,MAAM,aAAa,GAAG,WAAW,CAAC,IAAI,CAAC,EACrC,cAAc,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;QACtC,OAAO,aAAa,KAAK,IAAI,IAAI,cAAc,KAAK,IAAI;YACtD,CAAC,CAAC,CAAC,CAAC,MAAM,CACN,aAAa,EACb,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,EACrB,CAAC,CAAC,MAAM,CAAC,cAAc,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,OAAO,CAAC,CACtF;YACH,CAAC,CAAC,OAAO,CAAC;IACd,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACnC,0EAA0E;IAC1E,sEAAsE;IACtE,kEAAkE;IAClE,MAAM,KAAK,GAAG,CAAC,QAAmB,EAAU,EAAE,CAC5C,CAAC,CAAC,MAAM,CACN;QACE,IAAI,EAAE,cAAc;QACpB,MAAM,EAAE,WAAW;QACnB,QAAQ;QACR,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC;QAC7E,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,EACD,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAC3C,CAAC;IACJ,MAAM,IAAI,GAAa;QACrB,GAAG,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3C,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACtB,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAC9F,GAAG,CAAC,MAAM,IAAI,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5C,CAAC,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC5B,CAAC,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChC,oEAAoE;QACpE,sEAAsE;QACtE,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;YACzB,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;YACtE,CAAC,CAAC,MAAM,CACN,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EACrB;gBACE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC7E,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC;aACnB,EACD,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAC5D;SACF,CAAC;QACF,yEAAyE;QACzE,iEAAiE;QACjE,sEAAsE;QACtE,uCAAuC;QACvC,GAAG,CAAC,MAAM;YACR,CAAC,CAAC;gBACE;oBACE,IAAI,EAAE,UAAmB;oBACzB,IAAI,EAAE;wBACJ,IAAI,EAAE,cAAuB;wBAC7B,MAAM,EAAE,YAAqB;wBAC7B,QAAQ,EAAE,GAAG;wBACb,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC,EAAE,GAAG,OAAO,CAAC;wBACjC,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD,GAAG;iBACJ;aACF;YACH,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;QAC5C,GAAG,CAAC,SAAS;YACX,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/E,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,EAAE,cAAc,CAAC,EAAE;YAC3E,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE;SACvD,CAAC;QACF,GAAG,CAAC,SAAS;YACX,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC;gBACE,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,UAAU,EAAE,cAAc,CAAC,EAAE,CAAC,EAAE;oBAClD,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE;iBAC5C,CAAC;aACH,CAAC;QACN,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE;KACvC,CAAC;IACF,OAAO;QACL,IAAI;QACJ,MAAM,EAAE;YACN,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE;YAC7C,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE;YAC5C,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;SACpE;QACD,UAAU,EAAE,IAAI;QAChB,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC;QACzB,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;0EAC0E;AAC1E,SAAS,UAAU,CAAC,CAAS,EAAE,CAAY,EAAE,GAAc,EAAE,CAAY;IACvE,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,EAC5B,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,EACxB,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACvB,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EACnB,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACjB,OAAO;QACL,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;QACpC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QACnD,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;QAC7D,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE;YACrB,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;YAC7B,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;SACtD,CAAC;QACF,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC;QACnB,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;YAC9B,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;YAC9C,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;SACrE,CAAC;KACH,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,IAAY,EACZ,KAAa,EACb,aAAsB,EACtB,GAAW;IAEX,MAAM,CAAC,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC;IAC1B,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,QAAQ,CAAC,EAC9B,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,EAC9B,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACnB,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;IACpD,MAAM,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACnD,MAAM,IAAI,GAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChD,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;QACf,IAAI,CAAC,IAAI,CACP,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE;YACV,IAAI,EAAE,gBAAgB;YACtB,MAAM,EAAE,OAAO;YACf,QAAQ,EAAE,CAAC;YACX,IAAI,EAAE,EAAE;YACR,IAAI,EAAE,QAAQ;YACd,GAAG;SACJ,CAAC,CACH,CAAC;QACF,IAAI,CAAC,IAAI,CACP,GAAG,UAAU,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;YACzC,IAAI,EAAE,KAAK;YACX,EAAE,EAAE,GAAG;YACP,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YAC3F,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACf,IAAI,EAAE,IAAI;YACV,GAAG;SACJ,CAAC,CAAC,CACJ,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,IAAI,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IAC/C,OAAO;QACL,IAAI;QACJ,MAAM,EAAE;YACN,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE;YACjD,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;SACtE;QACD,UAAU,EAAE,QAAQ;QACpB,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC;QACzB,GAAG;KACJ,CAAC;AACJ,CAAC"}

package/dist/frontend/lowering/lower-array-sort.test.js

@@ -1,8 +1,57 @@
 import { expect, test } from "vitest";
-import { F64, DYN } from "../../ir/ir.js";
+import { BOOL, F64, DYN, } from "../../ir/ir.js";
+import { numLit, varRef } from "../../ir/build.js";
 import { everyStmtList } from "../../ir/traverse.js";
-import { buildArraySortFn, buildBytesSortFn } from "./lower-array-sort.js";
+import { buildArraySortFn, buildBytesSortFn, buildSortKeyFn, recognizeKeyComparator, } from "./lower-array-sort.js";
 const loc = { file: "sort.ts", start: 0, end: 0 };
+const ROW = { kind: "record", shapeId: "r0" };
+const a = (type = F64) => varRef("a.0", type, loc);
+const b = (type = F64) => varRef("b.0", type, loc);
+const field = (obj, name = "k", type = F64) => ({
+    kind: "recordGet",
+    obj,
+    shapeId: "r0",
+    field: name,
+    type,
+    loc,
+});
+const sub = (left, right) => ({
+    kind: "bin",
+    op: "-",
+    left,
+    right,
+    type: F64,
+    loc,
+});
+const cmp = (op, left, right) => ({
+    kind: "bin",
+    op,
+    left,
+    right,
+    type: BOOL,
+    loc,
+});
+const pick = (cond, then, else_) => ({
+    kind: "ternary",
+    cond,
+    then,
+    else_,
+    type: F64,
+    loc,
+});
+const comparator = (value, param = F64, extra = {}) => ({
+    name: "%fn0",
+    params: [
+        { localId: "a.0", name: "a", type: param },
+        { localId: "b.0", name: "b", type: param },
+    ],
+    returnType: F64,
+    locals: [],
+    captures: [],
+    body: [{ kind: "return", value, loc }],
+    loc,
+    ...extra,
+});
 function repeatedNodes(fn) {
     const seen = new Set();
     let repeated = 0;
@@ -22,10 +71,58 @@ test("sort helpers give every IR site its own node", () => {
         buildArraySortFn("%arr.toSorted.1", F64, 1, true, null, loc),
         buildArraySortFn("%arr.sort.2", DYN, 2, false, null, loc),
         buildArraySortFn("%arr.sort.3", union, 2, true, 1, loc),
+        buildArraySortFn("%arr.sort.6", F64, 2, false, null, loc, true, { order: -1, key: false }),
+        buildArraySortFn("%arr.toSorted.7", ROW, 2, true, null, loc, true, { order: 1, key: true }),
+        buildSortKeyFn("%arr.sortKey.8", ROW, field(varRef("a.0", ROW, loc)), loc),
         buildBytesSortFn("%bytes.sort.4", 2, true, loc),
         buildBytesSortFn("%bytes.sort.5", 0, false, loc),
     ];
     for (const fn of helpers)
         expect(repeatedNodes(fn), fn.name).toBe(0);
 });
+test("recognizes subtraction comparators over numbers", () => {
+    expect(recognizeKeyComparator(comparator(sub(a(), b())))).toEqual({ order: 1, read: null });
+    expect(recognizeKeyComparator(comparator(sub(b(), a())))).toEqual({ order: -1, read: null });
+});
+test("recognizes subtraction comparators over one field", () => {
+    const ascending = recognizeKeyComparator(comparator(sub(field(a(ROW)), field(b(ROW))), ROW));
+    expect(ascending?.order).toBe(1);
+    expect(ascending?.read).toMatchObject({ kind: "recordGet", field: "k" });
+    const descending = recognizeKeyComparator(comparator(sub(field(b(ROW)), field(a(ROW))), ROW));
+    expect(descending?.order).toBe(-1);
+});
+test("recognizes three-way ternaries in either test order and direction", () => {
+    const three = (first, firstSign, x, y) => pick(cmp(first, x, y), numLit(firstSign, loc), pick(cmp(first === "<" ? ">" : "<", x, y), numLit(-firstSign, loc), numLit(0, loc)));
+    expect(recognizeKeyComparator(comparator(three("<", -1, a(), b())))?.order).toBe(1);
+    expect(recognizeKeyComparator(comparator(three(">", 1, a(), b())))?.order).toBe(1);
+    expect(recognizeKeyComparator(comparator(three("<", 1, a(), b())))?.order).toBe(-1);
+    expect(recognizeKeyComparator(comparator(three("<", -1, b(), a())))?.order).toBe(-1);
+    const fields = three("<", -1, field(a(ROW)), field(b(ROW)));
+    expect(recognizeKeyComparator(comparator(fields, ROW))?.order).toBe(1);
+});
+test("rejects comparators that are not one consistent numeric key", () => {
+    const rejected = [
+        sub(a(), a()),
+        sub(field(a(ROW)), field(b(ROW), "j")),
+        sub(field(a(ROW)), b()),
+        sub(sub(a(), b()), numLit(1, loc)),
+        sub(a(), varRef("c.0", F64, loc)),
+        pick(cmp("<", a(), b()), numLit(-1, loc), pick(cmp("<", a(), b()), numLit(1, loc), numLit(0, loc))),
+        pick(cmp("<", a(), b()), numLit(-1, loc), pick(cmp(">", a(), b()), numLit(1, loc), numLit(-1, loc))),
+        pick(cmp("<", a(), b()), numLit(-2, loc), pick(cmp(">", a(), b()), numLit(2, loc), numLit(0, loc))),
+        pick(cmp("<", a(), b()), numLit(-1, loc), pick(cmp(">", a(), b()), numLit(-1, loc), numLit(0, loc))),
+    ];
+    for (const value of rejected)
+        expect(recognizeKeyComparator(comparator(value))).toBeNull();
+    expect(recognizeKeyComparator(comparator(sub(field(a(ROW), "k", ROW), field(b(ROW), "k", ROW)), ROW))).toBeNull();
+});
+test("rejects comparators with captures or other bodies", () => {
+    expect(recognizeKeyComparator(comparator(sub(a(), b()), F64, { captures: [{ localId: "c.0", name: "c", type: F64 }] }))).toBeNull();
+    expect(recognizeKeyComparator(comparator(sub(a(), b()), F64, { async: true }))).toBeNull();
+    const body = [
+        { kind: "exprStmt", expr: a(), loc },
+        { kind: "return", value: sub(a(), b()), loc },
+    ];
+    expect(recognizeKeyComparator({ ...comparator(sub(a(), b())), body })).toBeNull();
+});
 //# sourceMappingURL=lower-array-sort.test.js.map