blob: f521548b2138c2adc79616070f1676e9cedc7e92 [file] [log] [blame]
Jim Grosbacha030fa52010-08-14 00:15:52 +00001//===- LocalStackSlotAllocation.cpp - Pre-allocate locals to stack slots --===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This pass assigns local frame indices to stack slots relative to one another
11// and allocates additional base registers to access them when the target
Bob Wilsond23b3d22011-01-07 04:58:58 +000012// estimates they are likely to be out of range of stack pointer and frame
Jim Grosbacha030fa52010-08-14 00:15:52 +000013// pointer relative addressing.
14//
15//===----------------------------------------------------------------------===//
16
17#define DEBUG_TYPE "localstackalloc"
Chandler Carruthed0881b2012-12-03 16:50:05 +000018#include "llvm/CodeGen/Passes.h"
19#include "llvm/ADT/STLExtras.h"
Josh Magee22b8ba22013-12-19 03:17:11 +000020#include "llvm/ADT/SetVector.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000021#include "llvm/ADT/SmallSet.h"
22#include "llvm/ADT/Statistic.h"
23#include "llvm/CodeGen/MachineFrameInfo.h"
24#include "llvm/CodeGen/MachineFunction.h"
25#include "llvm/CodeGen/MachineFunctionPass.h"
26#include "llvm/CodeGen/MachineRegisterInfo.h"
Josh Magee22b8ba22013-12-19 03:17:11 +000027#include "llvm/CodeGen/StackProtector.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000028#include "llvm/IR/Constants.h"
29#include "llvm/IR/DerivedTypes.h"
30#include "llvm/IR/Instructions.h"
31#include "llvm/IR/Intrinsics.h"
32#include "llvm/IR/LLVMContext.h"
33#include "llvm/IR/Module.h"
Jim Grosbacha030fa52010-08-14 00:15:52 +000034#include "llvm/Pass.h"
Jim Grosbacha030fa52010-08-14 00:15:52 +000035#include "llvm/Support/Debug.h"
36#include "llvm/Support/ErrorHandling.h"
37#include "llvm/Support/raw_ostream.h"
Anton Korobeynikov2f931282011-01-10 12:39:04 +000038#include "llvm/Target/TargetFrameLowering.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000039#include "llvm/Target/TargetRegisterInfo.h"
Jim Grosbacha030fa52010-08-14 00:15:52 +000040
41using namespace llvm;
42
Jim Grosbachc252ee22010-08-17 18:13:53 +000043STATISTIC(NumAllocations, "Number of frame indices allocated into local block");
44STATISTIC(NumBaseRegisters, "Number of virtual frame base registers allocated");
45STATISTIC(NumReplacements, "Number of frame indices references replaced");
Jim Grosbacha030fa52010-08-14 00:15:52 +000046
47namespace {
Jim Grosbach365e9312010-08-31 17:58:19 +000048 class FrameRef {
49 MachineBasicBlock::iterator MI; // Instr referencing the frame
50 int64_t LocalOffset; // Local offset of the frame idx referenced
Hal Finkel71532512013-04-30 20:04:37 +000051 int FrameIdx; // The frame index
Jim Grosbach365e9312010-08-31 17:58:19 +000052 public:
Hal Finkel71532512013-04-30 20:04:37 +000053 FrameRef(MachineBasicBlock::iterator I, int64_t Offset, int Idx) :
54 MI(I), LocalOffset(Offset), FrameIdx(Idx) {}
Jim Grosbach365e9312010-08-31 17:58:19 +000055 bool operator<(const FrameRef &RHS) const {
56 return LocalOffset < RHS.LocalOffset;
57 }
Hal Finkel71532512013-04-30 20:04:37 +000058 MachineBasicBlock::iterator getMachineInstr() const { return MI; }
59 int64_t getLocalOffset() const { return LocalOffset; }
60 int getFrameIndex() const { return FrameIdx; }
Jim Grosbach365e9312010-08-31 17:58:19 +000061 };
62
Jim Grosbacha030fa52010-08-14 00:15:52 +000063 class LocalStackSlotPass: public MachineFunctionPass {
Jim Grosbachdbfc2ce2010-08-18 22:44:49 +000064 SmallVector<int64_t,16> LocalOffsets;
Josh Magee22b8ba22013-12-19 03:17:11 +000065 /// StackObjSet - A set of stack object indexes
66 typedef SmallSetVector<int, 8> StackObjSet;
Jim Grosbachc252ee22010-08-17 18:13:53 +000067
Jim Grosbachdbfc2ce2010-08-18 22:44:49 +000068 void AdjustStackOffset(MachineFrameInfo *MFI, int FrameIdx, int64_t &Offset,
Jim Grosbach754f8e62010-08-23 20:40:38 +000069 bool StackGrowsDown, unsigned &MaxAlign);
Josh Magee22b8ba22013-12-19 03:17:11 +000070 void AssignProtectedObjSet(const StackObjSet &UnassignedObjs,
71 SmallSet<int, 16> &ProtectedObjs,
72 MachineFrameInfo *MFI, bool StackGrowsDown,
73 int64_t &Offset, unsigned &MaxAlign);
Jim Grosbachdbfc2ce2010-08-18 22:44:49 +000074 void calculateFrameObjectOffsets(MachineFunction &Fn);
Jim Grosbach06006912010-08-20 16:48:30 +000075 bool insertFrameReferenceRegisters(MachineFunction &Fn);
Jim Grosbacha030fa52010-08-14 00:15:52 +000076 public:
77 static char ID; // Pass identification, replacement for typeid
Josh Magee22b8ba22013-12-19 03:17:11 +000078 explicit LocalStackSlotPass() : MachineFunctionPass(ID) {
79 initializeLocalStackSlotPassPass(*PassRegistry::getPassRegistry());
80 }
Jim Grosbacha030fa52010-08-14 00:15:52 +000081 bool runOnMachineFunction(MachineFunction &MF);
82
83 virtual void getAnalysisUsage(AnalysisUsage &AU) const {
84 AU.setPreservesCFG();
Josh Magee22b8ba22013-12-19 03:17:11 +000085 AU.addRequired<StackProtector>();
Jim Grosbacha030fa52010-08-14 00:15:52 +000086 MachineFunctionPass::getAnalysisUsage(AU);
87 }
Jim Grosbacha030fa52010-08-14 00:15:52 +000088
89 private:
90 };
91} // end anonymous namespace
92
93char LocalStackSlotPass::ID = 0;
Andrew Trick1fa5bcb2012-02-08 21:23:13 +000094char &llvm::LocalStackSlotAllocationID = LocalStackSlotPass::ID;
Josh Magee22b8ba22013-12-19 03:17:11 +000095INITIALIZE_PASS_BEGIN(LocalStackSlotPass, "localstackalloc",
96 "Local Stack Slot Allocation", false, false)
97INITIALIZE_PASS_DEPENDENCY(StackProtector)
98INITIALIZE_PASS_END(LocalStackSlotPass, "localstackalloc",
99 "Local Stack Slot Allocation", false, false)
100
Jim Grosbacha030fa52010-08-14 00:15:52 +0000101
102bool LocalStackSlotPass::runOnMachineFunction(MachineFunction &MF) {
Jim Grosbachdbfc2ce2010-08-18 22:44:49 +0000103 MachineFrameInfo *MFI = MF.getFrameInfo();
Jim Grosbachb77d67f2010-08-24 19:05:43 +0000104 const TargetRegisterInfo *TRI = MF.getTarget().getRegisterInfo();
Jim Grosbachdbfc2ce2010-08-18 22:44:49 +0000105 unsigned LocalObjectCount = MFI->getObjectIndexEnd();
106
Jim Grosbachb77d67f2010-08-24 19:05:43 +0000107 // If the target doesn't want/need this pass, or if there are no locals
108 // to consider, early exit.
109 if (!TRI->requiresVirtualBaseRegisters(MF) || LocalObjectCount == 0)
Jim Grosbachdbfc2ce2010-08-18 22:44:49 +0000110 return true;
111
112 // Make sure we have enough space to store the local offsets.
113 LocalOffsets.resize(MFI->getObjectIndexEnd());
114
Jim Grosbachc252ee22010-08-17 18:13:53 +0000115 // Lay out the local blob.
Jim Grosbacha030fa52010-08-14 00:15:52 +0000116 calculateFrameObjectOffsets(MF);
Jim Grosbachc252ee22010-08-17 18:13:53 +0000117
118 // Insert virtual base registers to resolve frame index references.
Jim Grosbach06006912010-08-20 16:48:30 +0000119 bool UsedBaseRegs = insertFrameReferenceRegisters(MF);
Jim Grosbachdbfc2ce2010-08-18 22:44:49 +0000120
Jim Grosbach743d7c82010-08-19 02:47:08 +0000121 // Tell MFI whether any base registers were allocated. PEI will only
122 // want to use the local block allocations from this pass if there were any.
123 // Otherwise, PEI can do a bit better job of getting the alignment right
124 // without a hole at the start since it knows the alignment of the stack
125 // at the start of local allocation, and this pass doesn't.
Jim Grosbach06006912010-08-20 16:48:30 +0000126 MFI->setUseLocalStackAllocationBlock(UsedBaseRegs);
Jim Grosbach743d7c82010-08-19 02:47:08 +0000127
Jim Grosbacha030fa52010-08-14 00:15:52 +0000128 return true;
129}
130
131/// AdjustStackOffset - Helper function used to adjust the stack frame offset.
Jim Grosbachdbfc2ce2010-08-18 22:44:49 +0000132void LocalStackSlotPass::AdjustStackOffset(MachineFrameInfo *MFI,
133 int FrameIdx, int64_t &Offset,
Jim Grosbach754f8e62010-08-23 20:40:38 +0000134 bool StackGrowsDown,
Jim Grosbachdbfc2ce2010-08-18 22:44:49 +0000135 unsigned &MaxAlign) {
Jim Grosbach754f8e62010-08-23 20:40:38 +0000136 // If the stack grows down, add the object size to find the lowest address.
137 if (StackGrowsDown)
138 Offset += MFI->getObjectSize(FrameIdx);
139
Jim Grosbacha030fa52010-08-14 00:15:52 +0000140 unsigned Align = MFI->getObjectAlignment(FrameIdx);
141
142 // If the alignment of this object is greater than that of the stack, then
143 // increase the stack alignment to match.
144 MaxAlign = std::max(MaxAlign, Align);
145
146 // Adjust to alignment boundary.
147 Offset = (Offset + Align - 1) / Align * Align;
148
Jim Grosbach754f8e62010-08-23 20:40:38 +0000149 int64_t LocalOffset = StackGrowsDown ? -Offset : Offset;
Jim Grosbacha030fa52010-08-14 00:15:52 +0000150 DEBUG(dbgs() << "Allocate FI(" << FrameIdx << ") to local offset "
Jim Grosbach754f8e62010-08-23 20:40:38 +0000151 << LocalOffset << "\n");
Jim Grosbachdbfc2ce2010-08-18 22:44:49 +0000152 // Keep the offset available for base register allocation
Jim Grosbach754f8e62010-08-23 20:40:38 +0000153 LocalOffsets[FrameIdx] = LocalOffset;
Jim Grosbachdbfc2ce2010-08-18 22:44:49 +0000154 // And tell MFI about it for PEI to use later
Jim Grosbach754f8e62010-08-23 20:40:38 +0000155 MFI->mapLocalFrameObject(FrameIdx, LocalOffset);
156
157 if (!StackGrowsDown)
158 Offset += MFI->getObjectSize(FrameIdx);
Jim Grosbacha030fa52010-08-14 00:15:52 +0000159
160 ++NumAllocations;
161}
162
Josh Magee22b8ba22013-12-19 03:17:11 +0000163/// AssignProtectedObjSet - Helper function to assign large stack objects (i.e.,
164/// those required to be close to the Stack Protector) to stack offsets.
165void LocalStackSlotPass::AssignProtectedObjSet(const StackObjSet &UnassignedObjs,
166 SmallSet<int, 16> &ProtectedObjs,
167 MachineFrameInfo *MFI,
168 bool StackGrowsDown, int64_t &Offset,
169 unsigned &MaxAlign) {
170
171 for (StackObjSet::const_iterator I = UnassignedObjs.begin(),
172 E = UnassignedObjs.end(); I != E; ++I) {
173 int i = *I;
174 AdjustStackOffset(MFI, i, Offset, StackGrowsDown, MaxAlign);
175 ProtectedObjs.insert(i);
176 }
177}
178
Jim Grosbacha030fa52010-08-14 00:15:52 +0000179/// calculateFrameObjectOffsets - Calculate actual frame offsets for all of the
180/// abstract stack objects.
181///
182void LocalStackSlotPass::calculateFrameObjectOffsets(MachineFunction &Fn) {
Jim Grosbacha030fa52010-08-14 00:15:52 +0000183 // Loop over all of the stack objects, assigning sequential addresses...
184 MachineFrameInfo *MFI = Fn.getFrameInfo();
Anton Korobeynikov2f931282011-01-10 12:39:04 +0000185 const TargetFrameLowering &TFI = *Fn.getTarget().getFrameLowering();
Jim Grosbach754f8e62010-08-23 20:40:38 +0000186 bool StackGrowsDown =
Anton Korobeynikov2f931282011-01-10 12:39:04 +0000187 TFI.getStackGrowthDirection() == TargetFrameLowering::StackGrowsDown;
Jim Grosbacha030fa52010-08-14 00:15:52 +0000188 int64_t Offset = 0;
Jim Grosbach36d5ec32010-08-16 22:30:41 +0000189 unsigned MaxAlign = 0;
Josh Magee22b8ba22013-12-19 03:17:11 +0000190 StackProtector *SP = &getAnalysis<StackProtector>();
Jim Grosbacha030fa52010-08-14 00:15:52 +0000191
192 // Make sure that the stack protector comes before the local variables on the
193 // stack.
Josh Magee22b8ba22013-12-19 03:17:11 +0000194 SmallSet<int, 16> ProtectedObjs;
Jim Grosbacha030fa52010-08-14 00:15:52 +0000195 if (MFI->getStackProtectorIndex() >= 0) {
Josh Magee22b8ba22013-12-19 03:17:11 +0000196 StackObjSet LargeArrayObjs;
Jim Grosbach754f8e62010-08-23 20:40:38 +0000197 AdjustStackOffset(MFI, MFI->getStackProtectorIndex(), Offset,
198 StackGrowsDown, MaxAlign);
Jim Grosbacha030fa52010-08-14 00:15:52 +0000199
200 // Assign large stack objects first.
201 for (unsigned i = 0, e = MFI->getObjectIndexEnd(); i != e; ++i) {
202 if (MFI->isDeadObjectIndex(i))
203 continue;
204 if (MFI->getStackProtectorIndex() == (int)i)
205 continue;
Jim Grosbacha030fa52010-08-14 00:15:52 +0000206
Josh Magee22b8ba22013-12-19 03:17:11 +0000207 switch (SP->getSSPLayout(MFI->getObjectAllocation(i))) {
208 case StackProtector::SSPLK_None:
209 case StackProtector::SSPLK_SmallArray:
210 case StackProtector::SSPLK_AddrOf:
211 continue;
212 case StackProtector::SSPLK_LargeArray:
213 LargeArrayObjs.insert(i);
214 continue;
215 }
216 llvm_unreachable("Unexpected SSPLayoutKind.");
Jim Grosbacha030fa52010-08-14 00:15:52 +0000217 }
Josh Magee22b8ba22013-12-19 03:17:11 +0000218
219 AssignProtectedObjSet(LargeArrayObjs, ProtectedObjs, MFI, StackGrowsDown,
220 Offset, MaxAlign);
Jim Grosbacha030fa52010-08-14 00:15:52 +0000221 }
222
223 // Then assign frame offsets to stack objects that are not used to spill
224 // callee saved registers.
225 for (unsigned i = 0, e = MFI->getObjectIndexEnd(); i != e; ++i) {
226 if (MFI->isDeadObjectIndex(i))
227 continue;
228 if (MFI->getStackProtectorIndex() == (int)i)
229 continue;
Josh Magee22b8ba22013-12-19 03:17:11 +0000230 if (ProtectedObjs.count(i))
Jim Grosbacha030fa52010-08-14 00:15:52 +0000231 continue;
232
Jim Grosbach754f8e62010-08-23 20:40:38 +0000233 AdjustStackOffset(MFI, i, Offset, StackGrowsDown, MaxAlign);
Jim Grosbacha030fa52010-08-14 00:15:52 +0000234 }
235
Jim Grosbacha030fa52010-08-14 00:15:52 +0000236 // Remember how big this blob of stack space is
Jim Grosbach8be01962010-08-16 18:06:15 +0000237 MFI->setLocalFrameSize(Offset);
Jim Grosbach36d5ec32010-08-16 22:30:41 +0000238 MFI->setLocalFrameMaxAlign(MaxAlign);
Jim Grosbacha030fa52010-08-14 00:15:52 +0000239}
Jim Grosbachc252ee22010-08-17 18:13:53 +0000240
Jim Grosbache0e9b302010-08-18 17:57:37 +0000241static inline bool
Hal Finkel71532512013-04-30 20:04:37 +0000242lookupCandidateBaseReg(int64_t BaseOffset,
Jim Grosbach754f8e62010-08-23 20:40:38 +0000243 int64_t FrameSizeAdjust,
Jim Grosbachdbfc2ce2010-08-18 22:44:49 +0000244 int64_t LocalFrameOffset,
Jim Grosbache0e9b302010-08-18 17:57:37 +0000245 const MachineInstr *MI,
246 const TargetRegisterInfo *TRI) {
Hal Finkel71532512013-04-30 20:04:37 +0000247 // Check if the relative offset from the where the base register references
248 // to the target address is in range for the instruction.
249 int64_t Offset = FrameSizeAdjust + LocalFrameOffset - BaseOffset;
250 return TRI->isFrameOffsetLegal(MI, Offset);
Jim Grosbache0e9b302010-08-18 17:57:37 +0000251}
252
Jim Grosbach06006912010-08-20 16:48:30 +0000253bool LocalStackSlotPass::insertFrameReferenceRegisters(MachineFunction &Fn) {
Jim Grosbachc252ee22010-08-17 18:13:53 +0000254 // Scan the function's instructions looking for frame index references.
255 // For each, ask the target if it wants a virtual base register for it
256 // based on what we can tell it about where the local will end up in the
257 // stack frame. If it wants one, re-use a suitable one we've previously
258 // allocated, or if there isn't one that fits the bill, allocate a new one
259 // and ask the target to create a defining instruction for it.
Jim Grosbach06006912010-08-20 16:48:30 +0000260 bool UsedBaseReg = false;
Jim Grosbachc252ee22010-08-17 18:13:53 +0000261
262 MachineFrameInfo *MFI = Fn.getFrameInfo();
263 const TargetRegisterInfo *TRI = Fn.getTarget().getRegisterInfo();
Anton Korobeynikov2f931282011-01-10 12:39:04 +0000264 const TargetFrameLowering &TFI = *Fn.getTarget().getFrameLowering();
Jim Grosbach7648a212010-08-20 20:25:31 +0000265 bool StackGrowsDown =
Anton Korobeynikov2f931282011-01-10 12:39:04 +0000266 TFI.getStackGrowthDirection() == TargetFrameLowering::StackGrowsDown;
Jim Grosbachc252ee22010-08-17 18:13:53 +0000267
Jim Grosbach365e9312010-08-31 17:58:19 +0000268 // Collect all of the instructions in the block that reference
269 // a frame index. Also store the frame index referenced to ease later
270 // lookup. (For any insn that has more than one FI reference, we arbitrarily
271 // choose the first one).
272 SmallVector<FrameRef, 64> FrameReferenceInsns;
Jim Grosbachdbfc2ce2010-08-18 22:44:49 +0000273
Jim Grosbach365e9312010-08-31 17:58:19 +0000274 for (MachineFunction::iterator BB = Fn.begin(), E = Fn.end(); BB != E; ++BB) {
Jim Grosbachc252ee22010-08-17 18:13:53 +0000275 for (MachineBasicBlock::iterator I = BB->begin(); I != BB->end(); ++I) {
276 MachineInstr *MI = I;
Bill Wendling3fff1fd2010-12-17 23:09:14 +0000277
Lang Hames7468daa2013-11-29 06:35:30 +0000278 // Debug value, stackmap and patchpoint instructions can't be out of
279 // range, so they don't need any updates.
280 if (MI->isDebugValue() ||
281 MI->getOpcode() == TargetOpcode::STACKMAP ||
282 MI->getOpcode() == TargetOpcode::PATCHPOINT)
Jim Grosbach3cf08662010-08-17 22:41:55 +0000283 continue;
Bill Wendling3fff1fd2010-12-17 23:09:14 +0000284
Jim Grosbachc252ee22010-08-17 18:13:53 +0000285 // For now, allocate the base register(s) within the basic block
286 // where they're used, and don't try to keep them around outside
287 // of that. It may be beneficial to try sharing them more broadly
288 // than that, but the increased register pressure makes that a
289 // tricky thing to balance. Investigate if re-materializing these
290 // becomes an issue.
291 for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
292 // Consider replacing all frame index operands that reference
293 // an object allocated in the local block.
Jim Grosbach3cf08662010-08-17 22:41:55 +0000294 if (MI->getOperand(i).isFI()) {
Jim Grosbach3cf08662010-08-17 22:41:55 +0000295 // Don't try this with values not in the local block.
Jim Grosbach365e9312010-08-31 17:58:19 +0000296 if (!MFI->isObjectPreAllocated(MI->getOperand(i).getIndex()))
297 break;
Hal Finkel71532512013-04-30 20:04:37 +0000298 int Idx = MI->getOperand(i).getIndex();
299 int64_t LocalOffset = LocalOffsets[Idx];
300 if (!TRI->needsFrameBaseReg(MI, LocalOffset))
301 break;
Jim Grosbach365e9312010-08-31 17:58:19 +0000302 FrameReferenceInsns.
Hal Finkel71532512013-04-30 20:04:37 +0000303 push_back(FrameRef(MI, LocalOffset, Idx));
Jim Grosbach365e9312010-08-31 17:58:19 +0000304 break;
305 }
306 }
307 }
308 }
Bill Wendling3fff1fd2010-12-17 23:09:14 +0000309
Jim Grosbach365e9312010-08-31 17:58:19 +0000310 // Sort the frame references by local offset
311 array_pod_sort(FrameReferenceInsns.begin(), FrameReferenceInsns.end());
Jim Grosbach3cf08662010-08-17 22:41:55 +0000312
Bill Wendling3fff1fd2010-12-17 23:09:14 +0000313 MachineBasicBlock *Entry = Fn.begin();
Jim Grosbache0e9b302010-08-18 17:57:37 +0000314
Hal Finkel71532512013-04-30 20:04:37 +0000315 unsigned BaseReg = 0;
316 int64_t BaseOffset = 0;
317
Bill Wendling3fff1fd2010-12-17 23:09:14 +0000318 // Loop through the frame references and allocate for them as necessary.
Jim Grosbach365e9312010-08-31 17:58:19 +0000319 for (int ref = 0, e = FrameReferenceInsns.size(); ref < e ; ++ref) {
Hal Finkel71532512013-04-30 20:04:37 +0000320 FrameRef &FR = FrameReferenceInsns[ref];
321 MachineBasicBlock::iterator I = FR.getMachineInstr();
Jim Grosbach365e9312010-08-31 17:58:19 +0000322 MachineInstr *MI = I;
Hal Finkel71532512013-04-30 20:04:37 +0000323 int64_t LocalOffset = FR.getLocalOffset();
324 int FrameIdx = FR.getFrameIndex();
325 assert(MFI->isObjectPreAllocated(FrameIdx) &&
326 "Only pre-allocated locals expected!");
Jim Grosbachc252ee22010-08-17 18:13:53 +0000327
Hal Finkel71532512013-04-30 20:04:37 +0000328 DEBUG(dbgs() << "Considering: " << *MI);
Jim Grosbach3cf08662010-08-17 22:41:55 +0000329
Hal Finkel71532512013-04-30 20:04:37 +0000330 unsigned idx = 0;
331 for (unsigned f = MI->getNumOperands(); idx != f; ++idx) {
332 if (!MI->getOperand(idx).isFI())
333 continue;
Jim Grosbache0e9b302010-08-18 17:57:37 +0000334
Hal Finkel71532512013-04-30 20:04:37 +0000335 if (FrameIdx == I->getOperand(idx).getIndex())
336 break;
Jim Grosbachc252ee22010-08-17 18:13:53 +0000337 }
Hal Finkel71532512013-04-30 20:04:37 +0000338
339 assert(idx < MI->getNumOperands() && "Cannot find FI operand");
340
341 int64_t Offset = 0;
342 int64_t FrameSizeAdjust = StackGrowsDown ? MFI->getLocalFrameSize() : 0;
343
344 DEBUG(dbgs() << " Replacing FI in: " << *MI);
345
346 // If we have a suitable base register available, use it; otherwise
347 // create a new one. Note that any offset encoded in the
348 // instruction itself will be taken into account by the target,
349 // so we don't have to adjust for it here when reusing a base
350 // register.
351 if (UsedBaseReg && lookupCandidateBaseReg(BaseOffset, FrameSizeAdjust,
352 LocalOffset, MI, TRI)) {
353 DEBUG(dbgs() << " Reusing base register " << BaseReg << "\n");
354 // We found a register to reuse.
355 Offset = FrameSizeAdjust + LocalOffset - BaseOffset;
356 } else {
357 // No previously defined register was in range, so create a // new one.
358
359 int64_t InstrOffset = TRI->getFrameIndexInstrOffset(MI, idx);
360
361 int64_t PrevBaseOffset = BaseOffset;
362 BaseOffset = FrameSizeAdjust + LocalOffset + InstrOffset;
363
364 // We'd like to avoid creating single-use virtual base registers.
365 // Because the FrameRefs are in sorted order, and we've already
366 // processed all FrameRefs before this one, just check whether or not
367 // the next FrameRef will be able to reuse this new register. If not,
368 // then don't bother creating it.
369 bool CanReuse = false;
370 for (int refn = ref + 1; refn < e; ++refn) {
371 FrameRef &FRN = FrameReferenceInsns[refn];
372 MachineBasicBlock::iterator J = FRN.getMachineInstr();
373 MachineInstr *MIN = J;
374
375 CanReuse = lookupCandidateBaseReg(BaseOffset, FrameSizeAdjust,
376 FRN.getLocalOffset(), MIN, TRI);
377 break;
378 }
379
380 if (!CanReuse) {
381 BaseOffset = PrevBaseOffset;
382 continue;
383 }
384
385 const MachineFunction *MF = MI->getParent()->getParent();
386 const TargetRegisterClass *RC = TRI->getPointerRegClass(*MF);
387 BaseReg = Fn.getRegInfo().createVirtualRegister(RC);
388
389 DEBUG(dbgs() << " Materializing base register " << BaseReg <<
390 " at frame local offset " << LocalOffset + InstrOffset << "\n");
391
392 // Tell the target to insert the instruction to initialize
393 // the base register.
394 // MachineBasicBlock::iterator InsertionPt = Entry->begin();
395 TRI->materializeFrameBaseRegister(Entry, BaseReg, FrameIdx,
396 InstrOffset);
397
398 // The base register already includes any offset specified
399 // by the instruction, so account for that so it doesn't get
400 // applied twice.
401 Offset = -InstrOffset;
402
403 ++NumBaseRegisters;
404 UsedBaseReg = true;
405 }
406 assert(BaseReg != 0 && "Unable to allocate virtual base register!");
407
408 // Modify the instruction to use the new base register rather
409 // than the frame index operand.
410 TRI->resolveFrameIndex(I, BaseReg, Offset);
411 DEBUG(dbgs() << "Resolved: " << *MI);
412
413 ++NumReplacements;
Jim Grosbachc252ee22010-08-17 18:13:53 +0000414 }
Hal Finkel71532512013-04-30 20:04:37 +0000415
Jim Grosbach06006912010-08-20 16:48:30 +0000416 return UsedBaseReg;
Jim Grosbachc252ee22010-08-17 18:13:53 +0000417}