@scriptc/compiler 0.4.1 → 0.4.2

package/dist/frontend/lowering/dispatch-sites.d.ts

@@ -0,0 +1,59 @@
+import { type IrFunction, type IrStmt, type IrType } from "../../ir/ir.js";
+/** What one function's body holds for the class dispatch pass and its
+ * caught-value, generator and class construction sub-passes, collected in
+ * one walk. Lists keep the order the walk meets their entries. */
+export interface FunctionSites {
+    statements: IrStmt[];
+    length: number;
+    first: IrStmt | undefined;
+    last: IrStmt | undefined;
+    /** The value types of `dynFrom` expressions, once per type key. */
+    values: IrType[];
+    /** The types the class dispatch scan boxes, once per type key and class:
+     * `dynFrom` values, the parameter types of dynamic functions checked into
+     * native function types, and the receivers of own enumerable field writes
+     * and updates. A receiver counts only while its class (`fieldClass`)
+     * tracks its own fields. */
+    boxing: {
+        type: IrType;
+        fieldClass?: string;
+    }[];
+    /** JSON serialization of dynamic values. */
+    serializes: boolean;
+    /** ToPrimitive conversions, and `dyn.valueOf` and `dyn.toString` calls. */
+    conversions: boolean;
+    /** Sites the class dispatch rewrite can change. */
+    dispatches: boolean;
+    /** `dynHasKey` tests. */
+    keyTests: boolean;
+    /** `instanceof` tests of caught values, and caught values narrowed or
+     * checked to class types. */
+    caughtClassTests: boolean;
+    /** Calls and reads of generator steps, and reads of iterator helper
+     * methods. */
+    generatorSteps: boolean;
+    /** Values the runtime steps: iterator helper calls and reads, `dynIterN`,
+     * and rest destructuring. */
+    runtimeSteps: boolean;
+    /** `dyn.classBasePrototype` calls. */
+    basePrototypes: boolean;
+    /** The classes of thrown class instances, once each. */
+    thrown: string[];
+    /** `caughtToDyn` conversions. */
+    caughtValues: boolean;
+}
+/** The function summaries (FunctionSites) of one class dispatch pass, kept
+ * across its runs. */
+export declare class DispatchSites {
+    private readonly sites;
+    /** The sites of `fn`. A summary is reused while the function's statement
+     * list is the same array with the same length and the same first and last
+     * statements: the dispatch passes replace the lists they rewrite and add
+     * statements to the helpers they extend. Other changes inside an
+     * unchanged list are reported with `forget`, except in prototype data
+     * helpers, which are scanned on every use. */
+    of(fn: IrFunction): FunctionSites;
+    /** Drops the summary of a function whose body changed inside an unchanged
+     * statement list. */
+    forget(fn: IrFunction): void;
+}

package/dist/frontend/lowering/dispatch-sites.js

@@ -0,0 +1,204 @@
+import { InternalCompilerError } from "../../errors.js";
+import { isClassOwnEnumerableFieldName, isDynTypedRefType, typeKey, } from "../../ir/ir.js";
+import { everyStmtList } from "../../ir/traverse.js";
+import { toPrimitiveHint } from "./class-dynamic-dispatch.js";
+import { GENERATOR_STEP_METHODS, HELPER_METHODS } from "./generator-dynamic-dispatch.js";
+/** The `libCall`s the class dispatch rewrite can change. */
+const DISPATCH_LIB_CALLS = new Set([
+    "bytes.construct",
+    "dyn.keySet",
+    "dyn.keySetComputed",
+    "dyn.iterator",
+    "dyn.arrayFromIterator",
+    "dyn.toString",
+    "dyn.stringConstructor",
+    "dyn.forInKeys",
+    "dyn.forInKeyStrings",
+    "dyn.hasKeyComputed",
+    "dyn.hasOwnComputed",
+    "dyn.propertyIsEnumerableComputed",
+    "dyn.defineProperty",
+    "dyn.getPrototype",
+    "dyn.reflectGet",
+    "dyn.reflectSet",
+]);
+/** Prototype data helpers (classPrototypeData) gain method slots inside
+ * their initialization block, so their summaries are not reused. */
+const PROTOTYPE_DATA_PREFIX = "%prototype.data.";
+/** SCRIPTC_CHECK_DISPATCH_SCANS=1 checks each reused summary against a fresh walk. */
+const CHECK_SCANS = process.env["SCRIPTC_CHECK_DISPATCH_SCANS"] === "1";
+/** The function summaries (FunctionSites) of one class dispatch pass, kept
+ * across its runs. */
+export class DispatchSites {
+    sites = new Map();
+    /** The sites of `fn`. A summary is reused while the function's statement
+     * list is the same array with the same length and the same first and last
+     * statements: the dispatch passes replace the lists they rewrite and add
+     * statements to the helpers they extend. Other changes inside an
+     * unchanged list are reported with `forget`, except in prototype data
+     * helpers, which are scanned on every use. */
+    of(fn) {
+        const cached = this.sites.get(fn);
+        if (cached !== undefined &&
+            !fn.name.startsWith(PROTOTYPE_DATA_PREFIX) &&
+            cached.statements === fn.body &&
+            cached.length === fn.body.length &&
+            cached.first === fn.body[0] &&
+            cached.last === fn.body[fn.body.length - 1]) {
+            if (CHECK_SCANS && !sameSites(cached, scanSites(fn.body)))
+                throw new InternalCompilerError(`reused dispatch sites of ${fn.name} disagree with a fresh scan`);
+            return cached;
+        }
+        const sites = scanSites(fn.body);
+        this.sites.set(fn, sites);
+        return sites;
+    }
+    /** Drops the summary of a function whose body changed inside an unchanged
+     * statement list. */
+    forget(fn) {
+        this.sites.delete(fn);
+    }
+}
+function scanSites(statements) {
+    const sites = {
+        statements,
+        length: statements.length,
+        first: statements[0],
+        last: statements[statements.length - 1],
+        values: [],
+        boxing: [],
+        serializes: false,
+        conversions: false,
+        dispatches: false,
+        keyTests: false,
+        caughtClassTests: false,
+        generatorSteps: false,
+        runtimeSteps: false,
+        basePrototypes: false,
+        thrown: [],
+        caughtValues: false,
+    };
+    const valueKeys = new Set();
+    const boxingKeys = new Set();
+    const thrown = new Set();
+    const box = (type, fieldClass) => {
+        const key = `${fieldClass ?? ""}\0${typeKey(type)}`;
+        if (boxingKeys.has(key))
+            return;
+        boxingKeys.add(key);
+        sites.boxing.push(fieldClass === undefined ? { type } : { type, fieldClass });
+    };
+    everyStmtList(statements, {
+        stmt: (statement) => {
+            if (statement.kind === "throw" && statement.value.type.kind === "object") {
+                const className = statement.value.type.className;
+                if (!thrown.has(className)) {
+                    thrown.add(className);
+                    sites.thrown.push(className);
+                }
+            }
+            // Field-creation instrumentation can box a base-constructor receiver
+            // even when only its derived instances otherwise cross the boundary.
+            if (statement.kind === "fieldSet" && isClassOwnEnumerableFieldName(statement.field))
+                box(statement.obj.type, statement.className);
+            return true;
+        },
+        expr: (expr) => {
+            if (expr.kind === "jsonStringify" ||
+                (expr.kind === "libCall" &&
+                    (expr.fn === "json.stringifyValue" || expr.fn === "json.stringifyReplacer")))
+                sites.serializes = true;
+            if (toPrimitiveHint(expr) !== null ||
+                (expr.kind === "libCall" && (expr.fn === "dyn.valueOf" || expr.fn === "dyn.toString")))
+                sites.conversions = true;
+            if ((expr.kind === "dynInvoke" && GENERATOR_STEP_METHODS.has(expr.method)) ||
+                (expr.kind === "dynKeyGet" &&
+                    expr.key.kind === "strLit" &&
+                    (GENERATOR_STEP_METHODS.has(expr.key.value) || HELPER_METHODS.has(expr.key.value))))
+                sites.generatorSteps = true;
+            if ((expr.kind === "dynInvoke" && HELPER_METHODS.has(expr.method)) ||
+                (expr.kind === "dynKeyGet" &&
+                    expr.key.kind === "strLit" &&
+                    HELPER_METHODS.has(expr.key.value)) ||
+                expr.kind === "dynIterN" ||
+                (expr.kind === "libCall" && expr.fn === "dyn.destructureRest"))
+                sites.runtimeSteps = true;
+            switch (expr.kind) {
+                case "dynFrom": {
+                    const key = typeKey(expr.value.type);
+                    if (!valueKeys.has(key)) {
+                        valueKeys.add(key);
+                        sites.values.push(expr.value.type);
+                    }
+                    box(expr.value.type);
+                    break;
+                }
+                case "fieldIncDec":
+                    if (isClassOwnEnumerableFieldName(expr.field))
+                        box(expr.obj.type, expr.className);
+                    break;
+                case "call":
+                    if ((expr.callee === "%dyn.class.properties" ||
+                        expr.callee === "%dyn.class.readProperties") &&
+                        expr.args[0]?.kind === "dynFrom" &&
+                        isDynTypedRefType(expr.args[0].value.type))
+                        sites.dispatches = true;
+                    break;
+                case "dynHasKey":
+                    sites.keyTests = true;
+                    break;
+                case "caughtTest":
+                    if (expr.test === "instanceof")
+                        sites.caughtClassTests = true;
+                    break;
+                case "caughtNarrow":
+                case "caughtCheck":
+                    if (expr.type.kind === "object")
+                        sites.caughtClassTests = true;
+                    break;
+                case "caughtToDyn":
+                    sites.caughtValues = true;
+                    break;
+                case "dynKeyGet":
+                case "dynInvoke":
+                    sites.dispatches = true;
+                    break;
+                case "dynCheck":
+                    if (isDynTypedRefType(expr.type))
+                        sites.dispatches = true;
+                    // A dynamic function checked into a native function type
+                    // receives its arguments as dynamic values: class instances
+                    // passed to it cross the boundary when it is called (a JS
+                    // `list.map((rec) => rec.match(x))` callback with an untyped
+                    // parameter).
+                    if (expr.type.kind === "func")
+                        expr.type.params.forEach((type) => box(type));
+                    break;
+                case "libCall":
+                    if (expr.fn === "dyn.classBasePrototype")
+                        sites.basePrototypes = true;
+                    if (DISPATCH_LIB_CALLS.has(expr.fn))
+                        sites.dispatches = true;
+                    break;
+            }
+            return true;
+        },
+    });
+    return sites;
+}
+function sameSites(left, right) {
+    const sameList = (a, b, same) => a.length === b.length && a.every((item, index) => same(item, b[index]));
+    return (sameList(left.values, right.values, (a, b) => a === b) &&
+        sameList(left.boxing, right.boxing, (a, b) => a.type === b.type && a.fieldClass === b.fieldClass) &&
+        sameList(left.thrown, right.thrown, (a, b) => a === b) &&
+        left.serializes === right.serializes &&
+        left.conversions === right.conversions &&
+        left.dispatches === right.dispatches &&
+        left.keyTests === right.keyTests &&
+        left.caughtClassTests === right.caughtClassTests &&
+        left.generatorSteps === right.generatorSteps &&
+        left.runtimeSteps === right.runtimeSteps &&
+        left.basePrototypes === right.basePrototypes &&
+        left.caughtValues === right.caughtValues);
+}
+//# sourceMappingURL=dispatch-sites.js.map

package/dist/frontend/lowering/dispatch-sites.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dispatch-sites.js","sourceRoot":"","sources":["../../../src/frontend/lowering/dispatch-sites.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EACL,6BAA6B,EAC7B,iBAAiB,EACjB,OAAO,GAIR,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAE,sBAAsB,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAC;AA2CzF,4DAA4D;AAC5D,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAS;IACzC,iBAAiB;IACjB,YAAY;IACZ,oBAAoB;IACpB,cAAc;IACd,uBAAuB;IACvB,cAAc;IACd,uBAAuB;IACvB,eAAe;IACf,qBAAqB;IACrB,oBAAoB;IACpB,oBAAoB;IACpB,kCAAkC;IAClC,oBAAoB;IACpB,kBAAkB;IAClB,gBAAgB;IAChB,gBAAgB;CACjB,CAAC,CAAC;AAEH;oEACoE;AACpE,MAAM,qBAAqB,GAAG,kBAAkB,CAAC;AAEjD,sFAAsF;AACtF,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,8BAA8B,CAAC,KAAK,GAAG,CAAC;AAExE;sBACsB;AACtB,MAAM,OAAO,aAAa;IACP,KAAK,GAAG,IAAI,GAAG,EAA6B,CAAC;IAE9D;;;;;kDAK8C;IAC9C,EAAE,CAAC,EAAc;QACf,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAClC,IACE,MAAM,KAAK,SAAS;YACpB,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,qBAAqB,CAAC;YAC1C,MAAM,CAAC,UAAU,KAAK,EAAE,CAAC,IAAI;YAC7B,MAAM,CAAC,MAAM,KAAK,EAAE,CAAC,IAAI,CAAC,MAAM;YAChC,MAAM,CAAC,KAAK,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;YAC3B,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,EAC3C,CAAC;YACD,IAAI,WAAW,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;gBACvD,MAAM,IAAI,qBAAqB,CAC7B,4BAA4B,EAAE,CAAC,IAAI,6BAA6B,CACjE,CAAC;YACJ,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,MAAM,KAAK,GAAG,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAC1B,OAAO,KAAK,CAAC;IACf,CAAC;IAED;yBACqB;IACrB,MAAM,CAAC,EAAc;QACnB,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACxB,CAAC;CACF;AAED,SAAS,SAAS,CAAC,UAAoB;IACrC,MAAM,KAAK,GAAkB;QAC3B,UAAU;QACV,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC;QACpB,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;QACvC,MAAM,EAAE,EAAE;QACV,MAAM,EAAE,EAAE;QACV,UAAU,EAAE,KAAK;QACjB,WAAW,EAAE,KAAK;QAClB,UAAU,EAAE,KAAK;QACjB,QAAQ,EAAE,KAAK;QACf,gBAAgB,EAAE,KAAK;QACvB,cAAc,EAAE,KAAK;QACrB,YAAY,EAAE,KAAK;QACnB,cAAc,EAAE,KAAK;QACrB,MAAM,EAAE,EAAE;QACV,YAAY,EAAE,KAAK;KACpB,CAAC;IACF,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,UAAmB,EAAQ,EAAE;QACtD,MAAM,GAAG,GAAG,GAAG,UAAU,IAAI,EAAE,KAAK,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACpD,IAAI,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO;QAChC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpB,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;IAChF,CAAC,CAAC;IACF,aAAa,CAAC,UAAU,EAAE;QACxB,IAAI,EAAE,CAAC,SAAS,EAAE,EAAE;YAClB,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,IAAI,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACzE,MAAM,SAAS,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC;gBACjD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;oBAC3B,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;oBACtB,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAC/B,CAAC;YACH,CAAC;YACD,qEAAqE;YACrE,qEAAqE;YACrE,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,IAAI,6BAA6B,CAAC,SAAS,CAAC,KAAK,CAAC;gBACjF,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,SAAS,CAAC,CAAC;YAC/C,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACb,IACE,IAAI,CAAC,IAAI,KAAK,eAAe;gBAC7B,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;oBACtB,CAAC,IAAI,CAAC,EAAE,KAAK,qBAAqB,IAAI,IAAI,CAAC,EAAE,KAAK,wBAAwB,CAAC,CAAC;gBAE9E,KAAK,CAAC,UAAU,GAAG,IAAI,CAAC;YAC1B,IACE,eAAe,CAAC,IAAI,CAAC,KAAK,IAAI;gBAC9B,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,aAAa,IAAI,IAAI,CAAC,EAAE,KAAK,cAAc,CAAC,CAAC;gBAEtF,KAAK,CAAC,WAAW,GAAG,IAAI,CAAC;YAC3B,IACE,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACtE,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW;oBACxB,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;oBAC1B,CAAC,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;gBAErF,KAAK,CAAC,cAAc,GAAG,IAAI,CAAC;YAC9B,IACE,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAC9D,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW;oBACxB,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;oBAC1B,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACrC,IAAI,CAAC,IAAI,KAAK,UAAU;gBACxB,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,EAAE,KAAK,qBAAqB,CAAC;gBAE9D,KAAK,CAAC,YAAY,GAAG,IAAI,CAAC;YAC5B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;gBAClB,KAAK,SAAS,EAAE,CAAC;oBACf,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBACrC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;wBACxB,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;wBACnB,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBACrC,CAAC;oBACD,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBACrB,MAAM;gBACR,CAAC;gBACD,KAAK,aAAa;oBAChB,IAAI,6BAA6B,CAAC,IAAI,CAAC,KAAK,CAAC;wBAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;oBAClF,MAAM;gBACR,KAAK,MAAM;oBACT,IACE,CAAC,IAAI,CAAC,MAAM,KAAK,uBAAuB;wBACtC,IAAI,CAAC,MAAM,KAAK,2BAA2B,CAAC;wBAC9C,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS;wBAChC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;wBAE1C,KAAK,CAAC,UAAU,GAAG,IAAI,CAAC;oBAC1B,MAAM;gBACR,KAAK,WAAW;oBACd,KAAK,CAAC,QAAQ,GAAG,IAAI,CAAC;oBACtB,MAAM;gBACR,KAAK,YAAY;oBACf,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;wBAAE,KAAK,CAAC,gBAAgB,GAAG,IAAI,CAAC;oBAC9D,MAAM;gBACR,KAAK,cAAc,CAAC;gBACpB,KAAK,aAAa;oBAChB,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;wBAAE,KAAK,CAAC,gBAAgB,GAAG,IAAI,CAAC;oBAC/D,MAAM;gBACR,KAAK,aAAa;oBAChB,KAAK,CAAC,YAAY,GAAG,IAAI,CAAC;oBAC1B,MAAM;gBACR,KAAK,WAAW,CAAC;gBACjB,KAAK,WAAW;oBACd,KAAK,CAAC,UAAU,GAAG,IAAI,CAAC;oBACxB,MAAM;gBACR,KAAK,UAAU;oBACb,IAAI,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC;wBAAE,KAAK,CAAC,UAAU,GAAG,IAAI,CAAC;oBAC1D,yDAAyD;oBACzD,4DAA4D;oBAC5D,0DAA0D;oBAC1D,6DAA6D;oBAC7D,cAAc;oBACd,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;wBAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;oBAC7E,MAAM;gBACR,KAAK,SAAS;oBACZ,IAAI,IAAI,CAAC,EAAE,KAAK,wBAAwB;wBAAE,KAAK,CAAC,cAAc,GAAG,IAAI,CAAC;oBACtE,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;wBAAE,KAAK,CAAC,UAAU,GAAG,IAAI,CAAC;oBAC7D,MAAM;YACV,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;KACF,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,SAAS,CAAC,IAAmB,EAAE,KAAoB;IAC1D,MAAM,QAAQ,GAAG,CAAI,CAAe,EAAE,CAAe,EAAE,IAA6B,EAAW,EAAE,CAC/F,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAE,CAAC,CAAC,CAAC;IAC3E,OAAO,CACL,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QACtD,QAAQ,CACN,IAAI,CAAC,MAAM,EACX,KAAK,CAAC,MAAM,EACZ,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,UAAU,KAAK,CAAC,CAAC,UAAU,CAC7D;QACD,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QACtD,IAAI,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU;QACpC,IAAI,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW;QACtC,IAAI,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU;QACpC,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;QAChC,IAAI,CAAC,gBAAgB,KAAK,KAAK,CAAC,gBAAgB;QAChD,IAAI,CAAC,cAAc,KAAK,KAAK,CAAC,cAAc;QAC5C,IAAI,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY;QACxC,IAAI,CAAC,cAAc,KAAK,KAAK,CAAC,cAAc;QAC5C,IAAI,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY,CACzC,CAAC;AACJ,CAAC"}

package/dist/frontend/lowering/dispatch-sites.test.d.ts

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

package/dist/frontend/lowering/dispatch-sites.test.js

@@ -0,0 +1,59 @@
+import { expect, test, vi } from "vitest";
+import { DYN, F64, VOID } from "../../ir/ir.js";
+import * as traversal from "../../ir/traverse.js";
+import { DispatchSites } from "./dispatch-sites.js";
+const loc = { file: "sites.ts", start: 0, end: 1 };
+const keyRead = (key) => ({
+    kind: "exprStmt",
+    expr: {
+        kind: "dynKeyGet",
+        value: { kind: "varRef", localId: "value", type: DYN, loc },
+        key: { kind: "strLit", value: key, type: DYN, loc },
+        type: DYN,
+        loc,
+    },
+    loc,
+});
+const value = (n) => ({
+    kind: "exprStmt",
+    expr: { kind: "numLit", value: n, type: F64, loc },
+    loc,
+});
+const fn = (body) => ({
+    name: "f",
+    body,
+    params: [],
+    locals: [],
+    returnType: VOID,
+    loc,
+});
+test("reuses a function's sites while its statement list is unchanged", () => {
+    const sites = new DispatchSites();
+    const f = fn([value(1)]);
+    const walk = vi.spyOn(traversal, "everyStmtList");
+    try {
+        expect(sites.of(f).dispatches).toBe(false);
+        expect(sites.of(f).dispatches).toBe(false);
+        expect(walk).toHaveBeenCalledTimes(1);
+        // A statement added to the same list is found.
+        f.body.push(keyRead("next"));
+        expect(sites.of(f)).toMatchObject({ dispatches: true, generatorSteps: true });
+        // So is a replaced list.
+        f.body = [value(2)];
+        expect(sites.of(f)).toMatchObject({ dispatches: false, generatorSteps: false });
+        expect(walk).toHaveBeenCalledTimes(3);
+    }
+    finally {
+        walk.mockRestore();
+    }
+});
+test("scans a body again once a change inside an unchanged list is reported", () => {
+    const sites = new DispatchSites();
+    const placeholder = { kind: "block", body: [], loc };
+    const f = fn([placeholder]);
+    expect(sites.of(f).dispatches).toBe(false);
+    placeholder.body.push(keyRead("map"));
+    sites.forget(f);
+    expect(sites.of(f)).toMatchObject({ dispatches: true, runtimeSteps: true });
+});
+//# sourceMappingURL=dispatch-sites.test.js.map

package/dist/frontend/lowering/dispatch-sites.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dispatch-sites.test.js","sourceRoot":"","sources":["../../../src/frontend/lowering/dispatch-sites.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC1C,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAA6C,MAAM,gBAAgB,CAAC;AAC3F,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEpD,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAC3D,MAAM,OAAO,GAAG,CAAC,GAAW,EAAU,EAAE,CAAC,CAAC;IACxC,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE;QACJ,IAAI,EAAE,WAAW;QACjB,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QAC3D,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QACnD,IAAI,EAAE,GAAG;QACT,GAAG;KACJ;IACD,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,KAAK,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC;IACpC,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;IAClD,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,EAAE,GAAG,CAAC,IAAc,EAAc,EAAE,CAAC,CAAC;IAC1C,IAAI,EAAE,GAAG;IACT,IAAI;IACJ,MAAM,EAAE,EAAE;IACV,MAAM,EAAE,EAAE;IACV,UAAU,EAAE,IAAI;IAChB,GAAG;CACJ,CAAC,CAAC;AAEH,IAAI,CAAC,iEAAiE,EAAE,GAAG,EAAE;IAC3E,MAAM,KAAK,GAAG,IAAI,aAAa,EAAE,CAAC;IAClC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzB,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC;IAClD,IAAI,CAAC;QACH,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3C,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3C,MAAM,CAAC,IAAI,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;QACtC,+CAA+C;QAC/C,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;QAC7B,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9E,yBAAyB;QACzB,CAAC,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACpB,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,CAAC;QAChF,MAAM,CAAC,IAAI,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC;YAAS,CAAC;QACT,IAAI,CAAC,WAAW,EAAE,CAAC;IACrB,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,uEAAuE,EAAE,GAAG,EAAE;IACjF,MAAM,KAAK,GAAG,IAAI,aAAa,EAAE,CAAC;IAClC,MAAM,WAAW,GAAuC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC;IACzF,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;IAC5B,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3C,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;IACtC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAChB,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;AAC9E,CAAC,CAAC,CAAC"}

package/dist/frontend/lowering/dyn-streams.d.ts

@@ -7,6 +7,9 @@ import type { Lowerer } from "./lowerer.js";
 export declare function nodeStreamInterfaceSide(lowerer: Lowerer, type: ts.Type): "r" | "w" | null;
 /** The runtime class a native value of the side unboxes to. */
 export declare function nativeStreamClass(side: "r" | "w"): IrType;
+/** Runs `lower` with `node` lowering to `value` and its member calls taking
+ * `type` as the receiver representation. */
+export declare function withStreamReceiver<T>(lowerer: Lowerer, node: ts.Expression, value: IrExpr, type: IrType, lower: () => T): T;
 /** `stream.member(args)` on a NodeJS.ReadableStream / NodeJS.WritableStream
  * receiver under checked-dynamic stream slots, or null when the call is not
  * one. */

package/dist/frontend/lowering/dyn-streams.js

@@ -42,7 +42,7 @@ function dynNativeStream(lowerer, value, side, fn = "stream.dynNative") {
 }
 /** Runs `lower` with `node` lowering to `value` and its member calls taking
  * `type` as the receiver representation. */
-function withStreamReceiver(lowerer, node, value, type, lower) {
+export function withStreamReceiver(lowerer, node, value, type, lower) {
     const previous = lowerer.receiverTypeOverrides.get(node);
     lowerer.receiverTypeOverrides.set(node, type);
     try {

package/dist/frontend/lowering/dyn-streams.js.map

@@ -1 +1 @@
-{"version":3,"file":"dyn-streams.js","sourceRoot":"","sources":["../../../src/frontend/lowering/dyn-streams.ts"],"names":[],"mappings":"AAmBA,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC7E,OAAO,EAAE,GAAG,EAAE,MAAM,gBAAgB,CAAC;AACrC,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAAE,4BAA4B,EAAE,MAAM,mBAAmB,CAAC;AACjE,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AAGzD;;iCAEiC;AACjC,MAAM,UAAU,uBAAuB,CAAC,OAAgB,EAAE,IAAa;IACrE,MAAM,KAAK,GAAG,CAAC,CAAU,EAAa,EAAE,CACtC,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5F,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACnE,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;QACvD,IACE,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,gBAAgB,CAAC;YAChE,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,gBAAgB,CAAC;YAEhE,SAAS;QACX,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CACrC,CAAC,CAAC,EAAE,EAAE,CACJ,EAAE,CAAC,sBAAsB,CAAC,CAAC,CAAC;YAC5B,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;YAC/C,4BAA4B,CAAC,CAAC,EAAE,QAAQ,CAAC,CAC5C,CAAC;QACF,IAAI,QAAQ;YAAE,OAAO,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;IAC5E,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,iBAAiB,CAAC,IAAe;IAC/C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;AACjF,CAAC;AAED;;qCAEqC;AACrC,SAAS,eAAe,CACtB,OAAgB,EAChB,KAAa,EACb,IAAe,EACf,EAAE,GAAgD,kBAAkB;IAEpE,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACvC,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE;QACF,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;QACtD,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE;QACpF,GAAG,EAAE,KAAK,CAAC,GAAG;KACf,CAAC;AACJ,CAAC;AAED;4CAC4C;AAC5C,SAAS,kBAAkB,CACzB,OAAgB,EAChB,IAAmB,EACnB,KAAa,EACb,IAAY,EACZ,KAAc;IAEd,MAAM,QAAQ,GAAG,OAAO,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACzD,OAAO,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC9C,IAAI,CAAC;QACH,OAAO,OAAO,CAAC,sBAAsB,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAC5D,CAAC;YAAS,CAAC;QACT,IAAI,QAAQ;YAAE,OAAO,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;;YAC3D,OAAO,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAClD,CAAC;AACH,CAAC;AAED;;UAEU;AACV,MAAM,UAAU,wBAAwB,CACtC,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,IAAI,CAAC,OAAO,CAAC,cAAc;QAAE,OAAO,IAAI,CAAC;IACzC,sEAAsE;IACtE,IAAI,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAChE,IAAI,MAAM,CAAC,gBAAgB,IAAI,IAAI,CAAC,gBAAgB,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;QACnF,OAAO,IAAI,CAAC;IACd,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/D,MAAM,IAAI,GAAG,uBAAuB,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;IACjF,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,aAAa,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,iBAAiB,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC;IACnF,MAAM,WAAW,GAAG,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;IACjF,MAAM,KAAK,GAAa,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,CAAC;IAC9F,MAAM,GAAG,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,CAAC;QACvC,IAAI,EAAE,SAAS;QACf,KAAK;QACL,MAAM;QACN,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,GAAG;KACJ,CAAC,CAAC;IACH,uEAAuE;IACvE,gEAAgE;IAChE,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACtC,MAAM,KAAK,GACT,aAAa,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;YAClC,CAAC,CAAC,kBAAkB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,EAAE,WAAW,EAAE,aAAa,CAAC,IAAI,EAAE,GAAG,EAAE,CACnF,qBAAqB,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,CAC7C;YACH,CAAC,CAAC,OAAO,CAAC,sBAAsB,CAAC,MAAM,CAAC,UAAU,EAAE,WAAW,EAAE,GAAG,EAAE,CAClE,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CACxB,CAAC;QACR,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,CAAC,UAAU,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,iBAAiB,EAAE,IAAI,CAAC,CAAC;QACnF,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC;IACD,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,eAAe,CAAC,OAAO,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;IAC7D,MAAM,YAAY,GAAG,OAAO,CAAC,kBAAkB,CAAC,eAAe,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAChF,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;IAC/E,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5E,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,oBAAoB,EAAE,UAAU,CAAC,CAAC;IAC5E,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;IAC1E,MAAM,UAAU,GAAW;QACzB,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,MAAM,CAAC,EAAE;QAClB,IAAI,EAAE;YACJ,IAAI,EAAE,aAAa;YACnB,OAAO;YACP,GAAG;YACH,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC;YAClD,IAAI,EAAE,UAAU;YAChB,GAAG;SACJ;QACD,GAAG;KACJ,CAAC;IACF,MAAM,KAAK,GAAG,kBAAkB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,EAAE,CACvF,qBAAqB,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,CAC7C,CAAC;IACF,IAAI,KAAK,KAAK,IAAI;QAChB,OAAO,CAAC,UAAU,CAChB,GAAG,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,uBAAuB,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,EACzF,IAAI,CACL,CAAC;IACJ,sEAAsE;IACtE,sDAAsD;IACtD,MAAM,OAAO,GAAW;QACtB,IAAI,EAAE,WAAW;QACjB,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI;QACxB,UAAU,EAAE,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC;QACpC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC7E,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;IACF,MAAM,IAAI,GAAW;QACnB,IAAI,EAAE,YAAY;QAClB,OAAO;QACP,GAAG;QACH,OAAO,EAAE,KAAK;QACd,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC;QAClD,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;QACtB,GAAG;KACJ,CAAC;IACF,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC3E,IAAI,UAAU,KAAK,IAAI,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACtD,KAAK,CAAC,IAAI,CAAC;YACT,IAAI,EAAE,IAAI;YACV,IAAI;YACJ,IAAI,EAAE,CAAC,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;YAC1D,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;YACjD,GAAG;SACJ,CAAC,CAAC;QACH,OAAO,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC;IACpC,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,eAAe,EAAE,UAAU,CAAC,CAAC;IACvE,MAAM,CAAC,OAAO,GAAG,IAAI,CAAC;IACtB,KAAK,CAAC,IAAI,CACR,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EACxD;QACE,IAAI,EAAE,IAAI;QACV,IAAI;QACJ,IAAI,EAAE;YACJ,UAAU;YACV;gBACE,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE,MAAM,CAAC,EAAE;gBAClB,KAAK,EAAE,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,CAAC;gBAClD,GAAG;aACJ;SACF;QACD,KAAK,EAAE;YACL;gBACE,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE,MAAM,CAAC,EAAE;gBAClB,KAAK,EAAE,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC;gBACpD,GAAG;aACJ;SACF;QACD,GAAG;KACJ,CACF,CAAC;IACF,OAAO,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC;AACjD,CAAC;AAED;;;8DAG8D;AAC9D,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,IAAuB,EACvB,SAA8B;IAE9B,IAAI,CAAC,OAAO,CAAC,cAAc,IAAI,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IACzF,IAAI,uBAAuB,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,KAAK,GAAG;QAAE,OAAO,IAAI,CAAC;IAC3F,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACjD,MAAM,MAAM,GACV,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;IACpF,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAAC;IACpE,MAAM,IAAI,GACR,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QACvB,CAAC,CAAC;YACE,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,iBAAiB;YACrB,IAAI,EAAE;gBACJ,KAAK;gBACL,MAAM,CACJ,8EAA8E,EAC9E,GAAG,CACJ;aACF;YACD,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ;QACH,CAAC,CAAC,KAAK,CAAC;IACZ,MAAM,IAAI,GAAG,kBAAkB,CAC7B,OAAO,EACP,IAAI,CAAC,UAAU,EACf,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,EAC7B,MAAM,EACN,SAAS,CACV,CAAC;IACF,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,OAAO;QACL,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,CAAC;QAC/D,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC;KACjB,CAAC;AACJ,CAAC;AAED;;;;;uEAKuE;AACvE,MAAM,UAAU,eAAe,CAC7B,OAAgB,EAChB,KAAa,EACb,IAAe,EACf,QAAoC,EACpC,SAAiB;IAEjB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;IACtB,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,eAAe,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,sBAAsB,CAAC,CAAC;IAC/E,MAAM,YAAY,GAAG,OAAO,CAAC,kBAAkB,CAAC,eAAe,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAChF,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5E,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,oBAAoB,EAAE,UAAU,CAAC,CAAC;IAC5E,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAChE,OAAO;QACL,IAAI,EAAE,OAAO;QACb,IAAI,EAAE;YACJ,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE;YAClE;gBACE,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE;oBACJ,IAAI,EAAE,YAAY;oBAClB,OAAO;oBACP,GAAG;oBACH,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,WAAW;oBAClB,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;oBACtB,GAAG;iBACJ;gBACD,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,SAAS;wBACf,OAAO,EAAE,MAAM,CAAC,EAAE;wBAClB,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE;wBACtF,GAAG;qBACJ;oBACD,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;iBAC7C;gBACD,KAAK,EAAE,CAAC,SAAS,CAAC;gBAClB,GAAG;aACJ;SACF;QACD,GAAG;KACJ,CAAC;AACJ,CAAC"}
+{"version":3,"file":"dyn-streams.js","sourceRoot":"","sources":["../../../src/frontend/lowering/dyn-streams.ts"],"names":[],"mappings":"AAmBA,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC7E,OAAO,EAAE,GAAG,EAAE,MAAM,gBAAgB,CAAC;AACrC,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAAE,4BAA4B,EAAE,MAAM,mBAAmB,CAAC;AACjE,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AAGzD;;iCAEiC;AACjC,MAAM,UAAU,uBAAuB,CAAC,OAAgB,EAAE,IAAa;IACrE,MAAM,KAAK,GAAG,CAAC,CAAU,EAAa,EAAE,CACtC,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5F,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACnE,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;QACvD,IACE,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,gBAAgB,CAAC;YAChE,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,gBAAgB,CAAC;YAEhE,SAAS;QACX,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CACrC,CAAC,CAAC,EAAE,EAAE,CACJ,EAAE,CAAC,sBAAsB,CAAC,CAAC,CAAC;YAC5B,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;YAC/C,4BAA4B,CAAC,CAAC,EAAE,QAAQ,CAAC,CAC5C,CAAC;QACF,IAAI,QAAQ;YAAE,OAAO,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;IAC5E,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,iBAAiB,CAAC,IAAe;IAC/C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;AACjF,CAAC;AAED;;qCAEqC;AACrC,SAAS,eAAe,CACtB,OAAgB,EAChB,KAAa,EACb,IAAe,EACf,EAAE,GAAgD,kBAAkB;IAEpE,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACvC,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE;QACF,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;QACtD,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE;QACpF,GAAG,EAAE,KAAK,CAAC,GAAG;KACf,CAAC;AACJ,CAAC;AAED;4CAC4C;AAC5C,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,IAAmB,EACnB,KAAa,EACb,IAAY,EACZ,KAAc;IAEd,MAAM,QAAQ,GAAG,OAAO,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACzD,OAAO,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC9C,IAAI,CAAC;QACH,OAAO,OAAO,CAAC,sBAAsB,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAC5D,CAAC;YAAS,CAAC;QACT,IAAI,QAAQ;YAAE,OAAO,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;;YAC3D,OAAO,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAClD,CAAC;AACH,CAAC;AAED;;UAEU;AACV,MAAM,UAAU,wBAAwB,CACtC,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,IAAI,CAAC,OAAO,CAAC,cAAc;QAAE,OAAO,IAAI,CAAC;IACzC,sEAAsE;IACtE,IAAI,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAChE,IAAI,MAAM,CAAC,gBAAgB,IAAI,IAAI,CAAC,gBAAgB,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;QACnF,OAAO,IAAI,CAAC;IACd,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/D,MAAM,IAAI,GAAG,uBAAuB,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;IACjF,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,aAAa,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,iBAAiB,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC;IACnF,MAAM,WAAW,GAAG,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;IACjF,MAAM,KAAK,GAAa,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,CAAC;IAC9F,MAAM,GAAG,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,CAAC;QACvC,IAAI,EAAE,SAAS;QACf,KAAK;QACL,MAAM;QACN,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,GAAG;KACJ,CAAC,CAAC;IACH,uEAAuE;IACvE,gEAAgE;IAChE,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACtC,MAAM,KAAK,GACT,aAAa,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;YAClC,CAAC,CAAC,kBAAkB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,EAAE,WAAW,EAAE,aAAa,CAAC,IAAI,EAAE,GAAG,EAAE,CACnF,qBAAqB,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,CAC7C;YACH,CAAC,CAAC,OAAO,CAAC,sBAAsB,CAAC,MAAM,CAAC,UAAU,EAAE,WAAW,EAAE,GAAG,EAAE,CAClE,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CACxB,CAAC;QACR,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,CAAC,UAAU,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,iBAAiB,EAAE,IAAI,CAAC,CAAC;QACnF,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC;IACD,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,eAAe,CAAC,OAAO,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;IAC7D,MAAM,YAAY,GAAG,OAAO,CAAC,kBAAkB,CAAC,eAAe,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAChF,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;IAC/E,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5E,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,oBAAoB,EAAE,UAAU,CAAC,CAAC;IAC5E,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;IAC1E,MAAM,UAAU,GAAW;QACzB,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,MAAM,CAAC,EAAE;QAClB,IAAI,EAAE;YACJ,IAAI,EAAE,aAAa;YACnB,OAAO;YACP,GAAG;YACH,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC;YAClD,IAAI,EAAE,UAAU;YAChB,GAAG;SACJ;QACD,GAAG;KACJ,CAAC;IACF,MAAM,KAAK,GAAG,kBAAkB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,EAAE,CACvF,qBAAqB,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,CAC7C,CAAC;IACF,IAAI,KAAK,KAAK,IAAI;QAChB,OAAO,CAAC,UAAU,CAChB,GAAG,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,uBAAuB,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,EACzF,IAAI,CACL,CAAC;IACJ,sEAAsE;IACtE,sDAAsD;IACtD,MAAM,OAAO,GAAW;QACtB,IAAI,EAAE,WAAW;QACjB,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI;QACxB,UAAU,EAAE,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC;QACpC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC7E,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;IACF,MAAM,IAAI,GAAW;QACnB,IAAI,EAAE,YAAY;QAClB,OAAO;QACP,GAAG;QACH,OAAO,EAAE,KAAK;QACd,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC;QAClD,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;QACtB,GAAG;KACJ,CAAC;IACF,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC3E,IAAI,UAAU,KAAK,IAAI,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACtD,KAAK,CAAC,IAAI,CAAC;YACT,IAAI,EAAE,IAAI;YACV,IAAI;YACJ,IAAI,EAAE,CAAC,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;YAC1D,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;YACjD,GAAG;SACJ,CAAC,CAAC;QACH,OAAO,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC;IACpC,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,eAAe,EAAE,UAAU,CAAC,CAAC;IACvE,MAAM,CAAC,OAAO,GAAG,IAAI,CAAC;IACtB,KAAK,CAAC,IAAI,CACR,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EACxD;QACE,IAAI,EAAE,IAAI;QACV,IAAI;QACJ,IAAI,EAAE;YACJ,UAAU;YACV;gBACE,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE,MAAM,CAAC,EAAE;gBAClB,KAAK,EAAE,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,CAAC;gBAClD,GAAG;aACJ;SACF;QACD,KAAK,EAAE;YACL;gBACE,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE,MAAM,CAAC,EAAE;gBAClB,KAAK,EAAE,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC;gBACpD,GAAG;aACJ;SACF;QACD,GAAG;KACJ,CACF,CAAC;IACF,OAAO,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC;AACjD,CAAC;AAED;;;8DAG8D;AAC9D,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,IAAuB,EACvB,SAA8B;IAE9B,IAAI,CAAC,OAAO,CAAC,cAAc,IAAI,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IACzF,IAAI,uBAAuB,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,KAAK,GAAG;QAAE,OAAO,IAAI,CAAC;IAC3F,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACjD,MAAM,MAAM,GACV,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;IACpF,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAAC;IACpE,MAAM,IAAI,GACR,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QACvB,CAAC,CAAC;YACE,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,iBAAiB;YACrB,IAAI,EAAE;gBACJ,KAAK;gBACL,MAAM,CACJ,8EAA8E,EAC9E,GAAG,CACJ;aACF;YACD,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ;QACH,CAAC,CAAC,KAAK,CAAC;IACZ,MAAM,IAAI,GAAG,kBAAkB,CAC7B,OAAO,EACP,IAAI,CAAC,UAAU,EACf,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,EAC7B,MAAM,EACN,SAAS,CACV,CAAC;IACF,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,OAAO;QACL,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,CAAC;QAC/D,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC;KACjB,CAAC;AACJ,CAAC;AAED;;;;;uEAKuE;AACvE,MAAM,UAAU,eAAe,CAC7B,OAAgB,EAChB,KAAa,EACb,IAAe,EACf,QAAoC,EACpC,SAAiB;IAEjB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;IACtB,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,eAAe,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,sBAAsB,CAAC,CAAC;IAC/E,MAAM,YAAY,GAAG,OAAO,CAAC,kBAAkB,CAAC,eAAe,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAChF,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5E,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,oBAAoB,EAAE,UAAU,CAAC,CAAC;IAC5E,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAChE,OAAO;QACL,IAAI,EAAE,OAAO;QACb,IAAI,EAAE;YACJ,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE;YAClE;gBACE,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE;oBACJ,IAAI,EAAE,YAAY;oBAClB,OAAO;oBACP,GAAG;oBACH,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,WAAW;oBAClB,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;oBACtB,GAAG;iBACJ;gBACD,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,SAAS;wBACf,OAAO,EAAE,MAAM,CAAC,EAAE;wBAClB,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE;wBACtF,GAAG;qBACJ;oBACD,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;iBAC7C;gBACD,KAAK,EAAE,CAAC,SAAS,CAAC;gBAClB,GAAG;aACJ;SACF;QACD,GAAG;KACJ,CAAC;AACJ,CAAC"}

package/dist/frontend/lowering/dynamic-tier.d.ts

@@ -0,0 +1,25 @@
+import type { ScrDiagnostic } from "../../diagnostics/diagnostic.js";
+import { type DynamicTierPackageCount, type HotReason, type UntypedCause } from "../../diagnostics/dynamic-tier.js";
+import type { IrModule, SrcLoc } from "../../ir/ir.js";
+import type { Lowerer } from "./lowerer.js";
+export interface HotDynamicFunction {
+    /** The IR function name (`%Point.norm`, `parse`, ...). */
+    name: string;
+    loc: SrcLoc;
+    hot: HotReason;
+    /** Dynamic operations inside the function's loops. */
+    loopOperations: number;
+    cause: UntypedCause;
+}
+export interface DynamicTierReport {
+    /** Likely-hot dynamic functions in the program's own files, most likely
+     * hot first. */
+    hot: HotDynamicFunction[];
+    /** Dynamic-tier functions in npm packages, by package. */
+    packages: DynamicTierPackageCount[];
+}
+/** The likely-hot dynamic-tier functions of `module` (see the header). */
+export declare function scanDynamicTier(lowerer: Lowerer, module: IrModule): DynamicTierReport;
+/** SC6101 for the program lowering produced, or null (see the header).
+ * Paths are relative to `root`, the entry's directory. */
+export declare function dynamicTierWarning(lowerer: Lowerer, module: IrModule, root: string): ScrDiagnostic | null;