@scriptc/compiler 0.4.7 → 0.4.8

package/dist/frontend/lowering/builtin-statics.js

@@ -0,0 +1,407 @@
+/** Static members of builtin constructors read through untyped values
+ * (`globalThis[name].resolve`, `this.Promise.resolve` in a sloppy-mode
+ * function, `o.constructor.keys`). The runtime answers Node's own static
+ * members of the builtin constructor values (scr_builtin_values.c): the
+ * numeric constants, and functions with Node's name and length that throw
+ * SC1090 when called. Once a constructor has a property table, they are own
+ * properties of it with Node's attributes. A program that holds builtin
+ * constructor values installs a lookup (`%builtin.staticValue`) answering
+ * the members it has function values for with the values their static
+ * spellings read, so `globalThis.Object.keys === Object.keys`. */
+import { BOOL, DYN, F64, STRING, SYMBOL_T, funcOf, } from "../../ir/ir.js";
+import { varRef } from "../../ir/build.js";
+import { everyStmtList } from "../../ir/traverse.js";
+import { own } from "./lowerer.js";
+import { OBJECT_CALLABLE_VALUES } from "./surfaces.js";
+import { lowerArrayIsArrayValue, lowerNumberParserValue, lowerObjectAssignValue, lowerStringCodesValue, } from "./lower-builtin-values.js";
+import { lowerArrayFromValue } from "./containers/array-construction.js";
+import { numberPredicateValue } from "./builtins/numbers.js";
+const LOOKUP_FN = "%builtin.staticValue";
+/** The static members of `owner` that `constructorStaticValue` answers,
+ * with Node's length for each. */
+function staticValueMembers(owner) {
+    switch (owner) {
+        case "Object":
+            return {
+                assign: 2,
+                freeze: 1,
+                is: 2,
+                create: 2,
+                defineProperty: 3,
+                getOwnPropertyDescriptor: 2,
+                getOwnPropertyDescriptors: 1,
+                defineProperties: 2,
+                hasOwn: 2,
+                keys: 1,
+                values: 1,
+                entries: 1,
+                fromEntries: 1,
+                getOwnPropertySymbols: 1,
+                getOwnPropertyNames: 1,
+                getPrototypeOf: 1,
+            };
+        case "Array":
+            return { isArray: 1, from: 1 };
+        case "String":
+            return { fromCharCode: 1, fromCodePoint: 1 };
+        case "Number":
+            return { isFinite: 1, isNaN: 1, isInteger: 1, isSafeInteger: 1, parseFloat: 1, parseInt: 2 };
+        case "Date":
+            return { now: 0 };
+        case "Error":
+            return { captureStackTrace: 2 };
+        case "Symbol": {
+            const members = { for: 1, keyFor: 1 };
+            for (const key of WELL_KNOWN_SYMBOLS)
+                members[key] = SYMBOL_CONSTANT;
+            return members;
+        }
+        default:
+            return {};
+    }
+}
+/** Node 24's well-known symbols, the Symbol constructor's constant
+ * members. */
+const WELL_KNOWN_SYMBOLS = [
+    "asyncIterator",
+    "hasInstance",
+    "isConcatSpreadable",
+    "iterator",
+    "match",
+    "matchAll",
+    "replace",
+    "search",
+    "species",
+    "split",
+    "toPrimitive",
+    "toStringTag",
+    "unscopables",
+    "dispose",
+    "asyncDispose",
+];
+/** The length staticValueMembers gives a well-known symbol: the lookup
+ * answers it whether or not the program names it. */
+const SYMBOL_CONSTANT = -1;
+/** The compiled closures the primitive constructors read as (lower-exprs.ts
+ * primitiveCtorClosure, and Symbol's in global-function-values.ts). The
+ * runtime does not intern them, so the lookup names their constructor when
+ * the runtime asks for the key "". */
+const PRIMITIVE_CONSTRUCTORS = new Map([
+    ["%builtin.String", "String"],
+    ["%builtin.String.dyn", "String"],
+    ["%builtin.Number", "Number"],
+    ["%builtin.Number.dyn", "Number"],
+    ["%builtin.Boolean", "Boolean"],
+    ["%builtin.Boolean.dyn", "Boolean"],
+    ["%builtin.BigInt", "BigInt"],
+    ["%builtin.BigInt.dyn", "BigInt"],
+    ["%builtin.global.Symbol", "Symbol"],
+]);
+/** The function value the static spelling `owner.key` reads, or null when
+ * the member has none. */
+export function constructorStaticValue(lowerer, owner, key, loc) {
+    switch (owner) {
+        case "Object": {
+            if (key === "assign")
+                return lowerObjectAssignValue(lowerer, loc);
+            if (key === "freeze")
+                return objectFreezeValue(lowerer, loc);
+            const fn = own(OBJECT_CALLABLE_VALUES, key);
+            return fn ? lowerer.lowerNativeCallableValue(fn, `Object.${key}`, loc) : null;
+        }
+        case "Array":
+            if (key === "isArray")
+                return lowerArrayIsArrayValue(lowerer, loc);
+            return key === "from" ? lowerArrayFromValue(lowerer, loc) : null;
+        case "String":
+            return key === "fromCharCode" || key === "fromCodePoint"
+                ? lowerStringCodesValue(lowerer, key, loc)
+                : null;
+        case "Number":
+            return key === "parseInt" || key === "parseFloat"
+                ? lowerNumberParserValue(lowerer, key, loc)
+                : numberPredicateValue(lowerer, key, loc);
+        case "Date":
+            return key === "now"
+                ? lowerer.lowerNativeCallableValue({ fn: "date.now", params: [], result: F64, valueParams: [] }, "Date.now", loc)
+                : null;
+        case "Symbol":
+            return symbolStaticValue(lowerer, key, loc);
+        case "Error":
+            return key === "captureStackTrace"
+                ? { kind: "libCall", fn: "dyn.errorCaptureStackTraceFunction", args: [], type: DYN, loc }
+                : null;
+        default:
+            return null;
+    }
+}
+/** Symbol.for, Symbol.keyFor and the well-known symbols. */
+function symbolStaticValue(lowerer, key, loc) {
+    if (WELL_KNOWN_SYMBOLS.includes(key))
+        return {
+            kind: "dynFrom",
+            value: {
+                kind: "libCall",
+                fn: "sym.wellKnown",
+                args: [{ kind: "strLit", value: key, type: STRING, loc }],
+                type: SYMBOL_T,
+                loc,
+            },
+            type: DYN,
+            loc,
+        };
+    if (key !== "for" && key !== "keyFor")
+        return null;
+    const name = `%builtin.Symbol.${key}`;
+    const argument = varRef("value", DYN, loc);
+    const value = key === "for"
+        ? {
+            kind: "dynFrom",
+            value: {
+                kind: "libCall",
+                fn: "sym.for",
+                args: [
+                    { kind: "libCall", fn: "dyn.toStringCoerce", args: [argument], type: STRING, loc },
+                ],
+                type: SYMBOL_T,
+                loc,
+            },
+            type: DYN,
+            loc,
+        }
+        : { kind: "libCall", fn: "sym.keyForDyn", args: [argument], type: DYN, loc };
+    if (!lowerer.liftedFns.some((fn) => fn.name === name))
+        lowerer.liftedFns.push({
+            name,
+            params: [{ localId: "value", name: "value", type: DYN }],
+            locals: [{ id: "value", name: "value", type: DYN, mutable: false }],
+            returnType: DYN,
+            body: [{ kind: "return", value, loc }],
+            loc,
+        });
+    return { kind: "closure", fnName: name, captures: [], type: funcOf([DYN], DYN), loc };
+}
+/** Object.freeze as a function value. It can freeze any untyped value it
+ * is passed, so the program keeps integrity words on untyped values. */
+export function objectFreezeValue(lowerer, loc) {
+    lowerer.untypedIntegrity = true;
+    const name = "%builtin.Object.freeze";
+    if (!lowerer.liftedFns.some((fn) => fn.name === name))
+        lowerer.liftedFns.push({
+            name,
+            params: [{ localId: "value", name: "value", type: DYN }],
+            locals: [{ id: "value", name: "value", type: DYN, mutable: false }],
+            returnType: DYN,
+            body: [
+                {
+                    kind: "return",
+                    value: {
+                        kind: "libCall",
+                        fn: "dyn.freeze",
+                        args: [varRef("value", DYN, loc)],
+                        type: DYN,
+                        loc,
+                    },
+                    loc,
+                },
+            ],
+            loc,
+        });
+    return { kind: "closure", fnName: name, captures: [], type: funcOf([DYN], DYN), loc };
+}
+function constructorValueOf(expr) {
+    if (expr.kind === "libCall") {
+        const arg = expr.args[0];
+        const fn = expr.fn;
+        const owner = fn === "dyn.globalConstructor"
+            ? arg?.kind === "strLit"
+                ? arg.value
+                : null
+            : fn === "dyn.arrayConstructor"
+                ? "Array"
+                : fn === "arrayBuffer.constructor"
+                    ? "ArrayBuffer"
+                    : null;
+        if (owner === null)
+            return null;
+        const args = fn === "dyn.globalConstructor" ? [owner] : [];
+        return {
+            owner,
+            key: owner,
+            read: (loc) => ({
+                kind: "libCall",
+                fn,
+                args: args.map((value) => ({ kind: "strLit", value, type: STRING, loc })),
+                type: DYN,
+                loc,
+            }),
+            interned: true,
+        };
+    }
+    if (expr.kind === "dynFrom" &&
+        expr.value.kind === "closure" &&
+        expr.value.captures.length === 0) {
+        const closure = expr.value;
+        const owner = PRIMITIVE_CONSTRUCTORS.get(closure.fnName);
+        if (owner === undefined)
+            return null;
+        return {
+            owner,
+            key: closure.fnName,
+            read: (loc) => ({
+                kind: "dynFrom",
+                value: { kind: "closure", fnName: closure.fnName, captures: [], type: closure.type, loc },
+                type: DYN,
+                loc,
+            }),
+            interned: false,
+        };
+    }
+    return null;
+}
+/** Installs the program's static-member lookup at the start of the entry
+ * module when `functions` read a builtin constructor value or a
+ * `constructor` member of an untyped value. The lookup answers the static
+ * members with function values whose names the program spells (as a
+ * member name or a string), and the runtime the others. */
+export function installBuiltinStatics(lowerer, functions) {
+    const entryInit = lowerer.initNameOf.get(lowerer.entry);
+    const entry = functions.find((fn) => fn.name === entryInit);
+    if (entry === undefined)
+        return;
+    const values = new Map();
+    const names = new Set();
+    let readsConstructor = false;
+    for (const fn of functions) {
+        everyStmtList(fn.body, {
+            expr: (expr) => {
+                if (expr.kind === "strLit")
+                    names.add(expr.value);
+                else if (expr.kind === "dynHasKey")
+                    names.add(expr.key);
+                else if (expr.kind === "dynInvoke")
+                    names.add(expr.method);
+                if (expr.kind === "dynKeyGet" &&
+                    expr.key.kind === "strLit" &&
+                    expr.key.value === "constructor")
+                    readsConstructor = true;
+                const value = constructorValueOf(expr);
+                if (value !== null && !values.has(value.key))
+                    values.set(value.key, value);
+                return true;
+            },
+            stmt: () => true,
+        });
+    }
+    if (values.size === 0 && !readsConstructor)
+        return;
+    // A `constructor` member of an untyped value can be one of the
+    // constructors the runtime answers it with, whose static members then
+    // need their function values too (`JSON.parse(text).constructor.keys`).
+    if (readsConstructor)
+        for (const owner of ["Object", "Array", "Date", "Error"]) {
+            const value = constructorValueOf(owner === "Array"
+                ? { kind: "libCall", fn: "dyn.arrayConstructor", args: [], type: DYN, loc: entry.loc }
+                : {
+                    kind: "libCall",
+                    fn: "dyn.globalConstructor",
+                    args: [{ kind: "strLit", value: owner, type: STRING, loc: entry.loc }],
+                    type: DYN,
+                    loc: entry.loc,
+                });
+            if (value !== null && !values.has(value.key))
+                values.set(value.key, value);
+        }
+    const loc = { ...entry.loc, end: entry.loc.start };
+    const lifted = lowerer.liftedFns.length;
+    if (!lowerer.liftedFns.some((fn) => fn.name === LOOKUP_FN)) {
+        const value = { kind: "varRef", localId: "value.0", type: DYN, loc };
+        const key = { kind: "varRef", localId: "key.0", type: STRING, loc };
+        const body = [];
+        for (const constructor of values.values()) {
+            // The key "" asks which constructor a value the runtime does not
+            // intern is (scr_bv_owner_of).
+            const members = constructor.interned
+                ? []
+                : [
+                    ifKey(key, "", lowerer.coerceToExpected({ kind: "strLit", value: constructor.owner, type: STRING, loc }, DYN), loc),
+                ];
+            const lengths = staticValueMembers(constructor.owner);
+            for (const member of Object.keys(lengths)) {
+                if (!names.has(member) && lengths[member] !== SYMBOL_CONSTANT)
+                    continue;
+                // Untyped values carry integrity words only in programs that can
+                // freeze them, which lowering has settled by now.
+                if (member === "freeze" && !lowerer.untypedIntegrity)
+                    continue;
+                const found = constructorStaticValue(lowerer, constructor.owner, member, loc);
+                if (found === null)
+                    continue;
+                const boxed = lowerer.coerceToExpected(found, DYN);
+                const named = boxed.kind === "dynFrom" && boxed.value.type.kind === "func"
+                    ? { ...boxed, fnName: member, fnLength: lengths[member] ?? 0 }
+                    : boxed;
+                members.push(ifKey(key, member, named, loc));
+            }
+            // The runtime answers the other members.
+            members.push({ kind: "return", value: nullValue(lowerer, loc), loc });
+            body.push({
+                kind: "if",
+                cond: { kind: "dynScalarEq", left: value, right: constructor.read(loc), type: BOOL, loc },
+                then: members,
+                else_: null,
+                loc,
+            });
+        }
+        body.push({ kind: "return", value: nullValue(lowerer, loc), loc });
+        lowerer.liftedFns.push({
+            name: LOOKUP_FN,
+            params: [
+                { localId: "value.0", name: "value", type: DYN },
+                { localId: "key.0", name: "key", type: STRING },
+            ],
+            returnType: DYN,
+            locals: [
+                { id: "value.0", name: "value", type: DYN, mutable: false },
+                { id: "key.0", name: "key", type: STRING, mutable: false },
+            ],
+            body,
+            loc,
+        });
+    }
+    functions.push(...lowerer.liftedFns.slice(lifted));
+    const fnType = { kind: "func", params: [DYN, STRING], ret: DYN };
+    entry.body.unshift({
+        kind: "exprStmt",
+        expr: {
+            kind: "libCall",
+            fn: "dyn.installBuiltinStatics",
+            args: [
+                lowerer.coerceToExpected({ kind: "closure", fnName: LOOKUP_FN, captures: [], type: fnType, loc }, DYN),
+            ],
+            type: { kind: "void" },
+            loc,
+        },
+        loc,
+    });
+}
+function ifKey(key, member, value, loc) {
+    return {
+        kind: "if",
+        cond: {
+            kind: "strEq",
+            negated: false,
+            left: key,
+            right: { kind: "strLit", value: member, type: STRING, loc },
+            type: BOOL,
+            loc,
+        },
+        then: [{ kind: "return", value, loc }],
+        else_: null,
+        loc,
+    };
+}
+function nullValue(lowerer, loc) {
+    return lowerer.coerceToExpected({ kind: "unitLit", unit: "null", type: { kind: "nullT" }, loc }, DYN);
+}
+//# sourceMappingURL=builtin-statics.js.map

package/dist/frontend/lowering/builtin-statics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"builtin-statics.js","sourceRoot":"","sources":["../../../src/frontend/lowering/builtin-statics.ts"],"names":[],"mappings":"AAAA;;;;;;;;;kEASkE;AAClE,OAAO,EACL,IAAI,EACJ,GAAG,EACH,GAAG,EACH,MAAM,EACN,QAAQ,EAMR,MAAM,GACP,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,GAAG,EAAgB,MAAM,cAAc,CAAC;AACjD,OAAO,EAAE,sBAAsB,EAAE,MAAM,eAAe,CAAC;AACvD,OAAO,EACL,sBAAsB,EACtB,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,GACtB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAE7D,MAAM,SAAS,GAAG,sBAAsB,CAAC;AAEzC;kCACkC;AAClC,SAAS,kBAAkB,CAAC,KAAa;IACvC,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,QAAQ;YACX,OAAO;gBACL,MAAM,EAAE,CAAC;gBACT,MAAM,EAAE,CAAC;gBACT,EAAE,EAAE,CAAC;gBACL,MAAM,EAAE,CAAC;gBACT,cAAc,EAAE,CAAC;gBACjB,wBAAwB,EAAE,CAAC;gBAC3B,yBAAyB,EAAE,CAAC;gBAC5B,gBAAgB,EAAE,CAAC;gBACnB,MAAM,EAAE,CAAC;gBACT,IAAI,EAAE,CAAC;gBACP,MAAM,EAAE,CAAC;gBACT,OAAO,EAAE,CAAC;gBACV,WAAW,EAAE,CAAC;gBACd,qBAAqB,EAAE,CAAC;gBACxB,mBAAmB,EAAE,CAAC;gBACtB,cAAc,EAAE,CAAC;aAClB,CAAC;QACJ,KAAK,OAAO;YACV,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QACjC,KAAK,QAAQ;YACX,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC;QAC/C,KAAK,QAAQ;YACX,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;QAC/F,KAAK,MAAM;YACT,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;QACpB,KAAK,OAAO;YACV,OAAO,EAAE,iBAAiB,EAAE,CAAC,EAAE,CAAC;QAClC,KAAK,QAAQ,EAAE,CAAC;YACd,MAAM,OAAO,GAA2B,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;YAC9D,KAAK,MAAM,GAAG,IAAI,kBAAkB;gBAAE,OAAO,CAAC,GAAG,CAAC,GAAG,eAAe,CAAC;YACrE,OAAO,OAAO,CAAC;QACjB,CAAC;QACD;YACE,OAAO,EAAE,CAAC;IACd,CAAC;AACH,CAAC;AAED;cACc;AACd,MAAM,kBAAkB,GAAG;IACzB,eAAe;IACf,aAAa;IACb,oBAAoB;IACpB,UAAU;IACV,OAAO;IACP,UAAU;IACV,SAAS;IACT,QAAQ;IACR,SAAS;IACT,OAAO;IACP,aAAa;IACb,aAAa;IACb,aAAa;IACb,SAAS;IACT,cAAc;CACf,CAAC;AAEF;qDACqD;AACrD,MAAM,eAAe,GAAG,CAAC,CAAC,CAAC;AAE3B;;;sCAGsC;AACtC,MAAM,sBAAsB,GAAgC,IAAI,GAAG,CAAC;IAClE,CAAC,iBAAiB,EAAE,QAAQ,CAAC;IAC7B,CAAC,qBAAqB,EAAE,QAAQ,CAAC;IACjC,CAAC,iBAAiB,EAAE,QAAQ,CAAC;IAC7B,CAAC,qBAAqB,EAAE,QAAQ,CAAC;IACjC,CAAC,kBAAkB,EAAE,SAAS,CAAC;IAC/B,CAAC,sBAAsB,EAAE,SAAS,CAAC;IACnC,CAAC,iBAAiB,EAAE,QAAQ,CAAC;IAC7B,CAAC,qBAAqB,EAAE,QAAQ,CAAC;IACjC,CAAC,wBAAwB,EAAE,QAAQ,CAAC;CACrC,CAAC,CAAC;AAEH;0BAC0B;AAC1B,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,KAAa,EACb,GAAW,EACX,GAAW;IAEX,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,QAAQ,EAAE,CAAC;YACd,IAAI,GAAG,KAAK,QAAQ;gBAAE,OAAO,sBAAsB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;YAClE,IAAI,GAAG,KAAK,QAAQ;gBAAE,OAAO,iBAAiB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;YAC7D,MAAM,EAAE,GAAG,GAAG,CAAC,sBAAsB,EAAE,GAAG,CAAC,CAAC;YAC5C,OAAO,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,wBAAwB,CAAC,EAAE,EAAE,UAAU,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAChF,CAAC;QACD,KAAK,OAAO;YACV,IAAI,GAAG,KAAK,SAAS;gBAAE,OAAO,sBAAsB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;YACnE,OAAO,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACnE,KAAK,QAAQ;YACX,OAAO,GAAG,KAAK,cAAc,IAAI,GAAG,KAAK,eAAe;gBACtD,CAAC,CAAC,qBAAqB,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC;gBAC1C,CAAC,CAAC,IAAI,CAAC;QACX,KAAK,QAAQ;YACX,OAAO,GAAG,KAAK,UAAU,IAAI,GAAG,KAAK,YAAY;gBAC/C,CAAC,CAAC,sBAAsB,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC;gBAC3C,CAAC,CAAC,oBAAoB,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC9C,KAAK,MAAM;YACT,OAAO,GAAG,KAAK,KAAK;gBAClB,CAAC,CAAC,OAAO,CAAC,wBAAwB,CAC9B,EAAE,EAAE,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,EAAE,EAAE,EAC5D,UAAU,EACV,GAAG,CACJ;gBACH,CAAC,CAAC,IAAI,CAAC;QACX,KAAK,QAAQ;YACX,OAAO,iBAAiB,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC9C,KAAK,OAAO;YACV,OAAO,GAAG,KAAK,mBAAmB;gBAChC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,oCAAoC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;gBACzF,CAAC,CAAC,IAAI,CAAC;QACX;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,4DAA4D;AAC5D,SAAS,iBAAiB,CAAC,OAAgB,EAAE,GAAW,EAAE,GAAW;IACnE,IAAI,kBAAkB,CAAC,QAAQ,CAAC,GAAG,CAAC;QAClC,OAAO;YACL,IAAI,EAAE,SAAS;YACf,KAAK,EAAE;gBACL,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,eAAe;gBACnB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;gBACzD,IAAI,EAAE,QAAQ;gBACd,GAAG;aACJ;YACD,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;IACJ,IAAI,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACnD,MAAM,IAAI,GAAG,mBAAmB,GAAG,EAAE,CAAC;IACtC,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAC3C,MAAM,KAAK,GACT,GAAG,KAAK,KAAK;QACX,CAAC,CAAC;YACE,IAAI,EAAE,SAAS;YACf,KAAK,EAAE;gBACL,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,SAAS;gBACb,IAAI,EAAE;oBACJ,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,oBAAoB,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;iBACnF;gBACD,IAAI,EAAE,QAAQ;gBACd,GAAG;aACJ;YACD,IAAI,EAAE,GAAG;YACT,GAAG;SACJ;QACH,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACjF,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC;QACnD,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI;YACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YACxD,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YACnE,UAAU,EAAE,GAAG;YACf,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;YACtC,GAAG;SACJ,CAAC,CAAC;IACL,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC;AACxF,CAAC;AAED;wEACwE;AACxE,MAAM,UAAU,iBAAiB,CAAC,OAAgB,EAAE,GAAW;IAC7D,OAAO,CAAC,gBAAgB,GAAG,IAAI,CAAC;IAChC,MAAM,IAAI,GAAG,wBAAwB,CAAC;IACtC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC;QACnD,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI;YACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YACxD,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YACnE,UAAU,EAAE,GAAG;YACf,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE;wBACL,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,YAAY;wBAChB,IAAI,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;wBACjC,IAAI,EAAE,GAAG;wBACT,GAAG;qBACJ;oBACD,GAAG;iBACJ;aACF;YACD,GAAG;SACJ,CAAC,CAAC;IACL,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC;AACxF,CAAC;AAYD,SAAS,kBAAkB,CAAC,IAAY;IACtC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;QACnB,MAAM,KAAK,GACT,EAAE,KAAK,uBAAuB;YAC5B,CAAC,CAAC,GAAG,EAAE,IAAI,KAAK,QAAQ;gBACtB,CAAC,CAAC,GAAG,CAAC,KAAK;gBACX,CAAC,CAAC,IAAI;YACR,CAAC,CAAC,EAAE,KAAK,sBAAsB;gBAC7B,CAAC,CAAC,OAAO;gBACT,CAAC,CAAC,EAAE,KAAK,yBAAyB;oBAChC,CAAC,CAAC,aAAa;oBACf,CAAC,CAAC,IAAI,CAAC;QACf,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAChC,MAAM,IAAI,GAAG,EAAE,KAAK,uBAAuB,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3D,OAAO;YACL,KAAK;YACL,GAAG,EAAE,KAAK;YACV,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBACd,IAAI,EAAE,SAAS;gBACf,EAAE;gBACF,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;gBACzE,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ,CAAC;YACF,QAAQ,EAAE,IAAI;SACf,CAAC;IACJ,CAAC;IACD,IACE,IAAI,CAAC,IAAI,KAAK,SAAS;QACvB,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;QAC7B,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAChC,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC;QAC3B,MAAM,KAAK,GAAG,sBAAsB,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACzD,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACrC,OAAO;YACL,KAAK;YACL,GAAG,EAAE,OAAO,CAAC,MAAM;YACnB,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBACd,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,EAAE;gBACzF,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ,CAAC;YACF,QAAQ,EAAE,KAAK;SAChB,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;2DAI2D;AAC3D,MAAM,UAAU,qBAAqB,CAAC,OAAgB,EAAE,SAAuB;IAC7E,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACxD,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IAC5D,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO;IAChC,MAAM,MAAM,GAAG,IAAI,GAAG,EAA4B,CAAC;IACnD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,IAAI,gBAAgB,GAAG,KAAK,CAAC;IAC7B,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;QAC3B,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;YACrB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;gBACb,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;oBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;qBAC7C,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;oBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;qBACnD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;oBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAC3D,IACE,IAAI,CAAC,IAAI,KAAK,WAAW;oBACzB,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;oBAC1B,IAAI,CAAC,GAAG,CAAC,KAAK,KAAK,aAAa;oBAEhC,gBAAgB,GAAG,IAAI,CAAC;gBAC1B,MAAM,KAAK,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;gBACvC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC;oBAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;gBAC3E,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;SACjB,CAAC,CAAC;IACL,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,gBAAgB;QAAE,OAAO;IACnD,+DAA+D;IAC/D,sEAAsE;IACtE,wEAAwE;IACxE,IAAI,gBAAgB;QAClB,KAAK,MAAM,KAAK,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;YACzD,MAAM,KAAK,GAAG,kBAAkB,CAC9B,KAAK,KAAK,OAAO;gBACf,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,sBAAsB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE;gBACtF,CAAC,CAAC;oBACE,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,uBAAuB;oBAC3B,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC;oBACtE,IAAI,EAAE,GAAG;oBACT,GAAG,EAAE,KAAK,CAAC,GAAG;iBACf,CACN,CAAC;YACF,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC7E,CAAC;IACH,MAAM,GAAG,GAAW,EAAE,GAAG,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;IAC3D,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,CAAC;QAC3D,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAC7E,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;QAC5E,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,KAAK,MAAM,WAAW,IAAI,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;YAC1C,iEAAiE;YACjE,+BAA+B;YAC/B,MAAM,OAAO,GAAa,WAAW,CAAC,QAAQ;gBAC5C,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC;oBACE,KAAK,CACH,GAAG,EACH,EAAE,EACF,OAAO,CAAC,gBAAgB,CACtB,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,EAC/D,GAAG,CACJ,EACD,GAAG,CACJ;iBACF,CAAC;YACN,MAAM,OAAO,GAAG,kBAAkB,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;YACtD,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC1C,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,eAAe;oBAAE,SAAS;gBACxE,iEAAiE;gBACjE,kDAAkD;gBAClD,IAAI,MAAM,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,gBAAgB;oBAAE,SAAS;gBAC/D,MAAM,KAAK,GAAG,sBAAsB,CAAC,OAAO,EAAE,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;gBAC9E,IAAI,KAAK,KAAK,IAAI;oBAAE,SAAS;gBAC7B,MAAM,KAAK,GAAG,OAAO,CAAC,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBACnD,MAAM,KAAK,GACT,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;oBAC1D,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE;oBAC9D,CAAC,CAAC,KAAK,CAAC;gBACZ,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;YAC/C,CAAC;YACD,yCAAyC;YACzC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;YACtE,IAAI,CAAC,IAAI,CAAC;gBACR,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACzF,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE,IAAI;gBACX,GAAG;aACJ,CAAC,CAAC;QACL,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;QACnE,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI,EAAE,SAAS;YACf,MAAM,EAAE;gBACN,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE;gBAChD,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE;aAChD;YACD,UAAU,EAAE,GAAG;YACf,MAAM,EAAE;gBACN,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;gBAC3D,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE;aAC3D;YACD,IAAI;YACJ,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,SAAS,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IACnD,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACzE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC;QACjB,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE;YACJ,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,2BAA2B;YAC/B,IAAI,EAAE;gBACJ,OAAO,CAAC,gBAAgB,CACtB,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,EACvE,GAAG,CACJ;aACF;YACD,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;YACtB,GAAG;SACJ;QACD,GAAG;KACJ,CAAC,CAAC;AACL,CAAC;AAED,SAAS,KAAK,CAAC,GAAW,EAAE,MAAc,EAAE,KAAa,EAAE,GAAW;IACpE,OAAO;QACL,IAAI,EAAE,IAAI;QACV,IAAI,EAAE;YACJ,IAAI,EAAE,OAAO;YACb,OAAO,EAAE,KAAK;YACd,IAAI,EAAE,GAAG;YACT,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;YAC3D,IAAI,EAAE,IAAI;YACV,GAAG;SACJ;QACD,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QACtC,KAAK,EAAE,IAAI;QACX,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,OAAgB,EAAE,GAAW;IAC9C,OAAO,OAAO,CAAC,gBAAgB,CAC7B,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,EAC/D,GAAG,CACJ,CAAC;AACJ,CAAC"}

package/dist/frontend/lowering/builtins/arguments.d.ts

@@ -1,6 +1,10 @@
 import { type IrExpr, type IrLibFn, type IrType, type SrcLoc } from "../../../ir/ir.js";
 import * as ts from "../../ts7/adapter.js";
 import { type Lowerer } from "../lowerer.js";
+/** Side-effect-free read shapes — identifiers and (optional) property
+ * access chains over them (`options?.input`) — the shapes a lowering may
+ * evaluate more than once (the readOpt re-read discipline). */
+export declare function isPureReadShape(e: ts.Expression): boolean;
 export declare function optionalStringTags(lowerer: Lowerer, type: IrType): {
     stringTag: number;
     undefinedTag: number;

package/dist/frontend/lowering/builtins/arguments.js

@@ -8,6 +8,18 @@ import { lowerAbsenceProbe } from "../lower-exprs.js";
 import { bodyReadsArguments } from "../../arguments-usage.js";
 import { defaultAfterUndefined, lowerStaticallyUndefinedArgument } from "../optional-arguments.js";
 import { voidizedCallback } from "../lower-server.js";
+/** Side-effect-free read shapes — identifiers and (optional) property
+ * access chains over them (`options?.input`) — the shapes a lowering may
+ * evaluate more than once (the readOpt re-read discipline). */
+export function isPureReadShape(e) {
+    if (ts.isIdentifier(e) || e.kind === ts.SyntaxKind.ThisKeyword)
+        return true;
+    if (ts.isPropertyAccessExpression(e))
+        return isPureReadShape(e.expression);
+    if (ts.isParenthesizedExpression(e) || ts.isNonNullExpression(e))
+        return isPureReadShape(e.expression);
+    return false;
+}
 export function optionalStringTags(lowerer, type) {
     if (type.kind !== "union")
         return null;

package/dist/frontend/lowering/builtins/arguments.js.map

@@ -1 +1 @@
-{"version":3,"file":"arguments.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/arguments.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EACL,QAAQ,EACR,IAAI,EACJ,GAAG,EACH,GAAG,EAIH,MAAM,EAEN,WAAW,EACX,IAAI,EACJ,MAAM,EACN,UAAU,EACV,UAAU,EACV,OAAO,GACR,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EAAE,qBAAqB,EAAE,gCAAgC,EAAE,MAAM,0BAA0B,CAAC;AACnG,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,IAAY;IAEZ,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACvC,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7C,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/C,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACvD,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAC/D,OAAO,SAAS,IAAI,CAAC,IAAI,YAAY,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAClF,CAAC;AACD,MAAM,UAAU,oCAAoC,CAClD,OAAgB,EAChB,IAAmB;IAEnB,OAAO,CACL,OAAO,CAAC,8BAA8B,CAAC,IAAI,CAAC,EAAE,KAAK;QACnD,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC;QAChC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CACxB,CAAC;AACJ,CAAC;AACD,MAAM,UAAU,yBAAyB,CACvC,OAAgB,EAChB,KAAa,EACb,MAAc;IAEd,MAAM,OAAO,GAAG,OAAO,CAAC,uBAAuB,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACpE,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACtD,MAAM,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IAC7E,OAAO,MAAM;QACX,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE;QAC/E,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AACD,MAAM,UAAU,4BAA4B,CAC1C,OAAgB,EAChB,KAAa,EACb,EAAW,EACX,GAAW;IAEX,qEAAqE;IACrE,yEAAyE;IACzE,uEAAuE;IACvE,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC;IAC3B,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IACpE,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvF,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,SAAS,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3D,MAAM,GAAG,GAAG,4BAA4B,EAAE,IAAI,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;IACjE,IAAI,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC3C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,GAAG,eAAe,CAAC,OAAO,EAAE,2BAA2B,EAAE,GAAG,CAAC,CAAC;QACpE,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACtC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;QAC9C,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YAC9D,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YACzE,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,IAAI;oBACV,IAAI,EACF,OAAO,CAAC,IAAI,KAAK,KAAK;wBACpB,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;wBACnF,CAAC,CAAC;4BACE,IAAI,EAAE,YAAY;4BAClB,OAAO,EAAE,OAAO,CAAC,OAAO;4BACxB,GAAG,EAAE,SAAS;4BACd,OAAO,EAAE,IAAI;4BACb,KAAK,EAAE,KAAK;4BACZ,IAAI,EAAE,IAAI;4BACV,GAAG;yBACJ;oBACP,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC;oBAC3D,KAAK,EAAE,IAAI;oBACX,GAAG;iBACJ;gBACD;oBACE,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE;wBACL,IAAI,EAAE,SAAS;wBACf,EAAE;wBACF,IAAI,EAAE;4BACJ,OAAO,CAAC,IAAI,KAAK,KAAK;gCACpB,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;gCACpD,CAAC,CAAC;oCACE,IAAI,EAAE,aAAa;oCACnB,OAAO,EAAE,OAAO,CAAC,OAAO;oCACxB,GAAG,EAAE,SAAS;oCACd,KAAK,EAAE,KAAK;oCACZ,IAAI,EAAE,GAAG;oCACT,GAAG;iCACJ;yBACN;wBACD,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD,GAAG;iBACJ;aACF;YACD,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAC1E,CAAC;AACD;;0EAE0E;AAC1E,MAAM,UAAU,2BAA2B,CACzC,OAAgB,EAChB,IAAmB,EACnB,QAAgB,EAChB,IAAY,EACZ,aAAa,GAAG,KAAK;IAErB,MAAM,YAAY,GAAG,gCAAgC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACrE,IAAI,YAAY;QAAE,OAAO,qBAAqB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;IACnE,IAAI,aAAa,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5E,OAAO,qBAAqB,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IAC9D,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnD,MAAM,OAAO,GAAG,GAAG,EAAE,IAAI,CAAC,KAAK,CAC7B,CAAC,GAAG,EAAE,EAAE,CACN,UAAU,CAAC,GAAG,EAAE,QAAQ,CAAC;YACzB,GAAG,CAAC,IAAI,KAAK,YAAY;YACzB,CAAC,aAAa,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC,CAC1C,CAAC;QACF,IAAI,OAAO,IAAI,GAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YACxD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC;QACvF,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;AACnD,CAAC;AAED;;;4DAG4D;AAC5D,MAAM,UAAU,cAAc,CAAC,CAAgB;IAC7C,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,OACE,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC;QACjC,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC;QACtB,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC;QACvB,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC,EAC3B,CAAC;QACD,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC;IACvB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;wCAIwC;AACxC;;;;+BAI+B;AAC/B,MAAM,UAAU,kBAAkB,CAChC,IAAmB,EACnB,OAAiB,EACjB,QAAQ,GAAa,EAAE;IAEvB,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACrD,MAAM,KAAK,GAA4B,EAAE,CAAC;IAC1C,MAAM,KAAK,GAAkC,EAAE,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;QACtC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QACzE,IAAI,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC;YACnC,SAAS;QACX,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAChD,IAAI,CAAC,CAAC,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;aAC3E,IAAI,CAAC,CAAC,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;YAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;;YAClF,OAAO,IAAI,CAAC;IACnB,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAC1B,CAAC;AAED;;;4DAG4D;AAC5D,MAAM,UAAU,YAAY,CAC1B,CAA8B;IAE9B,IAAI,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1D,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IACrD,CAAC;IACD,IAAI,EAAE,CAAC,6BAA6B,CAAC,CAAC,CAAC,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,CAAC,CAAC,IAAqB,CAAC,CAAC,kCAAkC;QAC1E,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAC9C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,IAAmB,EACnB,GAAW,EACX,WAAW,GAAG,KAAK;IAEnB,OAAO,kBAAkB,CACvB,OAAO,EACP,IAAI,EACJ,GAAG,EACH,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,WAAW,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,EACxE,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,mBAAmB,CAClD,CAAC;AACJ,CAAC;AAED;sDACsD;AACtD,MAAM,UAAU,qBAAqB,CAAC,OAAgB,EAAE,IAAY;IAClE,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IACrC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC;IACxC,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7C,OAAO,CACL,CAAC,CAAC,GAAG;QACL,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC;QAC5C,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,SAAS,KAAK,QAAQ,CAAC;QAC3E,GAAG,CAAC,IAAI,CAAC,KAAK,CACZ,CAAC,GAAG,EAAE,EAAE,CACN,GAAG,CAAC,IAAI,KAAK,OAAO;YACpB,GAAG,CAAC,IAAI,KAAK,YAAY;YACzB,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,SAAS,KAAK,QAAQ,CAAC,CACxD,CACF,CAAC;AACJ,CAAC;AAED;;uEAEuE;AACvE,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,IAAmB,EACnB,GAAW,EACX,WAAuC,EACvC,MAAc;IAEd,sEAAsE;IACtE,4EAA4E;IAC5E,mEAAmE;IACnE,0DAA0D;IAC1D,IAAI,OAAO,GAAkB,IAAI,CAAC;IAClC,OAAO,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC;QAAE,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;IAC3E,IACE,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;QAC3B,CAAC,EAAE,CAAC,oBAAoB,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC;QAEhG,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC1C,IAAI,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACjC,QAAQ,GAAG;YACT,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE,QAAQ;YACf,IAAI,EAAE,MAAM,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC;YAC9B,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC;SACjB,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrE,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,GAAG,gDAAgD,CAAC,CAAC;IAC9F,CAAC;IACD,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACtC,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,qBAAqB,CAAC,OAAO,EAAE,KAAK,CAAC;QAC/D,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,GAAG,iDAAiD,CAAC,CAAC;IAC/F,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACtC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;QACvE,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,GAAG,GAAG,uCAAuC,MAAM,SAAS,CAC7D,CAAC;IACJ,CAAC;IACD,OAAO,gBAAgB,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,IAAmB,EACnB,GAAW,EACX,MAAyB;IAEzB,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC1E,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACjC,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,gBAAgB;YACpB,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;YACnE,IAAI,EAAE,QAAQ;YACd,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,UAAU,CAChB,GAAG,MAAM,mBAAmB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,EAC7D,IAAI,EACJ,mDAAmD,CACpD,CAAC;AACJ,CAAC"}
+{"version":3,"file":"arguments.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/arguments.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EACL,QAAQ,EACR,IAAI,EACJ,GAAG,EACH,GAAG,EAIH,MAAM,EAEN,WAAW,EACX,IAAI,EACJ,MAAM,EACN,UAAU,EACV,UAAU,EACV,OAAO,GACR,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EAAE,qBAAqB,EAAE,gCAAgC,EAAE,MAAM,0BAA0B,CAAC;AACnG,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAEtD;;+DAE+D;AAC/D,MAAM,UAAU,eAAe,CAAC,CAAgB;IAC9C,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAAE,OAAO,IAAI,CAAC;IAC5E,IAAI,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC;QAAE,OAAO,eAAe,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IAC3E,IAAI,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC;QAC9D,OAAO,eAAe,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IACvC,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,IAAY;IAEZ,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACvC,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7C,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/C,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACvD,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAC/D,OAAO,SAAS,IAAI,CAAC,IAAI,YAAY,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAClF,CAAC;AACD,MAAM,UAAU,oCAAoC,CAClD,OAAgB,EAChB,IAAmB;IAEnB,OAAO,CACL,OAAO,CAAC,8BAA8B,CAAC,IAAI,CAAC,EAAE,KAAK;QACnD,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC;QAChC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CACxB,CAAC;AACJ,CAAC;AACD,MAAM,UAAU,yBAAyB,CACvC,OAAgB,EAChB,KAAa,EACb,MAAc;IAEd,MAAM,OAAO,GAAG,OAAO,CAAC,uBAAuB,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACpE,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACtD,MAAM,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IAC7E,OAAO,MAAM;QACX,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE;QAC/E,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AACD,MAAM,UAAU,4BAA4B,CAC1C,OAAgB,EAChB,KAAa,EACb,EAAW,EACX,GAAW;IAEX,qEAAqE;IACrE,yEAAyE;IACzE,uEAAuE;IACvE,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC;IAC3B,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IACpE,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvF,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,SAAS,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3D,MAAM,GAAG,GAAG,4BAA4B,EAAE,IAAI,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;IACjE,IAAI,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC3C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,GAAG,eAAe,CAAC,OAAO,EAAE,2BAA2B,EAAE,GAAG,CAAC,CAAC;QACpE,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACtC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;QAC9C,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YAC9D,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YACzE,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,IAAI;oBACV,IAAI,EACF,OAAO,CAAC,IAAI,KAAK,KAAK;wBACpB,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;wBACnF,CAAC,CAAC;4BACE,IAAI,EAAE,YAAY;4BAClB,OAAO,EAAE,OAAO,CAAC,OAAO;4BACxB,GAAG,EAAE,SAAS;4BACd,OAAO,EAAE,IAAI;4BACb,KAAK,EAAE,KAAK;4BACZ,IAAI,EAAE,IAAI;4BACV,GAAG;yBACJ;oBACP,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC;oBAC3D,KAAK,EAAE,IAAI;oBACX,GAAG;iBACJ;gBACD;oBACE,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE;wBACL,IAAI,EAAE,SAAS;wBACf,EAAE;wBACF,IAAI,EAAE;4BACJ,OAAO,CAAC,IAAI,KAAK,KAAK;gCACpB,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;gCACpD,CAAC,CAAC;oCACE,IAAI,EAAE,aAAa;oCACnB,OAAO,EAAE,OAAO,CAAC,OAAO;oCACxB,GAAG,EAAE,SAAS;oCACd,KAAK,EAAE,KAAK;oCACZ,IAAI,EAAE,GAAG;oCACT,GAAG;iCACJ;yBACN;wBACD,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD,GAAG;iBACJ;aACF;YACD,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAC1E,CAAC;AACD;;0EAE0E;AAC1E,MAAM,UAAU,2BAA2B,CACzC,OAAgB,EAChB,IAAmB,EACnB,QAAgB,EAChB,IAAY,EACZ,aAAa,GAAG,KAAK;IAErB,MAAM,YAAY,GAAG,gCAAgC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACrE,IAAI,YAAY;QAAE,OAAO,qBAAqB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;IACnE,IAAI,aAAa,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5E,OAAO,qBAAqB,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IAC9D,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnD,MAAM,OAAO,GAAG,GAAG,EAAE,IAAI,CAAC,KAAK,CAC7B,CAAC,GAAG,EAAE,EAAE,CACN,UAAU,CAAC,GAAG,EAAE,QAAQ,CAAC;YACzB,GAAG,CAAC,IAAI,KAAK,YAAY;YACzB,CAAC,aAAa,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC,CAC1C,CAAC;QACF,IAAI,OAAO,IAAI,GAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YACxD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC;QACvF,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;AACnD,CAAC;AAED;;;4DAG4D;AAC5D,MAAM,UAAU,cAAc,CAAC,CAAgB;IAC7C,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,OACE,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC;QACjC,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC;QACtB,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC;QACvB,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC,EAC3B,CAAC;QACD,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC;IACvB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;wCAIwC;AACxC;;;;+BAI+B;AAC/B,MAAM,UAAU,kBAAkB,CAChC,IAAmB,EACnB,OAAiB,EACjB,QAAQ,GAAa,EAAE;IAEvB,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACrD,MAAM,KAAK,GAA4B,EAAE,CAAC;IAC1C,MAAM,KAAK,GAAkC,EAAE,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;QACtC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QACzE,IAAI,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC;YACnC,SAAS;QACX,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAChD,IAAI,CAAC,CAAC,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;aAC3E,IAAI,CAAC,CAAC,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;YAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;;YAClF,OAAO,IAAI,CAAC;IACnB,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAC1B,CAAC;AAED;;;4DAG4D;AAC5D,MAAM,UAAU,YAAY,CAC1B,CAA8B;IAE9B,IAAI,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1D,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IACrD,CAAC;IACD,IAAI,EAAE,CAAC,6BAA6B,CAAC,CAAC,CAAC,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,CAAC,CAAC,IAAqB,CAAC,CAAC,kCAAkC;QAC1E,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAC9C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,IAAmB,EACnB,GAAW,EACX,WAAW,GAAG,KAAK;IAEnB,OAAO,kBAAkB,CACvB,OAAO,EACP,IAAI,EACJ,GAAG,EACH,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,WAAW,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,EACxE,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,mBAAmB,CAClD,CAAC;AACJ,CAAC;AAED;sDACsD;AACtD,MAAM,UAAU,qBAAqB,CAAC,OAAgB,EAAE,IAAY;IAClE,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IACrC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC;IACxC,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7C,OAAO,CACL,CAAC,CAAC,GAAG;QACL,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC;QAC5C,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,SAAS,KAAK,QAAQ,CAAC;QAC3E,GAAG,CAAC,IAAI,CAAC,KAAK,CACZ,CAAC,GAAG,EAAE,EAAE,CACN,GAAG,CAAC,IAAI,KAAK,OAAO;YACpB,GAAG,CAAC,IAAI,KAAK,YAAY;YACzB,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,SAAS,KAAK,QAAQ,CAAC,CACxD,CACF,CAAC;AACJ,CAAC;AAED;;uEAEuE;AACvE,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,IAAmB,EACnB,GAAW,EACX,WAAuC,EACvC,MAAc;IAEd,sEAAsE;IACtE,4EAA4E;IAC5E,mEAAmE;IACnE,0DAA0D;IAC1D,IAAI,OAAO,GAAkB,IAAI,CAAC;IAClC,OAAO,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC;QAAE,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;IAC3E,IACE,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;QAC3B,CAAC,EAAE,CAAC,oBAAoB,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC;QAEhG,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC1C,IAAI,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACjC,QAAQ,GAAG;YACT,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE,QAAQ;YACf,IAAI,EAAE,MAAM,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC;YAC9B,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC;SACjB,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrE,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,GAAG,gDAAgD,CAAC,CAAC;IAC9F,CAAC;IACD,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACtC,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,qBAAqB,CAAC,OAAO,EAAE,KAAK,CAAC;QAC/D,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,GAAG,iDAAiD,CAAC,CAAC;IAC/F,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACtC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;QACvE,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,GAAG,GAAG,uCAAuC,MAAM,SAAS,CAC7D,CAAC;IACJ,CAAC;IACD,OAAO,gBAAgB,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,IAAmB,EACnB,GAAW,EACX,MAAyB;IAEzB,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC1E,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACjC,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,gBAAgB;YACpB,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;YACnE,IAAI,EAAE,QAAQ;YACd,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,UAAU,CAChB,GAAG,MAAM,mBAAmB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,EAC7D,IAAI,EACJ,mDAAmD,CACpD,CAAC;AACJ,CAAC"}

package/dist/frontend/lowering/builtins/atomics.d.ts

@@ -1,6 +1,11 @@
 import * as ts from "../../ts7/adapter.js";
 import { type Lowerer } from "../lowerer.js";
-import { type IrExpr } from "../../../ir/ir.js";
+import { type IrExpr, type SrcLoc } from "../../../ir/ir.js";
 /** Familiar integer Atomics over fixed typed storage. Wait queues are keyed
  * by backing allocation and byte offset, so distinct views address one queue. */
 export declare function lowerAtomicsCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression): IrExpr | null;
+/** The Atomics members with untyped forms, as function values: each
+ * argument converts with ToNumber, and a missing notify count or wait
+ * timeout is Infinity, as in the call form. Null for isLockFree, waitAsync
+ * and pause, which have no lowering. */
+export declare function atomicsMemberValue(lowerer: Lowerer, member: string, loc: SrcLoc): IrExpr | null;

package/dist/frontend/lowering/builtins/atomics.js

@@ -1,7 +1,7 @@
 import * as ts from "../../ts7/adapter.js";
 import {} from "../lowerer.js";
 import { locOf } from "../../program.js";
-import { F64, STRING } from "../../../ir/ir.js";
+import { BOOL, DYN, F64, STRING } from "../../../ir/ir.js";
 import { lowerOptionalArgument } from "../optional-arguments.js";
 const OPERATIONS = [
     "load",
@@ -83,4 +83,90 @@ export function lowerAtomicsCall(lowerer, call, access) {
         loc,
     };
 }
+/** The Atomics members with untyped forms, as function values: each
+ * argument converts with ToNumber, and a missing notify count or wait
+ * timeout is Infinity, as in the call form. Null for isLockFree, waitAsync
+ * and pause, which have no lowering. */
+export function atomicsMemberValue(lowerer, member, loc) {
+    const operation = OPERATIONS.indexOf(member);
+    if (operation < 0 && member !== "wait" && member !== "notify")
+        return null;
+    // Node's length: the parameters each member declares.
+    const count = member === "load" ? 2 : member === "wait" || member === "compareExchange" ? 4 : 3;
+    const name = `%builtin.Atomics.${member}`;
+    const params = Array.from({ length: count }, (_, index) => ({
+        localId: `p.${index}`,
+        name: `p${index}`,
+        type: DYN,
+    }));
+    const ret = member === "wait" ? STRING : F64;
+    if (!lowerer.liftedFns.some((fn) => fn.name === name)) {
+        const number = (index) => ({
+            kind: "libCall",
+            fn: "dyn.toNumberCoerce",
+            args: [{ kind: "varRef", localId: `p.${index}`, type: DYN, loc }],
+            type: F64,
+            loc,
+        });
+        const orInfinity = (index) => ({
+            kind: "ternary",
+            cond: {
+                kind: "dynTest",
+                test: "undefined",
+                value: { kind: "varRef", localId: `p.${index}`, type: DYN, loc },
+                type: BOOL,
+                loc,
+            },
+            then: { kind: "numLit", value: Infinity, type: F64, loc },
+            else_: number(index),
+            type: F64,
+            loc,
+        });
+        const array = { kind: "varRef", localId: "p.0", type: DYN, loc };
+        const value = member === "wait"
+            ? {
+                kind: "libCall",
+                fn: "atomics.waitDyn",
+                args: [array, number(1), number(2), orInfinity(3)],
+                type: STRING,
+                loc,
+            }
+            : member === "notify"
+                ? {
+                    kind: "libCall",
+                    fn: "atomics.notifyDyn",
+                    args: [array, number(1), orInfinity(2)],
+                    type: F64,
+                    loc,
+                }
+                : {
+                    kind: "libCall",
+                    fn: "atomics.opDyn",
+                    args: [
+                        array,
+                        number(1),
+                        count > 2 ? number(2) : { kind: "numLit", value: 0, type: F64, loc },
+                        count > 3 ? number(3) : { kind: "numLit", value: 0, type: F64, loc },
+                        { kind: "numLit", value: operation, type: F64, loc },
+                    ],
+                    type: F64,
+                    loc,
+                };
+        lowerer.liftedFns.push({
+            name,
+            params,
+            returnType: ret,
+            locals: params.map((p) => ({ id: p.localId, name: p.name, type: p.type, mutable: false })),
+            body: [{ kind: "return", value, loc }],
+            loc,
+        });
+    }
+    return {
+        kind: "closure",
+        fnName: name,
+        captures: [],
+        type: { kind: "func", params: params.map((p) => p.type), ret },
+        loc,
+    };
+}
 //# sourceMappingURL=atomics.js.map

package/dist/frontend/lowering/builtins/atomics.js.map

@@ -1 +1 @@
-{"version":3,"file":"atomics.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/atomics.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,GAAG,EAAe,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AAEjE,MAAM,UAAU,GAAG;IACjB,MAAM;IACN,OAAO;IACP,UAAU;IACV,iBAAiB;IACjB,KAAK;IACL,KAAK;IACL,KAAK;IACL,IAAI;IACJ,KAAK;CACN,CAAC;AAEF;iFACiF;AACjF,MAAM,UAAU,gBAAgB,CAC9B,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAC7D,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,SAAS,GAAG,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC7C,IAAI,SAAS,GAAG,CAAC,IAAI,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC9D,OAAO,CAAC,UAAU,CAChB,WAAW,MAAM,EAAE,EACnB,IAAI,EACJ,4FAA4F,EAC5F,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,CACjD,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GACX,MAAM,KAAK,MAAM;QACf,CAAC,CAAC,CAAC;QACH,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,MAAM;YACxC,CAAC,CAAC,CAAC;YACH,CAAC,CAAC,MAAM,KAAK,iBAAiB;gBAC5B,CAAC,CAAC,CAAC;gBACH,CAAC,CAAC,CAAC,CAAC;IACZ,MAAM,OAAO,GAAG,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;IAC1E,IACE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,GAAG,OAAO;QACrC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,GAAG,OAAO;QACrC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAC7C,CAAC;QACD,OAAO,CAAC,UAAU,CAChB,WAAW,MAAM,YAAY,EAC7B,IAAI,EACJ,OAAO,OAAO,GAAG,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,CACpE,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC;IACxC,uEAAuE;IACvE,2EAA2E;IAC3E,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACxB,qEAAqE;IACrE,mEAAmE;IACnE,MAAM,OAAO,GAAG,IAAI,EAAE,IAAI,KAAK,KAAK,CAAC;IACrC,IACE,CAAC,OAAO;QACR,CAAC,IAAI,EAAE,IAAI,KAAK,OAAO;YACrB,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;YAC7D,CAAC,CAAC,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,QAAQ,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,EACtE,CAAC;QACD,OAAO,CAAC,UAAU,CAChB,WAAW,MAAM,kBAAkB,EACnC,MAAM,EACN,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,QAAQ;YACtC,CAAC,CAAC,mBAAmB;YACrB,CAAC,CAAC,+CAA+C,CACpD,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IACtF,MAAM,GAAG,GAAG,CAAC,KAAa,EAAE,QAAgB,EAAU,EAAE,CACtD,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;QACzB,CAAC,CAAC,qBAAqB,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAE,EAAE,GAAG,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;QACrF,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACvB,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACxB,IAAI,MAAM,KAAK,MAAM;QACnB,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,cAAc;YAChD,IAAI,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;YACjD,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ,CAAC;IACJ,IAAI,MAAM,KAAK,QAAQ;QACrB,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,gBAAgB;YACpD,IAAI,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;YACtC,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;IACJ,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,YAAY;QAC5C,IAAI,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QAC7D,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC"}
+{"version":3,"file":"atomics.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/atomics.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAe,MAAM,EAAe,MAAM,mBAAmB,CAAC;AACrF,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AAEjE,MAAM,UAAU,GAAG;IACjB,MAAM;IACN,OAAO;IACP,UAAU;IACV,iBAAiB;IACjB,KAAK;IACL,KAAK;IACL,KAAK;IACL,IAAI;IACJ,KAAK;CACN,CAAC;AAEF;iFACiF;AACjF,MAAM,UAAU,gBAAgB,CAC9B,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAC7D,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,SAAS,GAAG,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC7C,IAAI,SAAS,GAAG,CAAC,IAAI,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC9D,OAAO,CAAC,UAAU,CAChB,WAAW,MAAM,EAAE,EACnB,IAAI,EACJ,4FAA4F,EAC5F,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,CACjD,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GACX,MAAM,KAAK,MAAM;QACf,CAAC,CAAC,CAAC;QACH,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,MAAM;YACxC,CAAC,CAAC,CAAC;YACH,CAAC,CAAC,MAAM,KAAK,iBAAiB;gBAC5B,CAAC,CAAC,CAAC;gBACH,CAAC,CAAC,CAAC,CAAC;IACZ,MAAM,OAAO,GAAG,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;IAC1E,IACE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,GAAG,OAAO;QACrC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,GAAG,OAAO;QACrC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAC7C,CAAC;QACD,OAAO,CAAC,UAAU,CAChB,WAAW,MAAM,YAAY,EAC7B,IAAI,EACJ,OAAO,OAAO,GAAG,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,CACpE,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC;IACxC,uEAAuE;IACvE,2EAA2E;IAC3E,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACxB,qEAAqE;IACrE,mEAAmE;IACnE,MAAM,OAAO,GAAG,IAAI,EAAE,IAAI,KAAK,KAAK,CAAC;IACrC,IACE,CAAC,OAAO;QACR,CAAC,IAAI,EAAE,IAAI,KAAK,OAAO;YACrB,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;YAC7D,CAAC,CAAC,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,QAAQ,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,EACtE,CAAC;QACD,OAAO,CAAC,UAAU,CAChB,WAAW,MAAM,kBAAkB,EACnC,MAAM,EACN,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,QAAQ;YACtC,CAAC,CAAC,mBAAmB;YACrB,CAAC,CAAC,+CAA+C,CACpD,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IACtF,MAAM,GAAG,GAAG,CAAC,KAAa,EAAE,QAAgB,EAAU,EAAE,CACtD,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;QACzB,CAAC,CAAC,qBAAqB,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAE,EAAE,GAAG,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;QACrF,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACvB,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACxB,IAAI,MAAM,KAAK,MAAM;QACnB,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,cAAc;YAChD,IAAI,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;YACjD,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ,CAAC;IACJ,IAAI,MAAM,KAAK,QAAQ;QACrB,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,gBAAgB;YACpD,IAAI,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;YACtC,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;IACJ,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,YAAY;QAC5C,IAAI,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QAC7D,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;wCAGwC;AACxC,MAAM,UAAU,kBAAkB,CAAC,OAAgB,EAAE,MAAc,EAAE,GAAW;IAC9E,MAAM,SAAS,GAAG,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC7C,IAAI,SAAS,GAAG,CAAC,IAAI,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3E,sDAAsD;IACtD,MAAM,KAAK,GAAG,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChG,MAAM,IAAI,GAAG,oBAAoB,MAAM,EAAE,CAAC;IAC1C,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QAC1D,OAAO,EAAE,KAAK,KAAK,EAAE;QACrB,IAAI,EAAE,IAAI,KAAK,EAAE;QACjB,IAAI,EAAE,GAAG;KACV,CAAC,CAAC,CAAC;IACJ,MAAM,GAAG,GAAG,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC;IAC7C,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACtD,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;YACzC,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,oBAAoB;YACxB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;YACjE,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC,CAAC;QACH,MAAM,UAAU,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;YAC7C,IAAI,EAAE,SAAS;YACf,IAAI,EAAE;gBACJ,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;gBAChE,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ;YACD,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YACzD,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC;YACpB,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC,CAAC;QACH,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACzE,MAAM,KAAK,GACT,MAAM,KAAK,MAAM;YACf,CAAC,CAAC;gBACE,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,iBAAiB;gBACrB,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;gBAClD,IAAI,EAAE,MAAM;gBACZ,GAAG;aACJ;YACH,CAAC,CAAC,MAAM,KAAK,QAAQ;gBACnB,CAAC,CAAC;oBACE,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,mBAAmB;oBACvB,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;oBACvC,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACH,CAAC,CAAC;oBACE,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,eAAe;oBACnB,IAAI,EAAE;wBACJ,KAAK;wBACL,MAAM,CAAC,CAAC,CAAC;wBACT,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;wBACpE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;wBACpE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;qBACrD;oBACD,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ,CAAC;QACV,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI;YACJ,MAAM;YACN,UAAU,EAAE,GAAG;YACf,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;YAC1F,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;YACtC,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO;QACL,IAAI,EAAE,SAAS;QACf,MAAM,EAAE,IAAI;QACZ,QAAQ,EAAE,EAAE;QACZ,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE;QAC9D,GAAG;KACJ,CAAC;AACJ,CAAC"}