@scriptc/compiler 0.2.6 → 0.2.7

package/dist/backend/link-plan-core.d.ts

@@ -1,4 +1,5 @@
 /** Ordered link inputs shared by synchronous native and asynchronous Node hosts. */
+import type { NativeOptimization } from "./optimization.js";
 import { type NativeTargetSpec, type WindowsSubsystem } from "./targets.js";
 export interface ExecutableLinkInputs {
     inputs: string[];
@@ -16,7 +17,7 @@ export declare function executableLinkInputs(options: {
     runtimeObjects: readonly string[];
     runtimeArchives: readonly string[];
     runtimeSystemLibraries: readonly string[];
-    optimization: "release" | "dev";
+    optimization: NativeOptimization;
     strip?: boolean;
     windowsSubsystem?: WindowsSubsystem;
 }): ExecutableLinkInputs;

package/dist/backend/link-plan-core.js

@@ -1,15 +1,27 @@
-/** Ordered link inputs shared by synchronous native and asynchronous Node hosts. */
 import { executableOptimizationLinkerArgs, executableStripLinkerArgs, windowsSubsystemLinkerArgs, } from "./targets.js";
 export function executableLinkInputs(options) {
     if (options.ffiFrameworks.length !== 0 && options.target.platform !== "darwin")
         throw new Error("FFI frameworks require a Darwin target");
     return {
+        // Linkers lay out code in input order. The precompiled runtime and its
+        // archives go first so their addresses do not depend on the size of the
+        // program object: otherwise any program edit shifts every runtime
+        // function, and hot interpreter loops (the regex engine's especially)
+        // swing by double-digit percentages with incidental cache-line
+        // placement. Program code never references archive members directly,
+        // so single-pass archive resolution (GNU ld) still sees every runtime
+        // reference first. FFI libraries stay after the program that uses them;
+        // single-pass linkers get the archives once more after them in case a
+        // foreign library depends on a vendored one.
         inputs: [
+            ...options.runtimeObjects,
+            ...options.runtimeArchives,
             options.programObject,
             ...(options.programPartitions ?? []),
             ...options.ffiLibraries,
-            ...options.runtimeObjects,
-            ...options.runtimeArchives,
+            ...(options.ffiLibraries.length !== 0 && options.target.platform !== "darwin"
+                ? options.runtimeArchives
+                : []),
         ],
         systemLibraries: [
             ...new Set([...options.ffiSystemLibraries, ...options.runtimeSystemLibraries]),

package/dist/backend/link-plan-core.js.map

@@ -1 +1 @@
-{"version":3,"file":"link-plan-core.js","sourceRoot":"","sources":["../../src/backend/link-plan-core.ts"],"names":[],"mappings":"AAAA,oFAAoF;AACpF,OAAO,EACL,gCAAgC,EAChC,yBAAyB,EACzB,0BAA0B,GAG3B,MAAM,cAAc,CAAC;AAQtB,MAAM,UAAU,oBAAoB,CAAC,OAcpC;IACC,IAAI,OAAO,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,QAAQ,KAAK,QAAQ;QAC5E,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;IAC5D,OAAO;QACL,MAAM,EAAE;YACN,OAAO,CAAC,aAAa;YACrB,GAAG,CAAC,OAAO,CAAC,iBAAiB,IAAI,EAAE,CAAC;YACpC,GAAG,OAAO,CAAC,YAAY;YACvB,GAAG,OAAO,CAAC,cAAc;YACzB,GAAG,OAAO,CAAC,eAAe;SAC3B;QACD,eAAe,EAAE;YACf,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,kBAAkB,EAAE,GAAG,OAAO,CAAC,sBAAsB,CAAC,CAAC;SAC/E;QACD,WAAW,EAAE;YACX,GAAG,OAAO,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;YAChE,GAAG,OAAO,CAAC,MAAM,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAC9D,KAAK,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,CAAC,GAAG,CACrF;YACD,GAAG,gCAAgC,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,YAAY,CAAC;YAClF,GAAG,yBAAyB,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,KAAK,IAAI,KAAK,CAAC;YAC7E,GAAG,0BAA0B,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,gBAAgB,CAAC;SACjF;KACF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"link-plan-core.js","sourceRoot":"","sources":["../../src/backend/link-plan-core.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,gCAAgC,EAChC,yBAAyB,EACzB,0BAA0B,GAG3B,MAAM,cAAc,CAAC;AAQtB,MAAM,UAAU,oBAAoB,CAAC,OAcpC;IACC,IAAI,OAAO,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,QAAQ,KAAK,QAAQ;QAC5E,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;IAC5D,OAAO;QACL,uEAAuE;QACvE,wEAAwE;QACxE,kEAAkE;QAClE,sEAAsE;QACtE,+DAA+D;QAC/D,qEAAqE;QACrE,sEAAsE;QACtE,wEAAwE;QACxE,sEAAsE;QACtE,6CAA6C;QAC7C,MAAM,EAAE;YACN,GAAG,OAAO,CAAC,cAAc;YACzB,GAAG,OAAO,CAAC,eAAe;YAC1B,OAAO,CAAC,aAAa;YACrB,GAAG,CAAC,OAAO,CAAC,iBAAiB,IAAI,EAAE,CAAC;YACpC,GAAG,OAAO,CAAC,YAAY;YACvB,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,QAAQ,KAAK,QAAQ;gBAC3E,CAAC,CAAC,OAAO,CAAC,eAAe;gBACzB,CAAC,CAAC,EAAE,CAAC;SACR;QACD,eAAe,EAAE;YACf,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,kBAAkB,EAAE,GAAG,OAAO,CAAC,sBAAsB,CAAC,CAAC;SAC/E;QACD,WAAW,EAAE;YACX,GAAG,OAAO,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;YAChE,GAAG,OAAO,CAAC,MAAM,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAC9D,KAAK,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,CAAC,GAAG,CACrF;YACD,GAAG,gCAAgC,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,YAAY,CAAC;YAClF,GAAG,yBAAyB,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,KAAK,IAAI,KAAK,CAAC;YAC7E,GAAG,0BAA0B,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,gBAAgB,CAAC;SACjF;KACF,CAAC;AACJ,CAAC"}

package/dist/backend/link-plan.d.ts

@@ -6,6 +6,7 @@
  * program, FFI inputs, runtime objects/archives, and system libraries meet
  * the platform linker.
  */
+import type { NativeOptimization } from "./optimization.js";
 import type { FfiProfile } from "../ffi/ffi-manifest.js";
 import type { NativeLinkFeatures } from "./native-link-info.js";
 import type { NativeArtifactDependency } from "./native/contracts.js";
@@ -32,7 +33,7 @@ export declare function createNativeLinkPlan(options: {
     outPath: string;
     features: NativeLinkFeatures;
     ffi: FfiProfile | null;
-    optimization: "release" | "dev";
+    optimization: NativeOptimization;
     strip?: boolean;
     windowsSubsystem?: WindowsSubsystem;
     programObjectDependencies?: readonly NativeArtifactDependency[];

package/dist/backend/link-plan.js.map

@@ -1 +1 @@
-{"version":3,"file":"link-plan.js","sourceRoot":"","sources":["../../src/backend/link-plan.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAC7D,OAAO,EAAE,eAAe,EAA6B,MAAM,mBAAmB,CAAC;AAC/E,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAkB3D,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,OAa1C;IACC,IAAI,OAAO,CAAC,GAAG,EAAE,UAAU,EAAE,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC,QAAQ,KAAK,QAAQ;QACzE,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;IAC5D,MAAM,WAAW,GAAG,MAAM,eAAe,CAAC,OAAO,CAAC,CAAC;IACnD,OAAO;QACL,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,kBAAkB,EAAE,uBAAuB,CACzC,OAAO,CAAC,MAAM,CAAC,QAAQ,EACvB,OAAO,CAAC,YAAY,EACpB,OAAO,CAAC,KAAK,CACd;QACD,UAAU,EAAE,OAAO,CAAC,OAAO;QAC3B,GAAG,oBAAoB,CAAC;YACtB,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,aAAa,EAAE,OAAO,CAAC,aAAa;YACpC,GAAG,CAAC,OAAO,CAAC,iBAAiB,KAAK,SAAS;gBACzC,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,EAAE,iBAAiB,EAAE,OAAO,CAAC,iBAAiB,EAAE,CAAC;YACrD,YAAY,EAAE,OAAO,CAAC,GAAG,EAAE,SAAS,IAAI,EAAE;YAC1C,kBAAkB,EAAE,OAAO,CAAC,GAAG,EAAE,eAAe,IAAI,EAAE;YACtD,aAAa,EAAE,OAAO,CAAC,GAAG,EAAE,UAAU,IAAI,EAAE;YAC5C,cAAc,EAAE,WAAW,CAAC,cAAc;YAC1C,eAAe,EAAE,WAAW,CAAC,QAAQ;YACrC,sBAAsB,EAAE,WAAW,CAAC,eAAe;YACnD,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;YAChE,GAAG,CAAC,OAAO,CAAC,gBAAgB,KAAK,SAAS;gBACxC,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,EAAE,gBAAgB,EAAE,OAAO,CAAC,gBAAgB,EAAE,CAAC;SACpD,CAAC;QACF,eAAe,EAAE,CAAC,GAAG,WAAW,CAAC,eAAe,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC;QACpF,yBAAyB,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,yBAAyB,IAAI,EAAE,CAAC,CAAC;QACzE,WAAW;KACZ,CAAC;AACJ,CAAC"}
+{"version":3,"file":"link-plan.js","sourceRoot":"","sources":["../../src/backend/link-plan.ts"],"names":[],"mappings":"AAYA,OAAO,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAC7D,OAAO,EAAE,eAAe,EAA6B,MAAM,mBAAmB,CAAC;AAC/E,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAkB3D,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,OAa1C;IACC,IAAI,OAAO,CAAC,GAAG,EAAE,UAAU,EAAE,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC,QAAQ,KAAK,QAAQ;QACzE,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;IAC5D,MAAM,WAAW,GAAG,MAAM,eAAe,CAAC,OAAO,CAAC,CAAC;IACnD,OAAO;QACL,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,kBAAkB,EAAE,uBAAuB,CACzC,OAAO,CAAC,MAAM,CAAC,QAAQ,EACvB,OAAO,CAAC,YAAY,EACpB,OAAO,CAAC,KAAK,CACd;QACD,UAAU,EAAE,OAAO,CAAC,OAAO;QAC3B,GAAG,oBAAoB,CAAC;YACtB,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,aAAa,EAAE,OAAO,CAAC,aAAa;YACpC,GAAG,CAAC,OAAO,CAAC,iBAAiB,KAAK,SAAS;gBACzC,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,EAAE,iBAAiB,EAAE,OAAO,CAAC,iBAAiB,EAAE,CAAC;YACrD,YAAY,EAAE,OAAO,CAAC,GAAG,EAAE,SAAS,IAAI,EAAE;YAC1C,kBAAkB,EAAE,OAAO,CAAC,GAAG,EAAE,eAAe,IAAI,EAAE;YACtD,aAAa,EAAE,OAAO,CAAC,GAAG,EAAE,UAAU,IAAI,EAAE;YAC5C,cAAc,EAAE,WAAW,CAAC,cAAc;YAC1C,eAAe,EAAE,WAAW,CAAC,QAAQ;YACrC,sBAAsB,EAAE,WAAW,CAAC,eAAe;YACnD,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;YAChE,GAAG,CAAC,OAAO,CAAC,gBAAgB,KAAK,SAAS;gBACxC,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,EAAE,gBAAgB,EAAE,OAAO,CAAC,gBAAgB,EAAE,CAAC;SACpD,CAAC;QACF,eAAe,EAAE,CAAC,GAAG,WAAW,CAAC,eAAe,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC;QACpF,yBAAyB,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,yBAAyB,IAAI,EAAE,CAAC,CAAC;QACzE,WAAW;KACZ,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,40 @@
+/** The emitter surface this module needs (a subset of ShapeHost). */
+export interface AllocHost {
+    declare(decl: string): void;
+    needOom(): void;
+    readonly sizeType: "i32" | "i64";
+    /** Inline the allocator fast paths (see the target rule above). */
+    readonly inlineAlloc?: boolean;
+    /** Emit the RC-audit object notes on the out-of-line paths (ShapeHost
+     * objectAudit: only --sanitize builds count them). Absent means emit. */
+    readonly objectAudit?: boolean;
+}
+/** Whether a target can use the inline allocation paths. */
+export declare function inlineAllocSupported(options: {
+    pointerBits?: 32 | 64 | undefined;
+    wasi?: boolean | undefined;
+    targetTriple?: string | undefined;
+    threadInstances?: boolean | undefined;
+}): boolean;
+/** A collector header to install: the object's trace and teardown. */
+export interface CycHeader {
+    trace: string;
+    free: string;
+}
+/**
+ * Lines that leave a zeroed object of `size` bytes (an integer constant
+ * expression) in `%o`, aborting on OOM, with the RC-audit allocation note
+ * on the out-of-line path. With `cyc`, the object carries a collector
+ * header (scr_cyc_alloc's contract). `stored` is the number of leading
+ * object bytes the caller stores unconditionally right after (at least the
+ * refcount word), which a recycled block need not clear. Labels use the
+ * `sa.` prefix; the lines end in an open block.
+ */
+export declare function emitObjectAlloc(host: AllocHost, size: string, cyc: CycHeader | null, stored?: number): string[];
+/**
+ * Lines that free the object `%o` after its members were released: the
+ * RC-audit free note, the weak-collection dispose hook, and the block —
+ * `scr_cyc_free` for collector-headered objects, `scr_rt_free` otherwise.
+ * Labels use the `sf.` prefix; the lines end in an open block.
+ */
+export declare function emitObjectFree(host: AllocHost, cyc: boolean): string[];

package/dist/backend/llvm/alloc.js

@@ -0,0 +1,205 @@
+/* Emitted object allocation and deallocation for records and class
+ * instances.
+ *
+ * Every constructor allocates a constant-size block. The runtime's
+ * small-object allocator (scr_alloc.c, contract in scr_runtime.h) serves it
+ * from a per-size-class free list or bump pointer, but through an
+ * out-of-line call the size class, the zeroing length, and the
+ * collector-header setup are recomputed for every object. Here the fast
+ * paths are inlined into the emitted `new`/release helpers instead, so they
+ * fold to a constant class, a constant-length clear of only the bytes the
+ * helper does not store itself, and a handful of loads and stores.
+ *
+ * Soundness does not depend on which runtime the program links against.
+ * The runtime defines `scr_sa` in every build; where its allocator is
+ * compiled out (AddressSanitizer, the RC audit) the state stays all-zero,
+ * so the inline paths find no free block, no bump room and an empty span,
+ * and always take the slow path: the same out-of-line calls as before
+ * (scr_rt_calloc / scr_cyc_alloc, scr_rt_free) plus the RC-audit object
+ * notes. The fast paths skip those notes, which are no-ops whenever the
+ * allocator is live (SCR_RC_AUDIT forces it off; scr_runtime.h #errors
+ * otherwise). Blocks outside the reservation (system fallbacks) go back
+ * through scr_rt_free.
+ *
+ * Inlining is limited to the targets where the allocator can be live and
+ * its state is a process global: 64-bit, not WASI, not Windows, and not
+ * thread-instanced libraries or worker programs (whose runtime state,
+ * including scr_cyc_live and scr_weak_dispose_hook, is thread-local and
+ * whose allocator is compiled out). Elsewhere the out-of-line calls
+ * remain. */
+const ALLOC_NOTE = `  call void @scr_obj_alloc_note()`;
+const FREE_NOTE = `  call void @scr_obj_free_note()`;
+/** Whether a target can use the inline allocation paths. */
+export function inlineAllocSupported(options) {
+    if (options.pointerBits === 32 || options.wasi === true || options.threadInstances === true) {
+        return false;
+    }
+    // An omitted triple means the host ABI. That stays sound even on a host
+    // whose runtime compiles the allocator out: scr_sa is defined there too
+    // and stays zero, so only the slow paths run.
+    const triple = (options.targetTriple ?? "").toLowerCase();
+    return !/windows|mingw|msvc|cygwin|wasm/.test(triple);
+}
+/* ScrSaState layout on 64-bit targets (asserted in scr_runtime.h). */
+const SA_TYPE = "{ i64, i64, i32, [32 x ptr], [32 x ptr], [32 x ptr] }";
+const SA_SPAN = 8;
+const SA_SHIFT = 16;
+const SA_FREE = 24;
+const SA_BUMP = 280;
+const SA_LIM = 536;
+const SA_STEP_SHIFT = 4; // 16-byte classes
+const SA_MAX = 512;
+/** sizeof(ScrCycHdr) on 64-bit targets; trace and free_fn are its first
+ * two words, and every other header word starts zero. */
+const CYC_HDR = 32;
+function declareState(host) {
+    host.declare(`@scr_sa = external global ${SA_TYPE}`);
+    host.declare(`declare i1 @llvm.expect.i1(i1, i1)`);
+}
+/**
+ * Lines that leave a zeroed object of `size` bytes (an integer constant
+ * expression) in `%o`, aborting on OOM, with the RC-audit allocation note
+ * on the out-of-line path. With `cyc`, the object carries a collector
+ * header (scr_cyc_alloc's contract). `stored` is the number of leading
+ * object bytes the caller stores unconditionally right after (at least the
+ * refcount word), which a recycled block need not clear. Labels use the
+ * `sa.` prefix; the lines end in an open block.
+ */
+export function emitObjectAlloc(host, size, cyc, stored = 8) {
+    const lines = allocLines(host, size, cyc, stored);
+    if (host.objectAudit === false)
+        return lines.filter((line) => line !== ALLOC_NOTE);
+    host.declare(`declare void @scr_obj_alloc_note()`);
+    return lines;
+}
+function allocLines(host, size, cyc, stored) {
+    const S = host.sizeType;
+    if (host.inlineAlloc !== true) {
+        if (cyc) {
+            host.declare(`declare ptr @scr_cyc_alloc(${S}, ptr, ptr)`);
+            return [
+                `  %o = call ptr @scr_cyc_alloc(${S} ${size}, ptr ${cyc.trace}, ptr ${cyc.free})`,
+                `  call void @scr_obj_alloc_note()`,
+            ];
+        }
+        host.declare(`declare ptr @scr_rt_calloc(${S})`);
+        host.needOom();
+        return [
+            `  %o = call ptr @scr_rt_calloc(${S} ${size})`,
+            `  %isnull = icmp eq ptr %o, null`,
+            `  br i1 %isnull, label %oom, label %ok`,
+            `oom:`,
+            `  call void @sc_oom()`,
+            `  unreachable`,
+            `ok:`,
+            `  call void @scr_obj_alloc_note()`,
+        ];
+    }
+    declareState(host);
+    // Bytes of the block that the fast path itself stores after the clear:
+    // the header's trace/free_fn words, or the object's leading words.
+    const keep = cyc ? 16 : stored;
+    const lines = [
+        `  %sa.n = add i64 ${size}, ${cyc ? CYC_HDR : 0}`,
+        `  %sa.small = icmp ule i64 %sa.n, ${SA_MAX}`,
+        `  br i1 %sa.small, label %sa.class, label %sa.slow`,
+        `sa.class:`,
+        `  %sa.nm1 = sub i64 %sa.n, 1`,
+        `  %sa.c = lshr i64 %sa.nm1, ${SA_STEP_SHIFT}`,
+        `  %sa.c8 = shl i64 %sa.c, 3`,
+        `  %sa.fo = add i64 %sa.c8, ${SA_FREE}`,
+        `  %sa.fp = getelementptr inbounds i8, ptr @scr_sa, i64 %sa.fo`,
+        `  %sa.b = load ptr, ptr %sa.fp`,
+        `  %sa.hit = icmp ne ptr %sa.b, null`,
+        `  %sa.hitx = call i1 @llvm.expect.i1(i1 %sa.hit, i1 true)`,
+        `  br i1 %sa.hitx, label %sa.pop, label %sa.bump`,
+        `sa.pop: ; recycled blocks are dirty`,
+        `  %sa.next = load ptr, ptr %sa.b`,
+        `  store ptr %sa.next, ptr %sa.fp`,
+        `  %sa.z = getelementptr inbounds i8, ptr %sa.b, i64 ${keep}`,
+        `  %sa.zn = sub i64 %sa.n, ${keep}`,
+        `  call void @llvm.memset.p0.i64(ptr align 8 %sa.z, i8 0, i64 %sa.zn, i1 false)`,
+        `  br label %sa.fast`,
+        `sa.bump: ; fresh reservation memory is already zero`,
+        `  %sa.c1 = add i64 %sa.c, 1`,
+        `  %sa.sz = shl i64 %sa.c1, ${SA_STEP_SHIFT}`,
+        `  %sa.bo = add i64 %sa.c8, ${SA_BUMP}`,
+        `  %sa.bp = getelementptr inbounds i8, ptr @scr_sa, i64 %sa.bo`,
+        `  %sa.lo = add i64 %sa.c8, ${SA_LIM}`,
+        `  %sa.lp = getelementptr inbounds i8, ptr @scr_sa, i64 %sa.lo`,
+        `  %sa.p = load ptr, ptr %sa.bp`,
+        `  %sa.l = load ptr, ptr %sa.lp`,
+        `  %sa.pi = ptrtoint ptr %sa.p to i64`,
+        `  %sa.li = ptrtoint ptr %sa.l to i64`,
+        `  %sa.room = sub i64 %sa.li, %sa.pi`,
+        `  %sa.fits = icmp uge i64 %sa.room, %sa.sz`,
+        `  %sa.fitsx = call i1 @llvm.expect.i1(i1 %sa.fits, i1 true)`,
+        `  br i1 %sa.fitsx, label %sa.carve, label %sa.slow`,
+        `sa.carve:`,
+        `  %sa.np = getelementptr inbounds i8, ptr %sa.p, i64 %sa.sz`,
+        `  store ptr %sa.np, ptr %sa.bp`,
+        `  br label %sa.fast`,
+    ];
+    host.declare(`declare void @llvm.memset.p0.i64(ptr, i8, i64, i1)`);
+    if (cyc) {
+        host.declare(`declare ptr @scr_cyc_alloc(${S}, ptr, ptr)`);
+        host.declare(`@scr_cyc_live = external global i64`);
+        lines.push(`sa.fast:`, `  %sa.blk = phi ptr [ %sa.b, %sa.pop ], [ %sa.p, %sa.carve ]`, `  store ptr ${cyc.trace}, ptr %sa.blk ; ScrCycHdr.trace`, `  %sa.ffp = getelementptr inbounds i8, ptr %sa.blk, i64 8`, `  store ptr ${cyc.free}, ptr %sa.ffp ; ScrCycHdr.free_fn`, `  %sa.live = load i64, ptr @scr_cyc_live`, `  %sa.live1 = add i64 %sa.live, 1`, `  store i64 %sa.live1, ptr @scr_cyc_live`, `  %sa.obj = getelementptr inbounds i8, ptr %sa.blk, i64 ${CYC_HDR}`, `  br label %sa.done`, `sa.slow:`, `  %sa.s = call ptr @scr_cyc_alloc(i64 ${size}, ptr ${cyc.trace}, ptr ${cyc.free})`, `  call void @scr_obj_alloc_note()`, `  br label %sa.done`, `sa.done:`, `  %o = phi ptr [ %sa.obj, %sa.fast ], [ %sa.s, %sa.slow ]`);
+    }
+    else {
+        host.declare(`declare ptr @scr_rt_calloc(${S})`);
+        host.needOom();
+        lines.push(`sa.fast:`, `  %sa.blk = phi ptr [ %sa.b, %sa.pop ], [ %sa.p, %sa.carve ]`, `  br label %sa.done`, `sa.slow:`, `  %sa.s = call ptr @scr_rt_calloc(i64 ${size})`, `  %sa.null = icmp eq ptr %sa.s, null`, `  br i1 %sa.null, label %oom, label %sa.noted`, `oom:`, `  call void @sc_oom()`, `  unreachable`, `sa.noted:`, `  call void @scr_obj_alloc_note()`, `  br label %sa.done`, `sa.done:`, `  %o = phi ptr [ %sa.blk, %sa.fast ], [ %sa.s, %sa.noted ]`);
+    }
+    return lines;
+}
+/**
+ * Lines that free the object `%o` after its members were released: the
+ * RC-audit free note, the weak-collection dispose hook, and the block —
+ * `scr_cyc_free` for collector-headered objects, `scr_rt_free` otherwise.
+ * Labels use the `sf.` prefix; the lines end in an open block.
+ */
+export function emitObjectFree(host, cyc) {
+    const lines = freeLines(host, cyc);
+    if (host.objectAudit === false)
+        return lines.filter((line) => line !== FREE_NOTE);
+    host.declare(`declare void @scr_obj_free_note()`);
+    return lines;
+}
+function freeLines(host, cyc) {
+    if (host.inlineAlloc !== true) {
+        if (cyc) {
+            host.declare(`declare void @scr_cyc_free(ptr)`);
+            return [`  call void @scr_obj_free_note()`, `  call void @scr_cyc_free(ptr %o)`];
+        }
+        host.declare(`declare void @scr_rt_free(ptr)`);
+        host.declare(`declare void @scr_weak_dispose(ptr)`);
+        return [
+            `  call void @scr_obj_free_note()`,
+            `  call void @scr_weak_dispose(ptr %o)`,
+            `  call void @scr_rt_free(ptr %o)`,
+        ];
+    }
+    declareState(host);
+    host.declare(`declare void @scr_rt_free(ptr)`);
+    host.declare(`@scr_weak_dispose_hook = external global ptr`);
+    const lines = [
+        `  %sf.hook = load ptr, ptr @scr_weak_dispose_hook`,
+        `  %sf.has = icmp ne ptr %sf.hook, null`,
+        `  %sf.hasx = call i1 @llvm.expect.i1(i1 %sf.has, i1 false)`,
+        `  br i1 %sf.hasx, label %sf.observe, label %sf.block`,
+        `sf.observe: ; weak collections observe the disposal`,
+        `  call void %sf.hook(ptr %o)`,
+        `  br label %sf.block`,
+        `sf.block:`,
+    ];
+    if (cyc) {
+        host.declare(`@scr_cyc_live = external global i64`);
+        host.declare(`@scr_cyc_old_freed = external global i64`);
+        lines.push(`  %sf.live = load i64, ptr @scr_cyc_live`, `  %sf.live1 = sub i64 %sf.live, 1`, `  store i64 %sf.live1, ptr @scr_cyc_live`, `  %sf.blk = getelementptr inbounds i8, ptr %o, i64 -${CYC_HDR}`, `  %sf.genp = getelementptr inbounds i8, ptr %sf.blk, i64 22`, `  %sf.gen = load i16, ptr %sf.genp`, `  %sf.old = icmp eq i16 %sf.gen, 2`, `  br i1 %sf.old, label %sf.oldcount, label %sf.accounted`, `sf.oldcount:`, `  %sf.freed = load i64, ptr @scr_cyc_old_freed`, `  %sf.freed1 = add i64 %sf.freed, 1`, `  store i64 %sf.freed1, ptr @scr_cyc_old_freed`, `  br label %sf.accounted`, `sf.accounted:`);
+    }
+    const blk = cyc ? "%sf.blk" : "%o";
+    lines.push(`  %sf.base = load i64, ptr @scr_sa`, `  %sf.spanp = getelementptr inbounds i8, ptr @scr_sa, i64 ${SA_SPAN}`, `  %sf.span = load i64, ptr %sf.spanp`, `  %sf.bi = ptrtoint ptr ${blk} to i64`, `  %sf.off = sub i64 %sf.bi, %sf.base`, `  %sf.in = icmp ult i64 %sf.off, %sf.span`, `  %sf.inx = call i1 @llvm.expect.i1(i1 %sf.in, i1 true)`, `  br i1 %sf.inx, label %sf.push, label %sf.sys`, `sf.push:`, `  %sf.shp = getelementptr inbounds i8, ptr @scr_sa, i64 ${SA_SHIFT}`, `  %sf.sh32 = load i32, ptr %sf.shp`, `  %sf.sh = zext i32 %sf.sh32 to i64`, `  %sf.c = lshr i64 %sf.off, %sf.sh`, `  %sf.c8 = shl i64 %sf.c, 3`, `  %sf.fo = add i64 %sf.c8, ${SA_FREE}`, `  %sf.fp = getelementptr inbounds i8, ptr @scr_sa, i64 %sf.fo`, `  %sf.head = load ptr, ptr %sf.fp`, `  store ptr %sf.head, ptr ${blk}`, `  store ptr ${blk}, ptr %sf.fp`, `  br label %sf.done`, `sf.sys: ; outside the reservation, or the allocator is compiled out`, `  call void @scr_obj_free_note()`, `  call void @scr_rt_free(ptr ${blk})`, `  br label %sf.done`, `sf.done:`);
+    return lines;
+}
+//# sourceMappingURL=alloc.js.map

package/dist/backend/llvm/alloc.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"alloc.js","sourceRoot":"","sources":["../../../src/backend/llvm/alloc.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;aA4Ba;AAcb,MAAM,UAAU,GAAG,mCAAmC,CAAC;AACvD,MAAM,SAAS,GAAG,kCAAkC,CAAC;AAErD,4DAA4D;AAC5D,MAAM,UAAU,oBAAoB,CAAC,OAKpC;IACC,IAAI,OAAO,CAAC,WAAW,KAAK,EAAE,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI,IAAI,OAAO,CAAC,eAAe,KAAK,IAAI,EAAE,CAAC;QAC5F,OAAO,KAAK,CAAC;IACf,CAAC;IACD,wEAAwE;IACxE,wEAAwE;IACxE,8CAA8C;IAC9C,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IAC1D,OAAO,CAAC,gCAAgC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AACxD,CAAC;AAED,sEAAsE;AACtE,MAAM,OAAO,GAAG,uDAAuD,CAAC;AACxE,MAAM,OAAO,GAAG,CAAC,CAAC;AAClB,MAAM,QAAQ,GAAG,EAAE,CAAC;AACpB,MAAM,OAAO,GAAG,EAAE,CAAC;AACnB,MAAM,OAAO,GAAG,GAAG,CAAC;AACpB,MAAM,MAAM,GAAG,GAAG,CAAC;AACnB,MAAM,aAAa,GAAG,CAAC,CAAC,CAAC,kBAAkB;AAC3C,MAAM,MAAM,GAAG,GAAG,CAAC;AACnB;yDACyD;AACzD,MAAM,OAAO,GAAG,EAAE,CAAC;AAEnB,SAAS,YAAY,CAAC,IAAe;IACnC,IAAI,CAAC,OAAO,CAAC,6BAA6B,OAAO,EAAE,CAAC,CAAC;IACrD,IAAI,CAAC,OAAO,CAAC,oCAAoC,CAAC,CAAC;AACrD,CAAC;AAQD;;;;;;;;GAQG;AACH,MAAM,UAAU,eAAe,CAC7B,IAAe,EACf,IAAY,EACZ,GAAqB,EACrB,MAAM,GAAG,CAAC;IAEV,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;IAClD,IAAI,IAAI,CAAC,WAAW,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;IACnF,IAAI,CAAC,OAAO,CAAC,oCAAoC,CAAC,CAAC;IACnD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,UAAU,CACjB,IAAe,EACf,IAAY,EACZ,GAAqB,EACrB,MAAc;IAEd,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC;IACxB,IAAI,IAAI,CAAC,WAAW,KAAK,IAAI,EAAE,CAAC;QAC9B,IAAI,GAAG,EAAE,CAAC;YACR,IAAI,CAAC,OAAO,CAAC,8BAA8B,CAAC,aAAa,CAAC,CAAC;YAC3D,OAAO;gBACL,kCAAkC,CAAC,IAAI,IAAI,SAAS,GAAG,CAAC,KAAK,SAAS,GAAG,CAAC,IAAI,GAAG;gBACjF,mCAAmC;aACpC,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,8BAA8B,CAAC,GAAG,CAAC,CAAC;QACjD,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,OAAO;YACL,kCAAkC,CAAC,IAAI,IAAI,GAAG;YAC9C,kCAAkC;YAClC,wCAAwC;YACxC,MAAM;YACN,uBAAuB;YACvB,eAAe;YACf,KAAK;YACL,mCAAmC;SACpC,CAAC;IACJ,CAAC;IACD,YAAY,CAAC,IAAI,CAAC,CAAC;IACnB,uEAAuE;IACvE,mEAAmE;IACnE,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;IAC/B,MAAM,KAAK,GAAG;QACZ,qBAAqB,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE;QACjD,qCAAqC,MAAM,EAAE;QAC7C,oDAAoD;QACpD,WAAW;QACX,8BAA8B;QAC9B,+BAA+B,aAAa,EAAE;QAC9C,6BAA6B;QAC7B,8BAA8B,OAAO,EAAE;QACvC,+DAA+D;QAC/D,gCAAgC;QAChC,qCAAqC;QACrC,2DAA2D;QAC3D,iDAAiD;QACjD,qCAAqC;QACrC,kCAAkC;QAClC,kCAAkC;QAClC,uDAAuD,IAAI,EAAE;QAC7D,6BAA6B,IAAI,EAAE;QACnC,gFAAgF;QAChF,qBAAqB;QACrB,qDAAqD;QACrD,6BAA6B;QAC7B,8BAA8B,aAAa,EAAE;QAC7C,8BAA8B,OAAO,EAAE;QACvC,+DAA+D;QAC/D,8BAA8B,MAAM,EAAE;QACtC,+DAA+D;QAC/D,gCAAgC;QAChC,gCAAgC;QAChC,sCAAsC;QACtC,sCAAsC;QACtC,qCAAqC;QACrC,4CAA4C;QAC5C,6DAA6D;QAC7D,oDAAoD;QACpD,WAAW;QACX,6DAA6D;QAC7D,gCAAgC;QAChC,qBAAqB;KACtB,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,oDAAoD,CAAC,CAAC;IACnE,IAAI,GAAG,EAAE,CAAC;QACR,IAAI,CAAC,OAAO,CAAC,8BAA8B,CAAC,aAAa,CAAC,CAAC;QAC3D,IAAI,CAAC,OAAO,CAAC,qCAAqC,CAAC,CAAC;QACpD,KAAK,CAAC,IAAI,CACR,UAAU,EACV,8DAA8D,EAC9D,eAAe,GAAG,CAAC,KAAK,iCAAiC,EACzD,2DAA2D,EAC3D,eAAe,GAAG,CAAC,IAAI,mCAAmC,EAC1D,0CAA0C,EAC1C,mCAAmC,EACnC,0CAA0C,EAC1C,2DAA2D,OAAO,EAAE,EACpE,qBAAqB,EACrB,UAAU,EACV,yCAAyC,IAAI,SAAS,GAAG,CAAC,KAAK,SAAS,GAAG,CAAC,IAAI,GAAG,EACnF,mCAAmC,EACnC,qBAAqB,EACrB,UAAU,EACV,2DAA2D,CAC5D,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,IAAI,CAAC,OAAO,CAAC,8BAA8B,CAAC,GAAG,CAAC,CAAC;QACjD,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,KAAK,CAAC,IAAI,CACR,UAAU,EACV,8DAA8D,EAC9D,qBAAqB,EACrB,UAAU,EACV,yCAAyC,IAAI,GAAG,EAChD,sCAAsC,EACtC,+CAA+C,EAC/C,MAAM,EACN,uBAAuB,EACvB,eAAe,EACf,WAAW,EACX,mCAAmC,EACnC,qBAAqB,EACrB,UAAU,EACV,4DAA4D,CAC7D,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,IAAe,EAAE,GAAY;IAC1D,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACnC,IAAI,IAAI,CAAC,WAAW,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IAClF,IAAI,CAAC,OAAO,CAAC,mCAAmC,CAAC,CAAC;IAClD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,SAAS,CAAC,IAAe,EAAE,GAAY;IAC9C,IAAI,IAAI,CAAC,WAAW,KAAK,IAAI,EAAE,CAAC;QAC9B,IAAI,GAAG,EAAE,CAAC;YACR,IAAI,CAAC,OAAO,CAAC,iCAAiC,CAAC,CAAC;YAChD,OAAO,CAAC,kCAAkC,EAAE,mCAAmC,CAAC,CAAC;QACnF,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,gCAAgC,CAAC,CAAC;QAC/C,IAAI,CAAC,OAAO,CAAC,qCAAqC,CAAC,CAAC;QACpD,OAAO;YACL,kCAAkC;YAClC,uCAAuC;YACvC,kCAAkC;SACnC,CAAC;IACJ,CAAC;IACD,YAAY,CAAC,IAAI,CAAC,CAAC;IACnB,IAAI,CAAC,OAAO,CAAC,gCAAgC,CAAC,CAAC;IAC/C,IAAI,CAAC,OAAO,CAAC,8CAA8C,CAAC,CAAC;IAC7D,MAAM,KAAK,GAAG;QACZ,mDAAmD;QACnD,wCAAwC;QACxC,4DAA4D;QAC5D,sDAAsD;QACtD,qDAAqD;QACrD,8BAA8B;QAC9B,sBAAsB;QACtB,WAAW;KACZ,CAAC;IACF,IAAI,GAAG,EAAE,CAAC;QACR,IAAI,CAAC,OAAO,CAAC,qCAAqC,CAAC,CAAC;QACpD,IAAI,CAAC,OAAO,CAAC,0CAA0C,CAAC,CAAC;QACzD,KAAK,CAAC,IAAI,CACR,0CAA0C,EAC1C,mCAAmC,EACnC,0CAA0C,EAC1C,uDAAuD,OAAO,EAAE,EAChE,6DAA6D,EAC7D,oCAAoC,EACpC,oCAAoC,EACpC,0DAA0D,EAC1D,cAAc,EACd,gDAAgD,EAChD,qCAAqC,EACrC,gDAAgD,EAChD,0BAA0B,EAC1B,eAAe,CAChB,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;IACnC,KAAK,CAAC,IAAI,CACR,oCAAoC,EACpC,6DAA6D,OAAO,EAAE,EACtE,sCAAsC,EACtC,2BAA2B,GAAG,SAAS,EACvC,sCAAsC,EACtC,2CAA2C,EAC3C,yDAAyD,EACzD,gDAAgD,EAChD,UAAU,EACV,2DAA2D,QAAQ,EAAE,EACrE,oCAAoC,EACpC,qCAAqC,EACrC,oCAAoC,EACpC,6BAA6B,EAC7B,8BAA8B,OAAO,EAAE,EACvC,+DAA+D,EAC/D,mCAAmC,EACnC,6BAA6B,GAAG,EAAE,EAClC,eAAe,GAAG,cAAc,EAChC,qBAAqB,EACrB,qEAAqE,EACrE,kCAAkC,EAClC,gCAAgC,GAAG,GAAG,EACtC,qBAAqB,EACrB,UAAU,CACX,CAAC;IACF,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/backend/llvm/alloc.test.d.ts

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

package/dist/backend/llvm/alloc.test.js

@@ -0,0 +1,102 @@
+import { describe, expect, test } from "vitest";
+import { emitObjectAlloc, emitObjectFree, inlineAllocSupported } from "./alloc.js";
+function host(inlineAlloc) {
+    const h = {
+        decls: new Set(),
+        oom: false,
+        sizeType: "i64",
+        inlineAlloc,
+        declare(decl) {
+            h.decls.add(decl);
+        },
+        needOom() {
+            h.oom = true;
+        },
+    };
+    return h;
+}
+/** Every SSA value and label is defined once (the lines are spliced into
+ * one function body). */
+function expectSingleDefinitions(lines) {
+    const defs = lines.flatMap((l) => {
+        const value = /^\s*(%[\w.]+) = /.exec(l);
+        const label = /^([\w.]+):/.exec(l);
+        return value ? [value[1]] : label ? [`%${label[1]}`] : [];
+    });
+    expect(new Set(defs).size).toBe(defs.length);
+}
+describe("emitted object allocation", () => {
+    test("inlines only where the runtime allocator state is a 64-bit process global", () => {
+        expect(inlineAllocSupported({ pointerBits: 64, targetTriple: "" })).toBe(true);
+        expect(inlineAllocSupported({ targetTriple: "x86_64-unknown-linux-gnu" })).toBe(true);
+        expect(inlineAllocSupported({ targetTriple: "arm64-apple-macosx14.0.0" })).toBe(true);
+        expect(inlineAllocSupported({ pointerBits: 32 })).toBe(false);
+        expect(inlineAllocSupported({ wasi: true })).toBe(false);
+        expect(inlineAllocSupported({ targetTriple: "wasm32-unknown-wasip1" })).toBe(false);
+        expect(inlineAllocSupported({ targetTriple: "x86_64-pc-windows-msvc" })).toBe(false);
+        expect(inlineAllocSupported({ targetTriple: "x86_64-w64-windows-gnu" })).toBe(false);
+        expect(inlineAllocSupported({ threadInstances: true })).toBe(false);
+    });
+    test("keeps the out-of-line calls when inlining is off", () => {
+        const h = host(false);
+        expect(emitObjectAlloc(h, "24", null)).toEqual([
+            "  %o = call ptr @scr_rt_calloc(i64 24)",
+            "  %isnull = icmp eq ptr %o, null",
+            "  br i1 %isnull, label %oom, label %ok",
+            "oom:",
+            "  call void @sc_oom()",
+            "  unreachable",
+            "ok:",
+            "  call void @scr_obj_alloc_note()",
+        ]);
+        expect(emitObjectAlloc(h, "24", { trace: "@t", free: "@f" })).toEqual([
+            "  %o = call ptr @scr_cyc_alloc(i64 24, ptr @t, ptr @f)",
+            "  call void @scr_obj_alloc_note()",
+        ]);
+        expect(emitObjectFree(h, true)).toEqual([
+            "  call void @scr_obj_free_note()",
+            "  call void @scr_cyc_free(ptr %o)",
+        ]);
+        expect(emitObjectFree(h, false)).toEqual([
+            "  call void @scr_obj_free_note()",
+            "  call void @scr_weak_dispose(ptr %o)",
+            "  call void @scr_rt_free(ptr %o)",
+        ]);
+        expect([...h.decls].some((d) => d.includes("@scr_sa"))).toBe(false);
+    });
+    test("inline allocation falls back to the audited out-of-line entry points", () => {
+        const h = host(true);
+        const plain = emitObjectAlloc(h, "40", null, 16);
+        expectSingleDefinitions(plain);
+        expect(h.oom).toBe(true);
+        // Recycled blocks clear everything past the bytes the caller stores.
+        expect(plain).toContain("  %sa.z = getelementptr inbounds i8, ptr %sa.b, i64 16");
+        // The slow path is the old sequence: allocate, OOM check, audit note.
+        const slow = plain.slice(plain.indexOf("sa.slow:"));
+        expect(slow).toContain("  %sa.s = call ptr @scr_rt_calloc(i64 40)");
+        expect(slow).toContain("  call void @scr_obj_alloc_note()");
+        expect(plain.filter((l) => l.includes("@scr_obj_alloc_note")).length).toBe(1);
+        expect(plain.at(-1)).toBe("  %o = phi ptr [ %sa.blk, %sa.fast ], [ %sa.s, %sa.noted ]");
+        const cyc = emitObjectAlloc(h, "40", { trace: "@t", free: "@f" });
+        expectSingleDefinitions(cyc);
+        expect(cyc).toContain("  %sa.n = add i64 40, 32");
+        expect(cyc).toContain("  %sa.s = call ptr @scr_cyc_alloc(i64 40, ptr @t, ptr @f)");
+        expect(cyc).toContain("  store i64 %sa.live1, ptr @scr_cyc_live");
+        expect(h.decls).toContain("@scr_sa = external global { i64, i64, i32, [32 x ptr], [32 x ptr], [32 x ptr] }");
+    });
+    test("inline frees route foreign blocks and the bypassed allocator to scr_rt_free", () => {
+        for (const cyc of [false, true]) {
+            const h = host(true);
+            const lines = emitObjectFree(h, cyc);
+            expectSingleDefinitions(lines);
+            const blk = cyc ? "%sf.blk" : "%o";
+            const sys = lines.slice(lines.indexOf(lines.find((l) => l.startsWith("sf.sys:"))));
+            expect(sys).toContain("  call void @scr_obj_free_note()");
+            expect(sys).toContain(`  call void @scr_rt_free(ptr ${blk})`);
+            expect(lines).toContain("  call void %sf.hook(ptr %o)");
+            expect(lines.some((l) => l.includes("@scr_cyc_live"))).toBe(cyc);
+            expect(lines.at(-1)).toBe("sf.done:");
+        }
+    });
+});
+//# sourceMappingURL=alloc.test.js.map

package/dist/backend/llvm/alloc.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"alloc.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/alloc.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAChD,OAAO,EAAkB,eAAe,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAEnG,SAAS,IAAI,CAAC,WAAoB;IAChC,MAAM,CAAC,GAAG;QACR,KAAK,EAAE,IAAI,GAAG,EAAU;QACxB,GAAG,EAAE,KAAK;QACV,QAAQ,EAAE,KAAc;QACxB,WAAW;QACX,OAAO,CAAC,IAAY;YAClB,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC;QACD,OAAO;YACL,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC;QACf,CAAC;KACF,CAAC;IACF,OAAO,CAAC,CAAC;AACX,CAAC;AAED;yBACyB;AACzB,SAAS,uBAAuB,CAAC,KAAe;IAC9C,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;QAC/B,MAAM,KAAK,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnC,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9D,CAAC,CAAC,CAAC;IACH,MAAM,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC/C,CAAC;AAED,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAI,CAAC,2EAA2E,EAAE,GAAG,EAAE;QACrF,MAAM,CAAC,oBAAoB,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/E,MAAM,CAAC,oBAAoB,CAAC,EAAE,YAAY,EAAE,0BAA0B,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtF,MAAM,CAAC,oBAAoB,CAAC,EAAE,YAAY,EAAE,0BAA0B,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtF,MAAM,CAAC,oBAAoB,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9D,MAAM,CAAC,oBAAoB,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzD,MAAM,CAAC,oBAAoB,CAAC,EAAE,YAAY,EAAE,uBAAuB,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpF,MAAM,CAAC,oBAAoB,CAAC,EAAE,YAAY,EAAE,wBAAwB,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrF,MAAM,CAAC,oBAAoB,CAAC,EAAE,YAAY,EAAE,wBAAwB,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrF,MAAM,CAAC,oBAAoB,CAAC,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QACtB,MAAM,CAAC,eAAe,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;YAC7C,wCAAwC;YACxC,kCAAkC;YAClC,wCAAwC;YACxC,MAAM;YACN,uBAAuB;YACvB,eAAe;YACf,KAAK;YACL,mCAAmC;SACpC,CAAC,CAAC;QACH,MAAM,CAAC,eAAe,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;YACpE,wDAAwD;YACxD,mCAAmC;SACpC,CAAC,CAAC;QACH,MAAM,CAAC,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;YACtC,kCAAkC;YAClC,mCAAmC;SACpC,CAAC,CAAC;QACH,MAAM,CAAC,cAAc,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;YACvC,kCAAkC;YAClC,uCAAuC;YACvC,kCAAkC;SACnC,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAChF,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QACjD,uBAAuB,CAAC,KAAK,CAAC,CAAC;QAC/B,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,qEAAqE;QACrE,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,wDAAwD,CAAC,CAAC;QAClF,sEAAsE;QACtE,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,2CAA2C,CAAC,CAAC;QACpE,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,mCAAmC,CAAC,CAAC;QAC5D,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,qBAAqB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9E,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,4DAA4D,CAAC,CAAC;QAExF,MAAM,GAAG,GAAG,eAAe,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QAClE,uBAAuB,CAAC,GAAG,CAAC,CAAC;QAC7B,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,0BAA0B,CAAC,CAAC;QAClD,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,2DAA2D,CAAC,CAAC;QACnF,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,0CAA0C,CAAC,CAAC;QAClE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,SAAS,CACvB,iFAAiF,CAClF,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,6EAA6E,EAAE,GAAG,EAAE;QACvF,KAAK,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;YAChC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;YACrB,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YACrC,uBAAuB,CAAC,KAAK,CAAC,CAAC;YAC/B,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;YACnC,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,CAAE,CAAC,CAAC,CAAC;YACpF,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,kCAAkC,CAAC,CAAC;YAC1D,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,gCAAgC,GAAG,GAAG,CAAC,CAAC;YAC9D,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,8BAA8B,CAAC,CAAC;YACxD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACjE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACxC,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

@@ -18,6 +18,17 @@ export interface CallLifetimes {
      * initializer and assignment still needs a separate storage proof. */
     projectedLocals: Map<string, Set<string>>;
 }
+/** Read each function once. A whole-value use is unsafe unless it is an
+ * explicitly supported projection, invocation, 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. */
+/** True for class fields stored as nullable instance pointers: a store
+ * extracts and retains the payload, so the stored union is only projected. */
+export type NullableFieldTest = (className: string, field: string) => boolean;
 /** 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
@@ -25,6 +36,7 @@ export interface CallLifetimes {
  * 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 declare function analyzeCallLifetimes(functions: ReadonlyMap<string, IrFunction>): CallLifetimes;
+ * serialized or reused after a compiler transformation. Parameter facts
+ * cover synchronous bodies without environments only; closure bodies get
+ * local facts alone. */
+export declare function analyzeCallLifetimes(functions: ReadonlyMap<string, IrFunction>, nullableField?: NullableFieldTest): CallLifetimes;

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

@@ -13,15 +13,7 @@ function eligible(local) {
             local.type.kind === "string" ||
             local.type.kind === "func"));
 }
-/** Read each function once. A whole-value use is unsafe unless it is an
- * explicitly supported projection, invocation, 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) {
+function collectUses(fn, nullableField) {
     const uses = {
         invalid: new Set(),
         written: new Set(),
@@ -58,6 +50,19 @@ function collectUses(fn) {
                 if (node.value.kind === "varRef")
                     return true;
                 break;
+            case "unionEq": {
+                // Tag compare plus a borrowed arm compare; neither box escapes.
+                const operand = (value) => (value.kind === "varRef" && value.type.kind === "union") || expr(value);
+                return operand(node.left) && operand(node.right);
+            }
+            case "nullish":
+                // The narrowed shape only tests the tag and extracts the payload.
+                // The pass-through shape returns the box itself.
+                if (node.left.kind === "varRef" &&
+                    node.left.type.kind === "union" &&
+                    node.type.kind !== "union")
+                    return expr(node.right);
+                break;
             case "fieldGet":
             case "recordGet":
                 if (node.obj.kind === "varRef")
@@ -104,6 +109,12 @@ function collectUses(fn) {
             case "varDecl":
                 uses.declarations.set(node.localId, (uses.declarations.get(node.localId) ?? 0) + 1);
                 break;
+            case "fieldSet":
+                if (node.value.kind === "varRef" &&
+                    node.value.type.kind === "union" &&
+                    nullableField(node.className, node.field))
+                    return expr(node.obj);
+                break;
             case "assign":
                 uses.written.add(node.localId);
                 // Sequence expressions can rebind a previous call argument before
@@ -143,9 +154,10 @@ function collectUses(fn) {
  * 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) {
+ * serialized or reused after a compiler transformation. Parameter facts
+ * cover synchronous bodies without environments only; closure bodies get
+ * local facts alone. */
+export function analyzeCallLifetimes(functions, nullableField = () => false) {
     const usesByFunction = new Map();
     const nodes = new Map();
     const unsafe = [];
@@ -157,13 +169,28 @@ export function analyzeCallLifetimes(functions) {
         projectedLocals: new Map(),
     };
     for (const fn of functions.values()) {
-        if (fn.async || fn.generator || fn.captures !== undefined || fn.classCaptures !== undefined)
+        if (fn.async || fn.generator)
             continue;
-        const uses = collectUses(fn);
+        const uses = collectUses(fn, nullableField);
         usesByFunction.set(fn.name, uses);
+        // Class-capturing bodies get only local facts (computed below from
+        // their uses; class captures are already invalid). Binding and
+        // parameter facts stay limited to plain functions and closures.
+        if (fn.classCaptures !== undefined)
+            continue;
         const locals = new Map(fn.locals.map((local) => [local.id, local]));
-        const borrowed = new Set();
         const stable = (local) => !local.boxed && !local.tdz && !uses.written.has(local.id);
+        result.bindings.set(fn.name, new Set(fn.locals
+            .filter((local) => stable(local) && uses.declarations.get(local.id) === 1)
+            .map((local) => local.id)));
+        if (fn.captures !== undefined) {
+            // A closure body is invoked through its environment trampoline, so
+            // its parameters keep the owned convention and no direct call can
+            // forward to them. Its own unboxed locals follow the same rules as
+            // any synchronous body; captured cells are boxed and marked invalid.
+            continue;
+        }
+        const borrowed = new Set();
         fn.params.forEach((param, index) => {
             const local = locals.get(param.localId);
             if (local && isRefCounted(param.type) && stable(local) && !uses.declarations.has(local.id))
@@ -171,9 +198,6 @@ export function analyzeCallLifetimes(functions) {
         });
         if (borrowed.size > 0)
             result.borrowed.set(fn.name, borrowed);
-        result.bindings.set(fn.name, new Set(fn.locals
-            .filter((local) => stable(local) && uses.declarations.get(local.id) === 1)
-            .map((local) => local.id)));
         nodes.set(fn.name, fn.params.map((param) => {
             const local = locals.get(param.localId);
             const safe = local !== undefined &&