2017-05-08 09:22:54 +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.
|
|
|
|
|
|
|
|
#include "test/fuzzer/wasm-fuzzer-common.h"
|
|
|
|
|
2019-01-10 14:48:12 +00:00
|
|
|
#include <ctime>
|
|
|
|
|
2017-05-08 09:22:54 +00:00
|
|
|
#include "include/v8.h"
|
|
|
|
#include "src/isolate.h"
|
|
|
|
#include "src/objects-inl.h"
|
2019-01-22 09:02:52 +00:00
|
|
|
#include "src/ostreams.h"
|
2018-01-17 14:46:27 +00:00
|
|
|
#include "src/wasm/wasm-engine.h"
|
2017-05-08 09:22:54 +00:00
|
|
|
#include "src/wasm/wasm-module-builder.h"
|
|
|
|
#include "src/wasm/wasm-module.h"
|
2018-07-25 14:11:56 +00:00
|
|
|
#include "src/wasm/wasm-objects-inl.h"
|
2017-05-08 09:22:54 +00:00
|
|
|
#include "src/zone/accounting-allocator.h"
|
|
|
|
#include "src/zone/zone.h"
|
2017-11-06 12:21:06 +00:00
|
|
|
#include "test/common/wasm/flag-utils.h"
|
2017-05-08 09:22:54 +00:00
|
|
|
#include "test/common/wasm/wasm-module-runner.h"
|
|
|
|
#include "test/fuzzer/fuzzer-support.h"
|
|
|
|
|
2017-09-01 13:20:46 +00:00
|
|
|
namespace v8 {
|
|
|
|
namespace internal {
|
|
|
|
namespace wasm {
|
|
|
|
namespace fuzzer {
|
2017-08-09 08:11:21 +00:00
|
|
|
|
2017-09-07 09:48:34 +00:00
|
|
|
void InterpretAndExecuteModule(i::Isolate* isolate,
|
|
|
|
Handle<WasmModuleObject> module_object) {
|
2018-07-05 08:43:57 +00:00
|
|
|
// We do not instantiate the module if there is a start function, because a
|
|
|
|
// start function can contain an infinite loop which we cannot handle.
|
|
|
|
if (module_object->module()->start_function_index >= 0) return;
|
|
|
|
|
2018-01-30 10:18:24 +00:00
|
|
|
ErrorThrower thrower(isolate, "WebAssembly Instantiation");
|
|
|
|
MaybeHandle<WasmInstanceObject> maybe_instance;
|
2017-09-07 09:48:34 +00:00
|
|
|
Handle<WasmInstanceObject> instance;
|
2018-01-30 10:18:24 +00:00
|
|
|
|
|
|
|
// Try to instantiate and interpret the module_object.
|
|
|
|
maybe_instance = isolate->wasm_engine()->SyncInstantiate(
|
|
|
|
isolate, &thrower, module_object,
|
|
|
|
Handle<JSReceiver>::null(), // imports
|
|
|
|
MaybeHandle<JSArrayBuffer>()); // memory
|
|
|
|
if (!maybe_instance.ToHandle(&instance)) {
|
|
|
|
isolate->clear_pending_exception();
|
|
|
|
thrower.Reset(); // Ignore errors.
|
|
|
|
return;
|
|
|
|
}
|
2017-09-07 09:48:34 +00:00
|
|
|
if (!testing::InterpretWasmModuleForTesting(isolate, instance, "main", 0,
|
|
|
|
nullptr)) {
|
2018-01-31 12:11:14 +00:00
|
|
|
isolate->clear_pending_exception();
|
2017-09-07 09:48:34 +00:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2018-01-30 10:18:24 +00:00
|
|
|
// Try to instantiate and execute the module_object.
|
2018-01-18 10:52:52 +00:00
|
|
|
maybe_instance = isolate->wasm_engine()->SyncInstantiate(
|
|
|
|
isolate, &thrower, module_object,
|
|
|
|
Handle<JSReceiver>::null(), // imports
|
|
|
|
MaybeHandle<JSArrayBuffer>()); // memory
|
2018-01-30 10:18:24 +00:00
|
|
|
if (!maybe_instance.ToHandle(&instance)) {
|
|
|
|
isolate->clear_pending_exception();
|
|
|
|
thrower.Reset(); // Ignore errors.
|
|
|
|
return;
|
|
|
|
}
|
2018-01-31 12:11:14 +00:00
|
|
|
if (testing::RunWasmModuleForTesting(isolate, instance, 0, nullptr) < 0) {
|
|
|
|
isolate->clear_pending_exception();
|
|
|
|
return;
|
|
|
|
}
|
2017-09-07 09:48:34 +00:00
|
|
|
}
|
|
|
|
|
2018-01-08 11:02:45 +00:00
|
|
|
namespace {
|
|
|
|
struct PrintSig {
|
|
|
|
const size_t num;
|
|
|
|
const std::function<ValueType(size_t)> getter;
|
|
|
|
};
|
|
|
|
PrintSig PrintParameters(const FunctionSig* sig) {
|
|
|
|
return {sig->parameter_count(), [=](size_t i) { return sig->GetParam(i); }};
|
|
|
|
}
|
|
|
|
PrintSig PrintReturns(const FunctionSig* sig) {
|
|
|
|
return {sig->return_count(), [=](size_t i) { return sig->GetReturn(i); }};
|
|
|
|
}
|
|
|
|
const char* ValueTypeToConstantName(ValueType type) {
|
|
|
|
switch (type) {
|
|
|
|
case kWasmI32:
|
|
|
|
return "kWasmI32";
|
|
|
|
case kWasmI64:
|
|
|
|
return "kWasmI64";
|
|
|
|
case kWasmF32:
|
|
|
|
return "kWasmF32";
|
|
|
|
case kWasmF64:
|
|
|
|
return "kWasmF64";
|
|
|
|
default:
|
|
|
|
UNREACHABLE();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
std::ostream& operator<<(std::ostream& os, const PrintSig& print) {
|
|
|
|
os << "[";
|
|
|
|
for (size_t i = 0; i < print.num; ++i) {
|
|
|
|
os << (i == 0 ? "" : ", ") << ValueTypeToConstantName(print.getter(i));
|
|
|
|
}
|
|
|
|
return os << "]";
|
|
|
|
}
|
|
|
|
|
2018-02-01 15:18:05 +00:00
|
|
|
struct PrintName {
|
|
|
|
WasmName name;
|
|
|
|
PrintName(ModuleWireBytes wire_bytes, WireBytesRef ref)
|
|
|
|
: name(wire_bytes.GetNameOrNull(ref)) {}
|
|
|
|
};
|
|
|
|
std::ostream& operator<<(std::ostream& os, const PrintName& name) {
|
|
|
|
return os.write(name.name.start(), name.name.size());
|
|
|
|
}
|
2018-06-21 12:09:36 +00:00
|
|
|
} // namespace
|
2018-02-01 15:18:05 +00:00
|
|
|
|
2018-01-08 11:02:45 +00:00
|
|
|
void GenerateTestCase(Isolate* isolate, ModuleWireBytes wire_bytes,
|
|
|
|
bool compiles) {
|
|
|
|
constexpr bool kVerifyFunctions = false;
|
2018-08-08 14:54:44 +00:00
|
|
|
auto enabled_features = i::wasm::WasmFeaturesFromIsolate(isolate);
|
2018-07-20 12:55:40 +00:00
|
|
|
ModuleResult module_res = DecodeWasmModule(
|
2018-08-08 14:54:44 +00:00
|
|
|
enabled_features, wire_bytes.start(), wire_bytes.end(), kVerifyFunctions,
|
2019-04-03 13:54:08 +00:00
|
|
|
ModuleOrigin::kWasmOrigin, isolate->counters(),
|
|
|
|
isolate->wasm_engine()->allocator());
|
2018-01-08 11:02:45 +00:00
|
|
|
CHECK(module_res.ok());
|
2018-10-19 12:35:56 +00:00
|
|
|
WasmModule* module = module_res.value().get();
|
2018-01-08 11:02:45 +00:00
|
|
|
CHECK_NOT_NULL(module);
|
|
|
|
|
2018-06-14 12:46:07 +00:00
|
|
|
StdoutStream os;
|
2018-01-08 11:02:45 +00:00
|
|
|
|
2019-01-10 14:48:12 +00:00
|
|
|
tzset();
|
|
|
|
time_t current_time = time(nullptr);
|
|
|
|
struct tm current_localtime;
|
|
|
|
#ifdef V8_OS_WIN
|
|
|
|
localtime_s(¤t_localtime, ¤t_time);
|
|
|
|
#else
|
|
|
|
localtime_r(¤t_time, ¤t_localtime);
|
|
|
|
#endif
|
|
|
|
int year = 1900 + current_localtime.tm_year;
|
|
|
|
|
|
|
|
os << "// Copyright " << year
|
|
|
|
<< " the V8 project authors. All rights reserved.\n"
|
2018-01-08 11:02:45 +00:00
|
|
|
"// Use of this source code is governed by a BSD-style license that "
|
|
|
|
"can be\n"
|
|
|
|
"// found in the LICENSE file.\n"
|
|
|
|
"\n"
|
|
|
|
"load('test/mjsunit/wasm/wasm-module-builder.js');\n"
|
|
|
|
"\n"
|
|
|
|
"(function() {\n"
|
2018-03-22 10:45:33 +00:00
|
|
|
" const builder = new WasmModuleBuilder();\n";
|
2018-01-08 11:02:45 +00:00
|
|
|
|
|
|
|
if (module->has_memory) {
|
|
|
|
os << " builder.addMemory(" << module->initial_pages;
|
|
|
|
if (module->has_maximum_pages) {
|
2018-06-22 23:51:42 +00:00
|
|
|
os << ", " << module->maximum_pages;
|
2018-01-08 11:02:45 +00:00
|
|
|
} else {
|
2018-06-22 23:51:42 +00:00
|
|
|
os << ", undefined";
|
2018-01-08 11:02:45 +00:00
|
|
|
}
|
2018-06-22 23:51:42 +00:00
|
|
|
os << ", " << (module->mem_export ? "true" : "false");
|
2018-08-08 14:54:44 +00:00
|
|
|
if (module->has_shared_memory) {
|
2018-11-12 13:52:44 +00:00
|
|
|
os << ", true";
|
2018-06-22 23:51:42 +00:00
|
|
|
}
|
|
|
|
os << ");\n";
|
2018-01-08 11:02:45 +00:00
|
|
|
}
|
|
|
|
|
2018-02-01 15:18:05 +00:00
|
|
|
for (WasmGlobal& glob : module->globals) {
|
|
|
|
os << " builder.addGlobal(" << ValueTypeToConstantName(glob.type) << ", "
|
|
|
|
<< glob.mutability << ");\n";
|
|
|
|
}
|
|
|
|
|
2018-11-26 13:05:51 +00:00
|
|
|
for (const FunctionSig* sig : module->signatures) {
|
|
|
|
os << " builder.addType(makeSig(" << PrintParameters(sig) << ", "
|
|
|
|
<< PrintReturns(sig) << "));\n";
|
|
|
|
}
|
|
|
|
|
2018-01-08 11:02:45 +00:00
|
|
|
Zone tmp_zone(isolate->allocator(), ZONE_NAME);
|
|
|
|
|
2018-11-26 13:08:20 +00:00
|
|
|
// There currently cannot be more than one table.
|
|
|
|
DCHECK_GE(1, module->tables.size());
|
|
|
|
for (const WasmTable& table : module->tables) {
|
|
|
|
os << " builder.setTableBounds(" << table.initial_size << ", ";
|
|
|
|
if (table.has_maximum_size) {
|
|
|
|
os << table.maximum_size << ");\n";
|
|
|
|
} else {
|
|
|
|
os << "undefined);\n";
|
|
|
|
}
|
|
|
|
}
|
2019-01-14 11:55:10 +00:00
|
|
|
for (const WasmElemSegment& elem_segment : module->elem_segments) {
|
2018-11-26 13:08:20 +00:00
|
|
|
os << " builder.addElementSegment(";
|
2019-01-14 11:55:10 +00:00
|
|
|
switch (elem_segment.offset.kind) {
|
2018-11-26 13:08:20 +00:00
|
|
|
case WasmInitExpr::kGlobalIndex:
|
2019-01-14 11:55:10 +00:00
|
|
|
os << elem_segment.offset.val.global_index << ", true";
|
2018-11-26 13:08:20 +00:00
|
|
|
break;
|
|
|
|
case WasmInitExpr::kI32Const:
|
2019-01-14 11:55:10 +00:00
|
|
|
os << elem_segment.offset.val.i32_const << ", false";
|
2018-11-26 13:08:20 +00:00
|
|
|
break;
|
|
|
|
default:
|
|
|
|
UNREACHABLE();
|
|
|
|
}
|
2019-01-14 11:55:10 +00:00
|
|
|
os << ", " << PrintCollection(elem_segment.entries) << ");\n";
|
2018-11-26 13:08:20 +00:00
|
|
|
}
|
|
|
|
|
2018-01-08 11:02:45 +00:00
|
|
|
for (const WasmFunction& func : module->functions) {
|
|
|
|
Vector<const uint8_t> func_code = wire_bytes.GetFunctionBytes(&func);
|
2018-03-22 10:45:33 +00:00
|
|
|
os << " // Generate function " << (func.func_index + 1) << " (out of "
|
2018-02-01 15:18:05 +00:00
|
|
|
<< module->functions.size() << ").\n";
|
2018-01-08 11:02:45 +00:00
|
|
|
|
|
|
|
// Add function.
|
2018-11-26 13:05:51 +00:00
|
|
|
os << " builder.addFunction(undefined, " << func.sig_index
|
|
|
|
<< " /* sig */)\n";
|
2018-01-08 11:54:54 +00:00
|
|
|
|
|
|
|
// Add locals.
|
|
|
|
BodyLocalDecls decls(&tmp_zone);
|
2018-08-08 14:54:44 +00:00
|
|
|
DecodeLocalDecls(enabled_features, &decls, func_code.start(),
|
|
|
|
func_code.end());
|
2018-01-08 11:54:54 +00:00
|
|
|
if (!decls.type_list.empty()) {
|
|
|
|
os << " ";
|
|
|
|
for (size_t pos = 0, count = 1, locals = decls.type_list.size();
|
|
|
|
pos < locals; pos += count, count = 1) {
|
|
|
|
ValueType type = decls.type_list[pos];
|
|
|
|
while (pos + count < locals && decls.type_list[pos + count] == type)
|
|
|
|
++count;
|
2018-04-24 13:07:51 +00:00
|
|
|
os << ".addLocals({" << ValueTypes::TypeName(type)
|
2018-01-08 11:54:54 +00:00
|
|
|
<< "_count: " << count << "})";
|
|
|
|
}
|
|
|
|
os << "\n";
|
|
|
|
}
|
|
|
|
|
|
|
|
// Add body.
|
|
|
|
os << " .addBodyWithEnd([\n";
|
2018-01-08 11:02:45 +00:00
|
|
|
|
|
|
|
FunctionBody func_body(func.sig, func.code.offset(), func_code.start(),
|
|
|
|
func_code.end());
|
|
|
|
PrintRawWasmCode(isolate->allocator(), func_body, module, kOmitLocals);
|
2018-02-01 15:18:05 +00:00
|
|
|
os << " ]);\n";
|
|
|
|
}
|
|
|
|
|
|
|
|
for (WasmExport& exp : module->export_table) {
|
|
|
|
if (exp.kind != kExternalFunction) continue;
|
|
|
|
os << " builder.addExport('" << PrintName(wire_bytes, exp.name) << "', "
|
|
|
|
<< exp.index << ");\n";
|
2018-01-08 11:02:45 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
if (compiles) {
|
2018-03-22 10:45:33 +00:00
|
|
|
os << " const instance = builder.instantiate();\n"
|
|
|
|
" print(instance.exports.main(1, 2, 3));\n";
|
2018-01-08 11:02:45 +00:00
|
|
|
} else {
|
2018-02-01 15:18:05 +00:00
|
|
|
os << " assertThrows(function() { builder.instantiate(); }, "
|
|
|
|
"WebAssembly.CompileError);\n";
|
2018-01-08 11:02:45 +00:00
|
|
|
}
|
|
|
|
os << "})();\n";
|
|
|
|
}
|
|
|
|
|
2018-11-20 14:41:36 +00:00
|
|
|
void WasmExecutionFuzzer::FuzzWasmModule(Vector<const uint8_t> data,
|
|
|
|
bool require_valid) {
|
2018-10-25 14:24:01 +00:00
|
|
|
// Strictly enforce the input size limit. Note that setting "max_len" on the
|
|
|
|
// fuzzer target is not enough, since different fuzzers are used and not all
|
|
|
|
// respect that limit.
|
2018-11-20 14:41:36 +00:00
|
|
|
if (data.size() > max_input_size()) return;
|
2018-10-25 14:24:01 +00:00
|
|
|
|
2017-05-08 09:22:54 +00:00
|
|
|
v8_fuzzer::FuzzerSupport* support = v8_fuzzer::FuzzerSupport::Get();
|
|
|
|
v8::Isolate* isolate = support->GetIsolate();
|
2017-09-01 13:20:46 +00:00
|
|
|
i::Isolate* i_isolate = reinterpret_cast<Isolate*>(isolate);
|
2017-05-08 09:22:54 +00:00
|
|
|
|
|
|
|
// Clear any pending exceptions from a prior run.
|
2017-11-08 14:23:08 +00:00
|
|
|
i_isolate->clear_pending_exception();
|
2017-05-08 09:22:54 +00:00
|
|
|
|
|
|
|
v8::Isolate::Scope isolate_scope(isolate);
|
|
|
|
v8::HandleScope handle_scope(isolate);
|
|
|
|
v8::Context::Scope context_scope(support->GetContext());
|
|
|
|
v8::TryCatch try_catch(isolate);
|
|
|
|
HandleScope scope(i_isolate);
|
|
|
|
|
|
|
|
AccountingAllocator allocator;
|
|
|
|
Zone zone(&allocator, ZONE_NAME);
|
|
|
|
|
|
|
|
ZoneBuffer buffer(&zone);
|
|
|
|
int32_t num_args = 0;
|
2017-07-14 13:49:01 +00:00
|
|
|
std::unique_ptr<WasmValue[]> interpreter_args;
|
2017-05-08 09:22:54 +00:00
|
|
|
std::unique_ptr<Handle<Object>[]> compiler_args;
|
2018-07-12 09:15:43 +00:00
|
|
|
// The first byte builds the bitmask to control which function will be
|
|
|
|
// compiled with Turbofan and which one with Liftoff.
|
2019-04-03 08:38:03 +00:00
|
|
|
uint8_t tier_mask = data.empty() ? 0 : data[0];
|
|
|
|
if (!data.empty()) data += 1;
|
2018-07-12 09:05:43 +00:00
|
|
|
if (!GenerateModule(i_isolate, &zone, data, buffer, num_args,
|
2017-05-08 09:22:54 +00:00
|
|
|
interpreter_args, compiler_args)) {
|
2018-11-20 14:41:36 +00:00
|
|
|
return;
|
2017-05-08 09:22:54 +00:00
|
|
|
}
|
|
|
|
|
2017-09-01 13:20:46 +00:00
|
|
|
testing::SetupIsolateForWasmModule(i_isolate);
|
2017-05-08 09:22:54 +00:00
|
|
|
|
|
|
|
ErrorThrower interpreter_thrower(i_isolate, "Interpreter");
|
2017-06-12 11:13:15 +00:00
|
|
|
ModuleWireBytes wire_bytes(buffer.begin(), buffer.end());
|
2017-05-08 09:22:54 +00:00
|
|
|
|
2017-11-06 12:21:06 +00:00
|
|
|
// Compile with Turbofan here. Liftoff will be tested later.
|
2018-08-08 14:54:44 +00:00
|
|
|
auto enabled_features = i::wasm::WasmFeaturesFromIsolate(i_isolate);
|
2017-11-06 12:21:06 +00:00
|
|
|
MaybeHandle<WasmModuleObject> compiled_module;
|
|
|
|
{
|
2018-07-12 09:15:43 +00:00
|
|
|
// Explicitly enable Liftoff, disable tiering and set the tier_mask. This
|
|
|
|
// way, we deterministically test a combination of Liftoff and Turbofan.
|
|
|
|
FlagScope<bool> liftoff(&FLAG_liftoff, true);
|
|
|
|
FlagScope<bool> no_tier_up(&FLAG_wasm_tier_up, false);
|
|
|
|
FlagScope<int> tier_mask_scope(&FLAG_wasm_tier_mask_for_testing, tier_mask);
|
2018-01-18 10:52:52 +00:00
|
|
|
compiled_module = i_isolate->wasm_engine()->SyncCompile(
|
2018-08-08 14:54:44 +00:00
|
|
|
i_isolate, enabled_features, &interpreter_thrower, wire_bytes);
|
2017-11-06 12:21:06 +00:00
|
|
|
}
|
2017-07-10 19:24:22 +00:00
|
|
|
bool compiles = !compiled_module.is_null();
|
|
|
|
|
2018-01-08 11:02:45 +00:00
|
|
|
if (FLAG_wasm_fuzzer_gen_test) {
|
|
|
|
GenerateTestCase(i_isolate, wire_bytes, compiles);
|
2017-05-08 09:22:54 +00:00
|
|
|
}
|
|
|
|
|
2018-08-08 14:54:44 +00:00
|
|
|
bool validates = i_isolate->wasm_engine()->SyncValidate(
|
|
|
|
i_isolate, enabled_features, wire_bytes);
|
2017-07-10 19:24:22 +00:00
|
|
|
|
2017-11-08 16:59:01 +00:00
|
|
|
CHECK_EQ(compiles, validates);
|
2017-11-08 21:03:20 +00:00
|
|
|
CHECK_IMPLIES(require_valid, validates);
|
2017-07-10 19:24:22 +00:00
|
|
|
|
2018-11-20 14:41:36 +00:00
|
|
|
if (!compiles) return;
|
2017-07-10 19:24:22 +00:00
|
|
|
|
2018-11-20 14:39:29 +00:00
|
|
|
MaybeHandle<WasmInstanceObject> interpreter_instance =
|
|
|
|
i_isolate->wasm_engine()->SyncInstantiate(
|
|
|
|
i_isolate, &interpreter_thrower, compiled_module.ToHandleChecked(),
|
|
|
|
MaybeHandle<JSReceiver>(), MaybeHandle<JSArrayBuffer>());
|
2017-06-12 11:13:15 +00:00
|
|
|
|
2018-11-20 14:39:29 +00:00
|
|
|
// Ignore instantiation failure.
|
2018-11-20 14:41:36 +00:00
|
|
|
if (interpreter_thrower.error()) return;
|
2017-11-06 12:21:06 +00:00
|
|
|
|
2018-11-20 14:39:29 +00:00
|
|
|
testing::WasmInterpretationResult interpreter_result =
|
|
|
|
testing::InterpretWasmModule(i_isolate,
|
|
|
|
interpreter_instance.ToHandleChecked(), 0,
|
|
|
|
interpreter_args.get());
|
2017-05-08 09:22:54 +00:00
|
|
|
|
2017-06-22 10:54:20 +00:00
|
|
|
// Do not execute the generated code if the interpreter did not finished after
|
|
|
|
// a bounded number of steps.
|
2018-11-20 14:41:36 +00:00
|
|
|
if (interpreter_result.stopped()) return;
|
2017-06-22 10:54:20 +00:00
|
|
|
|
2018-07-18 14:06:10 +00:00
|
|
|
// The WebAssembly spec allows the sign bit of NaN to be non-deterministic.
|
|
|
|
// This sign bit can make the difference between an infinite loop and
|
|
|
|
// terminating code. With possible non-determinism we cannot guarantee that
|
|
|
|
// the generated code will not go into an infinite loop and cause a timeout in
|
|
|
|
// Clusterfuzz. Therefore we do not execute the generated code if the result
|
|
|
|
// may be non-deterministic.
|
2018-11-20 14:41:36 +00:00
|
|
|
if (interpreter_result.possible_nondeterminism()) return;
|
2017-11-06 12:21:06 +00:00
|
|
|
|
2018-07-12 09:15:43 +00:00
|
|
|
int32_t result_compiled;
|
2017-05-08 09:22:54 +00:00
|
|
|
{
|
2018-07-12 09:15:43 +00:00
|
|
|
ErrorThrower compiler_thrower(i_isolate, "Compile");
|
2018-01-18 10:52:52 +00:00
|
|
|
MaybeHandle<WasmInstanceObject> compiled_instance =
|
|
|
|
i_isolate->wasm_engine()->SyncInstantiate(
|
|
|
|
i_isolate, &compiler_thrower, compiled_module.ToHandleChecked(),
|
|
|
|
MaybeHandle<JSReceiver>(), MaybeHandle<JSArrayBuffer>());
|
2017-06-12 11:13:15 +00:00
|
|
|
|
|
|
|
DCHECK(!compiler_thrower.error());
|
2018-07-12 09:15:43 +00:00
|
|
|
result_compiled = testing::CallWasmFunctionForTesting(
|
2017-06-12 11:13:15 +00:00
|
|
|
i_isolate, compiled_instance.ToHandleChecked(), &compiler_thrower,
|
2017-06-21 09:24:03 +00:00
|
|
|
"main", num_args, compiler_args.get());
|
2017-05-08 09:22:54 +00:00
|
|
|
}
|
|
|
|
|
2018-11-20 14:39:29 +00:00
|
|
|
if (interpreter_result.trapped() != i_isolate->has_pending_exception()) {
|
2018-07-18 14:06:10 +00:00
|
|
|
const char* exception_text[] = {"no exception", "exception"};
|
2018-11-20 14:39:29 +00:00
|
|
|
FATAL("interpreter: %s; compiled: %s",
|
|
|
|
exception_text[interpreter_result.trapped()],
|
2018-07-18 14:06:10 +00:00
|
|
|
exception_text[i_isolate->has_pending_exception()]);
|
2017-05-08 09:22:54 +00:00
|
|
|
}
|
2017-11-06 12:21:06 +00:00
|
|
|
|
2018-11-20 14:39:29 +00:00
|
|
|
if (!interpreter_result.trapped()) {
|
|
|
|
CHECK_EQ(interpreter_result.result(), result_compiled);
|
|
|
|
}
|
2018-07-18 14:06:10 +00:00
|
|
|
|
2017-11-08 14:23:08 +00:00
|
|
|
// Cleanup any pending exception.
|
|
|
|
i_isolate->clear_pending_exception();
|
2017-05-08 09:22:54 +00:00
|
|
|
}
|
2017-09-01 13:20:46 +00:00
|
|
|
|
|
|
|
} // namespace fuzzer
|
|
|
|
} // namespace wasm
|
|
|
|
} // namespace internal
|
|
|
|
} // namespace v8
|