Jakob Stoklund Olesen | ccc9581 | 2012-01-11 22:28:30 +0000 | [diff] [blame] | 1 | //===-- RegAllocBasic.cpp - Basic Register Allocator ----------------------===// |
Andrew Trick | 14e8d71 | 2010-10-22 23:09:15 +0000 | [diff] [blame] | 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 defines the RABasic function pass, which provides a minimal |
| 11 | // implementation of the basic register allocator. |
| 12 | // |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
| 15 | #define DEBUG_TYPE "regalloc" |
Jakob Stoklund Olesen | 812cda9 | 2012-06-20 22:52:24 +0000 | [diff] [blame] | 16 | #include "AllocationOrder.h" |
Jakob Stoklund Olesen | 5f2316a | 2011-06-03 20:34:53 +0000 | [diff] [blame] | 17 | #include "RegAllocBase.h" |
Jakob Stoklund Olesen | cfafc54 | 2011-04-05 21:40:37 +0000 | [diff] [blame] | 18 | #include "LiveDebugVariables.h" |
Andrew Trick | 14e8d71 | 2010-10-22 23:09:15 +0000 | [diff] [blame] | 19 | #include "RenderMachineFunction.h" |
| 20 | #include "Spiller.h" |
Andrew Trick | e141a49 | 2010-11-08 18:02:08 +0000 | [diff] [blame] | 21 | #include "VirtRegMap.h" |
Jakob Stoklund Olesen | 812cda9 | 2012-06-20 22:52:24 +0000 | [diff] [blame] | 22 | #include "LiveRegMatrix.h" |
Andrew Trick | 8a83d54 | 2010-11-11 17:46:29 +0000 | [diff] [blame] | 23 | #include "llvm/Analysis/AliasAnalysis.h" |
Andrew Trick | 14e8d71 | 2010-10-22 23:09:15 +0000 | [diff] [blame] | 24 | #include "llvm/Function.h" |
| 25 | #include "llvm/PassAnalysisSupport.h" |
| 26 | #include "llvm/CodeGen/CalcSpillWeights.h" |
Andrew Trick | e141a49 | 2010-11-08 18:02:08 +0000 | [diff] [blame] | 27 | #include "llvm/CodeGen/LiveIntervalAnalysis.h" |
Pete Cooper | 789d5d8 | 2012-04-02 22:44:18 +0000 | [diff] [blame] | 28 | #include "llvm/CodeGen/LiveRangeEdit.h" |
Andrew Trick | 14e8d71 | 2010-10-22 23:09:15 +0000 | [diff] [blame] | 29 | #include "llvm/CodeGen/LiveStackAnalysis.h" |
| 30 | #include "llvm/CodeGen/MachineFunctionPass.h" |
| 31 | #include "llvm/CodeGen/MachineInstr.h" |
| 32 | #include "llvm/CodeGen/MachineLoopInfo.h" |
| 33 | #include "llvm/CodeGen/MachineRegisterInfo.h" |
| 34 | #include "llvm/CodeGen/Passes.h" |
| 35 | #include "llvm/CodeGen/RegAllocRegistry.h" |
Andrew Trick | 14e8d71 | 2010-10-22 23:09:15 +0000 | [diff] [blame] | 36 | #include "llvm/Target/TargetMachine.h" |
| 37 | #include "llvm/Target/TargetOptions.h" |
Andrew Trick | e16eecc | 2010-10-26 18:34:01 +0000 | [diff] [blame] | 38 | #include "llvm/Target/TargetRegisterInfo.h" |
Andrew Trick | e141a49 | 2010-11-08 18:02:08 +0000 | [diff] [blame] | 39 | #include "llvm/Support/Debug.h" |
Andrew Trick | e141a49 | 2010-11-08 18:02:08 +0000 | [diff] [blame] | 40 | #include "llvm/Support/raw_ostream.h" |
Andrew Trick | e16eecc | 2010-10-26 18:34:01 +0000 | [diff] [blame] | 41 | |
Jakob Stoklund Olesen | 953af2c | 2010-12-07 23:18:47 +0000 | [diff] [blame] | 42 | #include <cstdlib> |
Jakob Stoklund Olesen | 98d9648 | 2011-02-22 23:01:52 +0000 | [diff] [blame] | 43 | #include <queue> |
Andrew Trick | e16eecc | 2010-10-26 18:34:01 +0000 | [diff] [blame] | 44 | |
Andrew Trick | 14e8d71 | 2010-10-22 23:09:15 +0000 | [diff] [blame] | 45 | using namespace llvm; |
| 46 | |
| 47 | static RegisterRegAlloc basicRegAlloc("basic", "basic register allocator", |
| 48 | createBasicRegisterAllocator); |
| 49 | |
Benjamin Kramer | c62feda | 2010-11-25 16:42:51 +0000 | [diff] [blame] | 50 | namespace { |
Jakob Stoklund Olesen | 98d9648 | 2011-02-22 23:01:52 +0000 | [diff] [blame] | 51 | struct CompSpillWeight { |
| 52 | bool operator()(LiveInterval *A, LiveInterval *B) const { |
| 53 | return A->weight < B->weight; |
| 54 | } |
| 55 | }; |
| 56 | } |
| 57 | |
| 58 | namespace { |
Andrew Trick | 14e8d71 | 2010-10-22 23:09:15 +0000 | [diff] [blame] | 59 | /// RABasic provides a minimal implementation of the basic register allocation |
| 60 | /// algorithm. It prioritizes live virtual registers by spill weight and spills |
| 61 | /// whenever a register is unavailable. This is not practical in production but |
| 62 | /// provides a useful baseline both for measuring other allocators and comparing |
| 63 | /// the speed of the basic algorithm against other styles of allocators. |
| 64 | class RABasic : public MachineFunctionPass, public RegAllocBase |
| 65 | { |
| 66 | // context |
Andrew Trick | 18c57a8 | 2010-11-30 23:18:47 +0000 | [diff] [blame] | 67 | MachineFunction *MF; |
Andrew Trick | 14e8d71 | 2010-10-22 23:09:15 +0000 | [diff] [blame] | 68 | |
Benjamin Kramer | a978366 | 2012-06-16 21:48:13 +0000 | [diff] [blame] | 69 | #ifndef NDEBUG |
Andrew Trick | 14e8d71 | 2010-10-22 23:09:15 +0000 | [diff] [blame] | 70 | // analyses |
Andrew Trick | 18c57a8 | 2010-11-30 23:18:47 +0000 | [diff] [blame] | 71 | RenderMachineFunction *RMF; |
Benjamin Kramer | a978366 | 2012-06-16 21:48:13 +0000 | [diff] [blame] | 72 | #endif |
Andrew Trick | 14e8d71 | 2010-10-22 23:09:15 +0000 | [diff] [blame] | 73 | |
| 74 | // state |
Andrew Trick | 18c57a8 | 2010-11-30 23:18:47 +0000 | [diff] [blame] | 75 | std::auto_ptr<Spiller> SpillerInstance; |
Jakob Stoklund Olesen | 98d9648 | 2011-02-22 23:01:52 +0000 | [diff] [blame] | 76 | std::priority_queue<LiveInterval*, std::vector<LiveInterval*>, |
| 77 | CompSpillWeight> Queue; |
Jakob Stoklund Olesen | a94e635 | 2012-02-08 18:54:35 +0000 | [diff] [blame] | 78 | |
| 79 | // Scratch space. Allocated here to avoid repeated malloc calls in |
| 80 | // selectOrSplit(). |
| 81 | BitVector UsableRegs; |
| 82 | |
Andrew Trick | 14e8d71 | 2010-10-22 23:09:15 +0000 | [diff] [blame] | 83 | public: |
| 84 | RABasic(); |
| 85 | |
| 86 | /// Return the pass name. |
| 87 | virtual const char* getPassName() const { |
| 88 | return "Basic Register Allocator"; |
| 89 | } |
| 90 | |
| 91 | /// RABasic analysis usage. |
Andrew Trick | 18c57a8 | 2010-11-30 23:18:47 +0000 | [diff] [blame] | 92 | virtual void getAnalysisUsage(AnalysisUsage &AU) const; |
Andrew Trick | 14e8d71 | 2010-10-22 23:09:15 +0000 | [diff] [blame] | 93 | |
| 94 | virtual void releaseMemory(); |
| 95 | |
Andrew Trick | 18c57a8 | 2010-11-30 23:18:47 +0000 | [diff] [blame] | 96 | virtual Spiller &spiller() { return *SpillerInstance; } |
Andrew Trick | f4baeaf | 2010-11-10 19:18:47 +0000 | [diff] [blame] | 97 | |
Jakob Stoklund Olesen | d0bec3e | 2010-12-08 22:22:41 +0000 | [diff] [blame] | 98 | virtual float getPriority(LiveInterval *LI) { return LI->weight; } |
| 99 | |
Jakob Stoklund Olesen | 98d9648 | 2011-02-22 23:01:52 +0000 | [diff] [blame] | 100 | virtual void enqueue(LiveInterval *LI) { |
| 101 | Queue.push(LI); |
| 102 | } |
| 103 | |
| 104 | virtual LiveInterval *dequeue() { |
| 105 | if (Queue.empty()) |
| 106 | return 0; |
| 107 | LiveInterval *LI = Queue.top(); |
| 108 | Queue.pop(); |
| 109 | return LI; |
| 110 | } |
| 111 | |
Andrew Trick | 18c57a8 | 2010-11-30 23:18:47 +0000 | [diff] [blame] | 112 | virtual unsigned selectOrSplit(LiveInterval &VirtReg, |
| 113 | SmallVectorImpl<LiveInterval*> &SplitVRegs); |
Andrew Trick | 14e8d71 | 2010-10-22 23:09:15 +0000 | [diff] [blame] | 114 | |
| 115 | /// Perform register allocation. |
| 116 | virtual bool runOnMachineFunction(MachineFunction &mf); |
| 117 | |
Jakob Stoklund Olesen | a8bd9a6 | 2012-01-11 22:52:14 +0000 | [diff] [blame] | 118 | // Helper for spilling all live virtual registers currently unified under preg |
| 119 | // that interfere with the most recently queried lvr. Return true if spilling |
| 120 | // was successful, and append any new spilled/split intervals to splitLVRs. |
| 121 | bool spillInterferences(LiveInterval &VirtReg, unsigned PhysReg, |
| 122 | SmallVectorImpl<LiveInterval*> &SplitVRegs); |
| 123 | |
Andrew Trick | 14e8d71 | 2010-10-22 23:09:15 +0000 | [diff] [blame] | 124 | static char ID; |
| 125 | }; |
| 126 | |
| 127 | char RABasic::ID = 0; |
| 128 | |
| 129 | } // end anonymous namespace |
| 130 | |
Andrew Trick | 14e8d71 | 2010-10-22 23:09:15 +0000 | [diff] [blame] | 131 | RABasic::RABasic(): MachineFunctionPass(ID) { |
Jakob Stoklund Olesen | cfafc54 | 2011-04-05 21:40:37 +0000 | [diff] [blame] | 132 | initializeLiveDebugVariablesPass(*PassRegistry::getPassRegistry()); |
Andrew Trick | 14e8d71 | 2010-10-22 23:09:15 +0000 | [diff] [blame] | 133 | initializeLiveIntervalsPass(*PassRegistry::getPassRegistry()); |
| 134 | initializeSlotIndexesPass(*PassRegistry::getPassRegistry()); |
Rafael Espindola | 5b22021 | 2011-06-26 22:34:10 +0000 | [diff] [blame] | 135 | initializeRegisterCoalescerPass(*PassRegistry::getPassRegistry()); |
Andrew Trick | 42b7a71 | 2012-01-17 06:55:03 +0000 | [diff] [blame] | 136 | initializeMachineSchedulerPass(*PassRegistry::getPassRegistry()); |
Andrew Trick | 14e8d71 | 2010-10-22 23:09:15 +0000 | [diff] [blame] | 137 | initializeCalculateSpillWeightsPass(*PassRegistry::getPassRegistry()); |
| 138 | initializeLiveStacksPass(*PassRegistry::getPassRegistry()); |
Jakob Stoklund Olesen | 964bc25 | 2010-11-03 20:39:26 +0000 | [diff] [blame] | 139 | initializeMachineDominatorTreePass(*PassRegistry::getPassRegistry()); |
Andrew Trick | 14e8d71 | 2010-10-22 23:09:15 +0000 | [diff] [blame] | 140 | initializeMachineLoopInfoPass(*PassRegistry::getPassRegistry()); |
| 141 | initializeVirtRegMapPass(*PassRegistry::getPassRegistry()); |
Jakob Stoklund Olesen | 812cda9 | 2012-06-20 22:52:24 +0000 | [diff] [blame] | 142 | initializeLiveRegMatrixPass(*PassRegistry::getPassRegistry()); |
Andrew Trick | 14e8d71 | 2010-10-22 23:09:15 +0000 | [diff] [blame] | 143 | initializeRenderMachineFunctionPass(*PassRegistry::getPassRegistry()); |
| 144 | } |
| 145 | |
Andrew Trick | 18c57a8 | 2010-11-30 23:18:47 +0000 | [diff] [blame] | 146 | void RABasic::getAnalysisUsage(AnalysisUsage &AU) const { |
| 147 | AU.setPreservesCFG(); |
| 148 | AU.addRequired<AliasAnalysis>(); |
| 149 | AU.addPreserved<AliasAnalysis>(); |
| 150 | AU.addRequired<LiveIntervals>(); |
Jakob Stoklund Olesen | 05ec712 | 2012-06-08 23:44:45 +0000 | [diff] [blame] | 151 | AU.addPreserved<LiveIntervals>(); |
Andrew Trick | 18c57a8 | 2010-11-30 23:18:47 +0000 | [diff] [blame] | 152 | AU.addPreserved<SlotIndexes>(); |
Jakob Stoklund Olesen | cfafc54 | 2011-04-05 21:40:37 +0000 | [diff] [blame] | 153 | AU.addRequired<LiveDebugVariables>(); |
| 154 | AU.addPreserved<LiveDebugVariables>(); |
Andrew Trick | 18c57a8 | 2010-11-30 23:18:47 +0000 | [diff] [blame] | 155 | AU.addRequired<CalculateSpillWeights>(); |
| 156 | AU.addRequired<LiveStacks>(); |
| 157 | AU.addPreserved<LiveStacks>(); |
| 158 | AU.addRequiredID(MachineDominatorsID); |
| 159 | AU.addPreservedID(MachineDominatorsID); |
| 160 | AU.addRequired<MachineLoopInfo>(); |
| 161 | AU.addPreserved<MachineLoopInfo>(); |
| 162 | AU.addRequired<VirtRegMap>(); |
| 163 | AU.addPreserved<VirtRegMap>(); |
Jakob Stoklund Olesen | 812cda9 | 2012-06-20 22:52:24 +0000 | [diff] [blame] | 164 | AU.addRequired<LiveRegMatrix>(); |
| 165 | AU.addPreserved<LiveRegMatrix>(); |
Andrew Trick | 18c57a8 | 2010-11-30 23:18:47 +0000 | [diff] [blame] | 166 | DEBUG(AU.addRequired<RenderMachineFunction>()); |
| 167 | MachineFunctionPass::getAnalysisUsage(AU); |
Andrew Trick | 14e8d71 | 2010-10-22 23:09:15 +0000 | [diff] [blame] | 168 | } |
| 169 | |
| 170 | void RABasic::releaseMemory() { |
Andrew Trick | 18c57a8 | 2010-11-30 23:18:47 +0000 | [diff] [blame] | 171 | SpillerInstance.reset(0); |
Andrew Trick | 14e8d71 | 2010-10-22 23:09:15 +0000 | [diff] [blame] | 172 | RegAllocBase::releaseMemory(); |
| 173 | } |
| 174 | |
Jakob Stoklund Olesen | a8bd9a6 | 2012-01-11 22:52:14 +0000 | [diff] [blame] | 175 | |
| 176 | // Spill or split all live virtual registers currently unified under PhysReg |
| 177 | // that interfere with VirtReg. The newly spilled or split live intervals are |
| 178 | // returned by appending them to SplitVRegs. |
| 179 | bool RABasic::spillInterferences(LiveInterval &VirtReg, unsigned PhysReg, |
| 180 | SmallVectorImpl<LiveInterval*> &SplitVRegs) { |
| 181 | // Record each interference and determine if all are spillable before mutating |
| 182 | // either the union or live intervals. |
Jakob Stoklund Olesen | 812cda9 | 2012-06-20 22:52:24 +0000 | [diff] [blame] | 183 | SmallVector<LiveInterval*, 8> Intfs; |
| 184 | |
Jakob Stoklund Olesen | a8bd9a6 | 2012-01-11 22:52:14 +0000 | [diff] [blame] | 185 | // Collect interferences assigned to any alias of the physical register. |
Jakob Stoklund Olesen | 812cda9 | 2012-06-20 22:52:24 +0000 | [diff] [blame] | 186 | for (MCRegUnitIterator Units(PhysReg, TRI); Units.isValid(); ++Units) { |
| 187 | LiveIntervalUnion::Query &Q = Matrix->query(VirtReg, *Units); |
| 188 | Q.collectInterferingVRegs(); |
| 189 | if (Q.seenUnspillableVReg()) |
Jakob Stoklund Olesen | a8bd9a6 | 2012-01-11 22:52:14 +0000 | [diff] [blame] | 190 | return false; |
Jakob Stoklund Olesen | 812cda9 | 2012-06-20 22:52:24 +0000 | [diff] [blame] | 191 | for (unsigned i = Q.interferingVRegs().size(); i; --i) { |
| 192 | LiveInterval *Intf = Q.interferingVRegs()[i - 1]; |
| 193 | if (!Intf->isSpillable() || Intf->weight > VirtReg.weight) |
| 194 | return false; |
| 195 | Intfs.push_back(Intf); |
Jakob Stoklund Olesen | a8bd9a6 | 2012-01-11 22:52:14 +0000 | [diff] [blame] | 196 | } |
| 197 | } |
| 198 | DEBUG(dbgs() << "spilling " << TRI->getName(PhysReg) << |
| 199 | " interferences with " << VirtReg << "\n"); |
Jakob Stoklund Olesen | 812cda9 | 2012-06-20 22:52:24 +0000 | [diff] [blame] | 200 | assert(!Intfs.empty() && "expected interference"); |
Jakob Stoklund Olesen | a8bd9a6 | 2012-01-11 22:52:14 +0000 | [diff] [blame] | 201 | |
| 202 | // Spill each interfering vreg allocated to PhysReg or an alias. |
Jakob Stoklund Olesen | 812cda9 | 2012-06-20 22:52:24 +0000 | [diff] [blame] | 203 | for (unsigned i = 0, e = Intfs.size(); i != e; ++i) { |
| 204 | LiveInterval &Spill = *Intfs[i]; |
| 205 | |
| 206 | // Skip duplicates. |
| 207 | if (!VRM->hasPhys(Spill.reg)) |
| 208 | continue; |
| 209 | |
| 210 | // Deallocate the interfering vreg by removing it from the union. |
| 211 | // A LiveInterval instance may not be in a union during modification! |
| 212 | Matrix->unassign(Spill); |
| 213 | |
| 214 | // Spill the extracted interval. |
| 215 | LiveRangeEdit LRE(&Spill, SplitVRegs, *MF, *LIS, VRM); |
| 216 | spiller().spill(LRE); |
| 217 | } |
Jakob Stoklund Olesen | a8bd9a6 | 2012-01-11 22:52:14 +0000 | [diff] [blame] | 218 | return true; |
| 219 | } |
| 220 | |
Andrew Trick | 14e8d71 | 2010-10-22 23:09:15 +0000 | [diff] [blame] | 221 | // Driver for the register assignment and splitting heuristics. |
| 222 | // Manages iteration over the LiveIntervalUnions. |
Andrew Trick | 13bdbb0 | 2010-11-20 02:43:55 +0000 | [diff] [blame] | 223 | // |
Andrew Trick | 18c57a8 | 2010-11-30 23:18:47 +0000 | [diff] [blame] | 224 | // This is a minimal implementation of register assignment and splitting that |
| 225 | // spills whenever we run out of registers. |
Andrew Trick | 14e8d71 | 2010-10-22 23:09:15 +0000 | [diff] [blame] | 226 | // |
| 227 | // selectOrSplit can only be called once per live virtual register. We then do a |
| 228 | // single interference test for each register the correct class until we find an |
| 229 | // available register. So, the number of interference tests in the worst case is |
| 230 | // |vregs| * |machineregs|. And since the number of interference tests is |
Andrew Trick | 18c57a8 | 2010-11-30 23:18:47 +0000 | [diff] [blame] | 231 | // minimal, there is no value in caching them outside the scope of |
| 232 | // selectOrSplit(). |
| 233 | unsigned RABasic::selectOrSplit(LiveInterval &VirtReg, |
| 234 | SmallVectorImpl<LiveInterval*> &SplitVRegs) { |
Andrew Trick | f4baeaf | 2010-11-10 19:18:47 +0000 | [diff] [blame] | 235 | // Populate a list of physical register spill candidates. |
Andrew Trick | 18c57a8 | 2010-11-30 23:18:47 +0000 | [diff] [blame] | 236 | SmallVector<unsigned, 8> PhysRegSpillCands; |
Andrew Trick | e141a49 | 2010-11-08 18:02:08 +0000 | [diff] [blame] | 237 | |
Andrew Trick | 13bdbb0 | 2010-11-20 02:43:55 +0000 | [diff] [blame] | 238 | // Check for an available register in this class. |
Jakob Stoklund Olesen | 812cda9 | 2012-06-20 22:52:24 +0000 | [diff] [blame] | 239 | AllocationOrder Order(VirtReg.reg, *VRM, RegClassInfo); |
| 240 | while (unsigned PhysReg = Order.next()) { |
| 241 | // Check for interference in PhysReg |
| 242 | switch (Matrix->checkInterference(VirtReg, PhysReg)) { |
| 243 | case LiveRegMatrix::IK_Free: |
| 244 | // PhysReg is available, allocate it. |
| 245 | return PhysReg; |
Andrew Trick | 18c57a8 | 2010-11-30 23:18:47 +0000 | [diff] [blame] | 246 | |
Jakob Stoklund Olesen | 812cda9 | 2012-06-20 22:52:24 +0000 | [diff] [blame] | 247 | case LiveRegMatrix::IK_VirtReg: |
| 248 | // Only virtual registers in the way, we may be able to spill them. |
| 249 | PhysRegSpillCands.push_back(PhysReg); |
Jakob Stoklund Olesen | a94e635 | 2012-02-08 18:54:35 +0000 | [diff] [blame] | 250 | continue; |
| 251 | |
Jakob Stoklund Olesen | 812cda9 | 2012-06-20 22:52:24 +0000 | [diff] [blame] | 252 | default: |
| 253 | // RegMask or RegUnit interference. |
| 254 | continue; |
Andrew Trick | e141a49 | 2010-11-08 18:02:08 +0000 | [diff] [blame] | 255 | } |
Andrew Trick | 14e8d71 | 2010-10-22 23:09:15 +0000 | [diff] [blame] | 256 | } |
Jakob Stoklund Olesen | 812cda9 | 2012-06-20 22:52:24 +0000 | [diff] [blame] | 257 | |
Andrew Trick | f4baeaf | 2010-11-10 19:18:47 +0000 | [diff] [blame] | 258 | // Try to spill another interfering reg with less spill weight. |
Andrew Trick | 18c57a8 | 2010-11-30 23:18:47 +0000 | [diff] [blame] | 259 | for (SmallVectorImpl<unsigned>::iterator PhysRegI = PhysRegSpillCands.begin(), |
Jakob Stoklund Olesen | 812cda9 | 2012-06-20 22:52:24 +0000 | [diff] [blame] | 260 | PhysRegE = PhysRegSpillCands.end(); PhysRegI != PhysRegE; ++PhysRegI) { |
| 261 | if (!spillInterferences(VirtReg, *PhysRegI, SplitVRegs)) |
| 262 | continue; |
Andrew Trick | f4baeaf | 2010-11-10 19:18:47 +0000 | [diff] [blame] | 263 | |
Jakob Stoklund Olesen | 812cda9 | 2012-06-20 22:52:24 +0000 | [diff] [blame] | 264 | assert(!Matrix->checkInterference(VirtReg, *PhysRegI) && |
Jakob Stoklund Olesen | 2b38c51 | 2010-12-07 18:51:27 +0000 | [diff] [blame] | 265 | "Interference after spill."); |
Andrew Trick | f4baeaf | 2010-11-10 19:18:47 +0000 | [diff] [blame] | 266 | // Tell the caller to allocate to this newly freed physical register. |
Andrew Trick | 18c57a8 | 2010-11-30 23:18:47 +0000 | [diff] [blame] | 267 | return *PhysRegI; |
Andrew Trick | e141a49 | 2010-11-08 18:02:08 +0000 | [diff] [blame] | 268 | } |
Jakob Stoklund Olesen | bf4e10f | 2011-05-06 21:58:30 +0000 | [diff] [blame] | 269 | |
Andrew Trick | 18c57a8 | 2010-11-30 23:18:47 +0000 | [diff] [blame] | 270 | // No other spill candidates were found, so spill the current VirtReg. |
| 271 | DEBUG(dbgs() << "spilling: " << VirtReg << '\n'); |
Jakob Stoklund Olesen | bf4e10f | 2011-05-06 21:58:30 +0000 | [diff] [blame] | 272 | if (!VirtReg.isSpillable()) |
| 273 | return ~0u; |
Jakob Stoklund Olesen | 20942dc | 2012-05-19 05:25:46 +0000 | [diff] [blame] | 274 | LiveRangeEdit LRE(&VirtReg, SplitVRegs, *MF, *LIS, VRM); |
Jakob Stoklund Olesen | 47dbf6c | 2011-03-10 01:51:42 +0000 | [diff] [blame] | 275 | spiller().spill(LRE); |
Andrew Trick | 13bdbb0 | 2010-11-20 02:43:55 +0000 | [diff] [blame] | 276 | |
Andrew Trick | f4baeaf | 2010-11-10 19:18:47 +0000 | [diff] [blame] | 277 | // The live virtual register requesting allocation was spilled, so tell |
| 278 | // the caller not to allocate anything during this round. |
| 279 | return 0; |
Andrew Trick | e141a49 | 2010-11-08 18:02:08 +0000 | [diff] [blame] | 280 | } |
Andrew Trick | 14e8d71 | 2010-10-22 23:09:15 +0000 | [diff] [blame] | 281 | |
Andrew Trick | 14e8d71 | 2010-10-22 23:09:15 +0000 | [diff] [blame] | 282 | bool RABasic::runOnMachineFunction(MachineFunction &mf) { |
| 283 | DEBUG(dbgs() << "********** BASIC REGISTER ALLOCATION **********\n" |
| 284 | << "********** Function: " |
| 285 | << ((Value*)mf.getFunction())->getName() << '\n'); |
| 286 | |
Andrew Trick | 18c57a8 | 2010-11-30 23:18:47 +0000 | [diff] [blame] | 287 | MF = &mf; |
Andrew Trick | 18c57a8 | 2010-11-30 23:18:47 +0000 | [diff] [blame] | 288 | DEBUG(RMF = &getAnalysis<RenderMachineFunction>()); |
Andrew Trick | 8a83d54 | 2010-11-11 17:46:29 +0000 | [diff] [blame] | 289 | |
Jakob Stoklund Olesen | 4680dec | 2010-12-10 23:49:00 +0000 | [diff] [blame] | 290 | RegAllocBase::init(getAnalysis<VirtRegMap>(), getAnalysis<LiveIntervals>()); |
Jakob Stoklund Olesen | 812cda9 | 2012-06-20 22:52:24 +0000 | [diff] [blame] | 291 | Matrix = &getAnalysis<LiveRegMatrix>(); |
Jakob Stoklund Olesen | 8427596 | 2011-03-31 23:02:17 +0000 | [diff] [blame] | 292 | SpillerInstance.reset(createInlineSpiller(*this, *MF, *VRM)); |
Andrew Trick | 13bdbb0 | 2010-11-20 02:43:55 +0000 | [diff] [blame] | 293 | |
Andrew Trick | e16eecc | 2010-10-26 18:34:01 +0000 | [diff] [blame] | 294 | allocatePhysRegs(); |
Andrew Trick | 14e8d71 | 2010-10-22 23:09:15 +0000 | [diff] [blame] | 295 | |
| 296 | // Diagnostic output before rewriting |
Andrew Trick | 18c57a8 | 2010-11-30 23:18:47 +0000 | [diff] [blame] | 297 | DEBUG(dbgs() << "Post alloc VirtRegMap:\n" << *VRM << "\n"); |
Andrew Trick | 14e8d71 | 2010-10-22 23:09:15 +0000 | [diff] [blame] | 298 | |
| 299 | // optional HTML output |
Andrew Trick | 18c57a8 | 2010-11-30 23:18:47 +0000 | [diff] [blame] | 300 | DEBUG(RMF->renderMachineFunction("After basic register allocation.", VRM)); |
Andrew Trick | 14e8d71 | 2010-10-22 23:09:15 +0000 | [diff] [blame] | 301 | |
Andrew Trick | e16eecc | 2010-10-26 18:34:01 +0000 | [diff] [blame] | 302 | releaseMemory(); |
Andrew Trick | 14e8d71 | 2010-10-22 23:09:15 +0000 | [diff] [blame] | 303 | return true; |
| 304 | } |
| 305 | |
Andrew Trick | 13bdbb0 | 2010-11-20 02:43:55 +0000 | [diff] [blame] | 306 | FunctionPass* llvm::createBasicRegisterAllocator() |
Andrew Trick | 14e8d71 | 2010-10-22 23:09:15 +0000 | [diff] [blame] | 307 | { |
| 308 | return new RABasic(); |
| 309 | } |