@scriptc/compiler 0.4.1 → 0.4.3

package/dist/backend/llvm/counted-loops.d.ts

@@ -1,4 +1,4 @@
-import type { IntegerCountedForLoop } from "../../ir/integer-loops.js";
+import type { IntegerCountedForLoop, IntegerPairedForLoop } from "../../ir/integer-loops.js";
 import type { LlvmEmitterContext } from "./expr-context.js";
 /** The caller has proved or guarded the direction's finite endpoint. Clamp
  * the opposite infinity before integer conversion. Fractional limits become
@@ -8,3 +8,13 @@ export declare function emitCountedLoopLimit(host: LlvmEmitterContext, loop: Int
  * the integer form's finite range and an unproven start is an exact safe
  * integer. Returns `true` when nothing needs testing. */
 export declare function emitCountedLoopSafety(host: LlvmEmitterContext, loop: IntegerCountedForLoop): string;
+/** The run-time test of a guarded paired loop: each unproven start is an
+ * exact safe integer. */
+export declare function emitPairedLoopSafety(host: LlvmEmitterContext, loop: IntegerPairedForLoop): string;
+/** Tests that a double is an exact integer within [min, max] (not -0; NaN
+ * fails the ordered comparisons) and gives its i64. The integer is frozen,
+ * so it is a fixed value even when the test fails. */
+export declare function emitExactIntegerTest(host: LlvmEmitterContext, value: string, min: number, max: number): {
+    ok: string;
+    integer: string;
+};

package/dist/backend/llvm/counted-loops.js

@@ -1,3 +1,4 @@
+import { FOLLOWER_GUARD_LIMIT } from "../../ir/integer-loops.js";
 import { f64Lit } from "./common.js";
 /** The caller has proved or guarded the direction's finite endpoint. Clamp
  * the opposite infinity before integer conversion. Fractional limits become
@@ -43,30 +44,86 @@ export function emitCountedLoopSafety(host, loop) {
         safe = B.tmp();
         B.line(`${safe} = fcmp ${loop.step > 0 ? "ole" : "oge"} double ${bound.name}, ${f64Lit(loop.guardLimit)}`);
     }
-    if (loop.startGuarded) {
-        // An exact integer of at most 2^53 - 1 in magnitude, and not -0
-        // (the bit patterns of the value and its round trip agree).
-        // NaN and infinities fail the ordered range tests.
-        const start = host.emitExpr(loop.start);
-        const low = B.tmp(), high = B.tmp(), raw = B.tmp(), wide = B.tmp(), back = B.tmp(), bits = B.tmp(), backBits = B.tmp(), exact = B.tmp(), inRange = B.tmp(), ok = B.tmp();
-        B.line(`${low} = fcmp oge double ${start.name}, ${f64Lit(-Number.MAX_SAFE_INTEGER)}`);
-        B.line(`${high} = fcmp ole double ${start.name}, ${f64Lit(Number.MAX_SAFE_INTEGER)}`);
-        B.line(`${inRange} = and i1 ${low}, ${high}`);
-        B.line(`${raw} = fptosi double ${start.name} to i64`);
-        B.line(`${wide} = freeze i64 ${raw}`);
-        B.line(`${back} = sitofp i64 ${wide} to double`);
-        B.line(`${bits} = bitcast double ${start.name} to i64`);
-        B.line(`${backBits} = bitcast double ${back} to i64`);
-        B.line(`${exact} = icmp eq i64 ${bits}, ${backBits}`);
-        B.line(`${ok} = and i1 ${inRange}, ${exact}`);
-        if (safe === "true")
-            safe = ok;
-        else {
-            const both = B.tmp();
-            B.line(`${both} = and i1 ${safe}, ${ok}`);
-            safe = both;
-        }
+    if (loop.startGuarded)
+        safe = andSafe(host, safe, emitExactStart(host, loop.start));
+    for (const follower of loop.followers) {
+        if (follower.startGuarded)
+            safe = andSafe(host, safe, emitExactStart(host, follower.start));
+        if (follower.tripGuarded)
+            safe = andSafe(host, safe, emitFollowerReach(host, loop, follower));
     }
     return safe;
 }
+/** `|start| + |step| * span / |driver step| <= 2^52` for a follower, where
+ * `span` is the distance from the driver's start to the limit. The body runs
+ * at most `span / |driver step| + 1` times, so every value the follower holds
+ * on a body entry is within the bound. NaN and infinities fail the ordered
+ * test. */
+function emitFollowerReach(host, loop, follower) {
+    const B = host.B;
+    const start = host.emitExpr(loop.start), limit = host.emitExpr(loop.limit), from = host.emitExpr(follower.start);
+    const span = B.tmp(), reach = B.tmp(), magnitude = B.tmp(), total = B.tmp(), ok = B.tmp();
+    B.line(loop.step > 0
+        ? `${span} = fsub double ${limit.name}, ${start.name}`
+        : `${span} = fsub double ${start.name}, ${limit.name}`);
+    B.line(`${reach} = fmul double ${span}, ${f64Lit(Math.abs(follower.step) / Math.abs(loop.step))}`);
+    host.declare(`declare double @llvm.fabs.f64(double)`);
+    B.line(`${magnitude} = call double @llvm.fabs.f64(double ${from.name})`);
+    B.line(`${total} = fadd double ${magnitude}, ${reach}`);
+    B.line(`${ok} = fcmp ole double ${total}, ${f64Lit(FOLLOWER_GUARD_LIMIT)}`);
+    return ok;
+}
+/** The run-time test of a guarded paired loop: each unproven start is an
+ * exact safe integer. */
+export function emitPairedLoopSafety(host, loop) {
+    let safe = "true";
+    for (const counter of [loop.low, loop.high])
+        if (counter.startGuarded)
+            safe = andSafe(host, safe, emitExactStart(host, counter.start));
+    return safe;
+}
+function andSafe(host, safe, ok) {
+    if (safe === "true")
+        return ok;
+    const both = host.B.tmp();
+    host.B.line(`${both} = and i1 ${safe}, ${ok}`);
+    return both;
+}
+/** An exact integer of at most 2^53 - 1 in magnitude, and not -0 (the bit
+ * patterns of the value and its round trip agree). NaN and infinities fail
+ * the ordered range tests. */
+function emitExactStart(host, expr) {
+    const B = host.B;
+    const start = host.emitExpr(expr);
+    const low = B.tmp(), high = B.tmp(), raw = B.tmp(), wide = B.tmp(), back = B.tmp(), bits = B.tmp(), backBits = B.tmp(), exact = B.tmp(), inRange = B.tmp(), ok = B.tmp();
+    B.line(`${low} = fcmp oge double ${start.name}, ${f64Lit(-Number.MAX_SAFE_INTEGER)}`);
+    B.line(`${high} = fcmp ole double ${start.name}, ${f64Lit(Number.MAX_SAFE_INTEGER)}`);
+    B.line(`${inRange} = and i1 ${low}, ${high}`);
+    B.line(`${raw} = fptosi double ${start.name} to i64`);
+    B.line(`${wide} = freeze i64 ${raw}`);
+    B.line(`${back} = sitofp i64 ${wide} to double`);
+    B.line(`${bits} = bitcast double ${start.name} to i64`);
+    B.line(`${backBits} = bitcast double ${back} to i64`);
+    B.line(`${exact} = icmp eq i64 ${bits}, ${backBits}`);
+    B.line(`${ok} = and i1 ${inRange}, ${exact}`);
+    return ok;
+}
+/** Tests that a double is an exact integer within [min, max] (not -0; NaN
+ * fails the ordered comparisons) and gives its i64. The integer is frozen,
+ * so it is a fixed value even when the test fails. */
+export function emitExactIntegerTest(host, value, min, max) {
+    const B = host.B;
+    const low = B.tmp(), high = B.tmp(), inRange = B.tmp(), raw = B.tmp(), integer = B.tmp(), back = B.tmp(), bits = B.tmp(), backBits = B.tmp(), exact = B.tmp(), ok = B.tmp();
+    B.line(`${low} = fcmp oge double ${value}, ${f64Lit(min)}`);
+    B.line(`${high} = fcmp ole double ${value}, ${f64Lit(max)}`);
+    B.line(`${inRange} = and i1 ${low}, ${high}`);
+    B.line(`${raw} = fptosi double ${value} to i64`);
+    B.line(`${integer} = freeze i64 ${raw}`);
+    B.line(`${back} = sitofp i64 ${integer} to double`);
+    B.line(`${bits} = bitcast double ${value} to i64`);
+    B.line(`${backBits} = bitcast double ${back} to i64`);
+    B.line(`${exact} = icmp eq i64 ${bits}, ${backBits}`);
+    B.line(`${ok} = and i1 ${inRange}, ${exact}`);
+    return { ok, integer };
+}
 //# sourceMappingURL=counted-loops.js.map

package/dist/backend/llvm/counted-loops.js.map

@@ -1 +1 @@
-{"version":3,"file":"counted-loops.js","sourceRoot":"","sources":["../../../src/backend/llvm/counted-loops.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC;;6EAE6E;AAC7E,MAAM,UAAU,oBAAoB,CAClC,IAAwB,EACxB,IAA2B;IAE3B,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;IAChC,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,SAAS;YACrB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;YACxC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACxC,OAAO,MAAM,CACX,SAAS;YACP,CAAC,CAAC,IAAI,CAAC,SAAS;gBACd,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC;gBACvB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;YACpB,CAAC,CAAC,IAAI,CAAC,SAAS;gBACd,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;gBACtB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CACxB,CAAC;IACJ,CAAC;IACD,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EACpB,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACpB,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC/C,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,WAAW,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,WAAW,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC/F,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,gBAAgB,MAAM,YAAY,KAAK,CAAC,IAAI,YAAY,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC1F,MAAM,QAAQ,GAAG,SAAS,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC;IACjE,IAAI,CAAC,OAAO,CAAC,wBAAwB,QAAQ,cAAc,CAAC,CAAC;IAC7D,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,wBAAwB,QAAQ,eAAe,OAAO,GAAG,CAAC,CAAC;IAC5E,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,oBAAoB,OAAO,SAAS,CAAC,CAAC;IACvD,IAAI,CAAC,IAAI,CAAC,SAAS;QAAE,OAAO,OAAO,CAAC;IACpC,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACtB,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,kBAAkB,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACnE,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;yDAEyD;AACzD,MAAM,UAAU,qBAAqB,CACnC,IAAwB,EACxB,IAA2B;IAE3B,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,IAAI,IAAI,GAAG,MAAM,CAAC;IAClB,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QACtB,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxC,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACf,CAAC,CAAC,IAAI,CACJ,GAAG,IAAI,WAAW,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,WAAW,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CACnG,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QACtB,gEAAgE;QAChE,4DAA4D;QAC5D,mDAAmD;QACnD,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxC,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EACd,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,EACb,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EACd,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EACd,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EACd,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,EAClB,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,EACf,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACf,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,sBAAsB,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC;QACtF,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,sBAAsB,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC;QACtF,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,aAAa,GAAG,KAAK,IAAI,EAAE,CAAC,CAAC;QAC9C,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,oBAAoB,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC;QACtD,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,iBAAiB,GAAG,EAAE,CAAC,CAAC;QACtC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,iBAAiB,IAAI,YAAY,CAAC,CAAC;QACjD,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,qBAAqB,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC;QACxD,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,qBAAqB,IAAI,SAAS,CAAC,CAAC;QACtD,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,kBAAkB,IAAI,KAAK,QAAQ,EAAE,CAAC,CAAC;QACtD,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,aAAa,OAAO,KAAK,KAAK,EAAE,CAAC,CAAC;QAC9C,IAAI,IAAI,KAAK,MAAM;YAAE,IAAI,GAAG,EAAE,CAAC;aAC1B,CAAC;YACJ,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACrB,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,aAAa,IAAI,KAAK,EAAE,EAAE,CAAC,CAAC;YAC1C,IAAI,GAAG,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}
+{"version":3,"file":"counted-loops.js","sourceRoot":"","sources":["../../../src/backend/llvm/counted-loops.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AAGjE,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC;;6EAE6E;AAC7E,MAAM,UAAU,oBAAoB,CAClC,IAAwB,EACxB,IAA2B;IAE3B,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;IAChC,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,SAAS;YACrB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;YACxC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACxC,OAAO,MAAM,CACX,SAAS;YACP,CAAC,CAAC,IAAI,CAAC,SAAS;gBACd,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC;gBACvB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;YACpB,CAAC,CAAC,IAAI,CAAC,SAAS;gBACd,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;gBACtB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CACxB,CAAC;IACJ,CAAC;IACD,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,EACpB,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACpB,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC/C,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,WAAW,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,WAAW,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC/F,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,gBAAgB,MAAM,YAAY,KAAK,CAAC,IAAI,YAAY,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC1F,MAAM,QAAQ,GAAG,SAAS,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC;IACjE,IAAI,CAAC,OAAO,CAAC,wBAAwB,QAAQ,cAAc,CAAC,CAAC;IAC7D,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,wBAAwB,QAAQ,eAAe,OAAO,GAAG,CAAC,CAAC;IAC5E,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,oBAAoB,OAAO,SAAS,CAAC,CAAC;IACvD,IAAI,CAAC,IAAI,CAAC,SAAS;QAAE,OAAO,OAAO,CAAC;IACpC,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACtB,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,kBAAkB,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACnE,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;yDAEyD;AACzD,MAAM,UAAU,qBAAqB,CACnC,IAAwB,EACxB,IAA2B;IAE3B,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,IAAI,IAAI,GAAG,MAAM,CAAC;IAClB,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QACtB,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxC,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACf,CAAC,CAAC,IAAI,CACJ,GAAG,IAAI,WAAW,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,WAAW,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CACnG,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,YAAY;QAAE,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IACpF,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACtC,IAAI,QAAQ,CAAC,YAAY;YAAE,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;QAC5F,IAAI,QAAQ,CAAC,WAAW;YAAE,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAChG,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;WAIW;AACX,SAAS,iBAAiB,CACxB,IAAwB,EACxB,IAA2B,EAC3B,QAA6B;IAE7B,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EACrC,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EACjC,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACvC,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EAClB,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,EACf,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,EACnB,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,EACf,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACf,CAAC,CAAC,IAAI,CACJ,IAAI,CAAC,IAAI,GAAG,CAAC;QACX,CAAC,CAAC,GAAG,IAAI,kBAAkB,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE;QACtD,CAAC,CAAC,GAAG,IAAI,kBAAkB,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CACzD,CAAC;IACF,CAAC,CAAC,IAAI,CACJ,GAAG,KAAK,kBAAkB,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAC3F,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,uCAAuC,CAAC,CAAC;IACtD,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,wCAAwC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;IACzE,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,kBAAkB,SAAS,KAAK,KAAK,EAAE,CAAC,CAAC;IACxD,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,sBAAsB,KAAK,KAAK,MAAM,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC;IAC5E,OAAO,EAAE,CAAC;AACZ,CAAC;AAED;yBACyB;AACzB,MAAM,UAAU,oBAAoB,CAAC,IAAwB,EAAE,IAA0B;IACvF,IAAI,IAAI,GAAG,MAAM,CAAC;IAClB,KAAK,MAAM,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC;QACzC,IAAI,OAAO,CAAC,YAAY;YAAE,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;IAC5F,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,OAAO,CAAC,IAAwB,EAAE,IAAY,EAAE,EAAU;IACjE,IAAI,IAAI,KAAK,MAAM;QAAE,OAAO,EAAE,CAAC;IAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IAC1B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,aAAa,IAAI,KAAK,EAAE,EAAE,CAAC,CAAC;IAC/C,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;8BAE8B;AAC9B,SAAS,cAAc,CAAC,IAAwB,EAAE,IAAY;IAC5D,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EACd,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,EACb,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EACd,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EACd,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EACd,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,EAClB,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,EACf,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACf,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,sBAAsB,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC;IACtF,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,sBAAsB,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC;IACtF,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,aAAa,GAAG,KAAK,IAAI,EAAE,CAAC,CAAC;IAC9C,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,oBAAoB,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC;IACtD,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,iBAAiB,GAAG,EAAE,CAAC,CAAC;IACtC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,iBAAiB,IAAI,YAAY,CAAC,CAAC;IACjD,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,qBAAqB,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC;IACxD,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,qBAAqB,IAAI,SAAS,CAAC,CAAC;IACtD,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,kBAAkB,IAAI,KAAK,QAAQ,EAAE,CAAC,CAAC;IACtD,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,aAAa,OAAO,KAAK,KAAK,EAAE,CAAC,CAAC;IAC9C,OAAO,EAAE,CAAC;AACZ,CAAC;AAED;;sDAEsD;AACtD,MAAM,UAAU,oBAAoB,CAClC,IAAwB,EACxB,KAAa,EACb,GAAW,EACX,GAAW;IAEX,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACjB,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EACd,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,EACb,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,EACjB,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EACd,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,EACd,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,EAClB,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,EACf,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACf,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,sBAAsB,KAAK,KAAK,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC5D,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,sBAAsB,KAAK,KAAK,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC7D,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,aAAa,GAAG,KAAK,IAAI,EAAE,CAAC,CAAC;IAC9C,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,oBAAoB,KAAK,SAAS,CAAC,CAAC;IACjD,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,iBAAiB,GAAG,EAAE,CAAC,CAAC;IACzC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,iBAAiB,OAAO,YAAY,CAAC,CAAC;IACpD,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,qBAAqB,KAAK,SAAS,CAAC,CAAC;IACnD,CAAC,CAAC,IAAI,CAAC,GAAG,QAAQ,qBAAqB,IAAI,SAAS,CAAC,CAAC;IACtD,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,kBAAkB,IAAI,KAAK,QAAQ,EAAE,CAAC,CAAC;IACtD,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,aAAa,OAAO,KAAK,KAAK,EAAE,CAAC,CAAC;IAC9C,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC;AACzB,CAAC"}

package/dist/backend/llvm/dense-array-access.d.ts

@@ -1,13 +1,31 @@
 import { type IrExpr, type IrType } from "../../ir/ir.js";
 import type { LlValue, LlvmEmitterContext } from "./expr-context.js";
+/** Whether the array at `array` has state bytes, as an i1. `spare` changes
+ * only in runtime calls, so its loads take their own alias tag. */
+export declare function emitArrayHasStates(host: LlvmEmitterContext, array: string): string;
 /** Call-site effects of the non-retaining read fallbacks: they only read
  * module-visible memory, or trap without returning to the caller (the trap
  * writes runtime-private stderr/TLS state). Declaring this lets LLVM keep
  * array header loads out of loops whose only calls are these cold paths. */
 export declare const READ_FALLBACK = " cold memory(read, inaccessiblemem: readwrite)";
+/** How an array's dense slots hold its elements: the access kind (`i32`
+ * for int32 arrays, ir/int32-arrays.ts), or `cref` for references to compact
+ * class instances (SCR_ELEM_CREF: a 4-byte slot holding the address over 8;
+ * LlEmitter.compactArrayElem). */
+type SlotKind = ArrayAccess | "cref";
 /** Bytes per dense slot (scr_arr_slot_width). */
-export declare function slotWidth(acc: ArrayAccess): number;
-export type ArrayAccess = "f64" | "bool" | "ref";
+export declare function slotWidth(kind: SlotKind): number;
+/** Bytes per dense slot of an array of `element` (scr_arr_slot_width). */
+export declare function denseSlotWidth(host: LlvmEmitterContext, element: IrType): number;
+/** The runtime accessor family of an access: int32 arrays answer through
+ * the double-valued entry points, which convert their slots. */
+export declare function runtimeAccess(acc: ArrayAccess): "f64" | "bool" | "ref";
+/** The ScrElemKind of int32 arrays (scr_array.h). */
+export declare const SCR_ELEM_I32 = 7;
+/** How a dense array's slots are read and written: doubles, booleans,
+ * references, or the int32 slots of SCR_ELEM_I32 arrays (ir/int32-arrays.ts),
+ * whose values are doubles at the emitter's interface. */
+export type ArrayAccess = "f64" | "bool" | "ref" | "i32";
 /** Before a self-append (`a[i] = a[i] + suffix`) replaces a reference
  * element: when `index` lies in the hole-free prefix and the slot still
  * holds `expected` (the caller's owned snapshot of the old element), the
@@ -23,19 +41,31 @@ export declare function emitDenseSlotUnlink(host: LlvmEmitterContext, array: str
  * properties; it also answers sparse indices. Null reference slots take
  * the runtime path, which returns them without a retain. */
 export declare function emitDenseArrayGet(host: LlvmEmitterContext, array: string, index: LlValue, indexExpr: IrExpr | undefined, acc: ArrayAccess, element: IrType, getter: string, retain: boolean, proven?: boolean): string;
+/** emitDenseArrayGet, with the int32 of an int32 array's element: the
+ * slot itself on the dense path, the runtime getter's double converted
+ * (exactly: the element is an int32) on the other. */
+export declare function emitDenseArrayRead(host: LlvmEmitterContext, array: string, index: LlValue, indexExpr: IrExpr | undefined, acc: ArrayAccess, element: IrType, getter: string, retain: boolean, proven?: boolean): {
+    value: string;
+    int32: string | null;
+};
 /** `scr_arr_get_number`: a numeric element, or NaN for every missing,
  * hole, or present-undefined slot (answered by the runtime). */
-export declare function emitDenseArrayNumber(host: LlvmEmitterContext, array: string, index: LlValue, indexExpr: IrExpr | undefined, proven?: boolean): string;
+export declare function emitDenseArrayNumber(host: LlvmEmitterContext, array: string, index: LlValue, indexExpr: IrExpr | undefined, proven?: boolean, acc?: "f64" | "i32"): string;
 /** `scr_arr_state` (as a double) or `scr_arr_has` (as an i1). Dense
  * in-range indices answer from the state byte; everything else keeps the
  * runtime query, including canonical indices at or past the length. */
-export declare function emitDenseArrayState(host: LlvmEmitterContext, array: string, index: LlValue, indexExpr: IrExpr | undefined, kind: "state" | "has", width: number): string;
+export declare function emitDenseArrayState(host: LlvmEmitterContext, array: string, index: LlValue, indexExpr: IrExpr | undefined, kind: "state" | "has", width: number, 
+/** The index is a dense array loop counter its entry test proved below
+ * the hole-free prefix (provenDenseIndex): the slot is a present value. */
+proven?: boolean): string;
 /** Element write with `scr_arr_set_*` semantics: the array takes the
  * value's reference. A dense index stores the slot, marks it present, and
  * extends the length when it lands at or past it; a replaced present
  * reference is released after the new edge is published (a release can
- * collect cycles). Every other index takes the unchanged runtime call. */
-export declare function emitDenseArraySet(host: LlvmEmitterContext, array: string, index: LlValue, indexExpr: IrExpr | undefined, acc: ArrayAccess, element: IrType, value: string, proven?: boolean): void;
+ * collect cycles). Every other index takes the unchanged runtime call.
+ * `int32`, for an int32 array, is the value as an i32 when the caller has
+ * it at hand. */
+export declare function emitDenseArraySet(host: LlvmEmitterContext, array: string, index: LlValue, indexExpr: IrExpr | undefined, acc: ArrayAccess, element: IrType, value: string, proven?: boolean, int32?: string | null): void;
 /** The dense half of `pop`. An empty array branches to `empty` (the
  * runtime's pop returns a hole state there and changes nothing). When the
  * hole-free prefix bound equals the length, the last element is a present
@@ -44,11 +74,12 @@ export declare function emitDenseArraySet(host: LlvmEmitterContext, array: strin
  * slot out. That block is left open and its slot bits are returned as an
  * i64 (a boolean's 0 or 1, zero-extended); every other array branches to
  * `slow`, which keeps the runtime call. */
-export declare function emitDenseArrayPop(host: LlvmEmitterContext, array: string, acc: ArrayAccess, empty: string, slow: string): string;
+export declare function emitDenseArrayPop(host: LlvmEmitterContext, array: string, acc: ArrayAccess, element: IrType, empty: string, slow: string): string;
 /** `scr_arr_push_*` (the array takes the value's reference) returning the
  * new length as a double. When `len < cap` the runtime's append is exactly
  * a dense store at `len` plus `len + 1`: no sparse entry can exist past the
  * length, nothing is released, and the dense capacity never exceeds the
  * maximum index. A full array takes the unchanged (cold) runtime call,
  * which grows storage. */
-export declare function emitDenseArrayPush(host: LlvmEmitterContext, array: string, acc: ArrayAccess, value: string): string;
+export declare function emitDenseArrayPush(host: LlvmEmitterContext, array: string, acc: ArrayAccess, element: IrType | null, value: string): string;
+export {};