blob: 202a15232dd116566204e2eb053b398a123b8678 [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 Evlogimenose88280a2004-01-22 23:08:45 +000035 Statistic<> numPeep ("ra-linearscan",
36 "Number of identity moves eliminated");
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000037
38 class RA : public MachineFunctionPass {
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000039 private:
40 MachineFunction* mf_;
41 const TargetMachine* tm_;
42 const MRegisterInfo* mri_;
Alkis Evlogimenose88280a2004-01-22 23:08:45 +000043 LiveIntervals* li_;
Alkis Evlogimenos1283d862004-01-07 05:31:12 +000044 MachineFunction::iterator currentMbb_;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000045 MachineBasicBlock::iterator currentInstr_;
Alkis Evlogimenos1283d862004-01-07 05:31:12 +000046 typedef std::vector<const LiveIntervals::Interval*> IntervalPtrs;
Alkis Evlogimenos7d629b52004-01-07 09:20:58 +000047 IntervalPtrs unhandled_, fixed_, active_, inactive_;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000048
49 typedef std::vector<unsigned> Regs;
50 Regs tempUseOperands_;
51 Regs tempDefOperands_;
52
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +000053 typedef std::vector<bool> RegMask;
54 RegMask reserved_;
55
56 unsigned regUse_[MRegisterInfo::FirstVirtualRegister];
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +000057 unsigned regUseBackup_[MRegisterInfo::FirstVirtualRegister];
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000058
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000059 typedef std::map<unsigned, unsigned> Virt2PhysMap;
60 Virt2PhysMap v2pMap_;
61
62 typedef std::map<unsigned, int> Virt2StackSlotMap;
63 Virt2StackSlotMap v2ssMap_;
64
65 int instrAdded_;
66
67 public:
68 virtual const char* getPassName() const {
69 return "Linear Scan Register Allocator";
70 }
71
72 virtual void getAnalysisUsage(AnalysisUsage &AU) const {
73 AU.addRequired<LiveVariables>();
74 AU.addRequired<LiveIntervals>();
75 MachineFunctionPass::getAnalysisUsage(AU);
76 }
77
78 private:
79 /// runOnMachineFunction - register allocate the whole function
80 bool runOnMachineFunction(MachineFunction&);
81
Alkis Evlogimenos7d629b52004-01-07 09:20:58 +000082 /// initIntervalSets - initializa the four interval sets:
83 /// unhandled, fixed, active and inactive
84 void initIntervalSets(const LiveIntervals::Intervals& li);
85
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000086 /// processActiveIntervals - expire old intervals and move
87 /// non-overlapping ones to the incative list
Alkis Evlogimenos7d629b52004-01-07 09:20:58 +000088 void processActiveIntervals(IntervalPtrs::value_type cur);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000089
90 /// processInactiveIntervals - expire old intervals and move
91 /// overlapping ones to the active list
Alkis Evlogimenos7d629b52004-01-07 09:20:58 +000092 void processInactiveIntervals(IntervalPtrs::value_type cur);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000093
94 /// assignStackSlotAtInterval - choose and spill
95 /// interval. Currently we spill the interval with the last
96 /// end point in the active and inactive lists and the current
97 /// interval
Alkis Evlogimenos7d629b52004-01-07 09:20:58 +000098 void assignStackSlotAtInterval(IntervalPtrs::value_type cur);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000099
100 ///
101 /// register handling helpers
102 ///
103
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000104 /// getFreePhysReg - return a free physical register for this
105 /// virtual register interval if we have one, otherwise return
106 /// 0
Alkis Evlogimenos7d629b52004-01-07 09:20:58 +0000107 unsigned getFreePhysReg(IntervalPtrs::value_type cur);
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000108
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000109 /// physRegAvailable - returns true if the specifed physical
110 /// register is available
111 bool physRegAvailable(unsigned physReg);
112
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000113 /// tempPhysRegAvailable - returns true if the specifed
114 /// temporary physical register is available
115 bool tempPhysRegAvailable(unsigned physReg);
116
117 /// getFreeTempPhysReg - return a free temprorary physical
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000118 /// register for this virtual register if we have one (should
119 /// never return 0)
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000120 unsigned getFreeTempPhysReg(unsigned virtReg);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000121
122 /// assignVirt2PhysReg - assigns the free physical register to
123 /// the virtual register passed as arguments
124 void assignVirt2PhysReg(unsigned virtReg, unsigned physReg);
125
126 /// clearVirtReg - free the physical register associated with this
127 /// virtual register and disassociate virtual->physical and
128 /// physical->virtual mappings
129 void clearVirtReg(unsigned virtReg);
130
131 /// assignVirt2StackSlot - assigns this virtual register to a
132 /// stack slot
133 void assignVirt2StackSlot(unsigned virtReg);
134
Alkis Evlogimenos69546d52003-12-04 03:57:28 +0000135 /// getStackSlot - returns the offset of the specified
136 /// register on the stack
137 int getStackSlot(unsigned virtReg);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000138
139 /// spillVirtReg - spills the virtual register
140 void spillVirtReg(unsigned virtReg);
141
142 /// loadPhysReg - loads to the physical register the value of
143 /// the virtual register specifed. Virtual register must have
144 /// an assigned stack slot
145 void loadVirt2PhysReg(unsigned virtReg, unsigned physReg);
146
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000147 void markPhysRegFree(unsigned physReg);
148 void markPhysRegNotFree(unsigned physReg);
149
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +0000150 void backupRegUse() {
151 memcpy(regUseBackup_, regUse_, sizeof(regUseBackup_));
152 }
153
154 void restoreRegUse() {
155 memcpy(regUse_, regUseBackup_, sizeof(regUseBackup_));
156 }
157
Alkis Evlogimenosce501152004-01-22 19:24:43 +0000158 void printVirtRegAssignment() const {
159 std::cerr << "register assignment:\n";
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000160 for (Virt2PhysMap::const_iterator
161 i = v2pMap_.begin(), e = v2pMap_.end(); i != e; ++i) {
Alkis Evlogimenosce501152004-01-22 19:24:43 +0000162 assert(i->second != 0);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000163 std::cerr << '[' << i->first << ','
164 << mri_->getName(i->second) << "]\n";
165 }
Alkis Evlogimenosce501152004-01-22 19:24:43 +0000166 for (Virt2StackSlotMap::const_iterator
167 i = v2ssMap_.begin(), e = v2ssMap_.end(); i != e; ++i) {
168 std::cerr << '[' << i->first << ",ss#" << i->second << "]\n";
169 }
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000170 std::cerr << '\n';
171 }
Alkis Evlogimenosa6d8c3f2004-01-16 20:29:42 +0000172
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000173 void printIntervals(const char* const str,
174 RA::IntervalPtrs::const_iterator i,
175 RA::IntervalPtrs::const_iterator e) const {
176 if (str) std::cerr << str << " intervals:\n";
177 for (; i != e; ++i) {
178 std::cerr << "\t\t" << **i << " -> ";
Alkis Evlogimenosa6d8c3f2004-01-16 20:29:42 +0000179 unsigned reg = (*i)->reg;
Alkis Evlogimenos4f67b862004-02-01 01:27:01 +0000180 if (MRegisterInfo::isVirtualRegister(reg)) {
Alkis Evlogimenosa6d8c3f2004-01-16 20:29:42 +0000181 Virt2PhysMap::const_iterator it = v2pMap_.find(reg);
182 reg = (it == v2pMap_.end() ? 0 : it->second);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000183 }
Alkis Evlogimenosa12c7bb2004-01-16 20:33:13 +0000184 std::cerr << mri_->getName(reg) << '\n';
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000185 }
186 }
Alkis Evlogimenosa6d8c3f2004-01-16 20:29:42 +0000187
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000188 void printFreeRegs(const char* const str,
189 const TargetRegisterClass* rc) const {
190 if (str) std::cerr << str << ':';
191 for (TargetRegisterClass::iterator i =
192 rc->allocation_order_begin(*mf_);
Alkis Evlogimenosb7be1152004-01-13 20:42:08 +0000193 i != rc->allocation_order_end(*mf_); ++i) {
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000194 unsigned reg = *i;
195 if (!regUse_[reg]) {
Alkis Evlogimenosb7be1152004-01-13 20:42:08 +0000196 std::cerr << ' ' << mri_->getName(reg);
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000197 if (reserved_[reg]) std::cerr << "*";
198 }
199 }
200 std::cerr << '\n';
201 }
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000202 };
203}
204
205bool RA::runOnMachineFunction(MachineFunction &fn) {
206 mf_ = &fn;
207 tm_ = &fn.getTarget();
208 mri_ = tm_->getRegisterInfo();
Alkis Evlogimenose88280a2004-01-22 23:08:45 +0000209 li_ = &getAnalysis<LiveIntervals>();
210 initIntervalSets(li_->getIntervals());
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000211
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 Evlogimenos3bf564a2003-12-23 18:00:33 +0000215 memset(regUseBackup_, 0, sizeof(regUseBackup_));
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000216
217 // FIXME: this will work only for the X86 backend. I need to
218 // device an algorthm to select the minimal (considering register
219 // aliasing) number of temp registers to reserve so that we have 2
220 // registers for each register class available.
221
Alkis Evlogimenos27490a62003-12-28 18:03:52 +0000222 // reserve R8: CH, CL
223 // R16: CX, DI,
224 // R32: ECX, EDI,
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000225 // RFP: FP5, FP6
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000226 reserved_.assign(MRegisterInfo::FirstVirtualRegister, false);
Alkis Evlogimenos27490a62003-12-28 18:03:52 +0000227 reserved_[ 8] = true; /* CH */
228 reserved_[ 9] = true; /* CL */
229 reserved_[10] = true; /* CX */
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000230 reserved_[12] = true; /* DI */
Alkis Evlogimenos27490a62003-12-28 18:03:52 +0000231 reserved_[18] = true; /* ECX */
232 reserved_[19] = true; /* EDI */
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000233 reserved_[28] = true; /* FP5 */
234 reserved_[29] = true; /* FP6 */
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000235
Alkis Evlogimenos7d629b52004-01-07 09:20:58 +0000236 // linear scan algorithm
Alkis Evlogimenose88280a2004-01-22 23:08:45 +0000237 DEBUG(std::cerr << "Machine Function\n");
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000238
Alkis Evlogimenos7d629b52004-01-07 09:20:58 +0000239 DEBUG(printIntervals("\tunhandled", unhandled_.begin(), unhandled_.end()));
240 DEBUG(printIntervals("\tfixed", fixed_.begin(), fixed_.end()));
241 DEBUG(printIntervals("\tactive", active_.begin(), active_.end()));
242 DEBUG(printIntervals("\tinactive", inactive_.begin(), inactive_.end()));
243
244 while (!unhandled_.empty() || !fixed_.empty()) {
245 // pick the interval with the earliest start point
246 IntervalPtrs::value_type cur;
247 if (fixed_.empty()) {
248 cur = unhandled_.front();
249 unhandled_.erase(unhandled_.begin());
250 }
251 else if (unhandled_.empty()) {
252 cur = fixed_.front();
253 fixed_.erase(fixed_.begin());
254 }
255 else if (unhandled_.front()->start() < fixed_.front()->start()) {
256 cur = unhandled_.front();
257 unhandled_.erase(unhandled_.begin());
258 }
259 else {
260 cur = fixed_.front();
261 fixed_.erase(fixed_.begin());
262 }
263
Alkis Evlogimenos5ab20272004-01-14 00:09:36 +0000264 DEBUG(std::cerr << *cur << '\n');
Alkis Evlogimenos7d629b52004-01-07 09:20:58 +0000265
266 processActiveIntervals(cur);
267 processInactiveIntervals(cur);
Alkis Evlogimenosb7be1152004-01-13 20:42:08 +0000268
Alkis Evlogimenos7d629b52004-01-07 09:20:58 +0000269 // if this register is fixed we are done
Alkis Evlogimenos4f67b862004-02-01 01:27:01 +0000270 if (MRegisterInfo::isPhysicalRegister(cur->reg)) {
Alkis Evlogimenos7d629b52004-01-07 09:20:58 +0000271 markPhysRegNotFree(cur->reg);
272 active_.push_back(cur);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000273 }
274 // otherwise we are allocating a virtual register. try to find
275 // a free physical register or spill an interval in order to
276 // assign it one (we could spill the current though).
277 else {
Alkis Evlogimenos7d629b52004-01-07 09:20:58 +0000278 backupRegUse();
279
280 // for every interval in inactive we overlap with, mark the
281 // register as not free
282 for (IntervalPtrs::const_iterator i = inactive_.begin(),
283 e = inactive_.end(); i != e; ++i) {
284 unsigned reg = (*i)->reg;
Alkis Evlogimenos4f67b862004-02-01 01:27:01 +0000285 if (MRegisterInfo::isVirtualRegister(reg))
Alkis Evlogimenos7d629b52004-01-07 09:20:58 +0000286 reg = v2pMap_[reg];
287
288 if (cur->overlaps(**i)) {
289 markPhysRegNotFree(reg);
290 }
291 }
292
293 // for every interval in fixed we overlap with,
294 // mark the register as not free
295 for (IntervalPtrs::const_iterator i = fixed_.begin(),
296 e = fixed_.end(); i != e; ++i) {
Alkis Evlogimenos4f67b862004-02-01 01:27:01 +0000297 assert(MRegisterInfo::isPhysicalRegister((*i)->reg) &&
Alkis Evlogimenos7d629b52004-01-07 09:20:58 +0000298 "virtual register interval in fixed set?");
299 if (cur->overlaps(**i))
300 markPhysRegNotFree((*i)->reg);
301 }
302
303 DEBUG(std::cerr << "\tallocating current interval:\n");
304
305 unsigned physReg = getFreePhysReg(cur);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000306 if (!physReg) {
Alkis Evlogimenos7d629b52004-01-07 09:20:58 +0000307 assignStackSlotAtInterval(cur);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000308 }
309 else {
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +0000310 restoreRegUse();
Alkis Evlogimenos7d629b52004-01-07 09:20:58 +0000311 assignVirt2PhysReg(cur->reg, physReg);
312 active_.push_back(cur);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000313 }
314 }
Alkis Evlogimenos7d629b52004-01-07 09:20:58 +0000315
316 DEBUG(printIntervals("\tactive", active_.begin(), active_.end()));
317 DEBUG(printIntervals("\tinactive", inactive_.begin(), inactive_.end())); }
318
Alkis Evlogimenos7d65a122003-12-13 05:50:19 +0000319 // expire any remaining active intervals
320 for (IntervalPtrs::iterator i = active_.begin(); i != active_.end(); ++i) {
321 unsigned reg = (*i)->reg;
322 DEBUG(std::cerr << "\t\tinterval " << **i << " expired\n");
Alkis Evlogimenos4f67b862004-02-01 01:27:01 +0000323 if (MRegisterInfo::isVirtualRegister(reg)) {
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +0000324 reg = v2pMap_[reg];
Alkis Evlogimenos7d65a122003-12-13 05:50:19 +0000325 }
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +0000326 markPhysRegFree(reg);
Alkis Evlogimenos7d65a122003-12-13 05:50:19 +0000327 }
Alkis Evlogimenos7d629b52004-01-07 09:20:58 +0000328 active_.clear();
329 inactive_.clear();
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000330
Alkis Evlogimenose88280a2004-01-22 23:08:45 +0000331 typedef LiveIntervals::Reg2RegMap Reg2RegMap;
332 const Reg2RegMap& r2rMap = li_->getJoinedRegMap();
333
Alkis Evlogimenosce501152004-01-22 19:24:43 +0000334 DEBUG(printVirtRegAssignment());
Alkis Evlogimenose88280a2004-01-22 23:08:45 +0000335 DEBUG(std::cerr << "Performing coalescing on joined intervals\n");
336 // perform coalescing if we were passed joined intervals
337 for(Reg2RegMap::const_iterator i = r2rMap.begin(), e = r2rMap.end();
338 i != e; ++i) {
339 unsigned reg = i->first;
340 unsigned rep = li_->rep(reg);
341
Alkis Evlogimenos4f67b862004-02-01 01:27:01 +0000342 assert((MRegisterInfo::isPhysicalRegister(rep) ||
Alkis Evlogimenose88280a2004-01-22 23:08:45 +0000343 v2pMap_.find(rep) != v2pMap_.end() ||
344 v2ssMap_.find(rep) != v2ssMap_.end()) &&
345 "representative register is not allocated!");
346
Alkis Evlogimenos4f67b862004-02-01 01:27:01 +0000347 assert(MRegisterInfo::isVirtualRegister(reg) &&
Alkis Evlogimenose88280a2004-01-22 23:08:45 +0000348 v2pMap_.find(reg) == v2pMap_.end() &&
349 v2ssMap_.find(reg) == v2ssMap_.end() &&
350 "coalesced register is already allocated!");
351
Alkis Evlogimenos4f67b862004-02-01 01:27:01 +0000352 if (MRegisterInfo::isPhysicalRegister(rep)) {
Alkis Evlogimenose88280a2004-01-22 23:08:45 +0000353 v2pMap_.insert(std::make_pair(reg, rep));
354 }
355 else {
356 Virt2PhysMap::const_iterator pr = v2pMap_.find(rep);
357 if (pr != v2pMap_.end()) {
358 v2pMap_.insert(std::make_pair(reg, pr->second));
359 }
360 else {
361 Virt2StackSlotMap::const_iterator ss = v2ssMap_.find(rep);
362 assert(ss != v2ssMap_.end());
363 v2ssMap_.insert(std::make_pair(reg, ss->second));
364 }
365 }
366 }
367
368 DEBUG(printVirtRegAssignment());
369 DEBUG(std::cerr << "finished register allocation\n");
370
371 const TargetInstrInfo& tii = tm_->getInstrInfo();
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000372
373 DEBUG(std::cerr << "Rewrite machine code:\n");
Alkis Evlogimenos1283d862004-01-07 05:31:12 +0000374 for (currentMbb_ = mf_->begin(); currentMbb_ != mf_->end(); ++currentMbb_) {
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000375 instrAdded_ = 0;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000376
377 for (currentInstr_ = currentMbb_->begin();
Alkis Evlogimenose88280a2004-01-22 23:08:45 +0000378 currentInstr_ != currentMbb_->end(); ) {
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000379
380 DEBUG(std::cerr << "\tinstruction: ";
381 (*currentInstr_)->print(std::cerr, *tm_););
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000382
383 // use our current mapping and actually replace and
384 // virtual register with its allocated physical registers
385 DEBUG(std::cerr << "\t\treplacing virtual registers with mapped "
386 "physical registers:\n");
387 for (unsigned i = 0, e = (*currentInstr_)->getNumOperands();
388 i != e; ++i) {
389 MachineOperand& op = (*currentInstr_)->getOperand(i);
390 if (op.isVirtualRegister()) {
391 unsigned virtReg = op.getAllocatedRegNum();
Alkis Evlogimenosce501152004-01-22 19:24:43 +0000392 Virt2PhysMap::const_iterator it = v2pMap_.find(virtReg);
393 if (it != v2pMap_.end()) {
394 DEBUG(std::cerr << "\t\t\t%reg" << it->second
395 << " -> " << mri_->getName(it->second) << '\n');
396 (*currentInstr_)->SetMachineOperandReg(i, it->second);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000397 }
398 }
399 }
400
Alkis Evlogimenose88280a2004-01-22 23:08:45 +0000401 unsigned srcReg, dstReg;
402 if (tii.isMoveInstr(**currentInstr_, srcReg, dstReg) &&
Alkis Evlogimenos4f67b862004-02-01 01:27:01 +0000403 ((MRegisterInfo::isPhysicalRegister(srcReg) &&
404 MRegisterInfo::isPhysicalRegister(dstReg) &&
Alkis Evlogimenose88280a2004-01-22 23:08:45 +0000405 srcReg == dstReg) ||
Alkis Evlogimenos4f67b862004-02-01 01:27:01 +0000406 (MRegisterInfo::isVirtualRegister(srcReg) &&
407 MRegisterInfo::isVirtualRegister(dstReg) &&
Alkis Evlogimenose88280a2004-01-22 23:08:45 +0000408 v2ssMap_[srcReg] == v2ssMap_[dstReg]))) {
409 delete *currentInstr_;
410 currentInstr_ = currentMbb_->erase(currentInstr_);
411 ++numPeep;
412 DEBUG(std::cerr << "\t\tdeleting instruction\n");
413 continue;
414 }
Alkis Evlogimenos4f67b862004-02-01 01:27:01 +0000415
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000416 DEBUG(std::cerr << "\t\tloading temporarily used operands to "
417 "registers:\n");
418 for (unsigned i = 0, e = (*currentInstr_)->getNumOperands();
419 i != e; ++i) {
420 MachineOperand& op = (*currentInstr_)->getOperand(i);
Alkis Evlogimenosa71e05a2003-12-18 13:15:02 +0000421 if (op.isVirtualRegister() && op.isUse() && !op.isDef()) {
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000422 unsigned virtReg = op.getAllocatedRegNum();
Alkis Evlogimenosce501152004-01-22 19:24:43 +0000423 unsigned physReg = 0;
424 Virt2PhysMap::const_iterator it = v2pMap_.find(virtReg);
425 if (it != v2pMap_.end()) {
426 physReg = it->second;
427 }
428 else {
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000429 physReg = getFreeTempPhysReg(virtReg);
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000430 loadVirt2PhysReg(virtReg, physReg);
431 tempUseOperands_.push_back(virtReg);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000432 }
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000433 (*currentInstr_)->SetMachineOperandReg(i, physReg);
434 }
435 }
436
437 DEBUG(std::cerr << "\t\tclearing temporarily used operands:\n");
438 for (unsigned i = 0, e = tempUseOperands_.size(); i != e; ++i) {
439 clearVirtReg(tempUseOperands_[i]);
440 }
441 tempUseOperands_.clear();
442
443 DEBUG(std::cerr << "\t\tassigning temporarily defined operands to "
444 "registers:\n");
445 for (unsigned i = 0, e = (*currentInstr_)->getNumOperands();
446 i != e; ++i) {
447 MachineOperand& op = (*currentInstr_)->getOperand(i);
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000448 if (op.isVirtualRegister() && op.isDef()) {
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000449 unsigned virtReg = op.getAllocatedRegNum();
Alkis Evlogimenosce501152004-01-22 19:24:43 +0000450 unsigned physReg = 0;
451 Virt2PhysMap::const_iterator it = v2pMap_.find(virtReg);
452 if (it != v2pMap_.end()) {
453 physReg = it->second;
454 }
455 else {
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000456 physReg = getFreeTempPhysReg(virtReg);
457 }
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000458 if (op.isUse()) { // def and use
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000459 loadVirt2PhysReg(virtReg, physReg);
460 }
461 else {
462 assignVirt2PhysReg(virtReg, physReg);
463 }
464 tempDefOperands_.push_back(virtReg);
465 (*currentInstr_)->SetMachineOperandReg(i, physReg);
466 }
467 }
468
Alkis Evlogimenos58587072003-11-30 23:40:39 +0000469 DEBUG(std::cerr << "\t\tspilling temporarily defined operands "
470 "of this instruction:\n");
471 ++currentInstr_; // we want to insert after this instruction
472 for (unsigned i = 0, e = tempDefOperands_.size(); i != e; ++i) {
473 spillVirtReg(tempDefOperands_[i]);
474 }
475 --currentInstr_; // restore currentInstr_ iterator
476 tempDefOperands_.clear();
Alkis Evlogimenose88280a2004-01-22 23:08:45 +0000477 ++currentInstr_;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000478 }
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000479 }
480
481 return true;
482}
483
Alkis Evlogimenos7d629b52004-01-07 09:20:58 +0000484void RA::initIntervalSets(const LiveIntervals::Intervals& li)
485{
486 assert(unhandled_.empty() && fixed_.empty() &&
487 active_.empty() && inactive_.empty() &&
488 "interval sets should be empty on initialization");
489
490 for (LiveIntervals::Intervals::const_iterator i = li.begin(), e = li.end();
491 i != e; ++i) {
Alkis Evlogimenos4f67b862004-02-01 01:27:01 +0000492 if (MRegisterInfo::isPhysicalRegister(i->reg))
Alkis Evlogimenos7d629b52004-01-07 09:20:58 +0000493 fixed_.push_back(&*i);
494 else
495 unhandled_.push_back(&*i);
496 }
497}
498
499void RA::processActiveIntervals(IntervalPtrs::value_type cur)
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000500{
501 DEBUG(std::cerr << "\tprocessing active intervals:\n");
502 for (IntervalPtrs::iterator i = active_.begin(); i != active_.end();) {
503 unsigned reg = (*i)->reg;
Alkis Evlogimenos3b02cbe2004-01-16 20:17:05 +0000504 // remove expired intervals
505 if ((*i)->expiredAt(cur->start())) {
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000506 DEBUG(std::cerr << "\t\tinterval " << **i << " expired\n");
Alkis Evlogimenos4f67b862004-02-01 01:27:01 +0000507 if (MRegisterInfo::isVirtualRegister(reg)) {
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +0000508 reg = v2pMap_[reg];
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000509 }
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +0000510 markPhysRegFree(reg);
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000511 // remove from active
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000512 i = active_.erase(i);
513 }
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000514 // move inactive intervals to inactive list
515 else if (!(*i)->liveAt(cur->start())) {
516 DEBUG(std::cerr << "\t\t\tinterval " << **i << " inactive\n");
Alkis Evlogimenos4f67b862004-02-01 01:27:01 +0000517 if (MRegisterInfo::isVirtualRegister(reg)) {
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +0000518 reg = v2pMap_[reg];
519 }
520 markPhysRegFree(reg);
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000521 // add to inactive
522 inactive_.push_back(*i);
523 // remove from active
524 i = active_.erase(i);
525 }
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000526 else {
527 ++i;
528 }
529 }
530}
531
Alkis Evlogimenos7d629b52004-01-07 09:20:58 +0000532void RA::processInactiveIntervals(IntervalPtrs::value_type cur)
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000533{
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000534 DEBUG(std::cerr << "\tprocessing inactive intervals:\n");
535 for (IntervalPtrs::iterator i = inactive_.begin(); i != inactive_.end();) {
536 unsigned reg = (*i)->reg;
537
Alkis Evlogimenos3b02cbe2004-01-16 20:17:05 +0000538 // remove expired intervals
539 if ((*i)->expiredAt(cur->start())) {
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000540 DEBUG(std::cerr << "\t\t\tinterval " << **i << " expired\n");
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000541 // remove from inactive
542 i = inactive_.erase(i);
543 }
544 // move re-activated intervals in active list
545 else if ((*i)->liveAt(cur->start())) {
546 DEBUG(std::cerr << "\t\t\tinterval " << **i << " active\n");
Alkis Evlogimenos4f67b862004-02-01 01:27:01 +0000547 if (MRegisterInfo::isVirtualRegister(reg)) {
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +0000548 reg = v2pMap_[reg];
549 }
550 markPhysRegNotFree(reg);
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000551 // add to active
552 active_.push_back(*i);
553 // remove from inactive
554 i = inactive_.erase(i);
555 }
556 else {
557 ++i;
558 }
559 }
560}
561
562namespace {
Alkis Evlogimenos6b4edba2003-12-21 20:19:10 +0000563 template <typename T>
564 void updateWeight(T rw[], int reg, T w)
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000565 {
Alkis Evlogimenos6b4edba2003-12-21 20:19:10 +0000566 if (rw[reg] == std::numeric_limits<T>::max() ||
567 w == std::numeric_limits<T>::max())
568 rw[reg] = std::numeric_limits<T>::max();
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000569 else
570 rw[reg] += w;
571 }
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000572}
573
Alkis Evlogimenos7d629b52004-01-07 09:20:58 +0000574void RA::assignStackSlotAtInterval(IntervalPtrs::value_type cur)
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000575{
576 DEBUG(std::cerr << "\t\tassigning stack slot at interval "
577 << *cur << ":\n");
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000578
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000579 // set all weights to zero
Alkis Evlogimenos6b4edba2003-12-21 20:19:10 +0000580 float regWeight[MRegisterInfo::FirstVirtualRegister];
581 for (unsigned i = 0; i < MRegisterInfo::FirstVirtualRegister; ++i)
582 regWeight[i] = 0.0F;
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000583
Alkis Evlogimenos84dc5fb2004-01-22 20:07:18 +0000584 // for each interval in active
Alkis Evlogimenos7d629b52004-01-07 09:20:58 +0000585 for (IntervalPtrs::const_iterator i = active_.begin(), e = active_.end();
586 i != e; ++i) {
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000587 unsigned reg = (*i)->reg;
Alkis Evlogimenos4f67b862004-02-01 01:27:01 +0000588 if (MRegisterInfo::isVirtualRegister(reg)) {
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000589 reg = v2pMap_[reg];
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000590 }
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000591 updateWeight(regWeight, reg, (*i)->weight);
592 for (const unsigned* as = mri_->getAliasSet(reg); *as; ++as)
593 updateWeight(regWeight, *as, (*i)->weight);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000594 }
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000595
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +0000596 // for each interval in inactive that overlaps
Alkis Evlogimenos7d629b52004-01-07 09:20:58 +0000597 for (IntervalPtrs::const_iterator i = inactive_.begin(),
598 e = inactive_.end(); i != e; ++i) {
Alkis Evlogimenosb7be1152004-01-13 20:42:08 +0000599 if (!cur->overlaps(**i))
600 continue;
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000601
602 unsigned reg = (*i)->reg;
Alkis Evlogimenos4f67b862004-02-01 01:27:01 +0000603 if (MRegisterInfo::isVirtualRegister(reg)) {
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000604 reg = v2pMap_[reg];
605 }
606 updateWeight(regWeight, reg, (*i)->weight);
607 for (const unsigned* as = mri_->getAliasSet(reg); *as; ++as)
608 updateWeight(regWeight, *as, (*i)->weight);
609 }
610
Alkis Evlogimenos7d629b52004-01-07 09:20:58 +0000611 // for each fixed interval that overlaps
612 for (IntervalPtrs::const_iterator i = fixed_.begin(), e = fixed_.end();
613 i != e; ++i) {
Alkis Evlogimenosb7be1152004-01-13 20:42:08 +0000614 if (!cur->overlaps(**i))
615 continue;
Alkis Evlogimenosf7df173e2004-01-13 20:37:01 +0000616
Alkis Evlogimenos4f67b862004-02-01 01:27:01 +0000617 assert(MRegisterInfo::isPhysicalRegister((*i)->reg) &&
Alkis Evlogimenos7d629b52004-01-07 09:20:58 +0000618 "virtual register interval in fixed set?");
619 updateWeight(regWeight, (*i)->reg, (*i)->weight);
620 for (const unsigned* as = mri_->getAliasSet((*i)->reg); *as; ++as)
621 updateWeight(regWeight, *as, (*i)->weight);
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +0000622 }
623
Alkis Evlogimenos6b4edba2003-12-21 20:19:10 +0000624 float minWeight = std::numeric_limits<float>::max();
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000625 unsigned minReg = 0;
626 const TargetRegisterClass* rc = mf_->getSSARegMap()->getRegClass(cur->reg);
627 for (TargetRegisterClass::iterator i = rc->allocation_order_begin(*mf_);
628 i != rc->allocation_order_end(*mf_); ++i) {
629 unsigned reg = *i;
630 if (!reserved_[reg] && minWeight > regWeight[reg]) {
631 minWeight = regWeight[reg];
632 minReg = reg;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000633 }
634 }
Alkis Evlogimenosce501152004-01-22 19:24:43 +0000635 DEBUG(std::cerr << "\t\t\tregister with min weight: "
636 << mri_->getName(minReg) << " (" << minWeight << ")\n");
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000637
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000638 if (cur->weight < minWeight) {
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +0000639 restoreRegUse();
Alkis Evlogimenos5ab20272004-01-14 00:09:36 +0000640 DEBUG(std::cerr << "\t\t\t\tspilling: " << *cur << '\n');
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000641 assignVirt2StackSlot(cur->reg);
642 }
643 else {
644 std::set<unsigned> toSpill;
645 toSpill.insert(minReg);
646 for (const unsigned* as = mri_->getAliasSet(minReg); *as; ++as)
647 toSpill.insert(*as);
648
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +0000649 std::vector<unsigned> spilled;
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000650 for (IntervalPtrs::iterator i = active_.begin();
651 i != active_.end(); ) {
652 unsigned reg = (*i)->reg;
Alkis Evlogimenos4f67b862004-02-01 01:27:01 +0000653 if (MRegisterInfo::isVirtualRegister(reg) &&
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +0000654 toSpill.find(v2pMap_[reg]) != toSpill.end() &&
655 cur->overlaps(**i)) {
656 spilled.push_back(v2pMap_[reg]);
Alkis Evlogimenos843397c2003-12-24 18:53:31 +0000657 DEBUG(std::cerr << "\t\t\t\tspilling : " << **i << '\n');
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000658 assignVirt2StackSlot(reg);
659 i = active_.erase(i);
660 }
661 else {
662 ++i;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000663 }
664 }
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000665 for (IntervalPtrs::iterator i = inactive_.begin();
666 i != inactive_.end(); ) {
667 unsigned reg = (*i)->reg;
Alkis Evlogimenos4f67b862004-02-01 01:27:01 +0000668 if (MRegisterInfo::isVirtualRegister(reg) &&
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +0000669 toSpill.find(v2pMap_[reg]) != toSpill.end() &&
670 cur->overlaps(**i)) {
Alkis Evlogimenos843397c2003-12-24 18:53:31 +0000671 DEBUG(std::cerr << "\t\t\t\tspilling : " << **i << '\n');
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000672 assignVirt2StackSlot(reg);
673 i = inactive_.erase(i);
674 }
675 else {
676 ++i;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000677 }
678 }
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000679
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000680 unsigned physReg = getFreePhysReg(cur);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000681 assert(physReg && "no free physical register after spill?");
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +0000682
683 restoreRegUse();
684 for (unsigned i = 0; i < spilled.size(); ++i)
685 markPhysRegFree(spilled[i]);
686
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000687 assignVirt2PhysReg(cur->reg, physReg);
Alkis Evlogimenos7d629b52004-01-07 09:20:58 +0000688 active_.push_back(cur);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000689 }
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000690}
691
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000692bool RA::physRegAvailable(unsigned physReg)
693{
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000694 assert(!reserved_[physReg] &&
695 "cannot call this method with a reserved register");
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000696
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000697 return !regUse_[physReg];
698}
699
Alkis Evlogimenos7d629b52004-01-07 09:20:58 +0000700unsigned RA::getFreePhysReg(IntervalPtrs::value_type cur)
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000701{
702 DEBUG(std::cerr << "\t\tgetting free physical register: ");
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000703 const TargetRegisterClass* rc = mf_->getSSARegMap()->getRegClass(cur->reg);
Alkis Evlogimenos26bfc082003-12-28 17:58:18 +0000704
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000705 for (TargetRegisterClass::iterator i = rc->allocation_order_begin(*mf_);
706 i != rc->allocation_order_end(*mf_); ++i) {
707 unsigned reg = *i;
708 if (!reserved_[reg] && !regUse_[reg]) {
709 DEBUG(std::cerr << mri_->getName(reg) << '\n');
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000710 return reg;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000711 }
712 }
713
714 DEBUG(std::cerr << "no free register\n");
715 return 0;
716}
717
718bool RA::tempPhysRegAvailable(unsigned physReg)
719{
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000720 assert(reserved_[physReg] &&
721 "cannot call this method with a not reserved temp register");
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000722
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000723 return !regUse_[physReg];
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000724}
725
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000726unsigned RA::getFreeTempPhysReg(unsigned virtReg)
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000727{
728 DEBUG(std::cerr << "\t\tgetting free temporary physical register: ");
729
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000730 const TargetRegisterClass* rc = mf_->getSSARegMap()->getRegClass(virtReg);
731 // go in reverse allocation order for the temp registers
732 for (TargetRegisterClass::iterator i = rc->allocation_order_end(*mf_) - 1;
733 i != rc->allocation_order_begin(*mf_) - 1; --i) {
734 unsigned reg = *i;
735 if (reserved_[reg] && !regUse_[reg]) {
736 DEBUG(std::cerr << mri_->getName(reg) << '\n');
737 return reg;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000738 }
739 }
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000740
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000741 assert(0 && "no free temporary physical register?");
742 return 0;
743}
744
745void RA::assignVirt2PhysReg(unsigned virtReg, unsigned physReg)
746{
Alkis Evlogimenosce501152004-01-22 19:24:43 +0000747 bool inserted = v2pMap_.insert(std::make_pair(virtReg, physReg)).second;
748 assert(inserted && "attempting to assign a virt->phys mapping to an "
749 "already mapped register");
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000750 markPhysRegNotFree(physReg);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000751}
752
753void RA::clearVirtReg(unsigned virtReg)
754{
755 Virt2PhysMap::iterator it = v2pMap_.find(virtReg);
756 assert(it != v2pMap_.end() &&
757 "attempting to clear a not allocated virtual register");
758 unsigned physReg = it->second;
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000759 markPhysRegFree(physReg);
Alkis Evlogimenosce501152004-01-22 19:24:43 +0000760 v2pMap_.erase(it);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000761 DEBUG(std::cerr << "\t\t\tcleared register " << mri_->getName(physReg)
762 << "\n");
763}
764
765void RA::assignVirt2StackSlot(unsigned virtReg)
766{
767 const TargetRegisterClass* rc = mf_->getSSARegMap()->getRegClass(virtReg);
768 int frameIndex = mf_->getFrameInfo()->CreateStackObject(rc);
769
770 bool inserted = v2ssMap_.insert(std::make_pair(virtReg, frameIndex)).second;
771 assert(inserted &&
772 "attempt to assign stack slot to already assigned register?");
773 // if the virtual register was previously assigned clear the mapping
774 // and free the virtual register
775 if (v2pMap_.find(virtReg) != v2pMap_.end()) {
776 clearVirtReg(virtReg);
777 }
778}
779
Alkis Evlogimenos69546d52003-12-04 03:57:28 +0000780int RA::getStackSlot(unsigned virtReg)
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000781{
782 // use lower_bound so that we can do a possibly O(1) insert later
783 // if necessary
Alkis Evlogimenos69546d52003-12-04 03:57:28 +0000784 Virt2StackSlotMap::iterator it = v2ssMap_.find(virtReg);
785 assert(it != v2ssMap_.end() &&
786 "attempt to get stack slot on register that does not live on the stack");
787 return it->second;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000788}
789
790void RA::spillVirtReg(unsigned virtReg)
791{
792 DEBUG(std::cerr << "\t\t\tspilling register: " << virtReg);
793 const TargetRegisterClass* rc = mf_->getSSARegMap()->getRegClass(virtReg);
Alkis Evlogimenos69546d52003-12-04 03:57:28 +0000794 int frameIndex = getStackSlot(virtReg);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000795 DEBUG(std::cerr << " to stack slot #" << frameIndex << '\n');
796 ++numSpilled;
797 instrAdded_ += mri_->storeRegToStackSlot(*currentMbb_, currentInstr_,
798 v2pMap_[virtReg], frameIndex, rc);
799 clearVirtReg(virtReg);
800}
801
802void RA::loadVirt2PhysReg(unsigned virtReg, unsigned physReg)
803{
804 DEBUG(std::cerr << "\t\t\tloading register: " << virtReg);
805 const TargetRegisterClass* rc = mf_->getSSARegMap()->getRegClass(virtReg);
Alkis Evlogimenos69546d52003-12-04 03:57:28 +0000806 int frameIndex = getStackSlot(virtReg);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000807 DEBUG(std::cerr << " from stack slot #" << frameIndex << '\n');
Chris Lattner5e46b512003-12-18 20:25:31 +0000808 ++numReloaded;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000809 instrAdded_ += mri_->loadRegFromStackSlot(*currentMbb_, currentInstr_,
810 physReg, frameIndex, rc);
811 assignVirt2PhysReg(virtReg, physReg);
812}
813
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000814void RA::markPhysRegFree(unsigned physReg)
815{
816 assert(regUse_[physReg] != 0);
817 --regUse_[physReg];
818 for (const unsigned* as = mri_->getAliasSet(physReg); *as; ++as) {
819 physReg = *as;
820 assert(regUse_[physReg] != 0);
821 --regUse_[physReg];
822 }
823}
824
825void RA::markPhysRegNotFree(unsigned physReg)
826{
827 ++regUse_[physReg];
828 for (const unsigned* as = mri_->getAliasSet(physReg); *as; ++as) {
829 physReg = *as;
830 ++regUse_[physReg];
831 }
832}
833
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000834FunctionPass* llvm::createLinearScanRegisterAllocator() {
835 return new RA();
836}