@scriptc/compiler 0.4.5 → 0.4.6

package/dist/ir/validate.js

@@ -4,7 +4,7 @@
  * an ICE that points at source is a gift to whoever debugs it.
  */
 import { validByteNumberToken } from "./byte-numbers.js";
-import { arrayOf, iterableArmsElem, BYTES_ELEMENT_NAME, BOOL, BYTES_U8, bytesOf, canAdaptDynFuncTo, canDynCheckTo, canConvertToDyn, DYN, DYN_HANDLE_KINDS, F64, ffiClassType, ffiSourceParamTypes, isDirentShape, isDynTypedRefType, isFfiCallbackParam, isFfiContextParam, isFfiReleaseParam, isJsonSafeType, isJsonStringifySafeType, isRefCounted, isSortValuesElement, isSupportedArrayElem, isSupportedIndexValue, isSupportedMapKey, isSupportedMapValue, isSupportedSetElem, isUnitType, REF_TRUTHY_KINDS, RUNTIME_EMITTER_CLASS, RUNTIME_ERROR_CLASSES, RUNTIME_STREAM_CLASSES, shapeHasAccessorSlots, STRING, typeEquals, typeKey, maybePromiseUnionArmsOk, VOID, } from "./ir.js";
+import { arrayOf, iterableArmsElem, BIGINT_STATS_T, BYTES_ELEMENT_NAME, BOOL, BYTES_U8, bytesOf, canAdaptDynFuncTo, canDynCheckTo, canConvertToDyn, DYN, DYN_HANDLE_KINDS, F64, ffiClassType, ffiSourceParamTypes, isDirentShape, isDynTypedRefType, isFfiCallbackParam, isFfiContextParam, isFfiReleaseParam, isJsonSafeType, isJsonStringifySafeType, isRefCounted, isSortValuesElement, isSupportedArrayElem, isSupportedIndexValue, isSupportedMapKey, isSupportedMapValue, isSupportedSetElem, isUnitType, REF_TRUTHY_KINDS, RUNTIME_EMITTER_CLASS, RUNTIME_ERROR_CLASSES, RUNTIME_STREAM_CLASSES, shapeHasAccessorSlots, STATS_T, STRING, typeEquals, typeKey, maybePromiseUnionArmsOk, VOID, } from "./ir.js";
 import { DYN_CLASS_PROPERTIES, callSiteReturnType, classValueAbiEquals, classValueConstructor, } from "./ir.js";
 import { unionWideningTags } from "./analysis.js";
 import { alwaysReturns } from "./control-flow.js";
@@ -43,6 +43,10 @@ export function validateModule(mod) {
         errors.push({ message: "worker execution mode must be a boolean", loc: moduleLoc });
     if (mod.declBoundary !== undefined && mod.declBoundary !== true)
         errors.push({ message: "declBoundary must be true when present", loc: moduleLoc });
+    const declOrigins = mod.declOrigins;
+    if (declOrigins !== undefined &&
+        (!Array.isArray(declOrigins) || declOrigins.some((o) => typeof o !== "string")))
+        errors.push({ message: "declOrigins must be an array of strings", loc: moduleLoc });
     if (mod.untypedIntegrity !== undefined && mod.untypedIntegrity !== true)
         errors.push({ message: "untypedIntegrity must be true when present", loc: moduleLoc });
     if (mod.lifetimeRegions !== undefined && mod.lifetimeRegions !== true)
@@ -865,11 +869,11 @@ export function validateModule(mod) {
         }
     }
     for (const fn of mod.functions) {
-        validateFunction(fn, functionsByName, ffiByName, classesByName, recordsById, recordValidation, unionsById, globalsById, classValidation, errors, mod.workers === true, mod.lifetimeRegions === true, new Set(mod.threadSlotKeys ?? []));
+        validateFunction(fn, functionsByName, ffiByName, classesByName, recordsById, recordValidation, unionsById, globalsById, classValidation, errors, mod.workers === true, mod.lifetimeRegions === true, new Set(mod.threadSlotKeys ?? []), mod.declOrigins?.length ?? 0);
     }
     return errors;
 }
-function validateFunction(fn, functions, ffiByName, classes, records, recordValidation, unions, globals, classValidation, errors, workers, lifetimeRegions, threadSlotKeys) {
+function validateFunction(fn, functions, ffiByName, classes, records, recordValidation, unions, globals, classValidation, errors, workers, lifetimeRegions, threadSlotKeys, declOriginCount) {
     const locals = new Map(fn.locals.map((l) => [l.id, l]));
     const err = (message, loc) => errors.push({ message: `in ${fn.name}: ${message}`, loc });
     // Invariant I1 (ir/tiers.ts): a static function reaches dynamic values
@@ -2714,6 +2718,18 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
                     }
                     break;
                 }
+                // An instance of a class declared `extends Array` and its array
+                // are the same object: upcast to the array, downcast back.
+                {
+                    const instance = e.kind === "upcast" ? e.value.type : e.type;
+                    const array = e.kind === "upcast" ? e.type : e.value.type;
+                    if (instance.kind === "object" && array.kind === "array") {
+                        const elem = classes.get(instance.className)?.arrayElem;
+                        if (elem === undefined || !typeEquals(elem, array.elem))
+                            err(`${e.kind}: "${instance.className}" is not an array of that element type`, e.loc);
+                        break;
+                    }
+                }
                 if (e.type.kind !== "object" || e.value.type.kind !== "object") {
                     err(`${e.kind} between non-class types`, e.loc);
                     break;
@@ -2817,6 +2833,12 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
                 checkExpr(e.value);
                 if (e.type.kind !== "bool")
                     err("instanceOf must be bool", e.loc);
+                // An array against a class declared `extends Array` (its ext).
+                if (e.value.type.kind === "array") {
+                    if (classes.get(e.className)?.arrayElem === undefined)
+                        err(`instanceOf of an array against "${e.className}", which does not extend Array`, e.loc);
+                    break;
+                }
                 if (!hierarchy.has(e.className)) {
                     err(`instanceOf against non-hierarchy class "${e.className}"`, e.loc);
                 }
@@ -3863,10 +3885,51 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
             }
         }
         if (!typeEquals(e.type, sig.result)) {
-            err(`libCall ${e.fn} must be ${sig.result.kind}, got ${e.type.kind}`, e.loc);
+            // The stat calls answer the SAME snapshot under either member table:
+            // their `bigint` option picks BigIntStats' reads over Stats'.
+            const statsVariant = (e.fn === "fs.statSync" || e.fn === "fs.lstatSync" || e.fn === "fs.fstatSync") &&
+                typeEquals(sig.result, STATS_T) &&
+                typeEquals(e.type, BIGINT_STATS_T);
+            if (!statsVariant)
+                err(`libCall ${e.fn} must be ${sig.result.kind}, got ${e.type.kind}`, e.loc);
         }
     }
     function checkLibValueCall(e) {
+        // ArraySpeciesCreate over an Array method's result, and Array.of /
+        // Array.from on a class that extends Array: the result has the plain
+        // result's array type.
+        if (e.fn === "array.dynIsClass") {
+            const cls = e.args[1]?.kind === "strLit" ? classes.get(e.args[1].value) : undefined;
+            if (cls?.arrayElem === undefined)
+                err("libCall array.dynIsClass must name a class that extends Array", e.loc);
+            return false;
+        }
+        if (e.fn === "array.speciesCreate") {
+            if (e.args[0]?.type.kind !== "array" || !typeEquals(e.type, e.args[0].type))
+                err("libCall array.speciesCreate must have its receiver's array type", e.loc);
+            return true;
+        }
+        if (e.fn === "array.speciesFinish") {
+            const plain = e.args[1];
+            if (plain?.type.kind !== "array" || !typeEquals(e.type, plain.type))
+                err("libCall array.speciesFinish must have its array argument's type", e.loc);
+            if (e.args[0]?.type.kind !== "array")
+                err("libCall array.speciesFinish instance must be an array", e.loc);
+            return true;
+        }
+        if (e.fn === "array.speciesAdopt" || e.fn === "array.classConstructAdopt") {
+            const plain = e.args[1];
+            if (plain?.type.kind !== "array" || !typeEquals(e.type, plain.type))
+                err(`libCall ${e.fn} must have its array argument's type`, e.loc);
+            if (e.fn === "array.speciesAdopt" && e.args[0]?.type.kind !== "array")
+                err("libCall array.speciesAdopt receiver must be an array", e.loc);
+            if (e.fn === "array.classConstructAdopt") {
+                const cls = e.args[0]?.kind === "strLit" ? classes.get(e.args[0].value) : undefined;
+                if (cls?.arrayElem === undefined)
+                    err("libCall array.classConstructAdopt must name a class that extends Array", e.loc);
+            }
+            return true;
+        }
         const cryptoPromise = CRYPTO_PROMISE_VALUES[e.fn];
         if (cryptoPromise) {
             const inner = e.type.kind === "promise" ? e.type.inner : undefined;
@@ -3948,7 +4011,9 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
         }
         if (e.fn === "array.namedKeys" ||
             e.fn === "array.hasNamedKey" ||
-            e.fn === "array.hasProperties") {
+            e.fn === "array.hasProperties" ||
+            e.fn === "array.foreign" ||
+            e.fn === "array.foreignThrow") {
             if (e.args[0]?.type.kind !== "array") {
                 err(`libCall ${e.fn} arg 0: expected an array, got ${e.args[0]?.type.kind}`, e.loc);
             }
@@ -4461,7 +4526,7 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
             const def = e.type.kind === "union" ? unions.get(e.type.unionId) : undefined;
             const ok = def &&
                 def.arms.length === 2 &&
-                def.arms.some((a) => a.kind === "stats") &&
+                def.arms.some((a) => a.kind === "stats" || a.kind === "bigintStats") &&
                 def.arms.some((a) => a.kind === "undefinedT");
             if (!ok) {
                 err(`libCall ${e.fn} must return the 'Stats | undefined' union`, e.loc);
@@ -4853,6 +4918,20 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
             }
             return true;
         }
+        if (e.fn === "child.signalCode") {
+            // Result is the interned `string | null` union (the spawnRes.signal
+            // pattern: null while the child runs, after a normal exit, and after
+            // a spawn failure).
+            const def = e.type.kind === "union" ? unions.get(e.type.unionId) : undefined;
+            const ok = def &&
+                def.arms.length === 2 &&
+                def.arms.some((a) => a.kind === "string") &&
+                def.arms.some((a) => a.kind === "nullT");
+            if (!ok) {
+                err(`libCall child.signalCode must return the 'string | null' union`, e.loc);
+            }
+            return true;
+        }
         if (e.fn === "child.pid" || e.fn === "child.exitCode") {
             // pid: the interned `number | undefined`; exitCode: `number | null`.
             const wantUnit = e.fn === "child.pid" ? "undefinedT" : "nullT";
@@ -5288,7 +5367,7 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
                 }
                 const lastIsFunction = Math.floor(positions / 2 ** (total - 1)) % 2 === 1;
                 const helperCount = 3 * pipelinePumpedRuns(total, positions, flags);
-                const groups = helperCount + (destKind === 2 ? 1 : 0) + (flags & 32 ? 2 : 0);
+                const groups = helperCount + (destKind >= 2 ? 1 : 0) + (flags & 32 ? 2 : 0);
                 const cbArgs = e.fn === "sp.pipelineStagesOpts"
                     ? 1 + (flags & 64 ? 1 : 0)
                     : e.fn === "sp.pipelineStages" || e.fn === "stream.composeStages"
@@ -5301,7 +5380,7 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
                     total > 52 ||
                     positions >= 2 ** total ||
                     functions !== k ||
-                    destKind === 3 ||
+                    (destKind === 3 && e.fn === "stream.composeStages") ||
                     (destKind !== 0) !== lastIsFunction ||
                     total < 2 ||
                     e.args.length !== 5 + n + k + groups + cbArgs) {
@@ -5319,7 +5398,7 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
                         err(`libCall ${e.fn} stage function ${i} must be a func`, e.loc);
                 }
                 at2 += k;
-                const helpers = helperCount + (destKind === 2 ? 1 : 0);
+                const helpers = helperCount + (destKind >= 2 ? 1 : 0);
                 for (let i = at2; i < at2 + helpers; i++) {
                     if (e.args[i]?.type.kind !== "func")
                         err(`libCall ${e.fn} helper ${i} must be a func`, e.loc);
@@ -5658,6 +5737,9 @@ function validateFunction(fn, functions, ffiByName, classes, records, recordVali
             case "dynCheck": {
                 checkExpr(e.value);
                 expectType(e.value, DYN, "dynCheck operand");
+                if (e.origin !== undefined &&
+                    (!Number.isInteger(e.origin) || e.origin < 0 || e.origin >= declOriginCount))
+                    err(`dynCheck origin ${e.origin} is not an index of declOrigins`, e.loc);
                 // The target drives the emitted validator/builder: non-dyn,
                 // non-void, JSON-representable (closures/class instances can never
                 // be found inside a JSON dyn — the frontend rejects those casts).