blob: 0c18de1e2e26ef08d9c17744e751c6b03304c850 [file] [log] [blame]
Anton Korobeynikov16c29b52011-01-10 12:39:04 +00001//==-- PPCFrameLowering.h - Define frame lowering for PowerPC ----*- C++ -*-==//
Misha Brukmanb5f662f2005-04-21 23:30:14 +00002//
Nate Begemanca068e82004-08-14 22:16:36 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Misha Brukmanb5f662f2005-04-21 23:30:14 +00007//
Nate Begemanca068e82004-08-14 22:16:36 +00008//===----------------------------------------------------------------------===//
9//
10//
Nate Begeman21e463b2005-10-16 05:39:50 +000011//===----------------------------------------------------------------------===//
Nate Begemanca068e82004-08-14 22:16:36 +000012
13#ifndef POWERPC_FRAMEINFO_H
14#define POWERPC_FRAMEINFO_H
15
Chris Lattner26689592005-10-14 23:51:18 +000016#include "PPC.h"
Tilmann Schellerffd02002009-07-03 06:45:56 +000017#include "PPCSubtarget.h"
Anton Korobeynikov16c29b52011-01-10 12:39:04 +000018#include "llvm/Target/TargetFrameLowering.h"
Nate Begemanca068e82004-08-14 22:16:36 +000019#include "llvm/Target/TargetMachine.h"
Tilmann Schellerffd02002009-07-03 06:45:56 +000020#include "llvm/ADT/STLExtras.h"
Nate Begemanca068e82004-08-14 22:16:36 +000021
22namespace llvm {
Anton Korobeynikov33464912010-11-15 00:06:54 +000023 class PPCSubtarget;
Nate Begemanca068e82004-08-14 22:16:36 +000024
Anton Korobeynikov16c29b52011-01-10 12:39:04 +000025class PPCFrameLowering: public TargetFrameLowering {
Anton Korobeynikov33464912010-11-15 00:06:54 +000026 const PPCSubtarget &Subtarget;
Misha Brukmanb5f662f2005-04-21 23:30:14 +000027
Nate Begemanca068e82004-08-14 22:16:36 +000028public:
Anton Korobeynikov16c29b52011-01-10 12:39:04 +000029 PPCFrameLowering(const PPCSubtarget &sti)
30 : TargetFrameLowering(TargetFrameLowering::StackGrowsDown, 16, 0),
31 Subtarget(sti) {
Nate Begemanca068e82004-08-14 22:16:36 +000032 }
33
Anton Korobeynikov33464912010-11-15 00:06:54 +000034 void determineFrameLayout(MachineFunction &MF) const;
35
36 /// emitProlog/emitEpilog - These methods insert prolog and epilog code into
37 /// the function.
38 void emitPrologue(MachineFunction &MF) const;
39 void emitEpilogue(MachineFunction &MF, MachineBasicBlock &MBB) const;
40
Anton Korobeynikovd0c38172010-11-18 21:19:35 +000041 bool hasFP(const MachineFunction &MF) const;
Anton Korobeynikovc8bd78c2010-12-18 19:53:14 +000042 bool needsFP(const MachineFunction &MF) const;
Anton Korobeynikovd9e33852010-11-18 23:25:52 +000043 void getInitialFrameState(std::vector<MachineMove> &Moves) const;
Anton Korobeynikovd0c38172010-11-18 21:19:35 +000044
Anton Korobeynikov94c5ae02010-11-27 23:05:25 +000045 void processFunctionBeforeCalleeSavedScan(MachineFunction &MF,
46 RegScavenger *RS = NULL) const;
47 void processFunctionBeforeFrameFinalized(MachineFunction &MF) const;
48
Anton Korobeynikov33464912010-11-15 00:06:54 +000049 /// targetHandlesStackFrameRounding - Returns true if the target is
50 /// responsible for rounding up the stack frame (probably at emitPrologue
51 /// time).
52 bool targetHandlesStackFrameRounding() const { return true; }
53
Jim Laskey51fe9d92006-12-06 17:42:06 +000054 /// getReturnSaveOffset - Return the previous frame offset to save the
55 /// return address.
Tilmann Scheller6b16eff2009-08-15 11:54:46 +000056 static unsigned getReturnSaveOffset(bool isPPC64, bool isDarwinABI) {
Tilmann Scheller2a9ddfb2009-07-03 06:47:08 +000057 if (isDarwinABI)
Tilmann Scheller6b16eff2009-08-15 11:54:46 +000058 return isPPC64 ? 16 : 8;
Tilmann Scheller2a9ddfb2009-07-03 06:47:08 +000059 // SVR4 ABI:
Tilmann Scheller6b16eff2009-08-15 11:54:46 +000060 return isPPC64 ? 16 : 4;
Nate Begemanca068e82004-08-14 22:16:36 +000061 }
Jim Laskey51fe9d92006-12-06 17:42:06 +000062
Jim Laskey2f616bf2006-11-16 22:43:37 +000063 /// getFramePointerSaveOffset - Return the previous frame offset to save the
64 /// frame pointer.
Tilmann Scheller6b16eff2009-08-15 11:54:46 +000065 static unsigned getFramePointerSaveOffset(bool isPPC64, bool isDarwinABI) {
Tilmann Scheller2a9ddfb2009-07-03 06:47:08 +000066 // For the Darwin ABI:
Dale Johannesenf7801b42009-11-24 22:59:02 +000067 // We cannot use the TOC save slot (offset +20) in the PowerPC linkage area
68 // for saving the frame pointer (if needed.) While the published ABI has
69 // not used this slot since at least MacOSX 10.2, there is older code
70 // around that does use it, and that needs to continue to work.
Tilmann Scheller2a9ddfb2009-07-03 06:47:08 +000071 if (isDarwinABI)
Dale Johannesenf7801b42009-11-24 22:59:02 +000072 return isPPC64 ? -8U : -4U;
Anton Korobeynikov78b4fee2010-11-15 00:06:05 +000073
Tilmann Scheller6b16eff2009-08-15 11:54:46 +000074 // SVR4 ABI: First slot in the general register save area.
Tilmann Schellercfcb7992009-12-18 13:00:34 +000075 return isPPC64 ? -8U : -4U;
Jim Laskey2f616bf2006-11-16 22:43:37 +000076 }
Anton Korobeynikov78b4fee2010-11-15 00:06:05 +000077
Jim Laskey2f616bf2006-11-16 22:43:37 +000078 /// getLinkageSize - Return the size of the PowerPC ABI linkage area.
79 ///
Tilmann Scheller6b16eff2009-08-15 11:54:46 +000080 static unsigned getLinkageSize(bool isPPC64, bool isDarwinABI) {
81 if (isDarwinABI || isPPC64)
82 return 6 * (isPPC64 ? 8 : 4);
Anton Korobeynikov78b4fee2010-11-15 00:06:05 +000083
Tilmann Scheller2a9ddfb2009-07-03 06:47:08 +000084 // SVR4 ABI:
Nicolas Geoffrayec58d9f2007-04-03 12:35:28 +000085 return 8;
Jim Laskey2f616bf2006-11-16 22:43:37 +000086 }
87
88 /// getMinCallArgumentsSize - Return the size of the minium PowerPC ABI
89 /// argument area.
Tilmann Scheller6b16eff2009-08-15 11:54:46 +000090 static unsigned getMinCallArgumentsSize(bool isPPC64, bool isDarwinABI) {
91 // For the Darwin ABI / 64-bit SVR4 ABI:
Chris Lattner9f0bc652007-02-25 05:34:32 +000092 // The prolog code of the callee may store up to 8 GPR argument registers to
93 // the stack, allowing va_start to index over them in memory if its varargs.
94 // Because we cannot tell if this is needed on the caller side, we have to
95 // conservatively assume that it is needed. As such, make sure we have at
96 // least enough stack space for the caller to store the 8 GPRs.
Tilmann Scheller6b16eff2009-08-15 11:54:46 +000097 if (isDarwinABI || isPPC64)
98 return 8 * (isPPC64 ? 8 : 4);
Anton Korobeynikov78b4fee2010-11-15 00:06:05 +000099
Tilmann Scheller6b16eff2009-08-15 11:54:46 +0000100 // 32-bit SVR4 ABI:
Chris Lattner9f0bc652007-02-25 05:34:32 +0000101 // There is no default stack allocated for the 8 first GPR arguments.
102 return 0;
Jim Laskey2f616bf2006-11-16 22:43:37 +0000103 }
104
105 /// getMinCallFrameSize - Return the minimum size a call frame can be using
106 /// the PowerPC ABI.
Tilmann Scheller6b16eff2009-08-15 11:54:46 +0000107 static unsigned getMinCallFrameSize(bool isPPC64, bool isDarwinABI) {
Jim Laskey2f616bf2006-11-16 22:43:37 +0000108 // The call frame needs to be at least big enough for linkage and 8 args.
Tilmann Scheller6b16eff2009-08-15 11:54:46 +0000109 return getLinkageSize(isPPC64, isDarwinABI) +
110 getMinCallArgumentsSize(isPPC64, isDarwinABI);
Jim Laskey2f616bf2006-11-16 22:43:37 +0000111 }
Tilmann Schellerffd02002009-07-03 06:45:56 +0000112
113 // With the SVR4 ABI, callee-saved registers have fixed offsets on the stack.
Tilmann Scheller8ff95de2009-09-27 17:58:47 +0000114 const SpillSlot *
Tilmann Schellerffd02002009-07-03 06:45:56 +0000115 getCalleeSavedSpillSlots(unsigned &NumEntries) const {
Anton Korobeynikov33464912010-11-15 00:06:54 +0000116 if (Subtarget.isDarwinABI()) {
Dale Johannesenf7801b42009-11-24 22:59:02 +0000117 NumEntries = 1;
Anton Korobeynikov33464912010-11-15 00:06:54 +0000118 if (Subtarget.isPPC64()) {
Dale Johannesen0106a0a2009-11-25 00:58:21 +0000119 static const SpillSlot darwin64Offsets = {PPC::X31, -8};
120 return &darwin64Offsets;
Dale Johannesenf7801b42009-11-24 22:59:02 +0000121 } else {
Dale Johannesen0106a0a2009-11-25 00:58:21 +0000122 static const SpillSlot darwinOffsets = {PPC::R31, -4};
123 return &darwinOffsets;
Dale Johannesenf7801b42009-11-24 22:59:02 +0000124 }
125 }
126
Tilmann Schellerffd02002009-07-03 06:45:56 +0000127 // Early exit if not using the SVR4 ABI.
Anton Korobeynikov33464912010-11-15 00:06:54 +0000128 if (!Subtarget.isSVR4ABI()) {
Tilmann Schellerffd02002009-07-03 06:45:56 +0000129 NumEntries = 0;
130 return 0;
131 }
Tilmann Scheller8ff95de2009-09-27 17:58:47 +0000132
133 static const SpillSlot Offsets[] = {
Tilmann Schellerffd02002009-07-03 06:45:56 +0000134 // Floating-point register save area offsets.
Tilmann Scheller8ff95de2009-09-27 17:58:47 +0000135 {PPC::F31, -8},
136 {PPC::F30, -16},
137 {PPC::F29, -24},
138 {PPC::F28, -32},
139 {PPC::F27, -40},
140 {PPC::F26, -48},
141 {PPC::F25, -56},
142 {PPC::F24, -64},
143 {PPC::F23, -72},
144 {PPC::F22, -80},
145 {PPC::F21, -88},
146 {PPC::F20, -96},
147 {PPC::F19, -104},
148 {PPC::F18, -112},
149 {PPC::F17, -120},
150 {PPC::F16, -128},
151 {PPC::F15, -136},
152 {PPC::F14, -144},
153
Tilmann Schellerffd02002009-07-03 06:45:56 +0000154 // General register save area offsets.
Tilmann Scheller8ff95de2009-09-27 17:58:47 +0000155 {PPC::R31, -4},
156 {PPC::R30, -8},
157 {PPC::R29, -12},
158 {PPC::R28, -16},
159 {PPC::R27, -20},
160 {PPC::R26, -24},
161 {PPC::R25, -28},
162 {PPC::R24, -32},
163 {PPC::R23, -36},
164 {PPC::R22, -40},
165 {PPC::R21, -44},
166 {PPC::R20, -48},
167 {PPC::R19, -52},
168 {PPC::R18, -56},
169 {PPC::R17, -60},
170 {PPC::R16, -64},
171 {PPC::R15, -68},
172 {PPC::R14, -72},
Tilmann Schellerffd02002009-07-03 06:45:56 +0000173
174 // CR save area offset.
Tilmann Scheller6a3a1ba2009-07-03 06:47:55 +0000175 // FIXME SVR4: Disable CR save area for now.
Tilmann Scheller8ff95de2009-09-27 17:58:47 +0000176// {PPC::CR2, -4},
177// {PPC::CR3, -4},
178// {PPC::CR4, -4},
179// {PPC::CR2LT, -4},
180// {PPC::CR2GT, -4},
181// {PPC::CR2EQ, -4},
182// {PPC::CR2UN, -4},
183// {PPC::CR3LT, -4},
184// {PPC::CR3GT, -4},
185// {PPC::CR3EQ, -4},
186// {PPC::CR3UN, -4},
187// {PPC::CR4LT, -4},
188// {PPC::CR4GT, -4},
189// {PPC::CR4EQ, -4},
190// {PPC::CR4UN, -4},
Tilmann Schellerffd02002009-07-03 06:45:56 +0000191
192 // VRSAVE save area offset.
Tilmann Scheller8ff95de2009-09-27 17:58:47 +0000193 {PPC::VRSAVE, -4},
194
Tilmann Schellerffd02002009-07-03 06:45:56 +0000195 // Vector register save area
Tilmann Scheller8ff95de2009-09-27 17:58:47 +0000196 {PPC::V31, -16},
197 {PPC::V30, -32},
198 {PPC::V29, -48},
199 {PPC::V28, -64},
200 {PPC::V27, -80},
201 {PPC::V26, -96},
202 {PPC::V25, -112},
203 {PPC::V24, -128},
204 {PPC::V23, -144},
205 {PPC::V22, -160},
206 {PPC::V21, -176},
207 {PPC::V20, -192}
Tilmann Schellerffd02002009-07-03 06:45:56 +0000208 };
Tilmann Scheller8ff95de2009-09-27 17:58:47 +0000209
210 static const SpillSlot Offsets64[] = {
Tilmann Scheller6b16eff2009-08-15 11:54:46 +0000211 // Floating-point register save area offsets.
Tilmann Scheller8ff95de2009-09-27 17:58:47 +0000212 {PPC::F31, -8},
213 {PPC::F30, -16},
214 {PPC::F29, -24},
215 {PPC::F28, -32},
216 {PPC::F27, -40},
217 {PPC::F26, -48},
218 {PPC::F25, -56},
219 {PPC::F24, -64},
220 {PPC::F23, -72},
221 {PPC::F22, -80},
222 {PPC::F21, -88},
223 {PPC::F20, -96},
224 {PPC::F19, -104},
225 {PPC::F18, -112},
226 {PPC::F17, -120},
227 {PPC::F16, -128},
228 {PPC::F15, -136},
229 {PPC::F14, -144},
Tilmann Scheller6b16eff2009-08-15 11:54:46 +0000230
231 // General register save area offsets.
232 // FIXME 64-bit SVR4: Are 32-bit registers actually allocated in 64-bit
233 // mode?
Tilmann Scheller8ff95de2009-09-27 17:58:47 +0000234 {PPC::R31, -4},
235 {PPC::R30, -12},
236 {PPC::R29, -20},
237 {PPC::R28, -28},
238 {PPC::R27, -36},
239 {PPC::R26, -44},
240 {PPC::R25, -52},
241 {PPC::R24, -60},
242 {PPC::R23, -68},
243 {PPC::R22, -76},
244 {PPC::R21, -84},
245 {PPC::R20, -92},
246 {PPC::R19, -100},
247 {PPC::R18, -108},
248 {PPC::R17, -116},
249 {PPC::R16, -124},
250 {PPC::R15, -132},
251 {PPC::R14, -140},
Tilmann Scheller6b16eff2009-08-15 11:54:46 +0000252
Tilmann Scheller8ff95de2009-09-27 17:58:47 +0000253 {PPC::X31, -8},
254 {PPC::X30, -16},
255 {PPC::X29, -24},
256 {PPC::X28, -32},
257 {PPC::X27, -40},
258 {PPC::X26, -48},
259 {PPC::X25, -56},
260 {PPC::X24, -64},
261 {PPC::X23, -72},
262 {PPC::X22, -80},
263 {PPC::X21, -88},
264 {PPC::X20, -96},
265 {PPC::X19, -104},
266 {PPC::X18, -112},
267 {PPC::X17, -120},
268 {PPC::X16, -128},
269 {PPC::X15, -136},
270 {PPC::X14, -144},
Tilmann Scheller6b16eff2009-08-15 11:54:46 +0000271
272 // CR save area offset.
273 // FIXME SVR4: Disable CR save area for now.
Tilmann Scheller8ff95de2009-09-27 17:58:47 +0000274// {PPC::CR2, -4},
275// {PPC::CR3, -4},
276// {PPC::CR4, -4},
277// {PPC::CR2LT, -4},
278// {PPC::CR2GT, -4},
279// {PPC::CR2EQ, -4},
280// {PPC::CR2UN, -4},
281// {PPC::CR3LT, -4},
282// {PPC::CR3GT, -4},
283// {PPC::CR3EQ, -4},
284// {PPC::CR3UN, -4},
285// {PPC::CR4LT, -4},
286// {PPC::CR4GT, -4},
287// {PPC::CR4EQ, -4},
288// {PPC::CR4UN, -4},
Tilmann Scheller6b16eff2009-08-15 11:54:46 +0000289
290 // VRSAVE save area offset.
Tilmann Scheller8ff95de2009-09-27 17:58:47 +0000291 {PPC::VRSAVE, -4},
Tilmann Scheller6b16eff2009-08-15 11:54:46 +0000292
293 // Vector register save area
Tilmann Scheller8ff95de2009-09-27 17:58:47 +0000294 {PPC::V31, -16},
295 {PPC::V30, -32},
296 {PPC::V29, -48},
297 {PPC::V28, -64},
298 {PPC::V27, -80},
299 {PPC::V26, -96},
300 {PPC::V25, -112},
301 {PPC::V24, -128},
302 {PPC::V23, -144},
303 {PPC::V22, -160},
304 {PPC::V21, -176},
305 {PPC::V20, -192}
Tilmann Scheller6b16eff2009-08-15 11:54:46 +0000306 };
Tilmann Scheller8ff95de2009-09-27 17:58:47 +0000307
Anton Korobeynikov33464912010-11-15 00:06:54 +0000308 if (Subtarget.isPPC64()) {
Tilmann Scheller6b16eff2009-08-15 11:54:46 +0000309 NumEntries = array_lengthof(Offsets64);
310
311 return Offsets64;
312 } else {
313 NumEntries = array_lengthof(Offsets);
314
315 return Offsets;
316 }
Tilmann Schellerffd02002009-07-03 06:45:56 +0000317 }
Nate Begemanca068e82004-08-14 22:16:36 +0000318};
319
320} // End llvm namespace
321
322#endif