/* * Copyright (c) 2021, Ali Mohammad Pur * Copyright (c) 2023, Tim Flynn * * SPDX-License-Identifier: BSD-2-Clause */ #include #include #include #include #include #include namespace Web::WebAssembly { static Wasm::ValueType table_kind_to_value_type(Bindings::TableKind kind) { switch (kind) { case Bindings::TableKind::Externref: return Wasm::ValueType { Wasm::ValueType::ExternReference }; case Bindings::TableKind::Anyfunc: return Wasm::ValueType { Wasm::ValueType::FunctionReference }; } VERIFY_NOT_REACHED(); } static JS::ThrowCompletionOr value_to_reference(JS::VM& vm, JS::Value value, Wasm::ValueType const& reference_type) { if (value.is_undefined()) return Wasm::Value(reference_type, 0ull); return Detail::to_webassembly_value(vm, value, reference_type); } WebIDL::ExceptionOr> Table::construct_impl(JS::Realm& realm, TableDescriptor& descriptor, JS::Value value) { auto& vm = realm.vm(); auto reference_type = table_kind_to_value_type(descriptor.element); auto reference_value = TRY(value_to_reference(vm, value, reference_type)); Wasm::Limits limits { descriptor.initial, move(descriptor.maximum) }; Wasm::TableType table_type { reference_type, move(limits) }; auto address = Detail::s_abstract_machine.store().allocate(table_type); if (!address.has_value()) return vm.throw_completion("Wasm Table allocation failed"sv); auto const& reference = reference_value.value().get(); auto& table = *Detail::s_abstract_machine.store().get(*address); for (auto& element : table.elements()) element = reference; return MUST_OR_THROW_OOM(vm.heap().allocate(realm, realm, *address)); } Table::Table(JS::Realm& realm, Wasm::TableAddress address) : Bindings::PlatformObject(realm) , m_address(address) { } JS::ThrowCompletionOr Table::initialize(JS::Realm& realm) { MUST_OR_THROW_OOM(Base::initialize(realm)); set_prototype(&Bindings::ensure_web_prototype(realm, "WebAssembly.Table"sv)); return {}; } // https://webassembly.github.io/spec/js-api/#dom-table-grow WebIDL::ExceptionOr Table::grow(u32 delta, JS::Value value) { auto& vm = this->vm(); auto* table = Detail::s_abstract_machine.store().get(address()); if (!table) return vm.throw_completion("Could not find the memory table to grow"sv); auto initial_size = table->elements().size(); auto reference_value = TRY(value_to_reference(vm, value, table->type().element_type())); auto const& reference = reference_value.value().get(); if (!table->grow(delta, reference)) return vm.throw_completion("Failed to grow table"sv); return initial_size; } // https://webassembly.github.io/spec/js-api/#dom-table-get WebIDL::ExceptionOr Table::get(u32 index) const { auto& vm = this->vm(); auto* table = Detail::s_abstract_machine.store().get(address()); if (!table) return vm.throw_completion("Could not find the memory table"sv); if (table->elements().size() <= index) return vm.throw_completion("Table element index out of range"sv); auto& ref = table->elements()[index]; if (!ref.has_value()) return JS::js_undefined(); Wasm::Value wasm_value { ref.value() }; return Detail::to_js_value(vm, wasm_value); } // https://webassembly.github.io/spec/js-api/#dom-table-set WebIDL::ExceptionOr Table::set(u32 index, JS::Value value) { auto& vm = this->vm(); auto* table = Detail::s_abstract_machine.store().get(address()); if (!table) return vm.throw_completion("Could not find the memory table"sv); if (table->elements().size() <= index) return vm.throw_completion("Table element index out of range"sv); auto reference_value = TRY(value_to_reference(vm, value, table->type().element_type())); auto const& reference = reference_value.value().get(); table->elements()[index] = reference; return {}; } // https://webassembly.github.io/spec/js-api/#dom-table-length WebIDL::ExceptionOr Table::length() const { auto& vm = this->vm(); auto* table = Detail::s_abstract_machine.store().get(address()); if (!table) return vm.throw_completion("Could not find the memory table"sv); return table->elements().size(); } }