| OLD | NEW |
| 1 // Copyright 2014 the V8 project authors. All rights reserved. | 1 // Copyright 2014 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/compiler/common-operator.h" | 5 #include "src/compiler/common-operator.h" |
| 6 #include "src/compiler/graph.h" | 6 #include "src/compiler/graph.h" |
| 7 #include "src/compiler/instruction.h" | 7 #include "src/compiler/instruction.h" |
| 8 #include "src/compiler/schedule.h" |
| 8 | 9 |
| 9 namespace v8 { | 10 namespace v8 { |
| 10 namespace internal { | 11 namespace internal { |
| 11 namespace compiler { | 12 namespace compiler { |
| 12 | 13 |
| 13 std::ostream& operator<<(std::ostream& os, | 14 std::ostream& operator<<(std::ostream& os, |
| 14 const PrintableInstructionOperand& printable) { | 15 const PrintableInstructionOperand& printable) { |
| 15 const InstructionOperand& op = *printable.op_; | 16 const InstructionOperand& op = *printable.op_; |
| 16 const RegisterConfiguration* conf = printable.register_configuration_; | 17 const RegisterConfiguration* conf = printable.register_configuration_; |
| 17 switch (op.kind()) { | 18 switch (op.kind()) { |
| (...skipping 350 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 368 | 369 |
| 369 | 370 |
| 370 void PhiInstruction::SetInput(size_t offset, int virtual_register) { | 371 void PhiInstruction::SetInput(size_t offset, int virtual_register) { |
| 371 DCHECK(inputs_[offset].IsInvalid()); | 372 DCHECK(inputs_[offset].IsInvalid()); |
| 372 auto input = UnallocatedOperand(UnallocatedOperand::ANY, virtual_register); | 373 auto input = UnallocatedOperand(UnallocatedOperand::ANY, virtual_register); |
| 373 inputs_[offset] = input; | 374 inputs_[offset] = input; |
| 374 operands_[offset] = virtual_register; | 375 operands_[offset] = virtual_register; |
| 375 } | 376 } |
| 376 | 377 |
| 377 | 378 |
| 378 InstructionBlock::InstructionBlock(Zone* zone, BasicBlock::Id id, | 379 InstructionBlock::InstructionBlock(Zone* zone, RpoNumber rpo_number, |
| 379 BasicBlock::RpoNumber rpo_number, | 380 RpoNumber loop_header, RpoNumber loop_end, |
| 380 BasicBlock::RpoNumber loop_header, | |
| 381 BasicBlock::RpoNumber loop_end, | |
| 382 bool deferred) | 381 bool deferred) |
| 383 : successors_(zone), | 382 : successors_(zone), |
| 384 predecessors_(zone), | 383 predecessors_(zone), |
| 385 phis_(zone), | 384 phis_(zone), |
| 386 id_(id), | |
| 387 ao_number_(rpo_number), | 385 ao_number_(rpo_number), |
| 388 rpo_number_(rpo_number), | 386 rpo_number_(rpo_number), |
| 389 loop_header_(loop_header), | 387 loop_header_(loop_header), |
| 390 loop_end_(loop_end), | 388 loop_end_(loop_end), |
| 391 code_start_(-1), | 389 code_start_(-1), |
| 392 code_end_(-1), | 390 code_end_(-1), |
| 393 deferred_(deferred) {} | 391 deferred_(deferred) {} |
| 394 | 392 |
| 395 | 393 |
| 396 size_t InstructionBlock::PredecessorIndexOf( | 394 size_t InstructionBlock::PredecessorIndexOf(RpoNumber rpo_number) const { |
| 397 BasicBlock::RpoNumber rpo_number) const { | |
| 398 size_t j = 0; | 395 size_t j = 0; |
| 399 for (InstructionBlock::Predecessors::const_iterator i = predecessors_.begin(); | 396 for (InstructionBlock::Predecessors::const_iterator i = predecessors_.begin(); |
| 400 i != predecessors_.end(); ++i, ++j) { | 397 i != predecessors_.end(); ++i, ++j) { |
| 401 if (*i == rpo_number) break; | 398 if (*i == rpo_number) break; |
| 402 } | 399 } |
| 403 return j; | 400 return j; |
| 404 } | 401 } |
| 405 | 402 |
| 406 | 403 |
| 407 static BasicBlock::RpoNumber GetRpo(BasicBlock* block) { | 404 static RpoNumber GetRpo(const BasicBlock* block) { |
| 408 if (block == NULL) return BasicBlock::RpoNumber::Invalid(); | 405 if (block == NULL) return RpoNumber::Invalid(); |
| 409 return block->GetRpoNumber(); | 406 return RpoNumber::FromInt(block->rpo_number()); |
| 410 } | 407 } |
| 411 | 408 |
| 412 | 409 |
| 413 static BasicBlock::RpoNumber GetLoopEndRpo(const BasicBlock* block) { | 410 static RpoNumber GetLoopEndRpo(const BasicBlock* block) { |
| 414 if (!block->IsLoopHeader()) return BasicBlock::RpoNumber::Invalid(); | 411 if (!block->IsLoopHeader()) return RpoNumber::Invalid(); |
| 415 return block->loop_end()->GetRpoNumber(); | 412 return RpoNumber::FromInt(block->loop_end()->rpo_number()); |
| 416 } | 413 } |
| 417 | 414 |
| 418 | 415 |
| 419 static InstructionBlock* InstructionBlockFor(Zone* zone, | 416 static InstructionBlock* InstructionBlockFor(Zone* zone, |
| 420 const BasicBlock* block) { | 417 const BasicBlock* block) { |
| 421 InstructionBlock* instr_block = new (zone) InstructionBlock( | 418 InstructionBlock* instr_block = new (zone) |
| 422 zone, block->id(), block->GetRpoNumber(), GetRpo(block->loop_header()), | 419 InstructionBlock(zone, GetRpo(block), GetRpo(block->loop_header()), |
| 423 GetLoopEndRpo(block), block->deferred()); | 420 GetLoopEndRpo(block), block->deferred()); |
| 424 // Map successors and precessors | 421 // Map successors and precessors |
| 425 instr_block->successors().reserve(block->SuccessorCount()); | 422 instr_block->successors().reserve(block->SuccessorCount()); |
| 426 for (BasicBlock* successor : block->successors()) { | 423 for (BasicBlock* successor : block->successors()) { |
| 427 instr_block->successors().push_back(successor->GetRpoNumber()); | 424 instr_block->successors().push_back(GetRpo(successor)); |
| 428 } | 425 } |
| 429 instr_block->predecessors().reserve(block->PredecessorCount()); | 426 instr_block->predecessors().reserve(block->PredecessorCount()); |
| 430 for (BasicBlock* predecessor : block->predecessors()) { | 427 for (BasicBlock* predecessor : block->predecessors()) { |
| 431 instr_block->predecessors().push_back(predecessor->GetRpoNumber()); | 428 instr_block->predecessors().push_back(GetRpo(predecessor)); |
| 432 } | 429 } |
| 433 return instr_block; | 430 return instr_block; |
| 434 } | 431 } |
| 435 | 432 |
| 436 | 433 |
| 437 InstructionBlocks* InstructionSequence::InstructionBlocksFor( | 434 InstructionBlocks* InstructionSequence::InstructionBlocksFor( |
| 438 Zone* zone, const Schedule* schedule) { | 435 Zone* zone, const Schedule* schedule) { |
| 439 InstructionBlocks* blocks = zone->NewArray<InstructionBlocks>(1); | 436 InstructionBlocks* blocks = zone->NewArray<InstructionBlocks>(1); |
| 440 new (blocks) InstructionBlocks( | 437 new (blocks) InstructionBlocks( |
| 441 static_cast<int>(schedule->rpo_order()->size()), NULL, zone); | 438 static_cast<int>(schedule->rpo_order()->size()), NULL, zone); |
| 442 size_t rpo_number = 0; | 439 size_t rpo_number = 0; |
| 443 for (BasicBlockVector::const_iterator it = schedule->rpo_order()->begin(); | 440 for (BasicBlockVector::const_iterator it = schedule->rpo_order()->begin(); |
| 444 it != schedule->rpo_order()->end(); ++it, ++rpo_number) { | 441 it != schedule->rpo_order()->end(); ++it, ++rpo_number) { |
| 445 DCHECK(!(*blocks)[rpo_number]); | 442 DCHECK(!(*blocks)[rpo_number]); |
| 446 DCHECK((*it)->GetRpoNumber().ToSize() == rpo_number); | 443 DCHECK(GetRpo(*it).ToSize() == rpo_number); |
| 447 (*blocks)[rpo_number] = InstructionBlockFor(zone, *it); | 444 (*blocks)[rpo_number] = InstructionBlockFor(zone, *it); |
| 448 } | 445 } |
| 449 ComputeAssemblyOrder(blocks); | 446 ComputeAssemblyOrder(blocks); |
| 450 return blocks; | 447 return blocks; |
| 451 } | 448 } |
| 452 | 449 |
| 453 | 450 |
| 454 void InstructionSequence::ComputeAssemblyOrder(InstructionBlocks* blocks) { | 451 void InstructionSequence::ComputeAssemblyOrder(InstructionBlocks* blocks) { |
| 455 int ao = 0; | 452 int ao = 0; |
| 456 for (auto const block : *blocks) { | 453 for (auto const block : *blocks) { |
| 457 if (!block->IsDeferred()) { | 454 if (!block->IsDeferred()) { |
| 458 block->set_ao_number(BasicBlock::RpoNumber::FromInt(ao++)); | 455 block->set_ao_number(RpoNumber::FromInt(ao++)); |
| 459 } | 456 } |
| 460 } | 457 } |
| 461 for (auto const block : *blocks) { | 458 for (auto const block : *blocks) { |
| 462 if (block->IsDeferred()) { | 459 if (block->IsDeferred()) { |
| 463 block->set_ao_number(BasicBlock::RpoNumber::FromInt(ao++)); | 460 block->set_ao_number(RpoNumber::FromInt(ao++)); |
| 464 } | 461 } |
| 465 } | 462 } |
| 466 } | 463 } |
| 467 | 464 |
| 468 | 465 |
| 469 InstructionSequence::InstructionSequence(Isolate* isolate, | 466 InstructionSequence::InstructionSequence(Isolate* isolate, |
| 470 Zone* instruction_zone, | 467 Zone* instruction_zone, |
| 471 InstructionBlocks* instruction_blocks) | 468 InstructionBlocks* instruction_blocks) |
| 472 : isolate_(isolate), | 469 : isolate_(isolate), |
| 473 zone_(instruction_zone), | 470 zone_(instruction_zone), |
| (...skipping 12 matching lines...) Expand all Loading... |
| 486 } | 483 } |
| 487 | 484 |
| 488 | 485 |
| 489 int InstructionSequence::NextVirtualRegister() { | 486 int InstructionSequence::NextVirtualRegister() { |
| 490 int virtual_register = next_virtual_register_++; | 487 int virtual_register = next_virtual_register_++; |
| 491 CHECK_NE(virtual_register, InstructionOperand::kInvalidVirtualRegister); | 488 CHECK_NE(virtual_register, InstructionOperand::kInvalidVirtualRegister); |
| 492 return virtual_register; | 489 return virtual_register; |
| 493 } | 490 } |
| 494 | 491 |
| 495 | 492 |
| 496 GapInstruction* InstructionSequence::GetBlockStart( | 493 GapInstruction* InstructionSequence::GetBlockStart(RpoNumber rpo) const { |
| 497 BasicBlock::RpoNumber rpo) const { | |
| 498 const InstructionBlock* block = InstructionBlockAt(rpo); | 494 const InstructionBlock* block = InstructionBlockAt(rpo); |
| 499 return GapInstruction::cast(InstructionAt(block->code_start())); | 495 return GapInstruction::cast(InstructionAt(block->code_start())); |
| 500 } | 496 } |
| 501 | 497 |
| 502 | 498 |
| 503 void InstructionSequence::StartBlock(BasicBlock::RpoNumber rpo) { | 499 void InstructionSequence::StartBlock(RpoNumber rpo) { |
| 504 DCHECK(block_starts_.size() == rpo.ToSize()); | 500 DCHECK(block_starts_.size() == rpo.ToSize()); |
| 505 InstructionBlock* block = InstructionBlockAt(rpo); | 501 InstructionBlock* block = InstructionBlockAt(rpo); |
| 506 int code_start = static_cast<int>(instructions_.size()); | 502 int code_start = static_cast<int>(instructions_.size()); |
| 507 block->set_code_start(code_start); | 503 block->set_code_start(code_start); |
| 508 block_starts_.push_back(code_start); | 504 block_starts_.push_back(code_start); |
| 509 } | 505 } |
| 510 | 506 |
| 511 | 507 |
| 512 void InstructionSequence::EndBlock(BasicBlock::RpoNumber rpo) { | 508 void InstructionSequence::EndBlock(RpoNumber rpo) { |
| 513 int end = static_cast<int>(instructions_.size()); | 509 int end = static_cast<int>(instructions_.size()); |
| 514 InstructionBlock* block = InstructionBlockAt(rpo); | 510 InstructionBlock* block = InstructionBlockAt(rpo); |
| 515 if (block->code_start() == end) { // Empty block. Insert a nop. | 511 if (block->code_start() == end) { // Empty block. Insert a nop. |
| 516 AddInstruction(Instruction::New(zone(), kArchNop)); | 512 AddInstruction(Instruction::New(zone(), kArchNop)); |
| 517 end = static_cast<int>(instructions_.size()); | 513 end = static_cast<int>(instructions_.size()); |
| 518 } | 514 } |
| 519 DCHECK(block->code_start() >= 0 && block->code_start() < end); | 515 DCHECK(block->code_start() >= 0 && block->code_start() < end); |
| 520 block->set_code_end(end); | 516 block->set_code_end(end); |
| 521 } | 517 } |
| 522 | 518 |
| (...skipping 138 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 661 return types_[index]; | 657 return types_[index]; |
| 662 } | 658 } |
| 663 | 659 |
| 664 | 660 |
| 665 void FrameStateDescriptor::SetType(size_t index, MachineType type) { | 661 void FrameStateDescriptor::SetType(size_t index, MachineType type) { |
| 666 DCHECK(index < GetSize()); | 662 DCHECK(index < GetSize()); |
| 667 types_[index] = type; | 663 types_[index] = type; |
| 668 } | 664 } |
| 669 | 665 |
| 670 | 666 |
| 667 std::ostream& operator<<(std::ostream& os, const RpoNumber& rpo) { |
| 668 return os << rpo.ToSize(); |
| 669 } |
| 670 |
| 671 |
| 671 std::ostream& operator<<(std::ostream& os, | 672 std::ostream& operator<<(std::ostream& os, |
| 672 const PrintableInstructionSequence& printable) { | 673 const PrintableInstructionSequence& printable) { |
| 673 const InstructionSequence& code = *printable.sequence_; | 674 const InstructionSequence& code = *printable.sequence_; |
| 674 for (size_t i = 0; i < code.immediates_.size(); ++i) { | 675 for (size_t i = 0; i < code.immediates_.size(); ++i) { |
| 675 Constant constant = code.immediates_[i]; | 676 Constant constant = code.immediates_[i]; |
| 676 os << "IMM#" << i << ": " << constant << "\n"; | 677 os << "IMM#" << i << ": " << constant << "\n"; |
| 677 } | 678 } |
| 678 int i = 0; | 679 int i = 0; |
| 679 for (ConstantMap::const_iterator it = code.constants_.begin(); | 680 for (ConstantMap::const_iterator it = code.constants_.begin(); |
| 680 it != code.constants_.end(); ++i, ++it) { | 681 it != code.constants_.end(); ++i, ++it) { |
| 681 os << "CST#" << i << ": v" << it->first << " = " << it->second << "\n"; | 682 os << "CST#" << i << ": v" << it->first << " = " << it->second << "\n"; |
| 682 } | 683 } |
| 683 for (int i = 0; i < code.InstructionBlockCount(); i++) { | 684 for (int i = 0; i < code.InstructionBlockCount(); i++) { |
| 684 BasicBlock::RpoNumber rpo = BasicBlock::RpoNumber::FromInt(i); | 685 RpoNumber rpo = RpoNumber::FromInt(i); |
| 685 const InstructionBlock* block = code.InstructionBlockAt(rpo); | 686 const InstructionBlock* block = code.InstructionBlockAt(rpo); |
| 686 CHECK(block->rpo_number() == rpo); | 687 CHECK(block->rpo_number() == rpo); |
| 687 | 688 |
| 688 os << "RPO#" << block->rpo_number(); | 689 os << "B" << block->rpo_number(); |
| 689 os << ": AO#" << block->ao_number(); | 690 os << ": AO#" << block->ao_number(); |
| 690 os << ": B" << block->id(); | |
| 691 if (block->IsDeferred()) os << " (deferred)"; | 691 if (block->IsDeferred()) os << " (deferred)"; |
| 692 if (block->IsLoopHeader()) { | 692 if (block->IsLoopHeader()) { |
| 693 os << " loop blocks: [" << block->rpo_number() << ", " | 693 os << " loop blocks: [" << block->rpo_number() << ", " |
| 694 << block->loop_end() << ")"; | 694 << block->loop_end() << ")"; |
| 695 } | 695 } |
| 696 os << " instructions: [" << block->code_start() << ", " | 696 os << " instructions: [" << block->code_start() << ", " |
| 697 << block->code_end() << ")\n predecessors:"; | 697 << block->code_end() << ")\n predecessors:"; |
| 698 | 698 |
| 699 for (auto pred : block->predecessors()) { | 699 for (auto pred : block->predecessors()) { |
| 700 const InstructionBlock* pred_block = code.InstructionBlockAt(pred); | 700 os << " B" << pred.ToInt(); |
| 701 os << " B" << pred_block->id(); | |
| 702 } | 701 } |
| 703 os << "\n"; | 702 os << "\n"; |
| 704 | 703 |
| 705 for (auto phi : block->phis()) { | 704 for (auto phi : block->phis()) { |
| 706 PrintableInstructionOperand printable_op = { | 705 PrintableInstructionOperand printable_op = { |
| 707 printable.register_configuration_, &phi->output()}; | 706 printable.register_configuration_, &phi->output()}; |
| 708 os << " phi: " << printable_op << " ="; | 707 os << " phi: " << printable_op << " ="; |
| 709 for (auto input : phi->inputs()) { | 708 for (auto input : phi->inputs()) { |
| 710 printable_op.op_ = &input; | 709 printable_op.op_ = &input; |
| 711 os << " " << printable_op; | 710 os << " " << printable_op; |
| 712 } | 711 } |
| 713 os << "\n"; | 712 os << "\n"; |
| 714 } | 713 } |
| 715 | 714 |
| 716 ScopedVector<char> buf(32); | 715 ScopedVector<char> buf(32); |
| 717 PrintableInstruction printable_instr; | 716 PrintableInstruction printable_instr; |
| 718 printable_instr.register_configuration_ = printable.register_configuration_; | 717 printable_instr.register_configuration_ = printable.register_configuration_; |
| 719 for (int j = block->first_instruction_index(); | 718 for (int j = block->first_instruction_index(); |
| 720 j <= block->last_instruction_index(); j++) { | 719 j <= block->last_instruction_index(); j++) { |
| 721 // TODO(svenpanne) Add some basic formatting to our streams. | 720 // TODO(svenpanne) Add some basic formatting to our streams. |
| 722 SNPrintF(buf, "%5d", j); | 721 SNPrintF(buf, "%5d", j); |
| 723 printable_instr.instr_ = code.InstructionAt(j); | 722 printable_instr.instr_ = code.InstructionAt(j); |
| 724 os << " " << buf.start() << ": " << printable_instr << "\n"; | 723 os << " " << buf.start() << ": " << printable_instr << "\n"; |
| 725 } | 724 } |
| 726 | 725 |
| 727 for (auto succ : block->successors()) { | 726 for (auto succ : block->successors()) { |
| 728 const InstructionBlock* succ_block = code.InstructionBlockAt(succ); | 727 os << " B" << succ.ToInt(); |
| 729 os << " B" << succ_block->id(); | |
| 730 } | 728 } |
| 731 os << "\n"; | 729 os << "\n"; |
| 732 } | 730 } |
| 733 return os; | 731 return os; |
| 734 } | 732 } |
| 735 | 733 |
| 736 } // namespace compiler | 734 } // namespace compiler |
| 737 } // namespace internal | 735 } // namespace internal |
| 738 } // namespace v8 | 736 } // namespace v8 |
| OLD | NEW |