Chris Lattner | 1d62cea | 2002-12-16 14:37:00 +0000 | [diff] [blame] | 1 | //===-- RegAllocSimple.cpp - A simple generic register allocator ----------===// |
Misha Brukman | edf128a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 2 | // |
John Criswell | b576c94 | 2003-10-20 19:43:21 +0000 | [diff] [blame] | 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 4ee451d | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Misha Brukman | edf128a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 7 | // |
John Criswell | b576c94 | 2003-10-20 19:43:21 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 9 | // |
Chris Lattner | 600dee4 | 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 | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 14 | // |
| 15 | //===----------------------------------------------------------------------===// |
| 16 | |
Chris Lattner | 4cc662b | 2003-08-03 21:47:31 +0000 | [diff] [blame] | 17 | #define DEBUG_TYPE "regalloc" |
Chris Lattner | 80a0478 | 2003-01-13 00:26:08 +0000 | [diff] [blame] | 18 | #include "llvm/CodeGen/Passes.h" |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 19 | #include "llvm/CodeGen/MachineFunctionPass.h" |
Chris Lattner | abe8dd5 | 2002-12-15 18:19:24 +0000 | [diff] [blame] | 20 | #include "llvm/CodeGen/MachineInstr.h" |
Chris Lattner | eb24db9 | 2002-12-28 21:08:26 +0000 | [diff] [blame] | 21 | #include "llvm/CodeGen/MachineFrameInfo.h" |
Chris Lattner | 84bc542 | 2007-12-31 04:13:23 +0000 | [diff] [blame] | 22 | #include "llvm/CodeGen/MachineRegisterInfo.h" |
Jim Laskey | eb577ba | 2006-08-02 12:30:23 +0000 | [diff] [blame] | 23 | #include "llvm/CodeGen/RegAllocRegistry.h" |
Chris Lattner | 3501fea | 2003-01-14 22:00:31 +0000 | [diff] [blame] | 24 | #include "llvm/Target/TargetInstrInfo.h" |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 25 | #include "llvm/Target/TargetMachine.h" |
Reid Spencer | 551ccae | 2004-09-01 22:55:40 +0000 | [diff] [blame] | 26 | #include "llvm/Support/Debug.h" |
Chris Lattner | a4f0b3a | 2006-08-27 12:54:02 +0000 | [diff] [blame] | 27 | #include "llvm/Support/Compiler.h" |
Reid Spencer | 551ccae | 2004-09-01 22:55:40 +0000 | [diff] [blame] | 28 | #include "llvm/ADT/Statistic.h" |
| 29 | #include "llvm/ADT/STLExtras.h" |
Dan Gohman | c9235d2 | 2008-03-21 23:51:57 +0000 | [diff] [blame] | 30 | #include <map> |
Chris Lattner | 5aaf1d2 | 2004-02-15 21:38:28 +0000 | [diff] [blame] | 31 | using namespace llvm; |
Brian Gaeke | d0fde30 | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 32 | |
Chris Lattner | cd3245a | 2006-12-19 22:41:21 +0000 | [diff] [blame] | 33 | STATISTIC(NumStores, "Number of stores added"); |
| 34 | STATISTIC(NumLoads , "Number of loads added"); |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 35 | |
Chris Lattner | cd3245a | 2006-12-19 22:41:21 +0000 | [diff] [blame] | 36 | namespace { |
Jim Laskey | 13ec702 | 2006-08-01 14:21:23 +0000 | [diff] [blame] | 37 | static RegisterRegAlloc |
Dan Gohman | b8cab92 | 2008-10-14 20:25:08 +0000 | [diff] [blame] | 38 | simpleRegAlloc("simple", "simple register allocator", |
Jim Laskey | 13ec702 | 2006-08-01 14:21:23 +0000 | [diff] [blame] | 39 | createSimpleRegisterAllocator); |
| 40 | |
Chris Lattner | f8c68f6 | 2006-06-28 22:17:39 +0000 | [diff] [blame] | 41 | class VISIBILITY_HIDDEN RegAllocSimple : public MachineFunctionPass { |
Devang Patel | 794fd75 | 2007-05-01 21:15:47 +0000 | [diff] [blame] | 42 | public: |
Devang Patel | 1997473 | 2007-05-03 01:11:54 +0000 | [diff] [blame] | 43 | static char ID; |
Dan Gohman | ae73dc1 | 2008-09-04 17:05:41 +0000 | [diff] [blame] | 44 | RegAllocSimple() : MachineFunctionPass(&ID) {} |
Devang Patel | 794fd75 | 2007-05-01 21:15:47 +0000 | [diff] [blame] | 45 | private: |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 46 | MachineFunction *MF; |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 47 | const TargetMachine *TM; |
Dan Gohman | 6f0d024 | 2008-02-10 18:45:23 +0000 | [diff] [blame] | 48 | const TargetRegisterInfo *TRI; |
Dan Gohman | 88cef24 | 2008-07-09 19:56:01 +0000 | [diff] [blame] | 49 | const TargetInstrInfo *TII; |
Misha Brukman | edf128a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 50 | |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 51 | // StackSlotForVirtReg - Maps SSA Regs => frame index on the stack where |
| 52 | // these values are spilled |
| 53 | std::map<unsigned, int> StackSlotForVirtReg; |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 54 | |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 55 | // RegsUsed - Keep track of what registers are currently in use. This is a |
| 56 | // bitset. |
| 57 | std::vector<bool> RegsUsed; |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 58 | |
| 59 | // RegClassIdx - Maps RegClass => which index we can take a register |
| 60 | // from. Since this is a simple register allocator, when we need a register |
| 61 | // of a certain class, we just take the next available one. |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 62 | std::map<const TargetRegisterClass*, unsigned> RegClassIdx; |
| 63 | |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 64 | public: |
Chris Lattner | 8233e2f | 2002-12-15 21:13:12 +0000 | [diff] [blame] | 65 | virtual const char *getPassName() const { |
| 66 | return "Simple Register Allocator"; |
| 67 | } |
| 68 | |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 69 | /// runOnMachineFunction - Register allocate the whole function |
| 70 | bool runOnMachineFunction(MachineFunction &Fn); |
| 71 | |
Chris Lattner | 80a0478 | 2003-01-13 00:26:08 +0000 | [diff] [blame] | 72 | virtual void getAnalysisUsage(AnalysisUsage &AU) const { |
| 73 | AU.addRequiredID(PHIEliminationID); // Eliminate PHI nodes |
| 74 | MachineFunctionPass::getAnalysisUsage(AU); |
| 75 | } |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 76 | private: |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 77 | /// AllocateBasicBlock - Register allocate the specified basic block. |
| 78 | void AllocateBasicBlock(MachineBasicBlock &MBB); |
| 79 | |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 80 | /// getStackSpaceFor - This returns the offset of the specified virtual |
Misha Brukman | 5560c9d | 2003-08-18 14:43:39 +0000 | [diff] [blame] | 81 | /// register on the stack, allocating space if necessary. |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 82 | int getStackSpaceFor(unsigned VirtReg, const TargetRegisterClass *RC); |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 83 | |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 84 | /// Given a virtual register, return a compatible physical register that is |
| 85 | /// currently unused. |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 86 | /// |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 87 | /// Side effect: marks that register as being used until manually cleared |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 88 | /// |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 89 | unsigned getFreeReg(unsigned virtualReg); |
| 90 | |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 91 | /// Moves value from memory into that register |
Chris Lattner | b167c04 | 2002-12-15 23:01:26 +0000 | [diff] [blame] | 92 | unsigned reloadVirtReg(MachineBasicBlock &MBB, |
Alkis Evlogimenos | fc2b449 | 2004-02-23 04:12:30 +0000 | [diff] [blame] | 93 | MachineBasicBlock::iterator I, unsigned VirtReg); |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 94 | |
| 95 | /// Saves reg value on the stack (maps virtual register to stack value) |
Alkis Evlogimenos | fc2b449 | 2004-02-23 04:12:30 +0000 | [diff] [blame] | 96 | void spillVirtReg(MachineBasicBlock &MBB, MachineBasicBlock::iterator I, |
Chris Lattner | b167c04 | 2002-12-15 23:01:26 +0000 | [diff] [blame] | 97 | unsigned VirtReg, unsigned PhysReg); |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 98 | }; |
Devang Patel | 1997473 | 2007-05-03 01:11:54 +0000 | [diff] [blame] | 99 | char RegAllocSimple::ID = 0; |
Misha Brukman | 59b3eed | 2002-12-13 10:42:31 +0000 | [diff] [blame] | 100 | } |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 101 | |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 102 | /// getStackSpaceFor - This allocates space for the specified virtual |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 103 | /// register to be held on the stack. |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 104 | int RegAllocSimple::getStackSpaceFor(unsigned VirtReg, |
Misha Brukman | dedf2bd | 2005-04-22 04:01:18 +0000 | [diff] [blame] | 105 | const TargetRegisterClass *RC) { |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 106 | // Find the location VirtReg would belong... |
Dan Gohman | 0383bc0 | 2008-07-09 19:51:00 +0000 | [diff] [blame] | 107 | std::map<unsigned, int>::iterator I = StackSlotForVirtReg.find(VirtReg); |
Chris Lattner | 9593fb1 | 2002-12-15 19:07:34 +0000 | [diff] [blame] | 108 | |
Dan Gohman | 0383bc0 | 2008-07-09 19:51:00 +0000 | [diff] [blame] | 109 | if (I != StackSlotForVirtReg.end()) |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 110 | return I->second; // Already has space allocated? |
Chris Lattner | 9593fb1 | 2002-12-15 19:07:34 +0000 | [diff] [blame] | 111 | |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 112 | // Allocate a new stack object for this spill location... |
Chris Lattner | 26eb14b | 2004-08-15 22:02:22 +0000 | [diff] [blame] | 113 | int FrameIdx = MF->getFrameInfo()->CreateStackObject(RC->getSize(), |
| 114 | RC->getAlignment()); |
Misha Brukman | edf128a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 115 | |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 116 | // Assign the slot... |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 117 | StackSlotForVirtReg.insert(I, std::make_pair(VirtReg, FrameIdx)); |
| 118 | |
| 119 | return FrameIdx; |
Misha Brukman | f514d51 | 2002-12-02 21:11:58 +0000 | [diff] [blame] | 120 | } |
| 121 | |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 122 | unsigned RegAllocSimple::getFreeReg(unsigned virtualReg) { |
Chris Lattner | 84bc542 | 2007-12-31 04:13:23 +0000 | [diff] [blame] | 123 | const TargetRegisterClass* RC = MF->getRegInfo().getRegClass(virtualReg); |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 124 | TargetRegisterClass::iterator RI = RC->allocation_order_begin(*MF); |
Devang Patel | 2755896 | 2008-12-23 21:55:04 +0000 | [diff] [blame] | 125 | #ifndef NDEBUG |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 126 | TargetRegisterClass::iterator RE = RC->allocation_order_end(*MF); |
Devang Patel | 2755896 | 2008-12-23 21:55:04 +0000 | [diff] [blame] | 127 | #endif |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 128 | |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 129 | while (1) { |
Misha Brukman | edf128a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 130 | unsigned regIdx = RegClassIdx[RC]++; |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 131 | assert(RI+regIdx != RE && "Not enough registers!"); |
| 132 | unsigned PhysReg = *(RI+regIdx); |
Misha Brukman | edf128a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 133 | |
Chris Lattner | 7861163 | 2005-01-23 22:55:45 +0000 | [diff] [blame] | 134 | if (!RegsUsed[PhysReg]) { |
Chris Lattner | 84bc542 | 2007-12-31 04:13:23 +0000 | [diff] [blame] | 135 | MF->getRegInfo().setPhysRegUsed(PhysReg); |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 136 | return PhysReg; |
Chris Lattner | 7861163 | 2005-01-23 22:55:45 +0000 | [diff] [blame] | 137 | } |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 138 | } |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 139 | } |
| 140 | |
Chris Lattner | b167c04 | 2002-12-15 23:01:26 +0000 | [diff] [blame] | 141 | unsigned RegAllocSimple::reloadVirtReg(MachineBasicBlock &MBB, |
Alkis Evlogimenos | fc2b449 | 2004-02-23 04:12:30 +0000 | [diff] [blame] | 142 | MachineBasicBlock::iterator I, |
Chris Lattner | b167c04 | 2002-12-15 23:01:26 +0000 | [diff] [blame] | 143 | unsigned VirtReg) { |
Chris Lattner | 84bc542 | 2007-12-31 04:13:23 +0000 | [diff] [blame] | 144 | const TargetRegisterClass* RC = MF->getRegInfo().getRegClass(VirtReg); |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 145 | int FrameIdx = getStackSpaceFor(VirtReg, RC); |
Chris Lattner | b167c04 | 2002-12-15 23:01:26 +0000 | [diff] [blame] | 146 | unsigned PhysReg = getFreeReg(VirtReg); |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 147 | |
Misha Brukman | f514d51 | 2002-12-02 21:11:58 +0000 | [diff] [blame] | 148 | // Add move instruction(s) |
Alkis Evlogimenos | 2acef2d | 2004-02-19 06:19:09 +0000 | [diff] [blame] | 149 | ++NumLoads; |
Owen Anderson | f6372aa | 2008-01-01 21:11:32 +0000 | [diff] [blame] | 150 | TII->loadRegFromStackSlot(MBB, I, PhysReg, FrameIdx, RC); |
Chris Lattner | b167c04 | 2002-12-15 23:01:26 +0000 | [diff] [blame] | 151 | return PhysReg; |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 152 | } |
| 153 | |
Chris Lattner | b167c04 | 2002-12-15 23:01:26 +0000 | [diff] [blame] | 154 | void RegAllocSimple::spillVirtReg(MachineBasicBlock &MBB, |
Alkis Evlogimenos | fc2b449 | 2004-02-23 04:12:30 +0000 | [diff] [blame] | 155 | MachineBasicBlock::iterator I, |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 156 | unsigned VirtReg, unsigned PhysReg) { |
Chris Lattner | 84bc542 | 2007-12-31 04:13:23 +0000 | [diff] [blame] | 157 | const TargetRegisterClass* RC = MF->getRegInfo().getRegClass(VirtReg); |
Owen Anderson | f6372aa | 2008-01-01 21:11:32 +0000 | [diff] [blame] | 158 | |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 159 | int FrameIdx = getStackSpaceFor(VirtReg, RC); |
Misha Brukman | f514d51 | 2002-12-02 21:11:58 +0000 | [diff] [blame] | 160 | |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 161 | // Add move instruction(s) |
Alkis Evlogimenos | 2acef2d | 2004-02-19 06:19:09 +0000 | [diff] [blame] | 162 | ++NumStores; |
Owen Anderson | f6372aa | 2008-01-01 21:11:32 +0000 | [diff] [blame] | 163 | TII->storeRegToStackSlot(MBB, I, PhysReg, true, FrameIdx, RC); |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 164 | } |
| 165 | |
Misha Brukman | dc2ec00 | 2002-12-03 23:15:19 +0000 | [diff] [blame] | 166 | |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 167 | void RegAllocSimple::AllocateBasicBlock(MachineBasicBlock &MBB) { |
Chris Lattner | f605055 | 2002-12-15 21:33:51 +0000 | [diff] [blame] | 168 | // loop over each instruction |
Alkis Evlogimenos | c0b9dc5 | 2004-02-12 02:27:10 +0000 | [diff] [blame] | 169 | for (MachineBasicBlock::iterator MI = MBB.begin(); MI != MBB.end(); ++MI) { |
Chris Lattner | 01b08c5 | 2002-12-15 21:24:30 +0000 | [diff] [blame] | 170 | // Made to combat the incorrect allocation of r2 = add r1, r1 |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 171 | std::map<unsigned, unsigned> Virt2PhysRegMap; |
Chris Lattner | 01b08c5 | 2002-12-15 21:24:30 +0000 | [diff] [blame] | 172 | |
Dan Gohman | 6f0d024 | 2008-02-10 18:45:23 +0000 | [diff] [blame] | 173 | RegsUsed.resize(TRI->getNumRegs()); |
Misha Brukman | edf128a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 174 | |
Chris Lattner | 7861163 | 2005-01-23 22:55:45 +0000 | [diff] [blame] | 175 | // This is a preliminary pass that will invalidate any registers that are |
| 176 | // used by the instruction (including implicit uses). |
Chris Lattner | 749c6f6 | 2008-01-07 07:27:27 +0000 | [diff] [blame] | 177 | const TargetInstrDesc &Desc = MI->getDesc(); |
Chris Lattner | 7861163 | 2005-01-23 22:55:45 +0000 | [diff] [blame] | 178 | const unsigned *Regs; |
Jim Laskey | cd4317e | 2006-07-21 21:15:20 +0000 | [diff] [blame] | 179 | if (Desc.ImplicitUses) { |
| 180 | for (Regs = Desc.ImplicitUses; *Regs; ++Regs) |
| 181 | RegsUsed[*Regs] = true; |
| 182 | } |
Misha Brukman | edf128a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 183 | |
Jim Laskey | cd4317e | 2006-07-21 21:15:20 +0000 | [diff] [blame] | 184 | if (Desc.ImplicitDefs) { |
| 185 | for (Regs = Desc.ImplicitDefs; *Regs; ++Regs) { |
| 186 | RegsUsed[*Regs] = true; |
Chris Lattner | 84bc542 | 2007-12-31 04:13:23 +0000 | [diff] [blame] | 187 | MF->getRegInfo().setPhysRegUsed(*Regs); |
Jim Laskey | cd4317e | 2006-07-21 21:15:20 +0000 | [diff] [blame] | 188 | } |
Chris Lattner | 7861163 | 2005-01-23 22:55:45 +0000 | [diff] [blame] | 189 | } |
Misha Brukman | edf128a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 190 | |
Chris Lattner | 7861163 | 2005-01-23 22:55:45 +0000 | [diff] [blame] | 191 | // Loop over uses, move from memory into registers. |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 192 | for (int i = MI->getNumOperands() - 1; i >= 0; --i) { |
Dan Gohman | 85e6815 | 2008-07-09 20:12:26 +0000 | [diff] [blame] | 193 | MachineOperand &MO = MI->getOperand(i); |
Misha Brukman | edf128a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 194 | |
Dan Gohman | d735b80 | 2008-10-03 15:45:36 +0000 | [diff] [blame] | 195 | if (MO.isReg() && MO.getReg() && |
Dan Gohman | 85e6815 | 2008-07-09 20:12:26 +0000 | [diff] [blame] | 196 | TargetRegisterInfo::isVirtualRegister(MO.getReg())) { |
| 197 | unsigned virtualReg = (unsigned) MO.getReg(); |
| 198 | DOUT << "op: " << MO << "\n"; |
Bill Wendling | a09362e | 2006-11-28 22:48:48 +0000 | [diff] [blame] | 199 | DOUT << "\t inst[" << i << "]: "; |
Bill Wendling | bcd2498 | 2006-12-07 20:28:15 +0000 | [diff] [blame] | 200 | DEBUG(MI->print(*cerr.stream(), TM)); |
Misha Brukman | edf128a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 201 | |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 202 | // make sure the same virtual register maps to the same physical |
| 203 | // register in any given instruction |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 204 | unsigned physReg = Virt2PhysRegMap[virtualReg]; |
| 205 | if (physReg == 0) { |
Dan Gohman | 85e6815 | 2008-07-09 20:12:26 +0000 | [diff] [blame] | 206 | if (MO.isDef()) { |
Bob Wilson | d9df501 | 2009-04-09 17:16:43 +0000 | [diff] [blame] | 207 | unsigned TiedOp; |
| 208 | if (!MI->isRegTiedToUseOperand(i, &TiedOp)) { |
Chris Lattner | 5aaf1d2 | 2004-02-15 21:38:28 +0000 | [diff] [blame] | 209 | physReg = getFreeReg(virtualReg); |
| 210 | } else { |
Evan Cheng | 360c2dd | 2006-11-01 23:06:55 +0000 | [diff] [blame] | 211 | // must be same register number as the source operand that is |
| 212 | // tied to. This maps a = b + c into b = b + c, and saves b into |
| 213 | // a's spot. |
Dan Gohman | d735b80 | 2008-10-03 15:45:36 +0000 | [diff] [blame] | 214 | assert(MI->getOperand(TiedOp).isReg() && |
Evan Cheng | 360c2dd | 2006-11-01 23:06:55 +0000 | [diff] [blame] | 215 | MI->getOperand(TiedOp).getReg() && |
| 216 | MI->getOperand(TiedOp).isUse() && |
Chris Lattner | 15f96db | 2002-12-15 21:02:20 +0000 | [diff] [blame] | 217 | "Two address instruction invalid!"); |
| 218 | |
Evan Cheng | 360c2dd | 2006-11-01 23:06:55 +0000 | [diff] [blame] | 219 | physReg = MI->getOperand(TiedOp).getReg(); |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 220 | } |
Alkis Evlogimenos | fc2b449 | 2004-02-23 04:12:30 +0000 | [diff] [blame] | 221 | spillVirtReg(MBB, next(MI), virtualReg, physReg); |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 222 | } else { |
Alkis Evlogimenos | c0b9dc5 | 2004-02-12 02:27:10 +0000 | [diff] [blame] | 223 | physReg = reloadVirtReg(MBB, MI, virtualReg); |
Chris Lattner | b167c04 | 2002-12-15 23:01:26 +0000 | [diff] [blame] | 224 | Virt2PhysRegMap[virtualReg] = physReg; |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 225 | } |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 226 | } |
Dan Gohman | 85e6815 | 2008-07-09 20:12:26 +0000 | [diff] [blame] | 227 | MO.setReg(physReg); |
| 228 | DOUT << "virt: " << virtualReg << ", phys: " << MO.getReg() << "\n"; |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 229 | } |
| 230 | } |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 231 | RegClassIdx.clear(); |
| 232 | RegsUsed.clear(); |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 233 | } |
| 234 | } |
| 235 | |
Chris Lattner | e7d361d | 2002-12-17 04:19:40 +0000 | [diff] [blame] | 236 | |
Chris Lattner | da7e453 | 2002-12-15 20:36:09 +0000 | [diff] [blame] | 237 | /// runOnMachineFunction - Register allocate the whole function |
| 238 | /// |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 239 | bool RegAllocSimple::runOnMachineFunction(MachineFunction &Fn) { |
Bill Wendling | a09362e | 2006-11-28 22:48:48 +0000 | [diff] [blame] | 240 | DOUT << "Machine Function\n"; |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 241 | MF = &Fn; |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 242 | TM = &MF->getTarget(); |
Dan Gohman | 6f0d024 | 2008-02-10 18:45:23 +0000 | [diff] [blame] | 243 | TRI = TM->getRegisterInfo(); |
Dan Gohman | 88cef24 | 2008-07-09 19:56:01 +0000 | [diff] [blame] | 244 | TII = TM->getInstrInfo(); |
Misha Brukman | dc2ec00 | 2002-12-03 23:15:19 +0000 | [diff] [blame] | 245 | |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 246 | // Loop over all of the basic blocks, eliminating virtual register references |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 247 | for (MachineFunction::iterator MBB = Fn.begin(), MBBe = Fn.end(); |
| 248 | MBB != MBBe; ++MBB) |
Chris Lattner | c2db1a9 | 2002-12-15 19:51:14 +0000 | [diff] [blame] | 249 | AllocateBasicBlock(*MBB); |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 250 | |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 251 | StackSlotForVirtReg.clear(); |
Chris Lattner | 9f366d7 | 2002-12-15 22:19:19 +0000 | [diff] [blame] | 252 | return true; |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 253 | } |
| 254 | |
Chris Lattner | 5aaf1d2 | 2004-02-15 21:38:28 +0000 | [diff] [blame] | 255 | FunctionPass *llvm::createSimpleRegisterAllocator() { |
Chris Lattner | 600dee4 | 2002-12-28 20:42:14 +0000 | [diff] [blame] | 256 | return new RegAllocSimple(); |
Misha Brukman | 0721867 | 2002-11-22 22:44:32 +0000 | [diff] [blame] | 257 | } |