Alkis Evlogimenos | 34d9bc9 | 2004-02-23 23:08:11 +0000 | [diff] [blame] | 1 | //===-- llvm/CodeGen/VirtRegMap.cpp - Virtual Register Map ----------------===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 4ee451d | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Alkis Evlogimenos | 34d9bc9 | 2004-02-23 23:08:11 +0000 | [diff] [blame] | 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
Chris Lattner | 8c4d88d | 2004-09-30 01:54:45 +0000 | [diff] [blame] | 10 | // 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 Evlogimenos | 0d6c5b6 | 2004-02-24 08:58:30 +0000 | [diff] [blame] | 15 | // code as necessary. |
Alkis Evlogimenos | 34d9bc9 | 2004-02-23 23:08:11 +0000 | [diff] [blame] | 16 | // |
| 17 | //===----------------------------------------------------------------------===// |
| 18 | |
Owen Anderson | 1ed5b71 | 2009-03-11 22:31:21 +0000 | [diff] [blame] | 19 | #define DEBUG_TYPE "virtregmap" |
Alkis Evlogimenos | 34d9bc9 | 2004-02-23 23:08:11 +0000 | [diff] [blame] | 20 | #include "VirtRegMap.h" |
Alkis Evlogimenos | 0d6c5b6 | 2004-02-24 08:58:30 +0000 | [diff] [blame] | 21 | #include "llvm/Function.h" |
Evan Cheng | c781a24 | 2009-05-03 18:32:42 +0000 | [diff] [blame] | 22 | #include "llvm/CodeGen/LiveIntervalAnalysis.h" |
Alkis Evlogimenos | 34d9bc9 | 2004-02-23 23:08:11 +0000 | [diff] [blame] | 23 | #include "llvm/CodeGen/MachineFrameInfo.h" |
Chris Lattner | 8c4d88d | 2004-09-30 01:54:45 +0000 | [diff] [blame] | 24 | #include "llvm/CodeGen/MachineFunction.h" |
Evan Cheng | 4cce6b4 | 2008-04-11 17:53:36 +0000 | [diff] [blame] | 25 | #include "llvm/CodeGen/MachineInstrBuilder.h" |
Chris Lattner | 84bc542 | 2007-12-31 04:13:23 +0000 | [diff] [blame] | 26 | #include "llvm/CodeGen/MachineRegisterInfo.h" |
Alkis Evlogimenos | 34d9bc9 | 2004-02-23 23:08:11 +0000 | [diff] [blame] | 27 | #include "llvm/Target/TargetMachine.h" |
Alkis Evlogimenos | 0d6c5b6 | 2004-02-24 08:58:30 +0000 | [diff] [blame] | 28 | #include "llvm/Target/TargetInstrInfo.h" |
Mike Stump | fe095f3 | 2009-05-04 18:40:41 +0000 | [diff] [blame] | 29 | #include "llvm/Target/TargetRegisterInfo.h" |
Reid Spencer | 551ccae | 2004-09-01 22:55:40 +0000 | [diff] [blame] | 30 | #include "llvm/Support/CommandLine.h" |
Chris Lattner | a4f0b3a | 2006-08-27 12:54:02 +0000 | [diff] [blame] | 31 | #include "llvm/Support/Compiler.h" |
Evan Cheng | 752272a | 2009-02-11 08:24:21 +0000 | [diff] [blame] | 32 | #include "llvm/Support/Debug.h" |
Daniel Dunbar | 1cd1d98 | 2009-07-24 10:36:58 +0000 | [diff] [blame] | 33 | #include "llvm/Support/raw_ostream.h" |
Evan Cheng | 957840b | 2007-02-21 02:22:03 +0000 | [diff] [blame] | 34 | #include "llvm/ADT/BitVector.h" |
Evan Cheng | cb74266 | 2008-06-04 09:16:33 +0000 | [diff] [blame] | 35 | #include "llvm/ADT/DenseMap.h" |
Evan Cheng | 752272a | 2009-02-11 08:24:21 +0000 | [diff] [blame] | 36 | #include "llvm/ADT/DepthFirstIterator.h" |
Reid Spencer | 551ccae | 2004-09-01 22:55:40 +0000 | [diff] [blame] | 37 | #include "llvm/ADT/Statistic.h" |
| 38 | #include "llvm/ADT/STLExtras.h" |
Chris Lattner | 08a4d5a | 2007-01-23 00:59:48 +0000 | [diff] [blame] | 39 | #include "llvm/ADT/SmallSet.h" |
Chris Lattner | 27f2916 | 2004-10-26 15:35:58 +0000 | [diff] [blame] | 40 | #include <algorithm> |
Alkis Evlogimenos | 34d9bc9 | 2004-02-23 23:08:11 +0000 | [diff] [blame] | 41 | using namespace llvm; |
| 42 | |
Evan Cheng | 87bb991 | 2008-06-13 23:58:02 +0000 | [diff] [blame] | 43 | STATISTIC(NumSpills , "Number of register spills"); |
Dan Gohman | 844731a | 2008-05-13 00:00:25 +0000 | [diff] [blame] | 44 | |
Chris Lattner | 8c4d88d | 2004-09-30 01:54:45 +0000 | [diff] [blame] | 45 | //===----------------------------------------------------------------------===// |
| 46 | // VirtRegMap implementation |
| 47 | //===----------------------------------------------------------------------===// |
| 48 | |
Owen Anderson | 49c8aa0 | 2009-03-13 05:55:11 +0000 | [diff] [blame] | 49 | char VirtRegMap::ID = 0; |
| 50 | |
| 51 | static RegisterPass<VirtRegMap> |
| 52 | X("virtregmap", "Virtual Register Map"); |
| 53 | |
| 54 | bool VirtRegMap::runOnMachineFunction(MachineFunction &mf) { |
Evan Cheng | 90f95f8 | 2009-06-14 20:22:55 +0000 | [diff] [blame] | 55 | MRI = &mf.getRegInfo(); |
Owen Anderson | 49c8aa0 | 2009-03-13 05:55:11 +0000 | [diff] [blame] | 56 | TII = mf.getTarget().getInstrInfo(); |
Mike Stump | fe095f3 | 2009-05-04 18:40:41 +0000 | [diff] [blame] | 57 | TRI = mf.getTarget().getRegisterInfo(); |
Owen Anderson | 49c8aa0 | 2009-03-13 05:55:11 +0000 | [diff] [blame] | 58 | MF = &mf; |
| 59 | |
| 60 | ReMatId = MAX_STACK_SLOT+1; |
| 61 | LowSpillSlot = HighSpillSlot = NO_STACK_SLOT; |
| 62 | |
| 63 | Virt2PhysMap.clear(); |
| 64 | Virt2StackSlotMap.clear(); |
| 65 | Virt2ReMatIdMap.clear(); |
| 66 | Virt2SplitMap.clear(); |
| 67 | Virt2SplitKillMap.clear(); |
| 68 | ReMatMap.clear(); |
| 69 | ImplicitDefed.clear(); |
| 70 | SpillSlotToUsesMap.clear(); |
| 71 | MI2VirtMap.clear(); |
| 72 | SpillPt2VirtMap.clear(); |
| 73 | RestorePt2VirtMap.clear(); |
| 74 | EmergencySpillMap.clear(); |
| 75 | EmergencySpillSlots.clear(); |
| 76 | |
Evan Cheng | d365312 | 2008-02-27 03:04:06 +0000 | [diff] [blame] | 77 | SpillSlotToUsesMap.resize(8); |
Owen Anderson | 49c8aa0 | 2009-03-13 05:55:11 +0000 | [diff] [blame] | 78 | ImplicitDefed.resize(MF->getRegInfo().getLastVirtReg()+1- |
Evan Cheng | 4cce6b4 | 2008-04-11 17:53:36 +0000 | [diff] [blame] | 79 | TargetRegisterInfo::FirstVirtualRegister); |
Mike Stump | fe095f3 | 2009-05-04 18:40:41 +0000 | [diff] [blame] | 80 | |
| 81 | allocatableRCRegs.clear(); |
| 82 | for (TargetRegisterInfo::regclass_iterator I = TRI->regclass_begin(), |
| 83 | E = TRI->regclass_end(); I != E; ++I) |
| 84 | allocatableRCRegs.insert(std::make_pair(*I, |
| 85 | TRI->getAllocatableSet(mf, *I))); |
| 86 | |
Chris Lattner | 2926869 | 2006-09-05 02:12:02 +0000 | [diff] [blame] | 87 | grow(); |
Owen Anderson | 49c8aa0 | 2009-03-13 05:55:11 +0000 | [diff] [blame] | 88 | |
| 89 | return false; |
Chris Lattner | 2926869 | 2006-09-05 02:12:02 +0000 | [diff] [blame] | 90 | } |
| 91 | |
Chris Lattner | 8c4d88d | 2004-09-30 01:54:45 +0000 | [diff] [blame] | 92 | void VirtRegMap::grow() { |
Owen Anderson | 49c8aa0 | 2009-03-13 05:55:11 +0000 | [diff] [blame] | 93 | unsigned LastVirtReg = MF->getRegInfo().getLastVirtReg(); |
Evan Cheng | 549f27d3 | 2007-08-13 23:45:17 +0000 | [diff] [blame] | 94 | Virt2PhysMap.grow(LastVirtReg); |
| 95 | Virt2StackSlotMap.grow(LastVirtReg); |
| 96 | Virt2ReMatIdMap.grow(LastVirtReg); |
Evan Cheng | 81a0382 | 2007-11-17 00:40:40 +0000 | [diff] [blame] | 97 | Virt2SplitMap.grow(LastVirtReg); |
Evan Cheng | adf8590 | 2007-12-05 09:51:10 +0000 | [diff] [blame] | 98 | Virt2SplitKillMap.grow(LastVirtReg); |
Evan Cheng | 549f27d3 | 2007-08-13 23:45:17 +0000 | [diff] [blame] | 99 | ReMatMap.grow(LastVirtReg); |
Evan Cheng | 4cce6b4 | 2008-04-11 17:53:36 +0000 | [diff] [blame] | 100 | ImplicitDefed.resize(LastVirtReg-TargetRegisterInfo::FirstVirtualRegister+1); |
Alkis Evlogimenos | 34d9bc9 | 2004-02-23 23:08:11 +0000 | [diff] [blame] | 101 | } |
| 102 | |
Evan Cheng | 90f95f8 | 2009-06-14 20:22:55 +0000 | [diff] [blame] | 103 | unsigned VirtRegMap::getRegAllocPref(unsigned virtReg) { |
Evan Cheng | 358dec5 | 2009-06-15 08:28:29 +0000 | [diff] [blame] | 104 | std::pair<unsigned, unsigned> Hint = MRI->getRegAllocationHint(virtReg); |
| 105 | unsigned physReg = Hint.second; |
| 106 | if (physReg && |
| 107 | TargetRegisterInfo::isVirtualRegister(physReg) && hasPhys(physReg)) |
| 108 | physReg = getPhys(physReg); |
| 109 | if (Hint.first == 0) |
| 110 | return (physReg && TargetRegisterInfo::isPhysicalRegister(physReg)) |
| 111 | ? physReg : 0; |
| 112 | return TRI->ResolveRegAllocHint(Hint.first, physReg, *MF); |
Evan Cheng | 90f95f8 | 2009-06-14 20:22:55 +0000 | [diff] [blame] | 113 | } |
| 114 | |
Chris Lattner | 8c4d88d | 2004-09-30 01:54:45 +0000 | [diff] [blame] | 115 | int VirtRegMap::assignVirt2StackSlot(unsigned virtReg) { |
Dan Gohman | 6f0d024 | 2008-02-10 18:45:23 +0000 | [diff] [blame] | 116 | assert(TargetRegisterInfo::isVirtualRegister(virtReg)); |
Chris Lattner | 7f690e6 | 2004-09-30 02:15:18 +0000 | [diff] [blame] | 117 | assert(Virt2StackSlotMap[virtReg] == NO_STACK_SLOT && |
Chris Lattner | 8c4d88d | 2004-09-30 01:54:45 +0000 | [diff] [blame] | 118 | "attempt to assign stack slot to already spilled register"); |
Owen Anderson | 49c8aa0 | 2009-03-13 05:55:11 +0000 | [diff] [blame] | 119 | const TargetRegisterClass* RC = MF->getRegInfo().getRegClass(virtReg); |
| 120 | int SS = MF->getFrameInfo()->CreateStackObject(RC->getSize(), |
Evan Cheng | d365312 | 2008-02-27 03:04:06 +0000 | [diff] [blame] | 121 | RC->getAlignment()); |
| 122 | if (LowSpillSlot == NO_STACK_SLOT) |
| 123 | LowSpillSlot = SS; |
| 124 | if (HighSpillSlot == NO_STACK_SLOT || SS > HighSpillSlot) |
| 125 | HighSpillSlot = SS; |
| 126 | unsigned Idx = SS-LowSpillSlot; |
| 127 | while (Idx >= SpillSlotToUsesMap.size()) |
| 128 | SpillSlotToUsesMap.resize(SpillSlotToUsesMap.size()*2); |
| 129 | Virt2StackSlotMap[virtReg] = SS; |
Chris Lattner | 8c4d88d | 2004-09-30 01:54:45 +0000 | [diff] [blame] | 130 | ++NumSpills; |
Evan Cheng | d365312 | 2008-02-27 03:04:06 +0000 | [diff] [blame] | 131 | return SS; |
Chris Lattner | 8c4d88d | 2004-09-30 01:54:45 +0000 | [diff] [blame] | 132 | } |
| 133 | |
Evan Cheng | d365312 | 2008-02-27 03:04:06 +0000 | [diff] [blame] | 134 | void VirtRegMap::assignVirt2StackSlot(unsigned virtReg, int SS) { |
Dan Gohman | 6f0d024 | 2008-02-10 18:45:23 +0000 | [diff] [blame] | 135 | assert(TargetRegisterInfo::isVirtualRegister(virtReg)); |
Chris Lattner | 7f690e6 | 2004-09-30 02:15:18 +0000 | [diff] [blame] | 136 | assert(Virt2StackSlotMap[virtReg] == NO_STACK_SLOT && |
Chris Lattner | 8c4d88d | 2004-09-30 01:54:45 +0000 | [diff] [blame] | 137 | "attempt to assign stack slot to already spilled register"); |
Evan Cheng | d365312 | 2008-02-27 03:04:06 +0000 | [diff] [blame] | 138 | assert((SS >= 0 || |
Owen Anderson | 49c8aa0 | 2009-03-13 05:55:11 +0000 | [diff] [blame] | 139 | (SS >= MF->getFrameInfo()->getObjectIndexBegin())) && |
Evan Cheng | 9193514 | 2007-04-04 07:40:01 +0000 | [diff] [blame] | 140 | "illegal fixed frame index"); |
Evan Cheng | d365312 | 2008-02-27 03:04:06 +0000 | [diff] [blame] | 141 | Virt2StackSlotMap[virtReg] = SS; |
Alkis Evlogimenos | 38af59a | 2004-05-29 20:38:05 +0000 | [diff] [blame] | 142 | } |
| 143 | |
Evan Cheng | 2638e1a | 2007-03-20 08:13:50 +0000 | [diff] [blame] | 144 | int VirtRegMap::assignVirtReMatId(unsigned virtReg) { |
Dan Gohman | 6f0d024 | 2008-02-10 18:45:23 +0000 | [diff] [blame] | 145 | assert(TargetRegisterInfo::isVirtualRegister(virtReg)); |
Evan Cheng | 549f27d3 | 2007-08-13 23:45:17 +0000 | [diff] [blame] | 146 | assert(Virt2ReMatIdMap[virtReg] == NO_STACK_SLOT && |
Evan Cheng | 2638e1a | 2007-03-20 08:13:50 +0000 | [diff] [blame] | 147 | "attempt to assign re-mat id to already spilled register"); |
Evan Cheng | 549f27d3 | 2007-08-13 23:45:17 +0000 | [diff] [blame] | 148 | Virt2ReMatIdMap[virtReg] = ReMatId; |
Evan Cheng | 2638e1a | 2007-03-20 08:13:50 +0000 | [diff] [blame] | 149 | return ReMatId++; |
| 150 | } |
| 151 | |
Evan Cheng | 549f27d3 | 2007-08-13 23:45:17 +0000 | [diff] [blame] | 152 | void VirtRegMap::assignVirtReMatId(unsigned virtReg, int id) { |
Dan Gohman | 6f0d024 | 2008-02-10 18:45:23 +0000 | [diff] [blame] | 153 | assert(TargetRegisterInfo::isVirtualRegister(virtReg)); |
Evan Cheng | 549f27d3 | 2007-08-13 23:45:17 +0000 | [diff] [blame] | 154 | assert(Virt2ReMatIdMap[virtReg] == NO_STACK_SLOT && |
| 155 | "attempt to assign re-mat id to already spilled register"); |
| 156 | Virt2ReMatIdMap[virtReg] = id; |
| 157 | } |
| 158 | |
Evan Cheng | 676dd7c | 2008-03-11 07:19:34 +0000 | [diff] [blame] | 159 | int VirtRegMap::getEmergencySpillSlot(const TargetRegisterClass *RC) { |
| 160 | std::map<const TargetRegisterClass*, int>::iterator I = |
| 161 | EmergencySpillSlots.find(RC); |
| 162 | if (I != EmergencySpillSlots.end()) |
| 163 | return I->second; |
Owen Anderson | 49c8aa0 | 2009-03-13 05:55:11 +0000 | [diff] [blame] | 164 | int SS = MF->getFrameInfo()->CreateStackObject(RC->getSize(), |
Evan Cheng | 676dd7c | 2008-03-11 07:19:34 +0000 | [diff] [blame] | 165 | RC->getAlignment()); |
| 166 | if (LowSpillSlot == NO_STACK_SLOT) |
| 167 | LowSpillSlot = SS; |
| 168 | if (HighSpillSlot == NO_STACK_SLOT || SS > HighSpillSlot) |
| 169 | HighSpillSlot = SS; |
Dan Gohman | 4daa907 | 2008-10-06 18:00:07 +0000 | [diff] [blame] | 170 | EmergencySpillSlots[RC] = SS; |
Evan Cheng | 676dd7c | 2008-03-11 07:19:34 +0000 | [diff] [blame] | 171 | return SS; |
| 172 | } |
| 173 | |
Evan Cheng | d365312 | 2008-02-27 03:04:06 +0000 | [diff] [blame] | 174 | void VirtRegMap::addSpillSlotUse(int FI, MachineInstr *MI) { |
Owen Anderson | 49c8aa0 | 2009-03-13 05:55:11 +0000 | [diff] [blame] | 175 | if (!MF->getFrameInfo()->isFixedObjectIndex(FI)) { |
David Greene | cff8608 | 2008-05-22 21:12:21 +0000 | [diff] [blame] | 176 | // If FI < LowSpillSlot, this stack reference was produced by |
| 177 | // instruction selection and is not a spill |
| 178 | if (FI >= LowSpillSlot) { |
| 179 | assert(FI >= 0 && "Spill slot index should not be negative!"); |
Bill Wendling | f3061f8 | 2008-05-23 01:29:08 +0000 | [diff] [blame] | 180 | assert((unsigned)FI-LowSpillSlot < SpillSlotToUsesMap.size() |
David Greene | cff8608 | 2008-05-22 21:12:21 +0000 | [diff] [blame] | 181 | && "Invalid spill slot"); |
| 182 | SpillSlotToUsesMap[FI-LowSpillSlot].insert(MI); |
| 183 | } |
Evan Cheng | d365312 | 2008-02-27 03:04:06 +0000 | [diff] [blame] | 184 | } |
| 185 | } |
| 186 | |
Chris Lattner | bec6a9e | 2004-10-01 23:15:36 +0000 | [diff] [blame] | 187 | void VirtRegMap::virtFolded(unsigned VirtReg, MachineInstr *OldMI, |
Evan Cheng | aee4af6 | 2007-12-02 08:30:39 +0000 | [diff] [blame] | 188 | MachineInstr *NewMI, ModRef MRInfo) { |
Chris Lattner | bec6a9e | 2004-10-01 23:15:36 +0000 | [diff] [blame] | 189 | // Move previous memory references folded to new instruction. |
| 190 | MI2VirtMapTy::iterator IP = MI2VirtMap.lower_bound(NewMI); |
Misha Brukman | edf128a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 191 | for (MI2VirtMapTy::iterator I = MI2VirtMap.lower_bound(OldMI), |
Chris Lattner | bec6a9e | 2004-10-01 23:15:36 +0000 | [diff] [blame] | 192 | E = MI2VirtMap.end(); I != E && I->first == OldMI; ) { |
| 193 | MI2VirtMap.insert(IP, std::make_pair(NewMI, I->second)); |
Chris Lattner | dbea973 | 2004-09-30 16:35:08 +0000 | [diff] [blame] | 194 | MI2VirtMap.erase(I++); |
Chris Lattner | 8c4d88d | 2004-09-30 01:54:45 +0000 | [diff] [blame] | 195 | } |
Chris Lattner | dbea973 | 2004-09-30 16:35:08 +0000 | [diff] [blame] | 196 | |
Chris Lattner | 8c4d88d | 2004-09-30 01:54:45 +0000 | [diff] [blame] | 197 | // add new memory reference |
Chris Lattner | bec6a9e | 2004-10-01 23:15:36 +0000 | [diff] [blame] | 198 | MI2VirtMap.insert(IP, std::make_pair(NewMI, std::make_pair(VirtReg, MRInfo))); |
Alkis Evlogimenos | 5f37502 | 2004-03-01 20:05:10 +0000 | [diff] [blame] | 199 | } |
| 200 | |
Evan Cheng | 7f56625 | 2007-10-13 02:50:24 +0000 | [diff] [blame] | 201 | void VirtRegMap::virtFolded(unsigned VirtReg, MachineInstr *MI, ModRef MRInfo) { |
| 202 | MI2VirtMapTy::iterator IP = MI2VirtMap.lower_bound(MI); |
| 203 | MI2VirtMap.insert(IP, std::make_pair(MI, std::make_pair(VirtReg, MRInfo))); |
| 204 | } |
| 205 | |
Evan Cheng | d365312 | 2008-02-27 03:04:06 +0000 | [diff] [blame] | 206 | void VirtRegMap::RemoveMachineInstrFromMaps(MachineInstr *MI) { |
| 207 | for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) { |
| 208 | MachineOperand &MO = MI->getOperand(i); |
Dan Gohman | d735b80 | 2008-10-03 15:45:36 +0000 | [diff] [blame] | 209 | if (!MO.isFI()) |
Evan Cheng | d365312 | 2008-02-27 03:04:06 +0000 | [diff] [blame] | 210 | continue; |
| 211 | int FI = MO.getIndex(); |
Owen Anderson | 49c8aa0 | 2009-03-13 05:55:11 +0000 | [diff] [blame] | 212 | if (MF->getFrameInfo()->isFixedObjectIndex(FI)) |
Evan Cheng | d365312 | 2008-02-27 03:04:06 +0000 | [diff] [blame] | 213 | continue; |
David Greene | cff8608 | 2008-05-22 21:12:21 +0000 | [diff] [blame] | 214 | // This stack reference was produced by instruction selection and |
Bill Wendling | e67f5e4 | 2009-03-31 08:41:31 +0000 | [diff] [blame] | 215 | // is not a spill |
David Greene | cff8608 | 2008-05-22 21:12:21 +0000 | [diff] [blame] | 216 | if (FI < LowSpillSlot) |
| 217 | continue; |
Bill Wendling | f3061f8 | 2008-05-23 01:29:08 +0000 | [diff] [blame] | 218 | assert((unsigned)FI-LowSpillSlot < SpillSlotToUsesMap.size() |
David Greene | cff8608 | 2008-05-22 21:12:21 +0000 | [diff] [blame] | 219 | && "Invalid spill slot"); |
Evan Cheng | d365312 | 2008-02-27 03:04:06 +0000 | [diff] [blame] | 220 | SpillSlotToUsesMap[FI-LowSpillSlot].erase(MI); |
| 221 | } |
| 222 | MI2VirtMap.erase(MI); |
| 223 | SpillPt2VirtMap.erase(MI); |
| 224 | RestorePt2VirtMap.erase(MI); |
Evan Cheng | 676dd7c | 2008-03-11 07:19:34 +0000 | [diff] [blame] | 225 | EmergencySpillMap.erase(MI); |
Evan Cheng | d365312 | 2008-02-27 03:04:06 +0000 | [diff] [blame] | 226 | } |
| 227 | |
Evan Cheng | c781a24 | 2009-05-03 18:32:42 +0000 | [diff] [blame] | 228 | /// FindUnusedRegisters - Gather a list of allocatable registers that |
| 229 | /// have not been allocated to any virtual register. |
Evan Cheng | 90f95f8 | 2009-06-14 20:22:55 +0000 | [diff] [blame] | 230 | bool VirtRegMap::FindUnusedRegisters(LiveIntervals* LIs) { |
Evan Cheng | c781a24 | 2009-05-03 18:32:42 +0000 | [diff] [blame] | 231 | unsigned NumRegs = TRI->getNumRegs(); |
| 232 | UnusedRegs.reset(); |
| 233 | UnusedRegs.resize(NumRegs); |
| 234 | |
| 235 | BitVector Used(NumRegs); |
| 236 | for (unsigned i = TargetRegisterInfo::FirstVirtualRegister, |
| 237 | e = MF->getRegInfo().getLastVirtReg(); i <= e; ++i) |
| 238 | if (Virt2PhysMap[i] != (unsigned)VirtRegMap::NO_PHYS_REG) |
| 239 | Used.set(Virt2PhysMap[i]); |
| 240 | |
| 241 | BitVector Allocatable = TRI->getAllocatableSet(*MF); |
| 242 | bool AnyUnused = false; |
| 243 | for (unsigned Reg = 1; Reg < NumRegs; ++Reg) { |
| 244 | if (Allocatable[Reg] && !Used[Reg] && !LIs->hasInterval(Reg)) { |
| 245 | bool ReallyUnused = true; |
| 246 | for (const unsigned *AS = TRI->getAliasSet(Reg); *AS; ++AS) { |
| 247 | if (Used[*AS] || LIs->hasInterval(*AS)) { |
| 248 | ReallyUnused = false; |
| 249 | break; |
| 250 | } |
| 251 | } |
| 252 | if (ReallyUnused) { |
| 253 | AnyUnused = true; |
| 254 | UnusedRegs.set(Reg); |
| 255 | } |
| 256 | } |
| 257 | } |
| 258 | |
| 259 | return AnyUnused; |
| 260 | } |
| 261 | |
Daniel Dunbar | 1cd1d98 | 2009-07-24 10:36:58 +0000 | [diff] [blame] | 262 | void VirtRegMap::print(raw_ostream &OS, const Module* M) const { |
Owen Anderson | 49c8aa0 | 2009-03-13 05:55:11 +0000 | [diff] [blame] | 263 | const TargetRegisterInfo* TRI = MF->getTarget().getRegisterInfo(); |
Alkis Evlogimenos | 34d9bc9 | 2004-02-23 23:08:11 +0000 | [diff] [blame] | 264 | |
Chris Lattner | 7f690e6 | 2004-09-30 02:15:18 +0000 | [diff] [blame] | 265 | OS << "********** REGISTER MAP **********\n"; |
Dan Gohman | 6f0d024 | 2008-02-10 18:45:23 +0000 | [diff] [blame] | 266 | for (unsigned i = TargetRegisterInfo::FirstVirtualRegister, |
Owen Anderson | 49c8aa0 | 2009-03-13 05:55:11 +0000 | [diff] [blame] | 267 | e = MF->getRegInfo().getLastVirtReg(); i <= e; ++i) { |
Chris Lattner | 7f690e6 | 2004-09-30 02:15:18 +0000 | [diff] [blame] | 268 | if (Virt2PhysMap[i] != (unsigned)VirtRegMap::NO_PHYS_REG) |
Bill Wendling | e6d088a | 2008-02-26 21:47:57 +0000 | [diff] [blame] | 269 | OS << "[reg" << i << " -> " << TRI->getName(Virt2PhysMap[i]) |
Bill Wendling | 74ab84c | 2008-02-26 21:11:01 +0000 | [diff] [blame] | 270 | << "]\n"; |
Chris Lattner | 8c4d88d | 2004-09-30 01:54:45 +0000 | [diff] [blame] | 271 | } |
| 272 | |
Dan Gohman | 6f0d024 | 2008-02-10 18:45:23 +0000 | [diff] [blame] | 273 | for (unsigned i = TargetRegisterInfo::FirstVirtualRegister, |
Owen Anderson | 49c8aa0 | 2009-03-13 05:55:11 +0000 | [diff] [blame] | 274 | e = MF->getRegInfo().getLastVirtReg(); i <= e; ++i) |
Chris Lattner | 7f690e6 | 2004-09-30 02:15:18 +0000 | [diff] [blame] | 275 | if (Virt2StackSlotMap[i] != VirtRegMap::NO_STACK_SLOT) |
| 276 | OS << "[reg" << i << " -> fi#" << Virt2StackSlotMap[i] << "]\n"; |
| 277 | OS << '\n'; |
Alkis Evlogimenos | 34d9bc9 | 2004-02-23 23:08:11 +0000 | [diff] [blame] | 278 | } |
Alkis Evlogimenos | 0d6c5b6 | 2004-02-24 08:58:30 +0000 | [diff] [blame] | 279 | |
Bill Wendling | b2b9c20 | 2006-11-17 02:09:07 +0000 | [diff] [blame] | 280 | void VirtRegMap::dump() const { |
Chris Lattner | d9ea85a | 2009-08-23 08:43:55 +0000 | [diff] [blame^] | 281 | print(errs()); |
Daniel Dunbar | cfbf05e | 2009-03-14 01:53:05 +0000 | [diff] [blame] | 282 | } |