@scriptc/compiler 0.2.7 → 0.2.9

package/dist/backend/llvm/string-reads.js

@@ -0,0 +1,79 @@
+/* Inline UTF-16 reads of proven-ASCII strings.
+ *
+ * Strings are UTF-8, so `length` and `charCodeAt` need a UTF-16 mapping in
+ * general. Bit 31 of a string's capacity word (SCR_STR_ASCII_BIT in
+ * scr_runtime.h) proves every byte is ASCII, where units are bytes. Sites
+ * call the internal sc_str_* helpers below, which LLVM inlines: the proven
+ * case is a header load and, for charCodeAt, one byte load; every other
+ * string or index defers to the runtime function, which keeps the complete
+ * semantics (surrogate halves, out-of-range NaN, fractional, negative and
+ * NaN indices). On little-endian targets the bit is the sign bit of the
+ * capacity word's low 32 bits on both i64 and i32 layouts.
+ */
+import { exactIndexLines } from "./common.js";
+export const STRING_UTF16_LEN_DECL = "declare double @scr_str_utf16_len(ptr)";
+export const STRING_CHAR_CODE_AT_DECL = "declare double @scr_str_char_code_at(ptr, double)";
+/** Load the proven-ASCII flag of `%s` into `%ascii`. */
+function asciiTest() {
+    return [
+        `  %cw.p = getelementptr inbounds %ScrStr, ptr %s, i32 0, i32 2`,
+        `  %cw = load i32, ptr %cw.p`,
+        `  %ascii = icmp slt i32 %cw, 0`,
+    ];
+}
+function loadLength(sz) {
+    return [
+        `  %len.p = getelementptr inbounds %ScrStr, ptr %s, i32 0, i32 1`,
+        `  %len = load ${sz}, ptr %len.p`,
+    ];
+}
+export const STRING_READ_HELPERS = [
+    {
+        decl: STRING_UTF16_LEN_DECL,
+        define: (sz, attrs) => [
+            `define internal double @sc_str_utf16_len(ptr %s) ${attrs} {`,
+            `entry:`,
+            ...asciiTest(),
+            `  br i1 %ascii, label %fast, label %slow`,
+            `fast:`,
+            ...loadLength(sz),
+            `  %n = sitofp ${sz} %len to double`,
+            `  ret double %n`,
+            `slow:`,
+            `  %r = call double @scr_str_utf16_len(ptr %s)`,
+            `  ret double %r`,
+            `}`,
+        ],
+    },
+    {
+        decl: STRING_CHAR_CODE_AT_DECL,
+        define: (sz, attrs) => {
+            let n = 0;
+            const exactIndex = exactIndexLines("%i", "%len", sz, () => `%ix${n++}`);
+            return [
+                `define internal double @sc_str_char_code_at(ptr %s, double %i) ${attrs} {`,
+                `entry:`,
+                ...asciiTest(),
+                `  br i1 %ascii, label %bounds, label %slow`,
+                `bounds:`,
+                ...loadLength(sz),
+                ...exactIndex.lines.map((line) => `  ${line}`),
+                `  br i1 ${exactIndex.ok}, label %read, label %slow`,
+                `read:`,
+                sz === "i64"
+                    ? `  %k = add i64 ${exactIndex.wide}, 0`
+                    : `  %k = trunc i64 ${exactIndex.wide} to ${sz}`,
+                `  %data = getelementptr inbounds %ScrStr, ptr %s, i32 1`,
+                `  %p = getelementptr inbounds i8, ptr %data, ${sz} %k`,
+                `  %byte = load i8, ptr %p`,
+                `  %unit = uitofp i8 %byte to double`,
+                `  ret double %unit`,
+                `slow:`,
+                `  %r = call double @scr_str_char_code_at(ptr %s, double %i)`,
+                `  ret double %r`,
+                `}`,
+            ];
+        },
+    },
+];
+//# sourceMappingURL=string-reads.js.map

package/dist/backend/llvm/string-reads.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"string-reads.js","sourceRoot":"","sources":["../../../src/backend/llvm/string-reads.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAE9C,MAAM,CAAC,MAAM,qBAAqB,GAAG,wCAAwC,CAAC;AAC9E,MAAM,CAAC,MAAM,wBAAwB,GAAG,mDAAmD,CAAC;AAE5F,wDAAwD;AACxD,SAAS,SAAS;IAChB,OAAO;QACL,gEAAgE;QAChE,6BAA6B;QAC7B,gCAAgC;KACjC,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,EAAU;IAC5B,OAAO;QACL,iEAAiE;QACjE,iBAAiB,EAAE,cAAc;KAClC,CAAC;AACJ,CAAC;AAOD,MAAM,CAAC,MAAM,mBAAmB,GAAgC;IAC9D;QACE,IAAI,EAAE,qBAAqB;QAC3B,MAAM,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC;YACrB,oDAAoD,KAAK,IAAI;YAC7D,QAAQ;YACR,GAAG,SAAS,EAAE;YACd,0CAA0C;YAC1C,OAAO;YACP,GAAG,UAAU,CAAC,EAAE,CAAC;YACjB,iBAAiB,EAAE,iBAAiB;YACpC,iBAAiB;YACjB,OAAO;YACP,+CAA+C;YAC/C,iBAAiB;YACjB,GAAG;SACJ;KACF;IACD;QACE,IAAI,EAAE,wBAAwB;QAC9B,MAAM,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE;YACpB,IAAI,CAAC,GAAG,CAAC,CAAC;YACV,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;YACxE,OAAO;gBACL,kEAAkE,KAAK,IAAI;gBAC3E,QAAQ;gBACR,GAAG,SAAS,EAAE;gBACd,4CAA4C;gBAC5C,SAAS;gBACT,GAAG,UAAU,CAAC,EAAE,CAAC;gBACjB,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC;gBAC9C,WAAW,UAAU,CAAC,EAAE,4BAA4B;gBACpD,OAAO;gBACP,EAAE,KAAK,KAAK;oBACV,CAAC,CAAC,kBAAkB,UAAU,CAAC,IAAI,KAAK;oBACxC,CAAC,CAAC,oBAAoB,UAAU,CAAC,IAAI,OAAO,EAAE,EAAE;gBAClD,yDAAyD;gBACzD,gDAAgD,EAAE,KAAK;gBACvD,2BAA2B;gBAC3B,qCAAqC;gBACrC,oBAAoB;gBACpB,OAAO;gBACP,6DAA6D;gBAC7D,iBAAiB;gBACjB,GAAG;aACJ,CAAC;QACJ,CAAC;KACF;CACF,CAAC"}

package/dist/backend/llvm/string-slices.js

@@ -72,7 +72,7 @@ export function emitStringSliceRead(host, value) {
         const pointer = B.tmp(), length = B.tmp(), number = B.tmp();
         B.line(`${pointer} = getelementptr inbounds { ${host.sizeType}, ${host.sizeType}, i32 }, ptr ${snapshot.range}, i32 0, i32 1`);
         B.line(`${length} = load ${host.sizeType}, ptr ${pointer}`);
-        B.line(`${number} = uitofp ${host.sizeType} ${length} to double`);
+        B.line(`${number} = sitofp ${host.sizeType} ${length} to double`);
         return { name: number, type: value.type };
     }
     if (value.method !== "charCodeAt")

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

@@ -73,7 +73,7 @@ test("string dispatch uses target-width byte lengths and checks equality inside
         const body = emit(STRING, ["", "a", "é", "😀", "tail", "é"].map(string), bits);
         expect(body).toContain(`load i${bits}, ptr`);
         expect(body).toContain(`switch i${bits}`);
-        expect(body).not.toContain("scr_str_utf16_len");
+        expect(body).not.toContain("_str_utf16_len");
         expect(body.match(/call zeroext i1 @sc_str_eq/g)).toHaveLength(5);
         const dispatch = body.split("\n").find((line) => line.includes(`switch i${bits}`));
         expect(dispatch).toContain(`i${bits} 2, label`);

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/trunc.d.ts

@@ -0,0 +1,8 @@
+import type { LlvmEmitterContext } from "./expr-context.js";
+/** `Math.trunc(value)`. Targets with a rounding instruction use
+ * `llvm.trunc`; on baseline x86-64 that intrinsic is a libm call, so the
+ * value instead takes an integer round trip. Every double of magnitude at
+ * least 2^52 is already an integer, and NaN and the infinities fail the
+ * magnitude test, so those keep their value; the round trip of a smaller
+ * value restores its sign so that `-0.5` and `-0` truncate to `-0`. */
+export declare function emitTruncF64(host: LlvmEmitterContext, value: string): string;

package/dist/backend/llvm/trunc.js

@@ -0,0 +1,28 @@
+import { f64Lit } from "./common.js";
+/** `Math.trunc(value)`. Targets with a rounding instruction use
+ * `llvm.trunc`; on baseline x86-64 that intrinsic is a libm call, so the
+ * value instead takes an integer round trip. Every double of magnitude at
+ * least 2^52 is already an integer, and NaN and the infinities fail the
+ * magnitude test, so those keep their value; the round trip of a smaller
+ * value restores its sign so that `-0.5` and `-0` truncate to `-0`. */
+export function emitTruncF64(host, value) {
+    const B = host.B;
+    if (!host.inlineTrunc) {
+        host.declare("declare double @llvm.trunc.f64(double)");
+        const out = B.tmp();
+        B.line(`${out} = call double @llvm.trunc.f64(double ${value})`);
+        return out;
+    }
+    host.declare("declare double @llvm.fabs.f64(double)");
+    host.declare("declare double @llvm.copysign.f64(double, double)");
+    const magnitude = B.tmp(), small = B.tmp(), integer = B.tmp(), back = B.tmp(), signed = B.tmp(), out = B.tmp();
+    B.line(`${magnitude} = call double @llvm.fabs.f64(double ${value})`);
+    B.line(`${small} = fcmp olt double ${magnitude}, ${f64Lit(2 ** 52)}`);
+    // Poison for a large or non-finite value, which the select never picks.
+    B.line(`${integer} = fptosi double ${value} to i64`);
+    B.line(`${back} = sitofp i64 ${integer} to double`);
+    B.line(`${signed} = call double @llvm.copysign.f64(double ${back}, double ${value})`);
+    B.line(`${out} = select i1 ${small}, double ${signed}, double ${value}`);
+    return out;
+}
+//# sourceMappingURL=trunc.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"trunc.js","sourceRoot":"","sources":["../../../src/backend/llvm/trunc.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC;;;;;uEAKuE;AACvE,MAAM,UAAU,YAAY,CAAC,IAAwB,EAAE,KAAa;IAClE,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QACtB,IAAI,CAAC,OAAO,CAAC,wCAAwC,CAAC,CAAC;QACvD,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACpB,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,yCAAyC,KAAK,GAAG,CAAC,CAAC;QAChE,OAAO,GAAG,CAAC;IACb,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,uCAAuC,CAAC,CAAC;IACtD,IAAI,CAAC,OAAO,CAAC,mDAAmD,CAAC,CAAC;IAClE,MAAM,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,EACvB,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,EACf,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EACd,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EAChB,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAChB,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,wCAAwC,KAAK,GAAG,CAAC,CAAC;IACrE,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,sBAAsB,SAAS,KAAK,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;IACtE,wEAAwE;IACxE,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,oBAAoB,KAAK,SAAS,CAAC,CAAC;IACrD,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,iBAAiB,OAAO,YAAY,CAAC,CAAC;IACpD,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,4CAA4C,IAAI,YAAY,KAAK,GAAG,CAAC,CAAC;IACtF,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,gBAAgB,KAAK,YAAY,MAAM,YAAY,KAAK,EAAE,CAAC,CAAC;IACzE,OAAO,GAAG,CAAC;AACb,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