@markw65/monkeyc-optimizer 1.1.15 → 1.1.17

package/build/src/api.d.ts

@@ -26,7 +26,7 @@ export declare function findNamesInScope(declStack: StateNode[][], pattern: stri
     parent: StateNode;
     depth: number;
 }][];
-export declare function mapVarDeclsByType(state: ProgramStateAnalysis, decls: StateNodeDecl[], node: mctree.Node, typeMap: TypeMap | null | undefined): (ModuleStateNode | FunctionStateNode | ClassStateNode | TypedefStateNode | ProgramStateNode | import("./optimizer-types").BlockStateNode | VariableStateNode | EnumStateNode | mctree.EnumStringMember | mctree.Identifier | mctree.AsIdentifier)[];
+export declare function mapVarDeclsByType(state: ProgramStateAnalysis, decls: StateNodeDecl[], node: mctree.Node, typeMap: TypeMap | null | undefined): (mctree.Identifier | mctree.EnumStringMember | mctree.AsIdentifier | ModuleStateNode | FunctionStateNode | ClassStateNode | TypedefStateNode | ProgramStateNode | import("./optimizer-types").BlockStateNode | VariableStateNode | EnumStateNode)[];
 export declare function formatAstLongLines(node: mctree.Node): string;
 export declare function createDocumentationMap(functionDocumentation: {
     name: string;

package/build/src/logger.d.ts

@@ -1,4 +1,6 @@
 export declare function logger(module: string, level: number, message: unknown): void;
 export declare function wouldLog(module: string, level: number): boolean;
+export declare function bumpLogging(module: string | null, amount: number): void;
+export declare function setBanner(b: (() => string) | null): void;
 export declare function log(message: unknown): void;
 export declare function setLogger(log: (message: string) => void): void;

package/build/src/optimizer.d.ts

@@ -1,14 +1,14 @@
 import { mctree } from "@markw65/prettier-plugin-monkeyc";
-import { get_jungle, JungleBuildDependencies, JungleError, JungleResourceMap, ResolvedJungle, Target } from "./jungles";
+import { get_jungle, JungleBuildDependencies, JungleError, JungleQualifier, JungleResourceMap, ResolvedJungle, Target } from "./jungles";
 import { launchSimulator, simulateProgram } from "./launch";
 import { manifestProducts } from "./manifest";
-import { BuildConfig, FilesToOptimizeMap, ProgramStateAnalysis } from "./optimizer-types";
+import { BuildConfig, FilesToOptimizeMap, ProgramState, ProgramStateAnalysis } from "./optimizer-types";
 import { xmlUtil } from "./sdk-util";
 import { TypeMap } from "./type-flow/interp";
 import { copyRecursiveAsNeeded } from "./util";
 export * from "./optimizer-types";
-export { display } from "./type-flow/types";
-export { copyRecursiveAsNeeded, get_jungle, JungleBuildDependencies, JungleError, JungleResourceMap, launchSimulator, manifestProducts, mctree, ResolvedJungle, simulateProgram, };
+export { display, ExactOrUnion } from "./type-flow/types";
+export { copyRecursiveAsNeeded, get_jungle, JungleBuildDependencies, JungleError, JungleResourceMap, launchSimulator, manifestProducts, mctree, ResolvedJungle, simulateProgram, TypeMap, };
 export declare const defaultConfig: {
     outputPath: string;
     workspace: string;
@@ -80,6 +80,16 @@ export declare type Analysis = {
     state: ProgramStateAnalysis;
     typeMap?: TypeMap | null | undefined;
 };
+/**
+ * @param {BuildConfig} config
+ * @param {*} buildConfig
+ * @param {string[]} dependencyFiles
+ * @returns
+ */
+export declare function generateOneConfig(buildConfig: JungleQualifier, manifestXML: xmlUtil.Document, dependencyFiles: string[], config: BuildConfig): Promise<{
+    hasTests: boolean;
+    diagnostics: ProgramState["diagnostics"];
+}>;
 export declare function getProjectAnalysis(targets: Target[], analysis: PreAnalysis | null, manifestXML: xmlUtil.Document, options: BuildConfig): Promise<Analysis | PreAnalysis>;
 /**
  *

package/build/src/readprg/array-init.d.ts

@@ -0,0 +1,2 @@
+import { Block, Context, FuncEntry } from "./bytecode";
+export declare function optimizeArrayInit(func: FuncEntry, block: Block, index: number, context: Context): boolean;

package/build/src/readprg/bytecode.d.ts

@@ -29,6 +29,7 @@ export declare type Context = {
     bytecodes: Bytecode[];
     key?: crypto.KeyObject;
     debugXml: xmlUtil.Document;
+    nextOffset: number;
 };
 export declare type Block = {
     offset: number;
@@ -36,6 +37,7 @@ export declare type Block = {
     try?: ExceptionEntry[];
     next?: number;
     taken?: number;
+    exsucc?: number;
     preds?: Set<number>;
 };
 export declare type FuncEntry = {
@@ -46,12 +48,17 @@ export declare type FuncEntry = {
 export declare function offsetToString(offset: number): string;
 export declare function fixSectionSize(section: SectionKinds, sections: Context["sections"], newSize: number): void;
 export declare function optimizeBytecode(context: Context): void;
+export declare function functionBanner(func: FuncEntry, context: Context | null, pass: string): () => string;
 export declare function printFunction(func: FuncEntry, context: Context | null): void;
+export declare function functionToString(func: FuncEntry, context: Context | null): string;
 export declare function blockToString(block: Block, context: Context | null): string;
 export declare function bytecodeToString(bytecode: Bytecode, symbolTable: SymbolTable | null | undefined): string;
 export declare function findFunctions({ bytecodes, symbolTable, exceptionsMap, }: Context): Map<number, FuncEntry>;
 export declare function makeArgless(bc: Bytecode, op: Opcodes): void;
 export declare function equalBlocks(b1: Block, b2: Block): boolean;
+export declare function removeBlock(func: FuncEntry, offset: number): void;
 export declare function removePred(func: FuncEntry, target: number, pred: number): void;
 export declare function addPred(func: FuncEntry, target: number, pred: number): void;
-export declare function redirect(func: FuncEntry, block: Block, from: number, to: number): boolean;
+export declare function redirect(func: FuncEntry, block: Block, from: number, to: number | null | undefined): boolean;
+export declare function splitBlock(func: FuncEntry, block: Block, offset: number): void;
+export declare function countFallthroughPreds(func: FuncEntry, block: Block): number;

package/build/src/readprg/dce.d.ts

@@ -1,2 +1,2 @@
-import { FuncEntry, Context } from "./bytecode";
+import { Context, FuncEntry } from "./bytecode";
 export declare function localDCE(func: FuncEntry, context: Context): boolean;

package/build/src/readprg/emit.d.ts

@@ -1,4 +1,5 @@
 import { Context, FuncEntry } from "./bytecode";
+import { ExceptionsMap } from "./exceptions";
 import { LineNumber } from "./linenum";
 export declare type LocalsMap = Map<number, {
     startPc: number;
@@ -8,5 +9,6 @@ export declare type UpdateInfo = {
     offsetMap: Map<number, number>;
     localsMap: Map<FuncEntry, LocalsMap>;
     lineMap: LineNumber[];
+    exceptionsMap: ExceptionsMap;
 };
 export declare function emitFunc(func: FuncEntry, view: DataView, start: number, updateInfo: UpdateInfo, context: Context): number;

package/build/src/readprg/exceptions.d.ts

@@ -1,4 +1,5 @@
 import { Context } from "./bytecode";
+import { UpdateInfo } from "./emit";
 export declare type ExceptionEntry = {
     tryStart: number;
     tryEnd: number;
@@ -6,4 +7,4 @@ export declare type ExceptionEntry = {
 };
 export declare type ExceptionsMap = Map<number, ExceptionEntry[]>;
 export declare function parseExceptions(view: DataView): ExceptionsMap;
-export declare function fixupExceptions(context: Context, offsetMap: Map<number, number>): void;
+export declare function fixupExceptions(context: Context, updateInfo: UpdateInfo): void;

package/build/src/type-flow/dead-store.d.ts

@@ -1,5 +1,5 @@
 import { mctree } from "@markw65/prettier-plugin-monkeyc";
-import { NodeEquivMap } from "src/type-flow";
+import { NodeEquivMap } from "../type-flow";
 import { FunctionStateNode, ProgramStateAnalysis } from "../optimizer-types";
 import { TypeFlowBlock, TypeStateKey } from "./type-flow-util";
 export declare type CopyPropStores = Map<mctree.Node, {

package/build/src/util.d.ts

@@ -1,5 +1,5 @@
-import * as glob from "fast-glob";
-export { logger, log, wouldLog } from "./logger";
+import glob from "fast-glob";
+export { logger, log, wouldLog, setBanner, bumpLogging } from "./logger";
 export declare function globa(pattern: string, options?: glob.Options & {
     mark?: boolean;
 }): Promise<Array<string>>;

package/build/src/worker-pool.d.ts

@@ -1,4 +1,4 @@
 import type { WorkerTask, WorkerTaskResult } from "./worker-task";
-export declare function startPool(parallelism?: number): void;
+export declare function startPool(parallelism?: number): boolean;
 export declare function stopPool(): void;
 export declare function runTaskInPool<T extends WorkerTask>(task: T): Promise<WorkerTaskResult<T>>;

package/build/src/worker-task.d.ts

@@ -1,4 +1,6 @@
+import { JungleQualifier } from "./jungles";
 import { BuildConfig } from "./optimizer";
+import { xmlUtil } from "./sdk-util";
 interface BaseNode {
     type: string;
     data: unknown;
@@ -10,13 +12,22 @@ interface BuildOptimizedProject extends BaseNode {
         options: BuildConfig;
     };
 }
+interface GenerateOneConfig extends BaseNode {
+    type: "generateOneConfig";
+    data: {
+        buildConfig: JungleQualifier;
+        manifestXML: xmlUtil.Document;
+        dependencyFiles: string[];
+        config: BuildConfig;
+    };
+}
 interface GenerateOptimizedProject extends BaseNode {
     type: "generateOptimizedProject";
     data: {
         options: BuildConfig;
     };
 }
-export declare type WorkerTask = BuildOptimizedProject | GenerateOptimizedProject;
+export declare type WorkerTask = BuildOptimizedProject | GenerateOptimizedProject | GenerateOneConfig;
 export declare const workerTaskHandlers: {
     readonly buildOptimizedProject: (data: BuildOptimizedProject["data"]) => Promise<{
         exe: string;
@@ -28,17 +39,21 @@ export declare const workerTaskHandlers: {
     }>;
     readonly generateOptimizedProject: (data: GenerateOptimizedProject["data"]) => Promise<{
         jungleFiles: string | undefined;
-        xml: import("./xml-util").Document;
+        xml: xmlUtil.Document;
         program: string;
         hasTests: boolean;
         diagnostics?: undefined;
     } | {
         jungleFiles: string;
-        xml: import("./xml-util").Document;
+        xml: xmlUtil.Document;
         program: string;
         hasTests: boolean;
         diagnostics: Record<string, import("./optimizer-types").Diagnostic[]>;
     }>;
+    readonly generateOneConfig: (data: GenerateOneConfig["data"]) => Promise<{
+        hasTests: boolean;
+        diagnostics: Record<string, import("./optimizer-types").Diagnostic[]> | undefined;
+    }>;
 };
 declare type RemovePromise<T> = T extends Promise<infer U> ? U : T;
 export declare type WorkerTaskResult<T> = T extends WorkerTask ? RemovePromise<ReturnType<typeof workerTaskHandlers[T["type"]]>> : never;