@scriptc/compiler 0.2.3 → 0.2.5

package/dist/backend/llvm/blocks.test.js

@@ -35,7 +35,8 @@ test("debug attachments precede instruction comments and skip comment-only lines
     blocks.line('call void @f(ptr @"name;part") ; instruction comment');
     blocks.terminate("ret void ; tail");
     expect(blocks.render()).toBe([
-        "entry:", '  ; comment "quotes" ; remain text',
+        "entry:",
+        '  ; comment "quotes" ; remain text',
         '  call void @f(ptr @"name;part"), !dbg !7 ; instruction comment',
         "  ret void, !dbg !7 ; tail",
     ].join("\n"));
@@ -78,7 +79,9 @@ test("counted loops expose one increment path and preserve nested block endings"
 test("inclusive loops and nested loops keep labels separate", () => {
     const blocks = new BlockBuilder();
     blocks.countedLoop(f64Lit(2), (outer) => {
-        blocks.countedLoop(outer, (inner) => { blocks.line(`call void @consume(double ${inner})`); }, "ole");
+        blocks.countedLoop(outer, (inner) => {
+            blocks.line(`call void @consume(double ${inner})`);
+        }, "ole");
     });
     blocks.terminate("ret void");
     const text = blocks.render();

package/dist/backend/llvm/blocks.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"blocks.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/blocks.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC,IAAI,CAAC,oEAAoE,EAAE,GAAG,EAAE;IAC9E,MAAM,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;IAClC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC;IAC3B,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC;IAC7B,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC/B,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,yBAAyB,CAAC,CAAC;IAC/C,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,MAAM,kBAAkB,CAAC,CAAC;IACtD,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC7B,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,aAAa,MAAM,uBAAuB,KAAK,qCAAqC,CAAC,CAAC;AACrH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oEAAoE,EAAE,GAAG,EAAE;IAC9E,MAAM,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;IAClC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;IAClB,MAAM,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;IACxC,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IAC/B,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAC1B,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1C,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC7B,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;AAC9E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+DAA+D,EAAE,GAAG,EAAE;IACzE,MAAM,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;IAClC,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC7B,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAC1B,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,sBAAsB,CAAC,CAAC;AAC5D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,4EAA4E,EAAE,GAAG,EAAE;IACtF,MAAM,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;IAClC,MAAM,CAAC,aAAa,GAAG,IAAI,CAAC;IAC5B,MAAM,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;IAChD,MAAM,CAAC,IAAI,CAAC,sDAAsD,CAAC,CAAC;IACpE,MAAM,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;IACpC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC;QAC3B,QAAQ,EAAE,oCAAoC;QAC9C,iEAAiE;QACjE,4BAA4B;KAC7B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;AAChB,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gEAAgE,EAAE,GAAG,EAAE;IAC1E,MAAM,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;IAClC,MAAM,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAClC,MAAM,CAAC,aAAa,GAAG,IAAI,CAAC;IAC5B,MAAM,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IACnC,MAAM,CAAC,aAAa,GAAG,IAAI,CAAC;IAC5B,MAAM,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAClC,MAAM,CAAC,aAAa,GAAG,IAAI,CAAC;IAC5B,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC7B,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,sBAAsB,CAAC,CAAC;IAC1D,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,8BAA8B,CAAC,CAAC;IAClE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,6BAA6B,CAAC,CAAC;IACjE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;AAChD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2EAA2E,EAAE,GAAG,EAAE;IACrF,MAAM,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;IAClC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE;QAC5C,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC1B,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QACrC,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QACrC,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACxC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACxB,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAChB,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACxB,MAAM,CAAC,IAAI,CAAC,6BAA6B,KAAK,GAAG,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IACH,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;IAC7B,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAChC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;IAC1C,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,aAAa,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAClD,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IACtC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;AAC5C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,uDAAuD,EAAE,GAAG,EAAE;IACjE,MAAM,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;IAClC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE;QACtC,MAAM,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,6BAA6B,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACvG,CAAC,CAAC,CAAC;IACH,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;IAC7B,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IACrE,MAAM,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACjD,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;IAC1C,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;IAC1C,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;AACvD,CAAC,CAAC,CAAC"}
+{"version":3,"file":"blocks.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/blocks.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC,IAAI,CAAC,oEAAoE,EAAE,GAAG,EAAE;IAC9E,MAAM,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;IAClC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC;IAC3B,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC;IAC7B,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC/B,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,yBAAyB,CAAC,CAAC;IAC/C,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,MAAM,kBAAkB,CAAC,CAAC;IACtD,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC7B,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAC1B,aAAa,MAAM,uBAAuB,KAAK,qCAAqC,CACrF,CAAC;AACJ,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oEAAoE,EAAE,GAAG,EAAE;IAC9E,MAAM,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;IAClC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;IAClB,MAAM,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;IACxC,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IAC/B,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAC1B,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1C,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC7B,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;AAC9E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+DAA+D,EAAE,GAAG,EAAE;IACzE,MAAM,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;IAClC,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC7B,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAC1B,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,sBAAsB,CAAC,CAAC;AAC5D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,4EAA4E,EAAE,GAAG,EAAE;IACtF,MAAM,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;IAClC,MAAM,CAAC,aAAa,GAAG,IAAI,CAAC;IAC5B,MAAM,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;IAChD,MAAM,CAAC,IAAI,CAAC,sDAAsD,CAAC,CAAC;IACpE,MAAM,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;IACpC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAC1B;QACE,QAAQ;QACR,oCAAoC;QACpC,iEAAiE;QACjE,4BAA4B;KAC7B,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CAAC;AACJ,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gEAAgE,EAAE,GAAG,EAAE;IAC1E,MAAM,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;IAClC,MAAM,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAClC,MAAM,CAAC,aAAa,GAAG,IAAI,CAAC;IAC5B,MAAM,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IACnC,MAAM,CAAC,aAAa,GAAG,IAAI,CAAC;IAC5B,MAAM,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAClC,MAAM,CAAC,aAAa,GAAG,IAAI,CAAC;IAC5B,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC7B,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,sBAAsB,CAAC,CAAC;IAC1D,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,8BAA8B,CAAC,CAAC;IAClE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,6BAA6B,CAAC,CAAC;IACjE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;AAChD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2EAA2E,EAAE,GAAG,EAAE;IACrF,MAAM,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;IAClC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE;QAC5C,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC1B,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QACrC,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QACrC,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACxC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACxB,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAChB,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACxB,MAAM,CAAC,IAAI,CAAC,6BAA6B,KAAK,GAAG,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IACH,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;IAC7B,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAChC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;IAC1C,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,aAAa,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAClD,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IACtC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;AAC5C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,uDAAuD,EAAE,GAAG,EAAE;IACjE,MAAM,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;IAClC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE;QACtC,MAAM,CAAC,WAAW,CAChB,KAAK,EACL,CAAC,KAAK,EAAE,EAAE;YACR,MAAM,CAAC,IAAI,CAAC,6BAA6B,KAAK,GAAG,CAAC,CAAC;QACrD,CAAC,EACD,KAAK,CACN,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;IAC7B,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IACrE,MAAM,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACjD,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;IAC1C,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;IAC1C,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;AACvD,CAAC,CAAC,CAAC"}

package/dist/backend/llvm/borrowed-inputs.d.ts

@@ -0,0 +1,15 @@
+import type { IrExpr } from "../../ir/ir.js";
+import type { LlValue, LlvmEmitterContext } from "./expr-context.js";
+/** For a runtime input whose ABI borrows rather than consumes ownership.
+ * An unchanged, unboxed local owns its value across all later arguments and
+ * the operation, including callbacks and collection mutation. Projections,
+ * globals, captures and reassigned bindings keep their ordinary snapshots.
+ * Stored values that move into a container must still use emitExpr. */
+export declare function emitBorrowedInput(host: LlvmEmitterContext, value: IrExpr): LlValue;
+/** A projection or writable binding can borrow across later operands only
+ * while every operation preserves existing owners. Compute suffix facts
+ * once, keeping left-to-right evaluation and the owning fallback for each
+ * argument independently. The consumer must borrow all inputs and preserve
+ * reference edges itself; mutating runtime operations use emitBorrowedInput. */
+export declare function borrowableInputs(host: LlvmEmitterContext, inputs: readonly IrExpr[], consumerPreserves?: boolean): boolean[];
+export declare function emitBorrowedInputs(host: LlvmEmitterContext, inputs: readonly IrExpr[]): LlValue[];

package/dist/backend/llvm/borrowed-inputs.js

@@ -0,0 +1,28 @@
+/** For a runtime input whose ABI borrows rather than consumes ownership.
+ * An unchanged, unboxed local owns its value across all later arguments and
+ * the operation, including callbacks and collection mutation. Projections,
+ * globals, captures and reassigned bindings keep their ordinary snapshots.
+ * Stored values that move into a container must still use emitExpr. */
+export function emitBorrowedInput(host, value) {
+    return host.canBorrowCallArgument(value) ? host.emitReadReceiver(value) : host.emitExpr(value);
+}
+/** A projection or writable binding can borrow across later operands only
+ * while every operation preserves existing owners. Compute suffix facts
+ * once, keeping left-to-right evaluation and the owning fallback for each
+ * argument independently. The consumer must borrow all inputs and preserve
+ * reference edges itself; mutating runtime operations use emitBorrowedInput. */
+export function borrowableInputs(host, inputs, consumerPreserves = true) {
+    const result = new Array(inputs.length);
+    let preserves = consumerPreserves;
+    for (let i = inputs.length - 1; i >= 0; i--) {
+        const value = inputs[i];
+        result[i] = host.canBorrowCallArgument(value) || (preserves && host.canBorrowReceiver(value));
+        preserves = preserves && host.referenceEffects.preserves(value);
+    }
+    return result;
+}
+export function emitBorrowedInputs(host, inputs) {
+    const borrowed = borrowableInputs(host, inputs);
+    return inputs.map((value, index) => borrowed[index] ? host.emitReadReceiver(value) : host.emitExpr(value));
+}
+//# sourceMappingURL=borrowed-inputs.js.map

package/dist/backend/llvm/borrowed-inputs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"borrowed-inputs.js","sourceRoot":"","sources":["../../../src/backend/llvm/borrowed-inputs.ts"],"names":[],"mappings":"AAGA;;;;uEAIuE;AACvE,MAAM,UAAU,iBAAiB,CAAC,IAAwB,EAAE,KAAa;IACvE,OAAO,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACjG,CAAC;AAED;;;;gFAIgF;AAChF,MAAM,UAAU,gBAAgB,CAC9B,IAAwB,EACxB,MAAyB,EACzB,iBAAiB,GAAG,IAAI;IAExB,MAAM,MAAM,GAAc,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACnD,IAAI,SAAS,GAAG,iBAAiB,CAAC;IAClC,KAAK,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;QACzB,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC;QAC9F,SAAS,GAAG,SAAS,IAAI,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAwB,EAAE,MAAyB;IACpF,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAChD,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CACjC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CACtE,CAAC;AACJ,CAAC"}

package/dist/backend/llvm/borrowed-receivers.js

@@ -2,13 +2,21 @@ import { isStableReceiverOperand } from "../../ir/analysis.js";
 import { isRefCounted } from "../../ir/ir.js";
 function stableProjection(host, e) {
     switch (e.kind) {
-        case "varRef": return host.canBorrowReceiver(e);
-        case "unionNarrow": return stableProjection(host, e.value);
+        case "varRef":
+            return host.canBorrowReceiver(e);
+        case "unionNarrow":
+            return stableProjection(host, e.value);
         case "fieldGet":
-        case "recordGet": return stableProjection(host, e.obj);
-        case "ternary": return scalarComputation(host, e.cond) && stableProjection(host, e.then) && stableProjection(host, e.else_);
-        case "libCall": return e.fn === "error.nodeThrow";
-        default: return false;
+        case "recordGet":
+            return stableProjection(host, e.obj);
+        case "ternary":
+            return (scalarComputation(host, e.cond) &&
+                stableProjection(host, e.then) &&
+                stableProjection(host, e.else_));
+        case "libCall":
+            return e.fn === "error.nodeThrow";
+        default:
+            return false;
     }
 }
 /** Scalar field computations cannot replace any owner on the receiver's
@@ -20,15 +28,22 @@ function scalarComputation(host, e) {
     switch (e.kind) {
         case "numLit":
         case "boolLit":
-        case "varRef": return true;
-        case "bin": return scalarComputation(host, e.left) && scalarComputation(host, e.right);
+        case "varRef":
+            return true;
+        case "bin":
+            return scalarComputation(host, e.left) && scalarComputation(host, e.right);
         case "unary":
-        case "toBool": return scalarComputation(host, e.operand);
+        case "toBool":
+            return scalarComputation(host, e.operand);
         case "fieldGet":
-        case "recordGet": return stableProjection(host, e.obj);
-        case "unionIsTag": return stableProjection(host, e.value);
-        case "libCall": return isStableReceiverOperand(e, "");
-        default: return false;
+        case "recordGet":
+            return stableProjection(host, e.obj);
+        case "unionIsTag":
+            return stableProjection(host, e.value);
+        case "libCall":
+            return isStableReceiverOperand(e, "");
+        default:
+            return false;
     }
 }
 /** The lowering of a scalar compound field assignment snapshots a receiver,
@@ -37,17 +52,26 @@ function scalarComputation(host, e) {
  * evaluation order; in particular an effectful RHS still owns the receiver. */
 export function emitBorrowedFieldSequence(host, e) {
     const first = e.stmts[0];
-    if (first?.kind !== "varDecl" || !first.init || !isRefCounted(first.init.type) || !host.canBorrowReceiver(first.init))
+    if (first?.kind !== "varDecl" ||
+        !first.init ||
+        !isRefCounted(first.init.type) ||
+        !host.canBorrowReceiver(first.init))
         return null;
     const binding = host.binding(first.localId);
     if (binding.kind !== "local" || binding.local?.mutable || !scalarComputation(host, e.result))
         return null;
     const rest = e.stmts.slice(1);
-    if (rest.length === 0 || !rest.every((s) => {
-        if (s.kind === "varDecl")
-            return s.init !== null && !isRefCounted(host.binding(s.localId).type) && scalarComputation(host, s.init);
-        return (s.kind === "fieldSet" || s.kind === "recordSet") && s.obj.kind === "varRef" && s.obj.localId === first.localId && scalarComputation(host, s.value);
-    }))
+    if (rest.length === 0 ||
+        !rest.every((s) => {
+            if (s.kind === "varDecl")
+                return (s.init !== null &&
+                    !isRefCounted(host.binding(s.localId).type) &&
+                    scalarComputation(host, s.init));
+            return ((s.kind === "fieldSet" || s.kind === "recordSet") &&
+                s.obj.kind === "varRef" &&
+                s.obj.localId === first.localId &&
+                scalarComputation(host, s.value));
+        }))
         return null;
     const receiver = host.emitReadReceiver(first.init);
     host.B.line(`store ptr ${receiver.name}, ptr ${binding.slot}`);

package/dist/backend/llvm/borrowed-receivers.js.map

@@ -1 +1 @@
-{"version":3,"file":"borrowed-receivers.js","sourceRoot":"","sources":["../../../src/backend/llvm/borrowed-receivers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAC/D,OAAO,EAAE,YAAY,EAA4B,MAAM,gBAAgB,CAAC;AAGxE,SAAS,gBAAgB,CAAC,IAAwB,EAAE,CAAS;IAC3D,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,QAAQ,EAAE,OAAO,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;QAChD,KAAK,aAAa,EAAE,OAAO,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QAC3D,KAAK,UAAU,CAAC;QAAC,KAAK,WAAW,EAAE,OAAO,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QACxE,KAAK,SAAS,EAAE,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QAC5H,KAAK,SAAS,EAAE,OAAO,CAAC,CAAC,EAAE,KAAK,iBAAiB,CAAC;QAClD,SAAS,OAAO,KAAK,CAAC;IACxB,CAAC;AACH,CAAC;AAED;;6EAE6E;AAC7E,SAAS,iBAAiB,CAAC,IAAwB,EAAE,CAAS;IAC5D,IAAI,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACvC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,QAAQ,CAAC;QAAC,KAAK,SAAS,CAAC;QAAC,KAAK,QAAQ,EAAE,OAAO,IAAI,CAAC;QAC1D,KAAK,KAAK,EAAE,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QACvF,KAAK,OAAO,CAAC;QAAC,KAAK,QAAQ,EAAE,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;QACvE,KAAK,UAAU,CAAC;QAAC,KAAK,WAAW,EAAE,OAAO,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QACxE,KAAK,YAAY,EAAE,OAAO,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QAC1D,KAAK,SAAS,EAAE,OAAO,uBAAuB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACtD,SAAS,OAAO,KAAK,CAAC;IACxB,CAAC;AACH,CAAC;AAED;;;+EAG+E;AAC/E,MAAM,UAAU,yBAAyB,CAAC,IAAwB,EAAE,CAA+B;IACjG,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,KAAK,EAAE,IAAI,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACnI,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC5C,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,KAAK,EAAE,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1G,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAS,EAAE,EAAE;QACjD,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QACnI,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,IAAI,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;IAC7J,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAChB,MAAM,QAAQ,GAAG,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnD,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,QAAQ,CAAC,IAAI,SAAS,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IAC/D,KAAK,MAAM,IAAI,IAAI,IAAI;QAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC7C,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC"}
+{"version":3,"file":"borrowed-receivers.js","sourceRoot":"","sources":["../../../src/backend/llvm/borrowed-receivers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAC/D,OAAO,EAAE,YAAY,EAA4B,MAAM,gBAAgB,CAAC;AAGxE,SAAS,gBAAgB,CAAC,IAAwB,EAAE,CAAS;IAC3D,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;QACnC,KAAK,aAAa;YAChB,OAAO,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QACzC,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW;YACd,OAAO,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QACvC,KAAK,SAAS;YACZ,OAAO,CACL,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;gBAC/B,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;gBAC9B,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAChC,CAAC;QACJ,KAAK,SAAS;YACZ,OAAO,CAAC,CAAC,EAAE,KAAK,iBAAiB,CAAC;QACpC;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED;;6EAE6E;AAC7E,SAAS,iBAAiB,CAAC,IAAwB,EAAE,CAAS;IAC5D,IAAI,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACvC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC;QACd,KAAK,KAAK;YACR,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QAC7E,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ;YACX,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;QAC5C,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW;YACd,OAAO,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QACvC,KAAK,YAAY;YACf,OAAO,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QACzC,KAAK,SAAS;YACZ,OAAO,uBAAuB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACxC;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED;;;+EAG+E;AAC/E,MAAM,UAAU,yBAAyB,CACvC,IAAwB,EACxB,CAA+B;IAE/B,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACzB,IACE,KAAK,EAAE,IAAI,KAAK,SAAS;QACzB,CAAC,KAAK,CAAC,IAAI;QACX,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;QAC9B,CAAC,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC;QAEnC,OAAO,IAAI,CAAC;IACd,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC5C,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,KAAK,EAAE,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QAC1F,OAAO,IAAI,CAAC;IACd,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC9B,IACE,IAAI,CAAC,MAAM,KAAK,CAAC;QACjB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAS,EAAE,EAAE;YACxB,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;gBACtB,OAAO,CACL,CAAC,CAAC,IAAI,KAAK,IAAI;oBACf,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC;oBAC3C,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAChC,CAAC;YACJ,OAAO,CACL,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC;gBACjD,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;gBACvB,CAAC,CAAC,GAAG,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO;gBAC/B,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CACjC,CAAC;QACJ,CAAC,CAAC;QAEF,OAAO,IAAI,CAAC;IACd,MAAM,QAAQ,GAAG,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnD,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,QAAQ,CAAC,IAAI,SAAS,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IAC/D,KAAK,MAAM,IAAI,IAAI,IAAI;QAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC7C,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC"}

package/dist/backend/llvm/byte-numbers.d.ts

@@ -0,0 +1,10 @@
+import { type ByteNumberAccess } from "../../ir/byte-numbers.js";
+import type { IrExpr } from "../../ir/ir.js";
+import type { LlValue, LlvmEmitterContext } from "./expr-context.js";
+/** Emit the successful numeric access directly. The original runtime call
+ * remains the error path, preserving Buffer's value-before-offset errors,
+ * DataView's ToIndex behavior, and exception cleanup through the host. All
+ * operands have already been evaluated, exactly once and in source order. */
+export declare function emitByteNumber(host: LlvmEmitterContext, e: IrExpr & {
+    kind: "bytesIntrinsic";
+}, spec: ByteNumberAccess, receiver: LlValue, offset: LlValue, value: LlValue | null, little: string, fallback: () => LlValue): LlValue;

package/dist/backend/llvm/byte-numbers.js

@@ -0,0 +1,240 @@
+import { byteNumberRange } from "../../ir/byte-numbers.js";
+import { f64Lit } from "./common.js";
+import { exactInteger, widenInteger } from "./integer-values.js";
+/** Supported LLVM targets are little-endian. All memory accesses use align
+ * 1: Buffer fields and DataView windows can start at arbitrary byte offsets. */
+function endianBits(host, raw, width, little) {
+    if (width === 1 || little === "true")
+        return raw;
+    const B = host.B, bits = width * 8;
+    const swapBits = bits <= 16 ? 16 : bits <= 32 ? 32 : 64;
+    let operand = raw;
+    if (bits !== swapBits) {
+        operand = B.tmp();
+        B.line(`${operand} = zext i${bits} ${raw} to i${swapBits}`);
+    }
+    host.declare(`declare i${swapBits} @llvm.bswap.i${swapBits}(i${swapBits})`);
+    let swapped = B.tmp();
+    B.line(`${swapped} = call i${swapBits} @llvm.bswap.i${swapBits}(i${swapBits} ${operand})`);
+    if (bits !== swapBits) {
+        const shifted = B.tmp(), narrowed = B.tmp();
+        B.line(`${shifted} = lshr i${swapBits} ${swapped}, ${swapBits - bits}`);
+        B.line(`${narrowed} = trunc i${swapBits} ${shifted} to i${bits}`);
+        swapped = narrowed;
+    }
+    if (little === "false")
+        return swapped;
+    const selected = B.tmp();
+    B.line(`${selected} = select i1 ${little}, i${bits} ${raw}, i${bits} ${swapped}`);
+    return selected;
+}
+/** Emit the successful numeric access directly. The original runtime call
+ * remains the error path, preserving Buffer's value-before-offset errors,
+ * DataView's ToIndex behavior, and exception cleanup through the host. All
+ * operands have already been evaluated, exactly once and in source order. */
+export function emitByteNumber(host, e, spec, receiver, offset, value, little, fallback) {
+    const B = host.B, size = host.sizeType;
+    const slow = B.newLabel("bytes.number.slow"), access = B.newLabel("bytes.number.access");
+    const fastDone = B.newLabel("bytes.number.fast.done"), slowDone = B.newLabel("bytes.number.slow.done");
+    const done = B.newLabel("bytes.number.done");
+    const bits = spec.width * 8;
+    const integer = exactInteger(host, offset, e.args[spec.offsetArg]);
+    let index, fits, room = "true";
+    if (integer && host.bytesBounds.has(e)) {
+        const wide = widenInteger(host, integer);
+        index = size === "i64" ? wide : B.tmp();
+        if (size !== "i64")
+            B.line(`${index} = trunc i64 ${wide} to ${size}`);
+        fits = "true";
+    }
+    else {
+        const lengthPtr = B.tmp(), length = B.tmp(), capacity = B.tmp();
+        room = B.tmp();
+        B.line(`${lengthPtr} = getelementptr inbounds %ScrBytes, ptr ${receiver.name}, i64 0, i32 1`);
+        B.line(`${length} = load ${size}, ptr ${lengthPtr}`);
+        B.line(`${room} = icmp uge ${size} ${length}, ${spec.width}`);
+        B.line(`${capacity} = sub ${size} ${length}, ${spec.width}`);
+        if (integer) {
+            const wide = widenInteger(host, integer);
+            const cap = size === "i64" ? capacity : B.tmp();
+            if (size !== "i64")
+                B.line(`${cap} = zext ${size} ${capacity} to i64`);
+            fits = B.tmp();
+            B.line(`${fits} = icmp ule i64 ${wide}, ${cap}`);
+            if (spec.dataView && integer.range.max > Number.MAX_SAFE_INTEGER) {
+                const safe = B.tmp(), both = B.tmp();
+                B.line(`${safe} = icmp ule i64 ${wide}, ${Number.MAX_SAFE_INTEGER}`);
+                B.line(`${both} = and i1 ${fits}, ${safe}`);
+                fits = both;
+            }
+            index = size === "i64" ? wide : B.tmp();
+            if (size !== "i64")
+                B.line(`${index} = trunc i64 ${wide} to ${size}`);
+        }
+        else {
+            let normalized = offset.name;
+            if (spec.dataView) {
+                const nan = B.tmp(), finiteOrZero = B.tmp();
+                normalized = B.tmp();
+                B.line(`${nan} = fcmp uno double ${offset.name}, ${offset.name}`);
+                B.line(`${finiteOrZero} = select i1 ${nan}, double ${f64Lit(0)}, double ${offset.name}`);
+                host.declare("declare double @llvm.trunc.f64(double)");
+                B.line(`${normalized} = call double @llvm.trunc.f64(double ${finiteOrZero})`);
+            }
+            const cap = B.tmp(), positive = B.tmp(), bounded = B.tmp(), representable = B.tmp(), range = B.tmp();
+            const addressRange = B.tmp(), initial = B.tmp(), convert = B.newLabel("bytes.number.index");
+            B.line(`${cap} = uitofp ${size} ${capacity} to double`);
+            B.line(`${positive} = fcmp oge double ${normalized}, ${f64Lit(0)}`);
+            B.line(`${bounded} = fcmp ole double ${normalized}, ${cap}`);
+            // The separate address limit makes fptoui safe even if converting a
+            // maximum size_t length to double rounds upward on a 64-bit target.
+            B.line(`${representable} = fcmp olt double ${normalized}, ${f64Lit(size === "i64" ? 2 ** 64 : 2 ** 32)}`);
+            B.line(`${range} = and i1 ${positive}, ${bounded}`);
+            B.line(`${addressRange} = and i1 ${range}, ${representable}`);
+            B.line(`${initial} = and i1 ${room}, ${addressRange}`);
+            B.condBr(initial, convert, slow);
+            B.startBlock(convert);
+            index = B.tmp();
+            B.line(`${index} = fptoui double ${normalized} to ${size}`);
+            fits = B.tmp();
+            const roundTrip = B.tmp();
+            B.line(`${roundTrip} = uitofp ${size} ${index} to double`);
+            B.line(`${fits} = fcmp oeq double ${roundTrip}, ${normalized}`);
+            const withinCapacity = B.tmp(), exactBounds = B.tmp();
+            B.line(`${withinCapacity} = icmp ule ${size} ${index}, ${capacity}`);
+            B.line(`${exactBounds} = and i1 ${fits}, ${withinCapacity}`);
+            fits = exactBounds;
+            if (spec.dataView) {
+                const safe = B.tmp(), both = B.tmp();
+                B.line(`${safe} = fcmp ole double ${normalized}, ${f64Lit(Number.MAX_SAFE_INTEGER)}`);
+                B.line(`${both} = and i1 ${fits}, ${safe}`);
+                fits = both;
+            }
+        }
+    }
+    let valid = B.tmp();
+    B.line(`${valid} = and i1 ${room}, ${fits}`);
+    if (spec.write && !spec.dataView && !spec.floating) {
+        const range = byteNumberRange(spec);
+        const known = host.integerRanges.get(e.args[spec.valueArg]);
+        if (!known || known.min < range.min || known.max > range.max) {
+            const above = B.tmp(), below = B.tmp(), valueFits = B.tmp(), both = B.tmp();
+            // Buffer integer writes accept NaN (stored as zero) and fractions
+            // within the declared range. Unordered comparisons preserve that.
+            B.line(`${above} = fcmp uge double ${value.name}, ${f64Lit(range.min)}`);
+            B.line(`${below} = fcmp ule double ${value.name}, ${f64Lit(range.max)}`);
+            B.line(`${valueFits} = and i1 ${above}, ${below}`);
+            B.line(`${both} = and i1 ${valid}, ${valueFits}`);
+            valid = both;
+        }
+    }
+    B.condBr(valid, access, slow);
+    B.startBlock(access);
+    const data = host.emitBytesData(receiver.name), pointer = B.tmp();
+    B.line(`${pointer} = getelementptr inbounds i8, ptr ${data}, ${size} ${index}`);
+    let fastResult = "", fastInteger = "";
+    const readRange = !spec.write ? byteNumberRange(spec) : null;
+    const integerType = bits <= 32 ? "i32" : "i64";
+    if (spec.write) {
+        let raw;
+        if (spec.floating) {
+            let stored = value.name;
+            if (bits === 32) {
+                stored = B.tmp();
+                B.line(`${stored} = fptrunc double ${value.name} to float`);
+            }
+            raw = B.tmp();
+            B.line(`${raw} = bitcast ${bits === 32 ? "float" : "double"} ${stored} to i${bits}`);
+        }
+        else if (spec.dataView) {
+            const stored = host.emitToUint32(value.name, e.args[spec.valueArg], value.uint32);
+            raw = stored;
+            if (bits < 32) {
+                raw = B.tmp();
+                B.line(`${raw} = trunc i32 ${stored} to i${bits}`);
+            }
+        }
+        else {
+            const integerValue = exactInteger(host, value, e.args[spec.valueArg]);
+            if (integerValue && (integerValue.type === "i64" || bits <= 32)) {
+                raw = integerValue.name;
+                if (integerValue.type !== `i${bits}`) {
+                    raw = B.tmp();
+                    B.line(`${raw} = trunc ${integerValue.type} ${integerValue.name} to i${bits}`);
+                }
+            }
+            else {
+                const nan = B.tmp(), normalized = B.tmp(), whole = B.tmp();
+                B.line(`${nan} = fcmp uno double ${value.name}, ${value.name}`);
+                B.line(`${normalized} = select i1 ${nan}, double ${f64Lit(0)}, double ${value.name}`);
+                B.line(`${whole} = fptosi double ${normalized} to i64`);
+                raw = B.tmp();
+                B.line(`${raw} = trunc i64 ${whole} to i${bits}`);
+            }
+        }
+        const stored = endianBits(host, raw, spec.width, little);
+        B.line(`store i${bits} ${stored}, ptr ${pointer}, align 1`);
+        if (!spec.dataView) {
+            fastResult = B.tmp();
+            B.line(`${fastResult} = fadd double ${offset.name}, ${f64Lit(spec.width)}`);
+        }
+    }
+    else {
+        const loaded = B.tmp();
+        B.line(`${loaded} = load i${bits}, ptr ${pointer}, align 1`);
+        const raw = endianBits(host, loaded, spec.width, little);
+        fastResult = B.tmp();
+        if (spec.floating) {
+            if (bits === 32) {
+                const float = B.tmp();
+                B.line(`${float} = bitcast i32 ${raw} to float`);
+                B.line(`${fastResult} = fpext float ${float} to double`);
+            }
+            else
+                B.line(`${fastResult} = bitcast i64 ${raw} to double`);
+        }
+        else {
+            B.line(`${fastResult} = ${spec.signed ? "sitofp" : "uitofp"} i${bits} ${raw} to double`);
+            if (readRange) {
+                fastInteger = raw;
+                if (`i${bits}` !== integerType) {
+                    fastInteger = B.tmp();
+                    B.line(`${fastInteger} = ${spec.signed ? "sext" : "zext"} i${bits} ${raw} to ${integerType}`);
+                }
+            }
+        }
+    }
+    B.br(fastDone);
+    B.startBlock(fastDone);
+    B.br(done);
+    B.startBlock(slow);
+    const failure = fallback();
+    let slowInteger = "";
+    if (readRange) {
+        slowInteger = B.tmp();
+        B.line(`${slowInteger} = ${spec.signed ? "fptosi" : "fptoui"} double ${failure.name} to ${integerType}`);
+    }
+    B.br(slowDone);
+    B.startBlock(slowDone);
+    B.br(done);
+    B.startBlock(done);
+    if (e.type.kind === "void")
+        return { name: "", type: e.type };
+    const result = B.tmp();
+    B.line(`${result} = phi double [ ${fastResult}, %${fastDone} ], [ ${failure.name}, %${slowDone} ]`);
+    if (readRange) {
+        const integer = B.tmp();
+        B.line(`${integer} = phi ${integerType} [ ${fastInteger}, %${fastDone} ], [ ${slowInteger}, %${slowDone} ]`);
+        const uint32 = integerType === "i32" ? integer : B.tmp();
+        if (integerType !== "i32")
+            B.line(`${uint32} = trunc i64 ${integer} to i32`);
+        return {
+            name: result,
+            type: e.type,
+            uint32,
+            integer: { name: integer, type: integerType, signed: spec.signed, range: readRange },
+        };
+    }
+    return { name: result, type: e.type };
+}
+//# sourceMappingURL=byte-numbers.js.map

package/dist/backend/llvm/byte-numbers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"byte-numbers.js","sourceRoot":"","sources":["../../../src/backend/llvm/byte-numbers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAyB,MAAM,0BAA0B,CAAC;AAGlF,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAEjE;gFACgF;AAChF,SAAS,UAAU,CAAC,IAAwB,EAAE,GAAW,EAAE,KAAa,EAAE,MAAc;IACtF,IAAI,KAAK,KAAK,CAAC,IAAI,MAAM,KAAK,MAAM;QAAE,OAAO,GAAG,CAAC;IACjD,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,EACd,IAAI,GAAG,KAAK,GAAG,CAAC,CAAC;IACnB,MAAM,QAAQ,GAAG,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACxD,IAAI,OAAO,GAAG,GAAG,CAAC;IAClB,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtB,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QAClB,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,YAAY,IAAI,IAAI,GAAG,QAAQ,QAAQ,EAAE,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,YAAY,QAAQ,iBAAiB,QAAQ,KAAK,QAAQ,GAAG,CAAC,CAAC;IAC5E,IAAI,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACtB,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,YAAY,QAAQ,iBAAiB,QAAQ,KAAK,QAAQ,IAAI,OAAO,GAAG,CAAC,CAAC;IAC3F,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtB,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,EACrB,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACrB,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,YAAY,QAAQ,IAAI,OAAO,KAAK,QAAQ,GAAG,IAAI,EAAE,CAAC,CAAC;QACxE,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,aAAa,QAAQ,IAAI,OAAO,QAAQ,IAAI,EAAE,CAAC,CAAC;QAClE,OAAO,GAAG,QAAQ,CAAC;IACrB,CAAC;IACD,IAAI,MAAM,KAAK,OAAO;QAAE,OAAO,OAAO,CAAC;IACvC,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACzB,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,gBAAgB,MAAM,MAAM,IAAI,IAAI,GAAG,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC,CAAC;IAClF,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;6EAG6E;AAC7E,MAAM,UAAU,cAAc,CAC5B,IAAwB,EACxB,CAAsC,EACtC,IAAsB,EACtB,QAAiB,EACjB,MAAe,EACf,KAAqB,EACrB,MAAc,EACd,QAAuB;IAEvB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,EACd,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC;IACvB,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAC1C,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,qBAAqB,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,wBAAwB,CAAC,EACnD,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,wBAAwB,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;IAC5B,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;IACnE,IAAI,KAAa,EACf,IAAY,EACZ,IAAI,GAAG,MAAM,CAAC;IAChB,IAAI,OAAO,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACzC,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QACxC,IAAI,IAAI,KAAK,KAAK;YAAE,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,gBAAgB,IAAI,OAAO,IAAI,EAAE,CAAC,CAAC;QACtE,IAAI,GAAG,MAAM,CAAC;IAChB,CAAC;SAAM,CAAC;QACN,MAAM,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,EACvB,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EAChB,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACrB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACf,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,4CAA4C,QAAQ,CAAC,IAAI,gBAAgB,CAAC,CAAC;QAC9F,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,WAAW,IAAI,SAAS,SAAS,EAAE,CAAC,CAAC;QACrD,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,eAAe,IAAI,IAAI,MAAM,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QAC9D,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,UAAU,IAAI,IAAI,MAAM,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QAC7D,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACzC,MAAM,GAAG,GAAG,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;YAChD,IAAI,IAAI,KAAK,KAAK;gBAAE,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,WAAW,IAAI,IAAI,QAAQ,SAAS,CAAC,CAAC;YACvE,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACf,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,mBAAmB,IAAI,KAAK,GAAG,EAAE,CAAC,CAAC;YACjD,IAAI,IAAI,CAAC,QAAQ,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,GAAG,MAAM,CAAC,gBAAgB,EAAE,CAAC;gBACjE,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EAClB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;gBACjB,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,mBAAmB,IAAI,KAAK,MAAM,CAAC,gBAAgB,EAAE,CAAC,CAAC;gBACrE,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,aAAa,IAAI,KAAK,IAAI,EAAE,CAAC,CAAC;gBAC5C,IAAI,GAAG,IAAI,CAAC;YACd,CAAC;YACD,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;YACxC,IAAI,IAAI,KAAK,KAAK;gBAAE,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,gBAAgB,IAAI,OAAO,IAAI,EAAE,CAAC,CAAC;QACxE,CAAC;aAAM,CAAC;YACN,IAAI,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC;YAC7B,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAClB,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,YAAY,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;gBACzB,UAAU,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;gBACrB,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,sBAAsB,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;gBAClE,CAAC,CAAC,IAAI,CAAC,GAAG,YAAY,gBAAgB,GAAG,YAAY,MAAM,CAAC,CAAC,CAAC,YAAY,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;gBACzF,IAAI,CAAC,OAAO,CAAC,wCAAwC,CAAC,CAAC;gBACvD,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,yCAAyC,YAAY,GAAG,CAAC,CAAC;YAChF,CAAC;YACD,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,EAClB,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,aAAa,GAAG,CAAC,CAAC,GAAG,EAAE,EACvB,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YAClB,MAAM,YAAY,GAAG,CAAC,CAAC,GAAG,EAAE,EAC1B,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,OAAO,GAAG,CAAC,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAC;YAC7C,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,aAAa,IAAI,IAAI,QAAQ,YAAY,CAAC,CAAC;YACxD,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,sBAAsB,UAAU,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACpE,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,sBAAsB,UAAU,KAAK,GAAG,EAAE,CAAC,CAAC;YAC7D,oEAAoE;YACpE,oEAAoE;YACpE,CAAC,CAAC,IAAI,CACJ,GAAG,aAAa,sBAAsB,UAAU,KAAK,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAClG,CAAC;YACF,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,aAAa,QAAQ,KAAK,OAAO,EAAE,CAAC,CAAC;YACpD,CAAC,CAAC,IAAI,CAAC,GAAG,YAAY,aAAa,KAAK,KAAK,aAAa,EAAE,CAAC,CAAC;YAC9D,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,aAAa,IAAI,KAAK,YAAY,EAAE,CAAC,CAAC;YACvD,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;YACjC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;YACtB,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YAChB,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,oBAAoB,UAAU,OAAO,IAAI,EAAE,CAAC,CAAC;YAC5D,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACf,MAAM,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YAC1B,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,aAAa,IAAI,IAAI,KAAK,YAAY,CAAC,CAAC;YAC3D,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,sBAAsB,SAAS,KAAK,UAAU,EAAE,CAAC,CAAC;YAChE,MAAM,cAAc,GAAG,CAAC,CAAC,GAAG,EAAE,EAC5B,WAAW,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACxB,CAAC,CAAC,IAAI,CAAC,GAAG,cAAc,eAAe,IAAI,IAAI,KAAK,KAAK,QAAQ,EAAE,CAAC,CAAC;YACrE,CAAC,CAAC,IAAI,CAAC,GAAG,WAAW,aAAa,IAAI,KAAK,cAAc,EAAE,CAAC,CAAC;YAC7D,IAAI,GAAG,WAAW,CAAC;YACnB,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAClB,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EAClB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;gBACjB,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,sBAAsB,UAAU,KAAK,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC;gBACtF,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,aAAa,IAAI,KAAK,IAAI,EAAE,CAAC,CAAC;gBAC5C,IAAI,GAAG,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACpB,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,aAAa,IAAI,KAAK,IAAI,EAAE,CAAC,CAAC;IAC7C,IAAI,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACnD,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAE,CAAC;QACrC,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAE,CAAC,CAAC;QAC7D,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,IAAI,KAAK,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;YAC7D,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,EACnB,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,EACf,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,EACnB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACjB,kEAAkE;YAClE,kEAAkE;YAClE,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,sBAAsB,KAAM,CAAC,IAAI,KAAK,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC1E,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,sBAAsB,KAAM,CAAC,IAAI,KAAK,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC1E,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,aAAa,KAAK,KAAK,KAAK,EAAE,CAAC,CAAC;YACnD,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,aAAa,KAAK,KAAK,SAAS,EAAE,CAAC,CAAC;YAClD,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;IACH,CAAC;IACD,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IACrB,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,EAC5C,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACpB,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,qCAAqC,IAAI,KAAK,IAAI,IAAI,KAAK,EAAE,CAAC,CAAC;IAChF,IAAI,UAAU,GAAG,EAAE,EACjB,WAAW,GAAG,EAAE,CAAC;IACnB,MAAM,SAAS,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7D,MAAM,WAAW,GAAG,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;IAC/C,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,IAAI,GAAW,CAAC;QAChB,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,IAAI,MAAM,GAAG,KAAM,CAAC,IAAI,CAAC;YACzB,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;gBAChB,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;gBACjB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,qBAAqB,KAAM,CAAC,IAAI,WAAW,CAAC,CAAC;YAC/D,CAAC;YACD,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACd,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,cAAc,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,IAAI,MAAM,QAAQ,IAAI,EAAE,CAAC,CAAC;QACvF,CAAC;aAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,KAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,KAAM,CAAC,MAAM,CAAC,CAAC;YACpF,GAAG,GAAG,MAAM,CAAC;YACb,IAAI,IAAI,GAAG,EAAE,EAAE,CAAC;gBACd,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;gBACd,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,gBAAgB,MAAM,QAAQ,IAAI,EAAE,CAAC,CAAC;YACrD,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,YAAY,GAAG,YAAY,CAAC,IAAI,EAAE,KAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YACvE,IAAI,YAAY,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,IAAI,EAAE,CAAC,EAAE,CAAC;gBAChE,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC;gBACxB,IAAI,YAAY,CAAC,IAAI,KAAK,IAAI,IAAI,EAAE,EAAE,CAAC;oBACrC,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;oBACd,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,YAAY,YAAY,CAAC,IAAI,IAAI,YAAY,CAAC,IAAI,QAAQ,IAAI,EAAE,CAAC,CAAC;gBACjF,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,UAAU,GAAG,CAAC,CAAC,GAAG,EAAE,EACpB,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;gBAClB,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,sBAAsB,KAAM,CAAC,IAAI,KAAK,KAAM,CAAC,IAAI,EAAE,CAAC,CAAC;gBAClE,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,gBAAgB,GAAG,YAAY,MAAM,CAAC,CAAC,CAAC,YAAY,KAAM,CAAC,IAAI,EAAE,CAAC,CAAC;gBACvF,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,oBAAoB,UAAU,SAAS,CAAC,CAAC;gBACxD,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;gBACd,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,gBAAgB,KAAK,QAAQ,IAAI,EAAE,CAAC,CAAC;YACpD,CAAC;QACH,CAAC;QACD,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACzD,CAAC,CAAC,IAAI,CAAC,UAAU,IAAI,IAAI,MAAM,SAAS,OAAO,WAAW,CAAC,CAAC;QAC5D,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACnB,UAAU,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACrB,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,kBAAkB,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC9E,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACvB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,YAAY,IAAI,SAAS,OAAO,WAAW,CAAC,CAAC;QAC7D,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACzD,UAAU,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACrB,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;gBAChB,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;gBACtB,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,kBAAkB,GAAG,WAAW,CAAC,CAAC;gBACjD,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,kBAAkB,KAAK,YAAY,CAAC,CAAC;YAC3D,CAAC;;gBAAM,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,kBAAkB,GAAG,YAAY,CAAC,CAAC;QAChE,CAAC;aAAM,CAAC;YACN,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,MAAM,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,IAAI,GAAG,YAAY,CAAC,CAAC;YACzF,IAAI,SAAS,EAAE,CAAC;gBACd,WAAW,GAAG,GAAG,CAAC;gBAClB,IAAI,IAAI,IAAI,EAAE,KAAK,WAAW,EAAE,CAAC;oBAC/B,WAAW,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;oBACtB,CAAC,CAAC,IAAI,CACJ,GAAG,WAAW,MAAM,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,IAAI,GAAG,OAAO,WAAW,EAAE,CACtF,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;IACf,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IACvB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,MAAM,OAAO,GAAG,QAAQ,EAAE,CAAC;IAC3B,IAAI,WAAW,GAAG,EAAE,CAAC;IACrB,IAAI,SAAS,EAAE,CAAC;QACd,WAAW,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACtB,CAAC,CAAC,IAAI,CACJ,GAAG,WAAW,MAAM,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,WAAW,OAAO,CAAC,IAAI,OAAO,WAAW,EAAE,CACjG,CAAC;IACJ,CAAC;IACD,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;IACf,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IACvB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnB,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9D,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACvB,CAAC,CAAC,IAAI,CACJ,GAAG,MAAM,mBAAmB,UAAU,MAAM,QAAQ,SAAS,OAAO,CAAC,IAAI,MAAM,QAAQ,IAAI,CAC5F,CAAC;IACF,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACxB,CAAC,CAAC,IAAI,CACJ,GAAG,OAAO,UAAU,WAAW,MAAM,WAAW,MAAM,QAAQ,SAAS,WAAW,MAAM,QAAQ,IAAI,CACrG,CAAC;QACF,MAAM,MAAM,GAAG,WAAW,KAAK,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QACzD,IAAI,WAAW,KAAK,KAAK;YAAE,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,gBAAgB,OAAO,SAAS,CAAC,CAAC;QAC7E,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,MAAM;YACN,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE;SACrF,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;AACxC,CAAC"}

package/dist/backend/llvm/bytes-bounds.d.ts

@@ -0,0 +1,9 @@
+import type { IrExpr, IrFunction, IrStmt } from "../../ir/ir.js";
+import type { IntegerRanges } from "../../ir/integer-ranges.js";
+type Node = IrExpr | IrStmt;
+/** Relational proofs for fixed typed-array lengths. Cached lengths retain
+ * their receiver identity only when that binding is never reassigned.
+ * Loops may use offsets in either direction, but both index integrality
+ * and receiver stability are established separately from the relation. */
+export declare function findBytesBounds(fn: IrFunction, ranges: IntegerRanges): ReadonlySet<Node>;
+export {};