Chris Lattner | a3b8b5c | 2004-07-23 17:56:30 +0000 | [diff] [blame] | 1 | //===-- LiveIntervalAnalysis.h - Live Interval Analysis ---------*- C++ -*-===// |
Alkis Evlogimenos | ff0cbe1 | 2003-11-20 03:32:25 +0000 | [diff] [blame] | 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 7ed47a1 | 2007-12-29 19:59:42 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Alkis Evlogimenos | ff0cbe1 | 2003-11-20 03:32:25 +0000 | [diff] [blame] | 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
Chris Lattner | 6b92906 | 2004-07-19 02:13:59 +0000 | [diff] [blame] | 10 | // This file implements the LiveInterval analysis pass. Given some numbering of |
| 11 | // each the machine instructions (in this implemention depth-first order) an |
| 12 | // interval [i, j) is said to be a live interval for register v if there is no |
Dan Gohman | 8131a50 | 2008-03-13 23:04:27 +0000 | [diff] [blame] | 13 | // instruction with number j' > j such that v is live at j' and there is no |
Chris Lattner | 6b92906 | 2004-07-19 02:13:59 +0000 | [diff] [blame] | 14 | // instruction with number i' < i such that v is live at i'. In this |
| 15 | // implementation intervals can have holes, i.e. an interval might look like |
| 16 | // [1,20), [50,65), [1000,1001). |
Alkis Evlogimenos | ff0cbe1 | 2003-11-20 03:32:25 +0000 | [diff] [blame] | 17 | // |
| 18 | //===----------------------------------------------------------------------===// |
| 19 | |
Chris Lattner | a3b8b5c | 2004-07-23 17:56:30 +0000 | [diff] [blame] | 20 | #ifndef LLVM_CODEGEN_LIVEINTERVAL_ANALYSIS_H |
| 21 | #define LLVM_CODEGEN_LIVEINTERVAL_ANALYSIS_H |
Alkis Evlogimenos | ff0cbe1 | 2003-11-20 03:32:25 +0000 | [diff] [blame] | 22 | |
| 23 | #include "llvm/CodeGen/MachineFunctionPass.h" |
Chris Lattner | 779a651 | 2005-09-21 04:18:25 +0000 | [diff] [blame] | 24 | #include "llvm/CodeGen/LiveInterval.h" |
Evan Cheng | 61de82d | 2007-02-15 05:59:24 +0000 | [diff] [blame] | 25 | #include "llvm/ADT/BitVector.h" |
Evan Cheng | 20b0abc | 2007-04-17 20:32:26 +0000 | [diff] [blame] | 26 | #include "llvm/ADT/DenseMap.h" |
Evan Cheng | 8f90b6e | 2009-01-07 02:08:57 +0000 | [diff] [blame] | 27 | #include "llvm/ADT/SmallPtrSet.h" |
Evan Cheng | 549f27d3 | 2007-08-13 23:45:17 +0000 | [diff] [blame] | 28 | #include "llvm/ADT/SmallVector.h" |
Evan Cheng | f3bb2e6 | 2007-09-05 21:46:51 +0000 | [diff] [blame] | 29 | #include "llvm/Support/Allocator.h" |
Hartmut Kaiser | ffb15de | 2007-11-13 23:04:28 +0000 | [diff] [blame] | 30 | #include <cmath> |
Alkis Evlogimenos | ff0cbe1 | 2003-11-20 03:32:25 +0000 | [diff] [blame] | 31 | |
| 32 | namespace llvm { |
| 33 | |
Dan Gohman | 6d69ba8 | 2008-07-25 00:02:30 +0000 | [diff] [blame] | 34 | class AliasAnalysis; |
Alkis Evlogimenos | 1a8ea01 | 2004-08-04 09:46:26 +0000 | [diff] [blame] | 35 | class LiveVariables; |
Evan Cheng | 22f07ff | 2007-12-11 02:09:15 +0000 | [diff] [blame] | 36 | class MachineLoopInfo; |
Dan Gohman | 6f0d024 | 2008-02-10 18:45:23 +0000 | [diff] [blame] | 37 | class TargetRegisterInfo; |
Chris Lattner | 84bc542 | 2007-12-31 04:13:23 +0000 | [diff] [blame] | 38 | class MachineRegisterInfo; |
Chris Lattner | f768bba | 2005-03-09 23:05:19 +0000 | [diff] [blame] | 39 | class TargetInstrInfo; |
Evan Cheng | 20b0abc | 2007-04-17 20:32:26 +0000 | [diff] [blame] | 40 | class TargetRegisterClass; |
Alkis Evlogimenos | 1a8ea01 | 2004-08-04 09:46:26 +0000 | [diff] [blame] | 41 | class VirtRegMap; |
Evan Cheng | 4ca980e | 2007-10-17 02:10:22 +0000 | [diff] [blame] | 42 | typedef std::pair<unsigned, MachineBasicBlock*> IdxMBBPair; |
Alkis Evlogimenos | ff0cbe1 | 2003-11-20 03:32:25 +0000 | [diff] [blame] | 43 | |
Roman Levenstein | 8dd2528 | 2008-02-18 09:35:30 +0000 | [diff] [blame] | 44 | inline bool operator<(unsigned V, const IdxMBBPair &IM) { |
| 45 | return V < IM.first; |
| 46 | } |
| 47 | |
| 48 | inline bool operator<(const IdxMBBPair &IM, unsigned V) { |
| 49 | return IM.first < V; |
| 50 | } |
| 51 | |
| 52 | struct Idx2MBBCompare { |
| 53 | bool operator()(const IdxMBBPair &LHS, const IdxMBBPair &RHS) const { |
| 54 | return LHS.first < RHS.first; |
| 55 | } |
| 56 | }; |
Owen Anderson | 20e2839 | 2008-08-13 22:08:30 +0000 | [diff] [blame] | 57 | |
Alkis Evlogimenos | 1a8ea01 | 2004-08-04 09:46:26 +0000 | [diff] [blame] | 58 | class LiveIntervals : public MachineFunctionPass { |
| 59 | MachineFunction* mf_; |
Evan Cheng | d70dbb5 | 2008-02-22 09:24:50 +0000 | [diff] [blame] | 60 | MachineRegisterInfo* mri_; |
Alkis Evlogimenos | 1a8ea01 | 2004-08-04 09:46:26 +0000 | [diff] [blame] | 61 | const TargetMachine* tm_; |
Dan Gohman | 6f0d024 | 2008-02-10 18:45:23 +0000 | [diff] [blame] | 62 | const TargetRegisterInfo* tri_; |
Chris Lattner | f768bba | 2005-03-09 23:05:19 +0000 | [diff] [blame] | 63 | const TargetInstrInfo* tii_; |
Dan Gohman | 6d69ba8 | 2008-07-25 00:02:30 +0000 | [diff] [blame] | 64 | AliasAnalysis *aa_; |
Alkis Evlogimenos | 1a8ea01 | 2004-08-04 09:46:26 +0000 | [diff] [blame] | 65 | LiveVariables* lv_; |
Alkis Evlogimenos | ff0cbe1 | 2003-11-20 03:32:25 +0000 | [diff] [blame] | 66 | |
Evan Cheng | f3bb2e6 | 2007-09-05 21:46:51 +0000 | [diff] [blame] | 67 | /// Special pool allocator for VNInfo's (LiveInterval val#). |
| 68 | /// |
| 69 | BumpPtrAllocator VNInfoAllocator; |
| 70 | |
Evan Cheng | 549f27d3 | 2007-08-13 23:45:17 +0000 | [diff] [blame] | 71 | /// MBB2IdxMap - The indexes of the first and last instructions in the |
| 72 | /// specified basic block. |
| 73 | std::vector<std::pair<unsigned, unsigned> > MBB2IdxMap; |
David Greene | 2513330 | 2007-06-08 17:18:56 +0000 | [diff] [blame] | 74 | |
Evan Cheng | 4ca980e | 2007-10-17 02:10:22 +0000 | [diff] [blame] | 75 | /// Idx2MBBMap - Sorted list of pairs of index of first instruction |
| 76 | /// and MBB id. |
| 77 | std::vector<IdxMBBPair> Idx2MBBMap; |
| 78 | |
Owen Anderson | a1566f2 | 2008-07-22 22:46:49 +0000 | [diff] [blame] | 79 | /// FunctionSize - The number of instructions present in the function |
| 80 | uint64_t FunctionSize; |
| 81 | |
Owen Anderson | 49bfdd6 | 2008-08-13 21:24:24 +0000 | [diff] [blame] | 82 | typedef DenseMap<MachineInstr*, unsigned> Mi2IndexMap; |
Alkis Evlogimenos | 1a8ea01 | 2004-08-04 09:46:26 +0000 | [diff] [blame] | 83 | Mi2IndexMap mi2iMap_; |
Alkis Evlogimenos | ff0cbe1 | 2003-11-20 03:32:25 +0000 | [diff] [blame] | 84 | |
Alkis Evlogimenos | 1a8ea01 | 2004-08-04 09:46:26 +0000 | [diff] [blame] | 85 | typedef std::vector<MachineInstr*> Index2MiMap; |
| 86 | Index2MiMap i2miMap_; |
Alkis Evlogimenos | 843b160 | 2004-02-15 10:24:21 +0000 | [diff] [blame] | 87 | |
Owen Anderson | 20e2839 | 2008-08-13 22:08:30 +0000 | [diff] [blame] | 88 | typedef DenseMap<unsigned, LiveInterval*> Reg2IntervalMap; |
Alkis Evlogimenos | 1a8ea01 | 2004-08-04 09:46:26 +0000 | [diff] [blame] | 89 | Reg2IntervalMap r2iMap_; |
Alkis Evlogimenos | ff0cbe1 | 2003-11-20 03:32:25 +0000 | [diff] [blame] | 90 | |
Evan Cheng | 61de82d | 2007-02-15 05:59:24 +0000 | [diff] [blame] | 91 | BitVector allocatableRegs_; |
Evan Cheng | 88d1f58 | 2007-03-01 02:03:03 +0000 | [diff] [blame] | 92 | |
Evan Cheng | 549f27d3 | 2007-08-13 23:45:17 +0000 | [diff] [blame] | 93 | std::vector<MachineInstr*> ClonedMIs; |
| 94 | |
Alkis Evlogimenos | 1a8ea01 | 2004-08-04 09:46:26 +0000 | [diff] [blame] | 95 | public: |
Nick Lewycky | ecd94c8 | 2007-05-06 13:37:16 +0000 | [diff] [blame] | 96 | static char ID; // Pass identification, replacement for typeid |
Dan Gohman | ae73dc1 | 2008-09-04 17:05:41 +0000 | [diff] [blame] | 97 | LiveIntervals() : MachineFunctionPass(&ID) {} |
Devang Patel | 794fd75 | 2007-05-01 21:15:47 +0000 | [diff] [blame] | 98 | |
Chris Lattner | f7da2c7 | 2006-08-24 22:43:55 +0000 | [diff] [blame] | 99 | struct InstrSlots { |
Alkis Evlogimenos | 1a8ea01 | 2004-08-04 09:46:26 +0000 | [diff] [blame] | 100 | enum { |
| 101 | LOAD = 0, |
| 102 | USE = 1, |
| 103 | DEF = 2, |
| 104 | STORE = 3, |
Chris Lattner | 410354f | 2006-02-22 16:23:43 +0000 | [diff] [blame] | 105 | NUM = 4 |
Alkis Evlogimenos | 1a8ea01 | 2004-08-04 09:46:26 +0000 | [diff] [blame] | 106 | }; |
Alkis Evlogimenos | ff0cbe1 | 2003-11-20 03:32:25 +0000 | [diff] [blame] | 107 | }; |
| 108 | |
Alkis Evlogimenos | 1a8ea01 | 2004-08-04 09:46:26 +0000 | [diff] [blame] | 109 | static unsigned getBaseIndex(unsigned index) { |
| 110 | return index - (index % InstrSlots::NUM); |
| 111 | } |
| 112 | static unsigned getBoundaryIndex(unsigned index) { |
| 113 | return getBaseIndex(index + InstrSlots::NUM - 1); |
| 114 | } |
| 115 | static unsigned getLoadIndex(unsigned index) { |
| 116 | return getBaseIndex(index) + InstrSlots::LOAD; |
| 117 | } |
| 118 | static unsigned getUseIndex(unsigned index) { |
| 119 | return getBaseIndex(index) + InstrSlots::USE; |
| 120 | } |
| 121 | static unsigned getDefIndex(unsigned index) { |
| 122 | return getBaseIndex(index) + InstrSlots::DEF; |
| 123 | } |
| 124 | static unsigned getStoreIndex(unsigned index) { |
| 125 | return getBaseIndex(index) + InstrSlots::STORE; |
| 126 | } |
| 127 | |
Evan Cheng | c341760 | 2008-06-21 06:45:54 +0000 | [diff] [blame] | 128 | static float getSpillWeight(bool isDef, bool isUse, unsigned loopDepth) { |
| 129 | return (isDef + isUse) * powf(10.0F, (float)loopDepth); |
Evan Cheng | f2fbca6 | 2007-11-12 06:35:08 +0000 | [diff] [blame] | 130 | } |
| 131 | |
Alkis Evlogimenos | 1a8ea01 | 2004-08-04 09:46:26 +0000 | [diff] [blame] | 132 | typedef Reg2IntervalMap::iterator iterator; |
Chris Lattner | 70ca358 | 2004-09-30 15:59:17 +0000 | [diff] [blame] | 133 | typedef Reg2IntervalMap::const_iterator const_iterator; |
| 134 | const_iterator begin() const { return r2iMap_.begin(); } |
| 135 | const_iterator end() const { return r2iMap_.end(); } |
Alkis Evlogimenos | 1a8ea01 | 2004-08-04 09:46:26 +0000 | [diff] [blame] | 136 | iterator begin() { return r2iMap_.begin(); } |
| 137 | iterator end() { return r2iMap_.end(); } |
Evan Cheng | 34cd4a4 | 2008-05-05 18:30:58 +0000 | [diff] [blame] | 138 | unsigned getNumIntervals() const { return (unsigned)r2iMap_.size(); } |
Alkis Evlogimenos | 1a8ea01 | 2004-08-04 09:46:26 +0000 | [diff] [blame] | 139 | |
| 140 | LiveInterval &getInterval(unsigned reg) { |
| 141 | Reg2IntervalMap::iterator I = r2iMap_.find(reg); |
| 142 | assert(I != r2iMap_.end() && "Interval does not exist for register"); |
Owen Anderson | 03857b2 | 2008-08-13 21:49:13 +0000 | [diff] [blame] | 143 | return *I->second; |
Alkis Evlogimenos | 1a8ea01 | 2004-08-04 09:46:26 +0000 | [diff] [blame] | 144 | } |
| 145 | |
| 146 | const LiveInterval &getInterval(unsigned reg) const { |
| 147 | Reg2IntervalMap::const_iterator I = r2iMap_.find(reg); |
| 148 | assert(I != r2iMap_.end() && "Interval does not exist for register"); |
Owen Anderson | 03857b2 | 2008-08-13 21:49:13 +0000 | [diff] [blame] | 149 | return *I->second; |
Alkis Evlogimenos | 1a8ea01 | 2004-08-04 09:46:26 +0000 | [diff] [blame] | 150 | } |
| 151 | |
Evan Cheng | b371f45 | 2007-02-19 21:49:54 +0000 | [diff] [blame] | 152 | bool hasInterval(unsigned reg) const { |
Evan Cheng | 88d1f58 | 2007-03-01 02:03:03 +0000 | [diff] [blame] | 153 | return r2iMap_.count(reg); |
Evan Cheng | b371f45 | 2007-02-19 21:49:54 +0000 | [diff] [blame] | 154 | } |
| 155 | |
Chris Lattner | 428b92e | 2006-09-15 03:57:23 +0000 | [diff] [blame] | 156 | /// getMBBStartIdx - Return the base index of the first instruction in the |
| 157 | /// specified MachineBasicBlock. |
| 158 | unsigned getMBBStartIdx(MachineBasicBlock *MBB) const { |
| 159 | return getMBBStartIdx(MBB->getNumber()); |
| 160 | } |
Chris Lattner | 428b92e | 2006-09-15 03:57:23 +0000 | [diff] [blame] | 161 | unsigned getMBBStartIdx(unsigned MBBNo) const { |
| 162 | assert(MBBNo < MBB2IdxMap.size() && "Invalid MBB number!"); |
Evan Cheng | 549f27d3 | 2007-08-13 23:45:17 +0000 | [diff] [blame] | 163 | return MBB2IdxMap[MBBNo].first; |
| 164 | } |
| 165 | |
| 166 | /// getMBBEndIdx - Return the store index of the last instruction in the |
| 167 | /// specified MachineBasicBlock. |
| 168 | unsigned getMBBEndIdx(MachineBasicBlock *MBB) const { |
| 169 | return getMBBEndIdx(MBB->getNumber()); |
| 170 | } |
| 171 | unsigned getMBBEndIdx(unsigned MBBNo) const { |
| 172 | assert(MBBNo < MBB2IdxMap.size() && "Invalid MBB number!"); |
| 173 | return MBB2IdxMap[MBBNo].second; |
Chris Lattner | 428b92e | 2006-09-15 03:57:23 +0000 | [diff] [blame] | 174 | } |
| 175 | |
Owen Anderson | a1566f2 | 2008-07-22 22:46:49 +0000 | [diff] [blame] | 176 | /// getScaledIntervalSize - get the size of an interval in "units," |
Owen Anderson | 72e0409 | 2008-06-23 23:25:37 +0000 | [diff] [blame] | 177 | /// where every function is composed of one thousand units. This |
| 178 | /// measure scales properly with empty index slots in the function. |
Owen Anderson | a1566f2 | 2008-07-22 22:46:49 +0000 | [diff] [blame] | 179 | double getScaledIntervalSize(LiveInterval& I) { |
| 180 | return (1000.0 / InstrSlots::NUM * I.getSize()) / i2miMap_.size(); |
| 181 | } |
| 182 | |
| 183 | /// getApproximateInstructionCount - computes an estimate of the number |
| 184 | /// of instructions in a given LiveInterval. |
| 185 | unsigned getApproximateInstructionCount(LiveInterval& I) { |
| 186 | double IntervalPercentage = getScaledIntervalSize(I) / 1000.0; |
Matthijs Kooijman | b3e15c0 | 2008-08-07 13:36:30 +0000 | [diff] [blame] | 187 | return (unsigned)(IntervalPercentage * FunctionSize); |
Owen Anderson | 72e0409 | 2008-06-23 23:25:37 +0000 | [diff] [blame] | 188 | } |
| 189 | |
Roman Levenstein | 8dd2528 | 2008-02-18 09:35:30 +0000 | [diff] [blame] | 190 | /// getMBBFromIndex - given an index in any instruction of an |
| 191 | /// MBB return a pointer the MBB |
| 192 | MachineBasicBlock* getMBBFromIndex(unsigned index) const { |
| 193 | std::vector<IdxMBBPair>::const_iterator I = |
Bill Wendling | e85fe66 | 2008-02-26 10:49:39 +0000 | [diff] [blame] | 194 | std::lower_bound(Idx2MBBMap.begin(), Idx2MBBMap.end(), index); |
Roman Levenstein | 8dd2528 | 2008-02-18 09:35:30 +0000 | [diff] [blame] | 195 | // Take the pair containing the index |
| 196 | std::vector<IdxMBBPair>::const_iterator J = |
Bill Wendling | e85fe66 | 2008-02-26 10:49:39 +0000 | [diff] [blame] | 197 | ((I != Idx2MBBMap.end() && I->first > index) || |
| 198 | (I == Idx2MBBMap.end() && Idx2MBBMap.size()>0)) ? (I-1): I; |
Roman Levenstein | 8dd2528 | 2008-02-18 09:35:30 +0000 | [diff] [blame] | 199 | |
| 200 | assert(J != Idx2MBBMap.end() && J->first < index+1 && |
Bill Wendling | e85fe66 | 2008-02-26 10:49:39 +0000 | [diff] [blame] | 201 | index <= getMBBEndIdx(J->second) && |
| 202 | "index does not correspond to an MBB"); |
Roman Levenstein | 8dd2528 | 2008-02-18 09:35:30 +0000 | [diff] [blame] | 203 | return J->second; |
| 204 | } |
| 205 | |
Alkis Evlogimenos | 1a8ea01 | 2004-08-04 09:46:26 +0000 | [diff] [blame] | 206 | /// getInstructionIndex - returns the base index of instr |
| 207 | unsigned getInstructionIndex(MachineInstr* instr) const { |
| 208 | Mi2IndexMap::const_iterator it = mi2iMap_.find(instr); |
| 209 | assert(it != mi2iMap_.end() && "Invalid instruction!"); |
| 210 | return it->second; |
| 211 | } |
| 212 | |
| 213 | /// getInstructionFromIndex - given an index in any slot of an |
| 214 | /// instruction return a pointer the instruction |
| 215 | MachineInstr* getInstructionFromIndex(unsigned index) const { |
| 216 | index /= InstrSlots::NUM; // convert index to vector index |
| 217 | assert(index < i2miMap_.size() && |
| 218 | "index does not correspond to an instruction"); |
| 219 | return i2miMap_[index]; |
| 220 | } |
David Greene | 2513330 | 2007-06-08 17:18:56 +0000 | [diff] [blame] | 221 | |
Evan Cheng | f5cd4f0 | 2008-10-23 20:43:13 +0000 | [diff] [blame] | 222 | /// hasGapBeforeInstr - Return true if the previous instruction slot, |
| 223 | /// i.e. Index - InstrSlots::NUM, is not occupied. |
| 224 | bool hasGapBeforeInstr(unsigned Index) { |
| 225 | Index = getBaseIndex(Index - InstrSlots::NUM); |
| 226 | return getInstructionFromIndex(Index) == 0; |
| 227 | } |
| 228 | |
| 229 | /// findGapBeforeInstr - Find an empty instruction slot before the |
| 230 | /// specified index. If "Furthest" is true, find one that's furthest |
| 231 | /// away from the index (but before any index that's occupied). |
| 232 | unsigned findGapBeforeInstr(unsigned Index, bool Furthest = false) { |
| 233 | Index = getBaseIndex(Index - InstrSlots::NUM); |
| 234 | if (getInstructionFromIndex(Index)) |
| 235 | return 0; // No gap! |
| 236 | if (!Furthest) |
| 237 | return Index; |
| 238 | unsigned PrevIndex = getBaseIndex(Index - InstrSlots::NUM); |
| 239 | while (getInstructionFromIndex(Index)) { |
| 240 | Index = PrevIndex; |
| 241 | PrevIndex = getBaseIndex(Index - InstrSlots::NUM); |
| 242 | } |
| 243 | return Index; |
| 244 | } |
| 245 | |
| 246 | /// InsertMachineInstrInMaps - Insert the specified machine instruction |
| 247 | /// into the instruction index map at the given index. |
| 248 | void InsertMachineInstrInMaps(MachineInstr *MI, unsigned Index) { |
| 249 | i2miMap_[Index / InstrSlots::NUM] = MI; |
| 250 | Mi2IndexMap::iterator it = mi2iMap_.find(MI); |
| 251 | assert(it == mi2iMap_.end() && "Already in map!"); |
| 252 | mi2iMap_[MI] = Index; |
| 253 | } |
| 254 | |
Evan Cheng | c92da38 | 2007-11-03 07:20:12 +0000 | [diff] [blame] | 255 | /// conflictsWithPhysRegDef - Returns true if the specified register |
| 256 | /// is defined during the duration of the specified interval. |
| 257 | bool conflictsWithPhysRegDef(const LiveInterval &li, VirtRegMap &vrm, |
| 258 | unsigned reg); |
| 259 | |
Evan Cheng | 8f90b6e | 2009-01-07 02:08:57 +0000 | [diff] [blame] | 260 | /// conflictsWithPhysRegRef - Similar to conflictsWithPhysRegRef except |
| 261 | /// it can check use as well. |
| 262 | bool conflictsWithPhysRegRef(LiveInterval &li, unsigned Reg, |
| 263 | bool CheckUse, |
| 264 | SmallPtrSet<MachineInstr*,32> &JoinedCopies); |
| 265 | |
Evan Cheng | 4ca980e | 2007-10-17 02:10:22 +0000 | [diff] [blame] | 266 | /// findLiveInMBBs - Given a live range, if the value of the range |
| 267 | /// is live in any MBB returns true as well as the list of basic blocks |
Dan Gohman | ca425a2 | 2008-07-28 18:42:57 +0000 | [diff] [blame] | 268 | /// in which the value is live. |
Evan Cheng | d0e32c5 | 2008-10-29 05:06:14 +0000 | [diff] [blame] | 269 | bool findLiveInMBBs(unsigned Start, unsigned End, |
| 270 | SmallVectorImpl<MachineBasicBlock*> &MBBs) const; |
| 271 | |
| 272 | /// findReachableMBBs - Return a list MBB that can be reached via any |
| 273 | /// branch or fallthroughs. Return true if the list is not empty. |
| 274 | bool findReachableMBBs(unsigned Start, unsigned End, |
Evan Cheng | a5bfc97 | 2007-10-17 06:53:44 +0000 | [diff] [blame] | 275 | SmallVectorImpl<MachineBasicBlock*> &MBBs) const; |
Evan Cheng | 4ca980e | 2007-10-17 02:10:22 +0000 | [diff] [blame] | 276 | |
David Greene | 2513330 | 2007-06-08 17:18:56 +0000 | [diff] [blame] | 277 | // Interval creation |
| 278 | |
| 279 | LiveInterval &getOrCreateInterval(unsigned reg) { |
| 280 | Reg2IntervalMap::iterator I = r2iMap_.find(reg); |
| 281 | if (I == r2iMap_.end()) |
Owen Anderson | 20e2839 | 2008-08-13 22:08:30 +0000 | [diff] [blame] | 282 | I = r2iMap_.insert(std::make_pair(reg, createInterval(reg))).first; |
Owen Anderson | 03857b2 | 2008-08-13 21:49:13 +0000 | [diff] [blame] | 283 | return *I->second; |
David Greene | 2513330 | 2007-06-08 17:18:56 +0000 | [diff] [blame] | 284 | } |
Evan Cheng | 0a1fcce | 2009-02-08 11:04:35 +0000 | [diff] [blame] | 285 | |
| 286 | /// dupInterval - Duplicate a live interval. The caller is responsible for |
| 287 | /// managing the allocated memory. |
| 288 | LiveInterval *dupInterval(LiveInterval *li); |
Owen Anderson | c4dc132 | 2008-06-05 17:15:43 +0000 | [diff] [blame] | 289 | |
| 290 | /// addLiveRangeToEndOfBlock - Given a register and an instruction, |
| 291 | /// adds a live range from that instruction to the end of its MBB. |
| 292 | LiveRange addLiveRangeToEndOfBlock(unsigned reg, |
| 293 | MachineInstr* startInst); |
Alkis Evlogimenos | 1a8ea01 | 2004-08-04 09:46:26 +0000 | [diff] [blame] | 294 | |
David Greene | 2513330 | 2007-06-08 17:18:56 +0000 | [diff] [blame] | 295 | // Interval removal |
Alkis Evlogimenos | 1a8ea01 | 2004-08-04 09:46:26 +0000 | [diff] [blame] | 296 | |
David Greene | 2513330 | 2007-06-08 17:18:56 +0000 | [diff] [blame] | 297 | void removeInterval(unsigned Reg) { |
Owen Anderson | 20e2839 | 2008-08-13 22:08:30 +0000 | [diff] [blame] | 298 | DenseMap<unsigned, LiveInterval*>::iterator I = r2iMap_.find(Reg); |
Owen Anderson | 03857b2 | 2008-08-13 21:49:13 +0000 | [diff] [blame] | 299 | delete I->second; |
| 300 | r2iMap_.erase(I); |
Bill Wendling | 5c7e326 | 2006-12-17 05:15:13 +0000 | [diff] [blame] | 301 | } |
Chris Lattner | 70ca358 | 2004-09-30 15:59:17 +0000 | [diff] [blame] | 302 | |
Evan Cheng | 5b69eba | 2009-04-21 22:46:52 +0000 | [diff] [blame] | 303 | /// isNotInMIMap - returns true if the specified machine instr has been |
| 304 | /// removed or was never entered in the map. |
| 305 | bool isNotInMIMap(MachineInstr* instr) const { |
Evan Cheng | 7d35c0e | 2007-02-22 23:52:23 +0000 | [diff] [blame] | 306 | return !mi2iMap_.count(instr); |
Evan Cheng | 30cac02 | 2007-02-22 23:03:39 +0000 | [diff] [blame] | 307 | } |
| 308 | |
Chris Lattner | f7da2c7 | 2006-08-24 22:43:55 +0000 | [diff] [blame] | 309 | /// RemoveMachineInstrFromMaps - This marks the specified machine instr as |
| 310 | /// deleted. |
| 311 | void RemoveMachineInstrFromMaps(MachineInstr *MI) { |
| 312 | // remove index -> MachineInstr and |
| 313 | // MachineInstr -> index mappings |
| 314 | Mi2IndexMap::iterator mi2i = mi2iMap_.find(MI); |
| 315 | if (mi2i != mi2iMap_.end()) { |
| 316 | i2miMap_[mi2i->second/InstrSlots::NUM] = 0; |
| 317 | mi2iMap_.erase(mi2i); |
| 318 | } |
| 319 | } |
David Greene | 2513330 | 2007-06-08 17:18:56 +0000 | [diff] [blame] | 320 | |
Evan Cheng | 7007143 | 2008-02-13 03:01:43 +0000 | [diff] [blame] | 321 | /// ReplaceMachineInstrInMaps - Replacing a machine instr with a new one in |
| 322 | /// maps used by register allocator. |
| 323 | void ReplaceMachineInstrInMaps(MachineInstr *MI, MachineInstr *NewMI) { |
| 324 | Mi2IndexMap::iterator mi2i = mi2iMap_.find(MI); |
Evan Cheng | b1f6f91 | 2008-02-13 09:18:16 +0000 | [diff] [blame] | 325 | if (mi2i == mi2iMap_.end()) |
| 326 | return; |
| 327 | i2miMap_[mi2i->second/InstrSlots::NUM] = NewMI; |
| 328 | Mi2IndexMap::iterator it = mi2iMap_.find(MI); |
| 329 | assert(it != mi2iMap_.end() && "Invalid instruction!"); |
| 330 | unsigned Index = it->second; |
| 331 | mi2iMap_.erase(it); |
| 332 | mi2iMap_[NewMI] = Index; |
Evan Cheng | 7007143 | 2008-02-13 03:01:43 +0000 | [diff] [blame] | 333 | } |
| 334 | |
Evan Cheng | f3bb2e6 | 2007-09-05 21:46:51 +0000 | [diff] [blame] | 335 | BumpPtrAllocator& getVNInfoAllocator() { return VNInfoAllocator; } |
| 336 | |
Evan Cheng | c8d044e | 2008-02-15 18:24:29 +0000 | [diff] [blame] | 337 | /// getVNInfoSourceReg - Helper function that parses the specified VNInfo |
| 338 | /// copy field and returns the source register that defines it. |
| 339 | unsigned getVNInfoSourceReg(const VNInfo *VNI) const; |
| 340 | |
David Greene | 2513330 | 2007-06-08 17:18:56 +0000 | [diff] [blame] | 341 | virtual void getAnalysisUsage(AnalysisUsage &AU) const; |
| 342 | virtual void releaseMemory(); |
| 343 | |
| 344 | /// runOnMachineFunction - pass entry point |
| 345 | virtual bool runOnMachineFunction(MachineFunction&); |
| 346 | |
| 347 | /// print - Implement the dump method. |
| 348 | virtual void print(std::ostream &O, const Module* = 0) const; |
| 349 | void print(std::ostream *O, const Module* M = 0) const { |
| 350 | if (O) print(*O, M); |
| 351 | } |
| 352 | |
Evan Cheng | f2fbca6 | 2007-11-12 06:35:08 +0000 | [diff] [blame] | 353 | /// addIntervalsForSpills - Create new intervals for spilled defs / uses of |
Evan Cheng | 9c3c221 | 2008-06-06 07:54:39 +0000 | [diff] [blame] | 354 | /// the given interval. FIXME: It also returns the weight of the spill slot |
| 355 | /// (if any is created) by reference. This is temporary. |
Evan Cheng | f2fbca6 | 2007-11-12 06:35:08 +0000 | [diff] [blame] | 356 | std::vector<LiveInterval*> |
Evan Cheng | 81a0382 | 2007-11-17 00:40:40 +0000 | [diff] [blame] | 357 | addIntervalsForSpills(const LiveInterval& i, |
Evan Cheng | dc37786 | 2008-09-30 15:44:16 +0000 | [diff] [blame] | 358 | SmallVectorImpl<LiveInterval*> &SpillIs, |
Evan Cheng | c781a24 | 2009-05-03 18:32:42 +0000 | [diff] [blame^] | 359 | const MachineLoopInfo *loopInfo, VirtRegMap& vrm); |
Owen Anderson | d666431 | 2008-08-18 18:05:32 +0000 | [diff] [blame] | 360 | |
| 361 | /// addIntervalsForSpillsFast - Quickly create new intervals for spilled |
| 362 | /// defs / uses without remat or splitting. |
| 363 | std::vector<LiveInterval*> |
| 364 | addIntervalsForSpillsFast(const LiveInterval &li, |
Evan Cheng | c781a24 | 2009-05-03 18:32:42 +0000 | [diff] [blame^] | 365 | const MachineLoopInfo *loopInfo, VirtRegMap &vrm); |
Evan Cheng | f2fbca6 | 2007-11-12 06:35:08 +0000 | [diff] [blame] | 366 | |
Evan Cheng | 676dd7c | 2008-03-11 07:19:34 +0000 | [diff] [blame] | 367 | /// spillPhysRegAroundRegDefsUses - Spill the specified physical register |
Evan Cheng | 2824a65 | 2009-03-23 18:24:37 +0000 | [diff] [blame] | 368 | /// around all defs and uses of the specified interval. Return true if it |
| 369 | /// was able to cut its interval. |
| 370 | bool spillPhysRegAroundRegDefsUses(const LiveInterval &li, |
Evan Cheng | 676dd7c | 2008-03-11 07:19:34 +0000 | [diff] [blame] | 371 | unsigned PhysReg, VirtRegMap &vrm); |
| 372 | |
Evan Cheng | 5ef3a04 | 2007-12-06 00:01:56 +0000 | [diff] [blame] | 373 | /// isReMaterializable - Returns true if every definition of MI of every |
| 374 | /// val# of the specified interval is re-materializable. Also returns true |
| 375 | /// by reference if all of the defs are load instructions. |
Evan Cheng | dc37786 | 2008-09-30 15:44:16 +0000 | [diff] [blame] | 376 | bool isReMaterializable(const LiveInterval &li, |
| 377 | SmallVectorImpl<LiveInterval*> &SpillIs, |
| 378 | bool &isLoad); |
Evan Cheng | 5ef3a04 | 2007-12-06 00:01:56 +0000 | [diff] [blame] | 379 | |
Evan Cheng | 0658749 | 2008-10-24 02:05:00 +0000 | [diff] [blame] | 380 | /// isReMaterializable - Returns true if the definition MI of the specified |
| 381 | /// val# of the specified interval is re-materializable. |
| 382 | bool isReMaterializable(const LiveInterval &li, const VNInfo *ValNo, |
| 383 | MachineInstr *MI); |
| 384 | |
Evan Cheng | 676dd7c | 2008-03-11 07:19:34 +0000 | [diff] [blame] | 385 | /// getRepresentativeReg - Find the largest super register of the specified |
| 386 | /// physical register. |
| 387 | unsigned getRepresentativeReg(unsigned Reg) const; |
| 388 | |
| 389 | /// getNumConflictsWithPhysReg - Return the number of uses and defs of the |
| 390 | /// specified interval that conflicts with the specified physical register. |
| 391 | unsigned getNumConflictsWithPhysReg(const LiveInterval &li, |
| 392 | unsigned PhysReg) const; |
| 393 | |
Owen Anderson | 15a17f5 | 2008-05-30 20:14:04 +0000 | [diff] [blame] | 394 | /// computeNumbering - Compute the index numbering. |
| 395 | void computeNumbering(); |
| 396 | |
Owen Anderson | 0c2e7b9 | 2009-01-13 06:05:10 +0000 | [diff] [blame] | 397 | /// intervalIsInOneMBB - Returns true if the specified interval is entirely |
| 398 | /// within a single basic block. |
| 399 | bool intervalIsInOneMBB(const LiveInterval &li) const; |
| 400 | |
David Greene | 2513330 | 2007-06-08 17:18:56 +0000 | [diff] [blame] | 401 | private: |
Chris Lattner | 428b92e | 2006-09-15 03:57:23 +0000 | [diff] [blame] | 402 | /// computeIntervals - Compute live intervals. |
Chris Lattner | c7695eb | 2006-09-14 06:42:17 +0000 | [diff] [blame] | 403 | void computeIntervals(); |
Chris Lattner | 6bda49f | 2006-09-02 05:26:01 +0000 | [diff] [blame] | 404 | |
Alkis Evlogimenos | 1a8ea01 | 2004-08-04 09:46:26 +0000 | [diff] [blame] | 405 | /// handleRegisterDef - update intervals for a register def |
| 406 | /// (calls handlePhysicalRegisterDef and |
| 407 | /// handleVirtualRegisterDef) |
Chris Lattner | 6b128bd | 2006-09-03 08:07:11 +0000 | [diff] [blame] | 408 | void handleRegisterDef(MachineBasicBlock *MBB, |
| 409 | MachineBasicBlock::iterator MI, unsigned MIIdx, |
Evan Cheng | ef0732d | 2008-07-10 07:35:43 +0000 | [diff] [blame] | 410 | MachineOperand& MO, unsigned MOIdx); |
Alkis Evlogimenos | 1a8ea01 | 2004-08-04 09:46:26 +0000 | [diff] [blame] | 411 | |
| 412 | /// handleVirtualRegisterDef - update intervals for a virtual |
| 413 | /// register def |
Chris Lattner | 6b128bd | 2006-09-03 08:07:11 +0000 | [diff] [blame] | 414 | void handleVirtualRegisterDef(MachineBasicBlock *MBB, |
| 415 | MachineBasicBlock::iterator MI, |
Owen Anderson | 6b098de | 2008-06-25 23:39:39 +0000 | [diff] [blame] | 416 | unsigned MIIdx, MachineOperand& MO, |
Evan Cheng | ef0732d | 2008-07-10 07:35:43 +0000 | [diff] [blame] | 417 | unsigned MOIdx, LiveInterval& interval); |
Alkis Evlogimenos | 1a8ea01 | 2004-08-04 09:46:26 +0000 | [diff] [blame] | 418 | |
Chris Lattner | f768bba | 2005-03-09 23:05:19 +0000 | [diff] [blame] | 419 | /// handlePhysicalRegisterDef - update intervals for a physical register |
Chris Lattner | f7da2c7 | 2006-08-24 22:43:55 +0000 | [diff] [blame] | 420 | /// def. |
Alkis Evlogimenos | 1a8ea01 | 2004-08-04 09:46:26 +0000 | [diff] [blame] | 421 | void handlePhysicalRegisterDef(MachineBasicBlock* mbb, |
| 422 | MachineBasicBlock::iterator mi, |
Owen Anderson | 6b098de | 2008-06-25 23:39:39 +0000 | [diff] [blame] | 423 | unsigned MIIdx, MachineOperand& MO, |
Chris Lattner | 91725b7 | 2006-08-31 05:54:43 +0000 | [diff] [blame] | 424 | LiveInterval &interval, |
Evan Cheng | c8d044e | 2008-02-15 18:24:29 +0000 | [diff] [blame] | 425 | MachineInstr *CopyMI); |
Alkis Evlogimenos | 1a8ea01 | 2004-08-04 09:46:26 +0000 | [diff] [blame] | 426 | |
Evan Cheng | b371f45 | 2007-02-19 21:49:54 +0000 | [diff] [blame] | 427 | /// handleLiveInRegister - Create interval for a livein register. |
Jim Laskey | 9b25b8c | 2007-02-21 22:41:17 +0000 | [diff] [blame] | 428 | void handleLiveInRegister(MachineBasicBlock* mbb, |
| 429 | unsigned MIIdx, |
Evan Cheng | 24a3cc4 | 2007-04-25 07:30:23 +0000 | [diff] [blame] | 430 | LiveInterval &interval, bool isAlias = false); |
Evan Cheng | b371f45 | 2007-02-19 21:49:54 +0000 | [diff] [blame] | 431 | |
Evan Cheng | d70dbb5 | 2008-02-22 09:24:50 +0000 | [diff] [blame] | 432 | /// getReMatImplicitUse - If the remat definition MI has one (for now, we |
| 433 | /// only allow one) virtual register operand, then its uses are implicitly |
| 434 | /// using the register. Returns the virtual register. |
| 435 | unsigned getReMatImplicitUse(const LiveInterval &li, |
| 436 | MachineInstr *MI) const; |
| 437 | |
| 438 | /// isValNoAvailableAt - Return true if the val# of the specified interval |
| 439 | /// which reaches the given instruction also reaches the specified use |
| 440 | /// index. |
| 441 | bool isValNoAvailableAt(const LiveInterval &li, MachineInstr *MI, |
| 442 | unsigned UseIdx) const; |
| 443 | |
Evan Cheng | 549f27d3 | 2007-08-13 23:45:17 +0000 | [diff] [blame] | 444 | /// isReMaterializable - Returns true if the definition MI of the specified |
Evan Cheng | 5ef3a04 | 2007-12-06 00:01:56 +0000 | [diff] [blame] | 445 | /// val# of the specified interval is re-materializable. Also returns true |
| 446 | /// by reference if the def is a load. |
Evan Cheng | 7ecb38b | 2007-08-29 20:45:00 +0000 | [diff] [blame] | 447 | bool isReMaterializable(const LiveInterval &li, const VNInfo *ValNo, |
Evan Cheng | dc37786 | 2008-09-30 15:44:16 +0000 | [diff] [blame] | 448 | MachineInstr *MI, |
| 449 | SmallVectorImpl<LiveInterval*> &SpillIs, |
| 450 | bool &isLoad); |
Evan Cheng | 549f27d3 | 2007-08-13 23:45:17 +0000 | [diff] [blame] | 451 | |
Evan Cheng | 35b35c5 | 2007-08-30 05:52:20 +0000 | [diff] [blame] | 452 | /// tryFoldMemoryOperand - Attempts to fold either a spill / restore from |
| 453 | /// slot / to reg or any rematerialized load into ith operand of specified |
| 454 | /// MI. If it is successul, MI is updated with the newly created MI and |
| 455 | /// returns true. |
| 456 | bool tryFoldMemoryOperand(MachineInstr* &MI, VirtRegMap &vrm, |
Evan Cheng | cddbb83 | 2007-11-30 21:23:43 +0000 | [diff] [blame] | 457 | MachineInstr *DefMI, unsigned InstrIdx, |
Evan Cheng | aee4af6 | 2007-12-02 08:30:39 +0000 | [diff] [blame] | 458 | SmallVector<unsigned, 2> &Ops, |
Evan Cheng | cddbb83 | 2007-11-30 21:23:43 +0000 | [diff] [blame] | 459 | bool isSS, int Slot, unsigned Reg); |
Evan Cheng | 549f27d3 | 2007-08-13 23:45:17 +0000 | [diff] [blame] | 460 | |
Evan Cheng | d70dbb5 | 2008-02-22 09:24:50 +0000 | [diff] [blame] | 461 | /// canFoldMemoryOperand - Return true if the specified load / store |
Evan Cheng | 018f9b0 | 2007-12-05 03:22:34 +0000 | [diff] [blame] | 462 | /// folding is possible. |
Evan Cheng | d64b5c8 | 2007-12-05 03:14:33 +0000 | [diff] [blame] | 463 | bool canFoldMemoryOperand(MachineInstr *MI, |
Evan Cheng | 79a0c1e | 2008-02-25 08:50:41 +0000 | [diff] [blame] | 464 | SmallVector<unsigned, 2> &Ops, |
| 465 | bool ReMatLoadSS) const; |
Evan Cheng | d64b5c8 | 2007-12-05 03:14:33 +0000 | [diff] [blame] | 466 | |
Evan Cheng | 0cbb116 | 2007-11-29 01:06:25 +0000 | [diff] [blame] | 467 | /// anyKillInMBBAfterIdx - Returns true if there is a kill of the specified |
| 468 | /// VNInfo that's after the specified index but is within the basic block. |
| 469 | bool anyKillInMBBAfterIdx(const LiveInterval &li, const VNInfo *VNI, |
| 470 | MachineBasicBlock *MBB, unsigned Idx) const; |
Evan Cheng | 81a0382 | 2007-11-17 00:40:40 +0000 | [diff] [blame] | 471 | |
Evan Cheng | 676dd7c | 2008-03-11 07:19:34 +0000 | [diff] [blame] | 472 | /// hasAllocatableSuperReg - Return true if the specified physical register |
| 473 | /// has any super register that's allocatable. |
| 474 | bool hasAllocatableSuperReg(unsigned Reg) const; |
| 475 | |
Evan Cheng | 1953d0c | 2007-11-29 10:12:14 +0000 | [diff] [blame] | 476 | /// SRInfo - Spill / restore info. |
| 477 | struct SRInfo { |
| 478 | int index; |
| 479 | unsigned vreg; |
| 480 | bool canFold; |
| 481 | SRInfo(int i, unsigned vr, bool f) : index(i), vreg(vr), canFold(f) {}; |
| 482 | }; |
| 483 | |
| 484 | bool alsoFoldARestore(int Id, int index, unsigned vr, |
| 485 | BitVector &RestoreMBBs, |
Owen Anderson | 2899831 | 2008-08-13 22:28:50 +0000 | [diff] [blame] | 486 | DenseMap<unsigned,std::vector<SRInfo> >&RestoreIdxes); |
Evan Cheng | 1953d0c | 2007-11-29 10:12:14 +0000 | [diff] [blame] | 487 | void eraseRestoreInfo(int Id, int index, unsigned vr, |
| 488 | BitVector &RestoreMBBs, |
Owen Anderson | 2899831 | 2008-08-13 22:28:50 +0000 | [diff] [blame] | 489 | DenseMap<unsigned,std::vector<SRInfo> >&RestoreIdxes); |
Evan Cheng | 1953d0c | 2007-11-29 10:12:14 +0000 | [diff] [blame] | 490 | |
Evan Cheng | 4cce6b4 | 2008-04-11 17:53:36 +0000 | [diff] [blame] | 491 | /// handleSpilledImpDefs - Remove IMPLICIT_DEF instructions which are being |
| 492 | /// spilled and create empty intervals for their uses. |
| 493 | void handleSpilledImpDefs(const LiveInterval &li, VirtRegMap &vrm, |
| 494 | const TargetRegisterClass* rc, |
| 495 | std::vector<LiveInterval*> &NewLIs); |
Evan Cheng | 419852c | 2008-04-03 16:39:43 +0000 | [diff] [blame] | 496 | |
Evan Cheng | d70dbb5 | 2008-02-22 09:24:50 +0000 | [diff] [blame] | 497 | /// rewriteImplicitOps - Rewrite implicit use operands of MI (i.e. uses of |
| 498 | /// interval on to-be re-materialized operands of MI) with new register. |
| 499 | void rewriteImplicitOps(const LiveInterval &li, |
| 500 | MachineInstr *MI, unsigned NewVReg, VirtRegMap &vrm); |
| 501 | |
Chris Lattner | 84bc542 | 2007-12-31 04:13:23 +0000 | [diff] [blame] | 502 | /// rewriteInstructionForSpills, rewriteInstructionsForSpills - Helper |
| 503 | /// functions for addIntervalsForSpills to rewrite uses / defs for the given |
| 504 | /// live range. |
Evan Cheng | d70dbb5 | 2008-02-22 09:24:50 +0000 | [diff] [blame] | 505 | bool rewriteInstructionForSpills(const LiveInterval &li, const VNInfo *VNI, |
| 506 | bool TrySplit, unsigned index, unsigned end, MachineInstr *MI, |
Evan Cheng | f2fbca6 | 2007-11-12 06:35:08 +0000 | [diff] [blame] | 507 | MachineInstr *OrigDefMI, MachineInstr *DefMI, unsigned Slot, int LdSlot, |
| 508 | bool isLoad, bool isLoadSS, bool DefIsReMat, bool CanDelete, |
Evan Cheng | d70dbb5 | 2008-02-22 09:24:50 +0000 | [diff] [blame] | 509 | VirtRegMap &vrm, const TargetRegisterClass* rc, |
| 510 | SmallVector<int, 4> &ReMatIds, const MachineLoopInfo *loopInfo, |
Evan Cheng | 0cc83b6 | 2008-02-23 00:46:11 +0000 | [diff] [blame] | 511 | unsigned &NewVReg, unsigned ImpUse, bool &HasDef, bool &HasUse, |
Owen Anderson | 2899831 | 2008-08-13 22:28:50 +0000 | [diff] [blame] | 512 | DenseMap<unsigned,unsigned> &MBBVRegsMap, |
Evan Cheng | c781a24 | 2009-05-03 18:32:42 +0000 | [diff] [blame^] | 513 | std::vector<LiveInterval*> &NewLIs); |
Evan Cheng | 81a0382 | 2007-11-17 00:40:40 +0000 | [diff] [blame] | 514 | void rewriteInstructionsForSpills(const LiveInterval &li, bool TrySplit, |
Evan Cheng | f2fbca6 | 2007-11-12 06:35:08 +0000 | [diff] [blame] | 515 | LiveInterval::Ranges::const_iterator &I, |
| 516 | MachineInstr *OrigDefMI, MachineInstr *DefMI, unsigned Slot, int LdSlot, |
| 517 | bool isLoad, bool isLoadSS, bool DefIsReMat, bool CanDelete, |
Evan Cheng | d70dbb5 | 2008-02-22 09:24:50 +0000 | [diff] [blame] | 518 | VirtRegMap &vrm, const TargetRegisterClass* rc, |
Evan Cheng | 22f07ff | 2007-12-11 02:09:15 +0000 | [diff] [blame] | 519 | SmallVector<int, 4> &ReMatIds, const MachineLoopInfo *loopInfo, |
Evan Cheng | 81a0382 | 2007-11-17 00:40:40 +0000 | [diff] [blame] | 520 | BitVector &SpillMBBs, |
Owen Anderson | 2899831 | 2008-08-13 22:28:50 +0000 | [diff] [blame] | 521 | DenseMap<unsigned,std::vector<SRInfo> > &SpillIdxes, |
Evan Cheng | 0cbb116 | 2007-11-29 01:06:25 +0000 | [diff] [blame] | 522 | BitVector &RestoreMBBs, |
Owen Anderson | 2899831 | 2008-08-13 22:28:50 +0000 | [diff] [blame] | 523 | DenseMap<unsigned,std::vector<SRInfo> > &RestoreIdxes, |
| 524 | DenseMap<unsigned,unsigned> &MBBVRegsMap, |
Evan Cheng | c781a24 | 2009-05-03 18:32:42 +0000 | [diff] [blame^] | 525 | std::vector<LiveInterval*> &NewLIs); |
Evan Cheng | f2fbca6 | 2007-11-12 06:35:08 +0000 | [diff] [blame] | 526 | |
Owen Anderson | 03857b2 | 2008-08-13 21:49:13 +0000 | [diff] [blame] | 527 | static LiveInterval* createInterval(unsigned Reg); |
Alkis Evlogimenos | 1a8ea01 | 2004-08-04 09:46:26 +0000 | [diff] [blame] | 528 | |
Alkis Evlogimenos | 1a8ea01 | 2004-08-04 09:46:26 +0000 | [diff] [blame] | 529 | void printRegName(unsigned reg) const; |
| 530 | }; |
| 531 | |
Alkis Evlogimenos | ff0cbe1 | 2003-11-20 03:32:25 +0000 | [diff] [blame] | 532 | } // End llvm namespace |
| 533 | |
| 534 | #endif |