@scriptc/compiler 0.2.5 → 0.2.6

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

@@ -0,0 +1,213 @@
+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,
+ * arguments and ordinary ownership; only the loaded code pointer changes.
+ * Escaped, exported, recursive forwarding and unknown targets stay indirect. */
+export function findConstantCallbacks(mod, lifetimes) {
+    const functions = new Map(mod.functions.map((fn) => [fn.name, fn]));
+    const definitions = new Map();
+    const indirectCallees = new Map();
+    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 &&
+        !fn.async &&
+        !fn.generator &&
+        !fn.captures &&
+        !fn.classCaptures &&
+        fn.params.some((param) => param.type.kind === "func"))
+        .map((fn) => fn.name));
+    const globals = new Map();
+    const writes = new Set();
+    const escaped = new Set([
+        mod.entry,
+        ...(mod.lib?.exports.map((entry) => entry.fnName) ?? []),
+    ]);
+    for (const cls of mod.classes ?? [])
+        for (const method of ["constructor", ...(cls.methods ?? [])])
+            escaped.add(`%${cls.name}.${method}`);
+    // Metadata and non-call expression references can expose an entry to a
+    // generated adapter or runtime callback. A direct-call census cannot
+    // specialize those entries. Conservatively reject every such reference,
+    // including future metadata that names a function.
+    function externalReferences(value) {
+        if (typeof value === "string") {
+            if (functions.has(value))
+                escaped.add(value);
+        }
+        else if (Array.isArray(value))
+            value.forEach(externalReferences);
+        else if (value && typeof value === "object") {
+            const object = value;
+            for (const key in object) {
+                if (object["kind"] === "call" && key === "callee")
+                    continue;
+                externalReferences(object[key]);
+            }
+        }
+    }
+    const { functions: _functions, ...metadata } = mod;
+    externalReferences(metadata);
+    const incoming = new Map();
+    for (const fn of mod.functions) {
+        const defs = new Map();
+        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 === "assign") {
+                    if (globalIds.has(stmt.localId)) {
+                        if (globals.has(stmt.localId))
+                            writes.add(stmt.localId);
+                        else
+                            globals.set(stmt.localId, stmt.value);
+                    }
+                }
+                return true;
+            },
+            expr: (expr) => {
+                if (expr.kind === "call" && consumers.has(expr.callee)) {
+                    const calls = incoming.get(expr.callee) ?? [];
+                    calls.push({ owner: fn.name, args: expr.args });
+                    incoming.set(expr.callee, calls);
+                }
+                if (expr.kind === "callValue" && expr.callee.kind === "varRef")
+                    callees.add(expr.callee.localId);
+                if (expr.kind === "closure")
+                    escaped.add(expr.fnName);
+                if ((expr.kind === "assignExpr" || expr.kind === "incDec") && globalIds.has(expr.localId))
+                    writes.add(expr.localId);
+                return true;
+            },
+        });
+        externalReferences(fn.body);
+        definitions.set(fn.name, defs);
+        indirectCallees.set(fn.name, callees);
+    }
+    for (const id of writes)
+        globals.delete(id);
+    const resolve = (owner, value, seen = new Set()) => {
+        if (value.kind === "closure") {
+            const target = functions.get(value.fnName);
+            return target && !target.async && !target.generator ? value.fnName : null;
+        }
+        if (value.kind !== "varRef" || seen.has(value.localId))
+            return null;
+        seen.add(value.localId);
+        // Resolve a global's initializer in global scope. Its declaring
+        // 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;
+        }
+        const next = globalIds.has(value.localId) ? globals.get(value.localId) : undefined;
+        return next ? resolve(null, next, seen) : null;
+    };
+    // 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.
+    const globalTargets = new Map();
+    for (const [id, value] of globals) {
+        const target = resolve(null, value);
+        if (target)
+            globalTargets.set(id, target);
+    }
+    const result = new Map();
+    for (const fn of mod.functions) {
+        const needed = indirectCallees.get(fn.name);
+        if (!needed.size)
+            continue;
+        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;
+                if (target)
+                    targets.set(id, target);
+            }
+            else {
+                const target = globalTargets.get(id);
+                if (target)
+                    targets.set(id, target);
+            }
+        }
+        if (consumers.has(fn.name) && !escaped.has(fn.name)) {
+            const calls = incoming.get(fn.name);
+            if (calls?.length)
+                fn.params.forEach((param, index) => {
+                    if (!needed.has(param.localId) ||
+                        param.type.kind !== "func" ||
+                        !lifetimes.borrowed.get(fn.name)?.has(index))
+                        return;
+                    let target = null;
+                    for (const call of calls) {
+                        const value = call.args[index];
+                        const next = value ? resolve(call.owner, value) : null;
+                        if (!next || (target && target !== next)) {
+                            target = null;
+                            break;
+                        }
+                        target = next;
+                    }
+                    if (target)
+                        targets.set(param.localId, target);
+                });
+        }
+        if (targets.size)
+            result.set(fn.name, targets);
+    }
+    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:
+                    return false;
+            }
+        },
+        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;
+            }
+        },
+    });
+}
+//# sourceMappingURL=constant-callbacks.js.map

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

@@ -0,0 +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"}

package/dist/backend/llvm/constant-callbacks.test.d.ts

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

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

@@ -0,0 +1,124 @@
+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";
+const loc = { file: "callbacks.ts", start: 0, end: 0 };
+const callback = funcOf([F64], BOOL);
+const ref = (localId, type = callback) => ({ kind: "varRef", localId, type, loc });
+const closure = (fnName) => ({
+    kind: "closure",
+    fnName,
+    captures: [],
+    type: callback,
+    loc,
+});
+function fixture() {
+    const predicate = {
+        name: "predicate",
+        params: [{ localId: "n", name: "n", type: F64 }],
+        locals: [{ id: "n", name: "n", type: F64, mutable: true }],
+        returnType: BOOL,
+        body: [{ kind: "return", value: { kind: "boolLit", value: true, type: BOOL, loc }, loc }],
+        loc,
+    };
+    const consumer = {
+        name: "consume",
+        ownsPrototype: true,
+        params: [{ localId: "test", name: "test", type: callback }],
+        locals: [{ id: "test", name: "test", type: callback, mutable: true }],
+        returnType: BOOL,
+        body: [
+            {
+                kind: "return",
+                value: {
+                    kind: "callValue",
+                    callee: ref("test"),
+                    args: [{ kind: "numLit", value: 1, type: F64, loc }],
+                    type: BOOL,
+                    loc,
+                },
+                loc,
+            },
+        ],
+        loc,
+    };
+    const entry = {
+        name: "main",
+        params: [],
+        locals: [],
+        returnType: VOID,
+        body: [
+            {
+                kind: "exprStmt",
+                expr: { kind: "call", callee: "consume", args: [closure("predicate")], type: BOOL, loc },
+                loc,
+            },
+        ],
+        loc,
+    };
+    return {
+        irVersion: 14,
+        sourceFile: loc.file,
+        entry: "main",
+        functions: [predicate, consumer, entry],
+    };
+}
+function facts(mod) {
+    return findConstantCallbacks(mod, analyzeCallLifetimes(new Map(mod.functions.map((fn) => [fn.name, fn]))));
+}
+test("a closed consumer with one target specializes its callback parameter", () => {
+    expect(facts(fixture()).get("consume")?.get("test")).toBe("predicate");
+});
+test.each(["multiple", "escape", "write", "metadata", "suspend", "synthetic"])("%s prevents incoming-call specialization", (reason) => {
+    const mod = fixture();
+    const consumer = mod.functions[1];
+    const entry = mod.functions[2];
+    if (reason === "multiple") {
+        mod.functions.push({ ...mod.functions[0], name: "other" });
+        entry.body.push({
+            kind: "exprStmt",
+            expr: { kind: "call", callee: "consume", args: [closure("other")], type: BOOL, loc },
+            loc,
+        });
+    }
+    if (reason === "escape")
+        entry.body.push({
+            kind: "exprStmt",
+            expr: { ...closure("consume"), type: funcOf([callback], BOOL) },
+            loc,
+        });
+    if (reason === "write")
+        consumer.body.unshift({ kind: "assign", localId: "test", value: closure("predicate"), loc });
+    if (reason === "metadata")
+        mod.classes = [{ name: "Cell", fields: [], prototypeDataHelper: "consume", loc }];
+    if (reason === "suspend")
+        consumer.async = true;
+    if (reason === "synthetic")
+        delete consumer.ownsPrototype;
+    expect(facts(mod).get("consume")?.has("test")).not.toBe(true);
+});
+test("global closure aliases resolve without borrowing the caller's local namespace", () => {
+    const mod = fixture();
+    const entry = mod.functions[2];
+    mod.globals = [{ id: "%g.callback", name: "callback", type: callback, mutable: false }];
+    entry.locals = [{ id: "local", name: "local", type: callback, mutable: false }];
+    entry.body.unshift({ kind: "varDecl", localId: "local", init: closure("predicate"), loc }, { kind: "assign", localId: "%g.callback", value: ref("local"), loc });
+    const call = entry.body[2];
+    if (call.kind === "exprStmt" && call.expr.kind === "call")
+        call.expr.args = [ref("%g.callback")];
+    expect(facts(mod).get("consume")?.has("test")).not.toBe(true);
+    entry.body[1] = { kind: "assign", localId: "%g.callback", value: closure("predicate"), loc };
+    expect(facts(mod).get("consume")?.get("test")).toBe("predicate");
+    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", () => {
+    const fn = fixture().functions[0];
+    expect(callbackIgnoresReceiver(fn)).toBe(true);
+    fn.body.unshift({ kind: "runtimeFence", code: "SC2020", message: "refused", loc });
+    expect(callbackIgnoresReceiver(fn)).toBe(false);
+    fn.body.shift();
+    fn.async = true;
+    expect(callbackIgnoresReceiver(fn)).toBe(false);
+});
+//# sourceMappingURL=constant-callbacks.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"constant-callbacks.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/constant-callbacks.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EACL,IAAI,EACJ,GAAG,EACH,IAAI,EACJ,MAAM,GAIP,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EAAE,uBAAuB,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAEzF,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACvD,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;AACrC,MAAM,GAAG,GAAG,CAAC,OAAe,EAAE,IAAI,GAAG,QAAQ,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AACnG,MAAM,OAAO,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,CAAC;IAC3C,IAAI,EAAE,SAAS;IACf,MAAM;IACN,QAAQ,EAAE,EAAE;IACZ,IAAI,EAAE,QAAQ;IACd,GAAG;CACJ,CAAC,CAAC;AACH,SAAS,OAAO;IACd,MAAM,SAAS,GAAe;QAC5B,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAChD,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QAC1D,UAAU,EAAE,IAAI;QAChB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC;QACzF,GAAG;KACJ,CAAC;IACF,MAAM,QAAQ,GAAe;QAC3B,IAAI,EAAE,SAAS;QACf,aAAa,EAAE,IAAI;QACnB,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QAC3D,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QACrE,UAAU,EAAE,IAAI;QAChB,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,QAAQ;gBACd,KAAK,EAAE;oBACL,IAAI,EAAE,WAAW;oBACjB,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC;oBACnB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;oBACpD,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,GAAG;aACJ;SACF;QACD,GAAG;KACJ,CAAC;IACF,MAAM,KAAK,GAAe;QACxB,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,EAAE;QACV,MAAM,EAAE,EAAE;QACV,UAAU,EAAE,IAAI;QAChB,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACxF,GAAG;aACJ;SACF;QACD,GAAG;KACJ,CAAC;IACF,OAAO;QACL,SAAS,EAAE,EAAE;QACb,UAAU,EAAE,GAAG,CAAC,IAAI;QACpB,KAAK,EAAE,MAAM;QACb,SAAS,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,KAAK,CAAC;KACxC,CAAC;AACJ,CAAC;AACD,SAAS,KAAK,CAAC,GAAa;IAC1B,OAAO,qBAAqB,CAC1B,GAAG,EACH,oBAAoB,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CACxE,CAAC;AACJ,CAAC;AACD,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;IAChF,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;AACzE,CAAC,CAAC,CAAC;AACH,IAAI,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC,CAC5E,0CAA0C,EAC1C,CAAC,MAAM,EAAE,EAAE;IACT,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,MAAM,QAAQ,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;IACnC,MAAM,KAAK,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;IAChC,IAAI,MAAM,KAAK,UAAU,EAAE,CAAC;QAC1B,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;QAC5D,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;YACd,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YACpF,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,IAAI,MAAM,KAAK,QAAQ;QACrB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;YACd,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,EAAE;YAC/D,GAAG;SACJ,CAAC,CAAC;IACL,IAAI,MAAM,KAAK,OAAO;QACpB,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,WAAW,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IAC/F,IAAI,MAAM,KAAK,UAAU;QACvB,GAAG,CAAC,OAAO,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,mBAAmB,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;IACpF,IAAI,MAAM,KAAK,SAAS;QAAE,QAAQ,CAAC,KAAK,GAAG,IAAI,CAAC;IAChD,IAAI,MAAM,KAAK,WAAW;QAAE,OAAO,QAAQ,CAAC,aAAa,CAAC;IAC1D,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAChE,CAAC,CACF,CAAC;AACF,IAAI,CAAC,+EAA+E,EAAE,GAAG,EAAE;IACzF,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,MAAM,KAAK,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;IAChC,GAAG,CAAC,OAAO,GAAG,CAAC,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;IACxF,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;IAChF,KAAK,CAAC,IAAI,CAAC,OAAO,CAChB,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,WAAW,CAAC,EAAE,GAAG,EAAE,EACtE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CACrE,CAAC;IACF,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;IAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC;IACjG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,OAAO,CAAC,WAAW,CAAC,EAAE,GAAG,EAAE,CAAC;IAC7F,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACjE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,OAAO,CAAC,WAAW,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IAC9F,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAChE,CAAC,CAAC,CAAC;AACH,IAAI,CAAC,sDAAsD,EAAE,GAAG,EAAE;IAChE,MAAM,EAAE,GAAG,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;IACnC,MAAM,CAAC,uBAAuB,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;IACnF,MAAM,CAAC,uBAAuB,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChD,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;IAChB,EAAE,CAAC,KAAK,GAAG,IAAI,CAAC;IAChB,MAAM,CAAC,uBAAuB,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAClD,CAAC,CAAC,CAAC"}

package/dist/backend/llvm/dyn.d.ts

@@ -84,7 +84,7 @@ export declare class LlDyn {
     private objGetLit;
     /** Ordinary property lookup, including inherited data and accessors (+1). */
     private objReadLit;
-    /** Appends an ScrStr's bytes into a ScrJsonBuf (walkers' putScrStr). */
+    /** Appends a borrowed string, preserving its full byte length. */
     private putScrStr;
     private puts;
     /** A size_t counting loop: emits header/body, calls `body(i)`, closes.

package/dist/backend/llvm/dyn.js

@@ -261,38 +261,14 @@ export class LlDyn {
         B.line(`${value} = call ptr @scr_dyn_obj_read(ptr ${d}, ptr ${this.host.cstr(key)}, ${this.S} ${Buffer.byteLength(key, "utf8")})`);
         return value;
     }
-    /** Appends an ScrStr's bytes into a ScrJsonBuf (walkers' putScrStr). */
+    /** Appends a borrowed string, preserving its full byte length. */
     putScrStr(B, buf, s) {
-        this.host.declare(`declare void @scr_jb_putc(ptr, i8)`);
-        const { len, data } = this.strParts(B, s);
-        const jSlot = B.slot();
-        B.entryAllocas.push(`${jSlot} = alloca ${this.S}`);
-        B.line(`store ${this.S} 0, ptr ${jSlot}`);
-        const lc = B.newLabel("dps.c");
-        const lb = B.newLabel("dps.b");
-        const le = B.newLabel("dps.e");
-        B.br(lc);
-        B.startBlock(lc);
-        const j = B.tmp();
-        const cont = B.tmp();
-        B.line(`${j} = load ${this.S}, ptr ${jSlot}`);
-        B.line(`${cont} = icmp ult ${this.S} ${j}, ${len}`);
-        B.condBr(cont, lb, le);
-        B.startBlock(lb);
-        const cp = B.tmp();
-        const c = B.tmp();
-        B.line(`${cp} = getelementptr inbounds i8, ptr ${data}, ${this.S} ${j}`);
-        B.line(`${c} = load i8, ptr ${cp}`);
-        B.line(`call void @scr_jb_putc(ptr ${buf}, i8 ${c})`);
-        const j2 = B.tmp();
-        B.line(`${j2} = add ${this.S} ${j}, 1`);
-        B.line(`store ${this.S} ${j2}, ptr ${jSlot}`);
-        B.br(lc);
-        B.startBlock(le);
+        this.host.declare(`declare void @scr_jb_put_str(ptr, ptr)`);
+        B.line(`call void @scr_jb_put_str(ptr ${buf}, ptr ${s})`);
     }
     puts(B, buf, text) {
-        this.host.declare(`declare void @scr_jb_puts(ptr, ptr)`);
-        B.line(`call void @scr_jb_puts(ptr ${buf}, ptr ${this.host.cstr(text)}) ; ${JSON.stringify(text)}`);
+        this.host.declare(`declare void @scr_jb_write(ptr, ptr, ${this.S})`);
+        B.line(`call void @scr_jb_write(ptr ${buf}, ptr ${this.host.cstr(text)}, ${this.S} ${Buffer.byteLength(text, "utf8")}) ; ${JSON.stringify(text)}`);
     }
     /** A size_t counting loop: emits header/body, calls `body(i)`, closes.
      * The body must not terminate its final block. */
@@ -2083,7 +2059,6 @@ export class LlDyn {
         host.declare(`declare ptr @scr_jb_finish(ptr)`);
         host.declare(`declare void @scr_jb_putc(ptr, i8)`);
         host.declare(`declare void @scr_jb_puts(ptr, ptr)`);
-        host.declare(`declare ptr @scr_f64_to_scrstr(double)`);
         host.declare(`declare void @scr_str_release(ptr)`);
         // The recursive buffer walker.
         {
@@ -2173,10 +2148,8 @@ export class LlDyn {
             {
                 // String(n): NaN/Infinity spelled out, not the JSON null.
                 const x = this.payloadOf(B, "%d", "double");
-                const s = B.tmp();
-                B.line(`${s} = call ptr @scr_f64_to_scrstr(double ${x})`);
-                this.putScrStr(B, "%b", s);
-                B.line(`call void @scr_str_release(ptr ${s})`);
+                host.declare(`declare void @scr_jb_put_number(ptr, double)`);
+                B.line(`call void @scr_jb_put_number(ptr %b, double ${x})`);
                 B.br(done);
             }
             B.startBlock(labels.get(DYN_KIND.STR));