| Index: src/builtins/builtins-sharedarraybuffer.cc
|
| diff --git a/src/builtins/builtins-sharedarraybuffer.cc b/src/builtins/builtins-sharedarraybuffer.cc
|
| index c845a952c6d9a94ccc31c64ec1015d52f73764c4..b91807833f78ebb4a300bb73f4df9e93997283cc 100644
|
| --- a/src/builtins/builtins-sharedarraybuffer.cc
|
| +++ b/src/builtins/builtins-sharedarraybuffer.cc
|
| @@ -2,19 +2,10 @@
|
| // Use of this source code is governed by a BSD-style license that can be
|
| // found in the LICENSE file.
|
|
|
| -#include "src/base/macros.h"
|
| -#include "src/base/platform/mutex.h"
|
| -#include "src/base/platform/time.h"
|
| #include "src/builtins/builtins-utils.h"
|
| #include "src/builtins/builtins.h"
|
| #include "src/code-factory.h"
|
| #include "src/code-stub-assembler.h"
|
| -#include "src/conversions-inl.h"
|
| -#include "src/counters.h"
|
| -#include "src/factory.h"
|
| -#include "src/futex-emulation.h"
|
| -#include "src/globals.h"
|
| -#include "src/objects-inl.h"
|
|
|
| namespace v8 {
|
| namespace internal {
|
| @@ -275,657 +266,5 @@ void Builtins::Generate_AtomicsStore(compiler::CodeAssemblerState* state) {
|
| a.Return(a.SmiConstant(0));
|
| }
|
|
|
| -inline bool AtomicIsLockFree(uint32_t size) {
|
| - return size == 1 || size == 2 || size == 4;
|
| -}
|
| -
|
| -// ES #sec-atomics.islockfree
|
| -BUILTIN(AtomicsIsLockFree) {
|
| - HandleScope scope(isolate);
|
| - Handle<Object> size = args.atOrUndefined(isolate, 1);
|
| - ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, size, Object::ToNumber(size));
|
| - return *isolate->factory()->ToBoolean(AtomicIsLockFree(size->Number()));
|
| -}
|
| -
|
| -// ES #sec-validatesharedintegertypedarray
|
| -MUST_USE_RESULT MaybeHandle<JSTypedArray> ValidateSharedIntegerTypedArray(
|
| - Isolate* isolate, Handle<Object> object, bool only_int32 = false) {
|
| - if (object->IsJSTypedArray()) {
|
| - Handle<JSTypedArray> typed_array = Handle<JSTypedArray>::cast(object);
|
| - if (typed_array->GetBuffer()->is_shared()) {
|
| - if (only_int32) {
|
| - if (typed_array->type() == kExternalInt32Array) return typed_array;
|
| - } else {
|
| - if (typed_array->type() != kExternalFloat32Array &&
|
| - typed_array->type() != kExternalFloat64Array &&
|
| - typed_array->type() != kExternalUint8ClampedArray)
|
| - return typed_array;
|
| - }
|
| - }
|
| - }
|
| -
|
| - THROW_NEW_ERROR(
|
| - isolate,
|
| - NewTypeError(only_int32 ? MessageTemplate::kNotInt32SharedTypedArray
|
| - : MessageTemplate::kNotIntegerSharedTypedArray,
|
| - object),
|
| - JSTypedArray);
|
| -}
|
| -
|
| -// ES #sec-validateatomicaccess
|
| -// ValidateAtomicAccess( typedArray, requestIndex )
|
| -MUST_USE_RESULT Maybe<size_t> ValidateAtomicAccess(
|
| - Isolate* isolate, Handle<JSTypedArray> typed_array,
|
| - Handle<Object> request_index) {
|
| - // TOOD(v8:5961): Use ToIndex for indexes
|
| - ASSIGN_RETURN_ON_EXCEPTION_VALUE(isolate, request_index,
|
| - Object::ToNumber(request_index),
|
| - Nothing<size_t>());
|
| - Handle<Object> offset;
|
| - ASSIGN_RETURN_ON_EXCEPTION_VALUE(isolate, offset,
|
| - Object::ToInteger(isolate, request_index),
|
| - Nothing<size_t>());
|
| - if (!request_index->SameValue(*offset)) {
|
| - isolate->Throw(*isolate->factory()->NewRangeError(
|
| - MessageTemplate::kInvalidAtomicAccessIndex));
|
| - return Nothing<size_t>();
|
| - }
|
| - size_t access_index;
|
| - uint32_t length = typed_array->length_value();
|
| - if (!TryNumberToSize(*request_index, &access_index) ||
|
| - access_index >= length) {
|
| - isolate->Throw(*isolate->factory()->NewRangeError(
|
| - MessageTemplate::kInvalidAtomicAccessIndex));
|
| - return Nothing<size_t>();
|
| - }
|
| - return Just<size_t>(access_index);
|
| -}
|
| -
|
| -// ES #sec-atomics.wake
|
| -// Atomics.wake( typedArray, index, count )
|
| -BUILTIN(AtomicsWake) {
|
| - HandleScope scope(isolate);
|
| - Handle<Object> array = args.atOrUndefined(isolate, 1);
|
| - Handle<Object> index = args.atOrUndefined(isolate, 2);
|
| - Handle<Object> count = args.atOrUndefined(isolate, 3);
|
| -
|
| - Handle<JSTypedArray> sta;
|
| - ASSIGN_RETURN_FAILURE_ON_EXCEPTION(
|
| - isolate, sta, ValidateSharedIntegerTypedArray(isolate, array, true));
|
| -
|
| - Maybe<size_t> maybe_index = ValidateAtomicAccess(isolate, sta, index);
|
| - if (maybe_index.IsNothing()) return isolate->heap()->exception();
|
| - size_t i = maybe_index.FromJust();
|
| -
|
| - uint32_t c;
|
| - if (count->IsUndefined(isolate)) {
|
| - c = kMaxUInt32;
|
| - } else {
|
| - ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, count,
|
| - Object::ToInteger(isolate, count));
|
| - double count_double = count->Number();
|
| - if (count_double < 0)
|
| - count_double = 0;
|
| - else if (count_double > kMaxUInt32)
|
| - count_double = kMaxUInt32;
|
| - c = static_cast<uint32_t>(count_double);
|
| - }
|
| -
|
| - Handle<JSArrayBuffer> array_buffer = sta->GetBuffer();
|
| - size_t addr = (i << 2) + NumberToSize(sta->byte_offset());
|
| -
|
| - return FutexEmulation::Wake(isolate, array_buffer, addr, c);
|
| -}
|
| -
|
| -// ES #sec-atomics.wait
|
| -// Atomics.wait( typedArray, index, value, timeout )
|
| -BUILTIN(AtomicsWait) {
|
| - HandleScope scope(isolate);
|
| - Handle<Object> array = args.atOrUndefined(isolate, 1);
|
| - Handle<Object> index = args.atOrUndefined(isolate, 2);
|
| - Handle<Object> value = args.atOrUndefined(isolate, 3);
|
| - Handle<Object> timeout = args.atOrUndefined(isolate, 4);
|
| -
|
| - Handle<JSTypedArray> sta;
|
| - ASSIGN_RETURN_FAILURE_ON_EXCEPTION(
|
| - isolate, sta, ValidateSharedIntegerTypedArray(isolate, array, true));
|
| -
|
| - Maybe<size_t> maybe_index = ValidateAtomicAccess(isolate, sta, index);
|
| - if (maybe_index.IsNothing()) return isolate->heap()->exception();
|
| - size_t i = maybe_index.FromJust();
|
| -
|
| - ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, value,
|
| - Object::ToInt32(isolate, value));
|
| - int32_t value_int32 = NumberToInt32(*value);
|
| -
|
| - double timeout_number;
|
| - if (timeout->IsUndefined(isolate)) {
|
| - timeout_number = isolate->heap()->infinity_value()->Number();
|
| - } else {
|
| - ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, timeout,
|
| - Object::ToNumber(timeout));
|
| - timeout_number = timeout->Number();
|
| - if (std::isnan(timeout_number))
|
| - timeout_number = isolate->heap()->infinity_value()->Number();
|
| - else if (timeout_number < 0)
|
| - timeout_number = 0;
|
| - }
|
| -
|
| - if (!isolate->allow_atomics_wait()) {
|
| - THROW_NEW_ERROR_RETURN_FAILURE(
|
| - isolate, NewTypeError(MessageTemplate::kAtomicsWaitNotAllowed));
|
| - }
|
| -
|
| - Handle<JSArrayBuffer> array_buffer = sta->GetBuffer();
|
| - size_t addr = (i << 2) + NumberToSize(sta->byte_offset());
|
| -
|
| - return FutexEmulation::Wait(isolate, array_buffer, addr, value_int32,
|
| - timeout_number);
|
| -}
|
| -
|
| -namespace {
|
| -
|
| -#if V8_CC_GNU
|
| -
|
| -template <typename T>
|
| -inline T CompareExchangeSeqCst(T* p, T oldval, T newval) {
|
| - (void)__atomic_compare_exchange_n(p, &oldval, newval, 0, __ATOMIC_SEQ_CST,
|
| - __ATOMIC_SEQ_CST);
|
| - return oldval;
|
| -}
|
| -
|
| -template <typename T>
|
| -inline T AddSeqCst(T* p, T value) {
|
| - return __atomic_fetch_add(p, value, __ATOMIC_SEQ_CST);
|
| -}
|
| -
|
| -template <typename T>
|
| -inline T SubSeqCst(T* p, T value) {
|
| - return __atomic_fetch_sub(p, value, __ATOMIC_SEQ_CST);
|
| -}
|
| -
|
| -template <typename T>
|
| -inline T AndSeqCst(T* p, T value) {
|
| - return __atomic_fetch_and(p, value, __ATOMIC_SEQ_CST);
|
| -}
|
| -
|
| -template <typename T>
|
| -inline T OrSeqCst(T* p, T value) {
|
| - return __atomic_fetch_or(p, value, __ATOMIC_SEQ_CST);
|
| -}
|
| -
|
| -template <typename T>
|
| -inline T XorSeqCst(T* p, T value) {
|
| - return __atomic_fetch_xor(p, value, __ATOMIC_SEQ_CST);
|
| -}
|
| -
|
| -template <typename T>
|
| -inline T ExchangeSeqCst(T* p, T value) {
|
| - return __atomic_exchange_n(p, value, __ATOMIC_SEQ_CST);
|
| -}
|
| -
|
| -#elif V8_CC_MSVC
|
| -
|
| -#define InterlockedCompareExchange32 _InterlockedCompareExchange
|
| -#define InterlockedExchange32 _InterlockedExchange
|
| -#define InterlockedExchangeAdd32 _InterlockedExchangeAdd
|
| -#define InterlockedAnd32 _InterlockedAnd
|
| -#define InterlockedOr32 _InterlockedOr
|
| -#define InterlockedXor32 _InterlockedXor
|
| -#define InterlockedExchangeAdd16 _InterlockedExchangeAdd16
|
| -#define InterlockedCompareExchange8 _InterlockedCompareExchange8
|
| -#define InterlockedExchangeAdd8 _InterlockedExchangeAdd8
|
| -
|
| -#define ATOMIC_OPS(type, suffix, vctype) \
|
| - inline type AddSeqCst(type* p, type value) { \
|
| - return InterlockedExchangeAdd##suffix(reinterpret_cast<vctype*>(p), \
|
| - bit_cast<vctype>(value)); \
|
| - } \
|
| - inline type SubSeqCst(type* p, type value) { \
|
| - return InterlockedExchangeAdd##suffix(reinterpret_cast<vctype*>(p), \
|
| - -bit_cast<vctype>(value)); \
|
| - } \
|
| - inline type AndSeqCst(type* p, type value) { \
|
| - return InterlockedAnd##suffix(reinterpret_cast<vctype*>(p), \
|
| - bit_cast<vctype>(value)); \
|
| - } \
|
| - inline type OrSeqCst(type* p, type value) { \
|
| - return InterlockedOr##suffix(reinterpret_cast<vctype*>(p), \
|
| - bit_cast<vctype>(value)); \
|
| - } \
|
| - inline type XorSeqCst(type* p, type value) { \
|
| - return InterlockedXor##suffix(reinterpret_cast<vctype*>(p), \
|
| - bit_cast<vctype>(value)); \
|
| - } \
|
| - inline type ExchangeSeqCst(type* p, type value) { \
|
| - return InterlockedExchange##suffix(reinterpret_cast<vctype*>(p), \
|
| - bit_cast<vctype>(value)); \
|
| - } \
|
| - \
|
| - inline type CompareExchangeSeqCst(type* p, type oldval, type newval) { \
|
| - return InterlockedCompareExchange##suffix(reinterpret_cast<vctype*>(p), \
|
| - bit_cast<vctype>(newval), \
|
| - bit_cast<vctype>(oldval)); \
|
| - }
|
| -
|
| -ATOMIC_OPS(int8_t, 8, char)
|
| -ATOMIC_OPS(uint8_t, 8, char)
|
| -ATOMIC_OPS(int16_t, 16, short) /* NOLINT(runtime/int) */
|
| -ATOMIC_OPS(uint16_t, 16, short) /* NOLINT(runtime/int) */
|
| -ATOMIC_OPS(int32_t, 32, long) /* NOLINT(runtime/int) */
|
| -ATOMIC_OPS(uint32_t, 32, long) /* NOLINT(runtime/int) */
|
| -
|
| -#undef ATOMIC_OPS_INTEGER
|
| -#undef ATOMIC_OPS
|
| -
|
| -#undef InterlockedCompareExchange32
|
| -#undef InterlockedExchange32
|
| -#undef InterlockedExchangeAdd32
|
| -#undef InterlockedAnd32
|
| -#undef InterlockedOr32
|
| -#undef InterlockedXor32
|
| -#undef InterlockedExchangeAdd16
|
| -#undef InterlockedCompareExchange8
|
| -#undef InterlockedExchangeAdd8
|
| -
|
| -#else
|
| -
|
| -#error Unsupported platform!
|
| -
|
| -#endif
|
| -
|
| -template <typename T>
|
| -T FromObject(Handle<Object> number);
|
| -
|
| -template <>
|
| -inline uint8_t FromObject<uint8_t>(Handle<Object> number) {
|
| - return NumberToUint32(*number);
|
| -}
|
| -
|
| -template <>
|
| -inline int8_t FromObject<int8_t>(Handle<Object> number) {
|
| - return NumberToInt32(*number);
|
| -}
|
| -
|
| -template <>
|
| -inline uint16_t FromObject<uint16_t>(Handle<Object> number) {
|
| - return NumberToUint32(*number);
|
| -}
|
| -
|
| -template <>
|
| -inline int16_t FromObject<int16_t>(Handle<Object> number) {
|
| - return NumberToInt32(*number);
|
| -}
|
| -
|
| -template <>
|
| -inline uint32_t FromObject<uint32_t>(Handle<Object> number) {
|
| - return NumberToUint32(*number);
|
| -}
|
| -
|
| -template <>
|
| -inline int32_t FromObject<int32_t>(Handle<Object> number) {
|
| - return NumberToInt32(*number);
|
| -}
|
| -
|
| -inline Object* ToObject(Isolate* isolate, int8_t t) { return Smi::FromInt(t); }
|
| -
|
| -inline Object* ToObject(Isolate* isolate, uint8_t t) { return Smi::FromInt(t); }
|
| -
|
| -inline Object* ToObject(Isolate* isolate, int16_t t) { return Smi::FromInt(t); }
|
| -
|
| -inline Object* ToObject(Isolate* isolate, uint16_t t) {
|
| - return Smi::FromInt(t);
|
| -}
|
| -
|
| -inline Object* ToObject(Isolate* isolate, int32_t t) {
|
| - return *isolate->factory()->NewNumber(t);
|
| -}
|
| -
|
| -inline Object* ToObject(Isolate* isolate, uint32_t t) {
|
| - return *isolate->factory()->NewNumber(t);
|
| -}
|
| -
|
| -template <typename T>
|
| -inline Object* DoCompareExchange(Isolate* isolate, void* buffer, size_t index,
|
| - Handle<Object> oldobj, Handle<Object> newobj) {
|
| - T oldval = FromObject<T>(oldobj);
|
| - T newval = FromObject<T>(newobj);
|
| - T result =
|
| - CompareExchangeSeqCst(static_cast<T*>(buffer) + index, oldval, newval);
|
| - return ToObject(isolate, result);
|
| -}
|
| -
|
| -template <typename T>
|
| -inline Object* DoAdd(Isolate* isolate, void* buffer, size_t index,
|
| - Handle<Object> obj) {
|
| - T value = FromObject<T>(obj);
|
| - T result = AddSeqCst(static_cast<T*>(buffer) + index, value);
|
| - return ToObject(isolate, result);
|
| -}
|
| -
|
| -template <typename T>
|
| -inline Object* DoSub(Isolate* isolate, void* buffer, size_t index,
|
| - Handle<Object> obj) {
|
| - T value = FromObject<T>(obj);
|
| - T result = SubSeqCst(static_cast<T*>(buffer) + index, value);
|
| - return ToObject(isolate, result);
|
| -}
|
| -
|
| -template <typename T>
|
| -inline Object* DoAnd(Isolate* isolate, void* buffer, size_t index,
|
| - Handle<Object> obj) {
|
| - T value = FromObject<T>(obj);
|
| - T result = AndSeqCst(static_cast<T*>(buffer) + index, value);
|
| - return ToObject(isolate, result);
|
| -}
|
| -
|
| -template <typename T>
|
| -inline Object* DoOr(Isolate* isolate, void* buffer, size_t index,
|
| - Handle<Object> obj) {
|
| - T value = FromObject<T>(obj);
|
| - T result = OrSeqCst(static_cast<T*>(buffer) + index, value);
|
| - return ToObject(isolate, result);
|
| -}
|
| -
|
| -template <typename T>
|
| -inline Object* DoXor(Isolate* isolate, void* buffer, size_t index,
|
| - Handle<Object> obj) {
|
| - T value = FromObject<T>(obj);
|
| - T result = XorSeqCst(static_cast<T*>(buffer) + index, value);
|
| - return ToObject(isolate, result);
|
| -}
|
| -
|
| -template <typename T>
|
| -inline Object* DoExchange(Isolate* isolate, void* buffer, size_t index,
|
| - Handle<Object> obj) {
|
| - T value = FromObject<T>(obj);
|
| - T result = ExchangeSeqCst(static_cast<T*>(buffer) + index, value);
|
| - return ToObject(isolate, result);
|
| -}
|
| -
|
| -} // anonymous namespace
|
| -
|
| -// Duplicated from objects.h
|
| -// V has parameters (Type, type, TYPE, C type, element_size)
|
| -#define INTEGER_TYPED_ARRAYS(V) \
|
| - V(Uint8, uint8, UINT8, uint8_t, 1) \
|
| - V(Int8, int8, INT8, int8_t, 1) \
|
| - V(Uint16, uint16, UINT16, uint16_t, 2) \
|
| - V(Int16, int16, INT16, int16_t, 2) \
|
| - V(Uint32, uint32, UINT32, uint32_t, 4) \
|
| - V(Int32, int32, INT32, int32_t, 4)
|
| -
|
| -// ES #sec-atomics.wait
|
| -// Atomics.compareExchange( typedArray, index, expectedValue, replacementValue )
|
| -BUILTIN(AtomicsCompareExchange) {
|
| - HandleScope scope(isolate);
|
| - Handle<Object> array = args.atOrUndefined(isolate, 1);
|
| - Handle<Object> index = args.atOrUndefined(isolate, 2);
|
| - Handle<Object> expected_value = args.atOrUndefined(isolate, 3);
|
| - Handle<Object> replacement_value = args.atOrUndefined(isolate, 4);
|
| -
|
| - Handle<JSTypedArray> sta;
|
| - ASSIGN_RETURN_FAILURE_ON_EXCEPTION(
|
| - isolate, sta, ValidateSharedIntegerTypedArray(isolate, array));
|
| -
|
| - Maybe<size_t> maybe_index = ValidateAtomicAccess(isolate, sta, index);
|
| - if (maybe_index.IsNothing()) return isolate->heap()->exception();
|
| - size_t i = maybe_index.FromJust();
|
| -
|
| - ASSIGN_RETURN_FAILURE_ON_EXCEPTION(
|
| - isolate, expected_value, Object::ToInteger(isolate, expected_value));
|
| -
|
| - ASSIGN_RETURN_FAILURE_ON_EXCEPTION(
|
| - isolate, replacement_value,
|
| - Object::ToInteger(isolate, replacement_value));
|
| -
|
| - uint8_t* source = static_cast<uint8_t*>(sta->GetBuffer()->backing_store()) +
|
| - NumberToSize(sta->byte_offset());
|
| -
|
| - switch (sta->type()) {
|
| -#define TYPED_ARRAY_CASE(Type, typeName, TYPE, ctype, size) \
|
| - case kExternal##Type##Array: \
|
| - return DoCompareExchange<ctype>(isolate, source, i, expected_value, \
|
| - replacement_value);
|
| -
|
| - INTEGER_TYPED_ARRAYS(TYPED_ARRAY_CASE)
|
| -#undef TYPED_ARRAY_CASE
|
| -
|
| - default:
|
| - break;
|
| - }
|
| -
|
| - UNREACHABLE();
|
| - return isolate->heap()->undefined_value();
|
| -}
|
| -
|
| -// ES #sec-atomics.add
|
| -// Atomics.add( typedArray, index, value )
|
| -BUILTIN(AtomicsAdd) {
|
| - HandleScope scope(isolate);
|
| - Handle<Object> array = args.atOrUndefined(isolate, 1);
|
| - Handle<Object> index = args.atOrUndefined(isolate, 2);
|
| - Handle<Object> value = args.atOrUndefined(isolate, 3);
|
| -
|
| - Handle<JSTypedArray> sta;
|
| - ASSIGN_RETURN_FAILURE_ON_EXCEPTION(
|
| - isolate, sta, ValidateSharedIntegerTypedArray(isolate, array));
|
| -
|
| - Maybe<size_t> maybe_index = ValidateAtomicAccess(isolate, sta, index);
|
| - if (maybe_index.IsNothing()) return isolate->heap()->exception();
|
| - size_t i = maybe_index.FromJust();
|
| -
|
| - ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, value,
|
| - Object::ToInteger(isolate, value));
|
| -
|
| - uint8_t* source = static_cast<uint8_t*>(sta->GetBuffer()->backing_store()) +
|
| - NumberToSize(sta->byte_offset());
|
| -
|
| - switch (sta->type()) {
|
| -#define TYPED_ARRAY_CASE(Type, typeName, TYPE, ctype, size) \
|
| - case kExternal##Type##Array: \
|
| - return DoAdd<ctype>(isolate, source, i, value);
|
| -
|
| - INTEGER_TYPED_ARRAYS(TYPED_ARRAY_CASE)
|
| -#undef TYPED_ARRAY_CASE
|
| -
|
| - default:
|
| - break;
|
| - }
|
| -
|
| - UNREACHABLE();
|
| - return isolate->heap()->undefined_value();
|
| -}
|
| -
|
| -// ES #sec-atomics.sub
|
| -// Atomics.sub( typedArray, index, value )
|
| -BUILTIN(AtomicsSub) {
|
| - HandleScope scope(isolate);
|
| - Handle<Object> array = args.atOrUndefined(isolate, 1);
|
| - Handle<Object> index = args.atOrUndefined(isolate, 2);
|
| - Handle<Object> value = args.atOrUndefined(isolate, 3);
|
| -
|
| - Handle<JSTypedArray> sta;
|
| - ASSIGN_RETURN_FAILURE_ON_EXCEPTION(
|
| - isolate, sta, ValidateSharedIntegerTypedArray(isolate, array));
|
| -
|
| - Maybe<size_t> maybe_index = ValidateAtomicAccess(isolate, sta, index);
|
| - if (maybe_index.IsNothing()) return isolate->heap()->exception();
|
| - size_t i = maybe_index.FromJust();
|
| -
|
| - ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, value,
|
| - Object::ToInteger(isolate, value));
|
| -
|
| - uint8_t* source = static_cast<uint8_t*>(sta->GetBuffer()->backing_store()) +
|
| - NumberToSize(sta->byte_offset());
|
| -
|
| - switch (sta->type()) {
|
| -#define TYPED_ARRAY_CASE(Type, typeName, TYPE, ctype, size) \
|
| - case kExternal##Type##Array: \
|
| - return DoSub<ctype>(isolate, source, i, value);
|
| -
|
| - INTEGER_TYPED_ARRAYS(TYPED_ARRAY_CASE)
|
| -#undef TYPED_ARRAY_CASE
|
| -
|
| - default:
|
| - break;
|
| - }
|
| -
|
| - UNREACHABLE();
|
| - return isolate->heap()->undefined_value();
|
| -}
|
| -
|
| -// ES #sec-atomics.and
|
| -// Atomics.and( typedArray, index, value )
|
| -BUILTIN(AtomicsAnd) {
|
| - HandleScope scope(isolate);
|
| - Handle<Object> array = args.atOrUndefined(isolate, 1);
|
| - Handle<Object> index = args.atOrUndefined(isolate, 2);
|
| - Handle<Object> value = args.atOrUndefined(isolate, 3);
|
| -
|
| - Handle<JSTypedArray> sta;
|
| - ASSIGN_RETURN_FAILURE_ON_EXCEPTION(
|
| - isolate, sta, ValidateSharedIntegerTypedArray(isolate, array));
|
| -
|
| - Maybe<size_t> maybe_index = ValidateAtomicAccess(isolate, sta, index);
|
| - if (maybe_index.IsNothing()) return isolate->heap()->exception();
|
| - size_t i = maybe_index.FromJust();
|
| -
|
| - ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, value,
|
| - Object::ToInteger(isolate, value));
|
| -
|
| - uint8_t* source = static_cast<uint8_t*>(sta->GetBuffer()->backing_store()) +
|
| - NumberToSize(sta->byte_offset());
|
| -
|
| - switch (sta->type()) {
|
| -#define TYPED_ARRAY_CASE(Type, typeName, TYPE, ctype, size) \
|
| - case kExternal##Type##Array: \
|
| - return DoAnd<ctype>(isolate, source, i, value);
|
| -
|
| - INTEGER_TYPED_ARRAYS(TYPED_ARRAY_CASE)
|
| -#undef TYPED_ARRAY_CASE
|
| -
|
| - default:
|
| - break;
|
| - }
|
| -
|
| - UNREACHABLE();
|
| - return isolate->heap()->undefined_value();
|
| -}
|
| -
|
| -// ES #sec-atomics.or
|
| -// Atomics.or( typedArray, index, value )
|
| -BUILTIN(AtomicsOr) {
|
| - HandleScope scope(isolate);
|
| - Handle<Object> array = args.atOrUndefined(isolate, 1);
|
| - Handle<Object> index = args.atOrUndefined(isolate, 2);
|
| - Handle<Object> value = args.atOrUndefined(isolate, 3);
|
| -
|
| - Handle<JSTypedArray> sta;
|
| - ASSIGN_RETURN_FAILURE_ON_EXCEPTION(
|
| - isolate, sta, ValidateSharedIntegerTypedArray(isolate, array));
|
| -
|
| - Maybe<size_t> maybe_index = ValidateAtomicAccess(isolate, sta, index);
|
| - if (maybe_index.IsNothing()) return isolate->heap()->exception();
|
| - size_t i = maybe_index.FromJust();
|
| -
|
| - ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, value,
|
| - Object::ToInteger(isolate, value));
|
| -
|
| - uint8_t* source = static_cast<uint8_t*>(sta->GetBuffer()->backing_store()) +
|
| - NumberToSize(sta->byte_offset());
|
| -
|
| - switch (sta->type()) {
|
| -#define TYPED_ARRAY_CASE(Type, typeName, TYPE, ctype, size) \
|
| - case kExternal##Type##Array: \
|
| - return DoOr<ctype>(isolate, source, i, value);
|
| -
|
| - INTEGER_TYPED_ARRAYS(TYPED_ARRAY_CASE)
|
| -#undef TYPED_ARRAY_CASE
|
| -
|
| - default:
|
| - break;
|
| - }
|
| -
|
| - UNREACHABLE();
|
| - return isolate->heap()->undefined_value();
|
| -}
|
| -
|
| -// ES #sec-atomics.xor
|
| -// Atomics.xor( typedArray, index, value )
|
| -BUILTIN(AtomicsXor) {
|
| - HandleScope scope(isolate);
|
| - Handle<Object> array = args.atOrUndefined(isolate, 1);
|
| - Handle<Object> index = args.atOrUndefined(isolate, 2);
|
| - Handle<Object> value = args.atOrUndefined(isolate, 3);
|
| -
|
| - Handle<JSTypedArray> sta;
|
| - ASSIGN_RETURN_FAILURE_ON_EXCEPTION(
|
| - isolate, sta, ValidateSharedIntegerTypedArray(isolate, array));
|
| -
|
| - Maybe<size_t> maybe_index = ValidateAtomicAccess(isolate, sta, index);
|
| - if (maybe_index.IsNothing()) return isolate->heap()->exception();
|
| - size_t i = maybe_index.FromJust();
|
| -
|
| - ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, value,
|
| - Object::ToInteger(isolate, value));
|
| -
|
| - uint8_t* source = static_cast<uint8_t*>(sta->GetBuffer()->backing_store()) +
|
| - NumberToSize(sta->byte_offset());
|
| -
|
| - switch (sta->type()) {
|
| -#define TYPED_ARRAY_CASE(Type, typeName, TYPE, ctype, size) \
|
| - case kExternal##Type##Array: \
|
| - return DoXor<ctype>(isolate, source, i, value);
|
| -
|
| - INTEGER_TYPED_ARRAYS(TYPED_ARRAY_CASE)
|
| -#undef TYPED_ARRAY_CASE
|
| -
|
| - default:
|
| - break;
|
| - }
|
| -
|
| - UNREACHABLE();
|
| - return isolate->heap()->undefined_value();
|
| -}
|
| -
|
| -// ES #sec-atomics.exchange
|
| -// Atomics.exchange( typedArray, index, value )
|
| -BUILTIN(AtomicsExchange) {
|
| - HandleScope scope(isolate);
|
| - Handle<Object> array = args.atOrUndefined(isolate, 1);
|
| - Handle<Object> index = args.atOrUndefined(isolate, 2);
|
| - Handle<Object> value = args.atOrUndefined(isolate, 3);
|
| -
|
| - Handle<JSTypedArray> sta;
|
| - ASSIGN_RETURN_FAILURE_ON_EXCEPTION(
|
| - isolate, sta, ValidateSharedIntegerTypedArray(isolate, array));
|
| -
|
| - Maybe<size_t> maybe_index = ValidateAtomicAccess(isolate, sta, index);
|
| - if (maybe_index.IsNothing()) return isolate->heap()->exception();
|
| - size_t i = maybe_index.FromJust();
|
| -
|
| - ASSIGN_RETURN_FAILURE_ON_EXCEPTION(isolate, value,
|
| - Object::ToInteger(isolate, value));
|
| -
|
| - uint8_t* source = static_cast<uint8_t*>(sta->GetBuffer()->backing_store()) +
|
| - NumberToSize(sta->byte_offset());
|
| -
|
| - switch (sta->type()) {
|
| -#define TYPED_ARRAY_CASE(Type, typeName, TYPE, ctype, size) \
|
| - case kExternal##Type##Array: \
|
| - return DoExchange<ctype>(isolate, source, i, value);
|
| -
|
| - INTEGER_TYPED_ARRAYS(TYPED_ARRAY_CASE)
|
| -#undef TYPED_ARRAY_CASE
|
| -
|
| - default:
|
| - break;
|
| - }
|
| -
|
| - UNREACHABLE();
|
| - return isolate->heap()->undefined_value();
|
| -}
|
| -
|
| } // namespace internal
|
| } // namespace v8
|
|
|