blob: 37b612d4cb5dd8f9664fb5edd04a7c24ad663f84 [file] [log] [blame]
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001// Copyright 2014 the V8 project authors. All rights reserved.
2// Use of this source code is governed by a BSD-style license that can be
3// found in the LICENSE file.
4
Emily Bernierd0a1eb72015-03-24 16:35:39 -04005#include "src/runtime/runtime-utils.h"
6
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00007#include "src/arguments.h"
8#include "src/factory.h"
9#include "src/messages.h"
10#include "src/objects-inl.h"
11#include "src/runtime/runtime.h"
Emily Bernierd0a1eb72015-03-24 16:35:39 -040012
13namespace v8 {
14namespace internal {
15
Emily Bernierd0a1eb72015-03-24 16:35:39 -040016RUNTIME_FUNCTION(Runtime_ArrayBufferGetByteLength) {
17 SealHandleScope shs(isolate);
18 DCHECK(args.length() == 1);
19 CONVERT_ARG_CHECKED(JSArrayBuffer, holder, 0);
20 return holder->byte_length();
21}
22
23
24RUNTIME_FUNCTION(Runtime_ArrayBufferSliceImpl) {
25 HandleScope scope(isolate);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000026 DCHECK(args.length() == 4);
Emily Bernierd0a1eb72015-03-24 16:35:39 -040027 CONVERT_ARG_HANDLE_CHECKED(JSArrayBuffer, source, 0);
28 CONVERT_ARG_HANDLE_CHECKED(JSArrayBuffer, target, 1);
29 CONVERT_NUMBER_ARG_HANDLE_CHECKED(first, 2);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000030 CONVERT_NUMBER_ARG_HANDLE_CHECKED(new_length, 3);
Ben Murdochc5610432016-08-08 18:44:38 +010031
32 if (source->was_neutered() || target->was_neutered()) {
33 THROW_NEW_ERROR_RETURN_FAILURE(
34 isolate, NewTypeError(MessageTemplate::kDetachedOperation,
35 isolate->factory()->NewStringFromAsciiChecked(
36 "ArrayBuffer.prototype.slice")));
37 }
38
Ben Murdoch61f157c2016-09-16 13:49:30 +010039 CHECK(!source.is_identical_to(target));
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000040 size_t start = 0, target_length = 0;
Ben Murdoch61f157c2016-09-16 13:49:30 +010041 CHECK(TryNumberToSize(isolate, *first, &start));
42 CHECK(TryNumberToSize(isolate, *new_length, &target_length));
43 CHECK(NumberToSize(isolate, target->byte_length()) >= target_length);
Emily Bernierd0a1eb72015-03-24 16:35:39 -040044
45 if (target_length == 0) return isolate->heap()->undefined_value();
46
47 size_t source_byte_length = NumberToSize(isolate, source->byte_length());
Ben Murdoch61f157c2016-09-16 13:49:30 +010048 CHECK(start <= source_byte_length);
49 CHECK(source_byte_length - start >= target_length);
Emily Bernierd0a1eb72015-03-24 16:35:39 -040050 uint8_t* source_data = reinterpret_cast<uint8_t*>(source->backing_store());
51 uint8_t* target_data = reinterpret_cast<uint8_t*>(target->backing_store());
52 CopyBytes(target_data, source_data + start, target_length);
53 return isolate->heap()->undefined_value();
54}
55
56
Emily Bernierd0a1eb72015-03-24 16:35:39 -040057RUNTIME_FUNCTION(Runtime_ArrayBufferNeuter) {
58 HandleScope scope(isolate);
59 DCHECK(args.length() == 1);
60 CONVERT_ARG_HANDLE_CHECKED(JSArrayBuffer, array_buffer, 0);
61 if (array_buffer->backing_store() == NULL) {
62 CHECK(Smi::FromInt(0) == array_buffer->byte_length());
63 return isolate->heap()->undefined_value();
64 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000065 // Shared array buffers should never be neutered.
Ben Murdoch61f157c2016-09-16 13:49:30 +010066 CHECK(!array_buffer->is_shared());
Emily Bernierd0a1eb72015-03-24 16:35:39 -040067 DCHECK(!array_buffer->is_external());
68 void* backing_store = array_buffer->backing_store();
69 size_t byte_length = NumberToSize(isolate, array_buffer->byte_length());
70 array_buffer->set_is_external(true);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000071 isolate->heap()->UnregisterArrayBuffer(*array_buffer);
72 array_buffer->Neuter();
73 isolate->array_buffer_allocator()->Free(backing_store, byte_length);
Emily Bernierd0a1eb72015-03-24 16:35:39 -040074 return isolate->heap()->undefined_value();
75}
76
77
78void Runtime::ArrayIdToTypeAndSize(int arrayId, ExternalArrayType* array_type,
Emily Bernierd0a1eb72015-03-24 16:35:39 -040079 ElementsKind* fixed_elements_kind,
80 size_t* element_size) {
81 switch (arrayId) {
82#define ARRAY_ID_CASE(Type, type, TYPE, ctype, size) \
83 case ARRAY_ID_##TYPE: \
84 *array_type = kExternal##Type##Array; \
Emily Bernierd0a1eb72015-03-24 16:35:39 -040085 *fixed_elements_kind = TYPE##_ELEMENTS; \
86 *element_size = size; \
87 break;
88
89 TYPED_ARRAYS(ARRAY_ID_CASE)
90#undef ARRAY_ID_CASE
91
92 default:
93 UNREACHABLE();
94 }
95}
96
97
98RUNTIME_FUNCTION(Runtime_TypedArrayInitialize) {
99 HandleScope scope(isolate);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000100 DCHECK(args.length() == 6);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400101 CONVERT_ARG_HANDLE_CHECKED(JSTypedArray, holder, 0);
102 CONVERT_SMI_ARG_CHECKED(arrayId, 1);
103 CONVERT_ARG_HANDLE_CHECKED(Object, maybe_buffer, 2);
104 CONVERT_NUMBER_ARG_HANDLE_CHECKED(byte_offset_object, 3);
105 CONVERT_NUMBER_ARG_HANDLE_CHECKED(byte_length_object, 4);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000106 CONVERT_BOOLEAN_ARG_CHECKED(initialize, 5);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400107
Ben Murdoch61f157c2016-09-16 13:49:30 +0100108 CHECK(arrayId >= Runtime::ARRAY_ID_FIRST &&
109 arrayId <= Runtime::ARRAY_ID_LAST);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400110
111 ExternalArrayType array_type = kExternalInt8Array; // Bogus initialization.
112 size_t element_size = 1; // Bogus initialization.
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400113 ElementsKind fixed_elements_kind = INT8_ELEMENTS; // Bogus initialization.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000114 Runtime::ArrayIdToTypeAndSize(arrayId, &array_type, &fixed_elements_kind,
115 &element_size);
Ben Murdoch61f157c2016-09-16 13:49:30 +0100116 CHECK(holder->map()->elements_kind() == fixed_elements_kind);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400117
118 size_t byte_offset = 0;
119 size_t byte_length = 0;
Ben Murdoch61f157c2016-09-16 13:49:30 +0100120 CHECK(TryNumberToSize(isolate, *byte_offset_object, &byte_offset));
121 CHECK(TryNumberToSize(isolate, *byte_length_object, &byte_length));
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400122
123 if (maybe_buffer->IsJSArrayBuffer()) {
124 Handle<JSArrayBuffer> buffer = Handle<JSArrayBuffer>::cast(maybe_buffer);
125 size_t array_buffer_byte_length =
126 NumberToSize(isolate, buffer->byte_length());
Ben Murdoch61f157c2016-09-16 13:49:30 +0100127 CHECK(byte_offset <= array_buffer_byte_length);
128 CHECK(array_buffer_byte_length - byte_offset >= byte_length);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400129 } else {
Ben Murdoch61f157c2016-09-16 13:49:30 +0100130 CHECK(maybe_buffer->IsNull(isolate));
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400131 }
132
Ben Murdoch61f157c2016-09-16 13:49:30 +0100133 CHECK(byte_length % element_size == 0);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400134 size_t length = byte_length / element_size;
135
136 if (length > static_cast<unsigned>(Smi::kMaxValue)) {
137 THROW_NEW_ERROR_RETURN_FAILURE(
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000138 isolate, NewRangeError(MessageTemplate::kInvalidTypedArrayLength));
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400139 }
140
141 // All checks are done, now we can modify objects.
142
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000143 DCHECK_EQ(v8::ArrayBufferView::kInternalFieldCount,
144 holder->GetInternalFieldCount());
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400145 for (int i = 0; i < v8::ArrayBufferView::kInternalFieldCount; i++) {
146 holder->SetInternalField(i, Smi::FromInt(0));
147 }
148 Handle<Object> length_obj = isolate->factory()->NewNumberFromSize(length);
149 holder->set_length(*length_obj);
150 holder->set_byte_offset(*byte_offset_object);
151 holder->set_byte_length(*byte_length_object);
152
Ben Murdoch61f157c2016-09-16 13:49:30 +0100153 if (!maybe_buffer->IsNull(isolate)) {
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400154 Handle<JSArrayBuffer> buffer = Handle<JSArrayBuffer>::cast(maybe_buffer);
155 holder->set_buffer(*buffer);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400156
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000157 Handle<FixedTypedArrayBase> elements =
158 isolate->factory()->NewFixedTypedArrayWithExternalPointer(
159 static_cast<int>(length), array_type,
160 static_cast<uint8_t*>(buffer->backing_store()) + byte_offset);
161 holder->set_elements(*elements);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400162 } else {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000163 Handle<JSArrayBuffer> buffer = isolate->factory()->NewJSArrayBuffer();
164 JSArrayBuffer::Setup(buffer, isolate, true, NULL, byte_length,
165 SharedFlag::kNotShared);
166 holder->set_buffer(*buffer);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400167 Handle<FixedTypedArrayBase> elements =
168 isolate->factory()->NewFixedTypedArray(static_cast<int>(length),
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000169 array_type, initialize);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400170 holder->set_elements(*elements);
171 }
172 return isolate->heap()->undefined_value();
173}
174
175
176// Initializes a typed array from an array-like object.
177// If an array-like object happens to be a typed array of the same type,
178// initializes backing store using memove.
179//
180// Returns true if backing store was initialized or false otherwise.
181RUNTIME_FUNCTION(Runtime_TypedArrayInitializeFromArrayLike) {
182 HandleScope scope(isolate);
183 DCHECK(args.length() == 4);
184 CONVERT_ARG_HANDLE_CHECKED(JSTypedArray, holder, 0);
185 CONVERT_SMI_ARG_CHECKED(arrayId, 1);
186 CONVERT_ARG_HANDLE_CHECKED(Object, source, 2);
187 CONVERT_NUMBER_ARG_HANDLE_CHECKED(length_obj, 3);
188
Ben Murdoch61f157c2016-09-16 13:49:30 +0100189 CHECK(arrayId >= Runtime::ARRAY_ID_FIRST &&
190 arrayId <= Runtime::ARRAY_ID_LAST);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400191
192 ExternalArrayType array_type = kExternalInt8Array; // Bogus initialization.
193 size_t element_size = 1; // Bogus initialization.
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400194 ElementsKind fixed_elements_kind = INT8_ELEMENTS; // Bogus initialization.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000195 Runtime::ArrayIdToTypeAndSize(arrayId, &array_type, &fixed_elements_kind,
196 &element_size);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400197
Ben Murdoch61f157c2016-09-16 13:49:30 +0100198 CHECK(holder->map()->elements_kind() == fixed_elements_kind);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400199
200 Handle<JSArrayBuffer> buffer = isolate->factory()->NewJSArrayBuffer();
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000201 size_t length = 0;
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400202 if (source->IsJSTypedArray() &&
203 JSTypedArray::cast(*source)->type() == array_type) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000204 length_obj = handle(JSTypedArray::cast(*source)->length(), isolate);
205 length = JSTypedArray::cast(*source)->length_value();
206 } else {
Ben Murdoch61f157c2016-09-16 13:49:30 +0100207 CHECK(TryNumberToSize(isolate, *length_obj, &length));
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400208 }
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400209
210 if ((length > static_cast<unsigned>(Smi::kMaxValue)) ||
211 (length > (kMaxInt / element_size))) {
212 THROW_NEW_ERROR_RETURN_FAILURE(
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000213 isolate, NewRangeError(MessageTemplate::kInvalidTypedArrayLength));
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400214 }
215 size_t byte_length = length * element_size;
216
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000217 DCHECK_EQ(v8::ArrayBufferView::kInternalFieldCount,
218 holder->GetInternalFieldCount());
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400219 for (int i = 0; i < v8::ArrayBufferView::kInternalFieldCount; i++) {
220 holder->SetInternalField(i, Smi::FromInt(0));
221 }
222
223 // NOTE: not initializing backing store.
224 // We assume that the caller of this function will initialize holder
225 // with the loop
226 // for(i = 0; i < length; i++) { holder[i] = source[i]; }
227 // We assume that the caller of this function is always a typed array
228 // constructor.
229 // If source is a typed array, this loop will always run to completion,
230 // so we are sure that the backing store will be initialized.
231 // Otherwise, the indexing operation might throw, so the loop will not
232 // run to completion and the typed array might remain partly initialized.
233 // However we further assume that the caller of this function is a typed array
234 // constructor, and the exception will propagate out of the constructor,
235 // therefore uninitialized memory will not be accessible by a user program.
236 //
237 // TODO(dslomov): revise this once we support subclassing.
238
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000239 if (!JSArrayBuffer::SetupAllocatingData(buffer, isolate, byte_length,
240 false)) {
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400241 THROW_NEW_ERROR_RETURN_FAILURE(
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000242 isolate, NewRangeError(MessageTemplate::kInvalidArrayBufferLength));
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400243 }
244
245 holder->set_buffer(*buffer);
246 holder->set_byte_offset(Smi::FromInt(0));
247 Handle<Object> byte_length_obj(
248 isolate->factory()->NewNumberFromSize(byte_length));
249 holder->set_byte_length(*byte_length_obj);
250 holder->set_length(*length_obj);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400251
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000252 Handle<FixedTypedArrayBase> elements =
253 isolate->factory()->NewFixedTypedArrayWithExternalPointer(
254 static_cast<int>(length), array_type,
255 static_cast<uint8_t*>(buffer->backing_store()));
256 holder->set_elements(*elements);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400257
258 if (source->IsJSTypedArray()) {
259 Handle<JSTypedArray> typed_array(JSTypedArray::cast(*source));
260
261 if (typed_array->type() == holder->type()) {
262 uint8_t* backing_store =
263 static_cast<uint8_t*>(typed_array->GetBuffer()->backing_store());
264 size_t source_byte_offset =
265 NumberToSize(isolate, typed_array->byte_offset());
266 memcpy(buffer->backing_store(), backing_store + source_byte_offset,
267 byte_length);
268 return isolate->heap()->true_value();
269 }
270 }
271
272 return isolate->heap()->false_value();
273}
274
275
276#define BUFFER_VIEW_GETTER(Type, getter, accessor) \
277 RUNTIME_FUNCTION(Runtime_##Type##Get##getter) { \
278 HandleScope scope(isolate); \
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000279 DCHECK_EQ(1, args.length()); \
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400280 CONVERT_ARG_HANDLE_CHECKED(JS##Type, holder, 0); \
281 return holder->accessor(); \
282 }
283
284BUFFER_VIEW_GETTER(ArrayBufferView, ByteLength, byte_length)
285BUFFER_VIEW_GETTER(ArrayBufferView, ByteOffset, byte_offset)
286BUFFER_VIEW_GETTER(TypedArray, Length, length)
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400287
288#undef BUFFER_VIEW_GETTER
289
290RUNTIME_FUNCTION(Runtime_TypedArrayGetBuffer) {
291 HandleScope scope(isolate);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000292 DCHECK_EQ(1, args.length());
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400293 CONVERT_ARG_HANDLE_CHECKED(JSTypedArray, holder, 0);
294 return *holder->GetBuffer();
295}
296
297
298// Return codes for Runtime_TypedArraySetFastCases.
299// Should be synchronized with typedarray.js natives.
300enum TypedArraySetResultCodes {
301 // Set from typed array of the same type.
302 // This is processed by TypedArraySetFastCases
303 TYPED_ARRAY_SET_TYPED_ARRAY_SAME_TYPE = 0,
304 // Set from typed array of the different type, overlapping in memory.
305 TYPED_ARRAY_SET_TYPED_ARRAY_OVERLAPPING = 1,
306 // Set from typed array of the different type, non-overlapping.
307 TYPED_ARRAY_SET_TYPED_ARRAY_NONOVERLAPPING = 2,
308 // Set from non-typed array.
309 TYPED_ARRAY_SET_NON_TYPED_ARRAY = 3
310};
311
312
313RUNTIME_FUNCTION(Runtime_TypedArraySetFastCases) {
314 HandleScope scope(isolate);
315 DCHECK(args.length() == 3);
316 if (!args[0]->IsJSTypedArray()) {
317 THROW_NEW_ERROR_RETURN_FAILURE(
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000318 isolate, NewTypeError(MessageTemplate::kNotTypedArray));
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400319 }
320
321 if (!args[1]->IsJSTypedArray())
322 return Smi::FromInt(TYPED_ARRAY_SET_NON_TYPED_ARRAY);
323
324 CONVERT_ARG_HANDLE_CHECKED(JSTypedArray, target_obj, 0);
325 CONVERT_ARG_HANDLE_CHECKED(JSTypedArray, source_obj, 1);
326 CONVERT_NUMBER_ARG_HANDLE_CHECKED(offset_obj, 2);
327
328 Handle<JSTypedArray> target(JSTypedArray::cast(*target_obj));
329 Handle<JSTypedArray> source(JSTypedArray::cast(*source_obj));
330 size_t offset = 0;
Ben Murdoch61f157c2016-09-16 13:49:30 +0100331 CHECK(TryNumberToSize(isolate, *offset_obj, &offset));
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000332 size_t target_length = target->length_value();
333 size_t source_length = source->length_value();
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400334 size_t target_byte_length = NumberToSize(isolate, target->byte_length());
335 size_t source_byte_length = NumberToSize(isolate, source->byte_length());
336 if (offset > target_length || offset + source_length > target_length ||
337 offset + source_length < offset) { // overflow
338 THROW_NEW_ERROR_RETURN_FAILURE(
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000339 isolate, NewRangeError(MessageTemplate::kTypedArraySetSourceTooLarge));
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400340 }
341
342 size_t target_offset = NumberToSize(isolate, target->byte_offset());
343 size_t source_offset = NumberToSize(isolate, source->byte_offset());
344 uint8_t* target_base =
345 static_cast<uint8_t*>(target->GetBuffer()->backing_store()) +
346 target_offset;
347 uint8_t* source_base =
348 static_cast<uint8_t*>(source->GetBuffer()->backing_store()) +
349 source_offset;
350
351 // Typed arrays of the same type: use memmove.
352 if (target->type() == source->type()) {
353 memmove(target_base + offset * target->element_size(), source_base,
354 source_byte_length);
355 return Smi::FromInt(TYPED_ARRAY_SET_TYPED_ARRAY_SAME_TYPE);
356 }
357
358 // Typed arrays of different types over the same backing store
359 if ((source_base <= target_base &&
360 source_base + source_byte_length > target_base) ||
361 (target_base <= source_base &&
362 target_base + target_byte_length > source_base)) {
363 // We do not support overlapping ArrayBuffers
364 DCHECK(target->GetBuffer()->backing_store() ==
365 source->GetBuffer()->backing_store());
366 return Smi::FromInt(TYPED_ARRAY_SET_TYPED_ARRAY_OVERLAPPING);
367 } else { // Non-overlapping typed arrays
368 return Smi::FromInt(TYPED_ARRAY_SET_TYPED_ARRAY_NONOVERLAPPING);
369 }
370}
371
372
373RUNTIME_FUNCTION(Runtime_TypedArrayMaxSizeInHeap) {
374 DCHECK(args.length() == 0);
375 DCHECK_OBJECT_SIZE(FLAG_typed_array_max_size_in_heap +
376 FixedTypedArrayBase::kDataOffset);
377 return Smi::FromInt(FLAG_typed_array_max_size_in_heap);
378}
379
380
381RUNTIME_FUNCTION(Runtime_IsTypedArray) {
382 HandleScope scope(isolate);
383 DCHECK(args.length() == 1);
384 return isolate->heap()->ToBoolean(args[0]->IsJSTypedArray());
385}
386
387
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000388RUNTIME_FUNCTION(Runtime_IsSharedTypedArray) {
389 HandleScope scope(isolate);
390 DCHECK(args.length() == 1);
391 return isolate->heap()->ToBoolean(
392 args[0]->IsJSTypedArray() &&
393 JSTypedArray::cast(args[0])->GetBuffer()->is_shared());
394}
395
396
397RUNTIME_FUNCTION(Runtime_IsSharedIntegerTypedArray) {
398 HandleScope scope(isolate);
399 DCHECK(args.length() == 1);
400 if (!args[0]->IsJSTypedArray()) {
401 return isolate->heap()->false_value();
402 }
403
404 Handle<JSTypedArray> obj(JSTypedArray::cast(args[0]));
405 return isolate->heap()->ToBoolean(obj->GetBuffer()->is_shared() &&
406 obj->type() != kExternalFloat32Array &&
Ben Murdochc5610432016-08-08 18:44:38 +0100407 obj->type() != kExternalFloat64Array &&
408 obj->type() != kExternalUint8ClampedArray);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000409}
410
411
412RUNTIME_FUNCTION(Runtime_IsSharedInteger32TypedArray) {
413 HandleScope scope(isolate);
414 DCHECK(args.length() == 1);
415 if (!args[0]->IsJSTypedArray()) {
416 return isolate->heap()->false_value();
417 }
418
419 Handle<JSTypedArray> obj(JSTypedArray::cast(args[0]));
420 return isolate->heap()->ToBoolean(obj->GetBuffer()->is_shared() &&
421 obj->type() == kExternalInt32Array);
422}
423
424
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400425inline static bool NeedToFlipBytes(bool is_little_endian) {
426#ifdef V8_TARGET_LITTLE_ENDIAN
427 return !is_little_endian;
428#else
429 return is_little_endian;
430#endif
431}
432
433
434template <int n>
435inline void CopyBytes(uint8_t* target, uint8_t* source) {
436 for (int i = 0; i < n; i++) {
437 *(target++) = *(source++);
438 }
439}
440
441
442template <int n>
443inline void FlipBytes(uint8_t* target, uint8_t* source) {
444 source = source + (n - 1);
445 for (int i = 0; i < n; i++) {
446 *(target++) = *(source--);
447 }
448}
449
450
451template <typename T>
452inline static bool DataViewGetValue(Isolate* isolate,
453 Handle<JSDataView> data_view,
454 Handle<Object> byte_offset_obj,
455 bool is_little_endian, T* result) {
456 size_t byte_offset = 0;
457 if (!TryNumberToSize(isolate, *byte_offset_obj, &byte_offset)) {
458 return false;
459 }
460 Handle<JSArrayBuffer> buffer(JSArrayBuffer::cast(data_view->buffer()));
461
462 size_t data_view_byte_offset =
463 NumberToSize(isolate, data_view->byte_offset());
464 size_t data_view_byte_length =
465 NumberToSize(isolate, data_view->byte_length());
466 if (byte_offset + sizeof(T) > data_view_byte_length ||
467 byte_offset + sizeof(T) < byte_offset) { // overflow
468 return false;
469 }
470
471 union Value {
472 T data;
473 uint8_t bytes[sizeof(T)];
474 };
475
476 Value value;
477 size_t buffer_offset = data_view_byte_offset + byte_offset;
478 DCHECK(NumberToSize(isolate, buffer->byte_length()) >=
479 buffer_offset + sizeof(T));
480 uint8_t* source =
481 static_cast<uint8_t*>(buffer->backing_store()) + buffer_offset;
482 if (NeedToFlipBytes(is_little_endian)) {
483 FlipBytes<sizeof(T)>(value.bytes, source);
484 } else {
485 CopyBytes<sizeof(T)>(value.bytes, source);
486 }
487 *result = value.data;
488 return true;
489}
490
491
492template <typename T>
493static bool DataViewSetValue(Isolate* isolate, Handle<JSDataView> data_view,
494 Handle<Object> byte_offset_obj,
495 bool is_little_endian, T data) {
496 size_t byte_offset = 0;
497 if (!TryNumberToSize(isolate, *byte_offset_obj, &byte_offset)) {
498 return false;
499 }
500 Handle<JSArrayBuffer> buffer(JSArrayBuffer::cast(data_view->buffer()));
501
502 size_t data_view_byte_offset =
503 NumberToSize(isolate, data_view->byte_offset());
504 size_t data_view_byte_length =
505 NumberToSize(isolate, data_view->byte_length());
506 if (byte_offset + sizeof(T) > data_view_byte_length ||
507 byte_offset + sizeof(T) < byte_offset) { // overflow
508 return false;
509 }
510
511 union Value {
512 T data;
513 uint8_t bytes[sizeof(T)];
514 };
515
516 Value value;
517 value.data = data;
518 size_t buffer_offset = data_view_byte_offset + byte_offset;
519 DCHECK(NumberToSize(isolate, buffer->byte_length()) >=
520 buffer_offset + sizeof(T));
521 uint8_t* target =
522 static_cast<uint8_t*>(buffer->backing_store()) + buffer_offset;
523 if (NeedToFlipBytes(is_little_endian)) {
524 FlipBytes<sizeof(T)>(target, value.bytes);
525 } else {
526 CopyBytes<sizeof(T)>(target, value.bytes);
527 }
528 return true;
529}
530
531
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000532#define DATA_VIEW_GETTER(TypeName, Type, Converter) \
533 RUNTIME_FUNCTION(Runtime_DataViewGet##TypeName) { \
534 HandleScope scope(isolate); \
535 DCHECK(args.length() == 3); \
536 CONVERT_ARG_HANDLE_CHECKED(JSDataView, holder, 0); \
537 CONVERT_NUMBER_ARG_HANDLE_CHECKED(offset, 1); \
538 CONVERT_BOOLEAN_ARG_CHECKED(is_little_endian, 2); \
539 Type result; \
540 if (DataViewGetValue(isolate, holder, offset, is_little_endian, \
541 &result)) { \
542 return *isolate->factory()->Converter(result); \
543 } else { \
544 THROW_NEW_ERROR_RETURN_FAILURE( \
545 isolate, \
546 NewRangeError(MessageTemplate::kInvalidDataViewAccessorOffset)); \
547 } \
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400548 }
549
550DATA_VIEW_GETTER(Uint8, uint8_t, NewNumberFromUint)
551DATA_VIEW_GETTER(Int8, int8_t, NewNumberFromInt)
552DATA_VIEW_GETTER(Uint16, uint16_t, NewNumberFromUint)
553DATA_VIEW_GETTER(Int16, int16_t, NewNumberFromInt)
554DATA_VIEW_GETTER(Uint32, uint32_t, NewNumberFromUint)
555DATA_VIEW_GETTER(Int32, int32_t, NewNumberFromInt)
556DATA_VIEW_GETTER(Float32, float, NewNumber)
557DATA_VIEW_GETTER(Float64, double, NewNumber)
558
559#undef DATA_VIEW_GETTER
560
561
562template <typename T>
563static T DataViewConvertValue(double value);
564
565
566template <>
567int8_t DataViewConvertValue<int8_t>(double value) {
568 return static_cast<int8_t>(DoubleToInt32(value));
569}
570
571
572template <>
573int16_t DataViewConvertValue<int16_t>(double value) {
574 return static_cast<int16_t>(DoubleToInt32(value));
575}
576
577
578template <>
579int32_t DataViewConvertValue<int32_t>(double value) {
580 return DoubleToInt32(value);
581}
582
583
584template <>
585uint8_t DataViewConvertValue<uint8_t>(double value) {
586 return static_cast<uint8_t>(DoubleToUint32(value));
587}
588
589
590template <>
591uint16_t DataViewConvertValue<uint16_t>(double value) {
592 return static_cast<uint16_t>(DoubleToUint32(value));
593}
594
595
596template <>
597uint32_t DataViewConvertValue<uint32_t>(double value) {
598 return DoubleToUint32(value);
599}
600
601
602template <>
603float DataViewConvertValue<float>(double value) {
604 return static_cast<float>(value);
605}
606
607
608template <>
609double DataViewConvertValue<double>(double value) {
610 return value;
611}
612
613
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000614#define DATA_VIEW_SETTER(TypeName, Type) \
615 RUNTIME_FUNCTION(Runtime_DataViewSet##TypeName) { \
616 HandleScope scope(isolate); \
617 DCHECK(args.length() == 4); \
618 CONVERT_ARG_HANDLE_CHECKED(JSDataView, holder, 0); \
619 CONVERT_NUMBER_ARG_HANDLE_CHECKED(offset, 1); \
620 CONVERT_NUMBER_ARG_HANDLE_CHECKED(value, 2); \
621 CONVERT_BOOLEAN_ARG_CHECKED(is_little_endian, 3); \
622 Type v = DataViewConvertValue<Type>(value->Number()); \
623 if (DataViewSetValue(isolate, holder, offset, is_little_endian, v)) { \
624 return isolate->heap()->undefined_value(); \
625 } else { \
626 THROW_NEW_ERROR_RETURN_FAILURE( \
627 isolate, \
628 NewRangeError(MessageTemplate::kInvalidDataViewAccessorOffset)); \
629 } \
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400630 }
631
632DATA_VIEW_SETTER(Uint8, uint8_t)
633DATA_VIEW_SETTER(Int8, int8_t)
634DATA_VIEW_SETTER(Uint16, uint16_t)
635DATA_VIEW_SETTER(Int16, int16_t)
636DATA_VIEW_SETTER(Uint32, uint32_t)
637DATA_VIEW_SETTER(Int32, int32_t)
638DATA_VIEW_SETTER(Float32, float)
639DATA_VIEW_SETTER(Float64, double)
640
641#undef DATA_VIEW_SETTER
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000642} // namespace internal
643} // namespace v8