2016-12-19 17:22:55 +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-12-19 17:22:55 +00:00
|
|
|
#include "src/debug/debug-interface.h"
|
2017-01-24 10:13:33 +00:00
|
|
|
#include "src/frames-inl.h"
|
2017-01-20 13:50:09 +00:00
|
|
|
#include "src/property-descriptor.h"
|
2017-01-24 10:13:33 +00:00
|
|
|
#include "src/utils.h"
|
2017-09-08 08:39:19 +00:00
|
|
|
#include "src/wasm/wasm-objects-inl.h"
|
2016-12-19 17:22:55 +00:00
|
|
|
|
|
|
|
#include "test/cctest/cctest.h"
|
|
|
|
#include "test/cctest/compiler/value-helper.h"
|
|
|
|
#include "test/cctest/wasm/wasm-run-utils.h"
|
|
|
|
#include "test/common/wasm/test-signatures.h"
|
2017-04-25 11:29:17 +00:00
|
|
|
#include "test/common/wasm/wasm-macro-gen.h"
|
2016-12-19 17:22:55 +00:00
|
|
|
|
2017-09-01 12:57:34 +00:00
|
|
|
namespace v8 {
|
|
|
|
namespace internal {
|
|
|
|
namespace wasm {
|
2016-12-19 17:22:55 +00:00
|
|
|
|
|
|
|
namespace {
|
|
|
|
|
|
|
|
void CheckLocations(
|
|
|
|
WasmCompiledModule *compiled_module, debug::Location start,
|
|
|
|
debug::Location end,
|
|
|
|
std::initializer_list<debug::Location> expected_locations_init) {
|
2017-03-06 20:47:55 +00:00
|
|
|
std::vector<debug::BreakLocation> locations;
|
2016-12-19 17:22:55 +00:00
|
|
|
bool success =
|
|
|
|
compiled_module->GetPossibleBreakpoints(start, end, &locations);
|
|
|
|
CHECK(success);
|
|
|
|
|
|
|
|
printf("got %d locations: ", static_cast<int>(locations.size()));
|
|
|
|
for (size_t i = 0, e = locations.size(); i != e; ++i) {
|
|
|
|
printf("%s<%d,%d>", i == 0 ? "" : ", ", locations[i].GetLineNumber(),
|
|
|
|
locations[i].GetColumnNumber());
|
|
|
|
}
|
|
|
|
printf("\n");
|
|
|
|
|
|
|
|
std::vector<debug::Location> expected_locations(expected_locations_init);
|
|
|
|
CHECK_EQ(expected_locations.size(), locations.size());
|
|
|
|
for (size_t i = 0, e = locations.size(); i != e; ++i) {
|
|
|
|
CHECK_EQ(expected_locations[i].GetLineNumber(),
|
|
|
|
locations[i].GetLineNumber());
|
|
|
|
CHECK_EQ(expected_locations[i].GetColumnNumber(),
|
|
|
|
locations[i].GetColumnNumber());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
void CheckLocationsFail(WasmCompiledModule *compiled_module,
|
|
|
|
debug::Location start, debug::Location end) {
|
2017-03-06 20:47:55 +00:00
|
|
|
std::vector<debug::BreakLocation> locations;
|
2016-12-19 17:22:55 +00:00
|
|
|
bool success =
|
|
|
|
compiled_module->GetPossibleBreakpoints(start, end, &locations);
|
|
|
|
CHECK(!success);
|
|
|
|
}
|
|
|
|
|
2017-03-10 07:06:25 +00:00
|
|
|
class BreakHandler : public debug::DebugDelegate {
|
2017-01-20 13:50:09 +00:00
|
|
|
public:
|
2017-01-24 10:13:33 +00:00
|
|
|
enum Action {
|
|
|
|
Continue = StepAction::LastStepAction + 1,
|
|
|
|
StepNext = StepAction::StepNext,
|
|
|
|
StepIn = StepAction::StepIn,
|
2017-01-25 23:50:57 +00:00
|
|
|
StepOut = StepAction::StepOut
|
2017-01-24 10:13:33 +00:00
|
|
|
};
|
|
|
|
struct BreakPoint {
|
|
|
|
int position;
|
|
|
|
Action action;
|
|
|
|
BreakPoint(int position, Action action)
|
|
|
|
: position(position), action(action) {}
|
|
|
|
};
|
|
|
|
|
|
|
|
explicit BreakHandler(Isolate* isolate,
|
|
|
|
std::initializer_list<BreakPoint> expected_breaks)
|
|
|
|
: isolate_(isolate), expected_breaks_(expected_breaks) {
|
2017-03-10 07:06:25 +00:00
|
|
|
v8::debug::SetDebugDelegate(reinterpret_cast<v8::Isolate*>(isolate_), this);
|
2017-01-20 13:50:09 +00:00
|
|
|
}
|
|
|
|
~BreakHandler() {
|
2017-01-24 10:13:33 +00:00
|
|
|
// Check that all expected breakpoints have been hit.
|
|
|
|
CHECK_EQ(count_, expected_breaks_.size());
|
2017-03-10 07:06:25 +00:00
|
|
|
v8::debug::SetDebugDelegate(reinterpret_cast<v8::Isolate*>(isolate_),
|
|
|
|
nullptr);
|
2017-01-20 13:50:09 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
int count() const { return count_; }
|
|
|
|
|
|
|
|
private:
|
|
|
|
Isolate* isolate_;
|
|
|
|
int count_ = 0;
|
2017-01-24 10:13:33 +00:00
|
|
|
std::vector<BreakPoint> expected_breaks_;
|
2017-01-20 13:50:09 +00:00
|
|
|
|
2017-03-10 07:06:25 +00:00
|
|
|
void BreakProgramRequested(v8::Local<v8::Context> paused_context,
|
|
|
|
v8::Local<v8::Object> exec_state,
|
2017-08-01 16:41:20 +00:00
|
|
|
v8::Local<v8::Value> break_points_hit,
|
|
|
|
const std::vector<int>&) override {
|
2017-01-24 10:13:33 +00:00
|
|
|
printf("Break #%d\n", count_);
|
|
|
|
CHECK_GT(expected_breaks_.size(), count_);
|
|
|
|
|
|
|
|
// Check the current position.
|
|
|
|
StackTraceFrameIterator frame_it(isolate_);
|
|
|
|
auto summ = FrameSummary::GetTop(frame_it.frame()).AsWasmInterpreted();
|
|
|
|
CHECK_EQ(expected_breaks_[count_].position, summ.byte_offset());
|
|
|
|
|
|
|
|
Action next_action = expected_breaks_[count_].action;
|
|
|
|
switch (next_action) {
|
|
|
|
case Continue:
|
|
|
|
break;
|
|
|
|
case StepNext:
|
|
|
|
case StepIn:
|
|
|
|
case StepOut:
|
|
|
|
isolate_->debug()->PrepareStep(static_cast<StepAction>(next_action));
|
|
|
|
break;
|
|
|
|
default:
|
|
|
|
UNREACHABLE();
|
|
|
|
}
|
|
|
|
++count_;
|
|
|
|
}
|
2017-01-20 13:50:09 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
Handle<JSObject> MakeFakeBreakpoint(Isolate* isolate, int position) {
|
|
|
|
Handle<JSObject> obj =
|
|
|
|
isolate->factory()->NewJSObject(isolate->object_function());
|
|
|
|
// Generate an "isTriggered" method that always returns true.
|
|
|
|
// This can/must be refactored once we remove remaining JS parts from the
|
|
|
|
// debugger (bug 5530).
|
|
|
|
Handle<String> source = isolate->factory()->NewStringFromStaticChars("true");
|
|
|
|
Handle<Context> context(isolate->context(), isolate);
|
|
|
|
Handle<JSFunction> triggered_fun =
|
Implement new Function.prototype.toString --harmony-function-tostring
For functions declared in source code, the .toString() representation
will be an excerpt of the source code.
* For functions declared with the "function" keyword, the excerpt
starts at the "function" or "async" keyword and ends at the final "}".
The previous behavior would start the excerpt at the "(" of the
parameter list, and prepend a canonical `"function " + name` or
similar, which would discard comments and formatting surrounding the
function's name. Anonymous functions declared as function expressions
no longer get the name "anonymous" in their toString representation.
* For methods, the excerpt starts at the "get", "set", "*" (for
generator methods), or property name, whichever comes first.
Previously, the toString representation for methods would use a
canonical prefix before the "(" of the parameter list. Note that any
"static" keyword is omitted.
* For arrow functions and class declarations, the excerpt is unchanged.
For functions created with the Function, GeneratorFunction, or
AsyncFunction constructors:
* The string separating the parameter text and body text is now
"\n) {\n", where previously it was "\n/*``*/) {\n" or ") {\n".
* At one point, newline normalization was required by the spec here,
but that was removed from the spec, and so this CL does not do it.
Included in this CL is a fix for CreateDynamicFunction parsing. ')'
and '`' characters in the parameter string are no longer disallowed,
and Function("a=function(", "}){") is no longer allowed.
BUG=v8:4958, v8:4230
Review-Url: https://codereview.chromium.org/2156303002
Cr-Commit-Position: refs/heads/master@{#43262}
2017-02-16 20:19:24 +00:00
|
|
|
Compiler::GetFunctionFromString(context, source, NO_PARSE_RESTRICTION,
|
|
|
|
kNoSourcePosition)
|
2017-01-20 13:50:09 +00:00
|
|
|
.ToHandleChecked();
|
|
|
|
PropertyDescriptor desc;
|
|
|
|
desc.set_value(triggered_fun);
|
|
|
|
Handle<String> name =
|
|
|
|
isolate->factory()->InternalizeUtf8String(CStrVector("isTriggered"));
|
2017-10-25 18:07:04 +00:00
|
|
|
CHECK(JSObject::DefineOwnProperty(isolate, obj, name, &desc, kDontThrow)
|
|
|
|
.FromMaybe(false));
|
2017-01-20 13:50:09 +00:00
|
|
|
return obj;
|
|
|
|
}
|
|
|
|
|
|
|
|
void SetBreakpoint(WasmRunnerBase& runner, int function_index, int byte_offset,
|
|
|
|
int expected_set_byte_offset = -1) {
|
|
|
|
int func_offset =
|
2017-08-19 16:34:11 +00:00
|
|
|
runner.builder().GetFunctionAt(function_index)->code.offset();
|
2017-01-20 13:50:09 +00:00
|
|
|
int code_offset = func_offset + byte_offset;
|
|
|
|
if (expected_set_byte_offset == -1) expected_set_byte_offset = byte_offset;
|
2017-08-19 16:34:11 +00:00
|
|
|
Handle<WasmInstanceObject> instance = runner.builder().instance_object();
|
2017-01-20 13:50:09 +00:00
|
|
|
Handle<WasmCompiledModule> compiled_module(instance->compiled_module());
|
|
|
|
Handle<JSObject> fake_breakpoint_object =
|
|
|
|
MakeFakeBreakpoint(runner.main_isolate(), code_offset);
|
|
|
|
CHECK(WasmCompiledModule::SetBreakPoint(compiled_module, &code_offset,
|
|
|
|
fake_breakpoint_object));
|
|
|
|
int set_byte_offset = code_offset - func_offset;
|
|
|
|
CHECK_EQ(expected_set_byte_offset, set_byte_offset);
|
|
|
|
// Also set breakpoint on the debug info of the instance directly, since the
|
|
|
|
// instance chain is not setup properly in tests.
|
|
|
|
Handle<WasmDebugInfo> debug_info =
|
|
|
|
WasmInstanceObject::GetOrCreateDebugInfo(instance);
|
|
|
|
WasmDebugInfo::SetBreakpoint(debug_info, function_index, set_byte_offset);
|
|
|
|
}
|
|
|
|
|
2017-04-12 09:33:35 +00:00
|
|
|
// Wrapper with operator<<.
|
|
|
|
struct WasmValWrapper {
|
2017-07-14 13:49:01 +00:00
|
|
|
WasmValue val;
|
2017-04-12 09:33:35 +00:00
|
|
|
|
|
|
|
bool operator==(const WasmValWrapper& other) const {
|
|
|
|
return val == other.val;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
// Only needed in debug builds. Avoid unused warning otherwise.
|
|
|
|
#ifdef DEBUG
|
|
|
|
std::ostream& operator<<(std::ostream& out, const WasmValWrapper& wrapper) {
|
2017-07-14 13:49:01 +00:00
|
|
|
switch (wrapper.val.type()) {
|
2017-04-12 09:33:35 +00:00
|
|
|
case kWasmI32:
|
|
|
|
out << "i32: " << wrapper.val.to<int32_t>();
|
|
|
|
break;
|
|
|
|
case kWasmI64:
|
|
|
|
out << "i64: " << wrapper.val.to<int64_t>();
|
|
|
|
break;
|
|
|
|
case kWasmF32:
|
|
|
|
out << "f32: " << wrapper.val.to<float>();
|
|
|
|
break;
|
|
|
|
case kWasmF64:
|
|
|
|
out << "f64: " << wrapper.val.to<double>();
|
|
|
|
break;
|
|
|
|
default:
|
|
|
|
UNIMPLEMENTED();
|
|
|
|
}
|
|
|
|
return out;
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
|
|
|
class CollectValuesBreakHandler : public debug::DebugDelegate {
|
|
|
|
public:
|
|
|
|
struct BreakpointValues {
|
2017-07-14 13:49:01 +00:00
|
|
|
std::vector<WasmValue> locals;
|
|
|
|
std::vector<WasmValue> stack;
|
2017-04-12 09:33:35 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
explicit CollectValuesBreakHandler(
|
|
|
|
Isolate* isolate, std::initializer_list<BreakpointValues> expected_values)
|
|
|
|
: isolate_(isolate), expected_values_(expected_values) {
|
|
|
|
v8::debug::SetDebugDelegate(reinterpret_cast<v8::Isolate*>(isolate_), this);
|
|
|
|
}
|
|
|
|
~CollectValuesBreakHandler() {
|
|
|
|
v8::debug::SetDebugDelegate(reinterpret_cast<v8::Isolate*>(isolate_),
|
|
|
|
nullptr);
|
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
|
|
|
Isolate* isolate_;
|
|
|
|
int count_ = 0;
|
|
|
|
std::vector<BreakpointValues> expected_values_;
|
|
|
|
|
|
|
|
void BreakProgramRequested(v8::Local<v8::Context> paused_context,
|
|
|
|
v8::Local<v8::Object> exec_state,
|
2017-08-01 16:41:20 +00:00
|
|
|
v8::Local<v8::Value> break_points_hit,
|
|
|
|
const std::vector<int>&) override {
|
2017-04-12 09:33:35 +00:00
|
|
|
printf("Break #%d\n", count_);
|
|
|
|
CHECK_GT(expected_values_.size(), count_);
|
|
|
|
auto& expected = expected_values_[count_];
|
|
|
|
++count_;
|
|
|
|
|
|
|
|
HandleScope handles(isolate_);
|
|
|
|
|
|
|
|
StackTraceFrameIterator frame_it(isolate_);
|
|
|
|
auto summ = FrameSummary::GetTop(frame_it.frame()).AsWasmInterpreted();
|
|
|
|
Handle<WasmInstanceObject> instance = summ.wasm_instance();
|
|
|
|
|
|
|
|
auto frame =
|
|
|
|
instance->debug_info()->GetInterpretedFrame(frame_it.frame()->fp(), 0);
|
|
|
|
CHECK_EQ(expected.locals.size(), frame->GetLocalCount());
|
|
|
|
for (int i = 0; i < frame->GetLocalCount(); ++i) {
|
|
|
|
CHECK_EQ(WasmValWrapper{expected.locals[i]},
|
|
|
|
WasmValWrapper{frame->GetLocalValue(i)});
|
|
|
|
}
|
|
|
|
|
|
|
|
CHECK_EQ(expected.stack.size(), frame->GetStackHeight());
|
|
|
|
for (int i = 0; i < frame->GetStackHeight(); ++i) {
|
|
|
|
CHECK_EQ(WasmValWrapper{expected.stack[i]},
|
|
|
|
WasmValWrapper{frame->GetStackValue(i)});
|
|
|
|
}
|
|
|
|
|
|
|
|
isolate_->debug()->PrepareStep(StepAction::StepIn);
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2017-07-14 13:49:01 +00:00
|
|
|
// Special template to explicitly cast to WasmValue.
|
2017-04-12 09:33:35 +00:00
|
|
|
template <typename Arg>
|
2017-07-14 13:49:01 +00:00
|
|
|
WasmValue MakeWasmVal(Arg arg) {
|
|
|
|
return WasmValue(arg);
|
2017-04-12 09:33:35 +00:00
|
|
|
}
|
|
|
|
// Translate long to i64 (ambiguous otherwise).
|
|
|
|
template <>
|
2017-07-14 13:49:01 +00:00
|
|
|
WasmValue MakeWasmVal(long arg) { // NOLINT: allow long parameter
|
|
|
|
return WasmValue(static_cast<int64_t>(arg));
|
2017-04-12 09:33:35 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
template <typename... Args>
|
2017-07-14 13:49:01 +00:00
|
|
|
std::vector<WasmValue> wasmVec(Args... args) {
|
|
|
|
std::array<WasmValue, sizeof...(args)> arr{{MakeWasmVal(args)...}};
|
|
|
|
return std::vector<WasmValue>{arr.begin(), arr.end()};
|
2017-04-12 09:33:35 +00:00
|
|
|
}
|
|
|
|
|
2016-12-19 17:22:55 +00:00
|
|
|
} // namespace
|
|
|
|
|
2017-10-25 12:46:43 +00:00
|
|
|
WASM_COMPILED_EXEC_TEST(WasmCollectPossibleBreakpoints) {
|
|
|
|
WasmRunner<int> runner(execution_mode);
|
2016-12-19 17:22:55 +00:00
|
|
|
|
|
|
|
BUILD(runner, WASM_NOP, WASM_I32_ADD(WASM_ZERO, WASM_ONE));
|
|
|
|
|
2017-08-19 16:34:11 +00:00
|
|
|
Handle<WasmInstanceObject> instance = runner.builder().instance_object();
|
2016-12-19 17:22:55 +00:00
|
|
|
std::vector<debug::Location> locations;
|
2017-01-20 13:50:09 +00:00
|
|
|
// Check all locations for function 0.
|
2016-12-20 14:34:07 +00:00
|
|
|
CheckLocations(instance->compiled_module(), {0, 0}, {1, 0},
|
2017-01-15 21:18:53 +00:00
|
|
|
{{0, 1}, {0, 2}, {0, 4}, {0, 6}, {0, 7}});
|
2017-01-20 13:50:09 +00:00
|
|
|
// Check a range ending at an instruction.
|
2016-12-20 14:34:07 +00:00
|
|
|
CheckLocations(instance->compiled_module(), {0, 2}, {0, 4}, {{0, 2}});
|
2017-01-20 13:50:09 +00:00
|
|
|
// Check a range ending one behind an instruction.
|
2016-12-20 14:34:07 +00:00
|
|
|
CheckLocations(instance->compiled_module(), {0, 2}, {0, 5}, {{0, 2}, {0, 4}});
|
2017-01-20 13:50:09 +00:00
|
|
|
// Check a range starting at an instruction.
|
2017-01-15 21:18:53 +00:00
|
|
|
CheckLocations(instance->compiled_module(), {0, 7}, {0, 8}, {{0, 7}});
|
2017-01-20 13:50:09 +00:00
|
|
|
// Check from an instruction to beginning of next function.
|
2017-01-15 21:18:53 +00:00
|
|
|
CheckLocations(instance->compiled_module(), {0, 7}, {1, 0}, {{0, 7}});
|
2017-01-20 13:50:09 +00:00
|
|
|
// Check from end of one function (no valid instruction position) to beginning
|
|
|
|
// of next function. Must be empty, but not fail.
|
2017-01-15 21:18:53 +00:00
|
|
|
CheckLocations(instance->compiled_module(), {0, 8}, {1, 0}, {});
|
2017-01-20 13:50:09 +00:00
|
|
|
// Check from one after the end of the function. Must fail.
|
2017-01-15 21:18:53 +00:00
|
|
|
CheckLocationsFail(instance->compiled_module(), {0, 9}, {1, 0});
|
2016-12-19 17:22:55 +00:00
|
|
|
}
|
2017-01-20 13:50:09 +00:00
|
|
|
|
2017-10-25 12:46:43 +00:00
|
|
|
WASM_COMPILED_EXEC_TEST(WasmSimpleBreak) {
|
|
|
|
WasmRunner<int> runner(execution_mode);
|
2017-01-20 13:50:09 +00:00
|
|
|
Isolate* isolate = runner.main_isolate();
|
|
|
|
|
|
|
|
BUILD(runner, WASM_NOP, WASM_I32_ADD(WASM_I32V_1(11), WASM_I32V_1(3)));
|
|
|
|
|
|
|
|
Handle<JSFunction> main_fun_wrapper =
|
2017-08-19 16:34:11 +00:00
|
|
|
runner.builder().WrapCode(runner.function_index());
|
2017-01-20 13:50:09 +00:00
|
|
|
SetBreakpoint(runner, runner.function_index(), 4, 4);
|
|
|
|
|
2017-01-24 10:13:33 +00:00
|
|
|
BreakHandler count_breaks(isolate, {{4, BreakHandler::Continue}});
|
|
|
|
|
|
|
|
Handle<Object> global(isolate->context()->global_object(), isolate);
|
|
|
|
MaybeHandle<Object> retval =
|
|
|
|
Execution::Call(isolate, main_fun_wrapper, global, 0, nullptr);
|
|
|
|
CHECK(!retval.is_null());
|
|
|
|
int result;
|
|
|
|
CHECK(retval.ToHandleChecked()->ToInt32(&result));
|
|
|
|
CHECK_EQ(14, result);
|
|
|
|
}
|
|
|
|
|
2017-10-25 12:46:43 +00:00
|
|
|
WASM_COMPILED_EXEC_TEST(WasmSimpleStepping) {
|
|
|
|
WasmRunner<int> runner(execution_mode);
|
2017-01-24 10:13:33 +00:00
|
|
|
BUILD(runner, WASM_I32_ADD(WASM_I32V_1(11), WASM_I32V_1(3)));
|
|
|
|
|
|
|
|
Isolate* isolate = runner.main_isolate();
|
|
|
|
Handle<JSFunction> main_fun_wrapper =
|
2017-08-19 16:34:11 +00:00
|
|
|
runner.builder().WrapCode(runner.function_index());
|
2017-01-24 10:13:33 +00:00
|
|
|
|
|
|
|
// Set breakpoint at the first I32Const.
|
|
|
|
SetBreakpoint(runner, runner.function_index(), 1, 1);
|
|
|
|
|
|
|
|
BreakHandler count_breaks(isolate,
|
|
|
|
{
|
|
|
|
{1, BreakHandler::StepNext}, // I32Const
|
|
|
|
{3, BreakHandler::StepNext}, // I32Const
|
|
|
|
{5, BreakHandler::Continue} // I32Add
|
|
|
|
});
|
2017-01-20 13:50:09 +00:00
|
|
|
|
|
|
|
Handle<Object> global(isolate->context()->global_object(), isolate);
|
|
|
|
MaybeHandle<Object> retval =
|
|
|
|
Execution::Call(isolate, main_fun_wrapper, global, 0, nullptr);
|
|
|
|
CHECK(!retval.is_null());
|
|
|
|
int result;
|
|
|
|
CHECK(retval.ToHandleChecked()->ToInt32(&result));
|
|
|
|
CHECK_EQ(14, result);
|
2017-01-24 10:13:33 +00:00
|
|
|
}
|
|
|
|
|
2017-10-25 12:46:43 +00:00
|
|
|
WASM_COMPILED_EXEC_TEST(WasmStepInAndOut) {
|
|
|
|
WasmRunner<int, int> runner(execution_mode);
|
2017-01-24 10:13:33 +00:00
|
|
|
WasmFunctionCompiler& f2 = runner.NewFunction<void>();
|
|
|
|
f2.AllocateLocal(ValueType::kWord32);
|
2017-01-20 13:50:09 +00:00
|
|
|
|
2017-01-24 10:13:33 +00:00
|
|
|
// Call f2 via indirect call, because a direct call requires f2 to exist when
|
|
|
|
// we compile main, but we need to compile main first so that the order of
|
|
|
|
// functions in the code section matches the function indexes.
|
|
|
|
|
|
|
|
// return arg0
|
|
|
|
BUILD(runner, WASM_RETURN1(WASM_GET_LOCAL(0)));
|
|
|
|
// for (int i = 0; i < 10; ++i) { f2(i); }
|
|
|
|
BUILD(f2, WASM_LOOP(
|
|
|
|
WASM_BR_IF(0, WASM_BINOP(kExprI32GeU, WASM_GET_LOCAL(0),
|
|
|
|
WASM_I32V_1(10))),
|
|
|
|
WASM_SET_LOCAL(
|
|
|
|
0, WASM_BINOP(kExprI32Sub, WASM_GET_LOCAL(0), WASM_ONE)),
|
|
|
|
WASM_CALL_FUNCTION(runner.function_index(), WASM_GET_LOCAL(0)),
|
2017-02-02 23:06:21 +00:00
|
|
|
WASM_DROP, WASM_BR(1)));
|
2017-01-24 10:13:33 +00:00
|
|
|
|
|
|
|
Isolate* isolate = runner.main_isolate();
|
|
|
|
Handle<JSFunction> main_fun_wrapper =
|
2017-08-19 16:34:11 +00:00
|
|
|
runner.builder().WrapCode(f2.function_index());
|
2017-01-24 10:13:33 +00:00
|
|
|
|
|
|
|
// Set first breakpoint on the GetLocal (offset 19) before the Call.
|
|
|
|
SetBreakpoint(runner, f2.function_index(), 19, 19);
|
|
|
|
|
|
|
|
BreakHandler count_breaks(isolate,
|
|
|
|
{
|
|
|
|
{19, BreakHandler::StepIn}, // GetLocal
|
|
|
|
{21, BreakHandler::StepIn}, // Call
|
|
|
|
{1, BreakHandler::StepOut}, // in f2
|
|
|
|
{23, BreakHandler::Continue} // After Call
|
|
|
|
});
|
|
|
|
|
|
|
|
Handle<Object> global(isolate->context()->global_object(), isolate);
|
|
|
|
CHECK(!Execution::Call(isolate, main_fun_wrapper, global, 0, nullptr)
|
|
|
|
.is_null());
|
2017-01-20 13:50:09 +00:00
|
|
|
}
|
2017-04-12 09:33:35 +00:00
|
|
|
|
2017-10-25 12:46:43 +00:00
|
|
|
WASM_COMPILED_EXEC_TEST(WasmGetLocalsAndStack) {
|
|
|
|
WasmRunner<void, int> runner(execution_mode);
|
2017-04-12 09:33:35 +00:00
|
|
|
runner.AllocateLocal(ValueType::kWord64);
|
|
|
|
runner.AllocateLocal(ValueType::kFloat32);
|
|
|
|
runner.AllocateLocal(ValueType::kFloat64);
|
|
|
|
|
|
|
|
BUILD(runner,
|
|
|
|
// set [1] to 17
|
|
|
|
WASM_SET_LOCAL(1, WASM_I64V_1(17)),
|
|
|
|
// set [2] to <arg0> = 7
|
|
|
|
WASM_SET_LOCAL(2, WASM_F32_SCONVERT_I32(WASM_GET_LOCAL(0))),
|
|
|
|
// set [3] to <arg1>/2 = 8.5
|
|
|
|
WASM_SET_LOCAL(3, WASM_F64_DIV(WASM_F64_SCONVERT_I64(WASM_GET_LOCAL(1)),
|
|
|
|
WASM_F64(2))));
|
|
|
|
|
|
|
|
Isolate* isolate = runner.main_isolate();
|
|
|
|
Handle<JSFunction> main_fun_wrapper =
|
2017-08-19 16:34:11 +00:00
|
|
|
runner.builder().WrapCode(runner.function_index());
|
2017-04-12 09:33:35 +00:00
|
|
|
|
|
|
|
// Set breakpoint at the first instruction (7 bytes for local decls: num
|
|
|
|
// entries + 3x<count, type>).
|
|
|
|
SetBreakpoint(runner, runner.function_index(), 7, 7);
|
|
|
|
|
|
|
|
CollectValuesBreakHandler break_handler(
|
|
|
|
isolate,
|
|
|
|
{
|
|
|
|
// params + locals stack
|
|
|
|
{wasmVec(7, 0L, 0.f, 0.), wasmVec()}, // 0: i64.const[17]
|
|
|
|
{wasmVec(7, 0L, 0.f, 0.), wasmVec(17L)}, // 1: set_local[1]
|
|
|
|
{wasmVec(7, 17L, 0.f, 0.), wasmVec()}, // 2: get_local[0]
|
|
|
|
{wasmVec(7, 17L, 0.f, 0.), wasmVec(7)}, // 3: f32.convert_s
|
|
|
|
{wasmVec(7, 17L, 0.f, 0.), wasmVec(7.f)}, // 4: set_local[2]
|
|
|
|
{wasmVec(7, 17L, 7.f, 0.), wasmVec()}, // 5: get_local[1]
|
|
|
|
{wasmVec(7, 17L, 7.f, 0.), wasmVec(17L)}, // 6: f64.convert_s
|
|
|
|
{wasmVec(7, 17L, 7.f, 0.), wasmVec(17.)}, // 7: f64.const[2]
|
|
|
|
{wasmVec(7, 17L, 7.f, 0.), wasmVec(17., 2.)}, // 8: f64.div
|
|
|
|
{wasmVec(7, 17L, 7.f, 0.), wasmVec(8.5)}, // 9: set_local[3]
|
|
|
|
{wasmVec(7, 17L, 7.f, 8.5), wasmVec()}, // 10: end
|
|
|
|
});
|
|
|
|
|
|
|
|
Handle<Object> global(isolate->context()->global_object(), isolate);
|
|
|
|
Handle<Object> args[]{handle(Smi::FromInt(7), isolate)};
|
|
|
|
CHECK(!Execution::Call(isolate, main_fun_wrapper, global, 1, args).is_null());
|
|
|
|
}
|
2017-09-01 12:57:34 +00:00
|
|
|
|
|
|
|
} // namespace wasm
|
|
|
|
} // namespace internal
|
|
|
|
} // namespace v8
|