blob: cb315062abf69634965d4a5683654490ecc02299 [file] [log] [blame]
Nate Begeman21e463b2005-10-16 05:39:50 +00001//===- PPCRegisterInfo.cpp - PowerPC Register Information -------*- C++ -*-===//
Misha Brukmanb5f662f2005-04-21 23:30:14 +00002//
Misha Brukmanf2ccb772004-08-17 04:55:41 +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//
Misha Brukmanf2ccb772004-08-17 04:55:41 +00008//===----------------------------------------------------------------------===//
9//
Dan Gohman6f0d0242008-02-10 18:45:23 +000010// This file contains the PowerPC implementation of the TargetRegisterInfo
11// class.
Misha Brukmanf2ccb772004-08-17 04:55:41 +000012//
13//===----------------------------------------------------------------------===//
14
15#define DEBUG_TYPE "reginfo"
Chris Lattner26689592005-10-14 23:51:18 +000016#include "PPC.h"
Chris Lattner26bd0d42005-10-14 23:45:43 +000017#include "PPCInstrBuilder.h"
Jim Laskey2f616bf2006-11-16 22:43:37 +000018#include "PPCMachineFunctionInfo.h"
Chris Lattner16e71f22005-10-14 23:59:06 +000019#include "PPCRegisterInfo.h"
Jim Laskey2f616bf2006-11-16 22:43:37 +000020#include "PPCFrameInfo.h"
Chris Lattner804e0672006-07-11 00:48:23 +000021#include "PPCSubtarget.h"
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +000022#include "llvm/CallingConv.h"
Misha Brukmanf2ccb772004-08-17 04:55:41 +000023#include "llvm/Constants.h"
Dale Johannesen1532f3d2008-04-02 00:25:04 +000024#include "llvm/Function.h"
Misha Brukmanf2ccb772004-08-17 04:55:41 +000025#include "llvm/Type.h"
26#include "llvm/CodeGen/ValueTypes.h"
27#include "llvm/CodeGen/MachineInstrBuilder.h"
Jim Laskey44c3b9f2007-01-26 21:22:28 +000028#include "llvm/CodeGen/MachineModuleInfo.h"
Misha Brukmanf2ccb772004-08-17 04:55:41 +000029#include "llvm/CodeGen/MachineFunction.h"
30#include "llvm/CodeGen/MachineFrameInfo.h"
Jim Laskeyf1d78e82006-03-23 18:12:57 +000031#include "llvm/CodeGen/MachineLocation.h"
Chris Lattner84bc5422007-12-31 04:13:23 +000032#include "llvm/CodeGen/MachineRegisterInfo.h"
Bill Wendling7194aaf2008-03-03 22:19:16 +000033#include "llvm/CodeGen/RegisterScavenging.h"
Misha Brukmanf2ccb772004-08-17 04:55:41 +000034#include "llvm/Target/TargetFrameInfo.h"
Chris Lattnerf9568d82006-04-17 21:48:13 +000035#include "llvm/Target/TargetInstrInfo.h"
Misha Brukmanf2ccb772004-08-17 04:55:41 +000036#include "llvm/Target/TargetMachine.h"
37#include "llvm/Target/TargetOptions.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000038#include "llvm/Support/CommandLine.h"
39#include "llvm/Support/Debug.h"
Nate Begemanae232e72005-11-06 09:00:38 +000040#include "llvm/Support/MathExtras.h"
Evan Chengb371f452007-02-19 21:49:54 +000041#include "llvm/ADT/BitVector.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000042#include "llvm/ADT/STLExtras.h"
Misha Brukmanf2ccb772004-08-17 04:55:41 +000043#include <cstdlib>
Misha Brukmanf2ccb772004-08-17 04:55:41 +000044using namespace llvm;
45
Dale Johannesen82e42892008-03-10 22:59:46 +000046// FIXME This disables some code that aligns the stack to a boundary
47// bigger than the default (16 bytes on Darwin) when there is a stack local
48// of greater alignment. This does not currently work, because the delta
49// between old and new stack pointers is added to offsets that reference
50// incoming parameters after the prolog is generated, and the code that
51// does that doesn't handle a variable delta. You don't want to do that
52// anyway; a better approach is to reserve another register that retains
53// to the incoming stack pointer, and reference parameters relative to that.
54#define ALIGN_STACK 0
55
Bill Wendling880d0f62008-03-04 23:13:51 +000056// FIXME (64-bit): Eventually enable by default.
Bill Wendling4a66e9a2008-03-10 22:49:16 +000057cl::opt<bool> EnablePPC32RS("enable-ppc32-regscavenger",
58 cl::init(false),
59 cl::desc("Enable PPC32 register scavenger"),
60 cl::Hidden);
61cl::opt<bool> EnablePPC64RS("enable-ppc64-regscavenger",
62 cl::init(false),
63 cl::desc("Enable PPC64 register scavenger"),
64 cl::Hidden);
65#define EnableRegisterScavenging \
66 ((EnablePPC32RS && !Subtarget.isPPC64()) || \
67 (EnablePPC64RS && Subtarget.isPPC64()))
Bill Wendling880d0f62008-03-04 23:13:51 +000068
Bill Wendling7194aaf2008-03-03 22:19:16 +000069// FIXME (64-bit): Should be inlined.
70bool
71PPCRegisterInfo::requiresRegisterScavenging(const MachineFunction &) const {
Bill Wendling4a66e9a2008-03-10 22:49:16 +000072 return EnableRegisterScavenging;
Bill Wendling7194aaf2008-03-03 22:19:16 +000073}
74
Chris Lattner369503f2006-04-17 21:07:20 +000075/// getRegisterNumbering - Given the enum value for some register, e.g.
76/// PPC::F14, return the number that it corresponds to (e.g. 14).
77unsigned PPCRegisterInfo::getRegisterNumbering(unsigned RegEnum) {
Chris Lattnerbe6a0392006-07-11 20:53:55 +000078 using namespace PPC;
Chris Lattner369503f2006-04-17 21:07:20 +000079 switch (RegEnum) {
Chris Lattnera1998d12008-02-13 17:24:14 +000080 case 0: return 0;
Nicolas Geoffray0404cd92008-03-10 14:12:10 +000081 case R0 : case X0 : case F0 : case V0 : case CR0: case CR0LT: return 0;
82 case R1 : case X1 : case F1 : case V1 : case CR1: case CR0GT: return 1;
83 case R2 : case X2 : case F2 : case V2 : case CR2: case CR0EQ: return 2;
84 case R3 : case X3 : case F3 : case V3 : case CR3: case CR0UN: return 3;
85 case R4 : case X4 : case F4 : case V4 : case CR4: case CR1LT: return 4;
86 case R5 : case X5 : case F5 : case V5 : case CR5: case CR1GT: return 5;
87 case R6 : case X6 : case F6 : case V6 : case CR6: case CR1EQ: return 6;
88 case R7 : case X7 : case F7 : case V7 : case CR7: case CR1UN: return 7;
89 case R8 : case X8 : case F8 : case V8 : case CR2LT: return 8;
90 case R9 : case X9 : case F9 : case V9 : case CR2GT: return 9;
91 case R10: case X10: case F10: case V10: case CR2EQ: return 10;
92 case R11: case X11: case F11: case V11: case CR2UN: return 11;
93 case R12: case X12: case F12: case V12: case CR3LT: return 12;
94 case R13: case X13: case F13: case V13: case CR3GT: return 13;
95 case R14: case X14: case F14: case V14: case CR3EQ: return 14;
96 case R15: case X15: case F15: case V15: case CR3UN: return 15;
97 case R16: case X16: case F16: case V16: case CR4LT: return 16;
98 case R17: case X17: case F17: case V17: case CR4GT: return 17;
99 case R18: case X18: case F18: case V18: case CR4EQ: return 18;
100 case R19: case X19: case F19: case V19: case CR4UN: return 19;
101 case R20: case X20: case F20: case V20: case CR5LT: return 20;
102 case R21: case X21: case F21: case V21: case CR5GT: return 21;
103 case R22: case X22: case F22: case V22: case CR5EQ: return 22;
104 case R23: case X23: case F23: case V23: case CR5UN: return 23;
105 case R24: case X24: case F24: case V24: case CR6LT: return 24;
106 case R25: case X25: case F25: case V25: case CR6GT: return 25;
107 case R26: case X26: case F26: case V26: case CR6EQ: return 26;
108 case R27: case X27: case F27: case V27: case CR6UN: return 27;
109 case R28: case X28: case F28: case V28: case CR7LT: return 28;
110 case R29: case X29: case F29: case V29: case CR7GT: return 29;
111 case R30: case X30: case F30: case V30: case CR7EQ: return 30;
112 case R31: case X31: case F31: case V31: case CR7UN: return 31;
Chris Lattnerbe6a0392006-07-11 20:53:55 +0000113 default:
Bill Wendlingf5da1332006-12-07 22:21:48 +0000114 cerr << "Unhandled reg in PPCRegisterInfo::getRegisterNumbering!\n";
Chris Lattnerbe6a0392006-07-11 20:53:55 +0000115 abort();
Chris Lattner369503f2006-04-17 21:07:20 +0000116 }
117}
118
Evan Cheng7ce45782006-11-13 23:36:35 +0000119PPCRegisterInfo::PPCRegisterInfo(const PPCSubtarget &ST,
120 const TargetInstrInfo &tii)
Chris Lattner804e0672006-07-11 00:48:23 +0000121 : PPCGenRegisterInfo(PPC::ADJCALLSTACKDOWN, PPC::ADJCALLSTACKUP),
Evan Cheng7ce45782006-11-13 23:36:35 +0000122 Subtarget(ST), TII(tii) {
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000123 ImmToIdxMap[PPC::LD] = PPC::LDX; ImmToIdxMap[PPC::STD] = PPC::STDX;
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000124 ImmToIdxMap[PPC::LBZ] = PPC::LBZX; ImmToIdxMap[PPC::STB] = PPC::STBX;
125 ImmToIdxMap[PPC::LHZ] = PPC::LHZX; ImmToIdxMap[PPC::LHA] = PPC::LHAX;
126 ImmToIdxMap[PPC::LWZ] = PPC::LWZX; ImmToIdxMap[PPC::LWA] = PPC::LWAX;
127 ImmToIdxMap[PPC::LFS] = PPC::LFSX; ImmToIdxMap[PPC::LFD] = PPC::LFDX;
128 ImmToIdxMap[PPC::STH] = PPC::STHX; ImmToIdxMap[PPC::STW] = PPC::STWX;
129 ImmToIdxMap[PPC::STFS] = PPC::STFSX; ImmToIdxMap[PPC::STFD] = PPC::STFDX;
Nate Begeman1d9d7422005-10-18 00:28:58 +0000130 ImmToIdxMap[PPC::ADDI] = PPC::ADD4;
Bill Wendling82d25142007-09-07 22:01:02 +0000131
132 // 64-bit
133 ImmToIdxMap[PPC::LHA8] = PPC::LHAX8; ImmToIdxMap[PPC::LBZ8] = PPC::LBZX8;
134 ImmToIdxMap[PPC::LHZ8] = PPC::LHZX8; ImmToIdxMap[PPC::LWZ8] = PPC::LWZX8;
135 ImmToIdxMap[PPC::STB8] = PPC::STBX8; ImmToIdxMap[PPC::STH8] = PPC::STHX8;
136 ImmToIdxMap[PPC::STW8] = PPC::STWX8; ImmToIdxMap[PPC::STDU] = PPC::STDUX;
137 ImmToIdxMap[PPC::ADDI8] = PPC::ADD8; ImmToIdxMap[PPC::STD_32] = PPC::STDX_32;
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000138}
139
Evan Cheng770bcc72009-02-06 17:43:24 +0000140/// getPointerRegClass - Return the register class to use to hold pointers.
141/// This is used for addressing modes.
142const TargetRegisterClass *PPCRegisterInfo::getPointerRegClass() const {
143 if (Subtarget.isPPC64())
144 return &PPC::G8RCRegClass;
145 else
146 return &PPC::GPRCRegClass;
147}
148
Evan Cheng64d80e32007-07-19 01:14:50 +0000149const unsigned*
150PPCRegisterInfo::getCalleeSavedRegs(const MachineFunction *MF) const {
Chris Lattner804e0672006-07-11 00:48:23 +0000151 // 32-bit Darwin calling convention.
Nicolas Geoffrayec58d9f2007-04-03 12:35:28 +0000152 static const unsigned Macho32_CalleeSavedRegs[] = {
Jim Laskey2f616bf2006-11-16 22:43:37 +0000153 PPC::R13, PPC::R14, PPC::R15,
Chris Lattner804e0672006-07-11 00:48:23 +0000154 PPC::R16, PPC::R17, PPC::R18, PPC::R19,
155 PPC::R20, PPC::R21, PPC::R22, PPC::R23,
156 PPC::R24, PPC::R25, PPC::R26, PPC::R27,
157 PPC::R28, PPC::R29, PPC::R30, PPC::R31,
158
159 PPC::F14, PPC::F15, PPC::F16, PPC::F17,
160 PPC::F18, PPC::F19, PPC::F20, PPC::F21,
161 PPC::F22, PPC::F23, PPC::F24, PPC::F25,
162 PPC::F26, PPC::F27, PPC::F28, PPC::F29,
Evan Cheng0f3ac8d2006-05-18 00:12:58 +0000163 PPC::F30, PPC::F31,
Chris Lattner804e0672006-07-11 00:48:23 +0000164
165 PPC::CR2, PPC::CR3, PPC::CR4,
166 PPC::V20, PPC::V21, PPC::V22, PPC::V23,
167 PPC::V24, PPC::V25, PPC::V26, PPC::V27,
168 PPC::V28, PPC::V29, PPC::V30, PPC::V31,
169
Nicolas Geoffray0404cd92008-03-10 14:12:10 +0000170 PPC::CR2LT, PPC::CR2GT, PPC::CR2EQ, PPC::CR2UN,
171 PPC::CR3LT, PPC::CR3GT, PPC::CR3EQ, PPC::CR3UN,
172 PPC::CR4LT, PPC::CR4GT, PPC::CR4EQ, PPC::CR4UN,
173
Chris Lattner804e0672006-07-11 00:48:23 +0000174 PPC::LR, 0
Evan Cheng0f3ac8d2006-05-18 00:12:58 +0000175 };
Chris Lattner9f0bc652007-02-25 05:34:32 +0000176
177 static const unsigned ELF32_CalleeSavedRegs[] = {
178 PPC::R13, PPC::R14, PPC::R15,
179 PPC::R16, PPC::R17, PPC::R18, PPC::R19,
180 PPC::R20, PPC::R21, PPC::R22, PPC::R23,
181 PPC::R24, PPC::R25, PPC::R26, PPC::R27,
182 PPC::R28, PPC::R29, PPC::R30, PPC::R31,
183
Nicolas Geoffrayef3c0302007-04-03 10:27:07 +0000184 PPC::F9,
185 PPC::F10, PPC::F11, PPC::F12, PPC::F13,
Chris Lattner9f0bc652007-02-25 05:34:32 +0000186 PPC::F14, PPC::F15, PPC::F16, PPC::F17,
187 PPC::F18, PPC::F19, PPC::F20, PPC::F21,
188 PPC::F22, PPC::F23, PPC::F24, PPC::F25,
189 PPC::F26, PPC::F27, PPC::F28, PPC::F29,
190 PPC::F30, PPC::F31,
191
192 PPC::CR2, PPC::CR3, PPC::CR4,
193 PPC::V20, PPC::V21, PPC::V22, PPC::V23,
194 PPC::V24, PPC::V25, PPC::V26, PPC::V27,
195 PPC::V28, PPC::V29, PPC::V30, PPC::V31,
196
Nicolas Geoffray0404cd92008-03-10 14:12:10 +0000197 PPC::CR2LT, PPC::CR2GT, PPC::CR2EQ, PPC::CR2UN,
198 PPC::CR3LT, PPC::CR3GT, PPC::CR3EQ, PPC::CR3UN,
199 PPC::CR4LT, PPC::CR4GT, PPC::CR4EQ, PPC::CR4UN,
200
Chris Lattner9f0bc652007-02-25 05:34:32 +0000201 PPC::LR, 0
202 };
Chris Lattner804e0672006-07-11 00:48:23 +0000203 // 64-bit Darwin calling convention.
Nicolas Geoffrayec58d9f2007-04-03 12:35:28 +0000204 static const unsigned Macho64_CalleeSavedRegs[] = {
Chris Lattnerbdc571b2006-11-20 19:33:51 +0000205 PPC::X14, PPC::X15,
Chris Lattner804e0672006-07-11 00:48:23 +0000206 PPC::X16, PPC::X17, PPC::X18, PPC::X19,
207 PPC::X20, PPC::X21, PPC::X22, PPC::X23,
208 PPC::X24, PPC::X25, PPC::X26, PPC::X27,
209 PPC::X28, PPC::X29, PPC::X30, PPC::X31,
210
211 PPC::F14, PPC::F15, PPC::F16, PPC::F17,
212 PPC::F18, PPC::F19, PPC::F20, PPC::F21,
213 PPC::F22, PPC::F23, PPC::F24, PPC::F25,
214 PPC::F26, PPC::F27, PPC::F28, PPC::F29,
215 PPC::F30, PPC::F31,
216
217 PPC::CR2, PPC::CR3, PPC::CR4,
218 PPC::V20, PPC::V21, PPC::V22, PPC::V23,
219 PPC::V24, PPC::V25, PPC::V26, PPC::V27,
220 PPC::V28, PPC::V29, PPC::V30, PPC::V31,
221
Nicolas Geoffray0404cd92008-03-10 14:12:10 +0000222 PPC::CR2LT, PPC::CR2GT, PPC::CR2EQ, PPC::CR2UN,
223 PPC::CR3LT, PPC::CR3GT, PPC::CR3EQ, PPC::CR3UN,
224 PPC::CR4LT, PPC::CR4GT, PPC::CR4EQ, PPC::CR4UN,
225
Chris Lattner6a5339b2006-11-14 18:44:47 +0000226 PPC::LR8, 0
Chris Lattner804e0672006-07-11 00:48:23 +0000227 };
228
Chris Lattner9f0bc652007-02-25 05:34:32 +0000229 if (Subtarget.isMachoABI())
Nicolas Geoffrayec58d9f2007-04-03 12:35:28 +0000230 return Subtarget.isPPC64() ? Macho64_CalleeSavedRegs :
231 Macho32_CalleeSavedRegs;
Chris Lattner9f0bc652007-02-25 05:34:32 +0000232
Nicolas Geoffrayec58d9f2007-04-03 12:35:28 +0000233 // ELF 32.
234 return ELF32_CalleeSavedRegs;
Evan Cheng0f3ac8d2006-05-18 00:12:58 +0000235}
236
237const TargetRegisterClass* const*
Anton Korobeynikov2365f512007-07-14 14:06:15 +0000238PPCRegisterInfo::getCalleeSavedRegClasses(const MachineFunction *MF) const {
Nicolas Geoffrayec58d9f2007-04-03 12:35:28 +0000239 // 32-bit Macho calling convention.
240 static const TargetRegisterClass * const Macho32_CalleeSavedRegClasses[] = {
Jim Laskey2f616bf2006-11-16 22:43:37 +0000241 &PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,
Chris Lattner804e0672006-07-11 00:48:23 +0000242 &PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,
243 &PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,
244 &PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,
245 &PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,
246
247 &PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,
248 &PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,
249 &PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,
250 &PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,
251 &PPC::F8RCRegClass,&PPC::F8RCRegClass,
252
253 &PPC::CRRCRegClass,&PPC::CRRCRegClass,&PPC::CRRCRegClass,
254
255 &PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,
256 &PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,
257 &PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,
258
Nicolas Geoffray0404cd92008-03-10 14:12:10 +0000259 &PPC::CRBITRCRegClass,&PPC::CRBITRCRegClass,&PPC::CRBITRCRegClass,
260 &PPC::CRBITRCRegClass,
261 &PPC::CRBITRCRegClass,&PPC::CRBITRCRegClass,&PPC::CRBITRCRegClass,
262 &PPC::CRBITRCRegClass,
263 &PPC::CRBITRCRegClass,&PPC::CRBITRCRegClass,&PPC::CRBITRCRegClass,
264 &PPC::CRBITRCRegClass,
265
Chris Lattner804e0672006-07-11 00:48:23 +0000266 &PPC::GPRCRegClass, 0
Evan Cheng0f3ac8d2006-05-18 00:12:58 +0000267 };
Chris Lattner804e0672006-07-11 00:48:23 +0000268
Chris Lattner9f0bc652007-02-25 05:34:32 +0000269 static const TargetRegisterClass * const ELF32_CalleeSavedRegClasses[] = {
270 &PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,
271 &PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,
272 &PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,
273 &PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,
274 &PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,
275
Nicolas Geoffraycfcd8da2007-04-03 10:57:49 +0000276 &PPC::F8RCRegClass,
277 &PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,
Chris Lattner9f0bc652007-02-25 05:34:32 +0000278 &PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,
279 &PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,
280 &PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,
281 &PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,
282 &PPC::F8RCRegClass,&PPC::F8RCRegClass,
283
284 &PPC::CRRCRegClass,&PPC::CRRCRegClass,&PPC::CRRCRegClass,
285
286 &PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,
287 &PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,
288 &PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,
289
Nicolas Geoffray0404cd92008-03-10 14:12:10 +0000290 &PPC::CRBITRCRegClass,&PPC::CRBITRCRegClass,&PPC::CRBITRCRegClass,
291 &PPC::CRBITRCRegClass,
292 &PPC::CRBITRCRegClass,&PPC::CRBITRCRegClass,&PPC::CRBITRCRegClass,
293 &PPC::CRBITRCRegClass,
294 &PPC::CRBITRCRegClass,&PPC::CRBITRCRegClass,&PPC::CRBITRCRegClass,
295 &PPC::CRBITRCRegClass,
296
Chris Lattner9f0bc652007-02-25 05:34:32 +0000297 &PPC::GPRCRegClass, 0
298 };
299
Nicolas Geoffrayec58d9f2007-04-03 12:35:28 +0000300 // 64-bit Macho calling convention.
301 static const TargetRegisterClass * const Macho64_CalleeSavedRegClasses[] = {
Chris Lattnerbdc571b2006-11-20 19:33:51 +0000302 &PPC::G8RCRegClass,&PPC::G8RCRegClass,
Chris Lattner804e0672006-07-11 00:48:23 +0000303 &PPC::G8RCRegClass,&PPC::G8RCRegClass,&PPC::G8RCRegClass,&PPC::G8RCRegClass,
304 &PPC::G8RCRegClass,&PPC::G8RCRegClass,&PPC::G8RCRegClass,&PPC::G8RCRegClass,
305 &PPC::G8RCRegClass,&PPC::G8RCRegClass,&PPC::G8RCRegClass,&PPC::G8RCRegClass,
306 &PPC::G8RCRegClass,&PPC::G8RCRegClass,&PPC::G8RCRegClass,&PPC::G8RCRegClass,
307
308 &PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,
309 &PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,
310 &PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,
311 &PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,
312 &PPC::F8RCRegClass,&PPC::F8RCRegClass,
313
314 &PPC::CRRCRegClass,&PPC::CRRCRegClass,&PPC::CRRCRegClass,
315
316 &PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,
317 &PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,
318 &PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,
319
Nicolas Geoffray0404cd92008-03-10 14:12:10 +0000320 &PPC::CRBITRCRegClass,&PPC::CRBITRCRegClass,&PPC::CRBITRCRegClass,
321 &PPC::CRBITRCRegClass,
322 &PPC::CRBITRCRegClass,&PPC::CRBITRCRegClass,&PPC::CRBITRCRegClass,
323 &PPC::CRBITRCRegClass,
324 &PPC::CRBITRCRegClass,&PPC::CRBITRCRegClass,&PPC::CRBITRCRegClass,
325 &PPC::CRBITRCRegClass,
326
Chris Lattner6a5339b2006-11-14 18:44:47 +0000327 &PPC::G8RCRegClass, 0
Chris Lattner804e0672006-07-11 00:48:23 +0000328 };
Chris Lattner9f0bc652007-02-25 05:34:32 +0000329
Chris Lattner9f0bc652007-02-25 05:34:32 +0000330 if (Subtarget.isMachoABI())
Nicolas Geoffrayec58d9f2007-04-03 12:35:28 +0000331 return Subtarget.isPPC64() ? Macho64_CalleeSavedRegClasses :
332 Macho32_CalleeSavedRegClasses;
Chris Lattner9f0bc652007-02-25 05:34:32 +0000333
Nicolas Geoffrayec58d9f2007-04-03 12:35:28 +0000334 // ELF 32.
335 return ELF32_CalleeSavedRegClasses;
Evan Cheng0f3ac8d2006-05-18 00:12:58 +0000336}
337
Evan Chengb371f452007-02-19 21:49:54 +0000338// needsFP - Return true if the specified function should have a dedicated frame
339// pointer register. This is true if the function has variable sized allocas or
340// if frame pointer elimination is disabled.
341//
342static bool needsFP(const MachineFunction &MF) {
343 const MachineFrameInfo *MFI = MF.getFrameInfo();
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +0000344 return NoFramePointerElim || MFI->hasVarSizedObjects() ||
345 (PerformTailCallOpt && MF.getInfo<PPCFunctionInfo>()->hasFastCall());
Evan Chengb371f452007-02-19 21:49:54 +0000346}
347
Bill Wendling7194aaf2008-03-03 22:19:16 +0000348static bool spillsCR(const MachineFunction &MF) {
349 const PPCFunctionInfo *FuncInfo = MF.getInfo<PPCFunctionInfo>();
350 return FuncInfo->isCRSpilled();
351}
352
Evan Chengb371f452007-02-19 21:49:54 +0000353BitVector PPCRegisterInfo::getReservedRegs(const MachineFunction &MF) const {
354 BitVector Reserved(getNumRegs());
355 Reserved.set(PPC::R0);
356 Reserved.set(PPC::R1);
357 Reserved.set(PPC::LR);
Bill Wendling7194aaf2008-03-03 22:19:16 +0000358 Reserved.set(PPC::LR8);
Dale Johannesenb384ab92008-10-29 18:26:45 +0000359 Reserved.set(PPC::RM);
Bill Wendling7194aaf2008-03-03 22:19:16 +0000360
Evan Chengb371f452007-02-19 21:49:54 +0000361 // In Linux, r2 is reserved for the OS.
362 if (!Subtarget.isDarwin())
363 Reserved.set(PPC::R2);
Bill Wendling7194aaf2008-03-03 22:19:16 +0000364
365 // On PPC64, r13 is the thread pointer. Never allocate this register. Note
366 // that this is over conservative, as it also prevents allocation of R31 when
367 // the FP is not needed.
Evan Chengb371f452007-02-19 21:49:54 +0000368 if (Subtarget.isPPC64()) {
369 Reserved.set(PPC::R13);
370 Reserved.set(PPC::R31);
Bill Wendling7194aaf2008-03-03 22:19:16 +0000371
Bill Wendling4a66e9a2008-03-10 22:49:16 +0000372 if (!EnableRegisterScavenging)
Bill Wendling880d0f62008-03-04 23:13:51 +0000373 Reserved.set(PPC::R0); // FIXME (64-bit): Remove
Bill Wendling7194aaf2008-03-03 22:19:16 +0000374
375 Reserved.set(PPC::X0);
376 Reserved.set(PPC::X1);
377 Reserved.set(PPC::X13);
378 Reserved.set(PPC::X31);
Evan Chengb371f452007-02-19 21:49:54 +0000379 }
Bill Wendling7194aaf2008-03-03 22:19:16 +0000380
Evan Chengb371f452007-02-19 21:49:54 +0000381 if (needsFP(MF))
382 Reserved.set(PPC::R31);
Bill Wendling7194aaf2008-03-03 22:19:16 +0000383
Evan Chengb371f452007-02-19 21:49:54 +0000384 return Reserved;
385}
386
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000387//===----------------------------------------------------------------------===//
388// Stack Frame Processing methods
389//===----------------------------------------------------------------------===//
390
Jim Laskey2f616bf2006-11-16 22:43:37 +0000391// hasFP - Return true if the specified function actually has a dedicated frame
392// pointer register. This is true if the function needs a frame pointer and has
393// a non-zero stack size.
Evan Chengdc775402007-01-23 00:57:47 +0000394bool PPCRegisterInfo::hasFP(const MachineFunction &MF) const {
Chris Lattner4f91a4c2006-04-03 22:03:29 +0000395 const MachineFrameInfo *MFI = MF.getFrameInfo();
Jim Laskey2f616bf2006-11-16 22:43:37 +0000396 return MFI->getStackSize() && needsFP(MF);
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000397}
398
Chris Lattner73944fb2007-12-08 06:39:11 +0000399/// MustSaveLR - Return true if this function requires that we save the LR
Chris Lattner3fc027d2007-12-08 06:59:59 +0000400/// register onto the stack in the prolog and restore it in the epilog of the
401/// function.
Dale Johannesenc12e5812008-10-24 21:24:23 +0000402static bool MustSaveLR(const MachineFunction &MF, unsigned LR) {
Chris Lattner3fc027d2007-12-08 06:59:59 +0000403 const PPCFunctionInfo *MFI = MF.getInfo<PPCFunctionInfo>();
404
Dale Johannesenc12e5812008-10-24 21:24:23 +0000405 // We need a save/restore of LR if there is any def of LR (which is
406 // defined by calls, including the PIC setup sequence), or if there is
407 // some use of the LR stack slot (e.g. for builtin_return_address).
408 // (LR comes in 32 and 64 bit versions.)
409 MachineRegisterInfo::def_iterator RI = MF.getRegInfo().def_begin(LR);
410 return RI !=MF.getRegInfo().def_end() || MFI->isLRStoreRequired();
Jim Laskey51fe9d92006-12-06 17:42:06 +0000411}
412
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +0000413
414
Nate Begeman21e463b2005-10-16 05:39:50 +0000415void PPCRegisterInfo::
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000416eliminateCallFramePseudoInstr(MachineFunction &MF, MachineBasicBlock &MBB,
417 MachineBasicBlock::iterator I) const {
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +0000418 if (PerformTailCallOpt && I->getOpcode() == PPC::ADJCALLSTACKUP) {
Dale Johannesenc12e5812008-10-24 21:24:23 +0000419 // Add (actually subtract) back the amount the callee popped on return.
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +0000420 if (int CalleeAmt = I->getOperand(1).getImm()) {
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +0000421 bool is64Bit = Subtarget.isPPC64();
422 CalleeAmt *= -1;
423 unsigned StackReg = is64Bit ? PPC::X1 : PPC::R1;
424 unsigned TmpReg = is64Bit ? PPC::X0 : PPC::R0;
425 unsigned ADDIInstr = is64Bit ? PPC::ADDI8 : PPC::ADDI;
426 unsigned ADDInstr = is64Bit ? PPC::ADD8 : PPC::ADD4;
427 unsigned LISInstr = is64Bit ? PPC::LIS8 : PPC::LIS;
428 unsigned ORIInstr = is64Bit ? PPC::ORI8 : PPC::ORI;
Dale Johannesen536a2f12009-02-13 02:27:39 +0000429 MachineInstr *MI = I;
430 DebugLoc dl = MI->getDebugLoc();
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +0000431
432 if (isInt16(CalleeAmt)) {
Dale Johannesen536a2f12009-02-13 02:27:39 +0000433 BuildMI(MBB, I, dl, TII.get(ADDIInstr), StackReg).addReg(StackReg).
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +0000434 addImm(CalleeAmt);
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +0000435 } else {
436 MachineBasicBlock::iterator MBBI = I;
Dale Johannesen536a2f12009-02-13 02:27:39 +0000437 BuildMI(MBB, MBBI, dl, TII.get(LISInstr), TmpReg)
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +0000438 .addImm(CalleeAmt >> 16);
Dale Johannesen536a2f12009-02-13 02:27:39 +0000439 BuildMI(MBB, MBBI, dl, TII.get(ORIInstr), TmpReg)
Bill Wendling587daed2009-05-13 21:33:08 +0000440 .addReg(TmpReg, RegState::Kill)
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +0000441 .addImm(CalleeAmt & 0xFFFF);
Dale Johannesen536a2f12009-02-13 02:27:39 +0000442 BuildMI(MBB, MBBI, dl, TII.get(ADDInstr))
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +0000443 .addReg(StackReg)
444 .addReg(StackReg)
445 .addReg(TmpReg);
446 }
447 }
448 }
Jim Laskey2f616bf2006-11-16 22:43:37 +0000449 // Simply discard ADJCALLSTACKDOWN, ADJCALLSTACKUP instructions.
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000450 MBB.erase(I);
451}
452
Bill Wendling7194aaf2008-03-03 22:19:16 +0000453/// findScratchRegister - Find a 'free' PPC register. Try for a call-clobbered
454/// register first and then a spilled callee-saved register if that fails.
455static
456unsigned findScratchRegister(MachineBasicBlock::iterator II, RegScavenger *RS,
457 const TargetRegisterClass *RC, int SPAdj) {
458 assert(RS && "Register scavenging must be on");
459 unsigned Reg = RS->FindUnusedReg(RC, true);
460 // FIXME: move ARM callee-saved reg scan to target independent code, then
461 // search for already spilled CS register here.
462 if (Reg == 0)
463 Reg = RS->scavengeRegister(RC, II, SPAdj);
464 return Reg;
465}
466
467/// lowerDynamicAlloc - Generate the code for allocating an object in the
Jim Laskey2f616bf2006-11-16 22:43:37 +0000468/// current frame. The sequence of code with be in the general form
469///
Dan Gohman0f8b53f2009-03-03 02:55:14 +0000470/// addi R0, SP, \#frameSize ; get the address of the previous frame
Jim Laskey2f616bf2006-11-16 22:43:37 +0000471/// stwxu R0, SP, Rnegsize ; add and update the SP with the negated size
Dan Gohman0f8b53f2009-03-03 02:55:14 +0000472/// addi Rnew, SP, \#maxCalFrameSize ; get the top of the allocation
Jim Laskey2f616bf2006-11-16 22:43:37 +0000473///
Bill Wendling7194aaf2008-03-03 22:19:16 +0000474void PPCRegisterInfo::lowerDynamicAlloc(MachineBasicBlock::iterator II,
475 int SPAdj, RegScavenger *RS) const {
Jim Laskey2f616bf2006-11-16 22:43:37 +0000476 // Get the instruction.
477 MachineInstr &MI = *II;
478 // Get the instruction's basic block.
479 MachineBasicBlock &MBB = *MI.getParent();
480 // Get the basic block's function.
481 MachineFunction &MF = *MBB.getParent();
482 // Get the frame info.
483 MachineFrameInfo *MFI = MF.getFrameInfo();
484 // Determine whether 64-bit pointers are used.
485 bool LP64 = Subtarget.isPPC64();
Dale Johannesen536a2f12009-02-13 02:27:39 +0000486 DebugLoc dl = MI.getDebugLoc();
Jim Laskey2f616bf2006-11-16 22:43:37 +0000487
Evan Chengfab04392007-01-25 22:48:25 +0000488 // Get the maximum call stack size.
Jim Laskey2f616bf2006-11-16 22:43:37 +0000489 unsigned maxCallFrameSize = MFI->getMaxCallFrameSize();
Jim Laskey2f616bf2006-11-16 22:43:37 +0000490 // Get the total frame size.
491 unsigned FrameSize = MFI->getStackSize();
492
493 // Get stack alignments.
494 unsigned TargetAlign = MF.getTarget().getFrameInfo()->getStackAlignment();
495 unsigned MaxAlign = MFI->getMaxAlignment();
Jim Laskeyd6fa8c12006-11-17 18:49:39 +0000496 assert(MaxAlign <= TargetAlign &&
497 "Dynamic alloca with large aligns not supported");
Jim Laskey2f616bf2006-11-16 22:43:37 +0000498
499 // Determine the previous frame's address. If FrameSize can't be
500 // represented as 16 bits or we need special alignment, then we load the
501 // previous frame's address from 0(SP). Why not do an addis of the hi?
502 // Because R0 is our only safe tmp register and addi/addis treat R0 as zero.
503 // Constructing the constant and adding would take 3 instructions.
504 // Fortunately, a frame greater than 32K is rare.
Bill Wendling7194aaf2008-03-03 22:19:16 +0000505 const TargetRegisterClass *G8RC = &PPC::G8RCRegClass;
506 const TargetRegisterClass *GPRC = &PPC::GPRCRegClass;
507 const TargetRegisterClass *RC = LP64 ? G8RC : GPRC;
508
509 // FIXME (64-bit): Use "findScratchRegister"
510 unsigned Reg;
Bill Wendling4a66e9a2008-03-10 22:49:16 +0000511 if (EnableRegisterScavenging)
Bill Wendling7194aaf2008-03-03 22:19:16 +0000512 Reg = findScratchRegister(II, RS, RC, SPAdj);
513 else
514 Reg = PPC::R0;
515
Jim Laskey2f616bf2006-11-16 22:43:37 +0000516 if (MaxAlign < TargetAlign && isInt16(FrameSize)) {
Dale Johannesen536a2f12009-02-13 02:27:39 +0000517 BuildMI(MBB, II, dl, TII.get(PPC::ADDI), Reg)
Jim Laskey2f616bf2006-11-16 22:43:37 +0000518 .addReg(PPC::R31)
519 .addImm(FrameSize);
520 } else if (LP64) {
Bill Wendling4a66e9a2008-03-10 22:49:16 +0000521 if (EnableRegisterScavenging) // FIXME (64-bit): Use "true" part.
Dale Johannesen536a2f12009-02-13 02:27:39 +0000522 BuildMI(MBB, II, dl, TII.get(PPC::LD), Reg)
Chris Lattner71a2cb22008-03-20 01:22:40 +0000523 .addImm(0)
524 .addReg(PPC::X1);
Bill Wendling880d0f62008-03-04 23:13:51 +0000525 else
Dale Johannesen536a2f12009-02-13 02:27:39 +0000526 BuildMI(MBB, II, dl, TII.get(PPC::LD), PPC::X0)
Chris Lattner71a2cb22008-03-20 01:22:40 +0000527 .addImm(0)
528 .addReg(PPC::X1);
Jim Laskey2f616bf2006-11-16 22:43:37 +0000529 } else {
Dale Johannesen536a2f12009-02-13 02:27:39 +0000530 BuildMI(MBB, II, dl, TII.get(PPC::LWZ), Reg)
Jim Laskey2f616bf2006-11-16 22:43:37 +0000531 .addImm(0)
532 .addReg(PPC::R1);
533 }
534
Bill Wendling7194aaf2008-03-03 22:19:16 +0000535 // Grow the stack and update the stack pointer link, then determine the
536 // address of new allocated space.
Jim Laskey2f616bf2006-11-16 22:43:37 +0000537 if (LP64) {
Bill Wendling4a66e9a2008-03-10 22:49:16 +0000538 if (EnableRegisterScavenging) // FIXME (64-bit): Use "true" part.
Dale Johannesen536a2f12009-02-13 02:27:39 +0000539 BuildMI(MBB, II, dl, TII.get(PPC::STDUX))
Bill Wendling587daed2009-05-13 21:33:08 +0000540 .addReg(Reg, RegState::Kill)
Chris Lattner71a2cb22008-03-20 01:22:40 +0000541 .addReg(PPC::X1)
542 .addReg(MI.getOperand(1).getReg());
Bill Wendling880d0f62008-03-04 23:13:51 +0000543 else
Dale Johannesen536a2f12009-02-13 02:27:39 +0000544 BuildMI(MBB, II, dl, TII.get(PPC::STDUX))
Bill Wendling587daed2009-05-13 21:33:08 +0000545 .addReg(PPC::X0, RegState::Kill)
Chris Lattner71a2cb22008-03-20 01:22:40 +0000546 .addReg(PPC::X1)
547 .addReg(MI.getOperand(1).getReg());
Bill Wendling7194aaf2008-03-03 22:19:16 +0000548
549 if (!MI.getOperand(1).isKill())
Dale Johannesen536a2f12009-02-13 02:27:39 +0000550 BuildMI(MBB, II, dl, TII.get(PPC::ADDI8), MI.getOperand(0).getReg())
Chris Lattner71a2cb22008-03-20 01:22:40 +0000551 .addReg(PPC::X1)
552 .addImm(maxCallFrameSize);
Bill Wendling7194aaf2008-03-03 22:19:16 +0000553 else
554 // Implicitly kill the register.
Dale Johannesen536a2f12009-02-13 02:27:39 +0000555 BuildMI(MBB, II, dl, TII.get(PPC::ADDI8), MI.getOperand(0).getReg())
Chris Lattner71a2cb22008-03-20 01:22:40 +0000556 .addReg(PPC::X1)
557 .addImm(maxCallFrameSize)
Bill Wendling587daed2009-05-13 21:33:08 +0000558 .addReg(MI.getOperand(1).getReg(), RegState::ImplicitKill);
Jim Laskey2f616bf2006-11-16 22:43:37 +0000559 } else {
Dale Johannesen536a2f12009-02-13 02:27:39 +0000560 BuildMI(MBB, II, dl, TII.get(PPC::STWUX))
Bill Wendling587daed2009-05-13 21:33:08 +0000561 .addReg(Reg, RegState::Kill)
Jim Laskey2f616bf2006-11-16 22:43:37 +0000562 .addReg(PPC::R1)
563 .addReg(MI.getOperand(1).getReg());
Bill Wendling7194aaf2008-03-03 22:19:16 +0000564
565 if (!MI.getOperand(1).isKill())
Dale Johannesen536a2f12009-02-13 02:27:39 +0000566 BuildMI(MBB, II, dl, TII.get(PPC::ADDI), MI.getOperand(0).getReg())
Chris Lattner71a2cb22008-03-20 01:22:40 +0000567 .addReg(PPC::R1)
568 .addImm(maxCallFrameSize);
Bill Wendling7194aaf2008-03-03 22:19:16 +0000569 else
570 // Implicitly kill the register.
Dale Johannesen536a2f12009-02-13 02:27:39 +0000571 BuildMI(MBB, II, dl, TII.get(PPC::ADDI), MI.getOperand(0).getReg())
Chris Lattner71a2cb22008-03-20 01:22:40 +0000572 .addReg(PPC::R1)
573 .addImm(maxCallFrameSize)
Bill Wendling587daed2009-05-13 21:33:08 +0000574 .addReg(MI.getOperand(1).getReg(), RegState::ImplicitKill);
Jim Laskey2f616bf2006-11-16 22:43:37 +0000575 }
576
577 // Discard the DYNALLOC instruction.
578 MBB.erase(II);
579}
580
Bill Wendling7194aaf2008-03-03 22:19:16 +0000581/// lowerCRSpilling - Generate the code for spilling a CR register. Instead of
582/// reserving a whole register (R0), we scrounge for one here. This generates
583/// code like this:
584///
585/// mfcr rA ; Move the conditional register into GPR rA.
586/// rlwinm rA, rA, SB, 0, 31 ; Shift the bits left so they are in CR0's slot.
587/// stw rA, FI ; Store rA to the frame.
588///
589void PPCRegisterInfo::lowerCRSpilling(MachineBasicBlock::iterator II,
590 unsigned FrameIndex, int SPAdj,
591 RegScavenger *RS) const {
592 // Get the instruction.
593 MachineInstr &MI = *II; // ; SPILL_CR <SrcReg>, <offset>, <FI>
594 // Get the instruction's basic block.
595 MachineBasicBlock &MBB = *MI.getParent();
Dale Johannesen536a2f12009-02-13 02:27:39 +0000596 DebugLoc dl = MI.getDebugLoc();
Bill Wendling7194aaf2008-03-03 22:19:16 +0000597
598 const TargetRegisterClass *G8RC = &PPC::G8RCRegClass;
599 const TargetRegisterClass *GPRC = &PPC::GPRCRegClass;
600 const TargetRegisterClass *RC = Subtarget.isPPC64() ? G8RC : GPRC;
601 unsigned Reg = findScratchRegister(II, RS, RC, SPAdj);
602
Bill Wendling2b5fab62008-03-04 23:27:33 +0000603 // We need to store the CR in the low 4-bits of the saved value. First, issue
604 // an MFCR to save all of the CRBits. Add an implicit kill of the CR.
Bill Wendling7194aaf2008-03-03 22:19:16 +0000605 if (!MI.getOperand(0).isKill())
Dale Johannesen536a2f12009-02-13 02:27:39 +0000606 BuildMI(MBB, II, dl, TII.get(PPC::MFCR), Reg);
Bill Wendling7194aaf2008-03-03 22:19:16 +0000607 else
608 // Implicitly kill the CR register.
Dale Johannesen536a2f12009-02-13 02:27:39 +0000609 BuildMI(MBB, II, dl, TII.get(PPC::MFCR), Reg)
Bill Wendling587daed2009-05-13 21:33:08 +0000610 .addReg(MI.getOperand(0).getReg(), RegState::ImplicitKill);
Bill Wendling2b5fab62008-03-04 23:27:33 +0000611
Bill Wendling7194aaf2008-03-03 22:19:16 +0000612 // If the saved register wasn't CR0, shift the bits left so that they are in
613 // CR0's slot.
614 unsigned SrcReg = MI.getOperand(0).getReg();
615 if (SrcReg != PPC::CR0)
616 // rlwinm rA, rA, ShiftBits, 0, 31.
Dale Johannesen536a2f12009-02-13 02:27:39 +0000617 BuildMI(MBB, II, dl, TII.get(PPC::RLWINM), Reg)
Bill Wendling587daed2009-05-13 21:33:08 +0000618 .addReg(Reg, RegState::Kill)
Bill Wendling7194aaf2008-03-03 22:19:16 +0000619 .addImm(PPCRegisterInfo::getRegisterNumbering(SrcReg) * 4)
620 .addImm(0)
621 .addImm(31);
622
Dale Johannesen536a2f12009-02-13 02:27:39 +0000623 addFrameReference(BuildMI(MBB, II, dl, TII.get(PPC::STW))
Bill Wendling587daed2009-05-13 21:33:08 +0000624 .addReg(Reg, getKillRegState(MI.getOperand(1).getImm())),
Bill Wendling7194aaf2008-03-03 22:19:16 +0000625 FrameIndex);
626
627 // Discard the pseudo instruction.
628 MBB.erase(II);
629}
630
Evan Cheng5e6df462007-02-28 00:21:17 +0000631void PPCRegisterInfo::eliminateFrameIndex(MachineBasicBlock::iterator II,
Evan Cheng97de9132007-05-01 09:13:03 +0000632 int SPAdj, RegScavenger *RS) const {
633 assert(SPAdj == 0 && "Unexpected");
634
Jim Laskey2f616bf2006-11-16 22:43:37 +0000635 // Get the instruction.
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000636 MachineInstr &MI = *II;
Jim Laskey2f616bf2006-11-16 22:43:37 +0000637 // Get the instruction's basic block.
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000638 MachineBasicBlock &MBB = *MI.getParent();
Jim Laskey2f616bf2006-11-16 22:43:37 +0000639 // Get the basic block's function.
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000640 MachineFunction &MF = *MBB.getParent();
Jim Laskey2f616bf2006-11-16 22:43:37 +0000641 // Get the frame info.
642 MachineFrameInfo *MFI = MF.getFrameInfo();
Dale Johannesen536a2f12009-02-13 02:27:39 +0000643 DebugLoc dl = MI.getDebugLoc();
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000644
Jim Laskey2f616bf2006-11-16 22:43:37 +0000645 // Find out which operand is the frame index.
Chris Lattnerf602a252007-10-16 18:00:18 +0000646 unsigned FIOperandNo = 0;
Dan Gohmand735b802008-10-03 15:45:36 +0000647 while (!MI.getOperand(FIOperandNo).isFI()) {
Chris Lattnerf602a252007-10-16 18:00:18 +0000648 ++FIOperandNo;
649 assert(FIOperandNo != MI.getNumOperands() &&
650 "Instr doesn't have FrameIndex operand!");
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000651 }
Jim Laskey2f616bf2006-11-16 22:43:37 +0000652 // Take into account whether it's an add or mem instruction
Chris Lattnerf602a252007-10-16 18:00:18 +0000653 unsigned OffsetOperandNo = (FIOperandNo == 2) ? 1 : 2;
Chris Lattner9aa28952007-02-01 00:39:08 +0000654 if (MI.getOpcode() == TargetInstrInfo::INLINEASM)
Chris Lattnerf602a252007-10-16 18:00:18 +0000655 OffsetOperandNo = FIOperandNo-1;
Bill Wendling7194aaf2008-03-03 22:19:16 +0000656
Jim Laskey2f616bf2006-11-16 22:43:37 +0000657 // Get the frame index.
Chris Lattner8aa797a2007-12-30 23:10:15 +0000658 int FrameIndex = MI.getOperand(FIOperandNo).getIndex();
Bill Wendling7194aaf2008-03-03 22:19:16 +0000659
Jim Laskey2f616bf2006-11-16 22:43:37 +0000660 // Get the frame pointer save index. Users of this index are primarily
661 // DYNALLOC instructions.
662 PPCFunctionInfo *FI = MF.getInfo<PPCFunctionInfo>();
663 int FPSI = FI->getFramePointerSaveIndex();
664 // Get the instruction opcode.
665 unsigned OpC = MI.getOpcode();
666
667 // Special case for dynamic alloca.
668 if (FPSI && FrameIndex == FPSI &&
669 (OpC == PPC::DYNALLOC || OpC == PPC::DYNALLOC8)) {
Bill Wendling7194aaf2008-03-03 22:19:16 +0000670 lowerDynamicAlloc(II, SPAdj, RS);
671 return;
672 }
673
674 // Special case for pseudo-op SPILL_CR.
Bill Wendling4a66e9a2008-03-10 22:49:16 +0000675 if (EnableRegisterScavenging) // FIXME (64-bit): Enable by default.
Bill Wendling880d0f62008-03-04 23:13:51 +0000676 if (OpC == PPC::SPILL_CR) {
677 lowerCRSpilling(II, FrameIndex, SPAdj, RS);
678 return;
679 }
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000680
681 // Replace the FrameIndex with base register with GPR1 (SP) or GPR31 (FP).
Chris Lattnerf602a252007-10-16 18:00:18 +0000682 MI.getOperand(FIOperandNo).ChangeToRegister(hasFP(MF) ? PPC::R31 : PPC::R1,
683 false);
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000684
Chris Lattner7ffa9ab2006-06-27 18:55:49 +0000685 // Figure out if the offset in the instruction is shifted right two bits. This
686 // is true for instructions like "STD", which the machine implicitly adds two
687 // low zeros to.
688 bool isIXAddr = false;
Jim Laskey2f616bf2006-11-16 22:43:37 +0000689 switch (OpC) {
Chris Lattner7ffa9ab2006-06-27 18:55:49 +0000690 case PPC::LWA:
691 case PPC::LD:
692 case PPC::STD:
693 case PPC::STD_32:
694 isIXAddr = true;
695 break;
696 }
697
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000698 // Now add the frame object offset to the offset from r1.
Jim Laskey2f616bf2006-11-16 22:43:37 +0000699 int Offset = MFI->getObjectOffset(FrameIndex);
Chris Lattner7ffa9ab2006-06-27 18:55:49 +0000700 if (!isIXAddr)
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000701 Offset += MI.getOperand(OffsetOperandNo).getImm();
Chris Lattner7ffa9ab2006-06-27 18:55:49 +0000702 else
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000703 Offset += MI.getOperand(OffsetOperandNo).getImm() << 2;
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000704
705 // If we're not using a Frame Pointer that has been set to the value of the
706 // SP before having the stack size subtracted from it, then add the stack size
707 // to Offset to get the correct offset.
Jim Laskey2f616bf2006-11-16 22:43:37 +0000708 Offset += MFI->getStackSize();
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000709
Chris Lattner789db092007-11-27 22:14:42 +0000710 // If we can, encode the offset directly into the instruction. If this is a
711 // normal PPC "ri" instruction, any 16-bit value can be safely encoded. If
712 // this is a PPC64 "ix" instruction, only a 16-bit value with the low two bits
713 // clear can be encoded. This is extremely uncommon, because normally you
714 // only "std" to a stack slot that is at least 4-byte aligned, but it can
715 // happen in invalid code.
Chris Lattnerd9642852007-12-08 07:04:58 +0000716 if (isInt16(Offset) && (!isIXAddr || (Offset & 3) == 0)) {
Chris Lattner789db092007-11-27 22:14:42 +0000717 if (isIXAddr)
Chris Lattner841d12d2005-10-18 16:51:22 +0000718 Offset >>= 2; // The actual encoded value has the low two bits zero.
Chris Lattnerf602a252007-10-16 18:00:18 +0000719 MI.getOperand(OffsetOperandNo).ChangeToImmediate(Offset);
Chris Lattner789db092007-11-27 22:14:42 +0000720 return;
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000721 }
Bill Wendling7194aaf2008-03-03 22:19:16 +0000722
723 // The offset doesn't fit into a single register, scavenge one to build the
724 // offset in.
725 // FIXME: figure out what SPAdj is doing here.
726
727 // FIXME (64-bit): Use "findScratchRegister".
728 unsigned SReg;
Bill Wendling4a66e9a2008-03-10 22:49:16 +0000729 if (EnableRegisterScavenging)
Bill Wendling7194aaf2008-03-03 22:19:16 +0000730 SReg = findScratchRegister(II, RS, &PPC::GPRCRegClass, SPAdj);
731 else
732 SReg = PPC::R0;
733
734 // Insert a set of rA with the full offset value before the ld, st, or add
Dale Johannesen536a2f12009-02-13 02:27:39 +0000735 BuildMI(MBB, II, dl, TII.get(PPC::LIS), SReg)
Bill Wendling7194aaf2008-03-03 22:19:16 +0000736 .addImm(Offset >> 16);
Dale Johannesen536a2f12009-02-13 02:27:39 +0000737 BuildMI(MBB, II, dl, TII.get(PPC::ORI), SReg)
Bill Wendling587daed2009-05-13 21:33:08 +0000738 .addReg(SReg, RegState::Kill)
Bill Wendling7194aaf2008-03-03 22:19:16 +0000739 .addImm(Offset);
740
741 // Convert into indexed form of the instruction:
742 //
743 // sth 0:rA, 1:imm 2:(rB) ==> sthx 0:rA, 2:rB, 1:r0
744 // addi 0:rA 1:rB, 2, imm ==> add 0:rA, 1:rB, 2:r0
Chris Lattner789db092007-11-27 22:14:42 +0000745 unsigned OperandBase;
Bill Wendling7194aaf2008-03-03 22:19:16 +0000746
Chris Lattner789db092007-11-27 22:14:42 +0000747 if (OpC != TargetInstrInfo::INLINEASM) {
748 assert(ImmToIdxMap.count(OpC) &&
749 "No indexed form of load or store available!");
750 unsigned NewOpcode = ImmToIdxMap.find(OpC)->second;
Chris Lattner5080f4d2008-01-11 18:10:50 +0000751 MI.setDesc(TII.get(NewOpcode));
Chris Lattner789db092007-11-27 22:14:42 +0000752 OperandBase = 1;
753 } else {
754 OperandBase = OffsetOperandNo;
755 }
756
757 unsigned StackReg = MI.getOperand(FIOperandNo).getReg();
758 MI.getOperand(OperandBase).ChangeToRegister(StackReg, false);
Bill Wendling7194aaf2008-03-03 22:19:16 +0000759 MI.getOperand(OperandBase + 1).ChangeToRegister(SReg, false);
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000760}
761
Chris Lattnerf7d23722006-04-17 20:59:25 +0000762/// VRRegNo - Map from a numbered VR register to its enum value.
763///
764static const unsigned short VRRegNo[] = {
Chris Lattnerb47e0892006-06-12 21:50:57 +0000765 PPC::V0 , PPC::V1 , PPC::V2 , PPC::V3 , PPC::V4 , PPC::V5 , PPC::V6 , PPC::V7 ,
766 PPC::V8 , PPC::V9 , PPC::V10, PPC::V11, PPC::V12, PPC::V13, PPC::V14, PPC::V15,
Chris Lattnerf7d23722006-04-17 20:59:25 +0000767 PPC::V16, PPC::V17, PPC::V18, PPC::V19, PPC::V20, PPC::V21, PPC::V22, PPC::V23,
768 PPC::V24, PPC::V25, PPC::V26, PPC::V27, PPC::V28, PPC::V29, PPC::V30, PPC::V31
769};
770
Chris Lattnerf9568d82006-04-17 21:48:13 +0000771/// RemoveVRSaveCode - We have found that this function does not need any code
772/// to manipulate the VRSAVE register, even though it uses vector registers.
773/// This can happen when the only registers used are known to be live in or out
774/// of the function. Remove all of the VRSAVE related code from the function.
775static void RemoveVRSaveCode(MachineInstr *MI) {
776 MachineBasicBlock *Entry = MI->getParent();
777 MachineFunction *MF = Entry->getParent();
778
779 // We know that the MTVRSAVE instruction immediately follows MI. Remove it.
780 MachineBasicBlock::iterator MBBI = MI;
781 ++MBBI;
782 assert(MBBI != Entry->end() && MBBI->getOpcode() == PPC::MTVRSAVE);
783 MBBI->eraseFromParent();
784
785 bool RemovedAllMTVRSAVEs = true;
786 // See if we can find and remove the MTVRSAVE instruction from all of the
787 // epilog blocks.
Chris Lattnerf9568d82006-04-17 21:48:13 +0000788 for (MachineFunction::iterator I = MF->begin(), E = MF->end(); I != E; ++I) {
789 // If last instruction is a return instruction, add an epilogue
Chris Lattner749c6f62008-01-07 07:27:27 +0000790 if (!I->empty() && I->back().getDesc().isReturn()) {
Chris Lattnerf9568d82006-04-17 21:48:13 +0000791 bool FoundIt = false;
792 for (MBBI = I->end(); MBBI != I->begin(); ) {
793 --MBBI;
794 if (MBBI->getOpcode() == PPC::MTVRSAVE) {
795 MBBI->eraseFromParent(); // remove it.
796 FoundIt = true;
797 break;
798 }
799 }
800 RemovedAllMTVRSAVEs &= FoundIt;
801 }
802 }
803
804 // If we found and removed all MTVRSAVE instructions, remove the read of
805 // VRSAVE as well.
806 if (RemovedAllMTVRSAVEs) {
807 MBBI = MI;
808 assert(MBBI != Entry->begin() && "UPDATE_VRSAVE is first instr in block?");
809 --MBBI;
810 assert(MBBI->getOpcode() == PPC::MFVRSAVE && "VRSAVE instrs wandered?");
811 MBBI->eraseFromParent();
812 }
813
814 // Finally, nuke the UPDATE_VRSAVE.
815 MI->eraseFromParent();
816}
817
Chris Lattner1877ec92006-03-13 21:52:10 +0000818// HandleVRSaveUpdate - MI is the UPDATE_VRSAVE instruction introduced by the
819// instruction selector. Based on the vector registers that have been used,
820// transform this into the appropriate ORI instruction.
Evan Cheng6c087e52007-04-25 22:13:27 +0000821static void HandleVRSaveUpdate(MachineInstr *MI, const TargetInstrInfo &TII) {
822 MachineFunction *MF = MI->getParent()->getParent();
Dale Johannesen536a2f12009-02-13 02:27:39 +0000823 DebugLoc dl = MI->getDebugLoc();
Evan Cheng6c087e52007-04-25 22:13:27 +0000824
Chris Lattner1877ec92006-03-13 21:52:10 +0000825 unsigned UsedRegMask = 0;
Chris Lattnerf7d23722006-04-17 20:59:25 +0000826 for (unsigned i = 0; i != 32; ++i)
Chris Lattner84bc5422007-12-31 04:13:23 +0000827 if (MF->getRegInfo().isPhysRegUsed(VRRegNo[i]))
Chris Lattnerf7d23722006-04-17 20:59:25 +0000828 UsedRegMask |= 1 << (31-i);
829
Chris Lattner402504b2006-04-17 21:22:06 +0000830 // Live in and live out values already must be in the mask, so don't bother
831 // marking them.
Chris Lattner84bc5422007-12-31 04:13:23 +0000832 for (MachineRegisterInfo::livein_iterator
833 I = MF->getRegInfo().livein_begin(),
834 E = MF->getRegInfo().livein_end(); I != E; ++I) {
Chris Lattner402504b2006-04-17 21:22:06 +0000835 unsigned RegNo = PPCRegisterInfo::getRegisterNumbering(I->first);
836 if (VRRegNo[RegNo] == I->first) // If this really is a vector reg.
837 UsedRegMask &= ~(1 << (31-RegNo)); // Doesn't need to be marked.
838 }
Chris Lattner84bc5422007-12-31 04:13:23 +0000839 for (MachineRegisterInfo::liveout_iterator
840 I = MF->getRegInfo().liveout_begin(),
841 E = MF->getRegInfo().liveout_end(); I != E; ++I) {
Chris Lattner402504b2006-04-17 21:22:06 +0000842 unsigned RegNo = PPCRegisterInfo::getRegisterNumbering(*I);
843 if (VRRegNo[RegNo] == *I) // If this really is a vector reg.
844 UsedRegMask &= ~(1 << (31-RegNo)); // Doesn't need to be marked.
845 }
846
Chris Lattner1877ec92006-03-13 21:52:10 +0000847 // If no registers are used, turn this into a copy.
848 if (UsedRegMask == 0) {
Chris Lattnerf9568d82006-04-17 21:48:13 +0000849 // Remove all VRSAVE code.
850 RemoveVRSaveCode(MI);
851 return;
Bill Wendling7194aaf2008-03-03 22:19:16 +0000852 }
853
854 unsigned SrcReg = MI->getOperand(1).getReg();
855 unsigned DstReg = MI->getOperand(0).getReg();
856
857 if ((UsedRegMask & 0xFFFF) == UsedRegMask) {
858 if (DstReg != SrcReg)
Dale Johannesen536a2f12009-02-13 02:27:39 +0000859 BuildMI(*MI->getParent(), MI, dl, TII.get(PPC::ORI), DstReg)
Bill Wendling7194aaf2008-03-03 22:19:16 +0000860 .addReg(SrcReg)
861 .addImm(UsedRegMask);
862 else
Dale Johannesen536a2f12009-02-13 02:27:39 +0000863 BuildMI(*MI->getParent(), MI, dl, TII.get(PPC::ORI), DstReg)
Bill Wendling587daed2009-05-13 21:33:08 +0000864 .addReg(SrcReg, RegState::Kill)
Bill Wendling7194aaf2008-03-03 22:19:16 +0000865 .addImm(UsedRegMask);
Chris Lattner1877ec92006-03-13 21:52:10 +0000866 } else if ((UsedRegMask & 0xFFFF0000) == UsedRegMask) {
Bill Wendling7194aaf2008-03-03 22:19:16 +0000867 if (DstReg != SrcReg)
Dale Johannesen536a2f12009-02-13 02:27:39 +0000868 BuildMI(*MI->getParent(), MI, dl, TII.get(PPC::ORIS), DstReg)
Bill Wendling7194aaf2008-03-03 22:19:16 +0000869 .addReg(SrcReg)
870 .addImm(UsedRegMask >> 16);
871 else
Dale Johannesen536a2f12009-02-13 02:27:39 +0000872 BuildMI(*MI->getParent(), MI, dl, TII.get(PPC::ORIS), DstReg)
Bill Wendling587daed2009-05-13 21:33:08 +0000873 .addReg(SrcReg, RegState::Kill)
Bill Wendling7194aaf2008-03-03 22:19:16 +0000874 .addImm(UsedRegMask >> 16);
Chris Lattner1877ec92006-03-13 21:52:10 +0000875 } else {
Bill Wendling7194aaf2008-03-03 22:19:16 +0000876 if (DstReg != SrcReg)
Dale Johannesen536a2f12009-02-13 02:27:39 +0000877 BuildMI(*MI->getParent(), MI, dl, TII.get(PPC::ORIS), DstReg)
Bill Wendling7194aaf2008-03-03 22:19:16 +0000878 .addReg(SrcReg)
879 .addImm(UsedRegMask >> 16);
880 else
Dale Johannesen536a2f12009-02-13 02:27:39 +0000881 BuildMI(*MI->getParent(), MI, dl, TII.get(PPC::ORIS), DstReg)
Bill Wendling587daed2009-05-13 21:33:08 +0000882 .addReg(SrcReg, RegState::Kill)
Bill Wendling7194aaf2008-03-03 22:19:16 +0000883 .addImm(UsedRegMask >> 16);
884
Dale Johannesen536a2f12009-02-13 02:27:39 +0000885 BuildMI(*MI->getParent(), MI, dl, TII.get(PPC::ORI), DstReg)
Bill Wendling587daed2009-05-13 21:33:08 +0000886 .addReg(DstReg, RegState::Kill)
Bill Wendling7194aaf2008-03-03 22:19:16 +0000887 .addImm(UsedRegMask & 0xFFFF);
Chris Lattner1877ec92006-03-13 21:52:10 +0000888 }
889
890 // Remove the old UPDATE_VRSAVE instruction.
Chris Lattnerf9568d82006-04-17 21:48:13 +0000891 MI->eraseFromParent();
Chris Lattner1877ec92006-03-13 21:52:10 +0000892}
893
Jim Laskey2f616bf2006-11-16 22:43:37 +0000894/// determineFrameLayout - Determine the size of the frame and maximum call
895/// frame size.
896void PPCRegisterInfo::determineFrameLayout(MachineFunction &MF) const {
897 MachineFrameInfo *MFI = MF.getFrameInfo();
898
899 // Get the number of bytes to allocate from the FrameInfo
900 unsigned FrameSize = MFI->getStackSize();
901
902 // Get the alignments provided by the target, and the maximum alignment
903 // (if any) of the fixed frame objects.
Jim Laskey2f616bf2006-11-16 22:43:37 +0000904 unsigned MaxAlign = MFI->getMaxAlignment();
Evan Cheng99403b62007-01-25 22:25:04 +0000905 unsigned TargetAlign = MF.getTarget().getFrameInfo()->getStackAlignment();
906 unsigned AlignMask = TargetAlign - 1; //
Jim Laskey2f616bf2006-11-16 22:43:37 +0000907
908 // If we are a leaf function, and use up to 224 bytes of stack space,
909 // don't have a frame pointer, calls, or dynamic alloca then we do not need
910 // to adjust the stack pointer (we fit in the Red Zone).
Devang Pateld18e31a2009-06-04 22:05:33 +0000911 bool DisableRedZone = MF.getFunction()->hasFnAttr(Attribute::NoRedZone);
Dan Gohman9e790912009-01-27 19:19:28 +0000912 if (!DisableRedZone &&
913 FrameSize <= 224 && // Fits in red zone.
Dale Johannesen82e42892008-03-10 22:59:46 +0000914 !MFI->hasVarSizedObjects() && // No dynamic alloca.
915 !MFI->hasCalls() && // No calls.
916 (!ALIGN_STACK || MaxAlign <= TargetAlign)) { // No special alignment.
Jim Laskey2f616bf2006-11-16 22:43:37 +0000917 // No need for frame
918 MFI->setStackSize(0);
919 return;
920 }
921
922 // Get the maximum call frame size of all the calls.
923 unsigned maxCallFrameSize = MFI->getMaxCallFrameSize();
924
925 // Maximum call frame needs to be at least big enough for linkage and 8 args.
926 unsigned minCallFrameSize =
Chris Lattner9f0bc652007-02-25 05:34:32 +0000927 PPCFrameInfo::getMinCallFrameSize(Subtarget.isPPC64(),
928 Subtarget.isMachoABI());
Jim Laskey2f616bf2006-11-16 22:43:37 +0000929 maxCallFrameSize = std::max(maxCallFrameSize, minCallFrameSize);
930
931 // If we have dynamic alloca then maxCallFrameSize needs to be aligned so
932 // that allocations will be aligned.
933 if (MFI->hasVarSizedObjects())
934 maxCallFrameSize = (maxCallFrameSize + AlignMask) & ~AlignMask;
935
936 // Update maximum call frame size.
937 MFI->setMaxCallFrameSize(maxCallFrameSize);
938
939 // Include call frame size in total.
940 FrameSize += maxCallFrameSize;
Chris Lattner9f0bc652007-02-25 05:34:32 +0000941
Jim Laskey2f616bf2006-11-16 22:43:37 +0000942 // Make sure the frame is aligned.
943 FrameSize = (FrameSize + AlignMask) & ~AlignMask;
944
945 // Update frame info.
946 MFI->setStackSize(FrameSize);
947}
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000948
Bill Wendling7194aaf2008-03-03 22:19:16 +0000949void
950PPCRegisterInfo::processFunctionBeforeCalleeSavedScan(MachineFunction &MF,
951 RegScavenger *RS) const {
Jim Laskeyd313a9b2007-02-27 11:55:45 +0000952 // Save and clear the LR state.
953 PPCFunctionInfo *FI = MF.getInfo<PPCFunctionInfo>();
954 unsigned LR = getRARegister();
Dale Johannesenc12e5812008-10-24 21:24:23 +0000955 FI->setMustSaveLR(MustSaveLR(MF, LR));
Chris Lattner84bc5422007-12-31 04:13:23 +0000956 MF.getRegInfo().setPhysRegUnused(LR);
Nicolas Geoffray82d42642007-03-21 16:44:14 +0000957
958 // Save R31 if necessary
959 int FPSI = FI->getFramePointerSaveIndex();
960 bool IsPPC64 = Subtarget.isPPC64();
Nicolas Geoffrayec58d9f2007-04-03 12:35:28 +0000961 bool IsELF32_ABI = Subtarget.isELF32_ABI();
962 bool IsMachoABI = Subtarget.isMachoABI();
Bill Wendling7194aaf2008-03-03 22:19:16 +0000963 MachineFrameInfo *MFI = MF.getFrameInfo();
Nicolas Geoffray82d42642007-03-21 16:44:14 +0000964
965 // If the frame pointer save index hasn't been defined yet.
Chris Lattner84bc5422007-12-31 04:13:23 +0000966 if (!FPSI && (NoFramePointerElim || MFI->hasVarSizedObjects()) &&
967 IsELF32_ABI) {
Nicolas Geoffray82d42642007-03-21 16:44:14 +0000968 // Find out what the fix offset of the frame pointer save area.
Nicolas Geoffrayec58d9f2007-04-03 12:35:28 +0000969 int FPOffset = PPCFrameInfo::getFramePointerSaveOffset(IsPPC64,
970 IsMachoABI);
Nicolas Geoffray82d42642007-03-21 16:44:14 +0000971 // Allocate the frame index for frame pointer save area.
972 FPSI = MF.getFrameInfo()->CreateFixedObject(IsPPC64? 8 : 4, FPOffset);
973 // Save the result.
974 FI->setFramePointerSaveIndex(FPSI);
975 }
976
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +0000977 // Reserve stack space to move the linkage area to in case of a tail call.
978 int TCSPDelta = 0;
979 if (PerformTailCallOpt && (TCSPDelta=FI->getTailCallSPDelta()) < 0) {
980 int AddFPOffsetAmount = IsELF32_ABI ? -4 : 0;
981 MF.getFrameInfo()->CreateFixedObject( -1 * TCSPDelta,
982 AddFPOffsetAmount + TCSPDelta);
983 }
Bill Wendling7194aaf2008-03-03 22:19:16 +0000984 // Reserve a slot closest to SP or frame pointer if we have a dynalloc or
985 // a large stack, which will require scavenging a register to materialize a
986 // large offset.
987 // FIXME: this doesn't actually check stack size, so is a bit pessimistic
988 // FIXME: doesn't detect whether or not we need to spill vXX, which requires
989 // r0 for now.
990
Bill Wendling4a66e9a2008-03-10 22:49:16 +0000991 if (EnableRegisterScavenging) // FIXME (64-bit): Enable.
Bill Wendling880d0f62008-03-04 23:13:51 +0000992 if (needsFP(MF) || spillsCR(MF)) {
993 const TargetRegisterClass *GPRC = &PPC::GPRCRegClass;
994 const TargetRegisterClass *G8RC = &PPC::G8RCRegClass;
995 const TargetRegisterClass *RC = IsPPC64 ? G8RC : GPRC;
996 RS->setScavengingFrameIndex(MFI->CreateStackObject(RC->getSize(),
Chris Lattner71a2cb22008-03-20 01:22:40 +0000997 RC->getAlignment()));
Bill Wendling880d0f62008-03-04 23:13:51 +0000998 }
Jim Laskeyd313a9b2007-02-27 11:55:45 +0000999}
1000
Bill Wendling7194aaf2008-03-03 22:19:16 +00001001void
1002PPCRegisterInfo::emitPrologue(MachineFunction &MF) const {
Misha Brukmanf2ccb772004-08-17 04:55:41 +00001003 MachineBasicBlock &MBB = MF.front(); // Prolog goes in entry BB
1004 MachineBasicBlock::iterator MBBI = MBB.begin();
1005 MachineFrameInfo *MFI = MF.getFrameInfo();
Jim Laskey44c3b9f2007-01-26 21:22:28 +00001006 MachineModuleInfo *MMI = MFI->getMachineModuleInfo();
Dale Johannesen536a2f12009-02-13 02:27:39 +00001007 DebugLoc dl = DebugLoc::getUnknownLoc();
Dale Johannesene0040622008-04-02 17:04:45 +00001008 bool needsFrameMoves = (MMI && MMI->hasDebugInfo()) ||
Dale Johannesen4e1b7942008-04-08 00:10:24 +00001009 !MF.getFunction()->doesNotThrow() ||
Dale Johannesen3541af72008-04-14 17:54:17 +00001010 UnwindTablesMandatory;
Chris Lattner4f91a4c2006-04-03 22:03:29 +00001011
Jim Laskey072200c2007-01-29 18:51:14 +00001012 // Prepare for frame info.
Jim Laskey5e73d5b2007-01-24 18:45:13 +00001013 unsigned FrameLabelId = 0;
Bill Wendling7194aaf2008-03-03 22:19:16 +00001014
Chris Lattner4f91a4c2006-04-03 22:03:29 +00001015 // Scan the prolog, looking for an UPDATE_VRSAVE instruction. If we find it,
1016 // process it.
Chris Lattner8aa777d2006-03-16 21:31:45 +00001017 for (unsigned i = 0; MBBI != MBB.end(); ++i, ++MBBI) {
Chris Lattner1877ec92006-03-13 21:52:10 +00001018 if (MBBI->getOpcode() == PPC::UPDATE_VRSAVE) {
Evan Cheng6c087e52007-04-25 22:13:27 +00001019 HandleVRSaveUpdate(MBBI, TII);
Chris Lattner1877ec92006-03-13 21:52:10 +00001020 break;
1021 }
1022 }
1023
1024 // Move MBBI back to the beginning of the function.
1025 MBBI = MBB.begin();
Bill Wendling7194aaf2008-03-03 22:19:16 +00001026
Jim Laskey2f616bf2006-11-16 22:43:37 +00001027 // Work out frame sizes.
1028 determineFrameLayout(MF);
1029 unsigned FrameSize = MFI->getStackSize();
Nate Begemanae232e72005-11-06 09:00:38 +00001030
Jim Laskey2f616bf2006-11-16 22:43:37 +00001031 int NegFrameSize = -FrameSize;
Jim Laskey51fe9d92006-12-06 17:42:06 +00001032
1033 // Get processor type.
1034 bool IsPPC64 = Subtarget.isPPC64();
Chris Lattner9f0bc652007-02-25 05:34:32 +00001035 // Get operating system
1036 bool IsMachoABI = Subtarget.isMachoABI();
Dale Johannesenc12e5812008-10-24 21:24:23 +00001037 // Check if the link register (LR) must be saved.
1038 PPCFunctionInfo *FI = MF.getInfo<PPCFunctionInfo>();
1039 bool MustSaveLR = FI->mustSaveLR();
Jim Laskey2f616bf2006-11-16 22:43:37 +00001040 // Do we have a frame pointer for this function?
Jim Laskeyd313a9b2007-02-27 11:55:45 +00001041 bool HasFP = hasFP(MF) && FrameSize;
Jim Laskey51fe9d92006-12-06 17:42:06 +00001042
Chris Lattner9f0bc652007-02-25 05:34:32 +00001043 int LROffset = PPCFrameInfo::getReturnSaveOffset(IsPPC64, IsMachoABI);
1044 int FPOffset = PPCFrameInfo::getFramePointerSaveOffset(IsPPC64, IsMachoABI);
Bill Wendling7194aaf2008-03-03 22:19:16 +00001045
Jim Laskey51fe9d92006-12-06 17:42:06 +00001046 if (IsPPC64) {
Dale Johannesenc12e5812008-10-24 21:24:23 +00001047 if (MustSaveLR)
Dale Johannesen536a2f12009-02-13 02:27:39 +00001048 BuildMI(MBB, MBBI, dl, TII.get(PPC::MFLR8), PPC::X0);
Jim Laskey51fe9d92006-12-06 17:42:06 +00001049
1050 if (HasFP)
Dale Johannesen536a2f12009-02-13 02:27:39 +00001051 BuildMI(MBB, MBBI, dl, TII.get(PPC::STD))
Bill Wendling7194aaf2008-03-03 22:19:16 +00001052 .addReg(PPC::X31)
1053 .addImm(FPOffset/4)
1054 .addReg(PPC::X1);
Jim Laskey51fe9d92006-12-06 17:42:06 +00001055
Dale Johannesenc12e5812008-10-24 21:24:23 +00001056 if (MustSaveLR)
Dale Johannesen536a2f12009-02-13 02:27:39 +00001057 BuildMI(MBB, MBBI, dl, TII.get(PPC::STD))
Bill Wendling7194aaf2008-03-03 22:19:16 +00001058 .addReg(PPC::X0)
1059 .addImm(LROffset / 4)
1060 .addReg(PPC::X1);
Jim Laskey51fe9d92006-12-06 17:42:06 +00001061 } else {
Dale Johannesenc12e5812008-10-24 21:24:23 +00001062 if (MustSaveLR)
Dale Johannesen536a2f12009-02-13 02:27:39 +00001063 BuildMI(MBB, MBBI, dl, TII.get(PPC::MFLR), PPC::R0);
Jim Laskey51fe9d92006-12-06 17:42:06 +00001064
1065 if (HasFP)
Dale Johannesen536a2f12009-02-13 02:27:39 +00001066 BuildMI(MBB, MBBI, dl, TII.get(PPC::STW))
Bill Wendling7194aaf2008-03-03 22:19:16 +00001067 .addReg(PPC::R31)
1068 .addImm(FPOffset)
1069 .addReg(PPC::R1);
Jim Laskey51fe9d92006-12-06 17:42:06 +00001070
Dale Johannesenc12e5812008-10-24 21:24:23 +00001071 if (MustSaveLR)
Dale Johannesen536a2f12009-02-13 02:27:39 +00001072 BuildMI(MBB, MBBI, dl, TII.get(PPC::STW))
Bill Wendling7194aaf2008-03-03 22:19:16 +00001073 .addReg(PPC::R0)
1074 .addImm(LROffset)
1075 .addReg(PPC::R1);
Jim Laskey2f616bf2006-11-16 22:43:37 +00001076 }
1077
Jim Laskeyd313a9b2007-02-27 11:55:45 +00001078 // Skip if a leaf routine.
1079 if (!FrameSize) return;
1080
Jim Laskey2f616bf2006-11-16 22:43:37 +00001081 // Get stack alignments.
Nate Begemanae232e72005-11-06 09:00:38 +00001082 unsigned TargetAlign = MF.getTarget().getFrameInfo()->getStackAlignment();
1083 unsigned MaxAlign = MFI->getMaxAlignment();
Misha Brukmanf2ccb772004-08-17 04:55:41 +00001084
Dale Johannesene0040622008-04-02 17:04:45 +00001085 if (needsFrameMoves) {
Jim Laskey5e73d5b2007-01-24 18:45:13 +00001086 // Mark effective beginning of when frame pointer becomes valid.
Jim Laskey44c3b9f2007-01-26 21:22:28 +00001087 FrameLabelId = MMI->NextLabelID();
Dale Johannesen536a2f12009-02-13 02:27:39 +00001088 BuildMI(MBB, MBBI, dl, TII.get(PPC::DBG_LABEL)).addImm(FrameLabelId);
Jim Laskey5e73d5b2007-01-24 18:45:13 +00001089 }
1090
Jim Laskey2f616bf2006-11-16 22:43:37 +00001091 // Adjust stack pointer: r1 += NegFrameSize.
Nate Begeman030514c2006-04-11 19:29:21 +00001092 // If there is a preferred stack alignment, align R1 now
Jim Laskey51fe9d92006-12-06 17:42:06 +00001093 if (!IsPPC64) {
Chris Lattnera94a2032006-11-11 19:05:28 +00001094 // PPC32.
Dale Johannesen82e42892008-03-10 22:59:46 +00001095 if (ALIGN_STACK && MaxAlign > TargetAlign) {
Jim Laskey2f616bf2006-11-16 22:43:37 +00001096 assert(isPowerOf2_32(MaxAlign)&&isInt16(MaxAlign)&&"Invalid alignment!");
1097 assert(isInt16(NegFrameSize) && "Unhandled stack size and alignment!");
Bill Wendling7194aaf2008-03-03 22:19:16 +00001098
Dale Johannesen536a2f12009-02-13 02:27:39 +00001099 BuildMI(MBB, MBBI, dl, TII.get(PPC::RLWINM), PPC::R0)
Bill Wendling7194aaf2008-03-03 22:19:16 +00001100 .addReg(PPC::R1)
1101 .addImm(0)
1102 .addImm(32 - Log2_32(MaxAlign))
1103 .addImm(31);
Dale Johannesen536a2f12009-02-13 02:27:39 +00001104 BuildMI(MBB, MBBI, dl, TII.get(PPC::SUBFIC) ,PPC::R0)
Bill Wendling587daed2009-05-13 21:33:08 +00001105 .addReg(PPC::R0, RegState::Kill)
Jim Laskey2f616bf2006-11-16 22:43:37 +00001106 .addImm(NegFrameSize);
Dale Johannesen536a2f12009-02-13 02:27:39 +00001107 BuildMI(MBB, MBBI, dl, TII.get(PPC::STWUX))
Bill Wendling7194aaf2008-03-03 22:19:16 +00001108 .addReg(PPC::R1)
1109 .addReg(PPC::R1)
1110 .addReg(PPC::R0);
Jim Laskey2f616bf2006-11-16 22:43:37 +00001111 } else if (isInt16(NegFrameSize)) {
Dale Johannesen536a2f12009-02-13 02:27:39 +00001112 BuildMI(MBB, MBBI, dl, TII.get(PPC::STWU), PPC::R1)
Bill Wendling7194aaf2008-03-03 22:19:16 +00001113 .addReg(PPC::R1)
1114 .addImm(NegFrameSize)
1115 .addReg(PPC::R1);
Chris Lattnera94a2032006-11-11 19:05:28 +00001116 } else {
Dale Johannesen536a2f12009-02-13 02:27:39 +00001117 BuildMI(MBB, MBBI, dl, TII.get(PPC::LIS), PPC::R0)
Bill Wendling7194aaf2008-03-03 22:19:16 +00001118 .addImm(NegFrameSize >> 16);
Dale Johannesen536a2f12009-02-13 02:27:39 +00001119 BuildMI(MBB, MBBI, dl, TII.get(PPC::ORI), PPC::R0)
Bill Wendling587daed2009-05-13 21:33:08 +00001120 .addReg(PPC::R0, RegState::Kill)
Jim Laskey2f616bf2006-11-16 22:43:37 +00001121 .addImm(NegFrameSize & 0xFFFF);
Dale Johannesen536a2f12009-02-13 02:27:39 +00001122 BuildMI(MBB, MBBI, dl, TII.get(PPC::STWUX))
Bill Wendling7194aaf2008-03-03 22:19:16 +00001123 .addReg(PPC::R1)
1124 .addReg(PPC::R1)
Chris Lattnera94a2032006-11-11 19:05:28 +00001125 .addReg(PPC::R0);
1126 }
1127 } else { // PPC64.
Dale Johannesen82e42892008-03-10 22:59:46 +00001128 if (ALIGN_STACK && MaxAlign > TargetAlign) {
Jim Laskey2f616bf2006-11-16 22:43:37 +00001129 assert(isPowerOf2_32(MaxAlign)&&isInt16(MaxAlign)&&"Invalid alignment!");
1130 assert(isInt16(NegFrameSize) && "Unhandled stack size and alignment!");
Bill Wendling7194aaf2008-03-03 22:19:16 +00001131
Dale Johannesen536a2f12009-02-13 02:27:39 +00001132 BuildMI(MBB, MBBI, dl, TII.get(PPC::RLDICL), PPC::X0)
Bill Wendling7194aaf2008-03-03 22:19:16 +00001133 .addReg(PPC::X1)
1134 .addImm(0)
1135 .addImm(64 - Log2_32(MaxAlign));
Dale Johannesen536a2f12009-02-13 02:27:39 +00001136 BuildMI(MBB, MBBI, dl, TII.get(PPC::SUBFIC8), PPC::X0)
Bill Wendling7194aaf2008-03-03 22:19:16 +00001137 .addReg(PPC::X0)
Jim Laskey2f616bf2006-11-16 22:43:37 +00001138 .addImm(NegFrameSize);
Dale Johannesen536a2f12009-02-13 02:27:39 +00001139 BuildMI(MBB, MBBI, dl, TII.get(PPC::STDUX))
Bill Wendling7194aaf2008-03-03 22:19:16 +00001140 .addReg(PPC::X1)
1141 .addReg(PPC::X1)
1142 .addReg(PPC::X0);
Jim Laskey2ff5cdb2006-11-17 16:09:31 +00001143 } else if (isInt16(NegFrameSize)) {
Dale Johannesen536a2f12009-02-13 02:27:39 +00001144 BuildMI(MBB, MBBI, dl, TII.get(PPC::STDU), PPC::X1)
Bill Wendling7194aaf2008-03-03 22:19:16 +00001145 .addReg(PPC::X1)
1146 .addImm(NegFrameSize / 4)
1147 .addReg(PPC::X1);
Chris Lattnera94a2032006-11-11 19:05:28 +00001148 } else {
Dale Johannesen536a2f12009-02-13 02:27:39 +00001149 BuildMI(MBB, MBBI, dl, TII.get(PPC::LIS8), PPC::X0)
Bill Wendling7194aaf2008-03-03 22:19:16 +00001150 .addImm(NegFrameSize >> 16);
Dale Johannesen536a2f12009-02-13 02:27:39 +00001151 BuildMI(MBB, MBBI, dl, TII.get(PPC::ORI8), PPC::X0)
Bill Wendling587daed2009-05-13 21:33:08 +00001152 .addReg(PPC::X0, RegState::Kill)
Jim Laskey2f616bf2006-11-16 22:43:37 +00001153 .addImm(NegFrameSize & 0xFFFF);
Dale Johannesen536a2f12009-02-13 02:27:39 +00001154 BuildMI(MBB, MBBI, dl, TII.get(PPC::STDUX))
Bill Wendling7194aaf2008-03-03 22:19:16 +00001155 .addReg(PPC::X1)
1156 .addReg(PPC::X1)
Chris Lattnera94a2032006-11-11 19:05:28 +00001157 .addReg(PPC::X0);
1158 }
Misha Brukmanf2ccb772004-08-17 04:55:41 +00001159 }
Nate Begemanae232e72005-11-06 09:00:38 +00001160
Dale Johannesene0040622008-04-02 17:04:45 +00001161 if (needsFrameMoves) {
Jim Laskey44c3b9f2007-01-26 21:22:28 +00001162 std::vector<MachineMove> &Moves = MMI->getFrameMoves();
Jim Laskey41886992006-04-07 16:34:46 +00001163
Jim Laskey5e73d5b2007-01-24 18:45:13 +00001164 if (NegFrameSize) {
1165 // Show update of SP.
1166 MachineLocation SPDst(MachineLocation::VirtualFP);
1167 MachineLocation SPSrc(MachineLocation::VirtualFP, NegFrameSize);
1168 Moves.push_back(MachineMove(FrameLabelId, SPDst, SPSrc));
1169 } else {
1170 MachineLocation SP(IsPPC64 ? PPC::X31 : PPC::R31);
1171 Moves.push_back(MachineMove(FrameLabelId, SP, SP));
1172 }
Jim Laskey4c2c9032006-08-25 19:40:59 +00001173
Jim Laskey5e73d5b2007-01-24 18:45:13 +00001174 if (HasFP) {
1175 MachineLocation FPDst(MachineLocation::VirtualFP, FPOffset);
1176 MachineLocation FPSrc(IsPPC64 ? PPC::X31 : PPC::R31);
1177 Moves.push_back(MachineMove(FrameLabelId, FPDst, FPSrc));
1178 }
Jim Laskeyce50a162006-08-29 16:24:26 +00001179
1180 // Add callee saved registers to move list.
1181 const std::vector<CalleeSavedInfo> &CSI = MFI->getCalleeSavedInfo();
1182 for (unsigned I = 0, E = CSI.size(); I != E; ++I) {
Jim Laskey5e73d5b2007-01-24 18:45:13 +00001183 int Offset = MFI->getObjectOffset(CSI[I].getFrameIdx());
1184 unsigned Reg = CSI[I].getReg();
Dale Johannesenb384ab92008-10-29 18:26:45 +00001185 if (Reg == PPC::LR || Reg == PPC::LR8 || Reg == PPC::RM) continue;
Jim Laskey5e73d5b2007-01-24 18:45:13 +00001186 MachineLocation CSDst(MachineLocation::VirtualFP, Offset);
1187 MachineLocation CSSrc(Reg);
1188 Moves.push_back(MachineMove(FrameLabelId, CSDst, CSSrc));
Jim Laskeyce50a162006-08-29 16:24:26 +00001189 }
Jim Laskey5e73d5b2007-01-24 18:45:13 +00001190
Jim Laskeyb82313f2007-02-01 16:31:34 +00001191 MachineLocation LRDst(MachineLocation::VirtualFP, LROffset);
1192 MachineLocation LRSrc(IsPPC64 ? PPC::LR8 : PPC::LR);
1193 Moves.push_back(MachineMove(FrameLabelId, LRDst, LRSrc));
1194
Jim Laskey5e73d5b2007-01-24 18:45:13 +00001195 // Mark effective beginning of when frame pointer is ready.
Jim Laskey44c3b9f2007-01-26 21:22:28 +00001196 unsigned ReadyLabelId = MMI->NextLabelID();
Dale Johannesen536a2f12009-02-13 02:27:39 +00001197 BuildMI(MBB, MBBI, dl, TII.get(PPC::DBG_LABEL)).addImm(ReadyLabelId);
Jim Laskey5e73d5b2007-01-24 18:45:13 +00001198
1199 MachineLocation FPDst(HasFP ? (IsPPC64 ? PPC::X31 : PPC::R31) :
1200 (IsPPC64 ? PPC::X1 : PPC::R1));
1201 MachineLocation FPSrc(MachineLocation::VirtualFP);
1202 Moves.push_back(MachineMove(ReadyLabelId, FPDst, FPSrc));
Jim Laskey41886992006-04-07 16:34:46 +00001203 }
Jim Laskey2f616bf2006-11-16 22:43:37 +00001204
1205 // If there is a frame pointer, copy R1 into R31
Chris Lattner4f91a4c2006-04-03 22:03:29 +00001206 if (HasFP) {
Jim Laskey51fe9d92006-12-06 17:42:06 +00001207 if (!IsPPC64) {
Dale Johannesen536a2f12009-02-13 02:27:39 +00001208 BuildMI(MBB, MBBI, dl, TII.get(PPC::OR), PPC::R31)
Bill Wendling7194aaf2008-03-03 22:19:16 +00001209 .addReg(PPC::R1)
Evan Chengc0f64ff2006-11-27 23:37:22 +00001210 .addReg(PPC::R1);
Chris Lattnera94a2032006-11-11 19:05:28 +00001211 } else {
Dale Johannesen536a2f12009-02-13 02:27:39 +00001212 BuildMI(MBB, MBBI, dl, TII.get(PPC::OR8), PPC::X31)
Bill Wendling7194aaf2008-03-03 22:19:16 +00001213 .addReg(PPC::X1)
Evan Chengc0f64ff2006-11-27 23:37:22 +00001214 .addReg(PPC::X1);
Chris Lattnera94a2032006-11-11 19:05:28 +00001215 }
Misha Brukmanf2ccb772004-08-17 04:55:41 +00001216 }
1217}
1218
Nate Begeman21e463b2005-10-16 05:39:50 +00001219void PPCRegisterInfo::emitEpilogue(MachineFunction &MF,
1220 MachineBasicBlock &MBB) const {
Misha Brukmanf2ccb772004-08-17 04:55:41 +00001221 MachineBasicBlock::iterator MBBI = prior(MBB.end());
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +00001222 unsigned RetOpcode = MBBI->getOpcode();
Dale Johannesen536a2f12009-02-13 02:27:39 +00001223 DebugLoc dl = DebugLoc::getUnknownLoc();
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +00001224
1225 assert( (RetOpcode == PPC::BLR ||
1226 RetOpcode == PPC::TCRETURNri ||
1227 RetOpcode == PPC::TCRETURNdi ||
1228 RetOpcode == PPC::TCRETURNai ||
1229 RetOpcode == PPC::TCRETURNri8 ||
1230 RetOpcode == PPC::TCRETURNdi8 ||
1231 RetOpcode == PPC::TCRETURNai8) &&
Misha Brukmanf2ccb772004-08-17 04:55:41 +00001232 "Can only insert epilog into returning blocks");
Misha Brukmanb5f662f2005-04-21 23:30:14 +00001233
Nate Begeman030514c2006-04-11 19:29:21 +00001234 // Get alignment info so we know how to restore r1
1235 const MachineFrameInfo *MFI = MF.getFrameInfo();
1236 unsigned TargetAlign = MF.getTarget().getFrameInfo()->getStackAlignment();
Jim Laskey2f616bf2006-11-16 22:43:37 +00001237 unsigned MaxAlign = MFI->getMaxAlignment();
Nate Begeman030514c2006-04-11 19:29:21 +00001238
Chris Lattner64da1722006-01-11 23:03:54 +00001239 // Get the number of bytes allocated from the FrameInfo.
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +00001240 int FrameSize = MFI->getStackSize();
Misha Brukmanf2ccb772004-08-17 04:55:41 +00001241
Jim Laskey51fe9d92006-12-06 17:42:06 +00001242 // Get processor type.
1243 bool IsPPC64 = Subtarget.isPPC64();
Chris Lattner9f0bc652007-02-25 05:34:32 +00001244 // Get operating system
1245 bool IsMachoABI = Subtarget.isMachoABI();
Dale Johannesenc12e5812008-10-24 21:24:23 +00001246 // Check if the link register (LR) has been saved.
1247 PPCFunctionInfo *FI = MF.getInfo<PPCFunctionInfo>();
1248 bool MustSaveLR = FI->mustSaveLR();
Jim Laskey51fe9d92006-12-06 17:42:06 +00001249 // Do we have a frame pointer for this function?
Jim Laskeyd313a9b2007-02-27 11:55:45 +00001250 bool HasFP = hasFP(MF) && FrameSize;
Chris Lattner9f0bc652007-02-25 05:34:32 +00001251
1252 int LROffset = PPCFrameInfo::getReturnSaveOffset(IsPPC64, IsMachoABI);
1253 int FPOffset = PPCFrameInfo::getFramePointerSaveOffset(IsPPC64, IsMachoABI);
1254
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +00001255 bool UsesTCRet = RetOpcode == PPC::TCRETURNri ||
1256 RetOpcode == PPC::TCRETURNdi ||
1257 RetOpcode == PPC::TCRETURNai ||
1258 RetOpcode == PPC::TCRETURNri8 ||
1259 RetOpcode == PPC::TCRETURNdi8 ||
1260 RetOpcode == PPC::TCRETURNai8;
1261
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +00001262 if (UsesTCRet) {
1263 int MaxTCRetDelta = FI->getTailCallSPDelta();
1264 MachineOperand &StackAdjust = MBBI->getOperand(1);
Dan Gohmand735b802008-10-03 15:45:36 +00001265 assert(StackAdjust.isImm() && "Expecting immediate value.");
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +00001266 // Adjust stack pointer.
1267 int StackAdj = StackAdjust.getImm();
1268 int Delta = StackAdj - MaxTCRetDelta;
1269 assert((Delta >= 0) && "Delta must be positive");
1270 if (MaxTCRetDelta>0)
1271 FrameSize += (StackAdj +Delta);
1272 else
1273 FrameSize += StackAdj;
1274 }
1275
Jim Laskeyd313a9b2007-02-27 11:55:45 +00001276 if (FrameSize) {
1277 // The loaded (or persistent) stack pointer value is offset by the 'stwu'
1278 // on entry to the function. Add this offset back now.
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +00001279 if (!IsPPC64) {
1280 // If this function contained a fastcc call and PerformTailCallOpt is
1281 // enabled (=> hasFastCall()==true) the fastcc call might contain a tail
1282 // call which invalidates the stack pointer value in SP(0). So we use the
1283 // value of R31 in this case.
1284 if (FI->hasFastCall() && isInt16(FrameSize)) {
1285 assert(hasFP(MF) && "Expecting a valid the frame pointer.");
Dale Johannesen536a2f12009-02-13 02:27:39 +00001286 BuildMI(MBB, MBBI, dl, TII.get(PPC::ADDI), PPC::R1)
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +00001287 .addReg(PPC::R31).addImm(FrameSize);
1288 } else if(FI->hasFastCall()) {
Dale Johannesen536a2f12009-02-13 02:27:39 +00001289 BuildMI(MBB, MBBI, dl, TII.get(PPC::LIS), PPC::R0)
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +00001290 .addImm(FrameSize >> 16);
Dale Johannesen536a2f12009-02-13 02:27:39 +00001291 BuildMI(MBB, MBBI, dl, TII.get(PPC::ORI), PPC::R0)
Bill Wendling587daed2009-05-13 21:33:08 +00001292 .addReg(PPC::R0, RegState::Kill)
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +00001293 .addImm(FrameSize & 0xFFFF);
Dale Johannesen536a2f12009-02-13 02:27:39 +00001294 BuildMI(MBB, MBBI, dl, TII.get(PPC::ADD4))
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +00001295 .addReg(PPC::R1)
1296 .addReg(PPC::R31)
1297 .addReg(PPC::R0);
1298 } else if (isInt16(FrameSize) &&
1299 (!ALIGN_STACK || TargetAlign >= MaxAlign) &&
1300 !MFI->hasVarSizedObjects()) {
Dale Johannesen536a2f12009-02-13 02:27:39 +00001301 BuildMI(MBB, MBBI, dl, TII.get(PPC::ADDI), PPC::R1)
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +00001302 .addReg(PPC::R1).addImm(FrameSize);
Jim Laskeyd313a9b2007-02-27 11:55:45 +00001303 } else {
Dale Johannesen536a2f12009-02-13 02:27:39 +00001304 BuildMI(MBB, MBBI, dl, TII.get(PPC::LWZ),PPC::R1)
1305 .addImm(0).addReg(PPC::R1);
Jim Laskeyd313a9b2007-02-27 11:55:45 +00001306 }
Chris Lattner64da1722006-01-11 23:03:54 +00001307 } else {
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +00001308 if (FI->hasFastCall() && isInt16(FrameSize)) {
1309 assert(hasFP(MF) && "Expecting a valid the frame pointer.");
Dale Johannesen536a2f12009-02-13 02:27:39 +00001310 BuildMI(MBB, MBBI, dl, TII.get(PPC::ADDI8), PPC::X1)
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +00001311 .addReg(PPC::X31).addImm(FrameSize);
1312 } else if(FI->hasFastCall()) {
Dale Johannesen536a2f12009-02-13 02:27:39 +00001313 BuildMI(MBB, MBBI, dl, TII.get(PPC::LIS8), PPC::X0)
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +00001314 .addImm(FrameSize >> 16);
Dale Johannesen536a2f12009-02-13 02:27:39 +00001315 BuildMI(MBB, MBBI, dl, TII.get(PPC::ORI8), PPC::X0)
Bill Wendling587daed2009-05-13 21:33:08 +00001316 .addReg(PPC::X0, RegState::Kill)
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +00001317 .addImm(FrameSize & 0xFFFF);
Dale Johannesen536a2f12009-02-13 02:27:39 +00001318 BuildMI(MBB, MBBI, dl, TII.get(PPC::ADD8))
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +00001319 .addReg(PPC::X1)
1320 .addReg(PPC::X31)
1321 .addReg(PPC::X0);
1322 } else if (isInt16(FrameSize) && TargetAlign >= MaxAlign &&
Jim Laskeyd313a9b2007-02-27 11:55:45 +00001323 !MFI->hasVarSizedObjects()) {
Dale Johannesen536a2f12009-02-13 02:27:39 +00001324 BuildMI(MBB, MBBI, dl, TII.get(PPC::ADDI8), PPC::X1)
Jim Laskeyd313a9b2007-02-27 11:55:45 +00001325 .addReg(PPC::X1).addImm(FrameSize);
1326 } else {
Dale Johannesen536a2f12009-02-13 02:27:39 +00001327 BuildMI(MBB, MBBI, dl, TII.get(PPC::LD), PPC::X1)
1328 .addImm(0).addReg(PPC::X1);
Jim Laskeyd313a9b2007-02-27 11:55:45 +00001329 }
Jim Laskey2f616bf2006-11-16 22:43:37 +00001330 }
Jim Laskey51fe9d92006-12-06 17:42:06 +00001331 }
Jim Laskey51fe9d92006-12-06 17:42:06 +00001332
1333 if (IsPPC64) {
Dale Johannesenc12e5812008-10-24 21:24:23 +00001334 if (MustSaveLR)
Dale Johannesen536a2f12009-02-13 02:27:39 +00001335 BuildMI(MBB, MBBI, dl, TII.get(PPC::LD), PPC::X0)
Jim Laskey51fe9d92006-12-06 17:42:06 +00001336 .addImm(LROffset/4).addReg(PPC::X1);
1337
1338 if (HasFP)
Dale Johannesen536a2f12009-02-13 02:27:39 +00001339 BuildMI(MBB, MBBI, dl, TII.get(PPC::LD), PPC::X31)
Jim Laskey51fe9d92006-12-06 17:42:06 +00001340 .addImm(FPOffset/4).addReg(PPC::X1);
1341
Dale Johannesenc12e5812008-10-24 21:24:23 +00001342 if (MustSaveLR)
Dale Johannesen536a2f12009-02-13 02:27:39 +00001343 BuildMI(MBB, MBBI, dl, TII.get(PPC::MTLR8)).addReg(PPC::X0);
Jim Laskey51fe9d92006-12-06 17:42:06 +00001344 } else {
Dale Johannesenc12e5812008-10-24 21:24:23 +00001345 if (MustSaveLR)
Dale Johannesen536a2f12009-02-13 02:27:39 +00001346 BuildMI(MBB, MBBI, dl, TII.get(PPC::LWZ), PPC::R0)
Jim Laskey51fe9d92006-12-06 17:42:06 +00001347 .addImm(LROffset).addReg(PPC::R1);
1348
1349 if (HasFP)
Dale Johannesen536a2f12009-02-13 02:27:39 +00001350 BuildMI(MBB, MBBI, dl, TII.get(PPC::LWZ), PPC::R31)
Jim Laskey51fe9d92006-12-06 17:42:06 +00001351 .addImm(FPOffset).addReg(PPC::R1);
1352
Dale Johannesenc12e5812008-10-24 21:24:23 +00001353 if (MustSaveLR)
Dale Johannesen536a2f12009-02-13 02:27:39 +00001354 BuildMI(MBB, MBBI, dl, TII.get(PPC::MTLR)).addReg(PPC::R0);
Misha Brukmanf2ccb772004-08-17 04:55:41 +00001355 }
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +00001356
1357 // Callee pop calling convention. Pop parameter/linkage area. Used for tail
1358 // call optimization
1359 if (PerformTailCallOpt && RetOpcode == PPC::BLR &&
1360 MF.getFunction()->getCallingConv() == CallingConv::Fast) {
1361 PPCFunctionInfo *FI = MF.getInfo<PPCFunctionInfo>();
1362 unsigned CallerAllocatedAmt = FI->getMinReservedArea();
1363 unsigned StackReg = IsPPC64 ? PPC::X1 : PPC::R1;
1364 unsigned FPReg = IsPPC64 ? PPC::X31 : PPC::R31;
1365 unsigned TmpReg = IsPPC64 ? PPC::X0 : PPC::R0;
1366 unsigned ADDIInstr = IsPPC64 ? PPC::ADDI8 : PPC::ADDI;
1367 unsigned ADDInstr = IsPPC64 ? PPC::ADD8 : PPC::ADD4;
1368 unsigned LISInstr = IsPPC64 ? PPC::LIS8 : PPC::LIS;
1369 unsigned ORIInstr = IsPPC64 ? PPC::ORI8 : PPC::ORI;
1370
1371 if (CallerAllocatedAmt && isInt16(CallerAllocatedAmt)) {
Dale Johannesen536a2f12009-02-13 02:27:39 +00001372 BuildMI(MBB, MBBI, dl, TII.get(ADDIInstr), StackReg)
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +00001373 .addReg(StackReg).addImm(CallerAllocatedAmt);
1374 } else {
Dale Johannesen536a2f12009-02-13 02:27:39 +00001375 BuildMI(MBB, MBBI, dl, TII.get(LISInstr), TmpReg)
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +00001376 .addImm(CallerAllocatedAmt >> 16);
Dale Johannesen536a2f12009-02-13 02:27:39 +00001377 BuildMI(MBB, MBBI, dl, TII.get(ORIInstr), TmpReg)
Bill Wendling587daed2009-05-13 21:33:08 +00001378 .addReg(TmpReg, RegState::Kill)
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +00001379 .addImm(CallerAllocatedAmt & 0xFFFF);
Dale Johannesen536a2f12009-02-13 02:27:39 +00001380 BuildMI(MBB, MBBI, dl, TII.get(ADDInstr))
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +00001381 .addReg(StackReg)
1382 .addReg(FPReg)
1383 .addReg(TmpReg);
1384 }
1385 } else if (RetOpcode == PPC::TCRETURNdi) {
1386 MBBI = prior(MBB.end());
1387 MachineOperand &JumpTarget = MBBI->getOperand(0);
Dale Johannesen536a2f12009-02-13 02:27:39 +00001388 BuildMI(MBB, MBBI, dl, TII.get(PPC::TAILB)).
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +00001389 addGlobalAddress(JumpTarget.getGlobal(), JumpTarget.getOffset());
1390 } else if (RetOpcode == PPC::TCRETURNri) {
1391 MBBI = prior(MBB.end());
Chris Lattner022a27e2009-03-26 05:25:59 +00001392 assert(MBBI->getOperand(0).isReg() && "Expecting register operand.");
Dale Johannesen536a2f12009-02-13 02:27:39 +00001393 BuildMI(MBB, MBBI, dl, TII.get(PPC::TAILBCTR));
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +00001394 } else if (RetOpcode == PPC::TCRETURNai) {
1395 MBBI = prior(MBB.end());
1396 MachineOperand &JumpTarget = MBBI->getOperand(0);
Dale Johannesen536a2f12009-02-13 02:27:39 +00001397 BuildMI(MBB, MBBI, dl, TII.get(PPC::TAILBA)).addImm(JumpTarget.getImm());
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +00001398 } else if (RetOpcode == PPC::TCRETURNdi8) {
1399 MBBI = prior(MBB.end());
1400 MachineOperand &JumpTarget = MBBI->getOperand(0);
Dale Johannesen536a2f12009-02-13 02:27:39 +00001401 BuildMI(MBB, MBBI, dl, TII.get(PPC::TAILB8)).
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +00001402 addGlobalAddress(JumpTarget.getGlobal(), JumpTarget.getOffset());
1403 } else if (RetOpcode == PPC::TCRETURNri8) {
1404 MBBI = prior(MBB.end());
Chris Lattner022a27e2009-03-26 05:25:59 +00001405 assert(MBBI->getOperand(0).isReg() && "Expecting register operand.");
Dale Johannesen536a2f12009-02-13 02:27:39 +00001406 BuildMI(MBB, MBBI, dl, TII.get(PPC::TAILBCTR8));
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +00001407 } else if (RetOpcode == PPC::TCRETURNai8) {
1408 MBBI = prior(MBB.end());
1409 MachineOperand &JumpTarget = MBBI->getOperand(0);
Dale Johannesen536a2f12009-02-13 02:27:39 +00001410 BuildMI(MBB, MBBI, dl, TII.get(PPC::TAILBA8)).addImm(JumpTarget.getImm());
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +00001411 }
Misha Brukmanf2ccb772004-08-17 04:55:41 +00001412}
1413
Jim Laskey41886992006-04-07 16:34:46 +00001414unsigned PPCRegisterInfo::getRARegister() const {
Chris Lattner6a5339b2006-11-14 18:44:47 +00001415 return !Subtarget.isPPC64() ? PPC::LR : PPC::LR8;
Jim Laskey41886992006-04-07 16:34:46 +00001416}
1417
Jim Laskeya9979182006-03-28 13:48:33 +00001418unsigned PPCRegisterInfo::getFrameRegister(MachineFunction &MF) const {
Chris Lattnera94a2032006-11-11 19:05:28 +00001419 if (!Subtarget.isPPC64())
1420 return hasFP(MF) ? PPC::R31 : PPC::R1;
1421 else
1422 return hasFP(MF) ? PPC::X31 : PPC::X1;
Jim Laskey41886992006-04-07 16:34:46 +00001423}
1424
Jim Laskey5e73d5b2007-01-24 18:45:13 +00001425void PPCRegisterInfo::getInitialFrameState(std::vector<MachineMove> &Moves)
Jim Laskey41886992006-04-07 16:34:46 +00001426 const {
Jim Laskey4c2c9032006-08-25 19:40:59 +00001427 // Initial state of the frame pointer is R1.
Jim Laskey41886992006-04-07 16:34:46 +00001428 MachineLocation Dst(MachineLocation::VirtualFP);
1429 MachineLocation Src(PPC::R1, 0);
Jim Laskey5e73d5b2007-01-24 18:45:13 +00001430 Moves.push_back(MachineMove(0, Dst, Src));
Jim Laskeyf1d78e82006-03-23 18:12:57 +00001431}
1432
Jim Laskey62819f32007-02-21 22:54:50 +00001433unsigned PPCRegisterInfo::getEHExceptionRegister() const {
1434 return !Subtarget.isPPC64() ? PPC::R3 : PPC::X3;
1435}
1436
1437unsigned PPCRegisterInfo::getEHHandlerRegister() const {
1438 return !Subtarget.isPPC64() ? PPC::R4 : PPC::X4;
1439}
1440
Dale Johannesenb97aec62007-11-13 19:13:01 +00001441int PPCRegisterInfo::getDwarfRegNum(unsigned RegNum, bool isEH) const {
Anton Korobeynikov3809fbe2007-11-12 23:36:13 +00001442 // FIXME: Most probably dwarf numbers differs for Linux and Darwin
1443 return PPCGenRegisterInfo::getDwarfRegNumFull(RegNum, 0);
Anton Korobeynikovf191c802007-11-11 19:50:10 +00001444}
1445
Chris Lattner4c7b43b2005-10-14 23:37:35 +00001446#include "PPCGenRegisterInfo.inc"
Misha Brukmanf2ccb772004-08-17 04:55:41 +00001447