| 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 | 
 | 129 |     MachineBasicBlock::iterator | 
| Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 130 |     moveUseToReg(MachineBasicBlock &MBB, MachineBasicBlock::iterator I, | 
 | 131 |                  unsigned VirtReg, unsigned &PhysReg); | 
| Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 132 |  | 
 | 133 |     /// Saves reg value on the stack (maps virtual register to stack value) | 
 | 134 |     MachineBasicBlock::iterator | 
| Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 135 |     saveVirtRegToStack(MachineBasicBlock &MBB, MachineBasicBlock::iterator I, | 
 | 136 |                        unsigned VirtReg, unsigned PhysReg); | 
| Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 137 |   }; | 
 | 138 |  | 
| Misha Brukman | 59b3eed | 2002-12-13 10:42:31 +0000 | [diff] [blame] | 139 | } | 
| Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 140 |  | 
| Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 141 | /// getStackSpaceFor - This allocates space for the specified virtual | 
| Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 142 | /// register to be held on the stack. | 
| Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 143 | unsigned RegAllocSimple::getStackSpaceFor(unsigned VirtReg, | 
 | 144 |                                           const TargetRegisterClass *regClass) { | 
 | 145 |   // Find the location VirtReg would belong... | 
 | 146 |   std::map<unsigned, unsigned>::iterator I = | 
 | 147 |     VirtReg2OffsetMap.lower_bound(VirtReg); | 
| Chris Lattner | 9593fb1 | 2002-12-15 19:07:34 +0000 | [diff] [blame] | 148 |  | 
| Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 149 |   if (I != VirtReg2OffsetMap.end() && I->first == VirtReg) | 
 | 150 |     return I->second;          // Already has space allocated? | 
| 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 |   unsigned RegSize = regClass->getDataSize(); | 
| Chris Lattner | 9593fb1 | 2002-12-15 19:07:34 +0000 | [diff] [blame] | 153 |  | 
| Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 154 |   // Align NumBytesAllocated.  We should be using TargetData alignment stuff | 
 | 155 |   // to determine this, but we don't know the LLVM type associated with the | 
 | 156 |   // virtual register.  Instead, just align to a multiple of the size for now. | 
 | 157 |   NumBytesAllocated += RegSize-1; | 
 | 158 |   NumBytesAllocated = NumBytesAllocated/RegSize*RegSize; | 
 | 159 |    | 
 | 160 |   // Assign the slot... | 
 | 161 |   VirtReg2OffsetMap.insert(I, std::make_pair(VirtReg, NumBytesAllocated)); | 
 | 162 |    | 
 | 163 |   // Reserve the space! | 
 | 164 |   NumBytesAllocated += RegSize; | 
 | 165 |   return NumBytesAllocated-RegSize; | 
| Misha Brukman | f514d51 | 2002-12-02 21:11:58 +0000 | [diff] [blame] | 166 | } | 
 | 167 |  | 
| Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 168 | unsigned RegAllocSimple::getFreeReg(unsigned virtualReg) { | 
 | 169 |   const TargetRegisterClass* regClass = MF->getRegClass(virtualReg); | 
| Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 170 |    | 
 | 171 |   unsigned regIdx = RegClassIdx[regClass]++; | 
 | 172 |   assert(regIdx < regClass->getNumRegs() && "Not enough registers!"); | 
 | 173 |   unsigned physReg = regClass->getRegister(regIdx); | 
| Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 174 |  | 
| Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 175 |   if (RegsUsed.find(physReg) == RegsUsed.end()) | 
| Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 176 |     return physReg; | 
| Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 177 |   else | 
| Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 178 |     return getFreeReg(virtualReg); | 
| Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 179 | } | 
 | 180 |  | 
 | 181 | MachineBasicBlock::iterator | 
| Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 182 | RegAllocSimple::moveUseToReg (MachineBasicBlock &MBB, | 
| Misha Brukman | 203b769 | 2002-12-13 09:54:36 +0000 | [diff] [blame] | 183 |                               MachineBasicBlock::iterator I, | 
| Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 184 |                               unsigned VirtReg, unsigned &PhysReg) | 
 | 185 | { | 
 | 186 |   const TargetRegisterClass* regClass = MF->getRegClass(VirtReg); | 
| Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 187 |   unsigned stackOffset = getStackSpaceFor(VirtReg, regClass); | 
| Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 188 |   PhysReg = getFreeReg(VirtReg); | 
 | 189 |  | 
| Misha Brukman | f514d51 | 2002-12-02 21:11:58 +0000 | [diff] [blame] | 190 |   // Add move instruction(s) | 
| Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 191 |   ++NumReloaded; | 
| Chris Lattner | 198ab64 | 2002-12-15 20:06:35 +0000 | [diff] [blame] | 192 |   return RegInfo->loadRegOffset2Reg(MBB, I, PhysReg, | 
| Misha Brukman | f514d51 | 2002-12-02 21:11:58 +0000 | [diff] [blame] | 193 |                                     RegInfo->getFramePointer(), | 
| Misha Brukman | dd46e2a | 2002-12-04 23:58:08 +0000 | [diff] [blame] | 194 |                                     -stackOffset, regClass->getDataSize()); | 
| Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 195 | } | 
 | 196 |  | 
 | 197 | MachineBasicBlock::iterator | 
| Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 198 | RegAllocSimple::saveVirtRegToStack (MachineBasicBlock &MBB, | 
| Misha Brukman | 203b769 | 2002-12-13 09:54:36 +0000 | [diff] [blame] | 199 |                                     MachineBasicBlock::iterator I, | 
| Misha Brukman | dc2ec00 | 2002-12-03 23:15:19 +0000 | [diff] [blame] | 200 |                                     unsigned VirtReg, unsigned PhysReg) | 
| Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 201 | { | 
 | 202 |   const TargetRegisterClass* regClass = MF->getRegClass(VirtReg); | 
| Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 203 |   unsigned stackOffset = getStackSpaceFor(VirtReg, regClass); | 
| Misha Brukman | f514d51 | 2002-12-02 21:11:58 +0000 | [diff] [blame] | 204 |  | 
| Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 205 |   // Add move instruction(s) | 
| Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 206 |   ++NumSpilled; | 
| Chris Lattner | 198ab64 | 2002-12-15 20:06:35 +0000 | [diff] [blame] | 207 |   return RegInfo->storeReg2RegOffset(MBB, I, PhysReg, | 
| Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 208 |                                      RegInfo->getFramePointer(), | 
| Misha Brukman | dd46e2a | 2002-12-04 23:58:08 +0000 | [diff] [blame] | 209 |                                      -stackOffset, regClass->getDataSize()); | 
| Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 210 | } | 
 | 211 |  | 
| Misha Brukman | dc2ec00 | 2002-12-03 23:15:19 +0000 | [diff] [blame] | 212 |  | 
| Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 213 | /// EliminatePHINodes - Eliminate phi nodes by inserting copy instructions in | 
 | 214 | /// predecessor basic blocks. | 
| Chris Lattner | 8ed9eb5 | 2002-12-15 22:39:53 +0000 | [diff] [blame^] | 215 | /// | 
| Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 216 | void RegAllocSimple::EliminatePHINodes(MachineBasicBlock &MBB) { | 
| Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 217 |   const MachineInstrInfo &MII = TM.getInstrInfo(); | 
 | 218 |  | 
| Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 219 |   while (MBB.front()->getOpcode() == MachineInstrInfo::PHI) { | 
| Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 220 |     MachineInstr *MI = MBB.front(); | 
| Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 221 |     // 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] | 222 |     MBB.erase(MBB.begin()); | 
 | 223 |      | 
| Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 224 |     DEBUG(std::cerr << "num ops: " << MI->getNumOperands() << "\n"); | 
 | 225 |     assert(MI->getOperand(0).isVirtualRegister() && | 
 | 226 |            "PHI node doesn't write virt reg?"); | 
 | 227 |  | 
| Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 228 |     unsigned virtualReg = MI->getOperand(0).getAllocatedRegNum(); | 
| Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 229 |      | 
| Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 230 |     for (int i = MI->getNumOperands() - 1; i >= 2; i-=2) { | 
 | 231 |       MachineOperand &opVal = MI->getOperand(i-1); | 
 | 232 |        | 
 | 233 |       // Get the MachineBasicBlock equivalent of the BasicBlock that is the | 
 | 234 |       // source path the phi | 
 | 235 |       MachineBasicBlock &opBlock = *MI->getOperand(i).getMachineBasicBlock(); | 
| Misha Brukman | dd46e2a | 2002-12-04 23:58:08 +0000 | [diff] [blame] | 236 |  | 
| Chris Lattner | 3f91ad7 | 2002-12-15 20:48:03 +0000 | [diff] [blame] | 237 |       // Check to make sure we haven't already emitted the copy for this block. | 
 | 238 |       // This can happen because PHI nodes may have multiple entries for the | 
 | 239 |       // same basic block.  It doesn't matter which entry we use though, because | 
 | 240 |       // all incoming values are guaranteed to be the same for a particular bb. | 
 | 241 |       // | 
 | 242 |       // Note that this is N^2 in the number of phi node entries, but since the | 
 | 243 |       // # of entries is tiny, this is not a problem. | 
 | 244 |       // | 
 | 245 |       bool HaveNotEmitted = true; | 
 | 246 |       for (int op = MI->getNumOperands() - 1; op != i; op -= 2) | 
 | 247 |         if (&opBlock == MI->getOperand(op).getMachineBasicBlock()) { | 
 | 248 |           HaveNotEmitted = false; | 
 | 249 |           break; | 
 | 250 |         } | 
| Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 251 |  | 
| Chris Lattner | 3f91ad7 | 2002-12-15 20:48:03 +0000 | [diff] [blame] | 252 |       if (HaveNotEmitted) { | 
 | 253 |         MachineBasicBlock::iterator opI = opBlock.end(); | 
 | 254 |         MachineInstr *opMI = *--opI; | 
 | 255 |          | 
 | 256 |         // must backtrack over ALL the branches in the previous block | 
 | 257 |         while (MII.isBranch(opMI->getOpcode()) && opI != opBlock.begin()) | 
 | 258 |           opMI = *--opI; | 
 | 259 |          | 
 | 260 |         // move back to the first branch instruction so new instructions | 
 | 261 |         // are inserted right in front of it and not in front of a non-branch | 
 | 262 |         if (!MII.isBranch(opMI->getOpcode())) | 
 | 263 |           ++opI; | 
| Chris Lattner | 8ed9eb5 | 2002-12-15 22:39:53 +0000 | [diff] [blame^] | 264 |  | 
 | 265 |         unsigned dataSize = MF->getRegClass(virtualReg)->getDataSize(); | 
 | 266 |  | 
| Chris Lattner | 3f91ad7 | 2002-12-15 20:48:03 +0000 | [diff] [blame] | 267 |         // Retrieve the constant value from this op, move it to target | 
 | 268 |         // register of the phi | 
 | 269 |         if (opVal.isImmediate()) { | 
| Chris Lattner | 8ed9eb5 | 2002-12-15 22:39:53 +0000 | [diff] [blame^] | 270 |           opI = RegInfo->moveImm2Reg(opBlock, opI, virtualReg, | 
| Chris Lattner | 3f91ad7 | 2002-12-15 20:48:03 +0000 | [diff] [blame] | 271 |                                      (unsigned) opVal.getImmedValue(), | 
 | 272 |                                      dataSize); | 
| Chris Lattner | 3f91ad7 | 2002-12-15 20:48:03 +0000 | [diff] [blame] | 273 |         } else { | 
| Chris Lattner | 8ed9eb5 | 2002-12-15 22:39:53 +0000 | [diff] [blame^] | 274 |           opI = RegInfo->moveReg2Reg(opBlock, opI, virtualReg, | 
 | 275 |                                      opVal.getAllocatedRegNum(), dataSize); | 
| Chris Lattner | 3f91ad7 | 2002-12-15 20:48:03 +0000 | [diff] [blame] | 276 |         } | 
| Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 277 |       } | 
| Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 278 |     } | 
 | 279 |      | 
| Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 280 |     // really delete the PHI instruction now! | 
| Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 281 |     delete MI; | 
 | 282 |   } | 
 | 283 | } | 
 | 284 |  | 
 | 285 |  | 
 | 286 | void RegAllocSimple::AllocateBasicBlock(MachineBasicBlock &MBB) { | 
| Chris Lattner | f605055 | 2002-12-15 21:33:51 +0000 | [diff] [blame] | 287 |   // loop over each instruction | 
| Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 288 |   for (MachineBasicBlock::iterator I = MBB.begin(); I != MBB.end(); ++I) { | 
| Chris Lattner | 01b08c5 | 2002-12-15 21:24:30 +0000 | [diff] [blame] | 289 |     // Made to combat the incorrect allocation of r2 = add r1, r1 | 
| Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 290 |     std::map<unsigned, unsigned> Virt2PhysRegMap; | 
| Chris Lattner | 01b08c5 | 2002-12-15 21:24:30 +0000 | [diff] [blame] | 291 |  | 
| Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 292 |     MachineInstr *MI = *I; | 
 | 293 |      | 
 | 294 |     // a preliminary pass that will invalidate any registers that | 
 | 295 |     // are used by the instruction (including implicit uses) | 
 | 296 |     invalidatePhysRegs(MI); | 
 | 297 |      | 
 | 298 |     // Loop over uses, move from memory into registers | 
 | 299 |     for (int i = MI->getNumOperands() - 1; i >= 0; --i) { | 
 | 300 |       MachineOperand &op = MI->getOperand(i); | 
 | 301 |        | 
| Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 302 |       if (op.isVirtualRegister()) { | 
| Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 303 |         unsigned virtualReg = (unsigned) op.getAllocatedRegNum(); | 
 | 304 |         DEBUG(std::cerr << "op: " << op << "\n"); | 
 | 305 |         DEBUG(std::cerr << "\t inst[" << i << "]: "; | 
 | 306 |               MI->print(std::cerr, TM)); | 
 | 307 |          | 
 | 308 |         // make sure the same virtual register maps to the same physical | 
 | 309 |         // register in any given instruction | 
| Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 310 |         unsigned physReg = Virt2PhysRegMap[virtualReg]; | 
 | 311 |         if (physReg == 0) { | 
| Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 312 |           if (op.opIsDef()) { | 
 | 313 |             if (TM.getInstrInfo().isTwoAddrInstr(MI->getOpcode()) && i == 0) { | 
 | 314 |               // must be same register number as the first operand | 
 | 315 |               // 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] | 316 |               assert(MI->getOperand(1).isRegister()  && | 
 | 317 |                      MI->getOperand(1).getAllocatedRegNum() && | 
| Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 318 |                      MI->getOperand(1).opIsUse() && | 
| Chris Lattner | 15f96db | 2002-12-15 21:02:20 +0000 | [diff] [blame] | 319 |                      "Two address instruction invalid!"); | 
 | 320 |  | 
| Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 321 |               physReg = MI->getOperand(1).getAllocatedRegNum(); | 
| Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 322 |             } else { | 
 | 323 |               physReg = getFreeReg(virtualReg); | 
 | 324 |             } | 
| Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 325 |             I = --saveVirtRegToStack(MBB, ++I, virtualReg, physReg); | 
| Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 326 |           } else { | 
 | 327 |             I = moveUseToReg(MBB, I, virtualReg, physReg); | 
 | 328 |           } | 
| Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 329 |           Virt2PhysRegMap[virtualReg] = physReg; | 
| Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 330 |         } | 
 | 331 |         MI->SetMachineOperandReg(i, physReg); | 
 | 332 |         DEBUG(std::cerr << "virt: " << virtualReg <<  | 
 | 333 |               ", phys: " << op.getAllocatedRegNum() << "\n"); | 
 | 334 |       } | 
 | 335 |     } | 
| Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 336 |     clearAllRegs(); | 
| Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 337 |   } | 
 | 338 | } | 
 | 339 |  | 
| Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 340 | /// runOnMachineFunction - Register allocate the whole function | 
 | 341 | /// | 
| Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 342 | bool RegAllocSimple::runOnMachineFunction(MachineFunction &Fn) { | 
| Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 343 |   DEBUG(std::cerr << "Machine Function " << "\n"); | 
 | 344 |   MF = &Fn; | 
| Misha Brukman | dc2ec00 | 2002-12-03 23:15:19 +0000 | [diff] [blame] | 345 |  | 
| Chris Lattner | 8ed9eb5 | 2002-12-15 22:39:53 +0000 | [diff] [blame^] | 346 |   // First pass: eliminate PHI instructions by inserting copies into predecessor | 
 | 347 |   // blocks. | 
 | 348 |   for (MachineFunction::iterator MBB = Fn.begin(), MBBe = Fn.end(); | 
 | 349 |        MBB != MBBe; ++MBB) | 
 | 350 |     EliminatePHINodes(*MBB); | 
 | 351 |  | 
| Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 352 |   // Loop over all of the basic blocks, eliminating virtual register references | 
| Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 353 |   for (MachineFunction::iterator MBB = Fn.begin(), MBBe = Fn.end(); | 
 | 354 |        MBB != MBBe; ++MBB) | 
| Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 355 |     AllocateBasicBlock(*MBB); | 
| Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 356 |  | 
| Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 357 |   // Add prologue to the function... | 
| Chris Lattner | 198ab64 | 2002-12-15 20:06:35 +0000 | [diff] [blame] | 358 |   RegInfo->emitPrologue(Fn, NumBytesAllocated); | 
| Misha Brukman | dd46e2a | 2002-12-04 23:58:08 +0000 | [diff] [blame] | 359 |  | 
| Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 360 |   const MachineInstrInfo &MII = TM.getInstrInfo(); | 
 | 361 |  | 
| Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 362 |   // Add epilogue to restore the callee-save registers in each exiting block | 
| Misha Brukman | dd46e2a | 2002-12-04 23:58:08 +0000 | [diff] [blame] | 363 |   for (MachineFunction::iterator MBB = Fn.begin(), MBBe = Fn.end(); | 
| Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 364 |        MBB != MBBe; ++MBB) { | 
| Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 365 |     // If last instruction is a return instruction, add an epilogue | 
 | 366 |     if (MII.isReturn(MBB->back()->getOpcode())) | 
| Chris Lattner | 198ab64 | 2002-12-15 20:06:35 +0000 | [diff] [blame] | 367 |       RegInfo->emitEpilogue(*MBB, NumBytesAllocated); | 
| Misha Brukman | dd46e2a | 2002-12-04 23:58:08 +0000 | [diff] [blame] | 368 |   } | 
| Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 369 |  | 
| Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 370 |   cleanupAfterFunction(); | 
| Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 371 |   return true; | 
| Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 372 | } | 
 | 373 |  | 
 | 374 | Pass *createSimpleX86RegisterAllocator(TargetMachine &TM) { | 
 | 375 |   return new RegAllocSimple(TM); | 
 | 376 | } |