@scriptc/compiler 0.2.2 → 0.2.4

package/dist/ir/integer-loops.js

@@ -1,4 +1,110 @@
-import { everyStmtList } from "./traverse.js";
+import { everyExprChild, everyStmtChild, everyStmtList } from "./traverse.js";
+import { byteNumberAccess } from "./byte-numbers.js";
+function constantStep(update, id) {
+    if (update?.kind === "exprStmt" && update.expr.kind === "incDec" && update.expr.localId === id)
+        return update.expr.op === "+" ? 1 : -1;
+    if (update?.kind !== "assign" || update.localId !== id || update.value.kind !== "bin" ||
+        update.value.left.kind !== "varRef" || update.value.left.localId !== id || update.value.right.kind !== "numLit")
+        return null;
+    const value = update.value.right.value;
+    const step = update.value.op === "+" ? value : update.value.op === "-" ? -value : 0;
+    return Number.isSafeInteger(step) && step !== 0 && Math.abs(step) <= 2147483647 ? step : null;
+}
+/** Pure initial values may be evaluated again on a fallback path. Bounds
+ * additionally have to remain invariant throughout the loop. Array length
+ * is allowed only in the initializer; its mutable value is never hoisted
+ * from a condition. Typed-array lengths are fixed for a given receiver. */
+function stableLoopValue(value, locals, body, invariant, counter) {
+    switch (value.kind) {
+        case "numLit": return true;
+        case "varRef": {
+            const local = locals.get(value.localId);
+            return value.localId !== counter && local !== undefined && !local.boxed && !local.tdz && (!invariant || !writesLocal(body, value.localId));
+        }
+        case "bin":
+            return (value.op === "+" || value.op === "-" || value.op === "&" || value.op === ">>>" || value.op === "|") &&
+                stableLoopValue(value.left, locals, body, invariant, counter) && stableLoopValue(value.right, locals, body, invariant, counter);
+        case "bytesIntrinsic":
+        case "arrIntrinsic":
+            return (value.method === "length" || value.kind === "bytesIntrinsic" && value.method === "byteLength") &&
+                (value.kind === "bytesIntrinsic" || !invariant) && value.receiver.kind === "varRef" &&
+                stableLoopValue(value.receiver, locals, body, invariant, counter);
+        default: return false;
+    }
+}
+/** Normalize finite loop progress into signed i64 storage. Unknown limits
+ * are guarded before versioning small innermost loops; proven bounds need
+ * no duplicate body. Every body entry must remain exactly representable.
+ * A final update may round beyond the limit: the scoped counter cannot be
+ * observed after that update, and both representations exit the loop. */
+export function matchIntegerCountedForLoop(stmt, locals, ranges = new Map()) {
+    const init = stmt.init;
+    if (init?.kind !== "varDecl" || !init.init)
+        return null;
+    const local = locals.get(init.localId);
+    if (local?.type.kind !== "f64" || !local.mutable || local.boxed || local.tdz)
+        return null;
+    const start = init.init;
+    const startRange = start.kind === "numLit" && Number.isSafeInteger(start.value) && !Object.is(start.value, -0)
+        ? { min: start.value, max: start.value } : ranges.get(start);
+    if (!startRange || startRange.min < -Number.MAX_SAFE_INTEGER || startRange.max > Number.MAX_SAFE_INTEGER ||
+        !stableLoopValue(start, locals, stmt.body, false, local.id))
+        return null;
+    const step = constantStep(stmt.update, local.id);
+    if (step === null || writesLocal(stmt.body, local.id))
+        return null;
+    const cond = stmt.cond;
+    if (cond?.kind !== "bin")
+        return null;
+    let limit = cond.right, op = cond.op;
+    if (cond.left.kind !== "varRef" || cond.left.localId !== local.id) {
+        if (cond.right.kind !== "varRef" || cond.right.localId !== local.id)
+            return null;
+        limit = cond.left;
+        op = { "<": ">", "<=": ">=", ">": "<", ">=": "<=" }[op] ?? "";
+    }
+    if (step > 0 ? op !== "<" && op !== "<=" : op !== ">" && op !== ">=")
+        return null;
+    if (!stableLoopValue(limit, locals, stmt.body, true, local.id))
+        return null;
+    const inclusive = op === "<=" || op === ">=";
+    const guardLimit = step > 0 ? 2 ** 53 - (inclusive ? 1 : 0) : -(2 ** 53) + (inclusive ? 1 : 0);
+    const boundRange = limit.kind === "numLit" ? { min: limit.value, max: limit.value } : ranges.get(limit);
+    const guarded = !boundRange || (step > 0 ? !(boundRange.max <= guardLimit) : !(boundRange.min >= guardLimit));
+    if (guarded && limit.kind === "numLit")
+        return null;
+    let useful = false;
+    let cost = 0;
+    const counter = (e) => e.kind === "varRef" && e.localId === local.id ||
+        e.kind === "bin" && (e.op === "+" || e.op === "-" || e.op === "*") && (counter(e.left) || counter(e.right));
+    const expr = (e) => {
+        if (e.kind === "bin" && ((e.op === "&" || e.op === "|" || e.op === "^" || e.op === "<<" || e.op === ">>" || e.op === ">>>") && (counter(e.left) || counter(e.right)) ||
+            e.op === "%" && counter(e.left)))
+            useful = true;
+        if (e.kind === "bytesIntrinsic") {
+            const numeric = byteNumberAccess(e);
+            const offset = e.args[numeric ? numeric.offsetArg : 0];
+            if ((numeric || e.method === "get") && offset && counter(offset))
+                useful = true;
+        }
+        if (e.kind === "libCall" && (e.fn === "math.imul" || e.fn === "math.clz32") && e.args.some(counter))
+            useful = true;
+        return (!guarded || ++cost <= 80) && everyExprChild(e, expr, bodyStmt);
+    };
+    const bodyStmt = (s) => {
+        if (s.kind === "bytesSet" && counter(s.index))
+            useful = true;
+        if (guarded && (s.kind === "for" || s.kind === "forOf" || s.kind === "while" || s.kind === "doWhile"))
+            return false;
+        return (!guarded || ++cost <= 80) && everyStmtChild(s, expr, bodyStmt);
+    };
+    if (!stmt.body.every(bodyStmt) || !useful)
+        return null;
+    const range = step > 0
+        ? { min: startRange.min, max: Math.max(startRange.min, Math.min(Number.MAX_SAFE_INTEGER, boundRange ? Math.ceil(boundRange.max) - (inclusive ? 0 : 1) : Number.MAX_SAFE_INTEGER)) }
+        : { min: Math.min(startRange.max, Math.max(-Number.MAX_SAFE_INTEGER, boundRange ? Math.floor(boundRange.min) + (inclusive ? 0 : 1) : -Number.MAX_SAFE_INTEGER)), max: startRange.max };
+    return { localId: local.id, start, limit, step, inclusive, guarded, guardLimit, range };
+}
 /** True when a lowered subtree writes `localId`. Local ids are unique per
  * function, so typed traversal includes writes
  * nested in expressions, branches, nested loops, and try/finally bodies. */
@@ -68,4 +174,27 @@ export function matchIntegerBytesForLoop(stmt, locals) {
         return null;
     return { localId: init.localId, limitReceiver: cond.right.receiver };
 }
+/** Array lengths are uint32, so zero-based loops and nested `j = i + 1`
+ * loops have exact integer induction even when the body changes length.
+ * Only active array induction bindings may seed a nested loop. Their body
+ * values are at most 2^32 - 2, making the increment safe on 32-bit targets. */
+export function matchIntegerArrayForLoop(stmt, locals, outer) {
+    const init = stmt.init;
+    if (init?.kind !== "varDecl" || !init.init)
+        return null;
+    const start = init.init;
+    const zero = start.kind === "numLit" && start.value === 0 && !Object.is(start.value, -0);
+    const nested = start.kind === "bin" && start.op === "+" && start.left.kind === "varRef" && outer.has(start.left.localId) &&
+        start.right.kind === "numLit" && start.right.value === 1;
+    const local = locals.get(init.localId);
+    if ((!zero && !nested) || local?.type.kind !== "f64" || !local.mutable || local.boxed || local.tdz)
+        return null;
+    const cond = stmt.cond;
+    if (cond?.kind !== "bin" || cond.op !== "<" || cond.left.kind !== "varRef" || cond.left.localId !== local.id ||
+        cond.right.kind !== "arrIntrinsic" || cond.right.method !== "length" || cond.right.receiver.kind !== "varRef" ||
+        cond.right.receiver.type.kind !== "array" || locals.get(cond.right.receiver.localId)?.boxed ||
+        !isUnitIncrement(stmt.update, local.id) || writesLocal(stmt.body, local.id))
+        return null;
+    return { localId: local.id, limitReceiver: cond.right.receiver };
+}
 //# sourceMappingURL=integer-loops.js.map

package/dist/ir/integer-loops.js.map

@@ -1 +1 @@
-{"version":3,"file":"integer-loops.js","sourceRoot":"","sources":["../../src/ir/integer-loops.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAW9C;;4EAE4E;AAC5E,SAAS,WAAW,CAAC,IAAc,EAAE,OAAe;IAClD,OAAO,CAAC,aAAa,CAAC,IAAI,EAAE;QAC1B,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,IAAI,CAAC,OAAO,KAAK,OAAO;QAClG,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,OAAO,KAAK,OAAO;KACnE,CAAC,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CAAC,MAAqB,EAAE,OAAe;IAC7D,mEAAmE;IACnE,0EAA0E;IAC1E,qEAAqE;IACrE,IAAI,MAAM,EAAE,IAAI,KAAK,UAAU,EAAE,CAAC;QAChC,OAAO,CACL,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;YAC7B,MAAM,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO;YAC/B,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,GAAG,CACvB,CAAC;IACJ,CAAC;IACD,OAAO,CACL,MAAM,EAAE,IAAI,KAAK,QAAQ;QACzB,MAAM,CAAC,OAAO,KAAK,OAAO;QAC1B,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK;QAC3B,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG;QACvB,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QACnC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO;QACrC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;QACpC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,CAC/B,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,wBAAwB,CACtC,IAA8B,EAC9B,MAAoC;IAEpC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IACE,IAAI,EAAE,IAAI,KAAK,SAAS;QACxB,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,QAAQ;QAC5B,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC;QACrB,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAC9B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACvC,IAAI,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAEtF,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IACE,IAAI,EAAE,IAAI,KAAK,KAAK;QACpB,IAAI,CAAC,EAAE,KAAK,GAAG;QACf,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAC3B,IAAI,CAAC,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO;QAClC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,gBAAgB;QACpC,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ;QAC9B,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;QACrC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EACzC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC9D,IAAI,aAAa,EAAE,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAE/C,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7D,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAEtD,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;AACvE,CAAC"}
+{"version":3,"file":"integer-loops.js","sourceRoot":"","sources":["../../src/ir/integer-loops.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9E,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAsBrD,SAAS,YAAY,CAAC,MAAqB,EAAE,EAAU;IACrD,IAAI,MAAM,EAAE,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,KAAK,EAAE;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvI,IAAI,MAAM,EAAE,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,OAAO,KAAK,EAAE,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK;QACjF,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,EAAE,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACjI,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;IACvC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACpF,OAAO,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AAChG,CAAC;AAED;;;2EAG2E;AAC3E,SAAS,eAAe,CAAC,KAAa,EAAE,MAAoC,EAAE,IAAc,EAAE,SAAkB,EAAE,OAAe;IAC/H,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,QAAQ,EAAE,OAAO,IAAI,CAAC;QAC3B,KAAK,QAAQ,EAAE,CAAC;YACd,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACxC,OAAO,KAAK,CAAC,OAAO,KAAK,OAAO,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,CAAC,SAAS,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAC7I,CAAC;QACD,KAAK,KAAK;YACR,OAAO,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,IAAI,KAAK,CAAC,EAAE,KAAK,GAAG,IAAI,KAAK,CAAC,EAAE,KAAK,GAAG,IAAI,KAAK,CAAC,EAAE,KAAK,KAAK,IAAI,KAAK,CAAC,EAAE,KAAK,GAAG,CAAC;gBACzG,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,IAAI,eAAe,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;QACpI,KAAK,gBAAgB,CAAC;QAAC,KAAK,cAAc;YACxC,OAAO,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB,IAAI,KAAK,CAAC,MAAM,KAAK,YAAY,CAAC;gBACpG,CAAC,KAAK,CAAC,IAAI,KAAK,gBAAgB,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;gBACnF,eAAe,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;QACtE,SAAS,OAAO,KAAK,CAAC;IACxB,CAAC;AACH,CAAC;AAED;;;;yEAIyE;AACzE,MAAM,UAAU,0BAA0B,CACxC,IAA8B,EAAE,MAAoC,EAAE,MAAM,GAAkB,IAAI,GAAG,EAAE;IAEvG,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,IAAI,EAAE,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACvC,IAAI,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IAC1F,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC;IACxB,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAC5G,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC/D,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,gBAAgB,IAAI,UAAU,CAAC,GAAG,GAAG,MAAM,CAAC,gBAAgB;QACpG,CAAC,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7E,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;IACjD,IAAI,IAAI,KAAK,IAAI,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IACnE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,IAAI,EAAE,IAAI,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IACtC,IAAI,KAAK,GAAG,IAAI,CAAC,KAAK,EAAE,EAAE,GAAW,IAAI,CAAC,EAAE,CAAC;IAC7C,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,EAAE,EAAE,CAAC;QAClE,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,KAAK,KAAK,CAAC,EAAE;YAAE,OAAO,IAAI,CAAC;QACjF,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC;QAClB,EAAE,GAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAA6B,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;IAC5F,CAAC;IACD,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAClF,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5E,MAAM,SAAS,GAAG,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,CAAC;IAC7C,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/F,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACxG,MAAM,OAAO,GAAG,CAAC,UAAU,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC;IAC9G,IAAI,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACpD,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,MAAM,OAAO,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,KAAK,KAAK,CAAC,EAAE;QACnF,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAC9G,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,IAAI,IAAI,CAAC,CAAC,EAAE,KAAK,IAAI,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAChK,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAAE,MAAM,GAAG,IAAI,CAAC;QACpD,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YAChC,MAAM,OAAO,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;YACpC,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACvD,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,IAAI,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC;gBAAE,MAAM,GAAG,IAAI,CAAC;QAClF,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,WAAW,IAAI,CAAC,CAAC,EAAE,KAAK,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC;YAAE,MAAM,GAAG,IAAI,CAAC;QACnH,OAAO,CAAC,CAAC,OAAO,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC,IAAI,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IACzE,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAW,EAAE;QACtC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;YAAE,MAAM,GAAG,IAAI,CAAC;QAC7D,IAAI,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC;YAAE,OAAO,KAAK,CAAC;QACpH,OAAO,CAAC,CAAC,OAAO,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC,IAAI,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IACzE,CAAC,CAAC;IACF,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACvD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC;QACpB,CAAC,CAAC,EAAE,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,gBAAgB,EAAE,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,EAAE;QACnL,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,gBAAgB,EAAE,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,EAAE,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,CAAC;IACzL,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;AAC1F,CAAC;AAED;;4EAE4E;AAC5E,SAAS,WAAW,CAAC,IAAc,EAAE,OAAe;IAClD,OAAO,CAAC,aAAa,CAAC,IAAI,EAAE;QAC1B,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,IAAI,CAAC,OAAO,KAAK,OAAO;QAClG,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,OAAO,KAAK,OAAO;KACnE,CAAC,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CAAC,MAAqB,EAAE,OAAe;IAC7D,mEAAmE;IACnE,0EAA0E;IAC1E,qEAAqE;IACrE,IAAI,MAAM,EAAE,IAAI,KAAK,UAAU,EAAE,CAAC;QAChC,OAAO,CACL,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;YAC7B,MAAM,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO;YAC/B,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,GAAG,CACvB,CAAC;IACJ,CAAC;IACD,OAAO,CACL,MAAM,EAAE,IAAI,KAAK,QAAQ;QACzB,MAAM,CAAC,OAAO,KAAK,OAAO;QAC1B,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK;QAC3B,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG;QACvB,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QACnC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO;QACrC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;QACpC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,CAC/B,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,wBAAwB,CACtC,IAA8B,EAC9B,MAAoC;IAEpC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IACE,IAAI,EAAE,IAAI,KAAK,SAAS;QACxB,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,QAAQ;QAC5B,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC;QACrB,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAC9B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACvC,IAAI,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAEtF,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IACE,IAAI,EAAE,IAAI,KAAK,KAAK;QACpB,IAAI,CAAC,EAAE,KAAK,GAAG;QACf,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAC3B,IAAI,CAAC,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO;QAClC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,gBAAgB;QACpC,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ;QAC9B,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;QACrC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EACzC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC9D,IAAI,aAAa,EAAE,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAE/C,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7D,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAEtD,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;AACvE,CAAC;AAED;;;+EAG+E;AAC/E,MAAM,UAAU,wBAAwB,CACtC,IAA8B,EAAE,MAAoC,EAAE,KAA0B;IAEhG,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,IAAI,EAAE,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACxD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC;IACxB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;IACzF,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,EAAE,KAAK,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC;QACtH,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,CAAC;IAC3D,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACvC,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IAChH,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,IAAI,EAAE,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,EAAE;QACxG,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,cAAc,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;QAC7G,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,KAAK;QAC3F,CAAC,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7F,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;AACnE,CAAC"}

package/dist/ir/integer-loops.test.d.ts

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

package/dist/ir/integer-loops.test.js

@@ -0,0 +1,91 @@
+import { expect, test } from "vitest";
+import { BOOL, F64, arrayOf } from "./ir.js";
+import { matchIntegerArrayForLoop, matchIntegerCountedForLoop } from "./integer-loops.js";
+const loc = { file: "integer-array-loop.ts", start: 0, end: 0 };
+const number = (value) => ({ kind: "numLit", value, type: F64, loc });
+const ref = (localId) => ({ kind: "varRef", localId, type: F64, loc });
+const locals = new Map([
+    ["i", { id: "i", name: "i", type: F64, mutable: true }],
+    ["a", { id: "a", name: "a", type: arrayOf(F64), mutable: false }],
+]);
+function loop(start = number(0)) {
+    return {
+        kind: "for", loc, init: { kind: "varDecl", localId: "i", init: start, loc },
+        cond: { kind: "bin", op: "<", left: ref("i"), right: {
+                kind: "arrIntrinsic", method: "length", receiver: { kind: "varRef", localId: "a", type: arrayOf(F64), loc }, args: [], type: F64, loc,
+            }, type: BOOL, loc },
+        update: { kind: "assign", localId: "i", value: { kind: "bin", op: "+", left: ref("i"), right: number(1), type: F64, loc }, loc }, body: [],
+    };
+}
+test("array length loops and active outer-array induction have exact integer bounds", () => {
+    expect(matchIntegerArrayForLoop(loop(), locals, new Set())?.localId).toBe("i");
+    const nested = loop({ kind: "bin", op: "+", left: ref("outer"), right: number(1), type: F64, loc });
+    expect(matchIntegerArrayForLoop(nested, locals, new Set(["outer"]))?.localId).toBe("i");
+    expect(matchIntegerArrayForLoop(nested, locals, new Set())).toBeNull();
+});
+test("negative zero, unknown starts, captured counters and body writes stay floating point", () => {
+    for (const start of [number(-0), number(0.5), number(-1), ref("unknown")])
+        expect(matchIntegerArrayForLoop(loop(start), locals, new Set())).toBeNull();
+    const captured = new Map(locals);
+    captured.set("i", { ...locals.get("i"), boxed: true });
+    expect(matchIntegerArrayForLoop(loop(), captured, new Set())).toBeNull();
+    const changed = loop();
+    changed.body.push({ kind: "exprStmt", expr: { kind: "assignExpr", localId: "i", value: number(0.5), type: F64, loc }, loc });
+    expect(matchIntegerArrayForLoop(changed, locals, new Set())).toBeNull();
+});
+test("changing the array length does not invalidate integer induction", () => {
+    const changed = loop();
+    changed.body.push({ kind: "arraySetLength", arr: { kind: "varRef", localId: "a", type: arrayOf(F64), loc }, length: number(0), loc });
+    expect(matchIntegerArrayForLoop(changed, locals, new Set())?.localId).toBe("i");
+});
+function counted(limit = number(4), inclusive = false) {
+    const s = loop();
+    s.cond = { kind: "bin", op: inclusive ? "<=" : "<", left: ref("i"), right: limit, type: BOOL, loc };
+    s.body = [{ kind: "exprStmt", expr: { kind: "bin", op: "%", left: ref("i"), right: number(3), type: F64, loc }, loc }];
+    return s;
+}
+test("counted loops normalize finite literal limits and guard stable numeric locals", () => {
+    for (const value of [0, -0, -1, 0.5, 4.5, -Infinity, 2 ** 53]) {
+        expect(matchIntegerCountedForLoop(counted(number(value)), locals)?.guarded).toBe(false);
+    }
+    const withLimit = new Map(locals);
+    withLimit.set("limit", { id: "limit", name: "limit", type: F64, mutable: true });
+    expect(matchIntegerCountedForLoop(counted(ref("limit"), true), withLimit)).toMatchObject({ localId: "i", guarded: true, inclusive: true });
+    for (const value of [NaN, Infinity, 2 ** 53 + 2])
+        expect(matchIntegerCountedForLoop(counted(number(value)), locals)).toBeNull();
+    expect(matchIntegerCountedForLoop(counted(number(2 ** 53), true), locals)).toBeNull();
+});
+test("counted loop proofs reject writes, captures, effectful bounds and signed-zero starts", () => {
+    const withLimit = new Map(locals);
+    withLimit.set("limit", { id: "limit", name: "limit", type: F64, mutable: true });
+    for (const id of ["i", "limit"]) {
+        const s = counted(ref("limit"));
+        s.body.push({ kind: "exprStmt", expr: { kind: "assignExpr", localId: id, value: number(2), type: F64, loc }, loc });
+        expect(matchIntegerCountedForLoop(s, withLimit)).toBeNull();
+        const captured = new Map(withLimit);
+        captured.set(id, { ...captured.get(id), boxed: true });
+        expect(matchIntegerCountedForLoop(counted(ref("limit")), captured)).toBeNull();
+    }
+    for (const value of [-0, 0.5, Infinity]) {
+        const s = counted();
+        s.init = { kind: "varDecl", localId: "i", init: number(value), loc };
+        expect(matchIntegerCountedForLoop(s, locals)).toBeNull();
+    }
+    expect(matchIntegerCountedForLoop(counted({ kind: "incDec", localId: "limit", op: "+", prefix: false, type: F64, loc }), withLimit)).toBeNull();
+    expect(matchIntegerCountedForLoop(counted(ref("missing")), withLimit)).toBeNull();
+});
+test("versioning is bounded and requires an integer consumer", () => {
+    const floating = counted();
+    floating.body = [{ kind: "exprStmt", expr: { kind: "bin", op: "+", left: ref("i"), right: number(0.5), type: F64, loc }, loc }];
+    expect(matchIntegerCountedForLoop(floating, locals)).toBeNull();
+    const withLimit = new Map(locals);
+    withLimit.set("limit", { id: "limit", name: "limit", type: F64, mutable: true });
+    const large = counted(ref("limit"));
+    large.body = Array.from({ length: 81 }, () => large.body[0]);
+    expect(matchIntegerCountedForLoop(large, withLimit)).toBeNull();
+    const nested = counted(ref("limit"));
+    nested.body.push(counted());
+    expect(matchIntegerCountedForLoop(nested, withLimit)).toBeNull();
+    expect(matchIntegerCountedForLoop(counted(number(4)), locals)?.guarded).toBe(false);
+});
+//# sourceMappingURL=integer-loops.test.js.map

package/dist/ir/integer-loops.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"integer-loops.test.js","sourceRoot":"","sources":["../../src/ir/integer-loops.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAA0C,MAAM,SAAS,CAAC;AACrF,OAAO,EAAE,wBAAwB,EAAE,0BAA0B,EAAE,MAAM,oBAAoB,CAAC;AAE1F,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,uBAAuB,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAChE,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,GAAG,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACvF,MAAM,MAAM,GAAG,IAAI,GAAG,CAAkB;IACtC,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACvD,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;CAClE,CAAC,CAAC;AACH,SAAS,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC;IAC7B,OAAO;QACL,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE;QAC3E,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE;gBACnD,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG;aACtI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QACpB,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,EAAE;KAC3I,CAAC;AACJ,CAAC;AAED,IAAI,CAAC,+EAA+E,EAAE,GAAG,EAAE;IACzF,MAAM,CAAC,wBAAwB,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/E,MAAM,MAAM,GAAG,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IACpG,MAAM,CAAC,wBAAwB,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACxF,MAAM,CAAC,wBAAwB,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACzE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sFAAsF,EAAE,GAAG,EAAE;IAChG,KAAK,MAAM,KAAK,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;QAAE,MAAM,CAAC,wBAAwB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvJ,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC;IACjC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACxD,MAAM,CAAC,wBAAwB,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACzE,MAAM,OAAO,GAAG,IAAI,EAAE,CAAC;IACvB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;IAC7H,MAAM,CAAC,wBAAwB,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AAC1E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iEAAiE,EAAE,GAAG,EAAE;IAC3E,MAAM,OAAO,GAAG,IAAI,EAAE,CAAC;IACvB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACtI,MAAM,CAAC,wBAAwB,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAClF,CAAC,CAAC,CAAC;AAEH,SAAS,OAAO,CAAC,KAAK,GAAW,MAAM,CAAC,CAAC,CAAC,EAAE,SAAS,GAAG,KAAK;IAC3D,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;IACjB,CAAC,CAAC,IAAI,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACpG,CAAC,CAAC,IAAI,GAAG,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;IACvH,OAAO,CAAC,CAAC;AACX,CAAC;AAED,IAAI,CAAC,+EAA+E,EAAE,GAAG,EAAE;IACzF,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;QAC9D,MAAM,CAAC,0BAA0B,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1F,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC;IAClC,SAAS,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IACjF,MAAM,CAAC,0BAA0B,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3I,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAAE,MAAM,CAAC,0BAA0B,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAChI,MAAM,CAAC,0BAA0B,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACxF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sFAAsF,EAAE,GAAG,EAAE;IAChG,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC;IAClC,SAAS,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IACjF,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;QAChC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;QACpH,MAAM,CAAC,0BAA0B,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC5D,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;QACpC,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACxD,MAAM,CAAC,0BAA0B,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACjF,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,EAAE,CAAC;QACxC,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,CAAC,CAAC,IAAI,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,CAAC;QACrE,MAAM,CAAC,0BAA0B,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3D,CAAC;IACD,MAAM,CAAC,0BAA0B,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAChJ,MAAM,CAAC,0BAA0B,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACpF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wDAAwD,EAAE,GAAG,EAAE;IAClE,MAAM,QAAQ,GAAG,OAAO,EAAE,CAAC;IAC3B,QAAQ,CAAC,IAAI,GAAG,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;IAChI,MAAM,CAAC,0BAA0B,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAChE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC;IAClC,SAAS,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IACjF,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;IACpC,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;IAC9D,MAAM,CAAC,0BAA0B,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAChE,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;IACrC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IAC5B,MAAM,CAAC,0BAA0B,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACjE,MAAM,CAAC,0BAA0B,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACtF,CAAC,CAAC,CAAC"}

package/dist/ir/integer-ranges.d.ts

@@ -1,13 +1,15 @@
 import type { IrExpr, IrFunction } from "./ir.js";
-/** Exactly representable integers, excluding negative zero. These facts
- * justify signed i64 arithmetic as well as unchecked ToUint32 conversion. */
+/** Exactly representable integers, excluding negative zero. Facts describe
+ * the evaluated value, never a later read of the same local binding. */
 export interface IntegerRange {
     min: number;
     max: number;
 }
 export type IntegerRanges = ReadonlyMap<IrExpr, IntegerRange | null>;
-/** Deliberately local range analysis. Facts flow only through straight-line
- * statements and numeric expression evaluation. Unknown expressions and
- * control-flow boundaries discard them; nested bodies start independently.
- * No assumptions about parameters, captures, globals or loop iterations. */
+export declare function integerArithmeticRange(op: string, left: IntegerRange, right: IntegerRange): IntegerRange | null;
+/** Structured local dataflow. Calls cannot write uncaptured local slots,
+ * but argument expressions can; unknown evaluation forms invalidate all
+ * syntactically written slots before their children are inspected. Loops
+ * discard loop-carried facts and retain only invariant or induction facts.
+ * Suspensions and captured bindings deliberately remain outside the proof. */
 export declare function analyzeIntegerRanges(fn: IrFunction): IntegerRanges;