Jakob Stoklund Olesen | c9672cb | 2010-12-10 18:36:02 +0000 | [diff] [blame] | 1 | //===-- llvm/CodeGen/AllocationOrder.h - Allocation Order -*- C++ -*-------===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file implements an allocation order for virtual registers. |
| 11 | // |
| 12 | // The preferred allocation order for a virtual register depends on allocation |
| 13 | // hints and target hooks. The AllocationOrder class encapsulates all of that. |
| 14 | // |
| 15 | //===----------------------------------------------------------------------===// |
| 16 | |
| 17 | #ifndef LLVM_CODEGEN_ALLOCATIONORDER_H |
| 18 | #define LLVM_CODEGEN_ALLOCATIONORDER_H |
| 19 | |
Jakob Stoklund Olesen | fc29db1 | 2012-12-03 22:51:04 +0000 | [diff] [blame] | 20 | #include "llvm/ADT/ArrayRef.h" |
Chandler Carruth | a1514e2 | 2012-12-04 07:12:27 +0000 | [diff] [blame] | 21 | #include "llvm/MC/MCRegisterInfo.h" |
Jakob Stoklund Olesen | 39b5c0c | 2012-11-29 03:34:17 +0000 | [diff] [blame] | 22 | |
Jakob Stoklund Olesen | c9672cb | 2010-12-10 18:36:02 +0000 | [diff] [blame] | 23 | namespace llvm { |
| 24 | |
Jakob Stoklund Olesen | 5f2316a | 2011-06-03 20:34:53 +0000 | [diff] [blame] | 25 | class RegisterClassInfo; |
Jakob Stoklund Olesen | c9672cb | 2010-12-10 18:36:02 +0000 | [diff] [blame] | 26 | class VirtRegMap; |
| 27 | |
| 28 | class AllocationOrder { |
Jakob Stoklund Olesen | fc29db1 | 2012-12-03 22:51:04 +0000 | [diff] [blame] | 29 | SmallVector<MCPhysReg, 16> Hints; |
| 30 | ArrayRef<MCPhysReg> Order; |
Jakob Stoklund Olesen | f7999fe | 2012-12-04 22:25:16 +0000 | [diff] [blame] | 31 | int Pos; |
Jakob Stoklund Olesen | c9672cb | 2010-12-10 18:36:02 +0000 | [diff] [blame] | 32 | |
Jakob Stoklund Olesen | fc29db1 | 2012-12-03 22:51:04 +0000 | [diff] [blame] | 33 | public: |
| 34 | /// Create a new AllocationOrder for VirtReg. |
Jakob Stoklund Olesen | c9672cb | 2010-12-10 18:36:02 +0000 | [diff] [blame] | 35 | /// @param VirtReg Virtual register to allocate for. |
| 36 | /// @param VRM Virtual register map for function. |
Jakob Stoklund Olesen | 10c6fdc | 2012-01-24 18:09:18 +0000 | [diff] [blame] | 37 | /// @param RegClassInfo Information about reserved and allocatable registers. |
Jakob Stoklund Olesen | c9672cb | 2010-12-10 18:36:02 +0000 | [diff] [blame] | 38 | AllocationOrder(unsigned VirtReg, |
| 39 | const VirtRegMap &VRM, |
Jakob Stoklund Olesen | 5f2316a | 2011-06-03 20:34:53 +0000 | [diff] [blame] | 40 | const RegisterClassInfo &RegClassInfo); |
Jakob Stoklund Olesen | c9672cb | 2010-12-10 18:36:02 +0000 | [diff] [blame] | 41 | |
Jakob Stoklund Olesen | 6d61329 | 2013-01-12 00:57:44 +0000 | [diff] [blame] | 42 | /// Get the allocation order without reordered hints. |
| 43 | ArrayRef<MCPhysReg> getOrder() const { return Order; } |
| 44 | |
Jakob Stoklund Olesen | fc29db1 | 2012-12-03 22:51:04 +0000 | [diff] [blame] | 45 | /// Return the next physical register in the allocation order, or 0. |
| 46 | /// It is safe to call next() again after it returned 0, it will keep |
| 47 | /// returning 0 until rewind() is called. |
Jakob Stoklund Olesen | f7999fe | 2012-12-04 22:25:16 +0000 | [diff] [blame] | 48 | unsigned next() { |
| 49 | if (Pos < 0) |
| 50 | return Hints.end()[Pos++]; |
| 51 | while (Pos < int(Order.size())) { |
| 52 | unsigned Reg = Order[Pos++]; |
| 53 | if (!isHint(Reg)) |
| 54 | return Reg; |
| 55 | } |
| 56 | return 0; |
| 57 | } |
Jakob Stoklund Olesen | a46a100 | 2011-06-06 21:02:04 +0000 | [diff] [blame] | 58 | |
Jakob Stoklund Olesen | 6d61329 | 2013-01-12 00:57:44 +0000 | [diff] [blame] | 59 | /// As next(), but allow duplicates to be returned, and stop before the |
| 60 | /// Limit'th register in the RegisterClassInfo allocation order. |
| 61 | /// |
| 62 | /// This can produce more than Limit registers if there are hints. |
| 63 | unsigned nextWithDups(unsigned Limit) { |
| 64 | if (Pos < 0) |
| 65 | return Hints.end()[Pos++]; |
| 66 | if (Pos < int(Limit)) |
| 67 | return Order[Pos++]; |
| 68 | return 0; |
| 69 | } |
| 70 | |
Jakob Stoklund Olesen | fc29db1 | 2012-12-03 22:51:04 +0000 | [diff] [blame] | 71 | /// Start over from the beginning. |
Jakob Stoklund Olesen | f7999fe | 2012-12-04 22:25:16 +0000 | [diff] [blame] | 72 | void rewind() { Pos = -int(Hints.size()); } |
Jakob Stoklund Olesen | c9672cb | 2010-12-10 18:36:02 +0000 | [diff] [blame] | 73 | |
Jakob Stoklund Olesen | fc29db1 | 2012-12-03 22:51:04 +0000 | [diff] [blame] | 74 | /// Return true if the last register returned from next() was a preferred register. |
Jakob Stoklund Olesen | f7999fe | 2012-12-04 22:25:16 +0000 | [diff] [blame] | 75 | bool isHint() const { return Pos <= 0; } |
Jakob Stoklund Olesen | fc29db1 | 2012-12-03 22:51:04 +0000 | [diff] [blame] | 76 | |
| 77 | /// Return true if PhysReg is a preferred register. |
Jakob Stoklund Olesen | f7999fe | 2012-12-04 22:25:16 +0000 | [diff] [blame] | 78 | bool isHint(unsigned PhysReg) const { |
| 79 | return std::find(Hints.begin(), Hints.end(), PhysReg) != Hints.end(); |
| 80 | } |
Jakob Stoklund Olesen | c9672cb | 2010-12-10 18:36:02 +0000 | [diff] [blame] | 81 | }; |
| 82 | |
| 83 | } // end namespace llvm |
| 84 | |
| 85 | #endif |