porffor 0.17.0-c2af76d41 → 0.17.0-c2dd8f88f

package/README.md

@@ -148,27 +148,29 @@ These include some early (stage 1/0) and/or dead (last commit years ago) proposa
 - Array constructor (`Array(5)`, `new Array(1, 2, 3)`)
 - Labelled statements (`foo: while (...)`)
 - `do...while` loops
+- Optional parameters (`(foo = 'bar') => { ... }`)
 
 ### Built-ins
 
 - `NaN` and `Infinity`
 - `isNaN()` and `isFinite()`
 - Most of `Number` (`MAX_VALUE`, `MIN_VALUE`, `MAX_SAFE_INTEGER`, `MIN_SAFE_INTEGER`, `POSITIVE_INFINITY`, `NEGATIVE_INFINITY`, `EPSILON`, `NaN`, `isNaN`, `isFinite`, `isInteger`, `isSafeInteger`)
-- Some `Math` funcs (`sqrt`, `abs`, `floor`, `sign`, `round`, `trunc`, `clz32`, `fround`, `random`)
+- Most `Math` funcs (`sqrt`, `abs`, `floor`, `sign`, `round`, `trunc`, `clz32`, `fround`, `random`, `exp`, `log`, `log2`, `log10`, `pow`, `expm1`, `log1p`, `sqrt`, `cbrt`, `hypot`, `sin`, `cos`, `tan`, `sinh`, `cosh`, `tanh`, `asinh`, `acosh`, `atanh`, `asin`, `acos`, `atan`, `atan2`)
 - Basic `globalThis` support
 - Basic `Boolean` and `Number`
 - Basic `eval` for literals
 - `Math.random()` using self-made xorshift128+ PRNG
 - Some of `performance` (`now()`, `timeOrigin`)
-- Some of `Array.prototype` (`at`, `push`, `pop`, `shift`, `fill`, `slice`, `indexOf`, `lastIndexOf`, `includes`, `with`, `reverse`, `toReversed`)
-- Some of `Array` (`of`, `isArray`)
-- Most of `String.prototype` (`at`, `charAt`, `charCodeAt`, `toUpperCase`, `toLowerCase`, `startsWith`, `endsWith`, `indexOf`, `lastIndexOf`, `includes`, `padStart`, `padEnd`, `substring`, `substr`, `slice`, `trimStart`, `trimEnd`, `trim`, `toString`, `big`, `blink`, `bold`, `fixed`, `italics`, `small`, `strike`, `sub`, `sup`,  `trimLeft`, `trimRight`, )
+- Most of `Array.prototype` (`at`, `push`, `pop`, `shift`, `fill`, `slice`, `indexOf`, `lastIndexOf`, `includes`, `with`, `reverse`, `toReversed`, `forEach`, `filter`, `map`, `find`, `findLast`, `findIndex`, `findLastIndex`, `every`, `some`, `reduce`, `reduceRight`, `join`, `toString`)
+- Most of `Array` (`of`, `isArray`)
+- Most of `String.prototype` (`at`, `charAt`, `charCodeAt`, `toUpperCase`, `toLowerCase`, `startsWith`, `endsWith`, `indexOf`, `lastIndexOf`, `includes`, `padStart`, `padEnd`, `substring`, `substr`, `slice`, `trimStart`, `trimEnd`, `trim`, `toString`, `big`, `blink`, `bold`, `fixed`, `italics`, `small`, `strike`, `sub`, `sup`,  `trimLeft`, `trimRight`, `trim`)
 - Some of `crypto` (`randomUUID`)
 - `escape`
 - `btoa`
 - Most of `Number.prototype` (`toString`, `toFixed`, `toExponential`)
 - `parseInt`
 - Spec-compliant `Date`
+- WIP typed arrays (`Uint8Array`, `Int32Array`, etc)
 
 ### Custom
 

package/compiler/assemble.js

@@ -82,7 +82,17 @@ export default (funcs, globals, tags, pages, data, flags, noTreeshake = false) =
             params.push(valtypeBinary, Valtype.i32);
           }
 
-          const returns = [ valtypeBinary, Valtype.i32 ];
+          if (inst.at(-1) === 'constr') {
+            inst.pop();
+            params.unshift(Valtype.i32);
+          }
+
+          let returns = [ valtypeBinary, Valtype.i32 ];
+          if (inst.at(-1) === 'no_type_return') {
+            inst.pop();
+            returns = [ valtypeBinary ];
+          }
+
           inst[1] = getType(params, returns);
         }
       }
@@ -116,16 +126,21 @@ export default (funcs, globals, tags, pages, data, flags, noTreeshake = false) =
     ] ])
   );
 
-  if (pages.has('func argc lut') && !data.addedFuncArgcLut) {
-    // generate func argc lut data
+  if (pages.has('func lut') && !data.addedFuncArgcLut) {
+    // generate func lut data
     const bytes = [];
     for (let i = 0; i < funcs.length; i++) {
       const argc = Math.floor(funcs[i].params.length / 2);
       bytes.push(argc % 256, (argc / 256 | 0) % 256);
+
+      let flags = 0b00000000; // 8 flag bits
+      if (funcs[i].returnType != null) flags |= 0b1;
+      if (funcs[i].constr) flags |= 0b10;
+      bytes.push(flags);
     }
 
     data.push({
-      offset: pages.get('func argc lut').ind * pageSize,
+      offset: pages.get('func lut').ind * pageSize,
       bytes
     });
     data.addedFuncArgcLut = true;

package/compiler/builtins/array.ts

@@ -46,6 +46,34 @@ export const __Array_prototype_slice = (_this: any[], start: number, end: number
   return out;
 };
 
+// @porf-typed-array
+export const __Array_prototype_fill = (_this: any[], value: any, start: any, end: any) => {
+  const len: i32 = _this.length;
+
+  if (Porffor.rawType(start) == Porffor.TYPES.undefined) start = 0;
+  if (Porffor.rawType(end) == Porffor.TYPES.undefined) end = len;
+
+  start |= 0;
+  end |= 0;
+
+  if (start < 0) {
+    start = len + start;
+    if (start < 0) start = 0;
+  }
+  if (start > len) start = len;
+  if (end < 0) {
+    end = len + end;
+    if (end < 0) end = 0;
+  }
+  if (end > len) end = len;
+
+  for (let i: i32 = start; i < end; i++) {
+    _this[i] = value;
+  }
+
+  return _this;
+};
+
 // @porf-typed-array
 export const __Array_prototype_indexOf = (_this: any[], searchElement: any, position: number) => {
   const len: i32 = _this.length;

package/compiler/builtins/date.ts

@@ -718,108 +718,6 @@ export const __Porffor_date_write = (ptr: Date, val: number) => {
   Porffor.wasm.f64.store(ptr, val, 0, 0);
 };
 
-// 21.4.2.1 Date (...values)
-// https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date
-export const Date$constructor = (v0: unknown, v1: unknown, v2: unknown, v3: unknown, v4: unknown, v5: unknown, v6: unknown): Date => {
-  // todo: passing undefined to params should not act like no arg was passed
-
-  // 2. Let numberOfArgs be the number of elements in values.
-  // sorry.
-  const numberOfArgs: i32 =
-    (Porffor.rawType(v0) != Porffor.TYPES.undefined) +
-    (Porffor.rawType(v1) != Porffor.TYPES.undefined) +
-    (Porffor.rawType(v2) != Porffor.TYPES.undefined) +
-    (Porffor.rawType(v3) != Porffor.TYPES.undefined) +
-    (Porffor.rawType(v4) != Porffor.TYPES.undefined) +
-    (Porffor.rawType(v5) != Porffor.TYPES.undefined) +
-    (Porffor.rawType(v6) != Porffor.TYPES.undefined);
-
-  let dv: number = 0;
-
-  // 3. If numberOfArgs = 0, then
-  if (numberOfArgs == 0) {
-    // a. Let dv be the time value (UTC) identifying the current time.
-    dv = __Date_now();
-  } else if (numberOfArgs == 1) {
-    // 4. Else if numberOfArgs = 1, the n
-    // a. Let value be values[0].
-    const value: any = v0;
-
-    const valueType: i32 = Porffor.rawType(v0);
-
-    let tv: number = 0;
-
-    // b. If value is an Object and value has a [[DateValue]] internal slot, then
-    if (valueType == Porffor.TYPES.date) {
-      // i. Let tv be value.[[DateValue]].
-      tv = __Porffor_date_read(value);
-    } else {
-      // c. Else,
-      // ii. If v is a String, then
-      if (Porffor.fastOr(valueType == Porffor.TYPES.string, valueType == 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).
-        tv = __Date_parse(value);
-      } else {
-        // iii. Else,
-        // 1. Let tv be ? ToNumber(v).
-        tv = Number(value);
-      }
-    }
-
-    // d. Let dv be TimeClip(tv).
-    dv = __ecma262_TimeClip(tv);
-  } else {
-    // 5. Else,
-    // a. Assert: numberOfArgs ≥ 2.
-
-    // b. Let y be ? ToNumber(values[0]).
-    const y: number = Number(v0);
-
-    // c. Let m be ? ToNumber(values[1]).
-    const m: number = Number(v1);
-
-    // d. If numberOfArgs > 2, let dt be ? ToNumber(values[2]); else let dt be 1𝔽.
-    let dt: number = 1;
-    if (numberOfArgs > 2) dt = Number(v2);
-
-    // e. If numberOfArgs > 3, let h be ? ToNumber(values[3]); else let h be +0𝔽.
-    let h: number = 0;
-    if (numberOfArgs > 3) h = Number(v3);
-
-    // f. If numberOfArgs > 4, let min be ? ToNumber(values[4]); else let min be +0𝔽.
-    let min: number = 0;
-    if (numberOfArgs > 4) min = Number(v4);
-
-    // g. If numberOfArgs > 5, let s be ? ToNumber(values[5]); else let s be +0𝔽.
-    let s: number = 0;
-    if (numberOfArgs > 5) s = Number(v5);
-
-    // h. If numberOfArgs > 6, let milli be ? ToNumber(values[6]); else let milli be +0𝔽.
-    let milli: number = 0;
-    if (numberOfArgs > 6) milli = Number(v6);
-
-    // i. Let yr be MakeFullYear(y).
-    const yr: number = __ecma262_MakeFullYear(y);
-
-    // j. Let finalDate be MakeDate(MakeDay(yr, m, dt), MakeTime(h, min, s, milli)).
-    const finalDate: number = __ecma262_MakeDate(__ecma262_MakeDay(yr, m, dt), __ecma262_MakeTime(h, min, s, milli));
-
-    // k. Let dv be TimeClip(UTC(finalDate)).
-    dv = __ecma262_TimeClip(__ecma262_UTC(finalDate));
-  }
-
-  // 6. Let O be ? OrdinaryCreateFromConstructor(NewTarget, "%Date.prototype%", « [[DateValue]] »).
-  const O: Date = __Porffor_date_allocate();
-
-  // 7. Set O.[[DateValue]] to dv.
-  __Porffor_date_write(O, dv);
-
-  // 8. Return O.
-  return O;
-};
-
 
 // 21.4.4 Properties of the Date Prototype Object
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-properties-of-the-date-prototype-object
@@ -2034,9 +1932,109 @@ export const __Date_prototype_valueOf = (_this: Date) => {
 
 // 21.4.2.1 Date (...values)
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date
-export const Date = (): bytestring => {
+export const Date = function (v0: unknown, v1: unknown, v2: unknown, v3: unknown, v4: unknown, v5: unknown, v6: unknown): bytestring|Date {
   // 1. If NewTarget is undefined, then
-  //   a. Let now be the time value (UTC) identifying the current time.
-  //   b. Return ToDateString(now).
-  return __ecma262_ToDateString(__Date_now());
+  if (!new.target) {
+    // a. Let now be the time value (UTC) identifying the current time.
+    // b. Return ToDateString(now).
+    return __ecma262_ToDateString(__Date_now());
+  }
+
+  // todo: passing undefined to params should not act like no arg was passed
+
+  // 2. Let numberOfArgs be the number of elements in values.
+  // sorry.
+  const numberOfArgs: i32 =
+    (Porffor.rawType(v0) != Porffor.TYPES.undefined) +
+    (Porffor.rawType(v1) != Porffor.TYPES.undefined) +
+    (Porffor.rawType(v2) != Porffor.TYPES.undefined) +
+    (Porffor.rawType(v3) != Porffor.TYPES.undefined) +
+    (Porffor.rawType(v4) != Porffor.TYPES.undefined) +
+    (Porffor.rawType(v5) != Porffor.TYPES.undefined) +
+    (Porffor.rawType(v6) != Porffor.TYPES.undefined);
+
+  let dv: number = 0;
+
+  // 3. If numberOfArgs = 0, then
+  if (numberOfArgs == 0) {
+    // a. Let dv be the time value (UTC) identifying the current time.
+    dv = __Date_now();
+  } else if (numberOfArgs == 1) {
+    // 4. Else if numberOfArgs = 1, the n
+    // a. Let value be values[0].
+    const value: any = v0;
+
+    const valueType: i32 = Porffor.rawType(v0);
+
+    let tv: number = 0;
+
+    // b. If value is an Object and value has a [[DateValue]] internal slot, then
+    if (valueType == Porffor.TYPES.date) {
+      // i. Let tv be value.[[DateValue]].
+      tv = __Porffor_date_read(value);
+    } else {
+      // c. Else,
+      // ii. If v is a String, then
+      if (Porffor.fastOr(valueType == Porffor.TYPES.string, valueType == 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).
+        tv = __Date_parse(value);
+      } else {
+        // iii. Else,
+        // 1. Let tv be ? ToNumber(v).
+        tv = Number(value);
+      }
+    }
+
+    // d. Let dv be TimeClip(tv).
+    dv = __ecma262_TimeClip(tv);
+  } else {
+    // 5. Else,
+    // a. Assert: numberOfArgs ≥ 2.
+
+    // b. Let y be ? ToNumber(values[0]).
+    const y: number = Number(v0);
+
+    // c. Let m be ? ToNumber(values[1]).
+    const m: number = Number(v1);
+
+    // d. If numberOfArgs > 2, let dt be ? ToNumber(values[2]); else let dt be 1𝔽.
+    let dt: number = 1;
+    if (numberOfArgs > 2) dt = Number(v2);
+
+    // e. If numberOfArgs > 3, let h be ? ToNumber(values[3]); else let h be +0𝔽.
+    let h: number = 0;
+    if (numberOfArgs > 3) h = Number(v3);
+
+    // f. If numberOfArgs > 4, let min be ? ToNumber(values[4]); else let min be +0𝔽.
+    let min: number = 0;
+    if (numberOfArgs > 4) min = Number(v4);
+
+    // g. If numberOfArgs > 5, let s be ? ToNumber(values[5]); else let s be +0𝔽.
+    let s: number = 0;
+    if (numberOfArgs > 5) s = Number(v5);
+
+    // h. If numberOfArgs > 6, let milli be ? ToNumber(values[6]); else let milli be +0𝔽.
+    let milli: number = 0;
+    if (numberOfArgs > 6) milli = Number(v6);
+
+    // i. Let yr be MakeFullYear(y).
+    const yr: number = __ecma262_MakeFullYear(y);
+
+    // j. Let finalDate be MakeDate(MakeDay(yr, m, dt), MakeTime(h, min, s, milli)).
+    const finalDate: number = __ecma262_MakeDate(__ecma262_MakeDay(yr, m, dt), __ecma262_MakeTime(h, min, s, milli));
+
+    // k. Let dv be TimeClip(UTC(finalDate)).
+    dv = __ecma262_TimeClip(__ecma262_UTC(finalDate));
+  }
+
+  // 6. Let O be ? OrdinaryCreateFromConstructor(NewTarget, "%Date.prototype%", « [[DateValue]] »).
+  const O: Date = __Porffor_date_allocate();
+
+  // 7. Set O.[[DateValue]] to dv.
+  __Porffor_date_write(O, dv);
+
+  // 8. Return O.
+  return O;
 };

package/compiler/builtins/error.js

@@ -1,11 +1,8 @@
 export default () => {
   let out = '';
 
-  const error = name => out += `export const ${name} = (message: bytestring) => {
-  return {};
-};
-
-export const ${name}$constructor = (message: bytestring) => {
+  const error = name => out += `export const ${name} = function (message: bytestring) {
+  new.target;
   return {};
 };`;
 

package/compiler/builtins/set.ts

@@ -8,6 +8,7 @@ memory.grow 0
 i32.const 65536
 i32.mul
 i32.from_u
+i32.const 0
 return`;
 };
 
@@ -163,11 +164,9 @@ export const __Set_prototype_clear = (_this: Set) => {
   Porffor.wasm.i32.store(_this, 0, 0, 0);
 };
 
-export const Set = () => {
-  throw new TypeError("Constructor Set requires 'new'");
-};
+export const Set = function (iterable: any): any {
+  if (!new.target) throw new TypeError("Constructor Set requires 'new'");
 
-export const Set$constructor = (iterable: any): Set => {
   const out: Set = __Porffor_allocate();
 
   if (Porffor.rawType(iterable) != Porffor.TYPES.undefined) for (const x of iterable) {
@@ -182,7 +181,7 @@ export const __Set_prototype_union = (_this: Set, other: any) => {
     throw new TypeError("Set.prototype.union\'s \'other\' argument must be a Set");
   }
 
-  const out: Set = Set$constructor(_this);
+  const out: Set = new Set(_this);
   for (const x of other) {
     out.add(x);
   }

package/compiler/builtins/string_f64.ts

@@ -1,10 +1,8 @@
-// todo: support non-bytestring properly
-export const String = (value: any): bytestring => {
-  if (Porffor.rawType(value) == Porffor.TYPES.symbol) return __Symbol_prototype_toString(value);
-  return __ecma262_ToString(value);
-};
+import type {} from './porffor.d.ts';
 
+// todo: support non-bytestring properly
 // todo: support constructor/string objects properly
-export const String$constructor = (value: any): bytestring => {
+export const String = function (value: any): bytestring {
+  if (!new.target && Porffor.rawType(value) == Porffor.TYPES.symbol) return __Symbol_prototype_toString(value);
   return __ecma262_ToString(value);
 };

package/compiler/builtins/symbol.ts

@@ -17,7 +17,8 @@ export const __Porffor_symbol_descStore = (op: boolean, value: any): any => {
 
 export const Symbol = (description: any): Symbol => {
   // 1-based so always truthy as numeric value
-  return __Porffor_symbol_descStore(true, description) + 1;
+  const ptr: Symbol = __Porffor_symbol_descStore(true, description) + 1;
+  return ptr;
 };
 
 export const __Symbol_prototype_description$get = (_this: Symbol) => {

package/compiler/builtins/typedarray.js

@@ -4,11 +4,9 @@ export default async () => {
   const arrayCode = (await import('node:fs')).readFileSync(globalThis.precompileCompilerPath + '/builtins/array.ts', 'utf8');
   const typedArrayFuncs = [...arrayCode.matchAll(/\/\/ @porf-typed-array[\s\S]+?^};$/gm)].map(x => x[0]);
 
-  const constr = name => out += `export const ${name} = () => {
-  throw new TypeError("Constructor ${name} requires 'new'");
-};
+  const constr = name => out += `export const ${name} = function (arg: any): ${name} {
+  if (!new.target) throw new TypeError("Constructor ${name} requires 'new'");
 
-export const ${name}$constructor = (arg: any): ${name} => {
   const out: ${name} = Porffor.allocate();
   let len: i32 = 0;
 
@@ -35,6 +33,50 @@ export const __${name}_prototype_byteLength$get = (_this: ${name}) => {
   return _this.length * ${name}.BYTES_PER_ELEMENT;
 };
 
+export const __${name}_prototype_at = (_this: ${name}, index: number) => {
+  const len: i32 = _this.length;
+  index |= 0;
+  if (index < 0) {
+    index = len + index;
+    if (index < 0) return undefined;
+  }
+  if (index >= len) return undefined;
+
+  return _this[index];
+};
+
+export const __${name}_prototype_slice = (_this: ${name}, start: number, end: number) => {
+  const len: i32 = _this.length;
+  if (Porffor.rawType(end) == Porffor.TYPES.undefined) end = len;
+
+  start |= 0;
+  end |= 0;
+
+  if (start < 0) {
+    start = len + start;
+    if (start < 0) start = 0;
+  }
+  if (start > len) start = len;
+  if (end < 0) {
+    end = len + end;
+    if (end < 0) end = 0;
+  }
+  if (end > len) end = len;
+
+  let out: ${name} = Porffor.allocate();
+
+  if (start > end) return out;
+
+  let i: i32 = start;
+  let j: i32 = 0;
+  while (i < end) {
+    out[j++] = _this[i++];
+  }
+
+  out.length = end - start;
+  return out;
+};
+
 ${typedArrayFuncs.reduce((acc, x) => acc + x.replace('// @porf-typed-array\n', '').replaceAll('Array', name).replaceAll('any[]', name) + '\n\n', '')}
 `;
 

package/compiler/builtins/z_ecma262.ts

@@ -1,4 +1,5 @@
 // general widely used ecma262/spec functions
+import type {} from './porffor.d.ts';
 
 // 7.1.5 ToIntegerOrInfinity (argument)
 // https://tc39.es/ecma262/#sec-tointegerorinfinity

package/compiler/builtins.js

@@ -161,7 +161,6 @@ export const BuiltinVars = function() {
     [ Opcodes.call, importedFuncs.timeOrigin ]
   ];
 
-
   this.__Uint8Array_BYTES_PER_ELEMENT = number(1);
   this.__Int8Array_BYTES_PER_ELEMENT = number(1);
   this.__Uint8ClampedArray_BYTES_PER_ELEMENT = number(1);
@@ -205,7 +204,8 @@ export const BuiltinFuncs = function() {
       ...number(TYPES.number, Valtype.i32),
       [ Opcodes.local_get, 1 ],
       ...number(TYPES.number, Valtype.i32),
-      [ Opcodes.call, builtin('__Math_pow') ]
+      [ Opcodes.call, builtin('__Math_pow') ],
+      [ Opcodes.drop ],
     ]
   };