| OLD | NEW |
| 1 // Copyright 2016 the V8 project authors. All rights reserved. | 1 // Copyright 2016 the V8 project authors. All rights reserved. |
| 2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
| 4 | 4 |
| 5 #include "src/interpreter/bytecode-register-optimizer.h" | 5 #include "src/interpreter/bytecode-register-optimizer.h" |
| 6 | 6 |
| 7 namespace v8 { | 7 namespace v8 { |
| 8 namespace internal { | 8 namespace internal { |
| 9 namespace interpreter { | 9 namespace interpreter { |
| 10 | 10 |
| (...skipping 247 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 258 | 258 |
| 259 void BytecodeRegisterOptimizer::OutputRegisterTransfer( | 259 void BytecodeRegisterOptimizer::OutputRegisterTransfer( |
| 260 RegisterInfo* input_info, RegisterInfo* output_info, | 260 RegisterInfo* input_info, RegisterInfo* output_info, |
| 261 BytecodeSourceInfo source_info) { | 261 BytecodeSourceInfo source_info) { |
| 262 Register input = input_info->register_value(); | 262 Register input = input_info->register_value(); |
| 263 Register output = output_info->register_value(); | 263 Register output = output_info->register_value(); |
| 264 DCHECK_NE(input.index(), output.index()); | 264 DCHECK_NE(input.index(), output.index()); |
| 265 | 265 |
| 266 if (input == accumulator_) { | 266 if (input == accumulator_) { |
| 267 uint32_t operand = static_cast<uint32_t>(output.ToOperand()); | 267 uint32_t operand = static_cast<uint32_t>(output.ToOperand()); |
| 268 BytecodeNode node(Bytecode::kStar, operand, source_info); | 268 BytecodeNode node = BytecodeNode::Star(source_info, operand); |
| 269 next_stage_->Write(&node); | 269 next_stage_->Write(&node); |
| 270 } else if (output == accumulator_) { | 270 } else if (output == accumulator_) { |
| 271 uint32_t operand = static_cast<uint32_t>(input.ToOperand()); | 271 uint32_t operand = static_cast<uint32_t>(input.ToOperand()); |
| 272 BytecodeNode node(Bytecode::kLdar, operand, source_info); | 272 BytecodeNode node = BytecodeNode::Ldar(source_info, operand); |
| 273 next_stage_->Write(&node); | 273 next_stage_->Write(&node); |
| 274 } else { | 274 } else { |
| 275 uint32_t operand0 = static_cast<uint32_t>(input.ToOperand()); | 275 uint32_t operand0 = static_cast<uint32_t>(input.ToOperand()); |
| 276 uint32_t operand1 = static_cast<uint32_t>(output.ToOperand()); | 276 uint32_t operand1 = static_cast<uint32_t>(output.ToOperand()); |
| 277 BytecodeNode node(Bytecode::kMov, operand0, operand1, source_info); | 277 BytecodeNode node = BytecodeNode::Mov(source_info, operand0, operand1); |
| 278 next_stage_->Write(&node); | 278 next_stage_->Write(&node); |
| 279 } | 279 } |
| 280 if (output != accumulator_) { | 280 if (output != accumulator_) { |
| 281 max_register_index_ = std::max(max_register_index_, output.index()); | 281 max_register_index_ = std::max(max_register_index_, output.index()); |
| 282 } | 282 } |
| 283 output_info->set_materialized(true); | 283 output_info->set_materialized(true); |
| 284 } | 284 } |
| 285 | 285 |
| 286 void BytecodeRegisterOptimizer::CreateMaterializedEquivalent( | 286 void BytecodeRegisterOptimizer::CreateMaterializedEquivalent( |
| 287 RegisterInfo* info) { | 287 RegisterInfo* info) { |
| (...skipping 70 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 358 if (input_is_observable) { | 358 if (input_is_observable) { |
| 359 // If input is observable by the debugger, mark all other temporaries | 359 // If input is observable by the debugger, mark all other temporaries |
| 360 // registers as unmaterialized so that this register is used in preference. | 360 // registers as unmaterialized so that this register is used in preference. |
| 361 input_info->MarkTemporariesAsUnmaterialized(temporary_base_); | 361 input_info->MarkTemporariesAsUnmaterialized(temporary_base_); |
| 362 } | 362 } |
| 363 } | 363 } |
| 364 | 364 |
| 365 void BytecodeRegisterOptimizer::EmitNopForSourceInfo( | 365 void BytecodeRegisterOptimizer::EmitNopForSourceInfo( |
| 366 BytecodeSourceInfo source_info) const { | 366 BytecodeSourceInfo source_info) const { |
| 367 DCHECK(source_info.is_valid()); | 367 DCHECK(source_info.is_valid()); |
| 368 BytecodeNode nop(Bytecode::kNop, source_info); | 368 BytecodeNode nop = BytecodeNode::Nop(source_info); |
| 369 next_stage_->Write(&nop); | 369 next_stage_->Write(&nop); |
| 370 } | 370 } |
| 371 | 371 |
| 372 void BytecodeRegisterOptimizer::PrepareOutputRegister(Register reg) { | 372 void BytecodeRegisterOptimizer::PrepareOutputRegister(Register reg) { |
| 373 RegisterInfo* reg_info = GetRegisterInfo(reg); | 373 RegisterInfo* reg_info = GetRegisterInfo(reg); |
| 374 if (reg_info->materialized()) { | 374 if (reg_info->materialized()) { |
| 375 CreateMaterializedEquivalent(reg_info); | 375 CreateMaterializedEquivalent(reg_info); |
| 376 } | 376 } |
| 377 reg_info->MoveToNewEquivalenceSet(NextEquivalenceId(), true); | 377 reg_info->MoveToNewEquivalenceSet(NextEquivalenceId(), true); |
| 378 max_register_index_ = | 378 max_register_index_ = |
| (...skipping 30 matching lines...) Expand all Loading... |
| 409 int start_index = reg_list.first_register().index(); | 409 int start_index = reg_list.first_register().index(); |
| 410 for (int i = 0; i < reg_list.register_count(); ++i) { | 410 for (int i = 0; i < reg_list.register_count(); ++i) { |
| 411 Register current(start_index + i); | 411 Register current(start_index + i); |
| 412 RegisterInfo* input_info = GetRegisterInfo(current); | 412 RegisterInfo* input_info = GetRegisterInfo(current); |
| 413 Materialize(input_info); | 413 Materialize(input_info); |
| 414 } | 414 } |
| 415 return reg_list; | 415 return reg_list; |
| 416 } | 416 } |
| 417 } | 417 } |
| 418 | 418 |
| 419 void BytecodeRegisterOptimizer::PrepareForBytecode(Bytecode bytecode) { | |
| 420 if (Bytecodes::IsJump(bytecode) || bytecode == Bytecode::kDebugger || | |
| 421 bytecode == Bytecode::kSuspendGenerator) { | |
| 422 // All state must be flushed before emitting | |
| 423 // - a jump bytecode (as the register equivalents at the jump target aren't | |
| 424 // known. | |
| 425 // - a call to the debugger (as it can manipulate locals and parameters), | |
| 426 // - a generator suspend (as this involves saving all registers). | |
| 427 Flush(); | |
| 428 } | |
| 429 | |
| 430 // Materialize the accumulator if it is read by the bytecode. The | |
| 431 // accumulator is special and no other register can be materialized | |
| 432 // in it's place. | |
| 433 if (Bytecodes::ReadsAccumulator(bytecode) && | |
| 434 !accumulator_info_->materialized()) { | |
| 435 Materialize(accumulator_info_); | |
| 436 } | |
| 437 | |
| 438 // Materialize an equivalent to the accumulator if it will be | |
| 439 // clobbered when the bytecode is dispatched. | |
| 440 if (Bytecodes::WritesAccumulator(bytecode)) { | |
| 441 PrepareOutputRegister(accumulator_); | |
| 442 } | |
| 443 } | |
| 444 | |
| 445 void BytecodeRegisterOptimizer::GrowRegisterMap(Register reg) { | 419 void BytecodeRegisterOptimizer::GrowRegisterMap(Register reg) { |
| 446 DCHECK(RegisterIsTemporary(reg)); | 420 DCHECK(RegisterIsTemporary(reg)); |
| 447 size_t index = GetRegisterInfoTableIndex(reg); | 421 size_t index = GetRegisterInfoTableIndex(reg); |
| 448 if (index >= register_info_table_.size()) { | 422 if (index >= register_info_table_.size()) { |
| 449 size_t new_size = index + 1; | 423 size_t new_size = index + 1; |
| 450 size_t old_size = register_info_table_.size(); | 424 size_t old_size = register_info_table_.size(); |
| 451 register_info_table_.resize(new_size); | 425 register_info_table_.resize(new_size); |
| 452 for (size_t i = old_size; i < new_size; ++i) { | 426 for (size_t i = old_size; i < new_size; ++i) { |
| 453 register_info_table_[i] = | 427 register_info_table_[i] = |
| 454 new (zone()) RegisterInfo(RegisterFromRegisterInfoTableIndex(i), | 428 new (zone()) RegisterInfo(RegisterFromRegisterInfoTableIndex(i), |
| (...skipping 20 matching lines...) Expand all Loading... |
| 475 void BytecodeRegisterOptimizer::RegisterListFreeEvent(RegisterList reg_list) { | 449 void BytecodeRegisterOptimizer::RegisterListFreeEvent(RegisterList reg_list) { |
| 476 int first_index = reg_list.first_register().index(); | 450 int first_index = reg_list.first_register().index(); |
| 477 for (int i = 0; i < reg_list.register_count(); i++) { | 451 for (int i = 0; i < reg_list.register_count(); i++) { |
| 478 GetRegisterInfo(Register(first_index + i))->set_allocated(false); | 452 GetRegisterInfo(Register(first_index + i))->set_allocated(false); |
| 479 } | 453 } |
| 480 } | 454 } |
| 481 | 455 |
| 482 } // namespace interpreter | 456 } // namespace interpreter |
| 483 } // namespace internal | 457 } // namespace internal |
| 484 } // namespace v8 | 458 } // namespace v8 |
| OLD | NEW |