@scriptc/compiler 0.4.4 → 0.4.5

package/dist/backend/llvm/lazy-captures.d.ts

@@ -1,4 +1,5 @@
 import type { IrFunction } from "../../ir/ir.js";
+import { type IrNodeIndex } from "../../ir/node-index.js";
 /** A captured parameter that no code rebinds holds its entry value for the
  * whole call, so every environment may observe a box created when the first
  * closure is built instead of on function entry. Paths that never create a
@@ -6,6 +7,8 @@ import type { IrFunction } from "../../ir/ir.js";
  * function bodies; class environments keep the eager box. */
 export declare class LazyCaptures {
     private readonly functions;
+    /** The module's node index, read instead of walking the bodies it holds. */
+    private readonly nodes?;
     private readonly stable;
     private readonly once;
     private readonly unchangedParameters;
@@ -16,7 +19,9 @@ export declare class LazyCaptures {
     private readonly reboundAfterDeclaration;
     private readonly pending;
     private sites;
-    constructor(functions: ReadonlyMap<string, IrFunction>);
+    constructor(functions: ReadonlyMap<string, IrFunction>, 
+    /** The module's node index, read instead of walking the bodies it holds. */
+    nodes?: IrNodeIndex | undefined);
     /** The captures of closure body `fnName` that hold one value for the
      * closure's whole life: at every creation site the captured binding is
      * a parameter that nothing rebinds (see parameters) or, through nesting,

package/dist/backend/llvm/lazy-captures.js

@@ -1,4 +1,6 @@
 import { everyStmtList } from "../../ir/traverse.js";
+import { eachNodeOfKinds } from "../../ir/node-index.js";
+const CLOSURE_KINDS = ["closure"];
 /** The local a node rebinds. Writes through the bound reference, such as a
  * field store or an array push, leave the binding unchanged. Catch bindings
  * and rethrow targets are conservatively treated as rebinding. */
@@ -24,6 +26,7 @@ function rebound(node) {
  * function bodies; class environments keep the eager box. */
 export class LazyCaptures {
     functions;
+    nodes;
     stable = new Map();
     once = new Map();
     unchangedParameters = new Map();
@@ -34,8 +37,11 @@ export class LazyCaptures {
     reboundAfterDeclaration = new Map();
     pending = new Set();
     sites = null;
-    constructor(functions) {
+    constructor(functions, 
+    /** The module's node index, read instead of walking the bodies it holds. */
+    nodes) {
         this.functions = functions;
+        this.nodes = nodes;
     }
     /** The captures of closure body `fnName` that hold one value for the
      * closure's whole life: at every creation site the captured binding is
@@ -104,17 +110,16 @@ export class LazyCaptures {
         if (this.sites !== null)
             return this.sites;
         const sites = new Map();
+        const scan = this.nodes?.scan(CLOSURE_KINDS);
         for (const fn of this.functions.values()) {
-            const visit = (node) => {
+            eachNodeOfKinds(fn, scan, (node) => {
                 if (node.kind === "closure") {
                     let list = sites.get(node.fnName);
                     if (!list)
                         sites.set(node.fnName, (list = []));
                     list.push({ owner: fn.name, captures: node.captures });
                 }
-                return true;
-            };
-            everyStmtList(fn.body, { stmt: visit, expr: visit });
+            });
         }
         this.sites = sites;
         return sites;

package/dist/backend/llvm/lazy-captures.js.map

@@ -1 +1 @@
-{"version":3,"file":"lazy-captures.js","sourceRoot":"","sources":["../../../src/backend/llvm/lazy-captures.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAErD;;kEAEkE;AAClE,SAAS,OAAO,CAAC,IAAqB;IACpC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO,CAAC;QACb,KAAK,SAAS,CAAC;QACf,KAAK,YAAY,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,OAAO,CAAC;QACtB,KAAK,UAAU;YACb,OAAO,IAAI,CAAC,YAAY,CAAC;QAC3B;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED;;;;6DAI6D;AAC7D,MAAM,OAAO,YAAY;IAYM,SAAS;IAXrB,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAC;IACxC,IAAI,GAAG,IAAI,GAAG,EAAuB,CAAC;IACtC,mBAAmB,GAAG,IAAI,GAAG,EAA2B,CAAC;IAC1E;;4EAEwE;IACvD,OAAO,GAAG,IAAI,GAAG,EAA2B,CAAC;IAC7C,uBAAuB,GAAG,IAAI,GAAG,EAA2B,CAAC;IAC7D,OAAO,GAAG,IAAI,GAAG,EAAc,CAAC;IACzC,KAAK,GAAgE,IAAI,CAAC;IAElF,YAA6B,SAA0C;yBAA1C,SAAS;IAAoC,CAAC;IAE3E;;;;;uEAKmE;IACnE,cAAc,CAAC,MAAc;QAC3B,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACtC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;QACjC,oEAAoE;QACpE,yDAAyD;QACzD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAChC,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACtC,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC/C,IAAI,EAAE,EAAE,QAAQ,KAAK,SAAS,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS,IAAI,KAAK,KAAK,SAAS;YAC/E,OAAO,MAAM,CAAC;QAChB,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;YACrC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC7C,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;gBACpC,IAAI,KAAK,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;oBAAE,OAAO;gBACxD,IACE,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC;oBACnC,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC;oBACrC,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC;oBAE5C,OAAO;YACX,CAAC;YACD,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAC7E,CAAC,CAAC,CAAC;QACH,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;;sCAGkC;IAC1B,YAAY,CAAC,EAAc;QACjC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;QACjC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC/B,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;YAAE,OAAO,MAAM,CAAC;QAC5C,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QACxD,MAAM,UAAU,GAAG,IAAI,GAAG,CACxB,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CACjF,CAAC;QACF,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO,MAAM,CAAC;QACzC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC/C,MAAM,KAAK,GAAG,CAAC,IAAqB,EAAW,EAAE;YAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;gBACzD,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC5E,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,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;QACtD,KAAK,MAAM,EAAE,IAAI,UAAU;YAAE,IAAI,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChG,OAAO,MAAM,CAAC;IAChB,CAAC;IAEO,aAAa;QACnB,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC;QAC3C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAmD,CAAC;QACzE,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;YACzC,MAAM,KAAK,GAAG,CAAC,IAAqB,EAAW,EAAE;gBAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;oBAC5B,IAAI,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;oBAClC,IAAI,CAAC,IAAI;wBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;oBAC/C,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;gBACzD,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC,CAAC;YACF,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACvD,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,UAAU,CAAC,EAAc;QACvB,MAAM,KAAK,GAAG,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;QACjC,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACzC,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;YAAE,OAAO,MAAM,CAAC;QAC5C,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QACpE,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACxC,IAAI,KAAK,EAAE,KAAK,IAAI,CAAC,KAAK,CAAC,GAAG;gBAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC5D,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO,MAAM,CAAC;QACrC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,MAAM,CAAC;YAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAChE,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;2DACuD;IAC/C,UAAU,CAChB,EAAc,EACd,GAAwB,EACxB,gBAAgB,GAAG,KAAK;QAExB,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,gBAAgB,CAAC,CAAC;QACjD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,KAAK,MAAM,EAAE,IAAI,GAAG;YAAE,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACvD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;uEAEmE;IAC3D,SAAS,CAAC,EAAc,EAAE,gBAAyB;QACzD,MAAM,IAAI,GAAG,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC;QAC5E,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC3B,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,uEAAuE;QACvE,mEAAmE;QACnE,8CAA8C;QAC9C,IAAI,CAAC,gBAAgB;YAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAwD,EAAE,CAAC;QACvE,MAAM,KAAK,GAAG,CAAC,IAAqB,EAAW,EAAE;YAC/C,MAAM,MAAM,GAAG,gBAAgB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAClF,IAAI,MAAM,KAAK,IAAI;gBAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACzC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC7B,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,IAAI,EAAE;oBAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACxD,CAAC;iBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACnC,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAC/C,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE;oBAClC,MAAM,OAAO,GAAG,MAAM,EAAE,QAAQ,EAAE,CAAC,KAAK,CAAC,CAAC;oBAC1C,IAAI,CAAC,OAAO;wBAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;;wBACzB,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;gBAChF,CAAC,CAAC,CAAC;YACL,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,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;YAC1B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC;gBACzE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC7B,CAAC;QACD,IAAI,CAAC,gBAAgB;YAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;QACtB,OAAO,OAAO,CAAC;IACjB,CAAC;IAEO,WAAW,CAAC,MAAc,EAAE,OAAe;QACjD,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACtC,IAAI,EAAE,KAAK,SAAS,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO,KAAK,CAAC;QAC3D,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACjD,CAAC;CACF"}
+{"version":3,"file":"lazy-captures.js","sourceRoot":"","sources":["../../../src/backend/llvm/lazy-captures.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,eAAe,EAAqC,MAAM,wBAAwB,CAAC;AAE5F,MAAM,aAAa,GAA0B,CAAC,SAAS,CAAC,CAAC;AAEzD;;kEAEkE;AAClE,SAAS,OAAO,CAAC,IAAqB;IACpC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO,CAAC;QACb,KAAK,SAAS,CAAC;QACf,KAAK,YAAY,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,OAAO,CAAC;QACtB,KAAK,UAAU;YACb,OAAO,IAAI,CAAC,YAAY,CAAC;QAC3B;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED;;;;6DAI6D;AAC7D,MAAM,OAAO,YAAY;IAaJ,SAAS;IAET,KAAK;IAdP,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAC;IACxC,IAAI,GAAG,IAAI,GAAG,EAAuB,CAAC;IACtC,mBAAmB,GAAG,IAAI,GAAG,EAA2B,CAAC;IAC1E;;4EAEwE;IACvD,OAAO,GAAG,IAAI,GAAG,EAA2B,CAAC;IAC7C,uBAAuB,GAAG,IAAI,GAAG,EAA2B,CAAC;IAC7D,OAAO,GAAG,IAAI,GAAG,EAAc,CAAC;IACzC,KAAK,GAAgE,IAAI,CAAC;IAElF,YACmB,SAA0C;IAC3D,4EAA4E;IAC3D,KAAmB;yBAFnB,SAAS;qBAET,KAAK;IACrB,CAAC;IAEJ;;;;;uEAKmE;IACnE,cAAc,CAAC,MAAc;QAC3B,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACtC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;QACjC,oEAAoE;QACpE,yDAAyD;QACzD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAChC,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACtC,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC/C,IAAI,EAAE,EAAE,QAAQ,KAAK,SAAS,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS,IAAI,KAAK,KAAK,SAAS;YAC/E,OAAO,MAAM,CAAC;QAChB,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;YACrC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC7C,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;gBACpC,IAAI,KAAK,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;oBAAE,OAAO;gBACxD,IACE,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC;oBACnC,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC;oBACrC,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC;oBAE5C,OAAO;YACX,CAAC;YACD,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAC7E,CAAC,CAAC,CAAC;QACH,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;;sCAGkC;IAC1B,YAAY,CAAC,EAAc;QACjC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;QACjC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC/B,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;YAAE,OAAO,MAAM,CAAC;QAC5C,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QACxD,MAAM,UAAU,GAAG,IAAI,GAAG,CACxB,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CACjF,CAAC;QACF,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO,MAAM,CAAC;QACzC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC/C,MAAM,KAAK,GAAG,CAAC,IAAqB,EAAW,EAAE;YAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;gBACzD,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC5E,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,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;QACtD,KAAK,MAAM,EAAE,IAAI,UAAU;YAAE,IAAI,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChG,OAAO,MAAM,CAAC;IAChB,CAAC;IAEO,aAAa;QACnB,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC;QAC3C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAmD,CAAC;QACzE,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC;QAC7C,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;YACzC,eAAe,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;gBACjC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;oBAC5B,IAAI,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;oBAClC,IAAI,CAAC,IAAI;wBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;oBAC/C,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;gBACzD,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,UAAU,CAAC,EAAc;QACvB,MAAM,KAAK,GAAG,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;QACjC,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACzC,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;YAAE,OAAO,MAAM,CAAC;QAC5C,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QACpE,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACxC,IAAI,KAAK,EAAE,KAAK,IAAI,CAAC,KAAK,CAAC,GAAG;gBAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC5D,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO,MAAM,CAAC;QACrC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,MAAM,CAAC;YAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAChE,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;2DACuD;IAC/C,UAAU,CAChB,EAAc,EACd,GAAwB,EACxB,gBAAgB,GAAG,KAAK;QAExB,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,gBAAgB,CAAC,CAAC;QACjD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,KAAK,MAAM,EAAE,IAAI,GAAG;YAAE,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACvD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;uEAEmE;IAC3D,SAAS,CAAC,EAAc,EAAE,gBAAyB;QACzD,MAAM,IAAI,GAAG,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC;QAC5E,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC3B,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,uEAAuE;QACvE,mEAAmE;QACnE,8CAA8C;QAC9C,IAAI,CAAC,gBAAgB;YAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAwD,EAAE,CAAC;QACvE,MAAM,KAAK,GAAG,CAAC,IAAqB,EAAW,EAAE;YAC/C,MAAM,MAAM,GAAG,gBAAgB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAClF,IAAI,MAAM,KAAK,IAAI;gBAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACzC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC7B,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,IAAI,EAAE;oBAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACxD,CAAC;iBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACnC,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAC/C,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE;oBAClC,MAAM,OAAO,GAAG,MAAM,EAAE,QAAQ,EAAE,CAAC,KAAK,CAAC,CAAC;oBAC1C,IAAI,CAAC,OAAO;wBAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;;wBACzB,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;gBAChF,CAAC,CAAC,CAAC;YACL,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,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;YAC1B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC;gBACzE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC7B,CAAC;QACD,IAAI,CAAC,gBAAgB;YAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;QACtB,OAAO,OAAO,CAAC;IACjB,CAAC;IAEO,WAAW,CAAC,MAAc,EAAE,OAAe;QACjD,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACtC,IAAI,EAAE,KAAK,SAAS,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO,KAAK,CAAC;QAC3D,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACjD,CAAC;CACF"}

package/dist/backend/llvm/lib-abi.d.ts

@@ -10,6 +10,11 @@ export declare function callRuntime(host: LlvmEmitterContext, symbol: string, re
 export declare function finishRuntimeCall(host: LlvmEmitterContext, e: LibCallExpr, symbol: string, args: AbiArgument[]): LlValue;
 /** Strings inline their bytes; Buffer views carry a separate data pointer. */
 export declare function rawBytes(host: LlvmEmitterContext, value: LlValue): AbiArgument[];
+/** A TLS client's `ca` as rawBytes, with a null pointer for none: an empty
+ * string, which Node reads as no ca (and which an omitted ca lowers to).
+ * A Buffer's pointer is never null, so an empty one is an empty trust
+ * store. */
+export declare function caBytes(host: LlvmEmitterContext, value: LlValue): AbiArgument[];
 export declare function callbackType(value: LlValue): IrType & {
     kind: "func";
 };

package/dist/backend/llvm/lib-abi.js

@@ -47,6 +47,25 @@ export function rawBytes(host, value) {
         throw new InternalCompilerError("runtime byte argument must be a string or Buffer");
     return [ptr(data), { type: host.sizeType, name: length }];
 }
+/** A TLS client's `ca` as rawBytes, with a null pointer for none: an empty
+ * string, which Node reads as no ca (and which an omitted ca lowers to).
+ * A Buffer's pointer is never null, so an empty one is an empty trust
+ * store. */
+export function caBytes(host, value) {
+    const B = host.B;
+    const [data, length] = rawBytes(host, value);
+    const test = B.tmp(), pointer = B.tmp();
+    if (value.type.kind === "string") {
+        B.line(`${test} = icmp eq ${host.sizeType} ${length.name}, 0`);
+        B.line(`${pointer} = select i1 ${test}, ptr null, ptr ${data.name}`);
+    }
+    else {
+        // An empty Buffer's data pointer may be null; its object stands in.
+        B.line(`${test} = icmp eq ptr ${data.name}, null`);
+        B.line(`${pointer} = select i1 ${test}, ptr ${value.name}, ptr ${data.name}`);
+    }
+    return [ptr(pointer), length];
+}
 export function callbackType(value) {
     if (value.type.kind !== "func")
         throw new InternalCompilerError("runtime callback must be a function");

package/dist/backend/llvm/lib-abi.js.map

@@ -1 +1 @@
-{"version":3,"file":"lib-abi.js","sourceRoot":"","sources":["../../../src/backend/llvm/lib-abi.ts"],"names":[],"mappings":"AAAA,0DAA0D;AAC1D,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAe,MAAM,gBAAgB,CAAC;AAC7C,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAEhE,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAMxC,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,IAAI,GAAG,MAAM,EAAe,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AAC3E,MAAM,UAAU,QAAQ,CAAC,IAAwB,EAAE,KAAc;IAC/D,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;AAC7D,CAAC;AACD,MAAM,aAAa,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAEtF,MAAM,UAAU,WAAW,CACzB,IAAwB,EACxB,MAAc,EACd,UAAkB,EAClB,IAAmB;IAEnB,MAAM,MAAM,GAAG,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC;IAC/D,IAAI,CAAC,OAAO,CACV,WAAW,MAAM,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACzF,CAAC;IACF,MAAM,IAAI,GAAG,UAAU,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IACvD,IAAI,CAAC,CAAC,CAAC,IAAI,CACT,GAAG,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,QAAQ,MAAM,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACzI,CAAC;IACF,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,IAAwB,EACxB,CAAc,EACd,MAAc,EACd,IAAmB;IAEnB,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IAClE,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAC/F,IAAI,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAAE,IAAI,CAAC,gBAAgB,EAAE,CAAC;IACzD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,QAAQ,CAAC,IAAwB,EAAE,KAAc;IAC/D,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACpD,uEAAuE;QACvE,sEAAsE;QACtE,iEAAiE;QACjE,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,EAAE,sBAAsB,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjF,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IAC/C,CAAC;IACD,MAAM,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,EACvB,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EAChB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACjB,CAAC,CAAC,IAAI,CACJ,GAAG,SAAS,qCAAqC,KAAK,CAAC,IAAI,SAAS,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAC3F,CAAC;IACF,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,WAAW,IAAI,CAAC,QAAQ,SAAS,SAAS,EAAE,CAAC,CAAC;IAC9D,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACjC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,qCAAqC,KAAK,CAAC,IAAI,SAAS,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;IAClG,CAAC;SAAM,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACnE,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACxB,CAAC,CAAC,IAAI,CACJ,GAAG,OAAO,qCAAqC,KAAK,CAAC,IAAI,SAAS,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAC3F,CAAC;QACF,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,oBAAoB,OAAO,EAAE,CAAC,CAAC;IAC/C,CAAC;;QAAM,MAAM,IAAI,qBAAqB,CAAC,kDAAkD,CAAC,CAAC;IAC3F,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;AAC5D,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,KAAc;IACzC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QAC5B,MAAM,IAAI,qBAAqB,CAAC,qCAAqC,CAAC,CAAC;IACzE,OAAO,KAAK,CAAC,IAAI,CAAC;AACpB,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,IAAwB,EACxB,KAAc,EACd,MAAc,EACd,MAAgB;IAEhB,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACnB,IAAI,CAAC,OAAO,CAAC,iBAAiB,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9D,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAAwB,EAAE,KAAc;IACrE,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;IAChD,OAAO,eAAe,CAAC,IAAI,EAAE,KAAK,EAAE,yBAAyB,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;QACjF,KAAK;QACL,KAAK;QACL,KAAK;KACN,CAAC,CAAC;AACL,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,iBAAiB,CAC/B,IAAwB,EACxB,IAAY,EACZ,KAAa,EACb,WAA2B,EAC3B,UAAkC;IAElC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QACvB,MAAM,IAAI,qBAAqB,CAAC,yCAAyC,CAAC,CAAC;IAC7E,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC;IAC3D,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;IACrE,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;IACnE,IAAI,UAAU,GAAG,CAAC,IAAI,SAAS,GAAG,CAAC;QACjC,MAAM,IAAI,qBAAqB,CAAC,8CAA8C,CAAC,CAAC;IAClF,0EAA0E;IAC1E,IAAI,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAC7D,IAAI,MAAM,KAAK,MAAM;YAAE,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9D,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,EACzB,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,kBAAkB,KAAK,QAAQ,CAAC,CAAC;QACtD,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,gBAAgB,MAAM,SAAS,MAAM,SAAS,KAAK,EAAE,CAAC,CAAC;QAC5E,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IAC1C,CAAC;IACD,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,UAAU,CAAE,CAAC,CAAC;IAC9D,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,EACd,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,iBAAiB,CAAC,EACnC,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EACjC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;IACpC,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACvB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,kBAAkB,KAAK,QAAQ,CAAC,CAAC;IACjD,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;IAC1B,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IAClB,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,EAAE,mBAAmB,EAAE,KAAK,EAAE;QAC5D,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,UAAU,CAAC,EAAE;QACzC,GAAG,CAAC,KAAK,CAAC;QACV,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC;QACpB,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC;QACrB,GAAG,EAAE;KACN,CAAC,CAAC;IACH,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACvB,CAAC,CAAC,IAAI,CACJ,GAAG,MAAM,gBAAgB,OAAO,MAAM,GAAG,SAAS,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,MAAM,EAAE,IAAI,CAC5G,CAAC;IACF,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AAC1C,CAAC"}
+{"version":3,"file":"lib-abi.js","sourceRoot":"","sources":["../../../src/backend/llvm/lib-abi.ts"],"names":[],"mappings":"AAAA,0DAA0D;AAC1D,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAe,MAAM,gBAAgB,CAAC;AAC7C,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAEhE,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAMxC,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,IAAI,GAAG,MAAM,EAAe,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AAC3E,MAAM,UAAU,QAAQ,CAAC,IAAwB,EAAE,KAAc;IAC/D,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;AAC7D,CAAC;AACD,MAAM,aAAa,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAEtF,MAAM,UAAU,WAAW,CACzB,IAAwB,EACxB,MAAc,EACd,UAAkB,EAClB,IAAmB;IAEnB,MAAM,MAAM,GAAG,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC;IAC/D,IAAI,CAAC,OAAO,CACV,WAAW,MAAM,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACzF,CAAC;IACF,MAAM,IAAI,GAAG,UAAU,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IACvD,IAAI,CAAC,CAAC,CAAC,IAAI,CACT,GAAG,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,QAAQ,MAAM,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACzI,CAAC;IACF,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,IAAwB,EACxB,CAAc,EACd,MAAc,EACd,IAAmB;IAEnB,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IAClE,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAC/F,IAAI,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAAE,IAAI,CAAC,gBAAgB,EAAE,CAAC;IACzD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,QAAQ,CAAC,IAAwB,EAAE,KAAc;IAC/D,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACpD,uEAAuE;QACvE,sEAAsE;QACtE,iEAAiE;QACjE,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,EAAE,sBAAsB,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjF,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IAC/C,CAAC;IACD,MAAM,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,EACvB,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EAChB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACjB,CAAC,CAAC,IAAI,CACJ,GAAG,SAAS,qCAAqC,KAAK,CAAC,IAAI,SAAS,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAC3F,CAAC;IACF,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,WAAW,IAAI,CAAC,QAAQ,SAAS,SAAS,EAAE,CAAC,CAAC;IAC9D,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACjC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,qCAAqC,KAAK,CAAC,IAAI,SAAS,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;IAClG,CAAC;SAAM,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACnE,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACxB,CAAC,CAAC,IAAI,CACJ,GAAG,OAAO,qCAAqC,KAAK,CAAC,IAAI,SAAS,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAC3F,CAAC;QACF,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,oBAAoB,OAAO,EAAE,CAAC,CAAC;IAC/C,CAAC;;QAAM,MAAM,IAAI,qBAAqB,CAAC,kDAAkD,CAAC,CAAC;IAC3F,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;AAC5D,CAAC;AAED;;;YAGY;AACZ,MAAM,UAAU,OAAO,CAAC,IAAwB,EAAE,KAAc;IAC9D,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EAClB,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACpB,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACjC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,cAAc,IAAI,CAAC,QAAQ,IAAI,MAAO,CAAC,IAAI,KAAK,CAAC,CAAC;QAChE,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,gBAAgB,IAAI,mBAAmB,IAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IACxE,CAAC;SAAM,CAAC;QACN,oEAAoE;QACpE,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,kBAAkB,IAAK,CAAC,IAAI,QAAQ,CAAC,CAAC;QACpD,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,gBAAgB,IAAI,SAAS,KAAK,CAAC,IAAI,SAAS,IAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,MAAO,CAAC,CAAC;AACjC,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,KAAc;IACzC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QAC5B,MAAM,IAAI,qBAAqB,CAAC,qCAAqC,CAAC,CAAC;IACzE,OAAO,KAAK,CAAC,IAAI,CAAC;AACpB,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,IAAwB,EACxB,KAAc,EACd,MAAc,EACd,MAAgB;IAEhB,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACnB,IAAI,CAAC,OAAO,CAAC,iBAAiB,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9D,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAAwB,EAAE,KAAc;IACrE,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;IAChD,OAAO,eAAe,CAAC,IAAI,EAAE,KAAK,EAAE,yBAAyB,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;QACjF,KAAK;QACL,KAAK;QACL,KAAK;KACN,CAAC,CAAC;AACL,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,iBAAiB,CAC/B,IAAwB,EACxB,IAAY,EACZ,KAAa,EACb,WAA2B,EAC3B,UAAkC;IAElC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QACvB,MAAM,IAAI,qBAAqB,CAAC,yCAAyC,CAAC,CAAC;IAC7E,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC;IAC3D,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;IACrE,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;IACnE,IAAI,UAAU,GAAG,CAAC,IAAI,SAAS,GAAG,CAAC;QACjC,MAAM,IAAI,qBAAqB,CAAC,8CAA8C,CAAC,CAAC;IAClF,0EAA0E;IAC1E,IAAI,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAC7D,IAAI,MAAM,KAAK,MAAM;YAAE,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9D,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,EACzB,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,kBAAkB,KAAK,QAAQ,CAAC,CAAC;QACtD,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,gBAAgB,MAAM,SAAS,MAAM,SAAS,KAAK,EAAE,CAAC,CAAC;QAC5E,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IAC1C,CAAC;IACD,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,UAAU,CAAE,CAAC,CAAC;IAC9D,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,EACd,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,iBAAiB,CAAC,EACnC,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EACjC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;IACpC,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACvB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,kBAAkB,KAAK,QAAQ,CAAC,CAAC;IACjD,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;IAC1B,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IAClB,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,EAAE,mBAAmB,EAAE,KAAK,EAAE;QAC5D,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,UAAU,CAAC,EAAE;QACzC,GAAG,CAAC,KAAK,CAAC;QACV,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC;QACpB,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC;QACrB,GAAG,EAAE;KACN,CAAC,CAAC;IACH,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACvB,CAAC,CAAC,IAAI,CACJ,GAAG,MAAM,gBAAgB,OAAO,MAAM,GAAG,SAAS,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,MAAM,EAAE,IAAI,CAC5G,CAAC;IACF,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AAC1C,CAAC"}

package/dist/backend/llvm/lib-dispatch.js

@@ -9,15 +9,16 @@ import { FN_ATTRS, arrNewCall, traceArg, vAdapters } from "./shapes.js";
 /* Focused LLVM library-call emission extracted from emitter.ts. */
 import { InternalCompilerError } from "../../errors.js";
 import { MAY_THROW_LIB_FNS } from "../../ir/builtin-effects.js";
-import { F64 } from "../../ir/ir.js";
+import { BYTES_ELEMENT_SIZE, F64 } from "../../ir/ir.js";
 import { LlvmUnsupportedError } from "./unsupported.js";
 import { emitJsLibCall } from "./jsval.js";
 import { ASSERT_VERDICT_LIB_FNS, LIB_FN_SYMS, mockTimerSym, USES_TIMERS_LIB_FNS, } from "./lib-shared.js";
 import { isDynUndefined } from "../../ir/runtime-features.js";
 import { DYN_KIND } from "./dyn.js";
-import { rawBytes } from "./lib-abi.js";
+import { caBytes } from "./lib-abi.js";
 import { emitInlineAtomicsOp } from "./expr-bytes.js";
 import { regexLiteralCaptures } from "./regex-matchers.js";
+import { registerReplay } from "./emit-journal.js";
 /** ScrDyn.v.typed_ref.type_key_len: the low 27 bits of its bit-field word. */
 const TYPE_KEY_LEN_MASK = (1 << 27) - 1;
 export function emitAssertInspectLibCall(host, e) {
@@ -520,7 +521,8 @@ export function emitGenericLibCall(host, e) {
         // The https URL row is the http one with the TLS entry point — same
         // three arguments, same response-callback adapter. The https options
         // row is wider: rejectUnauthorized stays an i1, while its ScrStr or
-        // ScrBytes CA value expands to the runtime's raw pointer + length.
+        // ScrBytes CA value expands to the runtime's raw pointer + length
+        // (caBytes: a null pointer for none).
         const isTls = e.fn.startsWith("https.");
         const isUrl = e.fn.includes("requestUrl");
         const isTlsOptions = isTls && !isUrl;
@@ -554,7 +556,7 @@ export function emitGenericLibCall(host, e) {
         if (isTlsOptions) {
             callArgs = [
                 ...callArgs.slice(0, 8),
-                ...rawBytes(host, args[8]).map((arg) => `${arg.type} ${arg.name}`),
+                ...caBytes(host, args[8]).map((arg) => `${arg.type} ${arg.name}`),
             ];
             host.declare(`declare ptr @scr_https_request(ptr, double, ptr, ptr, double, ptr, i1 zeroext, i1 zeroext, ptr, ${host.sizeType}, ptr, ptr)`);
         }
@@ -572,6 +574,15 @@ export function emitGenericLibCall(host, e) {
     if (MAY_THROW_LIB_FNS.has(e.fn) && LIB_FN_SYMS[e.fn] === undefined) {
         throw new LlvmUnsupportedError(`libCall:${e.fn}`, e.loc);
     }
+    // A setter's write: the time value into the Date object (ScrDate.ms).
+    if (e.fn === "date.store") {
+        const date = emitBorrowedInput(host, e.args[0]).name;
+        const ms = host.emitExpr(e.args[1]).name;
+        const field = B.tmp();
+        B.line(`${field} = getelementptr inbounds i8, ptr ${date}, i64 8 ; ->ms`);
+        B.line(`store double ${ms}, ptr ${field}`);
+        return { name: ms, type: e.type };
+    }
     // queueMicrotask's checked-dynamic form carries the AsyncLocalStorage
     // context like the static one (lib-process.ts).
     const sym = mockTimerSym(host, e) ??
@@ -742,43 +753,70 @@ function emitAssertFailing(host, fn, args) {
  * no reference to them: their operands are lent (a comparator's
  * `a.name.localeCompare(b.name)` reads both fields without retaining). */
 const READ_ONLY_STRING_LIB_FNS = new Set(["str.localeCompare"]);
-/** The parameter count of a replace callback the runtime can call through
- * the closure ABI (scr_regex_replace_fn), or null when it needs the dyn
- * box. Each declared parameter must receive a value of its declared kind
- * in every match: the match string at 0; with more than one parameter the
+/** The most parameters scr_regex_replace_fn calls a replacer with
+ * (SCR_REPLACER_MAX_ARITY), the first bit of its string-or-undefined
+ * parameters (SCR_REPLACER_OPTIONAL), and its flag for a checked-dynamic
+ * result (SCR_REPLACER_BOXED_RESULT). */
+const REPLACER_MAX_ARITY = 6;
+const REPLACER_OPTIONAL = 2 ** 8;
+const REPLACER_BOXED_RESULT = 2 ** 31;
+/** `string | undefined` held as the string pointer, NULL for undefined. */
+function optionalStringType(host, type) {
+    if (type.kind !== "union")
+        return false;
+    const nullable = host.nullableUnions.get(type.unionId);
+    if (nullable?.repr !== "single" || nullable.arm.kind !== "string" || nullable.nullTag >= 0)
+        return false;
+    return host.unionsById.get(type.unionId)?.arms[nullable.unitTag]?.kind === "undefinedT";
+}
+/** The parameter count and kinds (scr_regex_replace_fn's `kinds`) of a
+ * replace callback the runtime can call through the closure ABI, or null
+ * when it needs the dyn box. A checked-dynamic parameter receives whatever
+ * Node passes at its position. Each typed parameter must receive a value of
+ * its declared kind in every match: the match string at 0; past 0 the
  * pattern must be a literal whose captures are known, so position i is a
- * capture that every match sets (a string), the offset (a number) right
- * after the captures, or the subject (a string) after that. */
-function typedReplacerArity(callback, pattern) {
+ * capture (a string when every match sets it, otherwise `string |
+ * undefined`), the offset (a number) right after the captures, or the
+ * subject (a string) after that. The result is a string or a
+ * checked-dynamic value. */
+function typedReplacerShape(host, callback, pattern) {
     if (callback.kind !== "func" || callback.rest || callback.argumentsAll)
         return null;
-    if (callback.ret.kind !== "string")
+    if (callback.ret.kind !== "string" && callback.ret.kind !== "dyn")
         return null;
     const params = callback.params;
-    if (params.length > 4)
-        return null;
-    if (params.length === 0)
-        return 0;
-    if (params[0].kind !== "string")
-        return null;
-    if (params.length === 1)
-        return 1;
-    if (pattern.kind !== "regexLit")
-        return null;
-    const captures = regexLiteralCaptures(pattern.pattern, pattern.flags);
-    if (!captures)
+    if (params.length > REPLACER_MAX_ARITY)
         return null;
-    for (let i = 1; i < params.length; i++) {
+    let kinds = callback.ret.kind === "dyn" ? REPLACER_BOXED_RESULT : 0;
+    let captures;
+    for (let i = 0; i < params.length; i++) {
         const kind = params[i].kind;
+        if (kind === "dyn") {
+            kinds += 2 ** i;
+            continue;
+        }
+        const optional = optionalStringType(host, params[i]);
+        if (i === 0) {
+            if (kind !== "string")
+                return null;
+            continue;
+        }
+        if (pattern.kind !== "regexLit")
+            return null;
+        captures ??= regexLiteralCaptures(pattern.pattern, pattern.flags);
+        if (!captures)
+            return null;
         const ok = i < captures.count
-            ? kind === "string" && captures.always[i] === true
+            ? (kind === "string" && captures.always[i] === true) || optional
             : i === captures.count
                 ? kind === "f64"
                 : i === captures.count + 1 && kind === "string";
         if (!ok)
             return null;
+        if (optional)
+            kinds += REPLACER_OPTIONAL * 2 ** i;
     }
-    return params.length;
+    return { arity: params.length, kinds };
 }
 /** `s.replace(re, fn)` / `replaceAll` with a typed callback the runtime can
  * call directly: the dyn box the IR wraps it in is never observable (the
@@ -788,16 +826,16 @@ function emitTypedRegexReplace(host, e) {
     const [subject, pattern, callback, all] = e.args;
     if (!subject || !pattern || callback?.kind !== "dynFrom" || all?.kind !== "boolLit")
         return null;
-    const arity = typedReplacerArity(callback.value.type, pattern);
-    if (arity === null)
+    const shape = typedReplacerShape(host, callback.value.type, pattern);
+    if (shape === null)
         return null;
     const B = host.B;
     const s = host.emitExpr(subject);
     const re = host.emitExpr(pattern);
     const fn = host.emitExpr(callback.value);
-    host.declare(`declare ptr @scr_regex_replace_fn(ptr, ptr, ptr, i32, i1 zeroext)`);
+    host.declare(`declare ptr @scr_regex_replace_fn(ptr, ptr, ptr, i32, i32, i1 zeroext)`);
     const result = B.tmp();
-    B.line(`${result} = call ptr @scr_regex_replace_fn(ptr ${s.name}, ptr ${re.name}, ptr ${fn.name}, i32 ${arity}, i1 zeroext ${all.value})`);
+    B.line(`${result} = call ptr @scr_regex_replace_fn(ptr ${s.name}, ptr ${re.name}, ptr ${fn.name}, i32 ${shape.arity}, i32 ${shape.kinds | 0}, i1 zeroext ${all.value})`);
     const output = host.own({ name: result, type: e.type });
     host.emitPendingCheck();
     return output;
@@ -849,6 +887,46 @@ export function emitLibCall(host, e) {
     }
     if (e.fn === "bytes.absent")
         return host.own({ name: "null", type: e.type });
+    if (e.fn === "bytes.disjoint") {
+        // [data, data + len * size) of each view, compared as addresses. A view
+        // that is not there (a binding the nest never assigned, NULL) answers
+        // false without reading its header, so the caller keeps its loop.
+        const B = host.B;
+        const values = e.args.map((arg) => ({ arg, value: host.emitReadReceiver(arg) }));
+        const present = values.map(({ value }) => {
+            const t = B.tmp();
+            B.line(`${t} = icmp ne ptr ${value.name}, null`);
+            return t;
+        });
+        const both = B.tmp();
+        B.line(`${both} = and i1 ${present[0]}, ${present[1]}`);
+        const compare = B.newLabel("disjoint.compare"), done = B.newLabel("disjoint.done");
+        const from = B.currentLabel();
+        B.condBr(both, compare, done);
+        B.startBlock(compare);
+        const range = (arg, pointer) => {
+            const size = arg.type.kind === "bytes" ? BYTES_ELEMENT_SIZE[arg.type.elem] : 1;
+            const dataSlot = B.tmp(), data = B.tmp(), lenSlot = B.tmp(), len = B.tmp(), bytes = B.tmp(), start = B.tmp(), end = B.tmp();
+            B.line(`${dataSlot} = getelementptr inbounds %ScrBytes, ptr ${pointer}, i64 0, i32 3`);
+            B.line(`${data} = load ptr, ptr ${dataSlot}`);
+            B.line(`${lenSlot} = getelementptr inbounds %ScrBytes, ptr ${pointer}, i64 0, i32 1`);
+            B.line(`${len} = load ${host.sizeType}, ptr ${lenSlot}`);
+            B.line(`${bytes} = mul ${host.sizeType} ${len}, ${size}`);
+            B.line(`${start} = ptrtoint ptr ${data} to ${host.sizeType}`);
+            B.line(`${end} = add ${host.sizeType} ${start}, ${bytes}`);
+            return { start, end };
+        };
+        const left = range(values[0].arg, values[0].value.name), right = range(values[1].arg, values[1].value.name);
+        const before = B.tmp(), after = B.tmp(), apart = B.tmp(), t = B.tmp();
+        B.line(`${before} = icmp ule ${host.sizeType} ${left.end}, ${right.start}`);
+        B.line(`${after} = icmp ule ${host.sizeType} ${right.end}, ${left.start}`);
+        B.line(`${apart} = or i1 ${before}, ${after}`);
+        const compared = B.currentLabel();
+        B.br(done);
+        B.startBlock(done);
+        B.line(`${t} = phi i1 [ false, %${from} ], [ ${apart}, %${compared} ]`);
+        return { name: t, type: e.type };
+    }
     if (e.fn === "record.isFrozen") {
         // The frozen bit of the record's rc word (scr_rc.h SCR_RC_FROZEN) is
         // its second-highest bit; an immortal word sets the highest one too.
@@ -989,6 +1067,24 @@ export function emitLibCall(host, e) {
         }
     }
 }
+/** The settlement adapter of Promise.all's tuple form for the builder
+ * `fnName`, which fulfills the result with the builder's tuple. */
+function allTupleAdapterFor(host, fnName, tuple) {
+    const key = `allTuple:${fnName}`;
+    let adapter = host.resolveThunks.get(key);
+    if (adapter !== undefined)
+        return adapter;
+    adapter = `sc_all_tuple_${host.resolveThunks.size}`;
+    host.resolveThunks.set(key, adapter);
+    host.journal?.allocated(adapter, "allTupleAdapterFor", [fnName, tuple]);
+    const rc = vAdapters(host.shapeHost, tuple);
+    host.declare(`declare ptr @scr_promise_payload_ref(ptr)`);
+    host.declare(`declare void @scr_promise_fulfill_ref(ptr, ptr, ptr, ptr, ptr)`);
+    host.resolveThunkDefs.push(`define internal void @${adapter}(ptr %dst, ptr %src) ${FN_ATTRS} { ; Promise.all tuple`, `entry:`, `  %entries = call ptr @scr_promise_payload_ref(ptr %src) ; +1, moves into the builder`, `  %tuple = call ptr @${host.callTarget(fnName)}(ptr %entries)`, `  call void @scr_promise_fulfill_ref(ptr %dst, ptr %tuple, ptr ${rc.retain}, ptr ${rc.release}, ptr ${traceArg(host.shapeHost, tuple)})`, `  ret void`, `}`, ``);
+    host.journal?.built();
+    return adapter;
+}
+registerReplay("allTupleAdapterFor", (host, args) => allTupleAdapterFor(host, args[0], args[1]));
 /** Promise.all's tuple form (promise.allTuple): the combinator over the
  * entries stores each fulfilled entry promise, and a settlement adapter on
  * the combinator calls the builder with them and fulfills the result with
@@ -1001,17 +1097,7 @@ function emitPromiseAllTuple(host, e) {
         throw new InternalCompilerError("llvm emitter bug: promise.allTuple shape");
     const entriesT = e.args[0].type;
     const entries = host.emitExpr(e.args[0]);
-    const tuple = e.type.inner;
-    const key = `allTuple:${build.fnName}`;
-    let adapter = host.resolveThunks.get(key);
-    if (adapter === undefined) {
-        adapter = `sc_all_tuple_${host.resolveThunks.size}`;
-        host.resolveThunks.set(key, adapter);
-        const rc = vAdapters(host.shapeHost, tuple);
-        host.declare(`declare ptr @scr_promise_payload_ref(ptr)`);
-        host.declare(`declare void @scr_promise_fulfill_ref(ptr, ptr, ptr, ptr, ptr)`);
-        host.resolveThunkDefs.push(`define internal void @${adapter}(ptr %dst, ptr %src) ${FN_ATTRS} { ; Promise.all tuple`, `entry:`, `  %entries = call ptr @scr_promise_payload_ref(ptr %src) ; +1, moves into the builder`, `  %tuple = call ptr @${host.callTarget(build.fnName)}(ptr %entries)`, `  call void @scr_promise_fulfill_ref(ptr %dst, ptr %tuple, ptr ${rc.retain}, ptr ${rc.release}, ptr ${traceArg(host.shapeHost, tuple)})`, `  ret void`, `}`, ``);
-    }
+    const adapter = allTupleAdapterFor(host, build.fnName, e.type.inner);
     host.declare(`declare ptr @scr_promise_all(ptr, ptr, ptr)`);
     host.declare(`declare void @scr_promise_all_store_promise(ptr, double, ptr)`);
     host.declare(`declare ptr @scr_promise_new()`);