@markw65/monkeyc-optimizer 1.1.14 → 1.1.15

package/build/src/optimizer-types.d.ts

@@ -41,6 +41,7 @@ export declare type BuildConfig = {
     minimizeModules?: boolean;
     postBuildOptimizer?: boolean;
     singleUseCopyProp?: boolean;
+    iterateOptimizer?: boolean;
     covarianceWarnings?: boolean;
     checkTypes?: DiagnosticType | "OFF";
 };

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

@@ -36,6 +36,7 @@ export declare type Block = {
     try?: ExceptionEntry[];
     next?: number;
     taken?: number;
+    preds?: Set<number>;
 };
 export declare type FuncEntry = {
     name?: string;
@@ -46,5 +47,11 @@ 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 printFunction(func: FuncEntry, context: Context | null): void;
+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 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;

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

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

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

@@ -252,9 +252,12 @@ export interface Argc extends ByteArg {
 }
 export declare type Bytecode = Nop | Incsp | Popv | Addv | Subv | Mulv | Divv | Andv | Orv | Modv | Shlv | Shrv | Xorv | Getv | Putv | Invokem | Agetv | Aputv | Lgetv | Lputv | Newa | Newc | Return | Ret | News | Goto | Eq | Lt | Lte | Gt | Gte | Ne | Isnull | Isa | Canhazplz | Jsr | Ts | Ipush | Fpush | Spush | Bt | Bf | Frpush | Bpush | Npush | Invv | Dup | Newd | Getm | Lpush | Dpush | Throw | Cpush | Argc | Newba;
 export declare function parseCode(view: DataView, lineTable: Map<number, LineNumber>): Bytecode[];
+export declare function opcodeSize(op: Opcodes): 1 | 2 | 3 | 5 | 9;
 export declare function emitBytecode(bytecode: Bytecode, view: DataView, offset: number, linktable: Map<number, number>): number;
 export declare function getOpInfo(bytecode: Bytecode): {
     pop: number;
     push: number;
 };
+export declare function isBoolOp(op: Opcodes): boolean;
+export declare function isCondBranch(op: Opcodes): boolean;
 export {};

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

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

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@markw65/monkeyc-optimizer",
   "type": "module",
-  "version": "1.1.14",
+  "version": "1.1.15",
   "description": "Source to source optimizer for Garmin Monkey C code",
   "main": "build/optimizer.cjs",
   "types": "build/src/optimizer.d.ts",