porffor 0.37.31 → 0.37.32

package/compiler/codegen.js

@@ -1733,7 +1733,7 @@ const aliasPrimObjsBC = bc => {
 const createThisArg = (scope, decl) => {
   const name = mapName(decl.callee?.name);
   if (decl._new) {
-    // if precompiling or builtin func, just make empty object
+    // if precompiling or builtin func, just make it null as unused
     if (globalThis.precompile || Object.hasOwn(builtinFuncs, name)) return [
       ...number(NULL),
       ...number(TYPES.object, Valtype.i32)
@@ -1793,11 +1793,12 @@ const createThisArg = (scope, decl) => {
       ];
     }
 
-    // do not generate globalThis now,
+    // undefined do not generate globalThis now,
     // do it dynamically in generateThis in the func later
+    // (or not for strict mode)
     return [
-      ...number(NULL),
-      ...number(TYPES.object, Valtype.i32)
+      ...number(UNDEFINED),
+      ...number(TYPES.undefined, Valtype.i32)
     ];
   }
 };
@@ -2597,27 +2598,22 @@ const generateThis = (scope, decl) => {
     ];
   }
 
-  // opt: do not check for pure constructors
-  if (scope._onlyConstr || scope._onlyThisMethod || decl._noGlobalThis) return [
+  // opt: do not check for pure constructors or strict mode
+  if ((!globalThis.precompile && scope.strict) || scope._onlyConstr || scope._onlyThisMethod || decl._noGlobalThis) return [
     [ Opcodes.local_get, scope.locals['#this'].idx ],
     ...setLastType(scope, [ [ Opcodes.local_get, scope.locals['#this#type'].idx ] ])
   ];
 
   return [
     // default this to globalThis
-    [ Opcodes.local_get, scope.locals['#this'].idx ],
-    Opcodes.i32_to_u,
-    [ Opcodes.i32_eqz ],
+    [ Opcodes.local_get, scope.locals['#this#type'].idx ],
+    ...number(TYPES.undefined, Valtype.i32),
+    [ Opcodes.i32_eq ],
     [ Opcodes.if, Blocktype.void ],
-      [ Opcodes.local_get, scope.locals['#this#type'].idx ],
-      ...number(TYPES.object, Valtype.i32),
-      [ Opcodes.i32_eq ],
-      [ Opcodes.if, Blocktype.void ],
-        ...generate(scope, { type: 'Identifier', name: 'globalThis' }),
-        [ Opcodes.local_set, scope.locals['#this'].idx ],
-        ...getType(scope, 'globalThis'),
-        [ Opcodes.local_set, scope.locals['#this#type'].idx ],
-      [ Opcodes.end ],
+      ...generate(scope, { type: 'Identifier', name: 'globalThis' }),
+      [ Opcodes.local_set, scope.locals['#this'].idx ],
+      ...getType(scope, 'globalThis'),
+      [ Opcodes.local_set, scope.locals['#this#type'].idx ],
     [ Opcodes.end ],
 
     [ Opcodes.local_get, scope.locals['#this'].idx ],

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.37.31+587ce769f",
+  "version": "0.37.32+fde2c20c4",
   "author": "CanadaHonk",
   "license": "MIT",
   "scripts": {},

package/rhemyn/compile.js

@@ -12,15 +12,17 @@ const Length = 4;
 const Tmp = 5;
 const QuantifierTmp = 6; // the temporary variable used for quanitifers
 
-const doesSucceedZero = (node) => {
+const doesSucceedZero = node => {
   for (const n of node.body) {
-    if (n.type === "Group") {
-      if (!doesSucceedZero(node)) return false;
+    if (n.type === 'Group') {
+      if (!doesSucceedZero(n)) return false;
     }
+
     if (!n.quantifier || n.quantifier[0] > 0) {
       return false;
     }
   }
+
   return true;
 }
 

package/runner/index.js

@@ -1,6 +1,6 @@
 #!/usr/bin/env node
 import fs from 'node:fs';
-globalThis.version = '0.37.31+587ce769f';
+globalThis.version = '0.37.32+fde2c20c4';
 
 // deno compat
 if (typeof process === 'undefined' && typeof Deno !== 'undefined') {