@scriptc/compiler 0.1.7 → 0.2.1

package/dist/backend/{c/may-throw.js → may-throw.js}

@@ -1,5 +1,6 @@
-import { isFfiCallbackParam, MAY_THROW_ARR_METHODS, MAY_THROW_BYTES_METHODS, MAY_THROW_LIB_FNS } from "../../ir/ir.js";
-import { hasRetainedFfiCallback } from "../ffi-callbacks.js";
+import { isFfiCallbackParam, MAY_THROW_ARR_METHODS, MAY_THROW_BYTES_METHODS, MAY_THROW_LIB_FNS } from "../ir/ir.js";
+import { everyStmtList } from "../ir/traverse.js";
+import { hasRetainedFfiCallback } from "./ffi-callbacks.js";
 /** Cheap may-throw analysis (cost discipline: functions that transitively
  * CANNOT throw pay for no pending-exception checks). A function may throw
  * iff it contains a `throw`, calls a may-throw function (direct `call` or
@@ -27,6 +28,7 @@ export function computeMayThrow(mod) {
     const manifestHasRetainedCallback = hasRetainedFfiCallback(mod.ffiImports ?? []);
     // Method name → every class's implementation of it (virtualCall callees).
     const methodImpls = new Map();
+    const tdzGlobals = (mod.globals ?? []).filter((g) => g.tdz).map((g) => g.id);
     for (const cls of mod.classes ?? []) {
         for (const m of cls.methods ?? []) {
             let list = methodImpls.get(m);
@@ -37,21 +39,13 @@ export function computeMayThrow(mod) {
     }
     for (const fn of mod.functions) {
         const f = { throws: false, callees: [], callsValue: false };
-        // TDZ locals (forward-captured consts): every read tests the box and
-        // throws the catchable ReferenceError while it is empty.
-        const tdzIds = new Set(fn.locals.filter((l) => l.tdz).map((l) => l.id));
-        // The IR is plain JSON: a generic walk keyed on `kind` stays correct as
-        // nodes grow fields (types' own `kind`s never collide with these).
-        const visit = (node) => {
-            if (Array.isArray(node)) {
-                for (const item of node)
-                    visit(item);
-                return;
-            }
-            if (node === null || typeof node !== "object")
-                return;
-            const rec = node;
-            switch (rec["kind"]) {
+        // TDZ reads and non-initializing writes can throw ReferenceError.
+        // Capture locals carry the same flag as the declaring binding.
+        const tdzIds = new Set([...tdzGlobals, ...fn.locals.filter((l) => l.tdz).map((l) => l.id)]);
+        const mutableTdzIds = new Set([...tdzGlobals, ...fn.locals.filter((l) => l.tdz && l.mutable).map((l) => l.id)]);
+        // Traverse typed executable nodes without copying the IR into unknown.
+        const visit = (rec) => {
+            switch (rec.kind) {
                 case "throw":
                 case "rethrow":
                 // The deferred JS compile fence throws catchably when executed.
@@ -59,7 +53,16 @@ export function computeMayThrow(mod) {
                     f.throws = true;
                     break;
                 case "varRef":
-                    if (tdzIds.size > 0 && tdzIds.has(rec["localId"]))
+                case "incDec":
+                case "assignExpr":
+                    if (tdzIds.has(rec.localId))
+                        f.throws = true;
+                    break;
+                case "assign":
+                    // A declaration is allowed to fill an empty box. Legacy const
+                    // TDZ stores also initialize; only mutable subsequent stores
+                    // introduce the new write-side exception edge.
+                    if (rec.initializes !== true && mutableTdzIds.has(rec.localId))
                         f.throws = true;
                     break;
                 case "dynCheck":
@@ -71,14 +74,14 @@ export function computeMayThrow(mod) {
                     // callValue) — those adapters are emitter-synthesized, invisible
                     // to closureTargets, so they force the indirect answer below.
                     f.throws = true;
-                    if (rec["type"]?.kind === "func") {
+                    if (rec.type.kind === "func") {
                         sawDynFuncAdapter = true;
                     }
                     break;
                 case "fieldIncDec":
                     // A checked-dynamic field's ++/-- validates the number out of
                     // the box — that dynCheck throws catchably on non-numbers.
-                    if (rec["fieldDyn"] === true)
+                    if (rec.fieldDyn === true)
                         f.throws = true;
                     break;
                 case "dynCall":
@@ -91,10 +94,11 @@ export function computeMayThrow(mod) {
                     f.throws = true;
                     break;
                 case "dynKeyGet":
+                case "dynHasKey":
                     // The keyed read throws JS's TypeError on an undefined/null
                     // receiver (the `?.` form answers undefined instead), and
                     // HANDLE receivers can throw the loud unmodeled-property
-                    // ladder on either form — seed both.
+                    // ladder; Proxy get/has traps can throw too.
                     f.throws = true;
                     break;
                 case "dynDestrCheck":
@@ -111,7 +115,7 @@ export function computeMayThrow(mod) {
                 case "intrinsic":
                     // Module dependency evaluation has await's rejection behavior,
                     // while deliberately avoiding await's extra settled-promise turn.
-                    if (rec["name"] === "module.await")
+                    if (rec.name === "module.await")
                         f.throws = true;
                     break;
                 case "yieldExpr":
@@ -131,8 +135,8 @@ export function computeMayThrow(mod) {
                     // that path throws the catchable TypeError. A SIGNATURE-FREE
                     // shape's write throws on a key MISS (scr_record_key_miss).
                     // Overflow shapes with typed value slots never do.
-                    const shape = (mod.records ?? []).find((r) => r.id === rec["shapeId"]);
-                    if (rec["overflowOnly"] !== true &&
+                    const shape = (mod.records ?? []).find((r) => r.id === rec.shapeId);
+                    if (rec.overflowOnly !== true &&
                         shape && (!shape.indexValue || (shape.indexValue.kind === "dyn" && shape.fields.length > 0))) {
                         f.throws = true;
                     }
@@ -145,11 +149,15 @@ export function computeMayThrow(mod) {
                     // the emitters place the pending check only for cycle-capable
                     // types, and a never-taken caller-side check costs one flag
                     // read.
-                    const vt = rec["value"].type?.kind;
+                    const vt = rec.value.type.kind;
                     if (vt === "dyn" || vt === "record" || vt === "array" || vt === "union")
                         f.throws = true;
                     break;
                 }
+                case "toString":
+                    if (rec.operand.type.kind === "dyn" || rec.operand.type.kind === "union" || rec.operand.type.kind === "caught")
+                        f.throws = true;
+                    break;
                 case "jsOp":
                 case "jsExit":
                 case "jsMarshal":
@@ -162,23 +170,23 @@ export function computeMayThrow(mod) {
                 case "libCall":
                     // The may-throw seed hook: throwing library calls (fs.*,
                     // json.parse) count exactly like a `throw` statement.
-                    if (MAY_THROW_LIB_FNS.has(rec["fn"]))
+                    if (MAY_THROW_LIB_FNS.has(rec.fn))
                         f.throws = true;
                     break;
                 case "ffiCall":
                     // A native callback may run arbitrary scriptc code. With retained
                     // descriptors any manifest binding may pump a previously stored
                     // callback, so every FFI call is conservatively a checkpoint.
-                    if (callbackFfiImports.has(rec["import"]) ||
+                    if (callbackFfiImports.has(rec.import) ||
                         manifestHasRetainedCallback)
                         f.throws = true;
                     break;
                 case "bytesNew": {
                     // The size form (`new Uint8Array(n)`) throws Node's "Invalid
-                    // typed array length" RangeError on a bad length; copy/array
-                    // sources never throw.
-                    const source = rec["source"];
-                    if (source && source.type?.kind === "f64")
+                    // typed array length" RangeError on a bad length. Checked
+                    // inputs can also throw during element conversion.
+                    const source = rec.source;
+                    if (source && (source.type?.kind === "f64" || source.type?.kind === "dyn"))
                         f.throws = true;
                     break;
                 }
@@ -186,12 +194,12 @@ export function computeMayThrow(mod) {
                     // setFrom and the numeric read/write families throw catchable
                     // RangeErrors (Node's bounds discipline); the rest trap or
                     // cannot fail.
-                    if (MAY_THROW_BYTES_METHODS.has(rec["method"])) {
+                    if (MAY_THROW_BYTES_METHODS.has(rec.method)) {
                         f.throws = true;
                     }
                     break;
                 case "arrIntrinsic":
-                    if (MAY_THROW_ARR_METHODS.has(rec["method"])) {
+                    if (MAY_THROW_ARR_METHODS.has(rec.method)) {
                         f.throws = true;
                     }
                     break;
@@ -199,29 +207,29 @@ export function computeMayThrow(mod) {
                     f.throws = true;
                     break;
                 case "regexIntrinsic":
-                    // replaceAll and matchAll without /g throw Node's TypeError;
-                    // split throws on a pattern with capture groups — all catchable.
-                    if (rec["method"] === "replaceAll" || rec["method"] === "split" || rec["method"] === "matchAll" || rec["method"] === "matchAllInto") {
+                    // Keep the conservative exception check for these operations;
+                    // replaceAll and matchAll without /g throw Node's TypeError.
+                    if (rec.method === "replaceAll" || rec.method === "split" || rec.method === "matchAll" || rec.method === "matchAllInto") {
                         f.throws = true;
                     }
                     break;
                 case "call": {
                     // Calling an ASYNC function never unwinds the caller: a body
                     // throw becomes a promise rejection (visible only at await).
-                    const callee = rec["callee"];
+                    const callee = rec.callee;
                     if (!asyncFns.has(callee) && !genFns.has(callee))
                         f.callees.push(callee);
                     break;
                 }
                 case "new":
-                    f.callees.push(`%${rec["className"]}.constructor`);
+                    f.callees.push(`%${rec.className}.constructor`);
                     break;
                 case "newValue": {
                     // Construction through a class VALUE reaches the static class's
                     // constructor or any strict descendant's — a sound (slightly
                     // wide) cover is every constructor of the named class's
                     // hierarchy; classval flows never leave it.
-                    const cls = (rec["callee"].type)?.className;
+                    const cls = rec.callee.type.kind === "classval" ? rec.callee.type.className : undefined;
                     if (cls !== undefined) {
                         const descends = (name) => {
                             for (let c = (mod.classes ?? []).find((k) => k.name === name); c; c = (mod.classes ?? []).find((k) => k.name === c.base)) {
@@ -243,7 +251,7 @@ export function computeMayThrow(mod) {
                     // The concrete callee is any implementation of this method name
                     // on a class — a sound (slightly wide, cross-hierarchy) cover of
                     // the override set the dispatch can actually reach.
-                    const impls = methodImpls.get(rec["method"]);
+                    const impls = methodImpls.get(rec.method);
                     if (impls)
                         f.callees.push(...impls);
                     break;
@@ -252,15 +260,12 @@ export function computeMayThrow(mod) {
                     f.callsValue = true;
                     break;
                 case "closure":
-                    closureTargets.add(rec["fnName"]);
+                    closureTargets.add(rec.fnName);
                     break;
             }
-            for (const key of Object.keys(rec)) {
-                if (key !== "loc" && key !== "type")
-                    visit(rec[key]);
-            }
+            return true;
         };
-        visit(fn.body);
+        everyStmtList(fn.body, { expr: visit, stmt: visit });
         facts.set(fn.name, f);
     }
     const may = new Set();

package/dist/backend/may-throw.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"may-throw.js","sourceRoot":"","sources":["../../src/backend/may-throw.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AACpH,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAC;AAE5D;;;;;;;;;+EAS+E;AAC/E,MAAM,UAAU,eAAe,CAAC,GAAa;IAM3C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAiB,CAAC;IACvC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,uEAAuE;IACvE,+DAA+D;IAC/D,IAAI,iBAAiB,GAAG,KAAK,CAAC;IAC9B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IACtF,mEAAmE;IACnE,sEAAsE;IACtE,uEAAuE;IACvE,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IACxF,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAChC,CAAC,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC;SACnB,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;SACxD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAC9B,CAAC;IACF,MAAM,2BAA2B,GAAG,sBAAsB,CAAC,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC;IACjF,0EAA0E;IAC1E,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoB,CAAC;IAChD,MAAM,UAAU,GAAG,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC7E,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;QACpC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;YAClC,IAAI,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC9B,IAAI,CAAC,IAAI;gBAAE,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;YAC3C,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAU,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;QACnE,kEAAkE;QAClE,+DAA+D;QAC/D,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,UAAU,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5F,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,UAAU,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAChH,uEAAuE;QACvE,MAAM,KAAK,GAAG,CAAC,GAAoB,EAAW,EAAE;YAC9C,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;gBACjB,KAAK,OAAO,CAAC;gBACb,KAAK,SAAS,CAAC;gBACf,gEAAgE;gBAChE,KAAK,cAAc;oBACjB,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,KAAK,QAAQ,CAAC;gBACd,KAAK,QAAQ,CAAC;gBACd,KAAK,YAAY;oBACf,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC;wBAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAC7C,MAAM;gBACR,KAAK,QAAQ;oBACX,8DAA8D;oBAC9D,6DAA6D;oBAC7D,+CAA+C;oBAC/C,IAAI,GAAG,CAAC,WAAW,KAAK,IAAI,IAAI,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC;wBAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChF,MAAM;gBACR,KAAK,UAAU,CAAC;gBAChB,KAAK,aAAa;oBAChB,4DAA4D;oBAC5D,yDAAyD;oBACzD,gEAAgE;oBAChE,yDAAyD;oBACzD,iEAAiE;oBACjE,8DAA8D;oBAC9D,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;wBAC7B,iBAAiB,GAAG,IAAI,CAAC;oBAC3B,CAAC;oBACD,MAAM;gBACR,KAAK,aAAa;oBAChB,8DAA8D;oBAC9D,2DAA2D;oBAC3D,IAAI,GAAG,CAAC,QAAQ,KAAK,IAAI;wBAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAC3C,MAAM;gBACR,KAAK,SAAS,CAAC;gBACf,6DAA6D;gBAC7D,+DAA+D;gBAC/D,KAAK,WAAW;oBACd,2DAA2D;oBAC3D,wDAAwD;oBACxD,6DAA6D;oBAC7D,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,KAAK,WAAW,CAAC;gBACjB,KAAK,WAAW;oBACd,4DAA4D;oBAC5D,0DAA0D;oBAC1D,yDAAyD;oBACzD,6CAA6C;oBAC7C,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,KAAK,eAAe,CAAC;gBACrB,KAAK,UAAU;oBACb,0DAA0D;oBAC1D,wBAAwB;oBACxB,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,KAAK,WAAW,CAAC;gBACjB,KAAK,gBAAgB;oBACnB,0DAA0D;oBAC1D,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,KAAK,WAAW;oBACd,+DAA+D;oBAC/D,kEAAkE;oBAClE,IAAI,GAAG,CAAC,IAAI,KAAK,cAAc;wBAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBACjD,MAAM;gBACR,KAAK,WAAW;oBACd,6DAA6D;oBAC7D,0CAA0C;oBAC1C,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,KAAK,WAAW;oBACd,wDAAwD;oBACxD,4DAA4D;oBAC5D,wCAAwC;oBACxC,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,KAAK,cAAc,EAAE,CAAC;oBACpB,iEAAiE;oBACjE,8DAA8D;oBAC9D,6DAA6D;oBAC7D,4DAA4D;oBAC5D,mDAAmD;oBACnD,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,OAAO,CAAC,CAAC;oBACpE,IACE,GAAG,CAAC,YAAY,KAAK,IAAI;wBACzB,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC,UAAU,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,EAC5F,CAAC;wBACD,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAClB,CAAC;oBACD,MAAM;gBACR,CAAC;gBACD,KAAK,eAAe,EAAE,CAAC;oBACrB,8DAA8D;oBAC9D,+DAA+D;oBAC/D,gEAAgE;oBAChE,8DAA8D;oBAC9D,4DAA4D;oBAC5D,QAAQ;oBACR,MAAM,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;oBAC/B,IAAI,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,QAAQ,IAAI,EAAE,KAAK,OAAO,IAAI,EAAE,KAAK,OAAO;wBAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBACzF,MAAM;gBACR,CAAC;gBACD,KAAK,UAAU;oBACb,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;wBAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChI,MAAM;gBACR,KAAK,MAAM,CAAC;gBACZ,KAAK,QAAQ,CAAC;gBACd,KAAK,WAAW,CAAC;gBACjB,KAAK,iBAAiB;oBACpB,2DAA2D;oBAC3D,4DAA4D;oBAC5D,+CAA+C;oBAC/C,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,KAAK,SAAS;oBACZ,yDAAyD;oBACzD,sDAAsD;oBACtD,IAAI,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;wBAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBACnD,MAAM;gBACR,KAAK,SAAS;oBACZ,kEAAkE;oBAClE,gEAAgE;oBAChE,8DAA8D;oBAC9D,IACE,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC;wBAClC,2BAA2B;wBAC3B,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAClB,MAAM;gBACR,KAAK,UAAU,EAAE,CAAC;oBAChB,6DAA6D;oBAC7D,0DAA0D;oBAC1D,mDAAmD;oBACnD,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;oBAC1B,IAAI,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,KAAK,KAAK,IAAI,MAAM,CAAC,IAAI,EAAE,IAAI,KAAK,KAAK,CAAC;wBAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAC5F,MAAM;gBACR,CAAC;gBACD,KAAK,gBAAgB;oBACnB,8DAA8D;oBAC9D,2DAA2D;oBAC3D,eAAe;oBACf,IAAI,uBAAuB,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;wBAC5C,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAClB,CAAC;oBACD,MAAM;gBACR,KAAK,cAAc;oBACjB,IAAI,qBAAqB,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;wBAC1C,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAClB,CAAC;oBACD,MAAM;gBACR,KAAK,gBAAgB;oBACnB,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,KAAK,gBAAgB;oBACnB,8DAA8D;oBAC9D,6DAA6D;oBAC7D,IAAI,GAAG,CAAC,MAAM,KAAK,YAAY,IAAI,GAAG,CAAC,MAAM,KAAK,OAAO,IAAI,GAAG,CAAC,MAAM,KAAK,UAAU,IAAI,GAAG,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;wBACxH,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAClB,CAAC;oBACD,MAAM;gBACR,KAAK,MAAM,EAAE,CAAC;oBACZ,6DAA6D;oBAC7D,6DAA6D;oBAC7D,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;oBAC1B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;wBAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;oBACzE,MAAM;gBACR,CAAC;gBACD,KAAK,KAAK;oBACR,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,SAAS,cAAc,CAAC,CAAC;oBAChD,MAAM;gBACR,KAAK,UAAU,EAAE,CAAC;oBAChB,gEAAgE;oBAChE,6DAA6D;oBAC7D,wDAAwD;oBACxD,4CAA4C;oBAC5C,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;oBACxF,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;wBACtB,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAW,EAAE;4BACzC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gCAC1H,IAAI,CAAC,CAAC,IAAI,KAAK,GAAG;oCAAE,OAAO,IAAI,CAAC;gCAChC,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;oCAAE,MAAM;4BAClC,CAAC;4BACD,OAAO,KAAK,CAAC;wBACf,CAAC,CAAC;wBACF,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;4BAClC,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;gCAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,cAAc,CAAC,CAAC;wBACjE,CAAC;oBACH,CAAC;oBACD,MAAM;gBACR,CAAC;gBACD,KAAK,aAAa,EAAE,CAAC;oBACnB,gEAAgE;oBAChE,iEAAiE;oBACjE,oDAAoD;oBACpD,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;oBAC1C,IAAI,KAAK;wBAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;oBACpC,MAAM;gBACR,CAAC;gBACD,KAAK,WAAW;oBACd,CAAC,CAAC,UAAU,GAAG,IAAI,CAAC;oBACpB,MAAM;gBACR,KAAK,SAAS;oBACZ,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;oBAC/B,MAAM;YACV,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC;QACF,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACrD,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACxB,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,KAAK;QAAE,IAAI,CAAC,CAAC,MAAM;YAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC3D,IAAI,QAAQ,GACV,iBAAiB;QACjB,CAAC,GAAG,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACpF,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,OAAO,OAAO,EAAE,CAAC;QACf,OAAO,GAAG,KAAK,CAAC;QAChB,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC;YAC9B,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC5B,IAAI,CAAC,CAAC,CAAC,UAAU,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACpE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACd,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,CAAC;QACD,IAAI,CAAC,QAAQ,IAAI,CAAC,GAAG,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACnG,QAAQ,GAAG,IAAI,CAAC;YAChB,OAAO,GAAG,IAAI,CAAC;QACjB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;AAChC,CAAC"}

package/dist/backend/may-throw.test.d.ts

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

package/dist/backend/may-throw.test.js

@@ -0,0 +1,58 @@
+import { expect, test } from "vitest";
+import { F64, VOID, funcOf } from "../ir/ir.js";
+import { computeMayThrow } from "./may-throw.js";
+const loc = { file: "tdz.ts", start: 0, end: 1 };
+const value = { kind: "numLit", value: 1, type: F64, loc };
+const local = { id: "value", name: "value", type: F64, mutable: true, boxed: true, tdz: true };
+function fn(name, body, locals = [local]) {
+    return { name, body, locals, params: [], returnType: VOID, loc };
+}
+function moduleWith(...functions) {
+    return { irVersion: 13, sourceFile: loc.file, entry: "caller", functions };
+}
+const assignment = { kind: "assign", localId: local.id, value, loc };
+const expression = { kind: "assignExpr", localId: local.id, value, type: F64, loc };
+const increment = { kind: "incDec", localId: local.id, op: "+", prefix: false, type: F64, loc };
+const read = { kind: "varRef", localId: local.id, type: F64, loc };
+const exprStmt = (expr) => ({ kind: "exprStmt", expr, loc });
+test.each([
+    ["store", assignment],
+    ["assignment expression", exprStmt(expression)],
+    ["increment", exprStmt(increment)],
+    ["read", exprStmt(read)],
+])("TDZ %s propagates through the direct call graph", (_name, operation) => {
+    const target = fn("target", [operation]);
+    const middle = fn("middle", [exprStmt({ kind: "call", callee: "target", args: [], type: VOID, loc })], []);
+    const caller = fn("caller", [exprStmt({ kind: "call", callee: "middle", args: [], type: VOID, loc })], []);
+    const answer = computeMayThrow(moduleWith(caller, middle, target));
+    expect([...answer.fns].sort()).toEqual(["caller", "middle", "target"]);
+    expect(answer.indirect).toBe(false);
+});
+test("TDZ stores seed indirect-call propagation", () => {
+    const closure = { kind: "closure", fnName: "target", captures: [], type: funcOf([], VOID), loc };
+    const caller = fn("caller", [exprStmt({ kind: "callValue", callee: closure, args: [], type: VOID, loc })], []);
+    const answer = computeMayThrow(moduleWith(caller, fn("target", [assignment])));
+    expect(answer.indirect).toBe(true);
+    expect([...answer.fns].sort()).toEqual(["caller", "target"]);
+});
+test.each([true, false])("declaration stores do not throw solely for TDZ (mutable=%s)", (mutable) => {
+    const initialize = { ...assignment, initializes: true };
+    expect(computeMayThrow(moduleWith(fn("caller", [initialize], [{ ...local, mutable }]))).fns.size).toBe(0);
+});
+test("legacy const TDZ stores remain initialization", () => {
+    const immutable = { ...local, mutable: false };
+    expect(computeMayThrow(moduleWith(fn("caller", [assignment], [immutable]))).fns.size).toBe(0);
+});
+test("ordinary boxed stores do not gain an exception edge", () => {
+    const ordinary = { id: local.id, name: local.name, type: F64, mutable: true, boxed: true };
+    expect(computeMayThrow(moduleWith(fn("caller", [assignment, exprStmt(expression), exprStmt(increment)], [ordinary]))).fns.size).toBe(0);
+});
+test("initializers still propagate exceptions from their right-hand side", () => {
+    const initialize = {
+        ...assignment, initializes: true,
+        value: { kind: "call", callee: "failure", args: [], type: F64, loc },
+    };
+    const failure = fn("failure", [{ kind: "throw", value, loc }], []);
+    expect([...computeMayThrow(moduleWith(fn("caller", [initialize]), failure)).fns].sort()).toEqual(["caller", "failure"]);
+});
+//# sourceMappingURL=may-throw.test.js.map

package/dist/backend/may-throw.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"may-throw.test.js","sourceRoot":"","sources":["../../src/backend/may-throw.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAA0E,MAAM,aAAa,CAAC;AACxH,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAEjD,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACjD,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AACnE,MAAM,KAAK,GAAY,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;AACxG,SAAS,EAAE,CAAC,IAAY,EAAE,IAAc,EAAE,MAAM,GAAc,CAAC,KAAK,CAAC;IACnE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACnE,CAAC;AACD,SAAS,UAAU,CAAC,GAAG,SAAuB;IAC5C,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;AAC7E,CAAC;AACD,MAAM,UAAU,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;AAC7E,MAAM,UAAU,GAAW,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AAC5F,MAAM,SAAS,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AACxG,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AAC3E,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAE7E,IAAI,CAAC,IAAI,CAAC;IACR,CAAC,OAAO,EAAE,UAAU,CAAC;IACrB,CAAC,uBAAuB,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC;IAC/C,CAAC,WAAW,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;IAClC,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;CAChB,CAAC,CAAC,iDAAiD,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE;IAClF,MAAM,MAAM,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC3G,MAAM,MAAM,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC3G,MAAM,MAAM,GAAG,eAAe,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACnE,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;IACvE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACtC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2CAA2C,EAAE,GAAG,EAAE;IACrD,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;IACzG,MAAM,MAAM,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC/G,MAAM,MAAM,GAAG,eAAe,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/E,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;AAC/D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,6DAA6D,EAAE,CAAC,OAAO,EAAE,EAAE;IAClG,MAAM,UAAU,GAAW,EAAE,GAAG,UAAU,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;IAChE,MAAM,CAAC,eAAe,CAAC,UAAU,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,GAAG,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC5G,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+CAA+C,EAAE,GAAG,EAAE;IACzD,MAAM,SAAS,GAAG,EAAE,GAAG,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAC/C,MAAM,CAAC,eAAe,CAAC,UAAU,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAChG,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qDAAqD,EAAE,GAAG,EAAE;IAC/D,MAAM,QAAQ,GAAY,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACpG,MAAM,CAAC,eAAe,CAAC,UAAU,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC,UAAU,EAAE,QAAQ,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC1I,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oEAAoE,EAAE,GAAG,EAAE;IAC9E,MAAM,UAAU,GAAW;QACzB,GAAG,UAAU,EAAE,WAAW,EAAE,IAAI;QAChC,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;KACrE,CAAC;IACF,MAAM,OAAO,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;IACnE,MAAM,CAAC,CAAC,GAAG,eAAe,CAAC,UAAU,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;AAC1H,CAAC,CAAC,CAAC"}

package/dist/backend/native-codegen-core.d.ts

@@ -0,0 +1,22 @@
+/** Native codegen helper protocol shared by compiler hosts. */
+import type { NativeHelperSpec, NativeTargetSpec } from "./targets.js";
+export declare const NATIVE_CODEGEN_PROTOCOL_VERSION = "1";
+export declare const NATIVE_CODEGEN_LLVM_VERSION = "22.1.8";
+export type NativeCodegenOutputKind = "asm" | "obj";
+export declare class NativeCodegenError extends Error {
+    readonly diagnosticCode: "SC3002" | "SC3003" | "SC3004";
+    readonly detailCode?: string | undefined;
+    constructor(diagnosticCode: "SC3002" | "SC3003" | "SC3004", message: string, detailCode?: string | undefined);
+}
+export interface NativeCodegenVersion {
+    ok: true;
+    protocol_version: string;
+    scriptc_package_version: string;
+    llvm_version: string;
+    host_triple: string;
+    targets: string[];
+    supported_targets: string[];
+    default_target: string;
+    data_layout: string;
+}
+export declare function validateNativeCodegenVersion(value: Record<string, unknown>, target: NativeTargetSpec, helper: NativeHelperSpec, expectedPackageVersion: string): NativeCodegenVersion;

package/dist/backend/native-codegen-core.js

@@ -0,0 +1,44 @@
+export const NATIVE_CODEGEN_PROTOCOL_VERSION = "1";
+export const NATIVE_CODEGEN_LLVM_VERSION = "22.1.8";
+export class NativeCodegenError extends Error {
+    diagnosticCode;
+    detailCode;
+    constructor(diagnosticCode, message, detailCode) {
+        super(message);
+        this.diagnosticCode = diagnosticCode;
+        this.detailCode = detailCode;
+        this.name = "NativeCodegenError";
+    }
+}
+export function validateNativeCodegenVersion(value, target, helper, expectedPackageVersion) {
+    const mismatch = (field, expected) => {
+        throw new NativeCodegenError("SC3003", `LLVM native helper is incompatible: ${field} is ${JSON.stringify(value[field])}, expected ${JSON.stringify(expected)}; reinstall scriptc so its compiler and ${helper.packageName} packages have matching versions`, "version_mismatch");
+    };
+    if (value["ok"] !== true)
+        mismatch("ok", "true");
+    if (value["protocol_version"] !== NATIVE_CODEGEN_PROTOCOL_VERSION) {
+        mismatch("protocol_version", NATIVE_CODEGEN_PROTOCOL_VERSION);
+    }
+    if (value["scriptc_package_version"] !== expectedPackageVersion) {
+        mismatch("scriptc_package_version", expectedPackageVersion);
+    }
+    if (value["llvm_version"] !== NATIVE_CODEGEN_LLVM_VERSION) {
+        mismatch("llvm_version", NATIVE_CODEGEN_LLVM_VERSION);
+    }
+    if (value["default_target"] !== helper.defaultTarget) {
+        mismatch("default_target", helper.defaultTarget);
+    }
+    if (value["data_layout"] !== helper.defaultDataLayout) {
+        mismatch("data_layout", helper.defaultDataLayout);
+    }
+    if (!Array.isArray(value["targets"]) || !value["targets"].includes(target.llvmBackend)) {
+        mismatch("targets", `an array containing ${target.llvmBackend}`);
+    }
+    if (!Array.isArray(value["supported_targets"]) || !value["supported_targets"].includes(target.llvmTriple)) {
+        mismatch("supported_targets", `an array containing ${target.llvmTriple}`);
+    }
+    if (typeof value["host_triple"] !== "string")
+        mismatch("host_triple", "a string");
+    return value;
+}
+//# sourceMappingURL=native-codegen-core.js.map

package/dist/backend/native-codegen-core.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"native-codegen-core.js","sourceRoot":"","sources":["../../src/backend/native-codegen-core.ts"],"names":[],"mappings":"AAGA,MAAM,CAAC,MAAM,+BAA+B,GAAG,GAAG,CAAC;AACnD,MAAM,CAAC,MAAM,2BAA2B,GAAG,QAAQ,CAAC;AAIpD,MAAM,OAAO,kBAAmB,SAAQ,KAAK;IAEhC,cAAc;IAEd,UAAU;IAHrB,YACW,cAA8C,EACvD,OAAe,EACN,UAAmB;QAE5B,KAAK,CAAC,OAAO,CAAC,CAAC;8BAJN,cAAc;0BAEd,UAAU;QAGnB,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAC;IACnC,CAAC;CACF;AAcD,MAAM,UAAU,4BAA4B,CAC1C,KAA8B,EAC9B,MAAwB,EACxB,MAAwB,EACxB,sBAA8B;IAE9B,MAAM,QAAQ,GAAG,CAAC,KAAa,EAAE,QAAgB,EAAS,EAAE;QAC1D,MAAM,IAAI,kBAAkB,CAC1B,QAAQ,EACR,uCAAuC,KAAK,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,cAAc,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,2CAA2C,MAAM,CAAC,WAAW,kCAAkC,EACpN,kBAAkB,CACnB,CAAC;IACJ,CAAC,CAAC;IACF,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACjD,IAAI,KAAK,CAAC,kBAAkB,CAAC,KAAK,+BAA+B,EAAE,CAAC;QAClE,QAAQ,CAAC,kBAAkB,EAAE,+BAA+B,CAAC,CAAC;IAChE,CAAC;IACD,IAAI,KAAK,CAAC,yBAAyB,CAAC,KAAK,sBAAsB,EAAE,CAAC;QAChE,QAAQ,CAAC,yBAAyB,EAAE,sBAAsB,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,KAAK,CAAC,cAAc,CAAC,KAAK,2BAA2B,EAAE,CAAC;QAC1D,QAAQ,CAAC,cAAc,EAAE,2BAA2B,CAAC,CAAC;IACxD,CAAC;IACD,IAAI,KAAK,CAAC,gBAAgB,CAAC,KAAK,MAAM,CAAC,aAAa,EAAE,CAAC;QACrD,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC;IACnD,CAAC;IACD,IAAI,KAAK,CAAC,aAAa,CAAC,KAAK,MAAM,CAAC,iBAAiB,EAAE,CAAC;QACtD,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC,iBAAiB,CAAC,CAAC;IACpD,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC;QACvF,QAAQ,CAAC,SAAS,EAAE,uBAAuB,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;IACnE,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QAC1G,QAAQ,CAAC,mBAAmB,EAAE,uBAAuB,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;IAC5E,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,aAAa,CAAC,KAAK,QAAQ;QAAE,QAAQ,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;IAClF,OAAO,KAAwC,CAAC;AAClD,CAAC"}

package/dist/backend/native-codegen.d.ts

@@ -1,24 +1,7 @@
 import { type NativeArtifactDependency } from "./native-toolchain.js";
 import { type NativeHelperSpec, type NativeTargetSpec } from "./targets.js";
-export declare const NATIVE_CODEGEN_PROTOCOL_VERSION = "1";
-export declare const NATIVE_CODEGEN_LLVM_VERSION = "22.1.8";
-export type NativeCodegenOutputKind = "asm" | "obj";
-export declare class NativeCodegenError extends Error {
-    readonly diagnosticCode: "SC3002" | "SC3003" | "SC3004";
-    readonly detailCode?: string | undefined;
-    constructor(diagnosticCode: "SC3002" | "SC3003" | "SC3004", message: string, detailCode?: string | undefined);
-}
-export interface NativeCodegenVersion {
-    ok: true;
-    protocol_version: string;
-    scriptc_package_version: string;
-    llvm_version: string;
-    host_triple: string;
-    targets: string[];
-    supported_targets: string[];
-    default_target: string;
-    data_layout: string;
-}
+import { type NativeCodegenVersion, type NativeCodegenOutputKind } from "./native-codegen-core.js";
+export { NATIVE_CODEGEN_PROTOCOL_VERSION, NATIVE_CODEGEN_LLVM_VERSION, NativeCodegenError, type NativeCodegenVersion, type NativeCodegenOutputKind, } from "./native-codegen-core.js";
 export interface NativeCodegenArtifact {
     /** Exact installed inputs observed before the helper identity and emission. */
     dependencies: NativeArtifactDependency[];
@@ -35,6 +18,7 @@ export interface NativeCodegenOptions {
     helperHost?: {
         platform: NodeJS.Platform;
         arch: string;
+        linuxLibc?: "gnu" | "musl";
     };
     /** Test seam: still resolves a package path, never searches PATH. */
     resolvePackageJson?: (specifier: string) => string;

package/dist/backend/native-codegen.js

@@ -9,19 +9,9 @@ import { buildCacheRoot, copyValidCachedFile, privateSiblingPath, prepareBuildCa
 import { nativeArtifactDependenciesStillMatch, snapshotNativeArtifactDependencies, } from "./native-toolchain.js";
 import { nativeCodegenTarget, nativeCodegenTargetRefusal, nativeHelperForTarget, } from "./targets.js";
 import { compilerReleaseVersion } from "../library/sidecar.js";
+import { NativeCodegenError, validateNativeCodegenVersion as validateHelperVersion, } from "./native-codegen-core.js";
+export { NATIVE_CODEGEN_PROTOCOL_VERSION, NATIVE_CODEGEN_LLVM_VERSION, NativeCodegenError, } from "./native-codegen-core.js";
 const execFileAsync = promisify(execFile);
-export const NATIVE_CODEGEN_PROTOCOL_VERSION = "1";
-export const NATIVE_CODEGEN_LLVM_VERSION = "22.1.8";
-export class NativeCodegenError extends Error {
-    diagnosticCode;
-    detailCode;
-    constructor(diagnosticCode, message, detailCode) {
-        super(message);
-        this.diagnosticCode = diagnosticCode;
-        this.detailCode = detailCode;
-        this.name = "NativeCodegenError";
-    }
-}
 const resolvedHelperCache = new Map();
 function parseJsonObject(text) {
     try {
@@ -57,39 +47,10 @@ async function invoke(binaryPath, args) {
     }
 }
 export function validateNativeCodegenVersion(value, target, helper) {
-    const expectedPackageVersion = compilerReleaseVersion();
-    const mismatch = (field, expected) => {
-        throw new NativeCodegenError("SC3003", `LLVM native helper is incompatible: ${field} is ${JSON.stringify(value[field])}, expected ${JSON.stringify(expected)}; reinstall scriptc so its compiler and ${helper.packageName} packages have matching versions`, "version_mismatch");
-    };
-    if (value["ok"] !== true)
-        mismatch("ok", "true");
-    if (value["protocol_version"] !== NATIVE_CODEGEN_PROTOCOL_VERSION) {
-        mismatch("protocol_version", NATIVE_CODEGEN_PROTOCOL_VERSION);
-    }
-    if (value["scriptc_package_version"] !== expectedPackageVersion) {
-        mismatch("scriptc_package_version", expectedPackageVersion);
-    }
-    if (value["llvm_version"] !== NATIVE_CODEGEN_LLVM_VERSION) {
-        mismatch("llvm_version", NATIVE_CODEGEN_LLVM_VERSION);
-    }
-    if (value["default_target"] !== helper.defaultTarget) {
-        mismatch("default_target", helper.defaultTarget);
-    }
-    if (value["data_layout"] !== helper.defaultDataLayout) {
-        mismatch("data_layout", helper.defaultDataLayout);
-    }
-    if (!Array.isArray(value["targets"]) || !value["targets"].includes(target.llvmBackend)) {
-        mismatch("targets", `an array containing ${target.llvmBackend}`);
-    }
-    if (!Array.isArray(value["supported_targets"]) || !value["supported_targets"].includes(target.llvmTriple)) {
-        mismatch("supported_targets", `an array containing ${target.llvmTriple}`);
-    }
-    if (typeof value["host_triple"] !== "string")
-        mismatch("host_triple", "a string");
-    return value;
+    return validateHelperVersion(value, target, helper, compilerReleaseVersion());
 }
 async function resolveHelper(target, resolver, host) {
-    const helper = nativeHelperForTarget(target, host?.platform, host?.arch);
+    const helper = nativeHelperForTarget(target, host?.platform, host?.arch, host?.linuxLibc);
     if (helper === null) {
         throw new NativeCodegenError("SC3002", `no scriptc LLVM helper supports ${target.name} on this host`, "unsupported_helper_host");
     }
@@ -131,7 +92,7 @@ async function resolveHelper(target, resolver, host) {
     // host-native ISA plus WebAssembly). Cache only after the target backend
     // has also been checked; otherwise a prior X86 lookup could accidentally
     // bless a later WASI request against an older X86-only package.
-    const cacheKey = JSON.stringify({ dependencies, targetBackend: target.llvmBackend });
+    const cacheKey = JSON.stringify({ dependencies, targetTriple: target.llvmTriple });
     const load = async () => {
         let stdout;
         let binary;

package/dist/backend/native-codegen.js.map

@@ -1 +1 @@
-{"version":3,"file":"native-codegen.js","sourceRoot":"","sources":["../../src/backend/native-codegen.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AACpC,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC/F,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EACL,cAAc,EACd,mBAAmB,EACnB,kBAAkB,EAClB,qBAAqB,EACrB,iBAAiB,EACjB,eAAe,EACf,eAAe,GAChB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,oCAAoC,EACpC,kCAAkC,GAEnC,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,mBAAmB,EACnB,0BAA0B,EAC1B,qBAAqB,GAGtB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAE/D,MAAM,aAAa,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;AAC1C,MAAM,CAAC,MAAM,+BAA+B,GAAG,GAAG,CAAC;AACnD,MAAM,CAAC,MAAM,2BAA2B,GAAG,QAAQ,CAAC;AAIpD,MAAM,OAAO,kBAAmB,SAAQ,KAAK;IAEhC,cAAc;IAEd,UAAU;IAHrB,YACW,cAA8C,EACvD,OAAe,EACN,UAAmB;QAE5B,KAAK,CAAC,OAAO,CAAC,CAAC;8BAJN,cAAc;0BAEd,UAAU;QAGnB,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAC;IACnC,CAAC;CACF;AAgCD,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAmC,CAAC;AAkBvE,SAAS,eAAe,CAAC,IAAY;IACnC,IAAI,CAAC;QACH,MAAM,MAAM,GAAY,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACzC,OAAO,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;YAC5E,CAAC,CAAC,MAAiC;YACnC,CAAC,CAAC,IAAI,CAAC;IACX,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,MAAc,EAAE,QAAgB;IAC5D,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAC9C,OAAO;QACL,GAAG,CAAC,OAAO,MAAM,EAAE,CAAC,MAAM,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzE,OAAO,EAAE,OAAO,MAAM,EAAE,CAAC,SAAS,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,QAAQ;KAChF,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,MAAM,CAAC,UAAkB,EAAE,IAAc;IACtD,IAAI,CAAC;QACH,OAAO,MAAM,aAAa,CAAC,UAAU,EAAE,IAAI,EAAE;YAC3C,QAAQ,EAAE,MAAM;YAChB,SAAS,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI;YAC3B,WAAW,EAAE,IAAI;SAClB,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,OAAO,GAAG,KAAqE,CAAC;QACtF,MAAM,MAAM,GAAG,OAAO,OAAO,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;QACxE,MAAM,MAAM,GAAG,oBAAoB,CAAC,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QAC7D,MAAM,IAAI,kBAAkB,CAC1B,QAAQ,EACR,4BAA4B,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,IAAI,GAAG,KAAK,MAAM,CAAC,OAAO,EAAE,EACrG,MAAM,CAAC,IAAI,CACZ,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,UAAU,4BAA4B,CAC1C,KAA8B,EAC9B,MAAwB,EACxB,MAAwB;IAExB,MAAM,sBAAsB,GAAG,sBAAsB,EAAE,CAAC;IACxD,MAAM,QAAQ,GAAG,CAAC,KAAa,EAAE,QAAgB,EAAS,EAAE;QAC1D,MAAM,IAAI,kBAAkB,CAC1B,QAAQ,EACR,uCAAuC,KAAK,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,cAAc,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,2CAA2C,MAAM,CAAC,WAAW,kCAAkC,EACpN,kBAAkB,CACnB,CAAC;IACJ,CAAC,CAAC;IACF,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACjD,IAAI,KAAK,CAAC,kBAAkB,CAAC,KAAK,+BAA+B,EAAE,CAAC;QAClE,QAAQ,CAAC,kBAAkB,EAAE,+BAA+B,CAAC,CAAC;IAChE,CAAC;IACD,IAAI,KAAK,CAAC,yBAAyB,CAAC,KAAK,sBAAsB,EAAE,CAAC;QAChE,QAAQ,CAAC,yBAAyB,EAAE,sBAAsB,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,KAAK,CAAC,cAAc,CAAC,KAAK,2BAA2B,EAAE,CAAC;QAC1D,QAAQ,CAAC,cAAc,EAAE,2BAA2B,CAAC,CAAC;IACxD,CAAC;IACD,IAAI,KAAK,CAAC,gBAAgB,CAAC,KAAK,MAAM,CAAC,aAAa,EAAE,CAAC;QACrD,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC;IACnD,CAAC;IACD,IAAI,KAAK,CAAC,aAAa,CAAC,KAAK,MAAM,CAAC,iBAAiB,EAAE,CAAC;QACtD,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC,iBAAiB,CAAC,CAAC;IACpD,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC;QACvF,QAAQ,CAAC,SAAS,EAAE,uBAAuB,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;IACnE,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QAC1G,QAAQ,CAAC,mBAAmB,EAAE,uBAAuB,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;IAC5E,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,aAAa,CAAC,KAAK,QAAQ;QAAE,QAAQ,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;IAClF,OAAO,KAAwC,CAAC;AAClD,CAAC;AAED,KAAK,UAAU,aAAa,CAC1B,MAAwB,EACxB,QAAwC,EACxC,IAAkD;IAElD,MAAM,MAAM,GAAG,qBAAqB,CAClC,MAAM,EACN,IAAI,EAAE,QAAQ,EACd,IAAI,EAAE,IAAI,CACX,CAAC;IACF,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,MAAM,IAAI,kBAAkB,CAC1B,QAAQ,EACR,mCAAmC,MAAM,CAAC,IAAI,eAAe,EAC7D,yBAAyB,CAC1B,CAAC;IACJ,CAAC;IACD,MAAM,kBAAkB,GAAG,QAAQ,IAAI,CAAC,CAAC,SAAiB,EAAE,EAAE,CAC5D,aAAa,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;IACrD,IAAI,eAAuB,CAAC;IAC5B,IAAI,CAAC;QACH,eAAe,GAAG,kBAAkB,CAAC,GAAG,MAAM,CAAC,WAAW,eAAe,CAAC,CAAC;IAC7E,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,kBAAkB,CAC1B,QAAQ,EACR,8BAA8B,MAAM,CAAC,WAAW,uFAAuF,EACvI,iBAAiB,CAClB,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,IAAI,CACrB,OAAO,CAAC,eAAe,CAAC,EACxB,KAAK,EACL,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC,sBAAsB,CACnF,CAAC;IACF,IAAI,UAAU,CAAC;IACf,IAAI,CAAC;QACH,UAAU,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,CAAC;QACpC,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,YAAY,CAAC,CAAC;IAC1D,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,kBAAkB,CAC1B,QAAQ,EACR,8BAA8B,MAAM,CAAC,WAAW,mBAAmB,UAAU,gCAAgC,EAC7G,gBAAgB,CACjB,CAAC;IACJ,CAAC;IACD,IAAI,CAAC;QACH,IACE,OAAO,CAAC,QAAQ,KAAK,OAAO;YAC5B,CAAC,CAAC,UAAU,CAAC,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YACpE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;QACvD,MAAM,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,kBAAkB,CAC1B,QAAQ,EACR,8BAA8B,MAAM,CAAC,WAAW,mBAAmB,UAAU,oDAAoD,EACjI,iBAAiB,CAClB,CAAC;IACJ,CAAC;IACD,IAAI,YAAwC,CAAC;IAC7C,IAAI,CAAC;QACH,YAAY,GAAG,MAAM,kCAAkC,CAAC,CAAC,eAAe,EAAE,UAAU,CAAC,CAAC,CAAC;IACzF,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,kBAAkB,CAC1B,QAAQ,EACR,8BAA8B,MAAM,CAAC,WAAW,sFAAsF,EACtI,gBAAgB,CACjB,CAAC;IACJ,CAAC;IACD,sEAAsE;IACtE,yEAAyE;IACzE,yEAAyE;IACzE,gEAAgE;IAChE,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;IACrF,MAAM,IAAI,GAAG,KAAK,IAA6B,EAAE;QAC/C,IAAI,MAAc,CAAC;QACnB,IAAI,MAAc,CAAC;QACnB,IAAI,CAAC;YACH,CAAC,EAAE,MAAM,EAAE,EAAE,MAAM,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;gBACvC,MAAM,CAAC,UAAU,EAAE,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC;gBAChD,QAAQ,CAAC,UAAU,CAAC;aACrB,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,IAAI,kBAAkB,CAC1B,QAAQ,EACR,8BAA8B,MAAM,CAAC,WAAW,2DAA2D,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,qBAAqB,EACtL,uBAAuB,CACxB,CAAC;QACJ,CAAC;QACD,MAAM,UAAU,GAAG,eAAe,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;QAClD,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;YACxB,MAAM,IAAI,kBAAkB,CAC1B,QAAQ,EACR,kFAAkF,MAAM,CAAC,WAAW,EAAE,EACtG,0BAA0B,CAC3B,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,CAAC,MAAM,oCAAoC,CAAC,YAAY,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YACnF,MAAM,IAAI,kBAAkB,CAC1B,QAAQ,EACR,8BAA8B,MAAM,CAAC,WAAW,0EAA0E,EAC1H,gBAAgB,CACjB,CAAC;QACJ,CAAC;QACD,OAAO;YACL,eAAe;YACf,UAAU;YACV,YAAY;YACZ,QAAQ,EAAE;gBACR,WAAW,EAAE,MAAM,CAAC,WAAW;gBAC/B,YAAY,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;gBAC/D,OAAO,EAAE,4BAA4B,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC;aAClE;SACF,CAAC;IACJ,CAAC,CAAC;IACF,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,IAAI,EAAE,CAAC;IAC1C,MAAM,MAAM,GAAG,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACjD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACxC,MAAM,OAAO,GAAG,IAAI,EAAE,CAAC;IACvB,mBAAmB,CAAC,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC3C,KAAK,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE;QACtB,IAAI,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,OAAO;YAAE,mBAAmB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,QAAQ,CAAC,OAA6B,EAAE,MAAwB,EAAE,MAAsB;IAC/F,OAAO,UAAU,CAAC,QAAQ,CAAC;SACxB,MAAM,CAAC,6BAA6B,CAAC;SACrC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;SACpB,MAAM,CAAC,IAAI,CAAC;SACZ,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;SAC9B,MAAM,CAAC,IAAI,CAAC;SACZ,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;SAC9B,MAAM,CAAC,IAAI,CAAC;SACZ,MAAM,CAAC,OAAO,CAAC,YAAY,IAAI,GAAG,CAAC;SACnC,MAAM,CAAC,IAAI,CAAC;SACZ,MAAM,CAAC,OAAO,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC;SACxD,MAAM,CAAC,IAAI,CAAC;SACZ,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC;SAC1B,MAAM,CAAC,IAAI,CAAC;SACZ,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC;SAC1B,MAAM,CAAC,KAAK,CAAC,CAAC;AACnB,CAAC;AAED,SAAS,YAAY;IACnB,OAAO,KAAK,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;AAClC,CAAC;AAED,KAAK,UAAU,oBAAoB,CAAC,MAAc,EAAE,WAAmB;IACrE,MAAM,SAAS,GAAG,kBAAkB,CAAC,WAAW,EAAE,kBAAkB,CAAC,CAAC;IACtE,IAAI,CAAC;QACH,IAAI,CAAC,CAAC,MAAM,mBAAmB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QAClE,oEAAoE;QACpE,qEAAqE;QACrE,MAAM,KAAK,CAAC,SAAS,EAAE,YAAY,EAAE,CAAC,CAAC;QACvC,MAAM,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QACrC,OAAO,IAAI,CAAC;IACd,CAAC;YAAS,CAAC;QACT,MAAM,EAAE,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IAC9D,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,OAA6B;IACpE,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,mBAAmB,EAAE,CAAC;IACvD,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,MAAM,IAAI,kBAAkB,CAC1B,QAAQ,EACR,0BAA0B,EAAE,IAAI,gEAAgE,EAChG,oBAAoB,CACrB,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QACzC,MAAM,IAAI,kBAAkB,CAC1B,QAAQ,EACR,UAAU,OAAO,CAAC,UAAU,yBAAyB,MAAM,CAAC,IAAI,EAAE,EAClE,yBAAyB,CAC1B,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QAC9B,MAAM,IAAI,kBAAkB,CAC1B,QAAQ,EACR,2CAA2C,OAAO,CAAC,UAAU,0FAA0F,EACvJ,sBAAsB,CACvB,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,MAAM,EAAE,OAAO,CAAC,kBAAkB,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;IAC3F,MAAM,IAAI,GAAG,MAAM,qBAAqB,CACtC,OAAO,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CACvE,CAAC;IACF,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;IACvD,MAAM,MAAM,GAAG,IAAI,KAAK,IAAI;QAC1B,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,mBAAmB,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,GAAG,IAAI,OAAO,CAAC,UAAU,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;IAC3G,MAAM,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC9D,MAAM,QAAQ,GAAG;QACf,YAAY,EAAE,MAAM,CAAC,YAAY;KACF,CAAC;IAClC,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,eAAe,CAAC,MAAM,CAAC;QAChD,MAAM,oBAAoB,CAAC,MAAM,EAAE,OAAO,CAAC,UAAU,CAAC;QAAE,OAAO,QAAQ,CAAC;IAE5E,MAAM,KAAK,GAAG,kBAAkB,CAAC,OAAO,CAAC,UAAU,EAAE,UAAU,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;IACrF,MAAM,KAAK,GAAG,kBAAkB,CAAC,OAAO,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;IACrE,IAAI,CAAC;QACH,MAAM,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACtD,MAAM,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE;YAC9B,MAAM;YACN,SAAS,EAAE,KAAK;YAChB,UAAU,EAAE,KAAK;YACjB,YAAY,EAAE,OAAO,CAAC,UAAU;YAChC,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,aAAa,EAAE,OAAO,CAAC,YAAY,IAAI,GAAG;YAC1C,oBAAoB,EAAE,MAAM,CAAC,eAAe;YAC5C,qBAAqB,EAAE,MAAM;YAC7B,eAAe,EAAE,OAAO,CAAC,UAAU;SACpC,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QACpD,IAAI,OAAO,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YAChE,MAAM,IAAI,kBAAkB,CAC1B,QAAQ,EACR,6EAA6E,EAC7E,cAAc,CACf,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,CAAC,KAAK,EAAE,YAAY,EAAE,CAAC,CAAC;QACnC,wEAAwE;QACxE,uEAAuE;QACvE,sEAAsE;QACtE,IACE,MAAM,KAAK,IAAI;YACf,MAAM,oCAAoC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC;YAClF,MAAM,iBAAiB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QAChE,MAAM,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;QACxC,MAAM,eAAe,CAAC,IAAI,CAAC,CAAC;QAC5B,OAAO,QAAQ,CAAC;IAClB,CAAC;YAAS,CAAC;QACT,MAAM,OAAO,CAAC,GAAG,CAAC;YAChB,EAAE,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC;YACjD,EAAE,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC;SAClD,CAAC,CAAC;IACL,CAAC;AACH,CAAC"}
+{"version":3,"file":"native-codegen.js","sourceRoot":"","sources":["../../src/backend/native-codegen.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AACpC,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC/F,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EACL,cAAc,EACd,mBAAmB,EACnB,kBAAkB,EAClB,qBAAqB,EACrB,iBAAiB,EACjB,eAAe,EACf,eAAe,GAChB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,oCAAoC,EACpC,kCAAkC,GAEnC,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,mBAAmB,EACnB,0BAA0B,EAC1B,qBAAqB,GAGtB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAE/D,OAAO,EACL,kBAAkB,EAAE,4BAA4B,IAAI,qBAAqB,GAE1E,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,+BAA+B,EAAE,2BAA2B,EAAE,kBAAkB,GAEjF,MAAM,0BAA0B,CAAC;AAElC,MAAM,aAAa,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;AAoB1C,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAmC,CAAC;AAkBvE,SAAS,eAAe,CAAC,IAAY;IACnC,IAAI,CAAC;QACH,MAAM,MAAM,GAAY,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACzC,OAAO,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;YAC5E,CAAC,CAAC,MAAiC;YACnC,CAAC,CAAC,IAAI,CAAC;IACX,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,MAAc,EAAE,QAAgB;IAC5D,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAC9C,OAAO;QACL,GAAG,CAAC,OAAO,MAAM,EAAE,CAAC,MAAM,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzE,OAAO,EAAE,OAAO,MAAM,EAAE,CAAC,SAAS,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,QAAQ;KAChF,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,MAAM,CAAC,UAAkB,EAAE,IAAc;IACtD,IAAI,CAAC;QACH,OAAO,MAAM,aAAa,CAAC,UAAU,EAAE,IAAI,EAAE;YAC3C,QAAQ,EAAE,MAAM;YAChB,SAAS,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI;YAC3B,WAAW,EAAE,IAAI;SAClB,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,OAAO,GAAG,KAAqE,CAAC;QACtF,MAAM,MAAM,GAAG,OAAO,OAAO,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;QACxE,MAAM,MAAM,GAAG,oBAAoB,CAAC,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QAC7D,MAAM,IAAI,kBAAkB,CAC1B,QAAQ,EACR,4BAA4B,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,IAAI,GAAG,KAAK,MAAM,CAAC,OAAO,EAAE,EACrG,MAAM,CAAC,IAAI,CACZ,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,UAAU,4BAA4B,CAC1C,KAA8B,EAAE,MAAwB,EAAE,MAAwB;IAElF,OAAO,qBAAqB,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,sBAAsB,EAAE,CAAC,CAAC;AAChF,CAAC;AAED,KAAK,UAAU,aAAa,CAC1B,MAAwB,EACxB,QAAwC,EACxC,IAA8E;IAE9E,MAAM,MAAM,GAAG,qBAAqB,CAClC,MAAM,EACN,IAAI,EAAE,QAAQ,EACd,IAAI,EAAE,IAAI,EACV,IAAI,EAAE,SAAS,CAChB,CAAC;IACF,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,MAAM,IAAI,kBAAkB,CAC1B,QAAQ,EACR,mCAAmC,MAAM,CAAC,IAAI,eAAe,EAC7D,yBAAyB,CAC1B,CAAC;IACJ,CAAC;IACD,MAAM,kBAAkB,GAAG,QAAQ,IAAI,CAAC,CAAC,SAAiB,EAAE,EAAE,CAC5D,aAAa,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;IACrD,IAAI,eAAuB,CAAC;IAC5B,IAAI,CAAC;QACH,eAAe,GAAG,kBAAkB,CAAC,GAAG,MAAM,CAAC,WAAW,eAAe,CAAC,CAAC;IAC7E,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,kBAAkB,CAC1B,QAAQ,EACR,8BAA8B,MAAM,CAAC,WAAW,uFAAuF,EACvI,iBAAiB,CAClB,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,IAAI,CACrB,OAAO,CAAC,eAAe,CAAC,EACxB,KAAK,EACL,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC,sBAAsB,CACnF,CAAC;IACF,IAAI,UAAU,CAAC;IACf,IAAI,CAAC;QACH,UAAU,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,CAAC;QACpC,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,YAAY,CAAC,CAAC;IAC1D,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,kBAAkB,CAC1B,QAAQ,EACR,8BAA8B,MAAM,CAAC,WAAW,mBAAmB,UAAU,gCAAgC,EAC7G,gBAAgB,CACjB,CAAC;IACJ,CAAC;IACD,IAAI,CAAC;QACH,IACE,OAAO,CAAC,QAAQ,KAAK,OAAO;YAC5B,CAAC,CAAC,UAAU,CAAC,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YACpE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;QACvD,MAAM,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,kBAAkB,CAC1B,QAAQ,EACR,8BAA8B,MAAM,CAAC,WAAW,mBAAmB,UAAU,oDAAoD,EACjI,iBAAiB,CAClB,CAAC;IACJ,CAAC;IACD,IAAI,YAAwC,CAAC;IAC7C,IAAI,CAAC;QACH,YAAY,GAAG,MAAM,kCAAkC,CAAC,CAAC,eAAe,EAAE,UAAU,CAAC,CAAC,CAAC;IACzF,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,kBAAkB,CAC1B,QAAQ,EACR,8BAA8B,MAAM,CAAC,WAAW,sFAAsF,EACtI,gBAAgB,CACjB,CAAC;IACJ,CAAC;IACD,sEAAsE;IACtE,yEAAyE;IACzE,yEAAyE;IACzE,gEAAgE;IAChE,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;IACnF,MAAM,IAAI,GAAG,KAAK,IAA6B,EAAE;QAC/C,IAAI,MAAc,CAAC;QACnB,IAAI,MAAc,CAAC;QACnB,IAAI,CAAC;YACH,CAAC,EAAE,MAAM,EAAE,EAAE,MAAM,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;gBACvC,MAAM,CAAC,UAAU,EAAE,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC;gBAChD,QAAQ,CAAC,UAAU,CAAC;aACrB,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,IAAI,kBAAkB,CAC1B,QAAQ,EACR,8BAA8B,MAAM,CAAC,WAAW,2DAA2D,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,qBAAqB,EACtL,uBAAuB,CACxB,CAAC;QACJ,CAAC;QACD,MAAM,UAAU,GAAG,eAAe,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;QAClD,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;YACxB,MAAM,IAAI,kBAAkB,CAC1B,QAAQ,EACR,kFAAkF,MAAM,CAAC,WAAW,EAAE,EACtG,0BAA0B,CAC3B,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,CAAC,MAAM,oCAAoC,CAAC,YAAY,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YACnF,MAAM,IAAI,kBAAkB,CAC1B,QAAQ,EACR,8BAA8B,MAAM,CAAC,WAAW,0EAA0E,EAC1H,gBAAgB,CACjB,CAAC;QACJ,CAAC;QACD,OAAO;YACL,eAAe;YACf,UAAU;YACV,YAAY;YACZ,QAAQ,EAAE;gBACR,WAAW,EAAE,MAAM,CAAC,WAAW;gBAC/B,YAAY,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;gBAC/D,OAAO,EAAE,4BAA4B,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC;aAClE;SACF,CAAC;IACJ,CAAC,CAAC;IACF,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,IAAI,EAAE,CAAC;IAC1C,MAAM,MAAM,GAAG,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACjD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACxC,MAAM,OAAO,GAAG,IAAI,EAAE,CAAC;IACvB,mBAAmB,CAAC,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC3C,KAAK,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE;QACtB,IAAI,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,OAAO;YAAE,mBAAmB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,QAAQ,CAAC,OAA6B,EAAE,MAAwB,EAAE,MAAsB;IAC/F,OAAO,UAAU,CAAC,QAAQ,CAAC;SACxB,MAAM,CAAC,6BAA6B,CAAC;SACrC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;SACpB,MAAM,CAAC,IAAI,CAAC;SACZ,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;SAC9B,MAAM,CAAC,IAAI,CAAC;SACZ,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;SAC9B,MAAM,CAAC,IAAI,CAAC;SACZ,MAAM,CAAC,OAAO,CAAC,YAAY,IAAI,GAAG,CAAC;SACnC,MAAM,CAAC,IAAI,CAAC;SACZ,MAAM,CAAC,OAAO,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC;SACxD,MAAM,CAAC,IAAI,CAAC;SACZ,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC;SAC1B,MAAM,CAAC,IAAI,CAAC;SACZ,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC;SAC1B,MAAM,CAAC,KAAK,CAAC,CAAC;AACnB,CAAC;AAED,SAAS,YAAY;IACnB,OAAO,KAAK,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;AAClC,CAAC;AAED,KAAK,UAAU,oBAAoB,CAAC,MAAc,EAAE,WAAmB;IACrE,MAAM,SAAS,GAAG,kBAAkB,CAAC,WAAW,EAAE,kBAAkB,CAAC,CAAC;IACtE,IAAI,CAAC;QACH,IAAI,CAAC,CAAC,MAAM,mBAAmB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QAClE,oEAAoE;QACpE,qEAAqE;QACrE,MAAM,KAAK,CAAC,SAAS,EAAE,YAAY,EAAE,CAAC,CAAC;QACvC,MAAM,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QACrC,OAAO,IAAI,CAAC;IACd,CAAC;YAAS,CAAC;QACT,MAAM,EAAE,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IAC9D,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,OAA6B;IACpE,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,mBAAmB,EAAE,CAAC;IACvD,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,MAAM,IAAI,kBAAkB,CAC1B,QAAQ,EACR,0BAA0B,EAAE,IAAI,gEAAgE,EAChG,oBAAoB,CACrB,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QACzC,MAAM,IAAI,kBAAkB,CAC1B,QAAQ,EACR,UAAU,OAAO,CAAC,UAAU,yBAAyB,MAAM,CAAC,IAAI,EAAE,EAClE,yBAAyB,CAC1B,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QAC9B,MAAM,IAAI,kBAAkB,CAC1B,QAAQ,EACR,2CAA2C,OAAO,CAAC,UAAU,0FAA0F,EACvJ,sBAAsB,CACvB,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,MAAM,EAAE,OAAO,CAAC,kBAAkB,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;IAC3F,MAAM,IAAI,GAAG,MAAM,qBAAqB,CACtC,OAAO,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CACvE,CAAC;IACF,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;IACvD,MAAM,MAAM,GAAG,IAAI,KAAK,IAAI;QAC1B,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,mBAAmB,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,GAAG,IAAI,OAAO,CAAC,UAAU,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;IAC3G,MAAM,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC9D,MAAM,QAAQ,GAAG;QACf,YAAY,EAAE,MAAM,CAAC,YAAY;KACF,CAAC;IAClC,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,eAAe,CAAC,MAAM,CAAC;QAChD,MAAM,oBAAoB,CAAC,MAAM,EAAE,OAAO,CAAC,UAAU,CAAC;QAAE,OAAO,QAAQ,CAAC;IAE5E,MAAM,KAAK,GAAG,kBAAkB,CAAC,OAAO,CAAC,UAAU,EAAE,UAAU,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;IACrF,MAAM,KAAK,GAAG,kBAAkB,CAAC,OAAO,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;IACrE,IAAI,CAAC;QACH,MAAM,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACtD,MAAM,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE;YAC9B,MAAM;YACN,SAAS,EAAE,KAAK;YAChB,UAAU,EAAE,KAAK;YACjB,YAAY,EAAE,OAAO,CAAC,UAAU;YAChC,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,aAAa,EAAE,OAAO,CAAC,YAAY,IAAI,GAAG;YAC1C,oBAAoB,EAAE,MAAM,CAAC,eAAe;YAC5C,qBAAqB,EAAE,MAAM;YAC7B,eAAe,EAAE,OAAO,CAAC,UAAU;SACpC,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QACpD,IAAI,OAAO,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YAChE,MAAM,IAAI,kBAAkB,CAC1B,QAAQ,EACR,6EAA6E,EAC7E,cAAc,CACf,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,CAAC,KAAK,EAAE,YAAY,EAAE,CAAC,CAAC;QACnC,wEAAwE;QACxE,uEAAuE;QACvE,sEAAsE;QACtE,IACE,MAAM,KAAK,IAAI;YACf,MAAM,oCAAoC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC;YAClF,MAAM,iBAAiB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QAChE,MAAM,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;QACxC,MAAM,eAAe,CAAC,IAAI,CAAC,CAAC;QAC5B,OAAO,QAAQ,CAAC;IAClB,CAAC;YAAS,CAAC;QACT,MAAM,OAAO,CAAC,GAAG,CAAC;YAChB,EAAE,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC;YACjD,EAAE,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC;SAClD,CAAC,CAAC;IACL,CAAC;AACH,CAAC"}

package/dist/backend/native-codegen.test.js

@@ -66,7 +66,7 @@ function request(root, packageJson, output = join(root, "program.o"), target = M
         cacheRoot: join(root, "cache"),
     };
 }
-test("resolves the target's matching platform helper rather than a fixed macOS package", async () => {
+test("resolves the build host's platform helper", async () => {
     const pkg = await fakePackage();
     const output = join(pkg.root, "linux.o");
     await writeFile(pkg.packageJson, JSON.stringify({ name: LINUX_X64_GNU_TARGET.helperPackage }));
@@ -77,7 +77,7 @@ test("resolves the target's matching platform helper rather than a fixed macOS p
         .replaceAll(`"supported_targets":["${MACOS_ARM64_TARGET.llvmTriple}"]`, `"supported_targets":["${LINUX_X64_GNU_TARGET.llvmTriple}"]`));
     await emitNativeArtifact({
         ...request(pkg.root, pkg.packageJson, output, LINUX_X64_GNU_TARGET),
-        helperHost: { platform: "linux", arch: "x64" },
+        helperHost: { platform: "linux", arch: "x64", linuxLibc: "gnu" },
     });
     expect(await readFile(output, "utf8")).toContain("define i32 @answer");
 });