| 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 #ifndef V8_REGISTER_ALLOCATOR_H_ | 5 #ifndef V8_REGISTER_ALLOCATOR_H_ |
| 6 #define V8_REGISTER_ALLOCATOR_H_ | 6 #define V8_REGISTER_ALLOCATOR_H_ |
| 7 | 7 |
| 8 #include "src/compiler/instruction.h" | 8 #include "src/compiler/instruction.h" |
| 9 #include "src/zone-containers.h" | 9 #include "src/zone-containers.h" |
| 10 | 10 |
| (...skipping 155 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 166 UsePosition* next_; | 166 UsePosition* next_; |
| 167 bool requires_reg_ : 1; | 167 bool requires_reg_ : 1; |
| 168 bool register_beneficial_ : 1; | 168 bool register_beneficial_ : 1; |
| 169 | 169 |
| 170 private: | 170 private: |
| 171 DISALLOW_COPY_AND_ASSIGN(UsePosition); | 171 DISALLOW_COPY_AND_ASSIGN(UsePosition); |
| 172 }; | 172 }; |
| 173 | 173 |
| 174 class SpillRange; | 174 class SpillRange; |
| 175 | 175 |
| 176 |
| 177 // TODO(dcarney): remove this cache. |
| 178 class InstructionOperandCache FINAL : public ZoneObject { |
| 179 public: |
| 180 InstructionOperandCache(); |
| 181 |
| 182 InstructionOperand* RegisterOperand(int index) { |
| 183 DCHECK(index >= 0 && |
| 184 index < static_cast<int>(arraysize(general_register_operands_))); |
| 185 return &general_register_operands_[index]; |
| 186 } |
| 187 InstructionOperand* DoubleRegisterOperand(int index) { |
| 188 DCHECK(index >= 0 && |
| 189 index < static_cast<int>(arraysize(double_register_operands_))); |
| 190 return &double_register_operands_[index]; |
| 191 } |
| 192 |
| 193 private: |
| 194 InstructionOperand |
| 195 general_register_operands_[RegisterConfiguration::kMaxGeneralRegisters]; |
| 196 InstructionOperand |
| 197 double_register_operands_[RegisterConfiguration::kMaxDoubleRegisters]; |
| 198 |
| 199 DISALLOW_COPY_AND_ASSIGN(InstructionOperandCache); |
| 200 }; |
| 201 |
| 202 |
| 176 // Representation of SSA values' live ranges as a collection of (continuous) | 203 // Representation of SSA values' live ranges as a collection of (continuous) |
| 177 // intervals over the instruction ordering. | 204 // intervals over the instruction ordering. |
| 178 class LiveRange FINAL : public ZoneObject { | 205 class LiveRange FINAL : public ZoneObject { |
| 179 public: | 206 public: |
| 180 static const int kInvalidAssignment = 0x7fffffff; | 207 static const int kInvalidAssignment = 0x7fffffff; |
| 181 | 208 |
| 182 LiveRange(int id, Zone* zone); | 209 LiveRange(int id, Zone* zone); |
| 183 | 210 |
| 184 UseInterval* first_interval() const { return first_interval_; } | 211 UseInterval* first_interval() const { return first_interval_; } |
| 185 UsePosition* first_pos() const { return first_pos_; } | 212 UsePosition* first_pos() const { return first_pos_; } |
| 186 LiveRange* parent() const { return parent_; } | 213 LiveRange* parent() const { return parent_; } |
| 187 LiveRange* TopLevel() { return (parent_ == nullptr) ? this : parent_; } | 214 LiveRange* TopLevel() { return (parent_ == nullptr) ? this : parent_; } |
| 188 const LiveRange* TopLevel() const { | 215 const LiveRange* TopLevel() const { |
| 189 return (parent_ == nullptr) ? this : parent_; | 216 return (parent_ == nullptr) ? this : parent_; |
| 190 } | 217 } |
| 191 LiveRange* next() const { return next_; } | 218 LiveRange* next() const { return next_; } |
| 192 bool IsChild() const { return parent() != nullptr; } | 219 bool IsChild() const { return parent() != nullptr; } |
| 193 int id() const { return id_; } | 220 int id() const { return id_; } |
| 194 bool IsFixed() const { return id_ < 0; } | 221 bool IsFixed() const { return id_ < 0; } |
| 195 bool IsEmpty() const { return first_interval() == nullptr; } | 222 bool IsEmpty() const { return first_interval() == nullptr; } |
| 196 InstructionOperand* CreateAssignedOperand(Zone* zone) const; | 223 // TODO(dcarney): remove this. |
| 224 InstructionOperand* GetAssignedOperand(InstructionOperandCache* cache) const; |
| 225 InstructionOperand GetAssignedOperand() const; |
| 197 int assigned_register() const { return assigned_register_; } | 226 int assigned_register() const { return assigned_register_; } |
| 198 int spill_start_index() const { return spill_start_index_; } | 227 int spill_start_index() const { return spill_start_index_; } |
| 199 void set_assigned_register(int reg, Zone* zone); | 228 void set_assigned_register(int reg, InstructionOperandCache* cache); |
| 200 void MakeSpilled(); | 229 void MakeSpilled(); |
| 201 bool is_phi() const { return is_phi_; } | 230 bool is_phi() const { return is_phi_; } |
| 202 void set_is_phi(bool is_phi) { is_phi_ = is_phi; } | 231 void set_is_phi(bool is_phi) { is_phi_ = is_phi; } |
| 203 bool is_non_loop_phi() const { return is_non_loop_phi_; } | 232 bool is_non_loop_phi() const { return is_non_loop_phi_; } |
| 204 void set_is_non_loop_phi(bool is_non_loop_phi) { | 233 void set_is_non_loop_phi(bool is_non_loop_phi) { |
| 205 is_non_loop_phi_ = is_non_loop_phi; | 234 is_non_loop_phi_ = is_non_loop_phi; |
| 206 } | 235 } |
| 207 | 236 |
| 208 // Returns use position in this live range that follows both start | 237 // Returns use position in this live range that follows both start |
| 209 // and last processed use position. | 238 // and last processed use position. |
| (...skipping 341 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 551 LiveRange* LiveRangeFor(int index); | 580 LiveRange* LiveRangeFor(int index); |
| 552 GapInstruction* GetLastGap(const InstructionBlock* block); | 581 GapInstruction* GetLastGap(const InstructionBlock* block); |
| 553 | 582 |
| 554 const char* RegisterName(int allocation_index); | 583 const char* RegisterName(int allocation_index); |
| 555 | 584 |
| 556 Instruction* InstructionAt(int index) { return code()->InstructionAt(index); } | 585 Instruction* InstructionAt(int index) { return code()->InstructionAt(index); } |
| 557 | 586 |
| 558 Frame* frame() const { return frame_; } | 587 Frame* frame() const { return frame_; } |
| 559 const char* debug_name() const { return debug_name_; } | 588 const char* debug_name() const { return debug_name_; } |
| 560 const RegisterConfiguration* config() const { return config_; } | 589 const RegisterConfiguration* config() const { return config_; } |
| 590 InstructionOperandCache* operand_cache() const { return operand_cache_; } |
| 561 ZoneVector<LiveRange*>& live_ranges() { return live_ranges_; } | 591 ZoneVector<LiveRange*>& live_ranges() { return live_ranges_; } |
| 562 ZoneVector<LiveRange*>& fixed_live_ranges() { return fixed_live_ranges_; } | 592 ZoneVector<LiveRange*>& fixed_live_ranges() { return fixed_live_ranges_; } |
| 563 ZoneVector<LiveRange*>& fixed_double_live_ranges() { | 593 ZoneVector<LiveRange*>& fixed_double_live_ranges() { |
| 564 return fixed_double_live_ranges_; | 594 return fixed_double_live_ranges_; |
| 565 } | 595 } |
| 566 ZoneVector<LiveRange*>& unhandled_live_ranges() { | 596 ZoneVector<LiveRange*>& unhandled_live_ranges() { |
| 567 return unhandled_live_ranges_; | 597 return unhandled_live_ranges_; |
| 568 } | 598 } |
| 569 ZoneVector<LiveRange*>& active_live_ranges() { return active_live_ranges_; } | 599 ZoneVector<LiveRange*>& active_live_ranges() { return active_live_ranges_; } |
| 570 ZoneVector<LiveRange*>& inactive_live_ranges() { | 600 ZoneVector<LiveRange*>& inactive_live_ranges() { |
| 571 return inactive_live_ranges_; | 601 return inactive_live_ranges_; |
| 572 } | 602 } |
| 573 ZoneVector<LiveRange*>& reusable_slots() { return reusable_slots_; } | |
| 574 ZoneVector<SpillRange*>& spill_ranges() { return spill_ranges_; } | 603 ZoneVector<SpillRange*>& spill_ranges() { return spill_ranges_; } |
| 575 | 604 |
| 576 struct PhiMapValue { | 605 struct PhiMapValue { |
| 577 PhiMapValue(PhiInstruction* phi, const InstructionBlock* block) | 606 PhiMapValue(PhiInstruction* phi, const InstructionBlock* block) |
| 578 : phi(phi), block(block) {} | 607 : phi(phi), block(block) {} |
| 579 PhiInstruction* const phi; | 608 PhiInstruction* const phi; |
| 580 const InstructionBlock* const block; | 609 const InstructionBlock* const block; |
| 581 }; | 610 }; |
| 582 typedef std::map<int, PhiMapValue, std::less<int>, | 611 typedef std::map<int, PhiMapValue, std::less<int>, |
| 583 zone_allocator<std::pair<int, PhiMapValue>>> PhiMap; | 612 zone_allocator<std::pair<int, PhiMapValue>>> PhiMap; |
| 584 | 613 |
| 585 Zone* const local_zone_; | 614 Zone* const local_zone_; |
| 586 Frame* const frame_; | 615 Frame* const frame_; |
| 587 InstructionSequence* const code_; | 616 InstructionSequence* const code_; |
| 588 const char* const debug_name_; | 617 const char* const debug_name_; |
| 589 | 618 |
| 590 const RegisterConfiguration* config_; | 619 const RegisterConfiguration* config_; |
| 591 | 620 InstructionOperandCache* const operand_cache_; |
| 592 PhiMap phi_map_; | 621 PhiMap phi_map_; |
| 593 | 622 |
| 594 // During liveness analysis keep a mapping from block id to live_in sets | 623 // During liveness analysis keep a mapping from block id to live_in sets |
| 595 // for blocks already analyzed. | 624 // for blocks already analyzed. |
| 596 ZoneVector<BitVector*> live_in_sets_; | 625 ZoneVector<BitVector*> live_in_sets_; |
| 597 | 626 |
| 598 // Liveness analysis results. | 627 // Liveness analysis results. |
| 599 ZoneVector<LiveRange*> live_ranges_; | 628 ZoneVector<LiveRange*> live_ranges_; |
| 600 | 629 |
| 601 // Lists of live ranges | 630 // Lists of live ranges |
| 602 ZoneVector<LiveRange*> fixed_live_ranges_; | 631 ZoneVector<LiveRange*> fixed_live_ranges_; |
| 603 ZoneVector<LiveRange*> fixed_double_live_ranges_; | 632 ZoneVector<LiveRange*> fixed_double_live_ranges_; |
| 604 ZoneVector<LiveRange*> unhandled_live_ranges_; | 633 ZoneVector<LiveRange*> unhandled_live_ranges_; |
| 605 ZoneVector<LiveRange*> active_live_ranges_; | 634 ZoneVector<LiveRange*> active_live_ranges_; |
| 606 ZoneVector<LiveRange*> inactive_live_ranges_; | 635 ZoneVector<LiveRange*> inactive_live_ranges_; |
| 607 ZoneVector<LiveRange*> reusable_slots_; | |
| 608 ZoneVector<SpillRange*> spill_ranges_; | 636 ZoneVector<SpillRange*> spill_ranges_; |
| 609 | 637 |
| 610 RegisterKind mode_; | 638 RegisterKind mode_; |
| 611 int num_registers_; | 639 int num_registers_; |
| 612 | 640 |
| 613 BitVector* assigned_registers_; | 641 BitVector* assigned_registers_; |
| 614 BitVector* assigned_double_registers_; | 642 BitVector* assigned_double_registers_; |
| 615 | 643 |
| 616 #ifdef DEBUG | 644 #ifdef DEBUG |
| 617 LifetimePosition allocation_finger_; | 645 LifetimePosition allocation_finger_; |
| 618 #endif | 646 #endif |
| 619 | 647 |
| 620 DISALLOW_COPY_AND_ASSIGN(RegisterAllocator); | 648 DISALLOW_COPY_AND_ASSIGN(RegisterAllocator); |
| 621 }; | 649 }; |
| 622 | 650 |
| 623 } // namespace compiler | 651 } // namespace compiler |
| 624 } // namespace internal | 652 } // namespace internal |
| 625 } // namespace v8 | 653 } // namespace v8 |
| 626 | 654 |
| 627 #endif // V8_REGISTER_ALLOCATOR_H_ | 655 #endif // V8_REGISTER_ALLOCATOR_H_ |
| OLD | NEW |