blob: f2bf9172012407216eb3d1f218d2d3c44b794d14 [file] [log] [blame]
Chris Lattnera3b8b5c2004-07-23 17:56:30 +00001//===-- LiveIntervalAnalysis.cpp - Live Interval Analysis -----------------===//
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +00002//
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 the LiveInterval analysis pass which is used
11// by the Linear Scan Register allocator. This pass linearizes the
12// basic blocks of the function in DFS order and uses the
13// LiveVariables pass to conservatively compute live intervals for
14// each virtual and physical register.
15//
16//===----------------------------------------------------------------------===//
17
18#define DEBUG_TYPE "liveintervals"
Chris Lattner3c3fe462005-09-21 04:19:09 +000019#include "llvm/CodeGen/LiveIntervalAnalysis.h"
Misha Brukman08a6c762004-09-03 18:25:53 +000020#include "VirtRegMap.h"
Chris Lattner015959e2004-05-01 21:24:39 +000021#include "llvm/Value.h"
Dan Gohman6d69ba82008-07-25 00:02:30 +000022#include "llvm/Analysis/AliasAnalysis.h"
Jakob Stoklund Oleseneb9f0402011-02-14 23:15:38 +000023#include "llvm/CodeGen/CalcSpillWeights.h"
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000024#include "llvm/CodeGen/LiveVariables.h"
25#include "llvm/CodeGen/MachineFrameInfo.h"
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000026#include "llvm/CodeGen/MachineInstr.h"
Evan Cheng2578ba22009-07-01 01:59:31 +000027#include "llvm/CodeGen/MachineInstrBuilder.h"
Evan Cheng22f07ff2007-12-11 02:09:15 +000028#include "llvm/CodeGen/MachineLoopInfo.h"
Dan Gohmanc76909a2009-09-25 20:36:54 +000029#include "llvm/CodeGen/MachineMemOperand.h"
Chris Lattner84bc5422007-12-31 04:13:23 +000030#include "llvm/CodeGen/MachineRegisterInfo.h"
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000031#include "llvm/CodeGen/Passes.h"
Lang Hames233a60e2009-11-03 23:52:08 +000032#include "llvm/CodeGen/ProcessImplicitDefs.h"
Dan Gohman6f0d0242008-02-10 18:45:23 +000033#include "llvm/Target/TargetRegisterInfo.h"
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000034#include "llvm/Target/TargetInstrInfo.h"
35#include "llvm/Target/TargetMachine.h"
Owen Anderson95dad832008-10-07 20:22:28 +000036#include "llvm/Target/TargetOptions.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000037#include "llvm/Support/CommandLine.h"
38#include "llvm/Support/Debug.h"
Torok Edwin7d696d82009-07-11 13:10:19 +000039#include "llvm/Support/ErrorHandling.h"
40#include "llvm/Support/raw_ostream.h"
Evan Cheng2578ba22009-07-01 01:59:31 +000041#include "llvm/ADT/DepthFirstIterator.h"
42#include "llvm/ADT/SmallSet.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000043#include "llvm/ADT/Statistic.h"
44#include "llvm/ADT/STLExtras.h"
Alkis Evlogimenos20aa4742004-09-03 18:19:51 +000045#include <algorithm>
Lang Hamesf41538d2009-06-02 16:53:25 +000046#include <limits>
Jeff Cohen97af7512006-12-02 02:22:01 +000047#include <cmath>
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000048using namespace llvm;
49
Dan Gohman844731a2008-05-13 00:00:25 +000050// Hidden options for help debugging.
Jakob Stoklund Olesen1b293202010-08-12 20:01:23 +000051static cl::opt<bool> DisableReMat("disable-rematerialization",
Dan Gohman844731a2008-05-13 00:00:25 +000052 cl::init(false), cl::Hidden);
Evan Cheng81a03822007-11-17 00:40:40 +000053
Evan Cheng752195e2009-09-14 21:33:42 +000054STATISTIC(numIntervals , "Number of original intervals");
55STATISTIC(numFolds , "Number of loads/stores folded into instructions");
56STATISTIC(numSplits , "Number of intervals split");
Chris Lattnercd3245a2006-12-19 22:41:21 +000057
Devang Patel19974732007-05-03 01:11:54 +000058char LiveIntervals::ID = 0;
Owen Anderson2ab36d32010-10-12 19:48:12 +000059INITIALIZE_PASS_BEGIN(LiveIntervals, "liveintervals",
60 "Live Interval Analysis", false, false)
61INITIALIZE_PASS_DEPENDENCY(LiveVariables)
62INITIALIZE_PASS_DEPENDENCY(MachineLoopInfo)
63INITIALIZE_PASS_DEPENDENCY(PHIElimination)
64INITIALIZE_PASS_DEPENDENCY(TwoAddressInstructionPass)
65INITIALIZE_PASS_DEPENDENCY(ProcessImplicitDefs)
66INITIALIZE_PASS_DEPENDENCY(SlotIndexes)
67INITIALIZE_AG_DEPENDENCY(AliasAnalysis)
68INITIALIZE_PASS_END(LiveIntervals, "liveintervals",
Owen Andersonce665bd2010-10-07 22:25:06 +000069 "Live Interval Analysis", false, false)
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000070
Chris Lattnerf7da2c72006-08-24 22:43:55 +000071void LiveIntervals::getAnalysisUsage(AnalysisUsage &AU) const {
Dan Gohman845012e2009-07-31 23:37:33 +000072 AU.setPreservesCFG();
Dan Gohman6d69ba82008-07-25 00:02:30 +000073 AU.addRequired<AliasAnalysis>();
74 AU.addPreserved<AliasAnalysis>();
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +000075 AU.addRequired<LiveVariables>();
Evan Cheng148341c2010-08-17 21:00:37 +000076 AU.addPreserved<LiveVariables>();
77 AU.addRequired<MachineLoopInfo>();
78 AU.addPreserved<MachineLoopInfo>();
Bill Wendling67d65bb2008-01-04 20:54:55 +000079 AU.addPreservedID(MachineDominatorsID);
Jakob Stoklund Olesen1b293202010-08-12 20:01:23 +000080
Owen Anderson95dad832008-10-07 20:22:28 +000081 if (!StrongPHIElim) {
82 AU.addPreservedID(PHIEliminationID);
83 AU.addRequiredID(PHIEliminationID);
84 }
Jakob Stoklund Olesen1b293202010-08-12 20:01:23 +000085
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +000086 AU.addRequiredID(TwoAddressInstructionPassID);
Lang Hames233a60e2009-11-03 23:52:08 +000087 AU.addPreserved<ProcessImplicitDefs>();
88 AU.addRequired<ProcessImplicitDefs>();
89 AU.addPreserved<SlotIndexes>();
90 AU.addRequiredTransitive<SlotIndexes>();
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +000091 MachineFunctionPass::getAnalysisUsage(AU);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +000092}
93
Chris Lattnerf7da2c72006-08-24 22:43:55 +000094void LiveIntervals::releaseMemory() {
Owen Anderson03857b22008-08-13 21:49:13 +000095 // Free the live intervals themselves.
Owen Anderson20e28392008-08-13 22:08:30 +000096 for (DenseMap<unsigned, LiveInterval*>::iterator I = r2iMap_.begin(),
Bob Wilsond6a6b3b2010-03-24 20:25:25 +000097 E = r2iMap_.end(); I != E; ++I)
Owen Anderson03857b22008-08-13 21:49:13 +000098 delete I->second;
Jakob Stoklund Olesen1b293202010-08-12 20:01:23 +000099
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000100 r2iMap_.clear();
Lang Hamesffd13262009-07-09 03:57:02 +0000101
Benjamin Kramerce9a20b2010-06-26 11:30:59 +0000102 // Release VNInfo memory regions, VNInfo objects don't need to be dtor'd.
103 VNInfoAllocator.Reset();
Evan Cheng752195e2009-09-14 21:33:42 +0000104 while (!CloneMIs.empty()) {
105 MachineInstr *MI = CloneMIs.back();
106 CloneMIs.pop_back();
Evan Cheng1ed99222008-07-19 00:37:25 +0000107 mf_->DeleteMachineInstr(MI);
108 }
Alkis Evlogimenos08cec002004-01-31 19:59:32 +0000109}
110
Owen Anderson80b3ce62008-05-28 20:54:50 +0000111/// runOnMachineFunction - Register allocate the whole function
112///
113bool LiveIntervals::runOnMachineFunction(MachineFunction &fn) {
114 mf_ = &fn;
115 mri_ = &mf_->getRegInfo();
116 tm_ = &fn.getTarget();
117 tri_ = tm_->getRegisterInfo();
118 tii_ = tm_->getInstrInfo();
Dan Gohman6d69ba82008-07-25 00:02:30 +0000119 aa_ = &getAnalysis<AliasAnalysis>();
Owen Anderson80b3ce62008-05-28 20:54:50 +0000120 lv_ = &getAnalysis<LiveVariables>();
Lang Hames233a60e2009-11-03 23:52:08 +0000121 indexes_ = &getAnalysis<SlotIndexes>();
Owen Anderson80b3ce62008-05-28 20:54:50 +0000122 allocatableRegs_ = tri_->getAllocatableSet(fn);
123
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000124 computeIntervals();
Alkis Evlogimenos843b1602004-02-15 10:24:21 +0000125
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000126 numIntervals += getNumIntervals();
127
Chris Lattner70ca3582004-09-30 15:59:17 +0000128 DEBUG(dump());
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000129 return true;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000130}
131
Chris Lattner70ca3582004-09-30 15:59:17 +0000132/// print - Implement the dump method.
Chris Lattner45cfe542009-08-23 06:03:38 +0000133void LiveIntervals::print(raw_ostream &OS, const Module* ) const {
Chris Lattner705e07f2009-08-23 03:41:05 +0000134 OS << "********** INTERVALS **********\n";
Chris Lattner8e7a7092005-07-27 23:03:38 +0000135 for (const_iterator I = begin(), E = end(); I != E; ++I) {
Chris Lattner705e07f2009-08-23 03:41:05 +0000136 I->second->print(OS, tri_);
137 OS << "\n";
Chris Lattner8e7a7092005-07-27 23:03:38 +0000138 }
Chris Lattner70ca3582004-09-30 15:59:17 +0000139
Evan Cheng752195e2009-09-14 21:33:42 +0000140 printInstrs(OS);
141}
142
143void LiveIntervals::printInstrs(raw_ostream &OS) const {
Chris Lattner705e07f2009-08-23 03:41:05 +0000144 OS << "********** MACHINEINSTRS **********\n";
Jakob Stoklund Olesenf4a1e1a2010-10-26 20:21:46 +0000145 mf_->print(OS, indexes_);
Chris Lattner70ca3582004-09-30 15:59:17 +0000146}
147
Evan Cheng752195e2009-09-14 21:33:42 +0000148void LiveIntervals::dumpInstrs() const {
David Greene8a342292010-01-04 22:49:02 +0000149 printInstrs(dbgs());
Evan Cheng752195e2009-09-14 21:33:42 +0000150}
151
Jakob Stoklund Olesencf970362009-12-10 17:48:32 +0000152bool LiveIntervals::conflictsWithPhysReg(const LiveInterval &li,
153 VirtRegMap &vrm, unsigned reg) {
154 // We don't handle fancy stuff crossing basic block boundaries
155 if (li.ranges.size() != 1)
156 return true;
157 const LiveRange &range = li.ranges.front();
158 SlotIndex idx = range.start.getBaseIndex();
159 SlotIndex end = range.end.getPrevSlot().getBaseIndex().getNextIndex();
Jakob Stoklund Olesenf4811a92009-12-03 20:49:10 +0000160
Jakob Stoklund Olesencf970362009-12-10 17:48:32 +0000161 // Skip deleted instructions
162 MachineInstr *firstMI = getInstructionFromIndex(idx);
163 while (!firstMI && idx != end) {
164 idx = idx.getNextIndex();
165 firstMI = getInstructionFromIndex(idx);
166 }
167 if (!firstMI)
168 return false;
169
170 // Find last instruction in range
171 SlotIndex lastIdx = end.getPrevIndex();
172 MachineInstr *lastMI = getInstructionFromIndex(lastIdx);
173 while (!lastMI && lastIdx != idx) {
174 lastIdx = lastIdx.getPrevIndex();
175 lastMI = getInstructionFromIndex(lastIdx);
176 }
177 if (!lastMI)
178 return false;
179
180 // Range cannot cross basic block boundaries or terminators
181 MachineBasicBlock *MBB = firstMI->getParent();
182 if (MBB != lastMI->getParent() || lastMI->getDesc().isTerminator())
183 return true;
184
185 MachineBasicBlock::const_iterator E = lastMI;
186 ++E;
187 for (MachineBasicBlock::const_iterator I = firstMI; I != E; ++I) {
188 const MachineInstr &MI = *I;
189
190 // Allow copies to and from li.reg
Jakob Stoklund Olesen8ea32402010-07-09 20:55:49 +0000191 if (MI.isCopy())
192 if (MI.getOperand(0).getReg() == li.reg ||
193 MI.getOperand(1).getReg() == li.reg)
194 continue;
Jakob Stoklund Olesencf970362009-12-10 17:48:32 +0000195
196 // Check for operands using reg
197 for (unsigned i = 0, e = MI.getNumOperands(); i != e; ++i) {
198 const MachineOperand& mop = MI.getOperand(i);
199 if (!mop.isReg())
200 continue;
201 unsigned PhysReg = mop.getReg();
202 if (PhysReg == 0 || PhysReg == li.reg)
203 continue;
204 if (TargetRegisterInfo::isVirtualRegister(PhysReg)) {
205 if (!vrm.hasPhys(PhysReg))
Bill Wendlingdc492e02009-12-05 07:30:23 +0000206 continue;
Jakob Stoklund Olesencf970362009-12-10 17:48:32 +0000207 PhysReg = vrm.getPhys(PhysReg);
Evan Chengc92da382007-11-03 07:20:12 +0000208 }
Jakob Stoklund Olesencf970362009-12-10 17:48:32 +0000209 if (PhysReg && tri_->regsOverlap(PhysReg, reg))
210 return true;
Evan Chengc92da382007-11-03 07:20:12 +0000211 }
212 }
213
Jakob Stoklund Olesencf970362009-12-10 17:48:32 +0000214 // No conflicts found.
Evan Chengc92da382007-11-03 07:20:12 +0000215 return false;
216}
217
Jakob Stoklund Olesena24986d2010-06-24 18:15:01 +0000218bool LiveIntervals::conflictsWithAliasRef(LiveInterval &li, unsigned Reg,
Evan Cheng8f90b6e2009-01-07 02:08:57 +0000219 SmallPtrSet<MachineInstr*,32> &JoinedCopies) {
220 for (LiveInterval::Ranges::const_iterator
221 I = li.ranges.begin(), E = li.ranges.end(); I != E; ++I) {
Lang Hames233a60e2009-11-03 23:52:08 +0000222 for (SlotIndex index = I->start.getBaseIndex(),
223 end = I->end.getPrevSlot().getBaseIndex().getNextIndex();
224 index != end;
225 index = index.getNextIndex()) {
Jakob Stoklund Olesenf4811a92009-12-03 20:49:10 +0000226 MachineInstr *MI = getInstructionFromIndex(index);
227 if (!MI)
228 continue; // skip deleted instructions
Evan Cheng8f90b6e2009-01-07 02:08:57 +0000229
230 if (JoinedCopies.count(MI))
231 continue;
232 for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
233 MachineOperand& MO = MI->getOperand(i);
234 if (!MO.isReg())
235 continue;
Jakob Stoklund Olesenb8ac3b02010-06-24 00:52:22 +0000236 unsigned PhysReg = MO.getReg();
Jakob Stoklund Olesena24986d2010-06-24 18:15:01 +0000237 if (PhysReg == 0 || PhysReg == Reg ||
238 TargetRegisterInfo::isVirtualRegister(PhysReg))
Jakob Stoklund Olesenb8ac3b02010-06-24 00:52:22 +0000239 continue;
Jakob Stoklund Olesena24986d2010-06-24 18:15:01 +0000240 if (tri_->regsOverlap(Reg, PhysReg))
Evan Cheng8f90b6e2009-01-07 02:08:57 +0000241 return true;
242 }
243 }
244 }
245
246 return false;
247}
248
Evan Chengafff40a2010-05-04 20:26:52 +0000249static
Evan Cheng37499432010-05-05 18:27:40 +0000250bool MultipleDefsBySameMI(const MachineInstr &MI, unsigned MOIdx) {
Evan Chengafff40a2010-05-04 20:26:52 +0000251 unsigned Reg = MI.getOperand(MOIdx).getReg();
252 for (unsigned i = MOIdx+1, e = MI.getNumOperands(); i < e; ++i) {
253 const MachineOperand &MO = MI.getOperand(i);
254 if (!MO.isReg())
255 continue;
256 if (MO.getReg() == Reg && MO.isDef()) {
257 assert(MI.getOperand(MOIdx).getSubReg() != MO.getSubReg() &&
258 MI.getOperand(MOIdx).getSubReg() &&
Jakob Stoklund Olesened2185e2010-07-06 23:26:25 +0000259 (MO.getSubReg() || MO.isImplicit()));
Evan Chengafff40a2010-05-04 20:26:52 +0000260 return true;
261 }
262 }
263 return false;
264}
265
Evan Cheng37499432010-05-05 18:27:40 +0000266/// isPartialRedef - Return true if the specified def at the specific index is
267/// partially re-defining the specified live interval. A common case of this is
Jakob Stoklund Olesen1b293202010-08-12 20:01:23 +0000268/// a definition of the sub-register.
Evan Cheng37499432010-05-05 18:27:40 +0000269bool LiveIntervals::isPartialRedef(SlotIndex MIIdx, MachineOperand &MO,
270 LiveInterval &interval) {
271 if (!MO.getSubReg() || MO.isEarlyClobber())
272 return false;
273
274 SlotIndex RedefIndex = MIIdx.getDefIndex();
275 const LiveRange *OldLR =
276 interval.getLiveRangeContaining(RedefIndex.getUseIndex());
Lang Hames6e2968c2010-09-25 12:04:16 +0000277 MachineInstr *DefMI = getInstructionFromIndex(OldLR->valno->def);
278 if (DefMI != 0) {
Evan Cheng37499432010-05-05 18:27:40 +0000279 return DefMI->findRegisterDefOperandIdx(interval.reg) != -1;
280 }
281 return false;
282}
283
Chris Lattnerbe4f88a2006-08-22 18:19:46 +0000284void LiveIntervals::handleVirtualRegisterDef(MachineBasicBlock *mbb,
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000285 MachineBasicBlock::iterator mi,
Lang Hames233a60e2009-11-03 23:52:08 +0000286 SlotIndex MIIdx,
Lang Hames86511252009-09-04 20:41:11 +0000287 MachineOperand& MO,
Evan Chengef0732d2008-07-10 07:35:43 +0000288 unsigned MOIdx,
Chris Lattnerbe4f88a2006-08-22 18:19:46 +0000289 LiveInterval &interval) {
Jakob Stoklund Olesen43142682011-01-09 03:05:53 +0000290 DEBUG(dbgs() << "\t\tregister: " << PrintReg(interval.reg, tri_));
Evan Cheng419852c2008-04-03 16:39:43 +0000291
Alkis Evlogimenos70651572004-08-04 09:46:56 +0000292 // Virtual registers may be defined multiple times (due to phi
293 // elimination and 2-addr elimination). Much of what we do only has to be
294 // done once for the vreg. We use an empty interval to detect the first
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000295 // time we see a vreg.
Evan Chengd129d732009-07-17 19:43:40 +0000296 LiveVariables::VarInfo& vi = lv_->getVarInfo(interval.reg);
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000297 if (interval.empty()) {
298 // Get the Idx of the defining instructions.
Lang Hames233a60e2009-11-03 23:52:08 +0000299 SlotIndex defIndex = MIIdx.getDefIndex();
Dale Johannesen39faac22009-09-20 00:36:41 +0000300 // Earlyclobbers move back one, so that they overlap the live range
301 // of inputs.
Dale Johannesen86b49f82008-09-24 01:07:17 +0000302 if (MO.isEarlyClobber())
Lang Hames233a60e2009-11-03 23:52:08 +0000303 defIndex = MIIdx.getUseIndex();
Jakob Stoklund Olesen63e6a482010-05-21 16:32:16 +0000304
305 // Make sure the first definition is not a partial redefinition. Add an
306 // <imp-def> of the full register.
307 if (MO.getSubReg())
308 mi->addRegisterDefined(interval.reg);
309
Evan Chengc8d044e2008-02-15 18:24:29 +0000310 MachineInstr *CopyMI = NULL;
Jakob Stoklund Olesen04c528a2010-07-16 04:45:42 +0000311 if (mi->isCopyLike()) {
Evan Chengc8d044e2008-02-15 18:24:29 +0000312 CopyMI = mi;
Jakob Stoklund Olesen0465bcf2010-06-18 22:29:44 +0000313 }
314
Lang Hames6e2968c2010-09-25 12:04:16 +0000315 VNInfo *ValNo = interval.getNextValue(defIndex, CopyMI, VNInfoAllocator);
Evan Cheng7ecb38b2007-08-29 20:45:00 +0000316 assert(ValNo->id == 0 && "First value in interval is not 0?");
Chris Lattner7ac2d312004-07-24 02:59:07 +0000317
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000318 // Loop over all of the blocks that the vreg is defined in. There are
319 // two cases we have to handle here. The most common case is a vreg
320 // whose lifetime is contained within a basic block. In this case there
321 // will be a single kill, in MBB, which comes after the definition.
322 if (vi.Kills.size() == 1 && vi.Kills[0]->getParent() == mbb) {
323 // FIXME: what about dead vars?
Lang Hames233a60e2009-11-03 23:52:08 +0000324 SlotIndex killIdx;
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000325 if (vi.Kills[0] != mi)
Lang Hames233a60e2009-11-03 23:52:08 +0000326 killIdx = getInstructionIndex(vi.Kills[0]).getDefIndex();
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000327 else
Lang Hames233a60e2009-11-03 23:52:08 +0000328 killIdx = defIndex.getStoreIndex();
Chris Lattner6097d132004-07-19 02:15:56 +0000329
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000330 // If the kill happens after the definition, we have an intra-block
331 // live range.
332 if (killIdx > defIndex) {
Jeffrey Yasskin493a3d02009-05-26 18:27:15 +0000333 assert(vi.AliveBlocks.empty() &&
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000334 "Shouldn't be alive across any blocks!");
Evan Cheng7ecb38b2007-08-29 20:45:00 +0000335 LiveRange LR(defIndex, killIdx, ValNo);
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000336 interval.addRange(LR);
David Greene8a342292010-01-04 22:49:02 +0000337 DEBUG(dbgs() << " +" << LR << "\n");
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000338 return;
339 }
Alkis Evlogimenosdd2cc652003-12-18 08:48:48 +0000340 }
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000341
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000342 // The other case we handle is when a virtual register lives to the end
343 // of the defining block, potentially live across some blocks, then is
344 // live into some number of blocks, but gets killed. Start by adding a
345 // range that goes from this definition to the end of the defining block.
Lang Hames74ab5ee2009-12-22 00:11:50 +0000346 LiveRange NewLR(defIndex, getMBBEndIdx(mbb), ValNo);
David Greene8a342292010-01-04 22:49:02 +0000347 DEBUG(dbgs() << " +" << NewLR);
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000348 interval.addRange(NewLR);
349
Jakob Stoklund Olesendcfe5f32010-02-23 22:43:58 +0000350 bool PHIJoin = lv_->isPHIJoin(interval.reg);
351
352 if (PHIJoin) {
353 // A phi join register is killed at the end of the MBB and revived as a new
354 // valno in the killing blocks.
355 assert(vi.AliveBlocks.empty() && "Phi join can't pass through blocks");
356 DEBUG(dbgs() << " phi-join");
Jakob Stoklund Olesendcfe5f32010-02-23 22:43:58 +0000357 ValNo->setHasPHIKill(true);
358 } else {
359 // Iterate over all of the blocks that the variable is completely
360 // live in, adding [insrtIndex(begin), instrIndex(end)+4) to the
361 // live interval.
362 for (SparseBitVector<>::iterator I = vi.AliveBlocks.begin(),
363 E = vi.AliveBlocks.end(); I != E; ++I) {
364 MachineBasicBlock *aliveBlock = mf_->getBlockNumbered(*I);
365 LiveRange LR(getMBBStartIdx(aliveBlock), getMBBEndIdx(aliveBlock), ValNo);
366 interval.addRange(LR);
367 DEBUG(dbgs() << " +" << LR);
368 }
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000369 }
370
371 // Finally, this virtual register is live from the start of any killing
372 // block to the 'use' slot of the killing instruction.
373 for (unsigned i = 0, e = vi.Kills.size(); i != e; ++i) {
374 MachineInstr *Kill = vi.Kills[i];
Jakob Stoklund Olesendcfe5f32010-02-23 22:43:58 +0000375 SlotIndex Start = getMBBStartIdx(Kill->getParent());
376 SlotIndex killIdx = getInstructionIndex(Kill).getDefIndex();
377
378 // Create interval with one of a NEW value number. Note that this value
379 // number isn't actually defined by an instruction, weird huh? :)
380 if (PHIJoin) {
Lang Hames6e2968c2010-09-25 12:04:16 +0000381 assert(getInstructionFromIndex(Start) == 0 &&
382 "PHI def index points at actual instruction.");
383 ValNo = interval.getNextValue(Start, 0, VNInfoAllocator);
Jakob Stoklund Olesendcfe5f32010-02-23 22:43:58 +0000384 ValNo->setIsPHIDef(true);
385 }
386 LiveRange LR(Start, killIdx, ValNo);
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000387 interval.addRange(LR);
David Greene8a342292010-01-04 22:49:02 +0000388 DEBUG(dbgs() << " +" << LR);
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000389 }
390
391 } else {
Evan Cheng37499432010-05-05 18:27:40 +0000392 if (MultipleDefsBySameMI(*mi, MOIdx))
Nick Lewycky761fd4c2010-05-20 03:30:09 +0000393 // Multiple defs of the same virtual register by the same instruction.
394 // e.g. %reg1031:5<def>, %reg1031:6<def> = VLD1q16 %reg1024<kill>, ...
Evan Chengafff40a2010-05-04 20:26:52 +0000395 // This is likely due to elimination of REG_SEQUENCE instructions. Return
396 // here since there is nothing to do.
397 return;
398
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000399 // If this is the second time we see a virtual register definition, it
400 // must be due to phi elimination or two addr elimination. If this is
Evan Chengbf105c82006-11-03 03:04:46 +0000401 // the result of two address elimination, then the vreg is one of the
402 // def-and-use register operand.
Evan Cheng37499432010-05-05 18:27:40 +0000403
404 // It may also be partial redef like this:
Jakob Stoklund Olesen1b293202010-08-12 20:01:23 +0000405 // 80 %reg1041:6<def> = VSHRNv4i16 %reg1034<kill>, 12, pred:14, pred:%reg0
406 // 120 %reg1041:5<def> = VSHRNv4i16 %reg1039<kill>, 12, pred:14, pred:%reg0
Evan Cheng37499432010-05-05 18:27:40 +0000407 bool PartReDef = isPartialRedef(MIIdx, MO, interval);
408 if (PartReDef || mi->isRegTiedToUseOperand(MOIdx)) {
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000409 // If this is a two-address definition, then we have already processed
410 // the live range. The only problem is that we didn't realize there
411 // are actually two values in the live interval. Because of this we
412 // need to take the LiveRegion that defines this register and split it
413 // into two values.
Lang Hames233a60e2009-11-03 23:52:08 +0000414 SlotIndex RedefIndex = MIIdx.getDefIndex();
Evan Chengfb112882009-03-23 08:01:15 +0000415 if (MO.isEarlyClobber())
Lang Hames233a60e2009-11-03 23:52:08 +0000416 RedefIndex = MIIdx.getUseIndex();
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000417
Lang Hames35f291d2009-09-12 03:34:03 +0000418 const LiveRange *OldLR =
Lang Hames233a60e2009-11-03 23:52:08 +0000419 interval.getLiveRangeContaining(RedefIndex.getUseIndex());
Evan Cheng7ecb38b2007-08-29 20:45:00 +0000420 VNInfo *OldValNo = OldLR->valno;
Jakob Stoklund Olesenc66d0f22010-06-16 21:29:40 +0000421 SlotIndex DefIndex = OldValNo->def.getDefIndex();
Evan Cheng4f8ff162007-08-11 00:59:19 +0000422
Jakob Stoklund Olesenc66d0f22010-06-16 21:29:40 +0000423 // Delete the previous value, which should be short and continuous,
Chris Lattnerbe4f88a2006-08-22 18:19:46 +0000424 // because the 2-addr copy must be in the same MBB as the redef.
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000425 interval.removeRange(DefIndex, RedefIndex);
Alkis Evlogimenos70651572004-08-04 09:46:56 +0000426
Chris Lattner91725b72006-08-31 05:54:43 +0000427 // The new value number (#1) is defined by the instruction we claimed
428 // defined value #0.
Lang Hames6e2968c2010-09-25 12:04:16 +0000429 VNInfo *ValNo = interval.createValueCopy(OldValNo, VNInfoAllocator);
Lang Hames857c4e02009-06-17 21:01:20 +0000430
Chris Lattner91725b72006-08-31 05:54:43 +0000431 // Value#0 is now defined by the 2-addr instruction.
Evan Chengc8d044e2008-02-15 18:24:29 +0000432 OldValNo->def = RedefIndex;
Evan Chengad6c5a22010-05-17 01:47:47 +0000433 OldValNo->setCopy(0);
434
435 // A re-def may be a copy. e.g. %reg1030:6<def> = VMOVD %reg1026, ...
Jakob Stoklund Olesen04c528a2010-07-16 04:45:42 +0000436 if (PartReDef && mi->isCopyLike())
Evan Chengad6c5a22010-05-17 01:47:47 +0000437 OldValNo->setCopy(&*mi);
Jakob Stoklund Olesen1b293202010-08-12 20:01:23 +0000438
Chris Lattnerbe4f88a2006-08-22 18:19:46 +0000439 // Add the new live interval which replaces the range for the input copy.
440 LiveRange LR(DefIndex, RedefIndex, ValNo);
David Greene8a342292010-01-04 22:49:02 +0000441 DEBUG(dbgs() << " replace range with " << LR);
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000442 interval.addRange(LR);
443
444 // If this redefinition is dead, we need to add a dummy unit live
445 // range covering the def slot.
Owen Anderson6b098de2008-06-25 23:39:39 +0000446 if (MO.isDead())
Lang Hames233a60e2009-11-03 23:52:08 +0000447 interval.addRange(LiveRange(RedefIndex, RedefIndex.getStoreIndex(),
448 OldValNo));
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000449
Bill Wendling8e6179f2009-08-22 20:18:03 +0000450 DEBUG({
David Greene8a342292010-01-04 22:49:02 +0000451 dbgs() << " RESULT: ";
452 interval.print(dbgs(), tri_);
Bill Wendling8e6179f2009-08-22 20:18:03 +0000453 });
Evan Cheng37499432010-05-05 18:27:40 +0000454 } else if (lv_->isPHIJoin(interval.reg)) {
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000455 // In the case of PHI elimination, each variable definition is only
456 // live until the end of the block. We've already taken care of the
457 // rest of the live range.
Jakob Stoklund Olesendcfe5f32010-02-23 22:43:58 +0000458
Lang Hames233a60e2009-11-03 23:52:08 +0000459 SlotIndex defIndex = MIIdx.getDefIndex();
Evan Chengfb112882009-03-23 08:01:15 +0000460 if (MO.isEarlyClobber())
Lang Hames233a60e2009-11-03 23:52:08 +0000461 defIndex = MIIdx.getUseIndex();
Evan Cheng752195e2009-09-14 21:33:42 +0000462
Evan Cheng7ecb38b2007-08-29 20:45:00 +0000463 VNInfo *ValNo;
Evan Chengc8d044e2008-02-15 18:24:29 +0000464 MachineInstr *CopyMI = NULL;
Jakob Stoklund Olesen04c528a2010-07-16 04:45:42 +0000465 if (mi->isCopyLike())
Evan Chengc8d044e2008-02-15 18:24:29 +0000466 CopyMI = mi;
Lang Hames6e2968c2010-09-25 12:04:16 +0000467 ValNo = interval.getNextValue(defIndex, CopyMI, VNInfoAllocator);
Jakob Stoklund Olesen1b293202010-08-12 20:01:23 +0000468
Lang Hames74ab5ee2009-12-22 00:11:50 +0000469 SlotIndex killIndex = getMBBEndIdx(mbb);
Evan Cheng7ecb38b2007-08-29 20:45:00 +0000470 LiveRange LR(defIndex, killIndex, ValNo);
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000471 interval.addRange(LR);
Lang Hames857c4e02009-06-17 21:01:20 +0000472 ValNo->setHasPHIKill(true);
Jakob Stoklund Olesendcfe5f32010-02-23 22:43:58 +0000473 DEBUG(dbgs() << " phi-join +" << LR);
Evan Cheng37499432010-05-05 18:27:40 +0000474 } else {
475 llvm_unreachable("Multiply defined register");
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000476 }
477 }
478
David Greene8a342292010-01-04 22:49:02 +0000479 DEBUG(dbgs() << '\n');
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000480}
481
Chris Lattnerf35fef72004-07-23 21:24:19 +0000482void LiveIntervals::handlePhysicalRegisterDef(MachineBasicBlock *MBB,
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000483 MachineBasicBlock::iterator mi,
Lang Hames233a60e2009-11-03 23:52:08 +0000484 SlotIndex MIIdx,
Owen Anderson6b098de2008-06-25 23:39:39 +0000485 MachineOperand& MO,
Chris Lattner91725b72006-08-31 05:54:43 +0000486 LiveInterval &interval,
Evan Chengc8d044e2008-02-15 18:24:29 +0000487 MachineInstr *CopyMI) {
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000488 // A physical register cannot be live across basic block, so its
489 // lifetime must end somewhere in its defining basic block.
Jakob Stoklund Olesen43142682011-01-09 03:05:53 +0000490 DEBUG(dbgs() << "\t\tregister: " << PrintReg(interval.reg, tri_));
Alkis Evlogimenos02ba13c2004-01-31 23:13:30 +0000491
Lang Hames233a60e2009-11-03 23:52:08 +0000492 SlotIndex baseIndex = MIIdx;
493 SlotIndex start = baseIndex.getDefIndex();
Dale Johannesen86b49f82008-09-24 01:07:17 +0000494 // Earlyclobbers move back one.
495 if (MO.isEarlyClobber())
Lang Hames233a60e2009-11-03 23:52:08 +0000496 start = MIIdx.getUseIndex();
497 SlotIndex end = start;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000498
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000499 // If it is not used after definition, it is considered dead at
500 // the instruction defining it. Hence its interval is:
501 // [defSlot(def), defSlot(def)+1)
Dale Johannesen39faac22009-09-20 00:36:41 +0000502 // For earlyclobbers, the defSlot was pushed back one; the extra
503 // advance below compensates.
Owen Anderson6b098de2008-06-25 23:39:39 +0000504 if (MO.isDead()) {
David Greene8a342292010-01-04 22:49:02 +0000505 DEBUG(dbgs() << " dead");
Lang Hames233a60e2009-11-03 23:52:08 +0000506 end = start.getStoreIndex();
Chris Lattnerab4b66d2005-08-23 22:51:41 +0000507 goto exit;
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000508 }
509
510 // If it is not dead on definition, it must be killed by a
511 // subsequent instruction. Hence its interval is:
512 // [defSlot(def), useSlot(kill)+1)
Lang Hames233a60e2009-11-03 23:52:08 +0000513 baseIndex = baseIndex.getNextIndex();
Chris Lattner5ab6f5f2005-09-02 00:20:32 +0000514 while (++mi != MBB->end()) {
Lang Hames233a60e2009-11-03 23:52:08 +0000515
Dale Johannesenbd635202010-02-10 00:55:42 +0000516 if (mi->isDebugValue())
517 continue;
Lang Hames233a60e2009-11-03 23:52:08 +0000518 if (getInstructionFromIndex(baseIndex) == 0)
519 baseIndex = indexes_->getNextNonNullIndex(baseIndex);
520
Evan Cheng6130f662008-03-05 00:59:57 +0000521 if (mi->killsRegister(interval.reg, tri_)) {
David Greene8a342292010-01-04 22:49:02 +0000522 DEBUG(dbgs() << " killed");
Lang Hames233a60e2009-11-03 23:52:08 +0000523 end = baseIndex.getDefIndex();
Chris Lattnerab4b66d2005-08-23 22:51:41 +0000524 goto exit;
Evan Chengc45288e2009-04-27 20:42:46 +0000525 } else {
Evan Cheng1015ba72010-05-21 20:53:24 +0000526 int DefIdx = mi->findRegisterDefOperandIdx(interval.reg,false,false,tri_);
Evan Chengc45288e2009-04-27 20:42:46 +0000527 if (DefIdx != -1) {
528 if (mi->isRegTiedToUseOperand(DefIdx)) {
529 // Two-address instruction.
Lang Hames233a60e2009-11-03 23:52:08 +0000530 end = baseIndex.getDefIndex();
Evan Chengc45288e2009-04-27 20:42:46 +0000531 } else {
532 // Another instruction redefines the register before it is ever read.
Dale Johannesenbd635202010-02-10 00:55:42 +0000533 // Then the register is essentially dead at the instruction that
534 // defines it. Hence its interval is:
Evan Chengc45288e2009-04-27 20:42:46 +0000535 // [defSlot(def), defSlot(def)+1)
David Greene8a342292010-01-04 22:49:02 +0000536 DEBUG(dbgs() << " dead");
Lang Hames233a60e2009-11-03 23:52:08 +0000537 end = start.getStoreIndex();
Evan Chengc45288e2009-04-27 20:42:46 +0000538 }
539 goto exit;
540 }
Alkis Evlogimenosaf254732004-01-13 22:26:14 +0000541 }
Jakob Stoklund Olesen1b293202010-08-12 20:01:23 +0000542
Lang Hames233a60e2009-11-03 23:52:08 +0000543 baseIndex = baseIndex.getNextIndex();
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000544 }
Jakob Stoklund Olesen1b293202010-08-12 20:01:23 +0000545
Chris Lattner5ab6f5f2005-09-02 00:20:32 +0000546 // The only case we should have a dead physreg here without a killing or
547 // instruction where we know it's dead is if it is live-in to the function
Evan Chengd521bc92009-04-27 17:36:47 +0000548 // and never used. Another possible case is the implicit use of the
549 // physical register has been deleted by two-address pass.
Lang Hames233a60e2009-11-03 23:52:08 +0000550 end = start.getStoreIndex();
Alkis Evlogimenos02ba13c2004-01-31 23:13:30 +0000551
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000552exit:
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000553 assert(start < end && "did not find end of interval?");
Chris Lattnerf768bba2005-03-09 23:05:19 +0000554
Evan Cheng24a3cc42007-04-25 07:30:23 +0000555 // Already exists? Extend old live interval.
Jakob Stoklund Olesen31cc3ec2010-10-11 21:45:03 +0000556 VNInfo *ValNo = interval.getVNInfoAt(start);
557 bool Extend = ValNo != 0;
558 if (!Extend)
559 ValNo = interval.getNextValue(start, CopyMI, VNInfoAllocator);
560 if (Extend && MO.isEarlyClobber())
Lang Hames857c4e02009-06-17 21:01:20 +0000561 ValNo->setHasRedefByEC(true);
Evan Cheng7ecb38b2007-08-29 20:45:00 +0000562 LiveRange LR(start, end, ValNo);
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000563 interval.addRange(LR);
David Greene8a342292010-01-04 22:49:02 +0000564 DEBUG(dbgs() << " +" << LR << '\n');
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000565}
566
Chris Lattnerf35fef72004-07-23 21:24:19 +0000567void LiveIntervals::handleRegisterDef(MachineBasicBlock *MBB,
568 MachineBasicBlock::iterator MI,
Lang Hames233a60e2009-11-03 23:52:08 +0000569 SlotIndex MIIdx,
Evan Chengef0732d2008-07-10 07:35:43 +0000570 MachineOperand& MO,
571 unsigned MOIdx) {
Owen Anderson6b098de2008-06-25 23:39:39 +0000572 if (TargetRegisterInfo::isVirtualRegister(MO.getReg()))
Evan Chengef0732d2008-07-10 07:35:43 +0000573 handleVirtualRegisterDef(MBB, MI, MIIdx, MO, MOIdx,
Owen Anderson6b098de2008-06-25 23:39:39 +0000574 getOrCreateInterval(MO.getReg()));
575 else if (allocatableRegs_[MO.getReg()]) {
Evan Chengc8d044e2008-02-15 18:24:29 +0000576 MachineInstr *CopyMI = NULL;
Jakob Stoklund Olesen04c528a2010-07-16 04:45:42 +0000577 if (MI->isCopyLike())
Evan Chengc8d044e2008-02-15 18:24:29 +0000578 CopyMI = MI;
Evan Chengc45288e2009-04-27 20:42:46 +0000579 handlePhysicalRegisterDef(MBB, MI, MIIdx, MO,
Owen Anderson6b098de2008-06-25 23:39:39 +0000580 getOrCreateInterval(MO.getReg()), CopyMI);
Evan Cheng24a3cc42007-04-25 07:30:23 +0000581 // Def of a register also defines its sub-registers.
Owen Anderson6b098de2008-06-25 23:39:39 +0000582 for (const unsigned* AS = tri_->getSubRegisters(MO.getReg()); *AS; ++AS)
Evan Cheng6130f662008-03-05 00:59:57 +0000583 // If MI also modifies the sub-register explicitly, avoid processing it
584 // more than once. Do not pass in TRI here so it checks for exact match.
Evan Cheng1015ba72010-05-21 20:53:24 +0000585 if (!MI->definesRegister(*AS))
Evan Chengc45288e2009-04-27 20:42:46 +0000586 handlePhysicalRegisterDef(MBB, MI, MIIdx, MO,
Owen Anderson6b098de2008-06-25 23:39:39 +0000587 getOrCreateInterval(*AS), 0);
Chris Lattnerf35fef72004-07-23 21:24:19 +0000588 }
Alkis Evlogimenos4d46e1e2004-01-31 14:37:41 +0000589}
590
Evan Chengb371f452007-02-19 21:49:54 +0000591void LiveIntervals::handleLiveInRegister(MachineBasicBlock *MBB,
Lang Hames233a60e2009-11-03 23:52:08 +0000592 SlotIndex MIIdx,
Evan Cheng24a3cc42007-04-25 07:30:23 +0000593 LiveInterval &interval, bool isAlias) {
Jakob Stoklund Olesen43142682011-01-09 03:05:53 +0000594 DEBUG(dbgs() << "\t\tlivein register: " << PrintReg(interval.reg, tri_));
Evan Chengb371f452007-02-19 21:49:54 +0000595
596 // Look for kills, if it reaches a def before it's killed, then it shouldn't
597 // be considered a livein.
598 MachineBasicBlock::iterator mi = MBB->begin();
Evan Cheng4507f082010-03-16 21:51:27 +0000599 MachineBasicBlock::iterator E = MBB->end();
600 // Skip over DBG_VALUE at the start of the MBB.
601 if (mi != E && mi->isDebugValue()) {
602 while (++mi != E && mi->isDebugValue())
603 ;
604 if (mi == E)
605 // MBB is empty except for DBG_VALUE's.
606 return;
607 }
608
Lang Hames233a60e2009-11-03 23:52:08 +0000609 SlotIndex baseIndex = MIIdx;
610 SlotIndex start = baseIndex;
611 if (getInstructionFromIndex(baseIndex) == 0)
612 baseIndex = indexes_->getNextNonNullIndex(baseIndex);
613
614 SlotIndex end = baseIndex;
Evan Cheng0076c612009-03-05 03:34:26 +0000615 bool SeenDefUse = false;
Evan Chengb371f452007-02-19 21:49:54 +0000616
Dale Johannesenbd635202010-02-10 00:55:42 +0000617 while (mi != E) {
Dale Johannesen1d0aeab2010-02-10 01:31:26 +0000618 if (mi->killsRegister(interval.reg, tri_)) {
619 DEBUG(dbgs() << " killed");
620 end = baseIndex.getDefIndex();
621 SeenDefUse = true;
622 break;
Evan Cheng1015ba72010-05-21 20:53:24 +0000623 } else if (mi->definesRegister(interval.reg, tri_)) {
Dale Johannesen1d0aeab2010-02-10 01:31:26 +0000624 // Another instruction redefines the register before it is ever read.
625 // Then the register is essentially dead at the instruction that defines
626 // it. Hence its interval is:
627 // [defSlot(def), defSlot(def)+1)
628 DEBUG(dbgs() << " dead");
629 end = start.getStoreIndex();
630 SeenDefUse = true;
631 break;
632 }
633
Evan Cheng4507f082010-03-16 21:51:27 +0000634 while (++mi != E && mi->isDebugValue())
635 // Skip over DBG_VALUE.
636 ;
637 if (mi != E)
Lang Hames233a60e2009-11-03 23:52:08 +0000638 baseIndex = indexes_->getNextNonNullIndex(baseIndex);
Evan Chengb371f452007-02-19 21:49:54 +0000639 }
640
Evan Cheng75611fb2007-06-27 01:16:36 +0000641 // Live-in register might not be used at all.
Evan Cheng0076c612009-03-05 03:34:26 +0000642 if (!SeenDefUse) {
Evan Cheng292da942007-06-27 18:47:28 +0000643 if (isAlias) {
David Greene8a342292010-01-04 22:49:02 +0000644 DEBUG(dbgs() << " dead");
Lang Hames233a60e2009-11-03 23:52:08 +0000645 end = MIIdx.getStoreIndex();
Evan Cheng292da942007-06-27 18:47:28 +0000646 } else {
David Greene8a342292010-01-04 22:49:02 +0000647 DEBUG(dbgs() << " live through");
Evan Cheng292da942007-06-27 18:47:28 +0000648 end = baseIndex;
649 }
Evan Cheng24a3cc42007-04-25 07:30:23 +0000650 }
651
Lang Hames6e2968c2010-09-25 12:04:16 +0000652 SlotIndex defIdx = getMBBStartIdx(MBB);
653 assert(getInstructionFromIndex(defIdx) == 0 &&
654 "PHI def index points at actual instruction.");
Lang Hames10382fb2009-06-19 02:17:53 +0000655 VNInfo *vni =
Lang Hames6e2968c2010-09-25 12:04:16 +0000656 interval.getNextValue(defIdx, 0, VNInfoAllocator);
Lang Hamesd21c3162009-06-18 22:01:47 +0000657 vni->setIsPHIDef(true);
658 LiveRange LR(start, end, vni);
Jakob Stoklund Olesen3de23e62009-11-07 01:58:40 +0000659
Jim Laskey9b25b8c2007-02-21 22:41:17 +0000660 interval.addRange(LR);
David Greene8a342292010-01-04 22:49:02 +0000661 DEBUG(dbgs() << " +" << LR << '\n');
Evan Chengb371f452007-02-19 21:49:54 +0000662}
663
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000664/// computeIntervals - computes the live intervals for virtual
Alkis Evlogimenos4d46e1e2004-01-31 14:37:41 +0000665/// registers. for some ordering of the machine instructions [1,N] a
Alkis Evlogimenos08cec002004-01-31 19:59:32 +0000666/// live interval is an interval [i, j) where 1 <= i <= j < N for
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000667/// which a variable is live
Jakob Stoklund Olesen1b293202010-08-12 20:01:23 +0000668void LiveIntervals::computeIntervals() {
David Greene8a342292010-01-04 22:49:02 +0000669 DEBUG(dbgs() << "********** COMPUTING LIVE INTERVALS **********\n"
Bill Wendling8e6179f2009-08-22 20:18:03 +0000670 << "********** Function: "
671 << ((Value*)mf_->getFunction())->getName() << '\n');
Evan Chengd129d732009-07-17 19:43:40 +0000672
673 SmallVector<unsigned, 8> UndefUses;
Chris Lattner428b92e2006-09-15 03:57:23 +0000674 for (MachineFunction::iterator MBBI = mf_->begin(), E = mf_->end();
675 MBBI != E; ++MBBI) {
676 MachineBasicBlock *MBB = MBBI;
Evan Cheng00a99a32010-02-06 09:07:11 +0000677 if (MBB->empty())
678 continue;
679
Owen Anderson134eb732008-09-21 20:43:24 +0000680 // Track the index of the current machine instr.
Lang Hames233a60e2009-11-03 23:52:08 +0000681 SlotIndex MIIndex = getMBBStartIdx(MBB);
Bob Wilsonad98f792010-05-03 21:38:11 +0000682 DEBUG(dbgs() << "BB#" << MBB->getNumber()
683 << ":\t\t# derived from " << MBB->getName() << "\n");
Alkis Evlogimenos6b4edba2003-12-21 20:19:10 +0000684
Dan Gohmancb406c22007-10-03 19:26:29 +0000685 // Create intervals for live-ins to this BB first.
Dan Gohman81bf03e2010-04-13 16:57:55 +0000686 for (MachineBasicBlock::livein_iterator LI = MBB->livein_begin(),
Dan Gohmancb406c22007-10-03 19:26:29 +0000687 LE = MBB->livein_end(); LI != LE; ++LI) {
688 handleLiveInRegister(MBB, MIIndex, getOrCreateInterval(*LI));
689 // Multiple live-ins can alias the same register.
Dan Gohman6f0d0242008-02-10 18:45:23 +0000690 for (const unsigned* AS = tri_->getSubRegisters(*LI); *AS; ++AS)
Dan Gohmancb406c22007-10-03 19:26:29 +0000691 if (!hasInterval(*AS))
692 handleLiveInRegister(MBB, MIIndex, getOrCreateInterval(*AS),
693 true);
Chris Lattnerdffb2e82006-09-04 18:27:40 +0000694 }
Jakob Stoklund Olesen1b293202010-08-12 20:01:23 +0000695
Owen Anderson99500ae2008-09-15 22:00:38 +0000696 // Skip over empty initial indices.
Lang Hames233a60e2009-11-03 23:52:08 +0000697 if (getInstructionFromIndex(MIIndex) == 0)
698 MIIndex = indexes_->getNextNonNullIndex(MIIndex);
Jakob Stoklund Olesen1b293202010-08-12 20:01:23 +0000699
Dale Johannesen1caedd02010-01-22 22:38:21 +0000700 for (MachineBasicBlock::iterator MI = MBB->begin(), miEnd = MBB->end();
701 MI != miEnd; ++MI) {
David Greene8a342292010-01-04 22:49:02 +0000702 DEBUG(dbgs() << MIIndex << "\t" << *MI);
Chris Lattner518bb532010-02-09 19:54:29 +0000703 if (MI->isDebugValue())
Dale Johannesen1caedd02010-01-22 22:38:21 +0000704 continue;
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000705
Evan Cheng438f7bc2006-11-10 08:43:01 +0000706 // Handle defs.
Chris Lattner428b92e2006-09-15 03:57:23 +0000707 for (int i = MI->getNumOperands() - 1; i >= 0; --i) {
708 MachineOperand &MO = MI->getOperand(i);
Evan Chengd129d732009-07-17 19:43:40 +0000709 if (!MO.isReg() || !MO.getReg())
710 continue;
711
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000712 // handle register defs - build intervals
Evan Chengd129d732009-07-17 19:43:40 +0000713 if (MO.isDef())
Evan Chengef0732d2008-07-10 07:35:43 +0000714 handleRegisterDef(MBB, MI, MIIndex, MO, i);
Evan Chengd129d732009-07-17 19:43:40 +0000715 else if (MO.isUndef())
716 UndefUses.push_back(MO.getReg());
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000717 }
Jakob Stoklund Olesen1b293202010-08-12 20:01:23 +0000718
Lang Hames233a60e2009-11-03 23:52:08 +0000719 // Move to the next instr slot.
720 MIIndex = indexes_->getNextNonNullIndex(MIIndex);
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000721 }
Alkis Evlogimenos1a8ea012004-08-04 09:46:26 +0000722 }
Evan Chengd129d732009-07-17 19:43:40 +0000723
724 // Create empty intervals for registers defined by implicit_def's (except
725 // for those implicit_def that define values which are liveout of their
726 // blocks.
727 for (unsigned i = 0, e = UndefUses.size(); i != e; ++i) {
728 unsigned UndefReg = UndefUses[i];
729 (void)getOrCreateInterval(UndefReg);
730 }
Alkis Evlogimenosff0cbe12003-11-20 03:32:25 +0000731}
Alkis Evlogimenosb27ef242003-12-05 10:38:28 +0000732
Owen Anderson03857b22008-08-13 21:49:13 +0000733LiveInterval* LiveIntervals::createInterval(unsigned reg) {
Evan Cheng0a1fcce2009-02-08 11:04:35 +0000734 float Weight = TargetRegisterInfo::isPhysicalRegister(reg) ? HUGE_VALF : 0.0F;
Owen Anderson03857b22008-08-13 21:49:13 +0000735 return new LiveInterval(reg, Weight);
Alkis Evlogimenos9a8b4902004-04-09 18:07:57 +0000736}
Evan Chengf2fbca62007-11-12 06:35:08 +0000737
Evan Cheng0a1fcce2009-02-08 11:04:35 +0000738/// dupInterval - Duplicate a live interval. The caller is responsible for
739/// managing the allocated memory.
740LiveInterval* LiveIntervals::dupInterval(LiveInterval *li) {
741 LiveInterval *NewLI = createInterval(li->reg);
Evan Cheng90f95f82009-06-14 20:22:55 +0000742 NewLI->Copy(*li, mri_, getVNInfoAllocator());
Evan Cheng0a1fcce2009-02-08 11:04:35 +0000743 return NewLI;
744}
745
Jakob Stoklund Olesen11513e52011-02-08 00:03:05 +0000746/// shrinkToUses - After removing some uses of a register, shrink its live
747/// range to just the remaining uses. This method does not compute reaching
748/// defs for new uses, and it doesn't remove dead defs.
Jakob Stoklund Olesen0d8ccaa2011-03-07 23:29:10 +0000749void LiveIntervals::shrinkToUses(LiveInterval *li,
750 SmallVectorImpl<MachineInstr*> *dead) {
Jakob Stoklund Olesen11513e52011-02-08 00:03:05 +0000751 DEBUG(dbgs() << "Shrink: " << *li << '\n');
752 assert(TargetRegisterInfo::isVirtualRegister(li->reg)
753 && "Can't only shrink physical registers");
754 // Find all the values used, including PHI kills.
755 SmallVector<std::pair<SlotIndex, VNInfo*>, 16> WorkList;
756
757 // Visit all instructions reading li->reg.
758 for (MachineRegisterInfo::reg_iterator I = mri_->reg_begin(li->reg);
759 MachineInstr *UseMI = I.skipInstruction();) {
760 if (UseMI->isDebugValue() || !UseMI->readsVirtualRegister(li->reg))
761 continue;
762 SlotIndex Idx = getInstructionIndex(UseMI).getUseIndex();
763 VNInfo *VNI = li->getVNInfoAt(Idx);
764 assert(VNI && "Live interval not live into reading instruction");
765 if (VNI->def == Idx) {
766 // Special case: An early-clobber tied operand reads and writes the
767 // register one slot early.
768 Idx = Idx.getPrevSlot();
769 VNI = li->getVNInfoAt(Idx);
770 assert(VNI && "Early-clobber tied value not available");
771 }
772 WorkList.push_back(std::make_pair(Idx, VNI));
773 }
774
775 // Create a new live interval with only minimal live segments per def.
776 LiveInterval NewLI(li->reg, 0);
777 for (LiveInterval::vni_iterator I = li->vni_begin(), E = li->vni_end();
778 I != E; ++I) {
779 VNInfo *VNI = *I;
780 if (VNI->isUnused())
781 continue;
782 NewLI.addRange(LiveRange(VNI->def, VNI->def.getNextSlot(), VNI));
Jakob Stoklund Olesena9d5c272011-03-07 18:56:16 +0000783
784 // A use tied to an early-clobber def ends at the load slot and isn't caught
785 // above. Catch it here instead. This probably only ever happens for inline
786 // assembly.
787 if (VNI->def.isUse())
788 if (VNInfo *UVNI = li->getVNInfoAt(VNI->def.getLoadIndex()))
789 WorkList.push_back(std::make_pair(VNI->def.getLoadIndex(), UVNI));
Jakob Stoklund Olesen11513e52011-02-08 00:03:05 +0000790 }
791
Jakob Stoklund Olesene0ab2452011-03-02 00:33:03 +0000792 // Keep track of the PHIs that are in use.
793 SmallPtrSet<VNInfo*, 8> UsedPHIs;
794
Jakob Stoklund Olesen11513e52011-02-08 00:03:05 +0000795 // Extend intervals to reach all uses in WorkList.
796 while (!WorkList.empty()) {
797 SlotIndex Idx = WorkList.back().first;
798 VNInfo *VNI = WorkList.back().second;
799 WorkList.pop_back();
Jakob Stoklund Olesen11513e52011-02-08 00:03:05 +0000800 const MachineBasicBlock *MBB = getMBBFromIndex(Idx);
801 SlotIndex BlockStart = getMBBStartIdx(MBB);
Jakob Stoklund Olesene0ab2452011-03-02 00:33:03 +0000802
803 // Extend the live range for VNI to be live at Idx.
804 if (VNInfo *ExtVNI = NewLI.extendInBlock(BlockStart, Idx)) {
Nick Lewycky4b11a702011-03-02 01:43:30 +0000805 (void)ExtVNI;
Jakob Stoklund Olesene0ab2452011-03-02 00:33:03 +0000806 assert(ExtVNI == VNI && "Unexpected existing value number");
807 // Is this a PHIDef we haven't seen before?
Jakob Stoklund Olesenc29d9b32011-03-03 00:20:51 +0000808 if (!VNI->isPHIDef() || VNI->def != BlockStart || !UsedPHIs.insert(VNI))
Jakob Stoklund Olesene0ab2452011-03-02 00:33:03 +0000809 continue;
810 // The PHI is live, make sure the predecessors are live-out.
811 for (MachineBasicBlock::const_pred_iterator PI = MBB->pred_begin(),
812 PE = MBB->pred_end(); PI != PE; ++PI) {
813 SlotIndex Stop = getMBBEndIdx(*PI).getPrevSlot();
814 VNInfo *PVNI = li->getVNInfoAt(Stop);
815 // A predecessor is not required to have a live-out value for a PHI.
816 if (PVNI) {
817 assert(PVNI->hasPHIKill() && "Missing hasPHIKill flag");
818 WorkList.push_back(std::make_pair(Stop, PVNI));
Jakob Stoklund Olesen11513e52011-02-08 00:03:05 +0000819 }
820 }
Jakob Stoklund Olesen11513e52011-02-08 00:03:05 +0000821 continue;
822 }
823
824 // VNI is live-in to MBB.
825 DEBUG(dbgs() << " live-in at " << BlockStart << '\n');
826 NewLI.addRange(LiveRange(BlockStart, Idx.getNextSlot(), VNI));
827
828 // Make sure VNI is live-out from the predecessors.
829 for (MachineBasicBlock::const_pred_iterator PI = MBB->pred_begin(),
830 PE = MBB->pred_end(); PI != PE; ++PI) {
831 SlotIndex Stop = getMBBEndIdx(*PI).getPrevSlot();
832 assert(li->getVNInfoAt(Stop) == VNI && "Wrong value out of predecessor");
833 WorkList.push_back(std::make_pair(Stop, VNI));
834 }
835 }
836
837 // Handle dead values.
838 for (LiveInterval::vni_iterator I = li->vni_begin(), E = li->vni_end();
839 I != E; ++I) {
840 VNInfo *VNI = *I;
841 if (VNI->isUnused())
842 continue;
843 LiveInterval::iterator LII = NewLI.FindLiveRangeContaining(VNI->def);
844 assert(LII != NewLI.end() && "Missing live range for PHI");
845 if (LII->end != VNI->def.getNextSlot())
846 continue;
Jakob Stoklund Olesena4d34732011-03-02 00:33:01 +0000847 if (VNI->isPHIDef()) {
Jakob Stoklund Olesen11513e52011-02-08 00:03:05 +0000848 // This is a dead PHI. Remove it.
849 VNI->setIsUnused(true);
850 NewLI.removeRange(*LII);
851 } else {
852 // This is a dead def. Make sure the instruction knows.
853 MachineInstr *MI = getInstructionFromIndex(VNI->def);
854 assert(MI && "No instruction defining live value");
855 MI->addRegisterDead(li->reg, tri_);
Jakob Stoklund Olesen0d8ccaa2011-03-07 23:29:10 +0000856 if (dead && MI->allDefsAreDead()) {
Jakob Stoklund Olesenc46570d2011-03-16 22:56:08 +0000857 DEBUG(dbgs() << "All defs dead: " << VNI->def << '\t' << *MI);
Jakob Stoklund Olesen0d8ccaa2011-03-07 23:29:10 +0000858 dead->push_back(MI);
859 }
Jakob Stoklund Olesen11513e52011-02-08 00:03:05 +0000860 }
861 }
862
863 // Move the trimmed ranges back.
864 li->ranges.swap(NewLI.ranges);
Jakob Stoklund Olesenc46570d2011-03-16 22:56:08 +0000865 DEBUG(dbgs() << "Shrunk: " << *li << '\n');
Jakob Stoklund Olesen11513e52011-02-08 00:03:05 +0000866}
867
868
Evan Chengf2fbca62007-11-12 06:35:08 +0000869//===----------------------------------------------------------------------===//
870// Register allocator hooks.
871//
872
Jakob Stoklund Olesencb640472011-02-04 19:33:11 +0000873MachineBasicBlock::iterator
874LiveIntervals::getLastSplitPoint(const LiveInterval &li,
Jakob Stoklund Olesenf0ac26c2011-02-09 22:50:26 +0000875 MachineBasicBlock *mbb) const {
Jakob Stoklund Olesencb640472011-02-04 19:33:11 +0000876 const MachineBasicBlock *lpad = mbb->getLandingPadSuccessor();
877
878 // If li is not live into a landing pad, we can insert spill code before the
879 // first terminator.
880 if (!lpad || !isLiveInToMBB(li, lpad))
881 return mbb->getFirstTerminator();
882
883 // When there is a landing pad, spill code must go before the call instruction
884 // that can throw.
885 MachineBasicBlock::iterator I = mbb->end(), B = mbb->begin();
886 while (I != B) {
887 --I;
888 if (I->getDesc().isCall())
889 return I;
890 }
Jakob Stoklund Olesen45e53972011-02-04 23:11:13 +0000891 // The block contains no calls that can throw, so use the first terminator.
Jakob Stoklund Olesencb640472011-02-04 19:33:11 +0000892 return mbb->getFirstTerminator();
893}
894
Jakob Stoklund Olesen8a61da82011-02-08 21:13:03 +0000895void LiveIntervals::addKillFlags() {
896 for (iterator I = begin(), E = end(); I != E; ++I) {
897 unsigned Reg = I->first;
898 if (TargetRegisterInfo::isPhysicalRegister(Reg))
899 continue;
900 if (mri_->reg_nodbg_empty(Reg))
901 continue;
902 LiveInterval *LI = I->second;
903
904 // Every instruction that kills Reg corresponds to a live range end point.
905 for (LiveInterval::iterator RI = LI->begin(), RE = LI->end(); RI != RE;
906 ++RI) {
907 // A LOAD index indicates an MBB edge.
908 if (RI->end.isLoad())
909 continue;
910 MachineInstr *MI = getInstructionFromIndex(RI->end);
911 if (!MI)
912 continue;
913 MI->addRegisterKilled(Reg, NULL);
914 }
915 }
916}
917
Evan Chengd70dbb52008-02-22 09:24:50 +0000918/// getReMatImplicitUse - If the remat definition MI has one (for now, we only
919/// allow one) virtual register operand, then its uses are implicitly using
920/// the register. Returns the virtual register.
921unsigned LiveIntervals::getReMatImplicitUse(const LiveInterval &li,
922 MachineInstr *MI) const {
923 unsigned RegOp = 0;
924 for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
925 MachineOperand &MO = MI->getOperand(i);
Dan Gohmand735b802008-10-03 15:45:36 +0000926 if (!MO.isReg() || !MO.isUse())
Evan Chengd70dbb52008-02-22 09:24:50 +0000927 continue;
928 unsigned Reg = MO.getReg();
929 if (Reg == 0 || Reg == li.reg)
930 continue;
Jakob Stoklund Olesen1b293202010-08-12 20:01:23 +0000931
Chris Lattner1873d0c2009-06-27 04:06:41 +0000932 if (TargetRegisterInfo::isPhysicalRegister(Reg) &&
933 !allocatableRegs_[Reg])
934 continue;
Evan Chengd70dbb52008-02-22 09:24:50 +0000935 // FIXME: For now, only remat MI with at most one register operand.
936 assert(!RegOp &&
937 "Can't rematerialize instruction with multiple register operand!");
938 RegOp = MO.getReg();
Dan Gohman6d69ba82008-07-25 00:02:30 +0000939#ifndef NDEBUG
Evan Chengd70dbb52008-02-22 09:24:50 +0000940 break;
Dan Gohman6d69ba82008-07-25 00:02:30 +0000941#endif
Evan Chengd70dbb52008-02-22 09:24:50 +0000942 }
943 return RegOp;
944}
945
946/// isValNoAvailableAt - Return true if the val# of the specified interval
947/// which reaches the given instruction also reaches the specified use index.
948bool LiveIntervals::isValNoAvailableAt(const LiveInterval &li, MachineInstr *MI,
Lang Hames233a60e2009-11-03 23:52:08 +0000949 SlotIndex UseIdx) const {
Jakob Stoklund Olesen31cc3ec2010-10-11 21:45:03 +0000950 VNInfo *UValNo = li.getVNInfoAt(UseIdx);
951 return UValNo && UValNo == li.getVNInfoAt(getInstructionIndex(MI));
Evan Chengd70dbb52008-02-22 09:24:50 +0000952}
953
Evan Chengf2fbca62007-11-12 06:35:08 +0000954/// isReMaterializable - Returns true if the definition MI of the specified
955/// val# of the specified interval is re-materializable.
Andrew Trickf4baeaf2010-11-10 19:18:47 +0000956bool
957LiveIntervals::isReMaterializable(const LiveInterval &li,
958 const VNInfo *ValNo, MachineInstr *MI,
Jakob Stoklund Olesen38f6bd02011-03-10 01:21:58 +0000959 const SmallVectorImpl<LiveInterval*> *SpillIs,
Andrew Trickf4baeaf2010-11-10 19:18:47 +0000960 bool &isLoad) {
Evan Chengf2fbca62007-11-12 06:35:08 +0000961 if (DisableReMat)
962 return false;
963
Dan Gohmana70dca12009-10-09 23:27:56 +0000964 if (!tii_->isTriviallyReMaterializable(MI, aa_))
965 return false;
Evan Chengdd3465e2008-02-23 01:44:27 +0000966
Dan Gohmana70dca12009-10-09 23:27:56 +0000967 // Target-specific code can mark an instruction as being rematerializable
968 // if it has one virtual reg use, though it had better be something like
969 // a PIC base register which is likely to be live everywhere.
Dan Gohman6d69ba82008-07-25 00:02:30 +0000970 unsigned ImpUse = getReMatImplicitUse(li, MI);
971 if (ImpUse) {
972 const LiveInterval &ImpLi = getInterval(ImpUse);
Evan Cheng28a1e482010-03-30 05:49:07 +0000973 for (MachineRegisterInfo::use_nodbg_iterator
974 ri = mri_->use_nodbg_begin(li.reg), re = mri_->use_nodbg_end();
975 ri != re; ++ri) {
Dan Gohman6d69ba82008-07-25 00:02:30 +0000976 MachineInstr *UseMI = &*ri;
Lang Hames233a60e2009-11-03 23:52:08 +0000977 SlotIndex UseIdx = getInstructionIndex(UseMI);
Jakob Stoklund Olesen31cc3ec2010-10-11 21:45:03 +0000978 if (li.getVNInfoAt(UseIdx) != ValNo)
Dan Gohman6d69ba82008-07-25 00:02:30 +0000979 continue;
980 if (!isValNoAvailableAt(ImpLi, MI, UseIdx))
981 return false;
982 }
Evan Chengdc377862008-09-30 15:44:16 +0000983
984 // If a register operand of the re-materialized instruction is going to
985 // be spilled next, then it's not legal to re-materialize this instruction.
Jakob Stoklund Olesen38f6bd02011-03-10 01:21:58 +0000986 if (SpillIs)
987 for (unsigned i = 0, e = SpillIs->size(); i != e; ++i)
988 if (ImpUse == (*SpillIs)[i]->reg)
989 return false;
Dan Gohman6d69ba82008-07-25 00:02:30 +0000990 }
991 return true;
Evan Cheng5ef3a042007-12-06 00:01:56 +0000992}
993
Evan Cheng06587492008-10-24 02:05:00 +0000994/// isReMaterializable - Returns true if the definition MI of the specified
995/// val# of the specified interval is re-materializable.
996bool LiveIntervals::isReMaterializable(const LiveInterval &li,
997 const VNInfo *ValNo, MachineInstr *MI) {
Evan Cheng06587492008-10-24 02:05:00 +0000998 bool Dummy2;
Jakob Stoklund Olesen38f6bd02011-03-10 01:21:58 +0000999 return isReMaterializable(li, ValNo, MI, 0, Dummy2);
Evan Cheng06587492008-10-24 02:05:00 +00001000}
1001
Evan Cheng5ef3a042007-12-06 00:01:56 +00001002/// isReMaterializable - Returns true if every definition of MI of every
1003/// val# of the specified interval is re-materializable.
Andrew Trickf4baeaf2010-11-10 19:18:47 +00001004bool
1005LiveIntervals::isReMaterializable(const LiveInterval &li,
Jakob Stoklund Olesen38f6bd02011-03-10 01:21:58 +00001006 const SmallVectorImpl<LiveInterval*> *SpillIs,
Andrew Trickf4baeaf2010-11-10 19:18:47 +00001007 bool &isLoad) {
Evan Cheng5ef3a042007-12-06 00:01:56 +00001008 isLoad = false;
1009 for (LiveInterval::const_vni_iterator i = li.vni_begin(), e = li.vni_end();
1010 i != e; ++i) {
1011 const VNInfo *VNI = *i;
Lang Hames857c4e02009-06-17 21:01:20 +00001012 if (VNI->isUnused())
Evan Cheng5ef3a042007-12-06 00:01:56 +00001013 continue; // Dead val#.
1014 // Is the def for the val# rematerializable?
Lang Hames857c4e02009-06-17 21:01:20 +00001015 MachineInstr *ReMatDefMI = getInstructionFromIndex(VNI->def);
Lang Hames6e2968c2010-09-25 12:04:16 +00001016 if (!ReMatDefMI)
1017 return false;
Evan Cheng5ef3a042007-12-06 00:01:56 +00001018 bool DefIsLoad = false;
Evan Chengd70dbb52008-02-22 09:24:50 +00001019 if (!ReMatDefMI ||
Evan Chengdc377862008-09-30 15:44:16 +00001020 !isReMaterializable(li, VNI, ReMatDefMI, SpillIs, DefIsLoad))
Evan Cheng5ef3a042007-12-06 00:01:56 +00001021 return false;
1022 isLoad |= DefIsLoad;
Evan Chengf2fbca62007-11-12 06:35:08 +00001023 }
1024 return true;
1025}
1026
Evan Cheng79a0c1e2008-02-25 08:50:41 +00001027/// FilterFoldedOps - Filter out two-address use operands. Return
1028/// true if it finds any issue with the operands that ought to prevent
1029/// folding.
1030static bool FilterFoldedOps(MachineInstr *MI,
1031 SmallVector<unsigned, 2> &Ops,
1032 unsigned &MRInfo,
1033 SmallVector<unsigned, 2> &FoldOps) {
Evan Cheng79a0c1e2008-02-25 08:50:41 +00001034 MRInfo = 0;
Evan Chengaee4af62007-12-02 08:30:39 +00001035 for (unsigned i = 0, e = Ops.size(); i != e; ++i) {
1036 unsigned OpIdx = Ops[i];
Evan Chengd70dbb52008-02-22 09:24:50 +00001037 MachineOperand &MO = MI->getOperand(OpIdx);
Evan Chengaee4af62007-12-02 08:30:39 +00001038 // FIXME: fold subreg use.
Evan Chengd70dbb52008-02-22 09:24:50 +00001039 if (MO.getSubReg())
Evan Cheng79a0c1e2008-02-25 08:50:41 +00001040 return true;
Evan Chengd70dbb52008-02-22 09:24:50 +00001041 if (MO.isDef())
Evan Chengaee4af62007-12-02 08:30:39 +00001042 MRInfo |= (unsigned)VirtRegMap::isMod;
1043 else {
1044 // Filter out two-address use operand(s).
Evan Chenga24752f2009-03-19 20:30:06 +00001045 if (MI->isRegTiedToDefOperand(OpIdx)) {
Evan Chengaee4af62007-12-02 08:30:39 +00001046 MRInfo = VirtRegMap::isModRef;
1047 continue;
1048 }
1049 MRInfo |= (unsigned)VirtRegMap::isRef;
1050 }
1051 FoldOps.push_back(OpIdx);
Evan Chenge62f97c2007-12-01 02:07:52 +00001052 }
Evan Cheng79a0c1e2008-02-25 08:50:41 +00001053 return false;
1054}
Jakob Stoklund Olesen1b293202010-08-12 20:01:23 +00001055
Evan Cheng79a0c1e2008-02-25 08:50:41 +00001056
1057/// tryFoldMemoryOperand - Attempts to fold either a spill / restore from
1058/// slot / to reg or any rematerialized load into ith operand of specified
1059/// MI. If it is successul, MI is updated with the newly created MI and
1060/// returns true.
1061bool LiveIntervals::tryFoldMemoryOperand(MachineInstr* &MI,
1062 VirtRegMap &vrm, MachineInstr *DefMI,
Lang Hames233a60e2009-11-03 23:52:08 +00001063 SlotIndex InstrIdx,
Evan Cheng79a0c1e2008-02-25 08:50:41 +00001064 SmallVector<unsigned, 2> &Ops,
1065 bool isSS, int Slot, unsigned Reg) {
Evan Cheng79a0c1e2008-02-25 08:50:41 +00001066 // If it is an implicit def instruction, just delete it.
Chris Lattner518bb532010-02-09 19:54:29 +00001067 if (MI->isImplicitDef()) {
Evan Cheng79a0c1e2008-02-25 08:50:41 +00001068 RemoveMachineInstrFromMaps(MI);
1069 vrm.RemoveMachineInstrFromMaps(MI);
1070 MI->eraseFromParent();
1071 ++numFolds;
1072 return true;
1073 }
1074
1075 // Filter the list of operand indexes that are to be folded. Abort if
1076 // any operand will prevent folding.
1077 unsigned MRInfo = 0;
1078 SmallVector<unsigned, 2> FoldOps;
1079 if (FilterFoldedOps(MI, Ops, MRInfo, FoldOps))
1080 return false;
Evan Chenge62f97c2007-12-01 02:07:52 +00001081
Evan Cheng427f4c12008-03-31 23:19:51 +00001082 // The only time it's safe to fold into a two address instruction is when
1083 // it's folding reload and spill from / into a spill stack slot.
1084 if (DefMI && (MRInfo & VirtRegMap::isMod))
Evan Cheng249ded32008-02-23 03:38:34 +00001085 return false;
1086
Jakob Stoklund Olesene05442d2010-07-09 17:29:08 +00001087 MachineInstr *fmi = isSS ? tii_->foldMemoryOperand(MI, FoldOps, Slot)
1088 : tii_->foldMemoryOperand(MI, FoldOps, DefMI);
Evan Chengf2fbca62007-11-12 06:35:08 +00001089 if (fmi) {
Evan Chengd3653122008-02-27 03:04:06 +00001090 // Remember this instruction uses the spill slot.
1091 if (isSS) vrm.addSpillSlotUse(Slot, fmi);
1092
Evan Chengf2fbca62007-11-12 06:35:08 +00001093 // Attempt to fold the memory reference into the instruction. If
1094 // we can do this, we don't need to insert spill code.
Evan Cheng84802932008-01-10 08:24:38 +00001095 if (isSS && !mf_->getFrameInfo()->isImmutableObjectIndex(Slot))
Evan Chengaee4af62007-12-02 08:30:39 +00001096 vrm.virtFolded(Reg, MI, fmi, (VirtRegMap::ModRef)MRInfo);
Evan Cheng81a03822007-11-17 00:40:40 +00001097 vrm.transferSpillPts(MI, fmi);
Evan Cheng0cbb1162007-11-29 01:06:25 +00001098 vrm.transferRestorePts(MI, fmi);
Evan Chengc1f53c72008-03-11 21:34:46 +00001099 vrm.transferEmergencySpills(MI, fmi);
Lang Hames233a60e2009-11-03 23:52:08 +00001100 ReplaceMachineInstrInMaps(MI, fmi);
Jakob Stoklund Olesene05442d2010-07-09 17:29:08 +00001101 MI->eraseFromParent();
1102 MI = fmi;
Evan Cheng0cbb1162007-11-29 01:06:25 +00001103 ++numFolds;
Evan Chengf2fbca62007-11-12 06:35:08 +00001104 return true;
1105 }
1106 return false;
1107}
1108
Evan Cheng018f9b02007-12-05 03:22:34 +00001109/// canFoldMemoryOperand - Returns true if the specified load / store
1110/// folding is possible.
1111bool LiveIntervals::canFoldMemoryOperand(MachineInstr *MI,
Evan Cheng79a0c1e2008-02-25 08:50:41 +00001112 SmallVector<unsigned, 2> &Ops,
Evan Cheng3c75ba82008-04-01 21:37:32 +00001113 bool ReMat) const {
Evan Cheng79a0c1e2008-02-25 08:50:41 +00001114 // Filter the list of operand indexes that are to be folded. Abort if
1115 // any operand will prevent folding.
1116 unsigned MRInfo = 0;
Evan Cheng018f9b02007-12-05 03:22:34 +00001117 SmallVector<unsigned, 2> FoldOps;
Evan Cheng79a0c1e2008-02-25 08:50:41 +00001118 if (FilterFoldedOps(MI, Ops, MRInfo, FoldOps))
1119 return false;
Evan Cheng018f9b02007-12-05 03:22:34 +00001120
Evan Cheng3c75ba82008-04-01 21:37:32 +00001121 // It's only legal to remat for a use, not a def.
1122 if (ReMat && (MRInfo & VirtRegMap::isMod))
Evan Cheng79a0c1e2008-02-25 08:50:41 +00001123 return false;
Evan Cheng018f9b02007-12-05 03:22:34 +00001124
Evan Chengd70dbb52008-02-22 09:24:50 +00001125 return tii_->canFoldMemoryOperand(MI, FoldOps);
1126}
1127
Evan Cheng81a03822007-11-17 00:40:40 +00001128bool LiveIntervals::intervalIsInOneMBB(const LiveInterval &li) const {
Lang Hames233a60e2009-11-03 23:52:08 +00001129 LiveInterval::Ranges::const_iterator itr = li.ranges.begin();
1130
1131 MachineBasicBlock *mbb = indexes_->getMBBCoveringRange(itr->start, itr->end);
1132
1133 if (mbb == 0)
1134 return false;
1135
1136 for (++itr; itr != li.ranges.end(); ++itr) {
1137 MachineBasicBlock *mbb2 =
1138 indexes_->getMBBCoveringRange(itr->start, itr->end);
1139
1140 if (mbb2 != mbb)
Evan Cheng81a03822007-11-17 00:40:40 +00001141 return false;
1142 }
Lang Hames233a60e2009-11-03 23:52:08 +00001143
Evan Cheng81a03822007-11-17 00:40:40 +00001144 return true;
1145}
1146
Evan Chengd70dbb52008-02-22 09:24:50 +00001147/// rewriteImplicitOps - Rewrite implicit use operands of MI (i.e. uses of
1148/// interval on to-be re-materialized operands of MI) with new register.
1149void LiveIntervals::rewriteImplicitOps(const LiveInterval &li,
1150 MachineInstr *MI, unsigned NewVReg,
1151 VirtRegMap &vrm) {
1152 // There is an implicit use. That means one of the other operand is
1153 // being remat'ed and the remat'ed instruction has li.reg as an
1154 // use operand. Make sure we rewrite that as well.
1155 for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
1156 MachineOperand &MO = MI->getOperand(i);
Dan Gohmand735b802008-10-03 15:45:36 +00001157 if (!MO.isReg())
Evan Chengd70dbb52008-02-22 09:24:50 +00001158 continue;
1159 unsigned Reg = MO.getReg();
Jakob Stoklund Olesenc9df0252011-01-10 02:58:51 +00001160 if (!TargetRegisterInfo::isVirtualRegister(Reg))
Evan Chengd70dbb52008-02-22 09:24:50 +00001161 continue;
1162 if (!vrm.isReMaterialized(Reg))
1163 continue;
1164 MachineInstr *ReMatMI = vrm.getReMaterializedMI(Reg);
Evan Cheng6130f662008-03-05 00:59:57 +00001165 MachineOperand *UseMO = ReMatMI->findRegisterUseOperand(li.reg);
1166 if (UseMO)
1167 UseMO->setReg(NewVReg);
Evan Chengd70dbb52008-02-22 09:24:50 +00001168 }
1169}
1170
Evan Chengf2fbca62007-11-12 06:35:08 +00001171/// rewriteInstructionForSpills, rewriteInstructionsForSpills - Helper functions
1172/// for addIntervalsForSpills to rewrite uses / defs for the given live range.
Evan Cheng018f9b02007-12-05 03:22:34 +00001173bool LiveIntervals::
Evan Chengd70dbb52008-02-22 09:24:50 +00001174rewriteInstructionForSpills(const LiveInterval &li, const VNInfo *VNI,
Jakob Stoklund Olesen1b293202010-08-12 20:01:23 +00001175 bool TrySplit, SlotIndex index, SlotIndex end,
Lang Hames86511252009-09-04 20:41:11 +00001176 MachineInstr *MI,
Evan Cheng81a03822007-11-17 00:40:40 +00001177 MachineInstr *ReMatOrigDefMI, MachineInstr *ReMatDefMI,
Evan Chengf2fbca62007-11-12 06:35:08 +00001178 unsigned Slot, int LdSlot,
1179 bool isLoad, bool isLoadSS, bool DefIsReMat, bool CanDelete,
Evan Chengd70dbb52008-02-22 09:24:50 +00001180 VirtRegMap &vrm,
Evan Chengf2fbca62007-11-12 06:35:08 +00001181 const TargetRegisterClass* rc,
1182 SmallVector<int, 4> &ReMatIds,
Evan Cheng22f07ff2007-12-11 02:09:15 +00001183 const MachineLoopInfo *loopInfo,
Evan Cheng313d4b82008-02-23 00:33:04 +00001184 unsigned &NewVReg, unsigned ImpUse, bool &HasDef, bool &HasUse,
Owen Anderson28998312008-08-13 22:28:50 +00001185 DenseMap<unsigned,unsigned> &MBBVRegsMap,
Evan Chengc781a242009-05-03 18:32:42 +00001186 std::vector<LiveInterval*> &NewLIs) {
Evan Cheng018f9b02007-12-05 03:22:34 +00001187 bool CanFold = false;
Evan Chengf2fbca62007-11-12 06:35:08 +00001188 RestartInstruction:
1189 for (unsigned i = 0; i != MI->getNumOperands(); ++i) {
1190 MachineOperand& mop = MI->getOperand(i);
Dan Gohmand735b802008-10-03 15:45:36 +00001191 if (!mop.isReg())
Evan Chengf2fbca62007-11-12 06:35:08 +00001192 continue;
1193 unsigned Reg = mop.getReg();
Jakob Stoklund Olesenc9df0252011-01-10 02:58:51 +00001194 if (!TargetRegisterInfo::isVirtualRegister(Reg))
Evan Chengf2fbca62007-11-12 06:35:08 +00001195 continue;
Evan Chengf2fbca62007-11-12 06:35:08 +00001196 if (Reg != li.reg)
1197 continue;
1198
1199 bool TryFold = !DefIsReMat;
Evan Chengcb3c3302007-11-29 23:02:50 +00001200 bool FoldSS = true; // Default behavior unless it's a remat.
Evan Chengf2fbca62007-11-12 06:35:08 +00001201 int FoldSlot = Slot;
1202 if (DefIsReMat) {
1203 // If this is the rematerializable definition MI itself and
1204 // all of its uses are rematerialized, simply delete it.
Evan Cheng81a03822007-11-17 00:40:40 +00001205 if (MI == ReMatOrigDefMI && CanDelete) {
Dale Johannesenbd635202010-02-10 00:55:42 +00001206 DEBUG(dbgs() << "\t\t\t\tErasing re-materializable def: "
Evan Cheng28a1e482010-03-30 05:49:07 +00001207 << *MI << '\n');
Evan Chengf2fbca62007-11-12 06:35:08 +00001208 RemoveMachineInstrFromMaps(MI);
Evan Chengcada2452007-11-28 01:28:46 +00001209 vrm.RemoveMachineInstrFromMaps(MI);
Evan Chengf2fbca62007-11-12 06:35:08 +00001210 MI->eraseFromParent();
1211 break;
1212 }
1213
1214 // If def for this use can't be rematerialized, then try folding.
Evan Cheng0cbb1162007-11-29 01:06:25 +00001215 // If def is rematerializable and it's a load, also try folding.
Evan Chengcb3c3302007-11-29 23:02:50 +00001216 TryFold = !ReMatDefMI || (ReMatDefMI && (MI == ReMatOrigDefMI || isLoad));
Evan Chengf2fbca62007-11-12 06:35:08 +00001217 if (isLoad) {
1218 // Try fold loads (from stack slot, constant pool, etc.) into uses.
1219 FoldSS = isLoadSS;
1220 FoldSlot = LdSlot;
1221 }
1222 }
1223
Evan Chengf2fbca62007-11-12 06:35:08 +00001224 // Scan all of the operands of this instruction rewriting operands
1225 // to use NewVReg instead of li.reg as appropriate. We do this for
1226 // two reasons:
1227 //
1228 // 1. If the instr reads the same spilled vreg multiple times, we
1229 // want to reuse the NewVReg.
1230 // 2. If the instr is a two-addr instruction, we are required to
1231 // keep the src/dst regs pinned.
1232 //
1233 // Keep track of whether we replace a use and/or def so that we can
Jakob Stoklund Olesen1b293202010-08-12 20:01:23 +00001234 // create the spill interval with the appropriate range.
Evan Chengaee4af62007-12-02 08:30:39 +00001235 SmallVector<unsigned, 2> Ops;
Jakob Stoklund Olesenead06be2010-06-03 00:07:47 +00001236 tie(HasUse, HasDef) = MI->readsWritesVirtualRegister(Reg, &Ops);
Evan Chengf2fbca62007-11-12 06:35:08 +00001237
David Greene26b86a02008-10-27 17:38:59 +00001238 // Create a new virtual register for the spill interval.
1239 // Create the new register now so we can map the fold instruction
1240 // to the new register so when it is unfolded we get the correct
1241 // answer.
1242 bool CreatedNewVReg = false;
1243 if (NewVReg == 0) {
1244 NewVReg = mri_->createVirtualRegister(rc);
1245 vrm.grow();
1246 CreatedNewVReg = true;
Jakob Stoklund Olesence7a6632009-11-30 22:55:54 +00001247
1248 // The new virtual register should get the same allocation hints as the
1249 // old one.
1250 std::pair<unsigned, unsigned> Hint = mri_->getRegAllocationHint(Reg);
1251 if (Hint.first || Hint.second)
1252 mri_->setRegAllocationHint(NewVReg, Hint.first, Hint.second);
David Greene26b86a02008-10-27 17:38:59 +00001253 }
1254
Evan Cheng9c3c2212008-06-06 07:54:39 +00001255 if (!TryFold)
1256 CanFold = false;
1257 else {
Evan Cheng018f9b02007-12-05 03:22:34 +00001258 // Do not fold load / store here if we are splitting. We'll find an
1259 // optimal point to insert a load / store later.
1260 if (!TrySplit) {
1261 if (tryFoldMemoryOperand(MI, vrm, ReMatDefMI, index,
David Greene26b86a02008-10-27 17:38:59 +00001262 Ops, FoldSS, FoldSlot, NewVReg)) {
Evan Cheng018f9b02007-12-05 03:22:34 +00001263 // Folding the load/store can completely change the instruction in
1264 // unpredictable ways, rescan it from the beginning.
David Greene26b86a02008-10-27 17:38:59 +00001265
1266 if (FoldSS) {
1267 // We need to give the new vreg the same stack slot as the
1268 // spilled interval.
1269 vrm.assignVirt2StackSlot(NewVReg, FoldSlot);
1270 }
1271
Evan Cheng018f9b02007-12-05 03:22:34 +00001272 HasUse = false;
1273 HasDef = false;
1274 CanFold = false;
Evan Chengc781a242009-05-03 18:32:42 +00001275 if (isNotInMIMap(MI))
Evan Cheng7e073ba2008-04-09 20:57:25 +00001276 break;
Evan Cheng018f9b02007-12-05 03:22:34 +00001277 goto RestartInstruction;
1278 }
1279 } else {
Evan Cheng9c3c2212008-06-06 07:54:39 +00001280 // We'll try to fold it later if it's profitable.
Evan Cheng3c75ba82008-04-01 21:37:32 +00001281 CanFold = canFoldMemoryOperand(MI, Ops, DefIsReMat);
Evan Cheng018f9b02007-12-05 03:22:34 +00001282 }
Evan Cheng9c3c2212008-06-06 07:54:39 +00001283 }
Evan Chengcddbb832007-11-30 21:23:43 +00001284
Evan Chengcddbb832007-11-30 21:23:43 +00001285 mop.setReg(NewVReg);
Evan Chengd70dbb52008-02-22 09:24:50 +00001286 if (mop.isImplicit())
1287 rewriteImplicitOps(li, MI, NewVReg, vrm);
Evan Chengcddbb832007-11-30 21:23:43 +00001288
1289 // Reuse NewVReg for other reads.
Jakob Stoklund Olesen7c2e4a82010-11-16 00:40:59 +00001290 bool HasEarlyClobber = false;
Evan Chengd70dbb52008-02-22 09:24:50 +00001291 for (unsigned j = 0, e = Ops.size(); j != e; ++j) {
1292 MachineOperand &mopj = MI->getOperand(Ops[j]);
1293 mopj.setReg(NewVReg);
1294 if (mopj.isImplicit())
1295 rewriteImplicitOps(li, MI, NewVReg, vrm);
Jakob Stoklund Olesen7c2e4a82010-11-16 00:40:59 +00001296 if (mopj.isEarlyClobber())
1297 HasEarlyClobber = true;
Evan Chengd70dbb52008-02-22 09:24:50 +00001298 }
Jakob Stoklund Olesen1b293202010-08-12 20:01:23 +00001299
Evan Cheng81a03822007-11-17 00:40:40 +00001300 if (CreatedNewVReg) {
1301 if (DefIsReMat) {
Evan Cheng37844532009-07-16 09:20:10 +00001302 vrm.setVirtIsReMaterialized(NewVReg, ReMatDefMI);
Evan Chengd70dbb52008-02-22 09:24:50 +00001303 if (ReMatIds[VNI->id] == VirtRegMap::MAX_STACK_SLOT) {
Evan Cheng81a03822007-11-17 00:40:40 +00001304 // Each valnum may have its own remat id.
Evan Chengd70dbb52008-02-22 09:24:50 +00001305 ReMatIds[VNI->id] = vrm.assignVirtReMatId(NewVReg);
Evan Cheng81a03822007-11-17 00:40:40 +00001306 } else {
Evan Chengd70dbb52008-02-22 09:24:50 +00001307 vrm.assignVirtReMatId(NewVReg, ReMatIds[VNI->id]);
Evan Cheng81a03822007-11-17 00:40:40 +00001308 }
1309 if (!CanDelete || (HasUse && HasDef)) {
1310 // If this is a two-addr instruction then its use operands are
1311 // rematerializable but its def is not. It should be assigned a
1312 // stack slot.
1313 vrm.assignVirt2StackSlot(NewVReg, Slot);
1314 }
Evan Chengf2fbca62007-11-12 06:35:08 +00001315 } else {
Evan Chengf2fbca62007-11-12 06:35:08 +00001316 vrm.assignVirt2StackSlot(NewVReg, Slot);
1317 }
Evan Chengcb3c3302007-11-29 23:02:50 +00001318 } else if (HasUse && HasDef &&
1319 vrm.getStackSlot(NewVReg) == VirtRegMap::NO_STACK_SLOT) {
1320 // If this interval hasn't been assigned a stack slot (because earlier
1321 // def is a deleted remat def), do it now.
1322 assert(Slot != VirtRegMap::NO_STACK_SLOT);
1323 vrm.assignVirt2StackSlot(NewVReg, Slot);
Evan Chengf2fbca62007-11-12 06:35:08 +00001324 }
1325
Evan Cheng313d4b82008-02-23 00:33:04 +00001326 // Re-matting an instruction with virtual register use. Add the
1327 // register as an implicit use on the use MI.
1328 if (DefIsReMat && ImpUse)
1329 MI->addOperand(MachineOperand::CreateReg(ImpUse, false, true));
1330
Evan Cheng5b69eba2009-04-21 22:46:52 +00001331 // Create a new register interval for this spill / remat.
Evan Chengf2fbca62007-11-12 06:35:08 +00001332 LiveInterval &nI = getOrCreateInterval(NewVReg);
Evan Cheng81a03822007-11-17 00:40:40 +00001333 if (CreatedNewVReg) {
1334 NewLIs.push_back(&nI);
Evan Cheng1953d0c2007-11-29 10:12:14 +00001335 MBBVRegsMap.insert(std::make_pair(MI->getParent()->getNumber(), NewVReg));
Evan Cheng81a03822007-11-17 00:40:40 +00001336 if (TrySplit)
1337 vrm.setIsSplitFromReg(NewVReg, li.reg);
1338 }
Evan Chengf2fbca62007-11-12 06:35:08 +00001339
1340 if (HasUse) {
Evan Cheng81a03822007-11-17 00:40:40 +00001341 if (CreatedNewVReg) {
Lang Hames233a60e2009-11-03 23:52:08 +00001342 LiveRange LR(index.getLoadIndex(), index.getDefIndex(),
Lang Hames6e2968c2010-09-25 12:04:16 +00001343 nI.getNextValue(SlotIndex(), 0, VNInfoAllocator));
David Greene8a342292010-01-04 22:49:02 +00001344 DEBUG(dbgs() << " +" << LR);
Evan Cheng81a03822007-11-17 00:40:40 +00001345 nI.addRange(LR);
1346 } else {
1347 // Extend the split live interval to this def / use.
Lang Hames233a60e2009-11-03 23:52:08 +00001348 SlotIndex End = index.getDefIndex();
Evan Cheng81a03822007-11-17 00:40:40 +00001349 LiveRange LR(nI.ranges[nI.ranges.size()-1].end, End,
1350 nI.getValNumInfo(nI.getNumValNums()-1));
David Greene8a342292010-01-04 22:49:02 +00001351 DEBUG(dbgs() << " +" << LR);
Evan Cheng81a03822007-11-17 00:40:40 +00001352 nI.addRange(LR);
1353 }
Evan Chengf2fbca62007-11-12 06:35:08 +00001354 }
1355 if (HasDef) {
Jakob Stoklund Olesen7c2e4a82010-11-16 00:40:59 +00001356 // An early clobber starts at the use slot, except for an early clobber
1357 // tied to a use operand (yes, that is a thing).
1358 LiveRange LR(HasEarlyClobber && !HasUse ?
1359 index.getUseIndex() : index.getDefIndex(),
1360 index.getStoreIndex(),
Lang Hames6e2968c2010-09-25 12:04:16 +00001361 nI.getNextValue(SlotIndex(), 0, VNInfoAllocator));
David Greene8a342292010-01-04 22:49:02 +00001362 DEBUG(dbgs() << " +" << LR);
Evan Chengf2fbca62007-11-12 06:35:08 +00001363 nI.addRange(LR);
1364 }
Evan Cheng81a03822007-11-17 00:40:40 +00001365
Bill Wendling8e6179f2009-08-22 20:18:03 +00001366 DEBUG({
David Greene8a342292010-01-04 22:49:02 +00001367 dbgs() << "\t\t\t\tAdded new interval: ";
1368 nI.print(dbgs(), tri_);
1369 dbgs() << '\n';
Bill Wendling8e6179f2009-08-22 20:18:03 +00001370 });
Evan Chengf2fbca62007-11-12 06:35:08 +00001371 }
Evan Cheng018f9b02007-12-05 03:22:34 +00001372 return CanFold;
Evan Chengf2fbca62007-11-12 06:35:08 +00001373}
Evan Cheng81a03822007-11-17 00:40:40 +00001374bool LiveIntervals::anyKillInMBBAfterIdx(const LiveInterval &li,
Evan Cheng0cbb1162007-11-29 01:06:25 +00001375 const VNInfo *VNI,
Lang Hames86511252009-09-04 20:41:11 +00001376 MachineBasicBlock *MBB,
Lang Hames233a60e2009-11-03 23:52:08 +00001377 SlotIndex Idx) const {
Jakob Stoklund Olesen15a57142010-06-25 22:53:05 +00001378 return li.killedInRange(Idx.getNextSlot(), getMBBEndIdx(MBB));
Evan Cheng81a03822007-11-17 00:40:40 +00001379}
1380
Evan Cheng063284c2008-02-21 00:34:19 +00001381/// RewriteInfo - Keep track of machine instrs that will be rewritten
1382/// during spilling.
Dan Gohman844731a2008-05-13 00:00:25 +00001383namespace {
1384 struct RewriteInfo {
Lang Hames233a60e2009-11-03 23:52:08 +00001385 SlotIndex Index;
Dan Gohman844731a2008-05-13 00:00:25 +00001386 MachineInstr *MI;
Jakob Stoklund Olesenead06be2010-06-03 00:07:47 +00001387 RewriteInfo(SlotIndex i, MachineInstr *mi) : Index(i), MI(mi) {}
Dan Gohman844731a2008-05-13 00:00:25 +00001388 };
Evan Cheng063284c2008-02-21 00:34:19 +00001389
Dan Gohman844731a2008-05-13 00:00:25 +00001390 struct RewriteInfoCompare {
1391 bool operator()(const RewriteInfo &LHS, const RewriteInfo &RHS) const {
1392 return LHS.Index < RHS.Index;
1393 }
1394 };
1395}
Evan Cheng063284c2008-02-21 00:34:19 +00001396
Evan Chengf2fbca62007-11-12 06:35:08 +00001397void LiveIntervals::
Evan Cheng81a03822007-11-17 00:40:40 +00001398rewriteInstructionsForSpills(const LiveInterval &li, bool TrySplit,
Evan Chengf2fbca62007-11-12 06:35:08 +00001399 LiveInterval::Ranges::const_iterator &I,
Evan Cheng81a03822007-11-17 00:40:40 +00001400 MachineInstr *ReMatOrigDefMI, MachineInstr *ReMatDefMI,
Evan Chengf2fbca62007-11-12 06:35:08 +00001401 unsigned Slot, int LdSlot,
1402 bool isLoad, bool isLoadSS, bool DefIsReMat, bool CanDelete,
Evan Chengd70dbb52008-02-22 09:24:50 +00001403 VirtRegMap &vrm,
Evan Chengf2fbca62007-11-12 06:35:08 +00001404 const TargetRegisterClass* rc,
1405 SmallVector<int, 4> &ReMatIds,
Evan Cheng22f07ff2007-12-11 02:09:15 +00001406 const MachineLoopInfo *loopInfo,
Evan Cheng81a03822007-11-17 00:40:40 +00001407 BitVector &SpillMBBs,
Owen Anderson28998312008-08-13 22:28:50 +00001408 DenseMap<unsigned, std::vector<SRInfo> > &SpillIdxes,
Evan Cheng0cbb1162007-11-29 01:06:25 +00001409 BitVector &RestoreMBBs,
Owen Anderson28998312008-08-13 22:28:50 +00001410 DenseMap<unsigned, std::vector<SRInfo> > &RestoreIdxes,
1411 DenseMap<unsigned,unsigned> &MBBVRegsMap,
Evan Chengc781a242009-05-03 18:32:42 +00001412 std::vector<LiveInterval*> &NewLIs) {
Evan Cheng018f9b02007-12-05 03:22:34 +00001413 bool AllCanFold = true;
Evan Cheng81a03822007-11-17 00:40:40 +00001414 unsigned NewVReg = 0;
Lang Hames233a60e2009-11-03 23:52:08 +00001415 SlotIndex start = I->start.getBaseIndex();
1416 SlotIndex end = I->end.getPrevSlot().getBaseIndex().getNextIndex();
Evan Chengf2fbca62007-11-12 06:35:08 +00001417
Evan Cheng063284c2008-02-21 00:34:19 +00001418 // First collect all the def / use in this live range that will be rewritten.
Evan Cheng7e073ba2008-04-09 20:57:25 +00001419 // Make sure they are sorted according to instruction index.
Evan Cheng063284c2008-02-21 00:34:19 +00001420 std::vector<RewriteInfo> RewriteMIs;
Evan Chengd70dbb52008-02-22 09:24:50 +00001421 for (MachineRegisterInfo::reg_iterator ri = mri_->reg_begin(li.reg),
1422 re = mri_->reg_end(); ri != re; ) {
Evan Cheng419852c2008-04-03 16:39:43 +00001423 MachineInstr *MI = &*ri;
Evan Cheng063284c2008-02-21 00:34:19 +00001424 MachineOperand &O = ri.getOperand();
1425 ++ri;
Dale Johannesenbd635202010-02-10 00:55:42 +00001426 if (MI->isDebugValue()) {
Evan Cheng962021b2010-04-26 07:38:55 +00001427 // Modify DBG_VALUE now that the value is in a spill slot.
Evan Cheng6691a892010-04-28 23:52:26 +00001428 if (Slot != VirtRegMap::MAX_STACK_SLOT || isLoadSS) {
Evan Cheng6fa76362010-04-26 18:37:21 +00001429 uint64_t Offset = MI->getOperand(1).getImm();
1430 const MDNode *MDPtr = MI->getOperand(2).getMetadata();
1431 DebugLoc DL = MI->getDebugLoc();
Evan Cheng6691a892010-04-28 23:52:26 +00001432 int FI = isLoadSS ? LdSlot : (int)Slot;
1433 if (MachineInstr *NewDV = tii_->emitFrameIndexDebugValue(*mf_, FI,
Evan Cheng6fa76362010-04-26 18:37:21 +00001434 Offset, MDPtr, DL)) {
1435 DEBUG(dbgs() << "Modifying debug info due to spill:" << "\t" << *MI);
1436 ReplaceMachineInstrInMaps(MI, NewDV);
1437 MachineBasicBlock *MBB = MI->getParent();
1438 MBB->insert(MBB->erase(MI), NewDV);
1439 continue;
1440 }
Evan Cheng962021b2010-04-26 07:38:55 +00001441 }
Evan Cheng6fa76362010-04-26 18:37:21 +00001442
1443 DEBUG(dbgs() << "Removing debug info due to spill:" << "\t" << *MI);
1444 RemoveMachineInstrFromMaps(MI);
1445 vrm.RemoveMachineInstrFromMaps(MI);
1446 MI->eraseFromParent();
Dale Johannesenbd635202010-02-10 00:55:42 +00001447 continue;
1448 }
Jakob Stoklund Olesen63e6a482010-05-21 16:32:16 +00001449 assert(!(O.isImplicit() && O.isUse()) &&
1450 "Spilling register that's used as implicit use?");
Lang Hames233a60e2009-11-03 23:52:08 +00001451 SlotIndex index = getInstructionIndex(MI);
Evan Cheng063284c2008-02-21 00:34:19 +00001452 if (index < start || index >= end)
1453 continue;
Evan Chengd129d732009-07-17 19:43:40 +00001454
1455 if (O.isUndef())
Evan Cheng79a796c2008-07-12 01:56:02 +00001456 // Must be defined by an implicit def. It should not be spilled. Note,
1457 // this is for correctness reason. e.g.
1458 // 8 %reg1024<def> = IMPLICIT_DEF
1459 // 12 %reg1024<def> = INSERT_SUBREG %reg1024<kill>, %reg1025, 2
1460 // The live range [12, 14) are not part of the r1024 live interval since
1461 // it's defined by an implicit def. It will not conflicts with live
1462 // interval of r1025. Now suppose both registers are spilled, you can
Evan Chengb9890ae2008-07-12 02:22:07 +00001463 // easily see a situation where both registers are reloaded before
Evan Cheng79a796c2008-07-12 01:56:02 +00001464 // the INSERT_SUBREG and both target registers that would overlap.
1465 continue;
Jakob Stoklund Olesenead06be2010-06-03 00:07:47 +00001466 RewriteMIs.push_back(RewriteInfo(index, MI));
Evan Cheng063284c2008-02-21 00:34:19 +00001467 }
1468 std::sort(RewriteMIs.begin(), RewriteMIs.end(), RewriteInfoCompare());
1469
Evan Cheng313d4b82008-02-23 00:33:04 +00001470 unsigned ImpUse = DefIsReMat ? getReMatImplicitUse(li, ReMatDefMI) : 0;
Evan Cheng063284c2008-02-21 00:34:19 +00001471 // Now rewrite the defs and uses.
1472 for (unsigned i = 0, e = RewriteMIs.size(); i != e; ) {
1473 RewriteInfo &rwi = RewriteMIs[i];
1474 ++i;
Lang Hames233a60e2009-11-03 23:52:08 +00001475 SlotIndex index = rwi.Index;
Evan Cheng063284c2008-02-21 00:34:19 +00001476 MachineInstr *MI = rwi.MI;
1477 // If MI def and/or use the same register multiple times, then there
1478 // are multiple entries.
1479 while (i != e && RewriteMIs[i].MI == MI) {
1480 assert(RewriteMIs[i].Index == index);
Evan Cheng063284c2008-02-21 00:34:19 +00001481 ++i;
1482 }
Evan Cheng81a03822007-11-17 00:40:40 +00001483 MachineBasicBlock *MBB = MI->getParent();
Evan Cheng313d4b82008-02-23 00:33:04 +00001484
Evan Cheng0a891ed2008-05-23 23:00:04 +00001485 if (ImpUse && MI != ReMatDefMI) {
Jakob Stoklund Olesene5d90412010-03-01 20:59:38 +00001486 // Re-matting an instruction with virtual register use. Prevent interval
1487 // from being spilled.
1488 getInterval(ImpUse).markNotSpillable();
Evan Cheng313d4b82008-02-23 00:33:04 +00001489 }
1490
Evan Cheng063284c2008-02-21 00:34:19 +00001491 unsigned MBBId = MBB->getNumber();
Evan Cheng018f9b02007-12-05 03:22:34 +00001492 unsigned ThisVReg = 0;
Evan Cheng70306f82007-12-03 09:58:48 +00001493 if (TrySplit) {
Owen Anderson28998312008-08-13 22:28:50 +00001494 DenseMap<unsigned,unsigned>::iterator NVI = MBBVRegsMap.find(MBBId);
Evan Cheng1953d0c2007-11-29 10:12:14 +00001495 if (NVI != MBBVRegsMap.end()) {
Evan Cheng018f9b02007-12-05 03:22:34 +00001496 ThisVReg = NVI->second;
Evan Cheng1953d0c2007-11-29 10:12:14 +00001497 // One common case:
1498 // x = use
1499 // ...
1500 // ...
1501 // def = ...
1502 // = use
1503 // It's better to start a new interval to avoid artifically
1504 // extend the new interval.
Jakob Stoklund Olesenead06be2010-06-03 00:07:47 +00001505 if (MI->readsWritesVirtualRegister(li.reg) ==
1506 std::make_pair(false,true)) {
Evan Cheng1953d0c2007-11-29 10:12:14 +00001507 MBBVRegsMap.erase(MBB->getNumber());
Evan Cheng018f9b02007-12-05 03:22:34 +00001508 ThisVReg = 0;
Evan Cheng1953d0c2007-11-29 10:12:14 +00001509 }
1510 }
Evan Chengcada2452007-11-28 01:28:46 +00001511 }
Evan Cheng018f9b02007-12-05 03:22:34 +00001512
1513 bool IsNew = ThisVReg == 0;
1514 if (IsNew) {
1515 // This ends the previous live interval. If all of its def / use
1516 // can be folded, give it a low spill weight.
1517 if (NewVReg && TrySplit && AllCanFold) {
1518 LiveInterval &nI = getOrCreateInterval(NewVReg);
1519 nI.weight /= 10.0F;
1520 }
1521 AllCanFold = true;
1522 }
1523 NewVReg = ThisVReg;
1524
Evan Cheng81a03822007-11-17 00:40:40 +00001525 bool HasDef = false;
1526 bool HasUse = false;
Evan Chengd70dbb52008-02-22 09:24:50 +00001527 bool CanFold = rewriteInstructionForSpills(li, I->valno, TrySplit,
Evan Cheng9c3c2212008-06-06 07:54:39 +00001528 index, end, MI, ReMatOrigDefMI, ReMatDefMI,
1529 Slot, LdSlot, isLoad, isLoadSS, DefIsReMat,
1530 CanDelete, vrm, rc, ReMatIds, loopInfo, NewVReg,
Evan Chengc781a242009-05-03 18:32:42 +00001531 ImpUse, HasDef, HasUse, MBBVRegsMap, NewLIs);
Evan Cheng81a03822007-11-17 00:40:40 +00001532 if (!HasDef && !HasUse)
1533 continue;
1534
Evan Cheng018f9b02007-12-05 03:22:34 +00001535 AllCanFold &= CanFold;
1536
Evan Cheng81a03822007-11-17 00:40:40 +00001537 // Update weight of spill interval.
1538 LiveInterval &nI = getOrCreateInterval(NewVReg);
Evan Cheng70306f82007-12-03 09:58:48 +00001539 if (!TrySplit) {
Evan Cheng81a03822007-11-17 00:40:40 +00001540 // The spill weight is now infinity as it cannot be spilled again.
Jakob Stoklund Olesene5d90412010-03-01 20:59:38 +00001541 nI.markNotSpillable();
Evan Cheng0cbb1162007-11-29 01:06:25 +00001542 continue;
Evan Cheng81a03822007-11-17 00:40:40 +00001543 }
Evan Cheng0cbb1162007-11-29 01:06:25 +00001544
1545 // Keep track of the last def and first use in each MBB.
Evan Cheng0cbb1162007-11-29 01:06:25 +00001546 if (HasDef) {
1547 if (MI != ReMatOrigDefMI || !CanDelete) {
Evan Cheng0cbb1162007-11-29 01:06:25 +00001548 bool HasKill = false;
1549 if (!HasUse)
Lang Hames233a60e2009-11-03 23:52:08 +00001550 HasKill = anyKillInMBBAfterIdx(li, I->valno, MBB, index.getDefIndex());
Evan Cheng0cbb1162007-11-29 01:06:25 +00001551 else {
Evan Cheng1953d0c2007-11-29 10:12:14 +00001552 // If this is a two-address code, then this index starts a new VNInfo.
Lang Hames233a60e2009-11-03 23:52:08 +00001553 const VNInfo *VNI = li.findDefinedVNInfoForRegInt(index.getDefIndex());
Evan Cheng0cbb1162007-11-29 01:06:25 +00001554 if (VNI)
Lang Hames233a60e2009-11-03 23:52:08 +00001555 HasKill = anyKillInMBBAfterIdx(li, VNI, MBB, index.getDefIndex());
Evan Cheng0cbb1162007-11-29 01:06:25 +00001556 }
Owen Anderson28998312008-08-13 22:28:50 +00001557 DenseMap<unsigned, std::vector<SRInfo> >::iterator SII =
Evan Chenge3110d02007-12-01 04:42:39 +00001558 SpillIdxes.find(MBBId);
Evan Cheng0cbb1162007-11-29 01:06:25 +00001559 if (!HasKill) {
Evan Cheng1953d0c2007-11-29 10:12:14 +00001560 if (SII == SpillIdxes.end()) {
1561 std::vector<SRInfo> S;
1562 S.push_back(SRInfo(index, NewVReg, true));
1563 SpillIdxes.insert(std::make_pair(MBBId, S));
1564 } else if (SII->second.back().vreg != NewVReg) {
1565 SII->second.push_back(SRInfo(index, NewVReg, true));
Lang Hames86511252009-09-04 20:41:11 +00001566 } else if (index > SII->second.back().index) {
Evan Cheng0cbb1162007-11-29 01:06:25 +00001567 // If there is an earlier def and this is a two-address
1568 // instruction, then it's not possible to fold the store (which
1569 // would also fold the load).
Evan Cheng1953d0c2007-11-29 10:12:14 +00001570 SRInfo &Info = SII->second.back();
1571 Info.index = index;
1572 Info.canFold = !HasUse;
Evan Cheng0cbb1162007-11-29 01:06:25 +00001573 }
1574 SpillMBBs.set(MBBId);
Evan Chenge3110d02007-12-01 04:42:39 +00001575 } else if (SII != SpillIdxes.end() &&
1576 SII->second.back().vreg == NewVReg &&
Lang Hames86511252009-09-04 20:41:11 +00001577 index > SII->second.back().index) {
Evan Chenge3110d02007-12-01 04:42:39 +00001578 // There is an earlier def that's not killed (must be two-address).
1579 // The spill is no longer needed.
1580 SII->second.pop_back();
1581 if (SII->second.empty()) {
1582 SpillIdxes.erase(MBBId);
1583 SpillMBBs.reset(MBBId);
1584 }
Evan Cheng0cbb1162007-11-29 01:06:25 +00001585 }
1586 }
Evan Cheng0cbb1162007-11-29 01:06:25 +00001587 }
1588
1589 if (HasUse) {
Owen Anderson28998312008-08-13 22:28:50 +00001590 DenseMap<unsigned, std::vector<SRInfo> >::iterator SII =
Evan Cheng0cbb1162007-11-29 01:06:25 +00001591 SpillIdxes.find(MBBId);
Evan Cheng1953d0c2007-11-29 10:12:14 +00001592 if (SII != SpillIdxes.end() &&
1593 SII->second.back().vreg == NewVReg &&
Lang Hames86511252009-09-04 20:41:11 +00001594 index > SII->second.back().index)
Evan Cheng0cbb1162007-11-29 01:06:25 +00001595 // Use(s) following the last def, it's not safe to fold the spill.
Evan Cheng1953d0c2007-11-29 10:12:14 +00001596 SII->second.back().canFold = false;
Owen Anderson28998312008-08-13 22:28:50 +00001597 DenseMap<unsigned, std::vector<SRInfo> >::iterator RII =
Evan Cheng0cbb1162007-11-29 01:06:25 +00001598 RestoreIdxes.find(MBBId);
Evan Cheng1953d0c2007-11-29 10:12:14 +00001599 if (RII != RestoreIdxes.end() && RII->second.back().vreg == NewVReg)
Evan Cheng0cbb1162007-11-29 01:06:25 +00001600 // If we are splitting live intervals, only fold if it's the first
1601 // use and there isn't another use later in the MBB.
Evan Cheng1953d0c2007-11-29 10:12:14 +00001602 RII->second.back().canFold = false;
Evan Cheng0cbb1162007-11-29 01:06:25 +00001603 else if (IsNew) {
1604 // Only need a reload if there isn't an earlier def / use.
Evan Cheng1953d0c2007-11-29 10:12:14 +00001605 if (RII == RestoreIdxes.end()) {
1606 std::vector<SRInfo> Infos;
1607 Infos.push_back(SRInfo(index, NewVReg, true));
1608 RestoreIdxes.insert(std::make_pair(MBBId, Infos));
1609 } else {
1610 RII->second.push_back(SRInfo(index, NewVReg, true));
1611 }
Evan Cheng0cbb1162007-11-29 01:06:25 +00001612 RestoreMBBs.set(MBBId);
1613 }
1614 }
1615
1616 // Update spill weight.
Evan Cheng22f07ff2007-12-11 02:09:15 +00001617 unsigned loopDepth = loopInfo->getLoopDepth(MBB);
Evan Chengc3417602008-06-21 06:45:54 +00001618 nI.weight += getSpillWeight(HasDef, HasUse, loopDepth);
Evan Chengf2fbca62007-11-12 06:35:08 +00001619 }
Evan Cheng018f9b02007-12-05 03:22:34 +00001620
1621 if (NewVReg && TrySplit && AllCanFold) {
1622 // If all of its def / use can be folded, give it a low spill weight.
1623 LiveInterval &nI = getOrCreateInterval(NewVReg);
1624 nI.weight /= 10.0F;
1625 }
Evan Chengf2fbca62007-11-12 06:35:08 +00001626}
1627
Lang Hames233a60e2009-11-03 23:52:08 +00001628bool LiveIntervals::alsoFoldARestore(int Id, SlotIndex index,
Lang Hames86511252009-09-04 20:41:11 +00001629 unsigned vr, BitVector &RestoreMBBs,
Owen Anderson28998312008-08-13 22:28:50 +00001630 DenseMap<unsigned,std::vector<SRInfo> > &RestoreIdxes) {
Evan Cheng1953d0c2007-11-29 10:12:14 +00001631 if (!RestoreMBBs[Id])
1632 return false;
1633 std::vector<SRInfo> &Restores = RestoreIdxes[Id];
1634 for (unsigned i = 0, e = Restores.size(); i != e; ++i)
1635 if (Restores[i].index == index &&
1636 Restores[i].vreg == vr &&
1637 Restores[i].canFold)
1638 return true;
1639 return false;
1640}
1641
Lang Hames233a60e2009-11-03 23:52:08 +00001642void LiveIntervals::eraseRestoreInfo(int Id, SlotIndex index,
Lang Hames86511252009-09-04 20:41:11 +00001643 unsigned vr, BitVector &RestoreMBBs,
Owen Anderson28998312008-08-13 22:28:50 +00001644 DenseMap<unsigned,std::vector<SRInfo> > &RestoreIdxes) {
Evan Cheng1953d0c2007-11-29 10:12:14 +00001645 if (!RestoreMBBs[Id])
1646 return;
1647 std::vector<SRInfo> &Restores = RestoreIdxes[Id];
1648 for (unsigned i = 0, e = Restores.size(); i != e; ++i)
1649 if (Restores[i].index == index && Restores[i].vreg)
Lang Hames233a60e2009-11-03 23:52:08 +00001650 Restores[i].index = SlotIndex();
Evan Cheng1953d0c2007-11-29 10:12:14 +00001651}
Evan Cheng81a03822007-11-17 00:40:40 +00001652
Evan Cheng4cce6b42008-04-11 17:53:36 +00001653/// handleSpilledImpDefs - Remove IMPLICIT_DEF instructions which are being
1654/// spilled and create empty intervals for their uses.
1655void
1656LiveIntervals::handleSpilledImpDefs(const LiveInterval &li, VirtRegMap &vrm,
1657 const TargetRegisterClass* rc,
1658 std::vector<LiveInterval*> &NewLIs) {
Evan Cheng419852c2008-04-03 16:39:43 +00001659 for (MachineRegisterInfo::reg_iterator ri = mri_->reg_begin(li.reg),
1660 re = mri_->reg_end(); ri != re; ) {
Evan Cheng4cce6b42008-04-11 17:53:36 +00001661 MachineOperand &O = ri.getOperand();
Evan Cheng419852c2008-04-03 16:39:43 +00001662 MachineInstr *MI = &*ri;
1663 ++ri;
Evan Cheng28a1e482010-03-30 05:49:07 +00001664 if (MI->isDebugValue()) {
1665 // Remove debug info for now.
1666 O.setReg(0U);
1667 DEBUG(dbgs() << "Removing debug info due to spill:" << "\t" << *MI);
1668 continue;
1669 }
Evan Cheng4cce6b42008-04-11 17:53:36 +00001670 if (O.isDef()) {
Chris Lattner518bb532010-02-09 19:54:29 +00001671 assert(MI->isImplicitDef() &&
Evan Cheng4cce6b42008-04-11 17:53:36 +00001672 "Register def was not rewritten?");
1673 RemoveMachineInstrFromMaps(MI);
1674 vrm.RemoveMachineInstrFromMaps(MI);
1675 MI->eraseFromParent();
1676 } else {
1677 // This must be an use of an implicit_def so it's not part of the live
1678 // interval. Create a new empty live interval for it.
1679 // FIXME: Can we simply erase some of the instructions? e.g. Stores?
1680 unsigned NewVReg = mri_->createVirtualRegister(rc);
1681 vrm.grow();
1682 vrm.setIsImplicitlyDefined(NewVReg);
1683 NewLIs.push_back(&getOrCreateInterval(NewVReg));
1684 for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
1685 MachineOperand &MO = MI->getOperand(i);
Evan Cheng4784f1f2009-06-30 08:49:04 +00001686 if (MO.isReg() && MO.getReg() == li.reg) {
Evan Cheng4cce6b42008-04-11 17:53:36 +00001687 MO.setReg(NewVReg);
Evan Cheng4784f1f2009-06-30 08:49:04 +00001688 MO.setIsUndef();
Evan Cheng4784f1f2009-06-30 08:49:04 +00001689 }
Evan Cheng4cce6b42008-04-11 17:53:36 +00001690 }
1691 }
Evan Cheng419852c2008-04-03 16:39:43 +00001692 }
1693}
1694
Jakob Stoklund Olesene5d90412010-03-01 20:59:38 +00001695float
1696LiveIntervals::getSpillWeight(bool isDef, bool isUse, unsigned loopDepth) {
1697 // Limit the loop depth ridiculousness.
1698 if (loopDepth > 200)
1699 loopDepth = 200;
1700
1701 // The loop depth is used to roughly estimate the number of times the
1702 // instruction is executed. Something like 10^d is simple, but will quickly
1703 // overflow a float. This expression behaves like 10^d for small d, but is
1704 // more tempered for large d. At d=200 we get 6.7e33 which leaves a bit of
1705 // headroom before overflow.
Chris Lattner87565c12010-05-15 17:10:24 +00001706 float lc = std::pow(1 + (100.0f / (loopDepth+10)), (float)loopDepth);
Jakob Stoklund Olesene5d90412010-03-01 20:59:38 +00001707
1708 return (isDef + isUse) * lc;
1709}
1710
Jakob Stoklund Oleseneb9f0402011-02-14 23:15:38 +00001711static void normalizeSpillWeights(std::vector<LiveInterval*> &NewLIs) {
Jakob Stoklund Olesen352d3522010-02-18 21:33:05 +00001712 for (unsigned i = 0, e = NewLIs.size(); i != e; ++i)
Jakob Stoklund Oleseneb9f0402011-02-14 23:15:38 +00001713 NewLIs[i]->weight =
1714 normalizeSpillWeight(NewLIs[i]->weight, NewLIs[i]->getSize());
Jakob Stoklund Olesen352d3522010-02-18 21:33:05 +00001715}
1716
Evan Chengf2fbca62007-11-12 06:35:08 +00001717std::vector<LiveInterval*> LiveIntervals::
Evan Cheng81a03822007-11-17 00:40:40 +00001718addIntervalsForSpills(const LiveInterval &li,
Jakob Stoklund Olesen38f6bd02011-03-10 01:21:58 +00001719 const SmallVectorImpl<LiveInterval*> *SpillIs,
Evan Chengc781a242009-05-03 18:32:42 +00001720 const MachineLoopInfo *loopInfo, VirtRegMap &vrm) {
Jakob Stoklund Olesene5d90412010-03-01 20:59:38 +00001721 assert(li.isSpillable() && "attempt to spill already spilled interval!");
Evan Chengf2fbca62007-11-12 06:35:08 +00001722
Bill Wendling8e6179f2009-08-22 20:18:03 +00001723 DEBUG({
David Greene8a342292010-01-04 22:49:02 +00001724 dbgs() << "\t\t\t\tadding intervals for spills for interval: ";
1725 li.print(dbgs(), tri_);
1726 dbgs() << '\n';
Bill Wendling8e6179f2009-08-22 20:18:03 +00001727 });
Evan Chengf2fbca62007-11-12 06:35:08 +00001728
Evan Cheng72eeb942008-12-05 17:00:16 +00001729 // Each bit specify whether a spill is required in the MBB.
Evan Cheng81a03822007-11-17 00:40:40 +00001730 BitVector SpillMBBs(mf_->getNumBlockIDs());
Owen Anderson28998312008-08-13 22:28:50 +00001731 DenseMap<unsigned, std::vector<SRInfo> > SpillIdxes;
Evan Cheng0cbb1162007-11-29 01:06:25 +00001732 BitVector RestoreMBBs(mf_->getNumBlockIDs());
Owen Anderson28998312008-08-13 22:28:50 +00001733 DenseMap<unsigned, std::vector<SRInfo> > RestoreIdxes;
1734 DenseMap<unsigned,unsigned> MBBVRegsMap;
Evan Chengf2fbca62007-11-12 06:35:08 +00001735 std::vector<LiveInterval*> NewLIs;
Evan Chengd70dbb52008-02-22 09:24:50 +00001736 const TargetRegisterClass* rc = mri_->getRegClass(li.reg);
Evan Chengf2fbca62007-11-12 06:35:08 +00001737
1738 unsigned NumValNums = li.getNumValNums();
1739 SmallVector<MachineInstr*, 4> ReMatDefs;
1740 ReMatDefs.resize(NumValNums, NULL);
1741 SmallVector<MachineInstr*, 4> ReMatOrigDefs;
1742 ReMatOrigDefs.resize(NumValNums, NULL);
1743 SmallVector<int, 4> ReMatIds;
1744 ReMatIds.resize(NumValNums, VirtRegMap::MAX_STACK_SLOT);
1745 BitVector ReMatDelete(NumValNums);
1746 unsigned Slot = VirtRegMap::MAX_STACK_SLOT;
1747
Evan Cheng81a03822007-11-17 00:40:40 +00001748 // Spilling a split live interval. It cannot be split any further. Also,
1749 // it's also guaranteed to be a single val# / range interval.
1750 if (vrm.getPreSplitReg(li.reg)) {
1751 vrm.setIsSplitFromReg(li.reg, 0);
Evan Chengd120ffd2007-12-05 10:24:35 +00001752 // Unset the split kill marker on the last use.
Lang Hames233a60e2009-11-03 23:52:08 +00001753 SlotIndex KillIdx = vrm.getKillPoint(li.reg);
1754 if (KillIdx != SlotIndex()) {
Evan Chengd120ffd2007-12-05 10:24:35 +00001755 MachineInstr *KillMI = getInstructionFromIndex(KillIdx);
1756 assert(KillMI && "Last use disappeared?");
1757 int KillOp = KillMI->findRegisterUseOperandIdx(li.reg, true);
1758 assert(KillOp != -1 && "Last use disappeared?");
Chris Lattnerf7382302007-12-30 21:56:09 +00001759 KillMI->getOperand(KillOp).setIsKill(false);
Evan Chengd120ffd2007-12-05 10:24:35 +00001760 }
Evan Chengadf85902007-12-05 09:51:10 +00001761 vrm.removeKillPoint(li.reg);
Evan Cheng81a03822007-11-17 00:40:40 +00001762 bool DefIsReMat = vrm.isReMaterialized(li.reg);
1763 Slot = vrm.getStackSlot(li.reg);
1764 assert(Slot != VirtRegMap::MAX_STACK_SLOT);
1765 MachineInstr *ReMatDefMI = DefIsReMat ?
1766 vrm.getReMaterializedMI(li.reg) : NULL;
1767 int LdSlot = 0;
1768 bool isLoadSS = DefIsReMat && tii_->isLoadFromStackSlot(ReMatDefMI, LdSlot);
1769 bool isLoad = isLoadSS ||
Dan Gohman15511cf2008-12-03 18:15:48 +00001770 (DefIsReMat && (ReMatDefMI->getDesc().canFoldAsLoad()));
Evan Cheng81a03822007-11-17 00:40:40 +00001771 bool IsFirstRange = true;
1772 for (LiveInterval::Ranges::const_iterator
1773 I = li.ranges.begin(), E = li.ranges.end(); I != E; ++I) {
1774 // If this is a split live interval with multiple ranges, it means there
1775 // are two-address instructions that re-defined the value. Only the
1776 // first def can be rematerialized!
1777 if (IsFirstRange) {
Evan Chengcb3c3302007-11-29 23:02:50 +00001778 // Note ReMatOrigDefMI has already been deleted.
Evan Cheng81a03822007-11-17 00:40:40 +00001779 rewriteInstructionsForSpills(li, false, I, NULL, ReMatDefMI,
1780 Slot, LdSlot, isLoad, isLoadSS, DefIsReMat,
Evan Chengd70dbb52008-02-22 09:24:50 +00001781 false, vrm, rc, ReMatIds, loopInfo,
Evan Cheng0cbb1162007-11-29 01:06:25 +00001782 SpillMBBs, SpillIdxes, RestoreMBBs, RestoreIdxes,
Evan Chengc781a242009-05-03 18:32:42 +00001783 MBBVRegsMap, NewLIs);
Evan Cheng81a03822007-11-17 00:40:40 +00001784 } else {
1785 rewriteInstructionsForSpills(li, false, I, NULL, 0,
1786 Slot, 0, false, false, false,
Evan Chengd70dbb52008-02-22 09:24:50 +00001787 false, vrm, rc, ReMatIds, loopInfo,
Evan Cheng0cbb1162007-11-29 01:06:25 +00001788 SpillMBBs, SpillIdxes, RestoreMBBs, RestoreIdxes,
Evan Chengc781a242009-05-03 18:32:42 +00001789 MBBVRegsMap, NewLIs);
Evan Cheng81a03822007-11-17 00:40:40 +00001790 }
1791 IsFirstRange = false;
1792 }
Evan Cheng419852c2008-04-03 16:39:43 +00001793
Evan Cheng4cce6b42008-04-11 17:53:36 +00001794 handleSpilledImpDefs(li, vrm, rc, NewLIs);
Jakob Stoklund Olesen352d3522010-02-18 21:33:05 +00001795 normalizeSpillWeights(NewLIs);
Evan Cheng81a03822007-11-17 00:40:40 +00001796 return NewLIs;
1797 }
1798
Evan Cheng752195e2009-09-14 21:33:42 +00001799 bool TrySplit = !intervalIsInOneMBB(li);
Evan Cheng0cbb1162007-11-29 01:06:25 +00001800 if (TrySplit)
1801 ++numSplits;
Evan Chengf2fbca62007-11-12 06:35:08 +00001802 bool NeedStackSlot = false;
1803 for (LiveInterval::const_vni_iterator i = li.vni_begin(), e = li.vni_end();
1804 i != e; ++i) {
1805 const VNInfo *VNI = *i;
1806 unsigned VN = VNI->id;
Lang Hames857c4e02009-06-17 21:01:20 +00001807 if (VNI->isUnused())
Evan Chengf2fbca62007-11-12 06:35:08 +00001808 continue; // Dead val#.
1809 // Is the def for the val# rematerializable?
Lang Hames6e2968c2010-09-25 12:04:16 +00001810 MachineInstr *ReMatDefMI = getInstructionFromIndex(VNI->def);
Evan Cheng5ef3a042007-12-06 00:01:56 +00001811 bool dummy;
Evan Chengdc377862008-09-30 15:44:16 +00001812 if (ReMatDefMI && isReMaterializable(li, VNI, ReMatDefMI, SpillIs, dummy)) {
Evan Chengf2fbca62007-11-12 06:35:08 +00001813 // Remember how to remat the def of this val#.
Evan Cheng81a03822007-11-17 00:40:40 +00001814 ReMatOrigDefs[VN] = ReMatDefMI;
Dan Gohman2c3f7ae2008-07-17 23:49:46 +00001815 // Original def may be modified so we have to make a copy here.
Evan Cheng1ed99222008-07-19 00:37:25 +00001816 MachineInstr *Clone = mf_->CloneMachineInstr(ReMatDefMI);
Evan Cheng752195e2009-09-14 21:33:42 +00001817 CloneMIs.push_back(Clone);
Evan Cheng1ed99222008-07-19 00:37:25 +00001818 ReMatDefs[VN] = Clone;
Evan Chengf2fbca62007-11-12 06:35:08 +00001819
1820 bool CanDelete = true;
Lang Hames857c4e02009-06-17 21:01:20 +00001821 if (VNI->hasPHIKill()) {
Evan Chengc3fc7d92007-11-29 09:49:23 +00001822 // A kill is a phi node, not all of its uses can be rematerialized.
Evan Chengf2fbca62007-11-12 06:35:08 +00001823 // It must not be deleted.
Evan Chengc3fc7d92007-11-29 09:49:23 +00001824 CanDelete = false;
1825 // Need a stack slot if there is any live range where uses cannot be
1826 // rematerialized.
1827 NeedStackSlot = true;
Evan Chengf2fbca62007-11-12 06:35:08 +00001828 }
Evan Chengf2fbca62007-11-12 06:35:08 +00001829 if (CanDelete)
1830 ReMatDelete.set(VN);
1831 } else {
1832 // Need a stack slot if there is any live range where uses cannot be
1833 // rematerialized.
1834 NeedStackSlot = true;
1835 }
1836 }
1837
1838 // One stack slot per live interval.
Owen Andersonb98bbb72009-03-26 18:53:38 +00001839 if (NeedStackSlot && vrm.getPreSplitReg(li.reg) == 0) {
1840 if (vrm.getStackSlot(li.reg) == VirtRegMap::NO_STACK_SLOT)
1841 Slot = vrm.assignVirt2StackSlot(li.reg);
Jakob Stoklund Olesen1b293202010-08-12 20:01:23 +00001842
Owen Andersonb98bbb72009-03-26 18:53:38 +00001843 // This case only occurs when the prealloc splitter has already assigned
1844 // a stack slot to this vreg.
1845 else
1846 Slot = vrm.getStackSlot(li.reg);
1847 }
Evan Chengf2fbca62007-11-12 06:35:08 +00001848
1849 // Create new intervals and rewrite defs and uses.
1850 for (LiveInterval::Ranges::const_iterator
1851 I = li.ranges.begin(), E = li.ranges.end(); I != E; ++I) {
Evan Cheng81a03822007-11-17 00:40:40 +00001852 MachineInstr *ReMatDefMI = ReMatDefs[I->valno->id];
1853 MachineInstr *ReMatOrigDefMI = ReMatOrigDefs[I->valno->id];
1854 bool DefIsReMat = ReMatDefMI != NULL;
Evan Chengf2fbca62007-11-12 06:35:08 +00001855 bool CanDelete = ReMatDelete[I->valno->id];
1856 int LdSlot = 0;
Evan Cheng81a03822007-11-17 00:40:40 +00001857 bool isLoadSS = DefIsReMat && tii_->isLoadFromStackSlot(ReMatDefMI, LdSlot);
Evan Chengf2fbca62007-11-12 06:35:08 +00001858 bool isLoad = isLoadSS ||
Dan Gohman15511cf2008-12-03 18:15:48 +00001859 (DefIsReMat && ReMatDefMI->getDesc().canFoldAsLoad());
Evan Cheng81a03822007-11-17 00:40:40 +00001860 rewriteInstructionsForSpills(li, TrySplit, I, ReMatOrigDefMI, ReMatDefMI,
Evan Cheng0cbb1162007-11-29 01:06:25 +00001861 Slot, LdSlot, isLoad, isLoadSS, DefIsReMat,
Evan Chengd70dbb52008-02-22 09:24:50 +00001862 CanDelete, vrm, rc, ReMatIds, loopInfo,
Evan Cheng0cbb1162007-11-29 01:06:25 +00001863 SpillMBBs, SpillIdxes, RestoreMBBs, RestoreIdxes,
Evan Chengc781a242009-05-03 18:32:42 +00001864 MBBVRegsMap, NewLIs);
Evan Chengf2fbca62007-11-12 06:35:08 +00001865 }
1866
Evan Cheng0cbb1162007-11-29 01:06:25 +00001867 // Insert spills / restores if we are splitting.
Evan Cheng419852c2008-04-03 16:39:43 +00001868 if (!TrySplit) {
Evan Cheng4cce6b42008-04-11 17:53:36 +00001869 handleSpilledImpDefs(li, vrm, rc, NewLIs);
Jakob Stoklund Olesen352d3522010-02-18 21:33:05 +00001870 normalizeSpillWeights(NewLIs);
Evan Cheng1953d0c2007-11-29 10:12:14 +00001871 return NewLIs;
Evan Cheng419852c2008-04-03 16:39:43 +00001872 }
Evan Cheng1953d0c2007-11-29 10:12:14 +00001873
Evan Chengb50bb8c2007-12-05 08:16:32 +00001874 SmallPtrSet<LiveInterval*, 4> AddedKill;
Evan Chengaee4af62007-12-02 08:30:39 +00001875 SmallVector<unsigned, 2> Ops;
Evan Cheng1953d0c2007-11-29 10:12:14 +00001876 if (NeedStackSlot) {
1877 int Id = SpillMBBs.find_first();
1878 while (Id != -1) {
1879 std::vector<SRInfo> &spills = SpillIdxes[Id];
1880 for (unsigned i = 0, e = spills.size(); i != e; ++i) {
Lang Hames233a60e2009-11-03 23:52:08 +00001881 SlotIndex index = spills[i].index;
Evan Cheng1953d0c2007-11-29 10:12:14 +00001882 unsigned VReg = spills[i].vreg;
Evan Cheng597d10d2007-12-04 00:32:23 +00001883 LiveInterval &nI = getOrCreateInterval(VReg);
Evan Cheng0cbb1162007-11-29 01:06:25 +00001884 bool isReMat = vrm.isReMaterialized(VReg);
1885 MachineInstr *MI = getInstructionFromIndex(index);
Evan Chengaee4af62007-12-02 08:30:39 +00001886 bool CanFold = false;
1887 bool FoundUse = false;
1888 Ops.clear();
Evan Chengcddbb832007-11-30 21:23:43 +00001889 if (spills[i].canFold) {
Evan Chengaee4af62007-12-02 08:30:39 +00001890 CanFold = true;
Evan Cheng0cbb1162007-11-29 01:06:25 +00001891 for (unsigned j = 0, ee = MI->getNumOperands(); j != ee; ++j) {
1892 MachineOperand &MO = MI->getOperand(j);
Dan Gohmand735b802008-10-03 15:45:36 +00001893 if (!MO.isReg() || MO.getReg() != VReg)
Evan Cheng0cbb1162007-11-29 01:06:25 +00001894 continue;
Evan Chengaee4af62007-12-02 08:30:39 +00001895
1896 Ops.push_back(j);
1897 if (MO.isDef())
Evan Chengcddbb832007-11-30 21:23:43 +00001898 continue;
Jakob Stoklund Olesen1b293202010-08-12 20:01:23 +00001899 if (isReMat ||
Evan Chengaee4af62007-12-02 08:30:39 +00001900 (!FoundUse && !alsoFoldARestore(Id, index, VReg,
1901 RestoreMBBs, RestoreIdxes))) {
1902 // MI has two-address uses of the same register. If the use
1903 // isn't the first and only use in the BB, then we can't fold
1904 // it. FIXME: Move this to rewriteInstructionsForSpills.
1905 CanFold = false;
Evan Chengcddbb832007-11-30 21:23:43 +00001906 break;
1907 }
Evan Chengaee4af62007-12-02 08:30:39 +00001908 FoundUse = true;
Evan Cheng0cbb1162007-11-29 01:06:25 +00001909 }
1910 }
1911 // Fold the store into the def if possible.
Evan Chengcddbb832007-11-30 21:23:43 +00001912 bool Folded = false;
Evan Chengaee4af62007-12-02 08:30:39 +00001913 if (CanFold && !Ops.empty()) {
1914 if (tryFoldMemoryOperand(MI, vrm, NULL, index, Ops, true, Slot,VReg)){
Evan Chengcddbb832007-11-30 21:23:43 +00001915 Folded = true;
Sebastian Redl48fe6352009-03-19 23:26:52 +00001916 if (FoundUse) {
Evan Chengaee4af62007-12-02 08:30:39 +00001917 // Also folded uses, do not issue a load.
1918 eraseRestoreInfo(Id, index, VReg, RestoreMBBs, RestoreIdxes);
Lang Hames233a60e2009-11-03 23:52:08 +00001919 nI.removeRange(index.getLoadIndex(), index.getDefIndex());
Evan Chengf38d14f2007-12-05 09:05:34 +00001920 }
Lang Hames233a60e2009-11-03 23:52:08 +00001921 nI.removeRange(index.getDefIndex(), index.getStoreIndex());
Evan Chengcddbb832007-11-30 21:23:43 +00001922 }
Evan Cheng0cbb1162007-11-29 01:06:25 +00001923 }
1924
Evan Cheng7e073ba2008-04-09 20:57:25 +00001925 // Otherwise tell the spiller to issue a spill.
Evan Chengb50bb8c2007-12-05 08:16:32 +00001926 if (!Folded) {
1927 LiveRange *LR = &nI.ranges[nI.ranges.size()-1];
Lang Hames233a60e2009-11-03 23:52:08 +00001928 bool isKill = LR->end == index.getStoreIndex();
Evan Chengb0a6f622008-05-20 08:10:37 +00001929 if (!MI->registerDefIsDead(nI.reg))
1930 // No need to spill a dead def.
1931 vrm.addSpillPoint(VReg, isKill, MI);
Evan Chengb50bb8c2007-12-05 08:16:32 +00001932 if (isKill)
1933 AddedKill.insert(&nI);
1934 }
Evan Cheng0cbb1162007-11-29 01:06:25 +00001935 }
Evan Cheng1953d0c2007-11-29 10:12:14 +00001936 Id = SpillMBBs.find_next(Id);
Evan Cheng0cbb1162007-11-29 01:06:25 +00001937 }
Evan Cheng1953d0c2007-11-29 10:12:14 +00001938 }
Evan Cheng0cbb1162007-11-29 01:06:25 +00001939
Evan Cheng1953d0c2007-11-29 10:12:14 +00001940 int Id = RestoreMBBs.find_first();
1941 while (Id != -1) {
1942 std::vector<SRInfo> &restores = RestoreIdxes[Id];
1943 for (unsigned i = 0, e = restores.size(); i != e; ++i) {
Lang Hames233a60e2009-11-03 23:52:08 +00001944 SlotIndex index = restores[i].index;
1945 if (index == SlotIndex())
Evan Cheng1953d0c2007-11-29 10:12:14 +00001946 continue;
1947 unsigned VReg = restores[i].vreg;
Evan Cheng597d10d2007-12-04 00:32:23 +00001948 LiveInterval &nI = getOrCreateInterval(VReg);
Evan Cheng9c3c2212008-06-06 07:54:39 +00001949 bool isReMat = vrm.isReMaterialized(VReg);
Evan Cheng81a03822007-11-17 00:40:40 +00001950 MachineInstr *MI = getInstructionFromIndex(index);
Evan Chengaee4af62007-12-02 08:30:39 +00001951 bool CanFold = false;
1952 Ops.clear();
Evan Chengcddbb832007-11-30 21:23:43 +00001953 if (restores[i].canFold) {
Evan Chengaee4af62007-12-02 08:30:39 +00001954 CanFold = true;
Evan Cheng81a03822007-11-17 00:40:40 +00001955 for (unsigned j = 0, ee = MI->getNumOperands(); j != ee; ++j) {
1956 MachineOperand &MO = MI->getOperand(j);
Dan Gohmand735b802008-10-03 15:45:36 +00001957 if (!MO.isReg() || MO.getReg() != VReg)
Evan Cheng81a03822007-11-17 00:40:40 +00001958 continue;
Evan Chengaee4af62007-12-02 08:30:39 +00001959
Evan Cheng0cbb1162007-11-29 01:06:25 +00001960 if (MO.isDef()) {
Evan Chengaee4af62007-12-02 08:30:39 +00001961 // If this restore were to be folded, it would have been folded
1962 // already.
1963 CanFold = false;
Evan Cheng81a03822007-11-17 00:40:40 +00001964 break;
1965 }
Evan Chengaee4af62007-12-02 08:30:39 +00001966 Ops.push_back(j);
Evan Cheng81a03822007-11-17 00:40:40 +00001967 }
1968 }
Evan Cheng0cbb1162007-11-29 01:06:25 +00001969
1970 // Fold the load into the use if possible.
Evan Chengcddbb832007-11-30 21:23:43 +00001971 bool Folded = false;
Evan Chengaee4af62007-12-02 08:30:39 +00001972 if (CanFold && !Ops.empty()) {
Evan Cheng9c3c2212008-06-06 07:54:39 +00001973 if (!isReMat)
Evan Chengaee4af62007-12-02 08:30:39 +00001974 Folded = tryFoldMemoryOperand(MI, vrm, NULL,index,Ops,true,Slot,VReg);
1975 else {
Evan Cheng0cbb1162007-11-29 01:06:25 +00001976 MachineInstr *ReMatDefMI = vrm.getReMaterializedMI(VReg);
1977 int LdSlot = 0;
1978 bool isLoadSS = tii_->isLoadFromStackSlot(ReMatDefMI, LdSlot);
1979 // If the rematerializable def is a load, also try to fold it.
Dan Gohman15511cf2008-12-03 18:15:48 +00001980 if (isLoadSS || ReMatDefMI->getDesc().canFoldAsLoad())
Evan Chengaee4af62007-12-02 08:30:39 +00001981 Folded = tryFoldMemoryOperand(MI, vrm, ReMatDefMI, index,
1982 Ops, isLoadSS, LdSlot, VReg);
Evan Cheng650d7f32008-12-05 17:41:31 +00001983 if (!Folded) {
1984 unsigned ImpUse = getReMatImplicitUse(li, ReMatDefMI);
1985 if (ImpUse) {
1986 // Re-matting an instruction with virtual register use. Add the
Jakob Stoklund Olesene5d90412010-03-01 20:59:38 +00001987 // register as an implicit use on the use MI and mark the register
1988 // interval as unspillable.
Evan Cheng650d7f32008-12-05 17:41:31 +00001989 LiveInterval &ImpLi = getInterval(ImpUse);
Jakob Stoklund Olesene5d90412010-03-01 20:59:38 +00001990 ImpLi.markNotSpillable();
Evan Cheng650d7f32008-12-05 17:41:31 +00001991 MI->addOperand(MachineOperand::CreateReg(ImpUse, false, true));
1992 }
Evan Chengd70dbb52008-02-22 09:24:50 +00001993 }
Evan Chengaee4af62007-12-02 08:30:39 +00001994 }
Evan Cheng0cbb1162007-11-29 01:06:25 +00001995 }
1996 // If folding is not possible / failed, then tell the spiller to issue a
1997 // load / rematerialization for us.
Evan Cheng597d10d2007-12-04 00:32:23 +00001998 if (Folded)
Lang Hames233a60e2009-11-03 23:52:08 +00001999 nI.removeRange(index.getLoadIndex(), index.getDefIndex());
Evan Chengb50bb8c2007-12-05 08:16:32 +00002000 else
Evan Cheng0cbb1162007-11-29 01:06:25 +00002001 vrm.addRestorePoint(VReg, MI);
Evan Cheng81a03822007-11-17 00:40:40 +00002002 }
Evan Cheng1953d0c2007-11-29 10:12:14 +00002003 Id = RestoreMBBs.find_next(Id);
Evan Cheng81a03822007-11-17 00:40:40 +00002004 }
2005
Evan Chengb50bb8c2007-12-05 08:16:32 +00002006 // Finalize intervals: add kills, finalize spill weights, and filter out
2007 // dead intervals.
Evan Cheng597d10d2007-12-04 00:32:23 +00002008 std::vector<LiveInterval*> RetNewLIs;
2009 for (unsigned i = 0, e = NewLIs.size(); i != e; ++i) {
2010 LiveInterval *LI = NewLIs[i];
2011 if (!LI->empty()) {
Evan Chengb50bb8c2007-12-05 08:16:32 +00002012 if (!AddedKill.count(LI)) {
2013 LiveRange *LR = &LI->ranges[LI->ranges.size()-1];
Lang Hames233a60e2009-11-03 23:52:08 +00002014 SlotIndex LastUseIdx = LR->end.getBaseIndex();
Evan Chengd120ffd2007-12-05 10:24:35 +00002015 MachineInstr *LastUse = getInstructionFromIndex(LastUseIdx);
Evan Cheng6130f662008-03-05 00:59:57 +00002016 int UseIdx = LastUse->findRegisterUseOperandIdx(LI->reg, false);
Evan Chengb50bb8c2007-12-05 08:16:32 +00002017 assert(UseIdx != -1);
Evan Chenga24752f2009-03-19 20:30:06 +00002018 if (!LastUse->isRegTiedToDefOperand(UseIdx)) {
Evan Chengb50bb8c2007-12-05 08:16:32 +00002019 LastUse->getOperand(UseIdx).setIsKill();
Evan Chengd120ffd2007-12-05 10:24:35 +00002020 vrm.addKillPoint(LI->reg, LastUseIdx);
Evan Chengadf85902007-12-05 09:51:10 +00002021 }
Evan Chengb50bb8c2007-12-05 08:16:32 +00002022 }
Evan Cheng597d10d2007-12-04 00:32:23 +00002023 RetNewLIs.push_back(LI);
2024 }
2025 }
Evan Cheng81a03822007-11-17 00:40:40 +00002026
Evan Cheng4cce6b42008-04-11 17:53:36 +00002027 handleSpilledImpDefs(li, vrm, rc, RetNewLIs);
Jakob Stoklund Olesen352d3522010-02-18 21:33:05 +00002028 normalizeSpillWeights(RetNewLIs);
Evan Cheng597d10d2007-12-04 00:32:23 +00002029 return RetNewLIs;
Evan Chengf2fbca62007-11-12 06:35:08 +00002030}
Evan Cheng676dd7c2008-03-11 07:19:34 +00002031
2032/// hasAllocatableSuperReg - Return true if the specified physical register has
2033/// any super register that's allocatable.
2034bool LiveIntervals::hasAllocatableSuperReg(unsigned Reg) const {
2035 for (const unsigned* AS = tri_->getSuperRegisters(Reg); *AS; ++AS)
2036 if (allocatableRegs_[*AS] && hasInterval(*AS))
2037 return true;
2038 return false;
2039}
2040
2041/// getRepresentativeReg - Find the largest super register of the specified
2042/// physical register.
2043unsigned LiveIntervals::getRepresentativeReg(unsigned Reg) const {
Jakob Stoklund Olesen1b293202010-08-12 20:01:23 +00002044 // Find the largest super-register that is allocatable.
Evan Cheng676dd7c2008-03-11 07:19:34 +00002045 unsigned BestReg = Reg;
2046 for (const unsigned* AS = tri_->getSuperRegisters(Reg); *AS; ++AS) {
2047 unsigned SuperReg = *AS;
2048 if (!hasAllocatableSuperReg(SuperReg) && hasInterval(SuperReg)) {
2049 BestReg = SuperReg;
2050 break;
2051 }
2052 }
2053 return BestReg;
2054}
2055
2056/// getNumConflictsWithPhysReg - Return the number of uses and defs of the
2057/// specified interval that conflicts with the specified physical register.
2058unsigned LiveIntervals::getNumConflictsWithPhysReg(const LiveInterval &li,
2059 unsigned PhysReg) const {
2060 unsigned NumConflicts = 0;
2061 const LiveInterval &pli = getInterval(getRepresentativeReg(PhysReg));
2062 for (MachineRegisterInfo::reg_iterator I = mri_->reg_begin(li.reg),
2063 E = mri_->reg_end(); I != E; ++I) {
2064 MachineOperand &O = I.getOperand();
2065 MachineInstr *MI = O.getParent();
Evan Cheng28a1e482010-03-30 05:49:07 +00002066 if (MI->isDebugValue())
2067 continue;
Lang Hames233a60e2009-11-03 23:52:08 +00002068 SlotIndex Index = getInstructionIndex(MI);
Evan Cheng676dd7c2008-03-11 07:19:34 +00002069 if (pli.liveAt(Index))
2070 ++NumConflicts;
2071 }
2072 return NumConflicts;
2073}
2074
2075/// spillPhysRegAroundRegDefsUses - Spill the specified physical register
Evan Cheng2824a652009-03-23 18:24:37 +00002076/// around all defs and uses of the specified interval. Return true if it
2077/// was able to cut its interval.
2078bool LiveIntervals::spillPhysRegAroundRegDefsUses(const LiveInterval &li,
Evan Cheng676dd7c2008-03-11 07:19:34 +00002079 unsigned PhysReg, VirtRegMap &vrm) {
2080 unsigned SpillReg = getRepresentativeReg(PhysReg);
2081
Jakob Stoklund Olesenf4840c02010-11-16 19:55:14 +00002082 DEBUG(dbgs() << "spillPhysRegAroundRegDefsUses " << tri_->getName(PhysReg)
2083 << " represented by " << tri_->getName(SpillReg) << '\n');
2084
Evan Cheng676dd7c2008-03-11 07:19:34 +00002085 for (const unsigned *AS = tri_->getAliasSet(PhysReg); *AS; ++AS)
2086 // If there are registers which alias PhysReg, but which are not a
2087 // sub-register of the chosen representative super register. Assert
2088 // since we can't handle it yet.
Dan Gohman70f2f652009-04-13 15:22:29 +00002089 assert(*AS == SpillReg || !allocatableRegs_[*AS] || !hasInterval(*AS) ||
Evan Cheng676dd7c2008-03-11 07:19:34 +00002090 tri_->isSuperRegister(*AS, SpillReg));
2091
Evan Cheng2824a652009-03-23 18:24:37 +00002092 bool Cut = false;
Evan Cheng0222a8c2009-10-20 01:31:09 +00002093 SmallVector<unsigned, 4> PRegs;
2094 if (hasInterval(SpillReg))
2095 PRegs.push_back(SpillReg);
Jakob Stoklund Olesenf4840c02010-11-16 19:55:14 +00002096 for (const unsigned *SR = tri_->getSubRegisters(SpillReg); *SR; ++SR)
2097 if (hasInterval(*SR))
2098 PRegs.push_back(*SR);
2099
2100 DEBUG({
2101 dbgs() << "Trying to spill:";
2102 for (unsigned i = 0, e = PRegs.size(); i != e; ++i)
2103 dbgs() << ' ' << tri_->getName(PRegs[i]);
2104 dbgs() << '\n';
2105 });
Evan Cheng0222a8c2009-10-20 01:31:09 +00002106
Evan Cheng676dd7c2008-03-11 07:19:34 +00002107 SmallPtrSet<MachineInstr*, 8> SeenMIs;
2108 for (MachineRegisterInfo::reg_iterator I = mri_->reg_begin(li.reg),
2109 E = mri_->reg_end(); I != E; ++I) {
2110 MachineOperand &O = I.getOperand();
2111 MachineInstr *MI = O.getParent();
Evan Cheng28a1e482010-03-30 05:49:07 +00002112 if (MI->isDebugValue() || SeenMIs.count(MI))
Evan Cheng676dd7c2008-03-11 07:19:34 +00002113 continue;
2114 SeenMIs.insert(MI);
Lang Hames233a60e2009-11-03 23:52:08 +00002115 SlotIndex Index = getInstructionIndex(MI);
Jakob Stoklund Olesenf4840c02010-11-16 19:55:14 +00002116 bool LiveReg = false;
Evan Cheng0222a8c2009-10-20 01:31:09 +00002117 for (unsigned i = 0, e = PRegs.size(); i != e; ++i) {
2118 unsigned PReg = PRegs[i];
2119 LiveInterval &pli = getInterval(PReg);
2120 if (!pli.liveAt(Index))
2121 continue;
Jakob Stoklund Olesenf4840c02010-11-16 19:55:14 +00002122 LiveReg = true;
Lang Hames233a60e2009-11-03 23:52:08 +00002123 SlotIndex StartIdx = Index.getLoadIndex();
2124 SlotIndex EndIdx = Index.getNextIndex().getBaseIndex();
Jakob Stoklund Olesenf4840c02010-11-16 19:55:14 +00002125 if (!pli.isInOneLiveRange(StartIdx, EndIdx)) {
Torok Edwin7d696d82009-07-11 13:10:19 +00002126 std::string msg;
2127 raw_string_ostream Msg(msg);
2128 Msg << "Ran out of registers during register allocation!";
Chris Lattner518bb532010-02-09 19:54:29 +00002129 if (MI->isInlineAsm()) {
Torok Edwin7d696d82009-07-11 13:10:19 +00002130 Msg << "\nPlease check your inline asm statement for invalid "
Evan Cheng0222a8c2009-10-20 01:31:09 +00002131 << "constraints:\n";
Torok Edwin7d696d82009-07-11 13:10:19 +00002132 MI->print(Msg, tm_);
Evan Cheng5a3c6a82009-01-29 02:20:59 +00002133 }
Chris Lattner75361b62010-04-07 22:58:41 +00002134 report_fatal_error(Msg.str());
Evan Cheng5a3c6a82009-01-29 02:20:59 +00002135 }
Jakob Stoklund Olesenf4840c02010-11-16 19:55:14 +00002136 pli.removeRange(StartIdx, EndIdx);
2137 LiveReg = true;
Evan Cheng676dd7c2008-03-11 07:19:34 +00002138 }
Jakob Stoklund Olesenf4840c02010-11-16 19:55:14 +00002139 if (!LiveReg)
2140 continue;
2141 DEBUG(dbgs() << "Emergency spill around " << Index << '\t' << *MI);
2142 vrm.addEmergencySpill(SpillReg, MI);
2143 Cut = true;
Evan Cheng676dd7c2008-03-11 07:19:34 +00002144 }
Evan Cheng2824a652009-03-23 18:24:37 +00002145 return Cut;
Evan Cheng676dd7c2008-03-11 07:19:34 +00002146}
Owen Andersonc4dc1322008-06-05 17:15:43 +00002147
2148LiveRange LiveIntervals::addLiveRangeToEndOfBlock(unsigned reg,
Lang Hamesffd13262009-07-09 03:57:02 +00002149 MachineInstr* startInst) {
Owen Andersonc4dc1322008-06-05 17:15:43 +00002150 LiveInterval& Interval = getOrCreateInterval(reg);
2151 VNInfo* VN = Interval.getNextValue(
Lang Hames233a60e2009-11-03 23:52:08 +00002152 SlotIndex(getInstructionIndex(startInst).getDefIndex()),
Lang Hames6e2968c2010-09-25 12:04:16 +00002153 startInst, getVNInfoAllocator());
Lang Hames857c4e02009-06-17 21:01:20 +00002154 VN->setHasPHIKill(true);
Lang Hames86511252009-09-04 20:41:11 +00002155 LiveRange LR(
Lang Hames233a60e2009-11-03 23:52:08 +00002156 SlotIndex(getInstructionIndex(startInst).getDefIndex()),
Lang Hames74ab5ee2009-12-22 00:11:50 +00002157 getMBBEndIdx(startInst->getParent()), VN);
Owen Andersonc4dc1322008-06-05 17:15:43 +00002158 Interval.addRange(LR);
Jakob Stoklund Olesen1b293202010-08-12 20:01:23 +00002159
Owen Andersonc4dc1322008-06-05 17:15:43 +00002160 return LR;
2161}
David Greeneb5257662009-08-03 21:55:09 +00002162