Chris Lattner | c63d63a | 2002-12-16 14:37:00 +0000 | [diff] [blame] | 1 | //===-- RegAllocSimple.cpp - A simple generic register allocator ----------===// |
John Criswell | 482202a | 2003-10-20 19:43:21 +0000 | [diff] [blame] | 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file was developed by the LLVM research group and is distributed under |
| 6 | // the University of Illinois Open Source License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
Misha Brukman | 60286d0 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 9 | // |
Chris Lattner | bf9d12a | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 10 | // This file implements a simple register allocator. *Very* simple: It immediate |
| 11 | // spills every value right after it is computed, and it reloads all used |
| 12 | // operands from the spill area to temporary registers before each instruction. |
| 13 | // It does not keep values in registers across instructions. |
Misha Brukman | 60286d0 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 14 | // |
| 15 | //===----------------------------------------------------------------------===// |
| 16 | |
Chris Lattner | 74e4e9b | 2003-08-03 21:47:31 +0000 | [diff] [blame] | 17 | #define DEBUG_TYPE "regalloc" |
Chris Lattner | cbedb8b | 2003-01-13 00:26:08 +0000 | [diff] [blame] | 18 | #include "llvm/CodeGen/Passes.h" |
Chris Lattner | bf9d12a | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 19 | #include "llvm/CodeGen/MachineFunctionPass.h" |
Chris Lattner | cf1955c | 2002-12-15 18:19:24 +0000 | [diff] [blame] | 20 | #include "llvm/CodeGen/MachineInstr.h" |
Chris Lattner | ee73450 | 2002-12-25 05:04:20 +0000 | [diff] [blame] | 21 | #include "llvm/CodeGen/SSARegMap.h" |
Chris Lattner | ca4362f | 2002-12-28 21:08:26 +0000 | [diff] [blame] | 22 | #include "llvm/CodeGen/MachineFrameInfo.h" |
Chris Lattner | b4d58d7 | 2003-01-14 22:00:31 +0000 | [diff] [blame] | 23 | #include "llvm/Target/TargetInstrInfo.h" |
Misha Brukman | 60286d0 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 24 | #include "llvm/Target/TargetMachine.h" |
Chris Lattner | 1007f03 | 2003-08-01 22:21:34 +0000 | [diff] [blame] | 25 | #include "Support/Debug.h" |
Misha Brukman | 60286d0 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 26 | #include "Support/Statistic.h" |
Alkis Evlogimenos | c31ff79 | 2004-02-23 04:12:30 +0000 | [diff] [blame^] | 27 | #include "Support/STLExtras.h" |
Chris Lattner | cf1955c | 2002-12-15 18:19:24 +0000 | [diff] [blame] | 28 | #include <iostream> |
Chris Lattner | a8d97e4 | 2004-02-15 21:38:28 +0000 | [diff] [blame] | 29 | using namespace llvm; |
Brian Gaeke | 960707c | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 30 | |
Misha Brukman | 89ff3fb | 2002-12-13 10:42:31 +0000 | [diff] [blame] | 31 | namespace { |
Alkis Evlogimenos | d0a60b7 | 2004-02-19 06:19:09 +0000 | [diff] [blame] | 32 | Statistic<> NumStores("ra-simple", "Number of stores added"); |
| 33 | Statistic<> NumLoads ("ra-simple", "Number of loads added"); |
Chris Lattner | dfa238f | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 34 | |
Chris Lattner | bf9d12a | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 35 | class RegAllocSimple : public MachineFunctionPass { |
Misha Brukman | 60286d0 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 36 | MachineFunction *MF; |
Chris Lattner | bf9d12a | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 37 | const TargetMachine *TM; |
Misha Brukman | 60286d0 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 38 | const MRegisterInfo *RegInfo; |
Misha Brukman | 60286d0 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 39 | |
Chris Lattner | bf9d12a | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 40 | // StackSlotForVirtReg - Maps SSA Regs => frame index on the stack where |
| 41 | // these values are spilled |
| 42 | std::map<unsigned, int> StackSlotForVirtReg; |
Misha Brukman | 60286d0 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 43 | |
Chris Lattner | bf9d12a | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 44 | // RegsUsed - Keep track of what registers are currently in use. This is a |
| 45 | // bitset. |
| 46 | std::vector<bool> RegsUsed; |
Chris Lattner | dfa238f | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 47 | |
| 48 | // RegClassIdx - Maps RegClass => which index we can take a register |
| 49 | // from. Since this is a simple register allocator, when we need a register |
| 50 | // of a certain class, we just take the next available one. |
Misha Brukman | 60286d0 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 51 | std::map<const TargetRegisterClass*, unsigned> RegClassIdx; |
| 52 | |
Chris Lattner | dfa238f | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 53 | public: |
Chris Lattner | 1499e5a | 2002-12-15 21:13:12 +0000 | [diff] [blame] | 54 | virtual const char *getPassName() const { |
| 55 | return "Simple Register Allocator"; |
| 56 | } |
| 57 | |
Chris Lattner | dfa238f | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 58 | /// runOnMachineFunction - Register allocate the whole function |
| 59 | bool runOnMachineFunction(MachineFunction &Fn); |
| 60 | |
Chris Lattner | cbedb8b | 2003-01-13 00:26:08 +0000 | [diff] [blame] | 61 | virtual void getAnalysisUsage(AnalysisUsage &AU) const { |
| 62 | AU.addRequiredID(PHIEliminationID); // Eliminate PHI nodes |
| 63 | MachineFunctionPass::getAnalysisUsage(AU); |
| 64 | } |
Chris Lattner | bf9d12a | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 65 | private: |
Chris Lattner | dfa238f | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 66 | /// AllocateBasicBlock - Register allocate the specified basic block. |
| 67 | void AllocateBasicBlock(MachineBasicBlock &MBB); |
| 68 | |
Chris Lattner | 292083a | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 69 | /// getStackSpaceFor - This returns the offset of the specified virtual |
Misha Brukman | 7eb05a1 | 2003-08-18 14:43:39 +0000 | [diff] [blame] | 70 | /// register on the stack, allocating space if necessary. |
Chris Lattner | bf9d12a | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 71 | int getStackSpaceFor(unsigned VirtReg, const TargetRegisterClass *RC); |
Misha Brukman | 60286d0 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 72 | |
Chris Lattner | 292083a | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 73 | /// Given a virtual register, return a compatible physical register that is |
| 74 | /// currently unused. |
Chris Lattner | dfa238f | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 75 | /// |
Misha Brukman | 60286d0 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 76 | /// Side effect: marks that register as being used until manually cleared |
Chris Lattner | dfa238f | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 77 | /// |
Misha Brukman | 60286d0 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 78 | unsigned getFreeReg(unsigned virtualReg); |
| 79 | |
Misha Brukman | 60286d0 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 80 | /// Moves value from memory into that register |
Chris Lattner | bc1e670 | 2002-12-15 23:01:26 +0000 | [diff] [blame] | 81 | unsigned reloadVirtReg(MachineBasicBlock &MBB, |
Alkis Evlogimenos | c31ff79 | 2004-02-23 04:12:30 +0000 | [diff] [blame^] | 82 | MachineBasicBlock::iterator I, unsigned VirtReg); |
Misha Brukman | 60286d0 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 83 | |
| 84 | /// Saves reg value on the stack (maps virtual register to stack value) |
Alkis Evlogimenos | c31ff79 | 2004-02-23 04:12:30 +0000 | [diff] [blame^] | 85 | void spillVirtReg(MachineBasicBlock &MBB, MachineBasicBlock::iterator I, |
Chris Lattner | bc1e670 | 2002-12-15 23:01:26 +0000 | [diff] [blame] | 86 | unsigned VirtReg, unsigned PhysReg); |
Misha Brukman | 60286d0 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 87 | }; |
| 88 | |
Misha Brukman | 89ff3fb | 2002-12-13 10:42:31 +0000 | [diff] [blame] | 89 | } |
Misha Brukman | 60286d0 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 90 | |
Chris Lattner | 292083a | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 91 | /// getStackSpaceFor - This allocates space for the specified virtual |
Chris Lattner | c1c7cc2 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 92 | /// register to be held on the stack. |
Chris Lattner | bf9d12a | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 93 | int RegAllocSimple::getStackSpaceFor(unsigned VirtReg, |
| 94 | const TargetRegisterClass *RC) { |
Chris Lattner | 292083a | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 95 | // Find the location VirtReg would belong... |
Chris Lattner | bf9d12a | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 96 | std::map<unsigned, int>::iterator I = |
| 97 | StackSlotForVirtReg.lower_bound(VirtReg); |
Chris Lattner | f2acd84 | 2002-12-15 19:07:34 +0000 | [diff] [blame] | 98 | |
Chris Lattner | bf9d12a | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 99 | if (I != StackSlotForVirtReg.end() && I->first == VirtReg) |
Chris Lattner | 292083a | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 100 | return I->second; // Already has space allocated? |
Chris Lattner | f2acd84 | 2002-12-15 19:07:34 +0000 | [diff] [blame] | 101 | |
Chris Lattner | bf9d12a | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 102 | // Allocate a new stack object for this spill location... |
Chris Lattner | cbedb8b | 2003-01-13 00:26:08 +0000 | [diff] [blame] | 103 | int FrameIdx = MF->getFrameInfo()->CreateStackObject(RC); |
Chris Lattner | 292083a | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 104 | |
| 105 | // Assign the slot... |
Chris Lattner | bf9d12a | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 106 | StackSlotForVirtReg.insert(I, std::make_pair(VirtReg, FrameIdx)); |
| 107 | |
| 108 | return FrameIdx; |
Misha Brukman | 2e035d6 | 2002-12-02 21:11:58 +0000 | [diff] [blame] | 109 | } |
| 110 | |
Misha Brukman | 60286d0 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 111 | unsigned RegAllocSimple::getFreeReg(unsigned virtualReg) { |
Chris Lattner | ee73450 | 2002-12-25 05:04:20 +0000 | [diff] [blame] | 112 | const TargetRegisterClass* RC = MF->getSSARegMap()->getRegClass(virtualReg); |
Chris Lattner | bf9d12a | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 113 | TargetRegisterClass::iterator RI = RC->allocation_order_begin(*MF); |
| 114 | TargetRegisterClass::iterator RE = RC->allocation_order_end(*MF); |
Misha Brukman | 60286d0 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 115 | |
Chris Lattner | bf9d12a | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 116 | while (1) { |
| 117 | unsigned regIdx = RegClassIdx[RC]++; |
| 118 | assert(RI+regIdx != RE && "Not enough registers!"); |
| 119 | unsigned PhysReg = *(RI+regIdx); |
| 120 | |
| 121 | if (!RegsUsed[PhysReg]) |
| 122 | return PhysReg; |
| 123 | } |
Misha Brukman | 60286d0 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 124 | } |
| 125 | |
Chris Lattner | bc1e670 | 2002-12-15 23:01:26 +0000 | [diff] [blame] | 126 | unsigned RegAllocSimple::reloadVirtReg(MachineBasicBlock &MBB, |
Alkis Evlogimenos | c31ff79 | 2004-02-23 04:12:30 +0000 | [diff] [blame^] | 127 | MachineBasicBlock::iterator I, |
Chris Lattner | bc1e670 | 2002-12-15 23:01:26 +0000 | [diff] [blame] | 128 | unsigned VirtReg) { |
Chris Lattner | ee73450 | 2002-12-25 05:04:20 +0000 | [diff] [blame] | 129 | const TargetRegisterClass* RC = MF->getSSARegMap()->getRegClass(VirtReg); |
Chris Lattner | bf9d12a | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 130 | int FrameIdx = getStackSpaceFor(VirtReg, RC); |
Chris Lattner | bc1e670 | 2002-12-15 23:01:26 +0000 | [diff] [blame] | 131 | unsigned PhysReg = getFreeReg(VirtReg); |
Misha Brukman | 60286d0 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 132 | |
Misha Brukman | 2e035d6 | 2002-12-02 21:11:58 +0000 | [diff] [blame] | 133 | // Add move instruction(s) |
Alkis Evlogimenos | d0a60b7 | 2004-02-19 06:19:09 +0000 | [diff] [blame] | 134 | ++NumLoads; |
Chris Lattner | bf9d12a | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 135 | RegInfo->loadRegFromStackSlot(MBB, I, PhysReg, FrameIdx, RC); |
Chris Lattner | bc1e670 | 2002-12-15 23:01:26 +0000 | [diff] [blame] | 136 | return PhysReg; |
Misha Brukman | 60286d0 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 137 | } |
| 138 | |
Chris Lattner | bc1e670 | 2002-12-15 23:01:26 +0000 | [diff] [blame] | 139 | void RegAllocSimple::spillVirtReg(MachineBasicBlock &MBB, |
Alkis Evlogimenos | c31ff79 | 2004-02-23 04:12:30 +0000 | [diff] [blame^] | 140 | MachineBasicBlock::iterator I, |
Chris Lattner | bf9d12a | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 141 | unsigned VirtReg, unsigned PhysReg) { |
Chris Lattner | ee73450 | 2002-12-25 05:04:20 +0000 | [diff] [blame] | 142 | const TargetRegisterClass* RC = MF->getSSARegMap()->getRegClass(VirtReg); |
Chris Lattner | bf9d12a | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 143 | int FrameIdx = getStackSpaceFor(VirtReg, RC); |
Misha Brukman | 2e035d6 | 2002-12-02 21:11:58 +0000 | [diff] [blame] | 144 | |
Misha Brukman | 60286d0 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 145 | // Add move instruction(s) |
Alkis Evlogimenos | d0a60b7 | 2004-02-19 06:19:09 +0000 | [diff] [blame] | 146 | ++NumStores; |
Chris Lattner | bf9d12a | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 147 | RegInfo->storeRegToStackSlot(MBB, I, PhysReg, FrameIdx, RC); |
Misha Brukman | 60286d0 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 148 | } |
| 149 | |
Misha Brukman | a8ad932 | 2002-12-03 23:15:19 +0000 | [diff] [blame] | 150 | |
Chris Lattner | c1c7cc2 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 151 | void RegAllocSimple::AllocateBasicBlock(MachineBasicBlock &MBB) { |
Chris Lattner | 2af545d | 2002-12-15 21:33:51 +0000 | [diff] [blame] | 152 | // loop over each instruction |
Alkis Evlogimenos | 80da865 | 2004-02-12 02:27:10 +0000 | [diff] [blame] | 153 | for (MachineBasicBlock::iterator MI = MBB.begin(); MI != MBB.end(); ++MI) { |
Chris Lattner | ed594b6 | 2002-12-15 21:24:30 +0000 | [diff] [blame] | 154 | // Made to combat the incorrect allocation of r2 = add r1, r1 |
Chris Lattner | 292083a | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 155 | std::map<unsigned, unsigned> Virt2PhysRegMap; |
Chris Lattner | ed594b6 | 2002-12-15 21:24:30 +0000 | [diff] [blame] | 156 | |
Alkis Evlogimenos | bbf5393 | 2004-02-15 21:37:17 +0000 | [diff] [blame] | 157 | RegsUsed.resize(RegInfo->getNumRegs()); |
Chris Lattner | c1c7cc2 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 158 | |
| 159 | // a preliminary pass that will invalidate any registers that |
| 160 | // are used by the instruction (including implicit uses) |
Chris Lattner | bf9d12a | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 161 | unsigned Opcode = MI->getOpcode(); |
Chris Lattner | b4d58d7 | 2003-01-14 22:00:31 +0000 | [diff] [blame] | 162 | const TargetInstrDescriptor &Desc = TM->getInstrInfo().get(Opcode); |
Alkis Evlogimenos | 5f1f337 | 2003-10-08 05:20:08 +0000 | [diff] [blame] | 163 | const unsigned *Regs = Desc.ImplicitUses; |
| 164 | while (*Regs) |
| 165 | RegsUsed[*Regs++] = true; |
Chris Lattner | bf9d12a | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 166 | |
Alkis Evlogimenos | 5f1f337 | 2003-10-08 05:20:08 +0000 | [diff] [blame] | 167 | Regs = Desc.ImplicitDefs; |
| 168 | while (*Regs) |
| 169 | RegsUsed[*Regs++] = true; |
Chris Lattner | c1c7cc2 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 170 | |
| 171 | // Loop over uses, move from memory into registers |
| 172 | for (int i = MI->getNumOperands() - 1; i >= 0; --i) { |
| 173 | MachineOperand &op = MI->getOperand(i); |
| 174 | |
Chris Lattner | 5dd5be3 | 2004-02-10 21:12:22 +0000 | [diff] [blame] | 175 | if (op.isRegister() && MRegisterInfo::isVirtualRegister(op.getReg())) { |
Alkis Evlogimenos | 8cdd021 | 2004-02-13 21:01:20 +0000 | [diff] [blame] | 176 | unsigned virtualReg = (unsigned) op.getReg(); |
Chris Lattner | c1c7cc2 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 177 | DEBUG(std::cerr << "op: " << op << "\n"); |
| 178 | DEBUG(std::cerr << "\t inst[" << i << "]: "; |
Chris Lattner | bf9d12a | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 179 | MI->print(std::cerr, *TM)); |
Chris Lattner | c1c7cc2 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 180 | |
| 181 | // make sure the same virtual register maps to the same physical |
| 182 | // register in any given instruction |
Chris Lattner | 292083a | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 183 | unsigned physReg = Virt2PhysRegMap[virtualReg]; |
| 184 | if (physReg == 0) { |
Alkis Evlogimenos | aaba463 | 2003-12-14 13:24:17 +0000 | [diff] [blame] | 185 | if (op.isDef()) { |
Chris Lattner | a8d97e4 | 2004-02-15 21:38:28 +0000 | [diff] [blame] | 186 | if (!TM->getInstrInfo().isTwoAddrInstr(MI->getOpcode()) || i) { |
| 187 | physReg = getFreeReg(virtualReg); |
| 188 | } else { |
Chris Lattner | c1c7cc2 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 189 | // must be same register number as the first operand |
| 190 | // This maps a = b + c into b += c, and saves b into a's spot |
Chris Lattner | 2979a85 | 2002-12-15 21:02:20 +0000 | [diff] [blame] | 191 | assert(MI->getOperand(1).isRegister() && |
Alkis Evlogimenos | 8cdd021 | 2004-02-13 21:01:20 +0000 | [diff] [blame] | 192 | MI->getOperand(1).getReg() && |
Alkis Evlogimenos | aaba463 | 2003-12-14 13:24:17 +0000 | [diff] [blame] | 193 | MI->getOperand(1).isUse() && |
Chris Lattner | 2979a85 | 2002-12-15 21:02:20 +0000 | [diff] [blame] | 194 | "Two address instruction invalid!"); |
| 195 | |
Alkis Evlogimenos | 8cdd021 | 2004-02-13 21:01:20 +0000 | [diff] [blame] | 196 | physReg = MI->getOperand(1).getReg(); |
Alkis Evlogimenos | c31ff79 | 2004-02-23 04:12:30 +0000 | [diff] [blame^] | 197 | spillVirtReg(MBB, next(MI), virtualReg, physReg); |
Chris Lattner | a8d97e4 | 2004-02-15 21:38:28 +0000 | [diff] [blame] | 198 | MI->getOperand(1).setDef(); |
| 199 | MI->RemoveOperand(0); |
| 200 | break; // This is the last operand to process |
Chris Lattner | c1c7cc2 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 201 | } |
Alkis Evlogimenos | c31ff79 | 2004-02-23 04:12:30 +0000 | [diff] [blame^] | 202 | spillVirtReg(MBB, next(MI), virtualReg, physReg); |
Chris Lattner | c1c7cc2 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 203 | } else { |
Alkis Evlogimenos | 80da865 | 2004-02-12 02:27:10 +0000 | [diff] [blame] | 204 | physReg = reloadVirtReg(MBB, MI, virtualReg); |
Chris Lattner | bc1e670 | 2002-12-15 23:01:26 +0000 | [diff] [blame] | 205 | Virt2PhysRegMap[virtualReg] = physReg; |
Chris Lattner | c1c7cc2 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 206 | } |
Chris Lattner | c1c7cc2 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 207 | } |
| 208 | MI->SetMachineOperandReg(i, physReg); |
| 209 | DEBUG(std::cerr << "virt: " << virtualReg << |
Alkis Evlogimenos | 8cdd021 | 2004-02-13 21:01:20 +0000 | [diff] [blame] | 210 | ", phys: " << op.getReg() << "\n"); |
Chris Lattner | c1c7cc2 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 211 | } |
| 212 | } |
Chris Lattner | bf9d12a | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 213 | RegClassIdx.clear(); |
| 214 | RegsUsed.clear(); |
Chris Lattner | c1c7cc2 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 215 | } |
| 216 | } |
| 217 | |
Chris Lattner | ac5f3b3 | 2002-12-17 04:19:40 +0000 | [diff] [blame] | 218 | |
Chris Lattner | dfa238f | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 219 | /// runOnMachineFunction - Register allocate the whole function |
| 220 | /// |
Chris Lattner | c1c7cc2 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 221 | bool RegAllocSimple::runOnMachineFunction(MachineFunction &Fn) { |
Misha Brukman | 60286d0 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 222 | DEBUG(std::cerr << "Machine Function " << "\n"); |
| 223 | MF = &Fn; |
Chris Lattner | bf9d12a | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 224 | TM = &MF->getTarget(); |
| 225 | RegInfo = TM->getRegisterInfo(); |
Misha Brukman | a8ad932 | 2002-12-03 23:15:19 +0000 | [diff] [blame] | 226 | |
Chris Lattner | 292083a | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 227 | // Loop over all of the basic blocks, eliminating virtual register references |
Misha Brukman | 60286d0 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 228 | for (MachineFunction::iterator MBB = Fn.begin(), MBBe = Fn.end(); |
| 229 | MBB != MBBe; ++MBB) |
Chris Lattner | c1c7cc2 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 230 | AllocateBasicBlock(*MBB); |
Misha Brukman | 60286d0 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 231 | |
Chris Lattner | bf9d12a | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 232 | StackSlotForVirtReg.clear(); |
Chris Lattner | 292083a | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 233 | return true; |
Misha Brukman | 60286d0 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 234 | } |
| 235 | |
Chris Lattner | a8d97e4 | 2004-02-15 21:38:28 +0000 | [diff] [blame] | 236 | FunctionPass *llvm::createSimpleRegisterAllocator() { |
Chris Lattner | bf9d12a | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 237 | return new RegAllocSimple(); |
Misha Brukman | 60286d0 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 238 | } |