2016-09-12 12:26:37 +00:00
|
|
|
// Copyright 2016 the V8 project authors. All rights reserved.
|
|
|
|
// Use of this source code is governed by a BSD-style license that can be
|
|
|
|
// found in the LICENSE file.
|
|
|
|
|
2016-09-14 10:31:23 +00:00
|
|
|
#include "test/common/wasm/wasm-module-runner.h"
|
2016-09-12 12:26:37 +00:00
|
|
|
|
|
|
|
#include "src/handles.h"
|
|
|
|
#include "src/isolate.h"
|
|
|
|
#include "src/objects.h"
|
|
|
|
#include "src/property-descriptor.h"
|
|
|
|
#include "src/wasm/module-decoder.h"
|
|
|
|
#include "src/wasm/wasm-interpreter.h"
|
2016-09-17 01:30:09 +00:00
|
|
|
#include "src/wasm/wasm-js.h"
|
2016-09-12 12:26:37 +00:00
|
|
|
#include "src/wasm/wasm-module.h"
|
|
|
|
#include "src/wasm/wasm-result.h"
|
|
|
|
|
|
|
|
namespace v8 {
|
|
|
|
namespace internal {
|
|
|
|
namespace wasm {
|
|
|
|
namespace testing {
|
|
|
|
|
|
|
|
uint32_t GetMinModuleMemSize(const WasmModule* module) {
|
|
|
|
return WasmModule::kPageSize * module->min_mem_pages;
|
|
|
|
}
|
|
|
|
|
|
|
|
const WasmModule* DecodeWasmModuleForTesting(Isolate* isolate, Zone* zone,
|
2016-09-15 16:19:48 +00:00
|
|
|
ErrorThrower* thrower,
|
2016-09-12 12:26:37 +00:00
|
|
|
const byte* module_start,
|
|
|
|
const byte* module_end,
|
|
|
|
ModuleOrigin origin) {
|
|
|
|
// Decode the module, but don't verify function bodies, since we'll
|
|
|
|
// be compiling them anyway.
|
|
|
|
ModuleResult decoding_result =
|
|
|
|
DecodeWasmModule(isolate, zone, module_start, module_end, false, origin);
|
|
|
|
|
|
|
|
std::unique_ptr<const WasmModule> module(decoding_result.val);
|
|
|
|
if (decoding_result.failed()) {
|
|
|
|
// Module verification failed. throw.
|
2016-10-13 16:17:44 +00:00
|
|
|
thrower->CompileError("WASM.compileRun() failed: %s",
|
|
|
|
decoding_result.error_msg.get());
|
2016-09-12 12:26:37 +00:00
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
|
2016-09-15 16:19:48 +00:00
|
|
|
if (thrower->error()) return nullptr;
|
2016-09-12 12:26:37 +00:00
|
|
|
return module.release();
|
|
|
|
}
|
|
|
|
|
|
|
|
const Handle<JSObject> InstantiateModuleForTesting(Isolate* isolate,
|
2016-09-15 16:19:48 +00:00
|
|
|
ErrorThrower* thrower,
|
2016-09-12 12:26:37 +00:00
|
|
|
const WasmModule* module) {
|
|
|
|
CHECK(module != nullptr);
|
|
|
|
|
|
|
|
if (module->import_table.size() > 0) {
|
2016-10-13 16:17:44 +00:00
|
|
|
thrower->CompileError("Not supported: module has imports.");
|
2016-09-12 12:26:37 +00:00
|
|
|
}
|
|
|
|
if (module->export_table.size() == 0) {
|
2016-10-13 16:17:44 +00:00
|
|
|
thrower->CompileError("Not supported: module has no exports.");
|
2016-09-12 12:26:37 +00:00
|
|
|
}
|
2016-09-15 16:19:48 +00:00
|
|
|
if (thrower->error()) return Handle<JSObject>::null();
|
2016-09-12 12:26:37 +00:00
|
|
|
|
2016-09-12 22:11:12 +00:00
|
|
|
// Although we decoded the module for some pre-validation, run the bytes
|
|
|
|
// again through the normal pipeline.
|
|
|
|
MaybeHandle<JSObject> module_object = CreateModuleObjectFromBytes(
|
2016-09-15 16:19:48 +00:00
|
|
|
isolate, module->module_start, module->module_end, thrower,
|
2016-10-12 09:17:12 +00:00
|
|
|
ModuleOrigin::kWasmOrigin, Handle<Script>::null(), nullptr, nullptr);
|
2016-09-28 20:55:42 +00:00
|
|
|
if (module_object.is_null()) {
|
2016-10-13 16:17:44 +00:00
|
|
|
thrower->CompileError("Module pre-validation failed.");
|
2016-09-28 20:55:42 +00:00
|
|
|
return Handle<JSObject>::null();
|
|
|
|
}
|
2016-09-22 14:23:32 +00:00
|
|
|
MaybeHandle<JSObject> maybe_instance = WasmModule::Instantiate(
|
2016-09-27 20:46:10 +00:00
|
|
|
isolate, thrower, module_object.ToHandleChecked(),
|
|
|
|
Handle<JSReceiver>::null(), Handle<JSArrayBuffer>::null());
|
2016-09-22 14:23:32 +00:00
|
|
|
Handle<JSObject> instance;
|
|
|
|
if (!maybe_instance.ToHandle(&instance)) {
|
|
|
|
return Handle<JSObject>::null();
|
|
|
|
}
|
|
|
|
return instance;
|
2016-09-12 12:26:37 +00:00
|
|
|
}
|
|
|
|
|
2016-09-28 20:55:42 +00:00
|
|
|
const Handle<JSObject> CompileInstantiateWasmModuleForTesting(
|
2016-10-13 10:56:48 +00:00
|
|
|
Isolate* isolate, ErrorThrower* thrower, Zone* zone,
|
|
|
|
const byte* module_start, const byte* module_end, ModuleOrigin origin) {
|
2016-09-28 20:55:42 +00:00
|
|
|
std::unique_ptr<const WasmModule> module(DecodeWasmModuleForTesting(
|
2016-10-13 10:56:48 +00:00
|
|
|
isolate, zone, thrower, module_start, module_end, origin));
|
2016-09-28 20:55:42 +00:00
|
|
|
|
|
|
|
if (module == nullptr) {
|
2016-10-13 16:17:44 +00:00
|
|
|
thrower->CompileError("Wasm module decoding failed");
|
2016-09-28 20:55:42 +00:00
|
|
|
return Handle<JSObject>::null();
|
|
|
|
}
|
2016-10-13 10:56:48 +00:00
|
|
|
return InstantiateModuleForTesting(isolate, thrower, module.get());
|
2016-09-28 20:55:42 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
int32_t RunWasmModuleForTesting(Isolate* isolate, Handle<JSObject> instance,
|
|
|
|
int argc, Handle<Object> argv[],
|
|
|
|
ModuleOrigin origin) {
|
|
|
|
ErrorThrower thrower(isolate, "RunWasmModule");
|
|
|
|
const char* f_name = origin == ModuleOrigin::kAsmJsOrigin ? "caller" : "main";
|
|
|
|
return CallWasmFunctionForTesting(isolate, instance, &thrower, f_name, argc,
|
|
|
|
argv, origin);
|
|
|
|
}
|
|
|
|
|
2016-09-12 12:26:37 +00:00
|
|
|
int32_t CompileAndRunWasmModule(Isolate* isolate, const byte* module_start,
|
2016-09-12 22:11:12 +00:00
|
|
|
const byte* module_end, ModuleOrigin origin) {
|
2016-09-12 12:26:37 +00:00
|
|
|
HandleScope scope(isolate);
|
|
|
|
Zone zone(isolate->allocator());
|
2016-10-13 10:56:48 +00:00
|
|
|
ErrorThrower thrower(isolate, "CompileAndRunWasmModule");
|
2016-09-28 20:55:42 +00:00
|
|
|
Handle<JSObject> instance = CompileInstantiateWasmModuleForTesting(
|
2016-10-13 10:56:48 +00:00
|
|
|
isolate, &thrower, &zone, module_start, module_end, origin);
|
2016-09-12 12:26:37 +00:00
|
|
|
if (instance.is_null()) {
|
|
|
|
return -1;
|
|
|
|
}
|
2016-09-28 20:55:42 +00:00
|
|
|
return RunWasmModuleForTesting(isolate, instance, 0, nullptr, origin);
|
2016-09-12 12:26:37 +00:00
|
|
|
}
|
|
|
|
|
2016-09-15 16:19:48 +00:00
|
|
|
int32_t InterpretWasmModule(Isolate* isolate, ErrorThrower* thrower,
|
2016-09-12 12:26:37 +00:00
|
|
|
const WasmModule* module, int function_index,
|
|
|
|
WasmVal* args) {
|
|
|
|
CHECK(module != nullptr);
|
|
|
|
|
|
|
|
Zone zone(isolate->allocator());
|
|
|
|
v8::internal::HandleScope scope(isolate);
|
|
|
|
|
|
|
|
if (module->import_table.size() > 0) {
|
2016-10-13 16:17:44 +00:00
|
|
|
thrower->CompileError("Not supported: module has imports.");
|
2016-09-12 12:26:37 +00:00
|
|
|
}
|
|
|
|
if (module->export_table.size() == 0) {
|
2016-10-13 16:17:44 +00:00
|
|
|
thrower->CompileError("Not supported: module has no exports.");
|
2016-09-12 12:26:37 +00:00
|
|
|
}
|
|
|
|
|
2016-09-15 16:19:48 +00:00
|
|
|
if (thrower->error()) return -1;
|
2016-09-12 12:26:37 +00:00
|
|
|
|
|
|
|
ModuleEnv module_env;
|
|
|
|
module_env.module = module;
|
|
|
|
module_env.origin = module->origin;
|
|
|
|
|
2016-09-14 12:55:43 +00:00
|
|
|
for (size_t i = 0; i < module->functions.size(); i++) {
|
|
|
|
FunctionBody body = {
|
|
|
|
&module_env, module->functions[i].sig, module->module_start,
|
|
|
|
module->module_start + module->functions[i].code_start_offset,
|
|
|
|
module->module_start + module->functions[i].code_end_offset};
|
|
|
|
DecodeResult result = VerifyWasmCode(isolate->allocator(), body);
|
|
|
|
if (result.failed()) {
|
2016-10-13 16:17:44 +00:00
|
|
|
thrower->CompileError("Function did not verify");
|
2016-09-14 12:55:43 +00:00
|
|
|
return -1;
|
|
|
|
}
|
2016-09-12 12:26:37 +00:00
|
|
|
}
|
|
|
|
|
2016-09-14 12:55:43 +00:00
|
|
|
// The code verifies, we create an instance to run it in the interpreter.
|
2016-10-12 13:57:03 +00:00
|
|
|
WasmInstance instance(module);
|
2016-09-14 12:55:43 +00:00
|
|
|
instance.context = isolate->native_context();
|
|
|
|
instance.mem_size = GetMinModuleMemSize(module);
|
|
|
|
// TODO(ahaas): Move memory allocation to wasm-module.cc for better
|
|
|
|
// encapsulation.
|
|
|
|
instance.mem_start =
|
|
|
|
static_cast<byte*>(calloc(GetMinModuleMemSize(module), 1));
|
|
|
|
instance.globals_start = nullptr;
|
|
|
|
module_env.instance = &instance;
|
|
|
|
|
2016-09-12 12:26:37 +00:00
|
|
|
WasmInterpreter interpreter(&instance, isolate->allocator());
|
|
|
|
|
|
|
|
WasmInterpreter::Thread* thread = interpreter.GetThread(0);
|
|
|
|
thread->Reset();
|
2016-09-14 12:55:43 +00:00
|
|
|
thread->PushFrame(&(module->functions[function_index]), args);
|
|
|
|
WasmInterpreter::State interpreter_result = thread->Run();
|
|
|
|
if (instance.mem_start) {
|
|
|
|
free(instance.mem_start);
|
|
|
|
}
|
|
|
|
if (interpreter_result == WasmInterpreter::FINISHED) {
|
2016-09-12 12:26:37 +00:00
|
|
|
WasmVal val = thread->GetReturnValue();
|
|
|
|
return val.to<int32_t>();
|
|
|
|
} else if (thread->state() == WasmInterpreter::TRAPPED) {
|
|
|
|
return 0xdeadbeef;
|
|
|
|
} else {
|
2016-10-13 16:17:44 +00:00
|
|
|
thrower->RangeError(
|
2016-09-15 16:19:48 +00:00
|
|
|
"Interpreter did not finish execution within its step bound");
|
2016-09-12 12:26:37 +00:00
|
|
|
return -1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
int32_t CallWasmFunctionForTesting(Isolate* isolate, Handle<JSObject> instance,
|
2016-09-15 16:19:48 +00:00
|
|
|
ErrorThrower* thrower, const char* name,
|
2016-09-12 12:26:37 +00:00
|
|
|
int argc, Handle<Object> argv[],
|
2016-09-12 22:11:12 +00:00
|
|
|
ModuleOrigin origin) {
|
2016-09-12 12:26:37 +00:00
|
|
|
Handle<JSObject> exports_object;
|
2016-09-12 22:11:12 +00:00
|
|
|
if (origin == ModuleOrigin::kAsmJsOrigin) {
|
2016-09-12 12:26:37 +00:00
|
|
|
exports_object = instance;
|
|
|
|
} else {
|
|
|
|
Handle<Name> exports = isolate->factory()->InternalizeUtf8String("exports");
|
|
|
|
exports_object = Handle<JSObject>::cast(
|
|
|
|
JSObject::GetProperty(instance, exports).ToHandleChecked());
|
|
|
|
}
|
|
|
|
Handle<Name> main_name = isolate->factory()->NewStringFromAsciiChecked(name);
|
|
|
|
PropertyDescriptor desc;
|
|
|
|
Maybe<bool> property_found = JSReceiver::GetOwnPropertyDescriptor(
|
|
|
|
isolate, exports_object, main_name, &desc);
|
|
|
|
if (!property_found.FromMaybe(false)) return -1;
|
|
|
|
|
|
|
|
Handle<JSFunction> main_export = Handle<JSFunction>::cast(desc.value());
|
|
|
|
|
|
|
|
// Call the JS function.
|
|
|
|
Handle<Object> undefined = isolate->factory()->undefined_value();
|
|
|
|
MaybeHandle<Object> retval =
|
|
|
|
Execution::Call(isolate, main_export, undefined, argc, argv);
|
|
|
|
|
|
|
|
// The result should be a number.
|
|
|
|
if (retval.is_null()) {
|
2016-10-13 16:17:44 +00:00
|
|
|
thrower->RuntimeError("WASM.compileRun() failed: Invocation was null");
|
2016-09-12 12:26:37 +00:00
|
|
|
return -1;
|
|
|
|
}
|
|
|
|
Handle<Object> result = retval.ToHandleChecked();
|
|
|
|
if (result->IsSmi()) {
|
|
|
|
return Smi::cast(*result)->value();
|
|
|
|
}
|
|
|
|
if (result->IsHeapNumber()) {
|
|
|
|
return static_cast<int32_t>(HeapNumber::cast(*result)->value());
|
|
|
|
}
|
2016-10-13 16:17:44 +00:00
|
|
|
thrower->RuntimeError(
|
|
|
|
"WASM.compileRun() failed: Return value should be number");
|
2016-09-12 12:26:37 +00:00
|
|
|
return -1;
|
|
|
|
}
|
|
|
|
|
2016-09-17 01:30:09 +00:00
|
|
|
void SetupIsolateForWasmModule(Isolate* isolate) {
|
2016-09-21 10:40:16 +00:00
|
|
|
WasmJs::InstallWasmMapsIfNeeded(isolate, isolate->native_context());
|
2016-09-17 01:30:09 +00:00
|
|
|
WasmJs::InstallWasmModuleSymbolIfNeeded(isolate, isolate->global_object(),
|
|
|
|
isolate->native_context());
|
|
|
|
}
|
2016-09-12 12:26:37 +00:00
|
|
|
} // namespace testing
|
|
|
|
} // namespace wasm
|
|
|
|
} // namespace internal
|
|
|
|
} // namespace v8
|