blob: 9538e0418de4cab54ae6c3eaddf4ee07340c7679 [file] [log] [blame]
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +00001//===-- RegAllocLinearScan.cpp - Linear Scan register allocator -----------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file was developed by the LLVM research group and is distributed under
6// the University of Illinois Open Source License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements a linear scan register allocator.
11//
12//===----------------------------------------------------------------------===//
13#define DEBUG_TYPE "regalloc"
14#include "llvm/Function.h"
15#include "llvm/CodeGen/LiveIntervals.h"
16#include "llvm/CodeGen/LiveVariables.h"
17#include "llvm/CodeGen/MachineFrameInfo.h"
18#include "llvm/CodeGen/MachineFunctionPass.h"
19#include "llvm/CodeGen/MachineInstr.h"
20#include "llvm/CodeGen/Passes.h"
21#include "llvm/CodeGen/SSARegMap.h"
22#include "llvm/Target/MRegisterInfo.h"
23#include "llvm/Target/TargetInstrInfo.h"
24#include "llvm/Target/TargetMachine.h"
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000025#include "llvm/Support/CFG.h"
26#include "Support/Debug.h"
27#include "Support/DepthFirstIterator.h"
28#include "Support/Statistic.h"
29#include "Support/STLExtras.h"
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000030using namespace llvm;
31
32namespace {
33 Statistic<> numSpilled ("ra-linearscan", "Number of registers spilled");
Chris Lattner5e46b512003-12-18 20:25:31 +000034 Statistic<> numReloaded("ra-linearscan", "Number of registers reloaded");
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000035
36 class RA : public MachineFunctionPass {
37 public:
38 typedef std::vector<const LiveIntervals::Interval*> IntervalPtrs;
39
40 private:
41 MachineFunction* mf_;
42 const TargetMachine* tm_;
43 const MRegisterInfo* mri_;
44 MachineBasicBlock* currentMbb_;
45 MachineBasicBlock::iterator currentInstr_;
46 typedef LiveIntervals::Intervals Intervals;
47 const Intervals* li_;
48 IntervalPtrs active_, inactive_;
49
50 typedef std::vector<unsigned> Regs;
51 Regs tempUseOperands_;
52 Regs tempDefOperands_;
53
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +000054 typedef std::vector<bool> RegMask;
55 RegMask reserved_;
56
57 unsigned regUse_[MRegisterInfo::FirstVirtualRegister];
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000058
59 typedef LiveIntervals::MachineBasicBlockPtrs MachineBasicBlockPtrs;
60 MachineBasicBlockPtrs mbbs_;
61
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000062 typedef std::map<unsigned, unsigned> Virt2PhysMap;
63 Virt2PhysMap v2pMap_;
64
65 typedef std::map<unsigned, int> Virt2StackSlotMap;
66 Virt2StackSlotMap v2ssMap_;
67
68 int instrAdded_;
69
70 public:
71 virtual const char* getPassName() const {
72 return "Linear Scan Register Allocator";
73 }
74
75 virtual void getAnalysisUsage(AnalysisUsage &AU) const {
76 AU.addRequired<LiveVariables>();
77 AU.addRequired<LiveIntervals>();
78 MachineFunctionPass::getAnalysisUsage(AU);
79 }
80
81 private:
82 /// runOnMachineFunction - register allocate the whole function
83 bool runOnMachineFunction(MachineFunction&);
84
Alkis Evlogimenosa71e05a2003-12-18 13:15:02 +000085 /// verifyIntervals - verify that we have no inconsistencies
86 /// in the register assignments we have in active and inactive
87 /// lists
88 bool verifyIntervals();
89
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000090 /// processActiveIntervals - expire old intervals and move
91 /// non-overlapping ones to the incative list
92 void processActiveIntervals(Intervals::const_iterator cur);
93
94 /// processInactiveIntervals - expire old intervals and move
95 /// overlapping ones to the active list
96 void processInactiveIntervals(Intervals::const_iterator cur);
97
98 /// assignStackSlotAtInterval - choose and spill
99 /// interval. Currently we spill the interval with the last
100 /// end point in the active and inactive lists and the current
101 /// interval
102 void assignStackSlotAtInterval(Intervals::const_iterator cur);
103
104 ///
105 /// register handling helpers
106 ///
107
108 /// reservePhysReg - reserves a physical register and spills
109 /// any value assigned to it if any
110 void reservePhysReg(unsigned reg);
111
112 /// clearReservedPhysReg - marks pysical register as free for
113 /// use
114 void clearReservedPhysReg(unsigned reg);
115
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000116 /// getFreePhysReg - return a free physical register for this
117 /// virtual register interval if we have one, otherwise return
118 /// 0
119 unsigned getFreePhysReg(Intervals::const_iterator cur);
120
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000121 /// physRegAvailable - returns true if the specifed physical
122 /// register is available
123 bool physRegAvailable(unsigned physReg);
124
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000125 /// tempPhysRegAvailable - returns true if the specifed
126 /// temporary physical register is available
127 bool tempPhysRegAvailable(unsigned physReg);
128
129 /// getFreeTempPhysReg - return a free temprorary physical
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000130 /// register for this virtual register if we have one (should
131 /// never return 0)
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000132 unsigned getFreeTempPhysReg(unsigned virtReg);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000133
134 /// assignVirt2PhysReg - assigns the free physical register to
135 /// the virtual register passed as arguments
136 void assignVirt2PhysReg(unsigned virtReg, unsigned physReg);
137
138 /// clearVirtReg - free the physical register associated with this
139 /// virtual register and disassociate virtual->physical and
140 /// physical->virtual mappings
141 void clearVirtReg(unsigned virtReg);
142
143 /// assignVirt2StackSlot - assigns this virtual register to a
144 /// stack slot
145 void assignVirt2StackSlot(unsigned virtReg);
146
Alkis Evlogimenos69546d52003-12-04 03:57:28 +0000147 /// getStackSlot - returns the offset of the specified
148 /// register on the stack
149 int getStackSlot(unsigned virtReg);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000150
151 /// spillVirtReg - spills the virtual register
152 void spillVirtReg(unsigned virtReg);
153
154 /// loadPhysReg - loads to the physical register the value of
155 /// the virtual register specifed. Virtual register must have
156 /// an assigned stack slot
157 void loadVirt2PhysReg(unsigned virtReg, unsigned physReg);
158
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000159 void markPhysRegFree(unsigned physReg);
160 void markPhysRegNotFree(unsigned physReg);
161
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000162 void printVirt2PhysMap() const {
163 std::cerr << "allocated registers:\n";
164 for (Virt2PhysMap::const_iterator
165 i = v2pMap_.begin(), e = v2pMap_.end(); i != e; ++i) {
166 std::cerr << '[' << i->first << ','
167 << mri_->getName(i->second) << "]\n";
168 }
169 std::cerr << '\n';
170 }
171 void printIntervals(const char* const str,
172 RA::IntervalPtrs::const_iterator i,
173 RA::IntervalPtrs::const_iterator e) const {
174 if (str) std::cerr << str << " intervals:\n";
175 for (; i != e; ++i) {
176 std::cerr << "\t\t" << **i << " -> ";
177 if ((*i)->reg < MRegisterInfo::FirstVirtualRegister) {
178 std::cerr << mri_->getName((*i)->reg);
179 }
180 else {
181 std::cerr << mri_->getName(v2pMap_.find((*i)->reg)->second);
182 }
183 std::cerr << '\n';
184 }
185 }
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000186 void printFreeRegs(const char* const str,
187 const TargetRegisterClass* rc) const {
188 if (str) std::cerr << str << ':';
189 for (TargetRegisterClass::iterator i =
190 rc->allocation_order_begin(*mf_);
191 i != rc->allocation_order_end(*mf_); ++i) {
192 unsigned reg = *i;
193 if (!regUse_[reg]) {
194 std::cerr << ' ' << mri_->getName(reg);
195 if (reserved_[reg]) std::cerr << "*";
196 }
197 }
198 std::cerr << '\n';
199 }
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000200 };
201}
202
203bool RA::runOnMachineFunction(MachineFunction &fn) {
204 mf_ = &fn;
205 tm_ = &fn.getTarget();
206 mri_ = tm_->getRegisterInfo();
207 li_ = &getAnalysis<LiveIntervals>().getIntervals();
208 active_.clear();
209 inactive_.clear();
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000210
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000211 mbbs_ = getAnalysis<LiveIntervals>().getOrderedMachineBasicBlockPtrs();
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000212 v2pMap_.clear();
213 v2ssMap_.clear();
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000214 memset(regUse_, 0, sizeof(regUse_));
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000215
Alkis Evlogimenos58587072003-11-30 23:40:39 +0000216 DEBUG(
Alkis Evlogimenosf6e610c2003-12-13 05:48:57 +0000217 unsigned i = 0;
Alkis Evlogimenos58587072003-11-30 23:40:39 +0000218 for (MachineBasicBlockPtrs::iterator
219 mbbi = mbbs_.begin(), mbbe = mbbs_.end();
220 mbbi != mbbe; ++mbbi) {
221 MachineBasicBlock* mbb = *mbbi;
222 std::cerr << mbb->getBasicBlock()->getName() << '\n';
223 for (MachineBasicBlock::iterator
224 ii = mbb->begin(), ie = mbb->end();
225 ii != ie; ++ii) {
226 MachineInstr* instr = *ii;
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000227
Alkis Evlogimenosf6e610c2003-12-13 05:48:57 +0000228 std::cerr << i++ << "\t";
Alkis Evlogimenos58587072003-11-30 23:40:39 +0000229 instr->print(std::cerr, *tm_);
230 }
231 }
232 );
233
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000234 // FIXME: this will work only for the X86 backend. I need to
235 // device an algorthm to select the minimal (considering register
236 // aliasing) number of temp registers to reserve so that we have 2
237 // registers for each register class available.
238
239 // reserve R32: EDI, EBX,
240 // R16: DI, BX,
Alkis Evlogimenosa3d0e5c2003-12-18 13:12:18 +0000241 // R8: BH, BL
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000242 // RFP: FP5, FP6
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000243 reserved_.assign(MRegisterInfo::FirstVirtualRegister, false);
244 reserved_[19] = true; /* EDI */
245 reserved_[17] = true; /* EBX */
246 reserved_[12] = true; /* DI */
247 reserved_[ 7] = true; /* BX */
248 reserved_[ 4] = true; /* BH */
249 reserved_[ 5] = true; /* BL */
250 reserved_[28] = true; /* FP5 */
251 reserved_[29] = true; /* FP6 */
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000252
253 // liner scan algorithm
254 for (Intervals::const_iterator
255 i = li_->begin(), e = li_->end(); i != e; ++i) {
256 DEBUG(std::cerr << "processing current interval: " << *i << '\n');
257
258 DEBUG(printIntervals("\tactive", active_.begin(), active_.end()));
259 DEBUG(printIntervals("\tinactive", inactive_.begin(), inactive_.end()));
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000260 for (MRegisterInfo::regclass_iterator c = mri_->regclass_begin();
261 c != mri_->regclass_end(); ++c) {
262 const TargetRegisterClass* rc = *c;
263 DEBUG(printFreeRegs("\tfree registers", rc));
264 }
265
266 //assert(verifyIntervals());
Alkis Evlogimenosa71e05a2003-12-18 13:15:02 +0000267
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000268 processActiveIntervals(i);
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000269 processInactiveIntervals(i);
270
271 DEBUG(std::cerr << "\tallocating current interval:\n");
272 // if this register is preallocated reserve it
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000273 if (i->reg < MRegisterInfo::FirstVirtualRegister) {
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000274 reservePhysReg(i->reg);
275 active_.push_back(&*i);
276 }
277 // otherwise we are allocating a virtual register. try to find
278 // a free physical register or spill an interval in order to
279 // assign it one (we could spill the current though).
280 else {
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000281 unsigned physReg = getFreePhysReg(i);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000282 if (!physReg) {
283 assignStackSlotAtInterval(i);
284 }
285 else {
286 assignVirt2PhysReg(i->reg, physReg);
287 active_.push_back(&*i);
288 }
289 }
290 }
Alkis Evlogimenos7d65a122003-12-13 05:50:19 +0000291 // expire any remaining active intervals
292 for (IntervalPtrs::iterator i = active_.begin(); i != active_.end(); ++i) {
293 unsigned reg = (*i)->reg;
294 DEBUG(std::cerr << "\t\tinterval " << **i << " expired\n");
295 if (reg < MRegisterInfo::FirstVirtualRegister) {
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000296 markPhysRegFree(reg);
Alkis Evlogimenos7d65a122003-12-13 05:50:19 +0000297 }
298 else {
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000299 markPhysRegFree(v2pMap_[reg]);
Alkis Evlogimenos7d65a122003-12-13 05:50:19 +0000300 }
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000301 }
302 // expire any remaining inactive intervals
303 for (IntervalPtrs::iterator i = inactive_.begin(); i != inactive_.end();
304 ++i) {
305 unsigned reg = (*i)->reg;
306 DEBUG(std::cerr << "\t\tinterval " << **i << " expired\n");
307 if (reg < MRegisterInfo::FirstVirtualRegister) {
308 markPhysRegFree(reg);
309 }
310 else {
311 markPhysRegFree(v2pMap_[reg]);
312 }
Alkis Evlogimenos7d65a122003-12-13 05:50:19 +0000313 }
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000314
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000315 DEBUG(std::cerr << "finished register allocation\n");
316 DEBUG(printVirt2PhysMap());
317
318 DEBUG(std::cerr << "Rewrite machine code:\n");
319 for (MachineBasicBlockPtrs::iterator
320 mbbi = mbbs_.begin(), mbbe = mbbs_.end(); mbbi != mbbe; ++mbbi) {
321 instrAdded_ = 0;
322 currentMbb_ = *mbbi;
323
324 for (currentInstr_ = currentMbb_->begin();
325 currentInstr_ != currentMbb_->end(); ++currentInstr_) {
326
327 DEBUG(std::cerr << "\tinstruction: ";
328 (*currentInstr_)->print(std::cerr, *tm_););
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000329
330 // use our current mapping and actually replace and
331 // virtual register with its allocated physical registers
332 DEBUG(std::cerr << "\t\treplacing virtual registers with mapped "
333 "physical registers:\n");
334 for (unsigned i = 0, e = (*currentInstr_)->getNumOperands();
335 i != e; ++i) {
336 MachineOperand& op = (*currentInstr_)->getOperand(i);
337 if (op.isVirtualRegister()) {
338 unsigned virtReg = op.getAllocatedRegNum();
339 unsigned physReg = v2pMap_[virtReg];
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000340 if (physReg) {
341 DEBUG(std::cerr << "\t\t\t%reg" << virtReg
342 << " -> " << mri_->getName(physReg) << '\n');
343 (*currentInstr_)->SetMachineOperandReg(i, physReg);
344 }
345 }
346 }
347
348 DEBUG(std::cerr << "\t\tloading temporarily used operands to "
349 "registers:\n");
350 for (unsigned i = 0, e = (*currentInstr_)->getNumOperands();
351 i != e; ++i) {
352 MachineOperand& op = (*currentInstr_)->getOperand(i);
Alkis Evlogimenosa71e05a2003-12-18 13:15:02 +0000353 if (op.isVirtualRegister() && op.isUse() && !op.isDef()) {
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000354 unsigned virtReg = op.getAllocatedRegNum();
355 unsigned physReg = v2pMap_[virtReg];
356 if (!physReg) {
357 physReg = getFreeTempPhysReg(virtReg);
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000358 loadVirt2PhysReg(virtReg, physReg);
359 tempUseOperands_.push_back(virtReg);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000360 }
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000361 (*currentInstr_)->SetMachineOperandReg(i, physReg);
362 }
363 }
364
365 DEBUG(std::cerr << "\t\tclearing temporarily used operands:\n");
366 for (unsigned i = 0, e = tempUseOperands_.size(); i != e; ++i) {
367 clearVirtReg(tempUseOperands_[i]);
368 }
369 tempUseOperands_.clear();
370
371 DEBUG(std::cerr << "\t\tassigning temporarily defined operands to "
372 "registers:\n");
373 for (unsigned i = 0, e = (*currentInstr_)->getNumOperands();
374 i != e; ++i) {
375 MachineOperand& op = (*currentInstr_)->getOperand(i);
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000376 if (op.isVirtualRegister() && op.isDef()) {
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000377 unsigned virtReg = op.getAllocatedRegNum();
378 unsigned physReg = v2pMap_[virtReg];
379 if (!physReg) {
380 physReg = getFreeTempPhysReg(virtReg);
381 }
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000382 if (op.isUse()) { // def and use
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000383 loadVirt2PhysReg(virtReg, physReg);
384 }
385 else {
386 assignVirt2PhysReg(virtReg, physReg);
387 }
388 tempDefOperands_.push_back(virtReg);
389 (*currentInstr_)->SetMachineOperandReg(i, physReg);
390 }
391 }
392
Alkis Evlogimenos58587072003-11-30 23:40:39 +0000393 DEBUG(std::cerr << "\t\tspilling temporarily defined operands "
394 "of this instruction:\n");
395 ++currentInstr_; // we want to insert after this instruction
396 for (unsigned i = 0, e = tempDefOperands_.size(); i != e; ++i) {
397 spillVirtReg(tempDefOperands_[i]);
398 }
399 --currentInstr_; // restore currentInstr_ iterator
400 tempDefOperands_.clear();
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000401 }
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000402 }
403
404 return true;
405}
406
Alkis Evlogimenosa71e05a2003-12-18 13:15:02 +0000407bool RA::verifyIntervals()
408{
409 std::set<unsigned> assignedRegisters;
410 for (IntervalPtrs::iterator i = active_.begin(); i != active_.end(); ++i) {
411 if ((*i)->reg >= MRegisterInfo::FirstVirtualRegister) {
412 unsigned reg = v2pMap_.find((*i)->reg)->second;
413
414 bool inserted = assignedRegisters.insert(reg).second;
415 assert(inserted && "registers in active list conflict");
416 }
417 }
418
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000419 for (IntervalPtrs::iterator i = inactive_.begin(); i != inactive_.end();
420 ++i) {
421 if ((*i)->reg >= MRegisterInfo::FirstVirtualRegister) {
422 unsigned reg = v2pMap_.find((*i)->reg)->second;
423
424 bool inserted = assignedRegisters.insert(reg).second;
425 assert(inserted && "registers in inactive list conflict");
426 }
427 }
428
Alkis Evlogimenosa71e05a2003-12-18 13:15:02 +0000429 for (IntervalPtrs::iterator i = active_.begin(); i != active_.end(); ++i) {
430 unsigned reg = (*i)->reg;
431 if (reg >= MRegisterInfo::FirstVirtualRegister) {
432 reg = v2pMap_.find((*i)->reg)->second;
433 }
434
435 for (const unsigned* as = mri_->getAliasSet(reg); *as; ++as) {
436 assert(assignedRegisters.find(*as) == assignedRegisters.end() &&
437 "registers in active list alias each other");
438 }
439 }
440
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000441 for (IntervalPtrs::iterator i = inactive_.begin(); i != inactive_.end();
442 ++i) {
443 unsigned reg = (*i)->reg;
444 if (reg >= MRegisterInfo::FirstVirtualRegister) {
445 reg = v2pMap_.find((*i)->reg)->second;
446 }
447
448 for (const unsigned* as = mri_->getAliasSet(reg); *as; ++as) {
449 assert(assignedRegisters.find(*as) == assignedRegisters.end() &&
450 "registers in inactive list alias each other");
451 }
452 }
453
Alkis Evlogimenosa71e05a2003-12-18 13:15:02 +0000454 return true;
455}
456
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000457void RA::processActiveIntervals(Intervals::const_iterator cur)
458{
459 DEBUG(std::cerr << "\tprocessing active intervals:\n");
460 for (IntervalPtrs::iterator i = active_.begin(); i != active_.end();) {
461 unsigned reg = (*i)->reg;
462 // remove expired intervals. we expire earlier because this if
463 // an interval expires this is going to be the last use. in
464 // this case we can reuse the register for a def in the same
465 // instruction
Alkis Evlogimenos485ec3c2003-12-18 08:56:11 +0000466 if ((*i)->expiredAt(cur->start() + 1)) {
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000467 DEBUG(std::cerr << "\t\tinterval " << **i << " expired\n");
468 if (reg < MRegisterInfo::FirstVirtualRegister) {
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000469 markPhysRegFree(reg);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000470 }
471 else {
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000472 markPhysRegFree(v2pMap_[reg]);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000473 }
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000474 // remove from active
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000475 i = active_.erase(i);
476 }
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000477 // move inactive intervals to inactive list
478 else if (!(*i)->liveAt(cur->start())) {
479 DEBUG(std::cerr << "\t\t\tinterval " << **i << " inactive\n");
480 // add to inactive
481 inactive_.push_back(*i);
482 // remove from active
483 i = active_.erase(i);
484 }
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000485 else {
486 ++i;
487 }
488 }
489}
490
491void RA::processInactiveIntervals(Intervals::const_iterator cur)
492{
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000493 DEBUG(std::cerr << "\tprocessing inactive intervals:\n");
494 for (IntervalPtrs::iterator i = inactive_.begin(); i != inactive_.end();) {
495 unsigned reg = (*i)->reg;
496
497 // remove expired intervals. we expire earlier because this if
498 // an interval expires this is going to be the last use. in
499 // this case we can reuse the register for a def in the same
500 // instruction
501 if ((*i)->expiredAt(cur->start() + 1)) {
502 DEBUG(std::cerr << "\t\t\tinterval " << **i << " expired\n");
503 if (reg < MRegisterInfo::FirstVirtualRegister) {
504 markPhysRegFree(reg);
505 }
506 else {
507 markPhysRegFree(v2pMap_[reg]);
508 }
509 // remove from inactive
510 i = inactive_.erase(i);
511 }
512 // move re-activated intervals in active list
513 else if ((*i)->liveAt(cur->start())) {
514 DEBUG(std::cerr << "\t\t\tinterval " << **i << " active\n");
515 // add to active
516 active_.push_back(*i);
517 // remove from inactive
518 i = inactive_.erase(i);
519 }
520 else {
521 ++i;
522 }
523 }
524}
525
526namespace {
Alkis Evlogimenos6b4edba2003-12-21 20:19:10 +0000527 template <typename T>
528 void updateWeight(T rw[], int reg, T w)
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000529 {
Alkis Evlogimenos6b4edba2003-12-21 20:19:10 +0000530 if (rw[reg] == std::numeric_limits<T>::max() ||
531 w == std::numeric_limits<T>::max())
532 rw[reg] = std::numeric_limits<T>::max();
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000533 else
534 rw[reg] += w;
535 }
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000536}
537
538void RA::assignStackSlotAtInterval(Intervals::const_iterator cur)
539{
540 DEBUG(std::cerr << "\t\tassigning stack slot at interval "
541 << *cur << ":\n");
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000542 assert((!active_.empty() || !inactive_.empty()) &&
543 "active and inactive sets cannot be both empty when choosing "
544 "a register to spill");
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000545
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000546 // set all weights to zero
Alkis Evlogimenos6b4edba2003-12-21 20:19:10 +0000547 float regWeight[MRegisterInfo::FirstVirtualRegister];
548 for (unsigned i = 0; i < MRegisterInfo::FirstVirtualRegister; ++i)
549 regWeight[i] = 0.0F;
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000550
551 for (IntervalPtrs::iterator i = active_.begin(); i != active_.end(); ++i) {
552// if (!cur->overlaps(**i))
553// continue;
554
555 unsigned reg = (*i)->reg;
556 if (reg >= MRegisterInfo::FirstVirtualRegister) {
557 reg = v2pMap_[reg];
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000558 }
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000559 updateWeight(regWeight, reg, (*i)->weight);
560 for (const unsigned* as = mri_->getAliasSet(reg); *as; ++as)
561 updateWeight(regWeight, *as, (*i)->weight);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000562 }
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000563
564 for (IntervalPtrs::iterator i = inactive_.begin();
565 i != inactive_.end(); ++i) {
566// if (!cur->overlaps(**i))
567// continue;
568
569 unsigned reg = (*i)->reg;
570 if (reg >= MRegisterInfo::FirstVirtualRegister) {
571 reg = v2pMap_[reg];
572 }
573 updateWeight(regWeight, reg, (*i)->weight);
574 for (const unsigned* as = mri_->getAliasSet(reg); *as; ++as)
575 updateWeight(regWeight, *as, (*i)->weight);
576 }
577
Alkis Evlogimenos6b4edba2003-12-21 20:19:10 +0000578 float minWeight = std::numeric_limits<float>::max();
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000579 unsigned minReg = 0;
580 const TargetRegisterClass* rc = mf_->getSSARegMap()->getRegClass(cur->reg);
581 for (TargetRegisterClass::iterator i = rc->allocation_order_begin(*mf_);
582 i != rc->allocation_order_end(*mf_); ++i) {
583 unsigned reg = *i;
584 if (!reserved_[reg] && minWeight > regWeight[reg]) {
585 minWeight = regWeight[reg];
586 minReg = reg;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000587 }
588 }
589
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000590 if (cur->weight < minWeight) {
Alkis Evlogimenos6b4edba2003-12-21 20:19:10 +0000591 DEBUG(std::cerr << "\t\t\t\tspilling : " << mri_->getName(minReg)
592 << ", weight: " << cur->weight << '\n');
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000593 assignVirt2StackSlot(cur->reg);
594 }
595 else {
596 std::set<unsigned> toSpill;
597 toSpill.insert(minReg);
598 for (const unsigned* as = mri_->getAliasSet(minReg); *as; ++as)
599 toSpill.insert(*as);
600
601 for (IntervalPtrs::iterator i = active_.begin();
602 i != active_.end(); ) {
603 unsigned reg = (*i)->reg;
604 if (reg >= MRegisterInfo::FirstVirtualRegister &&
605 toSpill.find(v2pMap_[reg]) != toSpill.end()) {
Alkis Evlogimenos6b4edba2003-12-21 20:19:10 +0000606 DEBUG(std::cerr << "\t\t\t\tspilling : "
607 << mri_->getName(minReg) << ", weight: "
608 << (*i)->weight << '\n');
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000609 assignVirt2StackSlot(reg);
610 i = active_.erase(i);
611 }
612 else {
613 ++i;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000614 }
615 }
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000616 for (IntervalPtrs::iterator i = inactive_.begin();
617 i != inactive_.end(); ) {
618 unsigned reg = (*i)->reg;
619 if (reg >= MRegisterInfo::FirstVirtualRegister &&
620 toSpill.find(v2pMap_[reg]) != toSpill.end()) {
Alkis Evlogimenos6b4edba2003-12-21 20:19:10 +0000621 DEBUG(std::cerr << "\t\t\t\tspilling : "
622 << mri_->getName(minReg) << ", weight: "
623 << (*i)->weight << '\n');
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000624 assignVirt2StackSlot(reg);
625 i = inactive_.erase(i);
626 }
627 else {
628 ++i;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000629 }
630 }
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000631
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000632 unsigned physReg = getFreePhysReg(cur);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000633 assert(physReg && "no free physical register after spill?");
634 assignVirt2PhysReg(cur->reg, physReg);
635 active_.push_back(&*cur);
636 }
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000637}
638
639void RA::reservePhysReg(unsigned physReg)
640{
Alkis Evlogimenos49787e32003-12-05 11:17:55 +0000641 DEBUG(std::cerr << "\t\t\treserving physical register: "
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000642 << mri_->getName(physReg) << '\n');
Alkis Evlogimenos94743e42003-12-13 11:58:10 +0000643
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000644 Regs clobbered;
645 clobbered.push_back(physReg);
Alkis Evlogimenos94743e42003-12-13 11:58:10 +0000646 for (const unsigned* as = mri_->getAliasSet(physReg); *as; ++as) {
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000647 clobbered.push_back(*as);
648 }
649
650 // remove interval from active
651 for (IntervalPtrs::iterator i = active_.begin(), e = active_.end();
652 i != e; ) {
653 unsigned reg = (*i)->reg;
654 if (reg < MRegisterInfo::FirstVirtualRegister) {
655 ++i;
656 continue;
657 }
658
659 if (find(clobbered.begin(), clobbered.end(), v2pMap_[reg]) !=
660 clobbered.end()) {
661 i = active_.erase(i);
662 assignVirt2StackSlot(reg);
663 }
664 else {
665 ++i;
Alkis Evlogimenos94743e42003-12-13 11:58:10 +0000666 }
667 }
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000668 // or from inactive
669 for (IntervalPtrs::iterator i = inactive_.begin(), e = inactive_.end();
670 i != e; ) {
671 unsigned reg = (*i)->reg;
672 if (reg < MRegisterInfo::FirstVirtualRegister) {
673 ++i;
674 continue;
675 }
676
677 if (find(clobbered.begin(), clobbered.end(), v2pMap_[reg]) !=
678 clobbered.end()) {
679 i = inactive_.erase(i);
680 assignVirt2StackSlot(reg);
681 }
682 else {
683 ++i;
684 }
685 }
686
687 markPhysRegNotFree(physReg);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000688}
689
690void RA::clearReservedPhysReg(unsigned physReg)
691{
Alkis Evlogimenos49787e32003-12-05 11:17:55 +0000692 DEBUG(std::cerr << "\t\t\tclearing reserved physical register: "
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000693 << mri_->getName(physReg) << '\n');
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000694 markPhysRegFree(physReg);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000695}
696
697bool RA::physRegAvailable(unsigned physReg)
698{
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000699 assert(!reserved_[physReg] &&
700 "cannot call this method with a reserved register");
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000701
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000702 return !regUse_[physReg];
703}
704
705unsigned RA::getFreePhysReg(Intervals::const_iterator cur)
706{
707 DEBUG(std::cerr << "\t\tgetting free physical register: ");
708
709 // save the regUse counts because we are going to modify them
710 // specifically for this interval
711 unsigned regUseBackup[MRegisterInfo::FirstVirtualRegister];
712 memcpy(regUseBackup, regUse_, sizeof(regUseBackup));
713
714 // for every interval in inactive we don't overlap mark the
715 // register as free
716 for (IntervalPtrs::iterator i = inactive_.begin(); i != inactive_.end();
717 ++i) {
718 unsigned reg = (*i)->reg;
719 if (reg >= MRegisterInfo::FirstVirtualRegister)
720 reg = v2pMap_[reg];
721
722 if (!cur->overlaps(**i)) {
723 markPhysRegFree(reg);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000724 }
725 }
726
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000727 const TargetRegisterClass* rc = mf_->getSSARegMap()->getRegClass(cur->reg);
728 for (TargetRegisterClass::iterator i = rc->allocation_order_begin(*mf_);
729 i != rc->allocation_order_end(*mf_); ++i) {
730 unsigned reg = *i;
731 if (!reserved_[reg] && !regUse_[reg]) {
732 DEBUG(std::cerr << mri_->getName(reg) << '\n');
733 memcpy(regUse_, regUseBackup, sizeof(regUseBackup));
734 return reg;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000735 }
736 }
737
738 DEBUG(std::cerr << "no free register\n");
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000739 memcpy(regUse_, regUseBackup, sizeof(regUseBackup));
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000740 return 0;
741}
742
743bool RA::tempPhysRegAvailable(unsigned physReg)
744{
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000745 assert(reserved_[physReg] &&
746 "cannot call this method with a not reserved temp register");
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000747
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000748 return !regUse_[physReg];
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000749}
750
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000751unsigned RA::getFreeTempPhysReg(unsigned virtReg)
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000752{
753 DEBUG(std::cerr << "\t\tgetting free temporary physical register: ");
754
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000755 const TargetRegisterClass* rc = mf_->getSSARegMap()->getRegClass(virtReg);
756 // go in reverse allocation order for the temp registers
757 for (TargetRegisterClass::iterator i = rc->allocation_order_end(*mf_) - 1;
758 i != rc->allocation_order_begin(*mf_) - 1; --i) {
759 unsigned reg = *i;
760 if (reserved_[reg] && !regUse_[reg]) {
761 DEBUG(std::cerr << mri_->getName(reg) << '\n');
762 return reg;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000763 }
764 }
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000765
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000766 assert(0 && "no free temporary physical register?");
767 return 0;
768}
769
770void RA::assignVirt2PhysReg(unsigned virtReg, unsigned physReg)
771{
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000772 v2pMap_[virtReg] = physReg;
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000773 markPhysRegNotFree(physReg);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000774}
775
776void RA::clearVirtReg(unsigned virtReg)
777{
778 Virt2PhysMap::iterator it = v2pMap_.find(virtReg);
779 assert(it != v2pMap_.end() &&
780 "attempting to clear a not allocated virtual register");
781 unsigned physReg = it->second;
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000782 markPhysRegFree(physReg);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000783 v2pMap_[virtReg] = 0; // this marks that this virtual register
784 // lives on the stack
785 DEBUG(std::cerr << "\t\t\tcleared register " << mri_->getName(physReg)
786 << "\n");
787}
788
789void RA::assignVirt2StackSlot(unsigned virtReg)
790{
791 const TargetRegisterClass* rc = mf_->getSSARegMap()->getRegClass(virtReg);
792 int frameIndex = mf_->getFrameInfo()->CreateStackObject(rc);
793
794 bool inserted = v2ssMap_.insert(std::make_pair(virtReg, frameIndex)).second;
795 assert(inserted &&
796 "attempt to assign stack slot to already assigned register?");
797 // if the virtual register was previously assigned clear the mapping
798 // and free the virtual register
799 if (v2pMap_.find(virtReg) != v2pMap_.end()) {
800 clearVirtReg(virtReg);
801 }
Alkis Evlogimenos69546d52003-12-04 03:57:28 +0000802 else {
803 v2pMap_[virtReg] = 0; // this marks that this virtual register
804 // lives on the stack
805 }
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000806}
807
Alkis Evlogimenos69546d52003-12-04 03:57:28 +0000808int RA::getStackSlot(unsigned virtReg)
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000809{
810 // use lower_bound so that we can do a possibly O(1) insert later
811 // if necessary
Alkis Evlogimenos69546d52003-12-04 03:57:28 +0000812 Virt2StackSlotMap::iterator it = v2ssMap_.find(virtReg);
813 assert(it != v2ssMap_.end() &&
814 "attempt to get stack slot on register that does not live on the stack");
815 return it->second;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000816}
817
818void RA::spillVirtReg(unsigned virtReg)
819{
820 DEBUG(std::cerr << "\t\t\tspilling register: " << virtReg);
821 const TargetRegisterClass* rc = mf_->getSSARegMap()->getRegClass(virtReg);
Alkis Evlogimenos69546d52003-12-04 03:57:28 +0000822 int frameIndex = getStackSlot(virtReg);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000823 DEBUG(std::cerr << " to stack slot #" << frameIndex << '\n');
824 ++numSpilled;
825 instrAdded_ += mri_->storeRegToStackSlot(*currentMbb_, currentInstr_,
826 v2pMap_[virtReg], frameIndex, rc);
827 clearVirtReg(virtReg);
828}
829
830void RA::loadVirt2PhysReg(unsigned virtReg, unsigned physReg)
831{
832 DEBUG(std::cerr << "\t\t\tloading register: " << virtReg);
833 const TargetRegisterClass* rc = mf_->getSSARegMap()->getRegClass(virtReg);
Alkis Evlogimenos69546d52003-12-04 03:57:28 +0000834 int frameIndex = getStackSlot(virtReg);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000835 DEBUG(std::cerr << " from stack slot #" << frameIndex << '\n');
Chris Lattner5e46b512003-12-18 20:25:31 +0000836 ++numReloaded;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000837 instrAdded_ += mri_->loadRegFromStackSlot(*currentMbb_, currentInstr_,
838 physReg, frameIndex, rc);
839 assignVirt2PhysReg(virtReg, physReg);
840}
841
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000842void RA::markPhysRegFree(unsigned physReg)
843{
844 assert(regUse_[physReg] != 0);
845 --regUse_[physReg];
846 for (const unsigned* as = mri_->getAliasSet(physReg); *as; ++as) {
847 physReg = *as;
848 assert(regUse_[physReg] != 0);
849 --regUse_[physReg];
850 }
851}
852
853void RA::markPhysRegNotFree(unsigned physReg)
854{
855 ++regUse_[physReg];
856 for (const unsigned* as = mri_->getAliasSet(physReg); *as; ++as) {
857 physReg = *as;
858 ++regUse_[physReg];
859 }
860}
861
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000862FunctionPass* llvm::createLinearScanRegisterAllocator() {
863 return new RA();
864}