porffor 0.17.0-f43ba190c → 0.18.3

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

@@ -1,11 +1,12 @@
-export default () => {
+export default async () => {
   let out = '';
 
-  const constr = name => out += `export const ${name} = () => {
-  throw new TypeError("Constructor ${name} requires 'new'");
-};
+  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} = 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;
 
@@ -26,7 +27,58 @@ export const ${name}$constructor = (arg: any): ${name} => {
 
   out.length = len;
   return out;
-};`;
+};
+
+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', '')}
+`;
 
   constr('Uint8Array');
   constr('Int8Array');

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

@@ -150,7 +150,7 @@ export const BuiltinVars = function() {
   this.Math = number(1);
 
   // wintercg(tm)
-  this.__navigator_userAgent = (scope, { makeString }) => makeString(scope, `Porffor/0.17.0`, false, '__navigator_userAgent');
+  this.__navigator_userAgent = (scope, { makeString }) => makeString(scope, `Porffor/${globalThis.version ?? '0.17.0'}`, false, '__navigator_userAgent');
   this.__navigator_userAgent.type = Prefs.bytestring ? TYPES.bytestring : TYPES.string;
 
   for (const x in TYPES) {
@@ -160,6 +160,16 @@ export const BuiltinVars = function() {
   this.__performance_timeOrigin = [
     [ 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);
+  this.__Uint16Array_BYTES_PER_ELEMENT = number(2);
+  this.__Int16Array_BYTES_PER_ELEMENT = number(2);
+  this.__Uint32Array_BYTES_PER_ELEMENT = number(4);
+  this.__Int32Array_BYTES_PER_ELEMENT = number(4);
+  this.__Float32Array_BYTES_PER_ELEMENT = number(4);
+  this.__Float64Array_BYTES_PER_ELEMENT = number(8);
 };
 
 export const BuiltinFuncs = function() {
@@ -194,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 ],
     ]
   };