@engine262/engine262 0.0.1-0574c6b92a2925de851f895445b7cfd7e97cc0ba

package/src/intrinsics/BooleanPrototype.mts

@@ -0,0 +1,58 @@
+import {
+  ObjectValue,
+  BooleanValue,
+  Value,
+  type Arguments,
+  type FunctionCallContext,
+} from '../value.mts';
+import {
+  surroundingAgent,
+} from '../host-defined/engine.mts';
+import { Assert, Realm } from '../abstract-ops/all.mts';
+import { Q, type ValueCompletion } from '../completion.mts';
+import type { Mutable } from '../helpers.mts';
+import { bootstrapPrototype } from './bootstrap.mts';
+import type { BooleanObject } from './Boolean.mts';
+
+
+function thisBooleanValue(value: Value) {
+  if (value instanceof BooleanValue) {
+    return value;
+  }
+
+  if (value instanceof ObjectValue && 'BooleanData' in value) {
+    const b = value.BooleanData;
+    Assert(b instanceof BooleanValue);
+    return b;
+  }
+
+  return surroundingAgent.Throw('TypeError', 'NotATypeObject', 'Boolean', value);
+}
+
+/** https://tc39.es/ecma262/#sec-boolean.prototype.tostring */
+function BooleanProto_toString(_argList: Arguments, { thisValue }: FunctionCallContext): ValueCompletion {
+  // 1. Let b be ? thisBooleanValue(this value).
+  const b = Q(thisBooleanValue(thisValue));
+  // 2. If b is true, return "true"; else return "false".
+  if (b === Value.true) {
+    return Value('true');
+  }
+  return Value('false');
+}
+
+/** https://tc39.es/ecma262/#sec-boolean.prototype.valueof */
+function BooleanProto_valueOf(_argList: Arguments, { thisValue }: FunctionCallContext): ValueCompletion {
+  // 1. Return ? thisBooleanValue(this value).
+  return Q(thisBooleanValue(thisValue));
+}
+
+export function bootstrapBooleanPrototype(realmRec: Realm) {
+  const proto = bootstrapPrototype(realmRec, [
+    ['toString', BooleanProto_toString, 0],
+    ['valueOf', BooleanProto_valueOf, 0],
+  ], realmRec.Intrinsics['%Object.prototype%']);
+
+  (proto as Mutable<BooleanObject>).BooleanData = Value.false;
+
+  realmRec.Intrinsics['%Boolean.prototype%'] = proto;
+}

package/src/intrinsics/DataView.mts

@@ -0,0 +1,82 @@
+import { surroundingAgent } from '../host-defined/engine.mts';
+import {
+  IsDetachedBuffer,
+  OrdinaryCreateFromConstructor,
+  ToIndex,
+  RequireInternalSlot,
+  type OrdinaryObject,
+  type FunctionObject,
+  Realm,
+  type ArrayBufferObject,
+} from '../abstract-ops/all.mts';
+import {
+  UndefinedValue, Value, type Arguments, type FunctionCallContext,
+} from '../value.mts';
+import { Q } from '../completion.mts';
+import { __ts_cast__, type Mutable } from '../helpers.mts';
+import { bootstrapConstructor } from './bootstrap.mts';
+
+export interface DataViewObject extends OrdinaryObject {
+  readonly DataView: string;
+  readonly ViewedArrayBuffer: Value;
+  readonly ByteLength: number;
+  readonly ByteOffset: number;
+}
+export function isDataViewObject(V: Value): V is DataViewObject {
+  return 'DataView' in V;
+}
+/** https://tc39.es/ecma262/#sec-dataview-constructor */
+function* DataViewConstructor(this: FunctionObject, [buffer = Value.undefined, byteOffset = Value.undefined, byteLength = Value.undefined]: Arguments, { NewTarget }: FunctionCallContext) {
+  // 1. If NewTarget is undefined, throw a TypeError exception.
+  if (NewTarget instanceof UndefinedValue) {
+    return surroundingAgent.Throw('TypeError', 'ConstructorNonCallable', this);
+  }
+  // 2. Perform ? RequireInternalSlot(buffer, [[ArrayBufferData]]).
+  Q(RequireInternalSlot(buffer, 'ArrayBufferData'));
+  // 3. Let offset be ? ToIndex(byteOffset).
+  const offset = Q(yield* ToIndex(byteOffset));
+  // 4. If IsDetachedBuffer(buffer) is true, throw a TypeError exception.
+  __ts_cast__<ArrayBufferObject>(buffer);
+  if (IsDetachedBuffer(buffer)) {
+    return surroundingAgent.Throw('TypeError', 'ArrayBufferDetached');
+  }
+  // 5. Let bufferByteLength be buffer.[[ArrayBufferByteLength]].
+  const bufferByteLength = (buffer).ArrayBufferByteLength;
+  // 6. If offset > bufferByteLength, throw a RangeError exception.
+  if (offset > bufferByteLength) {
+    return surroundingAgent.Throw('RangeError', 'DataViewOOB');
+  }
+  let viewByteLength;
+  // 7. If byteLength is undefined, then
+  if (byteLength === Value.undefined) {
+    // a. Let viewByteLength be bufferByteLength - offset.
+    viewByteLength = bufferByteLength - offset;
+  } else {
+    // a. Let viewByteLength be ? ToIndex(byteLength).
+    viewByteLength = Q(yield* ToIndex(byteLength));
+    // b. If offset + viewByteLength > bufferByteLength, throw a RangeError exception.
+    if (offset + viewByteLength > bufferByteLength) {
+      return surroundingAgent.Throw('RangeError', 'DataViewOOB');
+    }
+  }
+  // 9. Let O be ? OrdinaryCreateFromConstructor(NewTarget, "%DataView.prototype%", « [[DataView]], [[ViewedArrayBuffer]], [[ByteLength]], [[ByteOffset]] »).
+  const O = Q(yield* OrdinaryCreateFromConstructor(NewTarget, '%DataView.prototype%', ['DataView', 'ViewedArrayBuffer', 'ByteLength', 'ByteOffset'])) as Mutable<DataViewObject>;
+  // 10. If IsDetachedBuffer(buffer) is true, throw a TypeError exception.
+  if (IsDetachedBuffer(buffer)) {
+    return surroundingAgent.Throw('TypeError', 'ArrayBufferDetached');
+  }
+  // 11. Set O.[[ViewedArrayBuffer]] to buffer.
+  O.ViewedArrayBuffer = buffer;
+  // 12. Set O.[[ByteLength]] to viewByteLength.
+  O.ByteLength = viewByteLength;
+  // 13. Set O.[[ByteOffset]] to offset.
+  O.ByteOffset = offset;
+  // 14. Return O.
+  return O;
+}
+
+export function bootstrapDataView(realmRec: Realm) {
+  const dvConstructor = bootstrapConstructor(realmRec, DataViewConstructor, 'DataView', 1, realmRec.Intrinsics['%DataView.prototype%'], []);
+
+  realmRec.Intrinsics['%DataView%'] = dvConstructor;
+}

package/src/intrinsics/DataViewPrototype.mts

@@ -0,0 +1,271 @@
+import {
+  Assert,
+  GetViewValue,
+  SetViewValue,
+  IsDetachedBuffer,
+  RequireInternalSlot,
+  F,
+  Realm,
+  type ArrayBufferObject,
+} from '../abstract-ops/all.mts';
+import { Q, type ValueCompletion, type ValueEvaluator } from '../completion.mts';
+import { surroundingAgent } from '../host-defined/engine.mts';
+import { Value, type Arguments, type FunctionCallContext } from '../value.mts';
+import { bootstrapPrototype } from './bootstrap.mts';
+import type { DataViewObject } from './DataView.mts';
+
+/** https://tc39.es/ecma262/#sec-get-dataview.prototype.buffer */
+function DataViewProto_buffer(_args: Arguments, { thisValue }: FunctionCallContext): ValueCompletion {
+  // 1. Let O be the this value.
+  const O = thisValue as DataViewObject;
+  // 2. Perform ? RequireInternalSlot(O, [[DataView]]).
+  Q(RequireInternalSlot(O, 'DataView'));
+  // 3. Assert: O has a [[ViewedArrayBuffer]] internal slot.
+  Assert('ViewedArrayBuffer' in O);
+  // 4. Let buffer be O.[[ViewedArrayBuffer]].
+  const buffer = O.ViewedArrayBuffer;
+  // 5. Return buffer.
+  return buffer;
+}
+
+/** https://tc39.es/ecma262/#sec-get-dataview.prototype.bytelength */
+function* DataViewProto_byteLength(_args: Arguments, { thisValue }: FunctionCallContext): ValueEvaluator {
+  // 1. Let O be the this value.
+  const O = thisValue as DataViewObject;
+  // 2. Perform ? RequireInternalSlot(O, [[DataView]]).
+  Q(RequireInternalSlot(O, 'DataView'));
+  // 3. Assert: O has a [[ViewedArrayBuffer]] internal slot.
+  Assert('ViewedArrayBuffer' in O);
+  // 4. Let buffer be O.[[ViewedArrayBuffer]].
+  const buffer = O.ViewedArrayBuffer as ArrayBufferObject;
+  // 5. If IsDetachedBuffer(buffer) is true, throw a TypeError exception.
+  if (IsDetachedBuffer(buffer)) {
+    return surroundingAgent.Throw('TypeError', 'ArrayBufferDetached');
+  }
+  // 6. Let size be O.[[ByteLength]].
+  const size = O.ByteLength;
+  // 7. Return 𝔽(size).
+  return F(size);
+}
+
+/** https://tc39.es/ecma262/#sec-get-dataview.prototype.byteoffset */
+function* DataViewProto_byteOffset(_args: Arguments, { thisValue }: FunctionCallContext): ValueEvaluator {
+  // 1. Let O be the this value.
+  const O = thisValue as DataViewObject;
+  // 2. Perform ? RequireInternalSlot(O, [[DataView]]).
+  Q(RequireInternalSlot(O, 'DataView'));
+  // 3. Assert: O has a [[ViewedArrayBuffer]] internal slot.
+  Assert('ViewedArrayBuffer' in O);
+  // 4. Let buffer be O.[[ViewedArrayBuffer]].
+  const buffer = O.ViewedArrayBuffer as ArrayBufferObject;
+  // 5. If IsDetachedBuffer(buffer) is true, throw a TypeError exception.
+  if (IsDetachedBuffer(buffer)) {
+    return surroundingAgent.Throw('TypeError', 'ArrayBufferDetached');
+  }
+  // 6. Let offset be O.[[ByteOffset]].
+  const offset = O.ByteOffset;
+  // 7. Return 𝔽(offset).
+  return F(offset);
+}
+
+/** https://tc39.es/ecma262/#sec-dataview.prototype.getbigint64 */
+function* DataViewProto_getBigInt64([byteOffset = Value.undefined, littleEndian = Value.undefined]: Arguments, { thisValue }: FunctionCallContext): ValueEvaluator {
+  // 1. Let v be the this value.
+  const v = thisValue;
+  // 2. Return ? GetViewValue(v, byteOffset, littleEndian, BigInt64).
+  return Q(yield* GetViewValue(v, byteOffset, littleEndian, 'BigInt64'));
+}
+
+/** https://tc39.es/ecma262/#sec-dataview.prototype.getbiguint64 */
+function* DataViewProto_getBigUint64([byteOffset = Value.undefined, littleEndian = Value.undefined]: Arguments, { thisValue }: FunctionCallContext): ValueEvaluator {
+  // 1. Let v be the this value.
+  const v = thisValue;
+  // 2. Return ? GetViewValue(v, byteOffset, littleEndian, BigUint64).
+  return Q(yield* GetViewValue(v, byteOffset, littleEndian, 'BigUint64'));
+}
+
+/** https://tc39.es/ecma262/#sec-dataview.prototype.getfloat32 */
+function* DataViewProto_getFloat32([byteOffset = Value.undefined, littleEndian]: Arguments, { thisValue }: FunctionCallContext): ValueEvaluator {
+  const v = thisValue;
+  if (littleEndian === undefined) {
+    littleEndian = Value.false;
+  }
+  return Q(yield* GetViewValue(v, byteOffset, littleEndian, 'Float32'));
+}
+
+/** https://tc39.es/ecma262/#sec-dataview.prototype.getfloat64 */
+function* DataViewProto_getFloat64([byteOffset = Value.undefined, littleEndian]: Arguments, { thisValue }: FunctionCallContext): ValueEvaluator {
+  const v = thisValue;
+  if (littleEndian === undefined) {
+    littleEndian = Value.false;
+  }
+  return Q(yield* GetViewValue(v, byteOffset, littleEndian, 'Float64'));
+}
+
+/** https://tc39.es/ecma262/#sec-dataview.prototype.getint8 */
+function* DataViewProto_getInt8([byteOffset = Value.undefined]: Arguments, { thisValue }: FunctionCallContext): ValueEvaluator {
+  const v = thisValue;
+  return Q(yield* GetViewValue(v, byteOffset, Value.true, 'Int8'));
+}
+
+/** https://tc39.es/ecma262/#sec-dataview.prototype.getint16 */
+function* DataViewProto_getInt16([byteOffset = Value.undefined, littleEndian]: Arguments, { thisValue }: FunctionCallContext): ValueEvaluator {
+  const v = thisValue;
+  if (littleEndian === undefined) {
+    littleEndian = Value.false;
+  }
+  return Q(yield* GetViewValue(v, byteOffset, littleEndian, 'Int16'));
+}
+
+/** https://tc39.es/ecma262/#sec-dataview.prototype.getint32 */
+function* DataViewProto_getInt32([byteOffset = Value.undefined, littleEndian]: Arguments, { thisValue }: FunctionCallContext): ValueEvaluator {
+  const v = thisValue;
+  if (littleEndian === undefined) {
+    littleEndian = Value.false;
+  }
+  return Q(yield* GetViewValue(v, byteOffset, littleEndian, 'Int32'));
+}
+
+/** https://tc39.es/ecma262/#sec-dataview.prototype.getuint8 */
+function* DataViewProto_getUint8([byteOffset = Value.undefined]: Arguments, { thisValue }: FunctionCallContext): ValueEvaluator {
+  const v = thisValue;
+  return Q(yield* GetViewValue(v, byteOffset, Value.true, 'Uint8'));
+}
+
+/** https://tc39.es/ecma262/#sec-dataview.prototype.getuint16 */
+function* DataViewProto_getUint16([byteOffset = Value.undefined, littleEndian]: Arguments, { thisValue }: FunctionCallContext): ValueEvaluator {
+  const v = thisValue;
+  if (littleEndian === undefined) {
+    littleEndian = Value.false;
+  }
+  return Q(yield* GetViewValue(v, byteOffset, littleEndian, 'Uint16'));
+}
+
+/** https://tc39.es/ecma262/#sec-dataview.prototype.getuint32 */
+function* DataViewProto_getUint32([byteOffset = Value.undefined, littleEndian]: Arguments, { thisValue }: FunctionCallContext): ValueEvaluator {
+  const v = thisValue;
+  if (littleEndian === undefined) {
+    littleEndian = Value.false;
+  }
+  return Q(yield* GetViewValue(v, byteOffset, littleEndian, 'Uint32'));
+}
+
+/** https://tc39.es/ecma262/#sec-dataview.prototype.setbigint64 */
+function* DataViewProto_setBigInt64([byteOffset = Value.undefined, value = Value.undefined, littleEndian]: Arguments, { thisValue }: FunctionCallContext): ValueEvaluator {
+  // 1. Let v be the this value.
+  const v = thisValue;
+  // 2. If littleEndian is not present, set littleEndian to undefined.
+  if (littleEndian === undefined) {
+    littleEndian = Value.undefined;
+  }
+  // 3. Return ? SetViewValue(v, byteOffset, littleEndian, BigInt64, value).
+  return Q(yield* SetViewValue(v, byteOffset, littleEndian, 'BigInt64', value));
+}
+
+/** https://tc39.es/ecma262/#sec-dataview.prototype.setbiguint64 */
+function* DataViewProto_setBigUint64([byteOffset = Value.undefined, value = Value.undefined, littleEndian]: Arguments, { thisValue }: FunctionCallContext): ValueEvaluator {
+  // 1. Let v be the this value.
+  const v = thisValue;
+  // 2. If littleEndian is not present, set littleEndian to undefined.
+  if (littleEndian === undefined) {
+    littleEndian = Value.undefined;
+  }
+  // 3. Return ? SetViewValue(v, byteOffset, littleEndian, BigUint64, value).
+  return Q(yield* SetViewValue(v, byteOffset, littleEndian, 'BigUint64', value));
+}
+
+/** https://tc39.es/ecma262/#sec-dataview.prototype.setfloat32 */
+function* DataViewProto_setFloat32([byteOffset = Value.undefined, value = Value.undefined, littleEndian]: Arguments, { thisValue }: FunctionCallContext): ValueEvaluator {
+  const v = thisValue;
+  if (littleEndian === undefined) {
+    littleEndian = Value.false;
+  }
+  return Q(yield* SetViewValue(v, byteOffset, littleEndian, 'Float32', value));
+}
+
+/** https://tc39.es/ecma262/#sec-dataview.prototype.setfloat64 */
+function* DataViewProto_setFloat64([byteOffset = Value.undefined, value = Value.undefined, littleEndian]: Arguments, { thisValue }: FunctionCallContext): ValueEvaluator {
+  const v = thisValue;
+  if (littleEndian === undefined) {
+    littleEndian = Value.false;
+  }
+  return Q(yield* SetViewValue(v, byteOffset, littleEndian, 'Float64', value));
+}
+
+/** https://tc39.es/ecma262/#sec-dataview.prototype.setint8 */
+function* DataViewProto_setInt8([byteOffset = Value.undefined, value = Value.undefined]: Arguments, { thisValue }: FunctionCallContext): ValueEvaluator {
+  const v = thisValue;
+  return Q(yield* SetViewValue(v, byteOffset, Value.true, 'Int8', value));
+}
+
+/** https://tc39.es/ecma262/#sec-dataview.prototype.setint16 */
+function* DataViewProto_setInt16([byteOffset = Value.undefined, value = Value.undefined, littleEndian]: Arguments, { thisValue }: FunctionCallContext): ValueEvaluator {
+  const v = thisValue;
+  if (littleEndian === undefined) {
+    littleEndian = Value.false;
+  }
+  return Q(yield* SetViewValue(v, byteOffset, littleEndian, 'Int16', value));
+}
+
+/** https://tc39.es/ecma262/#sec-dataview.prototype.setint32 */
+function* DataViewProto_setInt32([byteOffset = Value.undefined, value = Value.undefined, littleEndian]: Arguments, { thisValue }: FunctionCallContext): ValueEvaluator {
+  const v = thisValue;
+  if (littleEndian === undefined) {
+    littleEndian = Value.false;
+  }
+  return Q(yield* SetViewValue(v, byteOffset, littleEndian, 'Int32', value));
+}
+
+/** https://tc39.es/ecma262/#sec-dataview.prototype.setuint8 */
+function* DataViewProto_setUint8([byteOffset = Value.undefined, value = Value.undefined]: Arguments, { thisValue }: FunctionCallContext): ValueEvaluator {
+  const v = thisValue;
+  return Q(yield* SetViewValue(v, byteOffset, Value.true, 'Uint8', value));
+}
+
+/** https://tc39.es/ecma262/#sec-dataview.prototype.setuint16 */
+function* DataViewProto_setUint16([byteOffset = Value.undefined, value = Value.undefined, littleEndian]: Arguments, { thisValue }: FunctionCallContext): ValueEvaluator {
+  const v = thisValue;
+  if (littleEndian === undefined) {
+    littleEndian = Value.false;
+  }
+  return Q(yield* SetViewValue(v, byteOffset, littleEndian, 'Uint16', value));
+}
+
+/** https://tc39.es/ecma262/#sec-dataview.prototype.setuint32 */
+function* DataViewProto_setUint32([byteOffset = Value.undefined, value = Value.undefined, littleEndian]: Arguments, { thisValue }: FunctionCallContext): ValueEvaluator {
+  const v = thisValue;
+  if (littleEndian === undefined) {
+    littleEndian = Value.false;
+  }
+  return Q(yield* SetViewValue(v, byteOffset, littleEndian, 'Uint32', value));
+}
+
+export function bootstrapDataViewPrototype(realmRec: Realm) {
+  const proto = bootstrapPrototype(realmRec, [
+    ['buffer', [DataViewProto_buffer]],
+    ['byteLength', [DataViewProto_byteLength]],
+    ['byteOffset', [DataViewProto_byteOffset]],
+    ['getBigInt64', DataViewProto_getBigInt64, 1],
+    ['getBigUint64', DataViewProto_getBigUint64, 1],
+    ['getFloat32', DataViewProto_getFloat32, 1],
+    ['getFloat64', DataViewProto_getFloat64, 1],
+    ['getInt8', DataViewProto_getInt8, 1],
+    ['getInt16', DataViewProto_getInt16, 1],
+    ['getInt32', DataViewProto_getInt32, 1],
+    ['getUint8', DataViewProto_getUint8, 1],
+    ['getUint16', DataViewProto_getUint16, 1],
+    ['getUint32', DataViewProto_getUint32, 1],
+    ['setBigInt64', DataViewProto_setBigInt64, 2],
+    ['setBigUint64', DataViewProto_setBigUint64, 2],
+    ['setFloat32', DataViewProto_setFloat32, 2],
+    ['setFloat64', DataViewProto_setFloat64, 2],
+    ['setInt8', DataViewProto_setInt8, 2],
+    ['setInt16', DataViewProto_setInt16, 2],
+    ['setInt32', DataViewProto_setInt32, 2],
+    ['setUint8', DataViewProto_setUint8, 2],
+    ['setUint16', DataViewProto_setUint16, 2],
+    ['setUint32', DataViewProto_setUint32, 2],
+  ], realmRec.Intrinsics['%Object.prototype%'], 'DataView');
+
+  realmRec.Intrinsics['%DataView.prototype%'] = proto;
+}

package/src/intrinsics/Date.mts

@@ -0,0 +1,218 @@
+import {
+  Assert,
+  OrdinaryCreateFromConstructor,
+  ToPrimitive,
+  ToNumber,
+  ToIntegerOrInfinity,
+  ToString,
+  MakeDate,
+  MakeDay,
+  MakeTime,
+  UTC,
+  TimeClip,
+  F,
+  type OrdinaryObject,
+  type FunctionObject,
+  Realm,
+} from '../abstract-ops/all.mts';
+import {
+  Value, JSStringValue, ObjectValue, type Arguments, type FunctionCallContext, NumberValue,
+} from '../value.mts';
+import {
+  AbruptCompletion,
+  Q, ValueOfNormalCompletion, X,
+  type ValueEvaluator,
+} from '../completion.mts';
+import type { Mutable } from '../helpers.mts';
+import { bootstrapConstructor } from './bootstrap.mts';
+import { ToDateString, thisTimeValue } from './DatePrototype.mts';
+
+export interface DateObject extends OrdinaryObject {
+  DateValue: NumberValue;
+}
+export function isDateObject(value: Value): value is DateObject {
+  return 'DateValue' in value;
+}
+/** https://tc39.es/ecma262/#sec-date-constructor */
+function* DateConstructor(args: Arguments, { NewTarget }: FunctionCallContext): ValueEvaluator {
+  const numberOfArgs = args.length;
+  if (numberOfArgs >= 2) {
+    /** https://tc39.es/ecma262/#sec-date-year-month-date-hours-minutes-seconds-ms */
+    const [year, month, date, hours, minutes, seconds, ms] = args;
+    Assert(numberOfArgs >= 2);
+    if (NewTarget === Value.undefined) {
+      const now = Date.now();
+      return ToDateString(F(now));
+    } else {
+      const y = Q(yield* ToNumber(year));
+      const m = Q(yield* ToNumber(month));
+      let dt;
+      if (date !== undefined) {
+        dt = Q(yield* ToNumber(date));
+      } else {
+        dt = F(1);
+      }
+      let h;
+      if (hours !== undefined) {
+        h = Q(yield* ToNumber(hours));
+      } else {
+        h = F(+0);
+      }
+      let min;
+      if (minutes !== undefined) {
+        min = Q(yield* ToNumber(minutes));
+      } else {
+        min = F(+0);
+      }
+      let s;
+      if (seconds !== undefined) {
+        s = Q(yield* ToNumber(seconds));
+      } else {
+        s = F(+0);
+      }
+      let milli;
+      if (ms !== undefined) {
+        milli = Q(yield* ToNumber(ms));
+      } else {
+        milli = F(+0);
+      }
+      let yr;
+      if (y.isNaN()) {
+        yr = F(NaN);
+      } else {
+        const yi = X(ToIntegerOrInfinity(y));
+        if (yi >= 0 && yi <= 99) {
+          yr = F(1900 + yi);
+        } else {
+          yr = y;
+        }
+      }
+      const finalDate = MakeDate(MakeDay(yr, m, dt), MakeTime(h, min, s, milli));
+      const O = Q(yield* OrdinaryCreateFromConstructor(NewTarget as FunctionObject, '%Date.prototype%', ['DateValue'])) as Mutable<DateObject>;
+      O.DateValue = TimeClip(UTC(finalDate));
+      return O;
+    }
+  } else if (numberOfArgs === 1) {
+    const [value] = args;
+    /** https://tc39.es/ecma262/#sec-date-value */
+    Assert(numberOfArgs === 1);
+    if (NewTarget === Value.undefined) {
+      const now = Date.now();
+      return ToDateString(F(now));
+    } else {
+      let tv;
+      if (value instanceof ObjectValue && 'DateValue' in value) {
+        tv = X(thisTimeValue(value));
+      } else {
+        const v = Q(yield* ToPrimitive(value));
+        if (v instanceof JSStringValue) {
+          // Assert: The next step never returns an abrupt completion because Type(v) is String.
+          tv = parseDate(v);
+        } else {
+          tv = Q(yield* ToNumber(v));
+        }
+      }
+      const O = Q(yield* OrdinaryCreateFromConstructor(NewTarget as FunctionObject, '%Date.prototype%', ['DateValue'])) as Mutable<DateObject>;
+      O.DateValue = TimeClip(tv);
+      return O;
+    }
+  } else {
+    /** https://tc39.es/ecma262/#sec-date-constructor-date */
+    Assert(numberOfArgs === 0);
+    if (NewTarget === Value.undefined) {
+      const now = Date.now();
+      return ToDateString(F(now));
+    } else {
+      const O = Q(yield* OrdinaryCreateFromConstructor(NewTarget as FunctionObject, '%Date.prototype%', ['DateValue'])) as Mutable<DateObject>;
+      O.DateValue = F(Date.now());
+      return O;
+    }
+  }
+}
+
+/** https://tc39.es/ecma262/#sec-date.now */
+function Date_now() {
+  const now = Date.now();
+  return F(now);
+}
+
+/** https://tc39.es/ecma262/#sec-date.parse */
+function* Date_parse([string = Value.undefined]: Arguments): ValueEvaluator<NumberValue> {
+  const str = yield* ToString(string);
+  if (str instanceof AbruptCompletion) {
+    return str;
+  }
+  return parseDate(ValueOfNormalCompletion(str));
+}
+
+/** https://tc39.es/ecma262/#sec-date.utc */
+function* Date_UTC([year = Value.undefined, month, date, hours, minutes, seconds, ms]: Arguments): ValueEvaluator {
+  const y = Q(yield* ToNumber(year));
+  let m;
+  if (month !== undefined) {
+    m = Q(yield* ToNumber(month));
+  } else {
+    m = F(+0);
+  }
+  let dt;
+  if (date !== undefined) {
+    dt = Q(yield* ToNumber(date));
+  } else {
+    dt = F(1);
+  }
+  let h;
+  if (hours !== undefined) {
+    h = Q(yield* ToNumber(hours));
+  } else {
+    h = F(+0);
+  }
+  let min;
+  if (minutes !== undefined) {
+    min = Q(yield* ToNumber(minutes));
+  } else {
+    min = F(+0);
+  }
+  let s;
+  if (seconds !== undefined) {
+    s = Q(yield* ToNumber(seconds));
+  } else {
+    s = F(+0);
+  }
+  let milli;
+  if (ms !== undefined) {
+    milli = Q(yield* ToNumber(ms));
+  } else {
+    milli = F(+0);
+  }
+
+  let yr;
+  if (y.isNaN()) {
+    yr = F(NaN);
+  } else {
+    const yi = X(ToIntegerOrInfinity(y));
+    if (yi >= 0 && yi <= 99) {
+      yr = F(1900 + yi);
+    } else {
+      yr = y;
+    }
+  }
+
+  return TimeClip(MakeDate(MakeDay(yr, m, dt), MakeTime(h, min, s, milli)));
+}
+
+function parseDate(dateTimeString: JSStringValue) {
+  /** https://tc39.es/ecma262/#sec-date-time-string-format */
+  // TODO: implement parsing without the host.
+  const parsed = Date.parse(dateTimeString.stringValue());
+  return F(parsed);
+}
+
+export function bootstrapDate(realmRec: Realm) {
+  const cons = bootstrapConstructor(realmRec, DateConstructor, 'Date', 7, realmRec.Intrinsics['%Date.prototype%'], [
+    ['now', Date_now, 0],
+    ['parse', Date_parse, 1],
+    ['UTC', Date_UTC, 7],
+  ]);
+
+  realmRec.Intrinsics['%Date%'] = cons;
+}