@markw65/monkeyc-optimizer 1.1.53 → 1.1.55

package/CHANGELOG.md

@@ -2,6 +2,20 @@
 
 All notable changes to the "monkeyc-optimizer" package will be documented in this file.
 
+### 1.1.55
+
+- Allow class typedef lookups from static methods
+- Fix method lookups on enum values
+
+### 1.1.54
+
+- Fix return types of Dictionary.values() and Dictionary.keys()
+- Fix issue with single-copy-prop creating stores that the Garmin compiler can't parse
+- Handle percentage strings in resources
+- Handle special strings in <param> nodes
+- Don't treat '@Dotted.Name' as special in strings and jsonData
+- Include ipush2 and ipush3 in pre
+
 ### 1.1.53
 
 - Update to [@markw65/prettier-plugin-monkeyc@1.0.56](https://github.com/markw65/prettier-plugin-monkeyc/blob/main/CHANGELOG.md#1056)

package/build/api.cjs

@@ -18,47 +18,47 @@ var __copyProps = (to, from, except, desc) => {
 var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
 var api_exports = {};
 __export(api_exports, {
-  checkCompilerVersion: () => import_chunk_32NRMXAJ.checkCompilerVersion,
-  collectNamespaces: () => import_chunk_32NRMXAJ.collectNamespaces,
-  createDocumentationMap: () => import_chunk_32NRMXAJ.createDocumentationMap,
-  diagnostic: () => import_chunk_32NRMXAJ.diagnostic,
-  diagnosticHelper: () => import_chunk_32NRMXAJ.diagnosticHelper,
-  findNamesInScope: () => import_chunk_32NRMXAJ.findNamesInScope,
-  findUsingForNode: () => import_chunk_32NRMXAJ.findUsingForNode,
-  formatAst: () => import_chunk_32NRMXAJ.formatAst,
-  formatAstLongLines: () => import_chunk_32NRMXAJ.formatAstLongLines,
-  formatScopedName: () => import_chunk_32NRMXAJ.formatScopedName,
-  getApiFunctionInfo: () => import_chunk_32NRMXAJ.getApiFunctionInfo,
-  getApiMapping: () => import_chunk_32NRMXAJ.getApiMapping,
-  getSuperClasses: () => import_chunk_32NRMXAJ.getSuperClasses,
+  checkCompilerVersion: () => import_chunk_GWRGLJLB.checkCompilerVersion,
+  collectNamespaces: () => import_chunk_GWRGLJLB.collectNamespaces,
+  createDocumentationMap: () => import_chunk_GWRGLJLB.createDocumentationMap,
+  diagnostic: () => import_chunk_GWRGLJLB.diagnostic,
+  diagnosticHelper: () => import_chunk_GWRGLJLB.diagnosticHelper,
+  findNamesInScope: () => import_chunk_GWRGLJLB.findNamesInScope,
+  findUsingForNode: () => import_chunk_GWRGLJLB.findUsingForNode,
+  formatAst: () => import_chunk_GWRGLJLB.formatAst,
+  formatAstLongLines: () => import_chunk_GWRGLJLB.formatAstLongLines,
+  formatScopedName: () => import_chunk_GWRGLJLB.formatScopedName,
+  getApiFunctionInfo: () => import_chunk_GWRGLJLB.getApiFunctionInfo,
+  getApiMapping: () => import_chunk_GWRGLJLB.getApiMapping,
+  getSuperClasses: () => import_chunk_GWRGLJLB.getSuperClasses,
   hasProperty: () => import_chunk_MBTLUWXR.hasProperty,
-  isClassVariable: () => import_chunk_32NRMXAJ.isClassVariable,
-  isLocal: () => import_chunk_32NRMXAJ.isLocal,
-  isLookupCandidate: () => import_chunk_32NRMXAJ.isLookupCandidate,
-  isStateNode: () => import_chunk_32NRMXAJ.isStateNode,
-  lookupByFullName: () => import_chunk_32NRMXAJ.lookupByFullName,
-  lookupNext: () => import_chunk_32NRMXAJ.lookupNext,
-  lookupResultContains: () => import_chunk_32NRMXAJ.lookupResultContains,
-  lookupWithType: () => import_chunk_32NRMXAJ.lookupWithType,
-  makeToyboxLink: () => import_chunk_32NRMXAJ.makeToyboxLink,
-  mapVarDeclsByType: () => import_chunk_32NRMXAJ.mapVarDeclsByType,
-  markInvokeClassMethod: () => import_chunk_32NRMXAJ.markInvokeClassMethod,
-  parseSdkVersion: () => import_chunk_32NRMXAJ.parseSdkVersion,
-  resolveDiagnostics: () => import_chunk_32NRMXAJ.resolveDiagnostics,
-  resolveDiagnosticsMap: () => import_chunk_32NRMXAJ.resolveDiagnosticsMap,
-  sameLookupResult: () => import_chunk_32NRMXAJ.sameLookupResult,
+  isClassVariable: () => import_chunk_GWRGLJLB.isClassVariable,
+  isLocal: () => import_chunk_GWRGLJLB.isLocal,
+  isLookupCandidate: () => import_chunk_GWRGLJLB.isLookupCandidate,
+  isStateNode: () => import_chunk_GWRGLJLB.isStateNode,
+  lookupByFullName: () => import_chunk_GWRGLJLB.lookupByFullName,
+  lookupNext: () => import_chunk_GWRGLJLB.lookupNext,
+  lookupResultContains: () => import_chunk_GWRGLJLB.lookupResultContains,
+  lookupWithType: () => import_chunk_GWRGLJLB.lookupWithType,
+  makeToyboxLink: () => import_chunk_GWRGLJLB.makeToyboxLink,
+  mapVarDeclsByType: () => import_chunk_GWRGLJLB.mapVarDeclsByType,
+  markInvokeClassMethod: () => import_chunk_GWRGLJLB.markInvokeClassMethod,
+  parseSdkVersion: () => import_chunk_GWRGLJLB.parseSdkVersion,
+  resolveDiagnostics: () => import_chunk_GWRGLJLB.resolveDiagnostics,
+  resolveDiagnosticsMap: () => import_chunk_GWRGLJLB.resolveDiagnosticsMap,
+  sameLookupResult: () => import_chunk_GWRGLJLB.sameLookupResult,
   traverseAst: () => import_chunk_MBTLUWXR.traverseAst,
-  variableDeclarationName: () => import_chunk_32NRMXAJ.variableDeclarationName,
-  visitReferences: () => import_chunk_32NRMXAJ.visitReferences,
-  visit_resources: () => import_chunk_32NRMXAJ.visit_resources,
-  visitorNode: () => import_chunk_32NRMXAJ.visitorNode
+  variableDeclarationName: () => import_chunk_GWRGLJLB.variableDeclarationName,
+  visitReferences: () => import_chunk_GWRGLJLB.visitReferences,
+  visit_resources: () => import_chunk_GWRGLJLB.visit_resources,
+  visitorNode: () => import_chunk_GWRGLJLB.visitorNode
 });
 module.exports = __toCommonJS(api_exports);
-var import_chunk_32NRMXAJ = require("./chunk-32NRMXAJ.cjs");
+var import_chunk_GWRGLJLB = require("./chunk-GWRGLJLB.cjs");
 var import_chunk_SG7ODKRM = require("./chunk-SG7ODKRM.cjs");
 var import_chunk_MBTLUWXR = require("./chunk-MBTLUWXR.cjs");
 var import_chunk_ABYVSU2C = require("./chunk-ABYVSU2C.cjs");
-(0, import_chunk_32NRMXAJ.init_api)();
+(0, import_chunk_GWRGLJLB.init_api)();
 // Annotate the CommonJS export names for ESM import in node:
 0 && (module.exports = {
   checkCompilerVersion,

package/build/{chunk-32NRMXAJ.cjs → chunk-GWRGLJLB.cjs}

@@ -26,8 +26,8 @@ var __toESM = (mod, isNodeMode, target) => (target = mod != null ? __create(__ge
   mod
 ));
 var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
-var chunk_32NRMXAJ_exports = {};
-__export(chunk_32NRMXAJ_exports, {
+var chunk_GWRGLJLB_exports = {};
+__export(chunk_GWRGLJLB_exports, {
   EnumTagsConst: () => EnumTagsConst,
   LastTypeTag: () => LastTypeTag,
   ObjectLikeTagsConst: () => ObjectLikeTagsConst,
@@ -133,7 +133,7 @@ __export(chunk_32NRMXAJ_exports, {
   visitorNode: () => visitorNode,
   xml_util_exports: () => xml_util_exports
 });
-module.exports = __toCommonJS(chunk_32NRMXAJ_exports);
+module.exports = __toCommonJS(chunk_GWRGLJLB_exports);
 var import_chunk_SG7ODKRM = require("./chunk-SG7ODKRM.cjs");
 var import_chunk_MBTLUWXR = require("./chunk-MBTLUWXR.cjs");
 var import_chunk_ABYVSU2C = require("./chunk-ABYVSU2C.cjs");
@@ -5896,7 +5896,11 @@ function shouldInline(state, func, call, context) {
         state,
         func,
         call,
-        "This function can only be inlined in statement, assignment, if or return contexts"
+        "This function can only be inlined in statement, assignment, if or return contexts",
+        {
+          uri: "https://github.com/markw65/monkeyc-optimizer/wiki/Inlining#so-inlining-is-restricted-to-a-few-fairly-common-places-or-contexts",
+          message: "contexts"
+        }
       );
     }
     return context != null;
@@ -6128,7 +6132,7 @@ function unused(state, expression, top) {
   }
   return top ? null : [estmt(expression)];
 }
-function inlineDiagnostic(state, func, call, message) {
+function inlineDiagnostic(state, func, call, message, extra) {
   if (inlineRequested(state, func)) {
     if (!state.inlineDiagnostics) {
       state.inlineDiagnostics = {};
@@ -6138,7 +6142,7 @@ function inlineDiagnostic(state, func, call, message) {
       call,
       message && `While inlining ${func.node.id.name}: ${message}`,
       "INFO",
-      void 0
+      extra
     );
   }
 }
@@ -9382,7 +9386,7 @@ function getSystemCallTable(state) {
             returnType.value = value2;
           }
         }
-        ret.returnType = { type: 512, value: returnType };
+        ret.returnType = returnType;
       }
     }
     return ret;
@@ -9414,7 +9418,7 @@ function getSystemCallTable(state) {
             returnType.value = value2;
           }
         }
-        ret.returnType = { type: 512, value: returnType };
+        ret.returnType = returnType;
       }
     }
     return ret;
@@ -13576,6 +13580,20 @@ function propagateTypes(state, func, graph, optimizeEquivalencies, copyPropStore
       case "def": {
         const lval = event.node.type === "UpdateExpression" ? event.node.argument : event.node.type === "AssignmentExpression" ? event.node.left : null;
         if (lval) {
+          if (nodeCopyProp.size && lval.type === "MemberExpression") {
+            let t = lval;
+            while (t.type === "MemberExpression") {
+              t = t.object;
+            }
+            const target = nodeCopyProp.get(t);
+            if (target) {
+              const copyExpr = target.type === "AssignmentExpression" ? target.right : target.type === "VariableDeclarator" ? target.init : null;
+              if (copyExpr?.type === "BinaryExpression") {
+                nodeCopyProp.set(target, false);
+                nodeCopyProp.delete(t);
+              }
+            }
+          }
           if (declIsLocal(event.decl)) {
             if (!istate.localLvals) {
               istate.localLvals = /* @__PURE__ */ new Set();
@@ -17516,7 +17534,7 @@ function visit_resource_refs(state, doc, e) {
       name = name.substring(1);
       loc = (0, import_chunk_MBTLUWXR.adjustLoc)(loc, 1, 0);
     }
-    if ((0, import_chunk_MBTLUWXR.hasProperty)(skip, name)) {
+    if ((0, import_chunk_MBTLUWXR.hasProperty)(skip, name) || /^\d+(\.\d+)?%?$/.test(name)) {
       return;
     }
     if (/^([-\w_$]+\s*\.\s*)*[-\w_$]+$/.test(name)) {
@@ -17590,7 +17608,12 @@ function visit_resource_refs(state, doc, e) {
     switch (element.name) {
       case "param":
         if (id === null) {
-          parseArg(dotted, l);
+          const name = element.attr.name?.value.value;
+          parseArg(
+            dotted,
+            l,
+            name && (0, import_chunk_MBTLUWXR.hasProperty)(drawableSkips, name) ? drawableSkips[name] : null
+          );
         }
         return;
       case "drawable":
@@ -17628,16 +17651,22 @@ function visit_resource_refs(state, doc, e) {
       });
       const content = doc.textContent(node);
       if (content) {
-        stringToScopedName(
-          node,
-          null,
-          content,
-          (0, import_chunk_MBTLUWXR.locRange)(
-            node.children[0].loc,
-            node.children[node.children.length - 1].loc
-          )
-        );
-        return false;
+        switch (node.name) {
+          case "string":
+          case "jsonData":
+            return false;
+          default:
+            stringToScopedName(
+              node,
+              null,
+              content,
+              (0, import_chunk_MBTLUWXR.locRange)(
+                node.children[0].loc,
+                node.children[node.children.length - 1].loc
+              )
+            );
+            return false;
+        }
       }
       return;
     }
@@ -17833,7 +17862,9 @@ var init_resources = (0, import_chunk_ABYVSU2C.__esm)({
     init_sdk_util();
     drawableSkips = {
       x: { center: true, left: true, right: true, start: true },
+      locX: { center: true, left: true, right: true, start: true },
       y: { center: true, top: true, bottom: true, start: true },
+      locY: { center: true, top: true, bottom: true, start: true },
       width: { fill: true },
       height: { fill: true },
       a: { fill: true },
@@ -18216,13 +18247,51 @@ function isLookupCandidate(node) {
 }
 function lookupNext(state, results, decls, property) {
   return results.reduce((current, lookupDef) => {
-    const items = lookupDef.results.map((module2) => {
+    const items = [];
+    const addToItems = (sns) => sns.forEach((module2) => {
       if (!isStateNode(module2)) {
-        return null;
+        if (module2.type === "EnumStringMember") {
+          if (!module2.init) {
+            addToItems(lookupByFullName(state, "Toybox.Lang.Number"));
+          } else if (module2.init.type === "Literal") {
+            const [, type] = (0, import_chunk_MBTLUWXR.getNodeValue)(module2.init);
+            switch (type) {
+              case "Null":
+                return;
+              case "Boolean":
+              case "Char":
+              case "Double":
+              case "Float":
+              case "Long":
+              case "Number":
+              case "String":
+                addToItems(lookupByFullName(state, `Toybox.Lang.${type}`));
+                return;
+            }
+          } else {
+            [
+              "Boolean",
+              "Char",
+              "Double",
+              "Float",
+              "Long",
+              "Number",
+              "String"
+            ].forEach(
+              (type) => addToItems(lookupByFullName(state, `Toybox.Lang.${type}`))
+            );
+            return;
+          }
+        }
+        addToItems(lookupByFullName(state, "Toybox.Lang.Object"));
+        return;
       }
       const res = checkOne(state, module2, decls, property);
-      return res ? { parent: module2, results: res } : null;
-    }).filter((r) => r != null);
+      if (res) {
+        items.push({ parent: module2, results: res });
+      }
+    });
+    addToItems(lookupDef.results);
     if (!items.length)
       return current;
     return current ? current.concat(items) : items;
@@ -18296,8 +18365,8 @@ function lookup(state, decls, node, name, maybeStack, nonlocal, ignoreImports) {
           case "ClassDeclaration":
             if (inStatic && state.config?.enforceStatic !== "NO") {
               inStatic = false;
-              if ((0, import_chunk_MBTLUWXR.hasProperty)(si.decls, node.name)) {
-                const r = si.decls[node.name].filter((s) => {
+              if ((0, import_chunk_MBTLUWXR.hasProperty)(si[decls], node.name)) {
+                const r = si[decls][node.name].filter((s) => {
                   switch (s.type) {
                     case "FunctionDeclaration":
                     case "VariableDeclarator":
@@ -19248,6 +19317,7 @@ var init_api = (0, import_chunk_ABYVSU2C.__esm)({
     init_type_flow_util();
     init_types();
     (0, import_chunk_SG7ODKRM.init_util)();
+    (0, import_chunk_MBTLUWXR.init_ast)();
     init_visitor();
   }
 });
@@ -19763,7 +19833,7 @@ function parseCode(view, lineTable) {
       case 29:
       case 30:
       case 31:
-        return { op, offset, size: 1 };
+        return { op, offset };
       case 42:
       case 34:
       case 33:
@@ -19787,7 +19857,7 @@ function parseCode(view, lineTable) {
       case 68:
       case 73:
       case 75:
-        return { op, offset, size: 1 };
+        return { op, offset };
       case 1:
       case 15:
       case 18:
@@ -19796,7 +19866,7 @@ function parseCode(view, lineTable) {
       case 46:
       case 53:
       case 56:
-        return { op, arg: view.getUint8(current++), offset, size: 2 };
+        return { op, arg: view.getUint8(current++), offset };
       case 25:
       case 35:
       case 40:
@@ -19804,22 +19874,19 @@ function parseCode(view, lineTable) {
         return {
           op,
           arg: offset + view.getInt16((current += 2) - 2) + 3,
-          offset,
-          size: 3
+          offset
         };
       case 57:
         return {
           op,
           arg: view.getInt16((current += 2) - 2),
-          offset,
-          size: 3
+          offset
         };
       case 58:
         return {
           op,
           arg: view.getInt32((current += 3) - 3) >> 8,
-          offset,
-          size: 4
+          offset
         };
       case 24:
       case 64:
@@ -19830,7 +19897,7 @@ function parseCode(view, lineTable) {
       case 52:
       case 71:
       case 67:
-        return { op, arg: view.getInt32((current += 4) - 4), offset, size: 5 };
+        return { op, arg: view.getInt32((current += 4) - 4), offset };
       case 69:
         return {
           op,
@@ -19838,8 +19905,7 @@ function parseCode(view, lineTable) {
             module: view.getInt32((current += 4) - 4),
             var: view.getInt32((current += 4) - 4)
           },
-          offset,
-          size: 9
+          offset
         };
       case 70:
         return {
@@ -19848,8 +19914,7 @@ function parseCode(view, lineTable) {
             local: view.getUint8(current++),
             var: view.getInt32((current += 4) - 4)
           },
-          offset,
-          size: 6
+          offset
         };
       case 74:
         return {
@@ -19858,29 +19923,25 @@ function parseCode(view, lineTable) {
             argc: view.getUint8(current++),
             incsp: view.getUint8(current++)
           },
-          offset,
-          size: 3
+          offset
         };
       case 49:
         return {
           op,
           arg: view.getBigInt64((current += 8) - 8),
-          offset,
-          size: 9
+          offset
         };
       case 38:
         return {
           op,
           arg: view.getFloat32((current += 4) - 4),
-          offset,
-          size: 5
+          offset
         };
       case 50:
         return {
           op,
           arg: view.getFloat64((current += 8) - 8),
-          offset,
-          size: 9
+          offset
         };
       case 36:
         throw new Error(`Unknown opcode ${op}`);
@@ -19897,7 +19958,7 @@ function parseCode(view, lineTable) {
     }
     results.push(nextOp);
   }
-  results.push({ op: 0, size: 1, offset: current });
+  results.push({ op: 0, offset: current });
   return results;
 }
 function opcodeSize(op) {
@@ -19946,6 +20007,8 @@ function opcodeSize(op) {
     case 68:
     case 73:
     case 75:
+    case 10:
+    case 11:
       return 1;
     case 1:
     case 15:
@@ -19954,8 +20017,6 @@ function opcodeSize(op) {
     case 43:
     case 46:
     case 53:
-    case 10:
-    case 11:
     case 56:
       return 2;
     case 25:
@@ -21192,6 +21253,8 @@ function interpFunc(func, context) {
           break;
         }
         case 37:
+        case 57:
+        case 58:
         case 49:
         case 38:
         case 50:
@@ -21213,7 +21276,6 @@ function interpFunc(func, context) {
                 op: 46,
                 arg,
                 offset: bc.offset,
-                size: 2,
                 invert: localState.stack.length <= ~index
               });
             } else {
@@ -21222,7 +21284,6 @@ function interpFunc(func, context) {
                 op: 18,
                 arg,
                 offset: bc.offset,
-                size: 2,
                 invert: localState.locals.length <= index
               });
             }
@@ -21401,11 +21462,9 @@ function interpFunc(func, context) {
       } else {
         delete orig.arg;
       }
-      orig.size = rep.size;
       if (rep.invert) {
         const invv = { ...orig };
         invv.op = 45;
-        invv.size = 1;
         invv.offset = context.nextOffset++;
         delete invv.arg;
         block.bytecodes.splice(i + 1, 0, invv);
@@ -21435,7 +21494,6 @@ function interpFunc(func, context) {
       for (let i = 0; i < pops; i++) {
         block.bytecodes.push({
           op: 2,
-          size: 1,
           offset: context.nextOffset++
         });
       }
@@ -21454,29 +21512,27 @@ function instForType(type, offset) {
     return null;
   switch (type.type) {
     case 1:
-      return { op: 44, offset, size: 1 };
+      return { op: 44, offset };
     case 2:
     case 4:
       return {
         op: 43,
         arg: type.type === 2 ? 0 : 1,
-        offset,
-        size: 2
+        offset
       };
     case 8:
-      return { op: 37, arg: type.value, offset, size: 5 };
+      return { op: 37, arg: type.value, offset };
     case 16:
-      return { op: 49, arg: type.value, offset, size: 9 };
+      return { op: 49, arg: type.value, offset };
     case 32:
-      return { op: 38, arg: type.value, offset, size: 5 };
+      return { op: 38, arg: type.value, offset };
     case 64:
-      return { op: 50, arg: type.value, offset, size: 9 };
+      return { op: 50, arg: type.value, offset };
     case 128:
       return {
         op: 52,
         arg: type.value.charCodeAt(0),
-        offset,
-        size: 5
+        offset
       };
     case 131072: {
       const match = type.value.match(/<(\d+)>$/);
@@ -21484,8 +21540,7 @@ function instForType(type, offset) {
       return {
         op: 39,
         arg: parseInt(match[1], 10),
-        offset,
-        size: 5
+        offset
       };
     }
   }
@@ -21591,7 +21646,7 @@ function optimizeArrayInit(func, block, index, context, interpState) {
           }
           if (initType) {
             const bc = block.bytecodes[found - 1];
-            if (bc.op !== 46 && (!initInst || initInst.size > bc.size)) {
+            if (bc.op !== 46 && (!initInst || opcodeSize(initInst.op) > opcodeSize(bc.op))) {
               const { push, pop } = getOpInfo(bc);
               if (push === 1 && pop === 0) {
                 initInst = bc;
@@ -21625,7 +21680,6 @@ function optimizeArrayInit(func, block, index, context, interpState) {
       const bc = block.bytecodes[i2];
       const op = bc.op;
       bc.op = 2;
-      bc.size = 1;
       delete bc.arg;
       (0, import_node_assert8.default)(
         op === 17
@@ -21688,7 +21742,7 @@ function optimizeArrayInit(func, block, index, context, interpState) {
   } else {
     initInst = null;
   }
-  if (initLocal && (!initInst || initInst.size > initLocal.size)) {
+  if (initLocal && (!initInst || opcodeSize(initInst.op) > opcodeSize(initLocal.op))) {
     initInst = initLocal;
   }
   if (initInst) {
@@ -22279,7 +22333,6 @@ function minimizeLocals2(func, equivSets, context) {
             const argCount = bc;
             argCount.op = 53;
             argCount.arg = argc;
-            argCount.size = 2;
             filter = true;
           }
           break;
@@ -22300,7 +22353,6 @@ function minimizeLocals2(func, equivSets, context) {
             const nop = bc;
             nop.op = 0;
             delete nop.arg;
-            nop.size = 1;
             filter = true;
           }
           break;
@@ -22544,11 +22596,17 @@ function sizeBasedPRE2(func, context) {
         view.setFloat32(0, bc.arg);
         return BigInt(view.getInt32(0)) << 8n | BigInt(bc.op);
       }
+      case 37:
+      case 57:
+      case 58:
+        return BigInt(bc.arg) << 8n | BigInt(
+          37
+          /* ipush */
+        );
       case 39:
         if (bcs[index + 1]?.op === 48) {
           break;
         }
-      case 37:
       case 49:
       case 52:
       case 24:
@@ -22673,7 +22731,6 @@ function sizeBasedPRE2(func, context) {
             bc2.op = 0;
             prev.op = 18;
             prev.arg = slot;
-            prev.size = 2;
           }
         })
       );
@@ -22698,7 +22755,6 @@ function sizeBasedPRE2(func, context) {
       bcs.forEach((bc2) => {
         bc2.op = 18;
         bc2.arg = slot;
-        bc2.size = 2;
       });
     }
   });
@@ -22763,7 +22819,7 @@ function blockSharing(func, context) {
       blocks.forEach((block) => {
         const blockEnd = block.bytecodes[block.bytecodes.length - 1];
         if (!group.length) {
-          size = blockEnd.size;
+          size = opcodeSize(blockEnd.op);
         } else {
           const key = group[0];
           const keyEnd = key.bytecodes[key.bytecodes.length - 1];
@@ -22832,7 +22888,7 @@ function blockSharing(func, context) {
               }
               entry.group.delete(block);
             } else {
-              const sz = size2 + (bc?.size ?? 0);
+              const sz = size2 + (bc ? opcodeSize(bc.op) : 0);
               nextState.push({ group: blocks2.map((b) => group2[b]), size: sz });
             }
           });
@@ -23014,11 +23070,9 @@ function simpleOpts(func, context) {
             const dup = prev;
             dup.op = 46;
             dup.arg = 0;
-            dup.size = 2;
             const add = cur;
             add.op = 3;
             delete add.arg;
-            add.size = 1;
             logging3 && (0, import_chunk_SG7ODKRM.log)(`${func.name}: converting "ipush 1; shlv" to "dup 0; addv"`);
             continue;
           }
@@ -23035,7 +23089,6 @@ function simpleOpts(func, context) {
             changes = true;
             const mulv = cur;
             mulv.op = 5;
-            mulv.size = 1;
             delete mulv.arg;
           }
         }
@@ -23127,8 +23180,7 @@ function equalSymbolToEq(block, equalsIndex) {
   }
   block.bytecodes.splice(equalsIndex, 5, spush, {
     op: 26,
-    offset: invokem.offset,
-    size: 1
+    offset: invokem.offset
   });
   (0, import_chunk_SG7ODKRM.logger)(
     "optimize",
@@ -23212,7 +23264,7 @@ function removeUnreachableCatches(func, context) {
           }
           delete next.preds;
           removeBlock(func, next.offset);
-        } else if (next.next == null && next.bytecodes.length < 3 && next.bytecodes.reduce((size, bc) => size + bc.size, 0) < 3 && countFallthroughPreds(func, next) > 1) {
+        } else if (next.next == null && next.bytecodes.length < 3 && next.bytecodes.reduce((size, bc) => size + opcodeSize(bc.op), 0) < 3 && countFallthroughPreds(func, next) > 1) {
           (0, import_chunk_SG7ODKRM.logger)(
             "cfg",
             1,
@@ -23226,7 +23278,7 @@ function removeUnreachableCatches(func, context) {
           let offset = context.nextOffset;
           next.bytecodes.forEach((bc) => {
             block.bytecodes.push({ ...bc, offset });
-            offset += bc.size;
+            offset += opcodeSize(bc.op);
           });
           context.nextOffset = offset;
           redirect(func, block, next.offset, null);
@@ -23415,8 +23467,7 @@ function emitFunc(func, view, start, updateInfo, context) {
       const bc = {
         op: 25,
         arg: block.next,
-        offset: block.offset,
-        size: 3
+        offset: block.offset
       };
       offset = emitBytecode(bc, view, offset, linktable, shift_hack);
     }
@@ -24162,6 +24213,9 @@ function bytecodeToString(bytecode, symbolTable) {
   }
   return `${Opcodes[bytecode.op]}${arg ?? ""}`;
 }
+function offsetAfter(bc) {
+  return bc.offset + opcodeSize(bc.op);
+}
 function findFunctions({
   bytecodes,
   symbolTable,
@@ -24181,13 +24235,13 @@ function findFunctions({
       case 41:
       case 25:
       case 35:
-        blockStarts.add(bytecode.offset + bytecode.size);
+        blockStarts.add(offsetAfter(bytecode));
         blockStarts.add(bytecode.arg);
         return;
       case 22:
       case 23:
       case 51:
-        blockStarts.add(bytecode.offset + bytecode.size);
+        blockStarts.add(offsetAfter(bytecode));
         return;
     }
   });
@@ -24198,7 +24252,7 @@ function findFunctions({
   let next;
   let taken;
   bytecodes.forEach((bytecode, i) => {
-    const nextBcOffset = bytecode.offset + bytecode.size;
+    const nextBcOffset = offsetAfter(bytecode);
     next = nextBcOffset;
     taken = void 0;
     switch (bytecode.op) {
@@ -24328,7 +24382,6 @@ function findFunctions({
 function makeArgless(bc, op) {
   bc.op = op;
   delete bc.arg;
-  bc.size = 1;
 }
 function removeBlock(func, offset) {
   const block = func.blocks.get(offset);
@@ -28367,7 +28420,7 @@ async function launchSimulator(force = true) {
     for (let i = 0; ; i++) {
       if (await checkIfSimulatorRunning())
         return;
-      if (i === 10)
+      if (i === 25)
         return;
       await new Promise((r) => setTimeout(r, 200));
     }
@@ -28969,7 +29022,7 @@ async function generateOneConfig(buildConfig, manifestXML, dependencyFiles, conf
       const opt_time = await (0, import_chunk_SG7ODKRM.first_modified)(
         Object.values(fnMap).map((v) => v.output)
       );
-      if (source_time < opt_time && 1712549362694 < opt_time) {
+      if (source_time < opt_time && 1713229195228 < opt_time) {
         return {
           hasTests,
           diagnostics: prevDiagnostics,
@@ -29008,7 +29061,7 @@ async function generateOneConfig(buildConfig, manifestXML, dependencyFiles, conf
             hasTests: hasTests2,
             diagnostics,
             sdkVersion,
-            optimizerVersion: "1.1.53",
+            optimizerVersion: "1.1.55",
             ...Object.fromEntries(
               configOptionsToCheck.map((option) => [option, config[option]])
             )
@@ -29505,7 +29558,7 @@ function optimizeProgramBuffer(filepath, view, debugXml, apiDebugXml, key, confi
     exceptionsMap,
     key,
     debugXml,
-    nextOffset: (bytecodes[bytecodes.length - 1]?.offset ?? 0) + (bytecodes[bytecodes.length - 1]?.size ?? 0),
+    nextOffset: bytecodes[bytecodes.length - 1] ? offsetAfter(bytecodes[bytecodes.length - 1]) : 0,
     nextLocalId: 0
   };
   optimizeBytecode(context);

package/build/optimizer.cjs

@@ -18,28 +18,28 @@ var __copyProps = (to, from, except, desc) => {
 var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
 var optimizer_exports = {};
 __export(optimizer_exports, {
-  StateNodeAttributes: () => import_chunk_32NRMXAJ.StateNodeAttributes,
-  buildOptimizedProject: () => import_chunk_32NRMXAJ.buildOptimizedProject,
+  StateNodeAttributes: () => import_chunk_GWRGLJLB.StateNodeAttributes,
+  buildOptimizedProject: () => import_chunk_GWRGLJLB.buildOptimizedProject,
   copyRecursiveAsNeeded: () => import_chunk_SG7ODKRM.copyRecursiveAsNeeded,
-  defaultConfig: () => import_chunk_32NRMXAJ.defaultConfig,
-  display: () => import_chunk_32NRMXAJ.display,
-  generateOneConfig: () => import_chunk_32NRMXAJ.generateOneConfig,
-  generateOptimizedProject: () => import_chunk_32NRMXAJ.generateOptimizedProject,
-  getConfig: () => import_chunk_32NRMXAJ.getConfig,
-  getProjectAnalysis: () => import_chunk_32NRMXAJ.getProjectAnalysis,
-  get_jungle: () => import_chunk_32NRMXAJ.get_jungle,
-  isErrorWithLocation: () => import_chunk_32NRMXAJ.isErrorWithLocation,
-  launchSimulator: () => import_chunk_32NRMXAJ.launchSimulator,
-  manifestProducts: () => import_chunk_32NRMXAJ.manifestProducts,
-  mctree: () => import_chunk_32NRMXAJ.mctree,
-  simulateProgram: () => import_chunk_32NRMXAJ.simulateProgram
+  defaultConfig: () => import_chunk_GWRGLJLB.defaultConfig,
+  display: () => import_chunk_GWRGLJLB.display,
+  generateOneConfig: () => import_chunk_GWRGLJLB.generateOneConfig,
+  generateOptimizedProject: () => import_chunk_GWRGLJLB.generateOptimizedProject,
+  getConfig: () => import_chunk_GWRGLJLB.getConfig,
+  getProjectAnalysis: () => import_chunk_GWRGLJLB.getProjectAnalysis,
+  get_jungle: () => import_chunk_GWRGLJLB.get_jungle,
+  isErrorWithLocation: () => import_chunk_GWRGLJLB.isErrorWithLocation,
+  launchSimulator: () => import_chunk_GWRGLJLB.launchSimulator,
+  manifestProducts: () => import_chunk_GWRGLJLB.manifestProducts,
+  mctree: () => import_chunk_GWRGLJLB.mctree,
+  simulateProgram: () => import_chunk_GWRGLJLB.simulateProgram
 });
 module.exports = __toCommonJS(optimizer_exports);
-var import_chunk_32NRMXAJ = require("./chunk-32NRMXAJ.cjs");
+var import_chunk_GWRGLJLB = require("./chunk-GWRGLJLB.cjs");
 var import_chunk_SG7ODKRM = require("./chunk-SG7ODKRM.cjs");
 var import_chunk_MBTLUWXR = require("./chunk-MBTLUWXR.cjs");
 var import_chunk_ABYVSU2C = require("./chunk-ABYVSU2C.cjs");
-(0, import_chunk_32NRMXAJ.init_optimizer)();
+(0, import_chunk_GWRGLJLB.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_32NRMXAJ.SectionKinds,
-  appSupport: () => import_chunk_32NRMXAJ.appSupport,
-  connectiq: () => import_chunk_32NRMXAJ.connectiq,
-  getDeviceInfo: () => import_chunk_32NRMXAJ.getDeviceInfo,
-  getFunctionDocumentation: () => import_chunk_32NRMXAJ.getFunctionDocumentation,
-  getLanguages: () => import_chunk_32NRMXAJ.getLanguages,
-  getSdkPath: () => import_chunk_32NRMXAJ.getSdkPath,
-  isWin: () => import_chunk_32NRMXAJ.isWin,
-  optimizeProgram: () => import_chunk_32NRMXAJ.optimizeProgram,
-  readPrg: () => import_chunk_32NRMXAJ.readPrg,
-  readPrgWithOffsets: () => import_chunk_32NRMXAJ.readPrgWithOffsets,
-  xmlUtil: () => import_chunk_32NRMXAJ.xml_util_exports
+  SectionKinds: () => import_chunk_GWRGLJLB.SectionKinds,
+  appSupport: () => import_chunk_GWRGLJLB.appSupport,
+  connectiq: () => import_chunk_GWRGLJLB.connectiq,
+  getDeviceInfo: () => import_chunk_GWRGLJLB.getDeviceInfo,
+  getFunctionDocumentation: () => import_chunk_GWRGLJLB.getFunctionDocumentation,
+  getLanguages: () => import_chunk_GWRGLJLB.getLanguages,
+  getSdkPath: () => import_chunk_GWRGLJLB.getSdkPath,
+  isWin: () => import_chunk_GWRGLJLB.isWin,
+  optimizeProgram: () => import_chunk_GWRGLJLB.optimizeProgram,
+  readPrg: () => import_chunk_GWRGLJLB.readPrg,
+  readPrgWithOffsets: () => import_chunk_GWRGLJLB.readPrgWithOffsets,
+  xmlUtil: () => import_chunk_GWRGLJLB.xml_util_exports
 });
 module.exports = __toCommonJS(sdk_util_exports);
-var import_chunk_32NRMXAJ = require("./chunk-32NRMXAJ.cjs");
+var import_chunk_GWRGLJLB = require("./chunk-GWRGLJLB.cjs");
 var import_chunk_SG7ODKRM = require("./chunk-SG7ODKRM.cjs");
 var import_chunk_MBTLUWXR = require("./chunk-MBTLUWXR.cjs");
 var import_chunk_ABYVSU2C = require("./chunk-ABYVSU2C.cjs");
-(0, import_chunk_32NRMXAJ.init_sdk_util)();
+(0, import_chunk_GWRGLJLB.init_sdk_util)();
 // Annotate the CommonJS export names for ESM import in node:
 0 && (module.exports = {
   SectionKinds,

package/build/src/inliner.d.ts

@@ -1,12 +1,12 @@
 import { mctree } from "@markw65/prettier-plugin-monkeyc";
-import { FunctionStateNode, ProgramStateAnalysis } from "./optimizer-types";
+import { Diagnostic, 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;
 type InlineBody = mctree.BlockStatement | mctree.ExpressionStatement["expression"];
 export declare function unused(state: ProgramStateAnalysis, expression: mctree.ExpressionStatement["expression"]): mctree.Statement[];
 export declare function unused(state: ProgramStateAnalysis, expression: mctree.ExpressionStatement["expression"], top: true): mctree.Statement[] | null;
-export declare function inlineDiagnostic(state: ProgramStateAnalysis, func: FunctionStateNode, call: mctree.CallExpression, message: string | null): void;
+export declare function inlineDiagnostic(state: ProgramStateAnalysis, func: FunctionStateNode, call: mctree.CallExpression, message: string | null, extra?: Diagnostic["extra"]): void;
 export type InlineContext = mctree.ReturnStatement | mctree.IfStatement | mctree.AssignmentExpression | mctree.ExpressionStatement | mctree.VariableDeclarator;
 export declare function inlineFunction(state: ProgramStateAnalysis, func: FunctionStateNode, call: mctree.CallExpression, context: InlineContext | null): InlineBody | null;
 export declare function applyTypeIfNeeded(node: mctree.Node): mctree.Node;

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

@@ -62,6 +62,7 @@ export declare function functionToString(func: FuncEntry, context: Context | nul
 export declare function blockToString(block: Block, context: Context | null): string;
 export declare function lineInfoToString(lineInfo: LineNumber, context: Context | null): string;
 export declare function bytecodeToString(bytecode: Bytecode, symbolTable: SymbolTable | null | undefined): string;
+export declare function offsetAfter(bc: Bytecode): number;
 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;

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

@@ -80,7 +80,6 @@ export declare enum Opcodes {
 interface BaseOpcode {
     op: Opcodes;
     offset: number;
-    size: number;
     lineNum?: LineNumber;
     arg?: unknown;
 }

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_32NRMXAJ = require("./chunk-32NRMXAJ.cjs");
+var import_chunk_GWRGLJLB = require("./chunk-GWRGLJLB.cjs");
 var import_chunk_SG7ODKRM = require("./chunk-SG7ODKRM.cjs");
 var import_chunk_MBTLUWXR = require("./chunk-MBTLUWXR.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_32NRMXAJ.init_worker_task)();
+    (0, import_chunk_GWRGLJLB.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_32NRMXAJ.performTask)(task));
+        return import_node_worker_threads.parentPort.postMessage(await (0, import_chunk_GWRGLJLB.performTask)(task));
       });
     }
   }

package/package.json

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