blob: 561448b87e2ff1ad32c0f7e32a7314bd8d1b423e [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 {
527 void updateWeight(unsigned rw[], unsigned reg, unsigned w)
528 {
529 if (rw[reg] == std::numeric_limits<unsigned>::max() ||
530 w == std::numeric_limits<unsigned>::max())
531 rw[reg] = std::numeric_limits<unsigned>::max();
532 else
533 rw[reg] += w;
534 }
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000535}
536
537void RA::assignStackSlotAtInterval(Intervals::const_iterator cur)
538{
539 DEBUG(std::cerr << "\t\tassigning stack slot at interval "
540 << *cur << ":\n");
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000541 assert((!active_.empty() || !inactive_.empty()) &&
542 "active and inactive sets cannot be both empty when choosing "
543 "a register to spill");
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000544
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000545 // set all weights to zero
546 unsigned regWeight[MRegisterInfo::FirstVirtualRegister];
547 memset(regWeight, 0, sizeof(regWeight));
548
549 for (IntervalPtrs::iterator i = active_.begin(); i != active_.end(); ++i) {
550// if (!cur->overlaps(**i))
551// continue;
552
553 unsigned reg = (*i)->reg;
554 if (reg >= MRegisterInfo::FirstVirtualRegister) {
555 reg = v2pMap_[reg];
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000556 }
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000557 updateWeight(regWeight, reg, (*i)->weight);
558 for (const unsigned* as = mri_->getAliasSet(reg); *as; ++as)
559 updateWeight(regWeight, *as, (*i)->weight);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000560 }
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000561
562 for (IntervalPtrs::iterator i = inactive_.begin();
563 i != inactive_.end(); ++i) {
564// if (!cur->overlaps(**i))
565// continue;
566
567 unsigned reg = (*i)->reg;
568 if (reg >= MRegisterInfo::FirstVirtualRegister) {
569 reg = v2pMap_[reg];
570 }
571 updateWeight(regWeight, reg, (*i)->weight);
572 for (const unsigned* as = mri_->getAliasSet(reg); *as; ++as)
573 updateWeight(regWeight, *as, (*i)->weight);
574 }
575
576 unsigned minWeight = std::numeric_limits<unsigned>::max();
577 unsigned minReg = 0;
578 const TargetRegisterClass* rc = mf_->getSSARegMap()->getRegClass(cur->reg);
579 for (TargetRegisterClass::iterator i = rc->allocation_order_begin(*mf_);
580 i != rc->allocation_order_end(*mf_); ++i) {
581 unsigned reg = *i;
582 if (!reserved_[reg] && minWeight > regWeight[reg]) {
583 minWeight = regWeight[reg];
584 minReg = reg;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000585 }
586 }
587
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000588 DEBUG(std::cerr << "\t\t\t\tspill candidate: "
589 << mri_->getName(minReg) << '\n');
590
591 if (cur->weight < minWeight) {
592 assignVirt2StackSlot(cur->reg);
593 }
594 else {
595 std::set<unsigned> toSpill;
596 toSpill.insert(minReg);
597 for (const unsigned* as = mri_->getAliasSet(minReg); *as; ++as)
598 toSpill.insert(*as);
599
600 for (IntervalPtrs::iterator i = active_.begin();
601 i != active_.end(); ) {
602 unsigned reg = (*i)->reg;
603 if (reg >= MRegisterInfo::FirstVirtualRegister &&
604 toSpill.find(v2pMap_[reg]) != toSpill.end()) {
605 assignVirt2StackSlot(reg);
606 i = active_.erase(i);
607 }
608 else {
609 ++i;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000610 }
611 }
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000612 for (IntervalPtrs::iterator i = inactive_.begin();
613 i != inactive_.end(); ) {
614 unsigned reg = (*i)->reg;
615 if (reg >= MRegisterInfo::FirstVirtualRegister &&
616 toSpill.find(v2pMap_[reg]) != toSpill.end()) {
617 assignVirt2StackSlot(reg);
618 i = inactive_.erase(i);
619 }
620 else {
621 ++i;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000622 }
623 }
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000624
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000625 unsigned physReg = getFreePhysReg(cur);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000626 assert(physReg && "no free physical register after spill?");
627 assignVirt2PhysReg(cur->reg, physReg);
628 active_.push_back(&*cur);
629 }
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000630}
631
632void RA::reservePhysReg(unsigned physReg)
633{
Alkis Evlogimenos49787e32003-12-05 11:17:55 +0000634 DEBUG(std::cerr << "\t\t\treserving physical register: "
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000635 << mri_->getName(physReg) << '\n');
Alkis Evlogimenos94743e42003-12-13 11:58:10 +0000636
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000637 Regs clobbered;
638 clobbered.push_back(physReg);
Alkis Evlogimenos94743e42003-12-13 11:58:10 +0000639 for (const unsigned* as = mri_->getAliasSet(physReg); *as; ++as) {
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000640 clobbered.push_back(*as);
641 }
642
643 // remove interval from active
644 for (IntervalPtrs::iterator i = active_.begin(), e = active_.end();
645 i != e; ) {
646 unsigned reg = (*i)->reg;
647 if (reg < MRegisterInfo::FirstVirtualRegister) {
648 ++i;
649 continue;
650 }
651
652 if (find(clobbered.begin(), clobbered.end(), v2pMap_[reg]) !=
653 clobbered.end()) {
654 i = active_.erase(i);
655 assignVirt2StackSlot(reg);
656 }
657 else {
658 ++i;
Alkis Evlogimenos94743e42003-12-13 11:58:10 +0000659 }
660 }
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000661 // or from inactive
662 for (IntervalPtrs::iterator i = inactive_.begin(), e = inactive_.end();
663 i != e; ) {
664 unsigned reg = (*i)->reg;
665 if (reg < MRegisterInfo::FirstVirtualRegister) {
666 ++i;
667 continue;
668 }
669
670 if (find(clobbered.begin(), clobbered.end(), v2pMap_[reg]) !=
671 clobbered.end()) {
672 i = inactive_.erase(i);
673 assignVirt2StackSlot(reg);
674 }
675 else {
676 ++i;
677 }
678 }
679
680 markPhysRegNotFree(physReg);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000681}
682
683void RA::clearReservedPhysReg(unsigned physReg)
684{
Alkis Evlogimenos49787e32003-12-05 11:17:55 +0000685 DEBUG(std::cerr << "\t\t\tclearing reserved physical register: "
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000686 << mri_->getName(physReg) << '\n');
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000687 markPhysRegFree(physReg);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000688}
689
690bool RA::physRegAvailable(unsigned physReg)
691{
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000692 assert(!reserved_[physReg] &&
693 "cannot call this method with a reserved register");
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000694
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000695 return !regUse_[physReg];
696}
697
698unsigned RA::getFreePhysReg(Intervals::const_iterator cur)
699{
700 DEBUG(std::cerr << "\t\tgetting free physical register: ");
701
702 // save the regUse counts because we are going to modify them
703 // specifically for this interval
704 unsigned regUseBackup[MRegisterInfo::FirstVirtualRegister];
705 memcpy(regUseBackup, regUse_, sizeof(regUseBackup));
706
707 // for every interval in inactive we don't overlap mark the
708 // register as free
709 for (IntervalPtrs::iterator i = inactive_.begin(); i != inactive_.end();
710 ++i) {
711 unsigned reg = (*i)->reg;
712 if (reg >= MRegisterInfo::FirstVirtualRegister)
713 reg = v2pMap_[reg];
714
715 if (!cur->overlaps(**i)) {
716 markPhysRegFree(reg);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000717 }
718 }
719
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000720 const TargetRegisterClass* rc = mf_->getSSARegMap()->getRegClass(cur->reg);
721 for (TargetRegisterClass::iterator i = rc->allocation_order_begin(*mf_);
722 i != rc->allocation_order_end(*mf_); ++i) {
723 unsigned reg = *i;
724 if (!reserved_[reg] && !regUse_[reg]) {
725 DEBUG(std::cerr << mri_->getName(reg) << '\n');
726 memcpy(regUse_, regUseBackup, sizeof(regUseBackup));
727 return reg;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000728 }
729 }
730
731 DEBUG(std::cerr << "no free register\n");
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000732 memcpy(regUse_, regUseBackup, sizeof(regUseBackup));
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000733 return 0;
734}
735
736bool RA::tempPhysRegAvailable(unsigned physReg)
737{
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000738 assert(reserved_[physReg] &&
739 "cannot call this method with a not reserved temp register");
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000740
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000741 return !regUse_[physReg];
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000742}
743
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000744unsigned RA::getFreeTempPhysReg(unsigned virtReg)
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000745{
746 DEBUG(std::cerr << "\t\tgetting free temporary physical register: ");
747
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000748 const TargetRegisterClass* rc = mf_->getSSARegMap()->getRegClass(virtReg);
749 // go in reverse allocation order for the temp registers
750 for (TargetRegisterClass::iterator i = rc->allocation_order_end(*mf_) - 1;
751 i != rc->allocation_order_begin(*mf_) - 1; --i) {
752 unsigned reg = *i;
753 if (reserved_[reg] && !regUse_[reg]) {
754 DEBUG(std::cerr << mri_->getName(reg) << '\n');
755 return reg;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000756 }
757 }
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000758
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000759 assert(0 && "no free temporary physical register?");
760 return 0;
761}
762
763void RA::assignVirt2PhysReg(unsigned virtReg, unsigned physReg)
764{
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000765 v2pMap_[virtReg] = physReg;
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000766 markPhysRegNotFree(physReg);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000767}
768
769void RA::clearVirtReg(unsigned virtReg)
770{
771 Virt2PhysMap::iterator it = v2pMap_.find(virtReg);
772 assert(it != v2pMap_.end() &&
773 "attempting to clear a not allocated virtual register");
774 unsigned physReg = it->second;
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000775 markPhysRegFree(physReg);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000776 v2pMap_[virtReg] = 0; // this marks that this virtual register
777 // lives on the stack
778 DEBUG(std::cerr << "\t\t\tcleared register " << mri_->getName(physReg)
779 << "\n");
780}
781
782void RA::assignVirt2StackSlot(unsigned virtReg)
783{
784 const TargetRegisterClass* rc = mf_->getSSARegMap()->getRegClass(virtReg);
785 int frameIndex = mf_->getFrameInfo()->CreateStackObject(rc);
786
787 bool inserted = v2ssMap_.insert(std::make_pair(virtReg, frameIndex)).second;
788 assert(inserted &&
789 "attempt to assign stack slot to already assigned register?");
790 // if the virtual register was previously assigned clear the mapping
791 // and free the virtual register
792 if (v2pMap_.find(virtReg) != v2pMap_.end()) {
793 clearVirtReg(virtReg);
794 }
Alkis Evlogimenos69546d52003-12-04 03:57:28 +0000795 else {
796 v2pMap_[virtReg] = 0; // this marks that this virtual register
797 // lives on the stack
798 }
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000799}
800
Alkis Evlogimenos69546d52003-12-04 03:57:28 +0000801int RA::getStackSlot(unsigned virtReg)
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000802{
803 // use lower_bound so that we can do a possibly O(1) insert later
804 // if necessary
Alkis Evlogimenos69546d52003-12-04 03:57:28 +0000805 Virt2StackSlotMap::iterator it = v2ssMap_.find(virtReg);
806 assert(it != v2ssMap_.end() &&
807 "attempt to get stack slot on register that does not live on the stack");
808 return it->second;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000809}
810
811void RA::spillVirtReg(unsigned virtReg)
812{
813 DEBUG(std::cerr << "\t\t\tspilling register: " << virtReg);
814 const TargetRegisterClass* rc = mf_->getSSARegMap()->getRegClass(virtReg);
Alkis Evlogimenos69546d52003-12-04 03:57:28 +0000815 int frameIndex = getStackSlot(virtReg);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000816 DEBUG(std::cerr << " to stack slot #" << frameIndex << '\n');
817 ++numSpilled;
818 instrAdded_ += mri_->storeRegToStackSlot(*currentMbb_, currentInstr_,
819 v2pMap_[virtReg], frameIndex, rc);
820 clearVirtReg(virtReg);
821}
822
823void RA::loadVirt2PhysReg(unsigned virtReg, unsigned physReg)
824{
825 DEBUG(std::cerr << "\t\t\tloading register: " << virtReg);
826 const TargetRegisterClass* rc = mf_->getSSARegMap()->getRegClass(virtReg);
Alkis Evlogimenos69546d52003-12-04 03:57:28 +0000827 int frameIndex = getStackSlot(virtReg);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000828 DEBUG(std::cerr << " from stack slot #" << frameIndex << '\n');
Chris Lattner5e46b512003-12-18 20:25:31 +0000829 ++numReloaded;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000830 instrAdded_ += mri_->loadRegFromStackSlot(*currentMbb_, currentInstr_,
831 physReg, frameIndex, rc);
832 assignVirt2PhysReg(virtReg, physReg);
833}
834
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000835void RA::markPhysRegFree(unsigned physReg)
836{
837 assert(regUse_[physReg] != 0);
838 --regUse_[physReg];
839 for (const unsigned* as = mri_->getAliasSet(physReg); *as; ++as) {
840 physReg = *as;
841 assert(regUse_[physReg] != 0);
842 --regUse_[physReg];
843 }
844}
845
846void RA::markPhysRegNotFree(unsigned physReg)
847{
848 ++regUse_[physReg];
849 for (const unsigned* as = mri_->getAliasSet(physReg); *as; ++as) {
850 physReg = *as;
851 ++regUse_[physReg];
852 }
853}
854
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000855FunctionPass* llvm::createLinearScanRegisterAllocator() {
856 return new RA();
857}