porffor 0.2.0-a6c01f5 → 0.2.0-a88bbe6

package/compiler/builtins/date.ts

@@ -1,5 +1,3 @@
-// @porf -funsafe-no-unlikely-proto-checks
-
 // 21.4.1.3 Day (t)
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-day
 // 1. Return 𝔽(floor(ℝ(t / msPerDay))).
@@ -259,17 +257,21 @@ export const __ecma262_UTC = (t: number): number => {
 // https://tc39.es/ecma262/multipage/abstract-operations.html#sec-tointegerorinfinity
 export const __ecma262_ToIntegerOrInfinity = (argument: unknown): number => {
   // 1. Let number be ? ToNumber(argument).
-  const number: number = Number(argument);
+  let number: number = Number(argument);
 
   // 2. If number is one of NaN, +0𝔽, or -0𝔽, return 0.
   if (Number.isNaN(number)) return 0;
 
   // 3. If number is +∞𝔽, return +∞.
   // 4. If number is -∞𝔽, return -∞.
-  // if (!Number.isFinite(number)) return number;
+  if (!Number.isFinite(number)) return number;
 
   // 5. Return truncate(ℝ(number)).
-  return Math.trunc(number);
+  number = Math.trunc(number);
+
+  // return 0 for -0
+  if (number == 0) return 0;
+  return number;
 };
 
 // 21.4.1.27 MakeTime (hour, min, sec, ms)
@@ -355,7 +357,7 @@ export const __ecma262_MakeFullYear = (year: number): number => {
   const truncated: number = __ecma262_ToIntegerOrInfinity(year);
 
   // 3. If truncated is in the inclusive interval from 0 to 99, return 1900𝔽 + 𝔽(truncated).
-  if (truncated >= 0 && truncated <= 99) return 1900 + truncated;
+  if (Porffor.fastAnd(truncated >= 0, truncated <= 99)) return 1900 + truncated;
 
   // 4. Return 𝔽(truncated).
   return truncated;
@@ -376,16 +378,343 @@ export const __ecma262_TimeClip = (time: number): number => {
 };
 
 
-// 21.4.2.1 Date (...values)
-// https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date
-export const Date = (): bytestring => {
-  // 1. If NewTarget is undefined, then
-  //   a. Let now be the time value (UTC) identifying the current time.
-  //   b. Return ToDateString(now).
-  // return Date$constructor().toString();
-  return '';
+// 21.4.3.1 Date.now ()
+// https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.now
+// This function returns the time value designating the UTC date and time of the occurrence of the call to it.
+export const __Date_now = (): number => Math.trunc(performance.timeOrigin + performance.now());
+
+// 21.4.3.4 Date.UTC (year [, month [, date [, hours [, minutes [, seconds [, ms ]]]]]])
+// https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.utc
+export const __Date_UTC = (year: unknown, month: unknown, date: unknown, hours: unknown, minutes: unknown, seconds: unknown, ms: unknown): number => {
+  // todo: passing undefined to params should not act like no arg was passed
+
+  // 1. Let y be ? ToNumber(year).
+  const y: number = Number(year);
+
+  // 2. If month is present, let m be ? ToNumber(month); else let m be +0𝔽.
+  let m: number = 0;
+  if (Porffor.rawType(month) != Porffor.TYPES.undefined) m = Number(month);
+
+  // 3. If date is present, let dt be ? ToNumber(date); else let dt be 1𝔽.
+  let dt: number = 1;
+  if (Porffor.rawType(date) != Porffor.TYPES.undefined) dt = Number(date);
+
+  // 4. If hours is present, let h be ? ToNumber(hours); else let h be +0𝔽.
+  let h: number = 0;
+  if (Porffor.rawType(hours) != Porffor.TYPES.undefined) h = Number(hours);
+
+  // 5. If minutes is present, let min be ? ToNumber(minutes); else let min be +0𝔽.
+  let min: number = 0;
+  if (Porffor.rawType(minutes) != Porffor.TYPES.undefined) min = Number(minutes);
+
+  // 6. If seconds is present, let s be ? ToNumber(seconds); else let s be +0𝔽.
+  let s: number = 0;
+  if (Porffor.rawType(seconds) != Porffor.TYPES.undefined) s = Number(seconds);
+
+  // 7. If ms is present, let milli be ? ToNumber(ms); else let milli be +0𝔽.
+  let milli: number = 0;
+  if (Porffor.rawType(ms) != Porffor.TYPES.undefined) h = Number(ms);
+
+  // 8. Let yr be MakeFullYear(y).
+  const yr: number = __ecma262_MakeFullYear(y);
+
+  // 9. Return TimeClip(MakeDate(MakeDay(yr, m, dt), MakeTime(h, min, s, milli))).
+  return __ecma262_TimeClip(__ecma262_MakeDate(__ecma262_MakeDay(yr, m, dt), __ecma262_MakeTime(h, min, s, milli)));
+};
+
+
+export const __ecma262_WeekDayName = (tv: number): bytestring => {
+  // Name of the entry in Table 62 with the Number WeekDay(tv).
+  // Table 62: Names of days of the week
+  // Number 	Name
+  // +0𝔽 "Sun"
+  // 1𝔽 	"Mon"
+  // 2𝔽 	"Tue"
+  // 3𝔽 	"Wed"
+  // 4𝔽 	"Thu"
+  // 5𝔽 	"Fri"
+  // 6𝔽 	"Sat"
+
+  const weekday: number = __ecma262_WeekDay(tv);
+
+  const lut: bytestring = 'SunMonTueWedThuFriSat';
+
+  let out: bytestring = '';
+  out.length = 3;
+
+  let outPtr: number = Porffor.wasm`local.get ${out}`;
+  let lutPtr: number = Porffor.wasm`local.get ${lut}` + (weekday * 3);
+
+  Porffor.wasm.i32.store8(outPtr++, Porffor.wasm.i32.load8_u(lutPtr++, 0, 4), 0, 4);
+  Porffor.wasm.i32.store8(outPtr++, Porffor.wasm.i32.load8_u(lutPtr++, 0, 4), 0, 4);
+  Porffor.wasm.i32.store8(outPtr, Porffor.wasm.i32.load8_u(lutPtr, 0, 4), 0, 4);
+
+  return out;
+};
+
+export const __ecma262_MonthName = (tv: number): bytestring => {
+  // Name of the entry in Table 63 with the Number MonthFromTime(tv).
+  // Table 63: Names of months of the year
+  // Number 	Name
+  // +0𝔽 "Jan"
+  // 1𝔽 	"Feb"
+  // 2𝔽 	"Mar"
+  // 3𝔽 	"Apr"
+  // 4𝔽 	"May"
+  // 5𝔽 	"Jun"
+  // 6𝔽 	"Jul"
+  // 7𝔽 	"Aug"
+  // 8𝔽 	"Sep"
+  // 9𝔽  "Oct"
+  // 10𝔽 "Nov"
+  // 11𝔽 "Dec"
+
+  const month: number = __ecma262_MonthFromTime(tv);
+
+  const lut: bytestring = 'JanFebMarAprMayJunJulAugSepOctNovDec';
+
+  let out: bytestring = '';
+  out.length = 3;
+
+  let outPtr: number = Porffor.wasm`local.get ${out}`;
+  let lutPtr: number = Porffor.wasm`local.get ${lut}` + (month * 3);
+
+  Porffor.wasm.i32.store8(outPtr++, Porffor.wasm.i32.load8_u(lutPtr++, 0, 4), 0, 4);
+  Porffor.wasm.i32.store8(outPtr++, Porffor.wasm.i32.load8_u(lutPtr++, 0, 4), 0, 4);
+  Porffor.wasm.i32.store8(outPtr, Porffor.wasm.i32.load8_u(lutPtr, 0, 4), 0, 4);
+
+  return out;
 };
 
+export const __ecma262_ParseMonthName = (ptr: number): number => {
+  const a: i32 = Porffor.wasm.i32.load8_u(ptr, 0, 4);
+
+  if (a == 74) { // J
+    const b: i32 = Porffor.wasm.i32.load8_u(ptr, 0, 5);
+
+    if (b == 97) return 0; // a - Jan
+    if (b == 117) { // u
+      const c: i32 = Porffor.wasm.i32.load8_u(ptr, 0, 6);
+      if (c == 110) return 5; // n - Jun
+      if (c == 108) return 6; // l - Jul
+    }
+  }
+
+  if (a == 77) { // M
+    const b: i32 = Porffor.wasm.i32.load8_u(ptr, 0, 5);
+    if (b == 97) { // a
+      const c: i32 = Porffor.wasm.i32.load8_u(ptr, 0, 6);
+      if (c == 114) return 2; // r - Mar
+      if (c == 121) return 4; // y - May
+    }
+  }
+
+  if (a == 65) { // A
+    const b: i32 = Porffor.wasm.i32.load8_u(ptr, 0, 5);
+    if (b == 112) return 3; // p - Apr
+    if (b == 117) return 7; // u - Aug
+  }
+
+  if (a == 70) return 1; // F - Feb
+  if (a == 83) return 8; // S - Sep
+  if (a == 79) return 9; // O - Oct
+  if (a == 78) return 10; // N - Nov
+  if (a == 68) return 11; // D - Dec
+
+  return -1;
+};
+
+
+// DTSF parser
+export const __ecma262_ParseDTSF = (string: bytestring): number => {
+  // formats we need to support:
+  // > new Date().toISOString()
+  // '2024-05-12T02:44:01.529Z'
+
+  let y: number = 0;
+  let m: number = 0;
+  let dt: number = 1;
+  let h: number = 0;
+  let min: number = 0;
+  let s: number = 0;
+  let milli: number = 0;
+  let tzHour: number = 0;
+  let tzMin: number = 0;
+
+  let n: number = 0;
+  let nInd: number = 0;
+  let z: boolean = false;
+
+  const len: i32 = string.length;
+  const endPtr: i32 = Porffor.wasm`local.get ${string}` + len;
+  let ptr: i32 = Porffor.wasm`local.get ${string}`;
+
+  while (ptr <= endPtr) { // <= to include extra null byte to set last n
+    const chr: i32 = Porffor.wasm.i32.load8_u(ptr++, 0, 4);
+    if (Porffor.fastAnd(chr >= 48, chr <= 57)) { // 0-9
+      n *= 10;
+      n += chr - 48;
+      continue;
+    }
+
+    if (chr == 45) { // -
+      if (Porffor.fastOr(ptr == Porffor.wasm`local.get ${string}`, nInd == 7)) n = -n;
+    }
+
+    if (n > 0) {
+      if (nInd == 0) y = n;
+        else if (nInd == 1) m = n - 1;
+        else if (nInd == 2) dt = n;
+        else if (nInd == 3) h = n;
+        else if (nInd == 4) min = n;
+        else if (nInd == 5) s = n;
+        else if (nInd == 6) milli = n;
+        else if (nInd == 7) tzHour = n;
+        else if (nInd == 8) tzMin = n;
+
+      n = 0;
+      nInd++;
+    }
+
+    if (chr == 90) { // Z
+      if (ptr == len) z = true;
+    }
+  }
+
+  h += tzHour;
+  min += tzMin;
+
+  return __ecma262_TimeClip(__ecma262_MakeDate(__ecma262_MakeDay(y, m, dt), __ecma262_MakeTime(h, min, s, milli)));
+
+  // we do not support local time yet so useless check
+  // let t: number = __ecma262_TimeClip(__ecma262_MakeDate(__ecma262_MakeDay(y, m, dt), __ecma262_MakeTime(h, min, s, milli)));
+
+  // "When the time zone offset is absent, date-only forms are interpreted as a UTC time
+  // and date-time forms are interpreted as local time.
+  // This is due to a historical spec error that was not consistent with ISO 8601
+  // but could not be changed due to web compatibility." :))
+  // if (Porffor.fastAnd(
+  //   nInd > 3, // not date-only
+  //   z == false, // not utc (ending with Z)
+  //   nInd < 8, // no time zone offset
+  // )) {
+  //   t = __ecma262_UTC(t);
+  // }
+
+  // return t;
+};
+
+// RFC 7231 or Date.prototype.toString() parser
+export const __ecma262_ParseRFC7231OrToString = (string: bytestring): number => {
+  // formats we need to support:
+  // > new Date().toUTCString()
+  // 'Sun, 12 May 2024 02:44:10 GMT'
+  // > new Date().toString()
+  // 'Sun May 12 2024 02:44:13 GMT+0000 (UTC)'
+
+  // skip week day
+  let ptr: i32 = Porffor.wasm`local.get ${string}` + 4;
+
+  // skip potential ' '
+  if (Porffor.wasm.i32.load8_u(ptr, 0, 4) == 32) ptr++;
+
+  let dt: number = 0;
+  let m: number = -1;
+
+  // check if date now via numerical
+  let chr: i32 = Porffor.wasm.i32.load8_u(ptr, 0, 4);
+  if (Porffor.fastAnd(chr >= 48, chr <= 57)) { // 0-9
+    // date, month name
+    while (true) { // use >0 check instead of !=' ' to handle malformed
+      chr = Porffor.wasm.i32.load8_u(ptr++, 0, 4);
+      if (chr < 48) break;
+
+      dt *= 10;
+      dt += chr - 48;
+    }
+
+    m = __ecma262_ParseMonthName(ptr);
+    ptr += 3;
+  } else {
+    // month name, date
+    m = __ecma262_ParseMonthName(ptr);
+    ptr += 4;
+
+    while (true) { // use >0 check instead of !=' ' to handle malformed
+      chr = Porffor.wasm.i32.load8_u(ptr++, 0, 4);
+      if (chr < 48) break;
+
+      dt *= 10;
+      dt += chr - 48;
+    }
+  }
+
+  // check we parsed month and date correctly
+  if (Porffor.fastOr(m == -1, dt == 0, dt > 31)) {
+    return NaN;
+  }
+
+  let y: number = 0;
+  let h: number = 0;
+  let min: number = 0;
+  let s: number = 0;
+  let tz: number = 0;
+
+  let n: number = 0;
+  let nInd: number = 0;
+
+  const len: i32 = string.length;
+  const endPtr: i32 = Porffor.wasm`local.get ${string}` + len;
+
+  while (ptr <= endPtr) { // <= to include extra null byte to set last n
+    const chr: i32 = Porffor.wasm.i32.load8_u(ptr++, 0, 4);
+    if (Porffor.fastAnd(chr >= 48, chr <= 57)) { // 0-9
+      n *= 10;
+      n += chr - 48;
+      continue;
+    }
+
+    if (chr == 45) { // -
+      if (nInd == 4) n = -n;
+    }
+
+    if (n > 0) {
+      if (nInd == 0) y = n;
+        else if (nInd == 1) h = n;
+        else if (nInd == 2) min = n;
+        else if (nInd == 3) s = n;
+        else if (nInd == 4) tz = n;
+
+      n = 0;
+      nInd++;
+    }
+  }
+
+  return __ecma262_TimeClip(__ecma262_MakeDate(__ecma262_MakeDay(y, m, dt), __ecma262_MakeTime(h, min, s, 0)));
+};
+
+// 21.4.3.2 Date.parse (string)
+// https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.parse
+export const __Date_parse = (string: bytestring): number => {
+  // formats we need to support:
+  // > new Date().toISOString()
+  // '2024-05-12T02:44:01.529Z'
+  // > new Date().toUTCString()
+  // 'Sun, 12 May 2024 02:44:10 GMT'
+  // > new Date().toString()
+  // 'Sun May 12 2024 02:44:13 GMT+0000 (UTC)'
+
+  // if first char is numerical, use DTSF parser
+  const chr: i32 = Porffor.wasm.i32.load8_u(string, 0, 4);;
+  if (Porffor.fastAnd(chr >= 48, chr <= 57)) { // 0-9
+    return __ecma262_ParseDTSF(string);
+  }
+
+  // else, use RFC 7231 or Date.prototype.toString() parser
+  return __ecma262_ParseRFC7231OrToString(string);
+};
+
+
 // dark wasm magic for a basic allocator, sorry.
 export const __Porffor_date_allocate = (): Date => {
   const hack: bytestring = '';
@@ -413,7 +742,8 @@ 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
 
@@ -444,17 +774,17 @@ export const Date$constructor = (v0: unknown, v1: unknown, v2: unknown, v3: unkn
     let tv: number = 0;
 
     // b. If value is an Object and value has a [[DateValue]] internal slot, then
-    if (valueType == Porffor.TYPES._date) {
+    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 (valueType == Porffor.TYPES.string || valueType == Porffor.TYPES._bytestring) {
+      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).
-        // todo
+        tv = __Date_parse(value);
       } else {
         // iii. Else,
         // 1. Let tv be ? ToNumber(v).
@@ -515,60 +845,12 @@ export const Date$constructor = (v0: unknown, v1: unknown, v2: unknown, v3: unkn
 };
 
 
-// 21.4.3.1 Date.now ()
-// https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.now
-// This function returns the time value designating the UTC date and time of the occurrence of the call to it.
-export const __Date_now = (): number => Math.trunc(performance.timeOrigin + performance.now());
-
-// 21.4.3.2 Date.parse (string)
-// https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.parse
-// todo
-
-// 21.4.3.4 Date.UTC (year [, month [, date [, hours [, minutes [, seconds [, ms ]]]]]])
-// https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.utc
-export const __Date_UTC = (year: unknown, month: unknown, date: unknown, hours: unknown, minutes: unknown, seconds: unknown, ms: unknown): number => {
-  // todo: passing undefined to params should not act like no arg was passed
-
-  // 1. Let y be ? ToNumber(year).
-  const y: number = Number(year);
-
-  // 2. If month is present, let m be ? ToNumber(month); else let m be +0𝔽.
-  let m: number = 0;
-  if (Porffor.rawType(month) != Porffor.TYPES.undefined) m = Number(month);
-
-  // 3. If date is present, let dt be ? ToNumber(date); else let dt be 1𝔽.
-  let dt: number = 1;
-  if (Porffor.rawType(date) != Porffor.TYPES.undefined) dt = Number(date);
-
-  // 4. If hours is present, let h be ? ToNumber(hours); else let h be +0𝔽.
-  let h: number = 0;
-  if (Porffor.rawType(hours) != Porffor.TYPES.undefined) h = Number(hours);
-
-  // 5. If minutes is present, let min be ? ToNumber(minutes); else let min be +0𝔽.
-  let min: number = 0;
-  if (Porffor.rawType(minutes) != Porffor.TYPES.undefined) min = Number(minutes);
-
-  // 6. If seconds is present, let s be ? ToNumber(seconds); else let s be +0𝔽.
-  let s: number = 0;
-  if (Porffor.rawType(seconds) != Porffor.TYPES.undefined) s = Number(seconds);
-
-  // 7. If ms is present, let milli be ? ToNumber(ms); else let milli be +0𝔽.
-  let milli: number = 0;
-  if (Porffor.rawType(ms) != Porffor.TYPES.undefined) h = Number(ms);
-
-  // 8. Let yr be MakeFullYear(y).
-  const yr: number = __ecma262_MakeFullYear(y);
-
-  // 9. Return TimeClip(MakeDate(MakeDay(yr, m, dt), MakeTime(h, min, s, milli))).
-  return __ecma262_TimeClip(__ecma262_MakeDate(__ecma262_MakeDay(yr, m, dt), __ecma262_MakeTime(h, min, s, milli)));
-};
-
 // 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
 
 // 21.4.4.2 Date.prototype.getDate ()
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.getdate
-export const ___date_prototype_getDate = (_this: Date) => {
+export const __Date_prototype_getDate = (_this: Date) => {
   // 1. Let dateObject be the this value.
   // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
   // 3. Let t be dateObject.[[DateValue]].
@@ -583,7 +865,7 @@ export const ___date_prototype_getDate = (_this: Date) => {
 
 // 21.4.4.3 Date.prototype.getDay ()
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.getday
-export const ___date_prototype_getDay = (_this: Date) => {
+export const __Date_prototype_getDay = (_this: Date) => {
   // 1. Let dateObject be the this value.
   // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
   // 3. Let t be dateObject.[[DateValue]].
@@ -598,7 +880,7 @@ export const ___date_prototype_getDay = (_this: Date) => {
 
 // 21.4.4.4 Date.prototype.getFullYear ()
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.getfullyear
-export const ___date_prototype_getFullYear = (_this: Date) => {
+export const __Date_prototype_getFullYear = (_this: Date) => {
   // 1. Let dateObject be the this value.
   // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
   // 3. Let t be dateObject.[[DateValue]].
@@ -613,7 +895,7 @@ export const ___date_prototype_getFullYear = (_this: Date) => {
 
 // 21.4.4.5 Date.prototype.getHours ()
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.gethours
-export const ___date_prototype_getHours = (_this: Date) => {
+export const __Date_prototype_getHours = (_this: Date) => {
   // 1. Let dateObject be the this value.
   // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
   // 3. Let t be dateObject.[[DateValue]].
@@ -628,7 +910,7 @@ export const ___date_prototype_getHours = (_this: Date) => {
 
 // 21.4.4.6 Date.prototype.getMilliseconds ()
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.getmilliseconds
-export const ___date_prototype_getMilliseconds = (_this: Date) => {
+export const __Date_prototype_getMilliseconds = (_this: Date) => {
   // 1. Let dateObject be the this value.
   // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
   // 3. Let t be dateObject.[[DateValue]].
@@ -643,7 +925,7 @@ export const ___date_prototype_getMilliseconds = (_this: Date) => {
 
 // 21.4.4.7 Date.prototype.getMinutes ()
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.getminutes
-export const ___date_prototype_getMinutes = (_this: Date) => {
+export const __Date_prototype_getMinutes = (_this: Date) => {
   // 1. Let dateObject be the this value.
   // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
   // 3. Let t be dateObject.[[DateValue]].
@@ -658,7 +940,7 @@ export const ___date_prototype_getMinutes = (_this: Date) => {
 
 // 21.4.4.8 Date.prototype.getMonth ()
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.getmonth
-export const ___date_prototype_getMonth = (_this: Date) => {
+export const __Date_prototype_getMonth = (_this: Date) => {
   // 1. Let dateObject be the this value.
   // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
   // 3. Let t be dateObject.[[DateValue]].
@@ -673,7 +955,7 @@ export const ___date_prototype_getMonth = (_this: Date) => {
 
 // 21.4.4.9 Date.prototype.getSeconds ()
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.getseconds
-export const ___date_prototype_getSeconds = (_this: Date) => {
+export const __Date_prototype_getSeconds = (_this: Date) => {
   // 1. Let dateObject be the this value.
   // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
   // 3. Let t be dateObject.[[DateValue]].
@@ -688,7 +970,7 @@ export const ___date_prototype_getSeconds = (_this: Date) => {
 
 // 21.4.4.10 Date.prototype.getTime ()
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.gettime
-export const ___date_prototype_getTime = (_this: Date) => {
+export const __Date_prototype_getTime = (_this: Date) => {
   // 1. Let dateObject be the this value.
   // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
   // 3. Return dateObject.[[DateValue]].
@@ -697,7 +979,7 @@ export const ___date_prototype_getTime = (_this: Date) => {
 
 // 21.4.4.11 Date.prototype.getTimezoneOffset ()
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.gettimezoneoffset
-export const ___date_prototype_getTimezoneOffset = (_this: Date) => {
+export const __Date_prototype_getTimezoneOffset = (_this: Date) => {
   // 1. Let dateObject be the this value.
   // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
   // 3. Let t be dateObject.[[DateValue]].
@@ -712,7 +994,7 @@ export const ___date_prototype_getTimezoneOffset = (_this: Date) => {
 
 // 21.4.4.12 Date.prototype.getUTCDate ()
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.getutcdate
-export const ___date_prototype_getUTCDate = (_this: Date) => {
+export const __Date_prototype_getUTCDate = (_this: Date) => {
   // 1. Let dateObject be the this value.
   // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
   // 3. Let t be dateObject.[[DateValue]].
@@ -727,7 +1009,7 @@ export const ___date_prototype_getUTCDate = (_this: Date) => {
 
 // 21.4.4.13 Date.prototype.getUTCDay ()
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.getutcday
-export const ___date_prototype_getUTCDay = (_this: Date) => {
+export const __Date_prototype_getUTCDay = (_this: Date) => {
   // 1. Let dateObject be the this value.
   // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
   // 3. Let t be dateObject.[[DateValue]].
@@ -742,7 +1024,7 @@ export const ___date_prototype_getUTCDay = (_this: Date) => {
 
 // 21.4.4.14 Date.prototype.getUTCFullYear ()
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.getutcfullyear
-export const ___date_prototype_getUTCFullYear = (_this: Date) => {
+export const __Date_prototype_getUTCFullYear = (_this: Date) => {
   // 1. Let dateObject be the this value.
   // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
   // 3. Let t be dateObject.[[DateValue]].
@@ -757,7 +1039,7 @@ export const ___date_prototype_getUTCFullYear = (_this: Date) => {
 
 // 21.4.4.15 Date.prototype.getUTCHours ()
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.getutchours
-export const ___date_prototype_getUTCHours = (_this: Date) => {
+export const __Date_prototype_getUTCHours = (_this: Date) => {
   // 1. Let dateObject be the this value.
   // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
   // 3. Let t be dateObject.[[DateValue]].
@@ -772,7 +1054,7 @@ export const ___date_prototype_getUTCHours = (_this: Date) => {
 
 // 21.4.4.16 Date.prototype.getUTCMilliseconds ()
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.getutcmilliseconds
-export const ___date_prototype_getUTCMilliseconds = (_this: Date) => {
+export const __Date_prototype_getUTCMilliseconds = (_this: Date) => {
   // 1. Let dateObject be the this value.
   // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
   // 3. Let t be dateObject.[[DateValue]].
@@ -787,7 +1069,7 @@ export const ___date_prototype_getUTCMilliseconds = (_this: Date) => {
 
 // 21.4.4.17 Date.prototype.getUTCMinutes ()
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.getutcminutes
-export const ___date_prototype_getUTCMinutes = (_this: Date) => {
+export const __Date_prototype_getUTCMinutes = (_this: Date) => {
   // 1. Let dateObject be the this value.
   // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
   // 3. Let t be dateObject.[[DateValue]].
@@ -802,7 +1084,7 @@ export const ___date_prototype_getUTCMinutes = (_this: Date) => {
 
 // 21.4.4.18 Date.prototype.getUTCMonth ()
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.getutcmonth
-export const ___date_prototype_getUTCMonth = (_this: Date) => {
+export const __Date_prototype_getUTCMonth = (_this: Date) => {
   // 1. Let dateObject be the this value.
   // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
   // 3. Let t be dateObject.[[DateValue]].
@@ -817,7 +1099,7 @@ export const ___date_prototype_getUTCMonth = (_this: Date) => {
 
 // 21.4.4.19 Date.prototype.getUTCSeconds ()
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.getutcseconds
-export const ___date_prototype_getUTCSeconds = (_this: Date) => {
+export const __Date_prototype_getUTCSeconds = (_this: Date) => {
   // 1. Let dateObject be the this value.
   // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
   // 3. Let t be dateObject.[[DateValue]].
@@ -833,7 +1115,7 @@ export const ___date_prototype_getUTCSeconds = (_this: Date) => {
 
 // 21.4.4.20 Date.prototype.setDate (date)
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.setdate
-export const ___date_prototype_setDate = (_this: Date, date: any) => {
+export const __Date_prototype_setDate = (_this: Date, date: any) => {
   // 1. Let dateObject be the this value.
   // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
   // 3. Let t be dateObject.[[DateValue]].
@@ -863,7 +1145,7 @@ export const ___date_prototype_setDate = (_this: Date, date: any) => {
 
 // 21.4.4.21 Date.prototype.setFullYear (year [, month [, date ]])
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.setfullyear
-export const ___date_prototype_setFullYear = (_this: Date, year: any, month: any, date: any) => {
+export const __Date_prototype_setFullYear = (_this: Date, year: any, month: any, date: any) => {
   // 1. Let dateObject be the this value.
   // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
   // 3. Let t be dateObject.[[DateValue]].
@@ -901,7 +1183,7 @@ export const ___date_prototype_setFullYear = (_this: Date, year: any, month: any
 
 // 21.4.4.22 Date.prototype.setHours (hour [, min [, sec [, ms ]]])
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.sethours
-export const ___date_prototype_setHours = (_this: Date, hour: any, min: any, sec: any, ms: any) => {
+export const __Date_prototype_setHours = (_this: Date, hour: any, min: any, sec: any, ms: any) => {
   // 1. Let dateObject be the this value.
   // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
   // 3. Let t be dateObject.[[DateValue]].
@@ -951,7 +1233,7 @@ export const ___date_prototype_setHours = (_this: Date, hour: any, min: any, sec
 
 // 21.4.4.23 Date.prototype.setMilliseconds (ms)
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.setmilliseconds
-export const ___date_prototype_setMilliseconds = (_this: Date, ms: any) => {
+export const __Date_prototype_setMilliseconds = (_this: Date, ms: any) => {
   // 1. Let dateObject be the this value.
   // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
   // 3. Let t be dateObject.[[DateValue]].
@@ -982,7 +1264,7 @@ export const ___date_prototype_setMilliseconds = (_this: Date, ms: any) => {
 
 // 21.4.4.24 Date.prototype.setMinutes (min [, sec [, ms ]])
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.setminutes
-export const ___date_prototype_setMinutes = (_this: Date, min: any, sec: any, ms: any) => {
+export const __Date_prototype_setMinutes = (_this: Date, min: any, sec: any, ms: any) => {
   // 1. Let dateObject be the this value.
   // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
   // 3. Let t be dateObject.[[DateValue]].
@@ -1026,7 +1308,7 @@ export const ___date_prototype_setMinutes = (_this: Date, min: any, sec: any, ms
 
 // 21.4.4.25 Date.prototype.setMonth (month [, date ])
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.setmonth
-export const ___date_prototype_setMonth = (_this: Date, month: any, date: any) => {
+export const __Date_prototype_setMonth = (_this: Date, month: any, date: any) => {
   // 1. Let dateObject be the this value.
   // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
   // 3. Let t be dateObject.[[DateValue]].
@@ -1064,7 +1346,7 @@ export const ___date_prototype_setMonth = (_this: Date, month: any, date: any) =
 
 // 21.4.4.26 Date.prototype.setSeconds (sec [, ms ])
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.setseconds
-export const ___date_prototype_setSeconds = (_this: Date, sec: any, ms: any) => {
+export const __Date_prototype_setSeconds = (_this: Date, sec: any, ms: any) => {
   // 1. Let dateObject be the this value.
   // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
   // 3. Let t be dateObject.[[DateValue]].
@@ -1103,7 +1385,7 @@ export const ___date_prototype_setSeconds = (_this: Date, sec: any, ms: any) =>
 
 // 21.4.4.27 Date.prototype.setTime (time)
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.settime
-export const ___date_prototype_setTime = (_this: Date, time: any) => {
+export const __Date_prototype_setTime = (_this: Date, time: any) => {
   // 1. Let dateObject be the this value.
   // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
   // 3. Let t be ? ToNumber(time).
@@ -1121,7 +1403,7 @@ export const ___date_prototype_setTime = (_this: Date, time: any) => {
 
 // 21.4.4.28 Date.prototype.setUTCDate (date)
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.setutcdate
-export const ___date_prototype_setUTCDate = (_this: Date, date: any) => {
+export const __Date_prototype_setUTCDate = (_this: Date, date: any) => {
   // 1. Let dateObject be the this value.
   // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
   // 3. Let t be dateObject.[[DateValue]].
@@ -1134,7 +1416,7 @@ export const ___date_prototype_setUTCDate = (_this: Date, date: any) => {
   if (Number.isNaN(t)) return NaN;
 
   // 6. Let newDate be MakeDate(MakeDay(YearFromTime(t), MonthFromTime(t), dt), TimeWithinDay(t)).
-  const newDate = __ecma262_MakeDate(__ecma262_MakeDay(__ecma262_YearFromTime(t), __ecma262_MonthFromTime(t), dt), __ecma262_TimeWithinDay(t));
+  const newDate: number = __ecma262_MakeDate(__ecma262_MakeDay(__ecma262_YearFromTime(t), __ecma262_MonthFromTime(t), dt), __ecma262_TimeWithinDay(t));
 
   // 7. Let v be TimeClip(newDate).
   const v: number = __ecma262_TimeClip(newDate);
@@ -1148,7 +1430,7 @@ export const ___date_prototype_setUTCDate = (_this: Date, date: any) => {
 
 // 21.4.4.29 Date.prototype.setUTCFullYear (year [, month [, date ]])
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.setutcfullyear
-export const ___date_prototype_setUTCFullYear = (_this: Date, year: any, month: any, date: any) => {
+export const __Date_prototype_setUTCFullYear = (_this: Date, year: any, month: any, date: any) => {
   // 1. Let dateObject be the this value.
   // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
   // 3. Let t be dateObject.[[DateValue]].
@@ -1185,7 +1467,7 @@ export const ___date_prototype_setUTCFullYear = (_this: Date, year: any, month:
 
 // 21.4.4.30 Date.prototype.setUTCHours (hour [, min [, sec [, ms ]]])
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.setutchours
-export const ___date_prototype_setUTCHours = (_this: Date, hour: any, min: any, sec: any, ms: any) => {
+export const __Date_prototype_setUTCHours = (_this: Date, hour: any, min: any, sec: any, ms: any) => {
   // 1. Let dateObject be the this value.
   // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
   // 3. Let t be dateObject.[[DateValue]].
@@ -1232,7 +1514,7 @@ export const ___date_prototype_setUTCHours = (_this: Date, hour: any, min: any,
 
 // 21.4.4.31 Date.prototype.setUTCMilliseconds (ms)
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.setutcmilliseconds
-export const ___date_prototype_setUTCMilliseconds = (_this: Date, ms: any) => {
+export const __Date_prototype_setUTCMilliseconds = (_this: Date, ms: any) => {
   // 1. Let dateObject be the this value.
   // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
   // 3. Let t be dateObject.[[DateValue]].
@@ -1260,7 +1542,7 @@ export const ___date_prototype_setUTCMilliseconds = (_this: Date, ms: any) => {
 
 // 21.4.4.32 Date.prototype.setUTCMinutes (min [, sec [, ms ]])
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.setutcminutes
-export const ___date_prototype_setUTCMinutes = (_this: Date, min: any, sec: any, ms: any) => {
+export const __Date_prototype_setUTCMinutes = (_this: Date, min: any, sec: any, ms: any) => {
   // 1. Let dateObject be the this value.
   // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
   // 3. Let t be dateObject.[[DateValue]].
@@ -1301,7 +1583,7 @@ export const ___date_prototype_setUTCMinutes = (_this: Date, min: any, sec: any,
 
 // 21.4.4.33 Date.prototype.setUTCMonth (month [, date ])
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.setutcmonth
-export const ___date_prototype_setUTCMonth = (_this: Date, month: any, date: any) => {
+export const __Date_prototype_setUTCMonth = (_this: Date, month: any, date: any) => {
   // 1. Let dateObject be the this value.
   // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
   // 3. Let t be dateObject.[[DateValue]].
@@ -1336,7 +1618,7 @@ export const ___date_prototype_setUTCMonth = (_this: Date, month: any, date: any
 
 // 21.4.4.34 Date.prototype.setUTCSeconds (sec [, ms ])
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.setutcseconds
-export const ___date_prototype_setUTCSeconds = (_this: Date, sec: any, ms: any) => {
+export const __Date_prototype_setUTCSeconds = (_this: Date, sec: any, ms: any) => {
   // 1. Let dateObject be the this value.
   // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
   // 3. Let t be dateObject.[[DateValue]].
@@ -1367,4 +1649,419 @@ export const ___date_prototype_setUTCSeconds = (_this: Date, sec: any, ms: any)
 
   // 11. Return v.
   return v;
+};
+
+
+// 21.4.1.32 Date Time String Format
+// https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date-time-string-format
+// The format is as follows: YYYY-MM-DDTHH:mm:ss.sssZ
+// YYYY 	is the year in the proleptic Gregorian calendar as four decimal digits from 0000 to 9999, or as an expanded year of "+" or "-" followed by six decimal digits.
+// - 	"-" (hyphen) appears literally twice in the string.
+// MM 	is the month of the year as two decimal digits from 01 (January) to 12 (December).
+// DD 	is the day of the month as two decimal digits from 01 to 31.
+// T 	"T" appears literally in the string, to indicate the beginning of the time element.
+// HH 	is the number of complete hours that have passed since midnight as two decimal digits from 00 to 24.
+// : 	":" (colon) appears literally twice in the string.
+// mm 	is the number of complete minutes since the start of the hour as two decimal digits from 00 to 59.
+// ss 	is the number of complete seconds since the start of the minute as two decimal digits from 00 to 59.
+// . 	"." (dot) appears literally in the string.
+// sss 	is the number of complete milliseconds since the start of the second as three decimal digits.
+// Z 	is the UTC offset representation specified as "Z" (for UTC with no offset) or as either "+" or "-" followed by a time expression HH:mm (a subset of the time zone offset string format for indicating local time ahead of or behind UTC, respectively)
+
+// fast appending string
+export const __Porffor_bytestring_appendStr = (str: bytestring, appendage: bytestring): i32 => {
+  const strLen: i32 = str.length;
+  const appendageLen: i32 = appendage.length;
+  let strPtr: i32 = Porffor.wasm`local.get ${str}` + strLen;
+  let appendagePtr: i32 = Porffor.wasm`local.get ${appendage}`;
+  let endPtr: i32 = appendagePtr + appendageLen;
+
+  while (appendagePtr < endPtr) {
+    Porffor.wasm.i32.store8(strPtr++, Porffor.wasm.i32.load8_u(appendagePtr++, 0, 4), 0, 4);
+  }
+
+  str.length = strLen + appendageLen;
+  return 1;
+};
+
+// fast appending single character
+export const __Porffor_bytestring_appendChar = (str: bytestring, char: i32): i32 => {
+  const len: i32 = str.length;
+  Porffor.wasm.i32.store8(Porffor.wasm`local.get ${str}` + len, char, 0, 4);
+  str.length = len + 1;
+  return 1;
+};
+
+// fast appending padded number
+export const __Porffor_bytestring_appendPadNum = (str: bytestring, num: number, len: number): i32 => {
+  let numStr: bytestring = Number.prototype.toFixed(num, 0);
+
+  let strPtr: i32 = Porffor.wasm`local.get ${str}` + str.length;
+
+  let numStrLen: i32 = numStr.length;
+  const strPtrEnd: i32 = strPtr + (len - numStrLen);
+  while (strPtr < strPtrEnd) {
+    Porffor.wasm.i32.store8(strPtr++, 48, 0, 4);
+  }
+
+  let numPtr: i32 = Porffor.wasm`local.get ${numStr}`;
+  const numPtrEnd: i32 = numPtr + numStrLen;
+  while (numPtr < numPtrEnd) {
+    Porffor.wasm.i32.store8(strPtr++, Porffor.wasm.i32.load8_u(numPtr++, 0, 4), 0, 4);
+  }
+
+  str.length = strPtr - Porffor.wasm`local.get ${str}`;
+
+  return 1;
+};
+
+// Timestamp to UTC DTSF
+export const __ecma262_ToUTCDTSF = (t: number): bytestring => {
+  const year: number = __ecma262_YearFromTime(t);
+
+  let out: bytestring = '';
+  out.length = 0;
+
+  if (Porffor.fastOr(year < 0, year >= 10000)) {
+    // extended year format
+    // sign
+    __Porffor_bytestring_appendChar(out, year > 0 ? 43 : 45);
+
+    // 6 digit year
+    __Porffor_bytestring_appendPadNum(out, year, 6);
+  } else {
+    // 4 digit year
+    __Porffor_bytestring_appendPadNum(out, year, 4);
+  }
+  __Porffor_bytestring_appendChar(out, 45); // -
+
+  // 2 digit month (01-12)
+  __Porffor_bytestring_appendPadNum(out, __ecma262_MonthFromTime(t) + 1, 2);
+  __Porffor_bytestring_appendChar(out, 45); // -
+
+  // 2 digit day of the month
+  __Porffor_bytestring_appendPadNum(out, __ecma262_DateFromTime(t), 2);
+  __Porffor_bytestring_appendChar(out, 84); // T
+
+  // 2 digit hour
+  __Porffor_bytestring_appendPadNum(out, __ecma262_HourFromTime(t), 2);
+  __Porffor_bytestring_appendChar(out, 58); // :
+
+  // 2 digit minute
+  __Porffor_bytestring_appendPadNum(out, __ecma262_MinFromTime(t), 2);
+  __Porffor_bytestring_appendChar(out, 58); // :
+
+  // 2 digit second
+  __Porffor_bytestring_appendPadNum(out, __ecma262_SecFromTime(t), 2);
+  __Porffor_bytestring_appendChar(out, 46); // .
+
+  // 3 digit millisecond
+  __Porffor_bytestring_appendPadNum(out, __ecma262_msFromTime(t), 3);
+  __Porffor_bytestring_appendChar(out, 90); // Z
+
+  return out;
+};
+
+// 21.4.4.36 Date.prototype.toISOString ()
+// https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.toisostring
+export const __Date_prototype_toISOString = (_this: Date) => {
+  // 1. Let dateObject be the this value.
+  // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
+  // 3. Let tv be dateObject.[[DateValue]].
+  const tv: number = __Porffor_date_read(_this);
+
+  // 4. If tv is NaN, throw a RangeError exception.
+  if (Number.isNaN(tv)) {
+    throw new RangeError('Invalid time value');
+  }
+
+  // 5. Assert: tv is an integral Number.
+
+  // 6. If tv corresponds with a year that cannot be represented in the Date Time String Format, throw a RangeError exception.
+  // todo
+
+  // 7. Return a String representation of tv in the Date Time String Format on the UTC time scale, including all format elements and the UTC offset representation "Z".
+  return __ecma262_ToUTCDTSF(tv);
+};
+
+// 21.4.4.37 Date.prototype.toJSON (key)
+// https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.tojson
+export const __Date_prototype_toJSON = (_this: Date, key: any) => {
+  // 1. Let O be ? ToObject(this value).
+  // 2. Let tv be ? ToPrimitive(O, number).
+  // todo: use generic Number() once it supports Date
+  const tv: number = __Porffor_date_read(_this);
+
+  // 3. If tv is a Number and tv is not finite, return null.
+  if (!Number.isFinite(tv)) return null;
+
+  // 4. Return ? Invoke(O, "toISOString").
+  return __Date_prototype_toISOString(_this);
+};
+
+
+// 21.4.4.41.1 TimeString (tv)
+// https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-timestring
+export const __ecma262_TimeString = (tv: number): bytestring => {
+  // we do not follow spec exactly by using number vars and appending at the end
+
+  // 1. Let hour be ToZeroPaddedDecimalString(ℝ(HourFromTime(tv)), 2).
+  const hour: number = __ecma262_HourFromTime(tv);
+
+  // 2. Let minute be ToZeroPaddedDecimalString(ℝ(MinFromTime(tv)), 2).
+  const minute: number = __ecma262_MinFromTime(tv);
+
+  // 3. Let second be ToZeroPaddedDecimalString(ℝ(SecFromTime(tv)), 2).
+  const second: number = __ecma262_SecFromTime(tv);
+
+  // 4. Return the string-concatenation of hour, ":", minute, ":", second, the code unit 0x0020 (SPACE), and "GMT".
+  let out: bytestring = '';
+  out.length = 0;
+
+  __Porffor_bytestring_appendPadNum(out, hour, 2);
+  __Porffor_bytestring_appendChar(out, 58); // ':'
+
+  __Porffor_bytestring_appendPadNum(out, minute, 2);
+  __Porffor_bytestring_appendChar(out, 58); // ':'
+
+  __Porffor_bytestring_appendPadNum(out, second, 2);
+
+  __Porffor_bytestring_appendChar(out, 32); // ' '
+  __Porffor_bytestring_appendChar(out, 71); // 'G'
+  __Porffor_bytestring_appendChar(out, 77); // 'M'
+  __Porffor_bytestring_appendChar(out, 84); // 'T'
+
+  return out;
+};
+
+// 21.4.4.41.2 DateString (tv)
+// https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-datestring
+export const __ecma262_DateString = (tv: number): bytestring => {
+  // we do not follow spec exactly by using number vars and appending at the end
+
+  // 1. Let weekday be the Name of the entry in Table 62 with the Number WeekDay(tv).
+  const weekday: bytestring = __ecma262_WeekDayName(tv);
+
+  // 2. Let month be the Name of the entry in Table 63 with the Number MonthFromTime(tv).
+  const month: bytestring = __ecma262_MonthName(tv);
+
+  // 3. Let day be ToZeroPaddedDecimalString(ℝ(DateFromTime(tv)), 2).
+  const day: number = __ecma262_DateFromTime(tv);
+
+  // 4. Let yv be YearFromTime(tv).
+  const yv: number = __ecma262_YearFromTime(tv);
+
+  // 5. If yv is +0𝔽 or yv > +0𝔽, let yearSign be the empty String; otherwise, let yearSign be "-".
+  // 6. Let paddedYear be ToZeroPaddedDecimalString(abs(ℝ(yv)), 4).
+  // 7. Return the string-concatenation of weekday, the code unit 0x0020 (SPACE), month, the code unit 0x0020 (SPACE), day, the code unit 0x0020 (SPACE), yearSign, and paddedYear.
+  let out: bytestring = '';
+  out.length = 0;
+
+  // weekday
+  __Porffor_bytestring_appendStr(out, weekday);
+  __Porffor_bytestring_appendChar(out, 32); // ' '
+
+  // month
+  __Porffor_bytestring_appendStr(out, month);
+  __Porffor_bytestring_appendChar(out, 32); // ' '
+
+  // day
+  __Porffor_bytestring_appendPadNum(out, day, 2);
+  __Porffor_bytestring_appendChar(out, 32); // ' '
+
+  // year
+  if (yv < 0) __Porffor_bytestring_appendChar(out, 45); // sign
+  __Porffor_bytestring_appendPadNum(out, yv, 4);
+
+  return out;
+};
+
+// 21.4.4.41.3 TimeZoneString (tv)
+// https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-timezonestring
+export const __ecma262_TimeZoneString = (tv: number) => {
+  // todo: time zone support
+  let out: bytestring = '+0000 (UTC)';
+  return out;
+};
+
+// 21.4.4.41.4 ToDateString (tv)
+// https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-todatestring
+export const __ecma262_ToDateString = (tv: number) => {
+  let out: bytestring = '';
+  out.length = 0;
+
+  // 1. If tv is NaN, return "Invalid Date".
+  if (Number.isNaN(tv)) {
+    out = 'Invalid Date';
+    return out;
+  }
+
+  // 2. Let t be LocalTime(tv).
+  const t: number = __ecma262_LocalTime(tv);
+
+  // 3. Return the string-concatenation of DateString(t), the code unit 0x0020 (SPACE), TimeString(t), and TimeZoneString(tv).
+  __Porffor_bytestring_appendStr(out, __ecma262_DateString(t));
+  __Porffor_bytestring_appendChar(out, 32);
+
+  __Porffor_bytestring_appendStr(out, __ecma262_TimeString(t));
+
+  __Porffor_bytestring_appendStr(out, __ecma262_TimeZoneString(tv));
+
+  return out;
+};
+
+// 21.4.4.41 Date.prototype.toString ()
+// https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.tostring
+export const __Date_prototype_toString = (_this: Date) => {
+  // 1. Let dateObject be the this value.
+  // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
+  // 3. Let tv be dateObject.[[DateValue]].
+  const tv: number = __Porffor_date_read(_this);
+
+  // 4. Return ToDateString(tv).
+  return __ecma262_ToDateString(tv);
+};
+
+// 21.4.4.42 Date.prototype.toTimeString ()
+// https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.totimestring
+export const __Date_prototype_toTimeString = (_this: Date) => {
+  // 1. Let dateObject be the this value.
+  // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
+  // 3. Let tv be dateObject.[[DateValue]].
+  const tv: number = __Porffor_date_read(_this);
+
+  // 4. If tv is NaN, return "Invalid Date".
+  let out: bytestring = '';
+  out.length = 0;
+
+  if (Number.isNaN(tv)) {
+    out = 'Invalid Date';
+    return out;
+  }
+
+  // 5. Let t be LocalTime(tv).
+  const t: number = __ecma262_LocalTime(tv);
+
+  // 6. Return the string-concatenation of TimeString(t) and TimeZoneString(tv).
+  __Porffor_bytestring_appendStr(out, __ecma262_TimeString(t));
+  __Porffor_bytestring_appendStr(out, __ecma262_TimeZoneString(tv));
+
+  return out;
+};
+
+
+// 21.4.4.35 Date.prototype.toDateString ()
+// https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.todatestring
+export const __Date_prototype_toDateString = (_this: Date) => {
+  // 1. Let dateObject be the this value.
+  // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
+  // 3. Let tv be dateObject.[[DateValue]].
+  const tv: number = __Porffor_date_read(_this);
+
+  // 4. If tv is NaN, return "Invalid Date".
+  let out: bytestring = '';
+  out.length = 0;
+
+  if (Number.isNaN(tv)) {
+    out = 'Invalid Date';
+    return out;
+  }
+
+  // 5. Let t be LocalTime(tv).
+  const t: number = __ecma262_LocalTime(tv);
+
+  // 6. Return DateString(t).
+  out = __ecma262_DateString(t);
+  return out;
+};
+
+// 21.4.4.43 Date.prototype.toUTCString ()
+// https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.toutcstring
+export const __Date_prototype_toUTCString = (_this: Date) => {
+  // 1. Let dateObject be the this value.
+  // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
+  // 3. Let tv be dateObject.[[DateValue]].
+  const tv: number = __Porffor_date_read(_this);
+
+  // 4. If tv is NaN, return "Invalid Date".
+  let out: bytestring = '';
+  out.length = 0;
+
+  if (Number.isNaN(tv)) {
+    out = 'Invalid Date';
+    return out;
+  }
+
+  // 5. Let weekday be the Name of the entry in Table 62 with the Number WeekDay(tv).
+  const weekday: bytestring = __ecma262_WeekDayName(tv);
+
+  // 6. Let month be the Name of the entry in Table 63 with the Number MonthFromTime(tv).
+  const month: bytestring = __ecma262_MonthName(tv);
+
+  // 7. Let day be ToZeroPaddedDecimalString(ℝ(DateFromTime(tv)), 2).
+  const day: number = __ecma262_DateFromTime(tv);
+
+  // 8. Let yv be YearFromTime(tv).
+  const yv: number = __ecma262_YearFromTime(tv);
+
+  // 9. If yv is +0𝔽 or yv > +0𝔽, let yearSign be the empty String; otherwise, let yearSign be "-".
+  // 10. Let paddedYear be ToZeroPaddedDecimalString(abs(ℝ(yv)), 4).
+  // 11. Return the string-concatenation of weekday, ",", the code unit 0x0020 (SPACE), day, the code unit 0x0020 (SPACE), month, the code unit 0x0020 (SPACE), yearSign, paddedYear, the code unit 0x0020 (SPACE), and TimeString(tv).
+  // weekday
+  __Porffor_bytestring_appendStr(out, weekday);
+  __Porffor_bytestring_appendChar(out, 44); // ','
+  __Porffor_bytestring_appendChar(out, 32); // ' '
+
+  // day
+  __Porffor_bytestring_appendPadNum(out, day, 2);
+  __Porffor_bytestring_appendChar(out, 32); // ' '
+
+  // month
+  __Porffor_bytestring_appendStr(out, month);
+  __Porffor_bytestring_appendChar(out, 32); // ' '
+
+  // year
+  if (yv < 0) __Porffor_bytestring_appendChar(out, 45); // sign
+  __Porffor_bytestring_appendPadNum(out, yv, 4);
+
+  __Porffor_bytestring_appendChar(out, 32); // ' '
+  __Porffor_bytestring_appendStr(out, __ecma262_TimeString(tv));
+
+  return out;
+};
+
+// 21.4.4.38 Date.prototype.toLocaleDateString ([ reserved1 [, reserved2 ]])
+// https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.tolocaledatestring
+export const __Date_prototype_toLocaleDateString = (_this: Date, reserved1: any, reserved2: any) => {
+  return __Date_prototype_toDateString(_this);
+};
+
+// 21.4.4.39 Date.prototype.toLocaleString ([ reserved1 [, reserved2 ]])
+// https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.tolocalestring
+export const __Date_prototype_toLocaleString = (_this: Date, reserved1: any, reserved2: any) => {
+  return __Date_prototype_toString(_this);
+};
+
+// 21.4.4.40 Date.prototype.toLocaleTimeString ([ reserved1 [, reserved2 ]])
+// https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date.prototype.tolocaletimestring
+export const __Date_prototype_toLocaleTimeString = (_this: Date, reserved1: any, reserved2: any) => {
+  return __Date_prototype_toTimeString(_this);
+};
+
+// 21.4.4.44 Date.prototype.valueOf ()
+// https://tc39.es/ecma262/#sec-date.prototype.valueof
+export const __Date_prototype_valueOf = (_this: Date) => {
+  // 1. Let dateObject be the this value.
+  // 2. Perform ? RequireInternalSlot(dateObject, [[DateValue]]).
+  // 3. Return dateObject.[[DateValue]].
+  return __Porffor_date_read(_this);
+};
+
+// 21.4.2.1 Date (...values)
+// https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-date
+export const Date = (): bytestring => {
+  // 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());
 };