@scriptc/compiler 0.4.0 → 0.4.1

package/dist/ir/js-ic.js

@@ -0,0 +1,199 @@
+import { everyStmtList } from "./traverse.js";
+const CAPSULE_TESTS = new Set(["dyn.typedRefIs", "dyn.typedRefKeyIs", "dyn.classIs"]);
+/** Classifies the helpers of a module once. */
+export class JsIcSites {
+    fns;
+    sites = new Map();
+    identities = new Map();
+    constructor(mod) {
+        this.fns = new Map(mod.functions.map((fn) => [fn.name, fn]));
+    }
+    /** The cache site a direct call to `callee` is, or null. */
+    site(callee) {
+        let site = this.sites.get(callee);
+        if (site === undefined) {
+            const fn = this.fns.get(callee);
+            site = fn ? this.classify(fn) : null;
+            this.sites.set(callee, site);
+        }
+        return site;
+    }
+    classify(fn) {
+        if (!fn.name.startsWith("%dyn.class."))
+            return null;
+        if (fn.async !== undefined || fn.generator !== undefined || fn.captures !== undefined)
+            return null;
+        if (fn.params.some((p) => p.type.kind !== "dyn"))
+            return null;
+        const receiver = fn.params[0]?.localId;
+        if (receiver === undefined)
+            return null;
+        let i = 0;
+        while (i < fn.body.length && this.capsuleBranch(fn.body[i], receiver))
+            i++;
+        const tail = fn.body.slice(i);
+        if (fn.params.length === 1)
+            return this.getTail(tail, receiver);
+        if (fn.params.length !== 2)
+            return null;
+        const second = fn.params[1].localId;
+        return this.setTail(tail, receiver, second) ?? this.keyedTail(tail, receiver, second);
+    }
+    /** `varDecl bag = BAG(receiver); return [js.fromDyn](bag === receiver ?
+     * dynKeyGet(bag, K) : dyn.bagGet(bag, K, receiver))`. */
+    getTail(tail, receiver) {
+        const [decl, ret] = tail;
+        if (tail.length !== 2 || decl?.kind !== "varDecl" || ret?.kind !== "return")
+            return null;
+        if (decl.init === null || !this.bagOf(decl.init, receiver))
+            return null;
+        const bag = decl.localId;
+        const value = unwrapFromDyn(ret.value);
+        if (value?.kind !== "ternary")
+            return null;
+        const { cond, then } = value;
+        if (cond.kind !== "dynScalarEq" ||
+            cond.negated === true ||
+            !isVar(cond.left, bag) ||
+            !isVar(cond.right, receiver) ||
+            then.kind !== "dynKeyGet" ||
+            !isVar(then.value, bag) ||
+            then.key.kind !== "strLit")
+            return null;
+        return { kind: "get", key: then.key.value };
+    }
+    /** `dyn.keySet(BAG(receiver), K, value); return`. */
+    setTail(tail, receiver, value) {
+        const [stmt, ret] = tail;
+        if (tail.length !== 2 || stmt?.kind !== "exprStmt" || ret?.kind !== "return")
+            return null;
+        if (ret.value !== null)
+            return null;
+        const call = stmt.expr;
+        if (call.kind !== "libCall" || call.fn !== "dyn.keySet" || call.args.length !== 3)
+            return null;
+        const [bag, key, stored] = call.args;
+        if (!bag || !this.bagOf(bag, receiver) || key?.kind !== "strLit" || !isVar(stored, value))
+            return null;
+        return { kind: "set", key: key.value };
+    }
+    /** `if (typeof key === "symbol") return dynKeyGet(BAG(receiver), key);
+     * if (receiver == null) return dynKeyGet(receiver, key);
+     * const s = String(key); return dynKeyGet(BAG(receiver), s)`, each read
+     * possibly under js.fromDyn. */
+    keyedTail(tail, receiver, key) {
+        const [symbol, nullish, decl, ret] = tail;
+        if (tail.length !== 4)
+            return null;
+        if (!this.guard(symbol, "symbol", key, (read) => this.bagOf(read, receiver), key))
+            return null;
+        if (!this.guard(nullish, "nullish", receiver, (read) => isVar(read, receiver), key))
+            return null;
+        if (decl?.kind !== "varDecl" || decl.init?.kind !== "libCall")
+            return null;
+        if (decl.init.fn !== "dyn.toStringCoerce" || !isVar(decl.init.args[0], key))
+            return null;
+        if (ret?.kind !== "return")
+            return null;
+        const read = unwrapFromDyn(ret.value);
+        if (read?.kind !== "dynKeyGet" || !isVar(read.key, decl.localId))
+            return null;
+        if (!this.bagOf(read.value, receiver))
+            return null;
+        return { kind: "keyed" };
+    }
+    guard(s, test, tested, object, key) {
+        if (s?.kind !== "if" || s.else_ !== null || s.then.length !== 1)
+            return false;
+        const { cond } = s;
+        if (cond.kind !== "dynTest" || cond.test !== test || cond.negated === true)
+            return false;
+        if (!isVar(cond.value, tested))
+            return false;
+        const ret = s.then[0];
+        if (ret.kind !== "return")
+            return false;
+        const read = unwrapFromDyn(ret.value);
+        return read?.kind === "dynKeyGet" && isVar(read.key, key) && object(read.value);
+    }
+    /** A branch that can only be taken for a capsule or class-object
+     * receiver: `if (<capsule test>) { ... }` with no else. */
+    capsuleBranch(s, receiver) {
+        return s.kind === "if" && s.else_ === null && this.capsuleTest(s.cond, receiver);
+    }
+    capsuleTest(e, receiver) {
+        if (e.kind === "libCall")
+            return CAPSULE_TESTS.has(e.fn) && e.args[0] !== undefined && this.bagOf(e.args[0], receiver);
+        if (e.kind === "ternary")
+            return (this.capsuleTest(e.cond, receiver) && e.else_.kind === "boolLit" && e.else_.value === false);
+        return false;
+    }
+    /** Whether `e` is the receiver itself for every ordinary object or array:
+     * the receiver, or a chain of property-bag helpers applied to it. */
+    bagOf(e, receiver) {
+        if (isVar(e, receiver))
+            return true;
+        return (e.kind === "call" &&
+            e.args.length === 1 &&
+            this.bagOf(e.args[0], receiver) &&
+            this.identityHelper(e.callee));
+    }
+    /** A property-bag helper that returns its argument unless a capsule
+     * branch is taken. */
+    identityHelper(name) {
+        const known = this.identities.get(name);
+        if (known !== undefined)
+            return known;
+        this.identities.set(name, false); // a recursive chain is not an identity
+        const fn = this.fns.get(name);
+        let identity = false;
+        if (fn &&
+            name.startsWith("%dyn.class.") &&
+            fn.params.length === 1 &&
+            fn.params[0].type.kind === "dyn" &&
+            fn.async === undefined &&
+            fn.generator === undefined &&
+            fn.captures === undefined) {
+            const param = fn.params[0].localId;
+            const last = fn.body[fn.body.length - 1];
+            identity =
+                fn.body.slice(0, -1).every((s) => this.capsuleBranch(s, param)) &&
+                    last?.kind === "return" &&
+                    last.value !== null &&
+                    this.bagOf(last.value, param);
+        }
+        this.identities.set(name, identity);
+        return identity;
+    }
+}
+function isVar(e, localId) {
+    return e?.kind === "varRef" && e.localId === localId;
+}
+function unwrapFromDyn(e) {
+    if (!e)
+        return null;
+    if (e.kind === "libCall" && e.fn === "js.fromDyn" && e.args.length === 1)
+        return e.args[0];
+    return e;
+}
+/** Whether a function holds a cache site: a call to a classified helper or
+ * a method dispatch. */
+export function hasJsIcSite(fn, sites) {
+    const methods = jsIcMethodSites(fn.name);
+    return !everyStmtList(fn.body, {
+        expr: (e) => !((methods && e.kind === "dynInvoke") ||
+            (e.kind === "call" && sites.site(e.callee) !== null)),
+        stmt: () => true,
+    });
+}
+/** Whether method dispatch in a function goes through caches. Module
+ * initializers (`%init.N`) run once, and the methods they call at top level
+ * are overwhelmingly registrations on native handles (`worker.on(...)`,
+ * `server.listen(...)`), which a cache never answers: they keep the plain
+ * dispatch, so a typed program whose only dynamic code is such top-level
+ * wiring links no dynamic-tier runtime. Property sites still cache there
+ * (top-level loops over objects). */
+export function jsIcMethodSites(fnName) {
+    return !fnName.startsWith("%init.");
+}
+//# sourceMappingURL=js-ic.js.map

package/dist/ir/js-ic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"js-ic.js","sourceRoot":"","sources":["../../src/ir/js-ic.ts"],"names":[],"mappings":"AA0BA,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAO9C,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,gBAAgB,EAAE,mBAAmB,EAAE,aAAa,CAAC,CAAC,CAAC;AAEtF,+CAA+C;AAC/C,MAAM,OAAO,SAAS;IACH,GAAG,CAAkC;IACrC,KAAK,GAAG,IAAI,GAAG,EAA2B,CAAC;IAC3C,UAAU,GAAG,IAAI,GAAG,EAAmB,CAAC;IAEzD,YAAY,GAAgC;QAC1C,IAAI,CAAC,GAAG,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/D,CAAC;IAED,4DAA4D;IAC5D,IAAI,CAAC,MAAc;QACjB,IAAI,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAClC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAChC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YACrC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC/B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,QAAQ,CAAC,EAAc;QAC7B,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC;YAAE,OAAO,IAAI,CAAC;QACpD,IAAI,EAAE,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,CAAC,SAAS,KAAK,SAAS,IAAI,EAAE,CAAC,QAAQ,KAAK,SAAS;YACnF,OAAO,IAAI,CAAC;QACd,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAC9D,MAAM,QAAQ,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC;QACvC,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACxC,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,OAAO,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,QAAQ,CAAC;YAAE,CAAC,EAAE,CAAC;QAC5E,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAChE,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACxC,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC;QACrC,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;IACxF,CAAC;IAED;6DACyD;IACjD,OAAO,CAAC,IAAc,EAAE,QAAgB;QAC9C,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC;QACzB,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,EAAE,IAAI,KAAK,SAAS,IAAI,GAAG,EAAE,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACzF,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC;YAAE,OAAO,IAAI,CAAC;QACxE,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC;QACzB,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACvC,IAAI,KAAK,EAAE,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QAC3C,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;QAC7B,IACE,IAAI,CAAC,IAAI,KAAK,aAAa;YAC3B,IAAI,CAAC,OAAO,KAAK,IAAI;YACrB,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;YACtB,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC;YAC5B,IAAI,CAAC,IAAI,KAAK,WAAW;YACzB,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC;YACvB,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;YAE1B,OAAO,IAAI,CAAC;QACd,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;IAC9C,CAAC;IAED,qDAAqD;IAC7C,OAAO,CAAC,IAAc,EAAE,QAAgB,EAAE,KAAa;QAC7D,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC;QACzB,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,EAAE,IAAI,KAAK,UAAU,IAAI,GAAG,EAAE,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAC1F,IAAI,GAAG,CAAC,KAAK,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACpC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QACvB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,EAAE,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAC/F,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC;QACrC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,GAAG,EAAE,IAAI,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC;YACvF,OAAO,IAAI,CAAC;QACd,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC;IACzC,CAAC;IAED;;;oCAGgC;IACxB,SAAS,CAAC,IAAc,EAAE,QAAgB,EAAE,GAAW;QAC7D,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC;QAC1C,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACnC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QAC/F,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC;YACjF,OAAO,IAAI,CAAC;QACd,IAAI,IAAI,EAAE,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QAC3E,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,oBAAoB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QACzF,IAAI,GAAG,EAAE,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACxC,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,IAAI,EAAE,IAAI,KAAK,WAAW,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC;YAAE,OAAO,IAAI,CAAC;QAC9E,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC;YAAE,OAAO,IAAI,CAAC;QACnD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAC3B,CAAC;IAEO,KAAK,CACX,CAAqB,EACrB,IAA0B,EAC1B,MAAc,EACd,MAA8B,EAC9B,GAAW;QAEX,IAAI,CAAC,EAAE,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAC9E,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QACnB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC;QACzF,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;QAC7C,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;QACvB,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QACxC,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtC,OAAO,IAAI,EAAE,IAAI,KAAK,WAAW,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClF,CAAC;IAED;+DAC2D;IACnD,aAAa,CAAC,CAAS,EAAE,QAAgB;QAC/C,OAAO,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACnF,CAAC;IAEO,WAAW,CAAC,CAAS,EAAE,QAAgB;QAC7C,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;YACtB,OAAO,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;QAC/F,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;YACtB,OAAO,CACL,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,KAAK,KAAK,CAC5F,CAAC;QACJ,OAAO,KAAK,CAAC;IACf,CAAC;IAED;yEACqE;IAC7D,KAAK,CAAC,CAAS,EAAE,QAAgB;QACvC,IAAI,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC;YAAE,OAAO,IAAI,CAAC;QACpC,OAAO,CACL,CAAC,CAAC,IAAI,KAAK,MAAM;YACjB,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;YACnB,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,QAAQ,CAAC;YAChC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAC9B,CAAC;IACJ,CAAC;IAED;0BACsB;IACd,cAAc,CAAC,IAAY;QACjC,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,uCAAuC;QACzE,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,IACE,EAAE;YACF,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC;YAC9B,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;YACtB,EAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;YACjC,EAAE,CAAC,KAAK,KAAK,SAAS;YACtB,EAAE,CAAC,SAAS,KAAK,SAAS;YAC1B,EAAE,CAAC,QAAQ,KAAK,SAAS,EACzB,CAAC;YACD,MAAM,KAAK,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC;YACpC,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YACzC,QAAQ;gBACN,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;oBAC/D,IAAI,EAAE,IAAI,KAAK,QAAQ;oBACvB,IAAI,CAAC,KAAK,KAAK,IAAI;oBACnB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAClC,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACpC,OAAO,QAAQ,CAAC;IAClB,CAAC;CACF;AAED,SAAS,KAAK,CAAC,CAA4B,EAAE,OAAe;IAC1D,OAAO,CAAC,EAAE,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC;AACvD,CAAC;AAED,SAAS,aAAa,CAAC,CAA4B;IACjD,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACpB,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,EAAE,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;IAC5F,OAAO,CAAC,CAAC;AACX,CAAC;AAED;wBACwB;AACxB,MAAM,UAAU,WAAW,CAAC,EAAc,EAAE,KAAgB;IAC1D,MAAM,OAAO,GAAG,eAAe,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACzC,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;QAC7B,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CACV,CAAC,CACC,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC;YACnC,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,CACrD;QACH,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;KACjB,CAAC,CAAC;AACL,CAAC;AAED;;;;;;qCAMqC;AACrC,MAAM,UAAU,eAAe,CAAC,MAAc;IAC5C,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;AACtC,CAAC"}

package/dist/ir/js-ic.test.d.ts

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

package/dist/ir/js-ic.test.js

@@ -0,0 +1,148 @@
+import { expect, test } from "vitest";
+import { BOOL, DYN, STRING, VOID } from "./ir.js";
+import { JsIcSites, hasJsIcSite } from "./js-ic.js";
+const loc = { file: "js-ic.ts", start: 0, end: 0 };
+const ref = (id, type = DYN) => ({ kind: "varRef", localId: id, type, loc });
+const str = (value) => ({ kind: "strLit", value, type: STRING, loc });
+const call = (callee, ...args) => ({
+    kind: "call",
+    callee,
+    args,
+    type: DYN,
+    loc,
+});
+const ret = (value) => ({ kind: "return", value, loc });
+function helper(name, params, body, locals = []) {
+    return {
+        name,
+        params: params.map((id) => ({ localId: id, name: id, type: DYN })),
+        returnType: DYN,
+        locals: [...params, ...locals].map((id) => ({ id, name: id, type: DYN, mutable: false })),
+        body,
+        loc,
+    };
+}
+/** `if (dyn.typedRefIs(p, "C")) return undefined` — a capsule branch. */
+function capsuleBranch(param, fn = "dyn.typedRefIs") {
+    return {
+        kind: "if",
+        cond: {
+            kind: "libCall",
+            fn: fn,
+            args: [ref(param), str("C")],
+            type: BOOL,
+            loc,
+        },
+        then: [ret(ref(param))],
+        else_: null,
+        loc,
+    };
+}
+const identityBag = helper("%dyn.class.readPropertiesOrEmpty", ["v"], [capsuleBranch("v"), ret(ref("v"))]);
+function getHelper(name, key, prefix = [], bag) {
+    const bagRef = ref("bag.0");
+    return helper(name, ["p.0"], [
+        ...prefix,
+        { kind: "varDecl", localId: "bag.0", init: bag ?? call(identityBag.name, ref("p.0")), loc },
+        ret({
+            kind: "libCall",
+            fn: "js.fromDyn",
+            args: [
+                {
+                    kind: "ternary",
+                    cond: { kind: "dynScalarEq", left: bagRef, right: ref("p.0"), type: BOOL, loc },
+                    then: { kind: "dynKeyGet", key: str(key), value: bagRef, type: DYN, loc },
+                    else_: {
+                        kind: "libCall",
+                        fn: "dyn.bagGet",
+                        args: [bagRef, str(key), ref("p.0")],
+                        type: DYN,
+                        loc,
+                    },
+                    type: DYN,
+                    loc,
+                },
+            ],
+            type: { kind: "jsval" },
+            loc,
+        }),
+    ], ["bag.0"]);
+}
+function setHelper(name, key, prefix = []) {
+    return {
+        ...helper(name, ["p.0", "p.1"], [
+            ...prefix,
+            {
+                kind: "exprStmt",
+                expr: {
+                    kind: "libCall",
+                    fn: "dyn.keySet",
+                    args: [call("%dyn.class.properties", ref("p.0")), str(key), ref("p.1")],
+                    type: VOID,
+                    loc,
+                },
+                loc,
+            },
+            ret(null),
+        ]),
+        returnType: VOID,
+    };
+}
+const properties = helper("%dyn.class.properties", ["v"], [capsuleBranch("v"), ret(ref("v"))]);
+function sitesOf(...functions) {
+    return new JsIcSites({ functions: [identityBag, properties, ...functions] });
+}
+test("property helpers whose class branches only test capsules are cache sites", () => {
+    const sites = sitesOf(getHelper("%dyn.class.property.0", "x", [
+        capsuleBranch("p.0"),
+        capsuleBranch("p.0", "dyn.classIs"),
+    ]), setHelper("%dyn.class.property.1", "y", [capsuleBranch("p.0", "dyn.typedRefKeyIs")]));
+    expect(sites.site("%dyn.class.property.0")).toEqual({ kind: "get", key: "x" });
+    expect(sites.site("%dyn.class.property.1")).toEqual({ kind: "set", key: "y" });
+});
+test("any other prefix or tail keeps the helper call", () => {
+    const errorBranch = {
+        kind: "if",
+        cond: { kind: "dynTest", test: "error", value: ref("p.0"), type: BOOL, loc },
+        then: [ret(ref("p.0"))],
+        else_: null,
+        loc,
+    };
+    // A branch an ordinary object can take (toString of an error object).
+    const withError = getHelper("%dyn.class.property.0", "toString", [errorBranch]);
+    // A bag that is not the receiver for ordinary objects.
+    const otherBag = helper("%dyn.class.other", ["v"], [ret({ kind: "dynObjLit", type: DYN, loc })]);
+    const foreignBag = getHelper("%dyn.class.property.1", "x", [], call(otherBag.name, ref("p.0")));
+    // A function outside the generated helper family.
+    const userFn = { ...getHelper("%dyn.class.property.2", "x"), name: "user" };
+    const sites = sitesOf(withError, otherBag, foreignBag, userFn);
+    expect(sites.site("%dyn.class.property.0")).toBeNull();
+    expect(sites.site("%dyn.class.property.1")).toBeNull();
+    expect(sites.site("user")).toBeNull();
+    expect(sites.site("%dyn.class.missing")).toBeNull();
+});
+test("a function holds a site when it calls a classified helper or dispatches a method", () => {
+    const getter = getHelper("%dyn.class.property.0", "x");
+    const sites = sitesOf(getter);
+    const caller = helper("f", ["o"], [ret(call(getter.name, ref("o")))]);
+    const invoker = helper("g", ["o"], [
+        ret({
+            kind: "dynInvoke",
+            recv: ref("o"),
+            method: "m",
+            calleeName: "o.m",
+            args: [],
+            type: DYN,
+            loc,
+        }),
+    ]);
+    const plain = helper("h", ["o"], [ret(ref("o"))]);
+    expect(hasJsIcSite(caller, sites)).toBe(true);
+    expect(hasJsIcSite(invoker, sites)).toBe(true);
+    expect(hasJsIcSite(plain, sites)).toBe(false);
+    // Module initializers keep plain method dispatch (top-level handle
+    // wiring), while their property sites still cache.
+    expect(hasJsIcSite({ ...invoker, name: "%init.0" }, sites)).toBe(false);
+    expect(hasJsIcSite({ ...caller, name: "%init.0" }, sites)).toBe(true);
+});
+//# sourceMappingURL=js-ic.test.js.map

package/dist/ir/js-ic.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"js-ic.test.js","sourceRoot":"","sources":["../../src/ir/js-ic.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAA6C,MAAM,SAAS,CAAC;AAC7F,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEpD,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,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;AACtF,MAAM,IAAI,GAAG,CAAC,MAAc,EAAE,GAAG,IAAc,EAAU,EAAE,CAAC,CAAC;IAC3D,IAAI,EAAE,MAAM;IACZ,MAAM;IACN,IAAI;IACJ,IAAI,EAAE,GAAG;IACT,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,GAAG,GAAG,CAAC,KAAoB,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;AAE/E,SAAS,MAAM,CAAC,IAAY,EAAE,MAAgB,EAAE,IAAc,EAAE,MAAM,GAAa,EAAE;IACnF,OAAO;QACL,IAAI;QACJ,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QAClE,UAAU,EAAE,GAAG;QACf,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QACzF,IAAI;QACJ,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,yEAAyE;AACzE,SAAS,aAAa,CAAC,KAAa,EAAE,EAAE,GAAG,gBAAgB;IACzD,OAAO;QACL,IAAI,EAAE,IAAI;QACV,IAAI,EAAE;YACJ,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,EAAsB;YAC1B,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;YAC5B,IAAI,EAAE,IAAI;YACV,GAAG;SACJ;QACD,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QACvB,KAAK,EAAE,IAAI;QACX,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,MAAM,WAAW,GAAG,MAAM,CACxB,kCAAkC,EAClC,CAAC,GAAG,CAAC,EACL,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CACpC,CAAC;AAEF,SAAS,SAAS,CAAC,IAAY,EAAE,GAAW,EAAE,MAAM,GAAa,EAAE,EAAE,GAAY;IAC/E,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC;IAC5B,OAAO,MAAM,CACX,IAAI,EACJ,CAAC,KAAK,CAAC,EACP;QACE,GAAG,MAAM;QACT,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,EAAE;QAC3F,GAAG,CAAC;YACF,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,YAAY;YAChB,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBAC/E,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;oBACzE,KAAK,EAAE;wBACL,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,YAAY;wBAChB,IAAI,EAAE,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;wBACpC,IAAI,EAAE,GAAG;wBACT,GAAG;qBACJ;oBACD,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;aACF;YACD,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;YACvB,GAAG;SACJ,CAAC;KACH,EACD,CAAC,OAAO,CAAC,CACV,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,IAAY,EAAE,GAAW,EAAE,MAAM,GAAa,EAAE;IACjE,OAAO;QACL,GAAG,MAAM,CACP,IAAI,EACJ,CAAC,KAAK,EAAE,KAAK,CAAC,EACd;YACE,GAAG,MAAM;YACT;gBACE,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE;oBACJ,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,YAAY;oBAChB,IAAI,EAAE,CAAC,IAAI,CAAC,uBAAuB,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;oBACvE,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,GAAG;aACJ;YACD,GAAG,CAAC,IAAI,CAAC;SACV,CACF;QACD,UAAU,EAAE,IAAI;KACjB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,GAAG,MAAM,CAAC,uBAAuB,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAE/F,SAAS,OAAO,CAAC,GAAG,SAAuB;IACzC,OAAO,IAAI,SAAS,CAAC,EAAE,SAAS,EAAE,CAAC,WAAW,EAAE,UAAU,EAAE,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;AAC/E,CAAC;AAED,IAAI,CAAC,0EAA0E,EAAE,GAAG,EAAE;IACpF,MAAM,KAAK,GAAG,OAAO,CACnB,SAAS,CAAC,uBAAuB,EAAE,GAAG,EAAE;QACtC,aAAa,CAAC,KAAK,CAAC;QACpB,aAAa,CAAC,KAAK,EAAE,aAAa,CAAC;KACpC,CAAC,EACF,SAAS,CAAC,uBAAuB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC,CAAC,CACrF,CAAC;IACF,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IAC/E,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACjF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gDAAgD,EAAE,GAAG,EAAE;IAC1D,MAAM,WAAW,GAAW;QAC1B,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QAC5E,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QACvB,KAAK,EAAE,IAAI;QACX,GAAG;KACJ,CAAC;IACF,sEAAsE;IACtE,MAAM,SAAS,GAAG,SAAS,CAAC,uBAAuB,EAAE,UAAU,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC;IAChF,uDAAuD;IACvD,MAAM,QAAQ,GAAG,MAAM,CAAC,kBAAkB,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IACjG,MAAM,UAAU,GAAG,SAAS,CAAC,uBAAuB,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAChG,kDAAkD;IAClD,MAAM,MAAM,GAAG,EAAE,GAAG,SAAS,CAAC,uBAAuB,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC5E,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IAC/D,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACtC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACtD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kFAAkF,EAAE,GAAG,EAAE;IAC5F,MAAM,MAAM,GAAG,SAAS,CAAC,uBAAuB,EAAE,GAAG,CAAC,CAAC;IACvD,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAC9B,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtE,MAAM,OAAO,GAAG,MAAM,CACpB,GAAG,EACH,CAAC,GAAG,CAAC,EACL;QACE,GAAG,CAAC;YACF,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC;YACd,MAAM,EAAE,GAAG;YACX,UAAU,EAAE,KAAK;YACjB,IAAI,EAAE,EAAE;YACR,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;KACH,CACF,CAAC;IACF,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAClD,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,MAAM,CAAC,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,MAAM,CAAC,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,mEAAmE;IACnE,mDAAmD;IACnD,MAAM,CAAC,WAAW,CAAC,EAAE,GAAG,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxE,MAAM,CAAC,WAAW,CAAC,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACxE,CAAC,CAAC,CAAC"}

package/dist/ir/jsval.js

@@ -42,6 +42,7 @@
  * 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 { JsIcSites } from "./js-ic.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. */
@@ -88,9 +89,11 @@ export function jsvalEligible(fn) {
  * Returns the number of functions that now use jsval. */
 export function promoteJsvals(mod) {
     const results = jsvalResults(mod);
+    const sites = new JsIcSites(mod);
+    const storesJs = (e) => e.kind === "call" && sites.site(e.callee)?.kind === "set";
     let count = 0;
     for (const fn of mod.functions)
-        if (jsvalEligible(fn) && promoteFunction(fn, results))
+        if (jsvalEligible(fn) && promoteFunction(fn, results, storesJs))
             count++;
     for (const fn of mod.functions)
         if (results.has(fn.name))
@@ -146,7 +149,7 @@ 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) {
+function promotableLocals(fn, producer, jsResult, storesJs) {
     const candidates = new Map();
     for (const local of fn.locals) {
         if (local.type.kind === "dyn" && local.boxed === undefined && local.tdz === undefined)
@@ -208,6 +211,14 @@ function promotableLocals(fn, producer, jsResult) {
                     return;
                 }
                 break;
+            case "call":
+                // An inline-cache store takes its value as a jsval (S4).
+                if (storesJs(e)) {
+                    expr(e.args[0], false, weight);
+                    expr(e.args[1], true, weight);
+                    return;
+                }
+                break;
             default:
                 break;
         }
@@ -240,6 +251,18 @@ function promotableLocals(fn, producer, jsResult) {
     };
     const stmt = (s, weight) => {
         switch (s.kind) {
+            case "exprStmt":
+                // A discarded sequence result (a compound assignment statement)
+                // is never boxed.
+                if (discardedSequence(s.expr)) {
+                    for (const inner of s.expr.stmts)
+                        stmt(inner, weight);
+                    expr(s.expr.result, true, weight);
+                    return;
+                }
+                blockStmtReferences(s);
+                expr(s.expr, false, weight);
+                return;
             case "return":
                 if (s.value !== null)
                     expr(s.value, jsResult && s.value.type.kind === "dyn", weight);
@@ -289,11 +312,15 @@ function promotableLocals(fn, producer, jsResult) {
             promoted.add(id);
     return promoted;
 }
+/** A statement-level sequence whose result nothing reads. */
+function discardedSequence(e) {
+    return e.kind === "seqExpr" && e.generatorDelegate === undefined && e.diverges === undefined;
+}
 /* ── the rewrite ─────────────────────────────────────────────────────── */
-function promoteFunction(fn, results) {
+function promoteFunction(fn, results, storesJs) {
     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 promoted = promotableLocals(fn, (e) => operatorCall(e) || resultCall(e), results.has(fn.name), storesJs);
     const ownResult = results.has(fn.name);
     let changed = false;
     const producesJs = (e) => operatorCall(e) ||
@@ -347,6 +374,13 @@ function promoteFunction(fn, results) {
         // 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 === "exprStmt" && discardedSequence(s.expr) && producesJs(s.expr.result)) {
+            const result = toJs(s.expr.result);
+            return {
+                ...s,
+                expr: { ...s.expr, stmts: s.expr.stmts.map(rewriteStmt), result, type: result.type },
+            };
+        }
         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))

package/dist/ir/jsval.js.map

@@ -1 +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"}
+{"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,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,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,MAAM,KAAK,GAAG,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC;IACjC,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAW,EAAE,CACtC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,KAAK,KAAK,CAAC;IAC5D,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS;QAC5B,IAAI,aAAa,CAAC,EAAE,CAAC,IAAI,eAAe,CAAC,EAAE,EAAE,OAAO,EAAE,QAAQ,CAAC;YAAE,KAAK,EAAE,CAAC;IAC3E,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,EACjB,QAAgC;IAEhC,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,KAAK,MAAM;gBACT,yDAAyD;gBACzD,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;oBAChB,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;oBAChC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;oBAC/B,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,UAAU;gBACb,gEAAgE;gBAChE,kBAAkB;gBAClB,IAAI,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC9B,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK;wBAAE,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;oBACtD,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;oBAClC,OAAO;gBACT,CAAC;gBACD,mBAAmB,CAAC,CAAC,CAAC,CAAC;gBACvB,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;gBAC5B,OAAO;YACT,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,6DAA6D;AAC7D,SAAS,iBAAiB,CAAC,CAAS;IAClC,OAAO,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,iBAAiB,KAAK,SAAS,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC;AAC/F,CAAC;AAED,4EAA4E;AAE5E,SAAS,eAAe,CACtB,EAAc,EACd,OAA4B,EAC5B,QAAgC;IAEhC,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,EACpB,QAAQ,CACT,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,UAAU,IAAI,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACpF,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACnC,OAAO;gBACL,GAAG,CAAC;gBACJ,IAAI,EAAE,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE;aACrF,CAAC;QACJ,CAAC;QACD,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/runtime-features.d.ts

@@ -1,5 +1,8 @@
 import type { IrClassDef, IrExpr, IrModule, IrRecordShape, IrType, IrUnionDef } from "./ir.js";
 import type { IrLibFn } from "./builtin-signatures.js";
+/** The fixed-width Buffer read/write method names (both "UInt" and "Uint"
+ * spellings) a checked-dynamic method call routes to scr_bytes_dyn.c. */
+export declare const DYN_BUFFER_NUM_METHODS: ReadonlySet<string>;
 /** Inspect types and expressions together in one traversal. This is a fresh
  * snapshot: callers may mutate an IR module between compilation passes. */
 /** The checked-dynamic undefined value (dynUndefinedExpr). */
@@ -10,6 +13,15 @@ interface TypeTables {
     records: Map<string, IrRecordShape>;
     unions: Map<string, IrUnionDef>;
     classes: Map<string, IrClassDef>;
+    /** mentionsDgramSocket's carriers, computed on first use. */
+    dgramCarriers?: DgramCarriers;
+}
+/** The record shapes, unions and classes whose values carry a dgram socket
+ * (directly or through other members), computed once per module. */
+interface DgramCarriers {
+    records: Set<string>;
+    unions: Set<string>;
+    anyClass: boolean;
 }
 /** The libCall nodes the rules below test. */
 type LibCallNode = IrExpr & {
@@ -31,7 +43,9 @@ interface RuntimeFeatureRule {
 }
 /** One rule per runtime feature, sorted by name. A new feature is an
  * entry here and its line in noRuntimeFeatures; RuntimeFeatures, the scan
- * and its early exit derive from this table. */
+ * and its early exit derive from this table. The lists above keep one
+ * entry per line, sorted within each commented group, so changes that add
+ * different entries touch different lines. */
 declare const RUNTIME_FEATURE_RULES: {
     assert: RuntimeFeatureRule;
     /** The program enters AsyncLocalStorage stores (store.run, enterWith,
@@ -51,6 +65,10 @@ declare const RUNTIME_FEATURE_RULES: {
     dc: RuntimeFeatureRule;
     /** dns.lookup lives in the dgram unit. */
     dgram: RuntimeFeatureRule;
+    /** A dgram socket converts to or from an untyped value (its handle box,
+     * a boxed function or record that carries one): scr_dgram_dyn.c over
+     * the dgram unit. */
+    dgramDyn: RuntimeFeatureRule;
     /** node:dns/promises: scr_dns_promises.c over the dgram unit. */
     dnsPromises: RuntimeFeatureRule;
     dynAsync: RuntimeFeatureRule;
@@ -70,8 +88,21 @@ declare const RUNTIME_FEATURE_RULES: {
     /** Checked-dynamic stream slots test values and pipe into JavaScript
      * stream objects (scr_stream_dyn.c). */
     streamDyn: RuntimeFeatureRule;
+    /** Own properties JavaScript adds to children (scr_dyn_handle_props.c). */
+    handleProps: RuntimeFeatureRule;
+    /** for await over checked-dynamic values (scr_dyn_for_await.c). */
+    dynForAwait: RuntimeFeatureRule;
+    /** Fixed-width Buffer read/write methods called on checked-dynamic
+     * values (scr_bytes_dyn.c). */
+    dynBufferNum: RuntimeFeatureRule;
+    /** Builtin functions read as values (scr_builtin_values.c). */
+    builtinValues: RuntimeFeatureRule;
     /** The stream unit emits through the emitter unit, also when the
      * program constructs no stream (a pipeline of functions). */
+    /** scr_ecdh.c over the mbedTLS archive; DEP0031 reports through the
+     * process-warning unit, and unknown encodings and formats render through
+     * the inspect unit. */
+    ecdh: RuntimeFeatureRule;
     emitter: RuntimeFeatureRule;
     /** Subclasses of the runtime EventTarget/Event bases tear down and box
      * through the EventTarget unit even when no event.* libCall survives. */
@@ -125,6 +156,10 @@ declare const RUNTIME_FEATURE_RULES: {
     symbol: RuntimeFeatureRule;
     tls: RuntimeFeatureRule;
     tlsCa: RuntimeFeatureRule;
+    /** util.promisify over an untyped function (scr_util_promisify.c): its
+     * promises go through the dyn-async unit and its calls through the
+     * dyn-invoke unit. */
+    utilPromisify: RuntimeFeatureRule;
     /** process.emitWarning is assigned (process.setEmitWarning). */
     warningReplace: RuntimeFeatureRule;
     /** The WebAssembly API (scr_wasm.c). */
@@ -306,8 +341,8 @@ export declare function moduleUsesTls(mod: IrModule): boolean;
  * also compiles the unit whenever TLS itself links — scr_tls.c consults
  * the unit's default-set override for its trust anchors. */
 export declare function moduleUsesTlsCa(mod: IrModule): boolean;
-/** True when the module has dynamic-tier jsval operations: the link switch
- * for the scr_js_* runtime units (two-tier design I3). Programs without
- * them never link a scr_js_ symbol. */
+/** True when the module has dynamic-tier jsval operations or inline-cache
+ * sites: the link switch for the scr_js_* runtime units (two-tier design
+ * I3). Programs without them never link a scr_js_ symbol. */
 export declare function moduleUsesDynTier(mod: IrModule): boolean;
 export {};