xref: /ark/js_runtime/ecmascript/js_typed_array.cpp

/*
 * Copyright (c) 2021 Huawei Device Co., Ltd.
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

#include "ecmascript/js_typed_array.h"
#include "ecmascript/accessor_data.h"
#include "ecmascript/base/typed_array_helper-inl.h"
#include "ecmascript/builtins/builtins_arraybuffer.h"

namespace panda::ecmascript {
using TypedArrayHelper = base::TypedArrayHelper;
using BuiltinsArrayBuffer = builtins::BuiltinsArrayBuffer;

JSHandle<JSTaggedValue> JSTypedArray::ToPropKey(JSThread *thread, const JSHandle<JSTaggedValue> &key)
{
    if (key->IsSymbol()) {
        return key;
    }
    return JSHandle<JSTaggedValue>(JSTaggedValue::ToString(thread, key));
}
// 9.4.5.1 [[GetOwnProperty]] ( P )
bool JSTypedArray::GetOwnProperty(JSThread *thread, const JSHandle<JSTaggedValue> &typedarray,
                                  const JSHandle<JSTaggedValue> &key, PropertyDescriptor &desc)
{
    // 1. Assert : IsPropertyKey(P) is true.
    ASSERT(JSTaggedValue::IsPropertyKey(key));
    // 2. Assert: O is an Object that has a [[ViewedArrayBuffer]] internal slot.
    // 3. If Type(P) is String, then
    //   a. Let numericIndex be CanonicalNumericIndexString(P).
    //   b. Assert: numericIndex is not an abrupt completion.
    //   c. If numericIndex is not undefined, then
    //     i. Let value be IntegerIndexedElementGet (O, numericIndex).
    //     ii. ReturnIfAbrupt(value).
    //     iii. If value is undefined, return undefined.
    //     iv. Return a PropertyDescriptor{ [[Value]]: value, [[Enumerable]]: true, [[Writable]]: true,
    //         [[Configurable]]: false }.
    if (key->IsString()) {
        JSTaggedValue numericIndex = JSTaggedValue::CanonicalNumericIndexString(thread, key);
        RETURN_VALUE_IF_ABRUPT_COMPLETION(thread, false);
        if (!numericIndex.IsUndefined()) {
            JSHandle<JSTaggedValue> value =
                JSTypedArray::IntegerIndexedElementGet(thread, typedarray, numericIndex).GetValue();
            RETURN_VALUE_IF_ABRUPT_COMPLETION(thread, false);
            if (value->IsUndefined()) {
                return false;
            }
            desc.SetValue(value);
            desc.SetEnumerable(true);
            desc.SetWritable(true);
            desc.SetConfigurable(true);
            return true;
        }
    }
    // 4. Return OrdinaryGetOwnProperty(O, P).
    return JSObject::OrdinaryGetOwnProperty(thread, JSHandle<JSObject>(typedarray), key, desc);
}

// 9.4.5.2 [[HasProperty]] ( P )
bool JSTypedArray::HasProperty(JSThread *thread, const JSHandle<JSTaggedValue> &typedarray,
                               const JSHandle<JSTaggedValue> &key)
{
    // 1. Assert: IsPropertyKey(P) is true.
    ASSERT(JSTaggedValue::IsPropertyKey(key));
    // 2. Assert: O is an Object that has a [[ViewedArrayBuffer]] internal slot.
    // 3. If Type(P) is String, then
    //   a. Let numericIndex be CanonicalNumericIndexString(P).
    //   b. Assert: numericIndex is not an abrupt completion.
    //   c. If numericIndex is not undefined, then
    //     i. Let buffer be the value of O’s [[ViewedArrayBuffer]] internal slot.
    //     ii. If IsDetachedBuffer(buffer) is true, throw a TypeError exception.
    //     iii. If IsInteger(numericIndex) is false, return false
    //     iv. If numericIndex = −0, return false.
    //     v. If numericIndex < 0, return false.
    //     vi. If numericIndex ≥ the value of O’s [[ArrayLength]] internal slot, return false.
    //     vii. Return true.
    JSHandle<JSObject> typedarrayObj(typedarray);
    if (key->IsString()) {
        JSTaggedValue numericIndex = JSTaggedValue::CanonicalNumericIndexString(thread, key);
        RETURN_VALUE_IF_ABRUPT_COMPLETION(thread, false);
        if (!numericIndex.IsUndefined()) {
            JSTaggedValue buffer = JSTypedArray::Cast(*typedarrayObj)->GetViewedArrayBuffer();
            if (BuiltinsArrayBuffer::IsDetachedBuffer(buffer)) {
                THROW_TYPE_ERROR_AND_RETURN(thread, "Is Detached Buffer", false);
            }
            if (!numericIndex.IsInteger()) {
                return false;
            }
            JSHandle<JSTaggedValue> numericIndexHandle(thread, numericIndex);
            JSTaggedNumber numericIndexNumber = JSTaggedValue::ToNumber(thread, numericIndexHandle);
            double tNegZero = -0.0;
            auto eZero = JSTaggedNumber(tNegZero);
            JSHandle<JSTaggedValue> zero(thread, JSTaggedValue(0));
            if (JSTaggedNumber::SameValue(numericIndexNumber, eZero)) {
                return false;
            }

            if (JSTaggedValue::Less(thread, numericIndexHandle, zero)) {
                return false;
            }
            int32_t arrLen = TypedArrayHelper::GetArrayLength(thread, typedarrayObj);
            JSHandle<JSTaggedValue> arrLenHandle(thread, JSTaggedValue(arrLen));
            return JSTaggedValue::Less(thread, numericIndexHandle, arrLenHandle);
        }
    }
    // 4. Return OrdinaryHasProperty(O, P).
    PropertyDescriptor desc(thread);
    if (JSObject::OrdinaryGetOwnProperty(thread, typedarrayObj, key, desc)) {
        return true;
    }
    JSTaggedValue parent = typedarrayObj->GetPrototype(thread);
    if (!parent.IsNull()) {
        return JSTaggedValue::HasProperty(thread, JSHandle<JSTaggedValue>(thread, parent), key);
    }
    return false;
}

// 9.4.5.3 [[DefineOwnProperty]] ( P, Desc )
bool JSTypedArray::DefineOwnProperty(JSThread *thread, const JSHandle<JSTaggedValue> &typedarray,
                                     const JSHandle<JSTaggedValue> &key, const PropertyDescriptor &desc)
{
    // 1. Assert: IsPropertyKey(P) is true.
    ASSERT(JSTaggedValue::IsPropertyKey(key));
    // 2. Assert: O is an Object that has a [[ViewedArrayBuffer]] internal slot.
    // 3. If Type(P) is String, then
    //   a. Let numericIndex be CanonicalNumericIndexString (P).
    //   b. Assert: numericIndex is not an abrupt completion.
    //   c. If numericIndex is not undefined, then
    JSHandle<JSObject> typedarrayObj(typedarray);
    if (key->IsString()) {
        JSTaggedValue numericIndex = JSTaggedValue::CanonicalNumericIndexString(thread, key);
        RETURN_VALUE_IF_ABRUPT_COMPLETION(thread, false);
        if (!numericIndex.IsUndefined()) {
            // i. If IsInteger(numericIndex) is false, return false
            // ii. Let intIndex be numericIndex.
            // iii. If intIndex = −0, return false.
            // iv. If intIndex < 0, return false.
            // v. Let length be the value of O’s [[ArrayLength]] internal slot.
            // vi. If intIndex ≥ length, return false.
            // vii. If IsAccessorDescriptor(Desc) is true, return false.
            // viii. If Desc has a [[Configurable]] field and if Desc.[[Configurable]] is true, return false.
            // ix. If Desc has an [[Enumerable]] field and if Desc.[[Enumerable]] is false, return false.
            // x. If Desc has a [[Writable]] field and if Desc.[[Writable]] is false, return false.
            // xi. If Desc has a [[Value]] field, then
            //   1. Let value be Desc.[[Value]].
            //   2. Return IntegerIndexedElementSet (O, intIndex, value).
            // xii. Return true.
            if (!numericIndex.IsInteger()) {
                return false;
            }
            JSHandle<JSTaggedValue> numericIndexHandle(thread, numericIndex);
            JSTaggedNumber numericIndexNumber = JSTaggedValue::ToNumber(thread, numericIndexHandle);
            double tNegZero = -0.0;
            auto eZero = JSTaggedNumber(tNegZero);
            JSHandle<JSTaggedValue> zero(thread, JSTaggedValue(0));
            if (JSTaggedNumber::SameValue(numericIndexNumber, eZero)) {
                return false;
            }
            if (JSTaggedValue::Less(thread, numericIndexHandle, zero)) {
                return false;
            }
            int32_t arrLen = TypedArrayHelper::GetArrayLength(thread, typedarrayObj);
            JSHandle<JSTaggedValue> arrLenHandle(thread, JSTaggedValue(arrLen));
            if (!JSTaggedValue::Less(thread, numericIndexHandle, arrLenHandle)) {
                return false;
            }
            if (desc.IsAccessorDescriptor()) {
                return false;
            }
            if (desc.HasConfigurable() && !desc.IsConfigurable()) {
                return false;
            }
            if (desc.HasEnumerable() && !desc.IsEnumerable()) {
                return false;
            }
            if (desc.HasWritable() && !desc.IsWritable()) {
                return false;
            }
            if (desc.HasValue()) {
                JSHandle<JSTaggedValue> value = desc.GetValue();
                return (JSTypedArray::IntegerIndexedElementSet(thread, typedarray, numericIndex, value));
            }
            return true;
        }
    }
    // 4. Return OrdinaryDefineOwnProperty(O, P, Desc).
    return JSObject::OrdinaryDefineOwnProperty(thread, typedarrayObj, key, desc);
}

// 9.4.5.4 [[Get]] ( P, Receiver )
OperationResult JSTypedArray::GetProperty(JSThread *thread, const JSHandle<JSTaggedValue> &typedarray,
                                          const JSHandle<JSTaggedValue> &key, const JSHandle<JSTaggedValue> &receiver)
{
    // 1. Assert : IsPropertyKey(P) is true.
    ASSERT(JSTaggedValue::IsPropertyKey(key));
    // 2. If Type(P) is String and if SameValue(O, Receiver) is true, then
    if (key->IsString() && JSTaggedValue::SameValue(typedarray, receiver)) {
        //   a. Let numericIndex be CanonicalNumericIndexString (P).
        //   b. Assert: numericIndex is not an abrupt completion.
        //   c. If numericIndex is not undefined, then
        //     i. Return IntegerIndexedElementGet (O, numericIndex).
        JSTaggedValue numericIndex = JSTaggedValue::CanonicalNumericIndexString(thread, key);
        RETURN_VALUE_IF_ABRUPT_COMPLETION(
            thread, OperationResult(thread, JSTaggedValue::Exception(), PropertyMetaData(false)));
        if (!numericIndex.IsUndefined()) {
            return JSTypedArray::IntegerIndexedElementGet(thread, typedarray, numericIndex);
        }
    }

    // 3. Return the result of calling the default ordinary object [[Get]] internal method (9.1.8) on O
    //   passing P and Receiver as arguments.
    return JSObject::GetProperty(thread, typedarray, key, receiver);
}

// 9.4.5.5 [[Set]] ( P, V, Receiver )
bool JSTypedArray::SetProperty(JSThread *thread, const JSHandle<JSTaggedValue> &typedarray,
                               const JSHandle<JSTaggedValue> &key, const JSHandle<JSTaggedValue> &value,
                               const JSHandle<JSTaggedValue> &receiver, bool mayThrow)
{
    // 1. Assert : IsPropertyKey(P) is true.
    ASSERT(JSTaggedValue::IsPropertyKey(key));
    // 2. If Type(P) is String and if SameValue(O, Receiver) is true, then
    if (key->IsString() && JSTaggedValue::SameValue(typedarray, receiver)) {
        //   a. Let numericIndex be CanonicalNumericIndexString (P).
        //   b. Assert: numericIndex is not an abrupt completion.
        //   c. If numericIndex is not undefined, then
        //     i. Return IntegerIndexedElementSet (O, numericIndex, V).
        JSTaggedValue numericIndex = JSTaggedValue::CanonicalNumericIndexString(thread, key);
        RETURN_VALUE_IF_ABRUPT_COMPLETION(thread, false);
        if (!numericIndex.IsUndefined()) {
            return JSTypedArray::IntegerIndexedElementSet(thread, typedarray, numericIndex, value);
        }
    }
    // 3. Return the result of calling the default ordinary object [[Set]] internal method (9.1.8) on O passing
    // P, V, and Receiver as arguments.
    return JSObject::SetProperty(thread, typedarray, key, value, receiver, mayThrow);
}

// 9.4.5.6 [[OwnPropertyKeys]] ( )
JSHandle<TaggedArray> JSTypedArray::OwnPropertyKeys(JSThread *thread, const JSHandle<JSTaggedValue> &typedarray)
{
    ObjectFactory *factory = thread->GetEcmaVM()->GetFactory();
    // 1. Let keys be a new empty List.
    // 2. Assert: O is an Object that has [[ViewedArrayBuffer]], [[ArrayLength]], [[ByteOffset]], and
    // [[TypedArrayName]] internal slots.
    // 3. Let len be the value of O’s [[ArrayLength]] internal slot.
    JSHandle<JSObject> arrayObj(typedarray);
    JSHandle<TaggedArray> objKeys = JSObject::GetOwnPropertyKeys(thread, arrayObj);
    uint32_t objKeysLen = objKeys->GetLength();
    uint32_t bufferKeysLen = TypedArrayHelper::GetArrayLength(thread, arrayObj);
    uint32_t length = objKeysLen + bufferKeysLen;
    JSHandle<TaggedArray> nameList = factory->NewTaggedArray(length);

    // 4. For each integer i starting with 0 such that i < len, in ascending order,
    //   a. Add ToString(i) as the last element of keys.
    uint32_t copyLength = 0;
    JSMutableHandle<JSTaggedValue> tKey(thread, JSTaggedValue::Undefined());
    for (uint32_t k = 0; k < bufferKeysLen; k++) {
        tKey.Update(JSTaggedValue(k));
        JSHandle<JSTaggedValue> sKey(JSTaggedValue::ToString(thread, tKey));
        nameList->Set(thread, copyLength, sKey.GetTaggedValue());
        copyLength++;
    }

    // 5. For each own property key P of O such that Type(P) is String and P is not an integer index, in
    // property creation order
    //   a. Add P as the last element of keys.
    for (uint32_t i = 0; i < objKeysLen; i++) {
        JSTaggedValue key = objKeys->Get(i);
        if (JSTaggedValue(key).IsString()) {
            nameList->Set(thread, copyLength, key);
            copyLength++;
        }
    }

    // 6. For each own property key P of O such that Type(P) is Symbol, in property creation order
    //   a. Add P as the last element of keys.
    for (uint32_t i = 0; i < objKeysLen; i++) {
        JSTaggedValue key = objKeys->Get(i);
        if (JSTaggedValue(key).IsSymbol()) {
            nameList->Set(thread, copyLength, key);
            copyLength++;
        }
    }

    // 7. Return keys.
    return factory->CopyArray(nameList, length, copyLength);
}

// 9.4.5.7 IntegerIndexedObjectCreate (prototype, internalSlotsList)

// 9.4.5.8 IntegerIndexedElementGet ( O, index )
OperationResult JSTypedArray::IntegerIndexedElementGet(JSThread *thread, const JSHandle<JSTaggedValue> &typedarray,
                                                       JSTaggedValue index)
{
    // 1. Assert: Type(index) is Number.
    ASSERT(index.IsNumber());
    // 2. Assert: O is an Object that has [[ViewedArrayBuffer]], [[ArrayLength]], [[ByteOffset]], and
    // [[TypedArrayName]] internal slots.
    ASSERT(typedarray->IsTypedArray());
    // 3. Let buffer be the value of O’s [[ViewedArrayBuffer]] internal slot.
    JSHandle<JSObject> typedarrayObj(typedarray);
    JSTaggedValue buffer = JSTypedArray::Cast(*typedarrayObj)->GetViewedArrayBuffer();
    // 4. If IsDetachedBuffer(buffer) is true, throw a TypeError exception.
    if (BuiltinsArrayBuffer::IsDetachedBuffer(buffer)) {
        THROW_TYPE_ERROR_AND_RETURN(thread, "Is Detached Buffer",
                                    OperationResult(thread, JSTaggedValue::Exception(), PropertyMetaData(false)));
    }
    // 5. If IsInteger(index) is false, return undefined
    if (!index.IsInteger()) {
        return OperationResult(thread, JSTaggedValue::Undefined(), PropertyMetaData(true));
    }

    // 6. If index = −0, return undefined.
    // 7. Let length be the value of O’s [[ArrayLength]] internal slot.
    // 8. If index < 0 or index ≥ length, return undefined.
    JSHandle<JSTaggedValue> indexHandle(thread, index);
    JSTaggedNumber indexNumber = JSTaggedValue::ToNumber(thread, indexHandle);
    double tNegZero = -0.0;
    auto eZero = JSTaggedNumber(tNegZero);
    JSHandle<JSTaggedValue> zero(thread, JSTaggedValue(0));
    if (JSTaggedNumber::SameValue(indexNumber, eZero)) {
        return OperationResult(thread, JSTaggedValue::Undefined(), PropertyMetaData(true));
    }
    int32_t arrLen = TypedArrayHelper::GetArrayLength(thread, typedarrayObj);
    JSHandle<JSTaggedValue> arrLenHandle(thread, JSTaggedValue(arrLen));
    if (JSTaggedValue::Less(thread, indexHandle, zero) || !JSTaggedValue::Less(thread, indexHandle, arrLenHandle)) {
        return OperationResult(thread, JSTaggedValue::Undefined(), PropertyMetaData(true));
    }
    // 9. Let offset be the value of O’s [[ByteOffset]] internal slot.
    int32_t offset = TypedArrayHelper::GetByteOffset(thread, typedarrayObj);
    // 10. Let arrayTypeName be the String value of O’s [[TypedArrayName]] internal slot.
    // 11. Let elementSize be the Number value of the Element Size value specified in Table 49 for
    // arrayTypeName.
    int32_t elementSize = TypedArrayHelper::GetElementSize(typedarrayObj);
    // 12. Let indexedPosition = (index × elementSize) + offset.
    int32_t k = JSTaggedValue::ToInteger(thread, indexHandle).ToInt32();
    int32_t byteIndex = k * elementSize + offset;
    // 13. Let elementType be the String value of the Element Type value in Table 49 for arrayTypeName.
    DataViewType elementType = TypedArrayHelper::GetType(typedarrayObj);
    // 14. Return GetValueFromBuffer(buffer, indexedPosition, elementType).
    JSTaggedValue result = BuiltinsArrayBuffer::GetValueFromBuffer(buffer, byteIndex, elementType, true);
    return OperationResult(thread, result, PropertyMetaData(true));
}

// static
bool JSTypedArray::FastCopyElementToArray(JSThread *thread, const JSHandle<JSTaggedValue> &typedArray,
                                          JSHandle<TaggedArray> &array)
{
    // 2. Assert: O is an Object that has [[ViewedArrayBuffer]], [[ArrayLength]], [[ByteOffset]], and
    // [[TypedArrayName]] internal slots.
    ASSERT(typedArray->IsTypedArray());
    // 3. Let buffer be the value of O’s [[ViewedArrayBuffer]] internal slot.
    JSHandle<JSObject> typedarrayObj(typedArray);
    JSTaggedValue buffer = JSTypedArray::Cast(*typedarrayObj)->GetViewedArrayBuffer();
    // 4. If IsDetachedBuffer(buffer) is true, throw a TypeError exception.
    if (BuiltinsArrayBuffer::IsDetachedBuffer(buffer)) {
        THROW_TYPE_ERROR_AND_RETURN(thread, "Is Detached Buffer", false);
    }

    // 7. Let length be the value of O’s [[ArrayLength]] internal slot.
    // 8. If index < 0 or index ≥ length, return undefined.
    int32_t arrLen = TypedArrayHelper::GetArrayLength(thread, typedarrayObj);
    if (arrLen < 0) {
        return false;
    }

    // 9. Let offset be the value of O’s [[ByteOffset]] internal slot.
    int32_t offset = TypedArrayHelper::GetByteOffset(thread, typedarrayObj);
    // 11. Let elementSize be the Number value of the Element Size value specified in Table 49 for arrayTypeName.
    int32_t elementSize = TypedArrayHelper::GetElementSize(typedarrayObj);
    // 13. Let elementType be the String value of the Element Type value in Table 49 for arrayTypeName.
    DataViewType elementType = TypedArrayHelper::GetType(typedarrayObj);
    for (int index = 0; index < arrLen; index++) {
        // 12. Let indexedPosition = (index × elementSize) + offset.
        int32_t byteIndex = index * elementSize + offset;
        // 14. Return GetValueFromBuffer(buffer, indexedPosition, elementType).
        JSTaggedValue result = BuiltinsArrayBuffer::GetValueFromBuffer(buffer, byteIndex, elementType, true);
        array->Set(thread, index, result);
    }
    return true;
}

// static
OperationResult JSTypedArray::FastElementGet(JSThread *thread, const JSHandle<JSTaggedValue> &typedarray,
                                             uint32_t index)
{
    // 2. Assert: O is an Object that has [[ViewedArrayBuffer]], [[ArrayLength]], [[ByteOffset]], and
    // [[TypedArrayName]] internal slots.
    ASSERT(typedarray->IsTypedArray());
    // 3. Let buffer be the value of O’s [[ViewedArrayBuffer]] internal slot.
    JSHandle<JSObject> typedarrayObj(typedarray);
    JSTaggedValue buffer = JSTypedArray::Cast(*typedarrayObj)->GetViewedArrayBuffer();
    // 4. If IsDetachedBuffer(buffer) is true, throw a TypeError exception.
    if (BuiltinsArrayBuffer::IsDetachedBuffer(buffer)) {
        THROW_TYPE_ERROR_AND_RETURN(thread, "Is Detached Buffer",
                                    OperationResult(thread, JSTaggedValue::Exception(), PropertyMetaData(false)));
    }

    // 7. Let length be the value of O’s [[ArrayLength]] internal slot.
    // 8. If index < 0 or index ≥ length, return undefined.
    int32_t arrLen = TypedArrayHelper::GetArrayLength(thread, typedarrayObj);
    if (arrLen < 0 || index >= static_cast<uint32_t>(arrLen)) {
        return OperationResult(thread, JSTaggedValue::Undefined(), PropertyMetaData(true));
    }
    // 9. Let offset be the value of O’s [[ByteOffset]] internal slot.
    int32_t offset = TypedArrayHelper::GetByteOffset(thread, typedarrayObj);
    // 11. Let elementSize be the Number value of the Element Size value specified in Table 49 for arrayTypeName.
    int32_t elementSize = TypedArrayHelper::GetElementSize(typedarrayObj);
    // 12. Let indexedPosition = (index × elementSize) + offset.
    int32_t byteIndex = index * elementSize + offset;
    // 13. Let elementType be the String value of the Element Type value in Table 49 for arrayTypeName.
    DataViewType elementType = TypedArrayHelper::GetType(typedarrayObj);
    // 14. Return GetValueFromBuffer(buffer, indexedPosition, elementType).
    JSTaggedValue result = BuiltinsArrayBuffer::GetValueFromBuffer(buffer, byteIndex, elementType, true);
    return OperationResult(thread, result, PropertyMetaData(true));
}

// 9.4.5.9 IntegerIndexedElementSet ( O, index, value )
bool JSTypedArray::IntegerIndexedElementSet(JSThread *thread, const JSHandle<JSTaggedValue> &typedarray,
                                            JSTaggedValue index, const JSHandle<JSTaggedValue> &value)
{
    // 1. Assert: Type(index) is Number.
    ASSERT(index.IsNumber());
    // 2. Assert: O is an Object that has [[ViewedArrayBuffer]], [[ArrayLength]], [[ByteOffset]], and
    // [[TypedArrayName]] internal slots.
    ASSERT(typedarray->IsTypedArray());
    // 3. Let numValue be ToNumber(value).
    JSTaggedNumber numVal = JSTaggedValue::ToNumber(thread, value);
    // 4. ReturnIfAbrupt(numValue).
    RETURN_VALUE_IF_ABRUPT_COMPLETION(thread, false);

    // 5. Let buffer be the value of O’s [[ViewedArrayBuffer]] internal slot.
    JSHandle<JSObject> typedarrayObj(typedarray);
    JSTaggedValue buffer = JSTypedArray::Cast(*typedarrayObj)->GetViewedArrayBuffer();
    // 6. If IsDetachedBuffer(buffer) is true, throw a TypeError exception.
    if (BuiltinsArrayBuffer::IsDetachedBuffer(buffer)) {
        THROW_TYPE_ERROR_AND_RETURN(thread, "Is Detached Buffer", false);
    }
    // 7. If IsInteger(index) is false, return false
    if (!index.IsInteger()) {
        return false;
    }

    // 8. If index = −0, return false.
    // 9. Let length be the value of O’s [[ArrayLength]] internal slot.
    // 10. If index < 0 or index ≥ length, return false.
    JSHandle<JSTaggedValue> indexHandle(thread, index);
    JSTaggedNumber indexNumber = JSTaggedValue::ToNumber(thread, indexHandle);
    double tNegZero = -0.0;
    auto eZero = JSTaggedNumber(tNegZero);
    JSHandle<JSTaggedValue> zero(thread, JSTaggedValue(0));
    if (JSTaggedNumber::SameValue(indexNumber, eZero)) {
        return false;
    }
    int32_t arrLen = TypedArrayHelper::GetArrayLength(thread, typedarrayObj);
    JSHandle<JSTaggedValue> arrLenHandle(thread, JSTaggedValue(arrLen));
    if (JSTaggedValue::Less(thread, indexHandle, zero) || !JSTaggedValue::Less(thread, indexHandle, arrLenHandle)) {
        return false;
    }

    // 11. Let offset be the value of O’s [[ByteOffset]] internal slot.
    int32_t offset = TypedArrayHelper::GetByteOffset(thread, typedarrayObj);
    // 12. Let arrayTypeName be the String value of O’s [[TypedArrayName]] internal slot.
    // 13. Let elementSize be the Number value of the Element Size value specified in Table 49 for
    // arrayTypeName.
    int32_t elementSize = TypedArrayHelper::GetElementSize(typedarrayObj);
    // 14. Let indexedPosition = (index × elementSize) + offset.
    int32_t k = JSTaggedValue::ToInteger(thread, indexHandle).ToInt32();
    int32_t byteIndex = k * elementSize + offset;
    // 15. Let elementType be the String value of the Element Type value in Table 49 for arrayTypeName.
    DataViewType elementType = TypedArrayHelper::GetType(typedarrayObj);
    // 16. Perform SetValueInBuffer(buffer, indexedPosition, elementType, numValue).
    BuiltinsArrayBuffer::SetValueInBuffer(buffer, byteIndex, elementType, numVal, true);
    // 17. Return true.
    return true;
}
}  // namespace panda::ecmascript