@scriptc/compiler 0.2.2 → 0.2.3

package/dist/backend/llvm/call-lifetimes.js

@@ -0,0 +1,179 @@
+import {} from "../../ir/ir.js";
+import { everyExprChild, everyStmtChild } from "../../ir/traverse.js";
+import { borrowsStringInputs } from "./string-lifetimes.js";
+import { borrowsMapReadInputs } from "./map-read-lifetimes.js";
+function eligible(local, parameter = false) {
+    // Source parameters are writable bindings even when the body never
+    // assigns them. Actual writes are rejected by collectUses below.
+    return (parameter || !local.mutable) && !local.boxed && !local.tdz &&
+        (local.type.kind === "union" || local.type.kind === "object" || local.type.kind === "record" || local.type.kind === "string");
+}
+/** Read each function once. A whole-value use is unsafe unless it is an
+ * explicitly supported projection, borrowing string operation, or direct-call
+ * argument whose target parameter can be proved separately. Traversal of every other consumer
+ * reaches the ordinary varRef rejection, including future IR nodes.
+ *
+ * Projection results may escape: the existing emitter retains extracted
+ * payloads. The enclosing union box itself must never be retained, released,
+ * stored, returned, captured, or passed to arbitrary runtime code. */
+function collectUses(fn) {
+    const uses = { invalid: new Set(), declarations: new Map(), forwards: new Map() };
+    const stringInput = (value) => {
+        if (value.kind === "varRef" && value.type.kind === "string")
+            return true;
+        return expr(value);
+    };
+    function expr(node) {
+        switch (node.kind) {
+            case "strEq":
+            case "strCmp":
+            case "strConcat":
+                return stringInput(node.left) && stringInput(node.right);
+            case "strIntrinsic":
+                if (borrowsStringInputs(node.method))
+                    return stringInput(node.receiver) && node.args.every(stringInput);
+                break;
+            case "mapIntrinsic":
+            case "setIntrinsic":
+                if (borrowsMapReadInputs(node))
+                    return expr(node.receiver) && node.args.every(stringInput);
+                break;
+            case "unionNarrow":
+            case "unionIsTag":
+                if (node.value.kind === "varRef")
+                    return true;
+                break;
+            case "fieldGet":
+            case "recordGet":
+                if (node.obj.kind === "varRef")
+                    return true;
+                break;
+            case "call":
+                node.args.forEach((arg, index) => {
+                    if (arg.kind !== "varRef") {
+                        expr(arg);
+                        return;
+                    }
+                    let forwards = uses.forwards.get(arg.localId);
+                    if (!forwards)
+                        uses.forwards.set(arg.localId, forwards = []);
+                    forwards.push({ callee: node.callee, index });
+                });
+                return true;
+            case "varRef":
+            case "assignExpr":
+            case "incDec":
+                uses.invalid.add(node.localId);
+                break;
+            case "closure":
+            case "classRef":
+                for (const id of node.captures ?? [])
+                    uses.invalid.add(id);
+                break;
+        }
+        return everyExprChild(node, expr, stmt);
+    }
+    function stmt(node) {
+        switch (node.kind) {
+            case "varDecl":
+                uses.declarations.set(node.localId, (uses.declarations.get(node.localId) ?? 0) + 1);
+                break;
+            case "assign":
+            case "forOf":
+            case "rethrow":
+                uses.invalid.add(node.localId);
+                break;
+            case "tryCatch":
+                if (node.catchLocalId !== null)
+                    uses.invalid.add(node.catchLocalId);
+                break;
+        }
+        return everyStmtChild(node, expr, stmt);
+    }
+    fn.body.forEach(stmt);
+    for (const capture of [...(fn.captures ?? []), ...(fn.classCaptures ?? [])])
+        uses.invalid.add(capture.localId);
+    return uses;
+}
+/** Solve dependencies between individual parameters, rather than marking
+ * every argument unsafe when one parameter escapes. Begin optimistically
+ * inside recursive groups, then propagate each rejection through reverse
+ * edges. Every parameter enters the worklist at most once; deep call chains
+ * do not recurse on the compiler stack or repeatedly rescan function bodies.
+ *
+ * The result is private to one emission of the finalized IR. No fact is
+ * serialized or reused after a compiler transformation. Synchronous bodies
+ * without environments are the only supported calling convention. */
+export function analyzeCallLifetimes(functions) {
+    const usesByFunction = new Map();
+    const nodes = new Map();
+    const unsafe = [];
+    const result = { parameters: new Map(), locals: new Map() };
+    for (const fn of functions.values()) {
+        if (fn.async || fn.generator || fn.captures !== undefined || fn.classCaptures !== undefined)
+            continue;
+        const uses = collectUses(fn);
+        usesByFunction.set(fn.name, uses);
+        const locals = new Map(fn.locals.map((local) => [local.id, local]));
+        nodes.set(fn.name, fn.params.map((param) => {
+            const local = locals.get(param.localId);
+            const safe = local !== undefined && eligible(local, true) && !uses.invalid.has(param.localId) && !uses.declarations.has(param.localId);
+            const node = { safe, callers: new Set() };
+            if (!safe)
+                unsafe.push(node);
+            return node;
+        }));
+    }
+    for (const fn of functions.values()) {
+        const params = nodes.get(fn.name);
+        const uses = usesByFunction.get(fn.name);
+        if (!params || !uses)
+            continue;
+        fn.params.forEach((param, index) => {
+            const node = params[index];
+            if (!node.safe)
+                return;
+            for (const use of uses.forwards.get(param.localId) ?? []) {
+                const callee = nodes.get(use.callee)?.[use.index];
+                if (!callee) {
+                    node.safe = false;
+                    unsafe.push(node);
+                    break;
+                }
+                callee.callers.add(node);
+            }
+        });
+    }
+    for (let i = 0; i < unsafe.length; i++) {
+        for (const caller of unsafe[i].callers) {
+            if (!caller.safe)
+                continue;
+            caller.safe = false;
+            unsafe.push(caller);
+        }
+    }
+    for (const [name, params] of nodes) {
+        const safe = new Set();
+        params.forEach((param, index) => { if (param.safe)
+            safe.add(index); });
+        if (safe.size > 0)
+            result.parameters.set(name, safe);
+    }
+    for (const fn of functions.values()) {
+        const uses = usesByFunction.get(fn.name);
+        if (!uses)
+            continue;
+        const params = new Set(fn.params.map((param) => param.localId));
+        const safe = new Set();
+        for (const local of fn.locals) {
+            if (params.has(local.id) || !eligible(local) || uses.invalid.has(local.id) || uses.declarations.get(local.id) !== 1)
+                continue;
+            const forwards = uses.forwards.get(local.id) ?? [];
+            if (forwards.every((use) => result.parameters.get(use.callee)?.has(use.index) === true))
+                safe.add(local.id);
+        }
+        result.locals.set(fn.name, safe);
+    }
+    return result;
+}
+//# sourceMappingURL=call-lifetimes.js.map

package/dist/backend/llvm/call-lifetimes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-lifetimes.js","sourceRoot":"","sources":["../../../src/backend/llvm/call-lifetimes.ts"],"names":[],"mappings":"AAAA,OAAO,EAA2D,MAAM,gBAAgB,CAAC;AACzF,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AA4B/D,SAAS,QAAQ,CAAC,KAAc,EAAE,SAAS,GAAG,KAAK;IACjD,mEAAmE;IACnE,iEAAiE;IACjE,OAAO,CAAC,SAAS,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,GAAG;QAChE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;AAClI,CAAC;AAED;;;;;;;sEAOsE;AACtE,SAAS,WAAW,CAAC,EAAc;IACjC,MAAM,IAAI,GAAS,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,YAAY,EAAE,IAAI,GAAG,EAAE,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IACxF,MAAM,WAAW,GAAG,CAAC,KAAa,EAAW,EAAE;QAC7C,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACzE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC;IACrB,CAAC,CAAC;IACF,SAAS,IAAI,CAAC,IAAY;QACxB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,OAAO,CAAC;YAAC,KAAK,QAAQ,CAAC;YAAC,KAAK,WAAW;gBAC3C,OAAO,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC3D,KAAK,cAAc;gBACjB,IAAI,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC;oBAAE,OAAO,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;gBACxG,MAAM;YACR,KAAK,cAAc,CAAC;YAAC,KAAK,cAAc;gBACtC,IAAI,oBAAoB,CAAC,IAAI,CAAC;oBAAE,OAAO,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;gBAC3F,MAAM;YACR,KAAK,aAAa,CAAC;YAAC,KAAK,YAAY;gBACnC,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;oBAAE,OAAO,IAAI,CAAC;gBAC9C,MAAM;YACR,KAAK,UAAU,CAAC;YAAC,KAAK,WAAW;gBAC/B,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;oBAAE,OAAO,IAAI,CAAC;gBAC5C,MAAM;YACR,KAAK,MAAM;gBACT,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;oBAC/B,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBAC1B,IAAI,CAAC,GAAG,CAAC,CAAC;wBACV,OAAO;oBACT,CAAC;oBACD,IAAI,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;oBAC9C,IAAI,CAAC,QAAQ;wBAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,GAAG,EAAE,CAAC,CAAC;oBAC7D,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;gBAChD,CAAC,CAAC,CAAC;gBACH,OAAO,IAAI,CAAC;YACd,KAAK,QAAQ,CAAC;YAAC,KAAK,YAAY,CAAC;YAAC,KAAK,QAAQ;gBAC7C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAC/B,MAAM;YACR,KAAK,SAAS,CAAC;YAAC,KAAK,UAAU;gBAC7B,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,IAAI,EAAE;oBAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAC3D,MAAM;QACV,CAAC;QACD,OAAO,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1C,CAAC;IACD,SAAS,IAAI,CAAC,IAAY;QACxB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,SAAS;gBACZ,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;gBACpF,MAAM;YACR,KAAK,QAAQ,CAAC;YAAC,KAAK,OAAO,CAAC;YAAC,KAAK,SAAS;gBACzC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAC/B,MAAM;YACR,KAAK,UAAU;gBACb,IAAI,IAAI,CAAC,YAAY,KAAK,IAAI;oBAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;gBACpE,MAAM;QACV,CAAC;QACD,OAAO,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1C,CAAC;IACD,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACtB,KAAK,MAAM,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC;QAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC/G,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;qEAQqE;AACrE,MAAM,UAAU,oBAAoB,CAAC,SAA0C;IAC7E,MAAM,cAAc,GAAG,IAAI,GAAG,EAAgB,CAAC;IAC/C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC7C,MAAM,MAAM,GAAgB,EAAE,CAAC;IAC/B,MAAM,MAAM,GAAkB,EAAE,UAAU,EAAE,IAAI,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IAC3E,KAAK,MAAM,EAAE,IAAI,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;QACpC,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS,IAAI,EAAE,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,CAAC,aAAa,KAAK,SAAS;YAAE,SAAS;QACtG,MAAM,IAAI,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;QAC7B,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QACpE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;YACzC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACxC,MAAM,IAAI,GAAG,KAAK,KAAK,SAAS,IAAI,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACvI,MAAM,IAAI,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;YACrD,IAAI,CAAC,IAAI;gBAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7B,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CAAC,CAAC;IACN,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI;YAAE,SAAS;QAC/B,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;YACjC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAE,CAAC;YAC5B,IAAI,CAAC,IAAI,CAAC,IAAI;gBAAE,OAAO;YACvB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;gBACzD,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAClD,IAAI,CAAC,MAAM,EAAE,CAAC;oBACZ,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC;oBAClB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBAClB,MAAM;gBACR,CAAC;gBACD,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC3B,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,EAAE,CAAC;YACxC,IAAI,CAAC,MAAM,CAAC,IAAI;gBAAE,SAAS;YAC3B,MAAM,CAAC,IAAI,GAAG,KAAK,CAAC;YACpB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,GAAG,IAAI,KAAK,CAAC,IAAI;YAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvE,IAAI,IAAI,CAAC,IAAI,GAAG,CAAC;YAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACvD,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAChE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;YAC9B,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC;gBAAE,SAAS;YAC9H,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;YACnD,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC;gBAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC9G,CAAC;QACD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/backend/llvm/call-lifetimes.test.d.ts

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

package/dist/backend/llvm/call-lifetimes.test.js

@@ -0,0 +1,205 @@
+import { expect, test } from "vitest";
+import { BOOL, F64, UNDEFINED_T, funcOf } from "../../ir/ir.js";
+import { analyzeCallLifetimes } from "./call-lifetimes.js";
+const loc = { file: "lifetimes.ts", start: 0, end: 0 };
+const record = { kind: "record", shapeId: "cell" };
+const optional = { kind: "union", unionId: "optional" };
+const ref = (localId, type = optional) => ({ kind: "varRef", localId, type, loc });
+const num = (value = 1) => ({ kind: "numLit", value, type: F64, loc });
+const ret = (value) => ({ kind: "return", value, loc });
+const local = (id, type = optional) => ({ id, name: id, type, mutable: false });
+const tag = (id) => ({ kind: "unionIsTag", value: ref(id), unionId: "optional", tag: 0, negated: false, type: BOOL, loc });
+const narrow = (id) => ({ kind: "unionNarrow", value: ref(id), unionId: "optional", tag: 0, type: record, loc });
+const call = (callee, args) => ({ kind: "call", callee, args, type: F64, loc });
+function helper(name, ids = ["value"]) {
+    return {
+        name, loc, returnType: F64,
+        params: ids.map((id) => ({ localId: id, name: id, type: optional })),
+        locals: ids.map((id) => local(id)),
+        body: ids.map((id) => ({ kind: "exprStmt", expr: tag(id), loc })),
+    };
+}
+function analyze(...functions) {
+    return analyzeCallLifetimes(new Map(functions.map((fn) => [fn.name, fn])));
+}
+test("tracks the lifetime of the box separately from an escaping payload", () => {
+    const fn = helper("extract");
+    fn.returnType = record;
+    fn.body = [ret(narrow("value"))];
+    expect(analyze(fn).parameters.get(fn.name)).toEqual(new Set([0]));
+    fn.returnType = optional;
+    fn.body = [ret(ref("value"))];
+    expect(analyze(fn).parameters.has(fn.name)).toBe(false);
+});
+test("class and record field reads borrow their root", () => {
+    const cls = { kind: "object", className: "Cell" };
+    const fn = helper("read", ["left", "right"]);
+    fn.params[0].type = fn.locals[0].type = record;
+    fn.params[1].type = fn.locals[1].type = cls;
+    fn.body = [ret({ kind: "bin", op: "+", type: F64, loc,
+            left: { kind: "recordGet", obj: ref("left", record), shapeId: "cell", field: "x", type: F64, loc },
+            right: { kind: "fieldGet", obj: ref("right", cls), className: "Cell", field: "x", type: F64, loc },
+        })];
+    expect(analyze(fn).parameters.get(fn.name)).toEqual(new Set([0, 1]));
+});
+test("keeps independent parameter facts through argument permutations", () => {
+    const leaf = helper("leaf", ["kept", "escaped"]);
+    leaf.body.push(ret(ref("escaped")));
+    const middle = helper("middle", ["first", "second"]);
+    middle.body = [ret(call("leaf", [ref("second"), ref("first")]))];
+    const outer = helper("outer", ["a", "b"]);
+    outer.body = [ret(call("middle", [ref("b"), ref("a")]))];
+    const result = analyze(outer, middle, leaf);
+    expect(result.parameters.get("leaf")).toEqual(new Set([0]));
+    expect(result.parameters.get("middle")).toEqual(new Set([1]));
+    expect(result.parameters.get("outer")).toEqual(new Set([0]));
+});
+test("joins every use of a parameter, including repeated call arguments", () => {
+    const leaf = helper("leaf", ["a", "b"]);
+    leaf.body.push(ret(ref("b")));
+    const outer = helper("outer");
+    outer.body = [ret(call("leaf", [ref("value"), ref("value")]))];
+    expect(analyze(outer, leaf).parameters.has("outer")).toBe(false);
+});
+test("solves safe recursive groups and propagates a single escape around a cycle", () => {
+    const left = helper("left"), right = helper("right");
+    left.body.push(ret(call("right", [ref("value")])));
+    right.body.push(ret(call("left", [ref("value")])));
+    expect(analyze(left, right).parameters.size).toBe(2);
+    right.body.push(ret(ref("value")));
+    expect(analyze(left, right).parameters.size).toBe(0);
+});
+test("does not confuse the same local id in unrelated functions", () => {
+    const safe = helper("safe"), unsafe = helper("unsafe");
+    unsafe.body.push(ret(ref("value")));
+    expect(analyze(safe, unsafe).parameters.get("safe")).toEqual(new Set([0]));
+    expect(analyze(safe, unsafe).parameters.has("unsafe")).toBe(false);
+});
+test.each(["absent", "missing parameter", "async", "generator", "capture", "class capture"])("refuses forwarding to a %s target", (reason) => {
+    const outer = helper("outer"), leaf = helper("leaf");
+    outer.body = [ret(call("leaf", [ref("value")]))];
+    if (reason === "missing parameter")
+        leaf.params = [];
+    if (reason === "async")
+        leaf.async = true;
+    if (reason === "generator")
+        leaf.generator = { yieldT: F64, nextT: F64, resultType: { kind: "record", shapeId: "result" } };
+    if (reason === "capture")
+        leaf.captures = [];
+    if (reason === "class capture")
+        leaf.classCaptures = [];
+    const result = reason === "absent" ? analyze(outer) : analyze(outer, leaf);
+    expect(result.parameters.has("outer")).toBe(false);
+});
+test.each(["boxed", "tdz", "redeclared", "assign", "assign expression", "increment"])("rejects a %s binding even when reads are projections", (reason) => {
+    const fn = helper("read");
+    if (reason === "boxed")
+        fn.locals[0].boxed = true;
+    if (reason === "tdz")
+        fn.locals[0].tdz = true;
+    if (reason === "redeclared")
+        fn.body.push({ kind: "varDecl", localId: "value", init: null, loc });
+    if (reason === "assign")
+        fn.body.push({ kind: "assign", localId: "value", value: ref("value"), loc });
+    if (reason === "assign expression")
+        fn.body.push(ret({ kind: "assignExpr", localId: "value", value: ref("value"), type: optional, loc }));
+    if (reason === "increment")
+        fn.body.push(ret({ kind: "incDec", localId: "value", op: "+", prefix: true, type: F64, loc }));
+    expect(analyze(fn).parameters.size).toBe(0);
+});
+test("proves unassigned source parameters despite their writable declaration", () => {
+    const fn = helper("read");
+    fn.locals[0].mutable = true;
+    expect(analyze(fn).parameters.get("read")).toEqual(new Set([0]));
+    fn.body.push({ kind: "assign", localId: "value", value: ref("value"), loc });
+    expect(analyze(fn).parameters.size).toBe(0);
+});
+test("rejects metadata captures that are not expression children", () => {
+    for (const kind of ["closure", "classRef"]) {
+        const fn = helper("read");
+        const expr = kind === "closure"
+            ? { kind, fnName: "captured", captures: ["value"], type: funcOf([], F64), loc }
+            : { kind, className: "Captured", captures: ["value"], type: { kind: "classval", className: "Captured" }, loc };
+        fn.body.push({ kind: "exprStmt", expr, loc });
+        expect(analyze(fn).parameters.size).toBe(0);
+    }
+});
+test("unknown indirect and runtime consumers cannot receive stack boxes", () => {
+    const consumers = [
+        { kind: "callValue", callee: ref("cb", funcOf([optional], F64)), args: [ref("value")], type: F64, loc },
+        { kind: "unionWrap", value: ref("value"), unionId: "nested", tag: 0, type: optional, loc },
+        { kind: "recordLit", fields: [{ name: "value", value: ref("value") }], type: { kind: "record", shapeId: "holder" }, loc },
+    ];
+    for (const expr of consumers) {
+        const fn = helper("read");
+        fn.body.push(ret(expr));
+        expect(analyze(fn).parameters.size).toBe(0);
+    }
+});
+test("a local alias is an owned use, while scalar control flow does not escape", () => {
+    const fn = helper("read");
+    fn.body = [{ kind: "if", cond: tag("value"), then: [ret(num())], else_: [ret(num(2))], loc }];
+    expect(analyze(fn).parameters.size).toBe(1);
+    fn.locals.push(local("alias"));
+    fn.body.unshift({ kind: "varDecl", localId: "alias", init: ref("value"), loc });
+    expect(analyze(fn).parameters.size).toBe(0);
+});
+test("records safe local consumers without accepting duplicate or absent declarations", () => {
+    const fn = helper("work", []), leaf = helper("leaf");
+    fn.locals.push(local("item"));
+    const init = { kind: "unionWrap", unionId: "optional", tag: 1,
+        value: { kind: "unitLit", unit: "undefined", type: UNDEFINED_T, loc }, type: optional, loc };
+    const declaration = { kind: "varDecl", localId: "item", init, loc };
+    fn.body = [declaration, ret(call("leaf", [ref("item")]))];
+    expect(analyze(fn, leaf).locals.get("work")).toEqual(new Set(["item"]));
+    fn.body.push(declaration);
+    expect(analyze(fn, leaf).locals.get("work")?.size).toBe(0);
+    fn.body = [ret(call("leaf", [ref("item")]))];
+    expect(analyze(fn, leaf).locals.get("work")?.size).toBe(0);
+});
+test("visits nested argument effects even when the outer helper is safe", () => {
+    const fn = helper("work"), leaf = helper("leaf");
+    const nested = { kind: "seqExpr", stmts: [ret(ref("value"))], result: num(), type: F64, loc };
+    fn.body.push(ret(call("leaf", [nested])));
+    expect(analyze(fn, leaf).parameters.has("work")).toBe(false);
+});
+test("unused parameters are borrowed but scalar values never change ABI", () => {
+    const fn = helper("unused", ["value", "count"]);
+    fn.params[1].type = fn.locals[1].type = F64;
+    fn.body = [ret(num())];
+    expect(analyze(fn).parameters.get(fn.name)).toEqual(new Set([0]));
+});
+test("a late unsafe leaf invalidates a deep chain without recursive graph traversal", () => {
+    const functions = [];
+    for (let i = 0; i < 12000; i++) {
+        const fn = helper(`f${i}`);
+        fn.body = [ret(call(`f${i + 1}`, [ref("value")]))];
+        functions.push(fn);
+    }
+    const leaf = helper("f12000");
+    expect(analyze(...functions, leaf).parameters.size).toBe(12001);
+    leaf.body.push(ret(ref("value")));
+    expect(analyze(...functions, leaf).parameters.size).toBe(0);
+});
+test("joins a wide graph without tying safe siblings to escaping parameters", () => {
+    const leaf = helper("leaf", ["safe", "escaped"]);
+    leaf.body.push(ret(ref("escaped")));
+    const callers = Array.from({ length: 1000 }, (_, i) => {
+        const fn = helper(`caller${i}`, ["a", "b"]);
+        fn.body = [ret(call("leaf", [ref("a"), ref("b")]))];
+        return fn;
+    });
+    const result = analyze(leaf, ...callers);
+    for (const fn of callers)
+        expect(result.parameters.get(fn.name)).toEqual(new Set([0]));
+});
+test("analysis does not mutate IR or carry stale facts across emissions", () => {
+    const fn = helper("work");
+    const before = JSON.stringify(fn);
+    const first = analyze(fn);
+    expect(JSON.stringify(fn)).toBe(before);
+    fn.body.push(ret(ref("value")));
+    expect(analyze(fn).parameters.size).toBe(0);
+    expect(first.parameters.get("work")).toEqual(new Set([0]));
+});
+//# sourceMappingURL=call-lifetimes.test.js.map

package/dist/backend/llvm/call-lifetimes.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-lifetimes.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/call-lifetimes.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,EAAwE,MAAM,gBAAgB,CAAC;AACtI,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAE3D,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACvD,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AAC3D,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AAChE,MAAM,GAAG,GAAG,CAAC,OAAe,EAAE,IAAI,GAAW,QAAQ,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAC3G,MAAM,GAAG,GAAG,CAAC,KAAK,GAAG,CAAC,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AAC/E,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;AACxE,MAAM,KAAK,GAAG,CAAC,EAAU,EAAE,IAAI,GAAW,QAAQ,EAAW,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;AACzG,MAAM,GAAG,GAAG,CAAC,EAAU,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAC3I,MAAM,MAAM,GAAG,CAAC,EAAU,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;AACjI,MAAM,IAAI,GAAG,CAAC,MAAc,EAAE,IAAc,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AAE1G,SAAS,MAAM,CAAC,IAAY,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC;IAC3C,OAAO;QACL,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG;QAC1B,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QACpE,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAClC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;KAClE,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CAAC,GAAG,SAAuB;IACzC,OAAO,oBAAoB,CAAC,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAC7E,CAAC;AAED,IAAI,CAAC,oEAAoE,EAAE,GAAG,EAAE;IAC9E,MAAM,EAAE,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;IAC7B,EAAE,CAAC,UAAU,GAAG,MAAM,CAAC;IACvB,EAAE,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACjC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,EAAE,CAAC,UAAU,GAAG,QAAQ,CAAC;IACzB,EAAE,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAC9B,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC1D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gDAAgD,EAAE,GAAG,EAAE;IAC1D,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IAC1D,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAC7C,EAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG,MAAM,CAAC;IACjD,EAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG,GAAG,CAAC;IAC9C,EAAE,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG;YACnD,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YAClG,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;SACnG,CAAC,CAAC,CAAC;IACJ,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AACvE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iEAAiE,EAAE,GAAG,EAAE;IAC3E,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;IACjD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACpC,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;IACrD,MAAM,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjE,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC1C,KAAK,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzD,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IAC5C,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5D,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9D,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC/D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mEAAmE,EAAE,GAAG,EAAE;IAC7E,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACxC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC9B,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;IAC9B,KAAK,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACnE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,4EAA4E,EAAE,GAAG,EAAE;IACtF,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;IACrD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACnC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACvD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2DAA2D,EAAE,GAAG,EAAE;IACrE,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;IACvD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACpC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3E,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACrE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,mBAAmB,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,eAAe,CAAC,CAAC,CAAC,mCAAmC,EAAE,CAAC,MAAM,EAAE,EAAE;IAC3I,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IACrD,KAAK,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjD,IAAI,MAAM,KAAK,mBAAmB;QAAE,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC;IACrD,IAAI,MAAM,KAAK,OAAO;QAAE,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;IAC1C,IAAI,MAAM,KAAK,WAAW;QAAE,IAAI,CAAC,SAAS,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,CAAC;IAC5H,IAAI,MAAM,KAAK,SAAS;QAAE,IAAI,CAAC,QAAQ,GAAG,EAAE,CAAC;IAC7C,IAAI,MAAM,KAAK,eAAe;QAAE,IAAI,CAAC,aAAa,GAAG,EAAE,CAAC;IACxD,MAAM,MAAM,GAAG,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC3E,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACrD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,mBAAmB,EAAE,WAAW,CAAC,CAAC,CAAC,sDAAsD,EAAE,CAAC,MAAM,EAAE,EAAE;IACvJ,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IAC1B,IAAI,MAAM,KAAK,OAAO;QAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,KAAK,GAAG,IAAI,CAAC;IACnD,IAAI,MAAM,KAAK,KAAK;QAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,GAAG,GAAG,IAAI,CAAC;IAC/C,IAAI,MAAM,KAAK,YAAY;QAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IAClG,IAAI,MAAM,KAAK,QAAQ;QAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACtG,IAAI,MAAM,KAAK,mBAAmB;QAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IAC1I,IAAI,MAAM,KAAK,WAAW;QAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IAC3H,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC9C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wEAAwE,EAAE,GAAG,EAAE;IAClF,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IAC1B,EAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,GAAG,IAAI,CAAC;IAC7B,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IAC7E,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC9C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,4DAA4D,EAAE,GAAG,EAAE;IACtE,KAAK,MAAM,IAAI,IAAI,CAAC,SAAS,EAAE,UAAU,CAAU,EAAE,CAAC;QACpD,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;QAC1B,MAAM,IAAI,GAAW,IAAI,KAAK,SAAS;YACrC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;YAC/E,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,EAAE,GAAG,EAAE,CAAC;QACjH,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QAC9C,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mEAAmE,EAAE,GAAG,EAAE;IAC7E,MAAM,SAAS,GAAa;QAC1B,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QACvG,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE;QAC1F,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE;KAC1H,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;QAC1B,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QACxB,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,0EAA0E,EAAE,GAAG,EAAE;IACpF,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IAC1B,EAAE,CAAC,IAAI,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IAC9F,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5C,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;IAC/B,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IAChF,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC9C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iFAAiF,EAAE,GAAG,EAAE;IAC3F,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IACrD,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAC9B,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;QACnE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;IAC/F,MAAM,WAAW,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAC5E,EAAE,CAAC,IAAI,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1D,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACxE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC1B,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3D,EAAE,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7C,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC7D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mEAAmE,EAAE,GAAG,EAAE;IAC7E,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IACjD,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACtG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1C,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC/D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mEAAmE,EAAE,GAAG,EAAE;IAC7E,MAAM,EAAE,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;IAChD,EAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG,GAAG,CAAC;IAC9C,EAAE,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACvB,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACpE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+EAA+E,EAAE,GAAG,EAAE;IACzF,MAAM,SAAS,GAAiB,EAAE,CAAC;IACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3B,EAAE,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnD,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrB,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC9B,MAAM,CAAC,OAAO,CAAC,GAAG,SAAS,EAAE,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAClC,MAAM,CAAC,OAAO,CAAC,GAAG,SAAS,EAAE,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC9D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,uEAAuE,EAAE,GAAG,EAAE;IACjF,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;IACjD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACpC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACpD,MAAM,EAAE,GAAG,MAAM,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC5C,EAAE,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,EAAE,GAAG,OAAO,CAAC,CAAC;IACzC,KAAK,MAAM,EAAE,IAAI,OAAO;QAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACzF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mEAAmE,EAAE,GAAG,EAAE;IAC7E,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IAC1B,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IAClC,MAAM,KAAK,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;IAC1B,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACxC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAChC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5C,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC7D,CAAC,CAAC,CAAC"}

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

@@ -98,11 +98,11 @@ export declare class LlDyn {
      * pointer and virtual dispatch still uses the object's original vtable. */
     private typedRefMatches;
     /** `sc_dm_<n>(ptr d) -> i1` — does this dyn fit T? Never throws. */
-    dynMatchHelper(t: IrType): string;
+    dynMatchHelper(t: IrType, preserveRefs?: boolean): string;
     /** `sc_dc_<n>(ptr d, ptr path) -> T` — validate the checked-dynamic tree against T and
      * BUILD the typed value (+1), or throw the catchable path-annotated
      * TypeError and return a dummy with the pending flag set. */
-    dynCheckHelper(t: IrType): string;
+    dynCheckHelper(t: IrType, preserveRefs?: boolean): string;
     /** `sc_td_<n>(<T> v) -> ptr` — build a fresh dyn value from a
      * static one (+1), DEEP-COPYING composites. Borrows the operand.
      * Never throws. */