@markw65/monkeyc-optimizer 1.1.19 → 1.1.21

package/README.md

@@ -784,3 +784,30 @@ Bug Fixes
   - better optimization for arrays whose elements are all initialized to the same value (eg `[42, 42, 42, 42]`)
   - more efficient tests for symbols in case statements (ie `case: :foo`)
   - parallelize the post build optimizer when exporting a project
+
+### 1.1.20
+
+- Bug fixes
+
+  - Fix a bug that could cause the optimizer to incorrectly substitute one local for another.
+
+- Optimizations
+  - Improve dce in the post build optimizer a little, by computing which locals are live out of each block.
+
+### 1.1.20
+
+- Bug fixes
+
+  - fixed a bug that could cause dead-store elimination to delete stores that might be used if an exception was thrown. eg `try { x=1; foo(); x=2; } catch (ex) { System.println(x); x=3; }` could delete the first store to `x`, breaking the println if `foo` actually throws.
+
+- Source to Source Optimizations
+
+  - convert `++` and `--` to `+= 1` and `-= 1`. Garmin's compiler generates exactly the same code for both, but when the `1` is written explicitly, its available for `sizeBasedPRE` to optimize.
+  - convert `-x` to `0 - x`. Again, Garmin's compiler generates exactly the same code, but being explicit makes the `0` available to `sizeBasedPRE`.
+  - rewrite some optimizations so that `-x` and `0-x` are treated identically. eg `(0-x) + y` => `y - x` (for suitably typed `x` and `y`).
+  - optimize `-1 - x` to `~x` (for suitably typed x), saving 5 bytes (or 2 if pre was going to replace the -1 with a local)
+
+- Post Build Optimizations
+  - Keep better track of exceptional edges in dce, allowing it to be more aggressive.
+  - Add a (very simple) bytecode interpreter which keeps track of the values in locals, and on the stack. This allows us to opportunistically replace constants (typically 5+ bytes) with a 2 byte load from a register, or from a stack location. This (together with dce) will form the infrastructure for a future minimize-locals pass.
+  - when replacing constants with locals/stack accesses, look for uses of `~`. Eg if the value `2` is in the local `x`, and we need to produce the value `-3`, we can use `~x` (costing 3 bytes, instead of 5).

package/build/api.cjs

@@ -18,42 +18,42 @@ var __copyProps = (to, from, except, desc) => {
 var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
 var api_exports = {};
 __export(api_exports, {
-  checkCompilerVersion: () => import_chunk_O5LFMOIG.checkCompilerVersion,
-  collectNamespaces: () => import_chunk_O5LFMOIG.collectNamespaces,
-  createDocumentationMap: () => import_chunk_O5LFMOIG.createDocumentationMap,
-  diagnostic: () => import_chunk_O5LFMOIG.diagnostic,
-  diagnosticHelper: () => import_chunk_O5LFMOIG.diagnosticHelper,
-  findNamesInScope: () => import_chunk_O5LFMOIG.findNamesInScope,
-  findUsingForNode: () => import_chunk_O5LFMOIG.findUsingForNode,
-  formatAst: () => import_chunk_O5LFMOIG.formatAst,
-  formatAstLongLines: () => import_chunk_O5LFMOIG.formatAstLongLines,
-  getApiFunctionInfo: () => import_chunk_O5LFMOIG.getApiFunctionInfo,
-  getApiMapping: () => import_chunk_O5LFMOIG.getApiMapping,
-  getSuperClasses: () => import_chunk_O5LFMOIG.getSuperClasses,
-  hasProperty: () => import_chunk_O5LFMOIG.hasProperty,
-  isClassVariable: () => import_chunk_O5LFMOIG.isClassVariable,
-  isLocal: () => import_chunk_O5LFMOIG.isLocal,
-  isLookupCandidate: () => import_chunk_O5LFMOIG.isLookupCandidate,
-  isStateNode: () => import_chunk_O5LFMOIG.isStateNode,
-  lookupByFullName: () => import_chunk_O5LFMOIG.lookupByFullName,
-  lookupNext: () => import_chunk_O5LFMOIG.lookupNext,
-  lookupResultContains: () => import_chunk_O5LFMOIG.lookupResultContains,
-  lookupWithType: () => import_chunk_O5LFMOIG.lookupWithType,
-  makeToyboxLink: () => import_chunk_O5LFMOIG.makeToyboxLink,
-  mapVarDeclsByType: () => import_chunk_O5LFMOIG.mapVarDeclsByType,
-  markInvokeClassMethod: () => import_chunk_O5LFMOIG.markInvokeClassMethod,
-  parseSdkVersion: () => import_chunk_O5LFMOIG.parseSdkVersion,
-  sameLookupResult: () => import_chunk_O5LFMOIG.sameLookupResult,
-  traverseAst: () => import_chunk_O5LFMOIG.traverseAst,
-  variableDeclarationName: () => import_chunk_O5LFMOIG.variableDeclarationName,
-  visitReferences: () => import_chunk_O5LFMOIG.visitReferences,
-  visit_resources: () => import_chunk_O5LFMOIG.visit_resources,
-  visitorNode: () => import_chunk_O5LFMOIG.visitorNode
+  checkCompilerVersion: () => import_chunk_ZDTW2QRS.checkCompilerVersion,
+  collectNamespaces: () => import_chunk_ZDTW2QRS.collectNamespaces,
+  createDocumentationMap: () => import_chunk_ZDTW2QRS.createDocumentationMap,
+  diagnostic: () => import_chunk_ZDTW2QRS.diagnostic,
+  diagnosticHelper: () => import_chunk_ZDTW2QRS.diagnosticHelper,
+  findNamesInScope: () => import_chunk_ZDTW2QRS.findNamesInScope,
+  findUsingForNode: () => import_chunk_ZDTW2QRS.findUsingForNode,
+  formatAst: () => import_chunk_ZDTW2QRS.formatAst,
+  formatAstLongLines: () => import_chunk_ZDTW2QRS.formatAstLongLines,
+  getApiFunctionInfo: () => import_chunk_ZDTW2QRS.getApiFunctionInfo,
+  getApiMapping: () => import_chunk_ZDTW2QRS.getApiMapping,
+  getSuperClasses: () => import_chunk_ZDTW2QRS.getSuperClasses,
+  hasProperty: () => import_chunk_ZDTW2QRS.hasProperty,
+  isClassVariable: () => import_chunk_ZDTW2QRS.isClassVariable,
+  isLocal: () => import_chunk_ZDTW2QRS.isLocal,
+  isLookupCandidate: () => import_chunk_ZDTW2QRS.isLookupCandidate,
+  isStateNode: () => import_chunk_ZDTW2QRS.isStateNode,
+  lookupByFullName: () => import_chunk_ZDTW2QRS.lookupByFullName,
+  lookupNext: () => import_chunk_ZDTW2QRS.lookupNext,
+  lookupResultContains: () => import_chunk_ZDTW2QRS.lookupResultContains,
+  lookupWithType: () => import_chunk_ZDTW2QRS.lookupWithType,
+  makeToyboxLink: () => import_chunk_ZDTW2QRS.makeToyboxLink,
+  mapVarDeclsByType: () => import_chunk_ZDTW2QRS.mapVarDeclsByType,
+  markInvokeClassMethod: () => import_chunk_ZDTW2QRS.markInvokeClassMethod,
+  parseSdkVersion: () => import_chunk_ZDTW2QRS.parseSdkVersion,
+  sameLookupResult: () => import_chunk_ZDTW2QRS.sameLookupResult,
+  traverseAst: () => import_chunk_ZDTW2QRS.traverseAst,
+  variableDeclarationName: () => import_chunk_ZDTW2QRS.variableDeclarationName,
+  visitReferences: () => import_chunk_ZDTW2QRS.visitReferences,
+  visit_resources: () => import_chunk_ZDTW2QRS.visit_resources,
+  visitorNode: () => import_chunk_ZDTW2QRS.visitorNode
 });
 module.exports = __toCommonJS(api_exports);
-var import_chunk_O5LFMOIG = require("./chunk-O5LFMOIG.cjs");
-var import_chunk_IAUHYWVN = require("./chunk-IAUHYWVN.cjs");
-(0, import_chunk_O5LFMOIG.init_api)();
+var import_chunk_ZDTW2QRS = require("./chunk-ZDTW2QRS.cjs");
+var import_chunk_HHQDDCTP = require("./chunk-HHQDDCTP.cjs");
+(0, import_chunk_ZDTW2QRS.init_api)();
 // Annotate the CommonJS export names for ESM import in node:
 0 && (module.exports = {
   checkCompilerVersion,

package/build/{chunk-IAUHYWVN.cjs → chunk-HHQDDCTP.cjs}

@@ -26,8 +26,9 @@ var __toESM = (mod, isNodeMode, target) => (target = mod != null ? __create(__ge
   mod
 ));
 var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
-var chunk_IAUHYWVN_exports = {};
-__export(chunk_IAUHYWVN_exports, {
+var chunk_HHQDDCTP_exports = {};
+__export(chunk_HHQDDCTP_exports, {
+  GenericQueue: () => GenericQueue,
   __commonJS: () => __commonJS,
   __esm: () => __esm,
   __export: () => __export2,
@@ -40,6 +41,7 @@ __export(chunk_IAUHYWVN_exports, {
   forEach: () => forEach,
   globSome: () => globSome,
   globa: () => globa,
+  init_logger: () => init_logger,
   init_util: () => init_util,
   last_modified: () => last_modified,
   log: () => log,
@@ -56,7 +58,7 @@ __export(chunk_IAUHYWVN_exports, {
   spawnByLine: () => spawnByLine,
   wouldLog: () => wouldLog
 });
-module.exports = __toCommonJS(chunk_IAUHYWVN_exports);
+module.exports = __toCommonJS(chunk_HHQDDCTP_exports);
 var child_process = __toESM(require("child_process"));
 var fsc = __toESM(require("fs"));
 var fs = __toESM(require("fs/promises"));
@@ -5372,6 +5374,85 @@ var require_out4 = __commonJS({
     module2.exports = FastGlob;
   }
 });
+var require_priorityqueuejs = __commonJS({
+  "node_modules/priorityqueuejs/index.js"(exports, module2) {
+    module2.exports = PriorityQueue2;
+    function PriorityQueue2(comparator) {
+      this._comparator = comparator || PriorityQueue2.DEFAULT_COMPARATOR;
+      this._elements = [];
+    }
+    PriorityQueue2.DEFAULT_COMPARATOR = function(a, b) {
+      if (typeof a === "number" && typeof b === "number") {
+        return a - b;
+      } else {
+        a = a.toString();
+        b = b.toString();
+        if (a == b)
+          return 0;
+        return a > b ? 1 : -1;
+      }
+    };
+    PriorityQueue2.prototype.isEmpty = function() {
+      return this.size() === 0;
+    };
+    PriorityQueue2.prototype.peek = function() {
+      if (this.isEmpty())
+        throw new Error("PriorityQueue is empty");
+      return this._elements[0];
+    };
+    PriorityQueue2.prototype.deq = function() {
+      var first = this.peek();
+      var last = this._elements.pop();
+      var size = this.size();
+      if (size === 0)
+        return first;
+      this._elements[0] = last;
+      var current = 0;
+      while (current < size) {
+        var largest = current;
+        var left = 2 * current + 1;
+        var right = 2 * current + 2;
+        if (left < size && this._compare(left, largest) >= 0) {
+          largest = left;
+        }
+        if (right < size && this._compare(right, largest) >= 0) {
+          largest = right;
+        }
+        if (largest === current)
+          break;
+        this._swap(largest, current);
+        current = largest;
+      }
+      return first;
+    };
+    PriorityQueue2.prototype.enq = function(element) {
+      var size = this._elements.push(element);
+      var current = size - 1;
+      while (current > 0) {
+        var parent = Math.floor((current - 1) / 2);
+        if (this._compare(current, parent) <= 0)
+          break;
+        this._swap(parent, current);
+        current = parent;
+      }
+      return size;
+    };
+    PriorityQueue2.prototype.size = function() {
+      return this._elements.length;
+    };
+    PriorityQueue2.prototype.forEach = function(fn) {
+      return this._elements.forEach(fn);
+    };
+    PriorityQueue2.prototype._compare = function(a, b) {
+      return this._comparator(this._elements[a], this._elements[b]);
+    };
+    PriorityQueue2.prototype._swap = function(a, b) {
+      var aux = this._elements[a];
+      this._elements[a] = this._elements[b];
+      this._elements[b] = aux;
+    };
+  }
+});
 function logger(module2, level, message) {
   if (wouldLog(module2, level)) {
     log(message);
@@ -5381,7 +5462,7 @@ function wouldLog(module2, level) {
   if (!loggerSettings) {
     loggerSettings = getLoggerSettings();
   }
-  return (loggerSettings.get(module2) ?? 0) >= level + loggerLevelOffset;
+  return (loggerSettings.get(module2) ?? loggerSettings.get("*") ?? 0) >= level + loggerLevelOffset;
 }
 function bumpLogging(module2, amount) {
   if (!module2) {
@@ -5630,11 +5711,33 @@ function popcount(x) {
   x += x >> 16;
   return x & 127;
 }
-var import_fast_glob;
+var import_fast_glob, import_priorityqueuejs, GenericQueue;
 var init_util = __esm({
   "src/util.ts"() {
     import_fast_glob = __toESM2(require_out4());
+    import_priorityqueuejs = __toESM2(require_priorityqueuejs());
     init_logger();
+    GenericQueue = class {
+      enqueued = /* @__PURE__ */ new Set();
+      queue;
+      constructor(sort) {
+        this.queue = new import_priorityqueuejs.default(sort);
+      }
+      enqueue(block) {
+        if (!this.enqueued.has(block)) {
+          this.enqueued.add(block);
+          this.queue.enq(block);
+        }
+      }
+      dequeue() {
+        const block = this.queue.deq();
+        this.enqueued.delete(block);
+        return block;
+      }
+      empty() {
+        return this.queue.isEmpty();
+      }
+    };
   }
 });
 /*! Bundled license information:
@@ -5687,6 +5790,7 @@ run-parallel/index.js:
 */
 // Annotate the CommonJS export names for ESM import in node:
 0 && (module.exports = {
+  GenericQueue,
   __commonJS,
   __esm,
   __export,
@@ -5699,6 +5803,7 @@ run-parallel/index.js:
   forEach,
   globSome,
   globa,
+  init_logger,
   init_util,
   last_modified,
   log,