Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 1 | //===-- RegAllocSimple.cpp - A simple generic register allocator --- ------===// |
| 2 | // |
| 3 | // This file implements a simple register allocator. *Very* simple. |
| 4 | // |
| 5 | //===----------------------------------------------------------------------===// |
| 6 | |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 7 | #include "llvm/CodeGen/MachineFunction.h" |
Chris Lattner | abe8dd5 | 2002-12-15 18:19:24 +0000 | [diff] [blame] | 8 | #include "llvm/CodeGen/MachineInstr.h" |
Misha Brukman | dd46e2a | 2002-12-04 23:58:08 +0000 | [diff] [blame] | 9 | #include "llvm/Target/MachineInstrInfo.h" |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 10 | #include "llvm/Target/TargetMachine.h" |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 11 | #include "Support/Statistic.h" |
Chris Lattner | abe8dd5 | 2002-12-15 18:19:24 +0000 | [diff] [blame] | 12 | #include <iostream> |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 13 | #include <set> |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 14 | |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 15 | #if 0 |
Chris Lattner | dd444f9 | 2002-12-15 18:38:59 +0000 | [diff] [blame] | 16 | /// PhysRegClassMap - Construct a mapping of physical register numbers to their |
| 17 | /// register classes. |
| 18 | /// |
| 19 | /// NOTE: This class will eventually be pulled out to somewhere shared. |
| 20 | /// |
| 21 | class PhysRegClassMap { |
| 22 | std::map<unsigned, const TargetRegisterClass*> PhysReg2RegClassMap; |
| 23 | public: |
| 24 | PhysRegClassMap(const MRegisterInfo *RI) { |
| 25 | for (MRegisterInfo::const_iterator I = RI->regclass_begin(), |
| 26 | E = RI->regclass_end(); I != E; ++I) |
| 27 | for (unsigned i=0; i < (*I)->getNumRegs(); ++i) |
| 28 | PhysReg2RegClassMap[(*I)->getRegister(i)] = *I; |
| 29 | } |
| 30 | |
| 31 | const TargetRegisterClass *operator[](unsigned Reg) { |
| 32 | assert(PhysReg2RegClassMap[Reg] && "Register is not a known physreg!"); |
| 33 | return PhysReg2RegClassMap[Reg]; |
| 34 | } |
| 35 | |
| 36 | const TargetRegisterClass *get(unsigned Reg) { return operator[](Reg); } |
| 37 | }; |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 38 | #endif |
Chris Lattner | dd444f9 | 2002-12-15 18:38:59 +0000 | [diff] [blame] | 39 | |
| 40 | |
Misha Brukman | 59b3eed | 2002-12-13 10:42:31 +0000 | [diff] [blame] | 41 | namespace { |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 42 | Statistic<> NumSpilled ("ra-simple", "Number of registers spilled"); |
| 43 | Statistic<> NumReloaded("ra-simple", "Number of registers reloaded"); |
| 44 | |
| 45 | class RegAllocSimple : public FunctionPass { |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 46 | TargetMachine &TM; |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 47 | MachineFunction *MF; |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 48 | const MRegisterInfo *RegInfo; |
Chris Lattner | 9593fb1 | 2002-12-15 19:07:34 +0000 | [diff] [blame] | 49 | unsigned NumBytesAllocated; |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 50 | |
| 51 | // Maps SSA Regs => offsets on the stack where these values are stored |
Chris Lattner | ad44bd9 | 2002-12-15 18:15:24 +0000 | [diff] [blame] | 52 | std::map<unsigned, unsigned> VirtReg2OffsetMap; |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 53 | |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 54 | // RegsUsed - Keep track of what registers are currently in use. |
| 55 | std::set<unsigned> RegsUsed; |
| 56 | |
| 57 | // RegClassIdx - Maps RegClass => which index we can take a register |
| 58 | // from. Since this is a simple register allocator, when we need a register |
| 59 | // of a certain class, we just take the next available one. |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 60 | std::map<const TargetRegisterClass*, unsigned> RegClassIdx; |
| 61 | |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 62 | public: |
| 63 | |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 64 | RegAllocSimple(TargetMachine &tm) |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 65 | : TM(tm), RegInfo(tm.getRegisterInfo()) { |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 66 | RegsUsed.insert(RegInfo->getFramePointer()); |
| 67 | RegsUsed.insert(RegInfo->getStackPointer()); |
Misha Brukman | cea2245 | 2002-12-13 04:34:02 +0000 | [diff] [blame] | 68 | |
| 69 | cleanupAfterFunction(); |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 70 | } |
| 71 | |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 72 | bool runOnFunction(Function &Fn) { |
| 73 | return runOnMachineFunction(MachineFunction::get(&Fn)); |
| 74 | } |
| 75 | |
Chris Lattner | 8233e2f | 2002-12-15 21:13:12 +0000 | [diff] [blame] | 76 | virtual const char *getPassName() const { |
| 77 | return "Simple Register Allocator"; |
| 78 | } |
| 79 | |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 80 | private: |
| 81 | /// runOnMachineFunction - Register allocate the whole function |
| 82 | bool runOnMachineFunction(MachineFunction &Fn); |
| 83 | |
| 84 | /// AllocateBasicBlock - Register allocate the specified basic block. |
| 85 | void AllocateBasicBlock(MachineBasicBlock &MBB); |
| 86 | |
| 87 | /// EliminatePHINodes - Eliminate phi nodes by inserting copy instructions |
| 88 | /// in predecessor basic blocks. |
| 89 | void EliminatePHINodes(MachineBasicBlock &MBB); |
| 90 | |
| 91 | |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 92 | /// getStackSpaceFor - This returns the offset of the specified virtual |
| 93 | /// register on the stack, allocating space if neccesary. |
| 94 | unsigned getStackSpaceFor(unsigned VirtReg, |
| 95 | const TargetRegisterClass *regClass); |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 96 | |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 97 | /// Given a virtual register, return a compatible physical register that is |
| 98 | /// currently unused. |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 99 | /// |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 100 | /// Side effect: marks that register as being used until manually cleared |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 101 | /// |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 102 | unsigned getFreeReg(unsigned virtualReg); |
| 103 | |
| 104 | /// Returns all `borrowed' registers back to the free pool |
| 105 | void clearAllRegs() { |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 106 | RegClassIdx.clear(); |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 107 | } |
| 108 | |
Misha Brukman | 972b03f | 2002-12-13 11:33:22 +0000 | [diff] [blame] | 109 | /// Invalidates any references, real or implicit, to physical registers |
| 110 | /// |
| 111 | void invalidatePhysRegs(const MachineInstr *MI) { |
| 112 | unsigned Opcode = MI->getOpcode(); |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 113 | const MachineInstrDescriptor &Desc = TM.getInstrInfo().get(Opcode); |
Misha Brukman | 972b03f | 2002-12-13 11:33:22 +0000 | [diff] [blame] | 114 | const unsigned *regs = Desc.ImplicitUses; |
| 115 | while (*regs) |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 116 | RegsUsed.insert(*regs++); |
Misha Brukman | 972b03f | 2002-12-13 11:33:22 +0000 | [diff] [blame] | 117 | |
| 118 | regs = Desc.ImplicitDefs; |
| 119 | while (*regs) |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 120 | RegsUsed.insert(*regs++); |
Misha Brukman | 972b03f | 2002-12-13 11:33:22 +0000 | [diff] [blame] | 121 | } |
| 122 | |
Misha Brukman | dd46e2a | 2002-12-04 23:58:08 +0000 | [diff] [blame] | 123 | void cleanupAfterFunction() { |
Chris Lattner | ad44bd9 | 2002-12-15 18:15:24 +0000 | [diff] [blame] | 124 | VirtReg2OffsetMap.clear(); |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 125 | NumBytesAllocated = 4; // FIXME: This is X86 specific |
Misha Brukman | dd46e2a | 2002-12-04 23:58:08 +0000 | [diff] [blame] | 126 | } |
| 127 | |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 128 | /// Moves value from memory into that register |
Chris Lattner | b167c04 | 2002-12-15 23:01:26 +0000 | [diff] [blame] | 129 | unsigned reloadVirtReg(MachineBasicBlock &MBB, |
| 130 | MachineBasicBlock::iterator &I, unsigned VirtReg); |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 131 | |
| 132 | /// Saves reg value on the stack (maps virtual register to stack value) |
Chris Lattner | b167c04 | 2002-12-15 23:01:26 +0000 | [diff] [blame] | 133 | void spillVirtReg(MachineBasicBlock &MBB, MachineBasicBlock::iterator &I, |
| 134 | unsigned VirtReg, unsigned PhysReg); |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 135 | }; |
| 136 | |
Misha Brukman | 59b3eed | 2002-12-13 10:42:31 +0000 | [diff] [blame] | 137 | } |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 138 | |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 139 | /// getStackSpaceFor - This allocates space for the specified virtual |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 140 | /// register to be held on the stack. |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 141 | unsigned RegAllocSimple::getStackSpaceFor(unsigned VirtReg, |
| 142 | const TargetRegisterClass *regClass) { |
| 143 | // Find the location VirtReg would belong... |
| 144 | std::map<unsigned, unsigned>::iterator I = |
| 145 | VirtReg2OffsetMap.lower_bound(VirtReg); |
Chris Lattner | 9593fb1 | 2002-12-15 19:07:34 +0000 | [diff] [blame] | 146 | |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 147 | if (I != VirtReg2OffsetMap.end() && I->first == VirtReg) |
| 148 | return I->second; // Already has space allocated? |
Chris Lattner | 9593fb1 | 2002-12-15 19:07:34 +0000 | [diff] [blame] | 149 | |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 150 | unsigned RegSize = regClass->getDataSize(); |
Chris Lattner | 9593fb1 | 2002-12-15 19:07:34 +0000 | [diff] [blame] | 151 | |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 152 | // Align NumBytesAllocated. We should be using TargetData alignment stuff |
| 153 | // to determine this, but we don't know the LLVM type associated with the |
| 154 | // virtual register. Instead, just align to a multiple of the size for now. |
| 155 | NumBytesAllocated += RegSize-1; |
| 156 | NumBytesAllocated = NumBytesAllocated/RegSize*RegSize; |
| 157 | |
| 158 | // Assign the slot... |
| 159 | VirtReg2OffsetMap.insert(I, std::make_pair(VirtReg, NumBytesAllocated)); |
| 160 | |
| 161 | // Reserve the space! |
| 162 | NumBytesAllocated += RegSize; |
| 163 | return NumBytesAllocated-RegSize; |
Misha Brukman | f514d51 | 2002-12-02 21:11:58 +0000 | [diff] [blame] | 164 | } |
| 165 | |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 166 | unsigned RegAllocSimple::getFreeReg(unsigned virtualReg) { |
| 167 | const TargetRegisterClass* regClass = MF->getRegClass(virtualReg); |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 168 | |
| 169 | unsigned regIdx = RegClassIdx[regClass]++; |
| 170 | assert(regIdx < regClass->getNumRegs() && "Not enough registers!"); |
| 171 | unsigned physReg = regClass->getRegister(regIdx); |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 172 | |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 173 | if (RegsUsed.find(physReg) == RegsUsed.end()) |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 174 | return physReg; |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 175 | else |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 176 | return getFreeReg(virtualReg); |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 177 | } |
| 178 | |
Chris Lattner | b167c04 | 2002-12-15 23:01:26 +0000 | [diff] [blame] | 179 | unsigned RegAllocSimple::reloadVirtReg(MachineBasicBlock &MBB, |
| 180 | MachineBasicBlock::iterator &I, |
| 181 | unsigned VirtReg) { |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 182 | const TargetRegisterClass* regClass = MF->getRegClass(VirtReg); |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 183 | unsigned stackOffset = getStackSpaceFor(VirtReg, regClass); |
Chris Lattner | b167c04 | 2002-12-15 23:01:26 +0000 | [diff] [blame] | 184 | unsigned PhysReg = getFreeReg(VirtReg); |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 185 | |
Misha Brukman | f514d51 | 2002-12-02 21:11:58 +0000 | [diff] [blame] | 186 | // Add move instruction(s) |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 187 | ++NumReloaded; |
Chris Lattner | b167c04 | 2002-12-15 23:01:26 +0000 | [diff] [blame] | 188 | I = RegInfo->loadRegOffset2Reg(MBB, I, PhysReg, RegInfo->getFramePointer(), |
| 189 | -stackOffset, regClass->getDataSize()); |
| 190 | return PhysReg; |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 191 | } |
| 192 | |
Chris Lattner | b167c04 | 2002-12-15 23:01:26 +0000 | [diff] [blame] | 193 | void RegAllocSimple::spillVirtReg(MachineBasicBlock &MBB, |
| 194 | MachineBasicBlock::iterator &I, |
| 195 | unsigned VirtReg, unsigned PhysReg) |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 196 | { |
| 197 | const TargetRegisterClass* regClass = MF->getRegClass(VirtReg); |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 198 | unsigned stackOffset = getStackSpaceFor(VirtReg, regClass); |
Misha Brukman | f514d51 | 2002-12-02 21:11:58 +0000 | [diff] [blame] | 199 | |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 200 | // Add move instruction(s) |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 201 | ++NumSpilled; |
Chris Lattner | b167c04 | 2002-12-15 23:01:26 +0000 | [diff] [blame] | 202 | I = RegInfo->storeReg2RegOffset(MBB, I, PhysReg, RegInfo->getFramePointer(), |
| 203 | -stackOffset, regClass->getDataSize()); |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 204 | } |
| 205 | |
Misha Brukman | dc2ec00 | 2002-12-03 23:15:19 +0000 | [diff] [blame] | 206 | |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 207 | /// EliminatePHINodes - Eliminate phi nodes by inserting copy instructions in |
| 208 | /// predecessor basic blocks. |
Chris Lattner | 8ed9eb5 | 2002-12-15 22:39:53 +0000 | [diff] [blame] | 209 | /// |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 210 | void RegAllocSimple::EliminatePHINodes(MachineBasicBlock &MBB) { |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 211 | const MachineInstrInfo &MII = TM.getInstrInfo(); |
| 212 | |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 213 | while (MBB.front()->getOpcode() == MachineInstrInfo::PHI) { |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 214 | MachineInstr *MI = MBB.front(); |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 215 | // Unlink the PHI node from the basic block... but don't delete the PHI yet |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 216 | MBB.erase(MBB.begin()); |
| 217 | |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 218 | DEBUG(std::cerr << "num ops: " << MI->getNumOperands() << "\n"); |
| 219 | assert(MI->getOperand(0).isVirtualRegister() && |
| 220 | "PHI node doesn't write virt reg?"); |
| 221 | |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 222 | unsigned virtualReg = MI->getOperand(0).getAllocatedRegNum(); |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 223 | |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 224 | for (int i = MI->getNumOperands() - 1; i >= 2; i-=2) { |
| 225 | MachineOperand &opVal = MI->getOperand(i-1); |
| 226 | |
| 227 | // Get the MachineBasicBlock equivalent of the BasicBlock that is the |
| 228 | // source path the phi |
| 229 | MachineBasicBlock &opBlock = *MI->getOperand(i).getMachineBasicBlock(); |
Misha Brukman | dd46e2a | 2002-12-04 23:58:08 +0000 | [diff] [blame] | 230 | |
Chris Lattner | 3f91ad7 | 2002-12-15 20:48:03 +0000 | [diff] [blame] | 231 | // Check to make sure we haven't already emitted the copy for this block. |
| 232 | // This can happen because PHI nodes may have multiple entries for the |
| 233 | // same basic block. It doesn't matter which entry we use though, because |
| 234 | // all incoming values are guaranteed to be the same for a particular bb. |
| 235 | // |
| 236 | // Note that this is N^2 in the number of phi node entries, but since the |
| 237 | // # of entries is tiny, this is not a problem. |
| 238 | // |
| 239 | bool HaveNotEmitted = true; |
| 240 | for (int op = MI->getNumOperands() - 1; op != i; op -= 2) |
| 241 | if (&opBlock == MI->getOperand(op).getMachineBasicBlock()) { |
| 242 | HaveNotEmitted = false; |
| 243 | break; |
| 244 | } |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 245 | |
Chris Lattner | 3f91ad7 | 2002-12-15 20:48:03 +0000 | [diff] [blame] | 246 | if (HaveNotEmitted) { |
| 247 | MachineBasicBlock::iterator opI = opBlock.end(); |
| 248 | MachineInstr *opMI = *--opI; |
| 249 | |
| 250 | // must backtrack over ALL the branches in the previous block |
| 251 | while (MII.isBranch(opMI->getOpcode()) && opI != opBlock.begin()) |
| 252 | opMI = *--opI; |
| 253 | |
| 254 | // move back to the first branch instruction so new instructions |
| 255 | // are inserted right in front of it and not in front of a non-branch |
| 256 | if (!MII.isBranch(opMI->getOpcode())) |
| 257 | ++opI; |
Chris Lattner | 8ed9eb5 | 2002-12-15 22:39:53 +0000 | [diff] [blame] | 258 | |
| 259 | unsigned dataSize = MF->getRegClass(virtualReg)->getDataSize(); |
| 260 | |
Chris Lattner | 3f91ad7 | 2002-12-15 20:48:03 +0000 | [diff] [blame] | 261 | // Retrieve the constant value from this op, move it to target |
| 262 | // register of the phi |
| 263 | if (opVal.isImmediate()) { |
Chris Lattner | 8ed9eb5 | 2002-12-15 22:39:53 +0000 | [diff] [blame] | 264 | opI = RegInfo->moveImm2Reg(opBlock, opI, virtualReg, |
Chris Lattner | 3f91ad7 | 2002-12-15 20:48:03 +0000 | [diff] [blame] | 265 | (unsigned) opVal.getImmedValue(), |
| 266 | dataSize); |
Chris Lattner | 3f91ad7 | 2002-12-15 20:48:03 +0000 | [diff] [blame] | 267 | } else { |
Chris Lattner | 8ed9eb5 | 2002-12-15 22:39:53 +0000 | [diff] [blame] | 268 | opI = RegInfo->moveReg2Reg(opBlock, opI, virtualReg, |
| 269 | opVal.getAllocatedRegNum(), dataSize); |
Chris Lattner | 3f91ad7 | 2002-12-15 20:48:03 +0000 | [diff] [blame] | 270 | } |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 271 | } |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 272 | } |
| 273 | |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 274 | // really delete the PHI instruction now! |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 275 | delete MI; |
| 276 | } |
| 277 | } |
| 278 | |
| 279 | |
| 280 | void RegAllocSimple::AllocateBasicBlock(MachineBasicBlock &MBB) { |
Chris Lattner | f605055 | 2002-12-15 21:33:51 +0000 | [diff] [blame] | 281 | // loop over each instruction |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 282 | for (MachineBasicBlock::iterator I = MBB.begin(); I != MBB.end(); ++I) { |
Chris Lattner | 01b08c5 | 2002-12-15 21:24:30 +0000 | [diff] [blame] | 283 | // Made to combat the incorrect allocation of r2 = add r1, r1 |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 284 | std::map<unsigned, unsigned> Virt2PhysRegMap; |
Chris Lattner | 01b08c5 | 2002-12-15 21:24:30 +0000 | [diff] [blame] | 285 | |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 286 | MachineInstr *MI = *I; |
| 287 | |
| 288 | // a preliminary pass that will invalidate any registers that |
| 289 | // are used by the instruction (including implicit uses) |
| 290 | invalidatePhysRegs(MI); |
| 291 | |
| 292 | // Loop over uses, move from memory into registers |
| 293 | for (int i = MI->getNumOperands() - 1; i >= 0; --i) { |
| 294 | MachineOperand &op = MI->getOperand(i); |
| 295 | |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 296 | if (op.isVirtualRegister()) { |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 297 | unsigned virtualReg = (unsigned) op.getAllocatedRegNum(); |
| 298 | DEBUG(std::cerr << "op: " << op << "\n"); |
| 299 | DEBUG(std::cerr << "\t inst[" << i << "]: "; |
| 300 | MI->print(std::cerr, TM)); |
| 301 | |
| 302 | // make sure the same virtual register maps to the same physical |
| 303 | // register in any given instruction |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 304 | unsigned physReg = Virt2PhysRegMap[virtualReg]; |
| 305 | if (physReg == 0) { |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 306 | if (op.opIsDef()) { |
| 307 | if (TM.getInstrInfo().isTwoAddrInstr(MI->getOpcode()) && i == 0) { |
| 308 | // must be same register number as the first operand |
| 309 | // This maps a = b + c into b += c, and saves b into a's spot |
Chris Lattner | 15f96db | 2002-12-15 21:02:20 +0000 | [diff] [blame] | 310 | assert(MI->getOperand(1).isRegister() && |
| 311 | MI->getOperand(1).getAllocatedRegNum() && |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 312 | MI->getOperand(1).opIsUse() && |
Chris Lattner | 15f96db | 2002-12-15 21:02:20 +0000 | [diff] [blame] | 313 | "Two address instruction invalid!"); |
| 314 | |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 315 | physReg = MI->getOperand(1).getAllocatedRegNum(); |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 316 | } else { |
| 317 | physReg = getFreeReg(virtualReg); |
| 318 | } |
Chris Lattner | b167c04 | 2002-12-15 23:01:26 +0000 | [diff] [blame] | 319 | ++I; |
| 320 | spillVirtReg(MBB, I, virtualReg, physReg); |
| 321 | --I; |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 322 | } else { |
Chris Lattner | b167c04 | 2002-12-15 23:01:26 +0000 | [diff] [blame] | 323 | physReg = reloadVirtReg(MBB, I, virtualReg); |
| 324 | Virt2PhysRegMap[virtualReg] = physReg; |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 325 | } |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 326 | } |
| 327 | MI->SetMachineOperandReg(i, physReg); |
| 328 | DEBUG(std::cerr << "virt: " << virtualReg << |
| 329 | ", phys: " << op.getAllocatedRegNum() << "\n"); |
| 330 | } |
| 331 | } |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 332 | clearAllRegs(); |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 333 | } |
| 334 | } |
| 335 | |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 336 | /// runOnMachineFunction - Register allocate the whole function |
| 337 | /// |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 338 | bool RegAllocSimple::runOnMachineFunction(MachineFunction &Fn) { |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 339 | DEBUG(std::cerr << "Machine Function " << "\n"); |
| 340 | MF = &Fn; |
Misha Brukman | dc2ec00 | 2002-12-03 23:15:19 +0000 | [diff] [blame] | 341 | |
Chris Lattner | 8ed9eb5 | 2002-12-15 22:39:53 +0000 | [diff] [blame] | 342 | // First pass: eliminate PHI instructions by inserting copies into predecessor |
| 343 | // blocks. |
| 344 | for (MachineFunction::iterator MBB = Fn.begin(), MBBe = Fn.end(); |
| 345 | MBB != MBBe; ++MBB) |
| 346 | EliminatePHINodes(*MBB); |
| 347 | |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 348 | // Loop over all of the basic blocks, eliminating virtual register references |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 349 | for (MachineFunction::iterator MBB = Fn.begin(), MBBe = Fn.end(); |
| 350 | MBB != MBBe; ++MBB) |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 351 | AllocateBasicBlock(*MBB); |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 352 | |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 353 | // Add prologue to the function... |
Chris Lattner | 198ab64 | 2002-12-15 20:06:35 +0000 | [diff] [blame] | 354 | RegInfo->emitPrologue(Fn, NumBytesAllocated); |
Misha Brukman | dd46e2a | 2002-12-04 23:58:08 +0000 | [diff] [blame] | 355 | |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 356 | const MachineInstrInfo &MII = TM.getInstrInfo(); |
| 357 | |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 358 | // Add epilogue to restore the callee-save registers in each exiting block |
Misha Brukman | dd46e2a | 2002-12-04 23:58:08 +0000 | [diff] [blame] | 359 | for (MachineFunction::iterator MBB = Fn.begin(), MBBe = Fn.end(); |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 360 | MBB != MBBe; ++MBB) { |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 361 | // If last instruction is a return instruction, add an epilogue |
| 362 | if (MII.isReturn(MBB->back()->getOpcode())) |
Chris Lattner | 198ab64 | 2002-12-15 20:06:35 +0000 | [diff] [blame] | 363 | RegInfo->emitEpilogue(*MBB, NumBytesAllocated); |
Misha Brukman | dd46e2a | 2002-12-04 23:58:08 +0000 | [diff] [blame] | 364 | } |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 365 | |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 366 | cleanupAfterFunction(); |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 367 | return true; |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 368 | } |
| 369 | |
| 370 | Pass *createSimpleX86RegisterAllocator(TargetMachine &TM) { |
| 371 | return new RegAllocSimple(TM); |
| 372 | } |