blob: 795028e9792983f7ca9de2b10f6f1da70eb7e719 [file] [log] [blame]
Jim Grosbach3d723672010-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 Wilson67b067d2011-01-07 04:58:58 +000012// estimates they are likely to be out of range of stack pointer and frame
Jim Grosbach3d723672010-08-14 00:15:52 +000013// pointer relative addressing.
14//
15//===----------------------------------------------------------------------===//
16
Josh Magee5b6af712013-12-19 03:17:11 +000017#include "llvm/ADT/SetVector.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000018#include "llvm/ADT/SmallSet.h"
Eugene Zelenko887aef72017-10-10 22:33:29 +000019#include "llvm/ADT/SmallVector.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000020#include "llvm/ADT/Statistic.h"
Eugene Zelenko887aef72017-10-10 22:33:29 +000021#include "llvm/CodeGen/MachineBasicBlock.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000022#include "llvm/CodeGen/MachineFrameInfo.h"
23#include "llvm/CodeGen/MachineFunction.h"
24#include "llvm/CodeGen/MachineFunctionPass.h"
Eugene Zelenko887aef72017-10-10 22:33:29 +000025#include "llvm/CodeGen/MachineInstr.h"
26#include "llvm/CodeGen/MachineOperand.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000027#include "llvm/CodeGen/MachineRegisterInfo.h"
David Blaikiee3a9b4c2017-11-17 01:07:10 +000028#include "llvm/CodeGen/TargetFrameLowering.h"
29#include "llvm/CodeGen/TargetOpcodes.h"
30#include "llvm/CodeGen/TargetRegisterInfo.h"
31#include "llvm/CodeGen/TargetSubtargetInfo.h"
Jim Grosbach3d723672010-08-14 00:15:52 +000032#include "llvm/Pass.h"
Jim Grosbach3d723672010-08-14 00:15:52 +000033#include "llvm/Support/Debug.h"
34#include "llvm/Support/ErrorHandling.h"
35#include "llvm/Support/raw_ostream.h"
Eugene Zelenko887aef72017-10-10 22:33:29 +000036#include <algorithm>
37#include <cassert>
38#include <cstdint>
39#include <tuple>
Jim Grosbach3d723672010-08-14 00:15:52 +000040
41using namespace llvm;
42
Chandler Carruth8677f2f2014-04-22 02:02:50 +000043#define DEBUG_TYPE "localstackalloc"
44
Jim Grosbach8708ead2010-08-17 18:13:53 +000045STATISTIC(NumAllocations, "Number of frame indices allocated into local block");
46STATISTIC(NumBaseRegisters, "Number of virtual frame base registers allocated");
47STATISTIC(NumReplacements, "Number of frame indices references replaced");
Jim Grosbach3d723672010-08-14 00:15:52 +000048
49namespace {
Eugene Zelenko887aef72017-10-10 22:33:29 +000050
Jim Grosbach864d22e2010-08-31 17:58:19 +000051 class FrameRef {
52 MachineBasicBlock::iterator MI; // Instr referencing the frame
53 int64_t LocalOffset; // Local offset of the frame idx referenced
Hal Finkeldb31bd32013-04-30 20:04:37 +000054 int FrameIdx; // The frame index
Matt Arsenaultf205f3b2016-10-26 14:53:50 +000055
56 // Order reference instruction appears in program. Used to ensure
57 // deterministic order when multiple instructions may reference the same
58 // location.
59 unsigned Order;
60
Jim Grosbach864d22e2010-08-31 17:58:19 +000061 public:
Matt Arsenaultf205f3b2016-10-26 14:53:50 +000062 FrameRef(MachineInstr *I, int64_t Offset, int Idx, unsigned Ord) :
63 MI(I), LocalOffset(Offset), FrameIdx(Idx), Order(Ord) {}
64
Jim Grosbach864d22e2010-08-31 17:58:19 +000065 bool operator<(const FrameRef &RHS) const {
Matt Arsenaultf205f3b2016-10-26 14:53:50 +000066 return std::tie(LocalOffset, FrameIdx, Order) <
67 std::tie(RHS.LocalOffset, RHS.FrameIdx, RHS.Order);
Jim Grosbach864d22e2010-08-31 17:58:19 +000068 }
Matt Arsenaultf205f3b2016-10-26 14:53:50 +000069
Hal Finkeldb31bd32013-04-30 20:04:37 +000070 MachineBasicBlock::iterator getMachineInstr() const { return MI; }
71 int64_t getLocalOffset() const { return LocalOffset; }
72 int getFrameIndex() const { return FrameIdx; }
Jim Grosbach864d22e2010-08-31 17:58:19 +000073 };
74
Jim Grosbach3d723672010-08-14 00:15:52 +000075 class LocalStackSlotPass: public MachineFunctionPass {
Eugene Zelenko887aef72017-10-10 22:33:29 +000076 SmallVector<int64_t, 16> LocalOffsets;
77
Josh Magee5b6af712013-12-19 03:17:11 +000078 /// StackObjSet - A set of stack object indexes
Eugene Zelenko887aef72017-10-10 22:33:29 +000079 using StackObjSet = SmallSetVector<int, 8>;
Jim Grosbach8708ead2010-08-17 18:13:53 +000080
Matthias Braunf79c57a2016-07-28 18:40:00 +000081 void AdjustStackOffset(MachineFrameInfo &MFI, int FrameIdx, int64_t &Offset,
Jim Grosbach67ff81a2010-08-23 20:40:38 +000082 bool StackGrowsDown, unsigned &MaxAlign);
Josh Magee5b6af712013-12-19 03:17:11 +000083 void AssignProtectedObjSet(const StackObjSet &UnassignedObjs,
84 SmallSet<int, 16> &ProtectedObjs,
Matthias Braunf79c57a2016-07-28 18:40:00 +000085 MachineFrameInfo &MFI, bool StackGrowsDown,
Josh Magee5b6af712013-12-19 03:17:11 +000086 int64_t &Offset, unsigned &MaxAlign);
Jim Grosbach2b1e2022010-08-18 22:44:49 +000087 void calculateFrameObjectOffsets(MachineFunction &Fn);
Jim Grosbach2d16f5b2010-08-20 16:48:30 +000088 bool insertFrameReferenceRegisters(MachineFunction &Fn);
Eugene Zelenko887aef72017-10-10 22:33:29 +000089
Jim Grosbach3d723672010-08-14 00:15:52 +000090 public:
91 static char ID; // Pass identification, replacement for typeid
Eugene Zelenko887aef72017-10-10 22:33:29 +000092
Matt Arsenaultf205f3b2016-10-26 14:53:50 +000093 explicit LocalStackSlotPass() : MachineFunctionPass(ID) {
Josh Magee5b6af712013-12-19 03:17:11 +000094 initializeLocalStackSlotPassPass(*PassRegistry::getPassRegistry());
95 }
Eugene Zelenko887aef72017-10-10 22:33:29 +000096
Craig Topper9f998de2014-03-07 09:26:03 +000097 bool runOnMachineFunction(MachineFunction &MF) override;
Jim Grosbach3d723672010-08-14 00:15:52 +000098
Craig Topper9f998de2014-03-07 09:26:03 +000099 void getAnalysisUsage(AnalysisUsage &AU) const override {
Jim Grosbach3d723672010-08-14 00:15:52 +0000100 AU.setPreservesCFG();
101 MachineFunctionPass::getAnalysisUsage(AU);
102 }
Jim Grosbach3d723672010-08-14 00:15:52 +0000103 };
Eugene Zelenko887aef72017-10-10 22:33:29 +0000104
Jim Grosbach3d723672010-08-14 00:15:52 +0000105} // end anonymous namespace
106
107char LocalStackSlotPass::ID = 0;
Eugene Zelenko887aef72017-10-10 22:33:29 +0000108
Andrew Trick1dd8c852012-02-08 21:23:13 +0000109char &llvm::LocalStackSlotAllocationID = LocalStackSlotPass::ID;
Matthias Braund79789a2018-07-13 00:08:38 +0000110INITIALIZE_PASS(LocalStackSlotPass, DEBUG_TYPE,
111 "Local Stack Slot Allocation", false, false)
Josh Magee5b6af712013-12-19 03:17:11 +0000112
Jim Grosbach3d723672010-08-14 00:15:52 +0000113bool LocalStackSlotPass::runOnMachineFunction(MachineFunction &MF) {
Matthias Braunf79c57a2016-07-28 18:40:00 +0000114 MachineFrameInfo &MFI = MF.getFrameInfo();
Eric Christopher60355182014-08-05 02:39:49 +0000115 const TargetRegisterInfo *TRI = MF.getSubtarget().getRegisterInfo();
Matthias Braunf79c57a2016-07-28 18:40:00 +0000116 unsigned LocalObjectCount = MFI.getObjectIndexEnd();
Jim Grosbach2b1e2022010-08-18 22:44:49 +0000117
Jim Grosbacha2734422010-08-24 19:05:43 +0000118 // If the target doesn't want/need this pass, or if there are no locals
119 // to consider, early exit.
120 if (!TRI->requiresVirtualBaseRegisters(MF) || LocalObjectCount == 0)
Jim Grosbach2b1e2022010-08-18 22:44:49 +0000121 return true;
122
123 // Make sure we have enough space to store the local offsets.
Matthias Braunf79c57a2016-07-28 18:40:00 +0000124 LocalOffsets.resize(MFI.getObjectIndexEnd());
Jim Grosbach2b1e2022010-08-18 22:44:49 +0000125
Jim Grosbach8708ead2010-08-17 18:13:53 +0000126 // Lay out the local blob.
Jim Grosbach3d723672010-08-14 00:15:52 +0000127 calculateFrameObjectOffsets(MF);
Jim Grosbach8708ead2010-08-17 18:13:53 +0000128
129 // Insert virtual base registers to resolve frame index references.
Jim Grosbach2d16f5b2010-08-20 16:48:30 +0000130 bool UsedBaseRegs = insertFrameReferenceRegisters(MF);
Jim Grosbach2b1e2022010-08-18 22:44:49 +0000131
Jim Grosbacha0fc0052010-08-19 02:47:08 +0000132 // Tell MFI whether any base registers were allocated. PEI will only
133 // want to use the local block allocations from this pass if there were any.
134 // Otherwise, PEI can do a bit better job of getting the alignment right
135 // without a hole at the start since it knows the alignment of the stack
136 // at the start of local allocation, and this pass doesn't.
Matthias Braunf79c57a2016-07-28 18:40:00 +0000137 MFI.setUseLocalStackAllocationBlock(UsedBaseRegs);
Jim Grosbacha0fc0052010-08-19 02:47:08 +0000138
Jim Grosbach3d723672010-08-14 00:15:52 +0000139 return true;
140}
141
142/// AdjustStackOffset - Helper function used to adjust the stack frame offset.
Matthias Braunf79c57a2016-07-28 18:40:00 +0000143void LocalStackSlotPass::AdjustStackOffset(MachineFrameInfo &MFI,
Jim Grosbach2b1e2022010-08-18 22:44:49 +0000144 int FrameIdx, int64_t &Offset,
Jim Grosbach67ff81a2010-08-23 20:40:38 +0000145 bool StackGrowsDown,
Jim Grosbach2b1e2022010-08-18 22:44:49 +0000146 unsigned &MaxAlign) {
Jim Grosbach67ff81a2010-08-23 20:40:38 +0000147 // If the stack grows down, add the object size to find the lowest address.
148 if (StackGrowsDown)
Matthias Braunf79c57a2016-07-28 18:40:00 +0000149 Offset += MFI.getObjectSize(FrameIdx);
Jim Grosbach67ff81a2010-08-23 20:40:38 +0000150
Matthias Braunf79c57a2016-07-28 18:40:00 +0000151 unsigned Align = MFI.getObjectAlignment(FrameIdx);
Jim Grosbach3d723672010-08-14 00:15:52 +0000152
153 // If the alignment of this object is greater than that of the stack, then
154 // increase the stack alignment to match.
155 MaxAlign = std::max(MaxAlign, Align);
156
157 // Adjust to alignment boundary.
158 Offset = (Offset + Align - 1) / Align * Align;
159
Jim Grosbach67ff81a2010-08-23 20:40:38 +0000160 int64_t LocalOffset = StackGrowsDown ? -Offset : Offset;
Nicola Zaghen0818e782018-05-14 12:53:11 +0000161 LLVM_DEBUG(dbgs() << "Allocate FI(" << FrameIdx << ") to local offset "
162 << LocalOffset << "\n");
Jim Grosbach2b1e2022010-08-18 22:44:49 +0000163 // Keep the offset available for base register allocation
Jim Grosbach67ff81a2010-08-23 20:40:38 +0000164 LocalOffsets[FrameIdx] = LocalOffset;
Jim Grosbach2b1e2022010-08-18 22:44:49 +0000165 // And tell MFI about it for PEI to use later
Matthias Braunf79c57a2016-07-28 18:40:00 +0000166 MFI.mapLocalFrameObject(FrameIdx, LocalOffset);
Jim Grosbach67ff81a2010-08-23 20:40:38 +0000167
168 if (!StackGrowsDown)
Matthias Braunf79c57a2016-07-28 18:40:00 +0000169 Offset += MFI.getObjectSize(FrameIdx);
Jim Grosbach3d723672010-08-14 00:15:52 +0000170
171 ++NumAllocations;
172}
173
Josh Magee5b6af712013-12-19 03:17:11 +0000174/// AssignProtectedObjSet - Helper function to assign large stack objects (i.e.,
175/// those required to be close to the Stack Protector) to stack offsets.
176void LocalStackSlotPass::AssignProtectedObjSet(const StackObjSet &UnassignedObjs,
177 SmallSet<int, 16> &ProtectedObjs,
Matthias Braunf79c57a2016-07-28 18:40:00 +0000178 MachineFrameInfo &MFI,
Josh Magee5b6af712013-12-19 03:17:11 +0000179 bool StackGrowsDown, int64_t &Offset,
180 unsigned &MaxAlign) {
Josh Magee5b6af712013-12-19 03:17:11 +0000181 for (StackObjSet::const_iterator I = UnassignedObjs.begin(),
182 E = UnassignedObjs.end(); I != E; ++I) {
183 int i = *I;
184 AdjustStackOffset(MFI, i, Offset, StackGrowsDown, MaxAlign);
185 ProtectedObjs.insert(i);
186 }
187}
188
Jim Grosbach3d723672010-08-14 00:15:52 +0000189/// calculateFrameObjectOffsets - Calculate actual frame offsets for all of the
190/// abstract stack objects.
Jim Grosbach3d723672010-08-14 00:15:52 +0000191void LocalStackSlotPass::calculateFrameObjectOffsets(MachineFunction &Fn) {
Jim Grosbach3d723672010-08-14 00:15:52 +0000192 // Loop over all of the stack objects, assigning sequential addresses...
Matthias Braunf79c57a2016-07-28 18:40:00 +0000193 MachineFrameInfo &MFI = Fn.getFrameInfo();
Eric Christopher60355182014-08-05 02:39:49 +0000194 const TargetFrameLowering &TFI = *Fn.getSubtarget().getFrameLowering();
Jim Grosbach67ff81a2010-08-23 20:40:38 +0000195 bool StackGrowsDown =
Anton Korobeynikov16c29b52011-01-10 12:39:04 +0000196 TFI.getStackGrowthDirection() == TargetFrameLowering::StackGrowsDown;
Jim Grosbach3d723672010-08-14 00:15:52 +0000197 int64_t Offset = 0;
Jim Grosbach4861ed62010-08-16 22:30:41 +0000198 unsigned MaxAlign = 0;
Jim Grosbach3d723672010-08-14 00:15:52 +0000199
200 // Make sure that the stack protector comes before the local variables on the
201 // stack.
Josh Magee5b6af712013-12-19 03:17:11 +0000202 SmallSet<int, 16> ProtectedObjs;
Matthias Braunf79c57a2016-07-28 18:40:00 +0000203 if (MFI.getStackProtectorIndex() >= 0) {
Josh Magee5b6af712013-12-19 03:17:11 +0000204 StackObjSet LargeArrayObjs;
Josh Mageecde5c262014-02-01 01:36:16 +0000205 StackObjSet SmallArrayObjs;
206 StackObjSet AddrOfObjs;
207
Matthias Braunf79c57a2016-07-28 18:40:00 +0000208 AdjustStackOffset(MFI, MFI.getStackProtectorIndex(), Offset,
Jim Grosbach67ff81a2010-08-23 20:40:38 +0000209 StackGrowsDown, MaxAlign);
Jim Grosbach3d723672010-08-14 00:15:52 +0000210
211 // Assign large stack objects first.
Matthias Braunf79c57a2016-07-28 18:40:00 +0000212 for (unsigned i = 0, e = MFI.getObjectIndexEnd(); i != e; ++i) {
213 if (MFI.isDeadObjectIndex(i))
Jim Grosbach3d723672010-08-14 00:15:52 +0000214 continue;
Matthias Braunf79c57a2016-07-28 18:40:00 +0000215 if (MFI.getStackProtectorIndex() == (int)i)
Jim Grosbach3d723672010-08-14 00:15:52 +0000216 continue;
Jim Grosbach3d723672010-08-14 00:15:52 +0000217
Matthias Braund79789a2018-07-13 00:08:38 +0000218 switch (MFI.getObjectSSPLayout(i)) {
219 case MachineFrameInfo::SSPLK_None:
Josh Mageecde5c262014-02-01 01:36:16 +0000220 continue;
Matthias Braund79789a2018-07-13 00:08:38 +0000221 case MachineFrameInfo::SSPLK_SmallArray:
Josh Mageecde5c262014-02-01 01:36:16 +0000222 SmallArrayObjs.insert(i);
223 continue;
Matthias Braund79789a2018-07-13 00:08:38 +0000224 case MachineFrameInfo::SSPLK_AddrOf:
Josh Mageecde5c262014-02-01 01:36:16 +0000225 AddrOfObjs.insert(i);
Josh Magee5b6af712013-12-19 03:17:11 +0000226 continue;
Matthias Braund79789a2018-07-13 00:08:38 +0000227 case MachineFrameInfo::SSPLK_LargeArray:
Josh Magee5b6af712013-12-19 03:17:11 +0000228 LargeArrayObjs.insert(i);
229 continue;
230 }
231 llvm_unreachable("Unexpected SSPLayoutKind.");
Jim Grosbach3d723672010-08-14 00:15:52 +0000232 }
Josh Magee5b6af712013-12-19 03:17:11 +0000233
234 AssignProtectedObjSet(LargeArrayObjs, ProtectedObjs, MFI, StackGrowsDown,
235 Offset, MaxAlign);
Josh Mageecde5c262014-02-01 01:36:16 +0000236 AssignProtectedObjSet(SmallArrayObjs, ProtectedObjs, MFI, StackGrowsDown,
237 Offset, MaxAlign);
238 AssignProtectedObjSet(AddrOfObjs, ProtectedObjs, MFI, StackGrowsDown,
239 Offset, MaxAlign);
Jim Grosbach3d723672010-08-14 00:15:52 +0000240 }
241
242 // Then assign frame offsets to stack objects that are not used to spill
243 // callee saved registers.
Matthias Braunf79c57a2016-07-28 18:40:00 +0000244 for (unsigned i = 0, e = MFI.getObjectIndexEnd(); i != e; ++i) {
245 if (MFI.isDeadObjectIndex(i))
Jim Grosbach3d723672010-08-14 00:15:52 +0000246 continue;
Matthias Braunf79c57a2016-07-28 18:40:00 +0000247 if (MFI.getStackProtectorIndex() == (int)i)
Jim Grosbach3d723672010-08-14 00:15:52 +0000248 continue;
Josh Magee5b6af712013-12-19 03:17:11 +0000249 if (ProtectedObjs.count(i))
Jim Grosbach3d723672010-08-14 00:15:52 +0000250 continue;
251
Jim Grosbach67ff81a2010-08-23 20:40:38 +0000252 AdjustStackOffset(MFI, i, Offset, StackGrowsDown, MaxAlign);
Jim Grosbach3d723672010-08-14 00:15:52 +0000253 }
254
Jim Grosbach3d723672010-08-14 00:15:52 +0000255 // Remember how big this blob of stack space is
Matthias Braunf79c57a2016-07-28 18:40:00 +0000256 MFI.setLocalFrameSize(Offset);
257 MFI.setLocalFrameMaxAlign(MaxAlign);
Jim Grosbach3d723672010-08-14 00:15:52 +0000258}
Jim Grosbach8708ead2010-08-17 18:13:53 +0000259
Jim Grosbach74d803a2010-08-18 17:57:37 +0000260static inline bool
John Brawn151a5da2015-03-20 17:20:07 +0000261lookupCandidateBaseReg(unsigned BaseReg,
262 int64_t BaseOffset,
Jim Grosbach67ff81a2010-08-23 20:40:38 +0000263 int64_t FrameSizeAdjust,
Jim Grosbach2b1e2022010-08-18 22:44:49 +0000264 int64_t LocalFrameOffset,
Duncan P. N. Exon Smitha0763582016-06-30 23:39:46 +0000265 const MachineInstr &MI,
Jim Grosbach74d803a2010-08-18 17:57:37 +0000266 const TargetRegisterInfo *TRI) {
Hal Finkeldb31bd32013-04-30 20:04:37 +0000267 // Check if the relative offset from the where the base register references
268 // to the target address is in range for the instruction.
269 int64_t Offset = FrameSizeAdjust + LocalFrameOffset - BaseOffset;
Duncan P. N. Exon Smitha0763582016-06-30 23:39:46 +0000270 return TRI->isFrameOffsetLegal(&MI, BaseReg, Offset);
Jim Grosbach74d803a2010-08-18 17:57:37 +0000271}
272
Jim Grosbach2d16f5b2010-08-20 16:48:30 +0000273bool LocalStackSlotPass::insertFrameReferenceRegisters(MachineFunction &Fn) {
Jim Grosbach8708ead2010-08-17 18:13:53 +0000274 // Scan the function's instructions looking for frame index references.
275 // For each, ask the target if it wants a virtual base register for it
276 // based on what we can tell it about where the local will end up in the
277 // stack frame. If it wants one, re-use a suitable one we've previously
278 // allocated, or if there isn't one that fits the bill, allocate a new one
279 // and ask the target to create a defining instruction for it.
Jim Grosbach2d16f5b2010-08-20 16:48:30 +0000280 bool UsedBaseReg = false;
Jim Grosbach8708ead2010-08-17 18:13:53 +0000281
Matthias Braunf79c57a2016-07-28 18:40:00 +0000282 MachineFrameInfo &MFI = Fn.getFrameInfo();
Eric Christopher60355182014-08-05 02:39:49 +0000283 const TargetRegisterInfo *TRI = Fn.getSubtarget().getRegisterInfo();
284 const TargetFrameLowering &TFI = *Fn.getSubtarget().getFrameLowering();
Jim Grosbach4c207c22010-08-20 20:25:31 +0000285 bool StackGrowsDown =
Anton Korobeynikov16c29b52011-01-10 12:39:04 +0000286 TFI.getStackGrowthDirection() == TargetFrameLowering::StackGrowsDown;
Jim Grosbach8708ead2010-08-17 18:13:53 +0000287
Jim Grosbach864d22e2010-08-31 17:58:19 +0000288 // Collect all of the instructions in the block that reference
289 // a frame index. Also store the frame index referenced to ease later
290 // lookup. (For any insn that has more than one FI reference, we arbitrarily
291 // choose the first one).
292 SmallVector<FrameRef, 64> FrameReferenceInsns;
Jim Grosbach2b1e2022010-08-18 22:44:49 +0000293
Matt Arsenaultf205f3b2016-10-26 14:53:50 +0000294 unsigned Order = 0;
295
Duncan P. N. Exon Smitha0763582016-06-30 23:39:46 +0000296 for (MachineBasicBlock &BB : Fn) {
297 for (MachineInstr &MI : BB) {
Lang Hamesd7d06692013-11-29 06:35:30 +0000298 // Debug value, stackmap and patchpoint instructions can't be out of
299 // range, so they don't need any updates.
Shiva Chen24abe712018-05-09 02:42:00 +0000300 if (MI.isDebugInstr() || MI.getOpcode() == TargetOpcode::STATEPOINT ||
Duncan P. N. Exon Smitha0763582016-06-30 23:39:46 +0000301 MI.getOpcode() == TargetOpcode::STACKMAP ||
302 MI.getOpcode() == TargetOpcode::PATCHPOINT)
Jim Grosbachdc140c62010-08-17 22:41:55 +0000303 continue;
Bill Wendling976ef862010-12-17 23:09:14 +0000304
Jim Grosbach8708ead2010-08-17 18:13:53 +0000305 // For now, allocate the base register(s) within the basic block
306 // where they're used, and don't try to keep them around outside
307 // of that. It may be beneficial to try sharing them more broadly
308 // than that, but the increased register pressure makes that a
309 // tricky thing to balance. Investigate if re-materializing these
310 // becomes an issue.
Duncan P. N. Exon Smitha0763582016-06-30 23:39:46 +0000311 for (unsigned i = 0, e = MI.getNumOperands(); i != e; ++i) {
Jim Grosbach8708ead2010-08-17 18:13:53 +0000312 // Consider replacing all frame index operands that reference
313 // an object allocated in the local block.
Duncan P. N. Exon Smitha0763582016-06-30 23:39:46 +0000314 if (MI.getOperand(i).isFI()) {
Jim Grosbachdc140c62010-08-17 22:41:55 +0000315 // Don't try this with values not in the local block.
Matthias Braunf79c57a2016-07-28 18:40:00 +0000316 if (!MFI.isObjectPreAllocated(MI.getOperand(i).getIndex()))
Jim Grosbach864d22e2010-08-31 17:58:19 +0000317 break;
Duncan P. N. Exon Smitha0763582016-06-30 23:39:46 +0000318 int Idx = MI.getOperand(i).getIndex();
Hal Finkeldb31bd32013-04-30 20:04:37 +0000319 int64_t LocalOffset = LocalOffsets[Idx];
Duncan P. N. Exon Smitha0763582016-06-30 23:39:46 +0000320 if (!TRI->needsFrameBaseReg(&MI, LocalOffset))
Hal Finkeldb31bd32013-04-30 20:04:37 +0000321 break;
Matt Arsenaultf205f3b2016-10-26 14:53:50 +0000322 FrameReferenceInsns.push_back(FrameRef(&MI, LocalOffset, Idx, Order++));
Jim Grosbach864d22e2010-08-31 17:58:19 +0000323 break;
324 }
325 }
326 }
327 }
Bill Wendling976ef862010-12-17 23:09:14 +0000328
Mandeep Singh Grang0480c1b2016-10-18 00:11:19 +0000329 // Sort the frame references by local offset.
330 // Use frame index as a tie-breaker in case MI's have the same offset.
Fangrui Song3b35e172018-09-27 02:13:45 +0000331 llvm::sort(FrameReferenceInsns);
Jim Grosbachdc140c62010-08-17 22:41:55 +0000332
Duncan P. N. Exon Smith3f2c43f2015-10-09 19:13:58 +0000333 MachineBasicBlock *Entry = &Fn.front();
Jim Grosbach74d803a2010-08-18 17:57:37 +0000334
Hal Finkeldb31bd32013-04-30 20:04:37 +0000335 unsigned BaseReg = 0;
336 int64_t BaseOffset = 0;
337
Bill Wendling976ef862010-12-17 23:09:14 +0000338 // Loop through the frame references and allocate for them as necessary.
Jim Grosbach864d22e2010-08-31 17:58:19 +0000339 for (int ref = 0, e = FrameReferenceInsns.size(); ref < e ; ++ref) {
Hal Finkeldb31bd32013-04-30 20:04:37 +0000340 FrameRef &FR = FrameReferenceInsns[ref];
Duncan P. N. Exon Smitha0763582016-06-30 23:39:46 +0000341 MachineInstr &MI = *FR.getMachineInstr();
Hal Finkeldb31bd32013-04-30 20:04:37 +0000342 int64_t LocalOffset = FR.getLocalOffset();
343 int FrameIdx = FR.getFrameIndex();
Matthias Braunf79c57a2016-07-28 18:40:00 +0000344 assert(MFI.isObjectPreAllocated(FrameIdx) &&
Hal Finkeldb31bd32013-04-30 20:04:37 +0000345 "Only pre-allocated locals expected!");
Jim Grosbach8708ead2010-08-17 18:13:53 +0000346
Nicola Zaghen0818e782018-05-14 12:53:11 +0000347 LLVM_DEBUG(dbgs() << "Considering: " << MI);
Jim Grosbachdc140c62010-08-17 22:41:55 +0000348
Hal Finkeldb31bd32013-04-30 20:04:37 +0000349 unsigned idx = 0;
Duncan P. N. Exon Smitha0763582016-06-30 23:39:46 +0000350 for (unsigned f = MI.getNumOperands(); idx != f; ++idx) {
351 if (!MI.getOperand(idx).isFI())
Hal Finkeldb31bd32013-04-30 20:04:37 +0000352 continue;
Jim Grosbach74d803a2010-08-18 17:57:37 +0000353
Duncan P. N. Exon Smitha0763582016-06-30 23:39:46 +0000354 if (FrameIdx == MI.getOperand(idx).getIndex())
Hal Finkeldb31bd32013-04-30 20:04:37 +0000355 break;
Jim Grosbach8708ead2010-08-17 18:13:53 +0000356 }
Hal Finkeldb31bd32013-04-30 20:04:37 +0000357
Duncan P. N. Exon Smitha0763582016-06-30 23:39:46 +0000358 assert(idx < MI.getNumOperands() && "Cannot find FI operand");
Hal Finkeldb31bd32013-04-30 20:04:37 +0000359
360 int64_t Offset = 0;
Matthias Braunf79c57a2016-07-28 18:40:00 +0000361 int64_t FrameSizeAdjust = StackGrowsDown ? MFI.getLocalFrameSize() : 0;
Hal Finkeldb31bd32013-04-30 20:04:37 +0000362
Nicola Zaghen0818e782018-05-14 12:53:11 +0000363 LLVM_DEBUG(dbgs() << " Replacing FI in: " << MI);
Hal Finkeldb31bd32013-04-30 20:04:37 +0000364
365 // If we have a suitable base register available, use it; otherwise
366 // create a new one. Note that any offset encoded in the
367 // instruction itself will be taken into account by the target,
368 // so we don't have to adjust for it here when reusing a base
369 // register.
Duncan P. N. Exon Smitha0763582016-06-30 23:39:46 +0000370 if (UsedBaseReg &&
371 lookupCandidateBaseReg(BaseReg, BaseOffset, FrameSizeAdjust,
372 LocalOffset, MI, TRI)) {
Nicola Zaghen0818e782018-05-14 12:53:11 +0000373 LLVM_DEBUG(dbgs() << " Reusing base register " << BaseReg << "\n");
Hal Finkeldb31bd32013-04-30 20:04:37 +0000374 // We found a register to reuse.
375 Offset = FrameSizeAdjust + LocalOffset - BaseOffset;
376 } else {
Duncan P. N. Exon Smitha0763582016-06-30 23:39:46 +0000377 // No previously defined register was in range, so create a new one.
378 int64_t InstrOffset = TRI->getFrameIndexInstrOffset(&MI, idx);
Hal Finkeldb31bd32013-04-30 20:04:37 +0000379
380 int64_t PrevBaseOffset = BaseOffset;
381 BaseOffset = FrameSizeAdjust + LocalOffset + InstrOffset;
382
383 // We'd like to avoid creating single-use virtual base registers.
384 // Because the FrameRefs are in sorted order, and we've already
385 // processed all FrameRefs before this one, just check whether or not
386 // the next FrameRef will be able to reuse this new register. If not,
387 // then don't bother creating it.
Benjamin Kramerddc8ff22014-02-23 13:34:21 +0000388 if (ref + 1 >= e ||
389 !lookupCandidateBaseReg(
John Brawn151a5da2015-03-20 17:20:07 +0000390 BaseReg, BaseOffset, FrameSizeAdjust,
Benjamin Kramerddc8ff22014-02-23 13:34:21 +0000391 FrameReferenceInsns[ref + 1].getLocalOffset(),
Duncan P. N. Exon Smitha0763582016-06-30 23:39:46 +0000392 *FrameReferenceInsns[ref + 1].getMachineInstr(), TRI)) {
Hal Finkeldb31bd32013-04-30 20:04:37 +0000393 BaseOffset = PrevBaseOffset;
394 continue;
395 }
396
Justin Bogner1842f4a2017-10-10 23:50:49 +0000397 const MachineFunction *MF = MI.getMF();
Hal Finkeldb31bd32013-04-30 20:04:37 +0000398 const TargetRegisterClass *RC = TRI->getPointerRegClass(*MF);
399 BaseReg = Fn.getRegInfo().createVirtualRegister(RC);
400
Nicola Zaghen0818e782018-05-14 12:53:11 +0000401 LLVM_DEBUG(dbgs() << " Materializing base register " << BaseReg
402 << " at frame local offset "
403 << LocalOffset + InstrOffset << "\n");
Hal Finkeldb31bd32013-04-30 20:04:37 +0000404
405 // Tell the target to insert the instruction to initialize
406 // the base register.
407 // MachineBasicBlock::iterator InsertionPt = Entry->begin();
408 TRI->materializeFrameBaseRegister(Entry, BaseReg, FrameIdx,
409 InstrOffset);
410
411 // The base register already includes any offset specified
412 // by the instruction, so account for that so it doesn't get
413 // applied twice.
414 Offset = -InstrOffset;
415
416 ++NumBaseRegisters;
417 UsedBaseReg = true;
418 }
419 assert(BaseReg != 0 && "Unable to allocate virtual base register!");
420
421 // Modify the instruction to use the new base register rather
422 // than the frame index operand.
Duncan P. N. Exon Smitha0763582016-06-30 23:39:46 +0000423 TRI->resolveFrameIndex(MI, BaseReg, Offset);
Nicola Zaghen0818e782018-05-14 12:53:11 +0000424 LLVM_DEBUG(dbgs() << "Resolved: " << MI);
Hal Finkeldb31bd32013-04-30 20:04:37 +0000425
426 ++NumReplacements;
Jim Grosbach8708ead2010-08-17 18:13:53 +0000427 }
Hal Finkeldb31bd32013-04-30 20:04:37 +0000428
Jim Grosbach2d16f5b2010-08-20 16:48:30 +0000429 return UsedBaseReg;
Jim Grosbach8708ead2010-08-17 18:13:53 +0000430}