@shd101wyy/yo 0.0.29 → 0.0.31

package/out/types/src/codegen/async/runtime-core.d.ts

@@ -1,2 +1,3 @@
 import { Emitter } from "../../emitter";
-export declare function generateAsyncRuntimeCore(emitter: Emitter): void;
+import type { TargetInfo } from "../../target";
+export declare function generateAsyncRuntimeCore(emitter: Emitter, targetInfo: TargetInfo): void;

package/out/types/src/codegen/async/runtime-io-common.d.ts

@@ -1,2 +1,4 @@
 import { Emitter } from "../../emitter";
-export declare function generateAsyncRuntimeIOCommon(emitter: Emitter): void;
+import type { TargetInfo } from "../../target";
+export declare function generateSysRuntime(emitter: Emitter, targetInfo: TargetInfo): void;
+export declare function generateAsyncRuntimeIOCommon(emitter: Emitter, targetInfo: TargetInfo): void;

package/out/types/src/codegen/async/runtime-io-linux.d.ts

@@ -1,2 +1,3 @@
 import { Emitter } from "../../emitter";
+export declare function generatePlatformSysRuntimeLinux(emitter: Emitter): void;
 export declare function generateAsyncRuntimeIOLinux(emitter: Emitter): void;

package/out/types/src/codegen/async/runtime-io-macos.d.ts

@@ -1,2 +1,3 @@
 import { Emitter } from "../../emitter";
+export declare function generatePlatformSysRuntimeMacOS(emitter: Emitter): void;
 export declare function generateAsyncRuntimeIOMacOS(emitter: Emitter): void;

package/out/types/src/codegen/async/runtime-io-windows.d.ts

@@ -1,2 +1,3 @@
 import { Emitter } from "../../emitter";
+export declare function generatePlatformSysRuntimeWindows(emitter: Emitter): void;
 export declare function generateAsyncRuntimeIOWindows(emitter: Emitter): void;

package/out/types/src/codegen/async/runtime.d.ts

@@ -1,2 +1,3 @@
 import { Emitter } from "../../emitter";
-export declare function generateAsyncRuntime(emitter: Emitter, _debugAsyncAwait: boolean): void;
+import type { TargetInfo } from "../../target";
+export declare function generateAsyncRuntime(emitter: Emitter, targetInfo: TargetInfo, _debugAsyncAwait: boolean): void;

package/out/types/src/codegen/async/state-machine.d.ts

@@ -1,7 +1,23 @@
-import type { AwaitAnalysisResult, AwaitPoint } from "../../evaluator/async/await-analysis";
+import type { AwaitAnalysisResult, AwaitPoint, CapturedVariable } from "../../evaluator/async/await-analysis";
 import { type Expr } from "../../expr";
 import type { DynType, SomeType, StructType, Type } from "../../types/definitions";
 import type { FunctionGenerationContext } from "../functions/context";
+export interface CrossBoundaryResult {
+    crossBoundaryIds: Set<string>;
+    awaitFutureTempVarAliases: Map<string, string>;
+    variableSegments: Map<string, Set<number>>;
+}
+export declare function computeCrossBoundaryVariables(bodyExpr: Expr, analysis: AwaitAnalysisResult): CrossBoundaryResult;
+export interface OverlappingSlot {
+    fieldName: string;
+    cType: string;
+    variableNames: string[];
+}
+export interface OverlappingStorageResult {
+    slotAliases: Map<string, string>;
+    slots: OverlappingSlot[];
+}
+export declare function computeOverlappingSlots(crossBoundaryIds: Set<string>, variableSegments: Map<string, Set<number>>, capturedVariables: CapturedVariable[], awaitFutureTempVarAliases: Map<string, string>, context: FunctionGenerationContext): OverlappingStorageResult;
 export declare function getFutureFieldName(awaitPoint: AwaitPoint, analysis: AwaitAnalysisResult): string;
 export declare function isIoFutureType(type: Type | undefined): boolean;
 export interface StateMachineInfo {
@@ -10,5 +26,5 @@ export interface StateMachineInfo {
     analysis: AwaitAnalysisResult;
 }
 export declare function generateResumeFunctionDeclaration(info: StateMachineInfo, context: FunctionGenerationContext): void;
-export declare function getStateMachineFieldName(variableId: string, kind?: "outer" | "local"): string;
+export declare function getStateMachineFieldName(variableId: string, kind?: "outer" | "local", aliases?: Map<string, string>): string;
 export declare function generateAsyncBlockResumeFunction(bodyExpr: Expr, asyncBlockId: string, structName: string, resumeFunctionName: string, analysis: AwaitAnalysisResult, futureType: SomeType | DynType, captureType: StructType | undefined, context: FunctionGenerationContext): string[];

package/out/types/src/codegen/functions/context.d.ts

@@ -25,6 +25,7 @@ export interface FunctionGenerationContext extends CodeGenContext {
         futureType: SomeType | DynType;
     };
     stateMachineVariables?: Map<string, CapturedVariable>;
+    stateMachineFieldAliases?: Map<string, string>;
     inEffectStateMachine?: unknown;
     isModuleEffectMemberFunction?: boolean;
     currentEvidenceParams?: Map<string, EvidenceParameter>;
@@ -74,6 +75,7 @@ export interface FunctionGenerationContext extends CodeGenContext {
     }>;
     asyncWhileLoopInfo?: Map<number, {
         conditionExpr: Expr;
+        stepExpr?: Expr;
         bodyExpr: Expr;
         bodyExprsAfterAwait?: Expr[];
         condBranchPostWhileExprs?: {
@@ -86,6 +88,7 @@ export interface FunctionGenerationContext extends CodeGenContext {
         outerWhileLoop?: {
             whileLoopIndex: number;
             conditionExpr: Expr;
+            stepExpr?: Expr;
             bodyExpr: Expr;
             bodyExprsAfterAwait: Expr[];
         };
@@ -108,4 +111,6 @@ export interface FunctionGenerationContext extends CodeGenContext {
     effectSmConsumedArgCNames?: Set<string>;
     loopBodyDropsBaselineCount?: number;
     overrideReturnTypeStr?: string;
+    usesAsync?: boolean;
+    usesParallelism?: boolean;
 }

package/out/types/src/codegen/parallelism/runtime.d.ts

@@ -1,2 +1,3 @@
 import { Emitter } from "../../emitter";
-export declare function generateParallelismRuntime(emitter: Emitter, _debugParallelism: boolean): void;
+import type { TargetInfo } from "../../target";
+export declare function generateParallelismRuntime(emitter: Emitter, _debugParallelism: boolean, targetInfo: TargetInfo): void;

package/out/types/src/codegen/utils/index.d.ts

@@ -2,6 +2,7 @@ import { Emitter } from "../../emitter";
 import { type Environment } from "../../env";
 import { type Expr } from "../../expr";
 import type { FunctionValue, FuncValueId } from "../../function-value";
+import type { TargetInfo } from "../../target";
 import type { ArcType, DynType, EnumType, FunctionType, IsoType, StructType, Type, TypeId } from "../../types/definitions";
 import { type TraitValue } from "../../value";
 export interface CodeGenContext {
@@ -66,6 +67,7 @@ export interface CodeGenContext {
     debugGc: boolean;
     debugParallelism: boolean;
     debugAsyncAwait: boolean;
+    targetInfo: TargetInfo;
     allocator: "mimalloc" | "libc";
     dynImpls: Map<string, {
         dynType: DynType;

package/out/types/src/expr.d.ts

@@ -69,6 +69,7 @@ export interface EvaluatedExprData {
     };
     isCompileTimeOnlyAssignment?: boolean;
     isAnonymousFunctionDefinition?: boolean;
+    comptimeUnrolledBodies?: Expr[];
 }
 export type AtomExpr = {
     tag: ExprTag.Atom;

package/out/types/src/target.d.ts

@@ -26,3 +26,4 @@ export declare function isTargetLinux(target: TargetInfo): boolean;
 export declare function isTargetMacos(target: TargetInfo): boolean;
 export declare function isTargetMSVC(target: TargetInfo): boolean;
 export declare function isTargetWasm(target: TargetInfo): boolean;
+export declare function isTargetPosix(target: TargetInfo): boolean;