2016-04-19 14:19:58 +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.
|
|
|
|
|
2017-02-23 11:46:29 +00:00
|
|
|
#include "src/assembler-inl.h"
|
2016-04-19 14:19:58 +00:00
|
|
|
#include "test/cctest/cctest.h"
|
|
|
|
#include "test/cctest/compiler/value-helper.h"
|
|
|
|
#include "test/cctest/wasm/wasm-run-utils.h"
|
2016-10-05 11:59:47 +00:00
|
|
|
#include "test/common/wasm/test-signatures.h"
|
2017-04-25 11:29:17 +00:00
|
|
|
#include "test/common/wasm/wasm-macro-gen.h"
|
2016-04-19 14:19:58 +00:00
|
|
|
|
|
|
|
using namespace v8::base;
|
|
|
|
using namespace v8::internal;
|
|
|
|
using namespace v8::internal::compiler;
|
|
|
|
using namespace v8::internal::wasm;
|
|
|
|
|
|
|
|
using v8::Local;
|
|
|
|
using v8::Utils;
|
|
|
|
|
|
|
|
namespace {
|
|
|
|
|
|
|
|
#define CHECK_CSTREQ(exp, found) \
|
|
|
|
do { \
|
|
|
|
const char* exp_ = (exp); \
|
|
|
|
const char* found_ = (found); \
|
2016-05-06 09:07:30 +00:00
|
|
|
DCHECK_NOT_NULL(exp); \
|
|
|
|
if (V8_UNLIKELY(found_ == nullptr || strcmp(exp_, found_) != 0)) { \
|
2016-04-19 14:19:58 +00:00
|
|
|
V8_Fatal(__FILE__, __LINE__, \
|
|
|
|
"Check failed: (%s) != (%s) ('%s' vs '%s').", #exp, #found, \
|
2016-05-06 09:07:30 +00:00
|
|
|
exp_, found_ ? found_ : "<null>"); \
|
2016-04-19 14:19:58 +00:00
|
|
|
} \
|
|
|
|
} while (0)
|
|
|
|
|
|
|
|
void PrintStackTrace(v8::Local<v8::StackTrace> stack) {
|
|
|
|
printf("Stack Trace (length %d):\n", stack->GetFrameCount());
|
|
|
|
for (int i = 0, e = stack->GetFrameCount(); i != e; ++i) {
|
|
|
|
v8::Local<v8::StackFrame> frame = stack->GetFrame(i);
|
|
|
|
v8::Local<v8::String> script = frame->GetScriptName();
|
|
|
|
v8::Local<v8::String> func = frame->GetFunctionName();
|
|
|
|
printf("[%d] (%s) %s:%d:%d\n", i,
|
|
|
|
script.IsEmpty() ? "<null>" : *v8::String::Utf8Value(script),
|
|
|
|
func.IsEmpty() ? "<null>" : *v8::String::Utf8Value(func),
|
|
|
|
frame->GetLineNumber(), frame->GetColumn());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
struct ExceptionInfo {
|
2016-05-06 09:07:30 +00:00
|
|
|
const char* func_name;
|
|
|
|
int line_nr;
|
|
|
|
int column;
|
2016-04-19 14:19:58 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
template <int N>
|
2016-06-27 09:31:59 +00:00
|
|
|
void CheckExceptionInfos(Handle<Object> exc,
|
2016-04-19 14:19:58 +00:00
|
|
|
const ExceptionInfo (&excInfos)[N]) {
|
2016-04-20 15:09:36 +00:00
|
|
|
// Check that it's indeed an Error object.
|
2016-06-27 09:31:59 +00:00
|
|
|
CHECK(exc->IsJSError());
|
2016-04-19 14:19:58 +00:00
|
|
|
|
2016-04-20 15:09:36 +00:00
|
|
|
// Extract stack frame from the exception.
|
2016-04-19 14:19:58 +00:00
|
|
|
Local<v8::Value> localExc = Utils::ToLocal(exc);
|
|
|
|
v8::Local<v8::StackTrace> stack = v8::Exception::GetStackTrace(localExc);
|
|
|
|
PrintStackTrace(stack);
|
|
|
|
CHECK(!stack.IsEmpty());
|
|
|
|
CHECK_EQ(N, stack->GetFrameCount());
|
|
|
|
|
|
|
|
for (int frameNr = 0; frameNr < N; ++frameNr) {
|
|
|
|
v8::Local<v8::StackFrame> frame = stack->GetFrame(frameNr);
|
|
|
|
v8::String::Utf8Value funName(frame->GetFunctionName());
|
2016-05-06 09:07:30 +00:00
|
|
|
CHECK_CSTREQ(excInfos[frameNr].func_name, *funName);
|
|
|
|
CHECK_EQ(excInfos[frameNr].line_nr, frame->GetLineNumber());
|
|
|
|
CHECK_EQ(excInfos[frameNr].column, frame->GetColumn());
|
2016-04-19 14:19:58 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
} // namespace
|
|
|
|
|
2017-06-09 12:21:52 +00:00
|
|
|
// Call from JS to wasm to JS and throw an Error from JS.
|
2016-04-19 14:19:58 +00:00
|
|
|
TEST(CollectDetailedWasmStack_ExplicitThrowFromJs) {
|
2016-12-16 10:13:11 +00:00
|
|
|
WasmRunner<void> r(kExecuteCompiled);
|
2016-04-19 14:19:58 +00:00
|
|
|
TestSignatures sigs;
|
|
|
|
|
2017-07-25 20:26:16 +00:00
|
|
|
Handle<FixedArray> js_imports_table =
|
|
|
|
r.main_isolate()->factory()->NewFixedArray(2, TENURED);
|
2016-12-16 10:13:11 +00:00
|
|
|
uint32_t js_throwing_index = r.module().AddJsFunction(
|
2016-04-19 14:19:58 +00:00
|
|
|
sigs.v_v(),
|
2017-07-25 20:26:16 +00:00
|
|
|
"(function js() {\n function a() {\n throw new Error(); };\n a(); })",
|
|
|
|
js_imports_table);
|
2016-04-19 14:19:58 +00:00
|
|
|
|
2016-05-06 09:07:30 +00:00
|
|
|
// Add a nop such that we don't always get position 1.
|
2016-12-16 10:13:11 +00:00
|
|
|
BUILD(r, WASM_NOP, WASM_CALL_FUNCTION0(js_throwing_index));
|
|
|
|
uint32_t wasm_index_1 = r.function()->func_index;
|
2016-04-19 14:19:58 +00:00
|
|
|
|
2016-12-19 15:03:13 +00:00
|
|
|
WasmFunctionCompiler& f2 = r.NewFunction<void>("call_main");
|
2016-12-16 10:13:11 +00:00
|
|
|
BUILD(f2, WASM_CALL_FUNCTION0(wasm_index_1));
|
|
|
|
uint32_t wasm_index_2 = f2.function_index();
|
2016-04-19 14:19:58 +00:00
|
|
|
|
2016-12-16 10:13:11 +00:00
|
|
|
Handle<JSFunction> js_wasm_wrapper = r.module().WrapCode(wasm_index_2);
|
2016-04-19 14:19:58 +00:00
|
|
|
|
2016-04-20 15:09:36 +00:00
|
|
|
Handle<JSFunction> js_trampoline = Handle<JSFunction>::cast(
|
2016-04-19 14:19:58 +00:00
|
|
|
v8::Utils::OpenHandle(*v8::Local<v8::Function>::Cast(
|
|
|
|
CompileRun("(function callFn(fn) { fn(); })"))));
|
|
|
|
|
2016-04-20 15:09:36 +00:00
|
|
|
Isolate* isolate = js_wasm_wrapper->GetIsolate();
|
2016-04-19 14:19:58 +00:00
|
|
|
isolate->SetCaptureStackTraceForUncaughtExceptions(true, 10,
|
|
|
|
v8::StackTrace::kOverview);
|
|
|
|
Handle<Object> global(isolate->context()->global_object(), isolate);
|
2016-04-20 15:09:36 +00:00
|
|
|
MaybeHandle<Object> maybe_exc;
|
|
|
|
Handle<Object> args[] = {js_wasm_wrapper};
|
2016-04-19 14:19:58 +00:00
|
|
|
MaybeHandle<Object> returnObjMaybe =
|
2017-01-17 13:01:03 +00:00
|
|
|
Execution::TryCall(isolate, js_trampoline, global, 1, args,
|
|
|
|
Execution::MessageHandling::kReport, &maybe_exc);
|
2016-04-19 14:19:58 +00:00
|
|
|
CHECK(returnObjMaybe.is_null());
|
|
|
|
|
2016-11-14 16:00:03 +00:00
|
|
|
// Line and column are 1-based, so add 1 for the expected wasm output.
|
2016-04-20 15:09:36 +00:00
|
|
|
ExceptionInfo expected_exceptions[] = {
|
2016-12-19 15:03:13 +00:00
|
|
|
{"a", 3, 8}, // -
|
|
|
|
{"js", 4, 2}, // -
|
|
|
|
{"main", static_cast<int>(wasm_index_1) + 1, 3}, // -
|
|
|
|
{"call_main", static_cast<int>(wasm_index_2) + 1, 2}, // -
|
|
|
|
{"callFn", 1, 24} // -
|
2016-05-06 09:07:30 +00:00
|
|
|
};
|
2016-06-27 09:31:59 +00:00
|
|
|
CheckExceptionInfos(maybe_exc.ToHandleChecked(), expected_exceptions);
|
2016-04-20 15:09:36 +00:00
|
|
|
}
|
|
|
|
|
2017-06-09 12:21:52 +00:00
|
|
|
// Trigger a trap in wasm, stack should be JS -> wasm -> wasm.
|
2016-04-20 15:09:36 +00:00
|
|
|
TEST(CollectDetailedWasmStack_WasmError) {
|
|
|
|
TestSignatures sigs;
|
2017-07-26 20:12:27 +00:00
|
|
|
// Create a WasmRunner with stack checks and traps enabled.
|
|
|
|
WasmRunner<int> r(kExecuteCompiled, "main", true);
|
2016-12-16 10:13:11 +00:00
|
|
|
|
|
|
|
BUILD(r, WASM_UNREACHABLE);
|
|
|
|
uint32_t wasm_index_1 = r.function()->func_index;
|
2016-04-20 15:09:36 +00:00
|
|
|
|
2016-12-19 15:03:13 +00:00
|
|
|
WasmFunctionCompiler& f2 = r.NewFunction<int>("call_main");
|
2016-12-16 10:13:11 +00:00
|
|
|
BUILD(f2, WASM_CALL_FUNCTION0(0));
|
|
|
|
uint32_t wasm_index_2 = f2.function_index();
|
2016-04-20 15:09:36 +00:00
|
|
|
|
2016-12-16 10:13:11 +00:00
|
|
|
Handle<JSFunction> js_wasm_wrapper = r.module().WrapCode(wasm_index_2);
|
2016-04-20 15:09:36 +00:00
|
|
|
|
|
|
|
Handle<JSFunction> js_trampoline = Handle<JSFunction>::cast(
|
|
|
|
v8::Utils::OpenHandle(*v8::Local<v8::Function>::Cast(
|
|
|
|
CompileRun("(function callFn(fn) { fn(); })"))));
|
|
|
|
|
|
|
|
Isolate* isolate = js_wasm_wrapper->GetIsolate();
|
|
|
|
isolate->SetCaptureStackTraceForUncaughtExceptions(true, 10,
|
|
|
|
v8::StackTrace::kOverview);
|
|
|
|
Handle<Object> global(isolate->context()->global_object(), isolate);
|
|
|
|
MaybeHandle<Object> maybe_exc;
|
|
|
|
Handle<Object> args[] = {js_wasm_wrapper};
|
|
|
|
MaybeHandle<Object> maybe_return_obj =
|
2017-01-17 13:01:03 +00:00
|
|
|
Execution::TryCall(isolate, js_trampoline, global, 1, args,
|
|
|
|
Execution::MessageHandling::kReport, &maybe_exc);
|
2016-04-20 15:09:36 +00:00
|
|
|
CHECK(maybe_return_obj.is_null());
|
|
|
|
|
2016-11-14 16:00:03 +00:00
|
|
|
// Line and column are 1-based, so add 1 for the expected wasm output.
|
2016-04-20 15:09:36 +00:00
|
|
|
ExceptionInfo expected_exceptions[] = {
|
2016-12-19 15:03:13 +00:00
|
|
|
{"main", static_cast<int>(wasm_index_1) + 1, 2}, // -
|
|
|
|
{"call_main", static_cast<int>(wasm_index_2) + 1, 2}, // -
|
|
|
|
{"callFn", 1, 24} //-
|
2016-05-06 09:07:30 +00:00
|
|
|
};
|
2016-06-27 09:31:59 +00:00
|
|
|
CheckExceptionInfos(maybe_exc.ToHandleChecked(), expected_exceptions);
|
2016-04-19 14:19:58 +00:00
|
|
|
}
|