blob: 3d1917c5572e9cf64db785704e27225d89f1ffe8 [file] [log] [blame]
Jia Liu31d157a2012-02-18 12:03:15 +00001//===-- PPCFrameLowering.cpp - PPC Frame Information ----------------------===//
Anton Korobeynikov33464912010-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 Korobeynikov16c29b52011-01-10 12:39:04 +000010// This file contains the PPC implementation of TargetFrameLowering class.
Anton Korobeynikov33464912010-11-15 00:06:54 +000011//
12//===----------------------------------------------------------------------===//
13
Anton Korobeynikov16c29b52011-01-10 12:39:04 +000014#include "PPCFrameLowering.h"
Roman Divacky9d760ae2012-09-12 14:47:47 +000015#include "PPCInstrBuilder.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000016#include "PPCInstrInfo.h"
Anton Korobeynikov33464912010-11-15 00:06:54 +000017#include "PPCMachineFunctionInfo.h"
Anton Korobeynikov33464912010-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"
Anton Korobeynikov94c5ae02010-11-27 23:05:25 +000023#include "llvm/CodeGen/RegisterScavenging.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000024#include "llvm/Function.h"
Anton Korobeynikov33464912010-11-15 00:06:54 +000025#include "llvm/Target/TargetOptions.h"
26
27using namespace llvm;
28
29// FIXME This disables some code that aligns the stack to a boundary bigger than
30// the default (16 bytes on Darwin) when there is a stack local of greater
31// alignment. This does not currently work, because the delta between old and
32// new stack pointers is added to offsets that reference incoming parameters
33// after the prolog is generated, and the code that does that doesn't handle a
34// variable delta. You don't want to do that anyway; a better approach is to
35// reserve another register that retains to the incoming stack pointer, and
36// reference parameters relative to that.
37#define ALIGN_STACK 0
38
39
40/// VRRegNo - Map from a numbered VR register to its enum value.
41///
Craig Topperb78ca422012-03-11 07:16:55 +000042static const uint16_t VRRegNo[] = {
Anton Korobeynikov33464912010-11-15 00:06:54 +000043 PPC::V0 , PPC::V1 , PPC::V2 , PPC::V3 , PPC::V4 , PPC::V5 , PPC::V6 , PPC::V7 ,
44 PPC::V8 , PPC::V9 , PPC::V10, PPC::V11, PPC::V12, PPC::V13, PPC::V14, PPC::V15,
45 PPC::V16, PPC::V17, PPC::V18, PPC::V19, PPC::V20, PPC::V21, PPC::V22, PPC::V23,
46 PPC::V24, PPC::V25, PPC::V26, PPC::V27, PPC::V28, PPC::V29, PPC::V30, PPC::V31
47};
48
49/// RemoveVRSaveCode - We have found that this function does not need any code
50/// to manipulate the VRSAVE register, even though it uses vector registers.
51/// This can happen when the only registers used are known to be live in or out
52/// of the function. Remove all of the VRSAVE related code from the function.
Bill Schmidta5d0ab52012-10-10 20:54:15 +000053/// FIXME: The removal of the code results in a compile failure at -O0 when the
54/// function contains a function call, as the GPR containing original VRSAVE
55/// contents is spilled and reloaded around the call. Without the prolog code,
56/// the spill instruction refers to an undefined register. This code needs
57/// to account for all uses of that GPR.
Anton Korobeynikov33464912010-11-15 00:06:54 +000058static void RemoveVRSaveCode(MachineInstr *MI) {
59 MachineBasicBlock *Entry = MI->getParent();
60 MachineFunction *MF = Entry->getParent();
61
62 // We know that the MTVRSAVE instruction immediately follows MI. Remove it.
63 MachineBasicBlock::iterator MBBI = MI;
64 ++MBBI;
65 assert(MBBI != Entry->end() && MBBI->getOpcode() == PPC::MTVRSAVE);
66 MBBI->eraseFromParent();
67
68 bool RemovedAllMTVRSAVEs = true;
69 // See if we can find and remove the MTVRSAVE instruction from all of the
70 // epilog blocks.
71 for (MachineFunction::iterator I = MF->begin(), E = MF->end(); I != E; ++I) {
72 // If last instruction is a return instruction, add an epilogue
Evan Cheng5a96b3d2011-12-07 07:15:52 +000073 if (!I->empty() && I->back().isReturn()) {
Anton Korobeynikov33464912010-11-15 00:06:54 +000074 bool FoundIt = false;
75 for (MBBI = I->end(); MBBI != I->begin(); ) {
76 --MBBI;
77 if (MBBI->getOpcode() == PPC::MTVRSAVE) {
78 MBBI->eraseFromParent(); // remove it.
79 FoundIt = true;
80 break;
81 }
82 }
83 RemovedAllMTVRSAVEs &= FoundIt;
84 }
85 }
86
87 // If we found and removed all MTVRSAVE instructions, remove the read of
88 // VRSAVE as well.
89 if (RemovedAllMTVRSAVEs) {
90 MBBI = MI;
91 assert(MBBI != Entry->begin() && "UPDATE_VRSAVE is first instr in block?");
92 --MBBI;
93 assert(MBBI->getOpcode() == PPC::MFVRSAVE && "VRSAVE instrs wandered?");
94 MBBI->eraseFromParent();
95 }
96
97 // Finally, nuke the UPDATE_VRSAVE.
98 MI->eraseFromParent();
99}
100
101// HandleVRSaveUpdate - MI is the UPDATE_VRSAVE instruction introduced by the
102// instruction selector. Based on the vector registers that have been used,
103// transform this into the appropriate ORI instruction.
104static void HandleVRSaveUpdate(MachineInstr *MI, const TargetInstrInfo &TII) {
105 MachineFunction *MF = MI->getParent()->getParent();
106 DebugLoc dl = MI->getDebugLoc();
107
108 unsigned UsedRegMask = 0;
109 for (unsigned i = 0; i != 32; ++i)
110 if (MF->getRegInfo().isPhysRegUsed(VRRegNo[i]))
111 UsedRegMask |= 1 << (31-i);
112
113 // Live in and live out values already must be in the mask, so don't bother
114 // marking them.
115 for (MachineRegisterInfo::livein_iterator
116 I = MF->getRegInfo().livein_begin(),
117 E = MF->getRegInfo().livein_end(); I != E; ++I) {
Evan Cheng966aeb52011-07-25 19:53:23 +0000118 unsigned RegNo = getPPCRegisterNumbering(I->first);
Anton Korobeynikov33464912010-11-15 00:06:54 +0000119 if (VRRegNo[RegNo] == I->first) // If this really is a vector reg.
120 UsedRegMask &= ~(1 << (31-RegNo)); // Doesn't need to be marked.
121 }
122 for (MachineRegisterInfo::liveout_iterator
123 I = MF->getRegInfo().liveout_begin(),
124 E = MF->getRegInfo().liveout_end(); I != E; ++I) {
Evan Cheng966aeb52011-07-25 19:53:23 +0000125 unsigned RegNo = getPPCRegisterNumbering(*I);
Anton Korobeynikov33464912010-11-15 00:06:54 +0000126 if (VRRegNo[RegNo] == *I) // If this really is a vector reg.
127 UsedRegMask &= ~(1 << (31-RegNo)); // Doesn't need to be marked.
128 }
129
130 // If no registers are used, turn this into a copy.
131 if (UsedRegMask == 0) {
132 // Remove all VRSAVE code.
133 RemoveVRSaveCode(MI);
134 return;
135 }
136
137 unsigned SrcReg = MI->getOperand(1).getReg();
138 unsigned DstReg = MI->getOperand(0).getReg();
139
140 if ((UsedRegMask & 0xFFFF) == UsedRegMask) {
141 if (DstReg != SrcReg)
142 BuildMI(*MI->getParent(), MI, dl, TII.get(PPC::ORI), DstReg)
143 .addReg(SrcReg)
144 .addImm(UsedRegMask);
145 else
146 BuildMI(*MI->getParent(), MI, dl, TII.get(PPC::ORI), DstReg)
147 .addReg(SrcReg, RegState::Kill)
148 .addImm(UsedRegMask);
149 } else if ((UsedRegMask & 0xFFFF0000) == UsedRegMask) {
150 if (DstReg != SrcReg)
151 BuildMI(*MI->getParent(), MI, dl, TII.get(PPC::ORIS), DstReg)
152 .addReg(SrcReg)
153 .addImm(UsedRegMask >> 16);
154 else
155 BuildMI(*MI->getParent(), MI, dl, TII.get(PPC::ORIS), DstReg)
156 .addReg(SrcReg, RegState::Kill)
157 .addImm(UsedRegMask >> 16);
158 } else {
159 if (DstReg != SrcReg)
160 BuildMI(*MI->getParent(), MI, dl, TII.get(PPC::ORIS), DstReg)
161 .addReg(SrcReg)
162 .addImm(UsedRegMask >> 16);
163 else
164 BuildMI(*MI->getParent(), MI, dl, TII.get(PPC::ORIS), DstReg)
165 .addReg(SrcReg, RegState::Kill)
166 .addImm(UsedRegMask >> 16);
167
168 BuildMI(*MI->getParent(), MI, dl, TII.get(PPC::ORI), DstReg)
169 .addReg(DstReg, RegState::Kill)
170 .addImm(UsedRegMask & 0xFFFF);
171 }
172
173 // Remove the old UPDATE_VRSAVE instruction.
174 MI->eraseFromParent();
175}
176
Roman Divacky9d760ae2012-09-12 14:47:47 +0000177static bool spillsCR(const MachineFunction &MF) {
178 const PPCFunctionInfo *FuncInfo = MF.getInfo<PPCFunctionInfo>();
179 return FuncInfo->isCRSpilled();
180}
181
Anton Korobeynikov33464912010-11-15 00:06:54 +0000182/// determineFrameLayout - Determine the size of the frame and maximum call
183/// frame size.
Anton Korobeynikov16c29b52011-01-10 12:39:04 +0000184void PPCFrameLowering::determineFrameLayout(MachineFunction &MF) const {
Anton Korobeynikov33464912010-11-15 00:06:54 +0000185 MachineFrameInfo *MFI = MF.getFrameInfo();
186
187 // Get the number of bytes to allocate from the FrameInfo
188 unsigned FrameSize = MFI->getStackSize();
189
190 // Get the alignments provided by the target, and the maximum alignment
191 // (if any) of the fixed frame objects.
192 unsigned MaxAlign = MFI->getMaxAlignment();
Anton Korobeynikov16c29b52011-01-10 12:39:04 +0000193 unsigned TargetAlign = getStackAlignment();
Anton Korobeynikov33464912010-11-15 00:06:54 +0000194 unsigned AlignMask = TargetAlign - 1; //
195
196 // If we are a leaf function, and use up to 224 bytes of stack space,
197 // don't have a frame pointer, calls, or dynamic alloca then we do not need
Roman Divacky9d760ae2012-09-12 14:47:47 +0000198 // to adjust the stack pointer (we fit in the Red Zone). For 64-bit
199 // SVR4, we also require a stack frame if we need to spill the CR,
200 // since this spill area is addressed relative to the stack pointer.
Bill Wendling831737d2012-12-30 10:32:01 +0000201 bool DisableRedZone = MF.getFunction()->getAttributes().
202 hasAttribute(AttributeSet::FunctionIndex, Attribute::NoRedZone);
Roman Divacky9d760ae2012-09-12 14:47:47 +0000203 // FIXME SVR4 The 32-bit SVR4 ABI has no red zone. However, it can
204 // still generate stackless code if all local vars are reg-allocated.
205 // Try: (FrameSize <= 224
206 // || (FrameSize == 0 && Subtarget.isPPC32 && Subtarget.isSVR4ABI()))
Anton Korobeynikov33464912010-11-15 00:06:54 +0000207 if (!DisableRedZone &&
208 FrameSize <= 224 && // Fits in red zone.
209 !MFI->hasVarSizedObjects() && // No dynamic alloca.
210 !MFI->adjustsStack() && // No calls.
Roman Divacky9d760ae2012-09-12 14:47:47 +0000211 !(Subtarget.isPPC64() && // No 64-bit SVR4 CRsave.
212 Subtarget.isSVR4ABI()
213 && spillsCR(MF)) &&
Anton Korobeynikov33464912010-11-15 00:06:54 +0000214 (!ALIGN_STACK || MaxAlign <= TargetAlign)) { // No special alignment.
215 // No need for frame
216 MFI->setStackSize(0);
217 return;
218 }
219
220 // Get the maximum call frame size of all the calls.
221 unsigned maxCallFrameSize = MFI->getMaxCallFrameSize();
222
223 // Maximum call frame needs to be at least big enough for linkage and 8 args.
224 unsigned minCallFrameSize = getMinCallFrameSize(Subtarget.isPPC64(),
225 Subtarget.isDarwinABI());
226 maxCallFrameSize = std::max(maxCallFrameSize, minCallFrameSize);
227
228 // If we have dynamic alloca then maxCallFrameSize needs to be aligned so
229 // that allocations will be aligned.
230 if (MFI->hasVarSizedObjects())
231 maxCallFrameSize = (maxCallFrameSize + AlignMask) & ~AlignMask;
232
233 // Update maximum call frame size.
234 MFI->setMaxCallFrameSize(maxCallFrameSize);
235
236 // Include call frame size in total.
237 FrameSize += maxCallFrameSize;
238
239 // Make sure the frame is aligned.
240 FrameSize = (FrameSize + AlignMask) & ~AlignMask;
241
242 // Update frame info.
243 MFI->setStackSize(FrameSize);
244}
245
Anton Korobeynikovd0c38172010-11-18 21:19:35 +0000246// hasFP - Return true if the specified function actually has a dedicated frame
247// pointer register.
Anton Korobeynikov16c29b52011-01-10 12:39:04 +0000248bool PPCFrameLowering::hasFP(const MachineFunction &MF) const {
Anton Korobeynikovd0c38172010-11-18 21:19:35 +0000249 const MachineFrameInfo *MFI = MF.getFrameInfo();
Anton Korobeynikovc8bd78c2010-12-18 19:53:14 +0000250 // FIXME: This is pretty much broken by design: hasFP() might be called really
251 // early, before the stack layout was calculated and thus hasFP() might return
252 // true or false here depending on the time of call.
253 return (MFI->getStackSize()) && needsFP(MF);
254}
255
256// needsFP - Return true if the specified function should have a dedicated frame
257// pointer register. This is true if the function has variable sized allocas or
258// if frame pointer elimination is disabled.
Anton Korobeynikov16c29b52011-01-10 12:39:04 +0000259bool PPCFrameLowering::needsFP(const MachineFunction &MF) const {
Anton Korobeynikovc8bd78c2010-12-18 19:53:14 +0000260 const MachineFrameInfo *MFI = MF.getFrameInfo();
Anton Korobeynikovd0c38172010-11-18 21:19:35 +0000261
262 // Naked functions have no stack frame pushed, so we don't have a frame
263 // pointer.
Bill Wendling831737d2012-12-30 10:32:01 +0000264 if (MF.getFunction()->getAttributes().hasAttribute(AttributeSet::FunctionIndex,
265 Attribute::Naked))
Anton Korobeynikovd0c38172010-11-18 21:19:35 +0000266 return false;
267
Nick Lewycky8a8d4792011-12-02 22:16:29 +0000268 return MF.getTarget().Options.DisableFramePointerElim(MF) ||
269 MFI->hasVarSizedObjects() ||
270 (MF.getTarget().Options.GuaranteedTailCallOpt &&
271 MF.getInfo<PPCFunctionInfo>()->hasFastCall());
Anton Korobeynikovd0c38172010-11-18 21:19:35 +0000272}
273
274
Anton Korobeynikov16c29b52011-01-10 12:39:04 +0000275void PPCFrameLowering::emitPrologue(MachineFunction &MF) const {
Anton Korobeynikov33464912010-11-15 00:06:54 +0000276 MachineBasicBlock &MBB = MF.front(); // Prolog goes in entry BB
277 MachineBasicBlock::iterator MBBI = MBB.begin();
278 MachineFrameInfo *MFI = MF.getFrameInfo();
Anton Korobeynikov33464912010-11-15 00:06:54 +0000279 const PPCInstrInfo &TII =
280 *static_cast<const PPCInstrInfo*>(MF.getTarget().getInstrInfo());
281
282 MachineModuleInfo &MMI = MF.getMMI();
283 DebugLoc dl;
284 bool needsFrameMoves = MMI.hasDebugInfo() ||
Rafael Espindolafc2bb8c2011-05-25 03:44:17 +0000285 MF.getFunction()->needsUnwindTableEntry();
Anton Korobeynikov33464912010-11-15 00:06:54 +0000286
287 // Prepare for frame info.
288 MCSymbol *FrameLabel = 0;
289
290 // Scan the prolog, looking for an UPDATE_VRSAVE instruction. If we find it,
291 // process it.
Bill Schmidta5d0ab52012-10-10 20:54:15 +0000292 if (!Subtarget.isSVR4ABI())
293 for (unsigned i = 0; MBBI != MBB.end(); ++i, ++MBBI) {
294 if (MBBI->getOpcode() == PPC::UPDATE_VRSAVE) {
295 HandleVRSaveUpdate(MBBI, TII);
296 break;
297 }
Anton Korobeynikov33464912010-11-15 00:06:54 +0000298 }
Anton Korobeynikov33464912010-11-15 00:06:54 +0000299
300 // Move MBBI back to the beginning of the function.
301 MBBI = MBB.begin();
302
303 // Work out frame sizes.
Anton Korobeynikovc8bd78c2010-12-18 19:53:14 +0000304 // FIXME: determineFrameLayout() may change the frame size. This should be
305 // moved upper, to some hook.
Anton Korobeynikov33464912010-11-15 00:06:54 +0000306 determineFrameLayout(MF);
307 unsigned FrameSize = MFI->getStackSize();
308
309 int NegFrameSize = -FrameSize;
310
311 // Get processor type.
312 bool isPPC64 = Subtarget.isPPC64();
313 // Get operating system
314 bool isDarwinABI = Subtarget.isDarwinABI();
315 // Check if the link register (LR) must be saved.
316 PPCFunctionInfo *FI = MF.getInfo<PPCFunctionInfo>();
317 bool MustSaveLR = FI->mustSaveLR();
318 // Do we have a frame pointer for this function?
Anton Korobeynikovc8bd78c2010-12-18 19:53:14 +0000319 bool HasFP = hasFP(MF);
Anton Korobeynikov33464912010-11-15 00:06:54 +0000320
Anton Korobeynikov16c29b52011-01-10 12:39:04 +0000321 int LROffset = PPCFrameLowering::getReturnSaveOffset(isPPC64, isDarwinABI);
Anton Korobeynikov33464912010-11-15 00:06:54 +0000322
323 int FPOffset = 0;
324 if (HasFP) {
325 if (Subtarget.isSVR4ABI()) {
326 MachineFrameInfo *FFI = MF.getFrameInfo();
327 int FPIndex = FI->getFramePointerSaveIndex();
328 assert(FPIndex && "No Frame Pointer Save Slot!");
329 FPOffset = FFI->getObjectOffset(FPIndex);
330 } else {
Anton Korobeynikov16c29b52011-01-10 12:39:04 +0000331 FPOffset = PPCFrameLowering::getFramePointerSaveOffset(isPPC64, isDarwinABI);
Anton Korobeynikov33464912010-11-15 00:06:54 +0000332 }
333 }
334
335 if (isPPC64) {
336 if (MustSaveLR)
337 BuildMI(MBB, MBBI, dl, TII.get(PPC::MFLR8), PPC::X0);
338
339 if (HasFP)
340 BuildMI(MBB, MBBI, dl, TII.get(PPC::STD))
341 .addReg(PPC::X31)
342 .addImm(FPOffset/4)
343 .addReg(PPC::X1);
344
345 if (MustSaveLR)
346 BuildMI(MBB, MBBI, dl, TII.get(PPC::STD))
347 .addReg(PPC::X0)
348 .addImm(LROffset / 4)
349 .addReg(PPC::X1);
350 } else {
351 if (MustSaveLR)
352 BuildMI(MBB, MBBI, dl, TII.get(PPC::MFLR), PPC::R0);
353
354 if (HasFP)
Hal Finkelb8f2f292012-05-19 21:52:55 +0000355 // FIXME: On PPC32 SVR4, FPOffset is negative and access to negative
356 // offsets of R1 is not allowed.
Anton Korobeynikov33464912010-11-15 00:06:54 +0000357 BuildMI(MBB, MBBI, dl, TII.get(PPC::STW))
358 .addReg(PPC::R31)
359 .addImm(FPOffset)
360 .addReg(PPC::R1);
361
362 if (MustSaveLR)
363 BuildMI(MBB, MBBI, dl, TII.get(PPC::STW))
364 .addReg(PPC::R0)
365 .addImm(LROffset)
366 .addReg(PPC::R1);
367 }
368
369 // Skip if a leaf routine.
370 if (!FrameSize) return;
371
372 // Get stack alignments.
Anton Korobeynikov16c29b52011-01-10 12:39:04 +0000373 unsigned TargetAlign = getStackAlignment();
Anton Korobeynikov33464912010-11-15 00:06:54 +0000374 unsigned MaxAlign = MFI->getMaxAlignment();
375
376 // Adjust stack pointer: r1 += NegFrameSize.
377 // If there is a preferred stack alignment, align R1 now
378 if (!isPPC64) {
379 // PPC32.
380 if (ALIGN_STACK && MaxAlign > TargetAlign) {
381 assert(isPowerOf2_32(MaxAlign) && isInt<16>(MaxAlign) &&
382 "Invalid alignment!");
383 assert(isInt<16>(NegFrameSize) && "Unhandled stack size and alignment!");
384
385 BuildMI(MBB, MBBI, dl, TII.get(PPC::RLWINM), PPC::R0)
386 .addReg(PPC::R1)
387 .addImm(0)
388 .addImm(32 - Log2_32(MaxAlign))
389 .addImm(31);
390 BuildMI(MBB, MBBI, dl, TII.get(PPC::SUBFIC) ,PPC::R0)
391 .addReg(PPC::R0, RegState::Kill)
392 .addImm(NegFrameSize);
Hal Finkelac81cc32012-06-19 02:34:32 +0000393 BuildMI(MBB, MBBI, dl, TII.get(PPC::STWUX), PPC::R1)
Hal Finkel2e95afa2011-12-30 00:34:00 +0000394 .addReg(PPC::R1, RegState::Kill)
Hal Finkelac81cc32012-06-19 02:34:32 +0000395 .addReg(PPC::R1)
Anton Korobeynikov33464912010-11-15 00:06:54 +0000396 .addReg(PPC::R0);
397 } else if (isInt<16>(NegFrameSize)) {
398 BuildMI(MBB, MBBI, dl, TII.get(PPC::STWU), PPC::R1)
399 .addReg(PPC::R1)
400 .addImm(NegFrameSize)
401 .addReg(PPC::R1);
402 } else {
403 BuildMI(MBB, MBBI, dl, TII.get(PPC::LIS), PPC::R0)
404 .addImm(NegFrameSize >> 16);
405 BuildMI(MBB, MBBI, dl, TII.get(PPC::ORI), PPC::R0)
406 .addReg(PPC::R0, RegState::Kill)
407 .addImm(NegFrameSize & 0xFFFF);
Hal Finkelac81cc32012-06-19 02:34:32 +0000408 BuildMI(MBB, MBBI, dl, TII.get(PPC::STWUX), PPC::R1)
Hal Finkel2e95afa2011-12-30 00:34:00 +0000409 .addReg(PPC::R1, RegState::Kill)
Hal Finkelac81cc32012-06-19 02:34:32 +0000410 .addReg(PPC::R1)
Anton Korobeynikov33464912010-11-15 00:06:54 +0000411 .addReg(PPC::R0);
412 }
413 } else { // PPC64.
414 if (ALIGN_STACK && MaxAlign > TargetAlign) {
415 assert(isPowerOf2_32(MaxAlign) && isInt<16>(MaxAlign) &&
416 "Invalid alignment!");
417 assert(isInt<16>(NegFrameSize) && "Unhandled stack size and alignment!");
418
419 BuildMI(MBB, MBBI, dl, TII.get(PPC::RLDICL), PPC::X0)
420 .addReg(PPC::X1)
421 .addImm(0)
422 .addImm(64 - Log2_32(MaxAlign));
423 BuildMI(MBB, MBBI, dl, TII.get(PPC::SUBFIC8), PPC::X0)
424 .addReg(PPC::X0)
425 .addImm(NegFrameSize);
Hal Finkelac81cc32012-06-19 02:34:32 +0000426 BuildMI(MBB, MBBI, dl, TII.get(PPC::STDUX), PPC::X1)
Hal Finkel2e95afa2011-12-30 00:34:00 +0000427 .addReg(PPC::X1, RegState::Kill)
Hal Finkelac81cc32012-06-19 02:34:32 +0000428 .addReg(PPC::X1)
Anton Korobeynikov33464912010-11-15 00:06:54 +0000429 .addReg(PPC::X0);
430 } else if (isInt<16>(NegFrameSize)) {
431 BuildMI(MBB, MBBI, dl, TII.get(PPC::STDU), PPC::X1)
432 .addReg(PPC::X1)
433 .addImm(NegFrameSize / 4)
434 .addReg(PPC::X1);
435 } else {
436 BuildMI(MBB, MBBI, dl, TII.get(PPC::LIS8), PPC::X0)
437 .addImm(NegFrameSize >> 16);
438 BuildMI(MBB, MBBI, dl, TII.get(PPC::ORI8), PPC::X0)
439 .addReg(PPC::X0, RegState::Kill)
440 .addImm(NegFrameSize & 0xFFFF);
Hal Finkelac81cc32012-06-19 02:34:32 +0000441 BuildMI(MBB, MBBI, dl, TII.get(PPC::STDUX), PPC::X1)
Hal Finkel2e95afa2011-12-30 00:34:00 +0000442 .addReg(PPC::X1, RegState::Kill)
Hal Finkelac81cc32012-06-19 02:34:32 +0000443 .addReg(PPC::X1)
Anton Korobeynikov33464912010-11-15 00:06:54 +0000444 .addReg(PPC::X0);
445 }
446 }
447
448 std::vector<MachineMove> &Moves = MMI.getFrameMoves();
449
450 // Add the "machine moves" for the instructions we generated above, but in
451 // reverse order.
452 if (needsFrameMoves) {
453 // Mark effective beginning of when frame pointer becomes valid.
454 FrameLabel = MMI.getContext().CreateTempSymbol();
455 BuildMI(MBB, MBBI, dl, TII.get(PPC::PROLOG_LABEL)).addSym(FrameLabel);
456
457 // Show update of SP.
458 if (NegFrameSize) {
459 MachineLocation SPDst(MachineLocation::VirtualFP);
460 MachineLocation SPSrc(MachineLocation::VirtualFP, NegFrameSize);
461 Moves.push_back(MachineMove(FrameLabel, SPDst, SPSrc));
462 } else {
463 MachineLocation SP(isPPC64 ? PPC::X31 : PPC::R31);
464 Moves.push_back(MachineMove(FrameLabel, SP, SP));
465 }
466
467 if (HasFP) {
468 MachineLocation FPDst(MachineLocation::VirtualFP, FPOffset);
469 MachineLocation FPSrc(isPPC64 ? PPC::X31 : PPC::R31);
470 Moves.push_back(MachineMove(FrameLabel, FPDst, FPSrc));
471 }
472
473 if (MustSaveLR) {
474 MachineLocation LRDst(MachineLocation::VirtualFP, LROffset);
475 MachineLocation LRSrc(isPPC64 ? PPC::LR8 : PPC::LR);
476 Moves.push_back(MachineMove(FrameLabel, LRDst, LRSrc));
477 }
478 }
479
480 MCSymbol *ReadyLabel = 0;
481
482 // If there is a frame pointer, copy R1 into R31
483 if (HasFP) {
484 if (!isPPC64) {
485 BuildMI(MBB, MBBI, dl, TII.get(PPC::OR), PPC::R31)
486 .addReg(PPC::R1)
487 .addReg(PPC::R1);
488 } else {
489 BuildMI(MBB, MBBI, dl, TII.get(PPC::OR8), PPC::X31)
490 .addReg(PPC::X1)
491 .addReg(PPC::X1);
492 }
493
494 if (needsFrameMoves) {
495 ReadyLabel = MMI.getContext().CreateTempSymbol();
496
497 // Mark effective beginning of when frame pointer is ready.
498 BuildMI(MBB, MBBI, dl, TII.get(PPC::PROLOG_LABEL)).addSym(ReadyLabel);
499
500 MachineLocation FPDst(HasFP ? (isPPC64 ? PPC::X31 : PPC::R31) :
501 (isPPC64 ? PPC::X1 : PPC::R1));
502 MachineLocation FPSrc(MachineLocation::VirtualFP);
503 Moves.push_back(MachineMove(ReadyLabel, FPDst, FPSrc));
504 }
505 }
506
507 if (needsFrameMoves) {
508 MCSymbol *Label = HasFP ? ReadyLabel : FrameLabel;
509
510 // Add callee saved registers to move list.
511 const std::vector<CalleeSavedInfo> &CSI = MFI->getCalleeSavedInfo();
512 for (unsigned I = 0, E = CSI.size(); I != E; ++I) {
Anton Korobeynikov33464912010-11-15 00:06:54 +0000513 unsigned Reg = CSI[I].getReg();
514 if (Reg == PPC::LR || Reg == PPC::LR8 || Reg == PPC::RM) continue;
Rafael Espindola6e032942011-05-30 20:20:15 +0000515
516 // This is a bit of a hack: CR2LT, CR2GT, CR2EQ and CR2UN are just
517 // subregisters of CR2. We just need to emit a move of CR2.
Craig Topperc9099502012-04-20 06:31:50 +0000518 if (PPC::CRBITRCRegClass.contains(Reg))
Rafael Espindola6e032942011-05-30 20:20:15 +0000519 continue;
Rafael Espindola6e032942011-05-30 20:20:15 +0000520
Roman Divacky9d760ae2012-09-12 14:47:47 +0000521 // For SVR4, don't emit a move for the CR spill slot if we haven't
522 // spilled CRs.
523 if (Subtarget.isSVR4ABI()
524 && (PPC::CR2 <= Reg && Reg <= PPC::CR4)
525 && !spillsCR(MF))
526 continue;
527
528 // For 64-bit SVR4 when we have spilled CRs, the spill location
529 // is SP+8, not a frame-relative slot.
530 if (Subtarget.isSVR4ABI()
531 && Subtarget.isPPC64()
532 && (PPC::CR2 <= Reg && Reg <= PPC::CR4)) {
533 MachineLocation CSDst(PPC::X1, 8);
534 MachineLocation CSSrc(PPC::CR2);
535 Moves.push_back(MachineMove(Label, CSDst, CSSrc));
536 continue;
537 }
538
539 int Offset = MFI->getObjectOffset(CSI[I].getFrameIdx());
Anton Korobeynikov33464912010-11-15 00:06:54 +0000540 MachineLocation CSDst(MachineLocation::VirtualFP, Offset);
541 MachineLocation CSSrc(Reg);
542 Moves.push_back(MachineMove(Label, CSDst, CSSrc));
543 }
544 }
545}
546
Anton Korobeynikov16c29b52011-01-10 12:39:04 +0000547void PPCFrameLowering::emitEpilogue(MachineFunction &MF,
Anton Korobeynikov33464912010-11-15 00:06:54 +0000548 MachineBasicBlock &MBB) const {
Jakob Stoklund Olesen4f28c1c2011-01-13 21:28:52 +0000549 MachineBasicBlock::iterator MBBI = MBB.getLastNonDebugInstr();
550 assert(MBBI != MBB.end() && "Returning block has no terminator");
Anton Korobeynikov33464912010-11-15 00:06:54 +0000551 const PPCInstrInfo &TII =
552 *static_cast<const PPCInstrInfo*>(MF.getTarget().getInstrInfo());
553
554 unsigned RetOpcode = MBBI->getOpcode();
555 DebugLoc dl;
556
Anton Korobeynikovd0c38172010-11-18 21:19:35 +0000557 assert((RetOpcode == PPC::BLR ||
558 RetOpcode == PPC::TCRETURNri ||
559 RetOpcode == PPC::TCRETURNdi ||
560 RetOpcode == PPC::TCRETURNai ||
561 RetOpcode == PPC::TCRETURNri8 ||
562 RetOpcode == PPC::TCRETURNdi8 ||
563 RetOpcode == PPC::TCRETURNai8) &&
Anton Korobeynikov33464912010-11-15 00:06:54 +0000564 "Can only insert epilog into returning blocks");
565
566 // Get alignment info so we know how to restore r1
567 const MachineFrameInfo *MFI = MF.getFrameInfo();
Anton Korobeynikov16c29b52011-01-10 12:39:04 +0000568 unsigned TargetAlign = getStackAlignment();
Anton Korobeynikov33464912010-11-15 00:06:54 +0000569 unsigned MaxAlign = MFI->getMaxAlignment();
570
571 // Get the number of bytes allocated from the FrameInfo.
572 int FrameSize = MFI->getStackSize();
573
574 // Get processor type.
575 bool isPPC64 = Subtarget.isPPC64();
576 // Get operating system
577 bool isDarwinABI = Subtarget.isDarwinABI();
578 // Check if the link register (LR) has been saved.
579 PPCFunctionInfo *FI = MF.getInfo<PPCFunctionInfo>();
580 bool MustSaveLR = FI->mustSaveLR();
581 // Do we have a frame pointer for this function?
Anton Korobeynikovc8bd78c2010-12-18 19:53:14 +0000582 bool HasFP = hasFP(MF);
Anton Korobeynikov33464912010-11-15 00:06:54 +0000583
Anton Korobeynikov16c29b52011-01-10 12:39:04 +0000584 int LROffset = PPCFrameLowering::getReturnSaveOffset(isPPC64, isDarwinABI);
Anton Korobeynikov33464912010-11-15 00:06:54 +0000585
586 int FPOffset = 0;
587 if (HasFP) {
588 if (Subtarget.isSVR4ABI()) {
589 MachineFrameInfo *FFI = MF.getFrameInfo();
590 int FPIndex = FI->getFramePointerSaveIndex();
591 assert(FPIndex && "No Frame Pointer Save Slot!");
592 FPOffset = FFI->getObjectOffset(FPIndex);
593 } else {
Anton Korobeynikov16c29b52011-01-10 12:39:04 +0000594 FPOffset = PPCFrameLowering::getFramePointerSaveOffset(isPPC64, isDarwinABI);
Anton Korobeynikov33464912010-11-15 00:06:54 +0000595 }
596 }
597
598 bool UsesTCRet = RetOpcode == PPC::TCRETURNri ||
599 RetOpcode == PPC::TCRETURNdi ||
600 RetOpcode == PPC::TCRETURNai ||
601 RetOpcode == PPC::TCRETURNri8 ||
602 RetOpcode == PPC::TCRETURNdi8 ||
603 RetOpcode == PPC::TCRETURNai8;
604
605 if (UsesTCRet) {
606 int MaxTCRetDelta = FI->getTailCallSPDelta();
607 MachineOperand &StackAdjust = MBBI->getOperand(1);
608 assert(StackAdjust.isImm() && "Expecting immediate value.");
609 // Adjust stack pointer.
610 int StackAdj = StackAdjust.getImm();
611 int Delta = StackAdj - MaxTCRetDelta;
612 assert((Delta >= 0) && "Delta must be positive");
613 if (MaxTCRetDelta>0)
614 FrameSize += (StackAdj +Delta);
615 else
616 FrameSize += StackAdj;
617 }
618
619 if (FrameSize) {
620 // The loaded (or persistent) stack pointer value is offset by the 'stwu'
621 // on entry to the function. Add this offset back now.
622 if (!isPPC64) {
623 // If this function contained a fastcc call and GuaranteedTailCallOpt is
624 // enabled (=> hasFastCall()==true) the fastcc call might contain a tail
625 // call which invalidates the stack pointer value in SP(0). So we use the
626 // value of R31 in this case.
627 if (FI->hasFastCall() && isInt<16>(FrameSize)) {
Anton Korobeynikovd0c38172010-11-18 21:19:35 +0000628 assert(hasFP(MF) && "Expecting a valid the frame pointer.");
Anton Korobeynikov33464912010-11-15 00:06:54 +0000629 BuildMI(MBB, MBBI, dl, TII.get(PPC::ADDI), PPC::R1)
630 .addReg(PPC::R31).addImm(FrameSize);
631 } else if(FI->hasFastCall()) {
632 BuildMI(MBB, MBBI, dl, TII.get(PPC::LIS), PPC::R0)
633 .addImm(FrameSize >> 16);
634 BuildMI(MBB, MBBI, dl, TII.get(PPC::ORI), PPC::R0)
635 .addReg(PPC::R0, RegState::Kill)
636 .addImm(FrameSize & 0xFFFF);
637 BuildMI(MBB, MBBI, dl, TII.get(PPC::ADD4))
638 .addReg(PPC::R1)
639 .addReg(PPC::R31)
640 .addReg(PPC::R0);
641 } else if (isInt<16>(FrameSize) &&
642 (!ALIGN_STACK || TargetAlign >= MaxAlign) &&
643 !MFI->hasVarSizedObjects()) {
644 BuildMI(MBB, MBBI, dl, TII.get(PPC::ADDI), PPC::R1)
645 .addReg(PPC::R1).addImm(FrameSize);
646 } else {
647 BuildMI(MBB, MBBI, dl, TII.get(PPC::LWZ),PPC::R1)
648 .addImm(0).addReg(PPC::R1);
649 }
650 } else {
651 if (FI->hasFastCall() && isInt<16>(FrameSize)) {
Anton Korobeynikovd0c38172010-11-18 21:19:35 +0000652 assert(hasFP(MF) && "Expecting a valid the frame pointer.");
Anton Korobeynikov33464912010-11-15 00:06:54 +0000653 BuildMI(MBB, MBBI, dl, TII.get(PPC::ADDI8), PPC::X1)
654 .addReg(PPC::X31).addImm(FrameSize);
655 } else if(FI->hasFastCall()) {
656 BuildMI(MBB, MBBI, dl, TII.get(PPC::LIS8), PPC::X0)
657 .addImm(FrameSize >> 16);
658 BuildMI(MBB, MBBI, dl, TII.get(PPC::ORI8), PPC::X0)
659 .addReg(PPC::X0, RegState::Kill)
660 .addImm(FrameSize & 0xFFFF);
661 BuildMI(MBB, MBBI, dl, TII.get(PPC::ADD8))
662 .addReg(PPC::X1)
663 .addReg(PPC::X31)
664 .addReg(PPC::X0);
665 } else if (isInt<16>(FrameSize) && TargetAlign >= MaxAlign &&
666 !MFI->hasVarSizedObjects()) {
667 BuildMI(MBB, MBBI, dl, TII.get(PPC::ADDI8), PPC::X1)
668 .addReg(PPC::X1).addImm(FrameSize);
669 } else {
670 BuildMI(MBB, MBBI, dl, TII.get(PPC::LD), PPC::X1)
671 .addImm(0).addReg(PPC::X1);
672 }
673 }
674 }
675
676 if (isPPC64) {
677 if (MustSaveLR)
678 BuildMI(MBB, MBBI, dl, TII.get(PPC::LD), PPC::X0)
679 .addImm(LROffset/4).addReg(PPC::X1);
680
681 if (HasFP)
682 BuildMI(MBB, MBBI, dl, TII.get(PPC::LD), PPC::X31)
683 .addImm(FPOffset/4).addReg(PPC::X1);
684
685 if (MustSaveLR)
686 BuildMI(MBB, MBBI, dl, TII.get(PPC::MTLR8)).addReg(PPC::X0);
687 } else {
688 if (MustSaveLR)
689 BuildMI(MBB, MBBI, dl, TII.get(PPC::LWZ), PPC::R0)
690 .addImm(LROffset).addReg(PPC::R1);
691
692 if (HasFP)
693 BuildMI(MBB, MBBI, dl, TII.get(PPC::LWZ), PPC::R31)
694 .addImm(FPOffset).addReg(PPC::R1);
695
696 if (MustSaveLR)
697 BuildMI(MBB, MBBI, dl, TII.get(PPC::MTLR)).addReg(PPC::R0);
698 }
699
700 // Callee pop calling convention. Pop parameter/linkage area. Used for tail
701 // call optimization
Nick Lewycky8a8d4792011-12-02 22:16:29 +0000702 if (MF.getTarget().Options.GuaranteedTailCallOpt && RetOpcode == PPC::BLR &&
Anton Korobeynikov33464912010-11-15 00:06:54 +0000703 MF.getFunction()->getCallingConv() == CallingConv::Fast) {
704 PPCFunctionInfo *FI = MF.getInfo<PPCFunctionInfo>();
705 unsigned CallerAllocatedAmt = FI->getMinReservedArea();
706 unsigned StackReg = isPPC64 ? PPC::X1 : PPC::R1;
707 unsigned FPReg = isPPC64 ? PPC::X31 : PPC::R31;
708 unsigned TmpReg = isPPC64 ? PPC::X0 : PPC::R0;
709 unsigned ADDIInstr = isPPC64 ? PPC::ADDI8 : PPC::ADDI;
710 unsigned ADDInstr = isPPC64 ? PPC::ADD8 : PPC::ADD4;
711 unsigned LISInstr = isPPC64 ? PPC::LIS8 : PPC::LIS;
712 unsigned ORIInstr = isPPC64 ? PPC::ORI8 : PPC::ORI;
713
714 if (CallerAllocatedAmt && isInt<16>(CallerAllocatedAmt)) {
715 BuildMI(MBB, MBBI, dl, TII.get(ADDIInstr), StackReg)
716 .addReg(StackReg).addImm(CallerAllocatedAmt);
717 } else {
718 BuildMI(MBB, MBBI, dl, TII.get(LISInstr), TmpReg)
719 .addImm(CallerAllocatedAmt >> 16);
720 BuildMI(MBB, MBBI, dl, TII.get(ORIInstr), TmpReg)
721 .addReg(TmpReg, RegState::Kill)
722 .addImm(CallerAllocatedAmt & 0xFFFF);
723 BuildMI(MBB, MBBI, dl, TII.get(ADDInstr))
724 .addReg(StackReg)
725 .addReg(FPReg)
726 .addReg(TmpReg);
727 }
728 } else if (RetOpcode == PPC::TCRETURNdi) {
Jakob Stoklund Olesen4f28c1c2011-01-13 21:28:52 +0000729 MBBI = MBB.getLastNonDebugInstr();
Anton Korobeynikov33464912010-11-15 00:06:54 +0000730 MachineOperand &JumpTarget = MBBI->getOperand(0);
731 BuildMI(MBB, MBBI, dl, TII.get(PPC::TAILB)).
732 addGlobalAddress(JumpTarget.getGlobal(), JumpTarget.getOffset());
733 } else if (RetOpcode == PPC::TCRETURNri) {
Jakob Stoklund Olesen4f28c1c2011-01-13 21:28:52 +0000734 MBBI = MBB.getLastNonDebugInstr();
Anton Korobeynikov33464912010-11-15 00:06:54 +0000735 assert(MBBI->getOperand(0).isReg() && "Expecting register operand.");
736 BuildMI(MBB, MBBI, dl, TII.get(PPC::TAILBCTR));
737 } else if (RetOpcode == PPC::TCRETURNai) {
Jakob Stoklund Olesen4f28c1c2011-01-13 21:28:52 +0000738 MBBI = MBB.getLastNonDebugInstr();
Anton Korobeynikov33464912010-11-15 00:06:54 +0000739 MachineOperand &JumpTarget = MBBI->getOperand(0);
740 BuildMI(MBB, MBBI, dl, TII.get(PPC::TAILBA)).addImm(JumpTarget.getImm());
741 } else if (RetOpcode == PPC::TCRETURNdi8) {
Jakob Stoklund Olesen4f28c1c2011-01-13 21:28:52 +0000742 MBBI = MBB.getLastNonDebugInstr();
Anton Korobeynikov33464912010-11-15 00:06:54 +0000743 MachineOperand &JumpTarget = MBBI->getOperand(0);
744 BuildMI(MBB, MBBI, dl, TII.get(PPC::TAILB8)).
745 addGlobalAddress(JumpTarget.getGlobal(), JumpTarget.getOffset());
746 } else if (RetOpcode == PPC::TCRETURNri8) {
Jakob Stoklund Olesen4f28c1c2011-01-13 21:28:52 +0000747 MBBI = MBB.getLastNonDebugInstr();
Anton Korobeynikov33464912010-11-15 00:06:54 +0000748 assert(MBBI->getOperand(0).isReg() && "Expecting register operand.");
749 BuildMI(MBB, MBBI, dl, TII.get(PPC::TAILBCTR8));
750 } else if (RetOpcode == PPC::TCRETURNai8) {
Jakob Stoklund Olesen4f28c1c2011-01-13 21:28:52 +0000751 MBBI = MBB.getLastNonDebugInstr();
Anton Korobeynikov33464912010-11-15 00:06:54 +0000752 MachineOperand &JumpTarget = MBBI->getOperand(0);
753 BuildMI(MBB, MBBI, dl, TII.get(PPC::TAILBA8)).addImm(JumpTarget.getImm());
754 }
755}
Anton Korobeynikovd9e33852010-11-18 23:25:52 +0000756
Anton Korobeynikov94c5ae02010-11-27 23:05:25 +0000757/// MustSaveLR - Return true if this function requires that we save the LR
758/// register onto the stack in the prolog and restore it in the epilog of the
759/// function.
760static bool MustSaveLR(const MachineFunction &MF, unsigned LR) {
761 const PPCFunctionInfo *MFI = MF.getInfo<PPCFunctionInfo>();
762
763 // We need a save/restore of LR if there is any def of LR (which is
764 // defined by calls, including the PIC setup sequence), or if there is
765 // some use of the LR stack slot (e.g. for builtin_return_address).
766 // (LR comes in 32 and 64 bit versions.)
767 MachineRegisterInfo::def_iterator RI = MF.getRegInfo().def_begin(LR);
768 return RI !=MF.getRegInfo().def_end() || MFI->isLRStoreRequired();
769}
770
771void
Anton Korobeynikov16c29b52011-01-10 12:39:04 +0000772PPCFrameLowering::processFunctionBeforeCalleeSavedScan(MachineFunction &MF,
Anton Korobeynikov94c5ae02010-11-27 23:05:25 +0000773 RegScavenger *RS) const {
774 const TargetRegisterInfo *RegInfo = MF.getTarget().getRegisterInfo();
775
776 // Save and clear the LR state.
777 PPCFunctionInfo *FI = MF.getInfo<PPCFunctionInfo>();
778 unsigned LR = RegInfo->getRARegister();
779 FI->setMustSaveLR(MustSaveLR(MF, LR));
780 MF.getRegInfo().setPhysRegUnused(LR);
781
782 // Save R31 if necessary
783 int FPSI = FI->getFramePointerSaveIndex();
784 bool isPPC64 = Subtarget.isPPC64();
785 bool isDarwinABI = Subtarget.isDarwinABI();
786 MachineFrameInfo *MFI = MF.getFrameInfo();
787
788 // If the frame pointer save index hasn't been defined yet.
Anton Korobeynikovc8bd78c2010-12-18 19:53:14 +0000789 if (!FPSI && needsFP(MF)) {
Anton Korobeynikov94c5ae02010-11-27 23:05:25 +0000790 // Find out what the fix offset of the frame pointer save area.
791 int FPOffset = getFramePointerSaveOffset(isPPC64, isDarwinABI);
792 // Allocate the frame index for frame pointer save area.
Anton Korobeynikov16c29b52011-01-10 12:39:04 +0000793 FPSI = MFI->CreateFixedObject(isPPC64? 8 : 4, FPOffset, true);
Anton Korobeynikov94c5ae02010-11-27 23:05:25 +0000794 // Save the result.
795 FI->setFramePointerSaveIndex(FPSI);
796 }
797
798 // Reserve stack space to move the linkage area to in case of a tail call.
799 int TCSPDelta = 0;
Nick Lewycky8a8d4792011-12-02 22:16:29 +0000800 if (MF.getTarget().Options.GuaranteedTailCallOpt &&
801 (TCSPDelta = FI->getTailCallSPDelta()) < 0) {
Anton Korobeynikov16c29b52011-01-10 12:39:04 +0000802 MFI->CreateFixedObject(-1 * TCSPDelta, TCSPDelta, true);
Anton Korobeynikov94c5ae02010-11-27 23:05:25 +0000803 }
804
805 // Reserve a slot closest to SP or frame pointer if we have a dynalloc or
806 // a large stack, which will require scavenging a register to materialize a
807 // large offset.
808 // FIXME: this doesn't actually check stack size, so is a bit pessimistic
809 // FIXME: doesn't detect whether or not we need to spill vXX, which requires
810 // r0 for now.
811
Hal Finkel3fd00182011-12-05 17:55:17 +0000812 if (RegInfo->requiresRegisterScavenging(MF))
Anton Korobeynikovc8bd78c2010-12-18 19:53:14 +0000813 if (needsFP(MF) || spillsCR(MF)) {
Anton Korobeynikov94c5ae02010-11-27 23:05:25 +0000814 const TargetRegisterClass *GPRC = &PPC::GPRCRegClass;
815 const TargetRegisterClass *G8RC = &PPC::G8RCRegClass;
816 const TargetRegisterClass *RC = isPPC64 ? G8RC : GPRC;
817 RS->setScavengingFrameIndex(MFI->CreateStackObject(RC->getSize(),
818 RC->getAlignment(),
819 false));
820 }
821}
822
Anton Korobeynikov16c29b52011-01-10 12:39:04 +0000823void PPCFrameLowering::processFunctionBeforeFrameFinalized(MachineFunction &MF)
Anton Korobeynikov94c5ae02010-11-27 23:05:25 +0000824 const {
825 // Early exit if not using the SVR4 ABI.
826 if (!Subtarget.isSVR4ABI())
827 return;
828
829 // Get callee saved register information.
830 MachineFrameInfo *FFI = MF.getFrameInfo();
831 const std::vector<CalleeSavedInfo> &CSI = FFI->getCalleeSavedInfo();
832
833 // Early exit if no callee saved registers are modified!
Anton Korobeynikovc8bd78c2010-12-18 19:53:14 +0000834 if (CSI.empty() && !needsFP(MF)) {
Anton Korobeynikov94c5ae02010-11-27 23:05:25 +0000835 return;
836 }
837
838 unsigned MinGPR = PPC::R31;
839 unsigned MinG8R = PPC::X31;
840 unsigned MinFPR = PPC::F31;
841 unsigned MinVR = PPC::V31;
842
843 bool HasGPSaveArea = false;
844 bool HasG8SaveArea = false;
845 bool HasFPSaveArea = false;
Anton Korobeynikov94c5ae02010-11-27 23:05:25 +0000846 bool HasVRSAVESaveArea = false;
847 bool HasVRSaveArea = false;
848
849 SmallVector<CalleeSavedInfo, 18> GPRegs;
850 SmallVector<CalleeSavedInfo, 18> G8Regs;
851 SmallVector<CalleeSavedInfo, 18> FPRegs;
852 SmallVector<CalleeSavedInfo, 18> VRegs;
853
854 for (unsigned i = 0, e = CSI.size(); i != e; ++i) {
855 unsigned Reg = CSI[i].getReg();
Craig Topperc9099502012-04-20 06:31:50 +0000856 if (PPC::GPRCRegClass.contains(Reg)) {
Anton Korobeynikov94c5ae02010-11-27 23:05:25 +0000857 HasGPSaveArea = true;
858
859 GPRegs.push_back(CSI[i]);
860
861 if (Reg < MinGPR) {
862 MinGPR = Reg;
863 }
Craig Topperc9099502012-04-20 06:31:50 +0000864 } else if (PPC::G8RCRegClass.contains(Reg)) {
Anton Korobeynikov94c5ae02010-11-27 23:05:25 +0000865 HasG8SaveArea = true;
866
867 G8Regs.push_back(CSI[i]);
868
869 if (Reg < MinG8R) {
870 MinG8R = Reg;
871 }
Craig Topperc9099502012-04-20 06:31:50 +0000872 } else if (PPC::F8RCRegClass.contains(Reg)) {
Anton Korobeynikov94c5ae02010-11-27 23:05:25 +0000873 HasFPSaveArea = true;
874
875 FPRegs.push_back(CSI[i]);
876
877 if (Reg < MinFPR) {
878 MinFPR = Reg;
879 }
Craig Topperc9099502012-04-20 06:31:50 +0000880 } else if (PPC::CRBITRCRegClass.contains(Reg) ||
881 PPC::CRRCRegClass.contains(Reg)) {
Roman Divacky9d760ae2012-09-12 14:47:47 +0000882 ; // do nothing, as we already know whether CRs are spilled
Craig Topperc9099502012-04-20 06:31:50 +0000883 } else if (PPC::VRSAVERCRegClass.contains(Reg)) {
Anton Korobeynikov94c5ae02010-11-27 23:05:25 +0000884 HasVRSAVESaveArea = true;
Craig Topperc9099502012-04-20 06:31:50 +0000885 } else if (PPC::VRRCRegClass.contains(Reg)) {
Anton Korobeynikov94c5ae02010-11-27 23:05:25 +0000886 HasVRSaveArea = true;
887
888 VRegs.push_back(CSI[i]);
889
890 if (Reg < MinVR) {
891 MinVR = Reg;
892 }
893 } else {
894 llvm_unreachable("Unknown RegisterClass!");
895 }
896 }
897
898 PPCFunctionInfo *PFI = MF.getInfo<PPCFunctionInfo>();
899
900 int64_t LowerBound = 0;
901
902 // Take into account stack space reserved for tail calls.
903 int TCSPDelta = 0;
Nick Lewycky8a8d4792011-12-02 22:16:29 +0000904 if (MF.getTarget().Options.GuaranteedTailCallOpt &&
905 (TCSPDelta = PFI->getTailCallSPDelta()) < 0) {
Anton Korobeynikov94c5ae02010-11-27 23:05:25 +0000906 LowerBound = TCSPDelta;
907 }
908
909 // The Floating-point register save area is right below the back chain word
910 // of the previous stack frame.
911 if (HasFPSaveArea) {
912 for (unsigned i = 0, e = FPRegs.size(); i != e; ++i) {
913 int FI = FPRegs[i].getFrameIdx();
914
915 FFI->setObjectOffset(FI, LowerBound + FFI->getObjectOffset(FI));
916 }
917
Evan Cheng966aeb52011-07-25 19:53:23 +0000918 LowerBound -= (31 - getPPCRegisterNumbering(MinFPR) + 1) * 8;
Anton Korobeynikov94c5ae02010-11-27 23:05:25 +0000919 }
920
921 // Check whether the frame pointer register is allocated. If so, make sure it
922 // is spilled to the correct offset.
Anton Korobeynikovc8bd78c2010-12-18 19:53:14 +0000923 if (needsFP(MF)) {
Anton Korobeynikov94c5ae02010-11-27 23:05:25 +0000924 HasGPSaveArea = true;
925
926 int FI = PFI->getFramePointerSaveIndex();
927 assert(FI && "No Frame Pointer Save Slot!");
928
929 FFI->setObjectOffset(FI, LowerBound + FFI->getObjectOffset(FI));
930 }
931
932 // General register save area starts right below the Floating-point
933 // register save area.
934 if (HasGPSaveArea || HasG8SaveArea) {
935 // Move general register save area spill slots down, taking into account
936 // the size of the Floating-point register save area.
937 for (unsigned i = 0, e = GPRegs.size(); i != e; ++i) {
938 int FI = GPRegs[i].getFrameIdx();
939
940 FFI->setObjectOffset(FI, LowerBound + FFI->getObjectOffset(FI));
941 }
942
943 // Move general register save area spill slots down, taking into account
944 // the size of the Floating-point register save area.
945 for (unsigned i = 0, e = G8Regs.size(); i != e; ++i) {
946 int FI = G8Regs[i].getFrameIdx();
947
948 FFI->setObjectOffset(FI, LowerBound + FFI->getObjectOffset(FI));
949 }
950
951 unsigned MinReg =
Evan Cheng966aeb52011-07-25 19:53:23 +0000952 std::min<unsigned>(getPPCRegisterNumbering(MinGPR),
953 getPPCRegisterNumbering(MinG8R));
Anton Korobeynikov94c5ae02010-11-27 23:05:25 +0000954
955 if (Subtarget.isPPC64()) {
956 LowerBound -= (31 - MinReg + 1) * 8;
957 } else {
958 LowerBound -= (31 - MinReg + 1) * 4;
959 }
960 }
961
Roman Divacky9d760ae2012-09-12 14:47:47 +0000962 // For 32-bit only, the CR save area is below the general register
963 // save area. For 64-bit SVR4, the CR save area is addressed relative
964 // to the stack pointer and hence does not need an adjustment here.
965 // Only CR2 (the first nonvolatile spilled) has an associated frame
966 // index so that we have a single uniform save area.
967 if (spillsCR(MF) && !(Subtarget.isPPC64() && Subtarget.isSVR4ABI())) {
Anton Korobeynikov94c5ae02010-11-27 23:05:25 +0000968 // Adjust the frame index of the CR spill slot.
969 for (unsigned i = 0, e = CSI.size(); i != e; ++i) {
970 unsigned Reg = CSI[i].getReg();
971
Roman Divacky9d760ae2012-09-12 14:47:47 +0000972 if ((Subtarget.isSVR4ABI() && Reg == PPC::CR2)
973 // Leave Darwin logic as-is.
974 || (!Subtarget.isSVR4ABI() &&
975 (PPC::CRBITRCRegClass.contains(Reg) ||
976 PPC::CRRCRegClass.contains(Reg)))) {
Anton Korobeynikov94c5ae02010-11-27 23:05:25 +0000977 int FI = CSI[i].getFrameIdx();
978
979 FFI->setObjectOffset(FI, LowerBound + FFI->getObjectOffset(FI));
980 }
981 }
982
983 LowerBound -= 4; // The CR save area is always 4 bytes long.
984 }
985
986 if (HasVRSAVESaveArea) {
987 // FIXME SVR4: Is it actually possible to have multiple elements in CSI
988 // which have the VRSAVE register class?
989 // Adjust the frame index of the VRSAVE spill slot.
990 for (unsigned i = 0, e = CSI.size(); i != e; ++i) {
991 unsigned Reg = CSI[i].getReg();
992
Craig Topperc9099502012-04-20 06:31:50 +0000993 if (PPC::VRSAVERCRegClass.contains(Reg)) {
Anton Korobeynikov94c5ae02010-11-27 23:05:25 +0000994 int FI = CSI[i].getFrameIdx();
995
996 FFI->setObjectOffset(FI, LowerBound + FFI->getObjectOffset(FI));
997 }
998 }
999
1000 LowerBound -= 4; // The VRSAVE save area is always 4 bytes long.
1001 }
1002
1003 if (HasVRSaveArea) {
1004 // Insert alignment padding, we need 16-byte alignment.
1005 LowerBound = (LowerBound - 15) & ~(15);
1006
1007 for (unsigned i = 0, e = VRegs.size(); i != e; ++i) {
1008 int FI = VRegs[i].getFrameIdx();
1009
1010 FFI->setObjectOffset(FI, LowerBound + FFI->getObjectOffset(FI));
1011 }
1012 }
1013}
Roman Divacky9d760ae2012-09-12 14:47:47 +00001014
1015bool
1016PPCFrameLowering::spillCalleeSavedRegisters(MachineBasicBlock &MBB,
1017 MachineBasicBlock::iterator MI,
1018 const std::vector<CalleeSavedInfo> &CSI,
1019 const TargetRegisterInfo *TRI) const {
1020
1021 // Currently, this function only handles SVR4 32- and 64-bit ABIs.
1022 // Return false otherwise to maintain pre-existing behavior.
1023 if (!Subtarget.isSVR4ABI())
1024 return false;
1025
1026 MachineFunction *MF = MBB.getParent();
1027 const PPCInstrInfo &TII =
1028 *static_cast<const PPCInstrInfo*>(MF->getTarget().getInstrInfo());
1029 DebugLoc DL;
1030 bool CRSpilled = false;
1031
1032 for (unsigned i = 0, e = CSI.size(); i != e; ++i) {
1033 unsigned Reg = CSI[i].getReg();
1034 // CR2 through CR4 are the nonvolatile CR fields.
1035 bool IsCRField = PPC::CR2 <= Reg && Reg <= PPC::CR4;
1036
1037 if (CRSpilled && IsCRField)
1038 continue;
1039
1040 // Add the callee-saved register as live-in; it's killed at the spill.
1041 MBB.addLiveIn(Reg);
1042
1043 // Insert the spill to the stack frame.
1044 if (IsCRField) {
1045 CRSpilled = true;
1046 // The first time we see a CR field, store the whole CR into the
1047 // save slot via GPR12 (available in the prolog for 32- and 64-bit).
1048 if (Subtarget.isPPC64()) {
1049 // 64-bit: SP+8
1050 MBB.insert(MI, BuildMI(*MF, DL, TII.get(PPC::MFCR), PPC::X12));
1051 MBB.insert(MI, BuildMI(*MF, DL, TII.get(PPC::STW))
1052 .addReg(PPC::X12,
1053 getKillRegState(true))
1054 .addImm(8)
1055 .addReg(PPC::X1));
1056 } else {
1057 // 32-bit: FP-relative. Note that we made sure CR2-CR4 all have
1058 // the same frame index in PPCRegisterInfo::hasReservedSpillSlot.
1059 MBB.insert(MI, BuildMI(*MF, DL, TII.get(PPC::MFCR), PPC::R12));
1060 MBB.insert(MI, addFrameReference(BuildMI(*MF, DL, TII.get(PPC::STW))
1061 .addReg(PPC::R12,
1062 getKillRegState(true)),
1063 CSI[i].getFrameIdx()));
1064 }
1065
1066 // Record that we spill the CR in this function.
1067 PPCFunctionInfo *FuncInfo = MF->getInfo<PPCFunctionInfo>();
1068 FuncInfo->setSpillsCR();
1069 } else {
1070 const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg);
1071 TII.storeRegToStackSlot(MBB, MI, Reg, true,
1072 CSI[i].getFrameIdx(), RC, TRI);
1073 }
1074 }
1075 return true;
1076}
1077
1078static void
1079restoreCRs(bool isPPC64, bool CR2Spilled, bool CR3Spilled, bool CR4Spilled,
1080 MachineBasicBlock &MBB, MachineBasicBlock::iterator MI,
1081 const std::vector<CalleeSavedInfo> &CSI, unsigned CSIIndex) {
1082
1083 MachineFunction *MF = MBB.getParent();
1084 const PPCInstrInfo &TII =
1085 *static_cast<const PPCInstrInfo*>(MF->getTarget().getInstrInfo());
1086 DebugLoc DL;
1087 unsigned RestoreOp, MoveReg;
1088
1089 if (isPPC64) {
1090 // 64-bit: SP+8
1091 MBB.insert(MI, BuildMI(*MF, DL, TII.get(PPC::LWZ), PPC::X12)
1092 .addImm(8)
1093 .addReg(PPC::X1));
1094 RestoreOp = PPC::MTCRF8;
1095 MoveReg = PPC::X12;
1096 } else {
1097 // 32-bit: FP-relative
1098 MBB.insert(MI, addFrameReference(BuildMI(*MF, DL, TII.get(PPC::LWZ),
1099 PPC::R12),
1100 CSI[CSIIndex].getFrameIdx()));
1101 RestoreOp = PPC::MTCRF;
1102 MoveReg = PPC::R12;
1103 }
1104
1105 if (CR2Spilled)
1106 MBB.insert(MI, BuildMI(*MF, DL, TII.get(RestoreOp), PPC::CR2)
1107 .addReg(MoveReg));
1108
1109 if (CR3Spilled)
1110 MBB.insert(MI, BuildMI(*MF, DL, TII.get(RestoreOp), PPC::CR3)
1111 .addReg(MoveReg));
1112
1113 if (CR4Spilled)
1114 MBB.insert(MI, BuildMI(*MF, DL, TII.get(RestoreOp), PPC::CR4)
1115 .addReg(MoveReg));
1116}
1117
1118bool
1119PPCFrameLowering::restoreCalleeSavedRegisters(MachineBasicBlock &MBB,
1120 MachineBasicBlock::iterator MI,
1121 const std::vector<CalleeSavedInfo> &CSI,
1122 const TargetRegisterInfo *TRI) const {
1123
1124 // Currently, this function only handles SVR4 32- and 64-bit ABIs.
1125 // Return false otherwise to maintain pre-existing behavior.
1126 if (!Subtarget.isSVR4ABI())
1127 return false;
1128
1129 MachineFunction *MF = MBB.getParent();
1130 const PPCInstrInfo &TII =
1131 *static_cast<const PPCInstrInfo*>(MF->getTarget().getInstrInfo());
1132 bool CR2Spilled = false;
1133 bool CR3Spilled = false;
1134 bool CR4Spilled = false;
1135 unsigned CSIIndex = 0;
1136
1137 // Initialize insertion-point logic; we will be restoring in reverse
1138 // order of spill.
1139 MachineBasicBlock::iterator I = MI, BeforeI = I;
1140 bool AtStart = I == MBB.begin();
1141
1142 if (!AtStart)
1143 --BeforeI;
1144
1145 for (unsigned i = 0, e = CSI.size(); i != e; ++i) {
1146 unsigned Reg = CSI[i].getReg();
1147
1148 if (Reg == PPC::CR2) {
1149 CR2Spilled = true;
1150 // The spill slot is associated only with CR2, which is the
1151 // first nonvolatile spilled. Save it here.
1152 CSIIndex = i;
1153 continue;
1154 } else if (Reg == PPC::CR3) {
1155 CR3Spilled = true;
1156 continue;
1157 } else if (Reg == PPC::CR4) {
1158 CR4Spilled = true;
1159 continue;
1160 } else {
1161 // When we first encounter a non-CR register after seeing at
1162 // least one CR register, restore all spilled CRs together.
1163 if ((CR2Spilled || CR3Spilled || CR4Spilled)
1164 && !(PPC::CR2 <= Reg && Reg <= PPC::CR4)) {
1165 restoreCRs(Subtarget.isPPC64(), CR2Spilled, CR3Spilled, CR4Spilled,
1166 MBB, I, CSI, CSIIndex);
1167 CR2Spilled = CR3Spilled = CR4Spilled = false;
1168 }
1169
1170 // Default behavior for non-CR saves.
1171 const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg);
1172 TII.loadRegFromStackSlot(MBB, I, Reg, CSI[i].getFrameIdx(),
1173 RC, TRI);
1174 assert(I != MBB.begin() &&
1175 "loadRegFromStackSlot didn't insert any code!");
1176 }
1177
1178 // Insert in reverse order.
1179 if (AtStart)
1180 I = MBB.begin();
1181 else {
1182 I = BeforeI;
1183 ++I;
1184 }
1185 }
1186
1187 // If we haven't yet spilled the CRs, do so now.
1188 if (CR2Spilled || CR3Spilled || CR4Spilled)
1189 restoreCRs(Subtarget.isPPC64(), CR2Spilled, CR3Spilled, CR4Spilled,
1190 MBB, I, CSI, CSIIndex);
1191
1192 return true;
1193}
1194