@scriptc/compiler 0.4.1 → 0.4.2

package/dist/ir/final-fields.d.ts

@@ -1,4 +1,5 @@
 import { type IrClassDef, type IrModule } from "./ir.js";
+import { type DynamicFieldStores } from "./int32-slots.js";
 /** Whole-program final reference fields.
  *
  * A reference-counted class field is final when every write the program can
@@ -35,4 +36,4 @@ export declare function constructorClass(fnName: string): string | null;
 /** `scalars` extends the analysis from reference-counted fields to fields of
  * every type, for consumers that read a final field's value once instead of
  * borrowing it (field-values.ts). */
-export declare function analyzeFinalFields(mod: IrModule, scalars?: boolean): FinalFields;
+export declare function analyzeFinalFields(mod: IrModule, scalars?: boolean, stores?: DynamicFieldStores): FinalFields;

package/dist/ir/final-fields.js

@@ -76,12 +76,12 @@ export function constructorClass(fnName) {
 /** `scalars` extends the analysis from reference-counted fields to fields of
  * every type, for consumers that read a final field's value once instead of
  * borrowing it (field-values.ts). */
-export function analyzeFinalFields(mod, scalars = false) {
+export function analyzeFinalFields(mod, scalars = false, stores) {
     const classes = new Map((mod.classes ?? []).map((c) => [c.name, c]));
     const finals = new FinalFields(classes);
     if (mod.lib)
         return finals;
-    const dynamic = dynamicFieldStores(mod);
+    const dynamic = stores ?? dynamicFieldStores(mod);
     if (dynamic.all)
         return finals;
     const genericFamilies = new Set();

package/dist/ir/final-fields.js.map

@@ -1 +1 @@
-{"version":3,"file":"final-fields.js","sourceRoot":"","sources":["../../src/ir/final-fields.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAA4D,MAAM,SAAS,CAAC;AACjG,OAAO,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AACtD,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAE/D;;;;;;;;;;;;;;;;0BAgB0B;AAC1B,MAAM,OAAO,WAAW;IAMO,OAAO;IALnB,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IAC3B,QAAQ,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC7D,6DAA6D;IACpD,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE7C,YAA6B,OAAO,GAAoC,IAAI,GAAG,EAAE;uBAApD,OAAO;IAAgD,CAAC;IAErF,8EAA8E;IAC9E,MAAM,CAAC,SAAiB,EAAE,KAAa;QACrC,MAAM,GAAG,GAAG,GAAG,SAAS,KAAK,KAAK,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACtC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,IAAI,KAAK,GAA2B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAChE,IAAI,MAAM,GAAkB,IAAI,CAAC;QACjC,IAAI,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAChD,SAAS,CAAC;gBACR,MAAM,IAAI,GAA2B,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBAC3F,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC;oBAAE,MAAM;gBACvD,KAAK,GAAG,IAAI,CAAC;YACf,CAAC;YACD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACrC,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC/B,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,OAAO,CAAC,SAAiB,EAAE,KAAa;QACtC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QACzC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QAC7C,OAAO,MAAM,KAAK,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACpD,CAAC;IAED,IAAI,IAAI;QACN,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;IAC1B,CAAC;IAED,kDAAkD;IAClD,GAAG,CAAC,MAAc;QAChB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC1B,CAAC;IACD,IAAI,CAAC,MAAc,EAAE,GAAW;QAC9B,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAC7D,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC;CACF;AAED,MAAM,kBAAkB,GAAG,cAAc,CAAC;AAE1C,qEAAqE;AACrE,MAAM,UAAU,gBAAgB,CAAC,MAAc;IAC7C,OAAO,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,kBAAkB,CAAC;QAClE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;QAC7C,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED;;qCAEqC;AACrC,MAAM,UAAU,kBAAkB,CAAC,GAAa,EAAE,OAAO,GAAG,KAAK;IAC/D,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACrE,MAAM,MAAM,GAAG,IAAI,WAAW,CAAC,OAAO,CAAC,CAAC;IACxC,IAAI,GAAG,CAAC,GAAG;QAAE,OAAO,MAAM,CAAC;IAC3B,MAAM,OAAO,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC;IACxC,IAAI,OAAO,CAAC,GAAG;QAAE,OAAO,MAAM,CAAC;IAE/B,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1C,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,MAAM,EAAE;QAChC,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YAChC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC9B,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACrC,CAAC;IACH,MAAM,UAAU,GAAG,CAAC,GAAe,EAAW,EAAE;QAC9C,KAAK,IAAI,CAAC,GAA2B,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;YAC1F,IAAI,CAAC,CAAC,OAAO,IAAI,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC3D,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,OAAO,KAAK,CAAC;QACnD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,SAAiB,EAAE,MAAc,EAAW,EAAE;QAC9D,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QACpD,KAAK,IAAI,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;YAClF,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;gBAAE,OAAO,IAAI,CAAC;QACpC,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,MAAM,EAAE;QAChC,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YAC/B,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;gBAAE,SAAS;YACpF,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAE,CAAC;YACpD,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,SAAS;YACzC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,mCAAmC,CAAC,CAAC;iBAC1E,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;gBACpC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,mCAAmC,CAAC,CAAC;;gBACtD,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC1B,CAAC;IACH,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IAErC,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,gBAAgB,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACvC,MAAM,IAAI,GAAG,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/D,MAAM,SAAS,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACxF,qEAAqE;QACrE,MAAM,YAAY,GAAG,SAAS,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,IAAK,CAAC,CAAC;QAC/F,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;YAClC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC1B,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;gBACnD,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC5D,MAAM,GAAG,GACP,YAAY,IAAI,IAAI,KAAK,IAAI,IAAI,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,IAAK,CAAC,CAAC;oBAClF,IAAI,CAAC,GAAG;wBAAE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,cAAc,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;gBACzD,CAAC;YACH,CAAC;YACD,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACvC,CAAC,CAAC;QACF,2EAA2E;QAC3E,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;YAClC,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC;gBAClE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAE,EAAE,cAAc,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;YAC7E,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACvC,CAAC,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI;YAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;iEACiE;AACjE,SAAS,MAAM,CAAC,CAAS,EAAE,IAAY;IACrC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC,OAAO,KAAK,IAAI,CAAC;IACnD,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAC7E,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;QACxB,IACE,IAAI,CAAC,IAAI,KAAK,UAAU;YACxB,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;YAC5B,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,iBAAiB;YAClC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC;YAC9E,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC;YAE3B,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,OAAO,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,kBAAkB,CAAC,CAAS;IACnC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC;IAC/E,OAAO,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,kBAAkB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;AAC7D,CAAC;AAED,SAAS,SAAS,CAAC,IAAc,EAAE,OAAe;IAChD,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO;YAAE,KAAK,GAAG,IAAI,CAAC;QAC5F,OAAO,CAAC,KAAK,IAAI,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,IAAI,CAAC,CAAC,WAAW,KAAK,IAAI;YAAE,KAAK,GAAG,IAAI,CAAC;QACzF,OAAO,CAAC,KAAK,IAAI,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,IAAI;QAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAAE,MAAM;IAC1C,OAAO,KAAK,CAAC;AACf,CAAC"}
+{"version":3,"file":"final-fields.js","sourceRoot":"","sources":["../../src/ir/final-fields.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAA4D,MAAM,SAAS,CAAC;AACjG,OAAO,EAAE,kBAAkB,EAA2B,MAAM,kBAAkB,CAAC;AAC/E,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAE/D;;;;;;;;;;;;;;;;0BAgB0B;AAC1B,MAAM,OAAO,WAAW;IAMO,OAAO;IALnB,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IAC3B,QAAQ,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC7D,6DAA6D;IACpD,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE7C,YAA6B,OAAO,GAAoC,IAAI,GAAG,EAAE;uBAApD,OAAO;IAAgD,CAAC;IAErF,8EAA8E;IAC9E,MAAM,CAAC,SAAiB,EAAE,KAAa;QACrC,MAAM,GAAG,GAAG,GAAG,SAAS,KAAK,KAAK,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACtC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,IAAI,KAAK,GAA2B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAChE,IAAI,MAAM,GAAkB,IAAI,CAAC;QACjC,IAAI,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAChD,SAAS,CAAC;gBACR,MAAM,IAAI,GAA2B,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBAC3F,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC;oBAAE,MAAM;gBACvD,KAAK,GAAG,IAAI,CAAC;YACf,CAAC;YACD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACrC,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC/B,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,OAAO,CAAC,SAAiB,EAAE,KAAa;QACtC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QACzC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QAC7C,OAAO,MAAM,KAAK,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACpD,CAAC;IAED,IAAI,IAAI;QACN,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;IAC1B,CAAC;IAED,kDAAkD;IAClD,GAAG,CAAC,MAAc;QAChB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC1B,CAAC;IACD,IAAI,CAAC,MAAc,EAAE,GAAW;QAC9B,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAC7D,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC;CACF;AAED,MAAM,kBAAkB,GAAG,cAAc,CAAC;AAE1C,qEAAqE;AACrE,MAAM,UAAU,gBAAgB,CAAC,MAAc;IAC7C,OAAO,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,kBAAkB,CAAC;QAClE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;QAC7C,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED;;qCAEqC;AACrC,MAAM,UAAU,kBAAkB,CAChC,GAAa,EACb,OAAO,GAAG,KAAK,EACf,MAA2B;IAE3B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACrE,MAAM,MAAM,GAAG,IAAI,WAAW,CAAC,OAAO,CAAC,CAAC;IACxC,IAAI,GAAG,CAAC,GAAG;QAAE,OAAO,MAAM,CAAC;IAC3B,MAAM,OAAO,GAAG,MAAM,IAAI,kBAAkB,CAAC,GAAG,CAAC,CAAC;IAClD,IAAI,OAAO,CAAC,GAAG;QAAE,OAAO,MAAM,CAAC;IAE/B,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1C,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,MAAM,EAAE;QAChC,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YAChC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC9B,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACrC,CAAC;IACH,MAAM,UAAU,GAAG,CAAC,GAAe,EAAW,EAAE;QAC9C,KAAK,IAAI,CAAC,GAA2B,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;YAC1F,IAAI,CAAC,CAAC,OAAO,IAAI,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC3D,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,OAAO,KAAK,CAAC;QACnD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,SAAiB,EAAE,MAAc,EAAW,EAAE;QAC9D,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QACpD,KAAK,IAAI,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;YAClF,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;gBAAE,OAAO,IAAI,CAAC;QACpC,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,MAAM,EAAE;QAChC,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YAC/B,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;gBAAE,SAAS;YACpF,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAE,CAAC;YACpD,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,SAAS;YACzC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,mCAAmC,CAAC,CAAC;iBAC1E,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;gBACpC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,mCAAmC,CAAC,CAAC;;gBACtD,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC1B,CAAC;IACH,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IAErC,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,gBAAgB,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACvC,MAAM,IAAI,GAAG,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/D,MAAM,SAAS,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACxF,qEAAqE;QACrE,MAAM,YAAY,GAAG,SAAS,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,IAAK,CAAC,CAAC;QAC/F,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;YAClC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC1B,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;gBACnD,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC5D,MAAM,GAAG,GACP,YAAY,IAAI,IAAI,KAAK,IAAI,IAAI,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,IAAK,CAAC,CAAC;oBAClF,IAAI,CAAC,GAAG;wBAAE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,cAAc,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;gBACzD,CAAC;YACH,CAAC;YACD,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACvC,CAAC,CAAC;QACF,2EAA2E;QAC3E,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;YAClC,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC;gBAClE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAE,EAAE,cAAc,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;YAC7E,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACvC,CAAC,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI;YAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;iEACiE;AACjE,SAAS,MAAM,CAAC,CAAS,EAAE,IAAY;IACrC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC,OAAO,KAAK,IAAI,CAAC;IACnD,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAC7E,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;QACxB,IACE,IAAI,CAAC,IAAI,KAAK,UAAU;YACxB,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;YAC5B,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,iBAAiB;YAClC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC;YAC9E,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC;YAE3B,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,OAAO,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,kBAAkB,CAAC,CAAS;IACnC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC;IAC/E,OAAO,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,kBAAkB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;AAC7D,CAAC;AAED,SAAS,SAAS,CAAC,IAAc,EAAE,OAAe;IAChD,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO;YAAE,KAAK,GAAG,IAAI,CAAC;QAC5F,OAAO,CAAC,KAAK,IAAI,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,IAAI,CAAC,CAAC,WAAW,KAAK,IAAI;YAAE,KAAK,GAAG,IAAI,CAAC;QACzF,OAAO,CAAC,KAAK,IAAI,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,IAAI;QAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAAE,MAAM;IAC1C,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/ir/function-references.test.js

@@ -160,6 +160,8 @@ const MODULE_FIELDS = {
     "contracts.programLifetime[]": "other",
     "wasmModules[].sha256": "other",
     "wasmModules[].bytes": "other",
+    "wasmUntranslated[].sha256": "other",
+    "wasmUntranslated[].reason": "other",
     "threadSlotKeys[]": "other",
 };
 const loc = { file: "references.ts", start: 0, end: 0 };

package/dist/ir/function-references.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"function-references.test.js","sourceRoot":"","sources":["../../src/ir/function-references.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,qBAAqB,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AAC3F,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EACL,GAAG,EACH,IAAI,GAOL,MAAM,SAAS,CAAC;AACjB,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AA0C9C,MAAM,WAAW,GAAuB;IACtC,MAAM,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE;IAC7B,MAAM,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE;IAC1B,WAAW,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE;IAClC,MAAM,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC5B,MAAM,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC5B,WAAW,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IACnD,UAAU,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAChC,SAAS,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;IACjC,QAAQ,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE;IACzB,SAAS,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE;IAC1B,QAAQ,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAC9C,eAAe,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE;IACtD,IAAI,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE;IAC1B,OAAO,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IAC5B,OAAO,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE,OAAO,EAAE;IACvD,GAAG,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE;IAC3B,QAAQ,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE;IACvD,UAAU,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE;IAClC,WAAW,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE;IAC3E,QAAQ,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAChD,SAAS,EAAE,EAAE,eAAe,EAAE,OAAO,EAAE;IACvC,WAAW,EAAE,EAAE,kBAAkB,EAAE,OAAO,EAAE;IAC5C,SAAS,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAC/C,YAAY,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAClC,OAAO,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IAC5B,OAAO,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,gBAAgB,EAAE,OAAO,EAAE;IAC3D,SAAS,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE;IACnD,SAAS,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE;IAC3B,aAAa,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE;IACxD,QAAQ,EAAE,EAAE,kBAAkB,EAAE,OAAO,EAAE;IACzC,aAAa,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IACnC,YAAY,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAClC,eAAe,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IACrC,SAAS,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAC/C,WAAW,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IACjC,SAAS,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC/B,WAAW,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE;IAClD,WAAW,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IACjC,UAAU,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE;IAClC,WAAW,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE;IACnC,WAAW,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IACjC,SAAS,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAC/C,WAAW,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IACjC,UAAU,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAChC,OAAO,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC7B,aAAa,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;CACnC,CAAC;AAEF,MAAM,WAAW,GAAuB;IACtC,OAAO,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC7B,MAAM,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC5B,KAAK,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE;IAC9B,OAAO,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE;IAChC,MAAM,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE;IAC/B,GAAG,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE;IAC5B,KAAK,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE;IAChD,QAAQ,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAChD,SAAS,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAC/C,YAAY,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAClC,eAAe,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IACrC,KAAK,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE;IACzB,QAAQ,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE;IAC5B,KAAK,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE;IAC9B,YAAY,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE;IACjD,OAAO,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC7B,QAAQ,EAAE,EAAE,YAAY,EAAE,OAAO,EAAE;CACpC,CAAC;AAEF,MAAM,WAAW,GAAuB;IACtC,MAAM,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE;IAC9B,MAAM,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC5B,QAAQ,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE;IAChC,QAAQ,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE;IAC/B,KAAK,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;CAC5B,CAAC;AAEF,MAAM,eAAe,GAAyD;IAC5E,IAAI,EAAE,OAAO;IACb,UAAU,EAAE,OAAO;IACnB,gBAAgB,EAAE,OAAO;IACzB,qBAAqB,EAAE,OAAO;IAC9B,eAAe,EAAE,OAAO;IACxB,kBAAkB,EAAE,OAAO;IAC3B,eAAe,EAAE,OAAO;IACxB,aAAa,EAAE,OAAO;IACtB,iBAAiB,EAAE,OAAO;IAC1B,oBAAoB,EAAE,OAAO;IAC7B,sBAAsB,EAAE,OAAO;IAC/B,yBAAyB,EAAE,OAAO;IAClC,eAAe,EAAE,OAAO;CACzB,CAAC;AAEF,MAAM,aAAa,GAA4D;IAC7E,UAAU,EAAE,OAAO;IACnB,KAAK,EAAE,WAAW;IAClB,gBAAgB,EAAE,OAAO;IACzB,gBAAgB,EAAE,OAAO;IACzB,kBAAkB,EAAE,OAAO;IAC3B,qBAAqB,EAAE,OAAO;IAC9B,2BAA2B,EAAE,OAAO;IACpC,0BAA0B,EAAE,OAAO;IACnC,+BAA+B,EAAE,WAAW;IAC5C,mCAAmC,EAAE,WAAW;IAChD,gCAAgC,EAAE,OAAO;IACzC,mCAAmC,EAAE,OAAO;IAC5C,gCAAgC,EAAE,OAAO;IACzC,mCAAmC,EAAE,OAAO;IAC5C,yBAAyB,EAAE,OAAO;IAClC,qBAAqB,EAAE,QAAQ;IAC/B,4BAA4B,EAAE,OAAO;IACrC,6BAA6B,EAAE,QAAQ;IACvC,cAAc,EAAE,OAAO;IACvB,gBAAgB,EAAE,OAAO;IACzB,oBAAoB,EAAE,OAAO;IAC7B,cAAc,EAAE,OAAO;IACvB,yBAAyB,EAAE,OAAO;IAClC,2BAA2B,EAAE,OAAO;IACpC,2BAA2B,EAAE,OAAO;IACpC,aAAa,EAAE,OAAO;IACtB,6BAA6B,EAAE,OAAO;IACtC,wCAAwC,EAAE,OAAO;IACjD,mBAAmB,EAAE,OAAO;IAC5B,qBAAqB,EAAE,OAAO;IAC9B,sBAAsB,EAAE,OAAO;IAC/B,6BAA6B,EAAE,OAAO;IACtC,+BAA+B,EAAE,OAAO;IACxC,mCAAmC,EAAE,OAAO;IAC5C,wCAAwC,EAAE,OAAO;IACjD,iDAAiD,EAAE,OAAO;IAC1D,iBAAiB,EAAE,OAAO;IAC1B,YAAY,EAAE,OAAO;IACrB,gBAAgB,EAAE,OAAO;IACzB,wBAAwB,EAAE,OAAO;IACjC,mBAAmB,EAAE,OAAO;IAC5B,uBAAuB,EAAE,OAAO;IAChC,4BAA4B,EAAE,OAAO;IACrC,sBAAsB,EAAE,OAAO;IAC/B,kCAAkC,EAAE,OAAO;IAC3C,sBAAsB,EAAE,OAAO;IAC/B,sBAAsB,EAAE,WAAW;IACnC,gCAAgC,EAAE,OAAO;IACzC,8BAA8B,EAAE,OAAO;IACvC,kCAAkC,EAAE,OAAO;IAC3C,yBAAyB,EAAE,OAAO;IAClC,6BAA6B,EAAE,OAAO;IACtC,gCAAgC,EAAE,OAAO;IACzC,4BAA4B,EAAE,OAAO;IACrC,+BAA+B,EAAE,OAAO;IACxC,sBAAsB,EAAE,OAAO;IAC/B,yBAAyB,EAAE,OAAO;IAClC,yBAAyB,EAAE,OAAO;IAClC,0BAA0B,EAAE,MAAM;IAClC,yBAAyB,EAAE,OAAO;IAClC,2BAA2B,EAAE,OAAO;IACpC,qBAAqB,EAAE,MAAM;IAC7B,qBAAqB,EAAE,OAAO;IAC9B,6BAA6B,EAAE,OAAO;IACtC,6BAA6B,EAAE,OAAO;IACtC,sBAAsB,EAAE,OAAO;IAC/B,qBAAqB,EAAE,OAAO;IAC9B,kBAAkB,EAAE,OAAO;CAC5B,CAAC;AAEF,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACxD,MAAM,MAAM,GAAG,YAAY,CAAC;AAC5B,MAAM,MAAM,GAAe;IACzB,IAAI,EAAE,MAAM;IACZ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAChD,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC1D,UAAU,EAAE,IAAI;IAChB,IAAI,EAAE,EAAE;IACR,GAAG;CACJ,CAAC;AACF,MAAM,KAAK,GAAG,CAAC,IAAI,GAAa,EAAE,EAAc,EAAE,CAAC,CAAC;IAClD,IAAI,EAAE,OAAO;IACb,MAAM,EAAE,EAAE;IACV,MAAM,EAAE,EAAE;IACV,UAAU,EAAE,IAAI;IAChB,IAAI;IACJ,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,MAAM,GAAG,CAAC,IAAI,GAAa,EAAE,EAAY,EAAE,CAAC,CAAC;IACjD,SAAS,EAAE,EAAE;IACb,UAAU,EAAE,GAAG,CAAC,IAAI;IACpB,KAAK,EAAE,OAAO;IACd,SAAS,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;CACjC,CAAC,CAAC;AACH,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAE7E;wCACwC;AACxC,MAAM,kBAAkB,GAAmC;IACzD,gBAAgB,EAAE,GAAG,EAAE,CACrB,MAAM,CAAC;QACL,QAAQ,CAAC;YACP,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,MAAM;YACd,QAAQ,EAAE,EAAE;YACZ,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE;YAChD,GAAG;SACJ,CAAC;KACH,CAAC;IACJ,iBAAiB,EAAE,GAAG,EAAE,CACtB,MAAM,CAAC;QACL,QAAQ,CAAC;YACP,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YAClD,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YACnD,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;KACH,CAAC;IACJ,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAC7C,+BAA+B,EAAE,GAAG,EAAE,CAAC,CAAC;QACtC,GAAG,MAAM,EAAE;QACX,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,mBAAmB,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;KAC9E,CAAC;IACF,mCAAmC,EAAE,GAAG,EAAE,CAAC,CAAC;QAC1C,GAAG,MAAM,EAAE;QACX,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,uBAAuB,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;KAClF,CAAC;IACF,sBAAsB,EAAE,GAAG,EAAE,CAAC,CAAC;QAC7B,GAAG,MAAM,EAAE;QACX,GAAG,EAAE;YACH,WAAW,EAAE,YAAY;YACzB,MAAM,EAAE,MAAM;YACd,UAAU,EAAE,UAAU;YACtB,kBAAkB,EAAE,UAAU;YAC9B,aAAa,EAAE,IAAI;YACnB,iBAAiB,EAAE,IAAI;YACvB,eAAe,EAAE,KAAK;YACtB,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;YACrF,YAAY,EAAE,EAAE;SACjB;KACF,CAAC;CACH,CAAC;AAEF,SAAS,YAAY,CAAC,GAAa;IACjC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC,CAAC;IACrD,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS;QAC5B,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;YACrB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;gBACb,MAAM,IAAI,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;gBACzC,IAAI,IAAI,KAAK,SAAS;oBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACxC,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;SACjB,CAAC,CAAC;IACL,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,cAAc,GAAG,CAAC,KAAa,EAAE,MAAc,EAAY,EAAE,CACjE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAC7C,OAAO,KAAK,KAAK,QAAQ;IACvB,CAAC,CAAC,KAAK,KAAK,WAAW;QACrB,CAAC,CAAC,CAAC,MAAM,GAAG,GAAG,CAAC;QAChB,CAAC,CAAC,EAAE;IACN,CAAC,CAAC,cAAc,CAAC,KAAe,EAAE,GAAG,GAAG,GAAG,CAAC,CAC/C,CAAC;AAEJ,IAAI,CAAC,iEAAiE,EAAE,GAAG,EAAE;IAC3E,MAAM,UAAU,GAAG;QACjB,GAAG,cAAc,CAAC,WAAW,EAAE,EAAE,CAAC;QAClC,GAAG,cAAc,CAAC,WAAW,EAAE,EAAE,CAAC;QAClC,GAAG,cAAc,CAAC,WAAW,EAAE,EAAE,CAAC;QAClC,GAAG,cAAc,CAAC,eAAe,EAAE,cAAc,CAAC;QAClD,GAAG,cAAc,CAAC,aAAa,EAAE,EAAE,CAAC;KACrC,CAAC;IACF,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AAC5E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,yBAAyB,EAAE,CAAC,IAAI,EAAE,EAAE;IAC7E,MAAM,GAAG,GAAG,kBAAkB,CAAC,IAAI,CAAE,EAAE,CAAC;IACxC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,iBAAiB,CAAC,GAAG,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAClE,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACpD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,8DAA8D,EAAE,GAAG,EAAE;IACxE,MAAM,GAAG,GAAG,MAAM,CAAC;QACjB,QAAQ,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACrE,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,CAAC;QAC1E,QAAQ,CAAC;YACP,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YACnD,MAAM,EAAE,MAAM;YACd,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE;YACrB,GAAG;SACJ,CAAC;KACH,CAAC,CAAC;IACH,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClD,MAAM,CAAC,iBAAiB,CAAC,GAAG,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACnG,CAAC,CAAC,CAAC"}
+{"version":3,"file":"function-references.test.js","sourceRoot":"","sources":["../../src/ir/function-references.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,qBAAqB,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AAC3F,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EACL,GAAG,EACH,IAAI,GAOL,MAAM,SAAS,CAAC;AACjB,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AA0C9C,MAAM,WAAW,GAAuB;IACtC,MAAM,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE;IAC7B,MAAM,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE;IAC1B,WAAW,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE;IAClC,MAAM,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC5B,MAAM,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC5B,WAAW,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IACnD,UAAU,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAChC,SAAS,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;IACjC,QAAQ,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE;IACzB,SAAS,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE;IAC1B,QAAQ,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAC9C,eAAe,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE;IACtD,IAAI,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE;IAC1B,OAAO,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IAC5B,OAAO,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE,OAAO,EAAE;IACvD,GAAG,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE;IAC3B,QAAQ,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE;IACvD,UAAU,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE;IAClC,WAAW,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE;IAC3E,QAAQ,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAChD,SAAS,EAAE,EAAE,eAAe,EAAE,OAAO,EAAE;IACvC,WAAW,EAAE,EAAE,kBAAkB,EAAE,OAAO,EAAE;IAC5C,SAAS,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAC/C,YAAY,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAClC,OAAO,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;IAC5B,OAAO,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,gBAAgB,EAAE,OAAO,EAAE;IAC3D,SAAS,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE;IACnD,SAAS,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE;IAC3B,aAAa,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE;IACxD,QAAQ,EAAE,EAAE,kBAAkB,EAAE,OAAO,EAAE;IACzC,aAAa,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IACnC,YAAY,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAClC,eAAe,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IACrC,SAAS,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAC/C,WAAW,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IACjC,SAAS,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC/B,WAAW,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE;IAClD,WAAW,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IACjC,UAAU,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE;IAClC,WAAW,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE;IACnC,WAAW,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IACjC,SAAS,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAC/C,WAAW,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IACjC,UAAU,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAChC,OAAO,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC7B,aAAa,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;CACnC,CAAC;AAEF,MAAM,WAAW,GAAuB;IACtC,OAAO,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC7B,MAAM,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC5B,KAAK,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE;IAC9B,OAAO,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE;IAChC,MAAM,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE;IAC/B,GAAG,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE;IAC5B,KAAK,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE;IAChD,QAAQ,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAChD,SAAS,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAC/C,YAAY,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAClC,eAAe,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IACrC,KAAK,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE;IACzB,QAAQ,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE;IAC5B,KAAK,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE;IAC9B,YAAY,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE;IACjD,OAAO,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC7B,QAAQ,EAAE,EAAE,YAAY,EAAE,OAAO,EAAE;CACpC,CAAC;AAEF,MAAM,WAAW,GAAuB;IACtC,MAAM,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE;IAC9B,MAAM,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;IAC5B,QAAQ,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE;IAChC,QAAQ,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE;IAC/B,KAAK,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;CAC5B,CAAC;AAEF,MAAM,eAAe,GAAyD;IAC5E,IAAI,EAAE,OAAO;IACb,UAAU,EAAE,OAAO;IACnB,gBAAgB,EAAE,OAAO;IACzB,qBAAqB,EAAE,OAAO;IAC9B,eAAe,EAAE,OAAO;IACxB,kBAAkB,EAAE,OAAO;IAC3B,eAAe,EAAE,OAAO;IACxB,aAAa,EAAE,OAAO;IACtB,iBAAiB,EAAE,OAAO;IAC1B,oBAAoB,EAAE,OAAO;IAC7B,sBAAsB,EAAE,OAAO;IAC/B,yBAAyB,EAAE,OAAO;IAClC,eAAe,EAAE,OAAO;CACzB,CAAC;AAEF,MAAM,aAAa,GAA4D;IAC7E,UAAU,EAAE,OAAO;IACnB,KAAK,EAAE,WAAW;IAClB,gBAAgB,EAAE,OAAO;IACzB,gBAAgB,EAAE,OAAO;IACzB,kBAAkB,EAAE,OAAO;IAC3B,qBAAqB,EAAE,OAAO;IAC9B,2BAA2B,EAAE,OAAO;IACpC,0BAA0B,EAAE,OAAO;IACnC,+BAA+B,EAAE,WAAW;IAC5C,mCAAmC,EAAE,WAAW;IAChD,gCAAgC,EAAE,OAAO;IACzC,mCAAmC,EAAE,OAAO;IAC5C,gCAAgC,EAAE,OAAO;IACzC,mCAAmC,EAAE,OAAO;IAC5C,yBAAyB,EAAE,OAAO;IAClC,qBAAqB,EAAE,QAAQ;IAC/B,4BAA4B,EAAE,OAAO;IACrC,6BAA6B,EAAE,QAAQ;IACvC,cAAc,EAAE,OAAO;IACvB,gBAAgB,EAAE,OAAO;IACzB,oBAAoB,EAAE,OAAO;IAC7B,cAAc,EAAE,OAAO;IACvB,yBAAyB,EAAE,OAAO;IAClC,2BAA2B,EAAE,OAAO;IACpC,2BAA2B,EAAE,OAAO;IACpC,aAAa,EAAE,OAAO;IACtB,6BAA6B,EAAE,OAAO;IACtC,wCAAwC,EAAE,OAAO;IACjD,mBAAmB,EAAE,OAAO;IAC5B,qBAAqB,EAAE,OAAO;IAC9B,sBAAsB,EAAE,OAAO;IAC/B,6BAA6B,EAAE,OAAO;IACtC,+BAA+B,EAAE,OAAO;IACxC,mCAAmC,EAAE,OAAO;IAC5C,wCAAwC,EAAE,OAAO;IACjD,iDAAiD,EAAE,OAAO;IAC1D,iBAAiB,EAAE,OAAO;IAC1B,YAAY,EAAE,OAAO;IACrB,gBAAgB,EAAE,OAAO;IACzB,wBAAwB,EAAE,OAAO;IACjC,mBAAmB,EAAE,OAAO;IAC5B,uBAAuB,EAAE,OAAO;IAChC,4BAA4B,EAAE,OAAO;IACrC,sBAAsB,EAAE,OAAO;IAC/B,kCAAkC,EAAE,OAAO;IAC3C,sBAAsB,EAAE,OAAO;IAC/B,sBAAsB,EAAE,WAAW;IACnC,gCAAgC,EAAE,OAAO;IACzC,8BAA8B,EAAE,OAAO;IACvC,kCAAkC,EAAE,OAAO;IAC3C,yBAAyB,EAAE,OAAO;IAClC,6BAA6B,EAAE,OAAO;IACtC,gCAAgC,EAAE,OAAO;IACzC,4BAA4B,EAAE,OAAO;IACrC,+BAA+B,EAAE,OAAO;IACxC,sBAAsB,EAAE,OAAO;IAC/B,yBAAyB,EAAE,OAAO;IAClC,yBAAyB,EAAE,OAAO;IAClC,0BAA0B,EAAE,MAAM;IAClC,yBAAyB,EAAE,OAAO;IAClC,2BAA2B,EAAE,OAAO;IACpC,qBAAqB,EAAE,MAAM;IAC7B,qBAAqB,EAAE,OAAO;IAC9B,6BAA6B,EAAE,OAAO;IACtC,6BAA6B,EAAE,OAAO;IACtC,sBAAsB,EAAE,OAAO;IAC/B,qBAAqB,EAAE,OAAO;IAC9B,2BAA2B,EAAE,OAAO;IACpC,2BAA2B,EAAE,OAAO;IACpC,kBAAkB,EAAE,OAAO;CAC5B,CAAC;AAEF,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACxD,MAAM,MAAM,GAAG,YAAY,CAAC;AAC5B,MAAM,MAAM,GAAe;IACzB,IAAI,EAAE,MAAM;IACZ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAChD,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC1D,UAAU,EAAE,IAAI;IAChB,IAAI,EAAE,EAAE;IACR,GAAG;CACJ,CAAC;AACF,MAAM,KAAK,GAAG,CAAC,IAAI,GAAa,EAAE,EAAc,EAAE,CAAC,CAAC;IAClD,IAAI,EAAE,OAAO;IACb,MAAM,EAAE,EAAE;IACV,MAAM,EAAE,EAAE;IACV,UAAU,EAAE,IAAI;IAChB,IAAI;IACJ,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,MAAM,GAAG,CAAC,IAAI,GAAa,EAAE,EAAY,EAAE,CAAC,CAAC;IACjD,SAAS,EAAE,EAAE;IACb,UAAU,EAAE,GAAG,CAAC,IAAI;IACpB,KAAK,EAAE,OAAO;IACd,SAAS,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;CACjC,CAAC,CAAC;AACH,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAE7E;wCACwC;AACxC,MAAM,kBAAkB,GAAmC;IACzD,gBAAgB,EAAE,GAAG,EAAE,CACrB,MAAM,CAAC;QACL,QAAQ,CAAC;YACP,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,MAAM;YACd,QAAQ,EAAE,EAAE;YACZ,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE;YAChD,GAAG;SACJ,CAAC;KACH,CAAC;IACJ,iBAAiB,EAAE,GAAG,EAAE,CACtB,MAAM,CAAC;QACL,QAAQ,CAAC;YACP,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YAClD,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YACnD,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;KACH,CAAC;IACJ,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAC7C,+BAA+B,EAAE,GAAG,EAAE,CAAC,CAAC;QACtC,GAAG,MAAM,EAAE;QACX,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,mBAAmB,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;KAC9E,CAAC;IACF,mCAAmC,EAAE,GAAG,EAAE,CAAC,CAAC;QAC1C,GAAG,MAAM,EAAE;QACX,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,uBAAuB,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;KAClF,CAAC;IACF,sBAAsB,EAAE,GAAG,EAAE,CAAC,CAAC;QAC7B,GAAG,MAAM,EAAE;QACX,GAAG,EAAE;YACH,WAAW,EAAE,YAAY;YACzB,MAAM,EAAE,MAAM;YACd,UAAU,EAAE,UAAU;YACtB,kBAAkB,EAAE,UAAU;YAC9B,aAAa,EAAE,IAAI;YACnB,iBAAiB,EAAE,IAAI;YACvB,eAAe,EAAE,KAAK;YACtB,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;YACrF,YAAY,EAAE,EAAE;SACjB;KACF,CAAC;CACH,CAAC;AAEF,SAAS,YAAY,CAAC,GAAa;IACjC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC,CAAC;IACrD,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS;QAC5B,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;YACrB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;gBACb,MAAM,IAAI,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;gBACzC,IAAI,IAAI,KAAK,SAAS;oBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACxC,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;SACjB,CAAC,CAAC;IACL,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,cAAc,GAAG,CAAC,KAAa,EAAE,MAAc,EAAY,EAAE,CACjE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAC7C,OAAO,KAAK,KAAK,QAAQ;IACvB,CAAC,CAAC,KAAK,KAAK,WAAW;QACrB,CAAC,CAAC,CAAC,MAAM,GAAG,GAAG,CAAC;QAChB,CAAC,CAAC,EAAE;IACN,CAAC,CAAC,cAAc,CAAC,KAAe,EAAE,GAAG,GAAG,GAAG,CAAC,CAC/C,CAAC;AAEJ,IAAI,CAAC,iEAAiE,EAAE,GAAG,EAAE;IAC3E,MAAM,UAAU,GAAG;QACjB,GAAG,cAAc,CAAC,WAAW,EAAE,EAAE,CAAC;QAClC,GAAG,cAAc,CAAC,WAAW,EAAE,EAAE,CAAC;QAClC,GAAG,cAAc,CAAC,WAAW,EAAE,EAAE,CAAC;QAClC,GAAG,cAAc,CAAC,eAAe,EAAE,cAAc,CAAC;QAClD,GAAG,cAAc,CAAC,aAAa,EAAE,EAAE,CAAC;KACrC,CAAC;IACF,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AAC5E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,yBAAyB,EAAE,CAAC,IAAI,EAAE,EAAE;IAC7E,MAAM,GAAG,GAAG,kBAAkB,CAAC,IAAI,CAAE,EAAE,CAAC;IACxC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,iBAAiB,CAAC,GAAG,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAClE,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACpD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,8DAA8D,EAAE,GAAG,EAAE;IACxE,MAAM,GAAG,GAAG,MAAM,CAAC;QACjB,QAAQ,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACrE,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,CAAC;QAC1E,QAAQ,CAAC;YACP,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YACnD,MAAM,EAAE,MAAM;YACd,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE;YACrB,GAAG;SACJ,CAAC;KACH,CAAC,CAAC;IACH,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClD,MAAM,CAAC,iBAAiB,CAAC,GAAG,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACnG,CAAC,CAAC,CAAC"}

package/dist/ir/int32-slots.d.ts

@@ -1,4 +1,4 @@
-import type { IrClassDef, IrExpr, IrModule } from "./ir.js";
+import type { IrClassDef, IrExpr, IrGlobal, IrModule } from "./ir.js";
 import { type IntegerRange, type IntegerSlotFacts } from "./integer-ranges.js";
 /** The storage slot an array-valued expression reads, as an
  * IrContracts.int32Elements key: a local or parameter
@@ -125,15 +125,18 @@ export declare class Int32Slots {
  * whose key is not a literal), otherwise the
  * literal keys of `dyn.keySet`/`dyn.keyDelete`. A view commits a store back
  * into the instance's native field slots, which the IR does not show. */
-export declare function dynamicFieldStores(mod: IrModule, records?: Map<string, import("./ir.js").IrRecordShape>, unions?: Map<string, import("./ir.js").IrUnionDef>): {
+export interface DynamicFieldStores {
     all: boolean;
     names: Set<string>;
-};
+}
+/** Computes DynamicFieldStores with one walk of every function. Analyses of
+ * the same module accept the result so the emitter walks the module once. */
+export declare function dynamicFieldStores(mod: IrModule, records?: Map<string, import("./ir.js").IrRecordShape>, unions?: Map<string, import("./ir.js").IrUnionDef>): DynamicFieldStores;
 /** The f64 class field families a runtime store through a live dynamic view
  * can write: the class reaches checked-dynamic code (directly or through
  * another exposed type), and some dynamic store in the program can name the
  * field. */
-export declare function dynamicallyStoredFamilies(mod: IrModule, slots: Int32Slots): Set<string>;
+export declare function dynamicallyStoredFamilies(mod: IrModule, slots: Int32Slots, stores?: DynamicFieldStores): Set<string>;
 /** How functions can be reached besides direct calls: as values (closures,
  * the entry, constructors behind class values: `valueEscaped`), through
  * virtual dispatch (`virtualTargets`), or as vtable entries the runtime
@@ -143,4 +146,9 @@ export declare function functionCallFacts(mod: IrModule, classes: ReadonlyMap<st
     virtualTargets: Set<string>;
     runtimeVirtual: (name: string) => boolean;
 };
-export declare function analyzeInt32Slots(mod: IrModule): Int32Slots;
+/** Facts about the same module that a caller has already computed. */
+export interface Int32SlotInputs {
+    dynamicStores?: DynamicFieldStores;
+    initializerBindings?: ReadonlyMap<string, IrGlobal[]>;
+}
+export declare function analyzeInt32Slots(mod: IrModule, inputs?: Int32SlotInputs): Int32Slots;

package/dist/ir/int32-slots.js

@@ -335,6 +335,7 @@ const DYN_READ_ONLY = new Set([
     "date.nativeNew",
     "date.nativeNewFields",
     "date.nativeNewValue",
+    "date.argumentsTime",
     // The dynamic operators run the ToPrimitive and coercion helpers of
     // dyn.compare, dyn.numberConstructor and dyn.toStringCoerce, then build a
     // fresh number, string or bigint. dyn.increment steps dyn.toNumeric's result.
@@ -362,6 +363,7 @@ const DYN_READ_ONLY = new Set([
     "dyn.collectionIteratorIndex",
     "dyn.mapSeedEntries",
     "dyn.mapSeedEntry",
+    "dyn.nameClassPrototype",
     "dyn.numberConstructor",
     "dyn.objCreate",
     "dyn.objEntries",
@@ -436,11 +438,8 @@ function walkFunction(fn, visit) {
     for (const s of fn.body)
         stmt(s);
 }
-/** The class field names that runtime stores through live dynamic views
- * (typed-ref capsules) can write: every name when `all` (a dynamic store
- * whose key is not a literal), otherwise the
- * literal keys of `dyn.keySet`/`dyn.keyDelete`. A view commits a store back
- * into the instance's native field slots, which the IR does not show. */
+/** Computes DynamicFieldStores with one walk of every function. Analyses of
+ * the same module accept the result so the emitter walks the module once. */
 export function dynamicFieldStores(mod, records = new Map((mod.records ?? []).map((r) => [r.id, r])), unions = new Map((mod.unions ?? []).map((u) => [u.id, u]))) {
     const dynTypes = new Map();
     const dynNamed = new Map();
@@ -503,7 +502,7 @@ export function dynamicFieldStores(mod, records = new Map((mod.records ?? []).ma
  * can write: the class reaches checked-dynamic code (directly or through
  * another exposed type), and some dynamic store in the program can name the
  * field. */
-export function dynamicallyStoredFamilies(mod, slots) {
+export function dynamicallyStoredFamilies(mod, slots, stores) {
     const classes = new Map((mod.classes ?? []).map((c) => [c.name, c]));
     const children = new Map();
     for (const cls of classes.values())
@@ -580,7 +579,7 @@ export function dynamicallyStoredFamilies(mod, slots) {
     // writes every field from the view, which holds the exact snapshot value
     // of any property no store named. So reaching dynamic code disqualifies
     // exactly the field names some dynamic store in the program can name.
-    const { all: dynWritesAll, names: dynWritten } = dynamicFieldStores(mod, records, unions);
+    const { all: dynWritesAll, names: dynWritten } = stores ?? dynamicFieldStores(mod, records, unions);
     for (const fn of mod.functions)
         walkFunction(fn, {
             expr: (e) => {
@@ -638,23 +637,11 @@ export function functionCallFacts(mod, classes, subtree) {
     for (const cls of classes.values())
         if (runtimeRooted(cls.name))
             runtimePrefixes.push(`%${cls.name}.`);
-    for (const fn of mod.functions)
-        walkFunction(fn, {
-            expr: (e) => {
-                const referenced = exprFunctionReference(e);
-                if (referenced !== undefined)
-                    escaped.add(referenced);
-                if (e.kind !== "virtualCall")
-                    return;
-                for (const name of subtree(e.className))
-                    virtualTargets.add(`%${name}.${e.method}`);
-                for (let c = classes.get(e.className); c; c = c.base ? classes.get(c.base) : undefined)
-                    virtualTargets.add(`%${c.name}.${e.method}`);
-            },
-        });
     // A class value can reach `new` through its construct thunk; one that
-    // only feeds an instanceof interval check cannot.
+    // only feeds an instanceof interval check cannot. Class references are
+    // checked once every function has contributed its tested-only ones.
     const testedOnly = new Set();
+    const classRefs = [];
     for (const fn of mod.functions) {
         // Direct operands, and unboxed locals bound once to a class reference
         // and read only as instanceof operands (the lowering's temporary).
@@ -667,7 +654,16 @@ export function functionCallFacts(mod, classes, subtree) {
         };
         walkFunction(fn, {
             expr: (e) => {
-                if (e.kind === "instanceOfValue") {
+                const referenced = exprFunctionReference(e);
+                if (referenced !== undefined)
+                    escaped.add(referenced);
+                if (e.kind === "virtualCall") {
+                    for (const name of subtree(e.className))
+                        virtualTargets.add(`%${name}.${e.method}`);
+                    for (let c = classes.get(e.className); c; c = c.base ? classes.get(c.base) : undefined)
+                        virtualTargets.add(`%${c.name}.${e.method}`);
+                }
+                else if (e.kind === "instanceOfValue") {
                     if (e.classValue.kind === "classRef")
                         testedOnly.add(e.classValue);
                     else if (e.classValue.kind === "varRef")
@@ -677,6 +673,8 @@ export function functionCallFacts(mod, classes, subtree) {
                     count(reads, e.localId);
                 else if (e.kind === "assignExpr" || e.kind === "incDec")
                     count(writes, e.localId);
+                else if (e.kind === "classRef")
+                    classRefs.push(e);
             },
             stmt: (s) => {
                 if (s.kind === "varDecl" && s.init?.kind === "classRef")
@@ -690,17 +688,13 @@ export function functionCallFacts(mod, classes, subtree) {
             if (!boxed.has(id) && writes.get(id) === 1 && reads.get(id) === tests.get(id))
                 testedOnly.add(ref);
     }
-    for (const fn of mod.functions)
-        walkFunction(fn, {
-            expr: (e) => {
-                if (e.kind === "classRef" && !testedOnly.has(e))
-                    escaped.add(`%${e.className}.constructor`);
-            },
-        });
+    for (const e of classRefs)
+        if (!testedOnly.has(e))
+            escaped.add(`%${e.className}.constructor`);
     const runtimeVirtual = (name) => runtimePrefixes.some((prefix) => name.startsWith(prefix));
     return { valueEscaped: escaped, virtualTargets, runtimeVirtual };
 }
-export function analyzeInt32Slots(mod) {
+export function analyzeInt32Slots(mod, inputs = {}) {
     const classes = new Map((mod.classes ?? []).map((c) => [c.name, c]));
     const slots = new Int32Slots(classes);
     if (mod.lib)
@@ -782,7 +776,7 @@ export function analyzeInt32Slots(mod) {
                 dropFamily(family, "runtime-provided or generic class");
         }
     /* ── dynamic, reflective and runtime exposure ── */
-    for (const family of dynamicallyStoredFamilies(mod, slots)) {
+    for (const family of dynamicallyStoredFamilies(mod, slots, inputs.dynamicStores)) {
         if (slots.isPinnedField(family))
             continue;
         dropFamily(family, "dynamic stores can name the field");
@@ -801,57 +795,17 @@ export function analyzeInt32Slots(mod) {
         for (const param of fn.params)
             dropParam(fn.name, param.localId, why);
     };
-    // Only functions some IR call reaches directly get parameter facts: one
-    // the backend invokes by convention has no call site to prove against.
+    // One walk of every function collects what the steps below need: the
+    // functions IR calls reach directly, calls whose arity differs from their
+    // callee's, the captured bindings' boxes, and which functions read which
+    // slot facts. Facts that depend on earlier steps are applied in walk order
+    // where those steps complete.
     const called = slots.called;
-    for (const fn of mod.functions)
-        walkFunction(fn, {
-            expr: (e) => {
-                if (e.kind === "call")
-                    called.add(e.callee);
-                else if (e.kind === "new")
-                    called.add(`%${e.className}.constructor`);
-            },
-        });
-    for (const fn of mod.functions) {
-        if (fn.returnType.kind === "f64" && !fn.async && !fn.generator) {
-            slots.addReturn(fn.name);
-            slots.assumeNonNegative(`ret:${fn.name}`);
-        }
-        if (fn.async ||
-            fn.generator ||
-            !called.has(fn.name) ||
-            escaped.has(fn.name) ||
-            virtual(fn.name))
-            continue;
-        for (const param of fn.params)
-            if (param.type.kind === "f64" && !slots.isPinned(paramKey(fn.name, param.localId))) {
-                slots.addParam(fn.name, param.localId);
-                slots.assumeNonNegative(paramKey(fn.name, param.localId));
-            }
-    }
+    const arityMismatches = [];
     const arityChecked = (fn, args, offset) => {
         if (fn && fn.params.length !== args + offset)
-            dropAllParams(fn, "call arity differs");
+            arityMismatches.push(fn);
     };
-    for (const fn of mod.functions)
-        walkFunction(fn, {
-            expr: (e) => {
-                if (e.kind === "call")
-                    arityChecked(functions.get(e.callee), e.args.length, 0);
-                else if (e.kind === "new")
-                    arityChecked(functions.get(`%${e.className}.constructor`), e.args.length, 1);
-            },
-        });
-    // Candidates the fixpoint may drop; rangedParameters retries some.
-    const candidates = new Map();
-    const retry = new Set();
-    for (const fn of mod.functions) {
-        const ids = fn.params.filter((p) => slots.hasParam(fn.name, p.localId)).map((p) => p.localId);
-        if (ids.length > 0)
-            candidates.set(fn.name, ids);
-    }
-    /* ── captured bindings ── */
     // A captured local lives in one box shared by its declaring function and
     // every closure that captures it (closure.captures[i] is the lifted
     // function's captures[i]). The box holds an int32 when every write to it
@@ -869,6 +823,18 @@ export function analyzeInt32Slots(mod) {
     const boxKey = (fnName, localId) => `${fnName}\0${localId}`;
     const boxMembers = new Set();
     const unstableBoxes = new Set();
+    // Readers: which functions depend on which slot facts. Reads of a boxed
+    // local resolve to its box once the boxes are known.
+    const readers = new Map();
+    const reads = (slot, fnName) => {
+        const set = readers.get(slot);
+        if (set)
+            set.add(fnName);
+        else
+            readers.set(slot, new Set([fnName]));
+    };
+    const boxedReads = [];
+    const incrementedFamilies = [];
     for (const fn of mod.functions) {
         for (const local of fn.locals)
             if (local.boxed) {
@@ -879,9 +845,34 @@ export function analyzeInt32Slots(mod) {
             }
         for (const capture of fn.classCaptures ?? [])
             unstableBoxes.add(boxKey(fn.name, capture.localId));
+        const read = new Set();
         walkFunction(fn, {
             expr: (e) => {
-                if (e.kind === "closure") {
+                if (e.kind === "call") {
+                    called.add(e.callee);
+                    arityChecked(functions.get(e.callee), e.args.length, 0);
+                    reads(`ret:${e.callee}`, fn.name);
+                }
+                else if (e.kind === "new") {
+                    const constructor = `%${e.className}.constructor`;
+                    called.add(constructor);
+                    arityChecked(functions.get(constructor), e.args.length, 1);
+                    // Constructors return nothing: this only records their callers.
+                    reads(`ret:${constructor}`, fn.name);
+                }
+                else if (e.kind === "varRef")
+                    read.add(e.localId);
+                else if (e.kind === "fieldGet") {
+                    const family = slots.family(e.className, e.field);
+                    if (family)
+                        reads(`field:${family}`, fn.name);
+                }
+                else if (e.kind === "fieldIncDec") {
+                    const family = slots.family(e.className, e.field);
+                    if (family)
+                        incrementedFamilies.push(family);
+                }
+                else if (e.kind === "closure") {
                     const lifted = functions.get(e.fnName);
                     e.captures.forEach((id, i) => {
                         const inner = lifted?.captures?.[i];
@@ -908,7 +899,39 @@ export function analyzeInt32Slots(mod) {
                     unstableBoxes.add(boxKey(fn.name, s.catchLocalId));
             },
         });
+        if (read.size > 0)
+            boxedReads.push([fn, read]);
     }
+    // Only functions some IR call reaches directly get parameter facts: one
+    // the backend invokes by convention has no call site to prove against.
+    for (const fn of mod.functions) {
+        if (fn.returnType.kind === "f64" && !fn.async && !fn.generator) {
+            slots.addReturn(fn.name);
+            slots.assumeNonNegative(`ret:${fn.name}`);
+        }
+        if (fn.async ||
+            fn.generator ||
+            !called.has(fn.name) ||
+            escaped.has(fn.name) ||
+            virtual(fn.name))
+            continue;
+        for (const param of fn.params)
+            if (param.type.kind === "f64" && !slots.isPinned(paramKey(fn.name, param.localId))) {
+                slots.addParam(fn.name, param.localId);
+                slots.assumeNonNegative(paramKey(fn.name, param.localId));
+            }
+    }
+    for (const fn of arityMismatches)
+        dropAllParams(fn, "call arity differs");
+    // Candidates the fixpoint may drop; rangedParameters retries some.
+    const candidates = new Map();
+    const retry = new Set();
+    for (const fn of mod.functions) {
+        const ids = fn.params.filter((p) => slots.hasParam(fn.name, p.localId)).map((p) => p.localId);
+        if (ids.length > 0)
+            candidates.set(fn.name, ids);
+    }
+    /* ── captured bindings ── */
     const groups = new Map();
     for (const key of boxMembers) {
         const root = boxRoot(key);
@@ -977,42 +1000,16 @@ export function analyzeInt32Slots(mod) {
         reason(`box:${group}`, why);
         return slots.dropBox(group);
     };
-    /* ── readers: which functions depend on which slot facts ── */
-    const readers = new Map();
-    const reads = (slot, fnName) => {
-        const set = readers.get(slot);
-        if (set)
-            set.add(fnName);
-        else
-            readers.set(slot, new Set([fnName]));
-    };
-    for (const fn of mod.functions)
-        walkFunction(fn, {
-            expr: (e) => {
-                if (e.kind === "fieldGet") {
-                    const family = slots.family(e.className, e.field);
-                    if (family)
-                        reads(`field:${family}`, fn.name);
-                }
-                else if (e.kind === "call")
-                    reads(`ret:${e.callee}`, fn.name);
-                // Constructors return nothing: this only records their callers.
-                else if (e.kind === "new")
-                    reads(`ret:%${e.className}.constructor`, fn.name);
-                else if (e.kind === "varRef") {
-                    const group = slots.boxGroup(fn.name, e.localId);
-                    if (group !== null)
-                        reads(`box:${group}`, fn.name);
-                }
-                else if (e.kind === "fieldIncDec") {
-                    const family = slots.family(e.className, e.field);
-                    if (family)
-                        dropFamily(family, "++/-- on the field");
-                }
-            },
-        });
+    for (const [fn, read] of boxedReads)
+        for (const localId of read) {
+            const group = slots.boxGroup(fn.name, localId);
+            if (group !== null)
+                reads(`box:${group}`, fn.name);
+        }
+    for (const family of incrementedFamilies)
+        dropFamily(family, "++/-- on the field");
     /* ── the optimistic fixpoint ── */
-    const bindings = findInitializerBindings(mod);
+    const bindings = inputs.initializerBindings ?? findInitializerBindings(mod);
     const numeric = (fn) => withInitializerBindings(fn, bindings.get(fn.name) ?? []);
     const queue = mod.functions.map((fn) => fn.name);
     const queued = new Set(queue);