@scriptc/compiler 0.2.6 → 0.2.7

package/dist/backend/llvm/constant-callbacks.js

@@ -1,3 +1,4 @@
+import { isBorrowSafeMath } from "../../ir/analysis.js";
 import { everyStmtList } from "../../ir/traverse.js";
 /** Closed direct-call consumers can devirtualize a callback when every
  * incoming call supplies the same function. Keep its evaluated environment,
@@ -10,7 +11,11 @@ export function findConstantCallbacks(mod, lifetimes) {
     const localIds = new Map(mod.functions.map((fn) => [fn.name, new Set(fn.locals.map((local) => local.id))]));
     const globalIds = new Set(mod.globals?.filter((global) => global.type.kind === "func").map((global) => global.id));
     const consumers = new Set(mod.functions
-        .filter((fn) => fn.ownsPrototype &&
+        .filter((fn) => 
+    // Authored declarations, plus the frontend's synthetic array
+    // HOF loops (`%arr.<method>.<n>`): those are plain direct-call
+    // functions, and a literal callback gets a helper of its own.
+    (fn.ownsPrototype || fn.name.startsWith("%arr.")) &&
         !fn.async &&
         !fn.generator &&
         !fn.captures &&
@@ -49,14 +54,24 @@ export function findConstantCallbacks(mod, lifetimes) {
     const { functions: _functions, ...metadata } = mod;
     externalReferences(metadata);
     const incoming = new Map();
+    // Where each lifted function's environment is created, for resolving its
+    // immutable captures in the creating scope.
+    const closureSites = new Map();
+    // The initializer of each immutable function-typed local declared once:
+    // its only write, even when a capture box (not a stable slot) holds it.
+    const constDefinitions = new Map();
     for (const fn of mod.functions) {
         const defs = new Map();
+        const consts = new Map();
+        const immutable = new Set(fn.locals.filter((local) => !local.mutable && local.type.kind === "func").map((l) => l.id));
         const callees = new Set();
         const stable = lifetimes.bindings.get(fn.name);
         everyStmtList(fn.body, {
             stmt: (stmt) => {
                 if (stmt.kind === "varDecl" && stmt.init?.type.kind === "func" && stable?.has(stmt.localId))
                     defs.set(stmt.localId, stmt.init);
+                if (stmt.kind === "varDecl" && immutable.has(stmt.localId))
+                    consts.set(stmt.localId, consts.has(stmt.localId) ? null : stmt.init);
                 if (stmt.kind === "assign") {
                     if (globalIds.has(stmt.localId)) {
                         if (globals.has(stmt.localId))
@@ -75,8 +90,12 @@ export function findConstantCallbacks(mod, lifetimes) {
                 }
                 if (expr.kind === "callValue" && expr.callee.kind === "varRef")
                     callees.add(expr.callee.localId);
-                if (expr.kind === "closure")
+                if (expr.kind === "closure") {
                     escaped.add(expr.fnName);
+                    const sites = closureSites.get(expr.fnName) ?? [];
+                    sites.push({ owner: fn.name, captures: expr.captures });
+                    closureSites.set(expr.fnName, sites);
+                }
                 if ((expr.kind === "assignExpr" || expr.kind === "incDec") && globalIds.has(expr.localId))
                     writes.add(expr.localId);
                 return true;
@@ -84,6 +103,7 @@ export function findConstantCallbacks(mod, lifetimes) {
         });
         externalReferences(fn.body);
         definitions.set(fn.name, defs);
+        constDefinitions.set(fn.name, consts);
         indirectCallees.set(fn.name, callees);
     }
     for (const id of writes)
@@ -93,6 +113,32 @@ export function findConstantCallbacks(mod, lifetimes) {
             const target = functions.get(value.fnName);
             return target && !target.async && !target.generator ? value.fnName : null;
         }
+        if (value.kind === "call") {
+            // A factory (`compareBy(keys)`, `makeScorer(w)`) whose every return
+            // resolves to one function. The emitted direct call still checks the
+            // closure's actual code pointer first.
+            const factory = functions.get(value.callee);
+            const key = `%call:${value.callee}`;
+            if (!factory || factory.async || factory.generator || seen.has(key))
+                return null;
+            seen.add(key);
+            let target = null;
+            let returns = 0;
+            const single = everyStmtList(factory.body, {
+                stmt: (stmt) => {
+                    if (stmt.kind !== "return")
+                        return true;
+                    returns++;
+                    const next = stmt.value ? resolve(factory.name, stmt.value, seen) : null;
+                    if (!next || (target !== null && target !== next))
+                        return false;
+                    target = next;
+                    return true;
+                },
+                expr: () => true,
+            });
+            return single && returns > 0 ? target : null;
+        }
         if (value.kind !== "varRef" || seen.has(value.localId))
             return null;
         seen.add(value.localId);
@@ -100,13 +146,40 @@ export function findConstantCallbacks(mod, lifetimes) {
         // function's local names must never resolve in a later caller.
         if (seen.size > 64)
             return null;
-        if (owner !== null && localIds.get(owner)?.has(value.localId)) {
-            const next = definitions.get(owner)?.get(value.localId);
-            return next ? resolve(owner, next, seen) : null;
-        }
+        if (owner !== null && localIds.get(owner)?.has(value.localId))
+            return resolveLocal(owner, value.localId, seen);
         const next = globalIds.has(value.localId) ? globals.get(value.localId) : undefined;
         return next ? resolve(null, next, seen) : null;
     };
+    // A local's stable definition, or for an immutable capture the binding it
+    // captures at every site that creates this function's environment.
+    function resolveLocal(owner, id, seen) {
+        const next = definitions.get(owner)?.get(id);
+        if (next)
+            return resolve(owner, next, seen);
+        const fn = functions.get(owner);
+        const index = fn?.captures?.findIndex((capture) => capture.localId === id) ?? -1;
+        const local = fn?.locals.find((candidate) => candidate.id === id);
+        const sites = closureSites.get(owner);
+        if (index < 0 || !local || local.mutable || !sites?.length)
+            return null;
+        let target = null;
+        for (const site of sites) {
+            const outer = site.captures[index];
+            const key = `%capture:${site.owner}:${outer}`;
+            if (!outer || seen.has(key) || !localIds.get(site.owner)?.has(outer))
+                return null;
+            seen.add(key);
+            const declared = constDefinitions.get(site.owner)?.get(outer);
+            const found = declared
+                ? resolve(site.owner, declared, seen)
+                : resolveLocal(site.owner, outer, seen);
+            if (!found || (target !== null && target !== found))
+                return null;
+            target = found;
+        }
+        return target;
+    }
     // Global targets are module facts. Resolve them once, and copy only
     // entries actually used as indirect callees in each body. A module-wide
     // global/function cross product would dominate large-source emission.
@@ -124,8 +197,7 @@ export function findConstantCallbacks(mod, lifetimes) {
         const targets = new Map();
         for (const id of needed) {
             if (localIds.get(fn.name)?.has(id)) {
-                const value = definitions.get(fn.name)?.get(id);
-                const target = value ? resolve(fn.name, value) : null;
+                const target = resolveLocal(fn.name, id, new Set());
                 if (target)
                     targets.set(id, target);
             }
@@ -162,52 +234,217 @@ export function findConstantCallbacks(mod, lifetimes) {
     }
     return result;
 }
-/** A known callback that cannot observe ambient this needs no receiver
- * stack bracket. Follow direct calls conservatively; unknown indirect calls
- * and all runtime operations except scalar arithmetic stay on the ABI path. */
-export function callbackIgnoresReceiver(fn) {
-    if (fn.async || fn.generator)
-        return false;
-    return everyStmtList(fn.body, {
-        stmt: (stmt) => {
-            switch (stmt.kind) {
-                case "varDecl":
-                case "assign":
-                case "exprStmt":
-                case "return":
-                case "if":
-                case "while":
-                case "doWhile":
-                case "for":
-                case "switch":
-                case "block":
-                case "break":
-                case "continue":
-                    return true;
-                default:
+/** Expression kinds that run no user code of their own and never consult
+ * the ambient receiver stack. Calls are admitted here and resolved through
+ * the module call graph below; callValue brackets its own receiver. */
+const RECEIVER_FREE_EXPRS = new Set([
+    "numLit",
+    "boolLit",
+    "strLit",
+    "unitLit",
+    "varRef",
+    "bin",
+    "unary",
+    "logical",
+    "ternary",
+    "seqExpr",
+    "incDec",
+    "fieldIncDec",
+    "assignExpr",
+    "toBool",
+    "toString",
+    "strConcat",
+    "strEq",
+    "strCmp",
+    "nullish",
+    "orDefault",
+    "unionWrap",
+    "unionNarrow",
+    "unionIsTag",
+    "unionEq",
+    "unionDisc",
+    "upcast",
+    "downcast",
+    "instanceOf",
+    "fieldGet",
+    "recordGet",
+    "recordLit",
+    "recordClone",
+    "arrayGet",
+    "arrayHas",
+    "arrayState",
+    "arrayLit",
+    "arrayNewLen",
+    "selfRef",
+    "closure",
+    "callValue",
+    "call",
+    "new",
+    "virtualCall",
+    "libCall",
+    "arrIntrinsic",
+    "strIntrinsic",
+    "mapIntrinsic",
+    "setIntrinsic",
+    "mapNew",
+    "setNew",
+]);
+const RECEIVER_FREE_STMTS = new Set([
+    "varDecl",
+    "assign",
+    "exprStmt",
+    "return",
+    "if",
+    "while",
+    "doWhile",
+    "for",
+    "switch",
+    "block",
+    "break",
+    "continue",
+    "fieldSet",
+    "recordSet",
+    "arraySet",
+    "arraySetUndefined",
+    "arraySetLength",
+    "throw",
+    "rethrow",
+    "tryCatch",
+    // The deferred compile fence throws a fixed catchable Error
+    // (scr_throw_error_msg_code).
+    "runtimeFence",
+]);
+/** Runtime library calls beyond scalar Math that only compute or build and
+ * park a native error: the f64[] folds behind Math.max/min(...xs),
+ * `new Error(message)` (scr_error_new), and the checked-read TypeError
+ * (scr_throw_node_coded). */
+const RECEIVER_FREE_LIB_FNS = new Set([
+    "math.maxArr",
+    "math.minArr",
+    "error.new",
+    "error.nodeThrow",
+]);
+/** Typed container and string operations. Their runtime paths compare and
+ * copy values but never call back into compiled code, as long as no
+ * operand is a function or a checked/engine value. */
+/** Operands of a data intrinsic (receiver first), or null when `e` is not
+ * one. A switch over the kinds keeps this inside the self-hosted subset,
+ * which has no `in` on IR expression unions. */
+function dataIntrinsicOperands(e) {
+    switch (e.kind) {
+        case "arrIntrinsic":
+        case "strIntrinsic":
+        case "mapIntrinsic":
+        case "setIntrinsic":
+            return [e.receiver, ...e.args];
+        case "mapNew":
+        case "setNew":
+            return [];
+        default:
+            return null;
+    }
+}
+function opaqueOperand(e) {
+    const kind = e.type.kind;
+    return kind === "func" || kind === "dyn" || kind === "jsval" || kind === "caught";
+}
+/** The functions that may observe the ambient receiver stack when entered
+ * without a fresh binding: the JS `this` read (libCall dyn.this), async and
+ * generator creation (which snapshot it), dynamic and engine operations,
+ * diagnostics-channel stores, and anything outside the admitted kinds; then
+ * every function that can reach one through a direct call, constructor or
+ * virtual dispatch (a backward reachability fixpoint, so recursion such as
+ * a tree walker's `evaluate` resolves exactly). A known callback outside
+ * this set needs no receiver bracket. */
+export class AmbientReceiverReaders {
+    functions;
+    readers = null;
+    constructor(functions) {
+        this.functions = functions;
+    }
+    ignores(fn) {
+        if (fn.async || fn.generator)
+            return false;
+        return !this.compute().has(fn.name);
+    }
+    compute() {
+        if (this.readers)
+            return this.readers;
+        const byMethod = new Map();
+        for (const name of this.functions.keys()) {
+            const dot = name.lastIndexOf(".");
+            if (!name.startsWith("%") || dot < 0)
+                continue;
+            const method = name.slice(dot + 1);
+            const list = byMethod.get(method) ?? [];
+            list.push(name);
+            byMethod.set(method, list);
+        }
+        const readers = new Set();
+        const callers = new Map();
+        for (const fn of this.functions.values()) {
+            const callees = new Set();
+            let reads = fn.async === true || fn.generator !== undefined;
+            const edge = (name) => {
+                if (!this.functions.has(name))
                     return false;
+                callees.add(name);
+                return true;
+            };
+            if (!reads)
+                reads = !everyStmtList(fn.body, {
+                    stmt: (stmt) => RECEIVER_FREE_STMTS.has(stmt.kind),
+                    expr: (expr) => {
+                        if (!RECEIVER_FREE_EXPRS.has(expr.kind))
+                            return false;
+                        switch (expr.kind) {
+                            case "call":
+                                return edge(expr.callee);
+                            case "new":
+                                return edge(`%${expr.className}.constructor`);
+                            case "virtualCall": {
+                                // Any class's override may run: admit only when every
+                                // same-named method is itself receiver-free.
+                                const targets = byMethod.get(expr.method) ?? [];
+                                return targets.length > 0 && targets.every(edge);
+                            }
+                            case "libCall":
+                                return isBorrowSafeMath(expr.fn) || RECEIVER_FREE_LIB_FNS.has(expr.fn);
+                            case "toString":
+                                return !opaqueOperand(expr.operand);
+                            default: {
+                                const operands = dataIntrinsicOperands(expr);
+                                return operands === null || !operands.some(opaqueOperand);
+                            }
+                        }
+                    },
+                });
+            if (reads)
+                readers.add(fn.name);
+            for (const callee of callees) {
+                const list = callers.get(callee) ?? [];
+                list.push(fn.name);
+                callers.set(callee, list);
             }
-        },
-        expr: (expr) => {
-            switch (expr.kind) {
-                case "numLit":
-                case "boolLit":
-                case "strLit":
-                case "unitLit":
-                case "varRef":
-                case "bin":
-                case "unary":
-                case "logical":
-                case "ternary":
-                case "seqExpr":
-                case "incDec":
-                case "assignExpr":
-                case "toBool":
-                    return true;
-                default:
-                    return false;
+        }
+        const work = [...readers];
+        while (work.length > 0) {
+            for (const caller of callers.get(work.pop()) ?? []) {
+                if (readers.has(caller))
+                    continue;
+                readers.add(caller);
+                work.push(caller);
             }
-        },
-    });
+        }
+        this.readers = readers;
+        return readers;
+    }
+}
+/** A known callback that cannot observe ambient this needs no receiver
+ * stack bracket. Standalone form of AmbientReceiverReaders over the given
+ * functions (by default only the callback itself, so any call stays on the
+ * ABI path). */
+export function callbackIgnoresReceiver(fn, functions = new Map([[fn.name, fn]])) {
+    return new AmbientReceiverReaders(functions).ignores(fn);
 }
 //# sourceMappingURL=constant-callbacks.js.map

package/dist/backend/llvm/constant-callbacks.js.map

@@ -1 +1 @@
-{"version":3,"file":"constant-callbacks.js","sourceRoot":"","sources":["../../../src/backend/llvm/constant-callbacks.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAGrD;;;gFAGgF;AAChF,MAAM,UAAU,qBAAqB,CACnC,GAAa,EACb,SAAwB;IAExB,MAAM,SAAS,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;IACpE,MAAM,WAAW,GAAG,IAAI,GAAG,EAA+B,CAAC;IAC3D,MAAM,eAAe,GAAG,IAAI,GAAG,EAAuB,CAAC;IACvD,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAClF,CAAC;IACF,MAAM,SAAS,GAAG,IAAI,GAAG,CACvB,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CACxF,CAAC;IACF,MAAM,SAAS,GAAG,IAAI,GAAG,CACvB,GAAG,CAAC,SAAS;SACV,MAAM,CACL,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,aAAa;QAChB,CAAC,EAAE,CAAC,KAAK;QACT,CAAC,EAAE,CAAC,SAAS;QACb,CAAC,EAAE,CAAC,QAAQ;QACZ,CAAC,EAAE,CAAC,aAAa;QACjB,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CACxD;SACA,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CACxB,CAAC;IACF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS;QAC9B,GAAG,CAAC,KAAK;QACT,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;KACzD,CAAC,CAAC;IACH,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE;QACjC,KAAK,MAAM,MAAM,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;YAC1D,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC,CAAC;IAC1C,uEAAuE;IACvE,qEAAqE;IACrE,wEAAwE;IACxE,mDAAmD;IACnD,SAAS,kBAAkB,CAAC,KAAc;QACxC,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC;gBAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC/C,CAAC;aAAM,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,KAAK,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;aAC9D,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC5C,MAAM,MAAM,GAAG,KAAgC,CAAC;YAChD,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;gBACzB,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,MAAM,IAAI,GAAG,KAAK,QAAQ;oBAAE,SAAS;gBAC5D,kBAAkB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;YAClC,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,QAAQ,EAAE,GAAG,GAAG,CAAC;IACnD,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IAC7B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA+C,CAAC;IACxE,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;QACvC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,MAAM,MAAM,GAAG,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAC/C,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;YACrB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;gBACb,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;oBACzF,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBACpC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC3B,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;wBAChC,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;4BAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;;4BACnD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;oBAC7C,CAAC;gBACH,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;gBACb,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;oBACvD,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;oBAC9C,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;oBAChD,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;gBACnC,CAAC;gBACD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ;oBAC5D,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBACnC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;oBAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACtD,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;oBACvF,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAC3B,OAAO,IAAI,CAAC;YACd,CAAC;SACF,CAAC,CAAC;QACH,kBAAkB,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAC5B,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC/B,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACxC,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,MAAM;QAAE,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC5C,MAAM,OAAO,GAAG,CACd,KAAoB,EACpB,KAAa,EACb,IAAI,GAAG,IAAI,GAAG,EAAU,EACT,EAAE;QACjB,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC7B,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAC3C,OAAO,MAAM,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;QAC5E,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC;YAAE,OAAO,IAAI,CAAC;QACpE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACxB,gEAAgE;QAChE,+DAA+D;QAC/D,IAAI,IAAI,CAAC,IAAI,GAAG,EAAE;YAAE,OAAO,IAAI,CAAC;QAChC,IAAI,KAAK,KAAK,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YAC9D,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACxD,OAAO,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAClD,CAAC;QACD,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACnF,OAAO,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACjD,CAAC,CAAC;IACF,oEAAoE;IACpE,wEAAwE;IACxE,sEAAsE;IACtE,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,OAAO,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACpC,IAAI,MAAM;YAAE,aAAa,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IAC5C,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,EAA+B,CAAC;IACtD,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAE,CAAC;QAC7C,IAAI,CAAC,MAAM,CAAC,IAAI;YAAE,SAAS;QAC3B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC1C,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;YACxB,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBACnC,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;gBAChD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;gBACtD,IAAI,MAAM;oBAAE,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YACtC,CAAC;iBAAM,CAAC;gBACN,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACrC,IAAI,MAAM;oBAAE,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;QACD,IAAI,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACpD,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YACpC,IAAI,KAAK,EAAE,MAAM;gBACf,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;oBACjC,IACE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC;wBAC1B,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;wBAC1B,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC;wBAE5C,OAAO;oBACT,IAAI,MAAM,GAAkB,IAAI,CAAC;oBACjC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;wBACzB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;wBAC/B,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;wBACvD,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,IAAI,MAAM,KAAK,IAAI,CAAC,EAAE,CAAC;4BACzC,MAAM,GAAG,IAAI,CAAC;4BACd,MAAM;wBACR,CAAC;wBACD,MAAM,GAAG,IAAI,CAAC;oBAChB,CAAC;oBACD,IAAI,MAAM;wBAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;gBACjD,CAAC,CAAC,CAAC;QACP,CAAC;QACD,IAAI,OAAO,CAAC,IAAI;YAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;+EAE+E;AAC/E,MAAM,UAAU,uBAAuB,CAAC,EAAc;IACpD,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;QAAE,OAAO,KAAK,CAAC;IAC3C,OAAO,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;QAC5B,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACb,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;gBAClB,KAAK,SAAS,CAAC;gBACf,KAAK,QAAQ,CAAC;gBACd,KAAK,UAAU,CAAC;gBAChB,KAAK,QAAQ,CAAC;gBACd,KAAK,IAAI,CAAC;gBACV,KAAK,OAAO,CAAC;gBACb,KAAK,SAAS,CAAC;gBACf,KAAK,KAAK,CAAC;gBACX,KAAK,QAAQ,CAAC;gBACd,KAAK,OAAO,CAAC;gBACb,KAAK,OAAO,CAAC;gBACb,KAAK,UAAU;oBACb,OAAO,IAAI,CAAC;gBACd;oBACE,OAAO,KAAK,CAAC;YACjB,CAAC;QACH,CAAC;QACD,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACb,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;gBAClB,KAAK,QAAQ,CAAC;gBACd,KAAK,SAAS,CAAC;gBACf,KAAK,QAAQ,CAAC;gBACd,KAAK,SAAS,CAAC;gBACf,KAAK,QAAQ,CAAC;gBACd,KAAK,KAAK,CAAC;gBACX,KAAK,OAAO,CAAC;gBACb,KAAK,SAAS,CAAC;gBACf,KAAK,SAAS,CAAC;gBACf,KAAK,SAAS,CAAC;gBACf,KAAK,QAAQ,CAAC;gBACd,KAAK,YAAY,CAAC;gBAClB,KAAK,QAAQ;oBACX,OAAO,IAAI,CAAC;gBACd;oBACE,OAAO,KAAK,CAAC;YACjB,CAAC;QACH,CAAC;KACF,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"constant-callbacks.js","sourceRoot":"","sources":["../../../src/backend/llvm/constant-callbacks.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAExD,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAGrD;;;gFAGgF;AAChF,MAAM,UAAU,qBAAqB,CACnC,GAAa,EACb,SAAwB;IAExB,MAAM,SAAS,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;IACpE,MAAM,WAAW,GAAG,IAAI,GAAG,EAA+B,CAAC;IAC3D,MAAM,eAAe,GAAG,IAAI,GAAG,EAAuB,CAAC;IACvD,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAClF,CAAC;IACF,MAAM,SAAS,GAAG,IAAI,GAAG,CACvB,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CACxF,CAAC;IACF,MAAM,SAAS,GAAG,IAAI,GAAG,CACvB,GAAG,CAAC,SAAS;SACV,MAAM,CACL,CAAC,EAAE,EAAE,EAAE;IACL,6DAA6D;IAC7D,+DAA+D;IAC/D,8DAA8D;IAC9D,CAAC,EAAE,CAAC,aAAa,IAAI,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QACjD,CAAC,EAAE,CAAC,KAAK;QACT,CAAC,EAAE,CAAC,SAAS;QACb,CAAC,EAAE,CAAC,QAAQ;QACZ,CAAC,EAAE,CAAC,aAAa;QACjB,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CACxD;SACA,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CACxB,CAAC;IACF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS;QAC9B,GAAG,CAAC,KAAK;QACT,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;KACzD,CAAC,CAAC;IACH,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE;QACjC,KAAK,MAAM,MAAM,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;YAC1D,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC,CAAC;IAC1C,uEAAuE;IACvE,qEAAqE;IACrE,wEAAwE;IACxE,mDAAmD;IACnD,SAAS,kBAAkB,CAAC,KAAc;QACxC,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC;gBAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC/C,CAAC;aAAM,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,KAAK,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;aAC9D,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC5C,MAAM,MAAM,GAAG,KAAgC,CAAC;YAChD,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;gBACzB,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,MAAM,IAAI,GAAG,KAAK,QAAQ;oBAAE,SAAS;gBAC5D,kBAAkB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;YAClC,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,QAAQ,EAAE,GAAG,GAAG,CAAC;IACnD,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IAC7B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA+C,CAAC;IACxE,yEAAyE;IACzE,4CAA4C;IAC5C,MAAM,YAAY,GAAG,IAAI,GAAG,EAAmD,CAAC;IAChF,wEAAwE;IACxE,wEAAwE;IACxE,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAsC,CAAC;IACvE,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;QACvC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAyB,CAAC;QAChD,MAAM,SAAS,GAAG,IAAI,GAAG,CACvB,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAC3F,CAAC;QACF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,MAAM,MAAM,GAAG,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAC/C,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;YACrB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;gBACb,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;oBACzF,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBACpC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;oBACxD,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACxE,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC3B,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;wBAChC,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;4BAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;;4BACnD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;oBAC7C,CAAC;gBACH,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;gBACb,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;oBACvD,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;oBAC9C,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;oBAChD,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;gBACnC,CAAC;gBACD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ;oBAC5D,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBACnC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;oBAC5B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;oBACzB,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;oBAClD,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;oBACxD,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;gBACvC,CAAC;gBACD,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;oBACvF,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAC3B,OAAO,IAAI,CAAC;YACd,CAAC;SACF,CAAC,CAAC;QACH,kBAAkB,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAC5B,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC/B,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACtC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACxC,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,MAAM;QAAE,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC5C,MAAM,OAAO,GAAG,CACd,KAAoB,EACpB,KAAa,EACb,IAAI,GAAG,IAAI,GAAG,EAAU,EACT,EAAE;QACjB,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC7B,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAC3C,OAAO,MAAM,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;QAC5E,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC1B,oEAAoE;YACpE,qEAAqE;YACrE,uCAAuC;YACvC,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAC5C,MAAM,GAAG,GAAG,SAAS,KAAK,CAAC,MAAM,EAAE,CAAC;YACpC,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,KAAK,IAAI,OAAO,CAAC,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC;YACjF,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,IAAI,MAAM,GAAkB,IAAI,CAAC;YACjC,IAAI,OAAO,GAAG,CAAC,CAAC;YAChB,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,IAAI,EAAE;gBACzC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;oBACb,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;wBAAE,OAAO,IAAI,CAAC;oBACxC,OAAO,EAAE,CAAC;oBACV,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;oBACzE,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI,CAAC;wBAAE,OAAO,KAAK,CAAC;oBAChE,MAAM,GAAG,IAAI,CAAC;oBACd,OAAO,IAAI,CAAC;gBACd,CAAC;gBACD,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;aACjB,CAAC,CAAC;YACH,OAAO,MAAM,IAAI,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;QAC/C,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC;YAAE,OAAO,IAAI,CAAC;QACpE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACxB,gEAAgE;QAChE,+DAA+D;QAC/D,IAAI,IAAI,CAAC,IAAI,GAAG,EAAE;YAAE,OAAO,IAAI,CAAC;QAChC,IAAI,KAAK,KAAK,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC;YAC3D,OAAO,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAClD,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACnF,OAAO,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACjD,CAAC,CAAC;IACF,0EAA0E;IAC1E,mEAAmE;IACnE,SAAS,YAAY,CAAC,KAAa,EAAE,EAAU,EAAE,IAAiB;QAChE,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QAC7C,IAAI,IAAI;YAAE,OAAO,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC5C,MAAM,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,KAAK,GAAG,EAAE,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACjF,MAAM,KAAK,GAAG,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QAClE,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,OAAO,IAAI,CAAC,KAAK,EAAE,MAAM;YAAE,OAAO,IAAI,CAAC;QACxE,IAAI,MAAM,GAAkB,IAAI,CAAC;QACjC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YACnC,MAAM,GAAG,GAAG,YAAY,IAAI,CAAC,KAAK,IAAI,KAAK,EAAE,CAAC;YAC9C,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YAClF,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,MAAM,QAAQ,GAAG,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;YAC9D,MAAM,KAAK,GAAG,QAAQ;gBACpB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC;gBACrC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YAC1C,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YACjE,MAAM,GAAG,KAAK,CAAC;QACjB,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,oEAAoE;IACpE,wEAAwE;IACxE,sEAAsE;IACtE,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,OAAO,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACpC,IAAI,MAAM;YAAE,aAAa,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IAC5C,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,EAA+B,CAAC;IACtD,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAE,CAAC;QAC7C,IAAI,CAAC,MAAM,CAAC,IAAI;YAAE,SAAS;QAC3B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC1C,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;YACxB,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBACnC,MAAM,MAAM,GAAG,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;gBACpD,IAAI,MAAM;oBAAE,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YACtC,CAAC;iBAAM,CAAC;gBACN,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACrC,IAAI,MAAM;oBAAE,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;QACD,IAAI,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACpD,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YACpC,IAAI,KAAK,EAAE,MAAM;gBACf,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;oBACjC,IACE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC;wBAC1B,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;wBAC1B,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC;wBAE5C,OAAO;oBACT,IAAI,MAAM,GAAkB,IAAI,CAAC;oBACjC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;wBACzB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;wBAC/B,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;wBACvD,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,IAAI,MAAM,KAAK,IAAI,CAAC,EAAE,CAAC;4BACzC,MAAM,GAAG,IAAI,CAAC;4BACd,MAAM;wBACR,CAAC;wBACD,MAAM,GAAG,IAAI,CAAC;oBAChB,CAAC;oBACD,IAAI,MAAM;wBAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;gBACjD,CAAC,CAAC,CAAC;QACP,CAAC;QACD,IAAI,OAAO,CAAC,IAAI;YAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;uEAEuE;AACvE,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAiB;IAClD,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,KAAK;IACL,OAAO;IACP,SAAS;IACT,SAAS;IACT,SAAS;IACT,QAAQ;IACR,aAAa;IACb,YAAY;IACZ,QAAQ;IACR,UAAU;IACV,WAAW;IACX,OAAO;IACP,QAAQ;IACR,SAAS;IACT,WAAW;IACX,WAAW;IACX,aAAa;IACb,YAAY;IACZ,SAAS;IACT,WAAW;IACX,QAAQ;IACR,UAAU;IACV,YAAY;IACZ,UAAU;IACV,WAAW;IACX,WAAW;IACX,aAAa;IACb,UAAU;IACV,UAAU;IACV,YAAY;IACZ,UAAU;IACV,aAAa;IACb,SAAS;IACT,SAAS;IACT,WAAW;IACX,MAAM;IACN,KAAK;IACL,aAAa;IACb,SAAS;IACT,cAAc;IACd,cAAc;IACd,cAAc;IACd,cAAc;IACd,QAAQ;IACR,QAAQ;CACT,CAAC,CAAC;AAEH,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAiB;IAClD,SAAS;IACT,QAAQ;IACR,UAAU;IACV,QAAQ;IACR,IAAI;IACJ,OAAO;IACP,SAAS;IACT,KAAK;IACL,QAAQ;IACR,OAAO;IACP,OAAO;IACP,UAAU;IACV,UAAU;IACV,WAAW;IACX,UAAU;IACV,mBAAmB;IACnB,gBAAgB;IAChB,OAAO;IACP,SAAS;IACT,UAAU;IACV,4DAA4D;IAC5D,8BAA8B;IAC9B,cAAc;CACf,CAAC,CAAC;AAEH;;;6BAG6B;AAC7B,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAU;IAC7C,aAAa;IACb,aAAa;IACb,WAAW;IACX,iBAAiB;CAClB,CAAC,CAAC;AAEH;;sDAEsD;AACtD;;gDAEgD;AAChD,SAAS,qBAAqB,CAAC,CAAS;IACtC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,cAAc,CAAC;QACpB,KAAK,cAAc,CAAC;QACpB,KAAK,cAAc,CAAC;QACpB,KAAK,cAAc;YACjB,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;QACjC,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,EAAE,CAAC;QACZ;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,CAAS;IAC9B,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;IACzB,OAAO,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,QAAQ,CAAC;AACpF,CAAC;AAED;;;;;;;yCAOyC;AACzC,MAAM,OAAO,sBAAsB;IAGJ,SAAS;IAF9B,OAAO,GAAuB,IAAI,CAAC;IAE3C,YAA6B,SAA0C;yBAA1C,SAAS;IAAoC,CAAC;IAE3E,OAAO,CAAC,EAAc;QACpB,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;YAAE,OAAO,KAAK,CAAC;QAC3C,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC;IAEO,OAAO;QACb,IAAI,IAAI,CAAC,OAAO;YAAE,OAAO,IAAI,CAAC,OAAO,CAAC;QACtC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;QAC7C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;YACzC,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;YAClC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC;gBAAE,SAAS;YAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;YACnC,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YACxC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChB,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC7B,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;QAC5C,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;YACzC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;YAClC,IAAI,KAAK,GAAG,EAAE,CAAC,KAAK,KAAK,IAAI,IAAI,EAAE,CAAC,SAAS,KAAK,SAAS,CAAC;YAC5D,MAAM,IAAI,GAAG,CAAC,IAAY,EAAW,EAAE;gBACrC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,OAAO,KAAK,CAAC;gBAC5C,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAClB,OAAO,IAAI,CAAC;YACd,CAAC,CAAC;YACF,IAAI,CAAC,KAAK;gBACR,KAAK,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;oBAC9B,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;oBAClD,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;wBACb,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;4BAAE,OAAO,KAAK,CAAC;wBACtD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;4BAClB,KAAK,MAAM;gCACT,OAAO,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;4BAC3B,KAAK,KAAK;gCACR,OAAO,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,cAAc,CAAC,CAAC;4BAChD,KAAK,aAAa,EAAE,CAAC;gCACnB,sDAAsD;gCACtD,6CAA6C;gCAC7C,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;gCAChD,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;4BACnD,CAAC;4BACD,KAAK,SAAS;gCACZ,OAAO,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;4BACzE,KAAK,UAAU;gCACb,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;4BACtC,SAAS,CAAC;gCACR,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;gCAC7C,OAAO,QAAQ,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;4BAC5D,CAAC;wBACH,CAAC;oBACH,CAAC;iBACF,CAAC,CAAC;YACL,IAAI,KAAK;gBAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YAChC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC7B,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;gBACvC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;gBACnB,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;QACD,MAAM,IAAI,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC;QAC1B,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAG,CAAC,IAAI,EAAE,EAAE,CAAC;gBACpD,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;oBAAE,SAAS;gBAClC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACpB,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACpB,CAAC;QACH,CAAC;QACD,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,OAAO,OAAO,CAAC;IACjB,CAAC;CACF;AAED;;;gBAGgB;AAChB,MAAM,UAAU,uBAAuB,CACrC,EAAc,EACd,SAAS,GAAoC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;IAErE,OAAO,IAAI,sBAAsB,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAC3D,CAAC"}

package/dist/backend/llvm/constant-callbacks.test.js

@@ -1,7 +1,7 @@
 import { expect, test } from "vitest";
 import { BOOL, F64, VOID, funcOf, } from "../../ir/ir.js";
 import { analyzeCallLifetimes } from "./call-lifetimes.js";
-import { callbackIgnoresReceiver, findConstantCallbacks } from "./constant-callbacks.js";
+import { AmbientReceiverReaders, callbackIgnoresReceiver, findConstantCallbacks, } from "./constant-callbacks.js";
 const loc = { file: "callbacks.ts", start: 0, end: 0 };
 const callback = funcOf([F64], BOOL);
 const ref = (localId, type = callback) => ({ kind: "varRef", localId, type, loc });
@@ -57,7 +57,7 @@ function fixture() {
         loc,
     };
     return {
-        irVersion: 14,
+        irVersion: 15,
         sourceFile: loc.file,
         entry: "main",
         functions: [predicate, consumer, entry],
@@ -112,13 +112,150 @@ test("global closure aliases resolve without borrowing the caller's local namesp
     entry.body.push({ kind: "assign", localId: "%g.callback", value: closure("predicate"), loc });
     expect(facts(mod).get("consume")?.has("test")).not.toBe(true);
 });
-test("receiver elision admits only synchronous scalar work", () => {
+test("receiver elision admits only synchronous receiver-free work", () => {
     const fn = fixture().functions[0];
     expect(callbackIgnoresReceiver(fn)).toBe(true);
+    // A fixed compile-fence throw cannot observe the receiver.
     fn.body.unshift({ kind: "runtimeFence", code: "SC2020", message: "refused", loc });
+    expect(callbackIgnoresReceiver(fn)).toBe(true);
+    fn.body[0] = {
+        kind: "exprStmt",
+        expr: { kind: "libCall", fn: "dyn.this", args: [], type: { kind: "dyn" }, loc },
+        loc,
+    };
     expect(callbackIgnoresReceiver(fn)).toBe(false);
     fn.body.shift();
     fn.async = true;
     expect(callbackIgnoresReceiver(fn)).toBe(false);
 });
+function callsOf(name, callee, extra = []) {
+    return {
+        name,
+        params: [],
+        locals: [],
+        returnType: VOID,
+        body: [
+            ...extra,
+            { kind: "exprStmt", expr: { kind: "call", callee, args: [], type: VOID, loc }, loc },
+        ],
+        loc,
+    };
+}
+const thisRead = {
+    kind: "exprStmt",
+    expr: { kind: "libCall", fn: "dyn.this", args: [], type: { kind: "dyn" }, loc },
+    loc,
+};
+test("receiver readers propagate backwards through direct calls and recursion", () => {
+    const leaf = callsOf("leaf", "middle");
+    const middle = callsOf("middle", "leaf");
+    const functions = new Map([leaf, middle].map((fn) => [fn.name, fn]));
+    // A cycle with no reader is receiver-free.
+    expect(new AmbientReceiverReaders(functions).ignores(leaf)).toBe(true);
+    middle.body.unshift(thisRead);
+    const readers = new AmbientReceiverReaders(functions);
+    expect(readers.ignores(leaf)).toBe(false);
+    expect(readers.ignores(middle)).toBe(false);
+    // Unknown callees and async callees count as readers.
+    const unknown = callsOf("unknown", "missing");
+    expect(callbackIgnoresReceiver(unknown)).toBe(false);
+    const spawn = callsOf("spawn", "task");
+    const task = { ...callsOf("task", "spawn"), body: [], async: true };
+    expect(new AmbientReceiverReaders(new Map([spawn, task].map((fn) => [fn.name, fn]))).ignores(spawn)).toBe(false);
+});
+test("virtual calls admit every same-named method", () => {
+    const call = {
+        kind: "exprStmt",
+        expr: { kind: "virtualCall", className: "%A", method: "run", args: [], type: VOID, loc },
+        loc,
+    };
+    const caller = { ...callsOf("caller", "x"), body: [call] };
+    const a = { ...callsOf("%A.run", "x"), body: [] };
+    const b = { ...callsOf("%B.run", "x"), body: [] };
+    const functions = new Map([caller, a, b].map((fn) => [fn.name, fn]));
+    expect(new AmbientReceiverReaders(functions).ignores(caller)).toBe(true);
+    b.body = [thisRead];
+    expect(new AmbientReceiverReaders(functions).ignores(caller)).toBe(false);
+});
+test("synthetic array HOF helpers are constant-callback consumers", () => {
+    const mod = fixture();
+    const consumer = mod.functions[1];
+    const entry = mod.functions[2];
+    delete consumer.ownsPrototype;
+    consumer.name = "%arr.some.0";
+    const call = entry.body[0];
+    if (call.kind === "exprStmt" && call.expr.kind === "call")
+        call.expr.callee = "%arr.some.0";
+    expect(facts(mod).get("%arr.some.0")?.get("test")).toBe("predicate");
+});
+function factory(name, returns) {
+    return {
+        name,
+        params: [],
+        locals: [],
+        returnType: callback,
+        body: returns.map((value) => ({
+            kind: "if",
+            cond: { kind: "boolLit", value: true, type: BOOL, loc },
+            then: [{ kind: "return", value, loc }],
+            else_: null,
+            loc,
+        })),
+        loc,
+    };
+}
+test("a factory returning one function resolves through its call", () => {
+    const mod = fixture();
+    const entry = mod.functions[2];
+    mod.functions.push(factory("make", [closure("predicate")]));
+    const call = entry.body[0];
+    if (call.kind === "exprStmt" && call.expr.kind === "call")
+        call.expr.args = [{ kind: "call", callee: "make", args: [], type: callback, loc }];
+    expect(facts(mod).get("consume")?.get("test")).toBe("predicate");
+    mod.functions.push({ ...mod.functions[0], name: "other" });
+    mod.functions[3] = factory("make", [closure("predicate"), closure("other")]);
+    expect(facts(mod).get("consume")?.has("test")).not.toBe(true);
+});
+test("an immutable capture resolves at its closure creation site", () => {
+    const mod = fixture();
+    const entry = mod.functions[2];
+    const lambda = {
+        name: "%lambda",
+        params: [],
+        captures: [{ localId: "cb", name: "cb", type: callback }],
+        locals: [{ id: "cb", name: "cb", type: callback, mutable: false, boxed: true }],
+        returnType: BOOL,
+        body: [
+            {
+                kind: "return",
+                value: {
+                    kind: "callValue",
+                    callee: ref("cb"),
+                    args: [{ kind: "numLit", value: 1, type: F64, loc }],
+                    type: BOOL,
+                    loc,
+                },
+                loc,
+            },
+        ],
+        loc,
+    };
+    mod.functions.push(lambda);
+    entry.locals = [{ id: "cb", name: "cb", type: callback, mutable: false, boxed: true }];
+    entry.body.push({ kind: "varDecl", localId: "cb", init: closure("predicate"), loc }, {
+        kind: "exprStmt",
+        expr: {
+            kind: "closure",
+            fnName: "%lambda",
+            captures: ["cb"],
+            type: funcOf([], BOOL),
+            loc,
+        },
+        loc,
+    });
+    expect(facts(mod).get("%lambda")?.get("cb")).toBe("predicate");
+    entry.locals[0].mutable = true;
+    lambda.locals[0].mutable = true;
+    expect(facts(mod).get("%lambda")?.has("cb")).not.toBe(true);
+});
 //# sourceMappingURL=constant-callbacks.test.js.map