4926be6eb2
A pre-requisite for this change was changing the interpreter to use Runtime::ForInStep to bring the interpreter implementation closer to the turbofan implementation. Also required to flatten out the cache parameters into the interpreter frame for de-opt. BUG=v8:4280 LOG=N Review URL: https://codereview.chromium.org/1531693002 Cr-Commit-Position: refs/heads/master@{#32986}
143 lines
3.6 KiB
C++
143 lines
3.6 KiB
C++
// Copyright 2015 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 "src/interpreter/control-flow-builders.h"
|
|
|
|
namespace v8 {
|
|
namespace internal {
|
|
namespace interpreter {
|
|
|
|
|
|
BreakableControlFlowBuilder::~BreakableControlFlowBuilder() {
|
|
DCHECK(break_sites_.empty());
|
|
}
|
|
|
|
|
|
void BreakableControlFlowBuilder::SetBreakTarget(const BytecodeLabel& target) {
|
|
BindLabels(target, &break_sites_);
|
|
}
|
|
|
|
|
|
void BreakableControlFlowBuilder::EmitJump(ZoneVector<BytecodeLabel>* sites) {
|
|
sites->push_back(BytecodeLabel());
|
|
builder()->Jump(&sites->back());
|
|
}
|
|
|
|
|
|
void BreakableControlFlowBuilder::EmitJumpIfTrue(
|
|
ZoneVector<BytecodeLabel>* sites) {
|
|
sites->push_back(BytecodeLabel());
|
|
builder()->JumpIfTrue(&sites->back());
|
|
}
|
|
|
|
|
|
void BreakableControlFlowBuilder::EmitJumpIfFalse(
|
|
ZoneVector<BytecodeLabel>* sites) {
|
|
sites->push_back(BytecodeLabel());
|
|
builder()->JumpIfFalse(&sites->back());
|
|
}
|
|
|
|
|
|
void BreakableControlFlowBuilder::EmitJumpIfUndefined(
|
|
ZoneVector<BytecodeLabel>* sites) {
|
|
sites->push_back(BytecodeLabel());
|
|
builder()->JumpIfUndefined(&sites->back());
|
|
}
|
|
|
|
|
|
void BreakableControlFlowBuilder::EmitJumpIfNull(
|
|
ZoneVector<BytecodeLabel>* sites) {
|
|
sites->push_back(BytecodeLabel());
|
|
builder()->JumpIfNull(&sites->back());
|
|
}
|
|
|
|
|
|
void BreakableControlFlowBuilder::EmitJump(ZoneVector<BytecodeLabel>* sites,
|
|
int index) {
|
|
builder()->Jump(&sites->at(index));
|
|
}
|
|
|
|
|
|
void BreakableControlFlowBuilder::EmitJumpIfTrue(
|
|
ZoneVector<BytecodeLabel>* sites, int index) {
|
|
builder()->JumpIfTrue(&sites->at(index));
|
|
}
|
|
|
|
|
|
void BreakableControlFlowBuilder::EmitJumpIfFalse(
|
|
ZoneVector<BytecodeLabel>* sites, int index) {
|
|
builder()->JumpIfFalse(&sites->at(index));
|
|
}
|
|
|
|
|
|
void BreakableControlFlowBuilder::BindLabels(const BytecodeLabel& target,
|
|
ZoneVector<BytecodeLabel>* sites) {
|
|
for (size_t i = 0; i < sites->size(); i++) {
|
|
BytecodeLabel& site = sites->at(i);
|
|
builder()->Bind(target, &site);
|
|
}
|
|
sites->clear();
|
|
}
|
|
|
|
|
|
void BlockBuilder::EndBlock() {
|
|
builder()->Bind(&block_end_);
|
|
SetBreakTarget(block_end_);
|
|
}
|
|
|
|
|
|
LoopBuilder::~LoopBuilder() { DCHECK(continue_sites_.empty()); }
|
|
|
|
|
|
void LoopBuilder::LoopHeader() {
|
|
// Jumps from before the loop header into the loop violate ordering
|
|
// requirements of bytecode basic blocks. The only entry into a loop
|
|
// must be the loop header. Surely breaks is okay? Not if nested
|
|
// and misplaced between the headers.
|
|
DCHECK(break_sites_.empty() && continue_sites_.empty());
|
|
builder()->Bind(&loop_header_);
|
|
}
|
|
|
|
|
|
void LoopBuilder::EndLoop() {
|
|
// Loop must have closed form, i.e. all loop elements are within the loop,
|
|
// the loop header precedes the body and next elements in the loop.
|
|
DCHECK(loop_header_.is_bound());
|
|
builder()->Bind(&loop_end_);
|
|
SetBreakTarget(loop_end_);
|
|
if (next_.is_bound()) {
|
|
DCHECK(!condition_.is_bound() || next_.offset() >= condition_.offset());
|
|
SetContinueTarget(next_);
|
|
} else {
|
|
DCHECK(condition_.is_bound());
|
|
DCHECK_GE(condition_.offset(), loop_header_.offset());
|
|
DCHECK_LE(condition_.offset(), loop_end_.offset());
|
|
SetContinueTarget(condition_);
|
|
}
|
|
}
|
|
|
|
|
|
void LoopBuilder::SetContinueTarget(const BytecodeLabel& target) {
|
|
BindLabels(target, &continue_sites_);
|
|
}
|
|
|
|
|
|
SwitchBuilder::~SwitchBuilder() {
|
|
#ifdef DEBUG
|
|
for (auto site : case_sites_) {
|
|
DCHECK(site.is_bound());
|
|
}
|
|
#endif
|
|
}
|
|
|
|
|
|
void SwitchBuilder::SetCaseTarget(int index) {
|
|
BytecodeLabel& site = case_sites_.at(index);
|
|
builder()->Bind(&site);
|
|
}
|
|
|
|
} // namespace interpreter
|
|
} // namespace internal
|
|
} // namespace v8
|