@scriptc/compiler 0.3.3 → 0.3.5

package/dist/ir/initializer-bindings.js

@@ -1,4 +1,4 @@
-import { everyStmtList } from "./traverse.js";
+import { everyExprChild, everyStmtChild, everyStmtList } from "./traverse.js";
 /** Globals private to a guarded, synchronous initializer have local numeric
  * dataflow: no other function can replace their slots, and reentrant module
  * evaluation returns before reaching them. Keep the actual global storage
@@ -89,6 +89,96 @@ export function findInitializerBindings(mod) {
     }
     return result;
 }
+/** The candidates for local storage: number bindings whose slots the
+ * initializer could keep in a local of its own. No other code reads or
+ * writes them (that is what makes them initializer bindings), and the
+ * guard runs the initializer's body at most once, so a local that starts at
+ * the global's zero value is indistinguishable from the global. Import-cycle
+ * bindings keep their global: their initialization flag is checked by code
+ * outside the initializer. */
+export function initializerLocalCandidates(bindings) {
+    return bindings.filter((g) => g.type.kind === "f64" && g.initFlag === undefined);
+}
+/** An analysis view that lists bindings as plain locals: their writes, not
+ * an incoming value, decide their storage (see initializerLocalCandidates). */
+export function withInitializerLocals(fn, bindings) {
+    if (!bindings.length)
+        return fn;
+    return { ...fn, locals: [...fn.locals, ...bindings] };
+}
+/** Bindings some loop writes only on a path its iteration may skip: inside
+ * an `if` or `switch` arm, a conditional expression arm or a short-circuit
+ * operand of that loop's body. Kept in a register, such an update becomes a
+ * select that every iteration waits on; kept in memory, only the taken path
+ * pays. Writes directly in a nested loop's body count against that loop. */
+export function conditionalLoopWrites(body) {
+    const out = new Set();
+    // `conditional` is only meaningful inside a loop.
+    const expr = (e, inLoop, conditional) => {
+        if ((e.kind === "assignExpr" || e.kind === "incDec") && inLoop && conditional)
+            out.add(e.localId);
+        const branches = e.kind === "ternary" ||
+            e.kind === "logical" ||
+            e.kind === "nullish" ||
+            e.kind === "orDefault";
+        let first = true;
+        everyExprChild(e, (child) => {
+            // The condition / left operand always runs; the rest may not.
+            expr(child, inLoop, conditional || (branches && !first));
+            first = false;
+            return true;
+        }, (s) => (stmt(s, inLoop, conditional), true));
+    };
+    const list = (stmts, inLoop, conditional) => {
+        for (const s of stmts)
+            stmt(s, inLoop, conditional);
+    };
+    const stmt = (s, inLoop, conditional) => {
+        switch (s.kind) {
+            case "assign":
+                if (inLoop && conditional)
+                    out.add(s.localId);
+                expr(s.value, inLoop, conditional);
+                return;
+            case "if":
+                expr(s.cond, inLoop, conditional);
+                list(s.then, inLoop, true);
+                if (s.else_)
+                    list(s.else_, inLoop, true);
+                return;
+            case "switch":
+                expr(s.disc, inLoop, conditional);
+                for (const c of s.cases) {
+                    if (c.test)
+                        expr(c.test, inLoop, true);
+                    list(c.body, inLoop, true);
+                }
+                return;
+            case "while":
+            case "doWhile":
+                expr(s.cond, true, false);
+                list(s.body, true, false);
+                return;
+            case "for":
+                if (s.init)
+                    stmt(s.init, inLoop, conditional);
+                if (s.cond)
+                    expr(s.cond, true, false);
+                if (s.update)
+                    stmt(s.update, true, false);
+                list(s.body, true, false);
+                return;
+            case "forOf":
+                expr(s.iterable, inLoop, conditional);
+                list(s.body, true, false);
+                return;
+            default:
+                everyStmtChild(s, (e) => (expr(e, inLoop, conditional), true), (child) => (stmt(child, inLoop, conditional), true));
+        }
+    };
+    list(body, false, false);
+    return out;
+}
 /** An analysis view only: parameters seed numeric-view initialization, not
  * integer ranges. Code generation still uses the original ABI and globals. */
 export function withInitializerBindings(fn, bindings) {

package/dist/ir/initializer-bindings.js.map

@@ -1 +1 @@
-{"version":3,"file":"initializer-bindings.js","sourceRoot":"","sources":["../../src/ir/initializer-bindings.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE9C;;;+EAG+E;AAC/E,MAAM,UAAU,uBAAuB,CAAC,GAAa;IACnD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC7C,0EAA0E;IAC1E,kEAAkE;IAClE,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM;QAAE,OAAO,MAAM,CAAC;IACnD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,IAAI,GAAG,EAAyB,CAAC;IAChD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;QACpC,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,aAAa,IAAI,EAAE;YAAE,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC/E,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAC/B,KAAK,MAAM,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC;YACzE,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAChC,MAAM,GAAG,GAAG,CAAC,EAAU,EAAE,KAAc,EAAQ,EAAE;YAC/C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,OAAO;YAC7B,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC7B,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC1E,IAAI,KAAK;gBAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACvD,CAAC,CAAC;QACF,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;YACrB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;gBACV,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;oBAAE,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;gBAC/C,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;oBAAE,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;gBACzE,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;oBAAE,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,QAAQ;wBAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACxE,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;gBACV,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;oBAAE,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;gBAC5F,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,YAAY;oBAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;gBAC1E,OAAO,IAAI,CAAC;YACd,CAAC;SACF,CAAC,CAAC;IACL,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAC/B,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;YAAE,SAAS;QACvC,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EACtB,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,IACE,KAAK,EAAE,IAAI,KAAK,IAAI;YACpB,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;YAC5B,KAAK,CAAC,KAAK,KAAK,IAAI;YACpB,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;YACvB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,QAAQ;YAChC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI;YAC5B,GAAG,EAAE,IAAI,KAAK,QAAQ;YACtB,GAAG,CAAC,OAAO,KAAK,KAAK,CAAC,IAAI,CAAC,OAAO;YAClC,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;YAC5B,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK;YAEhB,SAAS;QACX,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACvC,IACE,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,MAAM;YAC3B,KAAK,CAAC,GAAG;YACT,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACtB,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,IAAI;YAChC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC;YAE1B,SAAS;QACX,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACvB,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACpC,IACE,CAAC,KAAK;YACN,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;YACnB,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACvB,MAAM,CAAC,GAAG;YACV,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC;YAE5D,SAAS;QACX,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,QAAQ;YAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;;YAC/B,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;8EAC8E;AAC9E,MAAM,UAAU,uBAAuB,CAAC,EAAc,EAAE,QAA6B;IACnF,IAAI,CAAC,QAAQ,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IAChC,MAAM,IAAI,GAAe;QACvB,IAAI,EAAE,EAAE,CAAC,IAAI;QACb,GAAG,EAAE,EAAE,CAAC,GAAG;QACX,UAAU,EAAE,EAAE,CAAC,UAAU;QACzB,IAAI,EAAE,EAAE,CAAC,IAAI;QACb,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,GAAG,QAAQ,CAAC;QACnC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;KAChG,CAAC;IACF,IAAI,EAAE,CAAC,QAAQ;QAAE,IAAI,CAAC,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC;IAC7C,IAAI,EAAE,CAAC,aAAa;QAAE,IAAI,CAAC,aAAa,GAAG,EAAE,CAAC,aAAa,CAAC;IAC5D,IAAI,EAAE,CAAC,KAAK;QAAE,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;IAChC,IAAI,EAAE,CAAC,SAAS;QAAE,IAAI,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,CAAC;IAChD,OAAO,IAAI,CAAC;AACd,CAAC"}
+{"version":3,"file":"initializer-bindings.js","sourceRoot":"","sources":["../../src/ir/initializer-bindings.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE9E;;;+EAG+E;AAC/E,MAAM,UAAU,uBAAuB,CAAC,GAAa;IACnD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC7C,0EAA0E;IAC1E,kEAAkE;IAClE,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM;QAAE,OAAO,MAAM,CAAC;IACnD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,IAAI,GAAG,EAAyB,CAAC;IAChD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;QACpC,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,aAAa,IAAI,EAAE;YAAE,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC/E,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAC/B,KAAK,MAAM,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC;YACzE,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAChC,MAAM,GAAG,GAAG,CAAC,EAAU,EAAE,KAAc,EAAQ,EAAE;YAC/C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,OAAO;YAC7B,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC7B,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC1E,IAAI,KAAK;gBAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACvD,CAAC,CAAC;QACF,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;YACrB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;gBACV,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;oBAAE,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;gBAC/C,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;oBAAE,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;gBACzE,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;oBAAE,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,QAAQ;wBAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACxE,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;gBACV,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;oBAAE,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;gBAC5F,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,YAAY;oBAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;gBAC1E,OAAO,IAAI,CAAC;YACd,CAAC;SACF,CAAC,CAAC;IACL,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAC/B,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;YAAE,SAAS;QACvC,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EACtB,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,IACE,KAAK,EAAE,IAAI,KAAK,IAAI;YACpB,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;YAC5B,KAAK,CAAC,KAAK,KAAK,IAAI;YACpB,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;YACvB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,QAAQ;YAChC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI;YAC5B,GAAG,EAAE,IAAI,KAAK,QAAQ;YACtB,GAAG,CAAC,OAAO,KAAK,KAAK,CAAC,IAAI,CAAC,OAAO;YAClC,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;YAC5B,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK;YAEhB,SAAS;QACX,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACvC,IACE,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,MAAM;YAC3B,KAAK,CAAC,GAAG;YACT,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACtB,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,IAAI;YAChC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC;YAE1B,SAAS;QACX,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACvB,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACpC,IACE,CAAC,KAAK;YACN,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;YACnB,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACvB,MAAM,CAAC,GAAG;YACV,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC;YAE5D,SAAS;QACX,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,QAAQ;YAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;;YAC/B,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;8BAM8B;AAC9B,MAAM,UAAU,0BAA0B,CAAC,QAA6B;IACtE,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC;AACnF,CAAC;AAED;+EAC+E;AAC/E,MAAM,UAAU,qBAAqB,CAAC,EAAc,EAAE,QAA6B;IACjF,IAAI,CAAC,QAAQ,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IAChC,OAAO,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,GAAG,QAAQ,CAAC,EAAE,CAAC;AACxD,CAAC;AAED;;;;4EAI4E;AAC5E,MAAM,UAAU,qBAAqB,CAAC,IAAuB;IAC3D,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,kDAAkD;IAClD,MAAM,IAAI,GAAG,CAAC,CAAS,EAAE,MAAe,EAAE,WAAoB,EAAQ,EAAE;QACtE,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,MAAM,IAAI,WAAW;YAC3E,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACrB,MAAM,QAAQ,GACZ,CAAC,CAAC,IAAI,KAAK,SAAS;YACpB,CAAC,CAAC,IAAI,KAAK,SAAS;YACpB,CAAC,CAAC,IAAI,KAAK,SAAS;YACpB,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC;QACzB,IAAI,KAAK,GAAG,IAAI,CAAC;QACjB,cAAc,CACZ,CAAC,EACD,CAAC,KAAK,EAAE,EAAE;YACR,8DAA8D;YAC9D,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,WAAW,IAAI,CAAC,QAAQ,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;YACzD,KAAK,GAAG,KAAK,CAAC;YACd,OAAO,IAAI,CAAC;QACd,CAAC,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,IAAI,CAAC,CAC5C,CAAC;IACJ,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,KAAwB,EAAE,MAAe,EAAE,WAAoB,EAAQ,EAAE;QACrF,KAAK,MAAM,CAAC,IAAI,KAAK;YAAE,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;IACtD,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,CAAS,EAAE,MAAe,EAAE,WAAoB,EAAQ,EAAE;QACtE,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,QAAQ;gBACX,IAAI,MAAM,IAAI,WAAW;oBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBAC9C,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;gBACnC,OAAO;YACT,KAAK,IAAI;gBACP,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;gBAClC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;gBAC3B,IAAI,CAAC,CAAC,KAAK;oBAAE,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;gBACzC,OAAO;YACT,KAAK,QAAQ;gBACX,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;gBAClC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;oBACxB,IAAI,CAAC,CAAC,IAAI;wBAAE,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;oBACvC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;gBAC7B,CAAC;gBACD,OAAO;YACT,KAAK,OAAO,CAAC;YACb,KAAK,SAAS;gBACZ,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;gBAC1B,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;gBAC1B,OAAO;YACT,KAAK,KAAK;gBACR,IAAI,CAAC,CAAC,IAAI;oBAAE,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;gBAC9C,IAAI,CAAC,CAAC,IAAI;oBAAE,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;gBACtC,IAAI,CAAC,CAAC,MAAM;oBAAE,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;gBAC1C,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;gBAC1B,OAAO;YACT,KAAK,OAAO;gBACV,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;gBACtC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;gBAC1B,OAAO;YACT;gBACE,cAAc,CACZ,CAAC,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,IAAI,CAAC,EAC3C,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,IAAI,CAAC,CACpD,CAAC;QACN,CAAC;IACH,CAAC,CAAC;IACF,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACzB,OAAO,GAAG,CAAC;AACb,CAAC;AAED;8EAC8E;AAC9E,MAAM,UAAU,uBAAuB,CAAC,EAAc,EAAE,QAA6B;IACnF,IAAI,CAAC,QAAQ,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IAChC,MAAM,IAAI,GAAe;QACvB,IAAI,EAAE,EAAE,CAAC,IAAI;QACb,GAAG,EAAE,EAAE,CAAC,GAAG;QACX,UAAU,EAAE,EAAE,CAAC,UAAU;QACzB,IAAI,EAAE,EAAE,CAAC,IAAI;QACb,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,GAAG,QAAQ,CAAC;QACnC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;KAChG,CAAC;IACF,IAAI,EAAE,CAAC,QAAQ;QAAE,IAAI,CAAC,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC;IAC7C,IAAI,EAAE,CAAC,aAAa;QAAE,IAAI,CAAC,aAAa,GAAG,EAAE,CAAC,aAAa,CAAC;IAC5D,IAAI,EAAE,CAAC,KAAK;QAAE,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;IAChC,IAAI,EAAE,CAAC,SAAS;QAAE,IAAI,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,CAAC;IAChD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/ir/initializer-bindings.test.js

@@ -1,6 +1,6 @@
 import { expect, test } from "vitest";
-import { findInitializerBindings, withInitializerBindings } from "./initializer-bindings.js";
-import { BOOL, F64, VOID } from "./ir.js";
+import { conditionalLoopWrites, findInitializerBindings, initializerLocalCandidates, withInitializerBindings, withInitializerLocals, } from "./initializer-bindings.js";
+import { BOOL, F64, VOID, } from "./ir.js";
 import { analyzeIntegerRanges } from "./integer-ranges.js";
 const loc = { file: "test.ts", start: 0, end: 1 };
 const assign = (id, value) => ({
@@ -115,4 +115,59 @@ test("guards must return immediately and have exactly one write", () => {
         expect(findInitializerBindings(mod).size, change).toBe(0);
     }
 });
+test("number bindings without an import-cycle flag may move into a local", () => {
+    const mod = fixture(), fn = mod.functions[0];
+    const bindings = findInitializerBindings(mod).get(fn.name);
+    const flagged = { id: "cyc", name: "cyc", type: F64, mutable: true, initFlag: "flag" };
+    const bytes = {
+        id: "b",
+        name: "b",
+        type: { kind: "bytes", elem: "u8" },
+        mutable: true,
+    };
+    const candidates = initializerLocalCandidates([...bindings, flagged, bytes]);
+    expect(candidates.map((g) => g.id)).toEqual(["value"]);
+    // The view lists them as plain locals; parameters and body are unchanged.
+    const view = withInitializerLocals(fn, candidates);
+    expect(view.locals.map((l) => l.id)).toEqual(["value"]);
+    expect(view.params).toBe(fn.params);
+    expect(view.body).toBe(fn.body);
+    expect(withInitializerLocals(fn, [])).toBe(fn);
+});
+test("conditional loop writes are those an iteration may skip", () => {
+    const t = { kind: "boolLit", value: true, type: BOOL, loc };
+    const inc = (id) => ({
+        kind: "exprStmt",
+        expr: { kind: "incDec", localId: id, op: "+", prefix: true, type: F64, loc },
+        loc,
+    });
+    const body = [
+        // Outside any loop, a conditional write is irrelevant.
+        { kind: "if", cond: t, then: [assign("outside", 1)], else_: null, loc },
+        {
+            kind: "while",
+            cond: t,
+            body: [
+                assign("always", 1),
+                { kind: "if", cond: t, then: [inc("sometimes")], else_: null, loc },
+                // An inner loop's own body writes unconditionally for that loop.
+                { kind: "while", cond: t, body: [assign("inner", 2)], loc },
+                {
+                    kind: "exprStmt",
+                    expr: {
+                        kind: "logical",
+                        op: "&&",
+                        left: t,
+                        right: { kind: "assignExpr", localId: "shortCircuit", value: t, type: BOOL, loc },
+                        type: BOOL,
+                        loc,
+                    },
+                    loc,
+                },
+            ],
+            loc,
+        },
+    ];
+    expect([...conditionalLoopWrites(body)].sort()).toEqual(["shortCircuit", "sometimes"]);
+});
 //# sourceMappingURL=initializer-bindings.test.js.map

package/dist/ir/initializer-bindings.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"initializer-bindings.test.js","sourceRoot":"","sources":["../../src/ir/initializer-bindings.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,uBAAuB,EAAE,uBAAuB,EAAE,MAAM,2BAA2B,CAAC;AAC7F,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAA+C,MAAM,SAAS,CAAC;AACvF,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAE3D,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAClD,MAAM,MAAM,GAAG,CAAC,EAAU,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC;IACrD,IAAI,EAAE,QAAQ;IACd,OAAO,EAAE,EAAE;IACX,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;IAChD,GAAG;CACJ,CAAC,CAAC;AACH,SAAS,OAAO;IACd,MAAM,EAAE,GAAe;QACrB,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,EAAE;QACV,MAAM,EAAE,EAAE;QACV,UAAU,EAAE,IAAI;QAChB,GAAG;QACH,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBAC3D,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;gBAC5C,KAAK,EAAE,IAAI;gBACX,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE,OAAO;gBAChB,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACxD,GAAG;aACJ;YACD,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;YACnB,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;SACtF;KACF,CAAC;IACF,OAAO;QACL,SAAS,EAAE,EAAE;QACb,UAAU,EAAE,GAAG,CAAC,IAAI;QACpB,KAAK,EAAE,EAAE,CAAC,IAAI;QACd,SAAS,EAAE,CAAC,EAAE,CAAC;QACf,OAAO,EAAE;YACP,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE;YACzD,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE;SACzD;KACF,CAAC;AACJ,CAAC;AAED,IAAI,CAAC,oFAAoF,EAAE,GAAG,EAAE;IAC9F,MAAM,GAAG,GAAG,OAAO,EAAE,EACnB,EAAE,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;IACzB,MAAM,QAAQ,GAAG,uBAAuB,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAE,CAAC;IAC5D,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACrD,MAAM,OAAO,GAAG,uBAAuB,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;IACtD,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;IACzB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC;IACzD,MAAM,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3D,MAAM,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;IACnF,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC9B,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC9B,MAAM,CAAC,GAAG,CAAC,OAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,MAAM,CAAC,uBAAuB,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACnD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oEAAoE,EAAE,GAAG,EAAE;IAC9E,KAAK,MAAM,SAAS,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAU,EAAE,CAAC;QAC9D,MAAM,GAAG,GAAG,OAAO,EAAE,EACnB,EAAE,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;QACzB,MAAM,KAAK,GAAe;YACxB,GAAG,EAAE;YACL,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,SAAS,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;SACrE,CAAC;QACF,IAAI,SAAS,KAAK,SAAS;YACzB,KAAK,CAAC,IAAI,GAAG;gBACX;oBACE,IAAI,EAAE,UAAU;oBAChB,GAAG;oBACH,IAAI,EAAE;wBACJ,IAAI,EAAE,SAAS;wBACf,MAAM,EAAE,EAAE,CAAC,IAAI;wBACf,QAAQ,EAAE,CAAC,OAAO,CAAC;wBACnB,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE;wBAC7C,GAAG;qBACJ;iBACF;aACF,CAAC;QACJ,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1B,MAAM,CAAC,uBAAuB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/D,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2DAA2D,EAAE,GAAG,EAAE;IACrE,KAAK,MAAM,MAAM,IAAI;QACnB,WAAW;QACX,MAAM;QACN,OAAO;QACP,eAAe;QACf,OAAO;QACP,WAAW;QACX,KAAK;KACG,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,OAAO,EAAE,EACnB,EAAE,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;QACzB,IAAI,MAAM,KAAK,WAAW;YAAE,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;QAC5C,IAAI,MAAM,KAAK,MAAM;YAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3D,IAAI,MAAM,KAAK,OAAO;YAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;QAClD,IAAI,MAAM,KAAK,eAAe;YAC5B,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,CAAC;QACpE,IAAI,MAAM,KAAK,OAAO;YAAE,EAAE,CAAC,KAAK,GAAG,IAAI,CAAC;QACxC,IAAI,MAAM,KAAK,WAAW;YACxB,EAAE,CAAC,SAAS,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC;QAC7F,IAAI,MAAM,KAAK,KAAK;YAAE,GAAG,CAAC,OAAQ,CAAC,CAAC,CAAE,CAAC,GAAG,GAAG,IAAI,CAAC;QAClD,MAAM,CAAC,uBAAuB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5D,CAAC;AACH,CAAC,CAAC,CAAC"}
+{"version":3,"file":"initializer-bindings.test.js","sourceRoot":"","sources":["../../src/ir/initializer-bindings.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EACL,qBAAqB,EACrB,uBAAuB,EACvB,0BAA0B,EAC1B,uBAAuB,EACvB,qBAAqB,GACtB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,IAAI,EACJ,GAAG,EACH,IAAI,GAKL,MAAM,SAAS,CAAC;AACjB,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAE3D,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAClD,MAAM,MAAM,GAAG,CAAC,EAAU,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC;IACrD,IAAI,EAAE,QAAQ;IACd,OAAO,EAAE,EAAE;IACX,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;IAChD,GAAG;CACJ,CAAC,CAAC;AACH,SAAS,OAAO;IACd,MAAM,EAAE,GAAe;QACrB,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,EAAE;QACV,MAAM,EAAE,EAAE;QACV,UAAU,EAAE,IAAI;QAChB,GAAG;QACH,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBAC3D,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;gBAC5C,KAAK,EAAE,IAAI;gBACX,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE,OAAO;gBAChB,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACxD,GAAG;aACJ;YACD,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;YACnB,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;SACtF;KACF,CAAC;IACF,OAAO;QACL,SAAS,EAAE,EAAE;QACb,UAAU,EAAE,GAAG,CAAC,IAAI;QACpB,KAAK,EAAE,EAAE,CAAC,IAAI;QACd,SAAS,EAAE,CAAC,EAAE,CAAC;QACf,OAAO,EAAE;YACP,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE;YACzD,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE;SACzD;KACF,CAAC;AACJ,CAAC;AAED,IAAI,CAAC,oFAAoF,EAAE,GAAG,EAAE;IAC9F,MAAM,GAAG,GAAG,OAAO,EAAE,EACnB,EAAE,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;IACzB,MAAM,QAAQ,GAAG,uBAAuB,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAE,CAAC;IAC5D,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACrD,MAAM,OAAO,GAAG,uBAAuB,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;IACtD,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;IACzB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC;IACzD,MAAM,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3D,MAAM,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;IACnF,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC9B,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC9B,MAAM,CAAC,GAAG,CAAC,OAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,MAAM,CAAC,uBAAuB,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACnD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oEAAoE,EAAE,GAAG,EAAE;IAC9E,KAAK,MAAM,SAAS,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAU,EAAE,CAAC;QAC9D,MAAM,GAAG,GAAG,OAAO,EAAE,EACnB,EAAE,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;QACzB,MAAM,KAAK,GAAe;YACxB,GAAG,EAAE;YACL,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,SAAS,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;SACrE,CAAC;QACF,IAAI,SAAS,KAAK,SAAS;YACzB,KAAK,CAAC,IAAI,GAAG;gBACX;oBACE,IAAI,EAAE,UAAU;oBAChB,GAAG;oBACH,IAAI,EAAE;wBACJ,IAAI,EAAE,SAAS;wBACf,MAAM,EAAE,EAAE,CAAC,IAAI;wBACf,QAAQ,EAAE,CAAC,OAAO,CAAC;wBACnB,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE;wBAC7C,GAAG;qBACJ;iBACF;aACF,CAAC;QACJ,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1B,MAAM,CAAC,uBAAuB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/D,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2DAA2D,EAAE,GAAG,EAAE;IACrE,KAAK,MAAM,MAAM,IAAI;QACnB,WAAW;QACX,MAAM;QACN,OAAO;QACP,eAAe;QACf,OAAO;QACP,WAAW;QACX,KAAK;KACG,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,OAAO,EAAE,EACnB,EAAE,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;QACzB,IAAI,MAAM,KAAK,WAAW;YAAE,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;QAC5C,IAAI,MAAM,KAAK,MAAM;YAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3D,IAAI,MAAM,KAAK,OAAO;YAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;QAClD,IAAI,MAAM,KAAK,eAAe;YAC5B,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,CAAC;QACpE,IAAI,MAAM,KAAK,OAAO;YAAE,EAAE,CAAC,KAAK,GAAG,IAAI,CAAC;QACxC,IAAI,MAAM,KAAK,WAAW;YACxB,EAAE,CAAC,SAAS,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC;QAC7F,IAAI,MAAM,KAAK,KAAK;YAAE,GAAG,CAAC,OAAQ,CAAC,CAAC,CAAE,CAAC,GAAG,GAAG,IAAI,CAAC;QAClD,MAAM,CAAC,uBAAuB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5D,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oEAAoE,EAAE,GAAG,EAAE;IAC9E,MAAM,GAAG,GAAG,OAAO,EAAE,EACnB,EAAE,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;IACzB,MAAM,QAAQ,GAAG,uBAAuB,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAE,CAAC;IAC5D,MAAM,OAAO,GAAa,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;IACjG,MAAM,KAAK,GAAa;QACtB,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,GAAG;QACT,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE;QACnC,OAAO,EAAE,IAAI;KACd,CAAC;IACF,MAAM,UAAU,GAAG,0BAA0B,CAAC,CAAC,GAAG,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;IAC7E,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACvD,0EAA0E;IAC1E,MAAM,IAAI,GAAG,qBAAqB,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;IACnD,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACxD,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;IACpC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,CAAC,qBAAqB,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACjD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,yDAAyD,EAAE,GAAG,EAAE;IACnE,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAW,CAAC;IACrE,MAAM,GAAG,GAAG,CAAC,EAAU,EAAU,EAAE,CAAC,CAAC;QACnC,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QAC5E,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,IAAI,GAAa;QACrB,uDAAuD;QACvD,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;QACvE;YACE,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,CAAC;YACP,IAAI,EAAE;gBACJ,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;gBACnB,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;gBACnE,iEAAiE;gBACjE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE;gBAC3D;oBACE,IAAI,EAAE,UAAU;oBAChB,IAAI,EAAE;wBACJ,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,IAAI;wBACR,IAAI,EAAE,CAAC;wBACP,KAAK,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;wBACjF,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD,GAAG;iBACJ;aACF;YACD,GAAG;SACJ;KACF,CAAC;IACF,MAAM,CAAC,CAAC,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,cAAc,EAAE,WAAW,CAAC,CAAC,CAAC;AACzF,CAAC,CAAC,CAAC"}

package/dist/ir/int32-slots.d.ts

@@ -38,6 +38,8 @@ export declare class Int32Slots {
     private readonly familyOf;
     private readonly paramFacts;
     private readonly returns;
+    /** Results narrowed below their level (narrowSlotRanges). */
+    private readonly returnRanges;
     /** Captured-binding groups (one shared box) that hold an int32, and the
      * group of each `function\0local` member. */
     private readonly boxes;
@@ -56,6 +58,12 @@ export declare class Int32Slots {
     /** Drops the analysis attempted on pinned slots. The contract check and
      * this analysis use the same range proofs, so this stays empty. */
     readonly pinViolations: string[];
+    /** Parameter, return and box candidates (`param:`, `ret:`, `box:` keys)
+     * still assumed to hold only non-negative int32s. The optimistic fixpoint
+     * starts every unpinned candidate here and demotes it to int32 when a
+     * write is an int32 that may be negative: `(x * 31 + n) % m` only proves
+     * a result when x and n are known not to be negative. */
+    private readonly nonNegative;
     constructor(classes?: ReadonlyMap<string, IrClassDef>);
     /** The family key of a class field: the topmost class in the base chain
      * that declares a field of that name (all subclasses share its slot). */
@@ -63,6 +71,20 @@ export declare class Int32Slots {
     isField(className: string, field: string): boolean;
     /** The facts analyzeIntegerRanges may assume inside one function. */
     facts(fnName: string): IntegerSlotFacts;
+    /** Assume an unpinned candidate holds only non-negative int32s. */
+    assumeNonNegative(key: string): void;
+    isNonNegative(key: string): boolean;
+    /** Widen a non-negative candidate to int32; whether it was one. */
+    demote(key: string): boolean;
+    isPinned(key: string): boolean;
+    /** The range a parameter fact currently asserts, if it has one. */
+    paramRange(fnName: string, localId: string): IntegerRange | null;
+    /** The range a result fact currently asserts, if it has one. */
+    returnRange(fnName: string): IntegerRange | null;
+    /** Replace a parameter fact with a narrower proven range. */
+    narrowParam(fnName: string, localId: string, range: IntegerRange): void;
+    /** Replace a result fact with a narrower proven range. */
+    narrowReturn(fnName: string, range: IntegerRange): void;
     boxGroup(fnName: string, localId: string): string | null;
     pin(key: string): void;
     isPinnedField(family: string): boolean;