blob: 9228b3e68ecad399cce7b59ef689884d76030c8d [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//
5// This file was developed by the LLVM research group and is distributed under
6// the University of Illinois Open Source License. See LICENSE.TXT for details.
Misha Brukmanb5f662f2005-04-21 23:30:14 +00007//
Misha Brukmanf2ccb772004-08-17 04:55:41 +00008//===----------------------------------------------------------------------===//
9//
Nate Begeman21e463b2005-10-16 05:39:50 +000010// This file contains the PowerPC implementation of the MRegisterInfo class.
Misha Brukmanf2ccb772004-08-17 04:55:41 +000011//
12//===----------------------------------------------------------------------===//
13
14#define DEBUG_TYPE "reginfo"
Chris Lattner26689592005-10-14 23:51:18 +000015#include "PPC.h"
Chris Lattner26bd0d42005-10-14 23:45:43 +000016#include "PPCInstrBuilder.h"
Jim Laskey2f616bf2006-11-16 22:43:37 +000017#include "PPCMachineFunctionInfo.h"
Chris Lattner16e71f22005-10-14 23:59:06 +000018#include "PPCRegisterInfo.h"
Jim Laskey2f616bf2006-11-16 22:43:37 +000019#include "PPCFrameInfo.h"
Chris Lattner804e0672006-07-11 00:48:23 +000020#include "PPCSubtarget.h"
Misha Brukmanf2ccb772004-08-17 04:55:41 +000021#include "llvm/Constants.h"
22#include "llvm/Type.h"
23#include "llvm/CodeGen/ValueTypes.h"
24#include "llvm/CodeGen/MachineInstrBuilder.h"
Jim Laskey44c3b9f2007-01-26 21:22:28 +000025#include "llvm/CodeGen/MachineModuleInfo.h"
Misha Brukmanf2ccb772004-08-17 04:55:41 +000026#include "llvm/CodeGen/MachineFunction.h"
27#include "llvm/CodeGen/MachineFrameInfo.h"
Jim Laskeyf1d78e82006-03-23 18:12:57 +000028#include "llvm/CodeGen/MachineLocation.h"
Jim Laskey41886992006-04-07 16:34:46 +000029#include "llvm/CodeGen/SelectionDAGNodes.h"
Misha Brukmanf2ccb772004-08-17 04:55:41 +000030#include "llvm/Target/TargetFrameInfo.h"
Chris Lattnerf9568d82006-04-17 21:48:13 +000031#include "llvm/Target/TargetInstrInfo.h"
Misha Brukmanf2ccb772004-08-17 04:55:41 +000032#include "llvm/Target/TargetMachine.h"
33#include "llvm/Target/TargetOptions.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000034#include "llvm/Support/CommandLine.h"
35#include "llvm/Support/Debug.h"
Nate Begemanae232e72005-11-06 09:00:38 +000036#include "llvm/Support/MathExtras.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000037#include "llvm/ADT/STLExtras.h"
Misha Brukmanf2ccb772004-08-17 04:55:41 +000038#include <cstdlib>
Misha Brukmanf2ccb772004-08-17 04:55:41 +000039using namespace llvm;
40
Chris Lattner369503f2006-04-17 21:07:20 +000041/// getRegisterNumbering - Given the enum value for some register, e.g.
42/// PPC::F14, return the number that it corresponds to (e.g. 14).
43unsigned PPCRegisterInfo::getRegisterNumbering(unsigned RegEnum) {
Chris Lattnerbe6a0392006-07-11 20:53:55 +000044 using namespace PPC;
Chris Lattner369503f2006-04-17 21:07:20 +000045 switch (RegEnum) {
Chris Lattnerbe6a0392006-07-11 20:53:55 +000046 case R0 : case X0 : case F0 : case V0 : case CR0: return 0;
47 case R1 : case X1 : case F1 : case V1 : case CR1: return 1;
48 case R2 : case X2 : case F2 : case V2 : case CR2: return 2;
49 case R3 : case X3 : case F3 : case V3 : case CR3: return 3;
50 case R4 : case X4 : case F4 : case V4 : case CR4: return 4;
51 case R5 : case X5 : case F5 : case V5 : case CR5: return 5;
52 case R6 : case X6 : case F6 : case V6 : case CR6: return 6;
53 case R7 : case X7 : case F7 : case V7 : case CR7: return 7;
54 case R8 : case X8 : case F8 : case V8 : return 8;
55 case R9 : case X9 : case F9 : case V9 : return 9;
56 case R10: case X10: case F10: case V10: return 10;
57 case R11: case X11: case F11: case V11: return 11;
58 case R12: case X12: case F12: case V12: return 12;
59 case R13: case X13: case F13: case V13: return 13;
60 case R14: case X14: case F14: case V14: return 14;
61 case R15: case X15: case F15: case V15: return 15;
62 case R16: case X16: case F16: case V16: return 16;
63 case R17: case X17: case F17: case V17: return 17;
64 case R18: case X18: case F18: case V18: return 18;
65 case R19: case X19: case F19: case V19: return 19;
66 case R20: case X20: case F20: case V20: return 20;
67 case R21: case X21: case F21: case V21: return 21;
68 case R22: case X22: case F22: case V22: return 22;
69 case R23: case X23: case F23: case V23: return 23;
70 case R24: case X24: case F24: case V24: return 24;
71 case R25: case X25: case F25: case V25: return 25;
72 case R26: case X26: case F26: case V26: return 26;
73 case R27: case X27: case F27: case V27: return 27;
74 case R28: case X28: case F28: case V28: return 28;
75 case R29: case X29: case F29: case V29: return 29;
76 case R30: case X30: case F30: case V30: return 30;
77 case R31: case X31: case F31: case V31: return 31;
78 default:
Bill Wendlingf5da1332006-12-07 22:21:48 +000079 cerr << "Unhandled reg in PPCRegisterInfo::getRegisterNumbering!\n";
Chris Lattnerbe6a0392006-07-11 20:53:55 +000080 abort();
Chris Lattner369503f2006-04-17 21:07:20 +000081 }
82}
83
Evan Cheng7ce45782006-11-13 23:36:35 +000084PPCRegisterInfo::PPCRegisterInfo(const PPCSubtarget &ST,
85 const TargetInstrInfo &tii)
Chris Lattner804e0672006-07-11 00:48:23 +000086 : PPCGenRegisterInfo(PPC::ADJCALLSTACKDOWN, PPC::ADJCALLSTACKUP),
Evan Cheng7ce45782006-11-13 23:36:35 +000087 Subtarget(ST), TII(tii) {
Misha Brukmanb5f662f2005-04-21 23:30:14 +000088 ImmToIdxMap[PPC::LD] = PPC::LDX; ImmToIdxMap[PPC::STD] = PPC::STDX;
Misha Brukmanf2ccb772004-08-17 04:55:41 +000089 ImmToIdxMap[PPC::LBZ] = PPC::LBZX; ImmToIdxMap[PPC::STB] = PPC::STBX;
90 ImmToIdxMap[PPC::LHZ] = PPC::LHZX; ImmToIdxMap[PPC::LHA] = PPC::LHAX;
91 ImmToIdxMap[PPC::LWZ] = PPC::LWZX; ImmToIdxMap[PPC::LWA] = PPC::LWAX;
92 ImmToIdxMap[PPC::LFS] = PPC::LFSX; ImmToIdxMap[PPC::LFD] = PPC::LFDX;
93 ImmToIdxMap[PPC::STH] = PPC::STHX; ImmToIdxMap[PPC::STW] = PPC::STWX;
94 ImmToIdxMap[PPC::STFS] = PPC::STFSX; ImmToIdxMap[PPC::STFD] = PPC::STFDX;
Nate Begeman1d9d7422005-10-18 00:28:58 +000095 ImmToIdxMap[PPC::ADDI] = PPC::ADD4;
Chris Lattnerc88fa742006-12-07 22:15:58 +000096 ImmToIdxMap[PPC::ADDI8] = PPC::ADD8;
Misha Brukmanf2ccb772004-08-17 04:55:41 +000097}
98
Misha Brukmanb5f662f2005-04-21 23:30:14 +000099void
Nate Begeman21e463b2005-10-16 05:39:50 +0000100PPCRegisterInfo::storeRegToStackSlot(MachineBasicBlock &MBB,
101 MachineBasicBlock::iterator MI,
102 unsigned SrcReg, int FrameIdx,
103 const TargetRegisterClass *RC) const {
Chris Lattner6a5339b2006-11-14 18:44:47 +0000104 if (RC == PPC::GPRCRegisterClass) {
105 if (SrcReg != PPC::LR) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000106 addFrameReference(BuildMI(MBB, MI, TII.get(PPC::STW)).addReg(SrcReg),
107 FrameIdx);
Chris Lattner6a5339b2006-11-14 18:44:47 +0000108 } else {
109 // FIXME: this spills LR immediately to memory in one step. To do this,
110 // we use R11, which we know cannot be used in the prolog/epilog. This is
111 // a hack.
Evan Chengc0f64ff2006-11-27 23:37:22 +0000112 BuildMI(MBB, MI, TII.get(PPC::MFLR), PPC::R11);
113 addFrameReference(BuildMI(MBB, MI, TII.get(PPC::STW)).addReg(PPC::R11),
Chris Lattner6a5339b2006-11-14 18:44:47 +0000114 FrameIdx);
115 }
116 } else if (RC == PPC::G8RCRegisterClass) {
117 if (SrcReg != PPC::LR8) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000118 addFrameReference(BuildMI(MBB, MI, TII.get(PPC::STD)).addReg(SrcReg),
119 FrameIdx);
Chris Lattner6a5339b2006-11-14 18:44:47 +0000120 } else {
121 // FIXME: this spills LR immediately to memory in one step. To do this,
122 // we use R11, which we know cannot be used in the prolog/epilog. This is
123 // a hack.
Evan Chengc0f64ff2006-11-27 23:37:22 +0000124 BuildMI(MBB, MI, TII.get(PPC::MFLR8), PPC::X11);
125 addFrameReference(BuildMI(MBB, MI, TII.get(PPC::STD)).addReg(PPC::X11),
Chris Lattner6a5339b2006-11-14 18:44:47 +0000126 FrameIdx);
127 }
128 } else if (RC == PPC::F8RCRegisterClass) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000129 addFrameReference(BuildMI(MBB, MI, TII.get(PPC::STFD)).addReg(SrcReg),
130 FrameIdx);
Chris Lattner6a5339b2006-11-14 18:44:47 +0000131 } else if (RC == PPC::F4RCRegisterClass) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000132 addFrameReference(BuildMI(MBB, MI, TII.get(PPC::STFS)).addReg(SrcReg),
133 FrameIdx);
Nate Begeman1d9d7422005-10-18 00:28:58 +0000134 } else if (RC == PPC::CRRCRegisterClass) {
Chris Lattnere67304f2006-06-12 23:59:16 +0000135 // FIXME: We use R0 here, because it isn't available for RA.
Chris Lattnerb47e0892006-06-12 21:50:57 +0000136 // We need to store the CR in the low 4-bits of the saved value. First,
137 // issue a MFCR to save all of the CRBits.
Evan Chengc0f64ff2006-11-27 23:37:22 +0000138 BuildMI(MBB, MI, TII.get(PPC::MFCR), PPC::R0);
Chris Lattnerb47e0892006-06-12 21:50:57 +0000139
140 // If the saved register wasn't CR0, shift the bits left so that they are in
141 // CR0's slot.
142 if (SrcReg != PPC::CR0) {
143 unsigned ShiftBits = PPCRegisterInfo::getRegisterNumbering(SrcReg)*4;
Chris Lattnere67304f2006-06-12 23:59:16 +0000144 // rlwinm r0, r0, ShiftBits, 0, 31.
Evan Chengc0f64ff2006-11-27 23:37:22 +0000145 BuildMI(MBB, MI, TII.get(PPC::RLWINM), PPC::R0)
Chris Lattnere67304f2006-06-12 23:59:16 +0000146 .addReg(PPC::R0).addImm(ShiftBits).addImm(0).addImm(31);
Chris Lattnerb47e0892006-06-12 21:50:57 +0000147 }
148
Evan Chengc0f64ff2006-11-27 23:37:22 +0000149 addFrameReference(BuildMI(MBB, MI, TII.get(PPC::STW)).addReg(PPC::R0),
150 FrameIdx);
Chris Lattner9c09c9e2006-03-16 22:24:02 +0000151 } else if (RC == PPC::VRRCRegisterClass) {
152 // We don't have indexed addressing for vector loads. Emit:
153 // R11 = ADDI FI#
154 // Dest = LVX R0, R11
155 //
156 // FIXME: We use R0 here, because it isn't available for RA.
Evan Chengc0f64ff2006-11-27 23:37:22 +0000157 addFrameReference(BuildMI(MBB, MI, TII.get(PPC::ADDI), PPC::R0),
158 FrameIdx, 0, 0);
159 BuildMI(MBB, MI, TII.get(PPC::STVX))
Chris Lattner9c09c9e2006-03-16 22:24:02 +0000160 .addReg(SrcReg).addReg(PPC::R0).addReg(PPC::R0);
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000161 } else {
Chris Lattner919c0322005-10-01 01:35:02 +0000162 assert(0 && "Unknown regclass!");
163 abort();
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000164 }
165}
166
167void
Nate Begeman21e463b2005-10-16 05:39:50 +0000168PPCRegisterInfo::loadRegFromStackSlot(MachineBasicBlock &MBB,
Chris Lattner6a5339b2006-11-14 18:44:47 +0000169 MachineBasicBlock::iterator MI,
170 unsigned DestReg, int FrameIdx,
171 const TargetRegisterClass *RC) const {
172 if (RC == PPC::GPRCRegisterClass) {
173 if (DestReg != PPC::LR) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000174 addFrameReference(BuildMI(MBB, MI, TII.get(PPC::LWZ), DestReg), FrameIdx);
Chris Lattner6a5339b2006-11-14 18:44:47 +0000175 } else {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000176 addFrameReference(BuildMI(MBB, MI, TII.get(PPC::LWZ), PPC::R11),FrameIdx);
177 BuildMI(MBB, MI, TII.get(PPC::MTLR)).addReg(PPC::R11);
Chris Lattner6a5339b2006-11-14 18:44:47 +0000178 }
179 } else if (RC == PPC::G8RCRegisterClass) {
180 if (DestReg != PPC::LR8) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000181 addFrameReference(BuildMI(MBB, MI, TII.get(PPC::LD), DestReg), FrameIdx);
Chris Lattner6a5339b2006-11-14 18:44:47 +0000182 } else {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000183 addFrameReference(BuildMI(MBB, MI, TII.get(PPC::LD), PPC::R11), FrameIdx);
184 BuildMI(MBB, MI, TII.get(PPC::MTLR8)).addReg(PPC::R11);
Chris Lattner6a5339b2006-11-14 18:44:47 +0000185 }
186 } else if (RC == PPC::F8RCRegisterClass) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000187 addFrameReference(BuildMI(MBB, MI, TII.get(PPC::LFD), DestReg), FrameIdx);
Chris Lattner6a5339b2006-11-14 18:44:47 +0000188 } else if (RC == PPC::F4RCRegisterClass) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000189 addFrameReference(BuildMI(MBB, MI, TII.get(PPC::LFS), DestReg), FrameIdx);
Nate Begeman1d9d7422005-10-18 00:28:58 +0000190 } else if (RC == PPC::CRRCRegisterClass) {
Chris Lattnere67304f2006-06-12 23:59:16 +0000191 // FIXME: We use R0 here, because it isn't available for RA.
Evan Chengc0f64ff2006-11-27 23:37:22 +0000192 addFrameReference(BuildMI(MBB, MI, TII.get(PPC::LWZ), PPC::R0), FrameIdx);
Chris Lattnerb47e0892006-06-12 21:50:57 +0000193
194 // If the reloaded register isn't CR0, shift the bits right so that they are
195 // in the right CR's slot.
196 if (DestReg != PPC::CR0) {
197 unsigned ShiftBits = PPCRegisterInfo::getRegisterNumbering(DestReg)*4;
198 // rlwinm r11, r11, 32-ShiftBits, 0, 31.
Evan Chengc0f64ff2006-11-27 23:37:22 +0000199 BuildMI(MBB, MI, TII.get(PPC::RLWINM), PPC::R0)
Chris Lattnere67304f2006-06-12 23:59:16 +0000200 .addReg(PPC::R0).addImm(32-ShiftBits).addImm(0).addImm(31);
Chris Lattnerb47e0892006-06-12 21:50:57 +0000201 }
202
Evan Chengc0f64ff2006-11-27 23:37:22 +0000203 BuildMI(MBB, MI, TII.get(PPC::MTCRF), DestReg).addReg(PPC::R0);
Chris Lattner9c09c9e2006-03-16 22:24:02 +0000204 } else if (RC == PPC::VRRCRegisterClass) {
205 // We don't have indexed addressing for vector loads. Emit:
206 // R11 = ADDI FI#
207 // Dest = LVX R0, R11
208 //
209 // FIXME: We use R0 here, because it isn't available for RA.
Evan Chengc0f64ff2006-11-27 23:37:22 +0000210 addFrameReference(BuildMI(MBB, MI, TII.get(PPC::ADDI), PPC::R0),
211 FrameIdx, 0, 0);
212 BuildMI(MBB, MI, TII.get(PPC::LVX),DestReg).addReg(PPC::R0).addReg(PPC::R0);
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000213 } else {
Chris Lattner919c0322005-10-01 01:35:02 +0000214 assert(0 && "Unknown regclass!");
215 abort();
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000216 }
217}
218
Nate Begeman21e463b2005-10-16 05:39:50 +0000219void PPCRegisterInfo::copyRegToReg(MachineBasicBlock &MBB,
220 MachineBasicBlock::iterator MI,
221 unsigned DestReg, unsigned SrcReg,
222 const TargetRegisterClass *RC) const {
Nate Begeman1d9d7422005-10-18 00:28:58 +0000223 if (RC == PPC::GPRCRegisterClass) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000224 BuildMI(MBB, MI, TII.get(PPC::OR), DestReg).addReg(SrcReg).addReg(SrcReg);
Nate Begeman1d9d7422005-10-18 00:28:58 +0000225 } else if (RC == PPC::G8RCRegisterClass) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000226 BuildMI(MBB, MI, TII.get(PPC::OR8), DestReg).addReg(SrcReg).addReg(SrcReg);
Nate Begeman1d9d7422005-10-18 00:28:58 +0000227 } else if (RC == PPC::F4RCRegisterClass) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000228 BuildMI(MBB, MI, TII.get(PPC::FMRS), DestReg).addReg(SrcReg);
Nate Begeman1d9d7422005-10-18 00:28:58 +0000229 } else if (RC == PPC::F8RCRegisterClass) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000230 BuildMI(MBB, MI, TII.get(PPC::FMRD), DestReg).addReg(SrcReg);
Nate Begeman1d9d7422005-10-18 00:28:58 +0000231 } else if (RC == PPC::CRRCRegisterClass) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000232 BuildMI(MBB, MI, TII.get(PPC::MCRF), DestReg).addReg(SrcReg);
Chris Lattner335fd3c2006-03-16 20:03:58 +0000233 } else if (RC == PPC::VRRCRegisterClass) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000234 BuildMI(MBB, MI, TII.get(PPC::VOR), DestReg).addReg(SrcReg).addReg(SrcReg);
Nate Begeman7af02482005-04-12 07:04:16 +0000235 } else {
Bill Wendlingf5da1332006-12-07 22:21:48 +0000236 cerr << "Attempt to copy register that is not GPR or FPR";
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000237 abort();
238 }
239}
240
Evan Chengc2b861d2007-01-02 21:33:40 +0000241const unsigned* PPCRegisterInfo::getCalleeSavedRegs() const {
Chris Lattner804e0672006-07-11 00:48:23 +0000242 // 32-bit Darwin calling convention.
Evan Chengc2b861d2007-01-02 21:33:40 +0000243 static const unsigned Darwin32_CalleeSavedRegs[] = {
Jim Laskey2f616bf2006-11-16 22:43:37 +0000244 PPC::R13, PPC::R14, PPC::R15,
Chris Lattner804e0672006-07-11 00:48:23 +0000245 PPC::R16, PPC::R17, PPC::R18, PPC::R19,
246 PPC::R20, PPC::R21, PPC::R22, PPC::R23,
247 PPC::R24, PPC::R25, PPC::R26, PPC::R27,
248 PPC::R28, PPC::R29, PPC::R30, PPC::R31,
249
250 PPC::F14, PPC::F15, PPC::F16, PPC::F17,
251 PPC::F18, PPC::F19, PPC::F20, PPC::F21,
252 PPC::F22, PPC::F23, PPC::F24, PPC::F25,
253 PPC::F26, PPC::F27, PPC::F28, PPC::F29,
Evan Cheng0f3ac8d2006-05-18 00:12:58 +0000254 PPC::F30, PPC::F31,
Chris Lattner804e0672006-07-11 00:48:23 +0000255
256 PPC::CR2, PPC::CR3, PPC::CR4,
257 PPC::V20, PPC::V21, PPC::V22, PPC::V23,
258 PPC::V24, PPC::V25, PPC::V26, PPC::V27,
259 PPC::V28, PPC::V29, PPC::V30, PPC::V31,
260
261 PPC::LR, 0
Evan Cheng0f3ac8d2006-05-18 00:12:58 +0000262 };
Chris Lattner804e0672006-07-11 00:48:23 +0000263 // 64-bit Darwin calling convention.
Evan Chengc2b861d2007-01-02 21:33:40 +0000264 static const unsigned Darwin64_CalleeSavedRegs[] = {
Chris Lattnerbdc571b2006-11-20 19:33:51 +0000265 PPC::X14, PPC::X15,
Chris Lattner804e0672006-07-11 00:48:23 +0000266 PPC::X16, PPC::X17, PPC::X18, PPC::X19,
267 PPC::X20, PPC::X21, PPC::X22, PPC::X23,
268 PPC::X24, PPC::X25, PPC::X26, PPC::X27,
269 PPC::X28, PPC::X29, PPC::X30, PPC::X31,
270
271 PPC::F14, PPC::F15, PPC::F16, PPC::F17,
272 PPC::F18, PPC::F19, PPC::F20, PPC::F21,
273 PPC::F22, PPC::F23, PPC::F24, PPC::F25,
274 PPC::F26, PPC::F27, PPC::F28, PPC::F29,
275 PPC::F30, PPC::F31,
276
277 PPC::CR2, PPC::CR3, PPC::CR4,
278 PPC::V20, PPC::V21, PPC::V22, PPC::V23,
279 PPC::V24, PPC::V25, PPC::V26, PPC::V27,
280 PPC::V28, PPC::V29, PPC::V30, PPC::V31,
281
Chris Lattner6a5339b2006-11-14 18:44:47 +0000282 PPC::LR8, 0
Chris Lattner804e0672006-07-11 00:48:23 +0000283 };
284
Evan Chengc2b861d2007-01-02 21:33:40 +0000285 return Subtarget.isPPC64() ? Darwin64_CalleeSavedRegs :
286 Darwin32_CalleeSavedRegs;
Evan Cheng0f3ac8d2006-05-18 00:12:58 +0000287}
288
289const TargetRegisterClass* const*
Evan Chengc2b861d2007-01-02 21:33:40 +0000290PPCRegisterInfo::getCalleeSavedRegClasses() const {
Chris Lattner804e0672006-07-11 00:48:23 +0000291 // 32-bit Darwin calling convention.
Evan Chengc2b861d2007-01-02 21:33:40 +0000292 static const TargetRegisterClass * const Darwin32_CalleeSavedRegClasses[] = {
Jim Laskey2f616bf2006-11-16 22:43:37 +0000293 &PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,
Chris Lattner804e0672006-07-11 00:48:23 +0000294 &PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,
295 &PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,
296 &PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,
297 &PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,
298
299 &PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,
300 &PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,
301 &PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,
302 &PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,
303 &PPC::F8RCRegClass,&PPC::F8RCRegClass,
304
305 &PPC::CRRCRegClass,&PPC::CRRCRegClass,&PPC::CRRCRegClass,
306
307 &PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,
308 &PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,
309 &PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,
310
311 &PPC::GPRCRegClass, 0
Evan Cheng0f3ac8d2006-05-18 00:12:58 +0000312 };
Chris Lattner804e0672006-07-11 00:48:23 +0000313
314 // 64-bit Darwin calling convention.
Evan Chengc2b861d2007-01-02 21:33:40 +0000315 static const TargetRegisterClass * const Darwin64_CalleeSavedRegClasses[] = {
Chris Lattnerbdc571b2006-11-20 19:33:51 +0000316 &PPC::G8RCRegClass,&PPC::G8RCRegClass,
Chris Lattner804e0672006-07-11 00:48:23 +0000317 &PPC::G8RCRegClass,&PPC::G8RCRegClass,&PPC::G8RCRegClass,&PPC::G8RCRegClass,
318 &PPC::G8RCRegClass,&PPC::G8RCRegClass,&PPC::G8RCRegClass,&PPC::G8RCRegClass,
319 &PPC::G8RCRegClass,&PPC::G8RCRegClass,&PPC::G8RCRegClass,&PPC::G8RCRegClass,
320 &PPC::G8RCRegClass,&PPC::G8RCRegClass,&PPC::G8RCRegClass,&PPC::G8RCRegClass,
321
322 &PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,
323 &PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,
324 &PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,
325 &PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,
326 &PPC::F8RCRegClass,&PPC::F8RCRegClass,
327
328 &PPC::CRRCRegClass,&PPC::CRRCRegClass,&PPC::CRRCRegClass,
329
330 &PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,
331 &PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,
332 &PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,
333
Chris Lattner6a5339b2006-11-14 18:44:47 +0000334 &PPC::G8RCRegClass, 0
Chris Lattner804e0672006-07-11 00:48:23 +0000335 };
336
Evan Chengc2b861d2007-01-02 21:33:40 +0000337 return Subtarget.isPPC64() ? Darwin64_CalleeSavedRegClasses :
338 Darwin32_CalleeSavedRegClasses;
Evan Cheng0f3ac8d2006-05-18 00:12:58 +0000339}
340
Chris Lattnerf38df042005-09-09 21:46:49 +0000341/// foldMemoryOperand - PowerPC (like most RISC's) can only fold spills into
342/// copy instructions, turning them into load/store instructions.
Nate Begeman21e463b2005-10-16 05:39:50 +0000343MachineInstr *PPCRegisterInfo::foldMemoryOperand(MachineInstr *MI,
344 unsigned OpNum,
345 int FrameIndex) const {
Chris Lattnerf38df042005-09-09 21:46:49 +0000346 // Make sure this is a reg-reg copy. Note that we can't handle MCRF, because
347 // it takes more than one instruction to store it.
348 unsigned Opc = MI->getOpcode();
Evan Cheng6ce7dc22006-11-15 20:58:11 +0000349
350 MachineInstr *NewMI = NULL;
Chris Lattnerb410dc92006-06-20 23:18:58 +0000351 if ((Opc == PPC::OR &&
Chris Lattnerf38df042005-09-09 21:46:49 +0000352 MI->getOperand(1).getReg() == MI->getOperand(2).getReg())) {
353 if (OpNum == 0) { // move -> store
354 unsigned InReg = MI->getOperand(1).getReg();
Evan Chengc0f64ff2006-11-27 23:37:22 +0000355 NewMI = addFrameReference(BuildMI(TII.get(PPC::STW)).addReg(InReg),
356 FrameIndex);
Chris Lattnerc9fe7502005-09-09 21:59:44 +0000357 } else { // move -> load
Chris Lattnerf38df042005-09-09 21:46:49 +0000358 unsigned OutReg = MI->getOperand(0).getReg();
Evan Chengc0f64ff2006-11-27 23:37:22 +0000359 NewMI = addFrameReference(BuildMI(TII.get(PPC::LWZ), OutReg),
360 FrameIndex);
Chris Lattnerf38df042005-09-09 21:46:49 +0000361 }
Nate Begeman1d9d7422005-10-18 00:28:58 +0000362 } else if ((Opc == PPC::OR8 &&
363 MI->getOperand(1).getReg() == MI->getOperand(2).getReg())) {
364 if (OpNum == 0) { // move -> store
365 unsigned InReg = MI->getOperand(1).getReg();
Evan Chengc0f64ff2006-11-27 23:37:22 +0000366 NewMI = addFrameReference(BuildMI(TII.get(PPC::STD)).addReg(InReg),
367 FrameIndex);
Nate Begeman1d9d7422005-10-18 00:28:58 +0000368 } else { // move -> load
369 unsigned OutReg = MI->getOperand(0).getReg();
Evan Chengc0f64ff2006-11-27 23:37:22 +0000370 NewMI = addFrameReference(BuildMI(TII.get(PPC::LD), OutReg), FrameIndex);
Nate Begeman1d9d7422005-10-18 00:28:58 +0000371 }
Chris Lattner919c0322005-10-01 01:35:02 +0000372 } else if (Opc == PPC::FMRD) {
Chris Lattnerc9fe7502005-09-09 21:59:44 +0000373 if (OpNum == 0) { // move -> store
374 unsigned InReg = MI->getOperand(1).getReg();
Evan Chengc0f64ff2006-11-27 23:37:22 +0000375 NewMI = addFrameReference(BuildMI(TII.get(PPC::STFD)).addReg(InReg),
376 FrameIndex);
Chris Lattnerc9fe7502005-09-09 21:59:44 +0000377 } else { // move -> load
378 unsigned OutReg = MI->getOperand(0).getReg();
Evan Chengc0f64ff2006-11-27 23:37:22 +0000379 NewMI = addFrameReference(BuildMI(TII.get(PPC::LFD), OutReg), FrameIndex);
Chris Lattnerc9fe7502005-09-09 21:59:44 +0000380 }
Chris Lattner919c0322005-10-01 01:35:02 +0000381 } else if (Opc == PPC::FMRS) {
382 if (OpNum == 0) { // move -> store
383 unsigned InReg = MI->getOperand(1).getReg();
Evan Chengc0f64ff2006-11-27 23:37:22 +0000384 NewMI = addFrameReference(BuildMI(TII.get(PPC::STFS)).addReg(InReg),
385 FrameIndex);
Chris Lattner919c0322005-10-01 01:35:02 +0000386 } else { // move -> load
387 unsigned OutReg = MI->getOperand(0).getReg();
Evan Chengc0f64ff2006-11-27 23:37:22 +0000388 NewMI = addFrameReference(BuildMI(TII.get(PPC::LFS), OutReg), FrameIndex);
Chris Lattner919c0322005-10-01 01:35:02 +0000389 }
Chris Lattnerf38df042005-09-09 21:46:49 +0000390 }
Evan Cheng6ce7dc22006-11-15 20:58:11 +0000391
392 if (NewMI)
393 NewMI->copyKillDeadInfo(MI);
394 return NewMI;
Chris Lattnerf38df042005-09-09 21:46:49 +0000395}
396
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000397//===----------------------------------------------------------------------===//
398// Stack Frame Processing methods
399//===----------------------------------------------------------------------===//
400
Jim Laskey2f616bf2006-11-16 22:43:37 +0000401// needsFP - Return true if the specified function should have a dedicated frame
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000402// pointer register. This is true if the function has variable sized allocas or
403// if frame pointer elimination is disabled.
404//
Jim Laskey2f616bf2006-11-16 22:43:37 +0000405static bool needsFP(const MachineFunction &MF) {
406 const MachineFrameInfo *MFI = MF.getFrameInfo();
407 return NoFramePointerElim || MFI->hasVarSizedObjects();
408}
409
410// hasFP - Return true if the specified function actually has a dedicated frame
411// pointer register. This is true if the function needs a frame pointer and has
412// a non-zero stack size.
Evan Chengdc775402007-01-23 00:57:47 +0000413bool PPCRegisterInfo::hasFP(const MachineFunction &MF) const {
Chris Lattner4f91a4c2006-04-03 22:03:29 +0000414 const MachineFrameInfo *MFI = MF.getFrameInfo();
Jim Laskey2f616bf2006-11-16 22:43:37 +0000415 return MFI->getStackSize() && needsFP(MF);
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000416}
417
Jim Laskey51fe9d92006-12-06 17:42:06 +0000418/// usesLR - Returns if the link registers (LR) has been used in the function.
419///
420bool PPCRegisterInfo::usesLR(MachineFunction &MF) const {
421 const bool *PhysRegsUsed = MF.getUsedPhysregs();
422 return PhysRegsUsed[getRARegister()];
423}
424
Nate Begeman21e463b2005-10-16 05:39:50 +0000425void PPCRegisterInfo::
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000426eliminateCallFramePseudoInstr(MachineFunction &MF, MachineBasicBlock &MBB,
427 MachineBasicBlock::iterator I) const {
Jim Laskey2f616bf2006-11-16 22:43:37 +0000428 // Simply discard ADJCALLSTACKDOWN, ADJCALLSTACKUP instructions.
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000429 MBB.erase(I);
430}
431
Jim Laskey2f616bf2006-11-16 22:43:37 +0000432/// LowerDynamicAlloc - Generate the code for allocating an object in the
433/// current frame. The sequence of code with be in the general form
434///
435/// addi R0, SP, #frameSize ; get the address of the previous frame
436/// stwxu R0, SP, Rnegsize ; add and update the SP with the negated size
437/// addi Rnew, SP, #maxCalFrameSize ; get the top of the allocation
438///
439void PPCRegisterInfo::lowerDynamicAlloc(MachineBasicBlock::iterator II) const {
440 // Get the instruction.
441 MachineInstr &MI = *II;
442 // Get the instruction's basic block.
443 MachineBasicBlock &MBB = *MI.getParent();
444 // Get the basic block's function.
445 MachineFunction &MF = *MBB.getParent();
446 // Get the frame info.
447 MachineFrameInfo *MFI = MF.getFrameInfo();
448 // Determine whether 64-bit pointers are used.
449 bool LP64 = Subtarget.isPPC64();
450
Evan Chengfab04392007-01-25 22:48:25 +0000451 // Get the maximum call stack size.
Jim Laskey2f616bf2006-11-16 22:43:37 +0000452 unsigned maxCallFrameSize = MFI->getMaxCallFrameSize();
Jim Laskey2f616bf2006-11-16 22:43:37 +0000453 // Get the total frame size.
454 unsigned FrameSize = MFI->getStackSize();
455
456 // Get stack alignments.
457 unsigned TargetAlign = MF.getTarget().getFrameInfo()->getStackAlignment();
458 unsigned MaxAlign = MFI->getMaxAlignment();
Jim Laskeyd6fa8c12006-11-17 18:49:39 +0000459 assert(MaxAlign <= TargetAlign &&
460 "Dynamic alloca with large aligns not supported");
Jim Laskey2f616bf2006-11-16 22:43:37 +0000461
462 // Determine the previous frame's address. If FrameSize can't be
463 // represented as 16 bits or we need special alignment, then we load the
464 // previous frame's address from 0(SP). Why not do an addis of the hi?
465 // Because R0 is our only safe tmp register and addi/addis treat R0 as zero.
466 // Constructing the constant and adding would take 3 instructions.
467 // Fortunately, a frame greater than 32K is rare.
468 if (MaxAlign < TargetAlign && isInt16(FrameSize)) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000469 BuildMI(MBB, II, TII.get(PPC::ADDI), PPC::R0)
Jim Laskey2f616bf2006-11-16 22:43:37 +0000470 .addReg(PPC::R31)
471 .addImm(FrameSize);
472 } else if (LP64) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000473 BuildMI(MBB, II, TII.get(PPC::LD), PPC::X0)
Jim Laskey2f616bf2006-11-16 22:43:37 +0000474 .addImm(0)
475 .addReg(PPC::X1);
476 } else {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000477 BuildMI(MBB, II, TII.get(PPC::LWZ), PPC::R0)
Jim Laskey2f616bf2006-11-16 22:43:37 +0000478 .addImm(0)
479 .addReg(PPC::R1);
480 }
481
482 // Grow the stack and update the stack pointer link, then
483 // determine the address of new allocated space.
484 if (LP64) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000485 BuildMI(MBB, II, TII.get(PPC::STDUX))
Jim Laskey2f616bf2006-11-16 22:43:37 +0000486 .addReg(PPC::X0)
487 .addReg(PPC::X1)
488 .addReg(MI.getOperand(1).getReg());
Evan Chengc0f64ff2006-11-27 23:37:22 +0000489 BuildMI(MBB, II, TII.get(PPC::ADDI8), MI.getOperand(0).getReg())
Jim Laskey2f616bf2006-11-16 22:43:37 +0000490 .addReg(PPC::X1)
491 .addImm(maxCallFrameSize);
492 } else {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000493 BuildMI(MBB, II, TII.get(PPC::STWUX))
Jim Laskey2f616bf2006-11-16 22:43:37 +0000494 .addReg(PPC::R0)
495 .addReg(PPC::R1)
496 .addReg(MI.getOperand(1).getReg());
Evan Chengc0f64ff2006-11-27 23:37:22 +0000497 BuildMI(MBB, II, TII.get(PPC::ADDI), MI.getOperand(0).getReg())
Jim Laskey2f616bf2006-11-16 22:43:37 +0000498 .addReg(PPC::R1)
499 .addImm(maxCallFrameSize);
500 }
501
502 // Discard the DYNALLOC instruction.
503 MBB.erase(II);
504}
505
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000506void
Nate Begeman21e463b2005-10-16 05:39:50 +0000507PPCRegisterInfo::eliminateFrameIndex(MachineBasicBlock::iterator II) const {
Jim Laskey2f616bf2006-11-16 22:43:37 +0000508 // Get the instruction.
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000509 MachineInstr &MI = *II;
Jim Laskey2f616bf2006-11-16 22:43:37 +0000510 // Get the instruction's basic block.
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000511 MachineBasicBlock &MBB = *MI.getParent();
Jim Laskey2f616bf2006-11-16 22:43:37 +0000512 // Get the basic block's function.
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000513 MachineFunction &MF = *MBB.getParent();
Jim Laskey2f616bf2006-11-16 22:43:37 +0000514 // Get the frame info.
515 MachineFrameInfo *MFI = MF.getFrameInfo();
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000516
Jim Laskey2f616bf2006-11-16 22:43:37 +0000517 // Find out which operand is the frame index.
518 unsigned i = 0;
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000519 while (!MI.getOperand(i).isFrameIndex()) {
520 ++i;
521 assert(i < MI.getNumOperands() && "Instr doesn't have FrameIndex operand!");
522 }
Jim Laskey2f616bf2006-11-16 22:43:37 +0000523 // Take into account whether it's an add or mem instruction
524 unsigned OffIdx = (i == 2) ? 1 : 2;
525 // Get the frame index.
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000526 int FrameIndex = MI.getOperand(i).getFrameIndex();
Jim Laskey2f616bf2006-11-16 22:43:37 +0000527
528 // Get the frame pointer save index. Users of this index are primarily
529 // DYNALLOC instructions.
530 PPCFunctionInfo *FI = MF.getInfo<PPCFunctionInfo>();
531 int FPSI = FI->getFramePointerSaveIndex();
532 // Get the instruction opcode.
533 unsigned OpC = MI.getOpcode();
534
535 // Special case for dynamic alloca.
536 if (FPSI && FrameIndex == FPSI &&
537 (OpC == PPC::DYNALLOC || OpC == PPC::DYNALLOC8)) {
538 lowerDynamicAlloc(II);
539 return;
540 }
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000541
542 // Replace the FrameIndex with base register with GPR1 (SP) or GPR31 (FP).
Chris Lattner09e46062006-09-05 02:31:13 +0000543 MI.getOperand(i).ChangeToRegister(hasFP(MF) ? PPC::R31 : PPC::R1, false);
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000544
Chris Lattner7ffa9ab2006-06-27 18:55:49 +0000545 // Figure out if the offset in the instruction is shifted right two bits. This
546 // is true for instructions like "STD", which the machine implicitly adds two
547 // low zeros to.
548 bool isIXAddr = false;
Jim Laskey2f616bf2006-11-16 22:43:37 +0000549 switch (OpC) {
Chris Lattner7ffa9ab2006-06-27 18:55:49 +0000550 case PPC::LWA:
551 case PPC::LD:
552 case PPC::STD:
553 case PPC::STD_32:
554 isIXAddr = true;
555 break;
556 }
557
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000558 // Now add the frame object offset to the offset from r1.
Jim Laskey2f616bf2006-11-16 22:43:37 +0000559 int Offset = MFI->getObjectOffset(FrameIndex);
Chris Lattner7ffa9ab2006-06-27 18:55:49 +0000560
561 if (!isIXAddr)
562 Offset += MI.getOperand(OffIdx).getImmedValue();
563 else
564 Offset += MI.getOperand(OffIdx).getImmedValue() << 2;
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000565
566 // If we're not using a Frame Pointer that has been set to the value of the
567 // SP before having the stack size subtracted from it, then add the stack size
568 // to Offset to get the correct offset.
Jim Laskey2f616bf2006-11-16 22:43:37 +0000569 Offset += MFI->getStackSize();
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000570
Jim Laskey2f616bf2006-11-16 22:43:37 +0000571 if (!isInt16(Offset)) {
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000572 // Insert a set of r0 with the full offset value before the ld, st, or add
Evan Chengc0f64ff2006-11-27 23:37:22 +0000573 BuildMI(MBB, II, TII.get(PPC::LIS), PPC::R0).addImm(Offset >> 16);
574 BuildMI(MBB, II, TII.get(PPC::ORI), PPC::R0).addReg(PPC::R0).addImm(Offset);
Chris Lattnerc6d48d32006-01-11 23:07:57 +0000575
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000576 // convert into indexed form of the instruction
577 // sth 0:rA, 1:imm 2:(rB) ==> sthx 0:rA, 2:rB, 1:r0
578 // addi 0:rA 1:rB, 2, imm ==> add 0:rA, 1:rB, 2:r0
Jim Laskey2f616bf2006-11-16 22:43:37 +0000579 assert(ImmToIdxMap.count(OpC) &&
Chris Lattner14630192005-09-09 20:51:08 +0000580 "No indexed form of load or store available!");
Jim Laskey2f616bf2006-11-16 22:43:37 +0000581 unsigned NewOpcode = ImmToIdxMap.find(OpC)->second;
Evan Cheng12a44782006-11-30 07:12:03 +0000582 MI.setInstrDescriptor(TII.get(NewOpcode));
Chris Lattner09e46062006-09-05 02:31:13 +0000583 MI.getOperand(1).ChangeToRegister(MI.getOperand(i).getReg(), false);
584 MI.getOperand(2).ChangeToRegister(PPC::R0, false);
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000585 } else {
Chris Lattner7ffa9ab2006-06-27 18:55:49 +0000586 if (isIXAddr) {
Chris Lattner841d12d2005-10-18 16:51:22 +0000587 assert((Offset & 3) == 0 && "Invalid frame offset!");
588 Offset >>= 2; // The actual encoded value has the low two bits zero.
Chris Lattner841d12d2005-10-18 16:51:22 +0000589 }
Chris Lattnere53f4a02006-05-04 17:52:23 +0000590 MI.getOperand(OffIdx).ChangeToImmediate(Offset);
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000591 }
592}
593
Chris Lattnerf7d23722006-04-17 20:59:25 +0000594/// VRRegNo - Map from a numbered VR register to its enum value.
595///
596static const unsigned short VRRegNo[] = {
Chris Lattnerb47e0892006-06-12 21:50:57 +0000597 PPC::V0 , PPC::V1 , PPC::V2 , PPC::V3 , PPC::V4 , PPC::V5 , PPC::V6 , PPC::V7 ,
598 PPC::V8 , PPC::V9 , PPC::V10, PPC::V11, PPC::V12, PPC::V13, PPC::V14, PPC::V15,
Chris Lattnerf7d23722006-04-17 20:59:25 +0000599 PPC::V16, PPC::V17, PPC::V18, PPC::V19, PPC::V20, PPC::V21, PPC::V22, PPC::V23,
600 PPC::V24, PPC::V25, PPC::V26, PPC::V27, PPC::V28, PPC::V29, PPC::V30, PPC::V31
601};
602
Chris Lattnerf9568d82006-04-17 21:48:13 +0000603/// RemoveVRSaveCode - We have found that this function does not need any code
604/// to manipulate the VRSAVE register, even though it uses vector registers.
605/// This can happen when the only registers used are known to be live in or out
606/// of the function. Remove all of the VRSAVE related code from the function.
607static void RemoveVRSaveCode(MachineInstr *MI) {
608 MachineBasicBlock *Entry = MI->getParent();
609 MachineFunction *MF = Entry->getParent();
610
611 // We know that the MTVRSAVE instruction immediately follows MI. Remove it.
612 MachineBasicBlock::iterator MBBI = MI;
613 ++MBBI;
614 assert(MBBI != Entry->end() && MBBI->getOpcode() == PPC::MTVRSAVE);
615 MBBI->eraseFromParent();
616
617 bool RemovedAllMTVRSAVEs = true;
618 // See if we can find and remove the MTVRSAVE instruction from all of the
619 // epilog blocks.
620 const TargetInstrInfo &TII = *MF->getTarget().getInstrInfo();
621 for (MachineFunction::iterator I = MF->begin(), E = MF->end(); I != E; ++I) {
622 // If last instruction is a return instruction, add an epilogue
623 if (!I->empty() && TII.isReturn(I->back().getOpcode())) {
624 bool FoundIt = false;
625 for (MBBI = I->end(); MBBI != I->begin(); ) {
626 --MBBI;
627 if (MBBI->getOpcode() == PPC::MTVRSAVE) {
628 MBBI->eraseFromParent(); // remove it.
629 FoundIt = true;
630 break;
631 }
632 }
633 RemovedAllMTVRSAVEs &= FoundIt;
634 }
635 }
636
637 // If we found and removed all MTVRSAVE instructions, remove the read of
638 // VRSAVE as well.
639 if (RemovedAllMTVRSAVEs) {
640 MBBI = MI;
641 assert(MBBI != Entry->begin() && "UPDATE_VRSAVE is first instr in block?");
642 --MBBI;
643 assert(MBBI->getOpcode() == PPC::MFVRSAVE && "VRSAVE instrs wandered?");
644 MBBI->eraseFromParent();
645 }
646
647 // Finally, nuke the UPDATE_VRSAVE.
648 MI->eraseFromParent();
649}
650
Chris Lattner1877ec92006-03-13 21:52:10 +0000651// HandleVRSaveUpdate - MI is the UPDATE_VRSAVE instruction introduced by the
652// instruction selector. Based on the vector registers that have been used,
653// transform this into the appropriate ORI instruction.
Evan Chengc0f64ff2006-11-27 23:37:22 +0000654static void HandleVRSaveUpdate(MachineInstr *MI, const bool *UsedRegs,
655 const TargetInstrInfo &TII) {
Chris Lattner1877ec92006-03-13 21:52:10 +0000656 unsigned UsedRegMask = 0;
Chris Lattnerf7d23722006-04-17 20:59:25 +0000657 for (unsigned i = 0; i != 32; ++i)
658 if (UsedRegs[VRRegNo[i]])
659 UsedRegMask |= 1 << (31-i);
660
Chris Lattner402504b2006-04-17 21:22:06 +0000661 // Live in and live out values already must be in the mask, so don't bother
662 // marking them.
663 MachineFunction *MF = MI->getParent()->getParent();
664 for (MachineFunction::livein_iterator I =
665 MF->livein_begin(), E = MF->livein_end(); I != E; ++I) {
666 unsigned RegNo = PPCRegisterInfo::getRegisterNumbering(I->first);
667 if (VRRegNo[RegNo] == I->first) // If this really is a vector reg.
668 UsedRegMask &= ~(1 << (31-RegNo)); // Doesn't need to be marked.
669 }
670 for (MachineFunction::liveout_iterator I =
671 MF->liveout_begin(), E = MF->liveout_end(); I != E; ++I) {
672 unsigned RegNo = PPCRegisterInfo::getRegisterNumbering(*I);
673 if (VRRegNo[RegNo] == *I) // If this really is a vector reg.
674 UsedRegMask &= ~(1 << (31-RegNo)); // Doesn't need to be marked.
675 }
676
Chris Lattner1877ec92006-03-13 21:52:10 +0000677 unsigned SrcReg = MI->getOperand(1).getReg();
678 unsigned DstReg = MI->getOperand(0).getReg();
679 // If no registers are used, turn this into a copy.
680 if (UsedRegMask == 0) {
Chris Lattnerf9568d82006-04-17 21:48:13 +0000681 // Remove all VRSAVE code.
682 RemoveVRSaveCode(MI);
683 return;
Chris Lattner1877ec92006-03-13 21:52:10 +0000684 } else if ((UsedRegMask & 0xFFFF) == UsedRegMask) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000685 BuildMI(*MI->getParent(), MI, TII.get(PPC::ORI), DstReg)
Chris Lattner1877ec92006-03-13 21:52:10 +0000686 .addReg(SrcReg).addImm(UsedRegMask);
687 } else if ((UsedRegMask & 0xFFFF0000) == UsedRegMask) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000688 BuildMI(*MI->getParent(), MI, TII.get(PPC::ORIS), DstReg)
Chris Lattner1877ec92006-03-13 21:52:10 +0000689 .addReg(SrcReg).addImm(UsedRegMask >> 16);
690 } else {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000691 BuildMI(*MI->getParent(), MI, TII.get(PPC::ORIS), DstReg)
Chris Lattner1877ec92006-03-13 21:52:10 +0000692 .addReg(SrcReg).addImm(UsedRegMask >> 16);
Evan Chengc0f64ff2006-11-27 23:37:22 +0000693 BuildMI(*MI->getParent(), MI, TII.get(PPC::ORI), DstReg)
Chris Lattner1877ec92006-03-13 21:52:10 +0000694 .addReg(DstReg).addImm(UsedRegMask & 0xFFFF);
695 }
696
697 // Remove the old UPDATE_VRSAVE instruction.
Chris Lattnerf9568d82006-04-17 21:48:13 +0000698 MI->eraseFromParent();
Chris Lattner1877ec92006-03-13 21:52:10 +0000699}
700
Jim Laskey2f616bf2006-11-16 22:43:37 +0000701/// determineFrameLayout - Determine the size of the frame and maximum call
702/// frame size.
703void PPCRegisterInfo::determineFrameLayout(MachineFunction &MF) const {
704 MachineFrameInfo *MFI = MF.getFrameInfo();
705
706 // Get the number of bytes to allocate from the FrameInfo
707 unsigned FrameSize = MFI->getStackSize();
708
709 // Get the alignments provided by the target, and the maximum alignment
710 // (if any) of the fixed frame objects.
Jim Laskey2f616bf2006-11-16 22:43:37 +0000711 unsigned MaxAlign = MFI->getMaxAlignment();
Evan Cheng99403b62007-01-25 22:25:04 +0000712 unsigned TargetAlign = MF.getTarget().getFrameInfo()->getStackAlignment();
713 unsigned AlignMask = TargetAlign - 1; //
Jim Laskey2f616bf2006-11-16 22:43:37 +0000714
715 // If we are a leaf function, and use up to 224 bytes of stack space,
716 // don't have a frame pointer, calls, or dynamic alloca then we do not need
717 // to adjust the stack pointer (we fit in the Red Zone).
718 if (FrameSize <= 224 && // Fits in red zone.
Jim Laskey2ff5cdb2006-11-17 16:09:31 +0000719 !MFI->hasVarSizedObjects() && // No dynamic alloca.
Jim Laskey2f616bf2006-11-16 22:43:37 +0000720 !MFI->hasCalls() && // No calls.
721 MaxAlign <= TargetAlign) { // No special alignment.
722 // No need for frame
723 MFI->setStackSize(0);
724 return;
725 }
726
727 // Get the maximum call frame size of all the calls.
728 unsigned maxCallFrameSize = MFI->getMaxCallFrameSize();
729
730 // Maximum call frame needs to be at least big enough for linkage and 8 args.
731 unsigned minCallFrameSize =
732 PPCFrameInfo::getMinCallFrameSize(Subtarget.isPPC64());
733 maxCallFrameSize = std::max(maxCallFrameSize, minCallFrameSize);
734
735 // If we have dynamic alloca then maxCallFrameSize needs to be aligned so
736 // that allocations will be aligned.
737 if (MFI->hasVarSizedObjects())
738 maxCallFrameSize = (maxCallFrameSize + AlignMask) & ~AlignMask;
739
740 // Update maximum call frame size.
741 MFI->setMaxCallFrameSize(maxCallFrameSize);
742
743 // Include call frame size in total.
744 FrameSize += maxCallFrameSize;
745
746 // Make sure the frame is aligned.
747 FrameSize = (FrameSize + AlignMask) & ~AlignMask;
748
749 // Update frame info.
750 MFI->setStackSize(FrameSize);
751}
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000752
Nate Begeman21e463b2005-10-16 05:39:50 +0000753void PPCRegisterInfo::emitPrologue(MachineFunction &MF) const {
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000754 MachineBasicBlock &MBB = MF.front(); // Prolog goes in entry BB
755 MachineBasicBlock::iterator MBBI = MBB.begin();
756 MachineFrameInfo *MFI = MF.getFrameInfo();
Jim Laskey44c3b9f2007-01-26 21:22:28 +0000757 MachineModuleInfo *MMI = MFI->getMachineModuleInfo();
Chris Lattner4f91a4c2006-04-03 22:03:29 +0000758
Jim Laskey5e73d5b2007-01-24 18:45:13 +0000759 // Prepare for debug frame info.
Jim Laskey44c3b9f2007-01-26 21:22:28 +0000760 bool hasDebugInfo = MMI && MMI->hasDebugInfo();
Jim Laskey5e73d5b2007-01-24 18:45:13 +0000761 unsigned FrameLabelId = 0;
762
Chris Lattner4f91a4c2006-04-03 22:03:29 +0000763 // Scan the prolog, looking for an UPDATE_VRSAVE instruction. If we find it,
764 // process it.
Chris Lattner8aa777d2006-03-16 21:31:45 +0000765 for (unsigned i = 0; MBBI != MBB.end(); ++i, ++MBBI) {
Chris Lattner1877ec92006-03-13 21:52:10 +0000766 if (MBBI->getOpcode() == PPC::UPDATE_VRSAVE) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000767 HandleVRSaveUpdate(MBBI, MF.getUsedPhysregs(), TII);
Chris Lattner1877ec92006-03-13 21:52:10 +0000768 break;
769 }
770 }
771
772 // Move MBBI back to the beginning of the function.
773 MBBI = MBB.begin();
774
Jim Laskey2f616bf2006-11-16 22:43:37 +0000775 // Work out frame sizes.
776 determineFrameLayout(MF);
777 unsigned FrameSize = MFI->getStackSize();
Nate Begemanae232e72005-11-06 09:00:38 +0000778
Jim Laskey2f616bf2006-11-16 22:43:37 +0000779 // Skip if a leaf routine.
780 if (!FrameSize) return;
781
782 int NegFrameSize = -FrameSize;
Jim Laskey51fe9d92006-12-06 17:42:06 +0000783
784 // Get processor type.
785 bool IsPPC64 = Subtarget.isPPC64();
786 // Check if the link register (LR) has been used.
787 bool UsesLR = MFI->hasCalls() || usesLR(MF);
Jim Laskey2f616bf2006-11-16 22:43:37 +0000788 // Do we have a frame pointer for this function?
789 bool HasFP = hasFP(MF);
Jim Laskey51fe9d92006-12-06 17:42:06 +0000790
791 int LROffset = PPCFrameInfo::getReturnSaveOffset(IsPPC64);
792 int FPOffset = PPCFrameInfo::getFramePointerSaveOffset(IsPPC64);
793
794 if (IsPPC64) {
795 if (UsesLR)
796 BuildMI(MBB, MBBI, TII.get(PPC::MFLR8), PPC::X0);
797
798 if (HasFP)
Evan Chengc0f64ff2006-11-27 23:37:22 +0000799 BuildMI(MBB, MBBI, TII.get(PPC::STD))
Jim Laskey51fe9d92006-12-06 17:42:06 +0000800 .addReg(PPC::X31).addImm(FPOffset/4).addReg(PPC::X1);
801
802 if (UsesLR)
803 BuildMI(MBB, MBBI, TII.get(PPC::STD))
804 .addReg(PPC::X0).addImm(LROffset/4).addReg(PPC::X1);
805 } else {
806 if (UsesLR)
807 BuildMI(MBB, MBBI, TII.get(PPC::MFLR), PPC::R0);
808
809 if (HasFP)
810 BuildMI(MBB, MBBI, TII.get(PPC::STW))
811 .addReg(PPC::R31).addImm(FPOffset).addReg(PPC::R1);
812
813 if (UsesLR)
814 BuildMI(MBB, MBBI, TII.get(PPC::STW))
815 .addReg(PPC::R0).addImm(LROffset).addReg(PPC::R1);
Jim Laskey2f616bf2006-11-16 22:43:37 +0000816 }
817
818 // Get stack alignments.
Nate Begemanae232e72005-11-06 09:00:38 +0000819 unsigned TargetAlign = MF.getTarget().getFrameInfo()->getStackAlignment();
820 unsigned MaxAlign = MFI->getMaxAlignment();
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000821
Jim Laskey44c3b9f2007-01-26 21:22:28 +0000822 if (hasDebugInfo) {
Jim Laskey5e73d5b2007-01-24 18:45:13 +0000823 // Mark effective beginning of when frame pointer becomes valid.
Jim Laskey44c3b9f2007-01-26 21:22:28 +0000824 FrameLabelId = MMI->NextLabelID();
Jim Laskey1ee29252007-01-26 14:34:52 +0000825 BuildMI(MBB, MBBI, TII.get(PPC::LABEL)).addImm(FrameLabelId);
Jim Laskey5e73d5b2007-01-24 18:45:13 +0000826 }
827
Jim Laskey2f616bf2006-11-16 22:43:37 +0000828 // Adjust stack pointer: r1 += NegFrameSize.
Nate Begeman030514c2006-04-11 19:29:21 +0000829 // If there is a preferred stack alignment, align R1 now
Jim Laskey51fe9d92006-12-06 17:42:06 +0000830 if (!IsPPC64) {
Chris Lattnera94a2032006-11-11 19:05:28 +0000831 // PPC32.
832 if (MaxAlign > TargetAlign) {
Jim Laskey2f616bf2006-11-16 22:43:37 +0000833 assert(isPowerOf2_32(MaxAlign)&&isInt16(MaxAlign)&&"Invalid alignment!");
834 assert(isInt16(NegFrameSize) && "Unhandled stack size and alignment!");
Evan Chengc0f64ff2006-11-27 23:37:22 +0000835 BuildMI(MBB, MBBI, TII.get(PPC::RLWINM), PPC::R0)
Chris Lattnera94a2032006-11-11 19:05:28 +0000836 .addReg(PPC::R1).addImm(0).addImm(32-Log2_32(MaxAlign)).addImm(31);
Evan Chengc0f64ff2006-11-27 23:37:22 +0000837 BuildMI(MBB, MBBI, TII.get(PPC::SUBFIC) ,PPC::R0).addReg(PPC::R0)
Jim Laskey2f616bf2006-11-16 22:43:37 +0000838 .addImm(NegFrameSize);
Evan Chengc0f64ff2006-11-27 23:37:22 +0000839 BuildMI(MBB, MBBI, TII.get(PPC::STWUX))
Chris Lattnera94a2032006-11-11 19:05:28 +0000840 .addReg(PPC::R1).addReg(PPC::R1).addReg(PPC::R0);
Jim Laskey2f616bf2006-11-16 22:43:37 +0000841 } else if (isInt16(NegFrameSize)) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000842 BuildMI(MBB, MBBI, TII.get(PPC::STWU),
Jim Laskey2f616bf2006-11-16 22:43:37 +0000843 PPC::R1).addReg(PPC::R1).addImm(NegFrameSize).addReg(PPC::R1);
Chris Lattnera94a2032006-11-11 19:05:28 +0000844 } else {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000845 BuildMI(MBB, MBBI, TII.get(PPC::LIS), PPC::R0).addImm(NegFrameSize >> 16);
846 BuildMI(MBB, MBBI, TII.get(PPC::ORI), PPC::R0).addReg(PPC::R0)
Jim Laskey2f616bf2006-11-16 22:43:37 +0000847 .addImm(NegFrameSize & 0xFFFF);
Evan Chengc0f64ff2006-11-27 23:37:22 +0000848 BuildMI(MBB, MBBI, TII.get(PPC::STWUX)).addReg(PPC::R1).addReg(PPC::R1)
Chris Lattnera94a2032006-11-11 19:05:28 +0000849 .addReg(PPC::R0);
850 }
851 } else { // PPC64.
852 if (MaxAlign > TargetAlign) {
Jim Laskey2f616bf2006-11-16 22:43:37 +0000853 assert(isPowerOf2_32(MaxAlign)&&isInt16(MaxAlign)&&"Invalid alignment!");
854 assert(isInt16(NegFrameSize) && "Unhandled stack size and alignment!");
Evan Chengc0f64ff2006-11-27 23:37:22 +0000855 BuildMI(MBB, MBBI, TII.get(PPC::RLDICL), PPC::X0)
Chris Lattnera94a2032006-11-11 19:05:28 +0000856 .addReg(PPC::X1).addImm(0).addImm(64-Log2_32(MaxAlign));
Evan Chengc0f64ff2006-11-27 23:37:22 +0000857 BuildMI(MBB, MBBI, TII.get(PPC::SUBFIC8), PPC::X0).addReg(PPC::X0)
Jim Laskey2f616bf2006-11-16 22:43:37 +0000858 .addImm(NegFrameSize);
Evan Chengc0f64ff2006-11-27 23:37:22 +0000859 BuildMI(MBB, MBBI, TII.get(PPC::STDUX))
Chris Lattnera94a2032006-11-11 19:05:28 +0000860 .addReg(PPC::X1).addReg(PPC::X1).addReg(PPC::X0);
Jim Laskey2ff5cdb2006-11-17 16:09:31 +0000861 } else if (isInt16(NegFrameSize)) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000862 BuildMI(MBB, MBBI, TII.get(PPC::STDU), PPC::X1)
Jim Laskey2f616bf2006-11-16 22:43:37 +0000863 .addReg(PPC::X1).addImm(NegFrameSize/4).addReg(PPC::X1);
Chris Lattnera94a2032006-11-11 19:05:28 +0000864 } else {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000865 BuildMI(MBB, MBBI, TII.get(PPC::LIS8), PPC::X0).addImm(NegFrameSize >>16);
866 BuildMI(MBB, MBBI, TII.get(PPC::ORI8), PPC::X0).addReg(PPC::X0)
Jim Laskey2f616bf2006-11-16 22:43:37 +0000867 .addImm(NegFrameSize & 0xFFFF);
Evan Chengc0f64ff2006-11-27 23:37:22 +0000868 BuildMI(MBB, MBBI, TII.get(PPC::STDUX)).addReg(PPC::X1).addReg(PPC::X1)
Chris Lattnera94a2032006-11-11 19:05:28 +0000869 .addReg(PPC::X0);
870 }
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000871 }
Nate Begemanae232e72005-11-06 09:00:38 +0000872
Jim Laskey44c3b9f2007-01-26 21:22:28 +0000873 if (hasDebugInfo) {
874 std::vector<MachineMove> &Moves = MMI->getFrameMoves();
Jim Laskey41886992006-04-07 16:34:46 +0000875
Jim Laskey5e73d5b2007-01-24 18:45:13 +0000876 if (NegFrameSize) {
877 // Show update of SP.
878 MachineLocation SPDst(MachineLocation::VirtualFP);
879 MachineLocation SPSrc(MachineLocation::VirtualFP, NegFrameSize);
880 Moves.push_back(MachineMove(FrameLabelId, SPDst, SPSrc));
881 } else {
882 MachineLocation SP(IsPPC64 ? PPC::X31 : PPC::R31);
883 Moves.push_back(MachineMove(FrameLabelId, SP, SP));
884 }
Jim Laskey4c2c9032006-08-25 19:40:59 +0000885
Jim Laskey5e73d5b2007-01-24 18:45:13 +0000886 if (HasFP) {
887 MachineLocation FPDst(MachineLocation::VirtualFP, FPOffset);
888 MachineLocation FPSrc(IsPPC64 ? PPC::X31 : PPC::R31);
889 Moves.push_back(MachineMove(FrameLabelId, FPDst, FPSrc));
890 }
Jim Laskeyce50a162006-08-29 16:24:26 +0000891
892 // Add callee saved registers to move list.
893 const std::vector<CalleeSavedInfo> &CSI = MFI->getCalleeSavedInfo();
894 for (unsigned I = 0, E = CSI.size(); I != E; ++I) {
Jim Laskey5e73d5b2007-01-24 18:45:13 +0000895 int Offset = MFI->getObjectOffset(CSI[I].getFrameIdx());
896 unsigned Reg = CSI[I].getReg();
897 if (Reg == PPC::LR || Reg == PPC::LR8) continue;
898 MachineLocation CSDst(MachineLocation::VirtualFP, Offset);
899 MachineLocation CSSrc(Reg);
900 Moves.push_back(MachineMove(FrameLabelId, CSDst, CSSrc));
Jim Laskeyce50a162006-08-29 16:24:26 +0000901 }
Jim Laskey5e73d5b2007-01-24 18:45:13 +0000902
903 // Mark effective beginning of when frame pointer is ready.
Jim Laskey44c3b9f2007-01-26 21:22:28 +0000904 unsigned ReadyLabelId = MMI->NextLabelID();
Jim Laskey1ee29252007-01-26 14:34:52 +0000905 BuildMI(MBB, MBBI, TII.get(PPC::LABEL)).addImm(ReadyLabelId);
Jim Laskey5e73d5b2007-01-24 18:45:13 +0000906
907 MachineLocation FPDst(HasFP ? (IsPPC64 ? PPC::X31 : PPC::R31) :
908 (IsPPC64 ? PPC::X1 : PPC::R1));
909 MachineLocation FPSrc(MachineLocation::VirtualFP);
910 Moves.push_back(MachineMove(ReadyLabelId, FPDst, FPSrc));
Jim Laskey41886992006-04-07 16:34:46 +0000911 }
Jim Laskey2f616bf2006-11-16 22:43:37 +0000912
913 // If there is a frame pointer, copy R1 into R31
Chris Lattner4f91a4c2006-04-03 22:03:29 +0000914 if (HasFP) {
Jim Laskey51fe9d92006-12-06 17:42:06 +0000915 if (!IsPPC64) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000916 BuildMI(MBB, MBBI, TII.get(PPC::OR), PPC::R31).addReg(PPC::R1)
917 .addReg(PPC::R1);
Chris Lattnera94a2032006-11-11 19:05:28 +0000918 } else {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000919 BuildMI(MBB, MBBI, TII.get(PPC::OR8), PPC::X31).addReg(PPC::X1)
920 .addReg(PPC::X1);
Chris Lattnera94a2032006-11-11 19:05:28 +0000921 }
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000922 }
923}
924
Nate Begeman21e463b2005-10-16 05:39:50 +0000925void PPCRegisterInfo::emitEpilogue(MachineFunction &MF,
926 MachineBasicBlock &MBB) const {
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000927 MachineBasicBlock::iterator MBBI = prior(MBB.end());
Evan Cheng6da8d992006-01-09 18:28:21 +0000928 assert(MBBI->getOpcode() == PPC::BLR &&
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000929 "Can only insert epilog into returning blocks");
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000930
Nate Begeman030514c2006-04-11 19:29:21 +0000931 // Get alignment info so we know how to restore r1
932 const MachineFrameInfo *MFI = MF.getFrameInfo();
933 unsigned TargetAlign = MF.getTarget().getFrameInfo()->getStackAlignment();
Jim Laskey2f616bf2006-11-16 22:43:37 +0000934 unsigned MaxAlign = MFI->getMaxAlignment();
Nate Begeman030514c2006-04-11 19:29:21 +0000935
Chris Lattner64da1722006-01-11 23:03:54 +0000936 // Get the number of bytes allocated from the FrameInfo.
Jim Laskey2f616bf2006-11-16 22:43:37 +0000937 unsigned FrameSize = MFI->getStackSize();
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000938
Jim Laskey51fe9d92006-12-06 17:42:06 +0000939 if (!FrameSize) return;
940
941 // Get processor type.
942 bool IsPPC64 = Subtarget.isPPC64();
943 // Check if the link register (LR) has been used.
944 bool UsesLR = MFI->hasCalls() || usesLR(MF);
945 // Do we have a frame pointer for this function?
946 bool HasFP = hasFP(MF);
947
948 // The loaded (or persistent) stack pointer value is offset by the 'stwu'
949 // on entry to the function. Add this offset back now.
950 if (!Subtarget.isPPC64()) {
951 if (isInt16(FrameSize) && TargetAlign >= MaxAlign &&
952 !MFI->hasVarSizedObjects()) {
953 BuildMI(MBB, MBBI, TII.get(PPC::ADDI), PPC::R1)
954 .addReg(PPC::R1).addImm(FrameSize);
Chris Lattner64da1722006-01-11 23:03:54 +0000955 } else {
Jim Laskey51fe9d92006-12-06 17:42:06 +0000956 BuildMI(MBB, MBBI, TII.get(PPC::LWZ),PPC::R1).addImm(0).addReg(PPC::R1);
Chris Lattner64da1722006-01-11 23:03:54 +0000957 }
Jim Laskey51fe9d92006-12-06 17:42:06 +0000958 } else {
959 if (isInt16(FrameSize) && TargetAlign >= MaxAlign &&
960 !MFI->hasVarSizedObjects()) {
961 BuildMI(MBB, MBBI, TII.get(PPC::ADDI8), PPC::X1)
962 .addReg(PPC::X1).addImm(FrameSize);
963 } else {
964 BuildMI(MBB, MBBI, TII.get(PPC::LD), PPC::X1).addImm(0).addReg(PPC::X1);
Jim Laskey2f616bf2006-11-16 22:43:37 +0000965 }
Jim Laskey51fe9d92006-12-06 17:42:06 +0000966 }
967
968 int LROffset = PPCFrameInfo::getReturnSaveOffset(IsPPC64);
969 int FPOffset = PPCFrameInfo::getFramePointerSaveOffset(IsPPC64);
970
971 if (IsPPC64) {
972 if (UsesLR)
973 BuildMI(MBB, MBBI, TII.get(PPC::LD), PPC::X0)
974 .addImm(LROffset/4).addReg(PPC::X1);
975
976 if (HasFP)
977 BuildMI(MBB, MBBI, TII.get(PPC::LD), PPC::X31)
978 .addImm(FPOffset/4).addReg(PPC::X1);
979
980 if (UsesLR)
981 BuildMI(MBB, MBBI, TII.get(PPC::MTLR8)).addReg(PPC::X0);
982 } else {
983 if (UsesLR)
984 BuildMI(MBB, MBBI, TII.get(PPC::LWZ), PPC::R0)
985 .addImm(LROffset).addReg(PPC::R1);
986
987 if (HasFP)
988 BuildMI(MBB, MBBI, TII.get(PPC::LWZ), PPC::R31)
989 .addImm(FPOffset).addReg(PPC::R1);
990
991 if (UsesLR)
992 BuildMI(MBB, MBBI, TII.get(PPC::MTLR)).addReg(PPC::R0);
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000993 }
994}
995
Jim Laskey41886992006-04-07 16:34:46 +0000996unsigned PPCRegisterInfo::getRARegister() const {
Chris Lattner6a5339b2006-11-14 18:44:47 +0000997 return !Subtarget.isPPC64() ? PPC::LR : PPC::LR8;
998
Jim Laskey41886992006-04-07 16:34:46 +0000999}
1000
Jim Laskeya9979182006-03-28 13:48:33 +00001001unsigned PPCRegisterInfo::getFrameRegister(MachineFunction &MF) const {
Chris Lattnera94a2032006-11-11 19:05:28 +00001002 if (!Subtarget.isPPC64())
1003 return hasFP(MF) ? PPC::R31 : PPC::R1;
1004 else
1005 return hasFP(MF) ? PPC::X31 : PPC::X1;
Jim Laskey41886992006-04-07 16:34:46 +00001006}
1007
Jim Laskey5e73d5b2007-01-24 18:45:13 +00001008void PPCRegisterInfo::getInitialFrameState(std::vector<MachineMove> &Moves)
Jim Laskey41886992006-04-07 16:34:46 +00001009 const {
Jim Laskey4c2c9032006-08-25 19:40:59 +00001010 // Initial state of the frame pointer is R1.
Jim Laskey41886992006-04-07 16:34:46 +00001011 MachineLocation Dst(MachineLocation::VirtualFP);
1012 MachineLocation Src(PPC::R1, 0);
Jim Laskey5e73d5b2007-01-24 18:45:13 +00001013 Moves.push_back(MachineMove(0, Dst, Src));
Jim Laskeyf1d78e82006-03-23 18:12:57 +00001014}
1015
Chris Lattner4c7b43b2005-10-14 23:37:35 +00001016#include "PPCGenRegisterInfo.inc"
Misha Brukmanf2ccb772004-08-17 04:55:41 +00001017