@markw65/monkeyc-optimizer 1.1.10 → 1.1.12

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): (ModuleStateNode | FunctionStateNode | ClassStateNode | TypedefStateNode | ProgramStateNode | mctree.Identifier | mctree.EnumStringMember | mctree.AsIdentifier | import("./optimizer-types").BlockStateNode | VariableStateNode | EnumStateNode)[];
 export declare function formatAstLongLines(node: mctree.Node): string;
 export declare function createDocumentationMap(functionDocumentation: {
     name: string;

package/build/src/control-flow.d.ts

@@ -14,7 +14,7 @@ export declare type Block<T extends EventConstraint<T>> = {
     bogopred?: Block<T>;
     events?: T[];
 };
-export declare function buildReducedGraph<T extends EventConstraint<T>>(state: ProgramStateAnalysis, func: FunctionStateNode, notice: (node: mctree.Node, stmt: mctree.Node, mayThrow: boolean | 1) => T | T[] | null): Block<T>;
+export declare function buildReducedGraph<T extends EventConstraint<T>>(state: ProgramStateAnalysis, func: FunctionStateNode, refsForUpdate: boolean, notice: (node: mctree.Node, stmt: mctree.Node, mayThrow: boolean | 1, containedEvents: () => T[]) => T | T[] | null): Block<T>;
 export declare function postOrderTraverse<T extends EventConstraint<T>>(head: Block<T>, visitor: (block: Block<T>) => void): void;
 export declare function preOrderTraverse<T extends EventConstraint<T>>(head: Block<T>, visitor: (block: Block<T>) => void): void;
 export declare function getPostOrder<T extends EventConstraint<T>>(head: Block<T>): Block<T>[];

package/build/src/data-flow.d.ts

@@ -27,6 +27,7 @@ export interface DefEvent extends BaseEvent {
     node: mctree.AssignmentExpression | mctree.UpdateExpression | mctree.VariableDeclarator;
     decl: EventDecl;
     rhs?: EventDecl;
+    containedEvents?: Array<RefEvent | ModEvent>;
 }
 export interface ModEvent extends BaseEvent {
     type: "mod";
@@ -98,7 +99,7 @@ export declare function declName(decl: EventDecl): string | undefined;
 export declare function unhandledType(node: never): never;
 export declare function buildDataFlowGraph(state: ProgramStateAnalysis, func: FunctionStateNode, wantsLiteral: (literal: mctree.Literal) => boolean, trackInsertionPoints: boolean, wantsAllRefs: boolean): {
     identifiers: Set<string>;
-    graph: Block<RefEvent | KillEvent | DefEvent | ModEvent | FlowEventDecl | FlowEventNode | FlowEventTruthy | FlowEventInstanceof | ExnEvent>;
+    graph: Block<Event>;
 };
 export declare class DataflowQueue {
     private enqueued;

package/build/src/inliner.d.ts

@@ -1,6 +1,7 @@
 import { mctree } from "@markw65/prettier-plugin-monkeyc";
 import { FunctionStateNode, ProgramStateAnalysis } from "./optimizer-types";
 export declare function inlinableSubExpression(expr: mctree.Expression): mctree.SimpleCallExpression | null;
+export declare function inlineRequested(state: ProgramStateAnalysis, func: FunctionStateNode): boolean;
 export declare function shouldInline(state: ProgramStateAnalysis, func: FunctionStateNode, call: mctree.CallExpression, context: InlineContext | null): boolean;
 declare type InlineBody = mctree.BlockStatement | mctree.ExpressionStatement["expression"];
 export declare function unused(state: ProgramStateAnalysis, expression: mctree.ExpressionStatement["expression"]): mctree.Statement[];

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

@@ -37,6 +37,8 @@ export declare type BuildConfig = {
     useLocalOptimizer?: boolean;
     propagateTypes?: boolean;
     trustDeclaredTypes?: boolean;
+    minimizeLocals?: boolean;
+    singleUseCopyProp?: boolean;
     covarianceWarnings?: boolean;
     checkTypes?: DiagnosticType | "OFF";
 };

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

@@ -2,9 +2,17 @@ import { mctree } from "@markw65/prettier-plugin-monkeyc";
 import { NodeEquivMap } from "src/type-flow";
 import { FunctionStateNode, ProgramStateAnalysis } from "../optimizer-types";
 import { TypeFlowBlock, TypeStateKey } from "./type-flow-util";
-export declare function findDeadStores(func: FunctionStateNode, graph: TypeFlowBlock, nodeEquivs: NodeEquivMap | null, logThisRun: boolean): {
+export declare type CopyPropStores = Map<mctree.Node, {
+    ref: mctree.Node;
+    ant: boolean;
+}>;
+export declare function findDeadStores(func: FunctionStateNode, graph: TypeFlowBlock, nodeEquivs: NodeEquivMap | null, findCopyPropCandidates: boolean, logThisRun: boolean): {
     deadStores: Set<mctree.Node>;
     locals: Set<TypeStateKey>;
     localConflicts: Map<TypeStateKey, Set<TypeStateKey>> | null;
+    copyPropStores: CopyPropStores;
+};
+export declare function eliminateDeadStores(state: ProgramStateAnalysis, func: FunctionStateNode, graph: TypeFlowBlock, logThisRun: boolean): {
+    changes: boolean;
+    copyPropStores: CopyPropStores;
 };
-export declare function eliminateDeadStores(state: ProgramStateAnalysis, func: FunctionStateNode, graph: TypeFlowBlock, logThisRun: boolean): boolean;

package/build/src/type-flow/interp-call.d.ts

@@ -12,5 +12,5 @@ declare type SysCallHelperResult = {
     argEffects?: true;
 };
 declare type SysCallHelper = (state: ProgramStateAnalysis, func: FunctionStateNode, calleeObj: ExactOrUnion, getArgs: () => Array<ExactOrUnion>) => SysCallHelperResult;
-export declare function sysCallInfo(func: FunctionStateNode): SysCallHelper | null;
+export declare function sysCallInfo(state: ProgramStateAnalysis, func: FunctionStateNode): SysCallHelper | null;
 export {};

package/build/src/type-flow/type-flow-util.d.ts

@@ -6,6 +6,7 @@ import { ExactOrUnion } from "./types";
 export { TypeFlowBlock };
 export declare function isTypeStateKey(decl: EventDecl): decl is TypeStateKey;
 export declare function declIsLocal(decl: EventDecl): decl is VariableStateNode | VariableStateNode[] | mctree.TypedIdentifier;
+export declare function declIsNonLocal(decl: EventDecl): decl is VariableStateNode | VariableStateNode[];
 export declare function localDeclName(decl: EventDecl): string;
 export declare type TypeStateKey = Exclude<EventDecl, {
     type: "MemberDecl" | "Unknown";

package/build/src/type-flow/types.d.ts

@@ -26,7 +26,7 @@ export declare const enum TypeTag {
     Typedef = 262144,
     Any = 524287
 }
-export declare function typeTagName(tag: TypeTag): "Never" | "Null" | "False" | "True" | "Boolean" | "Number" | "Long" | "Float" | "Double" | "Decimal" | "Numeric" | "Char" | "String" | "Array" | "Dictionary" | "Method" | "Module" | "Function" | "Class" | "Object" | "Enum" | "Symbol" | "Typedef" | "Any";
+export declare function typeTagName(tag: TypeTag): "Number" | "Float" | "Double" | "Long" | "String" | "Char" | "Boolean" | "Null" | "Object" | "Symbol" | "Never" | "False" | "True" | "Decimal" | "Numeric" | "Array" | "Dictionary" | "Method" | "Module" | "Function" | "Class" | "Enum" | "Typedef" | "Any";
 export declare const LastTypeTag = TypeTag.Typedef;
 export declare const SingletonTypeTagsConst: number;
 export declare const UnionDataTypeTagsConst: number;

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

@@ -1,5 +1,5 @@
 import { mctree } from "@markw65/prettier-plugin-monkeyc";
-import { EventDecl } from "./data-flow";
+import { Event, EventDecl } from "./data-flow";
 import { FunctionStateNode, ProgramStateAnalysis } from "./optimizer-types";
 import { InterpState } from "./type-flow/interp";
 import { TypeStateKey } from "./type-flow/type-flow-util";
@@ -10,7 +10,7 @@ export declare type NodeEquivMap = Map<mctree.Node, {
 }>;
 export declare function buildTypeInfo(state: ProgramStateAnalysis, func: FunctionStateNode, optimizeEquivalencies: boolean): InterpState | undefined;
 export declare function buildConflictGraph(state: ProgramStateAnalysis, func: FunctionStateNode): {
-    graph: import("./control-flow").Block<import("./data-flow").RefEvent | import("./data-flow").KillEvent | import("./data-flow").DefEvent | import("./data-flow").ModEvent | import("./data-flow").FlowEventDecl | import("./data-flow").FlowEventNode | import("./data-flow").FlowEventTruthy | import("./data-flow").FlowEventInstanceof | import("./data-flow").ExnEvent>;
+    graph: import("./control-flow").Block<Event>;
     localConflicts: Map<TypeStateKey, Set<TypeStateKey>> | null;
     locals: Set<TypeStateKey>;
     identifiers: Set<string>;

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@markw65/monkeyc-optimizer",
   "type": "module",
-  "version": "1.1.10",
+  "version": "1.1.12",
   "description": "Source to source optimizer for Garmin Monkey C code",
   "main": "build/optimizer.cjs",
   "types": "build/src/optimizer.d.ts",
@@ -40,7 +40,7 @@
   "author": "markw65",
   "license": "MIT",
   "dependencies": {
-    "@markw65/prettier-plugin-monkeyc": "^1.0.43"
+    "@markw65/prettier-plugin-monkeyc": "^1.0.45"
   },
   "devDependencies": {
     "@types/chai": "^4.3.4",