@markw65/monkeyc-optimizer 1.1.15 → 1.1.16

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

@@ -7,8 +7,8 @@ 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;

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>>;