blob: 75498ed8e5ac32624f03fc00f293449248f6bd9f [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
12// estimates the are likely to be out of range of stack pointer and frame
13// pointer relative addressing.
14//
15//===----------------------------------------------------------------------===//
16
17#define DEBUG_TYPE "localstackalloc"
18#include "llvm/Constants.h"
19#include "llvm/DerivedTypes.h"
20#include "llvm/Instructions.h"
21#include "llvm/Intrinsics.h"
22#include "llvm/ADT/Statistic.h"
23#include "llvm/LLVMContext.h"
24#include "llvm/Module.h"
25#include "llvm/Pass.h"
26#include "llvm/ADT/SmallSet.h"
27#include "llvm/CodeGen/MachineFrameInfo.h"
28#include "llvm/CodeGen/MachineFunction.h"
29#include "llvm/CodeGen/MachineFunctionPass.h"
30#include "llvm/CodeGen/Passes.h"
31#include "llvm/Support/Debug.h"
32#include "llvm/Support/ErrorHandling.h"
33#include "llvm/Support/raw_ostream.h"
34#include "llvm/Target/TargetRegisterInfo.h"
35#include "llvm/Target/TargetFrameInfo.h"
36
37using namespace llvm;
38
39STATISTIC(NumAllocations, "Number of frame indices processed");
40
41namespace {
42 class LocalStackSlotPass: public MachineFunctionPass {
Jim Grosbach3d723672010-08-14 00:15:52 +000043 void calculateFrameObjectOffsets(MachineFunction &Fn);
44 public:
45 static char ID; // Pass identification, replacement for typeid
46 explicit LocalStackSlotPass() : MachineFunctionPass(ID) { }
47 bool runOnMachineFunction(MachineFunction &MF);
48
49 virtual void getAnalysisUsage(AnalysisUsage &AU) const {
50 AU.setPreservesCFG();
51 MachineFunctionPass::getAnalysisUsage(AU);
52 }
53 const char *getPassName() const {
54 return "Local Stack Slot Allocation";
55 }
56
57 private:
58 };
59} // end anonymous namespace
60
61char LocalStackSlotPass::ID = 0;
62
63FunctionPass *llvm::createLocalStackSlotAllocationPass() {
64 return new LocalStackSlotPass();
65}
66
67bool LocalStackSlotPass::runOnMachineFunction(MachineFunction &MF) {
68 calculateFrameObjectOffsets(MF);
Jim Grosbach3d723672010-08-14 00:15:52 +000069 return true;
70}
71
72/// AdjustStackOffset - Helper function used to adjust the stack frame offset.
73static inline void
74AdjustStackOffset(MachineFrameInfo *MFI, int FrameIdx, int64_t &Offset,
75 unsigned &MaxAlign) {
76 unsigned Align = MFI->getObjectAlignment(FrameIdx);
77
78 // If the alignment of this object is greater than that of the stack, then
79 // increase the stack alignment to match.
80 MaxAlign = std::max(MaxAlign, Align);
81
82 // Adjust to alignment boundary.
83 Offset = (Offset + Align - 1) / Align * Align;
84
85 DEBUG(dbgs() << "Allocate FI(" << FrameIdx << ") to local offset "
86 << Offset << "\n");
87 MFI->mapLocalFrameObject(FrameIdx, Offset);
88 Offset += MFI->getObjectSize(FrameIdx);
89
90 ++NumAllocations;
91}
92
93/// calculateFrameObjectOffsets - Calculate actual frame offsets for all of the
94/// abstract stack objects.
95///
96void LocalStackSlotPass::calculateFrameObjectOffsets(MachineFunction &Fn) {
97 const TargetFrameInfo &TFI = *Fn.getTarget().getFrameInfo();
98
99 // Loop over all of the stack objects, assigning sequential addresses...
100 MachineFrameInfo *MFI = Fn.getFrameInfo();
101 int64_t Offset = 0;
Jim Grosbach4861ed62010-08-16 22:30:41 +0000102 unsigned MaxAlign = 0;
Jim Grosbach3d723672010-08-14 00:15:52 +0000103
104 // Make sure that the stack protector comes before the local variables on the
105 // stack.
106 SmallSet<int, 16> LargeStackObjs;
107 if (MFI->getStackProtectorIndex() >= 0) {
108 AdjustStackOffset(MFI, MFI->getStackProtectorIndex(), Offset, MaxAlign);
109
110 // Assign large stack objects first.
111 for (unsigned i = 0, e = MFI->getObjectIndexEnd(); i != e; ++i) {
112 if (MFI->isDeadObjectIndex(i))
113 continue;
114 if (MFI->getStackProtectorIndex() == (int)i)
115 continue;
116 if (!MFI->MayNeedStackProtector(i))
117 continue;
118
119 AdjustStackOffset(MFI, i, Offset, MaxAlign);
120 LargeStackObjs.insert(i);
121 }
122 }
123
124 // Then assign frame offsets to stack objects that are not used to spill
125 // callee saved registers.
126 for (unsigned i = 0, e = MFI->getObjectIndexEnd(); i != e; ++i) {
127 if (MFI->isDeadObjectIndex(i))
128 continue;
129 if (MFI->getStackProtectorIndex() == (int)i)
130 continue;
131 if (LargeStackObjs.count(i))
132 continue;
133
134 AdjustStackOffset(MFI, i, Offset, MaxAlign);
135 }
136
Jim Grosbach3d723672010-08-14 00:15:52 +0000137 // Remember how big this blob of stack space is
Jim Grosbach63249342010-08-16 18:06:15 +0000138 MFI->setLocalFrameSize(Offset);
Jim Grosbach4861ed62010-08-16 22:30:41 +0000139 MFI->setLocalFrameMaxAlign(MaxAlign);
Jim Grosbach3d723672010-08-14 00:15:52 +0000140}