blob: 2a43811bf58593a4291a64e2a97876e5399fea2d [file] [log] [blame]
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +00001//===-- RegAllocLinearScan.cpp - Linear Scan register allocator -----------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file implements a linear scan register allocator.
11//
12//===----------------------------------------------------------------------===//
Alkis Evlogimenos0d6c5b62004-02-24 08:58:30 +000013
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000014#define DEBUG_TYPE "regalloc"
Chris Lattnerb9805782005-08-23 22:27:31 +000015#include "VirtRegMap.h"
Lang Hames87e3bca2009-05-06 02:36:21 +000016#include "VirtRegRewriter.h"
Lang Hamese2b201b2009-05-18 19:03:16 +000017#include "Spiller.h"
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000018#include "llvm/Function.h"
Evan Cheng3f32d652008-06-04 09:18:41 +000019#include "llvm/CodeGen/LiveIntervalAnalysis.h"
20#include "llvm/CodeGen/LiveStackAnalysis.h"
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000021#include "llvm/CodeGen/MachineFunctionPass.h"
22#include "llvm/CodeGen/MachineInstr.h"
Evan Cheng22f07ff2007-12-11 02:09:15 +000023#include "llvm/CodeGen/MachineLoopInfo.h"
Chris Lattner84bc5422007-12-31 04:13:23 +000024#include "llvm/CodeGen/MachineRegisterInfo.h"
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000025#include "llvm/CodeGen/Passes.h"
Jim Laskeyeb577ba2006-08-02 12:30:23 +000026#include "llvm/CodeGen/RegAllocRegistry.h"
David Greene2c17c4d2007-09-06 16:18:45 +000027#include "llvm/CodeGen/RegisterCoalescer.h"
Dan Gohman6f0d0242008-02-10 18:45:23 +000028#include "llvm/Target/TargetRegisterInfo.h"
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000029#include "llvm/Target/TargetMachine.h"
Owen Anderson95dad832008-10-07 20:22:28 +000030#include "llvm/Target/TargetOptions.h"
Evan Chengc92da382007-11-03 07:20:12 +000031#include "llvm/Target/TargetInstrInfo.h"
Chris Lattnerb9805782005-08-23 22:27:31 +000032#include "llvm/ADT/EquivalenceClasses.h"
Dan Gohmand68a0762009-01-05 17:59:02 +000033#include "llvm/ADT/SmallSet.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000034#include "llvm/ADT/Statistic.h"
35#include "llvm/ADT/STLExtras.h"
Bill Wendlingc3115a02009-08-22 20:30:53 +000036#include "llvm/Support/Debug.h"
Torok Edwin7d696d82009-07-11 13:10:19 +000037#include "llvm/Support/ErrorHandling.h"
Daniel Dunbarce63ffb2009-07-25 00:23:56 +000038#include "llvm/Support/raw_ostream.h"
Alkis Evlogimenos843b1602004-02-15 10:24:21 +000039#include <algorithm>
Alkis Evlogimenos26f5a692004-05-30 07:24:39 +000040#include <set>
Alkis Evlogimenos53eb3732004-07-22 08:14:44 +000041#include <queue>
Duraid Madina30059612005-12-28 04:55:42 +000042#include <memory>
Jeff Cohen97af7512006-12-02 02:22:01 +000043#include <cmath>
Lang Hamesf41538d2009-06-02 16:53:25 +000044
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000045using namespace llvm;
46
Chris Lattnercd3245a2006-12-19 22:41:21 +000047STATISTIC(NumIters , "Number of iterations performed");
48STATISTIC(NumBacktracks, "Number of times we had to backtrack");
Evan Chengc92da382007-11-03 07:20:12 +000049STATISTIC(NumCoalesce, "Number of copies coalesced");
Evan Cheng206d1852009-04-20 08:01:12 +000050STATISTIC(NumDowngrade, "Number of registers downgraded");
Chris Lattnercd3245a2006-12-19 22:41:21 +000051
Evan Cheng3e172252008-06-20 21:45:16 +000052static cl::opt<bool>
53NewHeuristic("new-spilling-heuristic",
54 cl::desc("Use new spilling heuristic"),
55 cl::init(false), cl::Hidden);
56
Evan Chengf5cd4f02008-10-23 20:43:13 +000057static cl::opt<bool>
58PreSplitIntervals("pre-alloc-split",
59 cl::desc("Pre-register allocation live interval splitting"),
60 cl::init(false), cl::Hidden);
61
Jakob Stoklund Olesencf970362009-12-10 17:48:32 +000062static cl::opt<bool>
63TrivCoalesceEnds("trivial-coalesce-ends",
64 cl::desc("Attempt trivial coalescing of interval ends"),
65 cl::init(false), cl::Hidden);
66
Chris Lattnercd3245a2006-12-19 22:41:21 +000067static RegisterRegAlloc
Dan Gohmanb8cab922008-10-14 20:25:08 +000068linearscanRegAlloc("linearscan", "linear scan register allocator",
Chris Lattnercd3245a2006-12-19 22:41:21 +000069 createLinearScanRegisterAllocator);
70
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000071namespace {
David Greene7cfd3362009-11-19 15:55:49 +000072 // When we allocate a register, add it to a fixed-size queue of
73 // registers to skip in subsequent allocations. This trades a small
74 // amount of register pressure and increased spills for flexibility in
75 // the post-pass scheduler.
76 //
77 // Note that in a the number of registers used for reloading spills
78 // will be one greater than the value of this option.
79 //
80 // One big limitation of this is that it doesn't differentiate between
81 // different register classes. So on x86-64, if there is xmm register
82 // pressure, it can caused fewer GPRs to be held in the queue.
83 static cl::opt<unsigned>
84 NumRecentlyUsedRegs("linearscan-skip-count",
85 cl::desc("Number of registers for linearscan to remember to skip."),
86 cl::init(0),
87 cl::Hidden);
88
Nick Lewycky6726b6d2009-10-25 06:33:48 +000089 struct RALinScan : public MachineFunctionPass {
Devang Patel19974732007-05-03 01:11:54 +000090 static char ID;
David Greene7cfd3362009-11-19 15:55:49 +000091 RALinScan() : MachineFunctionPass(&ID) {
92 // Initialize the queue to record recently-used registers.
93 if (NumRecentlyUsedRegs > 0)
94 RecentRegs.resize(NumRecentlyUsedRegs, 0);
David Greenea96fc2f2009-11-20 21:13:27 +000095 RecentNext = RecentRegs.begin();
David Greene7cfd3362009-11-19 15:55:49 +000096 }
Devang Patel794fd752007-05-01 21:15:47 +000097
Chris Lattnercbb56252004-11-18 02:42:27 +000098 typedef std::pair<LiveInterval*, LiveInterval::iterator> IntervalPtr;
Owen Andersoncd1dcbd2008-08-15 18:49:41 +000099 typedef SmallVector<IntervalPtr, 32> IntervalPtrs;
Chris Lattnercbb56252004-11-18 02:42:27 +0000100 private:
Chris Lattnerb9805782005-08-23 22:27:31 +0000101 /// RelatedRegClasses - This structure is built the first time a function is
102 /// compiled, and keeps track of which register classes have registers that
103 /// belong to multiple classes or have aliases that are in other classes.
104 EquivalenceClasses<const TargetRegisterClass*> RelatedRegClasses;
Owen Anderson97382162008-08-13 23:36:23 +0000105 DenseMap<unsigned, const TargetRegisterClass*> OneClassForEachPhysReg;
Chris Lattnerb9805782005-08-23 22:27:31 +0000106
Evan Cheng206d1852009-04-20 08:01:12 +0000107 // NextReloadMap - For each register in the map, it maps to the another
108 // register which is defined by a reload from the same stack slot and
109 // both reloads are in the same basic block.
110 DenseMap<unsigned, unsigned> NextReloadMap;
111
112 // DowngradedRegs - A set of registers which are being "downgraded", i.e.
113 // un-favored for allocation.
114 SmallSet<unsigned, 8> DowngradedRegs;
115
116 // DowngradeMap - A map from virtual registers to physical registers being
117 // downgraded for the virtual registers.
118 DenseMap<unsigned, unsigned> DowngradeMap;
119
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000120 MachineFunction* mf_;
Evan Cheng3e172252008-06-20 21:45:16 +0000121 MachineRegisterInfo* mri_;
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000122 const TargetMachine* tm_;
Dan Gohman6f0d0242008-02-10 18:45:23 +0000123 const TargetRegisterInfo* tri_;
Evan Chengc92da382007-11-03 07:20:12 +0000124 const TargetInstrInfo* tii_;
Evan Chengc92da382007-11-03 07:20:12 +0000125 BitVector allocatableRegs_;
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000126 LiveIntervals* li_;
Evan Cheng3f32d652008-06-04 09:18:41 +0000127 LiveStacks* ls_;
Evan Cheng22f07ff2007-12-11 02:09:15 +0000128 const MachineLoopInfo *loopInfo;
Chris Lattnercbb56252004-11-18 02:42:27 +0000129
130 /// handled_ - Intervals are added to the handled_ set in the order of their
131 /// start value. This is uses for backtracking.
132 std::vector<LiveInterval*> handled_;
133
134 /// fixed_ - Intervals that correspond to machine registers.
135 ///
136 IntervalPtrs fixed_;
137
138 /// active_ - Intervals that are currently being processed, and which have a
139 /// live range active for the current point.
140 IntervalPtrs active_;
141
142 /// inactive_ - Intervals that are currently being processed, but which have
143 /// a hold at the current point.
144 IntervalPtrs inactive_;
145
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000146 typedef std::priority_queue<LiveInterval*,
Owen Andersoncd1dcbd2008-08-15 18:49:41 +0000147 SmallVector<LiveInterval*, 64>,
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000148 greater_ptr<LiveInterval> > IntervalHeap;
149 IntervalHeap unhandled_;
Evan Cheng5b16cd22009-05-01 01:03:49 +0000150
151 /// regUse_ - Tracks register usage.
152 SmallVector<unsigned, 32> regUse_;
153 SmallVector<unsigned, 32> regUseBackUp_;
154
155 /// vrm_ - Tracks register assignments.
Owen Anderson49c8aa02009-03-13 05:55:11 +0000156 VirtRegMap* vrm_;
Evan Cheng5b16cd22009-05-01 01:03:49 +0000157
Lang Hames87e3bca2009-05-06 02:36:21 +0000158 std::auto_ptr<VirtRegRewriter> rewriter_;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000159
Lang Hamese2b201b2009-05-18 19:03:16 +0000160 std::auto_ptr<Spiller> spiller_;
161
David Greene7cfd3362009-11-19 15:55:49 +0000162 // The queue of recently-used registers.
David Greenea96fc2f2009-11-20 21:13:27 +0000163 SmallVector<unsigned, 4> RecentRegs;
164 SmallVector<unsigned, 4>::iterator RecentNext;
David Greene7cfd3362009-11-19 15:55:49 +0000165
166 // Record that we just picked this register.
167 void recordRecentlyUsed(unsigned reg) {
168 assert(reg != 0 && "Recently used register is NOREG!");
169 if (!RecentRegs.empty()) {
David Greenea96fc2f2009-11-20 21:13:27 +0000170 *RecentNext++ = reg;
171 if (RecentNext == RecentRegs.end())
172 RecentNext = RecentRegs.begin();
David Greene7cfd3362009-11-19 15:55:49 +0000173 }
174 }
175
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000176 public:
177 virtual const char* getPassName() const {
178 return "Linear Scan Register Allocator";
179 }
180
181 virtual void getAnalysisUsage(AnalysisUsage &AU) const {
Dan Gohman845012e2009-07-31 23:37:33 +0000182 AU.setPreservesCFG();
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000183 AU.addRequired<LiveIntervals>();
Lang Hames233a60e2009-11-03 23:52:08 +0000184 AU.addPreserved<SlotIndexes>();
Owen Anderson95dad832008-10-07 20:22:28 +0000185 if (StrongPHIElim)
186 AU.addRequiredID(StrongPHIEliminationID);
David Greene2c17c4d2007-09-06 16:18:45 +0000187 // Make sure PassManager knows which analyses to make available
188 // to coalescing and which analyses coalescing invalidates.
189 AU.addRequiredTransitive<RegisterCoalescer>();
Evan Chengf5cd4f02008-10-23 20:43:13 +0000190 if (PreSplitIntervals)
191 AU.addRequiredID(PreAllocSplittingID);
Evan Cheng3f32d652008-06-04 09:18:41 +0000192 AU.addRequired<LiveStacks>();
193 AU.addPreserved<LiveStacks>();
Evan Cheng22f07ff2007-12-11 02:09:15 +0000194 AU.addRequired<MachineLoopInfo>();
Bill Wendling67d65bb2008-01-04 20:54:55 +0000195 AU.addPreserved<MachineLoopInfo>();
Owen Anderson49c8aa02009-03-13 05:55:11 +0000196 AU.addRequired<VirtRegMap>();
197 AU.addPreserved<VirtRegMap>();
Bill Wendling67d65bb2008-01-04 20:54:55 +0000198 AU.addPreservedID(MachineDominatorsID);
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000199 MachineFunctionPass::getAnalysisUsage(AU);
200 }
201
202 /// runOnMachineFunction - register allocate the whole function
203 bool runOnMachineFunction(MachineFunction&);
204
David Greene7cfd3362009-11-19 15:55:49 +0000205 // Determine if we skip this register due to its being recently used.
206 bool isRecentlyUsed(unsigned reg) const {
207 return std::find(RecentRegs.begin(), RecentRegs.end(), reg) !=
208 RecentRegs.end();
209 }
210
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000211 private:
212 /// linearScan - the linear scan algorithm
213 void linearScan();
214
Chris Lattnercbb56252004-11-18 02:42:27 +0000215 /// initIntervalSets - initialize the interval sets.
216 ///
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000217 void initIntervalSets();
218
Chris Lattnercbb56252004-11-18 02:42:27 +0000219 /// processActiveIntervals - expire old intervals and move non-overlapping
220 /// ones to the inactive list.
Lang Hames233a60e2009-11-03 23:52:08 +0000221 void processActiveIntervals(SlotIndex CurPoint);
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000222
Chris Lattnercbb56252004-11-18 02:42:27 +0000223 /// processInactiveIntervals - expire old intervals and move overlapping
224 /// ones to the active list.
Lang Hames233a60e2009-11-03 23:52:08 +0000225 void processInactiveIntervals(SlotIndex CurPoint);
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000226
Evan Cheng206d1852009-04-20 08:01:12 +0000227 /// hasNextReloadInterval - Return the next liveinterval that's being
228 /// defined by a reload from the same SS as the specified one.
229 LiveInterval *hasNextReloadInterval(LiveInterval *cur);
230
231 /// DowngradeRegister - Downgrade a register for allocation.
232 void DowngradeRegister(LiveInterval *li, unsigned Reg);
233
234 /// UpgradeRegister - Upgrade a register for allocation.
235 void UpgradeRegister(unsigned Reg);
236
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000237 /// assignRegOrStackSlotAtInterval - assign a register if one
238 /// is available, or spill.
239 void assignRegOrStackSlotAtInterval(LiveInterval* cur);
240
Evan Cheng5d088fe2009-03-23 22:57:19 +0000241 void updateSpillWeights(std::vector<float> &Weights,
242 unsigned reg, float weight,
243 const TargetRegisterClass *RC);
244
Evan Cheng3e172252008-06-20 21:45:16 +0000245 /// findIntervalsToSpill - Determine the intervals to spill for the
246 /// specified interval. It's passed the physical registers whose spill
247 /// weight is the lowest among all the registers whose live intervals
248 /// conflict with the interval.
249 void findIntervalsToSpill(LiveInterval *cur,
250 std::vector<std::pair<unsigned,float> > &Candidates,
251 unsigned NumCands,
252 SmallVector<LiveInterval*, 8> &SpillIntervals);
253
Evan Chengc92da382007-11-03 07:20:12 +0000254 /// attemptTrivialCoalescing - If a simple interval is defined by a copy,
255 /// try allocate the definition the same register as the source register
256 /// if the register is not defined during live time of the interval. This
257 /// eliminate a copy. This is used to coalesce copies which were not
258 /// coalesced away before allocation either due to dest and src being in
259 /// different register classes or because the coalescer was overly
260 /// conservative.
261 unsigned attemptTrivialCoalescing(LiveInterval &cur, unsigned Reg);
262
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000263 ///
Evan Cheng5b16cd22009-05-01 01:03:49 +0000264 /// Register usage / availability tracking helpers.
265 ///
266
267 void initRegUses() {
268 regUse_.resize(tri_->getNumRegs(), 0);
269 regUseBackUp_.resize(tri_->getNumRegs(), 0);
270 }
271
272 void finalizeRegUses() {
Evan Chengc781a242009-05-03 18:32:42 +0000273#ifndef NDEBUG
274 // Verify all the registers are "freed".
275 bool Error = false;
276 for (unsigned i = 0, e = tri_->getNumRegs(); i != e; ++i) {
277 if (regUse_[i] != 0) {
Benjamin Kramercfa6ec92009-08-23 11:37:21 +0000278 errs() << tri_->getName(i) << " is still in use!\n";
Evan Chengc781a242009-05-03 18:32:42 +0000279 Error = true;
280 }
281 }
282 if (Error)
Torok Edwinc23197a2009-07-14 16:55:14 +0000283 llvm_unreachable(0);
Evan Chengc781a242009-05-03 18:32:42 +0000284#endif
Evan Cheng5b16cd22009-05-01 01:03:49 +0000285 regUse_.clear();
286 regUseBackUp_.clear();
287 }
288
289 void addRegUse(unsigned physReg) {
290 assert(TargetRegisterInfo::isPhysicalRegister(physReg) &&
291 "should be physical register!");
292 ++regUse_[physReg];
293 for (const unsigned* as = tri_->getAliasSet(physReg); *as; ++as)
294 ++regUse_[*as];
295 }
296
297 void delRegUse(unsigned physReg) {
298 assert(TargetRegisterInfo::isPhysicalRegister(physReg) &&
299 "should be physical register!");
300 assert(regUse_[physReg] != 0);
301 --regUse_[physReg];
302 for (const unsigned* as = tri_->getAliasSet(physReg); *as; ++as) {
303 assert(regUse_[*as] != 0);
304 --regUse_[*as];
305 }
306 }
307
308 bool isRegAvail(unsigned physReg) const {
309 assert(TargetRegisterInfo::isPhysicalRegister(physReg) &&
310 "should be physical register!");
311 return regUse_[physReg] == 0;
312 }
313
314 void backUpRegUses() {
315 regUseBackUp_ = regUse_;
316 }
317
318 void restoreRegUses() {
319 regUse_ = regUseBackUp_;
320 }
321
322 ///
323 /// Register handling helpers.
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000324 ///
325
Chris Lattnercbb56252004-11-18 02:42:27 +0000326 /// getFreePhysReg - return a free physical register for this virtual
327 /// register interval if we have one, otherwise return 0.
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000328 unsigned getFreePhysReg(LiveInterval* cur);
Evan Cheng358dec52009-06-15 08:28:29 +0000329 unsigned getFreePhysReg(LiveInterval* cur,
330 const TargetRegisterClass *RC,
Evan Cheng206d1852009-04-20 08:01:12 +0000331 unsigned MaxInactiveCount,
332 SmallVector<unsigned, 256> &inactiveCounts,
333 bool SkipDGRegs);
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000334
335 /// assignVirt2StackSlot - assigns this virtual register to a
336 /// stack slot. returns the stack slot
337 int assignVirt2StackSlot(unsigned virtReg);
338
Chris Lattnerb9805782005-08-23 22:27:31 +0000339 void ComputeRelatedRegClasses();
340
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000341 template <typename ItTy>
342 void printIntervals(const char* const str, ItTy i, ItTy e) const {
Bill Wendlingc3115a02009-08-22 20:30:53 +0000343 DEBUG({
344 if (str)
345 errs() << str << " intervals:\n";
346
347 for (; i != e; ++i) {
348 errs() << "\t" << *i->first << " -> ";
349
350 unsigned reg = i->first->reg;
351 if (TargetRegisterInfo::isVirtualRegister(reg))
352 reg = vrm_->getPhys(reg);
353
354 errs() << tri_->getName(reg) << '\n';
355 }
356 });
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000357 }
358 };
Bill Wendlinge23e00d2007-05-08 19:02:46 +0000359 char RALinScan::ID = 0;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000360}
361
Evan Cheng3f32d652008-06-04 09:18:41 +0000362static RegisterPass<RALinScan>
363X("linearscan-regalloc", "Linear Scan Register Allocator");
364
Bill Wendlinge23e00d2007-05-08 19:02:46 +0000365void RALinScan::ComputeRelatedRegClasses() {
Chris Lattnerb9805782005-08-23 22:27:31 +0000366 // First pass, add all reg classes to the union, and determine at least one
367 // reg class that each register is in.
368 bool HasAliases = false;
Evan Cheng206d1852009-04-20 08:01:12 +0000369 for (TargetRegisterInfo::regclass_iterator RCI = tri_->regclass_begin(),
370 E = tri_->regclass_end(); RCI != E; ++RCI) {
Chris Lattnerb9805782005-08-23 22:27:31 +0000371 RelatedRegClasses.insert(*RCI);
372 for (TargetRegisterClass::iterator I = (*RCI)->begin(), E = (*RCI)->end();
373 I != E; ++I) {
Evan Cheng206d1852009-04-20 08:01:12 +0000374 HasAliases = HasAliases || *tri_->getAliasSet(*I) != 0;
Chris Lattnerb9805782005-08-23 22:27:31 +0000375
376 const TargetRegisterClass *&PRC = OneClassForEachPhysReg[*I];
377 if (PRC) {
378 // Already processed this register. Just make sure we know that
379 // multiple register classes share a register.
380 RelatedRegClasses.unionSets(PRC, *RCI);
381 } else {
382 PRC = *RCI;
383 }
384 }
385 }
386
387 // Second pass, now that we know conservatively what register classes each reg
388 // belongs to, add info about aliases. We don't need to do this for targets
389 // without register aliases.
390 if (HasAliases)
Owen Anderson97382162008-08-13 23:36:23 +0000391 for (DenseMap<unsigned, const TargetRegisterClass*>::iterator
Chris Lattnerb9805782005-08-23 22:27:31 +0000392 I = OneClassForEachPhysReg.begin(), E = OneClassForEachPhysReg.end();
393 I != E; ++I)
Evan Cheng206d1852009-04-20 08:01:12 +0000394 for (const unsigned *AS = tri_->getAliasSet(I->first); *AS; ++AS)
Chris Lattnerb9805782005-08-23 22:27:31 +0000395 RelatedRegClasses.unionSets(I->second, OneClassForEachPhysReg[*AS]);
396}
397
Jakob Stoklund Olesencf970362009-12-10 17:48:32 +0000398/// attemptTrivialCoalescing - If a simple interval is defined by a copy, try
399/// allocate the definition the same register as the source register if the
400/// register is not defined during live time of the interval. If the interval is
401/// killed by a copy, try to use the destination register. This eliminates a
402/// copy. This is used to coalesce copies which were not coalesced away before
403/// allocation either due to dest and src being in different register classes or
404/// because the coalescer was overly conservative.
Evan Chengc92da382007-11-03 07:20:12 +0000405unsigned RALinScan::attemptTrivialCoalescing(LiveInterval &cur, unsigned Reg) {
Evan Cheng90f95f82009-06-14 20:22:55 +0000406 unsigned Preference = vrm_->getRegAllocPref(cur.reg);
407 if ((Preference && Preference == Reg) || !cur.containsOneValue())
Evan Chengc92da382007-11-03 07:20:12 +0000408 return Reg;
409
Jakob Stoklund Olesencf970362009-12-10 17:48:32 +0000410 // We cannot handle complicated live ranges. Simple linear stuff only.
411 if (cur.ranges.size() != 1)
Evan Chengc92da382007-11-03 07:20:12 +0000412 return Reg;
Jakob Stoklund Olesencf970362009-12-10 17:48:32 +0000413
414 const LiveRange &range = cur.ranges.front();
415
416 VNInfo *vni = range.valno;
417 if (vni->isUnused())
Bill Wendlingdc492e02009-12-05 07:30:23 +0000418 return Reg;
Jakob Stoklund Olesencf970362009-12-10 17:48:32 +0000419
420 unsigned CandReg;
421 {
422 MachineInstr *CopyMI;
423 unsigned SrcReg, DstReg, SrcSubReg, DstSubReg;
424 if (vni->def != SlotIndex() && vni->isDefAccurate() &&
425 (CopyMI = li_->getInstructionFromIndex(vni->def)) &&
426 tii_->isMoveInstr(*CopyMI, SrcReg, DstReg, SrcSubReg, DstSubReg))
427 // Defined by a copy, try to extend SrcReg forward
428 CandReg = SrcReg;
429 else if (TrivCoalesceEnds &&
430 (CopyMI =
431 li_->getInstructionFromIndex(range.end.getBaseIndex())) &&
432 tii_->isMoveInstr(*CopyMI, SrcReg, DstReg, SrcSubReg, DstSubReg) &&
433 cur.reg == SrcReg)
434 // Only used by a copy, try to extend DstReg backwards
435 CandReg = DstReg;
436 else
Evan Chengc92da382007-11-03 07:20:12 +0000437 return Reg;
Anton Korobeynikov4aefd6b2008-02-20 12:07:57 +0000438 }
Jakob Stoklund Olesencf970362009-12-10 17:48:32 +0000439
440 if (TargetRegisterInfo::isVirtualRegister(CandReg)) {
441 if (!vrm_->isAssignedReg(CandReg))
442 return Reg;
443 CandReg = vrm_->getPhys(CandReg);
444 }
445 if (Reg == CandReg)
Evan Chengc92da382007-11-03 07:20:12 +0000446 return Reg;
447
Evan Cheng841ee1a2008-09-18 22:38:47 +0000448 const TargetRegisterClass *RC = mri_->getRegClass(cur.reg);
Jakob Stoklund Olesencf970362009-12-10 17:48:32 +0000449 if (!RC->contains(CandReg))
450 return Reg;
451
452 if (li_->conflictsWithPhysReg(cur, *vrm_, CandReg))
Evan Chengc92da382007-11-03 07:20:12 +0000453 return Reg;
454
Bill Wendlingdc492e02009-12-05 07:30:23 +0000455 // Try to coalesce.
Jakob Stoklund Olesencf970362009-12-10 17:48:32 +0000456 DEBUG(errs() << "Coalescing: " << cur << " -> " << tri_->getName(CandReg)
457 << '\n');
458 vrm_->clearVirt(cur.reg);
459 vrm_->assignVirt2Phys(cur.reg, CandReg);
Bill Wendlingdc492e02009-12-05 07:30:23 +0000460
Jakob Stoklund Olesencf970362009-12-10 17:48:32 +0000461 ++NumCoalesce;
462 return CandReg;
Evan Chengc92da382007-11-03 07:20:12 +0000463}
464
Bill Wendlinge23e00d2007-05-08 19:02:46 +0000465bool RALinScan::runOnMachineFunction(MachineFunction &fn) {
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000466 mf_ = &fn;
Evan Cheng3e172252008-06-20 21:45:16 +0000467 mri_ = &fn.getRegInfo();
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000468 tm_ = &fn.getTarget();
Dan Gohman6f0d0242008-02-10 18:45:23 +0000469 tri_ = tm_->getRegisterInfo();
Evan Chengc92da382007-11-03 07:20:12 +0000470 tii_ = tm_->getInstrInfo();
Dan Gohman6f0d0242008-02-10 18:45:23 +0000471 allocatableRegs_ = tri_->getAllocatableSet(fn);
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000472 li_ = &getAnalysis<LiveIntervals>();
Evan Cheng3f32d652008-06-04 09:18:41 +0000473 ls_ = &getAnalysis<LiveStacks>();
Evan Cheng22f07ff2007-12-11 02:09:15 +0000474 loopInfo = &getAnalysis<MachineLoopInfo>();
Chris Lattnerf348e3a2004-11-18 04:33:31 +0000475
David Greene2c17c4d2007-09-06 16:18:45 +0000476 // We don't run the coalescer here because we have no reason to
477 // interact with it. If the coalescer requires interaction, it
478 // won't do anything. If it doesn't require interaction, we assume
479 // it was run as a separate pass.
480
Chris Lattnerb9805782005-08-23 22:27:31 +0000481 // If this is the first function compiled, compute the related reg classes.
482 if (RelatedRegClasses.empty())
483 ComputeRelatedRegClasses();
Evan Cheng5b16cd22009-05-01 01:03:49 +0000484
485 // Also resize register usage trackers.
486 initRegUses();
487
Owen Anderson49c8aa02009-03-13 05:55:11 +0000488 vrm_ = &getAnalysis<VirtRegMap>();
Lang Hames87e3bca2009-05-06 02:36:21 +0000489 if (!rewriter_.get()) rewriter_.reset(createVirtRegRewriter());
Lang Hamese2b201b2009-05-18 19:03:16 +0000490
Lang Hames8783e402009-11-20 00:53:30 +0000491 spiller_.reset(createSpiller(mf_, li_, loopInfo, vrm_));
Lang Hamesf41538d2009-06-02 16:53:25 +0000492
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000493 initIntervalSets();
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000494
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000495 linearScan();
Alkis Evlogimenos0d6c5b62004-02-24 08:58:30 +0000496
Chris Lattnerb0f31bf2005-01-23 22:45:13 +0000497 // Rewrite spill code and update the PhysRegsUsed set.
Lang Hames87e3bca2009-05-06 02:36:21 +0000498 rewriter_->runOnMachineFunction(*mf_, *vrm_, li_);
Chris Lattnercbb56252004-11-18 02:42:27 +0000499
Dan Gohman51cd9d62008-06-23 23:51:16 +0000500 assert(unhandled_.empty() && "Unhandled live intervals remain!");
Evan Cheng5b16cd22009-05-01 01:03:49 +0000501
502 finalizeRegUses();
503
Chris Lattnercbb56252004-11-18 02:42:27 +0000504 fixed_.clear();
505 active_.clear();
506 inactive_.clear();
507 handled_.clear();
Evan Cheng206d1852009-04-20 08:01:12 +0000508 NextReloadMap.clear();
509 DowngradedRegs.clear();
510 DowngradeMap.clear();
Lang Hamesf41538d2009-06-02 16:53:25 +0000511 spiller_.reset(0);
Chris Lattnercbb56252004-11-18 02:42:27 +0000512
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000513 return true;
Alkis Evlogimenos0d6c5b62004-02-24 08:58:30 +0000514}
515
Chris Lattnerc8b9f332004-11-18 06:01:45 +0000516/// initIntervalSets - initialize the interval sets.
517///
Bill Wendlinge23e00d2007-05-08 19:02:46 +0000518void RALinScan::initIntervalSets()
Chris Lattnerc8b9f332004-11-18 06:01:45 +0000519{
520 assert(unhandled_.empty() && fixed_.empty() &&
521 active_.empty() && inactive_.empty() &&
522 "interval sets should be empty on initialization");
523
Owen Andersoncd1dcbd2008-08-15 18:49:41 +0000524 handled_.reserve(li_->getNumIntervals());
525
Chris Lattnerc8b9f332004-11-18 06:01:45 +0000526 for (LiveIntervals::iterator i = li_->begin(), e = li_->end(); i != e; ++i) {
Owen Anderson03857b22008-08-13 21:49:13 +0000527 if (TargetRegisterInfo::isPhysicalRegister(i->second->reg)) {
Lang Hames233a60e2009-11-03 23:52:08 +0000528 if (!i->second->empty()) {
529 mri_->setPhysRegUsed(i->second->reg);
530 fixed_.push_back(std::make_pair(i->second, i->second->begin()));
531 }
532 } else {
533 if (i->second->empty()) {
534 assignRegOrStackSlotAtInterval(i->second);
535 }
536 else
537 unhandled_.push(i->second);
538 }
Chris Lattnerc8b9f332004-11-18 06:01:45 +0000539 }
540}
541
Bill Wendlingc3115a02009-08-22 20:30:53 +0000542void RALinScan::linearScan() {
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000543 // linear scan algorithm
Bill Wendlingc3115a02009-08-22 20:30:53 +0000544 DEBUG({
545 errs() << "********** LINEAR SCAN **********\n"
546 << "********** Function: "
547 << mf_->getFunction()->getName() << '\n';
548 printIntervals("fixed", fixed_.begin(), fixed_.end());
549 });
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000550
551 while (!unhandled_.empty()) {
552 // pick the interval with the earliest start point
553 LiveInterval* cur = unhandled_.top();
554 unhandled_.pop();
Evan Cheng11923cc2007-10-16 21:09:14 +0000555 ++NumIters;
Bill Wendlingc3115a02009-08-22 20:30:53 +0000556 DEBUG(errs() << "\n*** CURRENT ***: " << *cur << '\n');
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000557
Lang Hames233a60e2009-11-03 23:52:08 +0000558 assert(!cur->empty() && "Empty interval in unhandled set.");
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000559
Lang Hames233a60e2009-11-03 23:52:08 +0000560 processActiveIntervals(cur->beginIndex());
561 processInactiveIntervals(cur->beginIndex());
562
563 assert(TargetRegisterInfo::isVirtualRegister(cur->reg) &&
564 "Can only allocate virtual registers!");
Misha Brukmanedf128a2005-04-21 22:36:52 +0000565
Chris Lattnerc8b9f332004-11-18 06:01:45 +0000566 // Allocating a virtual register. try to find a free
567 // physical register or spill an interval (possibly this one) in order to
568 // assign it one.
569 assignRegOrStackSlotAtInterval(cur);
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000570
Bill Wendlingc3115a02009-08-22 20:30:53 +0000571 DEBUG({
572 printIntervals("active", active_.begin(), active_.end());
573 printIntervals("inactive", inactive_.begin(), inactive_.end());
574 });
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000575 }
Alkis Evlogimenos7d629b52004-01-07 09:20:58 +0000576
Evan Cheng5b16cd22009-05-01 01:03:49 +0000577 // Expire any remaining active intervals
Evan Cheng11923cc2007-10-16 21:09:14 +0000578 while (!active_.empty()) {
579 IntervalPtr &IP = active_.back();
580 unsigned reg = IP.first->reg;
Bill Wendlingc3115a02009-08-22 20:30:53 +0000581 DEBUG(errs() << "\tinterval " << *IP.first << " expired\n");
Dan Gohman6f0d0242008-02-10 18:45:23 +0000582 assert(TargetRegisterInfo::isVirtualRegister(reg) &&
Chris Lattnerc8b9f332004-11-18 06:01:45 +0000583 "Can only allocate virtual registers!");
584 reg = vrm_->getPhys(reg);
Evan Cheng5b16cd22009-05-01 01:03:49 +0000585 delRegUse(reg);
Evan Cheng11923cc2007-10-16 21:09:14 +0000586 active_.pop_back();
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000587 }
Alkis Evlogimenos7d629b52004-01-07 09:20:58 +0000588
Evan Cheng5b16cd22009-05-01 01:03:49 +0000589 // Expire any remaining inactive intervals
Bill Wendlingc3115a02009-08-22 20:30:53 +0000590 DEBUG({
591 for (IntervalPtrs::reverse_iterator
592 i = inactive_.rbegin(); i != inactive_.rend(); ++i)
593 errs() << "\tinterval " << *i->first << " expired\n";
594 });
Evan Cheng11923cc2007-10-16 21:09:14 +0000595 inactive_.clear();
Alkis Evlogimenosb7be1152004-01-13 20:42:08 +0000596
Evan Cheng81a03822007-11-17 00:40:40 +0000597 // Add live-ins to every BB except for entry. Also perform trivial coalescing.
Evan Cheng3f4b80e2007-10-17 02:12:22 +0000598 MachineFunction::iterator EntryMBB = mf_->begin();
Evan Chenga5bfc972007-10-17 06:53:44 +0000599 SmallVector<MachineBasicBlock*, 8> LiveInMBBs;
Evan Cheng3f4b80e2007-10-17 02:12:22 +0000600 for (LiveIntervals::iterator i = li_->begin(), e = li_->end(); i != e; ++i) {
Owen Anderson03857b22008-08-13 21:49:13 +0000601 LiveInterval &cur = *i->second;
Evan Cheng3f4b80e2007-10-17 02:12:22 +0000602 unsigned Reg = 0;
Dan Gohman6f0d0242008-02-10 18:45:23 +0000603 bool isPhys = TargetRegisterInfo::isPhysicalRegister(cur.reg);
Evan Cheng81a03822007-11-17 00:40:40 +0000604 if (isPhys)
Owen Anderson03857b22008-08-13 21:49:13 +0000605 Reg = cur.reg;
Evan Cheng3f4b80e2007-10-17 02:12:22 +0000606 else if (vrm_->isAssignedReg(cur.reg))
Evan Chengc92da382007-11-03 07:20:12 +0000607 Reg = attemptTrivialCoalescing(cur, vrm_->getPhys(cur.reg));
Evan Cheng3f4b80e2007-10-17 02:12:22 +0000608 if (!Reg)
609 continue;
Evan Cheng81a03822007-11-17 00:40:40 +0000610 // Ignore splited live intervals.
611 if (!isPhys && vrm_->getPreSplitReg(cur.reg))
612 continue;
Evan Cheng550aacb2009-06-04 20:28:22 +0000613
Evan Cheng3f4b80e2007-10-17 02:12:22 +0000614 for (LiveInterval::Ranges::const_iterator I = cur.begin(), E = cur.end();
615 I != E; ++I) {
616 const LiveRange &LR = *I;
Evan Chengd0e32c52008-10-29 05:06:14 +0000617 if (li_->findLiveInMBBs(LR.start, LR.end, LiveInMBBs)) {
Evan Cheng3f4b80e2007-10-17 02:12:22 +0000618 for (unsigned i = 0, e = LiveInMBBs.size(); i != e; ++i)
Evan Cheng073e7e52009-06-04 20:53:36 +0000619 if (LiveInMBBs[i] != EntryMBB) {
620 assert(TargetRegisterInfo::isPhysicalRegister(Reg) &&
621 "Adding a virtual register to livein set?");
Evan Cheng3f4b80e2007-10-17 02:12:22 +0000622 LiveInMBBs[i]->addLiveIn(Reg);
Evan Cheng073e7e52009-06-04 20:53:36 +0000623 }
Evan Chenga5bfc972007-10-17 06:53:44 +0000624 LiveInMBBs.clear();
Evan Cheng9fc508f2007-02-16 09:05:02 +0000625 }
626 }
627 }
628
Bill Wendlingc3115a02009-08-22 20:30:53 +0000629 DEBUG(errs() << *vrm_);
Evan Chengc781a242009-05-03 18:32:42 +0000630
631 // Look for physical registers that end up not being allocated even though
632 // register allocator had to spill other registers in its register class.
633 if (ls_->getNumIntervals() == 0)
634 return;
Evan Cheng90f95f82009-06-14 20:22:55 +0000635 if (!vrm_->FindUnusedRegisters(li_))
Evan Chengc781a242009-05-03 18:32:42 +0000636 return;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000637}
638
Chris Lattnercbb56252004-11-18 02:42:27 +0000639/// processActiveIntervals - expire old intervals and move non-overlapping ones
640/// to the inactive list.
Lang Hames233a60e2009-11-03 23:52:08 +0000641void RALinScan::processActiveIntervals(SlotIndex CurPoint)
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000642{
Bill Wendlingc3115a02009-08-22 20:30:53 +0000643 DEBUG(errs() << "\tprocessing active intervals:\n");
Chris Lattner23b71c12004-11-18 01:29:39 +0000644
Chris Lattnercbb56252004-11-18 02:42:27 +0000645 for (unsigned i = 0, e = active_.size(); i != e; ++i) {
646 LiveInterval *Interval = active_[i].first;
647 LiveInterval::iterator IntervalPos = active_[i].second;
648 unsigned reg = Interval->reg;
Alkis Evlogimenosed543732004-09-01 22:52:29 +0000649
Chris Lattnercbb56252004-11-18 02:42:27 +0000650 IntervalPos = Interval->advanceTo(IntervalPos, CurPoint);
651
652 if (IntervalPos == Interval->end()) { // Remove expired intervals.
Bill Wendlingc3115a02009-08-22 20:30:53 +0000653 DEBUG(errs() << "\t\tinterval " << *Interval << " expired\n");
Dan Gohman6f0d0242008-02-10 18:45:23 +0000654 assert(TargetRegisterInfo::isVirtualRegister(reg) &&
Chris Lattnerc8b9f332004-11-18 06:01:45 +0000655 "Can only allocate virtual registers!");
656 reg = vrm_->getPhys(reg);
Evan Cheng5b16cd22009-05-01 01:03:49 +0000657 delRegUse(reg);
Chris Lattnercbb56252004-11-18 02:42:27 +0000658
659 // Pop off the end of the list.
660 active_[i] = active_.back();
661 active_.pop_back();
662 --i; --e;
Misha Brukmanedf128a2005-04-21 22:36:52 +0000663
Chris Lattnercbb56252004-11-18 02:42:27 +0000664 } else if (IntervalPos->start > CurPoint) {
665 // Move inactive intervals to inactive list.
Bill Wendlingc3115a02009-08-22 20:30:53 +0000666 DEBUG(errs() << "\t\tinterval " << *Interval << " inactive\n");
Dan Gohman6f0d0242008-02-10 18:45:23 +0000667 assert(TargetRegisterInfo::isVirtualRegister(reg) &&
Chris Lattnerc8b9f332004-11-18 06:01:45 +0000668 "Can only allocate virtual registers!");
669 reg = vrm_->getPhys(reg);
Evan Cheng5b16cd22009-05-01 01:03:49 +0000670 delRegUse(reg);
Chris Lattnercbb56252004-11-18 02:42:27 +0000671 // add to inactive.
672 inactive_.push_back(std::make_pair(Interval, IntervalPos));
673
674 // Pop off the end of the list.
675 active_[i] = active_.back();
676 active_.pop_back();
677 --i; --e;
678 } else {
679 // Otherwise, just update the iterator position.
680 active_[i].second = IntervalPos;
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000681 }
682 }
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000683}
684
Chris Lattnercbb56252004-11-18 02:42:27 +0000685/// processInactiveIntervals - expire old intervals and move overlapping
686/// ones to the active list.
Lang Hames233a60e2009-11-03 23:52:08 +0000687void RALinScan::processInactiveIntervals(SlotIndex CurPoint)
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000688{
Bill Wendlingc3115a02009-08-22 20:30:53 +0000689 DEBUG(errs() << "\tprocessing inactive intervals:\n");
Chris Lattner365b95f2004-11-18 04:13:02 +0000690
Chris Lattnercbb56252004-11-18 02:42:27 +0000691 for (unsigned i = 0, e = inactive_.size(); i != e; ++i) {
692 LiveInterval *Interval = inactive_[i].first;
693 LiveInterval::iterator IntervalPos = inactive_[i].second;
694 unsigned reg = Interval->reg;
Chris Lattner23b71c12004-11-18 01:29:39 +0000695
Chris Lattnercbb56252004-11-18 02:42:27 +0000696 IntervalPos = Interval->advanceTo(IntervalPos, CurPoint);
Misha Brukmanedf128a2005-04-21 22:36:52 +0000697
Chris Lattnercbb56252004-11-18 02:42:27 +0000698 if (IntervalPos == Interval->end()) { // remove expired intervals.
Bill Wendlingc3115a02009-08-22 20:30:53 +0000699 DEBUG(errs() << "\t\tinterval " << *Interval << " expired\n");
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000700
Chris Lattnercbb56252004-11-18 02:42:27 +0000701 // Pop off the end of the list.
702 inactive_[i] = inactive_.back();
703 inactive_.pop_back();
704 --i; --e;
705 } else if (IntervalPos->start <= CurPoint) {
706 // move re-activated intervals in active list
Bill Wendlingc3115a02009-08-22 20:30:53 +0000707 DEBUG(errs() << "\t\tinterval " << *Interval << " active\n");
Dan Gohman6f0d0242008-02-10 18:45:23 +0000708 assert(TargetRegisterInfo::isVirtualRegister(reg) &&
Chris Lattnerc8b9f332004-11-18 06:01:45 +0000709 "Can only allocate virtual registers!");
710 reg = vrm_->getPhys(reg);
Evan Cheng5b16cd22009-05-01 01:03:49 +0000711 addRegUse(reg);
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000712 // add to active
Chris Lattnercbb56252004-11-18 02:42:27 +0000713 active_.push_back(std::make_pair(Interval, IntervalPos));
714
715 // Pop off the end of the list.
716 inactive_[i] = inactive_.back();
717 inactive_.pop_back();
718 --i; --e;
719 } else {
720 // Otherwise, just update the iterator position.
721 inactive_[i].second = IntervalPos;
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000722 }
723 }
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000724}
725
Chris Lattnercbb56252004-11-18 02:42:27 +0000726/// updateSpillWeights - updates the spill weights of the specifed physical
727/// register and its weight.
Evan Cheng5d088fe2009-03-23 22:57:19 +0000728void RALinScan::updateSpillWeights(std::vector<float> &Weights,
729 unsigned reg, float weight,
730 const TargetRegisterClass *RC) {
731 SmallSet<unsigned, 4> Processed;
732 SmallSet<unsigned, 4> SuperAdded;
733 SmallVector<unsigned, 4> Supers;
Chris Lattnerc8b9f332004-11-18 06:01:45 +0000734 Weights[reg] += weight;
Evan Cheng5d088fe2009-03-23 22:57:19 +0000735 Processed.insert(reg);
736 for (const unsigned* as = tri_->getAliasSet(reg); *as; ++as) {
Chris Lattnerc8b9f332004-11-18 06:01:45 +0000737 Weights[*as] += weight;
Evan Cheng5d088fe2009-03-23 22:57:19 +0000738 Processed.insert(*as);
739 if (tri_->isSubRegister(*as, reg) &&
740 SuperAdded.insert(*as) &&
741 RC->contains(*as)) {
742 Supers.push_back(*as);
743 }
744 }
745
746 // If the alias is a super-register, and the super-register is in the
747 // register class we are trying to allocate. Then add the weight to all
748 // sub-registers of the super-register even if they are not aliases.
749 // e.g. allocating for GR32, bh is not used, updating bl spill weight.
750 // bl should get the same spill weight otherwise it will be choosen
751 // as a spill candidate since spilling bh doesn't make ebx available.
752 for (unsigned i = 0, e = Supers.size(); i != e; ++i) {
Evan Chengc781a242009-05-03 18:32:42 +0000753 for (const unsigned *sr = tri_->getSubRegisters(Supers[i]); *sr; ++sr)
754 if (!Processed.count(*sr))
755 Weights[*sr] += weight;
Evan Cheng5d088fe2009-03-23 22:57:19 +0000756 }
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000757}
758
Bill Wendlinge23e00d2007-05-08 19:02:46 +0000759static
760RALinScan::IntervalPtrs::iterator
761FindIntervalInVector(RALinScan::IntervalPtrs &IP, LiveInterval *LI) {
762 for (RALinScan::IntervalPtrs::iterator I = IP.begin(), E = IP.end();
763 I != E; ++I)
Chris Lattnercbb56252004-11-18 02:42:27 +0000764 if (I->first == LI) return I;
765 return IP.end();
766}
767
Lang Hames233a60e2009-11-03 23:52:08 +0000768static void RevertVectorIteratorsTo(RALinScan::IntervalPtrs &V, SlotIndex Point){
Chris Lattner19828d42004-11-18 03:49:30 +0000769 for (unsigned i = 0, e = V.size(); i != e; ++i) {
Bill Wendlinge23e00d2007-05-08 19:02:46 +0000770 RALinScan::IntervalPtr &IP = V[i];
Chris Lattner19828d42004-11-18 03:49:30 +0000771 LiveInterval::iterator I = std::upper_bound(IP.first->begin(),
772 IP.second, Point);
773 if (I != IP.first->begin()) --I;
774 IP.second = I;
775 }
776}
Chris Lattnercbb56252004-11-18 02:42:27 +0000777
Evan Cheng3f32d652008-06-04 09:18:41 +0000778/// addStackInterval - Create a LiveInterval for stack if the specified live
779/// interval has been spilled.
780static void addStackInterval(LiveInterval *cur, LiveStacks *ls_,
Evan Chengc781a242009-05-03 18:32:42 +0000781 LiveIntervals *li_,
782 MachineRegisterInfo* mri_, VirtRegMap &vrm_) {
Evan Cheng3f32d652008-06-04 09:18:41 +0000783 int SS = vrm_.getStackSlot(cur->reg);
784 if (SS == VirtRegMap::NO_STACK_SLOT)
785 return;
Evan Chengc781a242009-05-03 18:32:42 +0000786
787 const TargetRegisterClass *RC = mri_->getRegClass(cur->reg);
788 LiveInterval &SI = ls_->getOrCreateInterval(SS, RC);
Evan Cheng9c3c2212008-06-06 07:54:39 +0000789
Evan Cheng3f32d652008-06-04 09:18:41 +0000790 VNInfo *VNI;
Evan Cheng54898932008-10-29 08:39:34 +0000791 if (SI.hasAtLeastOneValue())
Evan Cheng3f32d652008-06-04 09:18:41 +0000792 VNI = SI.getValNumInfo(0);
793 else
Lang Hames233a60e2009-11-03 23:52:08 +0000794 VNI = SI.getNextValue(SlotIndex(), 0, false,
Lang Hames86511252009-09-04 20:41:11 +0000795 ls_->getVNInfoAllocator());
Evan Cheng3f32d652008-06-04 09:18:41 +0000796
797 LiveInterval &RI = li_->getInterval(cur->reg);
798 // FIXME: This may be overly conservative.
799 SI.MergeRangesInAsValue(RI, VNI);
Evan Cheng3f32d652008-06-04 09:18:41 +0000800}
801
Evan Cheng3e172252008-06-20 21:45:16 +0000802/// getConflictWeight - Return the number of conflicts between cur
803/// live interval and defs and uses of Reg weighted by loop depthes.
Evan Chengc781a242009-05-03 18:32:42 +0000804static
805float getConflictWeight(LiveInterval *cur, unsigned Reg, LiveIntervals *li_,
806 MachineRegisterInfo *mri_,
807 const MachineLoopInfo *loopInfo) {
Evan Cheng3e172252008-06-20 21:45:16 +0000808 float Conflicts = 0;
809 for (MachineRegisterInfo::reg_iterator I = mri_->reg_begin(Reg),
810 E = mri_->reg_end(); I != E; ++I) {
811 MachineInstr *MI = &*I;
812 if (cur->liveAt(li_->getInstructionIndex(MI))) {
813 unsigned loopDepth = loopInfo->getLoopDepth(MI->getParent());
814 Conflicts += powf(10.0f, (float)loopDepth);
815 }
816 }
817 return Conflicts;
818}
819
820/// findIntervalsToSpill - Determine the intervals to spill for the
821/// specified interval. It's passed the physical registers whose spill
822/// weight is the lowest among all the registers whose live intervals
823/// conflict with the interval.
824void RALinScan::findIntervalsToSpill(LiveInterval *cur,
825 std::vector<std::pair<unsigned,float> > &Candidates,
826 unsigned NumCands,
827 SmallVector<LiveInterval*, 8> &SpillIntervals) {
828 // We have figured out the *best* register to spill. But there are other
829 // registers that are pretty good as well (spill weight within 3%). Spill
830 // the one that has fewest defs and uses that conflict with cur.
831 float Conflicts[3] = { 0.0f, 0.0f, 0.0f };
832 SmallVector<LiveInterval*, 8> SLIs[3];
833
Bill Wendlingc3115a02009-08-22 20:30:53 +0000834 DEBUG({
835 errs() << "\tConsidering " << NumCands << " candidates: ";
836 for (unsigned i = 0; i != NumCands; ++i)
837 errs() << tri_->getName(Candidates[i].first) << " ";
838 errs() << "\n";
839 });
Evan Cheng3e172252008-06-20 21:45:16 +0000840
841 // Calculate the number of conflicts of each candidate.
842 for (IntervalPtrs::iterator i = active_.begin(); i != active_.end(); ++i) {
843 unsigned Reg = i->first->reg;
844 unsigned PhysReg = vrm_->getPhys(Reg);
845 if (!cur->overlapsFrom(*i->first, i->second))
846 continue;
847 for (unsigned j = 0; j < NumCands; ++j) {
848 unsigned Candidate = Candidates[j].first;
849 if (tri_->regsOverlap(PhysReg, Candidate)) {
850 if (NumCands > 1)
851 Conflicts[j] += getConflictWeight(cur, Reg, li_, mri_, loopInfo);
852 SLIs[j].push_back(i->first);
853 }
854 }
855 }
856
857 for (IntervalPtrs::iterator i = inactive_.begin(); i != inactive_.end(); ++i){
858 unsigned Reg = i->first->reg;
859 unsigned PhysReg = vrm_->getPhys(Reg);
860 if (!cur->overlapsFrom(*i->first, i->second-1))
861 continue;
862 for (unsigned j = 0; j < NumCands; ++j) {
863 unsigned Candidate = Candidates[j].first;
864 if (tri_->regsOverlap(PhysReg, Candidate)) {
865 if (NumCands > 1)
866 Conflicts[j] += getConflictWeight(cur, Reg, li_, mri_, loopInfo);
867 SLIs[j].push_back(i->first);
868 }
869 }
870 }
871
872 // Which is the best candidate?
873 unsigned BestCandidate = 0;
874 float MinConflicts = Conflicts[0];
875 for (unsigned i = 1; i != NumCands; ++i) {
876 if (Conflicts[i] < MinConflicts) {
877 BestCandidate = i;
878 MinConflicts = Conflicts[i];
879 }
880 }
881
882 std::copy(SLIs[BestCandidate].begin(), SLIs[BestCandidate].end(),
883 std::back_inserter(SpillIntervals));
884}
885
886namespace {
887 struct WeightCompare {
David Greene7cfd3362009-11-19 15:55:49 +0000888 private:
889 const RALinScan &Allocator;
890
891 public:
892 WeightCompare(const RALinScan &Alloc) : Allocator(Alloc) {};
893
Evan Cheng3e172252008-06-20 21:45:16 +0000894 typedef std::pair<unsigned, float> RegWeightPair;
895 bool operator()(const RegWeightPair &LHS, const RegWeightPair &RHS) const {
David Greene7cfd3362009-11-19 15:55:49 +0000896 return LHS.second < RHS.second && !Allocator.isRecentlyUsed(LHS.first);
Evan Cheng3e172252008-06-20 21:45:16 +0000897 }
898 };
899}
900
901static bool weightsAreClose(float w1, float w2) {
902 if (!NewHeuristic)
903 return false;
904
905 float diff = w1 - w2;
906 if (diff <= 0.02f) // Within 0.02f
907 return true;
908 return (diff / w2) <= 0.05f; // Within 5%.
909}
910
Evan Cheng206d1852009-04-20 08:01:12 +0000911LiveInterval *RALinScan::hasNextReloadInterval(LiveInterval *cur) {
912 DenseMap<unsigned, unsigned>::iterator I = NextReloadMap.find(cur->reg);
913 if (I == NextReloadMap.end())
914 return 0;
915 return &li_->getInterval(I->second);
916}
917
918void RALinScan::DowngradeRegister(LiveInterval *li, unsigned Reg) {
919 bool isNew = DowngradedRegs.insert(Reg);
920 isNew = isNew; // Silence compiler warning.
921 assert(isNew && "Multiple reloads holding the same register?");
922 DowngradeMap.insert(std::make_pair(li->reg, Reg));
923 for (const unsigned *AS = tri_->getAliasSet(Reg); *AS; ++AS) {
924 isNew = DowngradedRegs.insert(*AS);
925 isNew = isNew; // Silence compiler warning.
926 assert(isNew && "Multiple reloads holding the same register?");
927 DowngradeMap.insert(std::make_pair(li->reg, *AS));
928 }
929 ++NumDowngrade;
930}
931
932void RALinScan::UpgradeRegister(unsigned Reg) {
933 if (Reg) {
934 DowngradedRegs.erase(Reg);
935 for (const unsigned *AS = tri_->getAliasSet(Reg); *AS; ++AS)
936 DowngradedRegs.erase(*AS);
937 }
938}
939
940namespace {
941 struct LISorter {
942 bool operator()(LiveInterval* A, LiveInterval* B) {
Lang Hames86511252009-09-04 20:41:11 +0000943 return A->beginIndex() < B->beginIndex();
Evan Cheng206d1852009-04-20 08:01:12 +0000944 }
945 };
946}
947
Chris Lattnercbb56252004-11-18 02:42:27 +0000948/// assignRegOrStackSlotAtInterval - assign a register if one is available, or
949/// spill.
Bill Wendlingc3115a02009-08-22 20:30:53 +0000950void RALinScan::assignRegOrStackSlotAtInterval(LiveInterval* cur) {
951 DEBUG(errs() << "\tallocating current interval: ");
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000952
Evan Chengf30a49d2008-04-03 16:40:27 +0000953 // This is an implicitly defined live interval, just assign any register.
Evan Cheng841ee1a2008-09-18 22:38:47 +0000954 const TargetRegisterClass *RC = mri_->getRegClass(cur->reg);
Evan Chengf30a49d2008-04-03 16:40:27 +0000955 if (cur->empty()) {
Evan Cheng90f95f82009-06-14 20:22:55 +0000956 unsigned physReg = vrm_->getRegAllocPref(cur->reg);
Evan Chengf30a49d2008-04-03 16:40:27 +0000957 if (!physReg)
958 physReg = *RC->allocation_order_begin(*mf_);
Bill Wendlingc3115a02009-08-22 20:30:53 +0000959 DEBUG(errs() << tri_->getName(physReg) << '\n');
Evan Chengf30a49d2008-04-03 16:40:27 +0000960 // Note the register is not really in use.
961 vrm_->assignVirt2Phys(cur->reg, physReg);
Evan Chengf30a49d2008-04-03 16:40:27 +0000962 return;
963 }
964
Evan Cheng5b16cd22009-05-01 01:03:49 +0000965 backUpRegUses();
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +0000966
Chris Lattnera6c17502005-08-22 20:20:42 +0000967 std::vector<std::pair<unsigned, float> > SpillWeightsToAdd;
Lang Hames233a60e2009-11-03 23:52:08 +0000968 SlotIndex StartPosition = cur->beginIndex();
Chris Lattnerb9805782005-08-23 22:27:31 +0000969 const TargetRegisterClass *RCLeader = RelatedRegClasses.getLeaderValue(RC);
Evan Chengc92da382007-11-03 07:20:12 +0000970
Evan Chengd0deec22009-01-20 00:16:18 +0000971 // If start of this live interval is defined by a move instruction and its
972 // source is assigned a physical register that is compatible with the target
973 // register class, then we should try to assign it the same register.
Evan Chengc92da382007-11-03 07:20:12 +0000974 // This can happen when the move is from a larger register class to a smaller
975 // one, e.g. X86::mov32to32_. These move instructions are not coalescable.
Evan Cheng90f95f82009-06-14 20:22:55 +0000976 if (!vrm_->getRegAllocPref(cur->reg) && cur->hasAtLeastOneValue()) {
Evan Chengd0deec22009-01-20 00:16:18 +0000977 VNInfo *vni = cur->begin()->valno;
Lang Hames233a60e2009-11-03 23:52:08 +0000978 if ((vni->def != SlotIndex()) && !vni->isUnused() &&
Lang Hames86511252009-09-04 20:41:11 +0000979 vni->isDefAccurate()) {
Evan Chengc92da382007-11-03 07:20:12 +0000980 MachineInstr *CopyMI = li_->getInstructionFromIndex(vni->def);
Evan Cheng04ee5a12009-01-20 19:12:24 +0000981 unsigned SrcReg, DstReg, SrcSubReg, DstSubReg;
982 if (CopyMI &&
983 tii_->isMoveInstr(*CopyMI, SrcReg, DstReg, SrcSubReg, DstSubReg)) {
Evan Chengc92da382007-11-03 07:20:12 +0000984 unsigned Reg = 0;
Dan Gohman6f0d0242008-02-10 18:45:23 +0000985 if (TargetRegisterInfo::isPhysicalRegister(SrcReg))
Evan Chengc92da382007-11-03 07:20:12 +0000986 Reg = SrcReg;
987 else if (vrm_->isAssignedReg(SrcReg))
988 Reg = vrm_->getPhys(SrcReg);
Evan Cheng1c2f6da2009-04-29 00:42:27 +0000989 if (Reg) {
990 if (SrcSubReg)
991 Reg = tri_->getSubReg(Reg, SrcSubReg);
992 if (DstSubReg)
993 Reg = tri_->getMatchingSuperReg(Reg, DstSubReg, RC);
994 if (Reg && allocatableRegs_[Reg] && RC->contains(Reg))
Evan Cheng358dec52009-06-15 08:28:29 +0000995 mri_->setRegAllocationHint(cur->reg, 0, Reg);
Evan Cheng1c2f6da2009-04-29 00:42:27 +0000996 }
Evan Chengc92da382007-11-03 07:20:12 +0000997 }
998 }
999 }
1000
Evan Cheng5b16cd22009-05-01 01:03:49 +00001001 // For every interval in inactive we overlap with, mark the
Chris Lattnera6c17502005-08-22 20:20:42 +00001002 // register as not free and update spill weights.
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +00001003 for (IntervalPtrs::const_iterator i = inactive_.begin(),
1004 e = inactive_.end(); i != e; ++i) {
Chris Lattnerb9805782005-08-23 22:27:31 +00001005 unsigned Reg = i->first->reg;
Dan Gohman6f0d0242008-02-10 18:45:23 +00001006 assert(TargetRegisterInfo::isVirtualRegister(Reg) &&
Chris Lattnerb9805782005-08-23 22:27:31 +00001007 "Can only allocate virtual registers!");
Evan Cheng841ee1a2008-09-18 22:38:47 +00001008 const TargetRegisterClass *RegRC = mri_->getRegClass(Reg);
Chris Lattnerb9805782005-08-23 22:27:31 +00001009 // If this is not in a related reg class to the register we're allocating,
1010 // don't check it.
1011 if (RelatedRegClasses.getLeaderValue(RegRC) == RCLeader &&
1012 cur->overlapsFrom(*i->first, i->second-1)) {
1013 Reg = vrm_->getPhys(Reg);
Evan Cheng5b16cd22009-05-01 01:03:49 +00001014 addRegUse(Reg);
Chris Lattnerb9805782005-08-23 22:27:31 +00001015 SpillWeightsToAdd.push_back(std::make_pair(Reg, i->first->weight));
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +00001016 }
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +00001017 }
Chris Lattnera411cbc2005-08-22 20:59:30 +00001018
1019 // Speculatively check to see if we can get a register right now. If not,
1020 // we know we won't be able to by adding more constraints. If so, we can
1021 // check to see if it is valid. Doing an exhaustive search of the fixed_ list
1022 // is very bad (it contains all callee clobbered registers for any functions
1023 // with a call), so we want to avoid doing that if possible.
1024 unsigned physReg = getFreePhysReg(cur);
Evan Cheng676dd7c2008-03-11 07:19:34 +00001025 unsigned BestPhysReg = physReg;
Chris Lattnera411cbc2005-08-22 20:59:30 +00001026 if (physReg) {
1027 // We got a register. However, if it's in the fixed_ list, we might
Chris Lattnere836ad62005-08-30 21:03:36 +00001028 // conflict with it. Check to see if we conflict with it or any of its
1029 // aliases.
Evan Chengc92da382007-11-03 07:20:12 +00001030 SmallSet<unsigned, 8> RegAliases;
Dan Gohman6f0d0242008-02-10 18:45:23 +00001031 for (const unsigned *AS = tri_->getAliasSet(physReg); *AS; ++AS)
Chris Lattnere836ad62005-08-30 21:03:36 +00001032 RegAliases.insert(*AS);
1033
Chris Lattnera411cbc2005-08-22 20:59:30 +00001034 bool ConflictsWithFixed = false;
1035 for (unsigned i = 0, e = fixed_.size(); i != e; ++i) {
Jim Laskeye719d9f2006-10-24 14:35:25 +00001036 IntervalPtr &IP = fixed_[i];
1037 if (physReg == IP.first->reg || RegAliases.count(IP.first->reg)) {
Chris Lattnera411cbc2005-08-22 20:59:30 +00001038 // Okay, this reg is on the fixed list. Check to see if we actually
1039 // conflict.
Chris Lattnera411cbc2005-08-22 20:59:30 +00001040 LiveInterval *I = IP.first;
Lang Hames86511252009-09-04 20:41:11 +00001041 if (I->endIndex() > StartPosition) {
Chris Lattnera411cbc2005-08-22 20:59:30 +00001042 LiveInterval::iterator II = I->advanceTo(IP.second, StartPosition);
1043 IP.second = II;
1044 if (II != I->begin() && II->start > StartPosition)
1045 --II;
Chris Lattnere836ad62005-08-30 21:03:36 +00001046 if (cur->overlapsFrom(*I, II)) {
Chris Lattnera411cbc2005-08-22 20:59:30 +00001047 ConflictsWithFixed = true;
Chris Lattnere836ad62005-08-30 21:03:36 +00001048 break;
1049 }
Chris Lattnera411cbc2005-08-22 20:59:30 +00001050 }
Chris Lattnerf348e3a2004-11-18 04:33:31 +00001051 }
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +00001052 }
Chris Lattnera411cbc2005-08-22 20:59:30 +00001053
1054 // Okay, the register picked by our speculative getFreePhysReg call turned
1055 // out to be in use. Actually add all of the conflicting fixed registers to
Evan Cheng5b16cd22009-05-01 01:03:49 +00001056 // regUse_ so we can do an accurate query.
Chris Lattnera411cbc2005-08-22 20:59:30 +00001057 if (ConflictsWithFixed) {
Chris Lattnerb9805782005-08-23 22:27:31 +00001058 // For every interval in fixed we overlap with, mark the register as not
1059 // free and update spill weights.
Chris Lattnera411cbc2005-08-22 20:59:30 +00001060 for (unsigned i = 0, e = fixed_.size(); i != e; ++i) {
1061 IntervalPtr &IP = fixed_[i];
1062 LiveInterval *I = IP.first;
Chris Lattnerb9805782005-08-23 22:27:31 +00001063
1064 const TargetRegisterClass *RegRC = OneClassForEachPhysReg[I->reg];
1065 if (RelatedRegClasses.getLeaderValue(RegRC) == RCLeader &&
Lang Hames86511252009-09-04 20:41:11 +00001066 I->endIndex() > StartPosition) {
Chris Lattnera411cbc2005-08-22 20:59:30 +00001067 LiveInterval::iterator II = I->advanceTo(IP.second, StartPosition);
1068 IP.second = II;
1069 if (II != I->begin() && II->start > StartPosition)
1070 --II;
1071 if (cur->overlapsFrom(*I, II)) {
1072 unsigned reg = I->reg;
Evan Cheng5b16cd22009-05-01 01:03:49 +00001073 addRegUse(reg);
Chris Lattnera411cbc2005-08-22 20:59:30 +00001074 SpillWeightsToAdd.push_back(std::make_pair(reg, I->weight));
1075 }
1076 }
1077 }
Alkis Evlogimenos169cfd02003-12-21 05:43:40 +00001078
Evan Cheng5b16cd22009-05-01 01:03:49 +00001079 // Using the newly updated regUse_ object, which includes conflicts in the
Chris Lattnera411cbc2005-08-22 20:59:30 +00001080 // future, see if there are any registers available.
1081 physReg = getFreePhysReg(cur);
1082 }
1083 }
1084
Chris Lattnera6c17502005-08-22 20:20:42 +00001085 // Restore the physical register tracker, removing information about the
1086 // future.
Evan Cheng5b16cd22009-05-01 01:03:49 +00001087 restoreRegUses();
Chris Lattnera6c17502005-08-22 20:20:42 +00001088
Evan Cheng5b16cd22009-05-01 01:03:49 +00001089 // If we find a free register, we are done: assign this virtual to
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +00001090 // the free physical register and add this interval to the active
1091 // list.
1092 if (physReg) {
Bill Wendlingc3115a02009-08-22 20:30:53 +00001093 DEBUG(errs() << tri_->getName(physReg) << '\n');
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +00001094 vrm_->assignVirt2Phys(cur->reg, physReg);
Evan Cheng5b16cd22009-05-01 01:03:49 +00001095 addRegUse(physReg);
Chris Lattnercbb56252004-11-18 02:42:27 +00001096 active_.push_back(std::make_pair(cur, cur->begin()));
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +00001097 handled_.push_back(cur);
Evan Cheng206d1852009-04-20 08:01:12 +00001098
1099 // "Upgrade" the physical register since it has been allocated.
1100 UpgradeRegister(physReg);
1101 if (LiveInterval *NextReloadLI = hasNextReloadInterval(cur)) {
1102 // "Downgrade" physReg to try to keep physReg from being allocated until
1103 // the next reload from the same SS is allocated.
Evan Cheng358dec52009-06-15 08:28:29 +00001104 mri_->setRegAllocationHint(NextReloadLI->reg, 0, physReg);
Evan Cheng206d1852009-04-20 08:01:12 +00001105 DowngradeRegister(cur, physReg);
1106 }
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +00001107 return;
1108 }
Bill Wendlingc3115a02009-08-22 20:30:53 +00001109 DEBUG(errs() << "no free registers\n");
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +00001110
Chris Lattnera6c17502005-08-22 20:20:42 +00001111 // Compile the spill weights into an array that is better for scanning.
Evan Cheng3e172252008-06-20 21:45:16 +00001112 std::vector<float> SpillWeights(tri_->getNumRegs(), 0.0f);
Chris Lattnera6c17502005-08-22 20:20:42 +00001113 for (std::vector<std::pair<unsigned, float> >::iterator
1114 I = SpillWeightsToAdd.begin(), E = SpillWeightsToAdd.end(); I != E; ++I)
Evan Cheng5d088fe2009-03-23 22:57:19 +00001115 updateSpillWeights(SpillWeights, I->first, I->second, RC);
Chris Lattnera6c17502005-08-22 20:20:42 +00001116
1117 // for each interval in active, update spill weights.
1118 for (IntervalPtrs::const_iterator i = active_.begin(), e = active_.end();
1119 i != e; ++i) {
1120 unsigned reg = i->first->reg;
Dan Gohman6f0d0242008-02-10 18:45:23 +00001121 assert(TargetRegisterInfo::isVirtualRegister(reg) &&
Chris Lattnera6c17502005-08-22 20:20:42 +00001122 "Can only allocate virtual registers!");
1123 reg = vrm_->getPhys(reg);
Evan Cheng5d088fe2009-03-23 22:57:19 +00001124 updateSpillWeights(SpillWeights, reg, i->first->weight, RC);
Chris Lattnera6c17502005-08-22 20:20:42 +00001125 }
1126
Bill Wendlingc3115a02009-08-22 20:30:53 +00001127 DEBUG(errs() << "\tassigning stack slot at interval "<< *cur << ":\n");
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +00001128
Chris Lattnerc8e2c552006-03-25 23:00:56 +00001129 // Find a register to spill.
Jim Laskey7902c752006-11-07 12:25:45 +00001130 float minWeight = HUGE_VALF;
Evan Cheng90f95f82009-06-14 20:22:55 +00001131 unsigned minReg = 0;
Evan Cheng3e172252008-06-20 21:45:16 +00001132
1133 bool Found = false;
1134 std::vector<std::pair<unsigned,float> > RegsWeights;
Evan Cheng20b0abc2007-04-17 20:32:26 +00001135 if (!minReg || SpillWeights[minReg] == HUGE_VALF)
1136 for (TargetRegisterClass::iterator i = RC->allocation_order_begin(*mf_),
1137 e = RC->allocation_order_end(*mf_); i != e; ++i) {
1138 unsigned reg = *i;
Evan Cheng3e172252008-06-20 21:45:16 +00001139 float regWeight = SpillWeights[reg];
David Greene7cfd3362009-11-19 15:55:49 +00001140 // Skip recently allocated registers.
1141 if (minWeight > regWeight && !isRecentlyUsed(reg))
Evan Cheng3e172252008-06-20 21:45:16 +00001142 Found = true;
1143 RegsWeights.push_back(std::make_pair(reg, regWeight));
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +00001144 }
Chris Lattnerc8e2c552006-03-25 23:00:56 +00001145
1146 // If we didn't find a register that is spillable, try aliases?
Evan Cheng3e172252008-06-20 21:45:16 +00001147 if (!Found) {
Evan Cheng3b6d56c2006-05-12 19:07:46 +00001148 for (TargetRegisterClass::iterator i = RC->allocation_order_begin(*mf_),
1149 e = RC->allocation_order_end(*mf_); i != e; ++i) {
1150 unsigned reg = *i;
1151 // No need to worry about if the alias register size < regsize of RC.
1152 // We are going to spill all registers that alias it anyway.
Evan Cheng3e172252008-06-20 21:45:16 +00001153 for (const unsigned* as = tri_->getAliasSet(reg); *as; ++as)
1154 RegsWeights.push_back(std::make_pair(*as, SpillWeights[*as]));
Evan Cheng676dd7c2008-03-11 07:19:34 +00001155 }
Evan Cheng3b6d56c2006-05-12 19:07:46 +00001156 }
Evan Cheng3e172252008-06-20 21:45:16 +00001157
1158 // Sort all potential spill candidates by weight.
David Greene7cfd3362009-11-19 15:55:49 +00001159 std::sort(RegsWeights.begin(), RegsWeights.end(), WeightCompare(*this));
Evan Cheng3e172252008-06-20 21:45:16 +00001160 minReg = RegsWeights[0].first;
1161 minWeight = RegsWeights[0].second;
1162 if (minWeight == HUGE_VALF) {
1163 // All registers must have inf weight. Just grab one!
1164 minReg = BestPhysReg ? BestPhysReg : *RC->allocation_order_begin(*mf_);
Owen Andersona1566f22008-07-22 22:46:49 +00001165 if (cur->weight == HUGE_VALF ||
Evan Cheng5e8d9de2008-09-20 01:28:05 +00001166 li_->getApproximateInstructionCount(*cur) == 0) {
Evan Cheng3e172252008-06-20 21:45:16 +00001167 // Spill a physical register around defs and uses.
Evan Cheng206d1852009-04-20 08:01:12 +00001168 if (li_->spillPhysRegAroundRegDefsUses(*cur, minReg, *vrm_)) {
Evan Cheng96f3fd92009-04-29 07:16:34 +00001169 // spillPhysRegAroundRegDefsUses may have invalidated iterator stored
1170 // in fixed_. Reset them.
1171 for (unsigned i = 0, e = fixed_.size(); i != e; ++i) {
1172 IntervalPtr &IP = fixed_[i];
1173 LiveInterval *I = IP.first;
1174 if (I->reg == minReg || tri_->isSubRegister(minReg, I->reg))
1175 IP.second = I->advanceTo(I->begin(), StartPosition);
1176 }
1177
Evan Cheng206d1852009-04-20 08:01:12 +00001178 DowngradedRegs.clear();
Evan Cheng2824a652009-03-23 18:24:37 +00001179 assignRegOrStackSlotAtInterval(cur);
Evan Cheng206d1852009-04-20 08:01:12 +00001180 } else {
Lang Hames233a60e2009-11-03 23:52:08 +00001181 assert(false && "Ran out of registers during register allocation!");
Torok Edwin7d696d82009-07-11 13:10:19 +00001182 llvm_report_error("Ran out of registers during register allocation!");
Evan Cheng2824a652009-03-23 18:24:37 +00001183 }
Evan Cheng5e8d9de2008-09-20 01:28:05 +00001184 return;
1185 }
Evan Cheng3e172252008-06-20 21:45:16 +00001186 }
1187
1188 // Find up to 3 registers to consider as spill candidates.
1189 unsigned LastCandidate = RegsWeights.size() >= 3 ? 3 : 1;
1190 while (LastCandidate > 1) {
1191 if (weightsAreClose(RegsWeights[LastCandidate-1].second, minWeight))
1192 break;
1193 --LastCandidate;
1194 }
1195
Bill Wendlingc3115a02009-08-22 20:30:53 +00001196 DEBUG({
1197 errs() << "\t\tregister(s) with min weight(s): ";
1198
1199 for (unsigned i = 0; i != LastCandidate; ++i)
1200 errs() << tri_->getName(RegsWeights[i].first)
1201 << " (" << RegsWeights[i].second << ")\n";
1202 });
Alkis Evlogimenos3bf564a2003-12-23 18:00:33 +00001203
Evan Cheng206d1852009-04-20 08:01:12 +00001204 // If the current has the minimum weight, we need to spill it and
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +00001205 // add any added intervals back to unhandled, and restart
1206 // linearscan.
Jim Laskey7902c752006-11-07 12:25:45 +00001207 if (cur->weight != HUGE_VALF && cur->weight <= minWeight) {
Bill Wendlingc3115a02009-08-22 20:30:53 +00001208 DEBUG(errs() << "\t\t\tspilling(c): " << *cur << '\n');
Evan Chengdc377862008-09-30 15:44:16 +00001209 SmallVector<LiveInterval*, 8> spillIs;
Lang Hamese2b201b2009-05-18 19:03:16 +00001210 std::vector<LiveInterval*> added;
1211
Lang Hames835ca072009-11-19 04:15:33 +00001212 added = spiller_->spill(cur, spillIs);
Lang Hamese2b201b2009-05-18 19:03:16 +00001213
Evan Cheng206d1852009-04-20 08:01:12 +00001214 std::sort(added.begin(), added.end(), LISorter());
Evan Chengc781a242009-05-03 18:32:42 +00001215 addStackInterval(cur, ls_, li_, mri_, *vrm_);
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +00001216 if (added.empty())
1217 return; // Early exit if all spills were folded.
Alkis Evlogimenosf5eaf162004-02-06 18:08:18 +00001218
Evan Cheng206d1852009-04-20 08:01:12 +00001219 // Merge added with unhandled. Note that we have already sorted
1220 // intervals returned by addIntervalsForSpills by their starting
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +00001221 // point.
Evan Chengc4f718a2009-04-20 17:23:48 +00001222 // This also update the NextReloadMap. That is, it adds mapping from a
1223 // register defined by a reload from SS to the next reload from SS in the
1224 // same basic block.
1225 MachineBasicBlock *LastReloadMBB = 0;
1226 LiveInterval *LastReload = 0;
1227 int LastReloadSS = VirtRegMap::NO_STACK_SLOT;
1228 for (unsigned i = 0, e = added.size(); i != e; ++i) {
1229 LiveInterval *ReloadLi = added[i];
1230 if (ReloadLi->weight == HUGE_VALF &&
1231 li_->getApproximateInstructionCount(*ReloadLi) == 0) {
Lang Hames233a60e2009-11-03 23:52:08 +00001232 SlotIndex ReloadIdx = ReloadLi->beginIndex();
Evan Chengc4f718a2009-04-20 17:23:48 +00001233 MachineBasicBlock *ReloadMBB = li_->getMBBFromIndex(ReloadIdx);
1234 int ReloadSS = vrm_->getStackSlot(ReloadLi->reg);
1235 if (LastReloadMBB == ReloadMBB && LastReloadSS == ReloadSS) {
1236 // Last reload of same SS is in the same MBB. We want to try to
1237 // allocate both reloads the same register and make sure the reg
1238 // isn't clobbered in between if at all possible.
Lang Hames86511252009-09-04 20:41:11 +00001239 assert(LastReload->beginIndex() < ReloadIdx);
Evan Chengc4f718a2009-04-20 17:23:48 +00001240 NextReloadMap.insert(std::make_pair(LastReload->reg, ReloadLi->reg));
1241 }
1242 LastReloadMBB = ReloadMBB;
1243 LastReload = ReloadLi;
1244 LastReloadSS = ReloadSS;
1245 }
1246 unhandled_.push(ReloadLi);
1247 }
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +00001248 return;
1249 }
1250
Chris Lattner19828d42004-11-18 03:49:30 +00001251 ++NumBacktracks;
1252
Evan Cheng206d1852009-04-20 08:01:12 +00001253 // Push the current interval back to unhandled since we are going
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +00001254 // to re-run at least this iteration. Since we didn't modify it it
1255 // should go back right in the front of the list
1256 unhandled_.push(cur);
1257
Dan Gohman6f0d0242008-02-10 18:45:23 +00001258 assert(TargetRegisterInfo::isPhysicalRegister(minReg) &&
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +00001259 "did not choose a register to spill?");
Chris Lattner19828d42004-11-18 03:49:30 +00001260
Evan Cheng3e172252008-06-20 21:45:16 +00001261 // We spill all intervals aliasing the register with
1262 // minimum weight, rollback to the interval with the earliest
1263 // start point and let the linear scan algorithm run again
1264 SmallVector<LiveInterval*, 8> spillIs;
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +00001265
Evan Cheng3e172252008-06-20 21:45:16 +00001266 // Determine which intervals have to be spilled.
1267 findIntervalsToSpill(cur, RegsWeights, LastCandidate, spillIs);
1268
1269 // Set of spilled vregs (used later to rollback properly)
1270 SmallSet<unsigned, 8> spilled;
1271
1272 // The earliest start of a Spilled interval indicates up to where
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +00001273 // in handled we need to roll back
Lang Hames61945692009-12-09 05:39:12 +00001274 assert(!spillIs.empty() && "No spill intervals?");
1275 SlotIndex earliestStart = spillIs[0]->beginIndex();
Lang Hamesf41538d2009-06-02 16:53:25 +00001276
Evan Cheng3e172252008-06-20 21:45:16 +00001277 // Spill live intervals of virtual regs mapped to the physical register we
Chris Lattner19828d42004-11-18 03:49:30 +00001278 // want to clear (and its aliases). We only spill those that overlap with the
1279 // current interval as the rest do not affect its allocation. we also keep
1280 // track of the earliest start of all spilled live intervals since this will
1281 // mark our rollback point.
Evan Cheng3e172252008-06-20 21:45:16 +00001282 std::vector<LiveInterval*> added;
1283 while (!spillIs.empty()) {
1284 LiveInterval *sli = spillIs.back();
1285 spillIs.pop_back();
Bill Wendlingc3115a02009-08-22 20:30:53 +00001286 DEBUG(errs() << "\t\t\tspilling(a): " << *sli << '\n');
Lang Hames61945692009-12-09 05:39:12 +00001287 if (sli->beginIndex() < earliestStart)
1288 earliestStart = sli->beginIndex();
Lang Hamesfcad1722009-06-04 01:04:22 +00001289
Lang Hamesf41538d2009-06-02 16:53:25 +00001290 std::vector<LiveInterval*> newIs;
Lang Hames61945692009-12-09 05:39:12 +00001291 newIs = spiller_->spill(sli, spillIs, &earliestStart);
Evan Chengc781a242009-05-03 18:32:42 +00001292 addStackInterval(sli, ls_, li_, mri_, *vrm_);
Evan Cheng3e172252008-06-20 21:45:16 +00001293 std::copy(newIs.begin(), newIs.end(), std::back_inserter(added));
1294 spilled.insert(sli->reg);
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +00001295 }
1296
Bill Wendlingc3115a02009-08-22 20:30:53 +00001297 DEBUG(errs() << "\t\trolling back to: " << earliestStart << '\n');
Chris Lattnercbb56252004-11-18 02:42:27 +00001298
1299 // Scan handled in reverse order up to the earliest start of a
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +00001300 // spilled live interval and undo each one, restoring the state of
Chris Lattnercbb56252004-11-18 02:42:27 +00001301 // unhandled.
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +00001302 while (!handled_.empty()) {
1303 LiveInterval* i = handled_.back();
Chris Lattnercbb56252004-11-18 02:42:27 +00001304 // If this interval starts before t we are done.
Lang Hames61945692009-12-09 05:39:12 +00001305 if (!i->empty() && i->beginIndex() < earliestStart)
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +00001306 break;
Bill Wendlingc3115a02009-08-22 20:30:53 +00001307 DEBUG(errs() << "\t\t\tundo changes for: " << *i << '\n');
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +00001308 handled_.pop_back();
Chris Lattnercbb56252004-11-18 02:42:27 +00001309
1310 // When undoing a live interval allocation we must know if it is active or
Evan Cheng5b16cd22009-05-01 01:03:49 +00001311 // inactive to properly update regUse_ and the VirtRegMap.
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +00001312 IntervalPtrs::iterator it;
Chris Lattnercbb56252004-11-18 02:42:27 +00001313 if ((it = FindIntervalInVector(active_, i)) != active_.end()) {
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +00001314 active_.erase(it);
Dan Gohman6f0d0242008-02-10 18:45:23 +00001315 assert(!TargetRegisterInfo::isPhysicalRegister(i->reg));
Chris Lattnerffab4222006-02-23 06:44:17 +00001316 if (!spilled.count(i->reg))
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +00001317 unhandled_.push(i);
Evan Cheng5b16cd22009-05-01 01:03:49 +00001318 delRegUse(vrm_->getPhys(i->reg));
Chris Lattnerffab4222006-02-23 06:44:17 +00001319 vrm_->clearVirt(i->reg);
Chris Lattnercbb56252004-11-18 02:42:27 +00001320 } else if ((it = FindIntervalInVector(inactive_, i)) != inactive_.end()) {
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +00001321 inactive_.erase(it);
Dan Gohman6f0d0242008-02-10 18:45:23 +00001322 assert(!TargetRegisterInfo::isPhysicalRegister(i->reg));
Chris Lattnerffab4222006-02-23 06:44:17 +00001323 if (!spilled.count(i->reg))
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +00001324 unhandled_.push(i);
Chris Lattnerffab4222006-02-23 06:44:17 +00001325 vrm_->clearVirt(i->reg);
Chris Lattnerc8b9f332004-11-18 06:01:45 +00001326 } else {
Dan Gohman6f0d0242008-02-10 18:45:23 +00001327 assert(TargetRegisterInfo::isVirtualRegister(i->reg) &&
Chris Lattnerc8b9f332004-11-18 06:01:45 +00001328 "Can only allocate virtual registers!");
1329 vrm_->clearVirt(i->reg);
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +00001330 unhandled_.push(i);
1331 }
Evan Cheng9aeaf752007-11-04 08:32:21 +00001332
Evan Cheng206d1852009-04-20 08:01:12 +00001333 DenseMap<unsigned, unsigned>::iterator ii = DowngradeMap.find(i->reg);
1334 if (ii == DowngradeMap.end())
1335 // It interval has a preference, it must be defined by a copy. Clear the
1336 // preference now since the source interval allocation may have been
1337 // undone as well.
Evan Cheng358dec52009-06-15 08:28:29 +00001338 mri_->setRegAllocationHint(i->reg, 0, 0);
Evan Cheng206d1852009-04-20 08:01:12 +00001339 else {
1340 UpgradeRegister(ii->second);
1341 }
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +00001342 }
1343
Chris Lattner19828d42004-11-18 03:49:30 +00001344 // Rewind the iterators in the active, inactive, and fixed lists back to the
1345 // point we reverted to.
1346 RevertVectorIteratorsTo(active_, earliestStart);
1347 RevertVectorIteratorsTo(inactive_, earliestStart);
1348 RevertVectorIteratorsTo(fixed_, earliestStart);
1349
Evan Cheng206d1852009-04-20 08:01:12 +00001350 // Scan the rest and undo each interval that expired after t and
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +00001351 // insert it in active (the next iteration of the algorithm will
1352 // put it in inactive if required)
Chris Lattnercbb56252004-11-18 02:42:27 +00001353 for (unsigned i = 0, e = handled_.size(); i != e; ++i) {
1354 LiveInterval *HI = handled_[i];
1355 if (!HI->expiredAt(earliestStart) &&
Lang Hames86511252009-09-04 20:41:11 +00001356 HI->expiredAt(cur->beginIndex())) {
Bill Wendlingc3115a02009-08-22 20:30:53 +00001357 DEBUG(errs() << "\t\t\tundo changes for: " << *HI << '\n');
Chris Lattnercbb56252004-11-18 02:42:27 +00001358 active_.push_back(std::make_pair(HI, HI->begin()));
Dan Gohman6f0d0242008-02-10 18:45:23 +00001359 assert(!TargetRegisterInfo::isPhysicalRegister(HI->reg));
Evan Cheng5b16cd22009-05-01 01:03:49 +00001360 addRegUse(vrm_->getPhys(HI->reg));
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +00001361 }
1362 }
1363
Evan Cheng206d1852009-04-20 08:01:12 +00001364 // Merge added with unhandled.
1365 // This also update the NextReloadMap. That is, it adds mapping from a
1366 // register defined by a reload from SS to the next reload from SS in the
1367 // same basic block.
1368 MachineBasicBlock *LastReloadMBB = 0;
1369 LiveInterval *LastReload = 0;
1370 int LastReloadSS = VirtRegMap::NO_STACK_SLOT;
1371 std::sort(added.begin(), added.end(), LISorter());
1372 for (unsigned i = 0, e = added.size(); i != e; ++i) {
1373 LiveInterval *ReloadLi = added[i];
1374 if (ReloadLi->weight == HUGE_VALF &&
1375 li_->getApproximateInstructionCount(*ReloadLi) == 0) {
Lang Hames233a60e2009-11-03 23:52:08 +00001376 SlotIndex ReloadIdx = ReloadLi->beginIndex();
Evan Cheng206d1852009-04-20 08:01:12 +00001377 MachineBasicBlock *ReloadMBB = li_->getMBBFromIndex(ReloadIdx);
1378 int ReloadSS = vrm_->getStackSlot(ReloadLi->reg);
1379 if (LastReloadMBB == ReloadMBB && LastReloadSS == ReloadSS) {
1380 // Last reload of same SS is in the same MBB. We want to try to
1381 // allocate both reloads the same register and make sure the reg
1382 // isn't clobbered in between if at all possible.
Lang Hames86511252009-09-04 20:41:11 +00001383 assert(LastReload->beginIndex() < ReloadIdx);
Evan Cheng206d1852009-04-20 08:01:12 +00001384 NextReloadMap.insert(std::make_pair(LastReload->reg, ReloadLi->reg));
1385 }
1386 LastReloadMBB = ReloadMBB;
1387 LastReload = ReloadLi;
1388 LastReloadSS = ReloadSS;
1389 }
1390 unhandled_.push(ReloadLi);
1391 }
1392}
1393
Evan Cheng358dec52009-06-15 08:28:29 +00001394unsigned RALinScan::getFreePhysReg(LiveInterval* cur,
1395 const TargetRegisterClass *RC,
Evan Cheng206d1852009-04-20 08:01:12 +00001396 unsigned MaxInactiveCount,
1397 SmallVector<unsigned, 256> &inactiveCounts,
1398 bool SkipDGRegs) {
1399 unsigned FreeReg = 0;
1400 unsigned FreeRegInactiveCount = 0;
1401
Evan Chengf9f1da12009-06-18 02:04:01 +00001402 std::pair<unsigned, unsigned> Hint = mri_->getRegAllocationHint(cur->reg);
1403 // Resolve second part of the hint (if possible) given the current allocation.
1404 unsigned physReg = Hint.second;
1405 if (physReg &&
1406 TargetRegisterInfo::isVirtualRegister(physReg) && vrm_->hasPhys(physReg))
1407 physReg = vrm_->getPhys(physReg);
1408
Evan Cheng358dec52009-06-15 08:28:29 +00001409 TargetRegisterClass::iterator I, E;
Evan Chengf9f1da12009-06-18 02:04:01 +00001410 tie(I, E) = tri_->getAllocationOrder(RC, Hint.first, physReg, *mf_);
Evan Cheng206d1852009-04-20 08:01:12 +00001411 assert(I != E && "No allocatable register in this register class!");
1412
1413 // Scan for the first available register.
1414 for (; I != E; ++I) {
1415 unsigned Reg = *I;
1416 // Ignore "downgraded" registers.
1417 if (SkipDGRegs && DowngradedRegs.count(Reg))
1418 continue;
David Greene7cfd3362009-11-19 15:55:49 +00001419 // Skip recently allocated registers.
1420 if (isRegAvail(Reg) && !isRecentlyUsed(Reg)) {
Evan Cheng206d1852009-04-20 08:01:12 +00001421 FreeReg = Reg;
1422 if (FreeReg < inactiveCounts.size())
1423 FreeRegInactiveCount = inactiveCounts[FreeReg];
1424 else
1425 FreeRegInactiveCount = 0;
1426 break;
1427 }
1428 }
1429
1430 // If there are no free regs, or if this reg has the max inactive count,
1431 // return this register.
David Greene7cfd3362009-11-19 15:55:49 +00001432 if (FreeReg == 0 || FreeRegInactiveCount == MaxInactiveCount) {
1433 // Remember what register we picked so we can skip it next time.
1434 if (FreeReg != 0) recordRecentlyUsed(FreeReg);
Evan Cheng206d1852009-04-20 08:01:12 +00001435 return FreeReg;
David Greene7cfd3362009-11-19 15:55:49 +00001436 }
1437
Evan Cheng206d1852009-04-20 08:01:12 +00001438 // Continue scanning the registers, looking for the one with the highest
1439 // inactive count. Alkis found that this reduced register pressure very
1440 // slightly on X86 (in rev 1.94 of this file), though this should probably be
1441 // reevaluated now.
1442 for (; I != E; ++I) {
1443 unsigned Reg = *I;
1444 // Ignore "downgraded" registers.
1445 if (SkipDGRegs && DowngradedRegs.count(Reg))
1446 continue;
Evan Cheng5b16cd22009-05-01 01:03:49 +00001447 if (isRegAvail(Reg) && Reg < inactiveCounts.size() &&
David Greenefeb5bfb2009-11-19 19:09:39 +00001448 FreeRegInactiveCount < inactiveCounts[Reg] && !isRecentlyUsed(Reg)) {
Evan Cheng206d1852009-04-20 08:01:12 +00001449 FreeReg = Reg;
1450 FreeRegInactiveCount = inactiveCounts[Reg];
1451 if (FreeRegInactiveCount == MaxInactiveCount)
1452 break; // We found the one with the max inactive count.
1453 }
1454 }
1455
David Greene7cfd3362009-11-19 15:55:49 +00001456 // Remember what register we picked so we can skip it next time.
1457 recordRecentlyUsed(FreeReg);
1458
Evan Cheng206d1852009-04-20 08:01:12 +00001459 return FreeReg;
Alkis Evlogimenos843b1602004-02-15 10:24:21 +00001460}
Alkis Evlogimenosf5eaf162004-02-06 18:08:18 +00001461
Chris Lattnercbb56252004-11-18 02:42:27 +00001462/// getFreePhysReg - return a free physical register for this virtual register
1463/// interval if we have one, otherwise return 0.
Bill Wendlinge23e00d2007-05-08 19:02:46 +00001464unsigned RALinScan::getFreePhysReg(LiveInterval *cur) {
Chris Lattnerfe424622008-02-26 22:08:41 +00001465 SmallVector<unsigned, 256> inactiveCounts;
Chris Lattnerf8355d92005-08-22 16:55:22 +00001466 unsigned MaxInactiveCount = 0;
1467
Evan Cheng841ee1a2008-09-18 22:38:47 +00001468 const TargetRegisterClass *RC = mri_->getRegClass(cur->reg);
Chris Lattnerb9805782005-08-23 22:27:31 +00001469 const TargetRegisterClass *RCLeader = RelatedRegClasses.getLeaderValue(RC);
1470
Alkis Evlogimenos84f5bcb2004-09-02 21:23:32 +00001471 for (IntervalPtrs::iterator i = inactive_.begin(), e = inactive_.end();
1472 i != e; ++i) {
Chris Lattnercbb56252004-11-18 02:42:27 +00001473 unsigned reg = i->first->reg;
Dan Gohman6f0d0242008-02-10 18:45:23 +00001474 assert(TargetRegisterInfo::isVirtualRegister(reg) &&
Chris Lattnerc8b9f332004-11-18 06:01:45 +00001475 "Can only allocate virtual registers!");
Chris Lattnerb9805782005-08-23 22:27:31 +00001476
1477 // If this is not in a related reg class to the register we're allocating,
1478 // don't check it.
Evan Cheng841ee1a2008-09-18 22:38:47 +00001479 const TargetRegisterClass *RegRC = mri_->getRegClass(reg);
Chris Lattnerb9805782005-08-23 22:27:31 +00001480 if (RelatedRegClasses.getLeaderValue(RegRC) == RCLeader) {
1481 reg = vrm_->getPhys(reg);
Chris Lattnerfe424622008-02-26 22:08:41 +00001482 if (inactiveCounts.size() <= reg)
1483 inactiveCounts.resize(reg+1);
Chris Lattnerb9805782005-08-23 22:27:31 +00001484 ++inactiveCounts[reg];
1485 MaxInactiveCount = std::max(MaxInactiveCount, inactiveCounts[reg]);
1486 }
Alkis Evlogimenos84f5bcb2004-09-02 21:23:32 +00001487 }
1488
Evan Cheng20b0abc2007-04-17 20:32:26 +00001489 // If copy coalescer has assigned a "preferred" register, check if it's
Dale Johannesen86b49f82008-09-24 01:07:17 +00001490 // available first.
Evan Cheng90f95f82009-06-14 20:22:55 +00001491 unsigned Preference = vrm_->getRegAllocPref(cur->reg);
1492 if (Preference) {
Bill Wendlingc3115a02009-08-22 20:30:53 +00001493 DEBUG(errs() << "(preferred: " << tri_->getName(Preference) << ") ");
Evan Cheng90f95f82009-06-14 20:22:55 +00001494 if (isRegAvail(Preference) &&
1495 RC->contains(Preference))
1496 return Preference;
Anton Korobeynikov4aefd6b2008-02-20 12:07:57 +00001497 }
Evan Cheng20b0abc2007-04-17 20:32:26 +00001498
Evan Cheng206d1852009-04-20 08:01:12 +00001499 if (!DowngradedRegs.empty()) {
Evan Cheng358dec52009-06-15 08:28:29 +00001500 unsigned FreeReg = getFreePhysReg(cur, RC, MaxInactiveCount, inactiveCounts,
Evan Cheng206d1852009-04-20 08:01:12 +00001501 true);
1502 if (FreeReg)
1503 return FreeReg;
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +00001504 }
Evan Cheng358dec52009-06-15 08:28:29 +00001505 return getFreePhysReg(cur, RC, MaxInactiveCount, inactiveCounts, false);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +00001506}
1507
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +00001508FunctionPass* llvm::createLinearScanRegisterAllocator() {
Bill Wendlinge23e00d2007-05-08 19:02:46 +00001509 return new RALinScan();
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +00001510}