blob: d6cb9f6459a6df481af357663f4f87133a58ead0 [file] [log] [blame]
Jia Liub22310f2012-02-18 12:03:15 +00001//===-- MSP430FrameLowering.cpp - MSP430 Frame Information ----------------===//
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +00002//
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//
Anton Korobeynikov2f931282011-01-10 12:39:04 +000010// This file contains the MSP430 implementation of TargetFrameLowering class.
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +000011//
12//===----------------------------------------------------------------------===//
13
Anton Korobeynikov2f931282011-01-10 12:39:04 +000014#include "MSP430FrameLowering.h"
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +000015#include "MSP430InstrInfo.h"
16#include "MSP430MachineFunctionInfo.h"
Eric Christopherd9134482014-08-04 21:25:23 +000017#include "MSP430Subtarget.h"
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +000018#include "llvm/CodeGen/MachineFrameInfo.h"
19#include "llvm/CodeGen/MachineFunction.h"
20#include "llvm/CodeGen/MachineInstrBuilder.h"
21#include "llvm/CodeGen/MachineModuleInfo.h"
22#include "llvm/CodeGen/MachineRegisterInfo.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000023#include "llvm/IR/DataLayout.h"
24#include "llvm/IR/Function.h"
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +000025#include "llvm/Support/CommandLine.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000026#include "llvm/Target/TargetOptions.h"
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +000027
28using namespace llvm;
29
Anton Korobeynikov2f931282011-01-10 12:39:04 +000030bool MSP430FrameLowering::hasFP(const MachineFunction &MF) const {
Anton Korobeynikov0eecf5d2010-11-18 21:19:35 +000031 const MachineFrameInfo *MFI = MF.getFrameInfo();
32
Nick Lewycky50f02cb2011-12-02 22:16:29 +000033 return (MF.getTarget().Options.DisableFramePointerElim(MF) ||
Anton Korobeynikov0eecf5d2010-11-18 21:19:35 +000034 MF.getFrameInfo()->hasVarSizedObjects() ||
35 MFI->isFrameAddressTaken());
36}
37
Anton Korobeynikov2f931282011-01-10 12:39:04 +000038bool MSP430FrameLowering::hasReservedCallFrame(const MachineFunction &MF) const {
Anton Korobeynikov0eecf5d2010-11-18 21:19:35 +000039 return !MF.getFrameInfo()->hasVarSizedObjects();
40}
41
Anton Korobeynikov2f931282011-01-10 12:39:04 +000042void MSP430FrameLowering::emitPrologue(MachineFunction &MF) const {
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +000043 MachineBasicBlock &MBB = MF.front(); // Prolog goes in entry BB
44 MachineFrameInfo *MFI = MF.getFrameInfo();
45 MSP430MachineFunctionInfo *MSP430FI = MF.getInfo<MSP430MachineFunctionInfo>();
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +000046 const MSP430InstrInfo &TII =
Eric Christopherfc6de422014-08-05 02:39:49 +000047 *static_cast<const MSP430InstrInfo *>(MF.getSubtarget().getInstrInfo());
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +000048
49 MachineBasicBlock::iterator MBBI = MBB.begin();
50 DebugLoc DL = MBBI != MBB.end() ? MBBI->getDebugLoc() : DebugLoc();
51
52 // Get the number of bytes to allocate from the FrameInfo.
53 uint64_t StackSize = MFI->getStackSize();
54
55 uint64_t NumBytes = 0;
Anton Korobeynikov0eecf5d2010-11-18 21:19:35 +000056 if (hasFP(MF)) {
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +000057 // Calculate required stack adjustment
58 uint64_t FrameSize = StackSize - 2;
59 NumBytes = FrameSize - MSP430FI->getCalleeSavedFrameSize();
60
61 // Get the offset of the stack slot for the EBP register... which is
62 // guaranteed to be the last slot by processFunctionBeforeFrameFinalized.
63 // Update the frame offset adjustment.
64 MFI->setOffsetAdjustment(-NumBytes);
65
Job Noormaneb19aea2014-09-10 06:58:14 +000066 // Save FP into the appropriate stack slot...
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +000067 BuildMI(MBB, MBBI, DL, TII.get(MSP430::PUSH16r))
Job Noormaneb19aea2014-09-10 06:58:14 +000068 .addReg(MSP430::FP, RegState::Kill);
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +000069
Job Noormaneb19aea2014-09-10 06:58:14 +000070 // Update FP with the new base value...
71 BuildMI(MBB, MBBI, DL, TII.get(MSP430::MOV16rr), MSP430::FP)
72 .addReg(MSP430::SP);
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +000073
74 // Mark the FramePtr as live-in in every block except the entry.
Benjamin Kramerb6d0bd42014-03-02 12:27:27 +000075 for (MachineFunction::iterator I = std::next(MF.begin()), E = MF.end();
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +000076 I != E; ++I)
Job Noormaneb19aea2014-09-10 06:58:14 +000077 I->addLiveIn(MSP430::FP);
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +000078
79 } else
80 NumBytes = StackSize - MSP430FI->getCalleeSavedFrameSize();
81
82 // Skip the callee-saved push instructions.
83 while (MBBI != MBB.end() && (MBBI->getOpcode() == MSP430::PUSH16r))
84 ++MBBI;
85
86 if (MBBI != MBB.end())
87 DL = MBBI->getDebugLoc();
88
Job Noormaneb19aea2014-09-10 06:58:14 +000089 if (NumBytes) { // adjust stack pointer: SP -= numbytes
90 // If there is an SUB16ri of SP immediately before this instruction, merge
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +000091 // the two.
92 //NumBytes -= mergeSPUpdates(MBB, MBBI, true);
Job Noormaneb19aea2014-09-10 06:58:14 +000093 // If there is an ADD16ri or SUB16ri of SP immediately after this
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +000094 // instruction, merge the two instructions.
95 // mergeSPUpdatesDown(MBB, MBBI, &NumBytes);
96
97 if (NumBytes) {
98 MachineInstr *MI =
Job Noormaneb19aea2014-09-10 06:58:14 +000099 BuildMI(MBB, MBBI, DL, TII.get(MSP430::SUB16ri), MSP430::SP)
100 .addReg(MSP430::SP).addImm(NumBytes);
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000101 // The SRW implicit def is dead.
102 MI->getOperand(3).setIsDead();
103 }
104 }
105}
106
Anton Korobeynikov2f931282011-01-10 12:39:04 +0000107void MSP430FrameLowering::emitEpilogue(MachineFunction &MF,
108 MachineBasicBlock &MBB) const {
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000109 const MachineFrameInfo *MFI = MF.getFrameInfo();
110 MSP430MachineFunctionInfo *MSP430FI = MF.getInfo<MSP430MachineFunctionInfo>();
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000111 const MSP430InstrInfo &TII =
Eric Christopherfc6de422014-08-05 02:39:49 +0000112 *static_cast<const MSP430InstrInfo *>(MF.getSubtarget().getInstrInfo());
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000113
Jakob Stoklund Olesen4bc5e382011-01-13 21:28:52 +0000114 MachineBasicBlock::iterator MBBI = MBB.getLastNonDebugInstr();
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000115 unsigned RetOpcode = MBBI->getOpcode();
116 DebugLoc DL = MBBI->getDebugLoc();
117
118 switch (RetOpcode) {
119 case MSP430::RET:
120 case MSP430::RETI: break; // These are ok
121 default:
122 llvm_unreachable("Can only insert epilog into returning blocks");
123 }
124
125 // Get the number of bytes to allocate from the FrameInfo
126 uint64_t StackSize = MFI->getStackSize();
127 unsigned CSSize = MSP430FI->getCalleeSavedFrameSize();
128 uint64_t NumBytes = 0;
129
Anton Korobeynikov0eecf5d2010-11-18 21:19:35 +0000130 if (hasFP(MF)) {
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000131 // Calculate required stack adjustment
132 uint64_t FrameSize = StackSize - 2;
133 NumBytes = FrameSize - CSSize;
134
Job Noormaneb19aea2014-09-10 06:58:14 +0000135 // pop FP.
136 BuildMI(MBB, MBBI, DL, TII.get(MSP430::POP16r), MSP430::FP);
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000137 } else
138 NumBytes = StackSize - CSSize;
139
140 // Skip the callee-saved pop instructions.
141 while (MBBI != MBB.begin()) {
Benjamin Kramerb6d0bd42014-03-02 12:27:27 +0000142 MachineBasicBlock::iterator PI = std::prev(MBBI);
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000143 unsigned Opc = PI->getOpcode();
Evan Cheng7f8e5632011-12-07 07:15:52 +0000144 if (Opc != MSP430::POP16r && !PI->isTerminator())
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000145 break;
146 --MBBI;
147 }
148
149 DL = MBBI->getDebugLoc();
150
Job Noormaneb19aea2014-09-10 06:58:14 +0000151 // If there is an ADD16ri or SUB16ri of SP immediately before this
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000152 // instruction, merge the two instructions.
153 //if (NumBytes || MFI->hasVarSizedObjects())
154 // mergeSPUpdatesUp(MBB, MBBI, StackPtr, &NumBytes);
155
156 if (MFI->hasVarSizedObjects()) {
157 BuildMI(MBB, MBBI, DL,
Job Noormaneb19aea2014-09-10 06:58:14 +0000158 TII.get(MSP430::MOV16rr), MSP430::SP).addReg(MSP430::FP);
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000159 if (CSSize) {
160 MachineInstr *MI =
161 BuildMI(MBB, MBBI, DL,
Job Noormaneb19aea2014-09-10 06:58:14 +0000162 TII.get(MSP430::SUB16ri), MSP430::SP)
163 .addReg(MSP430::SP).addImm(CSSize);
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000164 // The SRW implicit def is dead.
165 MI->getOperand(3).setIsDead();
166 }
167 } else {
Job Noormaneb19aea2014-09-10 06:58:14 +0000168 // adjust stack pointer back: SP += numbytes
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000169 if (NumBytes) {
170 MachineInstr *MI =
Job Noormaneb19aea2014-09-10 06:58:14 +0000171 BuildMI(MBB, MBBI, DL, TII.get(MSP430::ADD16ri), MSP430::SP)
172 .addReg(MSP430::SP).addImm(NumBytes);
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000173 // The SRW implicit def is dead.
174 MI->getOperand(3).setIsDead();
175 }
176 }
177}
Anton Korobeynikovd08fbd12010-11-27 23:05:03 +0000178
179// FIXME: Can we eleminate these in favour of generic code?
180bool
Anton Korobeynikov2f931282011-01-10 12:39:04 +0000181MSP430FrameLowering::spillCalleeSavedRegisters(MachineBasicBlock &MBB,
Anton Korobeynikovd08fbd12010-11-27 23:05:03 +0000182 MachineBasicBlock::iterator MI,
183 const std::vector<CalleeSavedInfo> &CSI,
184 const TargetRegisterInfo *TRI) const {
185 if (CSI.empty())
186 return false;
187
188 DebugLoc DL;
189 if (MI != MBB.end()) DL = MI->getDebugLoc();
190
191 MachineFunction &MF = *MBB.getParent();
Eric Christopherfc6de422014-08-05 02:39:49 +0000192 const TargetInstrInfo &TII = *MF.getSubtarget().getInstrInfo();
Anton Korobeynikovd08fbd12010-11-27 23:05:03 +0000193 MSP430MachineFunctionInfo *MFI = MF.getInfo<MSP430MachineFunctionInfo>();
194 MFI->setCalleeSavedFrameSize(CSI.size() * 2);
195
196 for (unsigned i = CSI.size(); i != 0; --i) {
197 unsigned Reg = CSI[i-1].getReg();
198 // Add the callee-saved register as live-in. It's killed at the spill.
199 MBB.addLiveIn(Reg);
200 BuildMI(MBB, MI, DL, TII.get(MSP430::PUSH16r))
201 .addReg(Reg, RegState::Kill);
202 }
203 return true;
204}
205
206bool
Anton Korobeynikov2f931282011-01-10 12:39:04 +0000207MSP430FrameLowering::restoreCalleeSavedRegisters(MachineBasicBlock &MBB,
208 MachineBasicBlock::iterator MI,
Anton Korobeynikovd08fbd12010-11-27 23:05:03 +0000209 const std::vector<CalleeSavedInfo> &CSI,
210 const TargetRegisterInfo *TRI) const {
211 if (CSI.empty())
212 return false;
213
214 DebugLoc DL;
215 if (MI != MBB.end()) DL = MI->getDebugLoc();
216
217 MachineFunction &MF = *MBB.getParent();
Eric Christopherfc6de422014-08-05 02:39:49 +0000218 const TargetInstrInfo &TII = *MF.getSubtarget().getInstrInfo();
Anton Korobeynikovd08fbd12010-11-27 23:05:03 +0000219
220 for (unsigned i = 0, e = CSI.size(); i != e; ++i)
221 BuildMI(MBB, MI, DL, TII.get(MSP430::POP16r), CSI[i].getReg());
222
223 return true;
224}
Anton Korobeynikov0a691762012-10-17 17:37:11 +0000225
Eli Bendersky8da87162013-02-21 20:05:00 +0000226void MSP430FrameLowering::
227eliminateCallFramePseudoInstr(MachineFunction &MF, MachineBasicBlock &MBB,
228 MachineBasicBlock::iterator I) const {
229 const MSP430InstrInfo &TII =
Eric Christopherfc6de422014-08-05 02:39:49 +0000230 *static_cast<const MSP430InstrInfo *>(MF.getSubtarget().getInstrInfo());
Eli Bendersky8da87162013-02-21 20:05:00 +0000231 unsigned StackAlign = getStackAlignment();
232
233 if (!hasReservedCallFrame(MF)) {
234 // If the stack pointer can be changed after prologue, turn the
Job Noormaneb19aea2014-09-10 06:58:14 +0000235 // adjcallstackup instruction into a 'sub SP, <amt>' and the
236 // adjcallstackdown instruction into 'add SP, <amt>'
Eli Bendersky8da87162013-02-21 20:05:00 +0000237 // TODO: consider using push / pop instead of sub + store / add
238 MachineInstr *Old = I;
239 uint64_t Amount = Old->getOperand(0).getImm();
240 if (Amount != 0) {
241 // We need to keep the stack aligned properly. To do this, we round the
242 // amount of space needed for the outgoing arguments up to the next
243 // alignment boundary.
244 Amount = (Amount+StackAlign-1)/StackAlign*StackAlign;
245
Craig Topper062a2ba2014-04-25 05:30:21 +0000246 MachineInstr *New = nullptr;
Eli Bendersky8da87162013-02-21 20:05:00 +0000247 if (Old->getOpcode() == TII.getCallFrameSetupOpcode()) {
248 New = BuildMI(MF, Old->getDebugLoc(),
Job Noormaneb19aea2014-09-10 06:58:14 +0000249 TII.get(MSP430::SUB16ri), MSP430::SP)
250 .addReg(MSP430::SP).addImm(Amount);
Eli Bendersky8da87162013-02-21 20:05:00 +0000251 } else {
252 assert(Old->getOpcode() == TII.getCallFrameDestroyOpcode());
253 // factor out the amount the callee already popped.
254 uint64_t CalleeAmt = Old->getOperand(1).getImm();
255 Amount -= CalleeAmt;
256 if (Amount)
257 New = BuildMI(MF, Old->getDebugLoc(),
Job Noormaneb19aea2014-09-10 06:58:14 +0000258 TII.get(MSP430::ADD16ri), MSP430::SP)
259 .addReg(MSP430::SP).addImm(Amount);
Eli Bendersky8da87162013-02-21 20:05:00 +0000260 }
261
262 if (New) {
263 // The SRW implicit def is dead.
264 New->getOperand(3).setIsDead();
265
266 // Replace the pseudo instruction with a new instruction...
267 MBB.insert(I, New);
268 }
269 }
270 } else if (I->getOpcode() == TII.getCallFrameDestroyOpcode()) {
271 // If we are performing frame pointer elimination and if the callee pops
272 // something off the stack pointer, add it back.
273 if (uint64_t CalleeAmt = I->getOperand(1).getImm()) {
274 MachineInstr *Old = I;
275 MachineInstr *New =
276 BuildMI(MF, Old->getDebugLoc(), TII.get(MSP430::SUB16ri),
Job Noormaneb19aea2014-09-10 06:58:14 +0000277 MSP430::SP).addReg(MSP430::SP).addImm(CalleeAmt);
Eli Bendersky8da87162013-02-21 20:05:00 +0000278 // The SRW implicit def is dead.
279 New->getOperand(3).setIsDead();
280
281 MBB.insert(I, New);
282 }
283 }
284
285 MBB.erase(I);
286}
287
Anton Korobeynikov0a691762012-10-17 17:37:11 +0000288void
Hal Finkel5a765fd2013-03-14 20:33:40 +0000289MSP430FrameLowering::processFunctionBeforeFrameFinalized(MachineFunction &MF,
290 RegScavenger *) const {
Job Noormaneb19aea2014-09-10 06:58:14 +0000291 // Create a frame entry for the FP register that must be saved.
Eli Bendersky8da87162013-02-21 20:05:00 +0000292 if (hasFP(MF)) {
Anton Korobeynikov0a691762012-10-17 17:37:11 +0000293 int FrameIdx = MF.getFrameInfo()->CreateFixedObject(2, -4, true);
294 (void)FrameIdx;
295 assert(FrameIdx == MF.getFrameInfo()->getObjectIndexBegin() &&
Job Noormaneb19aea2014-09-10 06:58:14 +0000296 "Slot for FP register must be last in order to be found!");
Anton Korobeynikov0a691762012-10-17 17:37:11 +0000297 }
298}