porffor 0.49.9 → 0.49.11

package/compiler/codegen.js

@@ -50,6 +50,7 @@ const cacheAst = (decl, wasm) => {
 let indirectFuncs = [];
 const funcRef = func => {
   func.generate?.();
+  func.referenced = true;
 
   if (globalThis.precompile) return [
     [ Opcodes.const, 'funcref', func.name ]
@@ -1507,7 +1508,7 @@ const getNodeType = (scope, node) => {
       }
 
       if (Object.hasOwn(builtinFuncs, name) && !builtinFuncs[name].typedReturns) return builtinFuncs[name].returnType ?? TYPES.number;
-      if (Object.hasOwn(internalConstrs, name)) return internalConstrs[name].type;
+      if (Object.hasOwn(internalConstrs, name) && internalConstrs[name].type != null) return internalConstrs[name].type;
 
       // check if this is a prototype function
       // if so and there is only one impl (eg charCodeAt)
@@ -1929,7 +1930,7 @@ const createThisArg = (scope, decl) => {
   const name = decl.callee?.name;
   if (decl._new) {
     // if precompiling or builtin func, just make it null as unused
-    if (globalThis.precompile || Object.hasOwn(builtinFuncs, name)) return [
+    if (!decl._forceCreateThis && (globalThis.precompile || Object.hasOwn(builtinFuncs, name))) return [
       ...number(NULL),
       ...number(TYPES.object, Valtype.i32)
     ];
@@ -2532,6 +2533,8 @@ const generateCall = (scope, decl, _global, _name, unusedValue = false) => {
 
   const func = funcByIndex(idx);
 
+  if (func && !decl._new) func.onlyNew = false;
+
   // generate func
   if (func) func.generate?.();
 
@@ -2664,16 +2667,22 @@ const generateThis = (scope, decl) => {
   ];
 
   return [
-    // default this to globalThis
-    [ Opcodes.local_get, scope.locals['#this#type'].idx ],
-    ...number(TYPES.undefined, 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 ],
+    // default this to globalThis unless only new func
+    [ null, () => {
+      if (scope.onlyNew !== false && !scope.referenced) return [];
+
+      return [
+        [ Opcodes.local_get, scope.locals['#this#type'].idx ],
+        ...number(TYPES.undefined, 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 ]
+      ];
+    }, 0 ],
 
     [ Opcodes.local_get, scope.locals['#this'].idx ],
     ...setLastType(scope, [ [ Opcodes.local_get, scope.locals['#this#type'].idx ] ])
@@ -6094,7 +6103,7 @@ const objectHack = node => {
       if (node.computed || node.optional) return;
 
       // hack: block these properties as they can be accessed on functions
-      if (node.property.name === 'length' || node.property.name === 'name' || node.property.name === 'call') return abortOut;
+      if (node.object.name !== 'Porffor' && (node.property.name === 'length' || node.property.name === 'name' || node.property.name === 'call')) return abortOut;
 
       if (node.property.name === '__proto__') return abortOut;
 
@@ -6605,6 +6614,30 @@ const internalConstrs = {
     type: TYPES.bytestring,
     notConstr: true,
     length: 1
+  },
+
+  __Porffor_call: {
+    // Porffor.call(func, argArray, this, newTarget)
+    generate: (scope, decl) => generate(scope, {
+      type: 'CallExpression',
+      callee: decl.arguments[0],
+      arguments: [ {
+        type: 'SpreadElement',
+        argument: decl.arguments[1],
+      } ],
+      _thisWasm: decl.arguments[2].value === null ? null : [
+        ...generate(scope, decl.arguments[2]),
+        ...getNodeType(scope, decl.arguments[2])
+      ],
+      _newTargetWasm: decl.arguments[3].value === null ? null : [
+        ...generate(scope, decl.arguments[3]),
+        ...getNodeType(scope, decl.arguments[3])
+      ],
+      _new: decl.arguments[3].value !== null,
+      _forceCreateThis: true
+    }),
+    notConstr: true,
+    length: 1
   }
 };
 

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.49.9",
+  "version": "0.49.11",
   "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.49.9';
+globalThis.version = '0.49.11';
 
 // deno compat
 if (typeof process === 'undefined' && typeof Deno !== 'undefined') {