blob: cef82cca3f9a87fa5fa291f9d07c647c2afe8011 [file] [log] [blame]
Anton Korobeynikov33464912010-11-15 00:06:54 +00001//=======- MBlazeFrameInfo.cpp - MBlaze Frame Information ------*- C++ -*-====//
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 file contains the MBlaze implementation of TargetFrameInfo class.
11//
12//===----------------------------------------------------------------------===//
13
14#include "MBlazeFrameInfo.h"
15#include "MBlazeInstrInfo.h"
16#include "MBlazeMachineFunction.h"
Wesley Peckeb133822010-12-12 20:52:31 +000017#include "InstPrinter/MBlazeInstPrinter.h"
Anton Korobeynikov33464912010-11-15 00:06:54 +000018#include "llvm/Function.h"
19#include "llvm/CodeGen/MachineFrameInfo.h"
20#include "llvm/CodeGen/MachineFunction.h"
21#include "llvm/CodeGen/MachineInstrBuilder.h"
22#include "llvm/CodeGen/MachineModuleInfo.h"
23#include "llvm/CodeGen/MachineRegisterInfo.h"
24#include "llvm/Target/TargetData.h"
25#include "llvm/Target/TargetOptions.h"
26#include "llvm/Support/CommandLine.h"
27
28using namespace llvm;
29
Wesley Peckeb133822010-12-12 20:52:31 +000030namespace llvm {
31 cl::opt<bool> DisableStackAdjust(
32 "disable-mblaze-stack-adjust",
33 cl::init(false),
34 cl::desc("Disable MBlaze stack layout adjustment."),
35 cl::Hidden);
36}
37
Anton Korobeynikov33464912010-11-15 00:06:54 +000038//===----------------------------------------------------------------------===//
39//
40// Stack Frame Processing methods
41// +----------------------------+
42//
43// The stack is allocated decrementing the stack pointer on
44// the first instruction of a function prologue. Once decremented,
45// all stack references are are done through a positive offset
46// from the stack/frame pointer, so the stack is considered
47// to grow up.
48//
49//===----------------------------------------------------------------------===//
50
Wesley Peckeb133822010-12-12 20:52:31 +000051static void analyzeFrameIndexes(MachineFunction &MF) {
52 if (DisableStackAdjust) return;
53
54 MachineFrameInfo *MFI = MF.getFrameInfo();
55 MBlazeFunctionInfo *MBlazeFI = MF.getInfo<MBlazeFunctionInfo>();
56 const MachineRegisterInfo &MRI = MF.getRegInfo();
57
58 MachineRegisterInfo::livein_iterator LII = MRI.livein_begin();
59 MachineRegisterInfo::livein_iterator LIE = MRI.livein_end();
60 const SmallVector<int, 16> &LiveInFI = MBlazeFI->getLiveIn();
61 SmallVector<MachineInstr*, 16> EraseInstr;
62
63 MachineBasicBlock *MBB = MF.getBlockNumbered(0);
64 MachineBasicBlock::iterator MIB = MBB->begin();
65 MachineBasicBlock::iterator MIE = MBB->end();
66
67 int StackAdjust = 0;
68 int StackOffset = -28;
69 for (unsigned i = 0, e = LiveInFI.size(); i < e; ++i) {
70 for (MachineBasicBlock::iterator I=MIB; I != MIE; ++I) {
71 if (I->getOpcode() != MBlaze::LWI || I->getNumOperands() != 3 ||
72 !I->getOperand(1).isFI() || !I->getOperand(0).isReg() ||
73 I->getOperand(1).getIndex() != LiveInFI[i]) continue;
74
75 unsigned FIReg = I->getOperand(0).getReg();
76 MachineBasicBlock::iterator SI = I;
77 for (SI++; SI != MIE; ++SI) {
78 if (!SI->getOperand(0).isReg()) continue;
79 if (!SI->getOperand(1).isFI()) continue;
80 if (SI->getOpcode() != MBlaze::SWI) continue;
81
82 int FI = SI->getOperand(1).getIndex();
83 if (SI->getOperand(0).getReg() != FIReg) continue;
84 if (MFI->isFixedObjectIndex(FI)) continue;
85 if (MFI->getObjectSize(FI) != 4) continue;
86 if (SI->getOperand(0).isDef()) break;
87
88 if (SI->getOperand(0).isKill())
89 EraseInstr.push_back(I);
90 EraseInstr.push_back(SI);
91 MBlazeFI->recordLoadArgsFI(FI, StackOffset);
92 StackOffset -= 4;
93 StackAdjust += 4;
94 break;
95 }
96 }
97 }
98
99 for (MachineBasicBlock::iterator I=MBB->begin(), E=MBB->end(); I != E; ++I) {
100 if (I->getOpcode() != MBlaze::SWI || I->getNumOperands() != 3 ||
101 !I->getOperand(1).isFI() || !I->getOperand(0).isReg() ||
102 I->getOperand(1).getIndex() < 0) continue;
103
104 unsigned FIReg = 0;
105 for (MachineRegisterInfo::livein_iterator LI = LII; LI != LIE; ++LI) {
106 if (I->getOperand(0).getReg() == LI->first) {
107 FIReg = LI->first;
108 break;
109 }
110 }
111
112 if (FIReg) {
113 int FI = I->getOperand(1).getIndex();
114 MBlazeFI->recordLiveIn(FI);
115
116 StackAdjust += 4;
117 switch (FIReg) {
118 default: llvm_unreachable("invalid incoming parameter!");
119 case MBlaze::R5: MBlazeFI->recordLoadArgsFI(FI, -4); break;
120 case MBlaze::R6: MBlazeFI->recordLoadArgsFI(FI, -8); break;
121 case MBlaze::R7: MBlazeFI->recordLoadArgsFI(FI, -12); break;
122 case MBlaze::R8: MBlazeFI->recordLoadArgsFI(FI, -16); break;
123 case MBlaze::R9: MBlazeFI->recordLoadArgsFI(FI, -20); break;
124 case MBlaze::R10: MBlazeFI->recordLoadArgsFI(FI, -24); break;
125 }
126 }
127 }
128
129 for (int i = 0, e = EraseInstr.size(); i < e; ++i)
130 MBB->erase(EraseInstr[i]);
131
132 MBlazeFI->setStackAdjust(StackAdjust);
133}
134
135static void determineFrameLayout(MachineFunction &MF) {
136 MachineFrameInfo *MFI = MF.getFrameInfo();
137 MBlazeFunctionInfo *MBlazeFI = MF.getInfo<MBlazeFunctionInfo>();
138
139 // Replace the dummy '0' SPOffset by the negative offsets, as explained on
140 // LowerFORMAL_ARGUMENTS. Leaving '0' for while is necessary to avoid
141 // the approach done by calculateFrameObjectOffsets to the stack frame.
142 MBlazeFI->adjustLoadArgsFI(MFI);
143 MBlazeFI->adjustStoreVarArgsFI(MFI);
144
145 // Get the number of bytes to allocate from the FrameInfo
146 unsigned FrameSize = MFI->getStackSize();
147 FrameSize -= MBlazeFI->getStackAdjust();
148
149 // Get the alignments provided by the target, and the maximum alignment
150 // (if any) of the fixed frame objects.
151 // unsigned MaxAlign = MFI->getMaxAlignment();
152 unsigned TargetAlign = MF.getTarget().getFrameInfo()->getStackAlignment();
153 unsigned AlignMask = TargetAlign - 1;
154
155 // Make sure the frame is aligned.
156 FrameSize = (FrameSize + AlignMask) & ~AlignMask;
157 MFI->setStackSize(FrameSize);
158}
159
Anton Korobeynikovd0c38172010-11-18 21:19:35 +0000160// hasFP - Return true if the specified function should have a dedicated frame
161// pointer register. This is true if the function has variable sized allocas or
162// if frame pointer elimination is disabled.
163bool MBlazeFrameInfo::hasFP(const MachineFunction &MF) const {
164 const MachineFrameInfo *MFI = MF.getFrameInfo();
165 return DisableFramePointerElim(MF) || MFI->hasVarSizedObjects();
166}
167
Anton Korobeynikov33464912010-11-15 00:06:54 +0000168void MBlazeFrameInfo::emitPrologue(MachineFunction &MF) const {
169 MachineBasicBlock &MBB = MF.front();
170 MachineFrameInfo *MFI = MF.getFrameInfo();
Anton Korobeynikov33464912010-11-15 00:06:54 +0000171 const MBlazeInstrInfo &TII =
172 *static_cast<const MBlazeInstrInfo*>(MF.getTarget().getInstrInfo());
173 MBlazeFunctionInfo *MBlazeFI = MF.getInfo<MBlazeFunctionInfo>();
174 MachineBasicBlock::iterator MBBI = MBB.begin();
175 DebugLoc DL = MBBI != MBB.end() ? MBBI->getDebugLoc() : DebugLoc();
176
Wesley Peckeb133822010-12-12 20:52:31 +0000177 // Determine the correct frame layout
178 determineFrameLayout(MF);
Anton Korobeynikov33464912010-11-15 00:06:54 +0000179
180 // Get the number of bytes to allocate from the FrameInfo.
181 unsigned StackSize = MFI->getStackSize();
182
183 // No need to allocate space on the stack.
184 if (StackSize == 0 && !MFI->adjustsStack()) return;
Anton Korobeynikov33464912010-11-15 00:06:54 +0000185
186 int FPOffset = MBlazeFI->getFPStackOffset();
187 int RAOffset = MBlazeFI->getRAStackOffset();
188
189 // Adjust stack : addi R1, R1, -imm
190 BuildMI(MBB, MBBI, DL, TII.get(MBlaze::ADDI), MBlaze::R1)
191 .addReg(MBlaze::R1).addImm(-StackSize);
192
Anton Korobeynikov33464912010-11-15 00:06:54 +0000193 // swi R15, R1, stack_loc
194 if (MFI->adjustsStack()) {
195 BuildMI(MBB, MBBI, DL, TII.get(MBlaze::SWI))
196 .addReg(MBlaze::R15).addReg(MBlaze::R1).addImm(RAOffset);
197 }
198
Anton Korobeynikovd0c38172010-11-18 21:19:35 +0000199 if (hasFP(MF)) {
Anton Korobeynikov33464912010-11-15 00:06:54 +0000200 // swi R19, R1, stack_loc
201 BuildMI(MBB, MBBI, DL, TII.get(MBlaze::SWI))
202 .addReg(MBlaze::R19).addReg(MBlaze::R1).addImm(FPOffset);
203
204 // add R19, R1, R0
205 BuildMI(MBB, MBBI, DL, TII.get(MBlaze::ADD), MBlaze::R19)
206 .addReg(MBlaze::R1).addReg(MBlaze::R0);
207 }
208}
209
210void MBlazeFrameInfo::emitEpilogue(MachineFunction &MF,
211 MachineBasicBlock &MBB) const {
212 MachineBasicBlock::iterator MBBI = prior(MBB.end());
213 MachineFrameInfo *MFI = MF.getFrameInfo();
Anton Korobeynikovd0c38172010-11-18 21:19:35 +0000214 MBlazeFunctionInfo *MBlazeFI = MF.getInfo<MBlazeFunctionInfo>();
Anton Korobeynikov33464912010-11-15 00:06:54 +0000215 const MBlazeInstrInfo &TII =
216 *static_cast<const MBlazeInstrInfo*>(MF.getTarget().getInstrInfo());
217
218 DebugLoc dl = MBBI->getDebugLoc();
219
220 // Get the FI's where RA and FP are saved.
221 int FPOffset = MBlazeFI->getFPStackOffset();
222 int RAOffset = MBlazeFI->getRAStackOffset();
223
Anton Korobeynikovd0c38172010-11-18 21:19:35 +0000224 if (hasFP(MF)) {
Anton Korobeynikov33464912010-11-15 00:06:54 +0000225 // add R1, R19, R0
226 BuildMI(MBB, MBBI, dl, TII.get(MBlaze::ADD), MBlaze::R1)
227 .addReg(MBlaze::R19).addReg(MBlaze::R0);
228
229 // lwi R19, R1, stack_loc
230 BuildMI(MBB, MBBI, dl, TII.get(MBlaze::LWI), MBlaze::R19)
231 .addReg(MBlaze::R1).addImm(FPOffset);
232 }
233
Anton Korobeynikov33464912010-11-15 00:06:54 +0000234 // lwi R15, R1, stack_loc
235 if (MFI->adjustsStack()) {
236 BuildMI(MBB, MBBI, dl, TII.get(MBlaze::LWI), MBlaze::R15)
237 .addReg(MBlaze::R1).addImm(RAOffset);
238 }
239
240 // Get the number of bytes from FrameInfo
241 int StackSize = (int) MFI->getStackSize();
Anton Korobeynikov33464912010-11-15 00:06:54 +0000242
Anton Korobeynikov33464912010-11-15 00:06:54 +0000243 // addi R1, R1, imm
244 if (StackSize) {
245 BuildMI(MBB, MBBI, dl, TII.get(MBlaze::ADDI), MBlaze::R1)
246 .addReg(MBlaze::R1).addImm(StackSize);
247 }
248}
Wesley Peck8397be02010-12-09 03:42:04 +0000249
250void MBlazeFrameInfo::processFunctionBeforeCalleeSavedScan(MachineFunction &MF, RegScavenger *RS)
251 const {
252 MachineFrameInfo *MFI = MF.getFrameInfo();
253 MBlazeFunctionInfo *MBlazeFI = MF.getInfo<MBlazeFunctionInfo>();
254
255 if (MFI->adjustsStack()) {
256 MBlazeFI->setRAStackOffset(0);
257 MFI->CreateFixedObject(4,0,true);
258 }
259
260 if (hasFP(MF)) {
261 MBlazeFI->setFPStackOffset(4);
262 MFI->CreateFixedObject(4,4,true);
263 }
Wesley Peckeb133822010-12-12 20:52:31 +0000264
265 analyzeFrameIndexes(MF);
Wesley Peck8397be02010-12-09 03:42:04 +0000266}