@scriptc/compiler 0.2.5 → 0.2.6

package/dist/frontend/lowering/lowerer.js

@@ -1,3 +1,4 @@
+import { lowerWorkerMetadata } from "./builtins/workers.js";
 import { dynUndefinedExpr, nodeThrowExpr, numLit, varRef } from "../../ir/build.js";
 import { lowerBuiltinCall } from "./builtin-calls.js";
 import { CoercionState } from "./coercions/state.js";
@@ -15,6 +16,7 @@ import { bindingInContext, captureContextBinding, declareContextLocal, declareCo
 import { InternalCompilerError } from "../../errors.js";
 import { defaultAfterUndefined, lowerStaticallyUndefinedArgument } from "./optional-arguments.js";
 import { ClassDynamicDispatch, trackClassFieldCreation } from "./class-dynamic-dispatch.js";
+import { ClassProtocols } from "./class-protocols.js";
 import { DeferredModuleInitializers } from "./deferred-module-initializers.js";
 import { finalizeClassMethodValues } from "./class-method-values.js";
 export { newFnCtx } from "./function-context.js";
@@ -44,7 +46,7 @@ import { provenanceActive } from "../provenance-registry.js";
 import { ambientDtsPath, canonicalBuiltinModule, cjsExportAssignmentOf, cjsExportDiscardReason, fallbackDtsPath, isCjsExportTableLiteral, isCjsJsFile, isJsSourceFile, isNodeEsmFile, isNodeTypesPath, locOf, orderedImportsOf, overridesDtsPath, npmStaticDepSf7, requireSpecOf, resolveImport, workspacePackageOfPath, } from "../program.js";
 import { containsRecord, containsUnion, describeComponentBlocker, describeRecordMemberBlocker, formatIrType, ISLAND_AMBIENT_TYPES, isUnitOnlyTsType, jsOpenObjectType, mapType, ShapeRegistry, typeKey, UnionRegistry, withUndefinedArm as withUndefinedArmCanonical, } from "../type-mapper.js";
 import { boundaryIntoIslandMsg, boundaryOutOfIslandMsg, builtinConstLit, builtinModuleConstOf, builtinModulesArrayLit, builtinFenceHintOf, builtinModuleFnOf, stdlibMemberFence, isStdlibMember, isStdlibSymbol, isStdlibGlobal, stdlibGlobalNameOf, stdlibGlobalMember, nodeTypesOnlySymbol, } from "./surfaces.js";
-import { splitFiles, collectProgram, collectNpmImports, collectJsonImports, moduleArtifacts, collectGlobals, declSymbolOf, defaultExportSymbolOf, lowerFileInit, lowerDefaultExport, buildMain, appendDynamicImportModules, appendForkModules, } from "./lower-modules.js";
+import { splitFiles, collectProgram, collectNpmImports, collectJsonImports, moduleArtifacts, collectGlobals, declSymbolOf, defaultExportSymbolOf, lowerFileInit, lowerDefaultExport, buildMain, appendDynamicImportModules, appendForkModules, appendWorkerModules, } from "./lower-modules.js";
 import { prepareCjsModuleGraph } from "./lower-node-module.js";
 import { registerBuiltinErrorClasses, registerBuiltinEmitterClass, registerBuiltinStreamClasses, builtinErrorInfoOf, builtinEmitterInfoOf, builtinStreamInfoOf, analyzeClassDecoration, classIteratorDrainCall, classIteratorNextCall, classIteratorOf, classIteratorOpenCall, classIteratorRestDrainCall, classMemberNameOf, classValueRef, collectClassShape, exactClassOfReceiver, collectClassShapeInner, ctorAbiEquals, findMethodOn, findStaticOn, genericClassInstanceType, isSubclassOf, inHierarchy, overrideBelow, staticShadowBelow, upcastTo, lowerClassMembers, lowerClassCtor, lowerClassExpression, lowerClassExpressionInfo, lowerClassMethodMember, lowerClassValueProperty, lowerStaticMethod, throwingSetterFn, fieldInitStmts, lowerStaticFieldInits, lowerStaticFieldRead, lowerDerivedCtorBody, superCallStmt, lowerSuperMethodCall, superThisRef, lowerSuperAccessorRead, lowerSuperAccessorWrite, inheritsBuiltinErrorCtor, inheritsBuiltinEmitterCtor, errorConstructorArgs, lowerNew, accessorCall, } from "./lower-classes.js";
 import { mixinCallClassInfoOf, mixinIntersectionInstanceType, } from "./lower-mixins.js";
@@ -247,6 +249,7 @@ export function lowerToIr(program, entry, moduleOrder, options = {}) {
     const extraModuleCycleDiags = [];
     const cycleKeys = new Set();
     const forkTargets = [];
+    const workerTargets = [];
     const onExtraCycle = (cycle, reason) => {
         const key = `${cycle}\0${reason}`;
         if (cycleKeys.has(key))
@@ -258,6 +261,7 @@ export function lowerToIr(program, entry, moduleOrder, options = {}) {
         const before = moduleOrder.length;
         appendDynamicImportModules(program, moduleOrder, onExtraCycle);
         appendForkModules(program, moduleOrder, forkTargets, onExtraCycle);
+        appendWorkerModules(program, moduleOrder, workerTargets, onExtraCycle);
         if (moduleOrder.length === before)
             break;
         if (pass === 31)
@@ -274,6 +278,7 @@ export function lowerToIr(program, entry, moduleOrder, options = {}) {
         ffiImports,
         libraryCallbacks,
         forkTargets,
+        workerTargets,
         externalTypes,
         externalTypeSpecifiersByFile,
     });
@@ -293,6 +298,7 @@ export function lowerToIr(program, entry, moduleOrder, options = {}) {
             ffiImports,
             libraryCallbacks,
             forkTargets,
+            workerTargets,
             externalTypes,
             externalTypeSpecifiersByFile,
             ffiBindingSymbols: ffiValidation.symbolsByName,
@@ -322,6 +328,7 @@ export function lowerToIr(program, entry, moduleOrder, options = {}) {
             ffiImports,
             libraryCallbacks,
             forkTargets,
+            workerTargets,
             ffiBindingSymbols: ffiValidation.symbolsByName,
             externalTypes,
             externalTypeSpecifiersByFile,
@@ -345,6 +352,7 @@ export function lowerToIr(program, entry, moduleOrder, options = {}) {
         ffiImports,
         libraryCallbacks,
         forkTargets,
+        workerTargets,
         ffiBindingSymbols: ffiValidation.symbolsByName,
         externalTypes,
         externalTypeSpecifiersByFile,
@@ -927,6 +935,7 @@ export class Lowerer {
     /** Monomorphization worklist: instances queued by call sites, drained in
      * run() (processing an instance body can queue more). */
     instantiationQueue = [];
+    genericInstantiationPath = null;
     /** Historical emit rank of the retained declaration/init body currently
      * lowering, and the earliest such owner that demanded each generic
      * instance. Reachability can encounter a later caller first; the minimum
@@ -1234,6 +1243,17 @@ export class Lowerer {
         while (ts.isParenthesizedExpression(origin))
             origin = origin.expression;
         let optionalOrigin = ts.isElementAccessExpression(origin) || ts.isPropertyAccessExpression(origin);
+        if (ts.isCallExpression(origin)) {
+            const name = ts.isPropertyAccessExpression(origin.expression)
+                ? origin.expression.name
+                : origin.expression;
+            const symbol = ts.isIdentifier(name) ? this.resolveValueSymbol(name) : undefined;
+            const signature = symbol ? this.fnSigsBySymbol.get(symbol) : undefined;
+            optionalOrigin =
+                this.runtimeOptionalFunctionReturns.has(origin) ||
+                    (signature?.returnType.kind === "union" &&
+                        this.armTag(signature.returnType.unionId, UNDEFINED_T) >= 0);
+        }
         if (ts.isIdentifier(origin)) {
             const local = this.resolveLocal(origin);
             const root = local ? this.runtimeOptionalRootOf(local) : null;
@@ -1513,6 +1533,7 @@ export class Lowerer {
      * (the ctx guard keeps hidden locals out of closures — a cross-function
      * walk falls back to the plain array walk and the fence). */
     matchAllDrainIndexes = new Map();
+    splitIdentifierUses = new Map();
     /** STORED numeric value iterators: `const it = numbers.values()` (and
      * the equivalent `[Symbol.iterator]()` spelling) over number[] or a
      * represented typed array has no first-class IR value, so its statically
@@ -1601,6 +1622,9 @@ export class Lowerer {
     fileTag = new Map();
     /** Embedded fork roots and their private startup ids. */
     forkTargets;
+    workerTargets;
+    workerTargetIdByPath = new Map();
+    usesWorkers = false;
     forkTargetIdByPath = new Map();
     /** Namespace ModuleBlocks this program lowers, filled by splitFiles:
      * "flattened" — an instantiated namespace whose body joined the file's
@@ -1815,6 +1839,10 @@ export class Lowerer {
         this.startupCrash = mode.startupCrash ?? null;
         this.ffiImports = mode.ffiImports ?? [];
         this.libraryCallbacks = mode.libraryCallbacks ?? false;
+        this.workerTargets = mode.workerTargets ?? [];
+        this.workerTargets.forEach((sf, id) => {
+            this.workerTargetIdByPath.set(tsgoPath(resolve(sf.fileName)), id);
+        });
         this.forkTargets = mode.forkTargets ?? [];
         this.forkTargets.forEach((sf, id) => {
             this.forkTargetIdByPath.set(tsgoPath(resolve(sf.fileName)), id);
@@ -1881,6 +1909,7 @@ export class Lowerer {
                 return { kind: "object", className };
             },
             mixinIntersectionInstance: (widened) => mixinIntersectionInstanceType(this, widened),
+            classImplementedProtocol: (type) => this.classImplementedProtocol(type),
             isStdlibFile: this.isStdlibFile,
             isNpmFile: this.isNpmFile,
             isExternalTypeFile: (sf) => this.externalTypeSpecifiersByFile.has(tsgoPath(resolve(sf.fileName))),
@@ -1910,6 +1939,11 @@ export class Lowerer {
     registerBuiltinErrorClasses() {
         return registerBuiltinErrorClasses(this);
     }
+    classProtocols = null;
+    classImplementedProtocol(type) {
+        this.classProtocols ??= new ClassProtocols(this.checker, this.moduleOrder);
+        return this.classProtocols.usesCheckedIdentity(type);
+    }
     /** The nominal identity of a checker module-namespace type. Program
      * modules use their normalized absolute source name; supported builtins
      * use the lowering tables' canonical bare name. */
@@ -2853,7 +2887,7 @@ export class Lowerer {
         // facade's panic fence, then keep lookup free of lowering side effects:
         // resolveValueSymbol also flushes deferred diagnostics and applies
         // merged-namespace fences, whose authority remains ordinary lowering.
-        this.checker.prefetchSymbolRoots(sourceFiles);
+        this.checker.prefetchSymbolRoots(sourceFiles, true);
         const symbolOf = (node) => {
             const s = this.checker.getSymbolAtLocation(node);
             if (!s)
@@ -3928,7 +3962,7 @@ export class Lowerer {
         // generic classes, generic methods calling generic functions) — the
         // index loops run to the joint fixpoint. Same-key recursion re-uses
         // its own entry; polymorphic recursion is cut off by
-        // MAX_GENERIC_INSTANCES.
+        // the recursive instantiation demand path.
         {
             let ec = 0;
             let gc = 0;
@@ -4103,7 +4137,7 @@ export class Lowerer {
         const module = this.diags.length > 0
             ? null
             : {
-                irVersion: 13,
+                irVersion: 14,
                 sourceFile: this.entry.fileName,
                 functions,
                 classes: artifacts.classes,
@@ -4112,6 +4146,7 @@ export class Lowerer {
                 globals: this.globalsList,
                 ...(this.npmEmbedded ? { embedded: this.npmEmbedded } : {}),
                 entry: ENTRY_NAME,
+                ...(this.usesWorkers ? { workers: true } : {}),
                 ...(this.ffiImports.length > 0 ? { ffiImports: [...this.ffiImports] } : {}),
             };
         if (module)
@@ -4712,6 +4747,7 @@ export class Lowerer {
         // globals pre-register before their initializers lower) — an exact
         // duplicate (code + span + message) adds noise, not information.
         if (this.diags.some((p) => p.code === d.code &&
+            p.loc.file === d.loc.file &&
             p.loc.start === d.loc.start &&
             p.loc.end === d.loc.end &&
             p.message === d.message)) {
@@ -4914,9 +4950,8 @@ export class Lowerer {
                 'new Intl.NumberFormat("en-US").format(x) and x.toLocaleString("en-US") with default options; ' +
                 "the rest is ICU locale data the binary does not carry";
             const typeHints = {
-                ArrayBuffer: "no free-standing ArrayBuffer value exists — typed arrays own their storage " +
-                    "(new Uint8Array(n) allocates; new Uint8Array(new ArrayBuffer(n)) erases the buffer into the view)",
-                SharedArrayBuffer: "no shared-memory threads exist in a compiled program — Uint8Array is the byte storage",
+                ArrayBuffer: "fixed ArrayBuffer storage and typed-array views are supported; resizable and detached storage are not modeled",
+                SharedArrayBuffer: "fixed SharedArrayBuffer storage is supported; growable shared storage is not modeled",
                 NumberFormat: intlHint,
                 DateTimeFormat: intlHint,
                 DurationFormat: intlHint,
@@ -6957,6 +6992,8 @@ export class Lowerer {
      * instance table. Filled by collectClassShapeInner's family mode;
      * consulted by mapType's genericClassInstance hook. */
     genericClassByDecl = new Map();
+    /** Forward generic references may demand a family before its declaration turn. */
+    collectingClassDeclarations = new Set();
     /** Instantiations in demand order — the member-lowering worklist run()'s
      * monomorphization fixpoint drains (an instantiation's methods can
      * demand further instances of either kind). */
@@ -8167,8 +8204,8 @@ export class Lowerer {
     lambdaSignature(node) {
         return lambdaSignature(this, node);
     }
-    lowerLambda(node) {
-        return lowerLambda(this, node);
+    lowerLambda(node, checkedReceiver = false) {
+        return lowerLambda(this, node, checkedReceiver);
     }
     lowerArrayMethodCall(call, access) {
         return lowerArrayMethodCall(this, call, access);
@@ -8537,6 +8574,11 @@ export class Lowerer {
         if (bi.module === "events" && bi.member === "defaultMaxListeners") {
             return { kind: "libCall", fn: "emitter.getDefaultMax", args: [], type: F64, loc };
         }
+        if (bi.module === "worker_threads") {
+            const value = lowerWorkerMetadata(bi.member, loc);
+            if (value)
+                return value;
+        }
         const c = builtinModuleConstOf(this, bi.module, bi.member);
         if (c !== undefined)
             return builtinConstLit(c, loc);