@scriptc/compiler 0.2.7 → 0.2.8

package/dist/backend/llvm/switch-dispatch.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"switch-dispatch.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/switch-dispatch.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAA2C,MAAM,gBAAgB,CAAC;AAC5F,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAE9C,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACpD,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACtF,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;AAEzF,SAAS,IAAI,CAAC,IAAY,EAAE,KAAwB,EAAE,WAAW,GAAY,EAAE;IAC7E,MAAM,GAAG,GAAa;QACpB,SAAS,EAAE,EAAE;QACb,UAAU,EAAE,GAAG,CAAC,IAAI;QACpB,KAAK,EAAE,MAAM;QACb,SAAS,EAAE;YACT,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE;YACzE;gBACE,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;gBACnD,UAAU,EAAE,GAAG;gBACf,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;gBAC9D,GAAG;gBACH,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,QAAQ;wBACd,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE;wBACrD,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;4BACjC,IAAI;4BACJ,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,CAAC;yBACtD,CAAC,CAAC;wBACH,GAAG;qBACJ;oBACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE;iBAC3C;aACF;SACF;KACF,CAAC;IACF,OAAO,qDAAqD,CAAC,IAAI,CAC/D,cAAc,CAAC,GAAG,EAAE,EAAE,WAAW,EAAE,CAAC,CACpC,CAAC,CAAC,CAAC,CAAC;AACR,CAAC;AAED,IAAI,CAAC,4EAA4E,EAAE,GAAG,EAAE;IACtF,KAAK,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI;QACvC,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC;QACnD,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,UAAU,EAAE,UAAU,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC;QACjD,CAAC,CAAC,CAAC,gBAAgB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,gBAAgB,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC;KACvD,EAAE,CAAC;QACX,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;QAC3C,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC;QACzC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,GAAG,UAAU,SAAS,CAAC,CAAC;QAC/C,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,UAAU,SAAS,CAAC,CAAC,CAAC;IACnF,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oEAAoE,EAAE,GAAG,EAAE;IAC9E,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACxD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAE,CAAC;IAC/E,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACxD,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;AAC1D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wEAAwE,EAAE,GAAG,EAAE;IAClF,KAAK,MAAM,KAAK,IAAI;QAClB,MAAM,CAAC,GAAG,CAAC;QACX,MAAM,CAAC,GAAG,CAAC;QACX,MAAM,CAAC,QAAQ,CAAC;QAChB,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAY;KACtF,EAAE,CAAC;QACF,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;QAC5E,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QACzC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACrC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACzD,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sFAAsF,EAAE,GAAG,EAAE;IAChG,KAAK,MAAM,IAAI,IAAI,CAAC,EAAE,EAAE,EAAE,CAAU,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;QAC/E,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,SAAS,IAAI,OAAO,CAAC,CAAC;QAC7C,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;QAChD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAClE,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,IAAI,EAAE,CAAC,CAAE,CAAC;QACpF,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,IAAI,IAAI,WAAW,CAAC,CAAC;QAChD,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,IAAI,IAAI,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC/E,CAAC;AACH,CAAC,CAAC,CAAC"}
+{"version":3,"file":"switch-dispatch.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/switch-dispatch.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAA2C,MAAM,gBAAgB,CAAC;AAC5F,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAE9C,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACpD,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACtF,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;AAEzF,SAAS,IAAI,CAAC,IAAY,EAAE,KAAwB,EAAE,WAAW,GAAY,EAAE;IAC7E,MAAM,GAAG,GAAa;QACpB,SAAS,EAAE,EAAE;QACb,UAAU,EAAE,GAAG,CAAC,IAAI;QACpB,KAAK,EAAE,MAAM;QACb,SAAS,EAAE;YACT,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE;YACzE;gBACE,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;gBACnD,UAAU,EAAE,GAAG;gBACf,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;gBAC9D,GAAG;gBACH,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,QAAQ;wBACd,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE;wBACrD,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;4BACjC,IAAI;4BACJ,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,CAAC;yBACtD,CAAC,CAAC;wBACH,GAAG;qBACJ;oBACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE;iBAC3C;aACF;SACF;KACF,CAAC;IACF,OAAO,qDAAqD,CAAC,IAAI,CAC/D,cAAc,CAAC,GAAG,EAAE,EAAE,WAAW,EAAE,CAAC,CACpC,CAAC,CAAC,CAAC,CAAC;AACR,CAAC;AAED,IAAI,CAAC,4EAA4E,EAAE,GAAG,EAAE;IACtF,KAAK,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI;QACvC,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC;QACnD,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,UAAU,EAAE,UAAU,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC;QACjD,CAAC,CAAC,CAAC,gBAAgB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,gBAAgB,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC;KACvD,EAAE,CAAC;QACX,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;QAC3C,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC;QACzC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,GAAG,UAAU,SAAS,CAAC,CAAC;QAC/C,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,UAAU,SAAS,CAAC,CAAC,CAAC;IACnF,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oEAAoE,EAAE,GAAG,EAAE;IAC9E,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACxD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAE,CAAC;IAC/E,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACxD,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;AAC1D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wEAAwE,EAAE,GAAG,EAAE;IAClF,KAAK,MAAM,KAAK,IAAI;QAClB,MAAM,CAAC,GAAG,CAAC;QACX,MAAM,CAAC,GAAG,CAAC;QACX,MAAM,CAAC,QAAQ,CAAC;QAChB,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAY;KACtF,EAAE,CAAC;QACF,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;QAC5E,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QACzC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACrC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACzD,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sFAAsF,EAAE,GAAG,EAAE;IAChG,KAAK,MAAM,IAAI,IAAI,CAAC,EAAE,EAAE,EAAE,CAAU,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;QAC/E,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,SAAS,IAAI,OAAO,CAAC,CAAC;QAC7C,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;QAC7C,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAClE,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,IAAI,EAAE,CAAC,CAAE,CAAC;QACpF,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,IAAI,IAAI,WAAW,CAAC,CAAC;QAChD,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,IAAI,IAAI,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC/E,CAAC;AACH,CAAC,CAAC,CAAC"}

package/dist/backend/llvm/test-boxed-unions.d.ts

@@ -0,0 +1,5 @@
+import type { IrModule } from "../../ir/ir.js";
+/** Test helper: a Set of each union keeps it a tagged `%ScrUnion` box (Set
+ * elements are runtime-inspected boxes), so stack-box tests exercise the
+ * paths that nullable-pointer unions (nullable-unions.ts) bypass. */
+export declare function keepUnionsBoxed(mod: IrModule): IrModule;

package/dist/backend/llvm/test-boxed-unions.js

@@ -0,0 +1,13 @@
+/** Test helper: a Set of each union keeps it a tagged `%ScrUnion` box (Set
+ * elements are runtime-inspected boxes), so stack-box tests exercise the
+ * paths that nullable-pointer unions (nullable-unions.ts) bypass. */
+export function keepUnionsBoxed(mod) {
+    const keep = (mod.unions ?? []).map((union) => ({
+        id: `%g.keep.${union.id}`,
+        name: `keep_${union.id}`,
+        type: { kind: "set", elem: { kind: "union", unionId: union.id } },
+        mutable: false,
+    }));
+    return { ...mod, globals: [...(mod.globals ?? []), ...keep] };
+}
+//# sourceMappingURL=test-boxed-unions.js.map

package/dist/backend/llvm/test-boxed-unions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-boxed-unions.js","sourceRoot":"","sources":["../../../src/backend/llvm/test-boxed-unions.ts"],"names":[],"mappings":"AAEA;;qEAEqE;AACrE,MAAM,UAAU,eAAe,CAAC,GAAa;IAC3C,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC9C,EAAE,EAAE,WAAW,KAAK,CAAC,EAAE,EAAE;QACzB,IAAI,EAAE,QAAQ,KAAK,CAAC,EAAE,EAAE;QACxB,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,EAAY;QAC3E,OAAO,EAAE,KAAK;KACf,CAAC,CAAC,CAAC;IACJ,OAAO,EAAE,GAAG,GAAG,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;AAChE,CAAC"}

package/dist/backend/llvm/union-repr.d.ts

@@ -0,0 +1,15 @@
+import type { BlockBuilder } from "./blocks.js";
+import { type NullableUnion } from "./nullable-unions.js";
+/** The i32 tag of a union value. */
+export declare function emitUnionTag(B: BlockBuilder, nullable: NullableUnion | null, u: string): string;
+/** i1: a nullable union value holds its reference arm (neither NULL nor
+ * the `null` sentinel). */
+export declare function emitNullablePresent(B: BlockBuilder, nullable: NullableUnion, u: string): string;
+/** i1: a nullable union value holds the arm `tag` (`negated`: does not). */
+export declare function emitNullableIsTag(B: BlockBuilder, nullable: NullableUnion, u: string, tag: number, negated: boolean): string;
+/** The BORROWED payload pointer of a reference arm. */
+export declare function emitUnionPeek(B: BlockBuilder, nullable: NullableUnion | null, u: string): string;
+/** Text-template forms for helpers written as raw LLVM lines: `%out`
+ * receives the tag / payload of `u`. */
+export declare function unionTagLines(nullable: NullableUnion | null, u: string, out: string): string[];
+export declare function unionPeekLines(nullable: NullableUnion | null, u: string, out: string): string[];

package/dist/backend/llvm/union-repr.js

@@ -0,0 +1,89 @@
+import { NULLABLE_NULL } from "./nullable-unions.js";
+/** The i32 tag of a union value. */
+export function emitUnionTag(B, nullable, u) {
+    const t = B.tmp();
+    if (nullable) {
+        const isNull = B.tmp();
+        B.line(`${isNull} = icmp eq ptr ${u}, null`);
+        if (nullable.nullTag < 0) {
+            B.line(`${t} = select i1 ${isNull}, i32 ${nullable.unitTag}, i32 ${nullable.refTag}`);
+            return t;
+        }
+        const isNullArm = B.tmp(), present = B.tmp();
+        B.line(`${isNullArm} = icmp eq ptr ${u}, ${NULLABLE_NULL}`);
+        B.line(`${present} = select i1 ${isNullArm}, i32 ${nullable.nullTag}, i32 ${nullable.refTag}`);
+        B.line(`${t} = select i1 ${isNull}, i32 ${nullable.unitTag}, i32 ${present}`);
+        return t;
+    }
+    const p = B.tmp();
+    B.line(`${p} = getelementptr inbounds %ScrUnion, ptr ${u}, i64 0, i32 1`);
+    B.line(`${t} = load i32, ptr ${p}`);
+    return t;
+}
+/** i1: a nullable union value holds its reference arm (neither NULL nor
+ * the `null` sentinel). */
+export function emitNullablePresent(B, nullable, u) {
+    const present = B.tmp();
+    B.line(`${present} = icmp ne ptr ${u}, null`);
+    if (nullable.nullTag < 0)
+        return present;
+    const notNullArm = B.tmp(), both = B.tmp();
+    B.line(`${notNullArm} = icmp ne ptr ${u}, ${NULLABLE_NULL}`);
+    B.line(`${both} = and i1 ${present}, ${notNullArm}`);
+    return both;
+}
+/** i1: a nullable union value holds the arm `tag` (`negated`: does not). */
+export function emitNullableIsTag(B, nullable, u, tag, negated) {
+    if (tag === nullable.refTag) {
+        const present = emitNullablePresent(B, nullable, u);
+        if (!negated)
+            return present;
+        const t = B.tmp();
+        B.line(`${t} = xor i1 ${present}, true`);
+        return t;
+    }
+    const t = B.tmp();
+    const target = tag === nullable.nullTag ? NULLABLE_NULL : "null";
+    B.line(`${t} = icmp ${negated ? "ne" : "eq"} ptr ${u}, ${target}`);
+    return t;
+}
+/** The BORROWED payload pointer of a reference arm. */
+export function emitUnionPeek(B, nullable, u) {
+    if (nullable)
+        return u;
+    const p = B.tmp();
+    const t = B.tmp();
+    B.line(`${p} = getelementptr inbounds %ScrUnion, ptr ${u}, i64 0, i32 5`);
+    B.line(`${t} = load ptr, ptr ${p}`);
+    return t;
+}
+/** Text-template forms for helpers written as raw LLVM lines: `%out`
+ * receives the tag / payload of `u`. */
+export function unionTagLines(nullable, u, out) {
+    if (nullable && nullable.nullTag < 0)
+        return [
+            `  ${out}.isnull = icmp eq ptr ${u}, null`,
+            `  ${out} = select i1 ${out}.isnull, i32 ${nullable.unitTag}, i32 ${nullable.refTag}`,
+        ];
+    if (nullable)
+        return [
+            `  ${out}.isnull = icmp eq ptr ${u}, null`,
+            `  ${out}.isnullarm = icmp eq ptr ${u}, ${NULLABLE_NULL}`,
+            `  ${out}.present = select i1 ${out}.isnullarm, i32 ${nullable.nullTag}, i32 ${nullable.refTag}`,
+            `  ${out} = select i1 ${out}.isnull, i32 ${nullable.unitTag}, i32 ${out}.present`,
+        ];
+    return [
+        `  ${out}.p = getelementptr inbounds %ScrUnion, ptr ${u}, i64 0, i32 1`,
+        `  ${out} = load i32, ptr ${out}.p`,
+    ];
+}
+export function unionPeekLines(nullable, u, out) {
+    // A plain copy of the pointer (NULL included) under the template's name.
+    if (nullable)
+        return [`  ${out} = getelementptr i8, ptr ${u}, i64 0`];
+    return [
+        `  ${out}.p = getelementptr inbounds %ScrUnion, ptr ${u}, i64 0, i32 5`,
+        `  ${out} = load ptr, ptr ${out}.p`,
+    ];
+}
+//# sourceMappingURL=union-repr.js.map

package/dist/backend/llvm/union-repr.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"union-repr.js","sourceRoot":"","sources":["../../../src/backend/llvm/union-repr.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,aAAa,EAAsB,MAAM,sBAAsB,CAAC;AAEzE,oCAAoC;AACpC,MAAM,UAAU,YAAY,CAAC,CAAe,EAAE,QAA8B,EAAE,CAAS;IACrF,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAClB,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACvB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,kBAAkB,CAAC,QAAQ,CAAC,CAAC;QAC7C,IAAI,QAAQ,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC;YACzB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,gBAAgB,MAAM,SAAS,QAAQ,CAAC,OAAO,SAAS,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;YACtF,OAAO,CAAC,CAAC;QACX,CAAC;QACD,MAAM,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,EACvB,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACpB,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,kBAAkB,CAAC,KAAK,aAAa,EAAE,CAAC,CAAC;QAC5D,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,gBAAgB,SAAS,SAAS,QAAQ,CAAC,OAAO,SAAS,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;QAC/F,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,gBAAgB,MAAM,SAAS,QAAQ,CAAC,OAAO,SAAS,OAAO,EAAE,CAAC,CAAC;QAC9E,OAAO,CAAC,CAAC;IACX,CAAC;IACD,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAClB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,4CAA4C,CAAC,gBAAgB,CAAC,CAAC;IAC1E,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC;IACpC,OAAO,CAAC,CAAC;AACX,CAAC;AAED;2BAC2B;AAC3B,MAAM,UAAU,mBAAmB,CAAC,CAAe,EAAE,QAAuB,EAAE,CAAS;IACrF,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACxB,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IAC9C,IAAI,QAAQ,CAAC,OAAO,GAAG,CAAC;QAAE,OAAO,OAAO,CAAC;IACzC,MAAM,UAAU,GAAG,CAAC,CAAC,GAAG,EAAE,EACxB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACjB,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,kBAAkB,CAAC,KAAK,aAAa,EAAE,CAAC,CAAC;IAC7D,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,aAAa,OAAO,KAAK,UAAU,EAAE,CAAC,CAAC;IACrD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,iBAAiB,CAC/B,CAAe,EACf,QAAuB,EACvB,CAAS,EACT,GAAW,EACX,OAAgB;IAEhB,IAAI,GAAG,KAAK,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC5B,MAAM,OAAO,GAAG,mBAAmB,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;QACpD,IAAI,CAAC,OAAO;YAAE,OAAO,OAAO,CAAC;QAC7B,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAClB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,OAAO,QAAQ,CAAC,CAAC;QACzC,OAAO,CAAC,CAAC;IACX,CAAC;IACD,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAClB,MAAM,MAAM,GAAG,GAAG,KAAK,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC;IACjE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,KAAK,MAAM,EAAE,CAAC,CAAC;IACnE,OAAO,CAAC,CAAC;AACX,CAAC;AAED,uDAAuD;AACvD,MAAM,UAAU,aAAa,CAAC,CAAe,EAAE,QAA8B,EAAE,CAAS;IACtF,IAAI,QAAQ;QAAE,OAAO,CAAC,CAAC;IACvB,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAClB,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAClB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,4CAA4C,CAAC,gBAAgB,CAAC,CAAC;IAC1E,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC;IACpC,OAAO,CAAC,CAAC;AACX,CAAC;AAED;wCACwC;AACxC,MAAM,UAAU,aAAa,CAAC,QAA8B,EAAE,CAAS,EAAE,GAAW;IAClF,IAAI,QAAQ,IAAI,QAAQ,CAAC,OAAO,GAAG,CAAC;QAClC,OAAO;YACL,KAAK,GAAG,yBAAyB,CAAC,QAAQ;YAC1C,KAAK,GAAG,gBAAgB,GAAG,gBAAgB,QAAQ,CAAC,OAAO,SAAS,QAAQ,CAAC,MAAM,EAAE;SACtF,CAAC;IACJ,IAAI,QAAQ;QACV,OAAO;YACL,KAAK,GAAG,yBAAyB,CAAC,QAAQ;YAC1C,KAAK,GAAG,4BAA4B,CAAC,KAAK,aAAa,EAAE;YACzD,KAAK,GAAG,wBAAwB,GAAG,mBAAmB,QAAQ,CAAC,OAAO,SAAS,QAAQ,CAAC,MAAM,EAAE;YAChG,KAAK,GAAG,gBAAgB,GAAG,gBAAgB,QAAQ,CAAC,OAAO,SAAS,GAAG,UAAU;SAClF,CAAC;IACJ,OAAO;QACL,KAAK,GAAG,8CAA8C,CAAC,gBAAgB;QACvE,KAAK,GAAG,oBAAoB,GAAG,IAAI;KACpC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,QAA8B,EAAE,CAAS,EAAE,GAAW;IACnF,yEAAyE;IACzE,IAAI,QAAQ;QAAE,OAAO,CAAC,KAAK,GAAG,4BAA4B,CAAC,SAAS,CAAC,CAAC;IACtE,OAAO;QACL,KAAK,GAAG,8CAA8C,CAAC,gBAAgB;QACvE,KAAK,GAAG,oBAAoB,GAAG,IAAI;KACpC,CAAC;AACJ,CAAC"}

package/dist/backend/llvm/virtual-borrows.d.ts

@@ -0,0 +1,31 @@
+import type { IrFunction, IrModule } from "../../ir/ir.js";
+import { type LlClassMeta } from "./classes.js";
+/** Virtual dispatch normally keeps the owned ABI: the caller passes +1 and
+ * the method's owned entry releases what its body borrows. When every
+ * implementation of a slot has a borrowing body for the same parameter
+ * (call-lifetimes proves this per function, independent of the caller), the
+ * slot borrows that parameter instead: call sites pass it like a direct call
+ * to a borrowing body, so a receiver that survives the call is neither
+ * retained nor released (and, being cycle-capable, not buffered as a
+ * candidate either). Implementations that borrow more parameters than the
+ * slot get an adapter that releases the difference.
+ *
+ * Shared by the emitter and the self-hosted layout stage, so both store the
+ * same vtable entries. */
+export declare class VirtualBorrows {
+    private readonly functions;
+    private readonly borrowed;
+    /** Parameters every implementation of a vtable slot borrows, keyed by
+     * `root\0slot index`, and each implementation's slot key. */
+    private readonly slotBorrowed;
+    private readonly implSlot;
+    constructor(mod: IrModule, classMeta: ReadonlyMap<string, LlClassMeta>, functions: ReadonlyMap<string, IrFunction>, borrowed: ReadonlyMap<string, ReadonlySet<number>>);
+    /** The borrowed parameters of a hierarchy's vtable slot (empty: owned). */
+    slot(rootName: string, slotIndex: number): ReadonlySet<number>;
+    /** The borrowed parameters of the slot an implementation fills. */
+    implSlotBorrowed(implFn: string): ReadonlySet<number>;
+    /** The vtable entry for one implementation: its owned entry for an owned
+     * slot, its borrowing body when that borrows exactly the slot's
+     * parameters, otherwise its virtual adapter (emitOwnedCallAdapter). */
+    entry(implFn: string): string;
+}

package/dist/backend/llvm/virtual-borrows.js

@@ -0,0 +1,82 @@
+import { mangleBorrowedFunction, mangleFunction } from "../mangle.js";
+import { vtEntriesFor } from "./classes.js";
+const NO_BORROWED = new Set();
+/** Virtual dispatch normally keeps the owned ABI: the caller passes +1 and
+ * the method's owned entry releases what its body borrows. When every
+ * implementation of a slot has a borrowing body for the same parameter
+ * (call-lifetimes proves this per function, independent of the caller), the
+ * slot borrows that parameter instead: call sites pass it like a direct call
+ * to a borrowing body, so a receiver that survives the call is neither
+ * retained nor released (and, being cycle-capable, not buffered as a
+ * candidate either). Implementations that borrow more parameters than the
+ * slot get an adapter that releases the difference.
+ *
+ * Shared by the emitter and the self-hosted layout stage, so both store the
+ * same vtable entries. */
+export class VirtualBorrows {
+    functions;
+    borrowed;
+    /** Parameters every implementation of a vtable slot borrows, keyed by
+     * `root\0slot index`, and each implementation's slot key. */
+    slotBorrowed = new Map();
+    implSlot = new Map();
+    constructor(mod, classMeta, functions, borrowed) {
+        this.functions = functions;
+        this.borrowed = borrowed;
+        const impls = new Map();
+        const emitted = new Set((mod.classes ?? []).filter((c) => !c.runtime).map((c) => c.name));
+        for (const meta of classMeta.values()) {
+            if (!meta.hierarchy || !emitted.has(meta.def.name))
+                continue;
+            vtEntriesFor(meta).forEach(({ slot, impl }, index) => {
+                if (impl === null)
+                    return;
+                const key = `${meta.root.def.name}\0${index}`;
+                const name = `%${impl.def.name}.${slot.method}`;
+                let set = impls.get(key);
+                if (!set)
+                    impls.set(key, (set = new Set()));
+                set.add(name);
+                this.implSlot.set(name, key);
+            });
+        }
+        for (const [key, names] of impls) {
+            let common = null;
+            for (const name of names) {
+                const fn = this.functions.get(name);
+                const own = this.borrowed.get(name);
+                if (!fn || !own || fn.captures !== undefined || fn.async || fn.generator) {
+                    common = [];
+                    break;
+                }
+                common = (common ?? [...own]).filter((index) => own.has(index));
+            }
+            if (common !== null && common.length > 0)
+                this.slotBorrowed.set(key, new Set(common));
+        }
+    }
+    /** The borrowed parameters of a hierarchy's vtable slot (empty: owned). */
+    slot(rootName, slotIndex) {
+        return this.slotBorrowed.get(`${rootName}\0${slotIndex}`) ?? NO_BORROWED;
+    }
+    /** The borrowed parameters of the slot an implementation fills. */
+    implSlotBorrowed(implFn) {
+        const key = this.implSlot.get(implFn);
+        if (key === undefined)
+            return NO_BORROWED;
+        return this.slotBorrowed.get(key) ?? NO_BORROWED;
+    }
+    /** The vtable entry for one implementation: its owned entry for an owned
+     * slot, its borrowing body when that borrows exactly the slot's
+     * parameters, otherwise its virtual adapter (emitOwnedCallAdapter). */
+    entry(implFn) {
+        const slot = this.implSlotBorrowed(implFn);
+        if (slot.size === 0)
+            return mangleFunction(implFn);
+        const own = this.borrowed.get(implFn);
+        return own.size === slot.size
+            ? mangleBorrowedFunction(implFn)
+            : `${mangleBorrowedFunction(implFn)}.virtual`;
+    }
+}
+//# sourceMappingURL=virtual-borrows.js.map

package/dist/backend/llvm/virtual-borrows.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"virtual-borrows.js","sourceRoot":"","sources":["../../../src/backend/llvm/virtual-borrows.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,sBAAsB,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AACtE,OAAO,EAAE,YAAY,EAAoB,MAAM,cAAc,CAAC;AAE9D,MAAM,WAAW,GAAwB,IAAI,GAAG,EAAE,CAAC;AAEnD;;;;;;;;;;;0BAW0B;AAC1B,MAAM,OAAO,cAAc;IASN,SAAS;IACT,QAAQ;IAT3B;iEAC6D;IAC5C,YAAY,GAAG,IAAI,GAAG,EAA+B,CAAC;IACtD,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAEtD,YACE,GAAa,EACb,SAA2C,EAC1B,SAA0C,EAC1C,QAAkD;yBADlD,SAAS;wBACT,QAAQ;QAEzB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAuB,CAAC;QAC7C,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1F,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;YACtC,IAAI,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC7D,YAAY,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE;gBACnD,IAAI,IAAI,KAAK,IAAI;oBAAE,OAAO;gBAC1B,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBAC9C,MAAM,IAAI,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChD,IAAI,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACzB,IAAI,CAAC,GAAG;oBAAE,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;gBAC5C,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACd,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAC/B,CAAC,CAAC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC;YACjC,IAAI,MAAM,GAAoB,IAAI,CAAC;YACnC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACpC,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACpC,IAAI,CAAC,EAAE,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC;oBACzE,MAAM,GAAG,EAAE,CAAC;oBACZ,MAAM;gBACR,CAAC;gBACD,MAAM,GAAG,CAAC,MAAM,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;YAClE,CAAC;YACD,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;gBAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;QACxF,CAAC;IACH,CAAC;IAED,2EAA2E;IAC3E,IAAI,CAAC,QAAgB,EAAE,SAAiB;QACtC,OAAO,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,QAAQ,KAAK,SAAS,EAAE,CAAC,IAAI,WAAW,CAAC;IAC3E,CAAC;IAED,mEAAmE;IACnE,gBAAgB,CAAC,MAAc;QAC7B,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACtC,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,WAAW,CAAC;QAC1C,OAAO,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,WAAW,CAAC;IACnD,CAAC;IAED;;2EAEuE;IACvE,KAAK,CAAC,MAAc;QAClB,MAAM,IAAI,GAAG,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;QAC3C,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO,cAAc,CAAC,MAAM,CAAC,CAAC;QACnD,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC;QACvC,OAAO,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI;YAC3B,CAAC,CAAC,sBAAsB,CAAC,MAAM,CAAC;YAChC,CAAC,CAAC,GAAG,sBAAsB,CAAC,MAAM,CAAC,UAAU,CAAC;IAClD,CAAC;CACF"}

package/dist/backend/llvm/walk-borrows.d.ts

@@ -0,0 +1,43 @@
+import { type IrExpr, type IrFunction, type IrLocal } from "../../ir/ir.js";
+/** What the emitter knows about a projection's storage. */
+export interface WalkBorrowHost {
+    /** The local holds one plain reference pointer (instances, records,
+     * arrays, strings, nullable-pointer unions). Tagged union boxes, closures
+     * and dynamic values keep ownership. */
+    pointerLocal(local: IrLocal): boolean;
+    /** emitReadReceiver yields this expression's pointer without acquiring a
+     * reference (class casts, nullable wraps, plain field reads, checked
+     * ternaries). */
+    borrowsWithoutOwning(e: IrExpr): boolean;
+    /** The callee returns a borrowed walk of its arguments (findWalkBorrows'
+     * returnsWalk); a call to it with walk arguments is itself a walk. */
+    borrowedReturn?(callee: string): boolean;
+    /** Parameters that may become candidates; once calling conventions are
+     * fixed, only borrowed parameters qualify. Defaults to every parameter. */
+    parameterAllowed?(localId: string): boolean;
+}
+export interface WalkFacts {
+    locals: ReadonlySet<string>;
+    /** Every return yields a walk (or a throw), so the body can return its
+     * pointer without a reference: no try statement, at least one return. */
+    returnsWalk: boolean;
+}
+/** Locals (including rebound parameters) that may hold borrowed pointers
+ * for their whole lifetime: every definition (declaration or statement
+ * assignment) is a projection of an unwritten parameter or of another such
+ * local, for example the parent walk `let p = node.parent; while (p.parent)
+ * p = p.parent;`. A rebound parameter in the result keeps the borrowed
+ * calling convention.
+ *
+ * Soundness rests on the whole body preserving heap edges (the caller
+ * passes only functions in ReferenceEffects.functions): neither the body
+ * nor anything it calls removes a field, element or global reference, so
+ * every object reachable from a parameter at entry stays reachable (and
+ * alive) until the function returns. Such a local therefore needs no
+ * retain on definition, no release on rebinding and none at scope exit.
+ * Whole-value uses (returns, stores, owned arguments) still retain their
+ * own copies when they read the binding. Other locals may be rebound
+ * freely: they never root a walk, so releasing their old values cannot free
+ * an object the walk reaches. */
+export declare function findWalkBorrows(fn: IrFunction, host: WalkBorrowHost): ReadonlySet<string>;
+export declare function analyzeWalks(fn: IrFunction, host: WalkBorrowHost): WalkFacts;

package/dist/backend/llvm/walk-borrows.js

@@ -0,0 +1,150 @@
+import { isRefCounted } from "../../ir/ir.js";
+import { everyStmtList } from "../../ir/traverse.js";
+/** Locals (including rebound parameters) that may hold borrowed pointers
+ * for their whole lifetime: every definition (declaration or statement
+ * assignment) is a projection of an unwritten parameter or of another such
+ * local, for example the parent walk `let p = node.parent; while (p.parent)
+ * p = p.parent;`. A rebound parameter in the result keeps the borrowed
+ * calling convention.
+ *
+ * Soundness rests on the whole body preserving heap edges (the caller
+ * passes only functions in ReferenceEffects.functions): neither the body
+ * nor anything it calls removes a field, element or global reference, so
+ * every object reachable from a parameter at entry stays reachable (and
+ * alive) until the function returns. Such a local therefore needs no
+ * retain on definition, no release on rebinding and none at scope exit.
+ * Whole-value uses (returns, stores, owned arguments) still retain their
+ * own copies when they read the binding. Other locals may be rebound
+ * freely: they never root a walk, so releasing their old values cannot free
+ * an object the walk reaches. */
+export function findWalkBorrows(fn, host) {
+    return analyzeWalks(fn, host).locals;
+}
+export function analyzeWalks(fn, host) {
+    const result = new Set();
+    if (fn.async || fn.generator || fn.captures || fn.classCaptures)
+        return { locals: result, returnsWalk: false };
+    const returns = [];
+    let guarded = false;
+    const params = new Set(fn.params.map((param) => param.localId));
+    const locals = new Map(fn.locals.map((local) => [local.id, local]));
+    const definitions = new Map();
+    // Locals written in any other way (expression assignments, loop and catch
+    // bindings, captures) keep the ordinary owned representation.
+    const excluded = new Set();
+    const define = (id, value) => {
+        let list = definitions.get(id);
+        if (!list)
+            definitions.set(id, (list = []));
+        list.push(value);
+    };
+    everyStmtList(fn.body, {
+        stmt: (s) => {
+            switch (s.kind) {
+                case "varDecl":
+                    define(s.localId, s.init);
+                    break;
+                case "assign":
+                    define(s.localId, s.value);
+                    break;
+                case "forOf":
+                    excluded.add(s.localId);
+                    break;
+                case "rethrow":
+                    excluded.add(s.localId);
+                    break;
+                case "tryCatch":
+                    guarded = true;
+                    if (s.catchLocalId !== null)
+                        excluded.add(s.catchLocalId);
+                    break;
+                case "return":
+                    returns.push(s.value);
+                    break;
+            }
+            return true;
+        },
+        expr: (e) => {
+            switch (e.kind) {
+                case "assignExpr":
+                case "incDec":
+                    excluded.add(e.localId);
+                    break;
+                case "closure":
+                case "classRef":
+                    for (const id of e.captures ?? [])
+                        excluded.add(id);
+                    break;
+            }
+            return true;
+        },
+    });
+    const plain = (id) => {
+        const local = locals.get(id);
+        return (!!local &&
+            !local.boxed &&
+            !local.tdz &&
+            !excluded.has(id) &&
+            host.pointerLocal(local) &&
+            (!params.has(id) || host.parameterAllowed?.(id) !== false));
+    };
+    // Parameters are roots only while no definition rebinds them. A
+    // parameter rebound by statement assignments alone (`t = t.regular`) is a
+    // candidate like any local: its incoming value is the caller's borrow.
+    const roots = new Set([...params].filter((id) => !definitions.has(id) && plain(id)));
+    const candidates = new Set();
+    for (const [id, values] of definitions) {
+        if (!plain(id))
+            continue;
+        if (params.has(id) && values.some((value) => value === null))
+            continue;
+        candidates.add(id);
+    }
+    // A walk projects roots or candidates through reads that never acquire a
+    // reference. Drop candidates until every definition is such a walk.
+    const walk = (e) => {
+        switch (e.kind) {
+            case "varRef":
+                return roots.has(e.localId) || candidates.has(e.localId);
+            case "fieldGet":
+            case "recordGet":
+                return host.borrowsWithoutOwning(e) && walk(e.obj);
+            case "unionNarrow":
+            case "downcast":
+            case "upcast":
+                return host.borrowsWithoutOwning(e) && walk(e.value);
+            case "unionWrap":
+                if (!host.borrowsWithoutOwning(e))
+                    return false;
+                return e.value.kind === "unitLit" || walk(e.value);
+            // Each arm is itself a walk (or a throw), which emitReadReceiver reads
+            // without owning.
+            case "ternary":
+                return host.borrowsWithoutOwning(e) && walkOrThrow(e.then) && walkOrThrow(e.else_);
+            // A borrowed result is reachable from walk arguments.
+            case "call":
+                return (host.borrowedReturn?.(e.callee) === true &&
+                    host.borrowsWithoutOwning(e) &&
+                    e.args.every((arg) => !isRefCounted(arg.type) || walk(arg)));
+            default:
+                return false;
+        }
+    };
+    const walkOrThrow = (e) => (e.kind === "libCall" && e.fn === "error.nodeThrow") || walk(e);
+    for (let changed = true; changed;) {
+        changed = false;
+        for (const id of candidates) {
+            if (definitions.get(id).every((value) => value === null || walk(value)))
+                continue;
+            candidates.delete(id);
+            changed = true;
+        }
+    }
+    for (const id of candidates)
+        result.add(id);
+    const returnsWalk = !guarded &&
+        returns.length > 0 &&
+        returns.every((value) => value !== null && walkOrThrow(value));
+    return { locals: result, returnsWalk };
+}
+//# sourceMappingURL=walk-borrows.js.map

package/dist/backend/llvm/walk-borrows.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"walk-borrows.js","sourceRoot":"","sources":["../../../src/backend/llvm/walk-borrows.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAA8C,MAAM,gBAAgB,CAAC;AAC1F,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AA2BrD;;;;;;;;;;;;;;;;iCAgBiC;AACjC,MAAM,UAAU,eAAe,CAAC,EAAc,EAAE,IAAoB;IAClE,OAAO,YAAY,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC;AACvC,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,EAAc,EAAE,IAAoB;IAC/D,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS,IAAI,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,aAAa;QAC7D,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;IAChD,MAAM,OAAO,GAAsB,EAAE,CAAC;IACtC,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;IAChE,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;IACpE,MAAM,WAAW,GAAG,IAAI,GAAG,EAA6B,CAAC;IACzD,0EAA0E;IAC1E,8DAA8D;IAC9D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,MAAM,GAAG,CAAC,EAAU,EAAE,KAAoB,EAAQ,EAAE;QACxD,IAAI,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAI,CAAC,IAAI;YAAE,WAAW,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;QAC5C,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnB,CAAC,CAAC;IACF,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;QACrB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;YACV,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;gBACf,KAAK,SAAS;oBACZ,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;oBAC1B,MAAM;gBACR,KAAK,QAAQ;oBACX,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;oBAC3B,MAAM;gBACR,KAAK,OAAO;oBACV,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;oBACxB,MAAM;gBACR,KAAK,SAAS;oBACZ,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;oBACxB,MAAM;gBACR,KAAK,UAAU;oBACb,OAAO,GAAG,IAAI,CAAC;oBACf,IAAI,CAAC,CAAC,YAAY,KAAK,IAAI;wBAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;oBAC1D,MAAM;gBACR,KAAK,QAAQ;oBACX,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;oBACtB,MAAM;YACV,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;YACV,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;gBACf,KAAK,YAAY,CAAC;gBAClB,KAAK,QAAQ;oBACX,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;oBACxB,MAAM;gBACR,KAAK,SAAS,CAAC;gBACf,KAAK,UAAU;oBACb,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,QAAQ,IAAI,EAAE;wBAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;oBACpD,MAAM;YACV,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;KACF,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,CAAC,EAAU,EAAW,EAAE;QACpC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC7B,OAAO,CACL,CAAC,CAAC,KAAK;YACP,CAAC,KAAK,CAAC,KAAK;YACZ,CAAC,KAAK,CAAC,GAAG;YACV,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACjB,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC;YACxB,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,gBAAgB,EAAE,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAC3D,CAAC;IACJ,CAAC,CAAC;IACF,gEAAgE;IAChE,0EAA0E;IAC1E,uEAAuE;IACvE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACrF,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,KAAK,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QACvC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAAE,SAAS;QACzB,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC;YAAE,SAAS;QACvE,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACrB,CAAC;IACD,yEAAyE;IACzE,oEAAoE;IACpE,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,QAAQ;gBACX,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAC3D,KAAK,UAAU,CAAC;YAChB,KAAK,WAAW;gBACd,OAAO,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YACrD,KAAK,aAAa,CAAC;YACnB,KAAK,UAAU,CAAC;YAChB,KAAK,QAAQ;gBACX,OAAO,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACvD,KAAK,WAAW;gBACd,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC;oBAAE,OAAO,KAAK,CAAC;gBAChD,OAAO,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACrD,uEAAuE;YACvE,kBAAkB;YAClB,KAAK,SAAS;gBACZ,OAAO,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACrF,sDAAsD;YACtD,KAAK,MAAM;gBACT,OAAO,CACL,IAAI,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,IAAI;oBACxC,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC;oBAC5B,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAC5D,CAAC;YACJ;gBACE,OAAO,KAAK,CAAC;QACjB,CAAC;IACH,CAAC,CAAC;IACF,MAAM,WAAW,GAAG,CAAC,CAAS,EAAW,EAAE,CACzC,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,EAAE,KAAK,iBAAiB,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC;IAClE,KAAK,IAAI,OAAO,GAAG,IAAI,EAAE,OAAO,GAAG,CAAC;QAClC,OAAO,GAAG,KAAK,CAAC;QAChB,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;YAC5B,IAAI,WAAW,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC;gBAAE,SAAS;YACnF,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACtB,OAAO,GAAG,IAAI,CAAC;QACjB,CAAC;IACH,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,UAAU;QAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC5C,MAAM,WAAW,GACf,CAAC,OAAO;QACR,OAAO,CAAC,MAAM,GAAG,CAAC;QAClB,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI,IAAI,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;IACjE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;AACzC,CAAC"}

package/dist/backend/llvm/walk-borrows.test.d.ts

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

package/dist/backend/llvm/walk-borrows.test.js

@@ -0,0 +1,119 @@
+import { expect, test } from "vitest";
+import { F64, VOID } from "../../ir/ir.js";
+import { analyzeWalks, findWalkBorrows } from "./walk-borrows.js";
+const loc = { file: "walk.ts", start: 0, end: 0 };
+const NODE = { kind: "object", className: "Node" };
+const ref = (localId) => ({ kind: "varRef", localId, type: NODE, loc });
+const parent = (obj) => ({
+    kind: "fieldGet",
+    obj,
+    className: "Node",
+    field: "parent",
+    type: NODE,
+    loc,
+});
+const decl = (localId, init) => ({
+    kind: "varDecl",
+    localId,
+    init,
+    loc,
+});
+const assign = (localId, value) => ({
+    kind: "assign",
+    localId,
+    value,
+    loc,
+});
+const local = (id, mutable = true) => ({ id, name: id, type: NODE, mutable });
+function fn(body, locals, params = ["node"]) {
+    return {
+        name: "walk",
+        params: params.map((id) => ({ localId: id, name: id, type: NODE })),
+        locals: [...params, ...locals].map((id) => local(id)),
+        body,
+        returnType: VOID,
+        loc,
+    };
+}
+const host = {
+    pointerLocal: (l) => l.type.kind === "object",
+    borrowsWithoutOwning: () => true,
+};
+test("parent walks rooted at unwritten parameters borrow", () => {
+    const body = [
+        decl("p", parent(ref("node"))),
+        decl("next", parent(ref("p"))),
+        assign("p", ref("next")),
+        decl("unset", null),
+        assign("unset", parent(parent(ref("p")))),
+    ];
+    expect(findWalkBorrows(fn(body, ["p", "next", "unset"]), host)).toEqual(new Set(["p", "next", "unset"]));
+});
+const call = { kind: "call", callee: "make", args: [], type: NODE, loc };
+test("parameters rebound only to walks keep borrowing", () => {
+    const body = [assign("node", parent(ref("node"))), decl("up", parent(ref("node")))];
+    expect(findWalkBorrows(fn(body, ["up"]), host)).toEqual(new Set(["node", "up"]));
+    // A parameter re-declared without an initializer is left alone.
+    expect(findWalkBorrows(fn([decl("node", null)], []), host).size).toBe(0);
+});
+test("rebound parameters, owned sources and other writers keep ownership", () => {
+    const body = [
+        // A parameter rebound to an owned value is no root, and neither is its walk.
+        assign("node", call),
+        decl("fromParam", parent(ref("node"))),
+        // A call result is owned, and the failure propagates transitively.
+        decl("owned", call),
+        decl("viaOwned", parent(ref("owned"))),
+        decl("viaViaOwned", ref("viaOwned")),
+        // An expression-position write excludes the local.
+        decl("written", parent(ref("other"))),
+        {
+            kind: "exprStmt",
+            expr: { kind: "assignExpr", localId: "written", value: ref("other"), type: NODE, loc },
+            loc,
+        },
+        decl("kept", parent(ref("other"))),
+    ];
+    const result = findWalkBorrows(fn(body, ["fromParam", "owned", "viaOwned", "viaViaOwned", "written", "kept"], ["node", "other"]), host);
+    expect(result).toEqual(new Set(["kept"]));
+});
+test("scalar locals, owning projections and suspending bodies are never walks", () => {
+    const scalar = fn([decl("p", parent(ref("node")))], ["p"]);
+    scalar.locals[1] = { id: "p", name: "p", type: F64, mutable: true };
+    expect(findWalkBorrows(scalar, host).size).toBe(0);
+    const owning = fn([decl("p", parent(ref("node")))], ["p"]);
+    expect(findWalkBorrows(owning, { ...host, borrowsWithoutOwning: () => false }).size).toBe(0);
+    const suspending = { ...fn([decl("p", parent(ref("node")))], ["p"]), async: true };
+    expect(findWalkBorrows(suspending, host).size).toBe(0);
+});
+test("returns of walks, including calls to borrowed-return callees, return borrowed", () => {
+    const ret = (value) => ({ kind: "return", value, loc });
+    const accessor = { kind: "call", callee: "fileOf", args: [ref("node")], type: NODE, loc };
+    const borrowedHost = { ...host, borrowedReturn: (callee) => callee === "fileOf" };
+    const walking = fn([decl("p", accessor), ret(parent(ref("p")))], ["p"]);
+    expect(analyzeWalks(walking, borrowedHost)).toEqual({
+        locals: new Set(["p"]),
+        returnsWalk: true,
+    });
+    // Without the callee fact the call result is owned.
+    expect(analyzeWalks(walking, host)).toEqual({ locals: new Set(), returnsWalk: false });
+    // Every return must walk, a try statement disqualifies, and parameters
+    // outside the borrowing convention are no roots.
+    const mixed = fn([ret(parent(ref("node"))), ret(call)], []);
+    expect(analyzeWalks(mixed, borrowedHost).returnsWalk).toBe(false);
+    const guarded = fn([
+        {
+            kind: "tryCatch",
+            tryBody: [ret(ref("node"))],
+            catchBody: null,
+            catchLocalId: null,
+            finallyBody: [],
+            loc,
+        },
+    ], []);
+    expect(analyzeWalks(guarded, borrowedHost).returnsWalk).toBe(false);
+    const owned = fn([ret(parent(ref("node")))], []);
+    expect(analyzeWalks(owned, { ...borrowedHost, parameterAllowed: () => false }).returnsWalk).toBe(false);
+    expect(analyzeWalks(owned, borrowedHost).returnsWalk).toBe(true);
+});
+//# sourceMappingURL=walk-borrows.test.js.map

package/dist/backend/llvm/walk-borrows.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"walk-borrows.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/walk-borrows.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,GAAG,EAAE,IAAI,EAA0D,MAAM,gBAAgB,CAAC;AACnG,OAAO,EAAE,YAAY,EAAE,eAAe,EAAuB,MAAM,mBAAmB,CAAC;AAEvF,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAClD,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;AAC3D,MAAM,GAAG,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AACxF,MAAM,MAAM,GAAG,CAAC,GAAW,EAAU,EAAE,CAAC,CAAC;IACvC,IAAI,EAAE,UAAU;IAChB,GAAG;IACH,SAAS,EAAE,MAAM;IACjB,KAAK,EAAE,QAAQ;IACf,IAAI,EAAE,IAAI;IACV,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,IAAI,GAAG,CAAC,OAAe,EAAE,IAAmB,EAAU,EAAE,CAAC,CAAC;IAC9D,IAAI,EAAE,SAAS;IACf,OAAO;IACP,IAAI;IACJ,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,MAAM,GAAG,CAAC,OAAe,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC;IAC1D,IAAI,EAAE,QAAQ;IACd,OAAO;IACP,KAAK;IACL,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,KAAK,GAAG,CAAC,EAAU,EAAE,OAAO,GAAG,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;AAEtF,SAAS,EAAE,CAAC,IAAc,EAAE,MAAgB,EAAE,MAAM,GAAG,CAAC,MAAM,CAAC;IAC7D,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QACnE,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACrD,IAAI;QACJ,UAAU,EAAE,IAAI;QAChB,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,MAAM,IAAI,GAAmB;IAC3B,YAAY,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;IAC7C,oBAAoB,EAAE,GAAG,EAAE,CAAC,IAAI;CACjC,CAAC;AAEF,IAAI,CAAC,oDAAoD,EAAE,GAAG,EAAE;IAC9D,MAAM,IAAI,GAAG;QACX,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;QAC9B,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC;QACnB,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;KAC1C,CAAC;IACF,MAAM,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CACrE,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAChC,CAAC;AACJ,CAAC,CAAC,CAAC;AAEH,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAEjF,IAAI,CAAC,iDAAiD,EAAE,GAAG,EAAE;IAC3D,MAAM,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACpF,MAAM,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACjF,gEAAgE;IAChE,MAAM,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC3E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oEAAoE,EAAE,GAAG,EAAE;IAC9E,MAAM,IAAI,GAAG;QACX,6EAA6E;QAC7E,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC;QACpB,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;QACtC,mEAAmE;QACnE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC;QACnB,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;QACtC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;QACpC,mDAAmD;QACnD,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;QACrC;YACE,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YACtF,GAAG;SACM;QACX,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;KACnC,CAAC;IACF,MAAM,MAAM,GAAG,eAAe,CAC5B,EAAE,CACA,IAAI,EACJ,CAAC,WAAW,EAAE,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,CAAC,EACpE,CAAC,MAAM,EAAE,OAAO,CAAC,CAClB,EACD,IAAI,CACL,CAAC;IACF,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;AAC5C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,yEAAyE,EAAE,GAAG,EAAE;IACnF,MAAM,MAAM,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3D,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACpE,MAAM,CAAC,eAAe,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnD,MAAM,MAAM,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3D,MAAM,CAAC,eAAe,CAAC,MAAM,EAAE,EAAE,GAAG,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7F,MAAM,UAAU,GAAe,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAC/F,MAAM,CAAC,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACzD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+EAA+E,EAAE,GAAG,EAAE;IACzF,MAAM,GAAG,GAAG,CAAC,KAAoB,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;IAC/E,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAClG,MAAM,YAAY,GAAG,EAAE,GAAG,IAAI,EAAE,cAAc,EAAE,CAAC,MAAc,EAAE,EAAE,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;IAC1F,MAAM,OAAO,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACxE,MAAM,CAAC,YAAY,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC;QAClD,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QACtB,WAAW,EAAE,IAAI;KAClB,CAAC,CAAC;IACH,oDAAoD;IACpD,MAAM,CAAC,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC;IACvF,uEAAuE;IACvE,iDAAiD;IACjD,MAAM,KAAK,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC5D,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClE,MAAM,OAAO,GAAG,EAAE,CAChB;QACE;YACE,IAAI,EAAE,UAAU;YAChB,OAAO,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;YAC3B,SAAS,EAAE,IAAI;YACf,YAAY,EAAE,IAAI;YAClB,WAAW,EAAE,EAAE;YACf,GAAG;SACJ;KACF,EACD,EAAE,CACH,CAAC;IACF,MAAM,CAAC,YAAY,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpE,MAAM,KAAK,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACjD,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,EAAE,GAAG,YAAY,EAAE,gBAAgB,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAC9F,KAAK,CACN,CAAC;IACF,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACnE,CAAC,CAAC,CAAC"}