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