@scriptc/compiler 0.3.6 → 0.4.0

package/dist/ir/jsval.js

@@ -0,0 +1,365 @@
+/* The jsval pass (two-tier design stage S3): dynamic-tier functions compute
+ * with jsval values instead of dyn cells.
+ *
+ * Lowering builds every dynamic operation over `dyn`, the checked-dynamic
+ * cell (ScrDyn), where a number is a heap node: each dyn operator result
+ * allocates one. This pass rewrites the operator chains of dynamic-tier
+ * functions (ir/tiers.ts) to the `js.*` builtins over `jsval`, the
+ * NaN-boxed word whose numbers, booleans, undefined and null are
+ * immediates:
+ *
+ * - every dyn operator (`dyn.add`, `dyn.arithmetic`, `dyn.bitwise`,
+ *   `dyn.toNumeric`, `dyn.increment`) becomes its `js.*` twin, whose
+ *   operands are rewritten as jsvals too, so a chain `a * b + c` allocates
+ *   nothing for its intermediate results;
+ * - the operator consumers `dyn.compare` and `dyn.toNumberCoerce` take
+ *   jsval operands, a number check `dynCheck<f64>` of an operator result
+ *   becomes `js.toF64`, and a truthiness test of one tests the jsval;
+ * - a static number or boolean operand (`dynFrom<f64>`) becomes an
+ *   immediate (`js.fromF64`), a static string or BigInt the same object
+ *   under a tag (`js.fromStr`, `js.fromBigInt`: no cell), and any other dyn
+ *   operand a cell under the cell tag (`js.fromDyn`: no copy, identity
+ *   kept);
+ * - an operator result that flows anywhere else (a property store, a call
+ *   argument, a dyn local) is boxed back into a cell (`js.toDyn`), exactly
+ *   the allocation the dyn operator made before;
+ * - a dynamic function whose only references are direct calls from
+ *   dynamic functions returns a jsval, so a number it returns is not boxed
+ *   (static callers, function values, exports and class members keep the
+ *   dyn ABI);
+ * - a dyn local becomes a jsval local when the boxing it saves on writes
+ *   of operator results outweighs the boxing its reads by dyn consumers add
+ *   (loop depth weights both).
+ *
+ * The rewrite changes representation only: every js builtin implements its
+ * dyn twin's JS semantics, including ToPrimitive order and error messages
+ * (scr_js_value.c delegates every non-number case to the dyn operator).
+ * Static functions are never touched (invariant I1). Parameters, captures
+ * and containers still hold cells until the shaped object model and the
+ * dynamic call ABI (stages S4 and S5) replace them.
+ *
+ * Async functions and generators are rewritten like other functions (their
+ * suspensions keep jsvals like any pointer) but keep the dyn result ABI. */
+import { exprFunctionReference, moduleFunctionReferences } from "./function-references.js";
+import { DYN, JSVAL } from "./ir.js";
+import { everyExprChild, everyStmtChild, everyStmtList, mapExprChildren, mapStmtChildren, } from "./traverse.js";
+/** dyn operators whose result is a fresh dynamic value, with their jsval
+ * twins. Every argument typed dyn is an operand. */
+const PRODUCERS = {
+    "dyn.add": "js.add",
+    "dyn.arithmetic": "js.arithmetic",
+    "dyn.bitwise": "js.bitwise",
+    "dyn.toNumeric": "js.toNumeric",
+    "dyn.increment": "js.increment",
+};
+/** dyn operators with a static result, with their jsval twins. */
+const CONSUMERS = {
+    "dyn.compare": "js.compare",
+    "dyn.toNumberCoerce": "js.toNumberCoerce",
+};
+function isProducerCall(e) {
+    return e.kind === "libCall" && Object.hasOwn(PRODUCERS, e.fn);
+}
+function isConsumerCall(e) {
+    return e.kind === "libCall" && Object.hasOwn(CONSUMERS, e.fn);
+}
+/** The jsval conversion of a static value that crosses without a cell:
+ * numbers and booleans as immediates, strings and BigInts as the static
+ * tier's own objects under a tag. */
+const STATIC_SOURCES = {
+    f64: "js.fromF64",
+    bool: "js.fromBool",
+    string: "js.fromStr",
+    bigint: "js.fromBigInt",
+};
+function isImmediateSource(e) {
+    return (e.kind === "dynFrom" &&
+        e.liveRef === undefined &&
+        e.fnName === undefined &&
+        Object.hasOwn(STATIC_SOURCES, e.value.type.kind));
+}
+/** Whether a function's operators are rewritten: every dynamic-tier
+ * function. Async functions and generators suspend through LLVM coroutines
+ * or fibers, which keep jsval temporaries and locals like any pointer. */
+export function jsvalEligible(fn) {
+    return fn.tier === "dynamic";
+}
+/** Rewrite every eligible dynamic-tier function of a module in place.
+ * Returns the number of functions that now use jsval. */
+export function promoteJsvals(mod) {
+    const results = jsvalResults(mod);
+    let count = 0;
+    for (const fn of mod.functions)
+        if (jsvalEligible(fn) && promoteFunction(fn, results))
+            count++;
+    for (const fn of mod.functions)
+        if (results.has(fn.name))
+            fn.returnType = JSVAL;
+    return count;
+}
+/** Dynamic-tier functions whose dyn result becomes a jsval result, so a
+ * number they return is not boxed: eligible functions whose every
+ * reference is a direct call from a dynamic-tier function (static callers
+ * keep their exact code, I1). Function values, library exports, the entry
+ * and class members (`%<class>.<member>`, which vtables and the runtime
+ * reach by name) keep the dyn ABI. */
+function jsvalResults(mod) {
+    const classPrefixes = (mod.classes ?? []).map((cls) => `%${cls.name}.`);
+    const results = new Set();
+    for (const fn of mod.functions) {
+        // An async function's callers receive a promise and a generator's a
+        // generator object: only synchronous functions return their result.
+        if (!jsvalEligible(fn) || fn.async !== undefined || fn.generator !== undefined)
+            continue;
+        if (fn.returnType.kind !== "dyn")
+            continue;
+        if (fn.name.includes(".") && !fn.name.startsWith("%dyn."))
+            continue;
+        if (classPrefixes.some((prefix) => fn.name.startsWith(prefix)))
+            continue;
+        results.add(fn.name);
+    }
+    if (results.size === 0)
+        return results;
+    for (const name of moduleFunctionReferences(mod))
+        results.delete(name);
+    for (const fn of mod.functions) {
+        const dynamic = fn.tier === "dynamic";
+        everyStmtList(fn.body, {
+            expr: (e) => {
+                if (e.kind === "call" && !dynamic)
+                    results.delete(e.callee);
+                const referenced = exprFunctionReference(e);
+                if (referenced !== undefined)
+                    results.delete(referenced);
+                if (e.kind === "dynFrom" && e.fnName !== undefined)
+                    results.delete(e.fnName);
+                return true;
+            },
+            stmt: () => true,
+        });
+    }
+    return results;
+}
+/* ── local promotion ─────────────────────────────────────────────────── */
+const LOOP_WEIGHT = 8;
+const MAX_WEIGHT = 8 ** 6;
+/** The dyn locals of a function that become jsval locals. `producer`
+ * tells which dyn expressions the rewrite computes as jsvals. */
+function promotableLocals(fn, producer, jsResult) {
+    const candidates = new Map();
+    for (const local of fn.locals) {
+        if (local.type.kind === "dyn" && local.boxed === undefined && local.tdz === undefined)
+            candidates.set(local.id, { saved: 0, added: 0 });
+    }
+    for (const p of fn.params)
+        candidates.delete(p.localId);
+    for (const c of fn.captures ?? [])
+        candidates.delete(c.localId);
+    for (const c of fn.classCaptures ?? [])
+        candidates.delete(c.localId);
+    if (candidates.size === 0)
+        return new Set();
+    const blocked = new Set();
+    const write = (id, value, weight) => {
+        const cost = candidates.get(id);
+        if (cost === undefined)
+            return;
+        if (value === null) {
+            // A declared-only dyn binding is an uninitialized trap (ir/build.ts).
+            blocked.add(id);
+            return;
+        }
+        if (producer(value) || isImmediateSource(value))
+            cost.saved += weight;
+    };
+    /* `js`: the expression is an operand the rewrite turns into a jsval. */
+    const expr = (e, js, weight) => {
+        switch (e.kind) {
+            case "varRef": {
+                const cost = candidates.get(e.localId);
+                if (cost !== undefined && !js)
+                    cost.added += weight;
+                return;
+            }
+            case "assignExpr":
+                write(e.localId, e.value, weight);
+                expr(e.value, false, weight);
+                // The assignment's own value is read where it stands.
+                if (!js && candidates.has(e.localId))
+                    candidates.get(e.localId).added += weight;
+                return;
+            case "libCall":
+                if (isProducerCall(e) || isConsumerCall(e)) {
+                    for (const arg of e.args)
+                        expr(arg, arg.type.kind === "dyn", weight);
+                    return;
+                }
+                break;
+            case "dynCheck":
+                if (e.type.kind === "f64" && e.preserveRefs === undefined) {
+                    expr(e.value, true, weight);
+                    return;
+                }
+                break;
+            case "toBool":
+                if (e.operand.type.kind === "dyn") {
+                    expr(e.operand, true, weight);
+                    return;
+                }
+                break;
+            default:
+                break;
+        }
+        blockExprReferences(e);
+        everyExprChild(e, (child) => {
+            expr(child, false, weight);
+            return true;
+        }, (s) => {
+            stmt(s, weight);
+            return true;
+        });
+    };
+    /** Locals referenced other than by reads and plain writes (increments,
+     * loop and catch bindings, rethrows, closure captures) keep dyn. */
+    const blockExprReferences = (e) => {
+        if (e.kind === "incDec")
+            blocked.add(e.localId);
+        else if (e.kind === "closure")
+            for (const id of e.captures)
+                blocked.add(id);
+        else if (e.kind === "classRef")
+            for (const id of e.captures ?? [])
+                blocked.add(id);
+    };
+    const blockStmtReferences = (s) => {
+        if (s.kind === "forOf" || s.kind === "rethrow")
+            blocked.add(s.localId);
+        else if (s.kind === "tryCatch" && s.catchLocalId !== null)
+            blocked.add(s.catchLocalId);
+    };
+    const stmt = (s, weight) => {
+        switch (s.kind) {
+            case "return":
+                if (s.value !== null)
+                    expr(s.value, jsResult && s.value.type.kind === "dyn", weight);
+                return;
+            case "varDecl":
+                write(s.localId, s.init, weight);
+                if (s.init !== null)
+                    expr(s.init, false, weight);
+                return;
+            case "assign":
+                if (s.initializes !== undefined)
+                    blocked.add(s.localId);
+                write(s.localId, s.value, weight);
+                expr(s.value, false, weight);
+                return;
+            case "while":
+            case "doWhile":
+            case "for":
+            case "forOf": {
+                blockStmtReferences(s);
+                const inner = Math.min(weight * LOOP_WEIGHT, MAX_WEIGHT);
+                everyStmtChild(s, (child) => {
+                    expr(child, false, inner);
+                    return true;
+                }, (child) => {
+                    stmt(child, inner);
+                    return true;
+                });
+                return;
+            }
+            default:
+                blockStmtReferences(s);
+                everyStmtChild(s, (child) => {
+                    expr(child, false, weight);
+                    return true;
+                }, (child) => {
+                    stmt(child, weight);
+                    return true;
+                });
+        }
+    };
+    for (const s of fn.body)
+        stmt(s, 1);
+    const promoted = new Set();
+    for (const [id, cost] of candidates)
+        if (!blocked.has(id) && cost.saved > cost.added)
+            promoted.add(id);
+    return promoted;
+}
+/* ── the rewrite ─────────────────────────────────────────────────────── */
+function promoteFunction(fn, results) {
+    const resultCall = (e) => e.kind === "call" && results.has(e.callee);
+    const operatorCall = (e) => isProducerCall(e);
+    const promoted = promotableLocals(fn, (e) => operatorCall(e) || resultCall(e), results.has(fn.name));
+    const ownResult = results.has(fn.name);
+    let changed = false;
+    const producesJs = (e) => operatorCall(e) ||
+        resultCall(e) ||
+        ((e.kind === "varRef" || e.kind === "assignExpr") && promoted.has(e.localId));
+    const libCall = (fn, args, e, type = JSVAL) => ({
+        kind: "libCall",
+        fn: fn,
+        args,
+        type,
+        loc: e.loc,
+    });
+    /** A dyn-typed expression as a jsval. */
+    const toJs = (e) => {
+        changed = true;
+        if (e.kind === "call" && results.has(e.callee))
+            return { ...e, args: e.args.map(rewrite), type: JSVAL };
+        if (e.kind === "libCall" && Object.hasOwn(PRODUCERS, e.fn)) {
+            return libCall(PRODUCERS[e.fn], e.args.map((arg) => (arg.type.kind === "dyn" ? toJs(arg) : rewrite(arg))), e);
+        }
+        if (isImmediateSource(e) && e.kind === "dynFrom") {
+            const value = rewrite(e.value);
+            return libCall(STATIC_SOURCES[value.type.kind], [value], e);
+        }
+        if (e.kind === "varRef" && promoted.has(e.localId))
+            return { ...e, type: JSVAL };
+        if (e.kind === "assignExpr" && promoted.has(e.localId))
+            return { ...e, value: toJs(e.value), type: JSVAL };
+        return libCall("js.fromDyn", [rewrite(e)], e);
+    };
+    /** Any expression, in a position expecting its own type. */
+    const rewrite = (e) => {
+        if (e.kind === "libCall" && Object.hasOwn(CONSUMERS, e.fn)) {
+            changed = true;
+            return libCall(CONSUMERS[e.fn], e.args.map((arg) => (arg.type.kind === "dyn" ? toJs(arg) : rewrite(arg))), e, e.type);
+        }
+        if (e.kind === "dynCheck" &&
+            e.type.kind === "f64" &&
+            e.preserveRefs === undefined &&
+            producesJs(e.value))
+            return libCall("js.toF64", [toJs(e.value)], e, e.type);
+        if (e.kind === "toBool" && e.operand.type.kind === "dyn" && producesJs(e.operand))
+            return { ...e, operand: toJs(e.operand) };
+        if (e.type.kind === "dyn" && producesJs(e))
+            return libCall("js.toDyn", [toJs(e)], e, DYN);
+        return mapExprChildren(e, rewrite, rewriteStmt);
+    };
+    const rewriteStmt = (s) => {
+        if (s.kind === "return" && ownResult && s.value !== null)
+            return { ...s, value: toJs(s.value) };
+        // A discarded result stays a jsval: nothing boxes it.
+        if (s.kind === "exprStmt" && producesJs(s.expr))
+            return { ...s, expr: toJs(s.expr) };
+        if (s.kind === "varDecl" && promoted.has(s.localId) && s.init !== null)
+            return { ...s, init: toJs(s.init) };
+        if (s.kind === "assign" && promoted.has(s.localId))
+            return { ...s, value: toJs(s.value) };
+        return mapStmtChildren(s, rewrite, rewriteStmt);
+    };
+    const body = fn.body.map(rewriteStmt);
+    if (!changed)
+        return false;
+    fn.body = body;
+    for (const local of fn.locals)
+        if (promoted.has(local.id))
+            local.type = JSVAL;
+    return true;
+}
+//# sourceMappingURL=jsval.js.map

package/dist/ir/jsval.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"jsval.js","sourceRoot":"","sources":["../../src/ir/jsval.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4EAyC4E;AAC5E,OAAO,EAAE,qBAAqB,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AAC3F,OAAO,EAAE,GAAG,EAAE,KAAK,EAA4D,MAAM,SAAS,CAAC;AAC/F,OAAO,EACL,cAAc,EACd,cAAc,EACd,aAAa,EACb,eAAe,EACf,eAAe,GAChB,MAAM,eAAe,CAAC;AAEvB;oDACoD;AACpD,MAAM,SAAS,GAAqC;IAClD,SAAS,EAAE,QAAQ;IACnB,gBAAgB,EAAE,eAAe;IACjC,aAAa,EAAE,YAAY;IAC3B,eAAe,EAAE,cAAc;IAC/B,eAAe,EAAE,cAAc;CAChC,CAAC;AAEF,kEAAkE;AAClE,MAAM,SAAS,GAAqC;IAClD,aAAa,EAAE,YAAY;IAC3B,oBAAoB,EAAE,mBAAmB;CAC1C,CAAC;AAEF,SAAS,cAAc,CAAC,CAAS;IAC/B,OAAO,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,cAAc,CAAC,CAAS;IAC/B,OAAO,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AAChE,CAAC;AAED;;qCAEqC;AACrC,MAAM,cAAc,GAAqC;IACvD,GAAG,EAAE,YAAY;IACjB,IAAI,EAAE,aAAa;IACnB,MAAM,EAAE,YAAY;IACpB,MAAM,EAAE,eAAe;CACxB,CAAC;AAEF,SAAS,iBAAiB,CAAC,CAAS;IAClC,OAAO,CACL,CAAC,CAAC,IAAI,KAAK,SAAS;QACpB,CAAC,CAAC,OAAO,KAAK,SAAS;QACvB,CAAC,CAAC,MAAM,KAAK,SAAS;QACtB,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CACjD,CAAC;AACJ,CAAC;AAED;;0EAE0E;AAC1E,MAAM,UAAU,aAAa,CAAC,EAAc;IAC1C,OAAO,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC;AAC/B,CAAC;AAED;yDACyD;AACzD,MAAM,UAAU,aAAa,CAAC,GAAa;IACzC,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS;QAAE,IAAI,aAAa,CAAC,EAAE,CAAC,IAAI,eAAe,CAAC,EAAE,EAAE,OAAO,CAAC;YAAE,KAAK,EAAE,CAAC;IAC/F,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS;QAAE,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;YAAE,EAAE,CAAC,UAAU,GAAG,KAAK,CAAC;IAChF,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;sCAKsC;AACtC,SAAS,YAAY,CAAC,GAAa;IACjC,MAAM,aAAa,GAAG,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC;IACxE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAC/B,oEAAoE;QACpE,oEAAoE;QACpE,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,CAAC,SAAS,KAAK,SAAS;YAAE,SAAS;QACzF,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,KAAK;YAAE,SAAS;QAC3C,IAAI,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;YAAE,SAAS;QACpE,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YAAE,SAAS;QACzE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACvB,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,wBAAwB,CAAC,GAAG,CAAC;QAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACvE,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC;QACtC,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;YACrB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;gBACV,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,OAAO;oBAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;gBAC5D,MAAM,UAAU,GAAG,qBAAqB,CAAC,CAAC,CAAC,CAAC;gBAC5C,IAAI,UAAU,KAAK,SAAS;oBAAE,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;gBACzD,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS;oBAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;gBAC7E,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;SACjB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,4EAA4E;AAE5E,MAAM,WAAW,GAAG,CAAC,CAAC;AACtB,MAAM,UAAU,GAAG,CAAC,IAAI,CAAC,CAAC;AAU1B;iEACiE;AACjE,SAAS,gBAAgB,CACvB,EAAc,EACd,QAAgC,EAChC,QAAiB;IAEjB,MAAM,UAAU,GAAG,IAAI,GAAG,EAAqB,CAAC;IAChD,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QAC9B,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,GAAG,KAAK,SAAS;YACnF,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACrD,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM;QAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IACxD,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,QAAQ,IAAI,EAAE;QAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAChE,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,aAAa,IAAI,EAAE;QAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IACrE,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,IAAI,GAAG,EAAE,CAAC;IAC5C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,KAAK,GAAG,CAAC,EAAU,EAAE,KAAoB,EAAE,MAAc,EAAQ,EAAE;QACvE,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChC,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO;QAC/B,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,sEAAsE;YACtE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAChB,OAAO;QACT,CAAC;QACD,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,iBAAiB,CAAC,KAAK,CAAC;YAAE,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC;IACxE,CAAC,CAAC;IACF,wEAAwE;IACxE,MAAM,IAAI,GAAG,CAAC,CAAS,EAAE,EAAW,EAAE,MAAc,EAAQ,EAAE;QAC5D,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,QAAQ,EAAE,CAAC;gBACd,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBACvC,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,EAAE;oBAAE,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC;gBACpD,OAAO;YACT,CAAC;YACD,KAAK,YAAY;gBACf,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;gBAClC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;gBAC7B,sDAAsD;gBACtD,IAAI,CAAC,EAAE,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;oBAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAE,CAAC,KAAK,IAAI,MAAM,CAAC;gBACjF,OAAO;YACT,KAAK,SAAS;gBACZ,IAAI,cAAc,CAAC,CAAC,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC3C,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,IAAI;wBAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,MAAM,CAAC,CAAC;oBACrE,OAAO;gBACT,CAAC;gBACD,MAAM;YACR,KAAK,UAAU;gBACb,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;oBAC1D,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;oBAC5B,OAAO;gBACT,CAAC;gBACD,MAAM;YACR,KAAK,QAAQ;gBACX,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;oBAClC,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;oBAC9B,OAAO;gBACT,CAAC;gBACD,MAAM;YACR;gBACE,MAAM;QACV,CAAC;QACD,mBAAmB,CAAC,CAAC,CAAC,CAAC;QACvB,cAAc,CACZ,CAAC,EACD,CAAC,KAAK,EAAE,EAAE;YACR,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YAC3B,OAAO,IAAI,CAAC;QACd,CAAC,EACD,CAAC,CAAC,EAAE,EAAE;YACJ,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;YAChB,OAAO,IAAI,CAAC;QACd,CAAC,CACF,CAAC;IACJ,CAAC,CAAC;IACF;wEACoE;IACpE,MAAM,mBAAmB,GAAG,CAAC,CAAS,EAAQ,EAAE;QAC9C,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;aAC3C,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;YAAE,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,QAAQ;gBAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;aACvE,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;YAAE,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,QAAQ,IAAI,EAAE;gBAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACrF,CAAC,CAAC;IACF,MAAM,mBAAmB,GAAG,CAAC,CAAS,EAAQ,EAAE;QAC9C,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;aAClE,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,YAAY,KAAK,IAAI;YAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;IACzF,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,CAAS,EAAE,MAAc,EAAQ,EAAE;QAC/C,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,QAAQ;gBACX,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI;oBAAE,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,QAAQ,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,MAAM,CAAC,CAAC;gBACrF,OAAO;YACT,KAAK,SAAS;gBACZ,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBACjC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;oBAAE,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;gBACjD,OAAO;YACT,KAAK,QAAQ;gBACX,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS;oBAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBACxD,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;gBAClC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;gBAC7B,OAAO;YACT,KAAK,OAAO,CAAC;YACb,KAAK,SAAS,CAAC;YACf,KAAK,KAAK,CAAC;YACX,KAAK,OAAO,EAAE,CAAC;gBACb,mBAAmB,CAAC,CAAC,CAAC,CAAC;gBACvB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,WAAW,EAAE,UAAU,CAAC,CAAC;gBACzD,cAAc,CACZ,CAAC,EACD,CAAC,KAAK,EAAE,EAAE;oBACR,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;oBAC1B,OAAO,IAAI,CAAC;gBACd,CAAC,EACD,CAAC,KAAK,EAAE,EAAE;oBACR,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;oBACnB,OAAO,IAAI,CAAC;gBACd,CAAC,CACF,CAAC;gBACF,OAAO;YACT,CAAC;YACD;gBACE,mBAAmB,CAAC,CAAC,CAAC,CAAC;gBACvB,cAAc,CACZ,CAAC,EACD,CAAC,KAAK,EAAE,EAAE;oBACR,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;oBAC3B,OAAO,IAAI,CAAC;gBACd,CAAC,EACD,CAAC,KAAK,EAAE,EAAE;oBACR,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;oBACpB,OAAO,IAAI,CAAC;gBACd,CAAC,CACF,CAAC;QACN,CAAC;IACH,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI;QAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACpC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,UAAU;QACjC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK;YAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACpE,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,4EAA4E;AAE5E,SAAS,eAAe,CAAC,EAAc,EAAE,OAA4B;IACnE,MAAM,UAAU,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACtF,MAAM,YAAY,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;IAC/D,MAAM,QAAQ,GAAG,gBAAgB,CAC/B,EAAE,EACF,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,EACvC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CACrB,CAAC;IACF,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,MAAM,UAAU,GAAG,CAAC,CAAS,EAAW,EAAE,CACxC,YAAY,CAAC,CAAC,CAAC;QACf,UAAU,CAAC,CAAC,CAAC;QACb,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAChF,MAAM,OAAO,GAAG,CAAC,EAAU,EAAE,IAAc,EAAE,CAAS,EAAE,IAAI,GAAG,KAAK,EAAU,EAAE,CAAC,CAAC;QAChF,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,EAAgD;QACpD,IAAI;QACJ,IAAI;QACJ,GAAG,EAAE,CAAC,CAAC,GAAG;KACX,CAAC,CAAC;IACH,yCAAyC;IACzC,MAAM,IAAI,GAAG,CAAC,CAAS,EAAU,EAAE;QACjC,OAAO,GAAG,IAAI,CAAC;QACf,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;YAC5C,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QAC1D,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;YAC3D,OAAO,OAAO,CACZ,SAAS,CAAC,CAAC,CAAC,EAAE,CAAE,EAChB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EACzE,CAAC,CACF,CAAC;QACJ,CAAC;QACD,IAAI,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACjD,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC/B,OAAO,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/D,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;YAAE,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QACjF,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;YACpD,OAAO,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QACrD,OAAO,OAAO,CAAC,YAAY,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC;IACF,4DAA4D;IAC5D,MAAM,OAAO,GAAG,CAAC,CAAS,EAAU,EAAE;QACpC,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;YAC3D,OAAO,GAAG,IAAI,CAAC;YACf,OAAO,OAAO,CACZ,SAAS,CAAC,CAAC,CAAC,EAAE,CAAE,EAChB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EACzE,CAAC,EACD,CAAC,CAAC,IAAI,CACP,CAAC;QACJ,CAAC;QACD,IACE,CAAC,CAAC,IAAI,KAAK,UAAU;YACrB,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;YACrB,CAAC,CAAC,YAAY,KAAK,SAAS;YAC5B,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC;YAEnB,OAAO,OAAO,CAAC,UAAU,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QACzD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC;YAC/E,OAAO,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5C,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,UAAU,CAAC,CAAC,CAAC;YAAE,OAAO,OAAO,CAAC,UAAU,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;QAC1F,OAAO,eAAe,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;IAClD,CAAC,CAAC;IACF,MAAM,WAAW,GAAG,CAAC,CAAS,EAAU,EAAE;QACxC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,SAAS,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI;YAAE,OAAO,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QAChG,sDAAsD;QACtD,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QACrF,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;YACpE,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;YAAE,OAAO,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1F,OAAO,eAAe,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;IAClD,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACtC,IAAI,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAC3B,EAAE,CAAC,IAAI,GAAG,IAAI,CAAC;IACf,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM;QAAE,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAAE,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC;IAC9E,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/ir/jsval.test.d.ts

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

package/dist/ir/jsval.test.js

@@ -0,0 +1,239 @@
+import { expect, test } from "vitest";
+import { BOOL, DYN, F64, JSVAL, STRING, VOID, } from "./ir.js";
+import { promoteJsvals } from "./jsval.js";
+import { assignLegacyTiers } from "./tiers.js";
+import { validateModule } from "./validate.js";
+const loc = { file: "jsval.ts", start: 0, end: 0 };
+const ref = (id, type = DYN) => ({ kind: "varRef", localId: id, type, loc });
+const num = (value) => ({
+    kind: "dynFrom",
+    value: { kind: "numLit", value, type: F64, loc },
+    type: DYN,
+    loc,
+});
+const op = (fn, l, r, symbol) => ({
+    kind: "libCall",
+    fn,
+    args: symbol === undefined ? [l, r] : [l, r, { kind: "strLit", value: symbol, type: STRING, loc }],
+    type: DYN,
+    loc,
+});
+const keyGet = (from, key) => ({
+    kind: "dynKeyGet",
+    key: { kind: "strLit", value: key, type: STRING, loc },
+    value: from,
+    type: DYN,
+    loc,
+});
+function fn(name, body, locals = [], returnType = DYN) {
+    return {
+        name,
+        params: [{ localId: "o", name: "o", type: DYN }],
+        returnType,
+        locals: [
+            { id: "o", name: "o", type: DYN, mutable: false },
+            ...locals.map((id) => ({ id, name: id, type: DYN, mutable: true })),
+        ],
+        body,
+        loc,
+    };
+}
+function moduleOf(...functions) {
+    const main = {
+        name: "%main",
+        params: [],
+        returnType: VOID,
+        locals: [],
+        body: [],
+        loc,
+    };
+    const mod = {
+        irVersion: 17,
+        sourceFile: "jsval.ts",
+        functions: [main, ...functions],
+        entry: "%main",
+    };
+    assignLegacyTiers(mod.functions);
+    return mod;
+}
+/** The js.* calls of a body, in source order. */
+function jsCalls(body) {
+    const out = [];
+    const visit = (value) => {
+        if (Array.isArray(value))
+            value.forEach(visit);
+        else if (value !== null && typeof value === "object") {
+            const node = value;
+            if (node.kind === "libCall" && node.fn?.startsWith("js."))
+                out.push(node.fn);
+            Object.values(value).forEach(visit);
+        }
+    };
+    visit(body);
+    return out;
+}
+test("operator chains compute with jsvals and box only where a dyn value is needed", () => {
+    // return o.x * o.y + 1
+    const chain = fn("chain", [
+        {
+            kind: "return",
+            value: op("dyn.add", op("dyn.arithmetic", keyGet(ref("o"), "x"), keyGet(ref("o"), "y"), "*"), num(1)),
+            loc,
+        },
+    ]);
+    const mod = moduleOf(chain);
+    expect(chain.tier).toBe("dynamic");
+    // A static caller keeps the dyn ABI: one box at the end of the chain,
+    // none in between; the static 1 is an immediate and the reads keep their
+    // cells.
+    const caller = fn("caller", [
+        {
+            kind: "return",
+            value: { kind: "call", callee: "chain", args: [ref("o")], type: DYN, loc },
+            loc,
+        },
+    ]);
+    mod.functions.push(caller);
+    expect(caller.tier).toBeUndefined();
+    expect(promoteJsvals(mod)).toBe(1);
+    expect(chain.returnType).toEqual(DYN);
+    expect(jsCalls(chain.body)).toEqual([
+        "js.toDyn",
+        "js.add",
+        "js.arithmetic",
+        "js.fromDyn",
+        "js.fromDyn",
+        "js.fromF64",
+    ]);
+    expect(jsCalls(caller.body)).toEqual([]);
+    expect(validateModule(mod)).toEqual([]);
+});
+test("a dynamic function called only by dynamic functions returns a jsval", () => {
+    const twice = fn("twice", [
+        { kind: "return", value: op("dyn.arithmetic", keyGet(ref("o"), "n"), num(2), "*"), loc },
+    ]);
+    // return twice(o) + twice(o): no box between the calls and the add.
+    const sum = fn("sum", [
+        {
+            kind: "return",
+            value: op("dyn.add", { kind: "call", callee: "twice", args: [ref("o")], type: DYN, loc }, { kind: "call", callee: "twice", args: [ref("o")], type: DYN, loc }),
+            loc,
+        },
+    ]);
+    const user = fn("user", [
+        {
+            kind: "exprStmt",
+            expr: keyGet({ kind: "call", callee: "sum", args: [ref("o")], type: DYN, loc }, "x"),
+            loc,
+        },
+        { kind: "return", value: ref("o"), loc },
+    ]);
+    const mod = moduleOf(twice, sum, user);
+    promoteJsvals(mod);
+    expect(twice.returnType).toEqual(JSVAL);
+    expect(sum.returnType).toEqual(JSVAL);
+    expect(jsCalls(twice.body)).toEqual(["js.arithmetic", "js.fromDyn", "js.fromF64"]);
+    expect(jsCalls(sum.body)).toEqual(["js.add"]);
+    // A dyn consumer boxes the jsval result once.
+    expect(jsCalls(user.body)).toEqual(["js.toDyn", "js.fromDyn"]);
+    expect(validateModule(mod)).toEqual([]);
+});
+test("a number check of an operator result reads the jsval, and comparisons take jsvals", () => {
+    const checked = fn("checked", [
+        {
+            kind: "if",
+            cond: {
+                kind: "libCall",
+                fn: "dyn.compare",
+                args: [keyGet(ref("o"), "a"), num(3), { kind: "strLit", value: "<", type: STRING, loc }],
+                type: BOOL,
+                loc,
+            },
+            then: [{ kind: "return", value: { kind: "numLit", value: 0, type: F64, loc }, loc }],
+            else_: null,
+            loc,
+        },
+        {
+            kind: "return",
+            value: {
+                kind: "dynCheck",
+                value: op("dyn.arithmetic", keyGet(ref("o"), "a"), num(2), "%"),
+                type: F64,
+                loc,
+            },
+            loc,
+        },
+    ], [], F64);
+    const mod = moduleOf(checked);
+    promoteJsvals(mod);
+    expect(jsCalls(checked.body)).toEqual([
+        "js.compare",
+        "js.fromDyn",
+        "js.fromF64",
+        "js.toF64",
+        "js.arithmetic",
+        "js.fromDyn",
+        "js.fromF64",
+    ]);
+    expect(validateModule(mod)).toEqual([]);
+});
+test("a dyn local written by operators in a loop becomes a jsval local", () => {
+    // acc = o.start; for (...) acc = acc + o.step; return acc
+    const loop = fn("loop", [
+        { kind: "varDecl", localId: "acc", init: keyGet(ref("o"), "start"), loc },
+        {
+            kind: "while",
+            cond: { kind: "boolLit", value: false, type: BOOL, loc },
+            body: [
+                {
+                    kind: "assign",
+                    localId: "acc",
+                    value: op("dyn.add", ref("acc"), keyGet(ref("o"), "step")),
+                    loc,
+                },
+            ],
+            loc,
+        },
+        { kind: "return", value: ref("acc"), loc },
+    ], ["acc"]);
+    const mod = moduleOf(loop);
+    promoteJsvals(mod);
+    expect(loop.locals.find((l) => l.id === "acc").type).toEqual(JSVAL);
+    expect(loop.returnType).toEqual(JSVAL);
+    expect(jsCalls(loop.body)).toEqual(["js.fromDyn", "js.add", "js.fromDyn"]);
+    expect(validateModule(mod)).toEqual([]);
+});
+test("a dyn local mostly read by dyn consumers stays dyn", () => {
+    // t = o.a + 1; for (...) use(t)
+    const reader = fn("reader", [
+        { kind: "varDecl", localId: "t", init: op("dyn.add", keyGet(ref("o"), "a"), num(1)), loc },
+        {
+            kind: "while",
+            cond: { kind: "boolLit", value: false, type: BOOL, loc },
+            body: [{ kind: "exprStmt", expr: keyGet(ref("t"), "x"), loc }],
+            loc,
+        },
+        { kind: "return", value: ref("t"), loc },
+    ], ["t"]);
+    const mod = moduleOf(reader);
+    promoteJsvals(mod);
+    expect(reader.locals.find((l) => l.id === "t").type).toEqual(DYN);
+    expect(validateModule(mod)).toEqual([]);
+});
+test("static functions keep their dyn values; async functions keep their dyn result", () => {
+    const plain = fn("plain", [{ kind: "return", value: ref("o"), loc }]);
+    const asyncChain = fn("asyncChain", [
+        { kind: "return", value: op("dyn.add", keyGet(ref("o"), "x"), num(1)), loc },
+    ]);
+    asyncChain.async = true;
+    const mod = moduleOf(plain, asyncChain);
+    expect(plain.tier).toBeUndefined();
+    expect(asyncChain.tier).toBe("dynamic");
+    const before = JSON.stringify(plain);
+    expect(promoteJsvals(mod)).toBe(1);
+    expect(JSON.stringify(plain)).toBe(before);
+    expect(asyncChain.returnType).toEqual(DYN);
+    expect(jsCalls(asyncChain.body)).toEqual(["js.toDyn", "js.add", "js.fromDyn", "js.fromF64"]);
+    expect(validateModule(mod)).toEqual([]);
+});
+//# sourceMappingURL=jsval.test.js.map

package/dist/ir/jsval.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"jsval.test.js","sourceRoot":"","sources":["../../src/ir/jsval.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EACL,IAAI,EACJ,GAAG,EACH,GAAG,EACH,KAAK,EACL,MAAM,EACN,IAAI,GAKL,MAAM,SAAS,CAAC;AACjB,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAC/C,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAE/C,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACnD,MAAM,GAAG,GAAG,CAAC,EAAU,EAAE,IAAI,GAAG,GAAG,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAC7F,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;IACtC,IAAI,EAAE,SAAS;IACf,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;IAChD,IAAI,EAAE,GAAG;IACT,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,EAAE,GAAG,CAAC,EAAgC,EAAE,CAAS,EAAE,CAAS,EAAE,MAAe,EAAU,EAAE,CAAC,CAAC;IAC/F,IAAI,EAAE,SAAS;IACf,EAAE;IACF,IAAI,EACF,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC9F,IAAI,EAAE,GAAG;IACT,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,GAAW,EAAU,EAAE,CAAC,CAAC;IACrD,IAAI,EAAE,WAAW;IACjB,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;IACtD,KAAK,EAAE,IAAI;IACX,IAAI,EAAE,GAAG;IACT,GAAG;CACJ,CAAC,CAAC;AAEH,SAAS,EAAE,CAAC,IAAY,EAAE,IAAc,EAAE,MAAM,GAAa,EAAE,EAAE,UAAU,GAAG,GAAG;IAC/E,OAAO;QACL,IAAI;QACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAChD,UAAU;QACV,MAAM,EAAE;YACN,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;YACjD,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;SACpE;QACD,IAAI;QACJ,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,GAAG,SAAuB;IAC1C,MAAM,IAAI,GAAe;QACvB,IAAI,EAAE,OAAO;QACb,MAAM,EAAE,EAAE;QACV,UAAU,EAAE,IAAI;QAChB,MAAM,EAAE,EAAE;QACV,IAAI,EAAE,EAAE;QACR,GAAG;KACJ,CAAC;IACF,MAAM,GAAG,GAAa;QACpB,SAAS,EAAE,EAAE;QACb,UAAU,EAAE,UAAU;QACtB,SAAS,EAAE,CAAC,IAAI,EAAE,GAAG,SAAS,CAAC;QAC/B,KAAK,EAAE,OAAO;KACf,CAAC;IACF,iBAAiB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACjC,OAAO,GAAG,CAAC;AACb,CAAC;AAED,iDAAiD;AACjD,SAAS,OAAO,CAAC,IAAc;IAC7B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,KAAK,GAAG,CAAC,KAAc,EAAQ,EAAE;QACrC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;aAC1C,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YACrD,MAAM,IAAI,GAAG,KAAuC,CAAC;YACrD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,EAAE,EAAE,UAAU,CAAC,KAAK,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC7E,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACtC,CAAC;IACH,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,OAAO,GAAG,CAAC;AACb,CAAC;AAED,IAAI,CAAC,8EAA8E,EAAE,GAAG,EAAE;IACxF,uBAAuB;IACvB,MAAM,KAAK,GAAG,EAAE,CAAC,OAAO,EAAE;QACxB;YACE,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,EAAE,CACP,SAAS,EACT,EAAE,CAAC,gBAAgB,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,EACvE,GAAG,CAAC,CAAC,CAAC,CACP;YACD,GAAG;SACJ;KACF,CAAC,CAAC;IACH,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC5B,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACnC,sEAAsE;IACtE,yEAAyE;IACzE,SAAS;IACT,MAAM,MAAM,GAAG,EAAE,CAAC,QAAQ,EAAE;QAC1B;YACE,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YAC1E,GAAG;SACJ;KACF,CAAC,CAAC;IACH,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC3B,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC;IACpC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACtC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;QAClC,UAAU;QACV,QAAQ;QACR,eAAe;QACf,YAAY;QACZ,YAAY;QACZ,YAAY;KACb,CAAC,CAAC;IACH,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACzC,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAC1C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qEAAqE,EAAE,GAAG,EAAE;IAC/E,MAAM,KAAK,GAAG,EAAE,CAAC,OAAO,EAAE;QACxB,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,gBAAgB,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;KACzF,CAAC,CAAC;IACH,oEAAoE;IACpE,MAAM,GAAG,GAAG,EAAE,CAAC,KAAK,EAAE;QACpB;YACE,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,EAAE,CACP,SAAS,EACT,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EACnE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CACpE;YACD,GAAG;SACJ;KACF,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,EAAE,CAAC,MAAM,EAAE;QACtB;YACE,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC;YACpF,GAAG;SACJ;QACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;KACzC,CAAC,CAAC;IACH,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IACvC,aAAa,CAAC,GAAG,CAAC,CAAC;IACnB,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACxC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACtC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,eAAe,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC,CAAC;IACnF,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC9C,8CAA8C;IAC9C,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC,CAAC;IAC/D,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAC1C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mFAAmF,EAAE,GAAG,EAAE;IAC7F,MAAM,OAAO,GAAG,EAAE,CAChB,SAAS,EACT;QACE;YACE,IAAI,EAAE,IAAI;YACV,IAAI,EAAE;gBACJ,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,aAAa;gBACjB,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;gBACxF,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ;YACD,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC;YACpF,KAAK,EAAE,IAAI;YACX,GAAG;SACJ;QACD;YACE,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE;gBACL,IAAI,EAAE,UAAU;gBAChB,KAAK,EAAE,EAAE,CAAC,gBAAgB,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;gBAC/D,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ;YACD,GAAG;SACJ;KACF,EACD,EAAE,EACF,GAAG,CACJ,CAAC;IACF,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC9B,aAAa,CAAC,GAAG,CAAC,CAAC;IACnB,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;QACpC,YAAY;QACZ,YAAY;QACZ,YAAY;QACZ,UAAU;QACV,eAAe;QACf,YAAY;QACZ,YAAY;KACb,CAAC,CAAC;IACH,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAC1C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kEAAkE,EAAE,GAAG,EAAE;IAC5E,0DAA0D;IAC1D,MAAM,IAAI,GAAG,EAAE,CACb,MAAM,EACN;QACE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,EAAE,GAAG,EAAE;QACzE;YACE,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YACxD,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,QAAQ;oBACd,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,EAAE,CAAC,SAAS,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;oBAC1D,GAAG;iBACJ;aACF;YACD,GAAG;SACJ;QACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE;KAC3C,EACD,CAAC,KAAK,CAAC,CACR,CAAC;IACF,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC3B,aAAa,CAAC,GAAG,CAAC,CAAC;IACnB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAE,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACrE,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACvC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,YAAY,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;IAC3E,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAC1C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oDAAoD,EAAE,GAAG,EAAE;IAC9D,gCAAgC;IAChC,MAAM,MAAM,GAAG,EAAE,CACf,QAAQ,EACR;QACE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,SAAS,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE;QAC1F;YACE,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YACxD,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC;YAC9D,GAAG;SACJ;QACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;KACzC,EACD,CAAC,GAAG,CAAC,CACN,CAAC;IACF,MAAM,GAAG,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC7B,aAAa,CAAC,GAAG,CAAC,CAAC;IACnB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAE,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACnE,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAC1C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+EAA+E,EAAE,GAAG,EAAE;IACzF,MAAM,KAAK,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IACtE,MAAM,UAAU,GAAG,EAAE,CAAC,YAAY,EAAE;QAClC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE;KAC7E,CAAC,CAAC;IACH,UAAU,CAAC,KAAK,GAAG,IAAI,CAAC;IACxB,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IACxC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC;IACnC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxC,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACrC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC3C,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC3C,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,QAAQ,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC,CAAC;IAC7F,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAC1C,CAAC,CAAC,CAAC"}