porffor 0.60.2 → 0.60.4

package/AGENT.md

@@ -0,0 +1,20 @@
+you are an assistant coder for Porffor - an early javascript and typescript to webassembly and native ahead-of-time compiler. the codebase is written in js and ts.
+
+- built-ins apis (Date, String.prototype, etc) are written in ts inside `compiler/builtins`
+- once you update a file inside that directory, you MUST run `./porf precompile` to compile to make your changes effective
+- test your work using the test262 tools available, iterate independently but do not get stuck on one chain of thought or approach. paths for test262 tools should be relative to the 'test262/test' directory (e.g., 'built-ins/RegExp' NOT 'test262/test/built-ins/RegExp').
+- to get an overview of the most failing directories, use the command: `node test262/fails.cjs`
+- to just evaluate code in the engine, use the command: `./porf -p "..."`
+- after finishing, check if your work/diff could be simplified
+- always use single quotes (unless double is required)
+- 2-space indentation, LF line endings, no trailing whitespace
+- built-in APIs in `compiler/builtins/` written in TypeScript
+- inline code in built-ins, avoid helper functions
+- use semicolons
+- do not use trailing commas
+- use const/let, avoid var
+- follow existing naming: camelCase for variables, PascalCase for types
+- when possible, do not concat strings and instead write to them directly using wasm memory
+- there are no closures, you cannot use locals between functions. use arguments or globals if really necessary
+- The user prefers that prototype functions not have explicit return types in this codebase.
+- The user prefers not to use global variables in built-in functions.

package/compiler/2c.js

@@ -612,6 +612,21 @@ export default ({ funcs, globals, data, pages }) => {
           let func = funcs.find(x => x.index === i[1]);
           if (!func) {
             const importFunc = importFuncs[i[1]];
+            if (Prefs['2cWasmImports']) {
+              const name = '__porf_import_' + importFunc.name;
+              if (!prepend.has(name)) {
+                prepend.set(name, `
+__attribute__((import_module(""), import_name("${importFunc.import}")))
+extern ${importFunc.returns.length > 0 ? CValtype[importFunc.returns[0]] : 'void'} ${name}(${importFunc.params.map(x => CValtype[x]).join(', ')});`);
+              }
+
+              const call = `${name}(${importFunc.params.length > 0 ? vals.pop() : ''})`;
+              if (importFunc.returns.length > 0) vals.push(call);
+                else line(call);
+
+              break;
+            }
+
             switch (importFunc.name) {
               case 'print':
                 line(`printf("${valtype === 'f64' ? '%.15g' : '%i'}", ${vals.pop()})`);
@@ -807,6 +822,8 @@ export default ({ funcs, globals, data, pages }) => {
           // todo: allow catching
           const type = vals.pop();
           const val = vals.pop();
+          if (Prefs['2cWasmImports']) break;
+
           line(`printf("Uncaught ")`);
 
           // const id = tmpId++;

package/compiler/builtins/_internal_object.ts

@@ -172,15 +172,15 @@ local.set ${obj}`;
     // it does not, make it
     const underlying: object = {};
     if (Porffor.type(_obj) == Porffor.TYPES.function) {
+      __Porffor_object_fastAdd(underlying, 'length', __Porffor_funcLut_length(obj), 0b0010);
+      __Porffor_object_fastAdd(underlying, 'name', __Porffor_funcLut_name(obj), 0b0010);
+
       if (ecma262.IsConstructor(_obj)) { // constructor
         // set prototype and prototype.constructor if function and constructor
         const proto: object = {};
         __Porffor_object_fastAdd(underlying, 'prototype', proto, 0b1000);
         __Porffor_object_fastAdd(proto, 'constructor', _obj, 0b1010);
       }
-
-      __Porffor_object_fastAdd(underlying, 'name', __Porffor_funcLut_name(obj), 0b0010);
-      __Porffor_object_fastAdd(underlying, 'length', __Porffor_funcLut_length(obj), 0b0010);
     }
 
     if (Porffor.type(_obj) == Porffor.TYPES.array) {
@@ -206,8 +206,8 @@ local.set x#type`;
 
     if (Porffor.fastOr(
       Porffor.type(_obj) == Porffor.TYPES.string,
-      Porffor.type(_obj) == Porffor.TYPES.stringobject)
-    ) {
+      Porffor.type(_obj) == Porffor.TYPES.stringobject
+    )) {
       const len: i32 = (obj as string).length;
       __Porffor_object_fastAdd(underlying, 'length', len, 0b0000);
 

package/compiler/builtins/array.ts

@@ -42,7 +42,7 @@ export const __Array_from = (arg: any, mapFn: any): any[] => {
 
   if (Porffor.fastOr(
     Porffor.type(arg) == Porffor.TYPES.array,
-    Porffor.type(arg) == Porffor.TYPES.string, Porffor.type(arg) == Porffor.TYPES.bytestring,
+    (Porffor.type(arg) | 0b10000000) == Porffor.TYPES.bytestring,
     Porffor.type(arg) == Porffor.TYPES.set,
     Porffor.fastAnd(Porffor.type(arg) >= Porffor.TYPES.uint8clampedarray, Porffor.type(arg) <= Porffor.TYPES.float64array)
   )) {

package/compiler/builtins/date.ts

@@ -1832,7 +1832,7 @@ export const Date = function (v0: unknown, v1: unknown, v2: unknown, v3: unknown
     } else {
       // c. Else,
       // ii. If v is a String, then
-      if (Porffor.fastOr(Porffor.type(v0) == Porffor.TYPES.string, Porffor.type(v0) == Porffor.TYPES.bytestring)) {
+      if ((Porffor.type(v0) | 0b10000000) == Porffor.TYPES.bytestring) {
         // 1. Assert: The next step never returns an abrupt completion because v is a String.
 
         // 2. Let tv be the result of parsing v as a date, in exactly the same manner as for the parse method (21.4.3.2).

package/compiler/builtins/json.ts

@@ -311,7 +311,7 @@ export const __JSON_parse = (_: bytestring) => {
           Porffor.bytestring.appendChar(out, ch);
           pos++;
         }
-      }3
+      }
       throw new SyntaxError('Unterminated string');
     }
 
@@ -326,7 +326,7 @@ export const __JSON_parse = (_: bytestring) => {
       }
 
       while (true) {
-        arr.push(parseValue());
+        Porffor.array.fastPush(arr, parseValue());
         skipWhitespace();
         if (pos >= len) throw new SyntaxError('Unterminated array');
 
@@ -396,7 +396,7 @@ export const __JSON_parse = (_: bytestring) => {
           else break;
       }
 
-      return +ecma262.StringToNumber(__ByteString_prototype_slice(text, start, pos));
+      return ecma262.StringToNumber(__ByteString_prototype_slice(text, start, pos));
     }
 
     throw new SyntaxError('Unexpected token');

package/compiler/builtins/object.ts

@@ -690,8 +690,7 @@ export const __Object_prototype_toString = (_this: any) => {
     Porffor.type(_this) == Porffor.TYPES.number,
     Porffor.type(_this) == Porffor.TYPES.numberobject)) return '[object Number]';
   if (Porffor.fastOr(
-    Porffor.type(_this) == Porffor.TYPES.string,
-    Porffor.type(_this) == Porffor.TYPES.bytestring,
+    (Porffor.type(_this) | 0b10000000) == Porffor.TYPES.bytestring,
     Porffor.type(_this) == Porffor.TYPES.stringobject)) return '[object String]';
   if (Porffor.type(_this) == Porffor.TYPES.date) return '[object Date]';
   if (Porffor.type(_this) == Porffor.TYPES.regexp) return '[object RegExp]';

package/compiler/builtins/object_hiddenPrototype.js

@@ -3,8 +3,7 @@ export default ({ TYPES, TYPE_NAMES }) => {
 export const __Porffor_object_getHiddenPrototype = (trueType: i32): any => {
   if (Porffor.comptime.flag\`hasFunc.#get___String_prototype\`) {
     if (Porffor.fastOr(
-      trueType == Porffor.TYPES.string,
-      trueType == Porffor.TYPES.bytestring,
+      (trueType | 0b10000000) == Porffor.TYPES.bytestring,
       trueType == Porffor.TYPES.stringobject
     )) return __String_prototype;
   }

package/compiler/builtins/typedarray.js

@@ -46,7 +46,7 @@ export default async () => {
 
     if (Porffor.fastOr(
       Porffor.type(arg) == Porffor.TYPES.array,
-      Porffor.type(arg) == Porffor.TYPES.string, Porffor.type(arg) == Porffor.TYPES.bytestring,
+      (Porffor.type(arg) | 0b10000000) == Porffor.TYPES.bytestring,
       Porffor.type(arg) == Porffor.TYPES.set,
       Porffor.fastAnd(Porffor.type(arg) >= Porffor.TYPES.uint8clampedarray, Porffor.type(arg) <= Porffor.TYPES.float64array)
     )) {
@@ -77,7 +77,7 @@ export const __${name}_from = (arg: any, mapFn: any): ${name} => {
 
   if (Porffor.fastOr(
     Porffor.type(arg) == Porffor.TYPES.array,
-    Porffor.type(arg) == Porffor.TYPES.string, Porffor.type(arg) == Porffor.TYPES.bytestring,
+    (Porffor.type(arg) | 0b10000000) == Porffor.TYPES.bytestring,
     Porffor.type(arg) == Porffor.TYPES.set,
     Porffor.fastAnd(Porffor.type(arg) >= Porffor.TYPES.uint8clampedarray, Porffor.type(arg) <= Porffor.TYPES.float64array)
   )) {
@@ -164,7 +164,7 @@ export const __${name}_prototype_set = (_this: ${name}, array: any, offset: numb
 
   if (Porffor.fastOr(
     Porffor.type(array) == Porffor.TYPES.array,
-    Porffor.type(array) == Porffor.TYPES.string, Porffor.type(array) == Porffor.TYPES.bytestring,
+    (Porffor.type(array) | 0b10000000) == Porffor.TYPES.bytestring,
     Porffor.type(array) == Porffor.TYPES.set,
     Porffor.fastAnd(Porffor.type(array) >= Porffor.TYPES.uint8clampedarray, Porffor.type(array) <= Porffor.TYPES.float64array)
   )) {

package/compiler/builtins/z_ecma262.ts

@@ -49,9 +49,8 @@ export const __ecma262_ToNumber = (argument: unknown): number => {
   if (argument === true) return 1;
 
   // 6. If argument is a String, return StringToNumber(argument).
-  if (Porffor.fastOr(
-    Porffor.type(argument) == Porffor.TYPES.string,
-    Porffor.type(argument) == Porffor.TYPES.bytestring)) return __ecma262_StringToNumber(argument);
+  if ((Porffor.type(argument) | 0b10000000) == Porffor.TYPES.bytestring)
+    return __ecma262_StringToNumber(argument);
 
   // 7. Assert: argument is an Object.
   // 8. Let primValue be ? ToPrimitive(argument, number).
@@ -121,9 +120,8 @@ export const __ecma262_ToIndex = (value: unknown): number => {
 // https://tc39.es/ecma262/#sec-tostring
 export const __ecma262_ToString = (argument: unknown): any => {
   // 1. If argument is a String, return argument.
-  if (Porffor.fastOr(
-    Porffor.type(argument) == Porffor.TYPES.string,
-    Porffor.type(argument) == Porffor.TYPES.bytestring)) return argument;
+  if ((Porffor.type(argument) | 0b10000000) == Porffor.TYPES.bytestring)
+    return argument;
 
   // 2. If argument is a Symbol, throw a TypeError exception.
   if (Porffor.type(argument) == Porffor.TYPES.symbol) throw new TypeError('Cannot convert a Symbol value to a string');