@scriptc/compiler 0.3.6 → 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.d.ts

@@ -0,0 +1,8 @@
+import { type IrFunction, type IrModule } from "./ir.js";
+/** Whether a function's operators are rewritten: every dynamic-tier
+ * function. Async functions and generators suspend through LLVM coroutines
+ * or fibers, which keep jsval temporaries and locals like any pointer. */
+export declare function jsvalEligible(fn: IrFunction): boolean;
+/** Rewrite every eligible dynamic-tier function of a module in place.
+ * Returns the number of functions that now use jsval. */
+export declare function promoteJsvals(mod: IrModule): number;