v8 typed arrays: add DataView type

src/runtime.cc

 // Copyright 2012 the V8 project authors. All rights reserved.
 // Redistribution and use in source and binary forms, with or without
 // modification, are permitted provided that the following conditions are
 // met:
 //
 //     * Redistributions of source code must retain the above copyright
 //       notice, this list of conditions and the following disclaimer.
 //     * Redistributions in binary form must reproduce the above
 //       copyright notice, this list of conditions and the following
 //       disclaimer in the documentation and/or other materials provided
@@ skipping 759 matching lines @@
   if (target_length == 0) return isolate->heap()->undefined_value();
 
   ASSERT(NumberToSize(isolate, source->byte_length()) - target_length >= start);
   uint8_t* source_data = reinterpret_cast<uint8_t*>(source->backing_store());
   uint8_t* target_data = reinterpret_cast<uint8_t*>(target->backing_store());
   CopyBytes(target_data, source_data + start, target_length);
   return isolate->heap()->undefined_value();
 }
 
 
+RUNTIME_FUNCTION(MaybeObject*, Runtime_DataViewInitialize) {
+  HandleScope scope(isolate);
+  ASSERT(args.length() == 4);
+  CONVERT_ARG_HANDLE_CHECKED(JSDataView, holder, 0);
+  CONVERT_ARG_HANDLE_CHECKED(JSArrayBuffer, buffer, 1);
+  CONVERT_ARG_HANDLE_CHECKED(Object, byte_offset_object, 2);
+  CONVERT_ARG_HANDLE_CHECKED(Object, byte_length_object, 3);
+
+  holder->set_buffer(*buffer);
+  holder->set_byte_offset(*byte_offset_object);
+  holder->set_byte_length(*byte_length_object);
+
+  Handle<Map> map =
+      isolate->factory()->GetElementsTransitionMap(
+          holder, EXTERNAL_UNSIGNED_BYTE_ELEMENTS);
+  holder->set_map(*map);

[Dmitry Lomov (no reviews), 2013/06/03 13:09:04]

This is completely unneeded. DataViews are not external arrays. They do not have
a redefined notion of indexing operation:
var dv = new DataView(new ArrayBuffer(100));
dv[0] = "a";
dv[0] // "a"

+  return isolate->heap()->undefined_value();
+}
+
+
+RUNTIME_FUNCTION(MaybeObject*, Runtime_DataViewGetBuffer) {
+    HandleScope scope(isolate);
+    ASSERT(args.length() == 1);
+    CONVERT_ARG_HANDLE_CHECKED(JSDataView, holder, 0);
+    return (*holder)->buffer();
+}
+
+
+RUNTIME_FUNCTION(MaybeObject*, Runtime_DataViewGetByteLength) {
+    HandleScope scope(isolate);
+    ASSERT(args.length() == 1);
+    CONVERT_ARG_HANDLE_CHECKED(JSDataView, holder, 0);
+    return (*holder)->byte_length();
+}
+
+
+RUNTIME_FUNCTION(MaybeObject*, Runtime_DataViewGetByteOffset) {
+    HandleScope scope(isolate);
+    ASSERT(args.length() == 1);
+    CONVERT_ARG_HANDLE_CHECKED(JSDataView, holder, 0);
+    return (*holder)->byte_offset();
+}
+
+
+RUNTIME_FUNCTION(MaybeObject*, Runtime_DataViewGetInt8) {
+  HandleScope scope(isolate);
+  ASSERT(args.length() == 2);
+  CONVERT_ARG_HANDLE_CHECKED(JSDataView, holder, 0);
+  CONVERT_SMI_ARG_CHECKED(byte_offset, 1);

[Dmitry Lomov (no reviews), 2013/06/03 13:09:04]

This is wrong. Even if byte_offset is a result of TO_INT32, it won't fit  into
SMI. The proper implementation should handle byte offest bigger than int 32.
Same applies throughout.

+  ASSERT(byte_offset >= 0);
+  return Smi::FromInt((*holder)->Get<int8_t>(byte_offset));
+}
+
+
+RUNTIME_FUNCTION(MaybeObject*, Runtime_DataViewGetUint8) {
+  HandleScope scope(isolate);
+  ASSERT(args.length() == 2);
+  CONVERT_ARG_HANDLE_CHECKED(JSDataView, holder, 0);
+  CONVERT_SMI_ARG_CHECKED(byte_offset, 1);
+  ASSERT(byte_offset >= 0);
+  return Smi::FromInt((*holder)->Get<uint8_t>(byte_offset));
+}
+
+
+RUNTIME_FUNCTION(MaybeObject*, Runtime_DataViewGetInt16) {
+  HandleScope scope(isolate);
+  ASSERT(args.length() == 3);
+  CONVERT_ARG_HANDLE_CHECKED(JSDataView, holder, 0);
+  CONVERT_SMI_ARG_CHECKED(byte_offset, 1);
+  ASSERT(byte_offset >= 0);
+  CONVERT_BOOLEAN_ARG_CHECKED(little_endian, 2);
+  return Smi::FromInt((*holder)->Get<int16_t>(byte_offset, little_endian));
+}
+
+
+RUNTIME_FUNCTION(MaybeObject*, Runtime_DataViewGetUint16) {
+  HandleScope scope(isolate);
+  ASSERT(args.length() == 3);
+  CONVERT_ARG_HANDLE_CHECKED(JSDataView, holder, 0);
+  CONVERT_SMI_ARG_CHECKED(byte_offset, 1);
+  ASSERT(byte_offset >= 0);
+  CONVERT_BOOLEAN_ARG_CHECKED(little_endian, 2);
+  return Smi::FromInt((*holder)->Get<uint16_t>(byte_offset, little_endian));
+}
+
+
+RUNTIME_FUNCTION(MaybeObject*, Runtime_DataViewGetInt32) {
+  HandleScope scope(isolate);
+  ASSERT(args.length() == 3);
+  CONVERT_ARG_HANDLE_CHECKED(JSDataView, holder, 0);
+  CONVERT_SMI_ARG_CHECKED(byte_offset, 1);
+  ASSERT(byte_offset >= 0);
+  CONVERT_BOOLEAN_ARG_CHECKED(little_endian, 2);
+  return isolate->heap()->NumberFromInt32(
+      (*holder)->Get<int32_t>(byte_offset, little_endian));
+}
+
+
+RUNTIME_FUNCTION(MaybeObject*, Runtime_DataViewGetUint32) {
+  HandleScope scope(isolate);
+  ASSERT(args.length() == 3);
+  CONVERT_ARG_HANDLE_CHECKED(JSDataView, holder, 0);
+  CONVERT_SMI_ARG_CHECKED(byte_offset, 1);
+  ASSERT(byte_offset >= 0);
+  CONVERT_BOOLEAN_ARG_CHECKED(little_endian, 2);
+  return isolate->heap()->NumberFromUint32(
+      (*holder)->Get<uint32_t>(byte_offset, little_endian));
+}
+
+
+RUNTIME_FUNCTION(MaybeObject*, Runtime_DataViewGetFloat32) {
+  HandleScope scope(isolate);
+  ASSERT(args.length() == 3);
+  CONVERT_ARG_HANDLE_CHECKED(JSDataView, holder, 0);
+  CONVERT_SMI_ARG_CHECKED(byte_offset, 1);
+  ASSERT(byte_offset >= 0);
+  CONVERT_BOOLEAN_ARG_CHECKED(little_endian, 2);
+  return isolate->heap()->NumberFromDouble(
+      (*holder)->Get<float>(byte_offset, little_endian));
+}
+
+
+RUNTIME_FUNCTION(MaybeObject*, Runtime_DataViewGetFloat64) {
+  HandleScope scope(isolate);
+  ASSERT(args.length() == 3);
+  CONVERT_ARG_HANDLE_CHECKED(JSDataView, holder, 0);
+  CONVERT_SMI_ARG_CHECKED(byte_offset, 1);
+  ASSERT(byte_offset >= 0);
+  CONVERT_BOOLEAN_ARG_CHECKED(little_endian, 2);
+  return isolate->heap()->NumberFromDouble(
+      (*holder)->Get<double>(byte_offset, little_endian));
+}
+
+
+RUNTIME_FUNCTION(MaybeObject*, Runtime_DataViewSetInt8) {
+  HandleScope scope(isolate);
+  ASSERT(args.length() == 3);
+  CONVERT_ARG_HANDLE_CHECKED(JSDataView, holder, 0);
+  CONVERT_SMI_ARG_CHECKED(byte_offset, 1);
+  ASSERT(byte_offset >= 0);
+  CONVERT_NUMBER_CHECKED(int8_t, value, Int32, args[2]);
+  (*holder)->Set(byte_offset, value);
+  return isolate->heap()->undefined_value();
+}
+
+
+RUNTIME_FUNCTION(MaybeObject*, Runtime_DataViewSetUint8) {
+  HandleScope scope(isolate);
+  ASSERT(args.length() == 3);
+  CONVERT_ARG_HANDLE_CHECKED(JSDataView, holder, 0);
+  CONVERT_SMI_ARG_CHECKED(byte_offset, 1);
+  ASSERT(byte_offset >= 0);
+  CONVERT_NUMBER_CHECKED(uint8_t, value, Uint32, args[2]);
+  (*holder)->Set(byte_offset, value);
+  return isolate->heap()->undefined_value();
+}
+
+
+RUNTIME_FUNCTION(MaybeObject*, Runtime_DataViewSetInt16) {
+  HandleScope scope(isolate);
+  ASSERT(args.length() == 4);
+  CONVERT_ARG_HANDLE_CHECKED(JSDataView, holder, 0);
+  CONVERT_SMI_ARG_CHECKED(byte_offset, 1);
+  ASSERT(byte_offset >= 0);
+  CONVERT_NUMBER_CHECKED(int16_t, value, Int32, args[2]);
+  CONVERT_BOOLEAN_ARG_CHECKED(little_endian, 3);
+  (*holder)->Set(byte_offset, value, little_endian);
+  return isolate->heap()->undefined_value();
+}
+
+
+RUNTIME_FUNCTION(MaybeObject*, Runtime_DataViewSetUint16) {
+  HandleScope scope(isolate);
+  ASSERT(args.length() == 4);
+  CONVERT_ARG_HANDLE_CHECKED(JSDataView, holder, 0);
+  CONVERT_SMI_ARG_CHECKED(byte_offset, 1);
+  ASSERT(byte_offset >= 0);
+  CONVERT_NUMBER_CHECKED(uint16_t, value, Uint32, args[2]);
+  CONVERT_BOOLEAN_ARG_CHECKED(little_endian, 3);
+  (*holder)->Set(byte_offset, value, little_endian);
+  return isolate->heap()->undefined_value();
+}
+
+
+RUNTIME_FUNCTION(MaybeObject*, Runtime_DataViewSetInt32) {
+  HandleScope scope(isolate);
+  ASSERT(args.length() == 4);
+  CONVERT_ARG_HANDLE_CHECKED(JSDataView, holder, 0);
+  CONVERT_SMI_ARG_CHECKED(byte_offset, 1);
+  ASSERT(byte_offset >= 0);
+  CONVERT_NUMBER_CHECKED(int32_t, value, Int32, args[2]);
+  CONVERT_BOOLEAN_ARG_CHECKED(little_endian, 3);
+  (*holder)->Set(byte_offset, value, little_endian);
+  return isolate->heap()->undefined_value();
+}
+
+
+RUNTIME_FUNCTION(MaybeObject*, Runtime_DataViewSetUint32) {
+  HandleScope scope(isolate);
+  ASSERT(args.length() == 4);
+  CONVERT_ARG_HANDLE_CHECKED(JSDataView, holder, 0);
+  CONVERT_SMI_ARG_CHECKED(byte_offset, 1);
+  ASSERT(byte_offset >= 0);
+  CONVERT_NUMBER_CHECKED(uint32_t, value, Uint32, args[2]);
+  CONVERT_BOOLEAN_ARG_CHECKED(little_endian, 3);
+  (*holder)->Set(byte_offset, value, little_endian);
+  return isolate->heap()->undefined_value();
+}
+
+
+RUNTIME_FUNCTION(MaybeObject*, Runtime_DataViewSetFloat32) {
+  HandleScope scope(isolate);
+  ASSERT(args.length() == 4);
+  CONVERT_ARG_HANDLE_CHECKED(JSDataView, holder, 0);
+  CONVERT_SMI_ARG_CHECKED(byte_offset, 1);
+  ASSERT(byte_offset >= 0);
+  CONVERT_DOUBLE_ARG_CHECKED(value, 2);
+  CONVERT_BOOLEAN_ARG_CHECKED(little_endian, 3);
+  (*holder)->Set(byte_offset, static_cast<float>(value), little_endian);
+  return isolate->heap()->undefined_value();
+}
+
+
+RUNTIME_FUNCTION(MaybeObject*, Runtime_DataViewSetFloat64) {
+  HandleScope scope(isolate);
+  ASSERT(args.length() == 4);
+  CONVERT_ARG_HANDLE_CHECKED(JSDataView, holder, 0);
+  CONVERT_SMI_ARG_CHECKED(byte_offset, 1);
+  ASSERT(byte_offset >= 0);
+  CONVERT_DOUBLE_ARG_CHECKED(value, 2);
+  CONVERT_BOOLEAN_ARG_CHECKED(little_endian, 3);
+  (*holder)->Set(byte_offset, value, little_endian);
+  return isolate->heap()->undefined_value();
+}
+
+
 enum TypedArrayId {
   // arrayIds below should be synchromized with typedarray.js natives.
   ARRAY_ID_UINT8 = 1,
   ARRAY_ID_INT8 = 2,
   ARRAY_ID_UINT16 = 3,
   ARRAY_ID_INT16 = 4,
   ARRAY_ID_UINT32 = 5,
   ARRAY_ID_INT32 = 6,
   ARRAY_ID_FLOAT32 = 7,
   ARRAY_ID_FLOAT64 = 8,
@@ skipping 12732 matching lines @@
     // Handle last resort GC and make sure to allow future allocations
     // to grow the heap without causing GCs (if possible).
     isolate->counters()->gc_last_resort_from_js()->Increment();
     isolate->heap()->CollectAllGarbage(Heap::kNoGCFlags,
                                        "Runtime::PerformGC");
   }
 }
 
 
 } }  // namespace v8::internal