builtins-dataview.cc 6.61 KB
Newer Older
1 2 3 4
// Copyright 2016 the V8 project authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

5
#include "src/builtins/builtins-utils-inl.h"
6
#include "src/builtins/builtins.h"
7
#include "src/execution/isolate.h"
8
#include "src/heap/factory.h"
9
#include "src/logging/counters.h"
10
#include "src/numbers/conversions.h"
11
#include "src/objects/js-array-buffer-inl.h"
12
#include "src/objects/objects-inl.h"
13 14 15 16 17

namespace v8 {
namespace internal {

// -----------------------------------------------------------------------------
18
// ES #sec-dataview-objects
19

20
// ES #sec-dataview-constructor
21
BUILTIN(DataViewConstructor) {
22
  const char* const kMethodName = "DataView constructor";
23
  HandleScope scope(isolate);
24
  // 1. If NewTarget is undefined, throw a TypeError exception.
25
  if (args.new_target()->IsUndefined(isolate)) {  // [[Call]]
26
    THROW_NEW_ERROR_RETURN_FAILURE(
27 28 29
        isolate, NewTypeError(MessageTemplate::kConstructorNotFunction,
                              isolate->factory()->NewStringFromAsciiChecked(
                                  "DataView")));
30 31 32 33 34 35 36 37
  }
  // [[Construct]]
  Handle<JSFunction> target = args.target();
  Handle<JSReceiver> new_target = Handle<JSReceiver>::cast(args.new_target());
  Handle<Object> buffer = args.atOrUndefined(isolate, 1);
  Handle<Object> byte_offset = args.atOrUndefined(isolate, 2);
  Handle<Object> byte_length = args.atOrUndefined(isolate, 3);

38
  // 2. Perform ? RequireInternalSlot(buffer, [[ArrayBufferData]]).
39 40 41 42 43
  if (!buffer->IsJSArrayBuffer()) {
    THROW_NEW_ERROR_RETURN_FAILURE(
        isolate, NewTypeError(MessageTemplate::kDataViewNotArrayBuffer));
  }
  Handle<JSArrayBuffer> array_buffer = Handle<JSArrayBuffer>::cast(buffer);
44

45
  // 3. Let offset be ? ToIndex(byteOffset).
46
  ASSIGN_RETURN_FAILURE_ON_EXCEPTION(
47
      isolate, byte_offset,
48
      Object::ToIndex(isolate, byte_offset, MessageTemplate::kInvalidOffset));
49
  size_t view_byte_offset = byte_offset->Number();
50

51 52 53 54 55 56 57
  // 4. If IsDetachedBuffer(buffer) is true, throw a TypeError exception.
  if (array_buffer->was_detached()) {
    THROW_NEW_ERROR_RETURN_FAILURE(
        isolate, NewTypeError(MessageTemplate::kDetachedOperation,
                              isolate->factory()->NewStringFromAsciiChecked(
                                  kMethodName)));
  }
58

59 60
  // 5. Let bufferByteLength be ArrayBufferByteLength(buffer, SeqCst).
  size_t buffer_byte_length = array_buffer->GetByteLength();
61

62
  // 6. If offset > bufferByteLength, throw a RangeError exception.
63
  if (view_byte_offset > buffer_byte_length) {
64
    THROW_NEW_ERROR_RETURN_FAILURE(
65
        isolate, NewRangeError(MessageTemplate::kInvalidOffset, byte_offset));
66
  }
67

68 69 70 71 72 73
  // 7. Let bufferIsResizable be IsResizableArrayBuffer(buffer).
  // 8. Let byteLengthChecked be empty.
  // 9. If bufferIsResizable is true and byteLength is undefined, then
  //       a. Let viewByteLength be auto.
  // 10. Else if byteLength is undefined, then
  //       a. Let viewByteLength be bufferByteLength - offset.
74
  size_t view_byte_length;
75
  bool length_tracking = false;
76
  if (byte_length->IsUndefined(isolate)) {
77
    view_byte_length = buffer_byte_length - view_byte_offset;
78
    length_tracking = array_buffer->is_resizable();
79
  } else {
80 81 82 83
    // 11. Else,
    //       a. Set byteLengthChecked be ? ToIndex(byteLength).
    //       b. Let viewByteLength be byteLengthChecked.
    //       c. If offset + viewByteLength > bufferByteLength, throw a
84 85
    //          RangeError exception.
    ASSIGN_RETURN_FAILURE_ON_EXCEPTION(
86
        isolate, byte_length,
87 88
        Object::ToIndex(isolate, byte_length,
                        MessageTemplate::kInvalidDataViewLength));
89
    if (view_byte_offset + byte_length->Number() > buffer_byte_length) {
90
      THROW_NEW_ERROR_RETURN_FAILURE(
91 92
          isolate,
          NewRangeError(MessageTemplate::kInvalidDataViewLength, byte_length));
93
    }
94
    view_byte_length = byte_length->Number();
95
  }
96

97 98 99
  // 12. Let O be ? OrdinaryCreateFromConstructor(NewTarget,
  //     "%DataViewPrototype%", «[[DataView]], [[ViewedArrayBuffer]],
  //     [[ByteLength]], [[ByteOffset]]»).
100
  Handle<JSObject> result;
101 102 103
  ASSIGN_RETURN_FAILURE_ON_EXCEPTION(
      isolate, result,
      JSObject::New(target, new_target, Handle<AllocationSite>::null()));
104
  Handle<JSDataView> data_view = Handle<JSDataView>::cast(result);
105
  for (int i = 0; i < ArrayBufferView::kEmbedderFieldCount; ++i) {
106
    // TODO(v8:10391, saelo): Handle external pointers in EmbedderDataSlot
107
    data_view->SetEmbedderField(i, Smi::zero());
108
  }
109
  data_view->set_bit_field(0);
110 111 112
  data_view->set_is_backed_by_rab(array_buffer->is_resizable() &&
                                  !array_buffer->is_shared());
  data_view->set_is_length_tracking(length_tracking);
113

114
  // We have to set the internal slots before the checks on steps 13 - 17 or
115 116
  // the TorqueGeneratedClassVerifier ended up complaining that the slot is
  // empty or invalid on heap teardown.
117 118
  // The result object is not observable from JavaScript when steps 13 - 17
  // early abort so it is fine to set internal slots here.
119

120
  // 18. Set O.[[ViewedArrayBuffer]] to buffer.
121
  data_view->set_buffer(*array_buffer);
122

123 124
  // 19. Set O.[[ByteLength]] to viewByteLength.
  data_view->set_byte_length(length_tracking ? 0 : view_byte_length);
125

126
  // 20. Set O.[[ByteOffset]] to offset.
127 128
  data_view->set_byte_offset(view_byte_offset);
  data_view->set_data_pointer(
129
      isolate,
130
      static_cast<uint8_t*>(array_buffer->backing_store()) + view_byte_offset);
131

132
  // 13. If IsDetachedBuffer(buffer) is true, throw a TypeError exception.
133 134 135 136 137 138 139
  if (array_buffer->was_detached()) {
    THROW_NEW_ERROR_RETURN_FAILURE(
        isolate, NewTypeError(MessageTemplate::kDetachedOperation,
                              isolate->factory()->NewStringFromAsciiChecked(
                                  kMethodName)));
  }

140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160
  // 14. Let getBufferByteLength be
  //     MakeIdempotentArrayBufferByteLengthGetter(SeqCst).
  // 15. Set bufferByteLength be getBufferByteLength(buffer).
  buffer_byte_length = array_buffer->GetByteLength();

  // 16. If offset > bufferByteLength, throw a RangeError exception.
  if (view_byte_offset > buffer_byte_length) {
    THROW_NEW_ERROR_RETURN_FAILURE(
        isolate, NewRangeError(MessageTemplate::kInvalidOffset, byte_offset));
  }

  // 17. If byteLengthChecked is not empty, then
  //       a. If offset + viewByteLength > bufferByteLength, throw a RangeError
  //       exception.
  if (!length_tracking &&
      view_byte_offset + view_byte_length > buffer_byte_length) {
    THROW_NEW_ERROR_RETURN_FAILURE(
        isolate, NewRangeError(MessageTemplate::kInvalidDataViewLength));
  }

  // 21. Return O.
161
  return *result;
162 163 164 165
}

}  // namespace internal
}  // namespace v8