porffor 0.56.0 → 0.56.1

package/compiler/assemble.js

@@ -141,6 +141,7 @@ export default (funcs, globals, tags, pages, data, noTreeshake = false) => {
       if (length == null) {
         length = func.params.length;
         if (func.constr) length -= 4;
+        if (func.method) length -= 2;
         if (!func.internal || func.typedParams) length = Math.floor(length / 2);
 
         // remove _this from internal prototype funcs

package/compiler/codegen.js

@@ -93,7 +93,7 @@ const funcRef = func => {
     }
 
     const wasm = [];
-    const offset = func.constr ? 0 : 4;
+    const offset = func.constr ? 0 : (func.method ? 2 : 4);
     for (let i = 0; i < func.params.length; i++) {
       if (func.internal && func.name.includes('_prototype_') && i < 2) {
         // special case: use real this for prototype internals
@@ -456,7 +456,7 @@ const lookup = (scope, name, failEarly = false) => {
       // todo: not compliant
       let len = countLength(scope);
       const names = new Array(len);
-      const off = scope.constr ? 4 : 0;
+      const off = scope.constr ? 4 : (scope.method ? 2 : 0);
       for (const x in scope.locals) {
         const i = scope.locals[x].idx - off;
         if (i >= 0 && i % 2 === 0 && i < len * 2) {
@@ -1716,7 +1716,7 @@ const getNodeType = (scope, node) => {
 
     if (node.type === 'ThisExpression') {
       if (scope.overrideThisType) return scope.overrideThisType;
-      if (!scope.constr) return getType(scope, 'globalThis');
+      if (!scope.constr && !scope.method) return getType(scope, 'globalThis');
       return [ [ Opcodes.local_get, scope.locals['#this#type'].idx ] ];
     }
 
@@ -2636,6 +2636,11 @@ const generateCall = (scope, decl, _global, _name, unusedValue = false) => {
     paramOffset += 4;
   }
 
+  if (func && func.method) {
+    out.push(...(decl._thisWasm ?? createThisArg(scope, decl)));
+    paramOffset += 2;
+  }
+
   if (func && args.length < paramCount) {
     // too little args, push undefineds
     const underflow = paramCount - (func.hasRestArgument ? 1 : 0) - args.length;
@@ -2720,7 +2725,7 @@ const generateCall = (scope, decl, _global, _name, unusedValue = false) => {
 const generateThis = (scope, decl) => {
   if (scope.overrideThis) return scope.overrideThis;
 
-  if (!scope.constr) {
+  if (!scope.constr && !scope.method) {
     // this in a non-constructor context is a reference to globalThis
     return [
       ...generate(scope, { type: 'Identifier', name: 'globalThis' })
@@ -5527,7 +5532,10 @@ const generateObject = (scope, decl, global = false, name = '$undeclared') => {
 
     for (const x of decl.properties) {
       // method, shorthand are made into useful values by parser for us :)
-      let { type, argument, computed, kind, value } = x;
+      let { type, argument, computed, kind, value, method } = x;
+
+      // tag function as not a constructor
+      if (method) value._method = true;
 
       if (type === 'SpreadElement') {
         out.push(
@@ -5620,6 +5628,7 @@ const countParams = (func, name = undefined) => {
   name ??= func.name;
   let params = func.params.length;
   if (func.constr) params -= 4;
+  if (func.method) params -= 2;
   if (!func.internal || builtinFuncs[name]?.typedParams) params = Math.floor(params / 2);
 
   return func.argc = params;
@@ -6123,6 +6132,9 @@ const generateClass = (scope, decl) => {
     let { type, value, kind, static: _static, computed } = x;
     if (kind === 'constructor') continue;
 
+    // tag function as not a constructor
+    if (type === 'MethodDefinition') value._method = true;
+
     if (type === 'StaticBlock') {
       // todo: make this more compliant
       out.push(
@@ -6448,7 +6460,8 @@ const generateFunc = (scope, decl, forceNoExpr = false) => {
     name,
     index: currentFuncIndex++,
     arrow,
-    constr: !arrow && !decl.generator && !decl.async,
+    constr: !arrow && !decl.generator && !decl.async && !decl._method, // constructable
+    method: decl._method || decl.generator || decl.async, // has this but not constructable
     async: decl.async,
     subclass: decl._subclass, _onlyConstr: decl._onlyConstr, _onlyThisMethod: decl._onlyThisMethod,
     strict: scope.strict || decl.strict,
@@ -6679,6 +6692,7 @@ const generateFunc = (scope, decl, forceNoExpr = false) => {
 
   const args = [];
   if (func.constr) args.push({ name: '#newtarget' }, { name: '#this' });
+  if (func.method) args.push({ name: '#this' });
 
   let jsLength = 0;
   for (let i = 0; i < params.length; i++) {
@@ -6719,7 +6733,7 @@ const generateFunc = (scope, decl, forceNoExpr = false) => {
     args.push({ name, def, destr, type: typedInput && params[i].typeAnnotation });
   }
 
-  func.params = new Array((params.length + (func.constr ? 2 : 0)) * 2).fill(0).map((_, i) => i % 2 ? Valtype.i32 : valtypeBinary);
+  func.params = new Array((params.length + (func.constr ? 2 : (func.method ? 1 : 0))) * 2).fill(0).map((_, i) => i % 2 ? Valtype.i32 : valtypeBinary);
   func.jsLength = jsLength;
 
   // force generate for main

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "porffor",
   "description": "An ahead-of-time JavaScript compiler",
-  "version": "0.56.0",
+  "version": "0.56.1",
   "author": "Oliver Medhurst <honk@goose.icu>",
   "license": "MIT",
   "scripts": {},

package/r.cjs

@@ -1,107 +1,8 @@
-var assert = mustBeTrue => {
-  if (mustBeTrue === true) {
-    return;
-  }
-
-  throw new Test262Error('assert failed');
+let obj = {
+  wow() {}
 };
 
-function isConfigurable(obj, name) {
-  if (Object.hasOwn(obj, name)) return Object.getOwnPropertyDescriptor(obj, name).configurable;
-  return true;
-}
-
-function isEnumerable(obj, name) {
-  return Object.hasOwn(obj, name) && Object.getOwnPropertyDescriptor(obj, name).enumerable;
-}
-
-function isSameValue(a, b) {
-  if (a === 0 && b === 0) return 1 / a === 1 / b;
-  if (a !== a && b !== b) return true;
-
-  return a === b;
-}
-
-function isWritable(obj, name, verifyProp, value) {
-  if (Object.hasOwn(obj, name) && Object.getOwnPropertyDescriptor(obj, name).writable != null) return Object.getOwnPropertyDescriptor(obj, name).writable;
-  if (!Object.hasOwn(obj, name) && Object.isExtensible(obj)) return true;
-
-  var unlikelyValue = Array.isArray(obj) && name === "length" ?
-    Math.pow(2, 32) - 1 :
-    "unlikelyValue";
-  var newValue = value || unlikelyValue;
-  var hadValue = Object.hasOwn(obj, name);
-  var oldValue = obj[name];
-  var writeSucceeded;
-
-  try {
-    obj[name] = newValue;
-  } catch {}
-
-  writeSucceeded = isSameValue(obj[verifyProp || name], newValue);
-
-  if (writeSucceeded) {
-    if (hadValue) {
-      obj[name] = oldValue;
-    } else {
-      delete obj[name];
-    }
-  }
-
-  return writeSucceeded;
-}
-
-function verifyProperty(obj, name, desc, options) {
-  var originalDesc = Object.getOwnPropertyDescriptor(obj, name);
-
-  if (desc === undefined) {
-    if (originalDesc !== undefined) {
-      throw new Test262Error('verifyProperty: expected undefined descriptor');
-    }
-
-    return true;
-  }
-
-  if (!Object.hasOwn(obj, name)) throw new Test262Error('verifyProperty: obj should have own property');
-
-  if (Object.hasOwn(desc, 'value')) {
-    const v = desc.value;
-    if (!isSameValue(originalDesc.value, v)) throw new Test262Error('verifyProperty: descriptor value mismatch');
-    // if (!isSameValue(obj[name], v)) throw new Test262Error('verifyProperty: object value mismatch');
-  }
-
-  if (Object.hasOwn(desc, 'enumerable')) {
-    if (desc.enumerable !== originalDesc.enumerable ||
-        desc.enumerable !== isEnumerable(obj, name)) {
-      throw new Test262Error('enumerable fail');
-    }
-  }
-
-  if (Object.hasOwn(desc, 'writable')) {
-    if (desc.writable !== originalDesc.writable ||
-        desc.writable !== isWritable(obj, name)) {
-      throw new Test262Error('writable fail');
-    }
-  }
-
-  if (Object.hasOwn(desc, 'configurable')) {
-    if (desc.configurable !== originalDesc.configurable ||
-        desc.configurable !== isConfigurable(obj, name)) {
-      throw new Test262Error('configurable fail');
-    }
-  }
-
-  if (options && options.restore) {
-    Object.defineProperty(obj, name, originalDesc);
-  }
-
-  return true;
-}
-
-const desc = { enumerable: true, configurable: true, writable: true };
-const obj = Object.defineProperty({}, 'wow', desc);
-assert(verifyProperty(obj, 'wow', desc));
-
+console.log(obj.wow.prototype);
 
 // var EQUAL = 1;
 // var NOT_EQUAL = -1;

package/runner/index.js

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