blob: a4ffb1f80449bd5ccbe9036a1c842c1ae1c1bd7e [file] [log] [blame]
Alkis Evlogimenos34d9bc92004-02-23 23:08:11 +00001//===-- llvm/CodeGen/VirtRegMap.cpp - Virtual Register Map ----------------===//
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//
Chris Lattner8c4d88d2004-09-30 01:54:45 +000010// This file implements the VirtRegMap class.
11//
12// It also contains implementations of the the Spiller interface, which, given a
13// virtual register map and a machine function, eliminates all virtual
14// references by replacing them with physical register references - adding spill
Alkis Evlogimenos0d6c5b62004-02-24 08:58:30 +000015// code as necessary.
Alkis Evlogimenos34d9bc92004-02-23 23:08:11 +000016//
17//===----------------------------------------------------------------------===//
18
Chris Lattner8c4d88d2004-09-30 01:54:45 +000019#define DEBUG_TYPE "spiller"
Alkis Evlogimenos34d9bc92004-02-23 23:08:11 +000020#include "VirtRegMap.h"
Alkis Evlogimenos0d6c5b62004-02-24 08:58:30 +000021#include "llvm/Function.h"
Alkis Evlogimenos34d9bc92004-02-23 23:08:11 +000022#include "llvm/CodeGen/MachineFrameInfo.h"
Chris Lattner8c4d88d2004-09-30 01:54:45 +000023#include "llvm/CodeGen/MachineFunction.h"
24#include "llvm/CodeGen/SSARegMap.h"
Alkis Evlogimenos34d9bc92004-02-23 23:08:11 +000025#include "llvm/Target/TargetMachine.h"
Alkis Evlogimenos0d6c5b62004-02-24 08:58:30 +000026#include "llvm/Target/TargetInstrInfo.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000027#include "llvm/Support/CommandLine.h"
28#include "llvm/Support/Debug.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000029#include "llvm/ADT/Statistic.h"
30#include "llvm/ADT/STLExtras.h"
Alkis Evlogimenos34d9bc92004-02-23 23:08:11 +000031using namespace llvm;
32
33namespace {
Chris Lattner8c4d88d2004-09-30 01:54:45 +000034 Statistic<> NumSpills("spiller", "Number of register spills");
35 Statistic<> NumStores("spiller", "Number of stores added");
36 Statistic<> NumLoads ("spiller", "Number of loads added");
Alkis Evlogimenos0d6c5b62004-02-24 08:58:30 +000037
Chris Lattner8c4d88d2004-09-30 01:54:45 +000038 enum SpillerName { simple, local };
Alkis Evlogimenosdd420e02004-03-01 23:18:15 +000039
Chris Lattner8c4d88d2004-09-30 01:54:45 +000040 cl::opt<SpillerName>
41 SpillerOpt("spiller",
Chris Lattner5f7d2d42004-09-30 02:40:06 +000042 cl::desc("Spiller to use: (default: simple)"),
Chris Lattner8c4d88d2004-09-30 01:54:45 +000043 cl::Prefix,
44 cl::values(clEnumVal(simple, " simple spiller"),
45 clEnumVal(local, " local spiller"),
46 clEnumValEnd),
Chris Lattner5f7d2d42004-09-30 02:40:06 +000047 cl::init(simple));
Alkis Evlogimenos34d9bc92004-02-23 23:08:11 +000048}
49
Chris Lattner8c4d88d2004-09-30 01:54:45 +000050//===----------------------------------------------------------------------===//
51// VirtRegMap implementation
52//===----------------------------------------------------------------------===//
53
54void VirtRegMap::grow() {
Chris Lattner7f690e62004-09-30 02:15:18 +000055 Virt2PhysMap.grow(MF.getSSARegMap()->getLastVirtReg());
56 Virt2StackSlotMap.grow(MF.getSSARegMap()->getLastVirtReg());
Alkis Evlogimenos34d9bc92004-02-23 23:08:11 +000057}
58
Chris Lattner8c4d88d2004-09-30 01:54:45 +000059int VirtRegMap::assignVirt2StackSlot(unsigned virtReg) {
60 assert(MRegisterInfo::isVirtualRegister(virtReg));
Chris Lattner7f690e62004-09-30 02:15:18 +000061 assert(Virt2StackSlotMap[virtReg] == NO_STACK_SLOT &&
Chris Lattner8c4d88d2004-09-30 01:54:45 +000062 "attempt to assign stack slot to already spilled register");
Chris Lattner7f690e62004-09-30 02:15:18 +000063 const TargetRegisterClass* RC = MF.getSSARegMap()->getRegClass(virtReg);
64 int frameIndex = MF.getFrameInfo()->CreateStackObject(RC->getSize(),
65 RC->getAlignment());
66 Virt2StackSlotMap[virtReg] = frameIndex;
Chris Lattner8c4d88d2004-09-30 01:54:45 +000067 ++NumSpills;
68 return frameIndex;
69}
70
71void VirtRegMap::assignVirt2StackSlot(unsigned virtReg, int frameIndex) {
72 assert(MRegisterInfo::isVirtualRegister(virtReg));
Chris Lattner7f690e62004-09-30 02:15:18 +000073 assert(Virt2StackSlotMap[virtReg] == NO_STACK_SLOT &&
Chris Lattner8c4d88d2004-09-30 01:54:45 +000074 "attempt to assign stack slot to already spilled register");
Chris Lattner7f690e62004-09-30 02:15:18 +000075 Virt2StackSlotMap[virtReg] = frameIndex;
Alkis Evlogimenos38af59a2004-05-29 20:38:05 +000076}
77
Alkis Evlogimenos5f375022004-03-01 20:05:10 +000078void VirtRegMap::virtFolded(unsigned virtReg,
79 MachineInstr* oldMI,
Chris Lattner8c4d88d2004-09-30 01:54:45 +000080 MachineInstr* newMI) {
81 // move previous memory references folded to new instruction
Chris Lattner7f690e62004-09-30 02:15:18 +000082 MI2VirtMapTy::iterator i, e;
83 std::vector<MI2VirtMapTy::mapped_type> regs;
84 for (tie(i, e) = MI2VirtMap.equal_range(oldMI); i != e; ) {
Chris Lattner8c4d88d2004-09-30 01:54:45 +000085 regs.push_back(i->second);
Chris Lattner7f690e62004-09-30 02:15:18 +000086 MI2VirtMap.erase(i++);
Chris Lattner8c4d88d2004-09-30 01:54:45 +000087 }
88 for (unsigned i = 0, e = regs.size(); i != e; ++i)
Chris Lattner7f690e62004-09-30 02:15:18 +000089 MI2VirtMap.insert(std::make_pair(newMI, i));
Alkis Evlogimenos5f375022004-03-01 20:05:10 +000090
Chris Lattner8c4d88d2004-09-30 01:54:45 +000091 // add new memory reference
Chris Lattner7f690e62004-09-30 02:15:18 +000092 MI2VirtMap.insert(std::make_pair(newMI, virtReg));
Alkis Evlogimenos5f375022004-03-01 20:05:10 +000093}
94
Chris Lattner7f690e62004-09-30 02:15:18 +000095void VirtRegMap::print(std::ostream &OS) const {
96 const MRegisterInfo* MRI = MF.getTarget().getRegisterInfo();
Alkis Evlogimenos34d9bc92004-02-23 23:08:11 +000097
Chris Lattner7f690e62004-09-30 02:15:18 +000098 OS << "********** REGISTER MAP **********\n";
Chris Lattner8c4d88d2004-09-30 01:54:45 +000099 for (unsigned i = MRegisterInfo::FirstVirtualRegister,
Chris Lattner7f690e62004-09-30 02:15:18 +0000100 e = MF.getSSARegMap()->getLastVirtReg(); i <= e; ++i) {
101 if (Virt2PhysMap[i] != (unsigned)VirtRegMap::NO_PHYS_REG)
102 OS << "[reg" << i << " -> " << MRI->getName(Virt2PhysMap[i]) << "]\n";
103
Chris Lattner8c4d88d2004-09-30 01:54:45 +0000104 }
105
106 for (unsigned i = MRegisterInfo::FirstVirtualRegister,
Chris Lattner7f690e62004-09-30 02:15:18 +0000107 e = MF.getSSARegMap()->getLastVirtReg(); i <= e; ++i)
108 if (Virt2StackSlotMap[i] != VirtRegMap::NO_STACK_SLOT)
109 OS << "[reg" << i << " -> fi#" << Virt2StackSlotMap[i] << "]\n";
110 OS << '\n';
Alkis Evlogimenos34d9bc92004-02-23 23:08:11 +0000111}
Alkis Evlogimenos0d6c5b62004-02-24 08:58:30 +0000112
Chris Lattner8c4d88d2004-09-30 01:54:45 +0000113void VirtRegMap::dump() const { print(std::cerr); }
Alkis Evlogimenosdd420e02004-03-01 23:18:15 +0000114
Chris Lattner8c4d88d2004-09-30 01:54:45 +0000115
116//===----------------------------------------------------------------------===//
117// Simple Spiller Implementation
118//===----------------------------------------------------------------------===//
119
120Spiller::~Spiller() {}
Alkis Evlogimenosdd420e02004-03-01 23:18:15 +0000121
Alkis Evlogimenos0d6c5b62004-02-24 08:58:30 +0000122namespace {
Chris Lattner8c4d88d2004-09-30 01:54:45 +0000123 struct SimpleSpiller : public Spiller {
124 bool runOnMachineFunction(MachineFunction& mf, const VirtRegMap &VRM);
125 };
Alkis Evlogimenos0d6c5b62004-02-24 08:58:30 +0000126}
127
Chris Lattner8c4d88d2004-09-30 01:54:45 +0000128bool SimpleSpiller::runOnMachineFunction(MachineFunction& MF,
129 const VirtRegMap& VRM) {
130 DEBUG(std::cerr << "********** REWRITE MACHINE CODE **********\n");
131 DEBUG(std::cerr << "********** Function: "
132 << MF.getFunction()->getName() << '\n');
133 const TargetMachine& TM = MF.getTarget();
Chris Lattner7f690e62004-09-30 02:15:18 +0000134 const MRegisterInfo& MRI = *TM.getRegisterInfo();
Chris Lattner8c4d88d2004-09-30 01:54:45 +0000135
Chris Lattner4ea1b822004-09-30 02:33:48 +0000136 // LoadedRegs - Keep track of which vregs are loaded, so that we only load
137 // each vreg once (in the case where a spilled vreg is used by multiple
138 // operands). This is always smaller than the number of operands to the
139 // current machine instr, so it should be small.
140 std::vector<unsigned> LoadedRegs;
Chris Lattner8c4d88d2004-09-30 01:54:45 +0000141
142 for (MachineFunction::iterator mbbi = MF.begin(), E = MF.end();
143 mbbi != E; ++mbbi) {
144 DEBUG(std::cerr << mbbi->getBasicBlock()->getName() << ":\n");
145 for (MachineBasicBlock::iterator mii = mbbi->begin(),
146 mie = mbbi->end(); mii != mie; ++mii) {
Chris Lattner4ea1b822004-09-30 02:33:48 +0000147 for (unsigned i = 0, e = mii->getNumOperands(); i != e; ++i) {
Chris Lattner8c4d88d2004-09-30 01:54:45 +0000148 MachineOperand& mop = mii->getOperand(i);
149 if (mop.isRegister() && mop.getReg() &&
150 MRegisterInfo::isVirtualRegister(mop.getReg())) {
151 unsigned virtReg = mop.getReg();
152 unsigned physReg = VRM.getPhys(virtReg);
153 if (mop.isUse() && VRM.hasStackSlot(mop.getReg()) &&
Chris Lattner4ea1b822004-09-30 02:33:48 +0000154 std::find(LoadedRegs.begin(), LoadedRegs.end(),
155 virtReg) == LoadedRegs.end()) {
Chris Lattner7f690e62004-09-30 02:15:18 +0000156 MRI.loadRegFromStackSlot(*mbbi, mii, physReg,
Chris Lattner8c4d88d2004-09-30 01:54:45 +0000157 VRM.getStackSlot(virtReg));
Chris Lattner4ea1b822004-09-30 02:33:48 +0000158 LoadedRegs.push_back(virtReg);
Chris Lattner8c4d88d2004-09-30 01:54:45 +0000159 DEBUG(std::cerr << '\t';
160 prior(mii)->print(std::cerr, &TM));
161 ++NumLoads;
162 }
163
164 if (mop.isDef() && VRM.hasStackSlot(mop.getReg())) {
Chris Lattner7f690e62004-09-30 02:15:18 +0000165 MRI.storeRegToStackSlot(*mbbi, next(mii), physReg,
Chris Lattner8c4d88d2004-09-30 01:54:45 +0000166 VRM.getStackSlot(virtReg));
167 ++NumStores;
168 }
169 mii->SetMachineOperandReg(i, physReg);
170 }
171 }
172 DEBUG(std::cerr << '\t'; mii->print(std::cerr, &TM));
Chris Lattner4ea1b822004-09-30 02:33:48 +0000173 LoadedRegs.clear();
Alkis Evlogimenosdd420e02004-03-01 23:18:15 +0000174 }
Chris Lattner8c4d88d2004-09-30 01:54:45 +0000175 }
176 return true;
177}
178
179//===----------------------------------------------------------------------===//
180// Local Spiller Implementation
181//===----------------------------------------------------------------------===//
182
183namespace {
184 class LocalSpiller : public Spiller {
185 typedef std::vector<unsigned> Phys2VirtMap;
186 typedef std::vector<bool> PhysFlag;
187 typedef DenseMap<MachineInstr*, VirtReg2IndexFunctor> Virt2MI;
188
189 MachineFunction *MF;
190 const TargetMachine *TM;
191 const TargetInstrInfo *TII;
192 const MRegisterInfo *MRI;
193 const VirtRegMap *VRM;
194 Phys2VirtMap p2vMap_;
195 PhysFlag dirty_;
196 Virt2MI lastDef_;
197
198 public:
199 bool runOnMachineFunction(MachineFunction &MF, const VirtRegMap &VRM);
200
201 private:
202 void vacateJustPhysReg(MachineBasicBlock& mbb,
203 MachineBasicBlock::iterator mii,
204 unsigned physReg);
205
206 void vacatePhysReg(MachineBasicBlock& mbb,
207 MachineBasicBlock::iterator mii,
208 unsigned physReg) {
209 vacateJustPhysReg(mbb, mii, physReg);
210 for (const unsigned* as = MRI->getAliasSet(physReg); *as; ++as)
211 vacateJustPhysReg(mbb, mii, *as);
212 }
213
214 void handleUse(MachineBasicBlock& mbb,
215 MachineBasicBlock::iterator mii,
216 unsigned virtReg,
217 unsigned physReg) {
218 // check if we are replacing a previous mapping
219 if (p2vMap_[physReg] != virtReg) {
220 vacatePhysReg(mbb, mii, physReg);
221 p2vMap_[physReg] = virtReg;
222 // load if necessary
223 if (VRM->hasStackSlot(virtReg)) {
224 MRI->loadRegFromStackSlot(mbb, mii, physReg,
225 VRM->getStackSlot(virtReg));
226 ++NumLoads;
227 DEBUG(std::cerr << "added: ";
228 prior(mii)->print(std::cerr, TM));
229 lastDef_[virtReg] = mii;
230 }
231 }
232 }
233
234 void handleDef(MachineBasicBlock& mbb,
235 MachineBasicBlock::iterator mii,
236 unsigned virtReg,
237 unsigned physReg) {
238 // check if we are replacing a previous mapping
239 if (p2vMap_[physReg] != virtReg)
240 vacatePhysReg(mbb, mii, physReg);
241
242 p2vMap_[physReg] = virtReg;
243 dirty_[physReg] = true;
244 lastDef_[virtReg] = mii;
245 }
246
247 void eliminateVirtRegsInMbb(MachineBasicBlock& mbb);
248 };
249}
250
251bool LocalSpiller::runOnMachineFunction(MachineFunction &mf,
252 const VirtRegMap &vrm) {
253 MF = &mf;
254 TM = &MF->getTarget();
255 TII = TM->getInstrInfo();
256 MRI = TM->getRegisterInfo();
257 VRM = &vrm;
258 p2vMap_.assign(MRI->getNumRegs(), 0);
259 dirty_.assign(MRI->getNumRegs(), false);
260
261 DEBUG(std::cerr << "********** REWRITE MACHINE CODE **********\n");
262 DEBUG(std::cerr << "********** Function: "
263 << MF->getFunction()->getName() << '\n');
264
265 for (MachineFunction::iterator mbbi = MF->begin(),
266 mbbe = MF->end(); mbbi != mbbe; ++mbbi) {
267 lastDef_.grow(MF->getSSARegMap()->getLastVirtReg());
268 DEBUG(std::cerr << mbbi->getBasicBlock()->getName() << ":\n");
269 eliminateVirtRegsInMbb(*mbbi);
270 // clear map, dirty flag and last ref
271 p2vMap_.assign(p2vMap_.size(), 0);
272 dirty_.assign(dirty_.size(), false);
273 lastDef_.clear();
274 }
275 return true;
276}
277
278void LocalSpiller::vacateJustPhysReg(MachineBasicBlock& mbb,
279 MachineBasicBlock::iterator mii,
280 unsigned physReg) {
281 unsigned virtReg = p2vMap_[physReg];
282 if (dirty_[physReg] && VRM->hasStackSlot(virtReg)) {
283 assert(lastDef_[virtReg] && "virtual register is mapped "
284 "to a register and but was not defined!");
285 MachineBasicBlock::iterator lastDef = lastDef_[virtReg];
286 MachineBasicBlock::iterator nextLastRef = next(lastDef);
287 MRI->storeRegToStackSlot(*lastDef->getParent(),
288 nextLastRef,
289 physReg,
290 VRM->getStackSlot(virtReg));
291 ++NumStores;
292 DEBUG(std::cerr << "added: ";
293 prior(nextLastRef)->print(std::cerr, TM);
294 std::cerr << "after: ";
295 lastDef->print(std::cerr, TM));
296 lastDef_[virtReg] = 0;
297 }
298 p2vMap_[physReg] = 0;
299 dirty_[physReg] = false;
300}
301
302void LocalSpiller::eliminateVirtRegsInMbb(MachineBasicBlock &MBB) {
303 for (MachineBasicBlock::iterator MI = MBB.begin(), E = MBB.end();
304 MI != E; ++MI) {
305
306 // if we have references to memory operands make sure
307 // we clear all physical registers that may contain
308 // the value of the spilled virtual register
Chris Lattner7f690e62004-09-30 02:15:18 +0000309 VirtRegMap::MI2VirtMapTy::const_iterator i, e;
Chris Lattner8c4d88d2004-09-30 01:54:45 +0000310 for (tie(i, e) = VRM->getFoldedVirts(MI); i != e; ++i) {
311 if (VRM->hasPhys(i->second))
312 vacateJustPhysReg(MBB, MI, VRM->getPhys(i->second));
313 }
314
315 // rewrite all used operands
316 for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
317 MachineOperand& op = MI->getOperand(i);
318 if (op.isRegister() && op.getReg() && op.isUse() &&
319 MRegisterInfo::isVirtualRegister(op.getReg())) {
320 unsigned virtReg = op.getReg();
321 unsigned physReg = VRM->getPhys(virtReg);
322 handleUse(MBB, MI, virtReg, physReg);
323 MI->SetMachineOperandReg(i, physReg);
324 // mark as dirty if this is def&use
325 if (op.isDef()) {
326 dirty_[physReg] = true;
327 lastDef_[virtReg] = MI;
328 }
329 }
330 }
331
332 // spill implicit physical register defs
333 const TargetInstrDescriptor& tid = TII->get(MI->getOpcode());
334 for (const unsigned* id = tid.ImplicitDefs; *id; ++id)
335 vacatePhysReg(MBB, MI, *id);
336
337 // spill explicit physical register defs
338 for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
339 MachineOperand& op = MI->getOperand(i);
340 if (op.isRegister() && op.getReg() && !op.isUse() &&
341 MRegisterInfo::isPhysicalRegister(op.getReg()))
342 vacatePhysReg(MBB, MI, op.getReg());
343 }
344
345 // rewrite def operands (def&use was handled with the
346 // uses so don't check for those here)
347 for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
348 MachineOperand& op = MI->getOperand(i);
349 if (op.isRegister() && op.getReg() && !op.isUse())
350 if (MRegisterInfo::isPhysicalRegister(op.getReg()))
351 vacatePhysReg(MBB, MI, op.getReg());
352 else {
353 unsigned physReg = VRM->getPhys(op.getReg());
354 handleDef(MBB, MI, op.getReg(), physReg);
355 MI->SetMachineOperandReg(i, physReg);
356 }
357 }
358
359 DEBUG(std::cerr << '\t'; MI->print(std::cerr, TM));
360 }
361
362 for (unsigned i = 1, e = p2vMap_.size(); i != e; ++i)
363 vacateJustPhysReg(MBB, MBB.getFirstTerminator(), i);
364}
365
366
367llvm::Spiller* llvm::createSpiller() {
368 switch (SpillerOpt) {
369 default: assert(0 && "Unreachable!");
370 case local:
371 return new LocalSpiller();
372 case simple:
373 return new SimpleSpiller();
374 }
Alkis Evlogimenos0d6c5b62004-02-24 08:58:30 +0000375}