@markw65/monkeyc-optimizer 1.1.81 → 1.1.83

package/build/optimizer.cjs

@@ -18,30 +18,30 @@ var __copyProps = (to, from, except, desc) => {
 var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
 var optimizer_exports = {};
 __export(optimizer_exports, {
-  StateNodeAttributes: () => import_chunk_W4QVHCFN.StateNodeAttributes,
-  buildConfigDescription: () => import_chunk_W4QVHCFN.buildConfigDescription,
-  buildOptimizedProject: () => import_chunk_W4QVHCFN.buildOptimizedProject,
+  StateNodeAttributes: () => import_chunk_UNU55JJ3.StateNodeAttributes,
+  buildConfigDescription: () => import_chunk_UNU55JJ3.buildConfigDescription,
+  buildOptimizedProject: () => import_chunk_UNU55JJ3.buildOptimizedProject,
   copyRecursiveAsNeeded: () => import_chunk_X7QCZR3F.copyRecursiveAsNeeded,
-  defaultConfig: () => import_chunk_W4QVHCFN.defaultConfig,
-  display: () => import_chunk_W4QVHCFN.display,
-  generateOneConfig: () => import_chunk_W4QVHCFN.generateOneConfig,
-  generateOptimizedProject: () => import_chunk_W4QVHCFN.generateOptimizedProject,
-  getConfig: () => import_chunk_W4QVHCFN.getConfig,
-  getFnMapAnalysis: () => import_chunk_W4QVHCFN.getFnMapAnalysis,
-  getProjectAnalysis: () => import_chunk_W4QVHCFN.getProjectAnalysis,
-  get_jungle: () => import_chunk_W4QVHCFN.get_jungle,
-  isErrorWithLocation: () => import_chunk_W4QVHCFN.isErrorWithLocation,
-  launchSimulator: () => import_chunk_W4QVHCFN.launchSimulator,
-  manifestProducts: () => import_chunk_W4QVHCFN.manifestProducts,
-  mctree: () => import_chunk_W4QVHCFN.mctree,
-  simulateProgram: () => import_chunk_W4QVHCFN.simulateProgram
+  defaultConfig: () => import_chunk_UNU55JJ3.defaultConfig,
+  display: () => import_chunk_UNU55JJ3.display,
+  generateOneConfig: () => import_chunk_UNU55JJ3.generateOneConfig,
+  generateOptimizedProject: () => import_chunk_UNU55JJ3.generateOptimizedProject,
+  getConfig: () => import_chunk_UNU55JJ3.getConfig,
+  getFnMapAnalysis: () => import_chunk_UNU55JJ3.getFnMapAnalysis,
+  getProjectAnalysis: () => import_chunk_UNU55JJ3.getProjectAnalysis,
+  get_jungle: () => import_chunk_UNU55JJ3.get_jungle,
+  isErrorWithLocation: () => import_chunk_UNU55JJ3.isErrorWithLocation,
+  launchSimulator: () => import_chunk_UNU55JJ3.launchSimulator,
+  manifestProducts: () => import_chunk_UNU55JJ3.manifestProducts,
+  mctree: () => import_chunk_UNU55JJ3.mctree,
+  simulateProgram: () => import_chunk_UNU55JJ3.simulateProgram
 });
 module.exports = __toCommonJS(optimizer_exports);
-var import_chunk_W4QVHCFN = require("./chunk-W4QVHCFN.cjs");
+var import_chunk_UNU55JJ3 = require("./chunk-UNU55JJ3.cjs");
 var import_chunk_X7QCZR3F = require("./chunk-X7QCZR3F.cjs");
 var import_chunk_JDC43A3I = require("./chunk-JDC43A3I.cjs");
 var import_chunk_ABYVSU2C = require("./chunk-ABYVSU2C.cjs");
-(0, import_chunk_W4QVHCFN.init_optimizer)();
+(0, import_chunk_UNU55JJ3.init_optimizer)();
 // Annotate the CommonJS export names for ESM import in node:
 0 && (module.exports = {
   StateNodeAttributes,

package/build/sdk-util.cjs

@@ -18,25 +18,25 @@ var __copyProps = (to, from, except, desc) => {
 var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
 var sdk_util_exports = {};
 __export(sdk_util_exports, {
-  SectionKinds: () => import_chunk_W4QVHCFN.SectionKinds,
-  appSupport: () => import_chunk_W4QVHCFN.appSupport,
-  connectiq: () => import_chunk_W4QVHCFN.connectiq,
-  getDeviceInfo: () => import_chunk_W4QVHCFN.getDeviceInfo,
-  getFunctionDocumentation: () => import_chunk_W4QVHCFN.getFunctionDocumentation,
-  getLanguages: () => import_chunk_W4QVHCFN.getLanguages,
-  getSdkPath: () => import_chunk_W4QVHCFN.getSdkPath,
-  isWin: () => import_chunk_W4QVHCFN.isWin,
-  optimizeProgram: () => import_chunk_W4QVHCFN.optimizeProgram,
-  readPrg: () => import_chunk_W4QVHCFN.readPrg,
-  readPrgWithOffsets: () => import_chunk_W4QVHCFN.readPrgWithOffsets,
-  xmlUtil: () => import_chunk_W4QVHCFN.xml_util_exports
+  SectionKinds: () => import_chunk_UNU55JJ3.SectionKinds,
+  appSupport: () => import_chunk_UNU55JJ3.appSupport,
+  connectiq: () => import_chunk_UNU55JJ3.connectiq,
+  getDeviceInfo: () => import_chunk_UNU55JJ3.getDeviceInfo,
+  getFunctionDocumentation: () => import_chunk_UNU55JJ3.getFunctionDocumentation,
+  getLanguages: () => import_chunk_UNU55JJ3.getLanguages,
+  getSdkPath: () => import_chunk_UNU55JJ3.getSdkPath,
+  isWin: () => import_chunk_UNU55JJ3.isWin,
+  optimizeProgram: () => import_chunk_UNU55JJ3.optimizeProgram,
+  readPrg: () => import_chunk_UNU55JJ3.readPrg,
+  readPrgWithOffsets: () => import_chunk_UNU55JJ3.readPrgWithOffsets,
+  xmlUtil: () => import_chunk_UNU55JJ3.xml_util_exports
 });
 module.exports = __toCommonJS(sdk_util_exports);
-var import_chunk_W4QVHCFN = require("./chunk-W4QVHCFN.cjs");
+var import_chunk_UNU55JJ3 = require("./chunk-UNU55JJ3.cjs");
 var import_chunk_X7QCZR3F = require("./chunk-X7QCZR3F.cjs");
 var import_chunk_JDC43A3I = require("./chunk-JDC43A3I.cjs");
 var import_chunk_ABYVSU2C = require("./chunk-ABYVSU2C.cjs");
-(0, import_chunk_W4QVHCFN.init_sdk_util)();
+(0, import_chunk_UNU55JJ3.init_sdk_util)();
 // Annotate the CommonJS export names for ESM import in node:
 0 && (module.exports = {
   SectionKinds,

package/build/src/api.d.ts

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

package/build/src/build-config.d.ts

@@ -42,7 +42,7 @@ export type BuildConfig = {
     postBuildOptimizer?: boolean;
     singleUseCopyProp?: boolean;
     iterateOptimizer?: boolean;
-    covarianceWarnings?: boolean;
+    extraReferenceTypeChecks?: boolean;
     checkTypes?: DiagnosticType | "OFF";
     strictTypeCheck?: "On" | "Off" | "Default";
     removeArgc?: boolean;

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

@@ -138,6 +138,7 @@ export type ProgramState = {
     allClasses?: ClassStateNode[];
     nestedClasses?: Record<string, ClassStateNode[]>;
     allModules?: Set<ModuleStateNode>;
+    allTypedefs?: Set<TypedefStateNode>;
     invokeInfo?: FunctionInfo;
     allDeclarations?: Record<string, ByNameStateNodeDecls[]>;
     fnMap?: FilesToOptimizeMap;
@@ -191,7 +192,7 @@ export type Finalized<T, Keys extends keyof T> = T & {
     [key in Keys]-?: NonNullable<T[key]>;
 };
 export type ProgramStateLive = Finalized<ProgramState, "stack" | "top" | "lookup" | "lookupValue" | "lookupType" | "lookupNonlocal" | "stackClone" | "traverse" | "index" | "constants" | "removeNodeComments" | "inType" | "nextExposed" | "lookupRules">;
-export type ProgramStateAnalysis = Finalized<ProgramStateLive, "allClasses" | "nestedClasses" | "allModules" | "allFunctions" | "fnMap" | "allDeclarations" | "invokeInfo">;
+export type ProgramStateAnalysis = Finalized<ProgramStateLive, "allClasses" | "nestedClasses" | "allModules" | "allTypedefs" | "allFunctions" | "fnMap" | "allDeclarations" | "invokeInfo">;
 export type ProgramStateOptimizer = Finalized<ProgramStateAnalysis, "localsStack" | "exposed" | "calledFunctions" | "usedByName">;
 export type ExcludeAnnotationsMap = {
     [key: string]: boolean;

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

@@ -10,7 +10,8 @@ type SysCallHelperResult = {
     argTypes?: ExactOrUnion[];
     effectFree?: true;
     argEffects?: true;
+    diagnostic?: string;
 };
-type SysCallHelper = (state: ProgramStateAnalysis, func: FunctionStateNode, calleeObj: ExactOrUnion, getArgs: () => Array<ExactOrUnion>) => SysCallHelperResult;
+type SysCallHelper = (istate: InterpState, func: FunctionStateNode, calleeObj: ExactOrUnion, getArgs: () => Array<ExactOrUnion>) => SysCallHelperResult;
 export declare function sysCallInfo(state: ProgramStateAnalysis, func: FunctionStateNode): SysCallHelper | null;
 export {};

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

@@ -102,7 +102,7 @@ export interface StringType extends AbstractValue {
 }
 export interface ArrayType extends AbstractValue {
     type: TypeTag.Array;
-    value?: ExactOrUnion | ExactOrUnion[] | undefined;
+    value?: ExactOrUnion | ExactOrUnion[] | Set<ExactOrUnion | ExactOrUnion[]> | undefined;
 }
 export interface DictionaryType extends AbstractValue {
     type: TypeTag.Dictionary;
@@ -144,11 +144,8 @@ export interface ObjectType extends AbstractValue {
 export interface EnumType extends AbstractValue {
     type: TypeTag.Enum;
     value?: {
-        enum: EnumStateNode;
+        enum: EnumStateNode | EnumStateNode[];
         value?: ExactOrUnion | undefined;
-    } | {
-        enum?: undefined;
-        value: ExactOrUnion;
     } | undefined;
 }
 export interface SymbolType extends AbstractValue {
@@ -215,4 +212,12 @@ export declare function getStateNodeDeclsWithExactFromType(state: ProgramStateAn
     sn: StateNode;
     exact: boolean;
 }[];
+export declare function isTupleUnion(t: ExactOrUnion[] | ExactOrUnion[][]): t is ExactOrUnion[][];
+export declare function tupleForEach(t: NonNullable<ArrayType["value"]>, tupleFn: (v: ExactOrUnion[]) => unknown, arrayFn: (v: ExactOrUnion) => unknown): void;
+export declare function tupleMap<T, U, V>(t: NonNullable<ArrayType["value"]>, tupleFn: (v: ExactOrUnion[]) => U | null, arrayFn: (v: ExactOrUnion) => V | null, reduceFn: (v: Array<U | V>) => T): T;
+export declare function tupleReduce(v: Array<ExactOrUnion | ExactOrUnion[]>): UnionType | NumberType | LongType | FloatType | DoubleType | CharType | StringType | ArrayType | DictionaryType | MethodType | ModuleType | FunctionType | ClassType | ObjectType | EnumType | SymbolType | TypedefType | ExactOrUnion[] | Set<ExactOrUnion | ExactOrUnion[]>;
+export declare function reducedArrayType(t: Set<ExactOrUnion[] | ExactOrUnion> | ExactOrUnion[] | ExactOrUnion): ExactOrUnion;
+export declare function checkArrayCovariance(arg: NonNullable<ArrayType["value"]>, param: NonNullable<ArrayType["value"]>): boolean;
+export declare function safeReferenceArg(arg: mctree.Expression): boolean;
+export declare function typeFromEnumValue(arg: EnumType["value"] | null): UnionType | NumberType | LongType | FloatType | DoubleType | CharType | StringType | ArrayType | DictionaryType | MethodType | ModuleType | FunctionType | ClassType | ObjectType | EnumType | SymbolType | TypedefType;
 export {};

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

@@ -1,4 +1,4 @@
 import { ExactOrUnion, TypeTag } from "./types";
 export declare function unionInto(to: ExactOrUnion, from: ExactOrUnion): boolean;
+export declare function unionHelper(to: ExactOrUnion, from: ExactOrUnion, widenDepth: number): boolean;
 export declare function clearValuesUnder(v: ExactOrUnion, tag: TypeTag, clearTag?: boolean): void;
-export declare function widenType(t: ExactOrUnion): null;

package/build/worker-thread.cjs

@@ -21,17 +21,17 @@ __export(worker_thread_exports, {
   default: () => worker_thread_default
 });
 module.exports = __toCommonJS(worker_thread_exports);
-var import_chunk_W4QVHCFN = require("./chunk-W4QVHCFN.cjs");
+var import_chunk_UNU55JJ3 = require("./chunk-UNU55JJ3.cjs");
 var import_chunk_X7QCZR3F = require("./chunk-X7QCZR3F.cjs");
 var import_chunk_JDC43A3I = require("./chunk-JDC43A3I.cjs");
 var import_chunk_ABYVSU2C = require("./chunk-ABYVSU2C.cjs");
 var import_node_worker_threads = require("node:worker_threads");
 var require_worker_thread = (0, import_chunk_ABYVSU2C.__commonJS)({
   "src/worker-thread.ts"() {
-    (0, import_chunk_W4QVHCFN.init_worker_task)();
+    (0, import_chunk_UNU55JJ3.init_worker_task)();
     if (import_node_worker_threads.parentPort) {
       import_node_worker_threads.parentPort.on("message", async (task) => {
-        return import_node_worker_threads.parentPort.postMessage(await (0, import_chunk_W4QVHCFN.performTask)(task));
+        return import_node_worker_threads.parentPort.postMessage(await (0, import_chunk_UNU55JJ3.performTask)(task));
       });
     }
   }

package/package.json

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