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 | // |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 3 | // This file implements a simple register allocator. *Very* simple: It immediate |
| 4 | // spills every value right after it is computed, and it reloads all used |
| 5 | // operands from the spill area to temporary registers before each instruction. |
| 6 | // It does not keep values in registers across instructions. |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 10 | #include "llvm/CodeGen/MachineFunctionPass.h" |
Chris Lattner | abe8dd5 | 2002-12-15 18:19:24 +0000 | [diff] [blame] | 11 | #include "llvm/CodeGen/MachineInstr.h" |
Chris Lattner | 5124aec | 2002-12-25 05:04:20 +0000 | [diff] [blame] | 12 | #include "llvm/CodeGen/SSARegMap.h" |
Chris Lattner | eb24db9 | 2002-12-28 21:08:26 +0000 | [diff] [blame^] | 13 | #include "llvm/CodeGen/MachineFrameInfo.h" |
Misha Brukman | dd46e2a | 2002-12-04 23:58:08 +0000 | [diff] [blame] | 14 | #include "llvm/Target/MachineInstrInfo.h" |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 15 | #include "llvm/Target/TargetMachine.h" |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 16 | #include "Support/Statistic.h" |
Chris Lattner | abe8dd5 | 2002-12-15 18:19:24 +0000 | [diff] [blame] | 17 | #include <iostream> |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 18 | |
Misha Brukman | 59b3eed | 2002-12-13 10:42:31 +0000 | [diff] [blame] | 19 | namespace { |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 20 | Statistic<> NumSpilled ("ra-simple", "Number of registers spilled"); |
| 21 | Statistic<> NumReloaded("ra-simple", "Number of registers reloaded"); |
| 22 | |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 23 | class RegAllocSimple : public MachineFunctionPass { |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 24 | MachineFunction *MF; |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 25 | const TargetMachine *TM; |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 26 | const MRegisterInfo *RegInfo; |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 27 | |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 28 | // StackSlotForVirtReg - Maps SSA Regs => frame index on the stack where |
| 29 | // these values are spilled |
| 30 | std::map<unsigned, int> StackSlotForVirtReg; |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 31 | |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 32 | // RegsUsed - Keep track of what registers are currently in use. This is a |
| 33 | // bitset. |
| 34 | std::vector<bool> RegsUsed; |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 35 | |
| 36 | // RegClassIdx - Maps RegClass => which index we can take a register |
| 37 | // from. Since this is a simple register allocator, when we need a register |
| 38 | // of a certain class, we just take the next available one. |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 39 | std::map<const TargetRegisterClass*, unsigned> RegClassIdx; |
| 40 | |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 41 | public: |
Chris Lattner | 8233e2f | 2002-12-15 21:13:12 +0000 | [diff] [blame] | 42 | virtual const char *getPassName() const { |
| 43 | return "Simple Register Allocator"; |
| 44 | } |
| 45 | |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 46 | /// runOnMachineFunction - Register allocate the whole function |
| 47 | bool runOnMachineFunction(MachineFunction &Fn); |
| 48 | |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 49 | private: |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 50 | /// AllocateBasicBlock - Register allocate the specified basic block. |
| 51 | void AllocateBasicBlock(MachineBasicBlock &MBB); |
| 52 | |
| 53 | /// EliminatePHINodes - Eliminate phi nodes by inserting copy instructions |
| 54 | /// in predecessor basic blocks. |
| 55 | void EliminatePHINodes(MachineBasicBlock &MBB); |
| 56 | |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 57 | /// getStackSpaceFor - This returns the offset of the specified virtual |
| 58 | /// register on the stack, allocating space if neccesary. |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 59 | int getStackSpaceFor(unsigned VirtReg, const TargetRegisterClass *RC); |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 60 | |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 61 | /// Given a virtual register, return a compatible physical register that is |
| 62 | /// currently unused. |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 63 | /// |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 64 | /// Side effect: marks that register as being used until manually cleared |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 65 | /// |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 66 | unsigned getFreeReg(unsigned virtualReg); |
| 67 | |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 68 | /// Moves value from memory into that register |
Chris Lattner | b167c04 | 2002-12-15 23:01:26 +0000 | [diff] [blame] | 69 | unsigned reloadVirtReg(MachineBasicBlock &MBB, |
| 70 | MachineBasicBlock::iterator &I, unsigned VirtReg); |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 71 | |
| 72 | /// Saves reg value on the stack (maps virtual register to stack value) |
Chris Lattner | b167c04 | 2002-12-15 23:01:26 +0000 | [diff] [blame] | 73 | void spillVirtReg(MachineBasicBlock &MBB, MachineBasicBlock::iterator &I, |
| 74 | unsigned VirtReg, unsigned PhysReg); |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 75 | }; |
| 76 | |
Misha Brukman | 59b3eed | 2002-12-13 10:42:31 +0000 | [diff] [blame] | 77 | } |
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 | /// getStackSpaceFor - This allocates space for the specified virtual |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 80 | /// register to be held on the stack. |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 81 | int RegAllocSimple::getStackSpaceFor(unsigned VirtReg, |
| 82 | const TargetRegisterClass *RC) { |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 83 | // Find the location VirtReg would belong... |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 84 | std::map<unsigned, int>::iterator I = |
| 85 | StackSlotForVirtReg.lower_bound(VirtReg); |
Chris Lattner | 9593fb1 | 2002-12-15 19:07:34 +0000 | [diff] [blame] | 86 | |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 87 | if (I != StackSlotForVirtReg.end() && I->first == VirtReg) |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 88 | return I->second; // Already has space allocated? |
Chris Lattner | 9593fb1 | 2002-12-15 19:07:34 +0000 | [diff] [blame] | 89 | |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 90 | // Allocate a new stack object for this spill location... |
| 91 | int FrameIdx = |
| 92 | MF->getFrameInfo()->CreateStackObject(RC->getSize(), RC->getAlignment()); |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 93 | |
| 94 | // Assign the slot... |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 95 | StackSlotForVirtReg.insert(I, std::make_pair(VirtReg, FrameIdx)); |
| 96 | |
| 97 | return FrameIdx; |
Misha Brukman | f514d51 | 2002-12-02 21:11:58 +0000 | [diff] [blame] | 98 | } |
| 99 | |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 100 | unsigned RegAllocSimple::getFreeReg(unsigned virtualReg) { |
Chris Lattner | 5124aec | 2002-12-25 05:04:20 +0000 | [diff] [blame] | 101 | const TargetRegisterClass* RC = MF->getSSARegMap()->getRegClass(virtualReg); |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 102 | TargetRegisterClass::iterator RI = RC->allocation_order_begin(*MF); |
| 103 | TargetRegisterClass::iterator RE = RC->allocation_order_end(*MF); |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 104 | |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 105 | while (1) { |
| 106 | unsigned regIdx = RegClassIdx[RC]++; |
| 107 | assert(RI+regIdx != RE && "Not enough registers!"); |
| 108 | unsigned PhysReg = *(RI+regIdx); |
| 109 | |
| 110 | if (!RegsUsed[PhysReg]) |
| 111 | return PhysReg; |
| 112 | } |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 113 | } |
| 114 | |
Chris Lattner | b167c04 | 2002-12-15 23:01:26 +0000 | [diff] [blame] | 115 | unsigned RegAllocSimple::reloadVirtReg(MachineBasicBlock &MBB, |
| 116 | MachineBasicBlock::iterator &I, |
| 117 | unsigned VirtReg) { |
Chris Lattner | 5124aec | 2002-12-25 05:04:20 +0000 | [diff] [blame] | 118 | const TargetRegisterClass* RC = MF->getSSARegMap()->getRegClass(VirtReg); |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 119 | int FrameIdx = getStackSpaceFor(VirtReg, RC); |
Chris Lattner | b167c04 | 2002-12-15 23:01:26 +0000 | [diff] [blame] | 120 | unsigned PhysReg = getFreeReg(VirtReg); |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 121 | |
Misha Brukman | f514d51 | 2002-12-02 21:11:58 +0000 | [diff] [blame] | 122 | // Add move instruction(s) |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 123 | ++NumReloaded; |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 124 | RegInfo->loadRegFromStackSlot(MBB, I, PhysReg, FrameIdx, RC); |
Chris Lattner | b167c04 | 2002-12-15 23:01:26 +0000 | [diff] [blame] | 125 | return PhysReg; |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 126 | } |
| 127 | |
Chris Lattner | b167c04 | 2002-12-15 23:01:26 +0000 | [diff] [blame] | 128 | void RegAllocSimple::spillVirtReg(MachineBasicBlock &MBB, |
| 129 | MachineBasicBlock::iterator &I, |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 130 | unsigned VirtReg, unsigned PhysReg) { |
Chris Lattner | 5124aec | 2002-12-25 05:04:20 +0000 | [diff] [blame] | 131 | const TargetRegisterClass* RC = MF->getSSARegMap()->getRegClass(VirtReg); |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 132 | int FrameIdx = getStackSpaceFor(VirtReg, RC); |
Misha Brukman | f514d51 | 2002-12-02 21:11:58 +0000 | [diff] [blame] | 133 | |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 134 | // Add move instruction(s) |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 135 | ++NumSpilled; |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 136 | RegInfo->storeRegToStackSlot(MBB, I, PhysReg, FrameIdx, RC); |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 137 | } |
| 138 | |
Misha Brukman | dc2ec00 | 2002-12-03 23:15:19 +0000 | [diff] [blame] | 139 | |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 140 | /// EliminatePHINodes - Eliminate phi nodes by inserting copy instructions in |
| 141 | /// predecessor basic blocks. |
Chris Lattner | 8ed9eb5 | 2002-12-15 22:39:53 +0000 | [diff] [blame] | 142 | /// |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 143 | void RegAllocSimple::EliminatePHINodes(MachineBasicBlock &MBB) { |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 144 | const MachineInstrInfo &MII = TM->getInstrInfo(); |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 145 | |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 146 | while (MBB.front()->getOpcode() == MachineInstrInfo::PHI) { |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 147 | MachineInstr *MI = MBB.front(); |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 148 | // 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] | 149 | MBB.erase(MBB.begin()); |
| 150 | |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 151 | DEBUG(std::cerr << "num ops: " << MI->getNumOperands() << "\n"); |
| 152 | assert(MI->getOperand(0).isVirtualRegister() && |
| 153 | "PHI node doesn't write virt reg?"); |
| 154 | |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 155 | unsigned virtualReg = MI->getOperand(0).getAllocatedRegNum(); |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 156 | |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 157 | for (int i = MI->getNumOperands() - 1; i >= 2; i-=2) { |
| 158 | MachineOperand &opVal = MI->getOperand(i-1); |
| 159 | |
| 160 | // Get the MachineBasicBlock equivalent of the BasicBlock that is the |
| 161 | // source path the phi |
| 162 | MachineBasicBlock &opBlock = *MI->getOperand(i).getMachineBasicBlock(); |
Misha Brukman | dd46e2a | 2002-12-04 23:58:08 +0000 | [diff] [blame] | 163 | |
Chris Lattner | 3f91ad7 | 2002-12-15 20:48:03 +0000 | [diff] [blame] | 164 | // Check to make sure we haven't already emitted the copy for this block. |
| 165 | // This can happen because PHI nodes may have multiple entries for the |
| 166 | // same basic block. It doesn't matter which entry we use though, because |
| 167 | // all incoming values are guaranteed to be the same for a particular bb. |
| 168 | // |
| 169 | // Note that this is N^2 in the number of phi node entries, but since the |
| 170 | // # of entries is tiny, this is not a problem. |
| 171 | // |
| 172 | bool HaveNotEmitted = true; |
| 173 | for (int op = MI->getNumOperands() - 1; op != i; op -= 2) |
| 174 | if (&opBlock == MI->getOperand(op).getMachineBasicBlock()) { |
| 175 | HaveNotEmitted = false; |
| 176 | break; |
| 177 | } |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 178 | |
Chris Lattner | 3f91ad7 | 2002-12-15 20:48:03 +0000 | [diff] [blame] | 179 | if (HaveNotEmitted) { |
| 180 | MachineBasicBlock::iterator opI = opBlock.end(); |
| 181 | MachineInstr *opMI = *--opI; |
| 182 | |
| 183 | // must backtrack over ALL the branches in the previous block |
| 184 | while (MII.isBranch(opMI->getOpcode()) && opI != opBlock.begin()) |
| 185 | opMI = *--opI; |
| 186 | |
| 187 | // move back to the first branch instruction so new instructions |
| 188 | // 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] | 189 | // |
Chris Lattner | 3f91ad7 | 2002-12-15 20:48:03 +0000 | [diff] [blame] | 190 | if (!MII.isBranch(opMI->getOpcode())) |
| 191 | ++opI; |
Chris Lattner | 8ed9eb5 | 2002-12-15 22:39:53 +0000 | [diff] [blame] | 192 | |
Chris Lattner | 5124aec | 2002-12-25 05:04:20 +0000 | [diff] [blame] | 193 | const TargetRegisterClass *RC = |
| 194 | MF->getSSARegMap()->getRegClass(virtualReg); |
Chris Lattner | 8ed9eb5 | 2002-12-15 22:39:53 +0000 | [diff] [blame] | 195 | |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 196 | assert(opVal.isVirtualRegister() && |
| 197 | "Machine PHI Operands must all be virtual registers!"); |
| 198 | RegInfo->copyRegToReg(opBlock, opI, virtualReg, opVal.getReg(), RC); |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 199 | } |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 200 | } |
| 201 | |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 202 | // really delete the PHI instruction now! |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 203 | delete MI; |
| 204 | } |
| 205 | } |
| 206 | |
| 207 | |
| 208 | void RegAllocSimple::AllocateBasicBlock(MachineBasicBlock &MBB) { |
Chris Lattner | f605055 | 2002-12-15 21:33:51 +0000 | [diff] [blame] | 209 | // loop over each instruction |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 210 | for (MachineBasicBlock::iterator I = MBB.begin(); I != MBB.end(); ++I) { |
Chris Lattner | 01b08c5 | 2002-12-15 21:24:30 +0000 | [diff] [blame] | 211 | // Made to combat the incorrect allocation of r2 = add r1, r1 |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 212 | std::map<unsigned, unsigned> Virt2PhysRegMap; |
Chris Lattner | 01b08c5 | 2002-12-15 21:24:30 +0000 | [diff] [blame] | 213 | |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 214 | MachineInstr *MI = *I; |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 215 | |
| 216 | RegsUsed.resize(MRegisterInfo::FirstVirtualRegister); |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 217 | |
| 218 | // a preliminary pass that will invalidate any registers that |
| 219 | // are used by the instruction (including implicit uses) |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 220 | unsigned Opcode = MI->getOpcode(); |
| 221 | const MachineInstrDescriptor &Desc = TM->getInstrInfo().get(Opcode); |
| 222 | if (const unsigned *Regs = Desc.ImplicitUses) |
| 223 | while (*Regs) |
| 224 | RegsUsed[*Regs++] = true; |
| 225 | |
| 226 | if (const unsigned *Regs = Desc.ImplicitDefs) |
| 227 | while (*Regs) |
| 228 | RegsUsed[*Regs++] = true; |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 229 | |
| 230 | // Loop over uses, move from memory into registers |
| 231 | for (int i = MI->getNumOperands() - 1; i >= 0; --i) { |
| 232 | MachineOperand &op = MI->getOperand(i); |
| 233 | |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 234 | if (op.isVirtualRegister()) { |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 235 | unsigned virtualReg = (unsigned) op.getAllocatedRegNum(); |
| 236 | DEBUG(std::cerr << "op: " << op << "\n"); |
| 237 | DEBUG(std::cerr << "\t inst[" << i << "]: "; |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 238 | MI->print(std::cerr, *TM)); |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 239 | |
| 240 | // make sure the same virtual register maps to the same physical |
| 241 | // register in any given instruction |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 242 | unsigned physReg = Virt2PhysRegMap[virtualReg]; |
| 243 | if (physReg == 0) { |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 244 | if (op.opIsDef()) { |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 245 | if (TM->getInstrInfo().isTwoAddrInstr(MI->getOpcode()) && i == 0) { |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 246 | // must be same register number as the first operand |
| 247 | // 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] | 248 | assert(MI->getOperand(1).isRegister() && |
| 249 | MI->getOperand(1).getAllocatedRegNum() && |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 250 | MI->getOperand(1).opIsUse() && |
Chris Lattner | 15f96db | 2002-12-15 21:02:20 +0000 | [diff] [blame] | 251 | "Two address instruction invalid!"); |
| 252 | |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 253 | physReg = MI->getOperand(1).getAllocatedRegNum(); |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 254 | } else { |
| 255 | physReg = getFreeReg(virtualReg); |
| 256 | } |
Chris Lattner | b167c04 | 2002-12-15 23:01:26 +0000 | [diff] [blame] | 257 | ++I; |
| 258 | spillVirtReg(MBB, I, virtualReg, physReg); |
| 259 | --I; |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 260 | } else { |
Chris Lattner | b167c04 | 2002-12-15 23:01:26 +0000 | [diff] [blame] | 261 | physReg = reloadVirtReg(MBB, I, virtualReg); |
| 262 | Virt2PhysRegMap[virtualReg] = physReg; |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 263 | } |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 264 | } |
| 265 | MI->SetMachineOperandReg(i, physReg); |
| 266 | DEBUG(std::cerr << "virt: " << virtualReg << |
| 267 | ", phys: " << op.getAllocatedRegNum() << "\n"); |
| 268 | } |
| 269 | } |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 270 | RegClassIdx.clear(); |
| 271 | RegsUsed.clear(); |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 272 | } |
| 273 | } |
| 274 | |
Chris Lattner | e7d361d | 2002-12-17 04:19:40 +0000 | [diff] [blame] | 275 | |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 276 | /// runOnMachineFunction - Register allocate the whole function |
| 277 | /// |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 278 | bool RegAllocSimple::runOnMachineFunction(MachineFunction &Fn) { |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 279 | DEBUG(std::cerr << "Machine Function " << "\n"); |
| 280 | MF = &Fn; |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 281 | TM = &MF->getTarget(); |
| 282 | RegInfo = TM->getRegisterInfo(); |
Misha Brukman | dc2ec00 | 2002-12-03 23:15:19 +0000 | [diff] [blame] | 283 | |
Chris Lattner | 8ed9eb5 | 2002-12-15 22:39:53 +0000 | [diff] [blame] | 284 | // First pass: eliminate PHI instructions by inserting copies into predecessor |
| 285 | // blocks. |
| 286 | for (MachineFunction::iterator MBB = Fn.begin(), MBBe = Fn.end(); |
| 287 | MBB != MBBe; ++MBB) |
| 288 | EliminatePHINodes(*MBB); |
| 289 | |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 290 | // Loop over all of the basic blocks, eliminating virtual register references |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 291 | for (MachineFunction::iterator MBB = Fn.begin(), MBBe = Fn.end(); |
| 292 | MBB != MBBe; ++MBB) |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 293 | AllocateBasicBlock(*MBB); |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 294 | |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 295 | StackSlotForVirtReg.clear(); |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 296 | return true; |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 297 | } |
| 298 | |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 299 | Pass *createSimpleRegisterAllocator() { |
| 300 | return new RegAllocSimple(); |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 301 | } |