@scriptc/compiler 0.0.34 → 0.0.36

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

@@ -0,0 +1,43 @@
+/** Native-library LLVM IR sharding.
+ *
+ * The public `.ll` remains the emitter's single canonical module. Native dev
+ * builds may compile this equivalent set of smaller modules in parallel, then
+ * relocatably merge their objects before archive assembly:
+ *
+ * - the first shard owns every module-scope global and the first function
+ *   group; later shards own only function groups;
+ * - the shared preamble carries types and declarations into every shard;
+ * - generated internal functions/globals are promoted to hidden linkage so
+ *   references can cross object files; the post-compile relocatable link turns
+ *   those hidden definitions back into local symbols on every supported object
+ *   format;
+ * - declarations synthesized from definitions make every shard independently
+ *   valid LLVM IR without changing call signatures.
+ *
+ * The splitter deliberately accepts only the narrow grammar scriptc emits.
+ * An unexpected top-level form returns null and the caller compiles the
+ * canonical TU normally — cache optimization must never become correctness.
+ */
+export interface LlvmProgramShard {
+    /** Stable source identity used in object cache keys and diagnostics. */
+    name: string;
+    source: string;
+}
+export interface LlvmProgramSplit {
+    shards: LlvmProgramShard[];
+    /** Generated definitions promoted for shard linkage. The relocatable merge
+     * must demote these while retaining the canonical public definitions. */
+    promotedSymbols: string[];
+    /** Canonical non-internal definitions that must stay externally visible
+     * after the shard objects are relocatably merged. */
+    publicSymbols: string[];
+}
+export interface LlvmProgramSplitOptions {
+    /** Desired maximum source size per function shard. */
+    targetBytes?: number;
+    /** Inputs smaller than this keep the single-TU path. */
+    minimumBytes?: number;
+}
+export declare function splitLlvmProgram(source: string, options?: LlvmProgramSplitOptions): LlvmProgramSplit | null;
+/** Dev-library policy tuned independently from executable splitting. */
+export declare function splitLlvmLibraryProgram(source: string): LlvmProgramSplit | null;

package/dist/backend/llvm/split.js

@@ -0,0 +1,227 @@
+/** Native-library LLVM IR sharding.
+ *
+ * The public `.ll` remains the emitter's single canonical module. Native dev
+ * builds may compile this equivalent set of smaller modules in parallel, then
+ * relocatably merge their objects before archive assembly:
+ *
+ * - the first shard owns every module-scope global and the first function
+ *   group; later shards own only function groups;
+ * - the shared preamble carries types and declarations into every shard;
+ * - generated internal functions/globals are promoted to hidden linkage so
+ *   references can cross object files; the post-compile relocatable link turns
+ *   those hidden definitions back into local symbols on every supported object
+ *   format;
+ * - declarations synthesized from definitions make every shard independently
+ *   valid LLVM IR without changing call signatures.
+ *
+ * The splitter deliberately accepts only the narrow grammar scriptc emits.
+ * An unexpected top-level form returns null and the caller compiles the
+ * canonical TU normally — cache optimization must never become correctness.
+ */
+const DEFAULT_TARGET_BYTES = 2 * 1024 * 1024;
+const DEFAULT_MINIMUM_BYTES = 4 * 1024 * 1024;
+// Library edits pay a relocatable merge/archive cost after shard compilation,
+// but their stable per-bucket object cache starts winning earlier than the
+// executable lane's whole-program posture. Node 24 Linux profiling across
+// 1.62–3.24MB generated modules found the crossover at roughly 2MB; four
+// function buckets were the best general tradeoff for the 2.15MB target and
+// remained profitable through 3.24MB. Executables retain the defaults above.
+const LIBRARY_TARGET_BYTES = 768 * 1024;
+const LIBRARY_MINIMUM_BYTES = 2 * 1024 * 1024;
+function symbolOf(spelling) {
+    const match = /^@([-$._A-Za-z][-$.\w]*)$/.exec(spelling);
+    return match?.[1] ?? null;
+}
+function functionDefAt(lines, start) {
+    const header = lines[start];
+    const match = /^define\s+(internal\s+)?(.+?)\s+(@[-$._A-Za-z][-$.\w]*)\((.*)\)(.*)\{(?:\s*;.*)?$/.exec(header);
+    if (!match)
+        return null;
+    let end = start + 1;
+    while (end < lines.length && lines[end] !== "}")
+        end++;
+    if (end >= lines.length)
+        return null;
+    const symbol = symbolOf(match[3]);
+    if (symbol === null)
+        return null;
+    const promoted = match[1] !== undefined;
+    const linkage = promoted ? "hidden " : "";
+    const definitionHeader = promoted ? header.replace(/^define internal /, "define hidden ") : header;
+    const source = [definitionHeader, ...lines.slice(start + 1, end + 1)].join("\n");
+    // Parameter names are legal on declarations. Preserve the emitted text so
+    // attributes, zeroext, and varargs stay byte-exact.
+    const declaration = `declare ${linkage}${match[2]} ${match[3]}(${match[4]})${match[5]}`.trimEnd();
+    return { def: { source, declaration, symbol, promoted }, end };
+}
+function globalDef(line) {
+    const match = /^(@[-$._A-Za-z][-$.\w]*)\s+=\s+(internal\s+)?(thread_local(?:\([^)]*\))?\s+)?(global|constant)\s+(.+)$/.exec(line);
+    if (!match)
+        return null;
+    const symbol = symbolOf(match[1]);
+    if (symbol === null)
+        return null;
+    const promoted = match[2] !== undefined;
+    const threadLocal = match[3] === undefined ? "" : `${match[3].trim()} `;
+    // The declaration needs only the complete type. Emitted initializers begin
+    // after it; the generated LLVM subset uses first-class scalars/pointers or
+    // balanced aggregate types, so one small scanner is sufficient.
+    const rest = match[5];
+    let depth = 0;
+    let quote = false;
+    let typeEnd = -1;
+    for (let i = 0; i < rest.length; i++) {
+        const ch = rest[i];
+        if (ch === '"' && rest[i - 1] !== "\\")
+            quote = !quote;
+        if (quote)
+            continue;
+        if (ch === "{" || ch === "[" || ch === "<" || ch === "(")
+            depth++;
+        else if (ch === "}" || ch === "]" || ch === ">" || ch === ")")
+            depth--;
+        else if (ch === " " && depth === 0) {
+            typeEnd = i;
+            break;
+        }
+    }
+    if (typeEnd < 0)
+        return null;
+    const type = rest.slice(0, typeEnd);
+    return {
+        line: promoted ? line.replace(`${match[1]} = internal `, `${match[1]} = hidden `) : line,
+        declaration: `${match[1]} = external ${promoted ? "hidden " : ""}${threadLocal}${match[4]} ${type}`,
+        symbol,
+        promoted,
+    };
+}
+function stableBucket(symbol, count) {
+    let hash = 0x811c9dc5;
+    for (let i = 0; i < symbol.length; i++) {
+        hash ^= symbol.charCodeAt(i);
+        hash = Math.imul(hash, 0x01000193);
+    }
+    return (hash >>> 0) % count;
+}
+function chunksOf(functions, targetBytes) {
+    const totalBytes = functions.reduce((sum, fn) => sum + Buffer.byteLength(fn.source) + 2, 0);
+    // A power-of-two bucket count changes only when the program crosses a wide
+    // size band. Ordinary edits therefore keep every function in the same
+    // symbol-hash bucket; ceil(total/target) would reshuffle the whole program
+    // whenever a small edit happened to add the next bucket.
+    const required = Math.max(2, Math.ceil(totalBytes / targetBytes));
+    const count = 2 ** Math.ceil(Math.log2(required));
+    const chunks = Array.from({ length: count }, () => []);
+    for (const fn of functions)
+        chunks[stableBucket(fn.symbol, count)].push(fn);
+    return chunks.flatMap((chunk, bucket) => chunk.length === 0 ? [] : [{ bucket, functions: chunk }]);
+}
+export function splitLlvmProgram(source, options = {}) {
+    const minimumBytes = options.minimumBytes ?? DEFAULT_MINIMUM_BYTES;
+    if (Buffer.byteLength(source) < minimumBytes)
+        return null;
+    const targetBytes = Math.max(64 * 1024, options.targetBytes ?? DEFAULT_TARGET_BYTES);
+    const lines = source.split("\n");
+    const preamble = [];
+    const globals = [];
+    const functions = [];
+    const trailer = [];
+    let sawDefinition = false;
+    let inTrailer = false;
+    for (let i = 0; i < lines.length; i++) {
+        const line = lines[i];
+        if (line.startsWith("define ")) {
+            if (inTrailer)
+                return null;
+            const parsed = functionDefAt(lines, i);
+            if (parsed === null)
+                return null;
+            functions.push(parsed.def);
+            sawDefinition = true;
+            i = parsed.end;
+            continue;
+        }
+        if (line.startsWith("@") && line.includes(" = ")) {
+            if (inTrailer)
+                return null;
+            const parsed = globalDef(line);
+            if (parsed === null) {
+                // External declarations are already valid in every shard.
+                if (/^@.+\s+=\s+external\s+/.test(line))
+                    preamble.push(line);
+                else
+                    return null;
+            }
+            else {
+                // LLVM textual external TLS declarations compile on Darwin, but GNU
+                // ELF clang emits the cross-shard reference as non-TLS and `ld -r`
+                // correctly refuses the mismatch. Thread-instanced libraries keep
+                // the canonical single-TU path until the producer can preserve TLS
+                // model metadata portably across object formats.
+                if (/\bthread_local(?:\([^)]*\))?\s+global\b/.test(line))
+                    return null;
+                globals.push(parsed);
+                sawDefinition = true;
+            }
+            continue;
+        }
+        if (line.startsWith("attributes ") || line.startsWith("!"))
+            inTrailer = true;
+        if (inTrailer)
+            trailer.push(line);
+        else if (!sawDefinition || line.trim() !== "")
+            preamble.push(line);
+    }
+    if (functions.length < 2)
+        return null;
+    const chunks = chunksOf(functions, targetBytes);
+    if (chunks.length < 2)
+        return null;
+    const globalDecls = globals.flatMap((global) => global.declaration === null ? [] : [global.declaration]);
+    const tail = trailer.length === 0 ? "" : `\n${trailer.join("\n")}`;
+    const functionShards = chunks.map(({ bucket, functions: chunk }) => {
+        const owned = new Set(chunk);
+        const declarations = functions
+            .filter((fn) => !owned.has(fn))
+            .map((fn) => fn.declaration);
+        return {
+            name: `program-f${bucket.toString().padStart(3, "0")}.ll`,
+            source: [
+                [...preamble, ...globalDecls, ...declarations, ""].join("\n"),
+                ...chunk.map((fn) => fn.source),
+                tail,
+            ].join("\n"),
+        };
+    });
+    // Global initializer changes are common (literal text, generated tables)
+    // and should not invalidate an otherwise unrelated function bucket. Keep
+    // all module storage in one dedicated shard that declares every function.
+    const globalShard = {
+        name: "program-globals.ll",
+        source: [
+            [...preamble, ...functions.map((fn) => fn.declaration), ""].join("\n"),
+            ...globals.map((global) => global.line),
+            tail,
+        ].join("\n"),
+    };
+    const shards = [globalShard, ...functionShards];
+    return {
+        shards,
+        promotedSymbols: [
+            ...globals.filter((global) => global.promoted).map((global) => global.symbol),
+            ...functions.filter((fn) => fn.promoted).map((fn) => fn.symbol),
+        ],
+        publicSymbols: [
+            ...globals.filter((global) => !global.promoted).map((global) => global.symbol),
+            ...functions.filter((fn) => !fn.promoted).map((fn) => fn.symbol),
+        ],
+    };
+}
+/** Dev-library policy tuned independently from executable splitting. */
+export function splitLlvmLibraryProgram(source) {
+    return splitLlvmProgram(source, {
+        minimumBytes: LIBRARY_MINIMUM_BYTES,
+        targetBytes: LIBRARY_TARGET_BYTES,
+    });
+}
+//# sourceMappingURL=split.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"split.js","sourceRoot":"","sources":["../../../src/backend/llvm/split.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAyBH,MAAM,oBAAoB,GAAG,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC;AAC7C,MAAM,qBAAqB,GAAG,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC;AAC9C,8EAA8E;AAC9E,2EAA2E;AAC3E,0EAA0E;AAC1E,yEAAyE;AACzE,4EAA4E;AAC5E,6EAA6E;AAC7E,MAAM,oBAAoB,GAAG,GAAG,GAAG,IAAI,CAAC;AACxC,MAAM,qBAAqB,GAAG,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC;AAgB9C,SAAS,QAAQ,CAAC,QAAgB;IAChC,MAAM,KAAK,GAAG,2BAA2B,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACzD,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;AAC5B,CAAC;AAED,SAAS,aAAa,CAAC,KAAwB,EAAE,KAAa;IAC5D,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAE,CAAC;IAC7B,MAAM,KAAK,GAAG,mFAAmF,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC/G,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,IAAI,GAAG,GAAG,KAAK,GAAG,CAAC,CAAC;IACpB,OAAO,GAAG,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,GAAG;QAAE,GAAG,EAAE,CAAC;IACvD,IAAI,GAAG,IAAI,KAAK,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACrC,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC;IACnC,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC;IACxC,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1C,MAAM,gBAAgB,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,mBAAmB,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IACnG,MAAM,MAAM,GAAG,CAAC,gBAAgB,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjF,0EAA0E;IAC1E,oDAAoD;IACpD,MAAM,WAAW,GAAG,WAAW,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC;IAClG,OAAO,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,CAAC;AACjE,CAAC;AAED,SAAS,SAAS,CAAC,IAAY;IAC7B,MAAM,KAAK,GAAG,wGAAwG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClI,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC;IACnC,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC;IACxC,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC;IACxE,2EAA2E;IAC3E,2EAA2E;IAC3E,gEAAgE;IAChE,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;IACvB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,IAAI,OAAO,GAAG,CAAC,CAAC,CAAC;IACjB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;QACpB,IAAI,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI;YAAE,KAAK,GAAG,CAAC,KAAK,CAAC;QACvD,IAAI,KAAK;YAAE,SAAS;QACpB,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;aAC7D,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;aAClE,IAAI,EAAE,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YACnC,OAAO,GAAG,CAAC,CAAC;YACZ,MAAM;QACR,CAAC;IACH,CAAC;IACD,IAAI,OAAO,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IACpC,OAAO;QACL,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,cAAc,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI;QACxF,WAAW,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,eAAe,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,WAAW,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE;QACnG,MAAM;QACN,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,MAAc,EAAE,KAAa;IACjD,IAAI,IAAI,GAAG,UAAU,CAAC;IACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,IAAI,IAAI,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,CAAC,IAAI,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC;AAC9B,CAAC;AAED,SAAS,QAAQ,CACf,SAAiC,EACjC,WAAmB;IAEnB,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5F,2EAA2E;IAC3E,sEAAsE;IACtE,2EAA2E;IAC3E,yDAAyD;IACzD,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,UAAU,GAAG,WAAW,CAAC,CAAC,CAAC;IAClE,MAAM,KAAK,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;IAClD,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,GAAkB,EAAE,CAAC,EAAE,CAAC,CAAC;IACtE,KAAK,MAAM,EAAE,IAAI,SAAS;QAAE,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,CAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7E,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CACtC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CACzD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,MAAc,EACd,UAAmC,EAAE;IAErC,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,IAAI,qBAAqB,CAAC;IACnE,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,YAAY;QAAE,OAAO,IAAI,CAAC;IAC1D,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,IAAI,EAAE,OAAO,CAAC,WAAW,IAAI,oBAAoB,CAAC,CAAC;IACrF,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACjC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,OAAO,GAAgB,EAAE,CAAC;IAChC,MAAM,SAAS,GAAkB,EAAE,CAAC;IACpC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,aAAa,GAAG,KAAK,CAAC;IAC1B,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;QACvB,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;YAC/B,IAAI,SAAS;gBAAE,OAAO,IAAI,CAAC;YAC3B,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YACvC,IAAI,MAAM,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YACjC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAC3B,aAAa,GAAG,IAAI,CAAC;YACrB,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC;YACf,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACjD,IAAI,SAAS;gBAAE,OAAO,IAAI,CAAC;YAC3B,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;YAC/B,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;gBACpB,0DAA0D;gBAC1D,IAAI,wBAAwB,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;;oBACxD,OAAO,IAAI,CAAC;YACnB,CAAC;iBAAM,CAAC;gBACN,oEAAoE;gBACpE,mEAAmE;gBACnE,kEAAkE;gBAClE,mEAAmE;gBACnE,iDAAiD;gBACjD,IAAI,yCAAyC,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACtE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACrB,aAAa,GAAG,IAAI,CAAC;YACvB,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,SAAS,GAAG,IAAI,CAAC;QAC7E,IAAI,SAAS;YAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;aAC7B,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE;YAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrE,CAAC;IACD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,MAAM,MAAM,GAAG,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IAChD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC;IACzG,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IACnE,MAAM,cAAc,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE;QACjE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;QAC7B,MAAM,YAAY,GAAG,SAAS;aAC3B,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;aAC9B,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC;QAC/B,OAAO;YACL,IAAI,EAAE,YAAY,MAAM,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK;YACzD,MAAM,EAAE;gBACN,CAAC,GAAG,QAAQ,EAAE,GAAG,WAAW,EAAE,GAAG,YAAY,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC7D,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC;gBAC/B,IAAI;aACL,CAAC,IAAI,CAAC,IAAI,CAAC;SACb,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,yEAAyE;IACzE,yEAAyE;IACzE,0EAA0E;IAC1E,MAAM,WAAW,GAAqB;QACpC,IAAI,EAAE,oBAAoB;QAC1B,MAAM,EAAE;YACN,CAAC,GAAG,QAAQ,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YACtE,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC;YACvC,IAAI;SACL,CAAC,IAAI,CAAC,IAAI,CAAC;KACb,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,WAAW,EAAE,GAAG,cAAc,CAAC,CAAC;IAChD,OAAO;QACL,MAAM;QACN,eAAe,EAAE;YACf,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;YAC7E,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC;SAChE;QACD,aAAa,EAAE;YACb,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;YAC9E,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC;SACjE;KACF,CAAC;AACJ,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,uBAAuB,CAAC,MAAc;IACpD,OAAO,gBAAgB,CAAC,MAAM,EAAE;QAC9B,YAAY,EAAE,qBAAqB;QACnC,WAAW,EAAE,oBAAoB;KAClC,CAAC,CAAC;AACL,CAAC"}

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

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

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

@@ -0,0 +1,102 @@
+import { execFileSync } from "node:child_process";
+import { mkdtemp, readFile, writeFile } from "node:fs/promises";
+import { tmpdir } from "node:os";
+import { join } from "node:path";
+import { afterAll, expect, test } from "vitest";
+import { splitLlvmLibraryProgram, splitLlvmProgram } from "./split.js";
+const scratch = [];
+afterAll(async () => {
+    const { rm } = await import("node:fs/promises");
+    await Promise.all(scratch.map((path) => rm(path, { recursive: true, force: true })));
+});
+const SAMPLE = `%Pair = type { i64, i64 }
+declare void @runtime(ptr)
+
+@hidden_value = internal global i64 7
+@public_value = constant i64 11
+
+define internal i64 @left() #0 {
+entry:
+  %v = load i64, ptr @hidden_value
+  ret i64 %v
+}
+
+define internal i64 @right() #0 {
+entry:
+  %v = call i64 @left()
+  ret i64 %v
+}
+
+define i64 @public_entry() #0 {
+entry:
+  %a = call i64 @right()
+  %b = load i64, ptr @public_value
+  %r = add i64 %a, %b
+  ret i64 %r
+}
+
+attributes #0 = { sanitize_address }
+`;
+test("splits generated LLVM functions and promotes only private cross-shard definitions", () => {
+    const split = splitLlvmProgram(SAMPLE, { minimumBytes: 0, targetBytes: 64 * 1024 });
+    // The production floor is 64 KiB. Make enough functions to cross it while
+    // retaining the readable SAMPLE assertions below.
+    expect(split).not.toBeNull();
+    expect(splitLlvmProgram(SAMPLE)).toBeNull();
+    const large = SAMPLE.replace("define i64 @public_entry", `${Array.from({ length: 80 }, (_, i) => `define internal i64 @pad_${i}() #0 {\nentry:\n  ; ${"x".repeat(2048)}\n  ret i64 ${i}\n}\n`).join("\n")}\ndefine i64 @public_entry`);
+    const actual = splitLlvmProgram(large, { minimumBytes: 0, targetBytes: 64 * 1024 });
+    expect(actual).not.toBeNull();
+    expect(actual.shards.length).toBeGreaterThan(1);
+    expect(actual.promotedSymbols).toContain("hidden_value");
+    expect(actual.promotedSymbols).toContain("left");
+    expect(actual.promotedSymbols).not.toContain("public_value");
+    expect(actual.promotedSymbols).not.toContain("public_entry");
+    expect(actual.publicSymbols).toEqual(["public_value", "public_entry"]);
+    expect(actual.shards[0].name).toBe("program-globals.ll");
+    expect(actual.shards[0].source).toContain("@hidden_value = hidden global i64 7");
+    expect(actual.shards.slice(1).every((shard) => shard.source.includes("@hidden_value = external hidden global i64"))).toBe(true);
+    expect(actual.shards.some((shard) => !shard.source.includes("define hidden i64 @right() #0") &&
+        shard.source.includes("declare hidden i64 @right() #0"))).toBe(true);
+});
+test("thread-local program state conservatively keeps the single-TU path", () => {
+    const tls = SAMPLE.replace("@hidden_value = internal global i64 7", "@hidden_value = internal thread_local global i64 7");
+    expect(splitLlvmProgram(tls, { minimumBytes: 0, targetBytes: 64 * 1024 })).toBeNull();
+});
+test("dev libraries split at the measured 2MB crossover while executables retain 4MB", () => {
+    const body = Array.from({ length: 700 }, (_, i) => `define internal i64 @library_pad_${i}() #0 {\nentry:\n  ; ${"x".repeat(3072)}\n  ret i64 ${i}\n}\n`).join("\n");
+    const source = SAMPLE.replace("define i64 @public_entry", `${body}\ndefine i64 @public_entry`);
+    expect(Buffer.byteLength(source)).toBeGreaterThan(2 * 1024 * 1024);
+    expect(Buffer.byteLength(source)).toBeLessThan(4 * 1024 * 1024);
+    expect(splitLlvmProgram(source)).toBeNull();
+    expect(splitLlvmLibraryProgram(source)?.shards).toHaveLength(5);
+    const belowCrossover = source.slice(0, Math.floor(1.9 * 1024 * 1024));
+    expect(splitLlvmLibraryProgram(belowCrossover)).toBeNull();
+});
+test("every shard compiles and its merged object exposes only canonical public definitions", async () => {
+    const body = Array.from({ length: 120 }, (_, i) => `define internal i64 @pad_${i}() #0 {\nentry:\n  ; ${"x".repeat(2048)}\n  ret i64 ${i}\n}\n`).join("\n");
+    const split = splitLlvmProgram(SAMPLE.replace("define i64 @public_entry", `${body}\ndefine i64 @public_entry`), { minimumBytes: 0, targetBytes: 64 * 1024 });
+    const dir = await mkdtemp(join(tmpdir(), "scriptc-llvm-split-"));
+    scratch.push(dir);
+    const objects = [];
+    for (const shard of split.shards) {
+        const source = join(dir, shard.name);
+        const object = `${source}.o`;
+        await writeFile(source, shard.source);
+        execFileSync("clang", ["-Wno-override-module", "-c", source, "-o", object]);
+        objects.push(object);
+    }
+    const combined = join(dir, "combined.o");
+    execFileSync("ld", ["-r", ...objects, "-o", combined]);
+    if (process.platform === "linux") {
+        const keep = join(dir, "keep.txt");
+        await writeFile(keep, "public_entry\npublic_value\n");
+        execFileSync("objcopy", [`--keep-global-symbols=${keep}`, combined]);
+    }
+    const globals = execFileSync("nm", ["-g", combined], { encoding: "utf8" });
+    expect(globals).toContain("public_entry");
+    expect(globals).toContain("public_value");
+    expect(globals).not.toContain("hidden_value");
+    expect(globals).not.toContain("left");
+    expect((await readFile(combined)).length).toBeGreaterThan(0);
+});
+//# sourceMappingURL=split.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"split.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/split.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAChE,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAChD,OAAO,EAAE,uBAAuB,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAEvE,MAAM,OAAO,GAAa,EAAE,CAAC;AAC7B,QAAQ,CAAC,KAAK,IAAI,EAAE;IAClB,MAAM,EAAE,EAAE,EAAE,GAAG,MAAM,MAAM,CAAC,kBAAkB,CAAC,CAAC;IAChD,MAAM,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;AACvF,CAAC,CAAC,CAAC;AAEH,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;CA2Bd,CAAC;AAEF,IAAI,CAAC,mFAAmF,EAAE,GAAG,EAAE;IAC7F,MAAM,KAAK,GAAG,gBAAgB,CAAC,MAAM,EAAE,EAAE,YAAY,EAAE,CAAC,EAAE,WAAW,EAAE,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;IACpF,0EAA0E;IAC1E,kDAAkD;IAClD,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC7B,MAAM,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC5C,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAC1B,0BAA0B,EAC1B,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,4BAA4B,CAAC,wBAAwB,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,4BAA4B,CAC7K,CAAC;IACF,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,EAAE,EAAE,YAAY,EAAE,CAAC,EAAE,WAAW,EAAE,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;IACpF,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC9B,MAAM,CAAC,MAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACjD,MAAM,CAAC,MAAO,CAAC,eAAe,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAC1D,MAAM,CAAC,MAAO,CAAC,eAAe,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAClD,MAAM,CAAC,MAAO,CAAC,eAAe,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAC9D,MAAM,CAAC,MAAO,CAAC,eAAe,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAC9D,MAAM,CAAC,MAAO,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,CAAC,cAAc,EAAE,cAAc,CAAC,CAAC,CAAC;IACxE,MAAM,CAAC,MAAO,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAC3D,MAAM,CAAC,MAAO,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,qCAAqC,CAAC,CAAC;IACnF,MAAM,CAAC,MAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAC7C,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,4CAA4C,CAAC,CACpE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,MAAM,CAAC,MAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CACnC,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,+BAA+B,CAAC;QACvD,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,gCAAgC,CAAC,CACxD,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oEAAoE,EAAE,GAAG,EAAE;IAC9E,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CACxB,uCAAuC,EACvC,oDAAoD,CACrD,CAAC;IACF,MAAM,CAAC,gBAAgB,CAAC,GAAG,EAAE,EAAE,YAAY,EAAE,CAAC,EAAE,WAAW,EAAE,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACxF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gFAAgF,EAAE,GAAG,EAAE;IAC1F,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAChD,oCAAoC,CAAC,wBAAwB,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,OAAO,CACrG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,0BAA0B,EAAE,GAAG,IAAI,4BAA4B,CAAC,CAAC;IAC/F,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC;IACnE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC;IAChE,MAAM,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC5C,MAAM,CAAC,uBAAuB,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAEhE,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC;IACtE,MAAM,CAAC,uBAAuB,CAAC,cAAc,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AAC7D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sFAAsF,EAAE,KAAK,IAAI,EAAE;IACtG,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAChD,4BAA4B,CAAC,wBAAwB,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,OAAO,CAC7F,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,MAAM,KAAK,GAAG,gBAAgB,CAC5B,MAAM,CAAC,OAAO,CAAC,0BAA0B,EAAE,GAAG,IAAI,4BAA4B,CAAC,EAC/E,EAAE,YAAY,EAAE,CAAC,EAAE,WAAW,EAAE,EAAE,GAAG,IAAI,EAAE,CAC3C,CAAC;IACH,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,qBAAqB,CAAC,CAAC,CAAC;IACjE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClB,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC;QAC7B,MAAM,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACtC,YAAY,CAAC,OAAO,EAAE,CAAC,sBAAsB,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QAC5E,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvB,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;IACzC,YAAY,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,GAAG,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IACvD,IAAI,OAAO,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QACnC,MAAM,SAAS,CAAC,IAAI,EAAE,8BAA8B,CAAC,CAAC;QACtD,YAAY,CAAC,SAAS,EAAE,CAAC,yBAAyB,IAAI,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC;IACvE,CAAC;IACD,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;IAC3E,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAC1C,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAC1C,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAC9C,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACtC,MAAM,CAAC,CAAC,MAAM,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;AAC/D,CAAC,CAAC,CAAC"}

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

@@ -1,4 +1,4 @@
-import type { SrcLoc } from "../../ir/nodes.js";
+import type { SrcLoc } from "../../ir/ir.js";
 export declare class LlvmUnsupportedError extends Error {
     readonly kind: string;
     readonly loc?: SrcLoc | undefined;

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

@@ -1,4 +1,4 @@
-import type { IrType, IrUnionDef } from "../../ir/nodes.js";
+import type { IrType, IrUnionDef } from "../../ir/ir.js";
 import { type ShapeHost } from "./shapes.js";
 /** What the walkers need from the emitter beyond the shape tables: union
  * defs, the undefined-arm probe, interned ScrStr literals (unit-arm
@@ -6,7 +6,6 @@ import { type ShapeHost } from "./shapes.js";
  * scr_error-style label texts). */
 export interface WalkerHost extends ShapeHost {
     readonly unionsById: Map<string, IrUnionDef>;
-    undefinedArmTag(t: IrType): number;
     /** `@`-ref of an interned immortal ScrStr literal. */
     internLiteral(text: string): string;
     /** `@`-ref of an interned NUL-terminated byte-array constant. */
@@ -50,7 +49,7 @@ export declare class LlWalkers {
     private emitArrayWriter;
     private emitUnionWriter;
     /** `JSON.stringify(v, null, space)` as a REWRITE of the compact text —
-     * Node's gap algorithm exactly (see emit-walkers.ts's sc_ji). The indent
+     * Node's gap algorithm exactly (see walkers.ts's sc_ji). The indent
      * rides as a NUL-terminated constant + byte length. */
     jsonIndentHelper(): string;
     /** The per-union ToString helper: unit arms return the interned