mirror of
https://github.com/RGBCube/serenity
synced 2025-05-31 02:48:11 +00:00
LibWasm+LibWeb: Implement (a very basic version of) the JS link/import
This allows Wasm code to call javascript functions.
This commit is contained in:
parent
a2af04837e
commit
3926eab3b7
6 changed files with 113 additions and 39 deletions
|
@ -21,10 +21,10 @@ Optional<FunctionAddress> Store::allocate(ModuleInstance& module, const Module::
|
|||
return address;
|
||||
}
|
||||
|
||||
Optional<FunctionAddress> Store::allocate(const HostFunction& function)
|
||||
Optional<FunctionAddress> Store::allocate(HostFunction&& function)
|
||||
{
|
||||
FunctionAddress address { m_functions.size() };
|
||||
m_functions.empend(HostFunction { function });
|
||||
m_functions.empend(HostFunction { move(function) });
|
||||
return address;
|
||||
}
|
||||
|
||||
|
|
|
@ -6,6 +6,7 @@
|
|||
|
||||
#pragma once
|
||||
|
||||
#include <AK/Function.h>
|
||||
#include <AK/HashMap.h>
|
||||
#include <AK/HashTable.h>
|
||||
#include <AK/OwnPtr.h>
|
||||
|
@ -14,6 +15,8 @@
|
|||
|
||||
namespace Wasm {
|
||||
|
||||
class Configuration;
|
||||
|
||||
struct InstantiationError {
|
||||
String error { "Unknown error" };
|
||||
};
|
||||
|
@ -235,17 +238,17 @@ private:
|
|||
|
||||
class HostFunction {
|
||||
public:
|
||||
explicit HostFunction(FlatPtr ptr, const FunctionType& type)
|
||||
: m_ptr(ptr)
|
||||
explicit HostFunction(AK::Function<Result(Configuration&, Vector<Value>&)> function, const FunctionType& type)
|
||||
: m_function(move(function))
|
||||
, m_type(type)
|
||||
{
|
||||
}
|
||||
|
||||
auto ptr() const { return m_ptr; }
|
||||
auto& function() { return m_function; }
|
||||
auto& type() const { return m_type; }
|
||||
|
||||
private:
|
||||
FlatPtr m_ptr { 0 };
|
||||
AK::Function<Result(Configuration&, Vector<Value>&)> m_function;
|
||||
FunctionType m_type;
|
||||
};
|
||||
|
||||
|
@ -352,7 +355,7 @@ public:
|
|||
Store() = default;
|
||||
|
||||
Optional<FunctionAddress> allocate(ModuleInstance& module, const Module::Function& function);
|
||||
Optional<FunctionAddress> allocate(const HostFunction&);
|
||||
Optional<FunctionAddress> allocate(HostFunction&&);
|
||||
Optional<TableAddress> allocate(const TableType&);
|
||||
Optional<MemoryAddress> allocate(const MemoryType&);
|
||||
Optional<GlobalAddress> allocate(const GlobalType&, Value);
|
||||
|
@ -464,6 +467,12 @@ public:
|
|||
// Link a bunch of qualified values, also matches 'module name'.
|
||||
void link(const HashMap<Name, ExternValue>&);
|
||||
|
||||
auto& unresolved_imports()
|
||||
{
|
||||
populate();
|
||||
return m_unresolved_imports;
|
||||
}
|
||||
|
||||
AK::Result<Vector<ExternValue>, LinkError> finish();
|
||||
|
||||
private:
|
||||
|
|
|
@ -47,13 +47,7 @@ Result Configuration::call(FunctionAddress address, Vector<Value> arguments)
|
|||
|
||||
// It better be a host function, else something is really wrong.
|
||||
auto& host_function = function->get<HostFunction>();
|
||||
auto result = bit_cast<HostFunctionType>(host_function.ptr())(m_store, arguments);
|
||||
auto count = host_function.type().results().size();
|
||||
if (count == 0)
|
||||
return Result { Vector<Value> {} };
|
||||
if (count == 1)
|
||||
return Result { Vector<Value> { Value { host_function.type().results().first(), result } } };
|
||||
TODO();
|
||||
return host_function.function()(*this, arguments);
|
||||
}
|
||||
|
||||
Result Configuration::execute()
|
||||
|
|
|
@ -10,8 +10,6 @@
|
|||
|
||||
namespace Wasm {
|
||||
|
||||
typedef u64 (*HostFunctionType)(Store&, Vector<Value>&);
|
||||
|
||||
class Configuration {
|
||||
public:
|
||||
explicit Configuration(Store& store)
|
||||
|
|
|
@ -998,6 +998,16 @@ public:
|
|||
|
||||
auto& sections() const { return m_sections; }
|
||||
auto& functions() const { return m_functions; }
|
||||
auto& type(TypeIndex index) const
|
||||
{
|
||||
const FunctionType* type = nullptr;
|
||||
for_each_section_of_type<TypeSection>([&](const TypeSection& section) {
|
||||
type = §ion.types().at(index.value());
|
||||
});
|
||||
|
||||
VERIFY(type != nullptr);
|
||||
return *type;
|
||||
}
|
||||
|
||||
template<typename T, typename Callback>
|
||||
void for_each_section_of_type(Callback&& callback) const
|
||||
|
|
|
@ -13,6 +13,10 @@
|
|||
|
||||
namespace Web::Bindings {
|
||||
|
||||
static JS::NativeFunction* create_native_function(Wasm::FunctionAddress address, String name, JS::GlobalObject& global_object);
|
||||
static JS::Value to_js_value(Wasm::Value& wasm_value, JS::GlobalObject& global_object);
|
||||
static Optional<Wasm::Value> to_webassembly_value(JS::Value value, const Wasm::ValueType& type, JS::GlobalObject& global_object);
|
||||
|
||||
WebAssemblyObject::WebAssemblyObject(JS::GlobalObject& global_object)
|
||||
: Object(*global_object.object_prototype())
|
||||
{
|
||||
|
@ -89,16 +93,20 @@ JS_DEFINE_NATIVE_FUNCTION(WebAssemblyObject::instantiate)
|
|||
{
|
||||
// FIXME: This shouldn't block!
|
||||
auto buffer = vm.argument(0).to_object(global_object);
|
||||
JS::Value rejection_value;
|
||||
if (vm.exception()) {
|
||||
rejection_value = vm.exception()->value();
|
||||
vm.clear_exception();
|
||||
}
|
||||
auto promise = JS::Promise::create(global_object);
|
||||
if (!rejection_value.is_empty()) {
|
||||
promise->reject(rejection_value);
|
||||
auto take_exception_and_reject_if_needed = [&] {
|
||||
if (vm.exception()) {
|
||||
auto rejection_value = vm.exception()->value();
|
||||
vm.clear_exception();
|
||||
promise->reject(rejection_value);
|
||||
return true;
|
||||
}
|
||||
|
||||
return false;
|
||||
};
|
||||
|
||||
if (take_exception_and_reject_if_needed())
|
||||
return promise;
|
||||
}
|
||||
|
||||
const Wasm::Module* module { nullptr };
|
||||
if (is<JS::ArrayBuffer>(buffer) || is<JS::TypedArrayBase>(buffer)) {
|
||||
|
@ -117,25 +125,81 @@ JS_DEFINE_NATIVE_FUNCTION(WebAssemblyObject::instantiate)
|
|||
}
|
||||
VERIFY(module);
|
||||
|
||||
HashMap<Wasm::Linker::Name, Wasm::ExternValue> import_values;
|
||||
Wasm::Linker linker { *module };
|
||||
HashMap<Wasm::Linker::Name, Wasm::ExternValue> resolved_imports;
|
||||
auto import_argument = vm.argument(1);
|
||||
if (!import_argument.is_undefined()) {
|
||||
[[maybe_unused]] auto import_object = import_argument.to_object(global_object);
|
||||
if (vm.exception()) {
|
||||
rejection_value = vm.exception()->value();
|
||||
vm.clear_exception();
|
||||
}
|
||||
auto promise = JS::Promise::create(global_object);
|
||||
if (!rejection_value.is_empty()) {
|
||||
promise->reject(rejection_value);
|
||||
if (take_exception_and_reject_if_needed())
|
||||
return promise;
|
||||
|
||||
dbgln("Trying to resolve stuff because import object was specified");
|
||||
for (const Wasm::Linker::Name& import_name : linker.unresolved_imports()) {
|
||||
dbgln("Trying to resolve {}::{}", import_name.module, import_name.name);
|
||||
auto value = import_object->get(import_name.module);
|
||||
if (vm.exception())
|
||||
break;
|
||||
auto object = value.to_object(global_object);
|
||||
if (vm.exception())
|
||||
break;
|
||||
|
||||
auto import_ = object->get(import_name.name);
|
||||
if (vm.exception())
|
||||
break;
|
||||
import_name.type.visit(
|
||||
[&](Wasm::TypeIndex index) {
|
||||
dbgln("Trying to resolve a function {}::{}, type index {}", import_name.module, import_name.name, index.value());
|
||||
auto& type = module->type(index);
|
||||
// FIXME: IsCallable()
|
||||
if (!import_.is_function())
|
||||
return;
|
||||
auto& function = import_.as_function();
|
||||
// FIXME: If this is a function created by create_native_function(),
|
||||
// just extract its address and resolve to that.
|
||||
Wasm::HostFunction host_function {
|
||||
[&](auto&, auto& arguments) -> Wasm::Result {
|
||||
JS::MarkedValueList argument_values { vm.heap() };
|
||||
for (auto& entry : arguments)
|
||||
argument_values.append(to_js_value(entry, global_object));
|
||||
|
||||
auto result = vm.call(function, JS::js_undefined(), move(argument_values));
|
||||
if (vm.exception()) {
|
||||
vm.clear_exception();
|
||||
return Wasm::Trap();
|
||||
}
|
||||
if (type.results().is_empty())
|
||||
return Wasm::Result { Vector<Wasm::Value> {} };
|
||||
|
||||
if (type.results().size() == 1) {
|
||||
auto value = to_webassembly_value(result, type.results().first(), global_object);
|
||||
if (!value.has_value())
|
||||
return Wasm::Trap {};
|
||||
|
||||
return Wasm::Result { Vector<Wasm::Value> { value.release_value() } };
|
||||
}
|
||||
|
||||
// FIXME: Multiple returns
|
||||
TODO();
|
||||
},
|
||||
type
|
||||
};
|
||||
auto address = s_abstract_machine.store().allocate(move(host_function));
|
||||
dbgln("Resolved to {}", address->value());
|
||||
// FIXME: LinkError instead.
|
||||
VERIFY(address.has_value());
|
||||
|
||||
resolved_imports.set(import_name, Wasm::ExternValue { Wasm::FunctionAddress { *address } });
|
||||
},
|
||||
[&](const auto&) {
|
||||
// FIXME: Implement these.
|
||||
});
|
||||
}
|
||||
|
||||
// FIXME: Populate the import values.
|
||||
if (take_exception_and_reject_if_needed())
|
||||
return promise;
|
||||
}
|
||||
|
||||
Wasm::Linker linker { *module };
|
||||
linker.link(import_values);
|
||||
linker.link(resolved_imports);
|
||||
auto link_result = linker.finish();
|
||||
if (link_result.is_error()) {
|
||||
// FIXME: Throw a LinkError.
|
||||
|
@ -149,6 +213,7 @@ JS_DEFINE_NATIVE_FUNCTION(WebAssemblyObject::instantiate)
|
|||
|
||||
auto instance_result = s_abstract_machine.instantiate(*module, link_result.release_value());
|
||||
if (instance_result.is_error()) {
|
||||
// FIXME: Throw a LinkError instead.
|
||||
auto error = JS::TypeError::create(global_object, instance_result.error().error);
|
||||
promise->reject(error);
|
||||
return promise;
|
||||
|
@ -171,9 +236,7 @@ WebAssemblyInstanceObject::WebAssemblyInstanceObject(JS::GlobalObject& global_ob
|
|||
{
|
||||
}
|
||||
|
||||
static JS::NativeFunction* create_native_function(Wasm::FunctionAddress address, String name, JS::GlobalObject& global_object);
|
||||
|
||||
static JS::Value to_js_value(Wasm::Value& wasm_value, JS::GlobalObject& global_object)
|
||||
JS::Value to_js_value(Wasm::Value& wasm_value, JS::GlobalObject& global_object)
|
||||
{
|
||||
switch (wasm_value.type().kind()) {
|
||||
case Wasm::ValueType::I64:
|
||||
|
@ -194,7 +257,7 @@ static JS::Value to_js_value(Wasm::Value& wasm_value, JS::GlobalObject& global_o
|
|||
VERIFY_NOT_REACHED();
|
||||
}
|
||||
|
||||
static Optional<Wasm::Value> to_webassembly_value(JS::Value value, const Wasm::ValueType& type, JS::GlobalObject& global_object)
|
||||
Optional<Wasm::Value> to_webassembly_value(JS::Value value, const Wasm::ValueType& type, JS::GlobalObject& global_object)
|
||||
{
|
||||
static Crypto::SignedBigInteger two_64 = "1"_sbigint.shift_left(64);
|
||||
auto& vm = global_object.vm();
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue