@scriptc/compiler 0.1.3 → 0.1.5

package/dist/ir/analysis.js

@@ -53,9 +53,20 @@ export function dynDesc(t, recordsById, unionsById) {
         }
     }
 }
-/** Whether evaluating an index/value expression can overwrite a bytes
- * receiver binding. Deliberately conservative: uncertain shapes are false. */
-export function isStableBytesOperand(e, receiverLocalId) {
+// These scalar lowerings borrow no references and cannot invoke user code,
+// suspend, or release an owner. Keep this explicit: array folds and future
+// Math operations must not inherit the guarantee from their name alone.
+const BORROW_SAFE_MATH = new Set([
+    "math.floor", "math.ceil", "math.trunc", "math.round", "math.abs",
+    "math.min", "math.max", "math.sqrt", "math.pow",
+    "math.sin", "math.cos", "math.tan", "math.asin", "math.acos", "math.atan",
+    "math.atan2", "math.cbrt", "math.sign", "math.exp", "math.log", "math.log2", "math.log10",
+]);
+/** Whether an operand preserves a direct receiver binding until its last
+ * borrowed use. No user calls or suspension may intervene. This does not
+ * prove the operation itself safe to borrow; callers must establish that
+ * separately. Deliberately conservative: uncertain shapes are false. */
+export function isStableReceiverOperand(e, receiverLocalId) {
     switch (e.kind) {
         case "numLit":
         case "boolLit":
@@ -63,22 +74,25 @@ export function isStableBytesOperand(e, receiverLocalId) {
         case "incDec":
             return true;
         case "assignExpr":
-            return e.localId !== receiverLocalId && isStableBytesOperand(e.value, receiverLocalId);
+            return e.localId !== receiverLocalId && isStableReceiverOperand(e.value, receiverLocalId);
         case "bin":
         case "logical":
-            return isStableBytesOperand(e.left, receiverLocalId) &&
-                isStableBytesOperand(e.right, receiverLocalId);
+            return isStableReceiverOperand(e.left, receiverLocalId) &&
+                isStableReceiverOperand(e.right, receiverLocalId);
         case "unary":
         case "toBool":
-            return isStableBytesOperand(e.operand, receiverLocalId);
+            return isStableReceiverOperand(e.operand, receiverLocalId);
         case "ternary":
-            return isStableBytesOperand(e.cond, receiverLocalId) &&
-                isStableBytesOperand(e.then, receiverLocalId) &&
-                isStableBytesOperand(e.else_, receiverLocalId);
+            return isStableReceiverOperand(e.cond, receiverLocalId) &&
+                isStableReceiverOperand(e.then, receiverLocalId) &&
+                isStableReceiverOperand(e.else_, receiverLocalId);
         case "bytesIntrinsic":
             return (e.method === "get" || e.method === "length" || e.method === "byteLength") &&
                 e.receiver.kind === "varRef" &&
-                e.args.every((arg) => isStableBytesOperand(arg, receiverLocalId));
+                e.args.every((arg) => isStableReceiverOperand(arg, receiverLocalId));
+        case "libCall":
+            return BORROW_SAFE_MATH.has(e.fn) && e.type.kind === "f64" &&
+                e.args.every((arg) => arg.type.kind === "f64" && isStableReceiverOperand(arg, receiverLocalId));
         default:
             return false;
     }

package/dist/ir/analysis.js.map

@@ -1 +1 @@
-{"version":3,"file":"analysis.js","sourceRoot":"","sources":["../../src/ir/analysis.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AACrD,OAAO,EACL,gBAAgB,EAChB,sBAAsB,GAMvB,MAAM,SAAS,CAAC;AAEjB;;;;;;;;;;GAUG;AACH,MAAM,UAAU,qBAAqB,CAAC,aAAqB,EAAE,KAAa;IACxE,IACE,KAAK,CAAC,IAAI,KAAK,WAAW;QAC1B,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAC5B,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAC5B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QACjC,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,aAAa;QACpC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAClC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC,KAAK,CAAC;AACrB,CAAC;AASD,uEAAuE;AACvE,MAAM,UAAU,OAAO,CACrB,CAAS,EACT,WAA+C,EAC/C,UAA2C;IAE3C,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,KAAK,EAAE,OAAO,QAAQ,CAAC;QAC5B,KAAK,QAAQ,EAAE,OAAO,QAAQ,CAAC;QAC/B,KAAK,QAAQ,EAAE,OAAO,QAAQ,CAAC;QAC/B,KAAK,MAAM,EAAE,OAAO,SAAS,CAAC;QAC9B,KAAK,QAAQ,EAAE,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;QAC7E,KAAK,OAAO,EAAE,OAAO,OAAO,CAAC;QAC7B,KAAK,OAAO,EAAE,OAAO,MAAM,CAAC;QAC5B,KAAK,YAAY,EAAE,OAAO,WAAW,CAAC;QACtC,KAAK,KAAK,EAAE,OAAO,SAAS,CAAC;QAC7B,KAAK,OAAO,EAAE,OAAO,YAAY,CAAC;QAClC,KAAK,QAAQ,EAAE,OAAO,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACpD,KAAK,OAAO,EAAE,CAAC;YACb,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACtC,IAAI,CAAC,GAAG;gBAAE,MAAM,IAAI,qBAAqB,CAAC,6CAA6C,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YACpG,OAAO,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClF,CAAC;QACD,KAAK,MAAM,EAAE,OAAO,UAAU,CAAC;QAC/B,KAAK,KAAK,EAAE,OAAO,KAAK,CAAC;QACzB,KAAK,KAAK,EAAE,OAAO,KAAK,CAAC;QACzB,SAAS,CAAC;YACR,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC5C,IAAI,MAAM;gBAAE,OAAO,MAAM,CAAC,GAAG,CAAC;YAC9B,MAAM,IAAI,qBAAqB,CAAC,6CAA6C,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACzF,CAAC;IACH,CAAC;AACH,CAAC;AAED;8EAC8E;AAC9E,MAAM,UAAU,oBAAoB,CAAC,CAAS,EAAE,eAAuB;IACrE,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC;QACd,KAAK,YAAY;YACf,OAAO,CAAC,CAAC,OAAO,KAAK,eAAe,IAAI,oBAAoB,CAAC,CAAC,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;QACzF,KAAK,KAAK,CAAC;QACX,KAAK,SAAS;YACZ,OAAO,oBAAoB,CAAC,CAAC,CAAC,IAAI,EAAE,eAAe,CAAC;gBAClD,oBAAoB,CAAC,CAAC,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;QACnD,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ;YACX,OAAO,oBAAoB,CAAC,CAAC,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;QAC1D,KAAK,SAAS;YACZ,OAAO,oBAAoB,CAAC,CAAC,CAAC,IAAI,EAAE,eAAe,CAAC;gBAClD,oBAAoB,CAAC,CAAC,CAAC,IAAI,EAAE,eAAe,CAAC;gBAC7C,oBAAoB,CAAC,CAAC,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;QACnD,KAAK,gBAAgB;YACnB,OAAO,CAAC,CAAC,CAAC,MAAM,KAAK,KAAK,IAAI,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY,CAAC;gBAC/E,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;gBAC5B,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,oBAAoB,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC,CAAC;QACtE;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED,sDAAsD;AACtD,MAAM,UAAU,eAAe,CAC7B,CAAS,EACT,UAA2C;IAE3C,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,CAAC,CAAC,CAAC;IAClC,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;AAC7F,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,YAAY,CAAC,KAAwB;IACnD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC;IAC3C,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,UAAU;QACjE,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,cAAc,CAAC;AACtE,CAAC;AAED;4CAC4C;AAC5C,MAAM,UAAU,gBAAgB,CAC9B,SAAiB,EACjB,OAA8C,EAC9C,QAA6B;IAE7B,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACpC,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,qBAAqB,CAAC,8CAA8C,SAAS,EAAE,CAAC,CAAC;IACtG,MAAM,GAAG,GAAG,CAAC,IAAsB,EAAW,EAAE,CAC9C,QAAQ,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,cAAc,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3E,OAAO,GAAG,CAAC,IAAI,CAAC,CAAC;AACnB,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,sBAAsB,CAAC,CAAS;IAC9C,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC;AACzE,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,YAAY,CAAC,IAAsB;IACjD,KAAK,IAAI,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;QAC9D,IAAI,sBAAsB,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;IAChE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}
+{"version":3,"file":"analysis.js","sourceRoot":"","sources":["../../src/ir/analysis.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AACrD,OAAO,EACL,gBAAgB,EAChB,sBAAsB,GAOvB,MAAM,SAAS,CAAC;AAEjB;;;;;;;;;;GAUG;AACH,MAAM,UAAU,qBAAqB,CAAC,aAAqB,EAAE,KAAa;IACxE,IACE,KAAK,CAAC,IAAI,KAAK,WAAW;QAC1B,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAC5B,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAC5B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QACjC,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,aAAa;QACpC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAClC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC,KAAK,CAAC;AACrB,CAAC;AASD,uEAAuE;AACvE,MAAM,UAAU,OAAO,CACrB,CAAS,EACT,WAA+C,EAC/C,UAA2C;IAE3C,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,KAAK,EAAE,OAAO,QAAQ,CAAC;QAC5B,KAAK,QAAQ,EAAE,OAAO,QAAQ,CAAC;QAC/B,KAAK,QAAQ,EAAE,OAAO,QAAQ,CAAC;QAC/B,KAAK,MAAM,EAAE,OAAO,SAAS,CAAC;QAC9B,KAAK,QAAQ,EAAE,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;QAC7E,KAAK,OAAO,EAAE,OAAO,OAAO,CAAC;QAC7B,KAAK,OAAO,EAAE,OAAO,MAAM,CAAC;QAC5B,KAAK,YAAY,EAAE,OAAO,WAAW,CAAC;QACtC,KAAK,KAAK,EAAE,OAAO,SAAS,CAAC;QAC7B,KAAK,OAAO,EAAE,OAAO,YAAY,CAAC;QAClC,KAAK,QAAQ,EAAE,OAAO,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACpD,KAAK,OAAO,EAAE,CAAC;YACb,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACtC,IAAI,CAAC,GAAG;gBAAE,MAAM,IAAI,qBAAqB,CAAC,6CAA6C,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YACpG,OAAO,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClF,CAAC;QACD,KAAK,MAAM,EAAE,OAAO,UAAU,CAAC;QAC/B,KAAK,KAAK,EAAE,OAAO,KAAK,CAAC;QACzB,KAAK,KAAK,EAAE,OAAO,KAAK,CAAC;QACzB,SAAS,CAAC;YACR,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC5C,IAAI,MAAM;gBAAE,OAAO,MAAM,CAAC,GAAG,CAAC;YAC9B,MAAM,IAAI,qBAAqB,CAAC,6CAA6C,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACzF,CAAC;IACH,CAAC;AACH,CAAC;AAED,2EAA2E;AAC3E,2EAA2E;AAC3E,wEAAwE;AACxE,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAU;IACxC,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,YAAY,EAAE,UAAU;IACjE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,UAAU;IAC/C,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,WAAW,EAAE,WAAW;IACzE,YAAY,EAAE,WAAW,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY;CAC1F,CAAC,CAAC;AAEH;;;wEAGwE;AACxE,MAAM,UAAU,uBAAuB,CAAC,CAAS,EAAE,eAAuB;IACxE,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC;QACd,KAAK,YAAY;YACf,OAAO,CAAC,CAAC,OAAO,KAAK,eAAe,IAAI,uBAAuB,CAAC,CAAC,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;QAC5F,KAAK,KAAK,CAAC;QACX,KAAK,SAAS;YACZ,OAAO,uBAAuB,CAAC,CAAC,CAAC,IAAI,EAAE,eAAe,CAAC;gBACrD,uBAAuB,CAAC,CAAC,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;QACtD,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ;YACX,OAAO,uBAAuB,CAAC,CAAC,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;QAC7D,KAAK,SAAS;YACZ,OAAO,uBAAuB,CAAC,CAAC,CAAC,IAAI,EAAE,eAAe,CAAC;gBACrD,uBAAuB,CAAC,CAAC,CAAC,IAAI,EAAE,eAAe,CAAC;gBAChD,uBAAuB,CAAC,CAAC,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;QACtD,KAAK,gBAAgB;YACnB,OAAO,CAAC,CAAC,CAAC,MAAM,KAAK,KAAK,IAAI,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY,CAAC;gBAC/E,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;gBAC5B,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,uBAAuB,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC,CAAC;QACzE,KAAK,SAAS;YACZ,OAAO,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;gBACxD,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,uBAAuB,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC,CAAC;QACpG;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED,sDAAsD;AACtD,MAAM,UAAU,eAAe,CAC7B,CAAS,EACT,UAA2C;IAE3C,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,CAAC,CAAC,CAAC;IAClC,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;AAC7F,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,YAAY,CAAC,KAAwB;IACnD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC;IAC3C,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,UAAU;QACjE,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,cAAc,CAAC;AACtE,CAAC;AAED;4CAC4C;AAC5C,MAAM,UAAU,gBAAgB,CAC9B,SAAiB,EACjB,OAA8C,EAC9C,QAA6B;IAE7B,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACpC,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,qBAAqB,CAAC,8CAA8C,SAAS,EAAE,CAAC,CAAC;IACtG,MAAM,GAAG,GAAG,CAAC,IAAsB,EAAW,EAAE,CAC9C,QAAQ,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,cAAc,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3E,OAAO,GAAG,CAAC,IAAI,CAAC,CAAC;AACnB,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,sBAAsB,CAAC,CAAS;IAC9C,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC;AACzE,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,YAAY,CAAC,IAAsB;IACjD,KAAK,IAAI,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;QAC9D,IAAI,sBAAsB,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;IAChE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/ir/analysis.test.js

@@ -1,6 +1,6 @@
 import { expect, test } from "vitest";
-import { matchStringSelfConcat } from "./analysis.js";
-import { F64, STRING } from "./ir.js";
+import { isStableReceiverOperand, matchStringSelfConcat } from "./analysis.js";
+import { BOOL, F64, STRING, arrayOf, bytesOf } from "./ir.js";
 const loc = { file: "analysis.ts", start: 0, end: 0 };
 const str = (value) => ({ kind: "strLit", value, type: STRING, loc });
 const ref = (localId, type = STRING) => ({ kind: "varRef", localId, type, loc });
@@ -18,4 +18,52 @@ test("matchStringSelfConcat rejects non-canonical and non-string shapes", () =>
     expect(matchStringSelfConcat("acc", concat(ref("acc", F64), str("x")))).toBeNull();
     expect(matchStringSelfConcat("acc", concat(ref("acc"), str("x"), F64))).toBeNull();
 });
+test("receiver borrowing accepts scalar index updates and stable byte reads", () => {
+    const index = { kind: "assignExpr", localId: "index", value: ref("next", F64), type: F64, loc };
+    const read = { kind: "bytesIntrinsic", method: "get", receiver: ref("bytes", bytesOf("u8")), args: [index], type: F64, loc };
+    expect(isStableReceiverOperand(index, "values")).toBe(true);
+    expect(isStableReceiverOperand(read, "values")).toBe(true);
+});
+test("receiver borrowing rejects replacement hidden inside numeric or byte indices", () => {
+    const type = arrayOf(F64);
+    const replace = { kind: "assignExpr", localId: "values", value: ref("replacement", type), type, loc };
+    const index = {
+        kind: "ternary", cond: { kind: "toBool", operand: replace, type: BOOL, loc },
+        then: { kind: "numLit", value: 0, type: F64, loc }, else_: ref("index", F64), type: F64, loc,
+    };
+    const read = { kind: "bytesIntrinsic", method: "get", receiver: ref("bytes", bytesOf("u8")), args: [index], type: F64, loc };
+    expect(isStableReceiverOperand(index, "values")).toBe(false);
+    expect(isStableReceiverOperand(read, "values")).toBe(false);
+});
+test("receiver borrowing rejects calls even when nested in arithmetic", () => {
+    const call = { kind: "call", callee: "index", args: [], type: F64, loc };
+    const index = { kind: "bin", op: "+", left: ref("offset", F64), right: call, type: F64, loc };
+    expect(isStableReceiverOperand(index, "values")).toBe(false);
+});
+const math = (fn, ...args) => ({ kind: "libCall", fn, args, type: F64, loc });
+test("receiver borrowing accepts nested scalar Math operations and scalar index effects", () => {
+    const increment = { kind: "incDec", localId: "index", op: "+", prefix: false, type: F64, loc };
+    const index = math("math.floor", increment);
+    const read = { kind: "bytesIntrinsic", method: "get", receiver: ref("bytes", bytesOf("u8")), args: [index], type: F64, loc };
+    const value = math("math.min", math("math.abs", read), math("math.sqrt", ref("limit", F64)));
+    expect(isStableReceiverOperand(value, "bytes")).toBe(true);
+});
+test("a Math wrapper cannot hide a call or receiver replacement in either argument", () => {
+    const bytes = bytesOf("u8");
+    const replace = { kind: "assignExpr", localId: "bytes", value: ref("other", bytes), type: bytes, loc };
+    const condition = { kind: "toBool", operand: replace, type: BOOL, loc };
+    const hidden = { kind: "ternary", cond: condition, then: ref("x", F64), else_: ref("y", F64), type: F64, loc };
+    const call = { kind: "call", callee: "replace", args: [], type: F64, loc };
+    for (const effect of [hidden, call]) {
+        expect(isStableReceiverOperand(math("math.floor", effect), "bytes")).toBe(false);
+        expect(isStableReceiverOperand(math("math.pow", ref("x", F64), math("math.abs", effect)), "bytes")).toBe(false);
+        expect(isStableReceiverOperand(math("math.min", effect, ref("x", F64)), "bytes")).toBe(false);
+    }
+});
+test("only audited scalar Math lowerings qualify, not reference arguments or other library calls", () => {
+    expect(isStableReceiverOperand(math("math.minArr", ref("array", arrayOf(F64))), "bytes")).toBe(false);
+    expect(isStableReceiverOperand(math("math.random"), "bytes")).toBe(false);
+    expect(isStableReceiverOperand(math("num.fromString", str("3")), "bytes")).toBe(false);
+    expect(isStableReceiverOperand(math("math.floor", str("3")), "bytes")).toBe(false);
+});
 //# sourceMappingURL=analysis.test.js.map

package/dist/ir/analysis.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"analysis.test.js","sourceRoot":"","sources":["../../src/ir/analysis.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,EAAE,GAAG,EAAE,MAAM,EAAe,MAAM,SAAS,CAAC;AAEnD,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACtD,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;AACtF,MAAM,GAAG,GAAG,CAAC,OAAe,EAAE,IAAI,GAAG,MAAM,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AACjG,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,KAAa,EAAE,IAAI,GAAG,MAAM,EAAU,EAAE,CAAC,CAAC;IACtE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG;CAC1C,CAAC,CAAC;AAEH,IAAI,CAAC,wEAAwE,EAAE,GAAG,EAAE;IAClF,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;IACxB,MAAM,CAAC,qBAAqB,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAChF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mEAAmE,EAAE,GAAG,EAAE;IAC7E,MAAM,CAAC,qBAAqB,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAChF,MAAM,CAAC,qBAAqB,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAChG,MAAM,CAAC,qBAAqB,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC1D,MAAM,CAAC,qBAAqB,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACnF,MAAM,CAAC,qBAAqB,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACrF,CAAC,CAAC,CAAC"}
+{"version":3,"file":"analysis.test.js","sourceRoot":"","sources":["../../src/ir/analysis.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,uBAAuB,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAA6B,MAAM,SAAS,CAAC;AAEzF,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACtD,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;AACtF,MAAM,GAAG,GAAG,CAAC,OAAe,EAAE,IAAI,GAAG,MAAM,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AACjG,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,KAAa,EAAE,IAAI,GAAG,MAAM,EAAU,EAAE,CAAC,CAAC;IACtE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG;CAC1C,CAAC,CAAC;AAEH,IAAI,CAAC,wEAAwE,EAAE,GAAG,EAAE;IAClF,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;IACxB,MAAM,CAAC,qBAAqB,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAChF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mEAAmE,EAAE,GAAG,EAAE;IAC7E,MAAM,CAAC,qBAAqB,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAChF,MAAM,CAAC,qBAAqB,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAChG,MAAM,CAAC,qBAAqB,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC1D,MAAM,CAAC,qBAAqB,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACnF,MAAM,CAAC,qBAAqB,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACrF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,uEAAuE,EAAE,GAAG,EAAE;IACjF,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACxG,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACrI,MAAM,CAAC,uBAAuB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,MAAM,CAAC,uBAAuB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC7D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,8EAA8E,EAAE,GAAG,EAAE;IACxF,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;IAC1B,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,aAAa,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAC9G,MAAM,KAAK,GAAW;QACpB,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QAC5E,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG;KAC7F,CAAC;IACF,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACrI,MAAM,CAAC,uBAAuB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7D,MAAM,CAAC,uBAAuB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC9D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iEAAiE,EAAE,GAAG,EAAE;IAC3E,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACjF,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACtG,MAAM,CAAC,uBAAuB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC/D,CAAC,CAAC,CAAC;AAEH,MAAM,IAAI,GAAG,CAAC,EAAW,EAAE,GAAG,IAAc,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AAEzG,IAAI,CAAC,mFAAmF,EAAE,GAAG,EAAE;IAC7F,MAAM,SAAS,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACvG,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACrI,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IAC7F,MAAM,CAAC,uBAAuB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC7D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,8EAA8E,EAAE,GAAG,EAAE;IACxF,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5B,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IAC/G,MAAM,SAAS,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAChF,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACvH,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACnF,KAAK,MAAM,MAAM,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;QACpC,MAAM,CAAC,uBAAuB,CAAC,IAAI,CAAC,YAAY,EAAE,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjF,MAAM,CAAC,uBAAuB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChH,MAAM,CAAC,uBAAuB,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChG,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,4FAA4F,EAAE,GAAG,EAAE;IACtG,MAAM,CAAC,uBAAuB,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtG,MAAM,CAAC,uBAAuB,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1E,MAAM,CAAC,uBAAuB,CAAC,IAAI,CAAC,gBAAgB,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvF,MAAM,CAAC,uBAAuB,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACrF,CAAC,CAAC,CAAC"}

package/dist/ir/constant-tables.d.ts

@@ -0,0 +1,17 @@
+import type { IrModule } from "./ir.js";
+export interface ConstantNumericTable {
+    symbol: string;
+    values: readonly number[];
+}
+/** Find module globals whose only observable uses are primitive indexed
+ * reads and length queries. `const` only protects the binding: every other
+ * use (including aliases, exports to dynamic code, mutation, and passing or
+ * returning the array) disqualifies the table. All functions are inspected,
+ * including callbacks, and nested index expressions are checked too.
+ *
+ * This is read specialization only. Backends retain the original allocation,
+ * initialization, receiver evaluation and cleanup. They must guard against
+ * an uninitialized receiver and preserve the generic accessor for invalid
+ * indices; the constant data must never make a not-yet-initialized array
+ * observable early. No IR or runtime representation changes are needed. */
+export declare function findConstantNumericTables(mod: IrModule): ReadonlyMap<string, ConstantNumericTable>;

package/dist/ir/constant-tables.js

@@ -0,0 +1,99 @@
+const MAX_TABLE_ELEMENTS = 256;
+function literalNumber(expr) {
+    if (expr.kind === "numLit")
+        return expr.value;
+    if (expr.kind === "unary" && expr.op === "-") {
+        const value = literalNumber(expr.operand);
+        if (value !== null)
+            return -value;
+    }
+    return null;
+}
+/** Find module globals whose only observable uses are primitive indexed
+ * reads and length queries. `const` only protects the binding: every other
+ * use (including aliases, exports to dynamic code, mutation, and passing or
+ * returning the array) disqualifies the table. All functions are inspected,
+ * including callbacks, and nested index expressions are checked too.
+ *
+ * This is read specialization only. Backends retain the original allocation,
+ * initialization, receiver evaluation and cleanup. They must guard against
+ * an uninitialized receiver and preserve the generic accessor for invalid
+ * indices; the constant data must never make a not-yet-initialized array
+ * observable early. No IR or runtime representation changes are needed. */
+export function findConstantNumericTables(mod) {
+    const candidates = new Map();
+    for (const global of mod.globals ?? []) {
+        if (!global.mutable && global.type.kind === "array" && global.type.elem.kind === "f64") {
+            candidates.set(global.id, { values: null, writes: 0, reads: 0, rejected: false });
+        }
+    }
+    if (candidates.size === 0)
+        return new Map();
+    function candidateFor(expr) {
+        return expr.kind === "varRef" && expr.type.kind === "array" && expr.type.elem.kind === "f64"
+            ? candidates.get(expr.localId) : undefined;
+    }
+    function visit(value) {
+        if (Array.isArray(value)) {
+            value.forEach(visit);
+            return;
+        }
+        if (value === null || typeof value !== "object")
+            return;
+        const node = value;
+        if (node["kind"] === "closure") {
+            for (const id of node.captures) {
+                const candidate = candidates.get(id);
+                if (candidate)
+                    candidate.rejected = true;
+            }
+        }
+        if (node["kind"] === "arrIntrinsic") {
+            const read = node;
+            const candidate = candidateFor(read.receiver);
+            if (candidate && ((read.method === "getNumber" && read.args.length === 1) ||
+                (read.method === "length" && read.args.length === 0))) {
+                if (read.method === "getNumber")
+                    candidate.reads++;
+                visit(read.args);
+                return;
+            }
+        }
+        if (node["kind"] === "arrayGet" || node["kind"] === "arrayHas" || node["kind"] === "arrayState") {
+            const read = node;
+            if (candidateFor(read.arr)) {
+                visit(read.index);
+                return;
+            }
+        }
+        const candidate = typeof node["localId"] === "string" ? candidates.get(node["localId"]) : undefined;
+        if (candidate) {
+            if (node["kind"] === "assign" && ++candidate.writes === 1) {
+                const init = node["value"];
+                if (init.kind === "arrayLit" && !init.spreads?.length && init.elems.length > 0 && init.elems.length <= MAX_TABLE_ELEMENTS) {
+                    const values = init.elems.map(literalNumber);
+                    if (values.every((n) => n !== null))
+                        candidate.values = values;
+                }
+                if (candidate.values === null)
+                    candidate.rejected = true;
+            }
+            else {
+                candidate.rejected = true;
+            }
+        }
+        for (const [key, child] of Object.entries(node)) {
+            if (key !== "type" && key !== "loc")
+                visit(child);
+        }
+    }
+    visit(mod.functions);
+    const tables = new Map();
+    for (const [id, candidate] of candidates) {
+        if (!candidate.rejected && candidate.writes === 1 && candidate.reads > 0 && candidate.values !== null) {
+            tables.set(id, { symbol: `sc_const_numbers_${tables.size}`, values: candidate.values });
+        }
+    }
+    return tables;
+}
+//# sourceMappingURL=constant-tables.js.map

package/dist/ir/constant-tables.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constant-tables.js","sourceRoot":"","sources":["../../src/ir/constant-tables.ts"],"names":[],"mappings":"AAOA,MAAM,kBAAkB,GAAG,GAAG,CAAC;AAE/B,SAAS,aAAa,CAAC,IAAY;IACjC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC;IAC9C,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1C,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,CAAC,KAAK,CAAC;IACpC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;2EAU2E;AAC3E,MAAM,UAAU,yBAAyB,CAAC,GAAa;IACrD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAyF,CAAC;IACpH,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;QACvC,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACvF,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;QACpF,CAAC;IACH,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,IAAI,GAAG,EAAE,CAAC;IAE5C,SAAS,YAAY,CAAC,IAAY;QAChC,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;YAC1F,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/C,CAAC;IAED,SAAS,KAAK,CAAC,KAAc;QAC3B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAAC,OAAO;QAAC,CAAC;QAC3D,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO;QACxD,MAAM,IAAI,GAAG,KAAgC,CAAC;QAC9C,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,SAAS,EAAE,CAAC;YAC/B,KAAK,MAAM,EAAE,IAAK,IAAqC,CAAC,QAAQ,EAAE,CAAC;gBACjE,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACrC,IAAI,SAAS;oBAAE,SAAS,CAAC,QAAQ,GAAG,IAAI,CAAC;YAC3C,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,cAAc,EAAE,CAAC;YACpC,MAAM,IAAI,GAAG,IAAyC,CAAC;YACvD,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC9C,IAAI,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC;gBACrE,CAAC,IAAI,CAAC,MAAM,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1D,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW;oBAAE,SAAS,CAAC,KAAK,EAAE,CAAC;gBACnD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACjB,OAAO;YACT,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,UAAU,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,UAAU,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,YAAY,EAAE,CAAC;YAChG,MAAM,IAAI,GAAG,IAAiE,CAAC;YAC/E,IAAI,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAAC,OAAO;YAAC,CAAC;QAC5D,CAAC;QACD,MAAM,SAAS,GAAG,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACpG,IAAI,SAAS,EAAE,CAAC;YACd,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,QAAQ,IAAI,EAAE,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC1D,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAW,CAAC;gBACrC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,kBAAkB,EAAE,CAAC;oBAC1H,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;oBAC7C,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC;wBAAE,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC;gBAC9E,CAAC;gBACD,IAAI,SAAS,CAAC,MAAM,KAAK,IAAI;oBAAE,SAAS,CAAC,QAAQ,GAAG,IAAI,CAAC;YAC3D,CAAC;iBAAM,CAAC;gBACN,SAAS,CAAC,QAAQ,GAAG,IAAI,CAAC;YAC5B,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YAChD,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,KAAK;gBAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;IACD,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACrB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAgC,CAAC;IACvD,KAAK,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,UAAU,EAAE,CAAC;QACzC,IAAI,CAAC,SAAS,CAAC,QAAQ,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS,CAAC,KAAK,GAAG,CAAC,IAAI,SAAS,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;YACtG,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,oBAAoB,MAAM,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;QAC1F,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/ir/constant-tables.test.d.ts

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

package/dist/ir/constant-tables.test.js

@@ -0,0 +1,78 @@
+import { expect, test } from "vitest";
+import { findConstantNumericTables } from "./constant-tables.js";
+import { arrayOf, F64, funcOf, VOID } from "./ir.js";
+import { validateModule } from "./validate.js";
+const loc = { file: "constant-tables.ts", start: 0, end: 0 };
+const type = arrayOf(F64);
+const id = "%g.table";
+const num = (value) => ({ kind: "numLit", value, type: F64, loc });
+const ref = () => ({ kind: "varRef", localId: id, type, loc });
+const read = (index = num(0)) => ({ kind: "arrIntrinsic", method: "getNumber", receiver: ref(), args: [index], type: F64, loc });
+const expr = (value) => ({ kind: "exprStmt", expr: value, loc });
+function fixture() {
+    return {
+        irVersion: 11, sourceFile: loc.file, entry: "main",
+        globals: [{ id, name: "table", type, mutable: false }],
+        functions: [{ name: "main", params: [], returnType: VOID, locals: [], body: [
+                    { kind: "assign", localId: id, value: { kind: "arrayLit", elems: [num(2), num(-0), num(Infinity)], type, loc }, loc },
+                    expr(read()),
+                ], loc }],
+    };
+}
+test("finds literal tables without mutating or deleting their original initialization", () => {
+    const mod = fixture();
+    expect(validateModule(mod)).toEqual([]);
+    const before = structuredClone(mod);
+    expect(findConstantNumericTables(mod).get(id)?.values).toEqual([2, -0, Infinity]);
+    expect(mod).toEqual(before);
+});
+test.each(["alias", "element", "length", "argument", "return", "reassign", "index mutation", "capture", "callback"])("refuses %s uses anywhere in the module", (use) => {
+    const mod = fixture();
+    const body = mod.functions[0].body;
+    const mutation = { kind: "arraySet", arr: ref(), index: num(0), value: num(9), loc };
+    if (use === "alias") {
+        mod.functions[0].locals.push({ id: "alias", name: "alias", type, mutable: false });
+        body.push({ kind: "varDecl", localId: "alias", init: ref(), loc });
+    }
+    else if (use === "element")
+        body.push(mutation);
+    else if (use === "length")
+        body.push({ kind: "arraySetLength", arr: ref(), length: num(0), loc });
+    else if (use === "argument")
+        body.push(expr({ kind: "call", callee: "external", args: [ref()], type: VOID, loc }));
+    else if (use === "return")
+        body.push({ kind: "return", value: ref(), loc });
+    else if (use === "reassign")
+        body.push(body[0]);
+    else if (use === "index mutation")
+        body.push(expr(read({ kind: "arrIntrinsic", method: "pop", receiver: ref(), args: [], type: F64, loc })));
+    else if (use === "capture")
+        body.push(expr({ kind: "closure", fnName: "callback", captures: [id], type: funcOf([], VOID), loc }));
+    else
+        mod.functions.push({ name: "laterCallback", params: [], returnType: VOID, locals: [], body: [mutation], loc });
+    expect(findConstantNumericTables(mod).size).toBe(0);
+});
+test("permits primitive reads and length queries, including nested numeric indices", () => {
+    const mod = fixture();
+    mod.functions[0].body.push(expr(read(read(num(0)))), expr({ kind: "arrIntrinsic", method: "length", receiver: ref(), args: [], type: F64, loc }), expr({ kind: "arrayGet", arr: ref(), index: num(1), type: F64, loc }));
+    expect(validateModule(mod)).toEqual([]);
+    expect(findConstantNumericTables(mod).size).toBe(1);
+});
+test.each(["mutable", "spread", "effectful", "empty", "large", "missing initializer"])("leaves %s tables on the generic path", (reason) => {
+    const mod = fixture();
+    const init = mod.functions[0].body[0].value;
+    if (reason === "mutable")
+        mod.globals[0].mutable = true;
+    else if (reason === "spread")
+        init.spreads = [0];
+    else if (reason === "effectful")
+        init.elems[0] = { kind: "call", callee: "effect", args: [], type: F64, loc };
+    else if (reason === "empty")
+        init.elems = [];
+    else if (reason === "large")
+        init.elems = Array.from({ length: 257 }, () => num(1));
+    else
+        mod.functions[0].body.shift();
+    expect(findConstantNumericTables(mod).size).toBe(0);
+});
+//# sourceMappingURL=constant-tables.test.js.map

package/dist/ir/constant-tables.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constant-tables.test.js","sourceRoot":"","sources":["../../src/ir/constant-tables.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,yBAAyB,EAAE,MAAM,sBAAsB,CAAC;AACjE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAA2C,MAAM,SAAS,CAAC;AAC9F,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAE/C,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAC7D,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;AAC1B,MAAM,EAAE,GAAG,UAAU,CAAC;AACtB,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACnF,MAAM,GAAG,GAAG,GAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AACvE,MAAM,IAAI,GAAG,CAAC,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACzI,MAAM,IAAI,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;AAEjF,SAAS,OAAO;IACd,OAAO;QACL,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM;QAClD,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QACtD,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE;oBAC1E,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;oBACrH,IAAI,CAAC,IAAI,EAAE,CAAC;iBACb,EAAE,GAAG,EAAE,CAAC;KACV,CAAC;AACJ,CAAC;AAED,IAAI,CAAC,iFAAiF,EAAE,GAAG,EAAE;IAC3F,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;IAClF,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;AAC9B,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,gBAAgB,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC,wCAAwC,EAAE,CAAC,GAAG,EAAE,EAAE;IACrK,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,MAAM,IAAI,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC;IACpC,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC;IAC7F,IAAI,GAAG,KAAK,OAAO,EAAE,CAAC;QACpB,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QACpF,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;IACrE,CAAC;SAAM,IAAI,GAAG,KAAK,SAAS;QAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;SAC7C,IAAI,GAAG,KAAK,QAAQ;QAAE,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;SAC7F,IAAI,GAAG,KAAK,UAAU;QAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;SAC9G,IAAI,GAAG,KAAK,QAAQ;QAAE,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;SACvE,IAAI,GAAG,KAAK,UAAU;QAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;SAC5C,IAAI,GAAG,KAAK,gBAAgB;QAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;SACxI,IAAI,GAAG,KAAK,SAAS;QAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;;QAC7H,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACpH,MAAM,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACtD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,8EAA8E,EAAE,GAAG,EAAE;IACxF,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,IAAI,CACzB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EACxB,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAC3F,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CACtE,CAAC;IACF,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACtD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,EAAE,qBAAqB,CAAC,CAAC,CAAC,sCAAsC,EAAE,CAAC,MAAM,EAAE,EAAE;IACxI,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,MAAM,IAAI,GAAI,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAiC,CAAC,KAAsC,CAAC;IAC/G,IAAI,MAAM,KAAK,SAAS;QAAE,GAAG,CAAC,OAAQ,CAAC,CAAC,CAAE,CAAC,OAAO,GAAG,IAAI,CAAC;SACrD,IAAI,MAAM,KAAK,QAAQ;QAAE,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC;SAC5C,IAAI,MAAM,KAAK,WAAW;QAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;SACzG,IAAI,MAAM,KAAK,OAAO;QAAE,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;SACxC,IAAI,MAAM,KAAK,OAAO;QAAE,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;;QAC/E,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;IACpC,MAAM,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACtD,CAAC,CAAC,CAAC"}

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

@@ -0,0 +1,13 @@
+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. */
+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 analyzeIntegerRanges(fn: IrFunction): IntegerRanges;

package/dist/ir/integer-ranges.js

@@ -0,0 +1,122 @@
+const SIGNED = { min: -2147483648, max: 2147483647 };
+const UNSIGNED = { min: 0, max: 4294967295 };
+/** 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 function analyzeIntegerRanges(fn) {
+    const ranges = new Map();
+    if (fn.async || fn.generator)
+        return ranges;
+    const captures = new Set((fn.captures ?? []).map((c) => c.localId));
+    const eligible = new Set(fn.locals.filter((l) => l.type.kind === "f64" && !l.boxed && !l.tdz && !captures.has(l.id)).map((l) => l.id));
+    function remember(e, range) {
+        // IR normally is a tree, but shared expression objects must be safe at
+        // every occurrence. An unknown occurrence invalidates any earlier fact.
+        const previous = ranges.get(e);
+        ranges.set(e, previous === undefined ? range : previous && range ? {
+            min: Math.min(previous.min, range.min), max: Math.max(previous.max, range.max),
+        } : null);
+        return range;
+    }
+    function opaque(value) {
+        if (Array.isArray(value)) {
+            value.forEach(opaque);
+            return;
+        }
+        if (value === null || typeof value !== "object")
+            return;
+        const node = value;
+        if (typeof node["kind"] === "string")
+            ranges.set(value, null);
+        for (const [key, child] of Object.entries(node))
+            if (key !== "type" && key !== "loc")
+                opaque(child);
+    }
+    function expr(e, facts) {
+        let range = null;
+        switch (e.kind) {
+            case "numLit":
+                if (Number.isSafeInteger(e.value) && !Object.is(e.value, -0))
+                    range = { min: e.value, max: e.value };
+                break;
+            case "varRef":
+                range = facts.get(e.localId) ?? null;
+                break;
+            case "bin": {
+                // Evaluate in source order: an opaque right operand may invalidate
+                // locals, but cannot change the already-snapshotted left value.
+                const left = expr(e.left, facts);
+                const right = expr(e.right, facts);
+                if (e.type.kind !== "f64")
+                    break;
+                if (e.op === ">>>")
+                    range = UNSIGNED;
+                else if (["&", "|", "^", "<<", ">>"].includes(e.op))
+                    range = SIGNED;
+                else if (left && right && (e.op === "+" || e.op === "-")) {
+                    const min = e.op === "+" ? left.min + right.min : left.min - right.max;
+                    const max = e.op === "+" ? left.max + right.max : left.max - right.min;
+                    if (Number.isSafeInteger(min) && Number.isSafeInteger(max))
+                        range = { min, max };
+                }
+                break;
+            }
+            case "unary":
+                expr(e.operand, facts);
+                if (e.op === "~")
+                    range = SIGNED;
+                break;
+            default:
+                facts.clear();
+                opaque(e);
+                return null;
+        }
+        return remember(e, range);
+    }
+    function body(stmts) {
+        const facts = new Map();
+        for (const s of stmts) {
+            switch (s.kind) {
+                case "varDecl":
+                case "assign": {
+                    const value = s.kind === "varDecl" ? s.init : s.value;
+                    const range = value ? expr(value, facts) : null;
+                    facts.delete(s.localId);
+                    if (range && eligible.has(s.localId))
+                        facts.set(s.localId, range);
+                    break;
+                }
+                case "return":
+                    if (s.value)
+                        expr(s.value, facts);
+                    facts.clear();
+                    break;
+                case "exprStmt":
+                    expr(s.expr, facts);
+                    break;
+                default:
+                    facts.clear();
+                    // Only statement-list children are analyzed. Headers, conditions,
+                    // case selectors and every other expression remain conservative.
+                    for (const [key, value] of Object.entries(s)) {
+                        if (key === "loc")
+                            continue;
+                        if (["body", "then", "else_", "tryBody", "catchBody", "finallyBody"].includes(key) && Array.isArray(value))
+                            body(value);
+                        else if (s.kind === "switch" && key === "cases") {
+                            for (const c of s.cases) {
+                                opaque(c.test);
+                                body(c.body);
+                            }
+                        }
+                        else
+                            opaque(value);
+                    }
+            }
+        }
+    }
+    body(fn.body);
+    return ranges;
+}
+//# sourceMappingURL=integer-ranges.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"integer-ranges.js","sourceRoot":"","sources":["../../src/ir/integer-ranges.ts"],"names":[],"mappings":"AAMA,MAAM,MAAM,GAAiB,EAAE,GAAG,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC;AACnE,MAAM,QAAQ,GAAiB,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC;AAE3D;;;4EAG4E;AAC5E,MAAM,UAAU,oBAAoB,CAAC,EAAc;IACjD,MAAM,MAAM,GAAG,IAAI,GAAG,EAA+B,CAAC;IACtD,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;QAAE,OAAO,MAAM,CAAC;IAC5C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACpE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAGvI,SAAS,QAAQ,CAAC,CAAS,EAAE,KAA0B;QACrD,uEAAuE;QACvE,wEAAwE;QACxE,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC;YACjE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC;SAC/E,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;IACD,SAAS,MAAM,CAAC,KAAc;QAC5B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAAC,OAAO;QAAC,CAAC;QAC5D,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO;QACxD,MAAM,IAAI,GAAG,KAAgC,CAAC;QAC9C,IAAI,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,QAAQ;YAAE,MAAM,CAAC,GAAG,CAAC,KAAe,EAAE,IAAI,CAAC,CAAC;QACxE,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;YAAE,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,KAAK;gBAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IACtG,CAAC;IACD,SAAS,IAAI,CAAC,CAAS,EAAE,KAAY;QACnC,IAAI,KAAK,GAAwB,IAAI,CAAC;QACtC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,QAAQ;gBACX,IAAI,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;oBAAE,KAAK,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;gBACrG,MAAM;YACR,KAAK,QAAQ;gBAAE,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC;gBAAC,MAAM;YAC3D,KAAK,KAAK,EAAE,CAAC;gBACX,mEAAmE;gBACnE,gEAAgE;gBAChE,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACjC,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBACnC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;oBAAE,MAAM;gBACjC,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK;oBAAE,KAAK,GAAG,QAAQ,CAAC;qBAChC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;oBAAE,KAAK,GAAG,MAAM,CAAC;qBAC/D,IAAI,IAAI,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC;oBACzD,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;oBACvE,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;oBACvE,IAAI,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC;wBAAE,KAAK,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;gBACnF,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,OAAO;gBACV,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;gBACvB,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG;oBAAE,KAAK,GAAG,MAAM,CAAC;gBACjC,MAAM;YACR;gBACE,KAAK,CAAC,KAAK,EAAE,CAAC;gBACd,MAAM,CAAC,CAAC,CAAC,CAAC;gBACV,OAAO,IAAI,CAAC;QAChB,CAAC;QACD,OAAO,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC5B,CAAC;IACD,SAAS,IAAI,CAAC,KAAe;QAC3B,MAAM,KAAK,GAAU,IAAI,GAAG,EAAE,CAAC;QAC/B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;gBACf,KAAK,SAAS,CAAC;gBAAC,KAAK,QAAQ,EAAE,CAAC;oBAC9B,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;oBACtD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;oBAChD,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;oBACxB,IAAI,KAAK,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;wBAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;oBAClE,MAAM;gBACR,CAAC;gBACD,KAAK,QAAQ;oBACX,IAAI,CAAC,CAAC,KAAK;wBAAE,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;oBAClC,KAAK,CAAC,KAAK,EAAE,CAAC;oBACd,MAAM;gBACR,KAAK,UAAU;oBAAE,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;oBAAC,MAAM;gBAC5C;oBACE,KAAK,CAAC,KAAK,EAAE,CAAC;oBACd,kEAAkE;oBAClE,iEAAiE;oBACjE,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;wBAC7C,IAAI,GAAG,KAAK,KAAK;4BAAE,SAAS;wBAC5B,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;4BAAE,IAAI,CAAC,KAAiB,CAAC,CAAC;6BAC/H,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,KAAK,OAAO,EAAE,CAAC;4BAChD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;gCAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gCAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;4BAAC,CAAC;wBAC5D,CAAC;;4BAAM,MAAM,CAAC,KAAK,CAAC,CAAC;oBACvB,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACd,OAAO,MAAM,CAAC;AAChB,CAAC"}

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

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

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

@@ -0,0 +1,63 @@
+import { expect, test } from "vitest";
+import { analyzeIntegerRanges } from "./integer-ranges.js";
+import { F64 } from "./ir.js";
+const loc = { file: "test.ts", start: 0, end: 0 };
+const num = (value) => ({ loc, kind: "numLit", value, type: F64 });
+const ref = (localId = "x") => ({ loc, kind: "varRef", localId, type: F64 });
+const bin = (op, left, right) => ({ loc, kind: "bin", op, left, right, type: F64 });
+const assign = (value) => ({ loc, kind: "assign", localId: "x", value });
+const fn = (body, boxed = false) => ({ loc, name: "f", params: [], returnType: F64, locals: [{ id: "x", name: "x", type: F64, mutable: true, ...(boxed ? { boxed: true } : {}) }], body });
+test("tracks exact additions and bitwise conversions through assignments", () => {
+    const sum = bin("+", ref(), bin("<<", ref(), num(3)));
+    const unsigned = bin(">>>", ref(), num(0));
+    const ranges = analyzeIntegerRanges(fn([assign(bin("|", num(0), num(0))), assign(sum), { loc, kind: "return", value: unsigned }]));
+    expect(ranges.get(sum)).toEqual({ min: -4294967296, max: 4294967294 });
+    expect(ranges.get(unsigned)).toEqual({ min: 0, max: 4294967295 });
+});
+test("rejects negative zero, fractions, nonfinite values and imprecise sums", () => {
+    for (const value of [-0, 0.5, NaN, Infinity, -Infinity, 9007199254740992]) {
+        const sum = bin("+", num(value), num(0));
+        expect(analyzeIntegerRanges(fn([{ loc, kind: "return", value: sum }])).get(sum)).toBeNull();
+    }
+    const exact = bin("-", num(Number.MAX_SAFE_INTEGER), num(1));
+    const rounded = bin("+", num(Number.MAX_SAFE_INTEGER), num(2));
+    const ranges = analyzeIntegerRanges(fn([assign(exact), { loc, kind: "return", value: rounded }]));
+    expect(ranges.get(exact)).toEqual({ min: 9007199254740990, max: 9007199254740990 });
+    expect(ranges.get(rounded)).toBeNull();
+});
+test("forgets facts across opaque expressions, control flow and boxed locals", () => {
+    const sum = () => bin("+", ref(), num(1));
+    const call = { loc, kind: "call", callee: "unknown", args: [], type: F64 };
+    const afterCall = sum();
+    const afterBlock = sum();
+    const boxed = sum();
+    const ranges = analyzeIntegerRanges(fn([
+        assign(num(1)), { loc, kind: "exprStmt", expr: call }, assign(afterCall),
+        assign(num(1)), { loc, kind: "block", body: [assign(num(Infinity))] }, { loc, kind: "return", value: afterBlock },
+    ]));
+    expect(ranges.get(afterCall)).toBeNull();
+    expect(ranges.get(afterBlock)).toBeNull();
+    expect(analyzeIntegerRanges(fn([assign(num(1)), { loc, kind: "return", value: boxed }], true)).get(boxed)).toBeNull();
+});
+test("analyzes nested bodies independently and snapshots operands before writes", () => {
+    const before = ref();
+    const write = { loc, kind: "assignExpr", localId: "x", value: num(Infinity), type: F64 };
+    const after = ref();
+    const nested = bin("+", ref(), num(1));
+    const ranges = analyzeIntegerRanges(fn([
+        assign(num(1)), { loc, kind: "exprStmt", expr: bin("|", before, write) }, { loc, kind: "exprStmt", expr: after },
+        { loc, kind: "block", body: [assign(num(2)), { loc, kind: "return", value: nested }] },
+    ]));
+    expect(ranges.get(before)).toEqual({ min: 1, max: 1 });
+    expect(ranges.get(after)).toBeNull();
+    expect(ranges.get(nested)).toEqual({ min: 3, max: 3 });
+});
+test("shared expression objects never inherit a proof from another occurrence", () => {
+    const shared = ref();
+    const ranges = analyzeIntegerRanges(fn([
+        assign(num(1)), { loc, kind: "exprStmt", expr: shared }, assign(num(Infinity)),
+        { loc, kind: "return", value: { loc, kind: "call", callee: "unknown", args: [shared], type: F64 } },
+    ]));
+    expect(ranges.get(shared)).toBeNull();
+});
+//# sourceMappingURL=integer-ranges.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"integer-ranges.test.js","sourceRoot":"","sources":["../../src/ir/integer-ranges.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EAAE,GAAG,EAA6C,MAAM,SAAS,CAAC;AAEzE,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAClD,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AACnF,MAAM,GAAG,GAAG,CAAC,OAAO,GAAG,GAAG,EAAU,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AACrF,MAAM,GAAG,GAAG,CAAC,EAA0C,EAAE,IAAY,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AACpJ,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;AACzF,MAAM,EAAE,GAAG,CAAC,IAAc,EAAE,KAAK,GAAG,KAAK,EAAc,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;AAE1N,IAAI,CAAC,oEAAoE,EAAE,GAAG,EAAE;IAC9E,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtD,MAAM,QAAQ,GAAG,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAG,oBAAoB,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC;IACnI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC;IACvE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC;AACpE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,uEAAuE,EAAE,GAAG,EAAE;IACjF,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,QAAQ,EAAE,gBAAgB,CAAC,EAAE,CAAC;QAC1E,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC9F,CAAC;IACD,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7D,MAAM,OAAO,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,MAAM,MAAM,GAAG,oBAAoB,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;IAClG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,gBAAgB,EAAE,GAAG,EAAE,gBAAgB,EAAE,CAAC,CAAC;IACpF,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACzC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wEAAwE,EAAE,GAAG,EAAE;IAClF,MAAM,GAAG,GAAG,GAAW,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAClD,MAAM,IAAI,GAAW,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACnF,MAAM,SAAS,GAAG,GAAG,EAAE,CAAC;IACxB,MAAM,UAAU,GAAG,GAAG,EAAE,CAAC;IACzB,MAAM,KAAK,GAAG,GAAG,EAAE,CAAC;IACpB,MAAM,MAAM,GAAG,oBAAoB,CAAC,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,MAAM,CAAC,SAAS,CAAC;QACxE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE;KAClH,CAAC,CAAC,CAAC;IACJ,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACzC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC1C,MAAM,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACxH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2EAA2E,EAAE,GAAG,EAAE;IACrF,MAAM,MAAM,GAAG,GAAG,EAAE,CAAC;IACrB,MAAM,KAAK,GAAW,EAAE,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACjG,MAAM,KAAK,GAAG,GAAG,EAAE,CAAC;IACpB,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,oBAAoB,CAAC,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE;QAChH,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE;KACvF,CAAC,CAAC,CAAC;IACJ,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;IACvD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACrC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;AACzD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,yEAAyE,EAAE,GAAG,EAAE;IACnF,MAAM,MAAM,GAAG,GAAG,EAAE,CAAC;IACrB,MAAM,MAAM,GAAG,oBAAoB,CAAC,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC9E,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE;KACpG,CAAC,CAAC,CAAC;IACJ,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACxC,CAAC,CAAC,CAAC"}