@scriptc/compiler 0.4.2 → 0.4.4

package/dist/frontend/lowering/indexed-unions.d.ts

@@ -0,0 +1,54 @@
+import { type IrBytesIntrinsicMethod, type IrExpr, type IrStmt, type IrType, type SrcLoc } from "../../ir/ir.js";
+import type { Lowerer } from "./lowerer.js";
+/** Unions of number-indexed containers: typed arrays of any element kind
+ * (`Uint8Array | Uint16Array | Uint32Array`, as lru-cache picks by size)
+ * and `number[]` arms.
+ *
+ * The union keeps its ordinary tagged representation. Each operation on it
+ * lowers to a lifted helper per union and operation that tests the tag,
+ * narrows to the arm and runs the arm's own operation: the inline load or
+ * store of a typed array's element kind, or the dense read or write of a
+ * number array. The helpers are small, so LLVM inlines them, and a loop
+ * over one union value tests a loop-invariant tag. */
+/** One arm: its tag and its type (bytes, or an array of numbers). */
+export interface IndexedArm {
+    tag: number;
+    type: IrType & ({
+        kind: "bytes";
+    } | {
+        kind: "array";
+    });
+}
+/** The arms of a union whose every arm is a typed array or a `number[]`,
+ * or null. Unions with any other arm (undefined included) are not
+ * indexed unions: their reads need a narrowing first. */
+export declare function indexedUnionArms(lowerer: Lowerer, type: IrType): IndexedArm[] | null;
+/** Whether every arm is a typed array (so typed-array-only members such
+ * as `byteLength` apply). */
+export declare function allBytesArms(arms: readonly IndexedArm[]): boolean;
+/** `u[i]` read as an element or undefined (an invalid index), as the
+ * typed-array and number-array reads answer. */
+export declare function lowerIndexedUnionRead(lowerer: Lowerer, receiver: IrExpr, arms: readonly IndexedArm[], index: IrExpr, loc: SrcLoc): IrExpr;
+/** `u[i]` read as a number: an invalid index reads as NaN, which is
+ * ToNumber(undefined). */
+export declare function lowerIndexedUnionNumberRead(lowerer: Lowerer, receiver: IrExpr, arms: readonly IndexedArm[], index: IrExpr, loc: SrcLoc): IrExpr;
+/** The numeric twin of an indexed-union read helper call, or null. */
+export declare function indexedUnionNumericTwin(lowerer: Lowerer, call: IrExpr): IrExpr | null;
+/** `u[i] = v` for a number `v`: each arm's element store (a typed array
+ * converts the number to its element kind and ignores an invalid index; a
+ * number array stores at the index). */
+export declare function lowerIndexedUnionWrite(lowerer: Lowerer, receiver: IrExpr, arms: readonly IndexedArm[], index: IrExpr, value: IrExpr, loc: SrcLoc): IrStmt;
+/** The members every arm answers: `length` for all, and `byteLength`,
+ * `byteOffset` and `BYTES_PER_ELEMENT` when every arm is a typed array. */
+export declare function lowerIndexedUnionMember(lowerer: Lowerer, receiver: IrExpr, arms: readonly IndexedArm[], member: string, loc: SrcLoc): IrExpr | null;
+/** A typed-array method on a union whose every arm is a typed array: the
+ * arguments evaluate once in the caller, and each arm runs the same
+ * `bytesIntrinsic` on its own receiver. `result` "receiver" is a method
+ * that answers a typed array of the receiver's kind (subarray, slice,
+ * fill, ...): each arm wraps its answer back into the union. */
+export declare function lowerIndexedUnionMethod(lowerer: Lowerer, receiver: IrExpr, arms: readonly IndexedArm[], method: IrBytesIntrinsicMethod, args: readonly IrExpr[], result: "receiver" | IrType, loc: SrcLoc): IrExpr;
+/** The elements of `u` as a `number[]`: a typed-array arm drains its
+ * elements into a fresh array. A number-array arm is the array itself for
+ * consumers that copy it (spreads), or with `fresh` a dense copy whose
+ * holes read as undefined (Array.from). */
+export declare function lowerIndexedUnionToArray(lowerer: Lowerer, receiver: IrExpr, arms: readonly IndexedArm[], loc: SrcLoc, fresh?: boolean): IrExpr;

package/dist/frontend/lowering/indexed-unions.js

@@ -0,0 +1,401 @@
+import { keyedHelperName } from "./stable-names.js";
+import { helperLoc, varRef } from "../../ir/build.js";
+import { BOOL, BYTES_ELEMENT_SIZE, F64, VOID, typeKey, } from "../../ir/ir.js";
+import { everyExprChild, everyStmtChild } from "../../ir/traverse.js";
+import { arrayNumberRead, lowerSafeBytesRead, lowerSafeIndexRead } from "./array-values.js";
+/** The arms of a union whose every arm is a typed array or a `number[]`,
+ * or null. Unions with any other arm (undefined included) are not
+ * indexed unions: their reads need a narrowing first. */
+export function indexedUnionArms(lowerer, type) {
+    if (type.kind !== "union")
+        return null;
+    const arms = lowerer.unions.get(type.unionId)?.arms;
+    if (!arms || arms.length < 2)
+        return null;
+    const result = [];
+    for (const [tag, arm] of arms.entries()) {
+        if (arm.kind === "bytes")
+            result.push({ tag, type: arm });
+        else if (arm.kind === "array" && arm.elem.kind === "f64")
+            result.push({ tag, type: arm });
+        else
+            return null;
+    }
+    return result;
+}
+/** Whether every arm is a typed array (so typed-array-only members such
+ * as `byteLength` apply). */
+export function allBytesArms(arms) {
+    return arms.every((arm) => arm.type.kind === "bytes");
+}
+/** The helper `name(u, ...args)`: for each arm but the last, a tag test
+ * that runs the arm's statements; the last arm's statements run without a
+ * test (the union holds one of its arms). */
+function dispatchHelper(lowerer, key, prefix, union, arms, params, returnType, body, loc) {
+    const existing = lowerer.arrHofHelpers.get(key);
+    if (existing)
+        return existing;
+    const name = keyedHelperName(lowerer, prefix, key);
+    lowerer.arrHofHelpers.set(key, name);
+    const at = helperLoc(loc);
+    if (union.kind !== "union")
+        throw new Error("indexed-union helper over a non-union");
+    const u = varRef("u.0", union, at);
+    const args = params.map((p) => varRef(`${p.name}.0`, p.type, at));
+    const stmts = [];
+    arms.forEach((arm, i) => {
+        const receiver = {
+            kind: "unionNarrow",
+            unionId: union.unionId,
+            tag: arm.tag,
+            value: u,
+            type: arm.type,
+            loc: at,
+        };
+        const armStmts = body(receiver, arm, args);
+        if (i === arms.length - 1) {
+            stmts.push(...armStmts);
+            return;
+        }
+        stmts.push({
+            kind: "if",
+            cond: {
+                kind: "unionIsTag",
+                unionId: union.unionId,
+                tag: arm.tag,
+                negated: false,
+                value: u,
+                type: BOOL,
+                loc: at,
+            },
+            then: armStmts,
+            else_: null,
+            loc: at,
+        });
+    });
+    const fn = {
+        name,
+        params: [
+            { localId: "u.0", name: "u", type: union },
+            ...params.map((p) => ({ localId: `${p.name}.0`, name: p.name, type: p.type })),
+        ],
+        returnType,
+        locals: [
+            { id: "u.0", name: "u", type: union, mutable: false },
+            ...params.map((p) => ({ id: `${p.name}.0`, name: p.name, type: p.type, mutable: false })),
+        ],
+        body: stmts,
+        loc: at,
+    };
+    lowerer.liftedFns.push(fn);
+    return name;
+}
+const returning = (value, loc) => [{ kind: "return", value, loc }];
+/** `u[i]` read as an element or undefined (an invalid index), as the
+ * typed-array and number-array reads answer. */
+export function lowerIndexedUnionRead(lowerer, receiver, arms, index, loc) {
+    const resultT = lowerer.withUndefinedArm(F64);
+    const key = `idxUnion:get:${unionKey(receiver.type)}`;
+    const name = dispatchHelper(lowerer, key, "%union.idxOr", receiver.type, arms, [{ name: "i", type: F64 }], resultT, (arm, info, [i]) => returning(info.type.kind === "bytes"
+        ? lowerSafeBytesRead(lowerer, arm, i, loc)
+        : lowerSafeIndexRead(lowerer, arm, i, loc), loc), loc);
+    const numeric = indexedUnionNumberHelper(lowerer, receiver.type, arms, loc);
+    lowerer.indexedUnionNumericTwins.set(name, numeric);
+    return { kind: "call", callee: name, args: [receiver, index], type: resultT, loc };
+}
+/** `u[i]` read as a number: an invalid index reads as NaN, which is
+ * ToNumber(undefined). */
+export function lowerIndexedUnionNumberRead(lowerer, receiver, arms, index, loc) {
+    if (inlineDispatch(receiver, [index]))
+        return inlineArms(receiver, arms, F64, (arm, info) => numberRead(arm, info, index, loc), loc);
+    const name = indexedUnionNumberHelper(lowerer, receiver.type, arms, loc);
+    return { kind: "call", callee: name, args: [receiver, index], type: F64, loc };
+}
+function numberRead(arm, info, index, loc) {
+    return info.type.kind === "bytes"
+        ? {
+            kind: "bytesIntrinsic",
+            method: "get",
+            receiver: arm,
+            args: [index],
+            type: F64,
+            loc,
+            invalidNaN: true,
+        }
+        : arrayNumberRead(arm, index, loc);
+}
+function indexedUnionNumberHelper(lowerer, union, arms, loc) {
+    return dispatchHelper(lowerer, `idxUnion:num:${unionKey(union)}`, "%union.getNumber", union, arms, [{ name: "i", type: F64 }], F64, (arm, info, [i]) => returning(numberRead(arm, info, i, loc), loc), loc);
+}
+/** The numeric twin of an indexed-union read helper call, or null. */
+export function indexedUnionNumericTwin(lowerer, call) {
+    if (call.kind !== "call")
+        return null;
+    const twin = lowerer.indexedUnionNumericTwins.get(call.callee);
+    return twin === undefined ? null : { ...call, callee: twin, type: F64 };
+}
+/** `u[i] = v` for a number `v`: each arm's element store (a typed array
+ * converts the number to its element kind and ignores an invalid index; a
+ * number array stores at the index). */
+export function lowerIndexedUnionWrite(lowerer, receiver, arms, index, value, loc) {
+    // In place, the value evaluates before the arms read the receiver and
+    // index: only when it cannot rebind either.
+    if (inlineDispatch(receiver, [index]) && !rebinds(value, [receiver, index])) {
+        const union = receiver.type;
+        const valueLocal = lowerer.declareHiddenLocal("%elementValue", F64);
+        const v = { kind: "varRef", localId: valueLocal.id, type: F64, loc };
+        let chain = null;
+        for (let i = arms.length - 1; i >= 0; i--) {
+            const info = arms[i];
+            const arm = {
+                kind: "unionNarrow",
+                unionId: union.kind === "union" ? union.unionId : "",
+                tag: info.tag,
+                value: receiver,
+                type: info.type,
+                loc,
+            };
+            const store = info.type.kind === "bytes"
+                ? { kind: "bytesSet", arr: arm, index, value: v, loc }
+                : { kind: "arraySet", arr: arm, index, value: v, loc };
+            chain =
+                chain === null
+                    ? [store]
+                    : [
+                        {
+                            kind: "if",
+                            cond: {
+                                kind: "unionIsTag",
+                                unionId: union.kind === "union" ? union.unionId : "",
+                                tag: info.tag,
+                                negated: false,
+                                value: receiver,
+                                type: BOOL,
+                                loc,
+                            },
+                            then: [store],
+                            else_: chain,
+                            loc,
+                        },
+                    ];
+        }
+        return {
+            kind: "block",
+            body: [{ kind: "varDecl", localId: valueLocal.id, init: value, loc }, ...chain],
+            loc,
+        };
+    }
+    const name = dispatchHelper(lowerer, `idxUnion:set:${unionKey(receiver.type)}`, "%union.idxSet", receiver.type, arms, [
+        { name: "i", type: F64 },
+        { name: "v", type: F64 },
+    ], VOID, (arm, info, [i, v]) => [
+        info.type.kind === "bytes"
+            ? { kind: "bytesSet", arr: arm, index: i, value: v, loc }
+            : { kind: "arraySet", arr: arm, index: i, value: v, loc },
+        { kind: "return", value: null, loc },
+    ], loc);
+    return {
+        kind: "exprStmt",
+        expr: { kind: "call", callee: name, args: [receiver, index, value], type: VOID, loc },
+        loc,
+    };
+}
+/** The members every arm answers: `length` for all, and `byteLength`,
+ * `byteOffset` and `BYTES_PER_ELEMENT` when every arm is a typed array. */
+export function lowerIndexedUnionMember(lowerer, receiver, arms, member, loc) {
+    const bytesOnly = member !== "length";
+    if (member !== "length" &&
+        member !== "byteLength" &&
+        member !== "byteOffset" &&
+        member !== "BYTES_PER_ELEMENT")
+        return null;
+    if (bytesOnly && !allBytesArms(arms))
+        return null;
+    const memberOf = (arm, info) => info.type.kind === "array"
+        ? { kind: "arrIntrinsic", method: "length", receiver: arm, args: [], type: F64, loc }
+        : member === "BYTES_PER_ELEMENT"
+            ? { kind: "numLit", value: BYTES_ELEMENT_SIZE[info.type.elem], type: F64, loc }
+            : { kind: "bytesIntrinsic", method: member, receiver: arm, args: [], type: F64, loc };
+    if (inlineDispatch(receiver, []))
+        return inlineArms(receiver, arms, F64, memberOf, loc);
+    const name = dispatchHelper(lowerer, `idxUnion:${member}:${unionKey(receiver.type)}`, `%union.${member}`, receiver.type, arms, [], F64, (arm, info) => returning(memberOf(arm, info), loc), loc);
+    return { kind: "call", callee: name, args: [receiver], type: F64, loc };
+}
+function unionKey(type) {
+    return type.kind === "union" ? String(type.unionId) : "?";
+}
+/** A typed-array method on a union whose every arm is a typed array: the
+ * arguments evaluate once in the caller, and each arm runs the same
+ * `bytesIntrinsic` on its own receiver. `result` "receiver" is a method
+ * that answers a typed array of the receiver's kind (subarray, slice,
+ * fill, ...): each arm wraps its answer back into the union. */
+export function lowerIndexedUnionMethod(lowerer, receiver, arms, method, args, result, loc) {
+    const union = receiver.type;
+    if (union.kind !== "union")
+        throw new Error("indexed-union method over a non-union");
+    const resultT = result === "receiver" ? union : result;
+    const params = args.map((arg, i) => ({ name: `a${i}`, type: arg.type }));
+    const signature = args.map((arg) => typeKey(arg.type)).join(",");
+    const name = dispatchHelper(lowerer, `idxUnion:${method}(${signature}):${unionKey(union)}`, `%union.${method}`, union, arms, params, resultT, (arm, info, refs) => {
+        const call = {
+            kind: "bytesIntrinsic",
+            method,
+            receiver: arm,
+            args: [...refs],
+            type: result === "receiver" ? info.type : result,
+            loc,
+        };
+        if (result === "receiver")
+            return returning({
+                kind: "unionWrap",
+                unionId: union.unionId,
+                tag: info.tag,
+                value: call,
+                type: union,
+                loc,
+            }, loc);
+        if (result.kind === "void")
+            return [
+                { kind: "exprStmt", expr: call, loc },
+                { kind: "return", value: null, loc },
+            ];
+        return returning(call, loc);
+    }, loc);
+    return { kind: "call", callee: name, args: [receiver, ...args], type: resultT, loc };
+}
+/** The elements of `u` as a `number[]`: a typed-array arm drains its
+ * elements into a fresh array. A number-array arm is the array itself for
+ * consumers that copy it (spreads), or with `fresh` a dense copy whose
+ * holes read as undefined (Array.from). */
+export function lowerIndexedUnionToArray(lowerer, receiver, arms, loc, fresh = false) {
+    const arrayT = { kind: "array", elem: F64 };
+    const name = dispatchHelper(lowerer, `idxUnion:${fresh ? "from" : "toArray"}:${unionKey(receiver.type)}`, fresh ? "%union.arrayFrom" : "%union.toArray", receiver.type, arms, [], arrayT, (arm, info) => returning(info.type.kind === "bytes"
+        ? {
+            kind: "bytesIntrinsic",
+            method: "toArray",
+            receiver: arm,
+            args: [],
+            type: arrayT,
+            loc,
+        }
+        : fresh
+            ? {
+                kind: "arrIntrinsic",
+                method: "reverse",
+                receiver: {
+                    kind: "arrIntrinsic",
+                    method: "toReversed",
+                    receiver: arm,
+                    args: [],
+                    type: arrayT,
+                    loc,
+                },
+                args: [],
+                type: arrayT,
+                loc,
+            }
+            : arm, loc), loc);
+    return { kind: "call", callee: name, args: [receiver], type: arrayT, loc };
+}
+/** Whether a dispatch can run in place instead of through a helper call:
+ * the receiver is a plain read, so testing and narrowing it once per arm
+ * reads the same value, and the other operands are plain reads or
+ * literals. The arms' own reads then stay visible to the integer range
+ * analysis (a loop bounded by `u.length` keeps an integer counter). */
+function inlineDispatch(receiver, operands) {
+    return (receiver.kind === "varRef" && operands.every((e) => e.kind === "varRef" || e.kind === "numLit"));
+}
+/** Expressions that run no program code: reads, literals and operators
+ * over primitive values. */
+const CODE_FREE_EXPRS = new Set([
+    "numLit",
+    "boolLit",
+    "strLit",
+    "unitLit",
+    "varRef",
+    "unary",
+    "logical",
+    "ternary",
+    "toBool",
+    "strEq",
+    "strCmp",
+    "arrayGet",
+    "arrayHas",
+    "arrayState",
+    "bytesIntrinsic",
+    "fieldGet",
+    "recordGet",
+    "unionNarrow",
+    "unionIsTag",
+    "unionDisc",
+    "upcast",
+    "nullish",
+]);
+const PRIMITIVE_OPERANDS = new Set(["f64", "bool", "string", "bigint"]);
+/** Whether evaluating `e` can rebind one of the plain reads `reads`: by
+ * assigning it, or by running program code (a call, a getter, a
+ * conversion) that could assign a captured binding. */
+function rebinds(e, reads) {
+    const ids = new Set(reads.flatMap((r) => (r.kind === "varRef" ? [r.localId] : [])));
+    let found = false;
+    const expr = (x) => {
+        if ((x.kind === "assignExpr" || x.kind === "incDec") && ids.has(x.localId))
+            found = true;
+        else if (x.kind === "bin") {
+            if (!PRIMITIVE_OPERANDS.has(x.left.type.kind) || !PRIMITIVE_OPERANDS.has(x.right.type.kind))
+                found = true;
+        }
+        else if (x.kind === "call") {
+            // The union dispatch helpers only read and store elements.
+            if (!x.callee.startsWith("%union."))
+                found = true;
+        }
+        else if (!CODE_FREE_EXPRS.has(x.kind))
+            found = true;
+        return !found && everyExprChild(x, expr, stmt);
+    };
+    const stmt = (x) => {
+        if ((x.kind === "assign" || x.kind === "varDecl") && ids.has(x.localId))
+            found = true;
+        return !found && everyStmtChild(x, expr, stmt);
+    };
+    expr(e);
+    return found;
+}
+/** The in-place form of a dispatch: a ternary chain over the arms' tags,
+ * the last arm untested. */
+function inlineArms(receiver, arms, type, arm, loc) {
+    const union = receiver.type;
+    if (union.kind !== "union")
+        throw new Error("indexed-union dispatch over a non-union");
+    const narrowed = (info) => ({
+        kind: "unionNarrow",
+        unionId: union.unionId,
+        tag: info.tag,
+        value: receiver,
+        type: info.type,
+        loc,
+    });
+    let result = arm(narrowed(arms[arms.length - 1]), arms[arms.length - 1]);
+    for (let i = arms.length - 2; i >= 0; i--) {
+        const info = arms[i];
+        result = {
+            kind: "ternary",
+            cond: {
+                kind: "unionIsTag",
+                unionId: union.unionId,
+                tag: info.tag,
+                negated: false,
+                value: receiver,
+                type: BOOL,
+                loc,
+            },
+            then: arm(narrowed(info), info),
+            else_: result,
+            type,
+            loc,
+        };
+    }
+    return result;
+}
+//# sourceMappingURL=indexed-unions.js.map

package/dist/frontend/lowering/indexed-unions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"indexed-unions.js","sourceRoot":"","sources":["../../../src/frontend/lowering/indexed-unions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EACL,IAAI,EACJ,kBAAkB,EAClB,GAAG,EACH,IAAI,EAOJ,OAAO,GACR,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAoB5F;;yDAEyD;AACzD,MAAM,UAAU,gBAAgB,CAAC,OAAgB,EAAE,IAAY;IAC7D,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACvC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IACpD,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1C,MAAM,MAAM,GAAiB,EAAE,CAAC;IAChC,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;QACxC,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;aACrD,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;;YACrF,OAAO,IAAI,CAAC;IACnB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;6BAC6B;AAC7B,MAAM,UAAU,YAAY,CAAC,IAA2B;IACtD,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;AACxD,CAAC;AAID;;6CAE6C;AAC7C,SAAS,cAAc,CACrB,OAAgB,EAChB,GAAW,EACX,MAAc,EACd,KAAa,EACb,IAA2B,EAC3B,MAAiD,EACjD,UAAkB,EAClB,IAAa,EACb,GAAW;IAEX,MAAM,QAAQ,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChD,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,IAAI,GAAG,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IACnD,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACrC,MAAM,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;IAC1B,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IACrF,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;IAClE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;QACtB,MAAM,QAAQ,GAAW;YACvB,IAAI,EAAE,aAAa;YACnB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,GAAG,EAAE,GAAG,CAAC,GAAG;YACZ,KAAK,EAAE,CAAC;YACR,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,GAAG,EAAE,EAAE;SACR,CAAC;QACF,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QAC3C,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC;YACxB,OAAO;QACT,CAAC;QACD,KAAK,CAAC,IAAI,CAAC;YACT,IAAI,EAAE,IAAI;YACV,IAAI,EAAE;gBACJ,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,GAAG,EAAE,GAAG,CAAC,GAAG;gBACZ,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,CAAC;gBACR,IAAI,EAAE,IAAI;gBACV,GAAG,EAAE,EAAE;aACR;YACD,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,IAAI;YACX,GAAG,EAAE,EAAE;SACR,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,MAAM,EAAE,GAAe;QACrB,IAAI;QACJ,MAAM,EAAE;YACN,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE;YAC1C,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;SAC/E;QACD,UAAU;QACV,MAAM,EAAE;YACN,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE;YACrD,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;SAC1F;QACD,IAAI,EAAE,KAAK;QACX,GAAG,EAAE,EAAE;KACR,CAAC;IACF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3B,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,SAAS,GAAG,CAAC,KAAa,EAAE,GAAW,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;AAE7F;gDACgD;AAChD,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,QAAgB,EAChB,IAA2B,EAC3B,KAAa,EACb,GAAW;IAEX,MAAM,OAAO,GAAG,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAC9C,MAAM,GAAG,GAAG,gBAAgB,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;IACtD,MAAM,IAAI,GAAG,cAAc,CACzB,OAAO,EACP,GAAG,EACH,cAAc,EACd,QAAQ,CAAC,IAAI,EACb,IAAI,EACJ,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAC1B,OAAO,EACP,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CACjB,SAAS,CACP,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QACxB,CAAC,CAAC,kBAAkB,CAAC,OAAO,EAAE,GAAG,EAAE,CAAE,EAAE,GAAG,CAAC;QAC3C,CAAC,CAAC,kBAAkB,CAAC,OAAO,EAAE,GAAG,EAAE,CAAE,EAAE,GAAG,CAAE,EAC9C,GAAG,CACJ,EACH,GAAG,CACJ,CAAC;IACF,MAAM,OAAO,GAAG,wBAAwB,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAC5E,OAAO,CAAC,wBAAwB,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACpD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;AACrF,CAAC;AAED;0BAC0B;AAC1B,MAAM,UAAU,2BAA2B,CACzC,OAAgB,EAChB,QAAgB,EAChB,IAA2B,EAC3B,KAAa,EACb,GAAW;IAEX,IAAI,cAAc,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,CAAC;QACnC,OAAO,UAAU,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;IAChG,MAAM,IAAI,GAAG,wBAAwB,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IACzE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AACjF,CAAC;AAED,SAAS,UAAU,CAAC,GAAW,EAAE,IAAgB,EAAE,KAAa,EAAE,GAAW;IAC3E,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAC/B,CAAC,CAAC;YACE,IAAI,EAAE,gBAAgB;YACtB,MAAM,EAAE,KAAK;YACb,QAAQ,EAAE,GAAG;YACb,IAAI,EAAE,CAAC,KAAK,CAAC;YACb,IAAI,EAAE,GAAG;YACT,GAAG;YACH,UAAU,EAAE,IAAI;SACjB;QACH,CAAC,CAAC,eAAe,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;AACvC,CAAC;AAED,SAAS,wBAAwB,CAC/B,OAAgB,EAChB,KAAa,EACb,IAA2B,EAC3B,GAAW;IAEX,OAAO,cAAc,CACnB,OAAO,EACP,gBAAgB,QAAQ,CAAC,KAAK,CAAC,EAAE,EACjC,kBAAkB,EAClB,KAAK,EACL,IAAI,EACJ,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAC1B,GAAG,EACH,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,EAAE,CAAE,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,EAClE,GAAG,CACJ,CAAC;AACJ,CAAC;AAED,sEAAsE;AACtE,MAAM,UAAU,uBAAuB,CAAC,OAAgB,EAAE,IAAY;IACpE,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACtC,MAAM,IAAI,GAAG,OAAO,CAAC,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC/D,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAC1E,CAAC;AAED;;wCAEwC;AACxC,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,QAAgB,EAChB,IAA2B,EAC3B,KAAa,EACb,KAAa,EACb,GAAW;IAEX,sEAAsE;IACtE,4CAA4C;IAC5C,IAAI,cAAc,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;QAC5E,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC;QAC5B,MAAM,UAAU,GAAG,OAAO,CAAC,kBAAkB,CAAC,eAAe,EAAE,GAAG,CAAC,CAAC;QACpE,MAAM,CAAC,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAC7E,IAAI,KAAK,GAAoB,IAAI,CAAC;QAClC,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;YACtB,MAAM,GAAG,GAAW;gBAClB,IAAI,EAAE,aAAa;gBACnB,OAAO,EAAE,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;gBACpD,GAAG,EAAE,IAAI,CAAC,GAAG;gBACb,KAAK,EAAE,QAAQ;gBACf,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,GAAG;aACJ,CAAC;YACF,MAAM,KAAK,GACT,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;gBACxB,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE;gBACtD,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;YAC3D,KAAK;gBACH,KAAK,KAAK,IAAI;oBACZ,CAAC,CAAC,CAAC,KAAK,CAAC;oBACT,CAAC,CAAC;wBACE;4BACE,IAAI,EAAE,IAAI;4BACV,IAAI,EAAE;gCACJ,IAAI,EAAE,YAAY;gCAClB,OAAO,EAAE,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;gCACpD,GAAG,EAAE,IAAI,CAAC,GAAG;gCACb,OAAO,EAAE,KAAK;gCACd,KAAK,EAAE,QAAQ;gCACf,IAAI,EAAE,IAAI;gCACV,GAAG;6BACJ;4BACD,IAAI,EAAE,CAAC,KAAK,CAAC;4BACb,KAAK,EAAE,KAAK;4BACZ,GAAG;yBACJ;qBACF,CAAC;QACV,CAAC;QACD,OAAO;YACL,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,GAAG,KAAM,CAAC;YAChF,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,cAAc,CACzB,OAAO,EACP,gBAAgB,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,EACzC,eAAe,EACf,QAAQ,CAAC,IAAI,EACb,IAAI,EACJ;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE;QACxB,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE;KACzB,EACD,IAAI,EACJ,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;QACrB,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;YACxB,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,CAAE,EAAE,KAAK,EAAE,CAAE,EAAE,GAAG,EAAE;YAC3D,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,CAAE,EAAE,KAAK,EAAE,CAAE,EAAE,GAAG,EAAE;QAC7D,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;KACrC,EACD,GAAG,CACJ,CAAC;IACF,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QACrF,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;2EAC2E;AAC3E,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,QAAgB,EAChB,IAA2B,EAC3B,MAAc,EACd,GAAW;IAEX,MAAM,SAAS,GAAG,MAAM,KAAK,QAAQ,CAAC;IACtC,IACE,MAAM,KAAK,QAAQ;QACnB,MAAM,KAAK,YAAY;QACvB,MAAM,KAAK,YAAY;QACvB,MAAM,KAAK,mBAAmB;QAE9B,OAAO,IAAI,CAAC;IACd,IAAI,SAAS,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAClD,MAAM,QAAQ,GAAG,CAAC,GAAW,EAAE,IAAgB,EAAU,EAAE,CACzD,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QACxB,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QACrF,CAAC,CAAC,MAAM,KAAK,mBAAmB;YAC9B,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YAC/E,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAC5F,IAAI,cAAc,CAAC,QAAQ,EAAE,EAAE,CAAC;QAAE,OAAO,UAAU,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;IACxF,MAAM,IAAI,GAAG,cAAc,CACzB,OAAO,EACP,YAAY,MAAM,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAC/C,UAAU,MAAM,EAAE,EAClB,QAAQ,CAAC,IAAI,EACb,IAAI,EACJ,EAAE,EACF,GAAG,EACH,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,EAClD,GAAG,CACJ,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AAC1E,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;AAC5D,CAAC;AAED;;;;gEAIgE;AAChE,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,QAAgB,EAChB,IAA2B,EAC3B,MAA8B,EAC9B,IAAuB,EACvB,MAA2B,EAC3B,GAAW;IAEX,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC;IAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IACrF,MAAM,OAAO,GAAG,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;IACvD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACzE,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjE,MAAM,IAAI,GAAG,cAAc,CACzB,OAAO,EACP,YAAY,MAAM,IAAI,SAAS,KAAK,QAAQ,CAAC,KAAK,CAAC,EAAE,EACrD,UAAU,MAAM,EAAE,EAClB,KAAK,EACL,IAAI,EACJ,MAAM,EACN,OAAO,EACP,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;QAClB,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,gBAAgB;YACtB,MAAM;YACN,QAAQ,EAAE,GAAG;YACb,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC;YACf,IAAI,EAAE,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM;YAChD,GAAG;SACJ,CAAC;QACF,IAAI,MAAM,KAAK,UAAU;YACvB,OAAO,SAAS,CACd;gBACE,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,GAAG,EAAE,IAAI,CAAC,GAAG;gBACb,KAAK,EAAE,IAAI;gBACX,IAAI,EAAE,KAAK;gBACX,GAAG;aACJ,EACD,GAAG,CACJ,CAAC;QACJ,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;YACxB,OAAO;gBACL,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACrC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;aACrC,CAAC;QACJ,OAAO,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9B,CAAC,EACD,GAAG,CACJ,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;AACvF,CAAC;AAED;;;2CAG2C;AAC3C,MAAM,UAAU,wBAAwB,CACtC,OAAgB,EAChB,QAAgB,EAChB,IAA2B,EAC3B,GAAW,EACX,KAAK,GAAG,KAAK;IAEb,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACpD,MAAM,IAAI,GAAG,cAAc,CACzB,OAAO,EACP,YAAY,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,EACnE,KAAK,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,gBAAgB,EAC7C,QAAQ,CAAC,IAAI,EACb,IAAI,EACJ,EAAE,EACF,MAAM,EACN,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CACZ,SAAS,CACP,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QACxB,CAAC,CAAC;YACE,IAAI,EAAE,gBAAgB;YACtB,MAAM,EAAE,SAAS;YACjB,QAAQ,EAAE,GAAG;YACb,IAAI,EAAE,EAAE;YACR,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ;QACH,CAAC,CAAC,KAAK;YACL,CAAC,CAAC;gBACE,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,SAAS;gBACjB,QAAQ,EAAE;oBACR,IAAI,EAAE,cAAc;oBACpB,MAAM,EAAE,YAAY;oBACpB,QAAQ,EAAE,GAAG;oBACb,IAAI,EAAE,EAAE;oBACR,IAAI,EAAE,MAAM;oBACZ,GAAG;iBACJ;gBACD,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,MAAM;gBACZ,GAAG;aACJ;YACH,CAAC,CAAC,GAAG,EACT,GAAG,CACJ,EACH,GAAG,CACJ,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AAC7E,CAAC;AAED;;;;uEAIuE;AACvE,SAAS,cAAc,CAAC,QAAgB,EAAE,QAA2B;IACnE,OAAO,CACL,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAChG,CAAC;AACJ,CAAC;AAED;4BAC4B;AAC5B,MAAM,eAAe,GAAG,IAAI,GAAG,CAAiB;IAC9C,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,OAAO;IACP,SAAS;IACT,SAAS;IACT,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,UAAU;IACV,UAAU;IACV,YAAY;IACZ,gBAAgB;IAChB,UAAU;IACV,WAAW;IACX,aAAa;IACb,YAAY;IACZ,WAAW;IACX,QAAQ;IACR,SAAS;CACV,CAAC,CAAC;AACH,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;AAExF;;uDAEuD;AACvD,SAAS,OAAO,CAAC,CAAS,EAAE,KAAwB;IAClD,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpF,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;YAAE,KAAK,GAAG,IAAI,CAAC;aACpF,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC1B,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;gBACzF,KAAK,GAAG,IAAI,CAAC;QACjB,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC7B,2DAA2D;YAC3D,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC;gBAAE,KAAK,GAAG,IAAI,CAAC;QACpD,CAAC;aAAM,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,KAAK,GAAG,IAAI,CAAC;QACtD,OAAO,CAAC,KAAK,IAAI,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;YAAE,KAAK,GAAG,IAAI,CAAC;QACtF,OAAO,CAAC,KAAK,IAAI,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC;IACF,IAAI,CAAC,CAAC,CAAC,CAAC;IACR,OAAO,KAAK,CAAC;AACf,CAAC;AAED;4BAC4B;AAC5B,SAAS,UAAU,CACjB,QAAgB,EAChB,IAA2B,EAC3B,IAAY,EACZ,GAAmD,EACnD,GAAW;IAEX,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC;IAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IACvF,MAAM,QAAQ,GAAG,CAAC,IAAgB,EAAU,EAAE,CAAC,CAAC;QAC9C,IAAI,EAAE,aAAa;QACnB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,GAAG,EAAE,IAAI,CAAC,GAAG;QACb,KAAK,EAAE,QAAQ;QACf,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,GAAG;KACJ,CAAC,CAAC;IACH,IAAI,MAAM,GAAG,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,CAAC;IAC3E,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;QACtB,MAAM,GAAG;YACP,IAAI,EAAE,SAAS;YACf,IAAI,EAAE;gBACJ,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,GAAG,EAAE,IAAI,CAAC,GAAG;gBACb,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,QAAQ;gBACf,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ;YACD,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;YAC/B,KAAK,EAAE,MAAM;YACb,IAAI;YACJ,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/frontend/lowering/iterable-values.d.ts

@@ -0,0 +1,49 @@
+import * as ts from "../ts7/adapter.js";
+import { type IrExpr, type IrStmt, type IrType } from "../../ir/ir.js";
+import { type Lowerer } from "./lowerer.js";
+import { type GenType } from "./lower-generators.js";
+/** An iterable union and the tags of its arms. */
+export interface IterableUnion {
+    unionId: string;
+    type: IrType & {
+        kind: "union";
+    };
+    elem: IrType;
+    arms: readonly IrType[];
+    /** The generator arm: a sync generator over `elem`. */
+    gen: GenType;
+}
+/** The iterable union `t` names, or null. */
+export declare function iterableUnionOf(lowerer: Lowerer, t: IrType): IterableUnion | null;
+/** The generator arm of an iterable union (what a generator function
+ * declared to return Iterable<T> returns), or `t` itself. */
+export declare function iterableGeneratorArm(lowerer: Lowerer, t: IrType): IrType;
+/** A value flowing into an iterable-typed slot, optional or nullable
+ * ones included: a source arm wraps as itself; a generator over other
+ * channel types or a checked-dynamic iterator (a Map or Set iterator)
+ * adapts into the generator arm. Null when neither applies, leaving the
+ * ordinary conversion fences to refuse other sources (class iterables,
+ * typed arrays, other element types). */
+export declare function iterableSlotValue(lowerer: Lowerer, expr: IrExpr, expected: IrType): IrExpr | null;
+/** GetIterator on an iterable union value: an interned helper answering a
+ * generator over the current arm — a fresh live walk of an array, Set, Map
+ * or string, or the generator arm itself. */
+export declare function iterableGenerator(lowerer: Lowerer, value: IrExpr, info: IterableUnion): IrExpr;
+/** `for (x of iterable)` over an iterable union:
+ *
+ *   { const %src = <iterable>;
+ *     if (%src is the array arm) {
+ *       const %arr = <array arm>;
+ *       for (let %cur = 0; %cur < %arr.length; %cur++) { const x = %arr[%cur]; <body> }
+ *     } else {
+ *       for (const x of GetIterator(%src)) <body>     // the generator for-of
+ *     }
+ *   }
+ *
+ * The array arm walks exactly like an array for-of (live length, the
+ * backend's dense-array loop forms), so an Iterable holding an array
+ * iterates at array speed; every other arm drives its iterator with the
+ * generator for-of's IteratorClose rules. The body lowers once for each
+ * loop; a body that declares a class lowers only once, in the generator
+ * for-of over every arm. */
+export declare function lowerForOfIterable(lowerer: Lowerer, stmt: ts.ForOfStatement, iterable: IrExpr, info: IterableUnion, labels?: string[]): IrStmt;