blob: 4897be41bb0b0877018c9c589efd0afac0f69919 [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 {
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000037 private:
38 MachineFunction* mf_;
39 const TargetMachine* tm_;
40 const MRegisterInfo* mri_;
Alkis Evlogimenos1283d862004-01-07 05:31:12 +000041 MachineFunction::iterator currentMbb_;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000042 MachineBasicBlock::iterator currentInstr_;
43 typedef LiveIntervals::Intervals Intervals;
44 const Intervals* li_;
Alkis Evlogimenos1283d862004-01-07 05:31:12 +000045 typedef std::vector<const LiveIntervals::Interval*> IntervalPtrs;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000046 IntervalPtrs active_, inactive_;
47
48 typedef std::vector<unsigned> Regs;
49 Regs tempUseOperands_;
50 Regs tempDefOperands_;
51
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +000052 typedef std::vector<bool> RegMask;
53 RegMask reserved_;
54
55 unsigned regUse_[MRegisterInfo::FirstVirtualRegister];
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +000056 unsigned regUseBackup_[MRegisterInfo::FirstVirtualRegister];
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000057
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000058 typedef std::map<unsigned, unsigned> Virt2PhysMap;
59 Virt2PhysMap v2pMap_;
60
61 typedef std::map<unsigned, int> Virt2StackSlotMap;
62 Virt2StackSlotMap v2ssMap_;
63
64 int instrAdded_;
65
66 public:
67 virtual const char* getPassName() const {
68 return "Linear Scan Register Allocator";
69 }
70
71 virtual void getAnalysisUsage(AnalysisUsage &AU) const {
72 AU.addRequired<LiveVariables>();
73 AU.addRequired<LiveIntervals>();
74 MachineFunctionPass::getAnalysisUsage(AU);
75 }
76
77 private:
78 /// runOnMachineFunction - register allocate the whole function
79 bool runOnMachineFunction(MachineFunction&);
80
81 /// processActiveIntervals - expire old intervals and move
82 /// non-overlapping ones to the incative list
83 void processActiveIntervals(Intervals::const_iterator cur);
84
85 /// processInactiveIntervals - expire old intervals and move
86 /// overlapping ones to the active list
87 void processInactiveIntervals(Intervals::const_iterator cur);
88
89 /// assignStackSlotAtInterval - choose and spill
90 /// interval. Currently we spill the interval with the last
91 /// end point in the active and inactive lists and the current
92 /// interval
93 void assignStackSlotAtInterval(Intervals::const_iterator cur);
94
95 ///
96 /// register handling helpers
97 ///
98
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +000099 /// getFreePhysReg - return a free physical register for this
100 /// virtual register interval if we have one, otherwise return
101 /// 0
102 unsigned getFreePhysReg(Intervals::const_iterator cur);
103
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000104 /// physRegAvailable - returns true if the specifed physical
105 /// register is available
106 bool physRegAvailable(unsigned physReg);
107
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000108 /// tempPhysRegAvailable - returns true if the specifed
109 /// temporary physical register is available
110 bool tempPhysRegAvailable(unsigned physReg);
111
112 /// getFreeTempPhysReg - return a free temprorary physical
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000113 /// register for this virtual register if we have one (should
114 /// never return 0)
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000115 unsigned getFreeTempPhysReg(unsigned virtReg);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000116
117 /// assignVirt2PhysReg - assigns the free physical register to
118 /// the virtual register passed as arguments
119 void assignVirt2PhysReg(unsigned virtReg, unsigned physReg);
120
121 /// clearVirtReg - free the physical register associated with this
122 /// virtual register and disassociate virtual->physical and
123 /// physical->virtual mappings
124 void clearVirtReg(unsigned virtReg);
125
126 /// assignVirt2StackSlot - assigns this virtual register to a
127 /// stack slot
128 void assignVirt2StackSlot(unsigned virtReg);
129
Alkis Evlogimenos69546d52003-12-04 03:57:28 +0000130 /// getStackSlot - returns the offset of the specified
131 /// register on the stack
132 int getStackSlot(unsigned virtReg);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000133
134 /// spillVirtReg - spills the virtual register
135 void spillVirtReg(unsigned virtReg);
136
137 /// loadPhysReg - loads to the physical register the value of
138 /// the virtual register specifed. Virtual register must have
139 /// an assigned stack slot
140 void loadVirt2PhysReg(unsigned virtReg, unsigned physReg);
141
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000142 void markPhysRegFree(unsigned physReg);
143 void markPhysRegNotFree(unsigned physReg);
144
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +0000145 void backupRegUse() {
146 memcpy(regUseBackup_, regUse_, sizeof(regUseBackup_));
147 }
148
149 void restoreRegUse() {
150 memcpy(regUse_, regUseBackup_, sizeof(regUseBackup_));
151 }
152
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000153 void printVirt2PhysMap() const {
154 std::cerr << "allocated registers:\n";
155 for (Virt2PhysMap::const_iterator
156 i = v2pMap_.begin(), e = v2pMap_.end(); i != e; ++i) {
157 std::cerr << '[' << i->first << ','
158 << mri_->getName(i->second) << "]\n";
159 }
160 std::cerr << '\n';
161 }
162 void printIntervals(const char* const str,
163 RA::IntervalPtrs::const_iterator i,
164 RA::IntervalPtrs::const_iterator e) const {
165 if (str) std::cerr << str << " intervals:\n";
166 for (; i != e; ++i) {
167 std::cerr << "\t\t" << **i << " -> ";
168 if ((*i)->reg < MRegisterInfo::FirstVirtualRegister) {
169 std::cerr << mri_->getName((*i)->reg);
170 }
171 else {
172 std::cerr << mri_->getName(v2pMap_.find((*i)->reg)->second);
173 }
174 std::cerr << '\n';
175 }
176 }
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000177 void printFreeRegs(const char* const str,
178 const TargetRegisterClass* rc) const {
179 if (str) std::cerr << str << ':';
180 for (TargetRegisterClass::iterator i =
181 rc->allocation_order_begin(*mf_);
182 i != rc->allocation_order_end(*mf_); ++i) {
183 unsigned reg = *i;
184 if (!regUse_[reg]) {
185 std::cerr << ' ' << mri_->getName(reg);
186 if (reserved_[reg]) std::cerr << "*";
187 }
188 }
189 std::cerr << '\n';
190 }
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000191 };
192}
193
194bool RA::runOnMachineFunction(MachineFunction &fn) {
195 mf_ = &fn;
196 tm_ = &fn.getTarget();
197 mri_ = tm_->getRegisterInfo();
198 li_ = &getAnalysis<LiveIntervals>().getIntervals();
199 active_.clear();
200 inactive_.clear();
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000201
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000202 v2pMap_.clear();
203 v2ssMap_.clear();
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000204 memset(regUse_, 0, sizeof(regUse_));
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +0000205 memset(regUseBackup_, 0, sizeof(regUseBackup_));
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000206
207 // FIXME: this will work only for the X86 backend. I need to
208 // device an algorthm to select the minimal (considering register
209 // aliasing) number of temp registers to reserve so that we have 2
210 // registers for each register class available.
211
Alkis Evlogimenos27490a62003-12-28 18:03:52 +0000212 // reserve R8: CH, CL
213 // R16: CX, DI,
214 // R32: ECX, EDI,
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000215 // RFP: FP5, FP6
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000216 reserved_.assign(MRegisterInfo::FirstVirtualRegister, false);
Alkis Evlogimenos27490a62003-12-28 18:03:52 +0000217 reserved_[ 8] = true; /* CH */
218 reserved_[ 9] = true; /* CL */
219 reserved_[10] = true; /* CX */
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000220 reserved_[12] = true; /* DI */
Alkis Evlogimenos27490a62003-12-28 18:03:52 +0000221 reserved_[18] = true; /* ECX */
222 reserved_[19] = true; /* EDI */
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000223 reserved_[28] = true; /* FP5 */
224 reserved_[29] = true; /* FP6 */
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000225
226 // liner scan algorithm
227 for (Intervals::const_iterator
228 i = li_->begin(), e = li_->end(); i != e; ++i) {
229 DEBUG(std::cerr << "processing current interval: " << *i << '\n');
230
231 DEBUG(printIntervals("\tactive", active_.begin(), active_.end()));
232 DEBUG(printIntervals("\tinactive", inactive_.begin(), inactive_.end()));
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000233 processActiveIntervals(i);
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000234 processInactiveIntervals(i);
235
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +0000236 backupRegUse();
237
238 // for every interval in inactive we overlap mark the register
239 // as not free
240 for (IntervalPtrs::iterator j = inactive_.begin();
241 j != inactive_.end(); ++j) {
242 unsigned reg = (*j)->reg;
243 if (reg >= MRegisterInfo::FirstVirtualRegister)
244 reg = v2pMap_[reg];
245
246 if (i->overlaps(**j)) {
247 markPhysRegNotFree(reg);
248 }
249 }
250
251 // for every pre-allocated interval in unhandled we overlap
252 // mark the register as not free
253 for (Intervals::const_iterator j = i + 1; j != e; ++j) {
254 if (j->reg < MRegisterInfo::FirstVirtualRegister &&
255 i->overlaps(*j))
256 markPhysRegNotFree(j->reg);
257 }
258
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000259 DEBUG(std::cerr << "\tallocating current interval:\n");
260 // if this register is preallocated reserve it
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000261 if (i->reg < MRegisterInfo::FirstVirtualRegister) {
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +0000262 restoreRegUse();
263 markPhysRegNotFree(i->reg);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000264 active_.push_back(&*i);
265 }
266 // otherwise we are allocating a virtual register. try to find
267 // a free physical register or spill an interval in order to
268 // assign it one (we could spill the current though).
269 else {
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000270 unsigned physReg = getFreePhysReg(i);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000271 if (!physReg) {
272 assignStackSlotAtInterval(i);
273 }
274 else {
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +0000275 restoreRegUse();
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000276 assignVirt2PhysReg(i->reg, physReg);
277 active_.push_back(&*i);
278 }
279 }
280 }
Alkis Evlogimenos7d65a122003-12-13 05:50:19 +0000281 // expire any remaining active intervals
282 for (IntervalPtrs::iterator i = active_.begin(); i != active_.end(); ++i) {
283 unsigned reg = (*i)->reg;
284 DEBUG(std::cerr << "\t\tinterval " << **i << " expired\n");
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +0000285 if (reg >= MRegisterInfo::FirstVirtualRegister) {
286 reg = v2pMap_[reg];
Alkis Evlogimenos7d65a122003-12-13 05:50:19 +0000287 }
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +0000288 markPhysRegFree(reg);
Alkis Evlogimenos7d65a122003-12-13 05:50:19 +0000289 }
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000290
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000291 DEBUG(std::cerr << "finished register allocation\n");
292 DEBUG(printVirt2PhysMap());
293
294 DEBUG(std::cerr << "Rewrite machine code:\n");
Alkis Evlogimenos1283d862004-01-07 05:31:12 +0000295 for (currentMbb_ = mf_->begin(); currentMbb_ != mf_->end(); ++currentMbb_) {
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000296 instrAdded_ = 0;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000297
298 for (currentInstr_ = currentMbb_->begin();
299 currentInstr_ != currentMbb_->end(); ++currentInstr_) {
300
301 DEBUG(std::cerr << "\tinstruction: ";
302 (*currentInstr_)->print(std::cerr, *tm_););
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000303
304 // use our current mapping and actually replace and
305 // virtual register with its allocated physical registers
306 DEBUG(std::cerr << "\t\treplacing virtual registers with mapped "
307 "physical registers:\n");
308 for (unsigned i = 0, e = (*currentInstr_)->getNumOperands();
309 i != e; ++i) {
310 MachineOperand& op = (*currentInstr_)->getOperand(i);
311 if (op.isVirtualRegister()) {
312 unsigned virtReg = op.getAllocatedRegNum();
313 unsigned physReg = v2pMap_[virtReg];
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000314 if (physReg) {
315 DEBUG(std::cerr << "\t\t\t%reg" << virtReg
316 << " -> " << mri_->getName(physReg) << '\n');
317 (*currentInstr_)->SetMachineOperandReg(i, physReg);
318 }
319 }
320 }
321
322 DEBUG(std::cerr << "\t\tloading temporarily used operands to "
323 "registers:\n");
324 for (unsigned i = 0, e = (*currentInstr_)->getNumOperands();
325 i != e; ++i) {
326 MachineOperand& op = (*currentInstr_)->getOperand(i);
Alkis Evlogimenosa71e05a2003-12-18 13:15:02 +0000327 if (op.isVirtualRegister() && op.isUse() && !op.isDef()) {
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000328 unsigned virtReg = op.getAllocatedRegNum();
329 unsigned physReg = v2pMap_[virtReg];
330 if (!physReg) {
331 physReg = getFreeTempPhysReg(virtReg);
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000332 loadVirt2PhysReg(virtReg, physReg);
333 tempUseOperands_.push_back(virtReg);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000334 }
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000335 (*currentInstr_)->SetMachineOperandReg(i, physReg);
336 }
337 }
338
339 DEBUG(std::cerr << "\t\tclearing temporarily used operands:\n");
340 for (unsigned i = 0, e = tempUseOperands_.size(); i != e; ++i) {
341 clearVirtReg(tempUseOperands_[i]);
342 }
343 tempUseOperands_.clear();
344
345 DEBUG(std::cerr << "\t\tassigning temporarily defined operands to "
346 "registers:\n");
347 for (unsigned i = 0, e = (*currentInstr_)->getNumOperands();
348 i != e; ++i) {
349 MachineOperand& op = (*currentInstr_)->getOperand(i);
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000350 if (op.isVirtualRegister() && op.isDef()) {
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000351 unsigned virtReg = op.getAllocatedRegNum();
352 unsigned physReg = v2pMap_[virtReg];
353 if (!physReg) {
354 physReg = getFreeTempPhysReg(virtReg);
355 }
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000356 if (op.isUse()) { // def and use
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000357 loadVirt2PhysReg(virtReg, physReg);
358 }
359 else {
360 assignVirt2PhysReg(virtReg, physReg);
361 }
362 tempDefOperands_.push_back(virtReg);
363 (*currentInstr_)->SetMachineOperandReg(i, physReg);
364 }
365 }
366
Alkis Evlogimenos58587072003-11-30 23:40:39 +0000367 DEBUG(std::cerr << "\t\tspilling temporarily defined operands "
368 "of this instruction:\n");
369 ++currentInstr_; // we want to insert after this instruction
370 for (unsigned i = 0, e = tempDefOperands_.size(); i != e; ++i) {
371 spillVirtReg(tempDefOperands_[i]);
372 }
373 --currentInstr_; // restore currentInstr_ iterator
374 tempDefOperands_.clear();
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000375 }
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000376 }
377
378 return true;
379}
380
381void RA::processActiveIntervals(Intervals::const_iterator cur)
382{
383 DEBUG(std::cerr << "\tprocessing active intervals:\n");
384 for (IntervalPtrs::iterator i = active_.begin(); i != active_.end();) {
385 unsigned reg = (*i)->reg;
386 // remove expired intervals. we expire earlier because this if
387 // an interval expires this is going to be the last use. in
388 // this case we can reuse the register for a def in the same
389 // instruction
Alkis Evlogimenos485ec3c2003-12-18 08:56:11 +0000390 if ((*i)->expiredAt(cur->start() + 1)) {
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000391 DEBUG(std::cerr << "\t\tinterval " << **i << " expired\n");
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +0000392 if (reg >= MRegisterInfo::FirstVirtualRegister) {
393 reg = v2pMap_[reg];
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000394 }
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +0000395 markPhysRegFree(reg);
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000396 // remove from active
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000397 i = active_.erase(i);
398 }
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000399 // move inactive intervals to inactive list
400 else if (!(*i)->liveAt(cur->start())) {
401 DEBUG(std::cerr << "\t\t\tinterval " << **i << " inactive\n");
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +0000402 if (reg >= MRegisterInfo::FirstVirtualRegister) {
403 reg = v2pMap_[reg];
404 }
405 markPhysRegFree(reg);
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000406 // add to inactive
407 inactive_.push_back(*i);
408 // remove from active
409 i = active_.erase(i);
410 }
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000411 else {
412 ++i;
413 }
414 }
415}
416
417void RA::processInactiveIntervals(Intervals::const_iterator cur)
418{
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000419 DEBUG(std::cerr << "\tprocessing inactive intervals:\n");
420 for (IntervalPtrs::iterator i = inactive_.begin(); i != inactive_.end();) {
421 unsigned reg = (*i)->reg;
422
423 // remove expired intervals. we expire earlier because this if
424 // an interval expires this is going to be the last use. in
425 // this case we can reuse the register for a def in the same
426 // instruction
427 if ((*i)->expiredAt(cur->start() + 1)) {
428 DEBUG(std::cerr << "\t\t\tinterval " << **i << " expired\n");
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000429 // remove from inactive
430 i = inactive_.erase(i);
431 }
432 // move re-activated intervals in active list
433 else if ((*i)->liveAt(cur->start())) {
434 DEBUG(std::cerr << "\t\t\tinterval " << **i << " active\n");
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +0000435 if (reg >= MRegisterInfo::FirstVirtualRegister) {
436 reg = v2pMap_[reg];
437 }
438 markPhysRegNotFree(reg);
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000439 // add to active
440 active_.push_back(*i);
441 // remove from inactive
442 i = inactive_.erase(i);
443 }
444 else {
445 ++i;
446 }
447 }
448}
449
450namespace {
Alkis Evlogimenos6b4edba2003-12-21 20:19:10 +0000451 template <typename T>
452 void updateWeight(T rw[], int reg, T w)
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000453 {
Alkis Evlogimenos6b4edba2003-12-21 20:19:10 +0000454 if (rw[reg] == std::numeric_limits<T>::max() ||
455 w == std::numeric_limits<T>::max())
456 rw[reg] = std::numeric_limits<T>::max();
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000457 else
458 rw[reg] += w;
459 }
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000460}
461
462void RA::assignStackSlotAtInterval(Intervals::const_iterator cur)
463{
464 DEBUG(std::cerr << "\t\tassigning stack slot at interval "
465 << *cur << ":\n");
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000466
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000467 // set all weights to zero
Alkis Evlogimenos6b4edba2003-12-21 20:19:10 +0000468 float regWeight[MRegisterInfo::FirstVirtualRegister];
469 for (unsigned i = 0; i < MRegisterInfo::FirstVirtualRegister; ++i)
470 regWeight[i] = 0.0F;
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000471
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +0000472 // for each interval in active that overlaps
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000473 for (IntervalPtrs::iterator i = active_.begin(); i != active_.end(); ++i) {
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +0000474 if (!cur->overlaps(**i))
475 continue;
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000476
477 unsigned reg = (*i)->reg;
478 if (reg >= MRegisterInfo::FirstVirtualRegister) {
479 reg = v2pMap_[reg];
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000480 }
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000481 updateWeight(regWeight, reg, (*i)->weight);
482 for (const unsigned* as = mri_->getAliasSet(reg); *as; ++as)
483 updateWeight(regWeight, *as, (*i)->weight);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000484 }
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000485
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +0000486 // for each interval in inactive that overlaps
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000487 for (IntervalPtrs::iterator i = inactive_.begin();
488 i != inactive_.end(); ++i) {
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +0000489 if (!cur->overlaps(**i))
490 continue;
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000491
492 unsigned reg = (*i)->reg;
493 if (reg >= MRegisterInfo::FirstVirtualRegister) {
494 reg = v2pMap_[reg];
495 }
496 updateWeight(regWeight, reg, (*i)->weight);
497 for (const unsigned* as = mri_->getAliasSet(reg); *as; ++as)
498 updateWeight(regWeight, *as, (*i)->weight);
499 }
500
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +0000501 // for each fixed interval in unhandled that overlaps
502 for (Intervals::const_iterator j = cur + 1; j != li_->end(); ++j) {
503 if (j->reg >= MRegisterInfo::FirstVirtualRegister)
504 continue;
505 updateWeight(regWeight, j->reg, j->weight);
506 for (const unsigned* as = mri_->getAliasSet(j->reg); *as; ++as)
507 updateWeight(regWeight, *as, j->weight);
508 }
509
Alkis Evlogimenos6b4edba2003-12-21 20:19:10 +0000510 float minWeight = std::numeric_limits<float>::max();
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000511 unsigned minReg = 0;
512 const TargetRegisterClass* rc = mf_->getSSARegMap()->getRegClass(cur->reg);
513 for (TargetRegisterClass::iterator i = rc->allocation_order_begin(*mf_);
514 i != rc->allocation_order_end(*mf_); ++i) {
515 unsigned reg = *i;
516 if (!reserved_[reg] && minWeight > regWeight[reg]) {
517 minWeight = regWeight[reg];
518 minReg = reg;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000519 }
520 }
521
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000522 if (cur->weight < minWeight) {
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +0000523 restoreRegUse();
Alkis Evlogimenos843397c2003-12-24 18:53:31 +0000524 DEBUG(std::cerr << "\t\t\t\tspilling : " << *cur << '\n');
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000525 assignVirt2StackSlot(cur->reg);
526 }
527 else {
528 std::set<unsigned> toSpill;
529 toSpill.insert(minReg);
530 for (const unsigned* as = mri_->getAliasSet(minReg); *as; ++as)
531 toSpill.insert(*as);
532
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +0000533 std::vector<unsigned> spilled;
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000534 for (IntervalPtrs::iterator i = active_.begin();
535 i != active_.end(); ) {
536 unsigned reg = (*i)->reg;
537 if (reg >= MRegisterInfo::FirstVirtualRegister &&
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +0000538 toSpill.find(v2pMap_[reg]) != toSpill.end() &&
539 cur->overlaps(**i)) {
540 spilled.push_back(v2pMap_[reg]);
Alkis Evlogimenos843397c2003-12-24 18:53:31 +0000541 DEBUG(std::cerr << "\t\t\t\tspilling : " << **i << '\n');
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000542 assignVirt2StackSlot(reg);
543 i = active_.erase(i);
544 }
545 else {
546 ++i;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000547 }
548 }
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000549 for (IntervalPtrs::iterator i = inactive_.begin();
550 i != inactive_.end(); ) {
551 unsigned reg = (*i)->reg;
552 if (reg >= MRegisterInfo::FirstVirtualRegister &&
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +0000553 toSpill.find(v2pMap_[reg]) != toSpill.end() &&
554 cur->overlaps(**i)) {
Alkis Evlogimenos843397c2003-12-24 18:53:31 +0000555 DEBUG(std::cerr << "\t\t\t\tspilling : " << **i << '\n');
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000556 assignVirt2StackSlot(reg);
557 i = inactive_.erase(i);
558 }
559 else {
560 ++i;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000561 }
562 }
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000563
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000564 unsigned physReg = getFreePhysReg(cur);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000565 assert(physReg && "no free physical register after spill?");
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +0000566
567 restoreRegUse();
568 for (unsigned i = 0; i < spilled.size(); ++i)
569 markPhysRegFree(spilled[i]);
570
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000571 assignVirt2PhysReg(cur->reg, physReg);
572 active_.push_back(&*cur);
573 }
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000574}
575
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000576bool RA::physRegAvailable(unsigned physReg)
577{
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000578 assert(!reserved_[physReg] &&
579 "cannot call this method with a reserved register");
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000580
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000581 return !regUse_[physReg];
582}
583
584unsigned RA::getFreePhysReg(Intervals::const_iterator cur)
585{
586 DEBUG(std::cerr << "\t\tgetting free physical register: ");
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000587 const TargetRegisterClass* rc = mf_->getSSARegMap()->getRegClass(cur->reg);
Alkis Evlogimenos26bfc082003-12-28 17:58:18 +0000588
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000589 for (TargetRegisterClass::iterator i = rc->allocation_order_begin(*mf_);
590 i != rc->allocation_order_end(*mf_); ++i) {
591 unsigned reg = *i;
592 if (!reserved_[reg] && !regUse_[reg]) {
593 DEBUG(std::cerr << mri_->getName(reg) << '\n');
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000594 return reg;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000595 }
596 }
597
598 DEBUG(std::cerr << "no free register\n");
599 return 0;
600}
601
602bool RA::tempPhysRegAvailable(unsigned physReg)
603{
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000604 assert(reserved_[physReg] &&
605 "cannot call this method with a not reserved temp register");
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000606
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000607 return !regUse_[physReg];
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000608}
609
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000610unsigned RA::getFreeTempPhysReg(unsigned virtReg)
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000611{
612 DEBUG(std::cerr << "\t\tgetting free temporary physical register: ");
613
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000614 const TargetRegisterClass* rc = mf_->getSSARegMap()->getRegClass(virtReg);
615 // go in reverse allocation order for the temp registers
616 for (TargetRegisterClass::iterator i = rc->allocation_order_end(*mf_) - 1;
617 i != rc->allocation_order_begin(*mf_) - 1; --i) {
618 unsigned reg = *i;
619 if (reserved_[reg] && !regUse_[reg]) {
620 DEBUG(std::cerr << mri_->getName(reg) << '\n');
621 return reg;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000622 }
623 }
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000624
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000625 assert(0 && "no free temporary physical register?");
626 return 0;
627}
628
629void RA::assignVirt2PhysReg(unsigned virtReg, unsigned physReg)
630{
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000631 v2pMap_[virtReg] = physReg;
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000632 markPhysRegNotFree(physReg);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000633}
634
635void RA::clearVirtReg(unsigned virtReg)
636{
637 Virt2PhysMap::iterator it = v2pMap_.find(virtReg);
638 assert(it != v2pMap_.end() &&
639 "attempting to clear a not allocated virtual register");
640 unsigned physReg = it->second;
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000641 markPhysRegFree(physReg);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000642 v2pMap_[virtReg] = 0; // this marks that this virtual register
643 // lives on the stack
644 DEBUG(std::cerr << "\t\t\tcleared register " << mri_->getName(physReg)
645 << "\n");
646}
647
648void RA::assignVirt2StackSlot(unsigned virtReg)
649{
650 const TargetRegisterClass* rc = mf_->getSSARegMap()->getRegClass(virtReg);
651 int frameIndex = mf_->getFrameInfo()->CreateStackObject(rc);
652
653 bool inserted = v2ssMap_.insert(std::make_pair(virtReg, frameIndex)).second;
654 assert(inserted &&
655 "attempt to assign stack slot to already assigned register?");
656 // if the virtual register was previously assigned clear the mapping
657 // and free the virtual register
658 if (v2pMap_.find(virtReg) != v2pMap_.end()) {
659 clearVirtReg(virtReg);
660 }
Alkis Evlogimenos69546d52003-12-04 03:57:28 +0000661 else {
662 v2pMap_[virtReg] = 0; // this marks that this virtual register
663 // lives on the stack
664 }
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000665}
666
Alkis Evlogimenos69546d52003-12-04 03:57:28 +0000667int RA::getStackSlot(unsigned virtReg)
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000668{
669 // use lower_bound so that we can do a possibly O(1) insert later
670 // if necessary
Alkis Evlogimenos69546d52003-12-04 03:57:28 +0000671 Virt2StackSlotMap::iterator it = v2ssMap_.find(virtReg);
672 assert(it != v2ssMap_.end() &&
673 "attempt to get stack slot on register that does not live on the stack");
674 return it->second;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000675}
676
677void RA::spillVirtReg(unsigned virtReg)
678{
679 DEBUG(std::cerr << "\t\t\tspilling register: " << virtReg);
680 const TargetRegisterClass* rc = mf_->getSSARegMap()->getRegClass(virtReg);
Alkis Evlogimenos69546d52003-12-04 03:57:28 +0000681 int frameIndex = getStackSlot(virtReg);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000682 DEBUG(std::cerr << " to stack slot #" << frameIndex << '\n');
683 ++numSpilled;
684 instrAdded_ += mri_->storeRegToStackSlot(*currentMbb_, currentInstr_,
685 v2pMap_[virtReg], frameIndex, rc);
686 clearVirtReg(virtReg);
687}
688
689void RA::loadVirt2PhysReg(unsigned virtReg, unsigned physReg)
690{
691 DEBUG(std::cerr << "\t\t\tloading register: " << virtReg);
692 const TargetRegisterClass* rc = mf_->getSSARegMap()->getRegClass(virtReg);
Alkis Evlogimenos69546d52003-12-04 03:57:28 +0000693 int frameIndex = getStackSlot(virtReg);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000694 DEBUG(std::cerr << " from stack slot #" << frameIndex << '\n');
Chris Lattner5e46b512003-12-18 20:25:31 +0000695 ++numReloaded;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000696 instrAdded_ += mri_->loadRegFromStackSlot(*currentMbb_, currentInstr_,
697 physReg, frameIndex, rc);
698 assignVirt2PhysReg(virtReg, physReg);
699}
700
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000701void RA::markPhysRegFree(unsigned physReg)
702{
703 assert(regUse_[physReg] != 0);
704 --regUse_[physReg];
705 for (const unsigned* as = mri_->getAliasSet(physReg); *as; ++as) {
706 physReg = *as;
707 assert(regUse_[physReg] != 0);
708 --regUse_[physReg];
709 }
710}
711
712void RA::markPhysRegNotFree(unsigned physReg)
713{
714 ++regUse_[physReg];
715 for (const unsigned* as = mri_->getAliasSet(physReg); *as; ++as) {
716 physReg = *as;
717 ++regUse_[physReg];
718 }
719}
720
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000721FunctionPass* llvm::createLinearScanRegisterAllocator() {
722 return new RA();
723}