porffor 0.42.5 → 0.42.6

package/compiler/codegen.js

@@ -3689,6 +3689,8 @@ const ifIdentifierErrors = (scope, decl) => {
 const generateUnary = (scope, decl) => {
   switch (decl.operator) {
     case '+':
+      // todo/opt: skip ToNumber if already known number type
+
       // 13.5.4 Unary + Operator, 13.5.4.1 Runtime Semantics: Evaluation
       // https://tc39.es/ecma262/#sec-unary-plus-operator-runtime-semantics-evaluation
       // 1. Let expr be ? Evaluation of UnaryExpression.
@@ -3821,33 +3823,62 @@ const generateUnary = (scope, decl) => {
 
 const generateUpdate = (scope, decl, _global, _name, valueUnused = false) => {
   const { name } = decl.argument;
-
   const [ local, isGlobal ] = lookupName(scope, name);
+  if (local != null) {
+    // fast path: just a local
+    // todo: not as compliant as slow path (non numbers)
+    const idx = local.idx;
+    const out = [];
+
+    out.push([ isGlobal ? Opcodes.global_get : Opcodes.local_get, idx ]);
+    if (!decl.prefix && !valueUnused) out.push([ isGlobal ? Opcodes.global_get : Opcodes.local_get, idx ]);
+
+    switch (decl.operator) {
+      case '++':
+        out.push(...number(1), [ Opcodes.add ]);
+        break;
 
-  if (local === undefined) {
-    return todo(scope, `update expression with undefined variable`, true);
-  }
-
-  const idx = local.idx;
-  const out = [];
-
-  out.push([ isGlobal ? Opcodes.global_get : Opcodes.local_get, idx ]);
-  if (!decl.prefix && !valueUnused) out.push([ isGlobal ? Opcodes.global_get : Opcodes.local_get, idx ]);
+      case '--':
+        out.push(...number(1), [ Opcodes.sub ]);
+        break;
+    }
 
-  switch (decl.operator) {
-    case '++':
-      out.push(...number(1), [ Opcodes.add ]);
-      break;
+    out.push([ isGlobal ? Opcodes.global_set : Opcodes.local_set, idx ]);
+    if (decl.prefix && !valueUnused) out.push([ isGlobal ? Opcodes.global_get : Opcodes.local_get, idx ]);
 
-    case '--':
-      out.push(...number(1), [ Opcodes.sub ]);
-      break;
+    return out;
   }
 
-  out.push([ isGlobal ? Opcodes.global_set : Opcodes.local_set, idx ]);
-  if (decl.prefix && !valueUnused) out.push([ isGlobal ? Opcodes.global_get : Opcodes.local_get, idx ]);
+  // ++x: tmp = +x; x = tmp + 1
+  // x++: tmp = +x; x = tmp + 1; tmp
+  const tmp = localTmp(scope, '#updatetmp');
+  addVarMetadata(scope, '#updatetmp', false, { type: TYPES.number });
 
-  return out;
+  return [
+    // tmp = +x
+    // if postfix, tee to keep on stack as return value
+    ...generate(scope, {
+      type: 'UnaryExpression',
+      operator: '+',
+      prefix: true,
+      argument: decl.argument
+    }),
+    [ decl.prefix ? Opcodes.local_set : Opcodes.local_tee, tmp ],
+
+    // x = tmp + 1
+    ...generate(scope, {
+      type: 'AssignmentExpression',
+      operator: '=',
+      left: decl.argument,
+      right: {
+        type: 'BinaryExpression',
+        operator: decl.operator[0],
+        left: { type: 'Identifier', name: '#updatetmp' },
+        right: { type: 'Literal', value: 1 }
+      }
+    }),
+    ...(decl.prefix ? [] : [ [ Opcodes.drop ] ])
+  ];
 };
 
 const generateIf = (scope, decl) => {

package/compiler/wrap.js

@@ -320,7 +320,7 @@ ${flags & 0b0001 ? `    get func idx: ${get}
       const err = new (globalThis[TYPE_NAMES[type]] ?? Error)(obj.message);
 
       err.name = obj.name;
-      err.stack = `${TYPE_NAMES[type]}: ${obj.message}`;
+      err.stack = `${obj.name}: ${obj.message}`;
       return err;
     }
 

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "porffor",
   "description": "a basic experimental wip aot optimizing js -> wasm engine/compiler/runtime in js",
-  "version": "0.42.5+a3af054f9",
+  "version": "0.42.6+d8f9d3f11",
   "author": "CanadaHonk",
   "license": "MIT",
   "scripts": {},

package/runner/index.js

@@ -1,6 +1,6 @@
 #!/usr/bin/env node
 import fs from 'node:fs';
-globalThis.version = '0.42.5+a3af054f9';
+globalThis.version = '0.42.6+d8f9d3f11';
 
 // deno compat
 if (typeof process === 'undefined' && typeof Deno !== 'undefined') {