porffor 0.2.0-ef043de → 0.2.0-f435128

package/compiler/builtins/date.ts

@@ -1,4 +1,4 @@
-// @porf -funsafe-no-unlikely-proto-checks
+// @porf --funsafe-no-unlikely-proto-checks
 
 // 21.4.1.3 Day (t)
 // https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-day
@@ -259,17 +259,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)
@@ -376,16 +380,65 @@ 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.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)'
+
+  let ptr: i32 = Porffor.wasm`local.get ${string}`;
 };
 
+// 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)));
+};
+
+
 // dark wasm magic for a basic allocator, sorry.
 export const __Porffor_date_allocate = (): Date => {
   const hack: bytestring = '';
@@ -413,7 +466,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
 
@@ -454,7 +508,7 @@ export const Date$constructor = (v0: unknown, v1: unknown, v2: unknown, v3: unkn
         // 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,54 +569,6 @@ 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
 
@@ -1134,7 +1140,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);
@@ -1367,4 +1373,484 @@ 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 (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)) {
+    // todo throw
+    return;
+  }
+
+  // 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;
+};
+
+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;
+};
+
+// 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 ()
+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());
 };

package/compiler/builtins/escape.ts

@@ -1,4 +1,4 @@
-// @porf -funsafe-no-unlikely-proto-checks -valtype=i32
+// @porf --funsafe-no-unlikely-proto-checks --valtype=i32
 
 import type {} from './porffor';
 

package/compiler/builtins/int.ts

@@ -1,4 +1,4 @@
-// @porf -funsafe-no-unlikely-proto-checks
+// @porf --funsafe-no-unlikely-proto-checks
 
 // radix: number|any for rawType check
 // export const parseInt = (input: string|bytestring, radix: number|any): f64 => {

package/compiler/builtins/number.ts

@@ -1,4 +1,4 @@
-// // @porf -funsafe-no-unlikely-proto-checks
+// @porf --funsafe-no-unlikely-proto-checks
 
 // radix: number|any for rawType check
 export const __Number_prototype_toString = (_this: number, radix: number|any) => {