OLD | NEW |
1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 | 4 |
5 #ifndef VM_FLOW_GRAPH_ALLOCATOR_H_ | 5 #ifndef VM_FLOW_GRAPH_ALLOCATOR_H_ |
6 #define VM_FLOW_GRAPH_ALLOCATOR_H_ | 6 #define VM_FLOW_GRAPH_ALLOCATOR_H_ |
7 | 7 |
8 #include "vm/growable_array.h" | 8 #include "vm/growable_array.h" |
9 #include "vm/intermediate_language.h" | 9 #include "vm/intermediate_language.h" |
10 | 10 |
(...skipping 20 matching lines...) Expand all Loading... |
31 void Compute(); | 31 void Compute(); |
32 | 32 |
33 const FlowGraph& flow_graph_; | 33 const FlowGraph& flow_graph_; |
34 GrowableArray<PhiInstr*> phis_; | 34 GrowableArray<PhiInstr*> phis_; |
35 }; | 35 }; |
36 | 36 |
37 | 37 |
38 class FlowGraphAllocator : public ValueObject { | 38 class FlowGraphAllocator : public ValueObject { |
39 public: | 39 public: |
40 // Number of stack slots needed for a fpu register spill slot. | 40 // Number of stack slots needed for a fpu register spill slot. |
41 static const intptr_t kFpuRegisterSpillFactor = kFpuRegisterSize / kWordSize; | 41 static const intptr_t kDoubleSpillFactor = kDoubleSize / kWordSize; |
42 | 42 |
43 explicit FlowGraphAllocator(const FlowGraph& flow_graph); | 43 explicit FlowGraphAllocator(const FlowGraph& flow_graph); |
44 | 44 |
45 void AllocateRegisters(); | 45 void AllocateRegisters(); |
46 | 46 |
47 // Build live-in and live-out sets for each block. | 47 // Build live-in and live-out sets for each block. |
48 void AnalyzeLiveness(); | 48 void AnalyzeLiveness(); |
49 | 49 |
50 // Map a virtual register number to its live range. | 50 // Map a virtual register number to its live range. |
51 LiveRange* GetLiveRange(intptr_t vreg); | 51 LiveRange* GetLiveRange(intptr_t vreg); |
(...skipping 168 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
220 // Spill the given live range from the given position until some | 220 // Spill the given live range from the given position until some |
221 // position preceding the to position. | 221 // position preceding the to position. |
222 void SpillBetween(LiveRange* range, intptr_t from, intptr_t to); | 222 void SpillBetween(LiveRange* range, intptr_t from, intptr_t to); |
223 | 223 |
224 // Mark the live range as a live object pointer at all safepoints | 224 // Mark the live range as a live object pointer at all safepoints |
225 // contained in the range. | 225 // contained in the range. |
226 void MarkAsObjectAtSafepoints(LiveRange* range); | 226 void MarkAsObjectAtSafepoints(LiveRange* range); |
227 | 227 |
228 MoveOperands* AddMoveAt(intptr_t pos, Location to, Location from); | 228 MoveOperands* AddMoveAt(intptr_t pos, Location to, Location from); |
229 | 229 |
230 Location MakeRegisterLocation(intptr_t reg, Representation rep) { | 230 Location MakeRegisterLocation(intptr_t reg) { |
231 return Location::MachineRegisterLocation(register_kind_, reg, rep); | 231 return Location::MachineRegisterLocation(register_kind_, reg); |
232 } | 232 } |
233 | 233 |
234 void PrintLiveRanges(); | 234 void PrintLiveRanges(); |
235 | 235 |
236 const FlowGraph& flow_graph_; | 236 const FlowGraph& flow_graph_; |
237 | 237 |
238 ReachingDefs reaching_defs_; | 238 ReachingDefs reaching_defs_; |
239 | 239 |
240 // Representation for SSA values indexed by SSA temp index. | 240 // Representation for SSA values indexed by SSA temp index. |
241 GrowableArray<Representation> value_representations_; | 241 GrowableArray<Representation> value_representations_; |
(...skipping 60 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
302 bool blocked_registers_[kNumberOfCpuRegisters]; | 302 bool blocked_registers_[kNumberOfCpuRegisters]; |
303 | 303 |
304 | 304 |
305 // Worklist for register allocator. Always maintained sorted according | 305 // Worklist for register allocator. Always maintained sorted according |
306 // to ShouldBeAllocatedBefore predicate. | 306 // to ShouldBeAllocatedBefore predicate. |
307 GrowableArray<LiveRange*> unallocated_; | 307 GrowableArray<LiveRange*> unallocated_; |
308 | 308 |
309 // List of used spill slots. Contains positions after which spill slots | 309 // List of used spill slots. Contains positions after which spill slots |
310 // become free and can be reused for allocation. | 310 // become free and can be reused for allocation. |
311 GrowableArray<intptr_t> spill_slots_; | 311 GrowableArray<intptr_t> spill_slots_; |
| 312 |
| 313 // For every used spill slot contains a flag determines whether it is |
| 314 // QuadSpillSlot to ensure that indexes of quad and double spill slots |
| 315 // are disjoint. |
| 316 GrowableArray<bool> quad_spill_slots_; |
| 317 |
312 intptr_t cpu_spill_slot_count_; | 318 intptr_t cpu_spill_slot_count_; |
313 | 319 |
314 | |
315 DISALLOW_COPY_AND_ASSIGN(FlowGraphAllocator); | 320 DISALLOW_COPY_AND_ASSIGN(FlowGraphAllocator); |
316 }; | 321 }; |
317 | 322 |
318 | 323 |
319 // Additional information about a block that is not contained in a | 324 // Additional information about a block that is not contained in a |
320 // block entry. | 325 // block entry. |
321 class BlockInfo : public ZoneAllocated { | 326 class BlockInfo : public ZoneAllocated { |
322 public: | 327 public: |
323 explicit BlockInfo(BlockEntryInstr* entry) | 328 explicit BlockInfo(BlockEntryInstr* entry) |
324 : entry_(entry), | 329 : entry_(entry), |
(...skipping 331 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
656 | 661 |
657 AllocationFinger finger_; | 662 AllocationFinger finger_; |
658 | 663 |
659 DISALLOW_COPY_AND_ASSIGN(LiveRange); | 664 DISALLOW_COPY_AND_ASSIGN(LiveRange); |
660 }; | 665 }; |
661 | 666 |
662 | 667 |
663 } // namespace dart | 668 } // namespace dart |
664 | 669 |
665 #endif // VM_FLOW_GRAPH_ALLOCATOR_H_ | 670 #endif // VM_FLOW_GRAPH_ALLOCATOR_H_ |
OLD | NEW |