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