blob: dbf2cf48b153b1d839815d603ee54c00dfce8ec8 [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"
Evan Chengb371f452007-02-19 21:49:54 +000037#include "llvm/ADT/BitVector.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000038#include "llvm/ADT/STLExtras.h"
Misha Brukmanf2ccb772004-08-17 04:55:41 +000039#include <cstdlib>
Misha Brukmanf2ccb772004-08-17 04:55:41 +000040using namespace llvm;
41
Chris Lattner369503f2006-04-17 21:07:20 +000042/// getRegisterNumbering - Given the enum value for some register, e.g.
43/// PPC::F14, return the number that it corresponds to (e.g. 14).
44unsigned PPCRegisterInfo::getRegisterNumbering(unsigned RegEnum) {
Chris Lattnerbe6a0392006-07-11 20:53:55 +000045 using namespace PPC;
Chris Lattner369503f2006-04-17 21:07:20 +000046 switch (RegEnum) {
Chris Lattnerbe6a0392006-07-11 20:53:55 +000047 case R0 : case X0 : case F0 : case V0 : case CR0: return 0;
48 case R1 : case X1 : case F1 : case V1 : case CR1: return 1;
49 case R2 : case X2 : case F2 : case V2 : case CR2: return 2;
50 case R3 : case X3 : case F3 : case V3 : case CR3: return 3;
51 case R4 : case X4 : case F4 : case V4 : case CR4: return 4;
52 case R5 : case X5 : case F5 : case V5 : case CR5: return 5;
53 case R6 : case X6 : case F6 : case V6 : case CR6: return 6;
54 case R7 : case X7 : case F7 : case V7 : case CR7: return 7;
55 case R8 : case X8 : case F8 : case V8 : return 8;
56 case R9 : case X9 : case F9 : case V9 : return 9;
57 case R10: case X10: case F10: case V10: return 10;
58 case R11: case X11: case F11: case V11: return 11;
59 case R12: case X12: case F12: case V12: return 12;
60 case R13: case X13: case F13: case V13: return 13;
61 case R14: case X14: case F14: case V14: return 14;
62 case R15: case X15: case F15: case V15: return 15;
63 case R16: case X16: case F16: case V16: return 16;
64 case R17: case X17: case F17: case V17: return 17;
65 case R18: case X18: case F18: case V18: return 18;
66 case R19: case X19: case F19: case V19: return 19;
67 case R20: case X20: case F20: case V20: return 20;
68 case R21: case X21: case F21: case V21: return 21;
69 case R22: case X22: case F22: case V22: return 22;
70 case R23: case X23: case F23: case V23: return 23;
71 case R24: case X24: case F24: case V24: return 24;
72 case R25: case X25: case F25: case V25: return 25;
73 case R26: case X26: case F26: case V26: return 26;
74 case R27: case X27: case F27: case V27: return 27;
75 case R28: case X28: case F28: case V28: return 28;
76 case R29: case X29: case F29: case V29: return 29;
77 case R30: case X30: case F30: case V30: return 30;
78 case R31: case X31: case F31: case V31: return 31;
79 default:
Bill Wendlingf5da1332006-12-07 22:21:48 +000080 cerr << "Unhandled reg in PPCRegisterInfo::getRegisterNumbering!\n";
Chris Lattnerbe6a0392006-07-11 20:53:55 +000081 abort();
Chris Lattner369503f2006-04-17 21:07:20 +000082 }
83}
84
Evan Cheng7ce45782006-11-13 23:36:35 +000085PPCRegisterInfo::PPCRegisterInfo(const PPCSubtarget &ST,
86 const TargetInstrInfo &tii)
Chris Lattner804e0672006-07-11 00:48:23 +000087 : PPCGenRegisterInfo(PPC::ADJCALLSTACKDOWN, PPC::ADJCALLSTACKUP),
Evan Cheng7ce45782006-11-13 23:36:35 +000088 Subtarget(ST), TII(tii) {
Misha Brukmanb5f662f2005-04-21 23:30:14 +000089 ImmToIdxMap[PPC::LD] = PPC::LDX; ImmToIdxMap[PPC::STD] = PPC::STDX;
Misha Brukmanf2ccb772004-08-17 04:55:41 +000090 ImmToIdxMap[PPC::LBZ] = PPC::LBZX; ImmToIdxMap[PPC::STB] = PPC::STBX;
91 ImmToIdxMap[PPC::LHZ] = PPC::LHZX; ImmToIdxMap[PPC::LHA] = PPC::LHAX;
92 ImmToIdxMap[PPC::LWZ] = PPC::LWZX; ImmToIdxMap[PPC::LWA] = PPC::LWAX;
93 ImmToIdxMap[PPC::LFS] = PPC::LFSX; ImmToIdxMap[PPC::LFD] = PPC::LFDX;
94 ImmToIdxMap[PPC::STH] = PPC::STHX; ImmToIdxMap[PPC::STW] = PPC::STWX;
95 ImmToIdxMap[PPC::STFS] = PPC::STFSX; ImmToIdxMap[PPC::STFD] = PPC::STFDX;
Nate Begeman1d9d7422005-10-18 00:28:58 +000096 ImmToIdxMap[PPC::ADDI] = PPC::ADD4;
Chris Lattnerc88fa742006-12-07 22:15:58 +000097 ImmToIdxMap[PPC::ADDI8] = PPC::ADD8;
Misha Brukmanf2ccb772004-08-17 04:55:41 +000098}
99
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000100void
Nate Begeman21e463b2005-10-16 05:39:50 +0000101PPCRegisterInfo::storeRegToStackSlot(MachineBasicBlock &MBB,
102 MachineBasicBlock::iterator MI,
103 unsigned SrcReg, int FrameIdx,
104 const TargetRegisterClass *RC) const {
Chris Lattner6a5339b2006-11-14 18:44:47 +0000105 if (RC == PPC::GPRCRegisterClass) {
106 if (SrcReg != PPC::LR) {
Evan Cheng0fa1b6d2007-02-23 01:10:04 +0000107 addFrameReference(BuildMI(MBB, MI, TII.get(PPC::STW))
108 .addReg(SrcReg, false, false, true), FrameIdx);
Chris Lattner6a5339b2006-11-14 18:44:47 +0000109 } else {
110 // FIXME: this spills LR immediately to memory in one step. To do this,
111 // we use R11, which we know cannot be used in the prolog/epilog. This is
112 // a hack.
Evan Chengc0f64ff2006-11-27 23:37:22 +0000113 BuildMI(MBB, MI, TII.get(PPC::MFLR), PPC::R11);
Evan Cheng0fa1b6d2007-02-23 01:10:04 +0000114 addFrameReference(BuildMI(MBB, MI, TII.get(PPC::STW))
115 .addReg(PPC::R11, false, false, true), FrameIdx);
Chris Lattner6a5339b2006-11-14 18:44:47 +0000116 }
117 } else if (RC == PPC::G8RCRegisterClass) {
118 if (SrcReg != PPC::LR8) {
Evan Cheng0fa1b6d2007-02-23 01:10:04 +0000119 addFrameReference(BuildMI(MBB, MI, TII.get(PPC::STD))
120 .addReg(SrcReg, false, false, true), FrameIdx);
Chris Lattner6a5339b2006-11-14 18:44:47 +0000121 } else {
122 // FIXME: this spills LR immediately to memory in one step. To do this,
123 // we use R11, which we know cannot be used in the prolog/epilog. This is
124 // a hack.
Evan Chengc0f64ff2006-11-27 23:37:22 +0000125 BuildMI(MBB, MI, TII.get(PPC::MFLR8), PPC::X11);
Evan Cheng0fa1b6d2007-02-23 01:10:04 +0000126 addFrameReference(BuildMI(MBB, MI, TII.get(PPC::STD))
127 .addReg(PPC::X11, false, false, true), FrameIdx);
Chris Lattner6a5339b2006-11-14 18:44:47 +0000128 }
129 } else if (RC == PPC::F8RCRegisterClass) {
Evan Cheng0fa1b6d2007-02-23 01:10:04 +0000130 addFrameReference(BuildMI(MBB, MI, TII.get(PPC::STFD))
131 .addReg(SrcReg, false, false, true), FrameIdx);
Chris Lattner6a5339b2006-11-14 18:44:47 +0000132 } else if (RC == PPC::F4RCRegisterClass) {
Evan Cheng0fa1b6d2007-02-23 01:10:04 +0000133 addFrameReference(BuildMI(MBB, MI, TII.get(PPC::STFS))
134 .addReg(SrcReg, false, false, true), FrameIdx);
Nate Begeman1d9d7422005-10-18 00:28:58 +0000135 } else if (RC == PPC::CRRCRegisterClass) {
Chris Lattnere67304f2006-06-12 23:59:16 +0000136 // FIXME: We use R0 here, because it isn't available for RA.
Chris Lattnerb47e0892006-06-12 21:50:57 +0000137 // We need to store the CR in the low 4-bits of the saved value. First,
138 // issue a MFCR to save all of the CRBits.
Evan Chengc0f64ff2006-11-27 23:37:22 +0000139 BuildMI(MBB, MI, TII.get(PPC::MFCR), PPC::R0);
Chris Lattnerb47e0892006-06-12 21:50:57 +0000140
141 // If the saved register wasn't CR0, shift the bits left so that they are in
142 // CR0's slot.
143 if (SrcReg != PPC::CR0) {
144 unsigned ShiftBits = PPCRegisterInfo::getRegisterNumbering(SrcReg)*4;
Chris Lattnere67304f2006-06-12 23:59:16 +0000145 // rlwinm r0, r0, ShiftBits, 0, 31.
Evan Chengc0f64ff2006-11-27 23:37:22 +0000146 BuildMI(MBB, MI, TII.get(PPC::RLWINM), PPC::R0)
Chris Lattnere67304f2006-06-12 23:59:16 +0000147 .addReg(PPC::R0).addImm(ShiftBits).addImm(0).addImm(31);
Chris Lattnerb47e0892006-06-12 21:50:57 +0000148 }
149
Evan Cheng0fa1b6d2007-02-23 01:10:04 +0000150 addFrameReference(BuildMI(MBB, MI, TII.get(PPC::STW))
151 .addReg(PPC::R0, false, false, true), FrameIdx);
Chris Lattner9c09c9e2006-03-16 22:24:02 +0000152 } else if (RC == PPC::VRRCRegisterClass) {
153 // We don't have indexed addressing for vector loads. Emit:
154 // R11 = ADDI FI#
155 // Dest = LVX R0, R11
156 //
157 // FIXME: We use R0 here, because it isn't available for RA.
Evan Chengc0f64ff2006-11-27 23:37:22 +0000158 addFrameReference(BuildMI(MBB, MI, TII.get(PPC::ADDI), PPC::R0),
159 FrameIdx, 0, 0);
160 BuildMI(MBB, MI, TII.get(PPC::STVX))
Evan Cheng0fa1b6d2007-02-23 01:10:04 +0000161 .addReg(SrcReg, false, false, true).addReg(PPC::R0).addReg(PPC::R0);
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000162 } else {
Chris Lattner919c0322005-10-01 01:35:02 +0000163 assert(0 && "Unknown regclass!");
164 abort();
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000165 }
166}
167
168void
Nate Begeman21e463b2005-10-16 05:39:50 +0000169PPCRegisterInfo::loadRegFromStackSlot(MachineBasicBlock &MBB,
Chris Lattner6a5339b2006-11-14 18:44:47 +0000170 MachineBasicBlock::iterator MI,
171 unsigned DestReg, int FrameIdx,
172 const TargetRegisterClass *RC) const {
173 if (RC == PPC::GPRCRegisterClass) {
174 if (DestReg != PPC::LR) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000175 addFrameReference(BuildMI(MBB, MI, TII.get(PPC::LWZ), DestReg), FrameIdx);
Chris Lattner6a5339b2006-11-14 18:44:47 +0000176 } else {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000177 addFrameReference(BuildMI(MBB, MI, TII.get(PPC::LWZ), PPC::R11),FrameIdx);
178 BuildMI(MBB, MI, TII.get(PPC::MTLR)).addReg(PPC::R11);
Chris Lattner6a5339b2006-11-14 18:44:47 +0000179 }
180 } else if (RC == PPC::G8RCRegisterClass) {
181 if (DestReg != PPC::LR8) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000182 addFrameReference(BuildMI(MBB, MI, TII.get(PPC::LD), DestReg), FrameIdx);
Chris Lattner6a5339b2006-11-14 18:44:47 +0000183 } else {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000184 addFrameReference(BuildMI(MBB, MI, TII.get(PPC::LD), PPC::R11), FrameIdx);
185 BuildMI(MBB, MI, TII.get(PPC::MTLR8)).addReg(PPC::R11);
Chris Lattner6a5339b2006-11-14 18:44:47 +0000186 }
187 } else if (RC == PPC::F8RCRegisterClass) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000188 addFrameReference(BuildMI(MBB, MI, TII.get(PPC::LFD), DestReg), FrameIdx);
Chris Lattner6a5339b2006-11-14 18:44:47 +0000189 } else if (RC == PPC::F4RCRegisterClass) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000190 addFrameReference(BuildMI(MBB, MI, TII.get(PPC::LFS), DestReg), FrameIdx);
Nate Begeman1d9d7422005-10-18 00:28:58 +0000191 } else if (RC == PPC::CRRCRegisterClass) {
Chris Lattnere67304f2006-06-12 23:59:16 +0000192 // FIXME: We use R0 here, because it isn't available for RA.
Evan Chengc0f64ff2006-11-27 23:37:22 +0000193 addFrameReference(BuildMI(MBB, MI, TII.get(PPC::LWZ), PPC::R0), FrameIdx);
Chris Lattnerb47e0892006-06-12 21:50:57 +0000194
195 // If the reloaded register isn't CR0, shift the bits right so that they are
196 // in the right CR's slot.
197 if (DestReg != PPC::CR0) {
198 unsigned ShiftBits = PPCRegisterInfo::getRegisterNumbering(DestReg)*4;
199 // rlwinm r11, r11, 32-ShiftBits, 0, 31.
Evan Chengc0f64ff2006-11-27 23:37:22 +0000200 BuildMI(MBB, MI, TII.get(PPC::RLWINM), PPC::R0)
Chris Lattnere67304f2006-06-12 23:59:16 +0000201 .addReg(PPC::R0).addImm(32-ShiftBits).addImm(0).addImm(31);
Chris Lattnerb47e0892006-06-12 21:50:57 +0000202 }
203
Evan Chengc0f64ff2006-11-27 23:37:22 +0000204 BuildMI(MBB, MI, TII.get(PPC::MTCRF), DestReg).addReg(PPC::R0);
Chris Lattner9c09c9e2006-03-16 22:24:02 +0000205 } else if (RC == PPC::VRRCRegisterClass) {
206 // We don't have indexed addressing for vector loads. Emit:
207 // R11 = ADDI FI#
208 // Dest = LVX R0, R11
209 //
210 // FIXME: We use R0 here, because it isn't available for RA.
Evan Chengc0f64ff2006-11-27 23:37:22 +0000211 addFrameReference(BuildMI(MBB, MI, TII.get(PPC::ADDI), PPC::R0),
212 FrameIdx, 0, 0);
213 BuildMI(MBB, MI, TII.get(PPC::LVX),DestReg).addReg(PPC::R0).addReg(PPC::R0);
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000214 } else {
Chris Lattner919c0322005-10-01 01:35:02 +0000215 assert(0 && "Unknown regclass!");
216 abort();
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000217 }
218}
219
Nate Begeman21e463b2005-10-16 05:39:50 +0000220void PPCRegisterInfo::copyRegToReg(MachineBasicBlock &MBB,
221 MachineBasicBlock::iterator MI,
222 unsigned DestReg, unsigned SrcReg,
223 const TargetRegisterClass *RC) const {
Nate Begeman1d9d7422005-10-18 00:28:58 +0000224 if (RC == PPC::GPRCRegisterClass) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000225 BuildMI(MBB, MI, TII.get(PPC::OR), DestReg).addReg(SrcReg).addReg(SrcReg);
Nate Begeman1d9d7422005-10-18 00:28:58 +0000226 } else if (RC == PPC::G8RCRegisterClass) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000227 BuildMI(MBB, MI, TII.get(PPC::OR8), DestReg).addReg(SrcReg).addReg(SrcReg);
Nate Begeman1d9d7422005-10-18 00:28:58 +0000228 } else if (RC == PPC::F4RCRegisterClass) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000229 BuildMI(MBB, MI, TII.get(PPC::FMRS), DestReg).addReg(SrcReg);
Nate Begeman1d9d7422005-10-18 00:28:58 +0000230 } else if (RC == PPC::F8RCRegisterClass) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000231 BuildMI(MBB, MI, TII.get(PPC::FMRD), DestReg).addReg(SrcReg);
Nate Begeman1d9d7422005-10-18 00:28:58 +0000232 } else if (RC == PPC::CRRCRegisterClass) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000233 BuildMI(MBB, MI, TII.get(PPC::MCRF), DestReg).addReg(SrcReg);
Chris Lattner335fd3c2006-03-16 20:03:58 +0000234 } else if (RC == PPC::VRRCRegisterClass) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000235 BuildMI(MBB, MI, TII.get(PPC::VOR), DestReg).addReg(SrcReg).addReg(SrcReg);
Nate Begeman7af02482005-04-12 07:04:16 +0000236 } else {
Bill Wendlingf5da1332006-12-07 22:21:48 +0000237 cerr << "Attempt to copy register that is not GPR or FPR";
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000238 abort();
239 }
240}
241
Evan Chengbf2c8b32007-03-20 08:09:38 +0000242void PPCRegisterInfo::reMaterialize(MachineBasicBlock &MBB,
243 MachineBasicBlock::iterator I,
244 unsigned DestReg,
245 const MachineInstr *Orig) const {
246 MachineInstr *MI = Orig->clone();
247 MI->getOperand(0).setReg(DestReg);
248 MBB.insert(I, MI);
249}
250
Evan Chengc2b861d2007-01-02 21:33:40 +0000251const unsigned* PPCRegisterInfo::getCalleeSavedRegs() const {
Chris Lattner804e0672006-07-11 00:48:23 +0000252 // 32-bit Darwin calling convention.
Nicolas Geoffrayec58d9f2007-04-03 12:35:28 +0000253 static const unsigned Macho32_CalleeSavedRegs[] = {
Jim Laskey2f616bf2006-11-16 22:43:37 +0000254 PPC::R13, PPC::R14, PPC::R15,
Chris Lattner804e0672006-07-11 00:48:23 +0000255 PPC::R16, PPC::R17, PPC::R18, PPC::R19,
256 PPC::R20, PPC::R21, PPC::R22, PPC::R23,
257 PPC::R24, PPC::R25, PPC::R26, PPC::R27,
258 PPC::R28, PPC::R29, PPC::R30, PPC::R31,
259
260 PPC::F14, PPC::F15, PPC::F16, PPC::F17,
261 PPC::F18, PPC::F19, PPC::F20, PPC::F21,
262 PPC::F22, PPC::F23, PPC::F24, PPC::F25,
263 PPC::F26, PPC::F27, PPC::F28, PPC::F29,
Evan Cheng0f3ac8d2006-05-18 00:12:58 +0000264 PPC::F30, PPC::F31,
Chris Lattner804e0672006-07-11 00:48:23 +0000265
266 PPC::CR2, PPC::CR3, PPC::CR4,
267 PPC::V20, PPC::V21, PPC::V22, PPC::V23,
268 PPC::V24, PPC::V25, PPC::V26, PPC::V27,
269 PPC::V28, PPC::V29, PPC::V30, PPC::V31,
270
271 PPC::LR, 0
Evan Cheng0f3ac8d2006-05-18 00:12:58 +0000272 };
Chris Lattner9f0bc652007-02-25 05:34:32 +0000273
274 static const unsigned ELF32_CalleeSavedRegs[] = {
275 PPC::R13, PPC::R14, PPC::R15,
276 PPC::R16, PPC::R17, PPC::R18, PPC::R19,
277 PPC::R20, PPC::R21, PPC::R22, PPC::R23,
278 PPC::R24, PPC::R25, PPC::R26, PPC::R27,
279 PPC::R28, PPC::R29, PPC::R30, PPC::R31,
280
Nicolas Geoffrayef3c0302007-04-03 10:27:07 +0000281 PPC::F9,
282 PPC::F10, PPC::F11, PPC::F12, PPC::F13,
Chris Lattner9f0bc652007-02-25 05:34:32 +0000283 PPC::F14, PPC::F15, PPC::F16, PPC::F17,
284 PPC::F18, PPC::F19, PPC::F20, PPC::F21,
285 PPC::F22, PPC::F23, PPC::F24, PPC::F25,
286 PPC::F26, PPC::F27, PPC::F28, PPC::F29,
287 PPC::F30, PPC::F31,
288
289 PPC::CR2, PPC::CR3, PPC::CR4,
290 PPC::V20, PPC::V21, PPC::V22, PPC::V23,
291 PPC::V24, PPC::V25, PPC::V26, PPC::V27,
292 PPC::V28, PPC::V29, PPC::V30, PPC::V31,
293
294 PPC::LR, 0
295 };
Chris Lattner804e0672006-07-11 00:48:23 +0000296 // 64-bit Darwin calling convention.
Nicolas Geoffrayec58d9f2007-04-03 12:35:28 +0000297 static const unsigned Macho64_CalleeSavedRegs[] = {
Chris Lattnerbdc571b2006-11-20 19:33:51 +0000298 PPC::X14, PPC::X15,
Chris Lattner804e0672006-07-11 00:48:23 +0000299 PPC::X16, PPC::X17, PPC::X18, PPC::X19,
300 PPC::X20, PPC::X21, PPC::X22, PPC::X23,
301 PPC::X24, PPC::X25, PPC::X26, PPC::X27,
302 PPC::X28, PPC::X29, PPC::X30, PPC::X31,
303
304 PPC::F14, PPC::F15, PPC::F16, PPC::F17,
305 PPC::F18, PPC::F19, PPC::F20, PPC::F21,
306 PPC::F22, PPC::F23, PPC::F24, PPC::F25,
307 PPC::F26, PPC::F27, PPC::F28, PPC::F29,
308 PPC::F30, PPC::F31,
309
310 PPC::CR2, PPC::CR3, PPC::CR4,
311 PPC::V20, PPC::V21, PPC::V22, PPC::V23,
312 PPC::V24, PPC::V25, PPC::V26, PPC::V27,
313 PPC::V28, PPC::V29, PPC::V30, PPC::V31,
314
Chris Lattner6a5339b2006-11-14 18:44:47 +0000315 PPC::LR8, 0
Chris Lattner804e0672006-07-11 00:48:23 +0000316 };
317
Chris Lattner9f0bc652007-02-25 05:34:32 +0000318 if (Subtarget.isMachoABI())
Nicolas Geoffrayec58d9f2007-04-03 12:35:28 +0000319 return Subtarget.isPPC64() ? Macho64_CalleeSavedRegs :
320 Macho32_CalleeSavedRegs;
Chris Lattner9f0bc652007-02-25 05:34:32 +0000321
Nicolas Geoffrayec58d9f2007-04-03 12:35:28 +0000322 // ELF 32.
323 return ELF32_CalleeSavedRegs;
Evan Cheng0f3ac8d2006-05-18 00:12:58 +0000324}
325
326const TargetRegisterClass* const*
Evan Chengc2b861d2007-01-02 21:33:40 +0000327PPCRegisterInfo::getCalleeSavedRegClasses() const {
Nicolas Geoffrayec58d9f2007-04-03 12:35:28 +0000328 // 32-bit Macho calling convention.
329 static const TargetRegisterClass * const Macho32_CalleeSavedRegClasses[] = {
Jim Laskey2f616bf2006-11-16 22:43:37 +0000330 &PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,
Chris Lattner804e0672006-07-11 00:48:23 +0000331 &PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,
332 &PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,
333 &PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,
334 &PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,
335
336 &PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,
337 &PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,
338 &PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,
339 &PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,
340 &PPC::F8RCRegClass,&PPC::F8RCRegClass,
341
342 &PPC::CRRCRegClass,&PPC::CRRCRegClass,&PPC::CRRCRegClass,
343
344 &PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,
345 &PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,
346 &PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,
347
348 &PPC::GPRCRegClass, 0
Evan Cheng0f3ac8d2006-05-18 00:12:58 +0000349 };
Chris Lattner804e0672006-07-11 00:48:23 +0000350
Chris Lattner9f0bc652007-02-25 05:34:32 +0000351 static const TargetRegisterClass * const ELF32_CalleeSavedRegClasses[] = {
352 &PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,
353 &PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,
354 &PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,
355 &PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,
356 &PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,&PPC::GPRCRegClass,
357
Nicolas Geoffraycfcd8da2007-04-03 10:57:49 +0000358 &PPC::F8RCRegClass,
359 &PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,
Chris Lattner9f0bc652007-02-25 05:34:32 +0000360 &PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,
361 &PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,
362 &PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,
363 &PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,
364 &PPC::F8RCRegClass,&PPC::F8RCRegClass,
365
366 &PPC::CRRCRegClass,&PPC::CRRCRegClass,&PPC::CRRCRegClass,
367
368 &PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,
369 &PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,
370 &PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,
371
372 &PPC::GPRCRegClass, 0
373 };
374
Nicolas Geoffrayec58d9f2007-04-03 12:35:28 +0000375 // 64-bit Macho calling convention.
376 static const TargetRegisterClass * const Macho64_CalleeSavedRegClasses[] = {
Chris Lattnerbdc571b2006-11-20 19:33:51 +0000377 &PPC::G8RCRegClass,&PPC::G8RCRegClass,
Chris Lattner804e0672006-07-11 00:48:23 +0000378 &PPC::G8RCRegClass,&PPC::G8RCRegClass,&PPC::G8RCRegClass,&PPC::G8RCRegClass,
379 &PPC::G8RCRegClass,&PPC::G8RCRegClass,&PPC::G8RCRegClass,&PPC::G8RCRegClass,
380 &PPC::G8RCRegClass,&PPC::G8RCRegClass,&PPC::G8RCRegClass,&PPC::G8RCRegClass,
381 &PPC::G8RCRegClass,&PPC::G8RCRegClass,&PPC::G8RCRegClass,&PPC::G8RCRegClass,
382
383 &PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,
384 &PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,
385 &PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,
386 &PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,&PPC::F8RCRegClass,
387 &PPC::F8RCRegClass,&PPC::F8RCRegClass,
388
389 &PPC::CRRCRegClass,&PPC::CRRCRegClass,&PPC::CRRCRegClass,
390
391 &PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,
392 &PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,
393 &PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,&PPC::VRRCRegClass,
394
Chris Lattner6a5339b2006-11-14 18:44:47 +0000395 &PPC::G8RCRegClass, 0
Chris Lattner804e0672006-07-11 00:48:23 +0000396 };
Chris Lattner9f0bc652007-02-25 05:34:32 +0000397
Chris Lattner9f0bc652007-02-25 05:34:32 +0000398 if (Subtarget.isMachoABI())
Nicolas Geoffrayec58d9f2007-04-03 12:35:28 +0000399 return Subtarget.isPPC64() ? Macho64_CalleeSavedRegClasses :
400 Macho32_CalleeSavedRegClasses;
Chris Lattner9f0bc652007-02-25 05:34:32 +0000401
Nicolas Geoffrayec58d9f2007-04-03 12:35:28 +0000402 // ELF 32.
403 return ELF32_CalleeSavedRegClasses;
Evan Cheng0f3ac8d2006-05-18 00:12:58 +0000404}
405
Evan Chengb371f452007-02-19 21:49:54 +0000406// needsFP - Return true if the specified function should have a dedicated frame
407// pointer register. This is true if the function has variable sized allocas or
408// if frame pointer elimination is disabled.
409//
410static bool needsFP(const MachineFunction &MF) {
411 const MachineFrameInfo *MFI = MF.getFrameInfo();
412 return NoFramePointerElim || MFI->hasVarSizedObjects();
413}
414
415BitVector PPCRegisterInfo::getReservedRegs(const MachineFunction &MF) const {
416 BitVector Reserved(getNumRegs());
417 Reserved.set(PPC::R0);
418 Reserved.set(PPC::R1);
419 Reserved.set(PPC::LR);
420 // In Linux, r2 is reserved for the OS.
421 if (!Subtarget.isDarwin())
422 Reserved.set(PPC::R2);
423 // On PPC64, r13 is the thread pointer. Never allocate this register.
424 // Note that this is overconservative, as it also prevents allocation of
425 // R31 when the FP is not needed.
426 if (Subtarget.isPPC64()) {
427 Reserved.set(PPC::R13);
428 Reserved.set(PPC::R31);
429 }
430 if (needsFP(MF))
431 Reserved.set(PPC::R31);
432 return Reserved;
433}
434
Chris Lattnerf38df042005-09-09 21:46:49 +0000435/// foldMemoryOperand - PowerPC (like most RISC's) can only fold spills into
436/// copy instructions, turning them into load/store instructions.
Nate Begeman21e463b2005-10-16 05:39:50 +0000437MachineInstr *PPCRegisterInfo::foldMemoryOperand(MachineInstr *MI,
438 unsigned OpNum,
439 int FrameIndex) const {
Chris Lattnerf38df042005-09-09 21:46:49 +0000440 // Make sure this is a reg-reg copy. Note that we can't handle MCRF, because
441 // it takes more than one instruction to store it.
442 unsigned Opc = MI->getOpcode();
Evan Cheng6ce7dc22006-11-15 20:58:11 +0000443
444 MachineInstr *NewMI = NULL;
Chris Lattnerb410dc92006-06-20 23:18:58 +0000445 if ((Opc == PPC::OR &&
Chris Lattnerf38df042005-09-09 21:46:49 +0000446 MI->getOperand(1).getReg() == MI->getOperand(2).getReg())) {
447 if (OpNum == 0) { // move -> store
448 unsigned InReg = MI->getOperand(1).getReg();
Evan Chengc0f64ff2006-11-27 23:37:22 +0000449 NewMI = addFrameReference(BuildMI(TII.get(PPC::STW)).addReg(InReg),
450 FrameIndex);
Chris Lattnerc9fe7502005-09-09 21:59:44 +0000451 } else { // move -> load
Chris Lattnerf38df042005-09-09 21:46:49 +0000452 unsigned OutReg = MI->getOperand(0).getReg();
Evan Chengc0f64ff2006-11-27 23:37:22 +0000453 NewMI = addFrameReference(BuildMI(TII.get(PPC::LWZ), OutReg),
454 FrameIndex);
Chris Lattnerf38df042005-09-09 21:46:49 +0000455 }
Nate Begeman1d9d7422005-10-18 00:28:58 +0000456 } else if ((Opc == PPC::OR8 &&
457 MI->getOperand(1).getReg() == MI->getOperand(2).getReg())) {
458 if (OpNum == 0) { // move -> store
459 unsigned InReg = MI->getOperand(1).getReg();
Evan Chengc0f64ff2006-11-27 23:37:22 +0000460 NewMI = addFrameReference(BuildMI(TII.get(PPC::STD)).addReg(InReg),
461 FrameIndex);
Nate Begeman1d9d7422005-10-18 00:28:58 +0000462 } else { // move -> load
463 unsigned OutReg = MI->getOperand(0).getReg();
Evan Chengc0f64ff2006-11-27 23:37:22 +0000464 NewMI = addFrameReference(BuildMI(TII.get(PPC::LD), OutReg), FrameIndex);
Nate Begeman1d9d7422005-10-18 00:28:58 +0000465 }
Chris Lattner919c0322005-10-01 01:35:02 +0000466 } else if (Opc == PPC::FMRD) {
Chris Lattnerc9fe7502005-09-09 21:59:44 +0000467 if (OpNum == 0) { // move -> store
468 unsigned InReg = MI->getOperand(1).getReg();
Evan Chengc0f64ff2006-11-27 23:37:22 +0000469 NewMI = addFrameReference(BuildMI(TII.get(PPC::STFD)).addReg(InReg),
470 FrameIndex);
Chris Lattnerc9fe7502005-09-09 21:59:44 +0000471 } else { // move -> load
472 unsigned OutReg = MI->getOperand(0).getReg();
Evan Chengc0f64ff2006-11-27 23:37:22 +0000473 NewMI = addFrameReference(BuildMI(TII.get(PPC::LFD), OutReg), FrameIndex);
Chris Lattnerc9fe7502005-09-09 21:59:44 +0000474 }
Chris Lattner919c0322005-10-01 01:35:02 +0000475 } else if (Opc == PPC::FMRS) {
476 if (OpNum == 0) { // move -> store
477 unsigned InReg = MI->getOperand(1).getReg();
Evan Chengc0f64ff2006-11-27 23:37:22 +0000478 NewMI = addFrameReference(BuildMI(TII.get(PPC::STFS)).addReg(InReg),
479 FrameIndex);
Chris Lattner919c0322005-10-01 01:35:02 +0000480 } else { // move -> load
481 unsigned OutReg = MI->getOperand(0).getReg();
Evan Chengc0f64ff2006-11-27 23:37:22 +0000482 NewMI = addFrameReference(BuildMI(TII.get(PPC::LFS), OutReg), FrameIndex);
Chris Lattner919c0322005-10-01 01:35:02 +0000483 }
Chris Lattnerf38df042005-09-09 21:46:49 +0000484 }
Evan Cheng6ce7dc22006-11-15 20:58:11 +0000485
486 if (NewMI)
487 NewMI->copyKillDeadInfo(MI);
488 return NewMI;
Chris Lattnerf38df042005-09-09 21:46:49 +0000489}
490
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000491//===----------------------------------------------------------------------===//
492// Stack Frame Processing methods
493//===----------------------------------------------------------------------===//
494
Jim Laskey2f616bf2006-11-16 22:43:37 +0000495// hasFP - Return true if the specified function actually has a dedicated frame
496// pointer register. This is true if the function needs a frame pointer and has
497// a non-zero stack size.
Evan Chengdc775402007-01-23 00:57:47 +0000498bool PPCRegisterInfo::hasFP(const MachineFunction &MF) const {
Chris Lattner4f91a4c2006-04-03 22:03:29 +0000499 const MachineFrameInfo *MFI = MF.getFrameInfo();
Jim Laskey2f616bf2006-11-16 22:43:37 +0000500 return MFI->getStackSize() && needsFP(MF);
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000501}
502
Jim Laskey51fe9d92006-12-06 17:42:06 +0000503/// usesLR - Returns if the link registers (LR) has been used in the function.
504///
505bool PPCRegisterInfo::usesLR(MachineFunction &MF) const {
Jim Laskeyd313a9b2007-02-27 11:55:45 +0000506 PPCFunctionInfo *FI = MF.getInfo<PPCFunctionInfo>();
507 return FI->usesLR();
Jim Laskey51fe9d92006-12-06 17:42:06 +0000508}
509
Nate Begeman21e463b2005-10-16 05:39:50 +0000510void PPCRegisterInfo::
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000511eliminateCallFramePseudoInstr(MachineFunction &MF, MachineBasicBlock &MBB,
512 MachineBasicBlock::iterator I) const {
Jim Laskey2f616bf2006-11-16 22:43:37 +0000513 // Simply discard ADJCALLSTACKDOWN, ADJCALLSTACKUP instructions.
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000514 MBB.erase(I);
515}
516
Jim Laskey2f616bf2006-11-16 22:43:37 +0000517/// LowerDynamicAlloc - Generate the code for allocating an object in the
518/// current frame. The sequence of code with be in the general form
519///
520/// addi R0, SP, #frameSize ; get the address of the previous frame
521/// stwxu R0, SP, Rnegsize ; add and update the SP with the negated size
522/// addi Rnew, SP, #maxCalFrameSize ; get the top of the allocation
523///
524void PPCRegisterInfo::lowerDynamicAlloc(MachineBasicBlock::iterator II) const {
525 // Get the instruction.
526 MachineInstr &MI = *II;
527 // Get the instruction's basic block.
528 MachineBasicBlock &MBB = *MI.getParent();
529 // Get the basic block's function.
530 MachineFunction &MF = *MBB.getParent();
531 // Get the frame info.
532 MachineFrameInfo *MFI = MF.getFrameInfo();
533 // Determine whether 64-bit pointers are used.
534 bool LP64 = Subtarget.isPPC64();
535
Evan Chengfab04392007-01-25 22:48:25 +0000536 // Get the maximum call stack size.
Jim Laskey2f616bf2006-11-16 22:43:37 +0000537 unsigned maxCallFrameSize = MFI->getMaxCallFrameSize();
Jim Laskey2f616bf2006-11-16 22:43:37 +0000538 // Get the total frame size.
539 unsigned FrameSize = MFI->getStackSize();
540
541 // Get stack alignments.
542 unsigned TargetAlign = MF.getTarget().getFrameInfo()->getStackAlignment();
543 unsigned MaxAlign = MFI->getMaxAlignment();
Jim Laskeyd6fa8c12006-11-17 18:49:39 +0000544 assert(MaxAlign <= TargetAlign &&
545 "Dynamic alloca with large aligns not supported");
Jim Laskey2f616bf2006-11-16 22:43:37 +0000546
547 // Determine the previous frame's address. If FrameSize can't be
548 // represented as 16 bits or we need special alignment, then we load the
549 // previous frame's address from 0(SP). Why not do an addis of the hi?
550 // Because R0 is our only safe tmp register and addi/addis treat R0 as zero.
551 // Constructing the constant and adding would take 3 instructions.
552 // Fortunately, a frame greater than 32K is rare.
553 if (MaxAlign < TargetAlign && isInt16(FrameSize)) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000554 BuildMI(MBB, II, TII.get(PPC::ADDI), PPC::R0)
Jim Laskey2f616bf2006-11-16 22:43:37 +0000555 .addReg(PPC::R31)
556 .addImm(FrameSize);
557 } else if (LP64) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000558 BuildMI(MBB, II, TII.get(PPC::LD), PPC::X0)
Jim Laskey2f616bf2006-11-16 22:43:37 +0000559 .addImm(0)
560 .addReg(PPC::X1);
561 } else {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000562 BuildMI(MBB, II, TII.get(PPC::LWZ), PPC::R0)
Jim Laskey2f616bf2006-11-16 22:43:37 +0000563 .addImm(0)
564 .addReg(PPC::R1);
565 }
566
567 // Grow the stack and update the stack pointer link, then
568 // determine the address of new allocated space.
569 if (LP64) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000570 BuildMI(MBB, II, TII.get(PPC::STDUX))
Jim Laskey2f616bf2006-11-16 22:43:37 +0000571 .addReg(PPC::X0)
572 .addReg(PPC::X1)
573 .addReg(MI.getOperand(1).getReg());
Evan Chengc0f64ff2006-11-27 23:37:22 +0000574 BuildMI(MBB, II, TII.get(PPC::ADDI8), MI.getOperand(0).getReg())
Jim Laskey2f616bf2006-11-16 22:43:37 +0000575 .addReg(PPC::X1)
576 .addImm(maxCallFrameSize);
577 } else {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000578 BuildMI(MBB, II, TII.get(PPC::STWUX))
Jim Laskey2f616bf2006-11-16 22:43:37 +0000579 .addReg(PPC::R0)
580 .addReg(PPC::R1)
581 .addReg(MI.getOperand(1).getReg());
Evan Chengc0f64ff2006-11-27 23:37:22 +0000582 BuildMI(MBB, II, TII.get(PPC::ADDI), MI.getOperand(0).getReg())
Jim Laskey2f616bf2006-11-16 22:43:37 +0000583 .addReg(PPC::R1)
584 .addImm(maxCallFrameSize);
585 }
586
587 // Discard the DYNALLOC instruction.
588 MBB.erase(II);
589}
590
Evan Cheng5e6df462007-02-28 00:21:17 +0000591void PPCRegisterInfo::eliminateFrameIndex(MachineBasicBlock::iterator II,
592 RegScavenger *RS) const {
Jim Laskey2f616bf2006-11-16 22:43:37 +0000593 // Get the instruction.
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000594 MachineInstr &MI = *II;
Jim Laskey2f616bf2006-11-16 22:43:37 +0000595 // Get the instruction's basic block.
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000596 MachineBasicBlock &MBB = *MI.getParent();
Jim Laskey2f616bf2006-11-16 22:43:37 +0000597 // Get the basic block's function.
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000598 MachineFunction &MF = *MBB.getParent();
Jim Laskey2f616bf2006-11-16 22:43:37 +0000599 // Get the frame info.
600 MachineFrameInfo *MFI = MF.getFrameInfo();
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000601
Jim Laskey2f616bf2006-11-16 22:43:37 +0000602 // Find out which operand is the frame index.
603 unsigned i = 0;
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000604 while (!MI.getOperand(i).isFrameIndex()) {
605 ++i;
606 assert(i < MI.getNumOperands() && "Instr doesn't have FrameIndex operand!");
607 }
Jim Laskey2f616bf2006-11-16 22:43:37 +0000608 // Take into account whether it's an add or mem instruction
609 unsigned OffIdx = (i == 2) ? 1 : 2;
Chris Lattner9aa28952007-02-01 00:39:08 +0000610 if (MI.getOpcode() == TargetInstrInfo::INLINEASM)
611 OffIdx = i-1;
612
Jim Laskey2f616bf2006-11-16 22:43:37 +0000613 // Get the frame index.
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000614 int FrameIndex = MI.getOperand(i).getFrameIndex();
Jim Laskey2f616bf2006-11-16 22:43:37 +0000615
616 // Get the frame pointer save index. Users of this index are primarily
617 // DYNALLOC instructions.
618 PPCFunctionInfo *FI = MF.getInfo<PPCFunctionInfo>();
619 int FPSI = FI->getFramePointerSaveIndex();
620 // Get the instruction opcode.
621 unsigned OpC = MI.getOpcode();
622
623 // Special case for dynamic alloca.
624 if (FPSI && FrameIndex == FPSI &&
625 (OpC == PPC::DYNALLOC || OpC == PPC::DYNALLOC8)) {
626 lowerDynamicAlloc(II);
627 return;
628 }
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000629
630 // Replace the FrameIndex with base register with GPR1 (SP) or GPR31 (FP).
Chris Lattner09e46062006-09-05 02:31:13 +0000631 MI.getOperand(i).ChangeToRegister(hasFP(MF) ? PPC::R31 : PPC::R1, false);
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000632
Chris Lattner7ffa9ab2006-06-27 18:55:49 +0000633 // Figure out if the offset in the instruction is shifted right two bits. This
634 // is true for instructions like "STD", which the machine implicitly adds two
635 // low zeros to.
636 bool isIXAddr = false;
Jim Laskey2f616bf2006-11-16 22:43:37 +0000637 switch (OpC) {
Chris Lattner7ffa9ab2006-06-27 18:55:49 +0000638 case PPC::LWA:
639 case PPC::LD:
640 case PPC::STD:
641 case PPC::STD_32:
642 isIXAddr = true;
643 break;
644 }
645
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000646 // Now add the frame object offset to the offset from r1.
Jim Laskey2f616bf2006-11-16 22:43:37 +0000647 int Offset = MFI->getObjectOffset(FrameIndex);
Chris Lattner7ffa9ab2006-06-27 18:55:49 +0000648
649 if (!isIXAddr)
650 Offset += MI.getOperand(OffIdx).getImmedValue();
651 else
652 Offset += MI.getOperand(OffIdx).getImmedValue() << 2;
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000653
654 // If we're not using a Frame Pointer that has been set to the value of the
655 // SP before having the stack size subtracted from it, then add the stack size
656 // to Offset to get the correct offset.
Jim Laskey2f616bf2006-11-16 22:43:37 +0000657 Offset += MFI->getStackSize();
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000658
Jim Laskey2f616bf2006-11-16 22:43:37 +0000659 if (!isInt16(Offset)) {
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000660 // Insert a set of r0 with the full offset value before the ld, st, or add
Evan Chengc0f64ff2006-11-27 23:37:22 +0000661 BuildMI(MBB, II, TII.get(PPC::LIS), PPC::R0).addImm(Offset >> 16);
662 BuildMI(MBB, II, TII.get(PPC::ORI), PPC::R0).addReg(PPC::R0).addImm(Offset);
Chris Lattnerc6d48d32006-01-11 23:07:57 +0000663
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000664 // convert into indexed form of the instruction
665 // sth 0:rA, 1:imm 2:(rB) ==> sthx 0:rA, 2:rB, 1:r0
666 // addi 0:rA 1:rB, 2, imm ==> add 0:rA, 1:rB, 2:r0
Jim Laskey2f616bf2006-11-16 22:43:37 +0000667 assert(ImmToIdxMap.count(OpC) &&
Chris Lattner14630192005-09-09 20:51:08 +0000668 "No indexed form of load or store available!");
Jim Laskey2f616bf2006-11-16 22:43:37 +0000669 unsigned NewOpcode = ImmToIdxMap.find(OpC)->second;
Evan Cheng12a44782006-11-30 07:12:03 +0000670 MI.setInstrDescriptor(TII.get(NewOpcode));
Chris Lattner09e46062006-09-05 02:31:13 +0000671 MI.getOperand(1).ChangeToRegister(MI.getOperand(i).getReg(), false);
672 MI.getOperand(2).ChangeToRegister(PPC::R0, false);
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000673 } else {
Chris Lattner7ffa9ab2006-06-27 18:55:49 +0000674 if (isIXAddr) {
Chris Lattner841d12d2005-10-18 16:51:22 +0000675 assert((Offset & 3) == 0 && "Invalid frame offset!");
676 Offset >>= 2; // The actual encoded value has the low two bits zero.
Chris Lattner841d12d2005-10-18 16:51:22 +0000677 }
Chris Lattnere53f4a02006-05-04 17:52:23 +0000678 MI.getOperand(OffIdx).ChangeToImmediate(Offset);
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000679 }
680}
681
Chris Lattnerf7d23722006-04-17 20:59:25 +0000682/// VRRegNo - Map from a numbered VR register to its enum value.
683///
684static const unsigned short VRRegNo[] = {
Chris Lattnerb47e0892006-06-12 21:50:57 +0000685 PPC::V0 , PPC::V1 , PPC::V2 , PPC::V3 , PPC::V4 , PPC::V5 , PPC::V6 , PPC::V7 ,
686 PPC::V8 , PPC::V9 , PPC::V10, PPC::V11, PPC::V12, PPC::V13, PPC::V14, PPC::V15,
Chris Lattnerf7d23722006-04-17 20:59:25 +0000687 PPC::V16, PPC::V17, PPC::V18, PPC::V19, PPC::V20, PPC::V21, PPC::V22, PPC::V23,
688 PPC::V24, PPC::V25, PPC::V26, PPC::V27, PPC::V28, PPC::V29, PPC::V30, PPC::V31
689};
690
Chris Lattnerf9568d82006-04-17 21:48:13 +0000691/// RemoveVRSaveCode - We have found that this function does not need any code
692/// to manipulate the VRSAVE register, even though it uses vector registers.
693/// This can happen when the only registers used are known to be live in or out
694/// of the function. Remove all of the VRSAVE related code from the function.
695static void RemoveVRSaveCode(MachineInstr *MI) {
696 MachineBasicBlock *Entry = MI->getParent();
697 MachineFunction *MF = Entry->getParent();
698
699 // We know that the MTVRSAVE instruction immediately follows MI. Remove it.
700 MachineBasicBlock::iterator MBBI = MI;
701 ++MBBI;
702 assert(MBBI != Entry->end() && MBBI->getOpcode() == PPC::MTVRSAVE);
703 MBBI->eraseFromParent();
704
705 bool RemovedAllMTVRSAVEs = true;
706 // See if we can find and remove the MTVRSAVE instruction from all of the
707 // epilog blocks.
708 const TargetInstrInfo &TII = *MF->getTarget().getInstrInfo();
709 for (MachineFunction::iterator I = MF->begin(), E = MF->end(); I != E; ++I) {
710 // If last instruction is a return instruction, add an epilogue
711 if (!I->empty() && TII.isReturn(I->back().getOpcode())) {
712 bool FoundIt = false;
713 for (MBBI = I->end(); MBBI != I->begin(); ) {
714 --MBBI;
715 if (MBBI->getOpcode() == PPC::MTVRSAVE) {
716 MBBI->eraseFromParent(); // remove it.
717 FoundIt = true;
718 break;
719 }
720 }
721 RemovedAllMTVRSAVEs &= FoundIt;
722 }
723 }
724
725 // If we found and removed all MTVRSAVE instructions, remove the read of
726 // VRSAVE as well.
727 if (RemovedAllMTVRSAVEs) {
728 MBBI = MI;
729 assert(MBBI != Entry->begin() && "UPDATE_VRSAVE is first instr in block?");
730 --MBBI;
731 assert(MBBI->getOpcode() == PPC::MFVRSAVE && "VRSAVE instrs wandered?");
732 MBBI->eraseFromParent();
733 }
734
735 // Finally, nuke the UPDATE_VRSAVE.
736 MI->eraseFromParent();
737}
738
Chris Lattner1877ec92006-03-13 21:52:10 +0000739// HandleVRSaveUpdate - MI is the UPDATE_VRSAVE instruction introduced by the
740// instruction selector. Based on the vector registers that have been used,
741// transform this into the appropriate ORI instruction.
Evan Chengc0f64ff2006-11-27 23:37:22 +0000742static void HandleVRSaveUpdate(MachineInstr *MI, const bool *UsedRegs,
743 const TargetInstrInfo &TII) {
Chris Lattner1877ec92006-03-13 21:52:10 +0000744 unsigned UsedRegMask = 0;
Chris Lattnerf7d23722006-04-17 20:59:25 +0000745 for (unsigned i = 0; i != 32; ++i)
746 if (UsedRegs[VRRegNo[i]])
747 UsedRegMask |= 1 << (31-i);
748
Chris Lattner402504b2006-04-17 21:22:06 +0000749 // Live in and live out values already must be in the mask, so don't bother
750 // marking them.
751 MachineFunction *MF = MI->getParent()->getParent();
752 for (MachineFunction::livein_iterator I =
753 MF->livein_begin(), E = MF->livein_end(); I != E; ++I) {
754 unsigned RegNo = PPCRegisterInfo::getRegisterNumbering(I->first);
755 if (VRRegNo[RegNo] == I->first) // If this really is a vector reg.
756 UsedRegMask &= ~(1 << (31-RegNo)); // Doesn't need to be marked.
757 }
758 for (MachineFunction::liveout_iterator I =
759 MF->liveout_begin(), E = MF->liveout_end(); I != E; ++I) {
760 unsigned RegNo = PPCRegisterInfo::getRegisterNumbering(*I);
761 if (VRRegNo[RegNo] == *I) // If this really is a vector reg.
762 UsedRegMask &= ~(1 << (31-RegNo)); // Doesn't need to be marked.
763 }
764
Chris Lattner1877ec92006-03-13 21:52:10 +0000765 unsigned SrcReg = MI->getOperand(1).getReg();
766 unsigned DstReg = MI->getOperand(0).getReg();
767 // If no registers are used, turn this into a copy.
768 if (UsedRegMask == 0) {
Chris Lattnerf9568d82006-04-17 21:48:13 +0000769 // Remove all VRSAVE code.
770 RemoveVRSaveCode(MI);
771 return;
Chris Lattner1877ec92006-03-13 21:52:10 +0000772 } else if ((UsedRegMask & 0xFFFF) == UsedRegMask) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000773 BuildMI(*MI->getParent(), MI, TII.get(PPC::ORI), DstReg)
Chris Lattner1877ec92006-03-13 21:52:10 +0000774 .addReg(SrcReg).addImm(UsedRegMask);
775 } else if ((UsedRegMask & 0xFFFF0000) == UsedRegMask) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000776 BuildMI(*MI->getParent(), MI, TII.get(PPC::ORIS), DstReg)
Chris Lattner1877ec92006-03-13 21:52:10 +0000777 .addReg(SrcReg).addImm(UsedRegMask >> 16);
778 } else {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000779 BuildMI(*MI->getParent(), MI, TII.get(PPC::ORIS), DstReg)
Chris Lattner1877ec92006-03-13 21:52:10 +0000780 .addReg(SrcReg).addImm(UsedRegMask >> 16);
Evan Chengc0f64ff2006-11-27 23:37:22 +0000781 BuildMI(*MI->getParent(), MI, TII.get(PPC::ORI), DstReg)
Chris Lattner1877ec92006-03-13 21:52:10 +0000782 .addReg(DstReg).addImm(UsedRegMask & 0xFFFF);
783 }
784
785 // Remove the old UPDATE_VRSAVE instruction.
Chris Lattnerf9568d82006-04-17 21:48:13 +0000786 MI->eraseFromParent();
Chris Lattner1877ec92006-03-13 21:52:10 +0000787}
788
Jim Laskey2f616bf2006-11-16 22:43:37 +0000789/// determineFrameLayout - Determine the size of the frame and maximum call
790/// frame size.
791void PPCRegisterInfo::determineFrameLayout(MachineFunction &MF) const {
792 MachineFrameInfo *MFI = MF.getFrameInfo();
793
794 // Get the number of bytes to allocate from the FrameInfo
795 unsigned FrameSize = MFI->getStackSize();
796
797 // Get the alignments provided by the target, and the maximum alignment
798 // (if any) of the fixed frame objects.
Jim Laskey2f616bf2006-11-16 22:43:37 +0000799 unsigned MaxAlign = MFI->getMaxAlignment();
Evan Cheng99403b62007-01-25 22:25:04 +0000800 unsigned TargetAlign = MF.getTarget().getFrameInfo()->getStackAlignment();
801 unsigned AlignMask = TargetAlign - 1; //
Jim Laskey2f616bf2006-11-16 22:43:37 +0000802
803 // If we are a leaf function, and use up to 224 bytes of stack space,
804 // don't have a frame pointer, calls, or dynamic alloca then we do not need
805 // to adjust the stack pointer (we fit in the Red Zone).
806 if (FrameSize <= 224 && // Fits in red zone.
Jim Laskey2ff5cdb2006-11-17 16:09:31 +0000807 !MFI->hasVarSizedObjects() && // No dynamic alloca.
Jim Laskey2f616bf2006-11-16 22:43:37 +0000808 !MFI->hasCalls() && // No calls.
809 MaxAlign <= TargetAlign) { // No special alignment.
810 // No need for frame
811 MFI->setStackSize(0);
812 return;
813 }
814
815 // Get the maximum call frame size of all the calls.
816 unsigned maxCallFrameSize = MFI->getMaxCallFrameSize();
817
818 // Maximum call frame needs to be at least big enough for linkage and 8 args.
819 unsigned minCallFrameSize =
Chris Lattner9f0bc652007-02-25 05:34:32 +0000820 PPCFrameInfo::getMinCallFrameSize(Subtarget.isPPC64(),
821 Subtarget.isMachoABI());
Jim Laskey2f616bf2006-11-16 22:43:37 +0000822 maxCallFrameSize = std::max(maxCallFrameSize, minCallFrameSize);
823
824 // If we have dynamic alloca then maxCallFrameSize needs to be aligned so
825 // that allocations will be aligned.
826 if (MFI->hasVarSizedObjects())
827 maxCallFrameSize = (maxCallFrameSize + AlignMask) & ~AlignMask;
828
829 // Update maximum call frame size.
830 MFI->setMaxCallFrameSize(maxCallFrameSize);
831
832 // Include call frame size in total.
833 FrameSize += maxCallFrameSize;
Chris Lattner9f0bc652007-02-25 05:34:32 +0000834
Jim Laskey2f616bf2006-11-16 22:43:37 +0000835 // Make sure the frame is aligned.
836 FrameSize = (FrameSize + AlignMask) & ~AlignMask;
837
838 // Update frame info.
839 MFI->setStackSize(FrameSize);
840}
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000841
Evan Cheng28b3c452007-03-06 10:05:14 +0000842void PPCRegisterInfo::processFunctionBeforeCalleeSavedScan(MachineFunction &MF,
843 RegScavenger *RS)
Jim Laskeyd313a9b2007-02-27 11:55:45 +0000844 const {
845 // Save and clear the LR state.
846 PPCFunctionInfo *FI = MF.getInfo<PPCFunctionInfo>();
847 unsigned LR = getRARegister();
848 FI->setUsesLR(MF.isPhysRegUsed(LR));
849 MF.changePhyRegUsed(LR, false);
Nicolas Geoffray82d42642007-03-21 16:44:14 +0000850
851
852 // Save R31 if necessary
853 int FPSI = FI->getFramePointerSaveIndex();
854 bool IsPPC64 = Subtarget.isPPC64();
Nicolas Geoffrayec58d9f2007-04-03 12:35:28 +0000855 bool IsELF32_ABI = Subtarget.isELF32_ABI();
856 bool IsMachoABI = Subtarget.isMachoABI();
Nicolas Geoffray82d42642007-03-21 16:44:14 +0000857 const MachineFrameInfo *MFI = MF.getFrameInfo();
858
859 // If the frame pointer save index hasn't been defined yet.
860 if (!FPSI && (NoFramePointerElim || MFI->hasVarSizedObjects())
Nicolas Geoffrayec58d9f2007-04-03 12:35:28 +0000861 && IsELF32_ABI) {
Nicolas Geoffray82d42642007-03-21 16:44:14 +0000862 // Find out what the fix offset of the frame pointer save area.
Nicolas Geoffrayec58d9f2007-04-03 12:35:28 +0000863 int FPOffset = PPCFrameInfo::getFramePointerSaveOffset(IsPPC64,
864 IsMachoABI);
Nicolas Geoffray82d42642007-03-21 16:44:14 +0000865 // Allocate the frame index for frame pointer save area.
866 FPSI = MF.getFrameInfo()->CreateFixedObject(IsPPC64? 8 : 4, FPOffset);
867 // Save the result.
868 FI->setFramePointerSaveIndex(FPSI);
869 }
870
Jim Laskeyd313a9b2007-02-27 11:55:45 +0000871}
872
Nate Begeman21e463b2005-10-16 05:39:50 +0000873void PPCRegisterInfo::emitPrologue(MachineFunction &MF) const {
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000874 MachineBasicBlock &MBB = MF.front(); // Prolog goes in entry BB
875 MachineBasicBlock::iterator MBBI = MBB.begin();
876 MachineFrameInfo *MFI = MF.getFrameInfo();
Jim Laskey44c3b9f2007-01-26 21:22:28 +0000877 MachineModuleInfo *MMI = MFI->getMachineModuleInfo();
Chris Lattner4f91a4c2006-04-03 22:03:29 +0000878
Jim Laskey072200c2007-01-29 18:51:14 +0000879 // Prepare for frame info.
Jim Laskey5e73d5b2007-01-24 18:45:13 +0000880 unsigned FrameLabelId = 0;
881
Chris Lattner4f91a4c2006-04-03 22:03:29 +0000882 // Scan the prolog, looking for an UPDATE_VRSAVE instruction. If we find it,
883 // process it.
Chris Lattner8aa777d2006-03-16 21:31:45 +0000884 for (unsigned i = 0; MBBI != MBB.end(); ++i, ++MBBI) {
Chris Lattner1877ec92006-03-13 21:52:10 +0000885 if (MBBI->getOpcode() == PPC::UPDATE_VRSAVE) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000886 HandleVRSaveUpdate(MBBI, MF.getUsedPhysregs(), TII);
Chris Lattner1877ec92006-03-13 21:52:10 +0000887 break;
888 }
889 }
890
891 // Move MBBI back to the beginning of the function.
892 MBBI = MBB.begin();
893
Jim Laskey2f616bf2006-11-16 22:43:37 +0000894 // Work out frame sizes.
895 determineFrameLayout(MF);
896 unsigned FrameSize = MFI->getStackSize();
Nate Begemanae232e72005-11-06 09:00:38 +0000897
Jim Laskey2f616bf2006-11-16 22:43:37 +0000898 int NegFrameSize = -FrameSize;
Jim Laskey51fe9d92006-12-06 17:42:06 +0000899
900 // Get processor type.
901 bool IsPPC64 = Subtarget.isPPC64();
Chris Lattner9f0bc652007-02-25 05:34:32 +0000902 // Get operating system
903 bool IsMachoABI = Subtarget.isMachoABI();
Jim Laskey51fe9d92006-12-06 17:42:06 +0000904 // Check if the link register (LR) has been used.
905 bool UsesLR = MFI->hasCalls() || usesLR(MF);
Jim Laskey2f616bf2006-11-16 22:43:37 +0000906 // Do we have a frame pointer for this function?
Jim Laskeyd313a9b2007-02-27 11:55:45 +0000907 bool HasFP = hasFP(MF) && FrameSize;
Jim Laskey51fe9d92006-12-06 17:42:06 +0000908
Chris Lattner9f0bc652007-02-25 05:34:32 +0000909 int LROffset = PPCFrameInfo::getReturnSaveOffset(IsPPC64, IsMachoABI);
910 int FPOffset = PPCFrameInfo::getFramePointerSaveOffset(IsPPC64, IsMachoABI);
Jim Laskey51fe9d92006-12-06 17:42:06 +0000911
912 if (IsPPC64) {
913 if (UsesLR)
914 BuildMI(MBB, MBBI, TII.get(PPC::MFLR8), PPC::X0);
915
916 if (HasFP)
Evan Chengc0f64ff2006-11-27 23:37:22 +0000917 BuildMI(MBB, MBBI, TII.get(PPC::STD))
Jim Laskey51fe9d92006-12-06 17:42:06 +0000918 .addReg(PPC::X31).addImm(FPOffset/4).addReg(PPC::X1);
919
920 if (UsesLR)
921 BuildMI(MBB, MBBI, TII.get(PPC::STD))
922 .addReg(PPC::X0).addImm(LROffset/4).addReg(PPC::X1);
923 } else {
924 if (UsesLR)
925 BuildMI(MBB, MBBI, TII.get(PPC::MFLR), PPC::R0);
926
927 if (HasFP)
928 BuildMI(MBB, MBBI, TII.get(PPC::STW))
929 .addReg(PPC::R31).addImm(FPOffset).addReg(PPC::R1);
930
931 if (UsesLR)
932 BuildMI(MBB, MBBI, TII.get(PPC::STW))
933 .addReg(PPC::R0).addImm(LROffset).addReg(PPC::R1);
Jim Laskey2f616bf2006-11-16 22:43:37 +0000934 }
935
Jim Laskeyd313a9b2007-02-27 11:55:45 +0000936 // Skip if a leaf routine.
937 if (!FrameSize) return;
938
Jim Laskey2f616bf2006-11-16 22:43:37 +0000939 // Get stack alignments.
Nate Begemanae232e72005-11-06 09:00:38 +0000940 unsigned TargetAlign = MF.getTarget().getFrameInfo()->getStackAlignment();
941 unsigned MaxAlign = MFI->getMaxAlignment();
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000942
Jim Laskeye078d1a2007-01-29 23:20:22 +0000943 if (MMI && MMI->needsFrameInfo()) {
Jim Laskey5e73d5b2007-01-24 18:45:13 +0000944 // Mark effective beginning of when frame pointer becomes valid.
Jim Laskey44c3b9f2007-01-26 21:22:28 +0000945 FrameLabelId = MMI->NextLabelID();
Jim Laskey1ee29252007-01-26 14:34:52 +0000946 BuildMI(MBB, MBBI, TII.get(PPC::LABEL)).addImm(FrameLabelId);
Jim Laskey5e73d5b2007-01-24 18:45:13 +0000947 }
948
Jim Laskey2f616bf2006-11-16 22:43:37 +0000949 // Adjust stack pointer: r1 += NegFrameSize.
Nate Begeman030514c2006-04-11 19:29:21 +0000950 // If there is a preferred stack alignment, align R1 now
Jim Laskey51fe9d92006-12-06 17:42:06 +0000951 if (!IsPPC64) {
Chris Lattnera94a2032006-11-11 19:05:28 +0000952 // PPC32.
953 if (MaxAlign > TargetAlign) {
Jim Laskey2f616bf2006-11-16 22:43:37 +0000954 assert(isPowerOf2_32(MaxAlign)&&isInt16(MaxAlign)&&"Invalid alignment!");
955 assert(isInt16(NegFrameSize) && "Unhandled stack size and alignment!");
Evan Chengc0f64ff2006-11-27 23:37:22 +0000956 BuildMI(MBB, MBBI, TII.get(PPC::RLWINM), PPC::R0)
Chris Lattnera94a2032006-11-11 19:05:28 +0000957 .addReg(PPC::R1).addImm(0).addImm(32-Log2_32(MaxAlign)).addImm(31);
Evan Chengc0f64ff2006-11-27 23:37:22 +0000958 BuildMI(MBB, MBBI, TII.get(PPC::SUBFIC) ,PPC::R0).addReg(PPC::R0)
Jim Laskey2f616bf2006-11-16 22:43:37 +0000959 .addImm(NegFrameSize);
Evan Chengc0f64ff2006-11-27 23:37:22 +0000960 BuildMI(MBB, MBBI, TII.get(PPC::STWUX))
Chris Lattnera94a2032006-11-11 19:05:28 +0000961 .addReg(PPC::R1).addReg(PPC::R1).addReg(PPC::R0);
Jim Laskey2f616bf2006-11-16 22:43:37 +0000962 } else if (isInt16(NegFrameSize)) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000963 BuildMI(MBB, MBBI, TII.get(PPC::STWU),
Jim Laskey2f616bf2006-11-16 22:43:37 +0000964 PPC::R1).addReg(PPC::R1).addImm(NegFrameSize).addReg(PPC::R1);
Chris Lattnera94a2032006-11-11 19:05:28 +0000965 } else {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000966 BuildMI(MBB, MBBI, TII.get(PPC::LIS), PPC::R0).addImm(NegFrameSize >> 16);
967 BuildMI(MBB, MBBI, TII.get(PPC::ORI), PPC::R0).addReg(PPC::R0)
Jim Laskey2f616bf2006-11-16 22:43:37 +0000968 .addImm(NegFrameSize & 0xFFFF);
Evan Chengc0f64ff2006-11-27 23:37:22 +0000969 BuildMI(MBB, MBBI, TII.get(PPC::STWUX)).addReg(PPC::R1).addReg(PPC::R1)
Chris Lattnera94a2032006-11-11 19:05:28 +0000970 .addReg(PPC::R0);
971 }
972 } else { // PPC64.
973 if (MaxAlign > TargetAlign) {
Jim Laskey2f616bf2006-11-16 22:43:37 +0000974 assert(isPowerOf2_32(MaxAlign)&&isInt16(MaxAlign)&&"Invalid alignment!");
975 assert(isInt16(NegFrameSize) && "Unhandled stack size and alignment!");
Evan Chengc0f64ff2006-11-27 23:37:22 +0000976 BuildMI(MBB, MBBI, TII.get(PPC::RLDICL), PPC::X0)
Chris Lattnera94a2032006-11-11 19:05:28 +0000977 .addReg(PPC::X1).addImm(0).addImm(64-Log2_32(MaxAlign));
Evan Chengc0f64ff2006-11-27 23:37:22 +0000978 BuildMI(MBB, MBBI, TII.get(PPC::SUBFIC8), PPC::X0).addReg(PPC::X0)
Jim Laskey2f616bf2006-11-16 22:43:37 +0000979 .addImm(NegFrameSize);
Evan Chengc0f64ff2006-11-27 23:37:22 +0000980 BuildMI(MBB, MBBI, TII.get(PPC::STDUX))
Chris Lattnera94a2032006-11-11 19:05:28 +0000981 .addReg(PPC::X1).addReg(PPC::X1).addReg(PPC::X0);
Jim Laskey2ff5cdb2006-11-17 16:09:31 +0000982 } else if (isInt16(NegFrameSize)) {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000983 BuildMI(MBB, MBBI, TII.get(PPC::STDU), PPC::X1)
Jim Laskey2f616bf2006-11-16 22:43:37 +0000984 .addReg(PPC::X1).addImm(NegFrameSize/4).addReg(PPC::X1);
Chris Lattnera94a2032006-11-11 19:05:28 +0000985 } else {
Evan Chengc0f64ff2006-11-27 23:37:22 +0000986 BuildMI(MBB, MBBI, TII.get(PPC::LIS8), PPC::X0).addImm(NegFrameSize >>16);
987 BuildMI(MBB, MBBI, TII.get(PPC::ORI8), PPC::X0).addReg(PPC::X0)
Jim Laskey2f616bf2006-11-16 22:43:37 +0000988 .addImm(NegFrameSize & 0xFFFF);
Evan Chengc0f64ff2006-11-27 23:37:22 +0000989 BuildMI(MBB, MBBI, TII.get(PPC::STDUX)).addReg(PPC::X1).addReg(PPC::X1)
Chris Lattnera94a2032006-11-11 19:05:28 +0000990 .addReg(PPC::X0);
991 }
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000992 }
Nate Begemanae232e72005-11-06 09:00:38 +0000993
Jim Laskeye078d1a2007-01-29 23:20:22 +0000994 if (MMI && MMI->needsFrameInfo()) {
Jim Laskey44c3b9f2007-01-26 21:22:28 +0000995 std::vector<MachineMove> &Moves = MMI->getFrameMoves();
Jim Laskey41886992006-04-07 16:34:46 +0000996
Jim Laskey5e73d5b2007-01-24 18:45:13 +0000997 if (NegFrameSize) {
998 // Show update of SP.
999 MachineLocation SPDst(MachineLocation::VirtualFP);
1000 MachineLocation SPSrc(MachineLocation::VirtualFP, NegFrameSize);
1001 Moves.push_back(MachineMove(FrameLabelId, SPDst, SPSrc));
1002 } else {
1003 MachineLocation SP(IsPPC64 ? PPC::X31 : PPC::R31);
1004 Moves.push_back(MachineMove(FrameLabelId, SP, SP));
1005 }
Jim Laskey4c2c9032006-08-25 19:40:59 +00001006
Jim Laskey5e73d5b2007-01-24 18:45:13 +00001007 if (HasFP) {
1008 MachineLocation FPDst(MachineLocation::VirtualFP, FPOffset);
1009 MachineLocation FPSrc(IsPPC64 ? PPC::X31 : PPC::R31);
1010 Moves.push_back(MachineMove(FrameLabelId, FPDst, FPSrc));
1011 }
Jim Laskeyce50a162006-08-29 16:24:26 +00001012
1013 // Add callee saved registers to move list.
1014 const std::vector<CalleeSavedInfo> &CSI = MFI->getCalleeSavedInfo();
1015 for (unsigned I = 0, E = CSI.size(); I != E; ++I) {
Jim Laskey5e73d5b2007-01-24 18:45:13 +00001016 int Offset = MFI->getObjectOffset(CSI[I].getFrameIdx());
1017 unsigned Reg = CSI[I].getReg();
1018 if (Reg == PPC::LR || Reg == PPC::LR8) continue;
1019 MachineLocation CSDst(MachineLocation::VirtualFP, Offset);
1020 MachineLocation CSSrc(Reg);
1021 Moves.push_back(MachineMove(FrameLabelId, CSDst, CSSrc));
Jim Laskeyce50a162006-08-29 16:24:26 +00001022 }
Jim Laskey5e73d5b2007-01-24 18:45:13 +00001023
Jim Laskeyb82313f2007-02-01 16:31:34 +00001024 MachineLocation LRDst(MachineLocation::VirtualFP, LROffset);
1025 MachineLocation LRSrc(IsPPC64 ? PPC::LR8 : PPC::LR);
1026 Moves.push_back(MachineMove(FrameLabelId, LRDst, LRSrc));
1027
Jim Laskey5e73d5b2007-01-24 18:45:13 +00001028 // Mark effective beginning of when frame pointer is ready.
Jim Laskey44c3b9f2007-01-26 21:22:28 +00001029 unsigned ReadyLabelId = MMI->NextLabelID();
Jim Laskey1ee29252007-01-26 14:34:52 +00001030 BuildMI(MBB, MBBI, TII.get(PPC::LABEL)).addImm(ReadyLabelId);
Jim Laskey5e73d5b2007-01-24 18:45:13 +00001031
1032 MachineLocation FPDst(HasFP ? (IsPPC64 ? PPC::X31 : PPC::R31) :
1033 (IsPPC64 ? PPC::X1 : PPC::R1));
1034 MachineLocation FPSrc(MachineLocation::VirtualFP);
1035 Moves.push_back(MachineMove(ReadyLabelId, FPDst, FPSrc));
Jim Laskey41886992006-04-07 16:34:46 +00001036 }
Jim Laskey2f616bf2006-11-16 22:43:37 +00001037
1038 // If there is a frame pointer, copy R1 into R31
Chris Lattner4f91a4c2006-04-03 22:03:29 +00001039 if (HasFP) {
Jim Laskey51fe9d92006-12-06 17:42:06 +00001040 if (!IsPPC64) {
Evan Chengc0f64ff2006-11-27 23:37:22 +00001041 BuildMI(MBB, MBBI, TII.get(PPC::OR), PPC::R31).addReg(PPC::R1)
1042 .addReg(PPC::R1);
Chris Lattnera94a2032006-11-11 19:05:28 +00001043 } else {
Evan Chengc0f64ff2006-11-27 23:37:22 +00001044 BuildMI(MBB, MBBI, TII.get(PPC::OR8), PPC::X31).addReg(PPC::X1)
1045 .addReg(PPC::X1);
Chris Lattnera94a2032006-11-11 19:05:28 +00001046 }
Misha Brukmanf2ccb772004-08-17 04:55:41 +00001047 }
1048}
1049
Nate Begeman21e463b2005-10-16 05:39:50 +00001050void PPCRegisterInfo::emitEpilogue(MachineFunction &MF,
1051 MachineBasicBlock &MBB) const {
Misha Brukmanf2ccb772004-08-17 04:55:41 +00001052 MachineBasicBlock::iterator MBBI = prior(MBB.end());
Evan Cheng6da8d992006-01-09 18:28:21 +00001053 assert(MBBI->getOpcode() == PPC::BLR &&
Misha Brukmanf2ccb772004-08-17 04:55:41 +00001054 "Can only insert epilog into returning blocks");
Misha Brukmanb5f662f2005-04-21 23:30:14 +00001055
Nate Begeman030514c2006-04-11 19:29:21 +00001056 // Get alignment info so we know how to restore r1
1057 const MachineFrameInfo *MFI = MF.getFrameInfo();
1058 unsigned TargetAlign = MF.getTarget().getFrameInfo()->getStackAlignment();
Jim Laskey2f616bf2006-11-16 22:43:37 +00001059 unsigned MaxAlign = MFI->getMaxAlignment();
Nate Begeman030514c2006-04-11 19:29:21 +00001060
Chris Lattner64da1722006-01-11 23:03:54 +00001061 // Get the number of bytes allocated from the FrameInfo.
Jim Laskey2f616bf2006-11-16 22:43:37 +00001062 unsigned FrameSize = MFI->getStackSize();
Misha Brukmanf2ccb772004-08-17 04:55:41 +00001063
Jim Laskey51fe9d92006-12-06 17:42:06 +00001064 // Get processor type.
1065 bool IsPPC64 = Subtarget.isPPC64();
Chris Lattner9f0bc652007-02-25 05:34:32 +00001066 // Get operating system
1067 bool IsMachoABI = Subtarget.isMachoABI();
Jim Laskey51fe9d92006-12-06 17:42:06 +00001068 // Check if the link register (LR) has been used.
1069 bool UsesLR = MFI->hasCalls() || usesLR(MF);
1070 // Do we have a frame pointer for this function?
Jim Laskeyd313a9b2007-02-27 11:55:45 +00001071 bool HasFP = hasFP(MF) && FrameSize;
Chris Lattner9f0bc652007-02-25 05:34:32 +00001072
1073 int LROffset = PPCFrameInfo::getReturnSaveOffset(IsPPC64, IsMachoABI);
1074 int FPOffset = PPCFrameInfo::getFramePointerSaveOffset(IsPPC64, IsMachoABI);
1075
Jim Laskeyd313a9b2007-02-27 11:55:45 +00001076 if (FrameSize) {
1077 // The loaded (or persistent) stack pointer value is offset by the 'stwu'
1078 // on entry to the function. Add this offset back now.
1079 if (!Subtarget.isPPC64()) {
1080 if (isInt16(FrameSize) && TargetAlign >= MaxAlign &&
1081 !MFI->hasVarSizedObjects()) {
1082 BuildMI(MBB, MBBI, TII.get(PPC::ADDI), PPC::R1)
1083 .addReg(PPC::R1).addImm(FrameSize);
1084 } else {
1085 BuildMI(MBB, MBBI, TII.get(PPC::LWZ),PPC::R1).addImm(0).addReg(PPC::R1);
1086 }
Chris Lattner64da1722006-01-11 23:03:54 +00001087 } else {
Jim Laskeyd313a9b2007-02-27 11:55:45 +00001088 if (isInt16(FrameSize) && TargetAlign >= MaxAlign &&
1089 !MFI->hasVarSizedObjects()) {
1090 BuildMI(MBB, MBBI, TII.get(PPC::ADDI8), PPC::X1)
1091 .addReg(PPC::X1).addImm(FrameSize);
1092 } else {
1093 BuildMI(MBB, MBBI, TII.get(PPC::LD), PPC::X1).addImm(0).addReg(PPC::X1);
1094 }
Jim Laskey2f616bf2006-11-16 22:43:37 +00001095 }
Jim Laskey51fe9d92006-12-06 17:42:06 +00001096 }
Jim Laskey51fe9d92006-12-06 17:42:06 +00001097
1098 if (IsPPC64) {
1099 if (UsesLR)
1100 BuildMI(MBB, MBBI, TII.get(PPC::LD), PPC::X0)
1101 .addImm(LROffset/4).addReg(PPC::X1);
1102
1103 if (HasFP)
1104 BuildMI(MBB, MBBI, TII.get(PPC::LD), PPC::X31)
1105 .addImm(FPOffset/4).addReg(PPC::X1);
1106
1107 if (UsesLR)
1108 BuildMI(MBB, MBBI, TII.get(PPC::MTLR8)).addReg(PPC::X0);
1109 } else {
1110 if (UsesLR)
1111 BuildMI(MBB, MBBI, TII.get(PPC::LWZ), PPC::R0)
1112 .addImm(LROffset).addReg(PPC::R1);
1113
1114 if (HasFP)
1115 BuildMI(MBB, MBBI, TII.get(PPC::LWZ), PPC::R31)
1116 .addImm(FPOffset).addReg(PPC::R1);
1117
1118 if (UsesLR)
1119 BuildMI(MBB, MBBI, TII.get(PPC::MTLR)).addReg(PPC::R0);
Misha Brukmanf2ccb772004-08-17 04:55:41 +00001120 }
1121}
1122
Jim Laskey41886992006-04-07 16:34:46 +00001123unsigned PPCRegisterInfo::getRARegister() const {
Chris Lattner6a5339b2006-11-14 18:44:47 +00001124 return !Subtarget.isPPC64() ? PPC::LR : PPC::LR8;
Jim Laskey41886992006-04-07 16:34:46 +00001125}
1126
Jim Laskeya9979182006-03-28 13:48:33 +00001127unsigned PPCRegisterInfo::getFrameRegister(MachineFunction &MF) const {
Chris Lattnera94a2032006-11-11 19:05:28 +00001128 if (!Subtarget.isPPC64())
1129 return hasFP(MF) ? PPC::R31 : PPC::R1;
1130 else
1131 return hasFP(MF) ? PPC::X31 : PPC::X1;
Jim Laskey41886992006-04-07 16:34:46 +00001132}
1133
Jim Laskey5e73d5b2007-01-24 18:45:13 +00001134void PPCRegisterInfo::getInitialFrameState(std::vector<MachineMove> &Moves)
Jim Laskey41886992006-04-07 16:34:46 +00001135 const {
Jim Laskey4c2c9032006-08-25 19:40:59 +00001136 // Initial state of the frame pointer is R1.
Jim Laskey41886992006-04-07 16:34:46 +00001137 MachineLocation Dst(MachineLocation::VirtualFP);
1138 MachineLocation Src(PPC::R1, 0);
Jim Laskey5e73d5b2007-01-24 18:45:13 +00001139 Moves.push_back(MachineMove(0, Dst, Src));
Jim Laskeyf1d78e82006-03-23 18:12:57 +00001140}
1141
Jim Laskey62819f32007-02-21 22:54:50 +00001142unsigned PPCRegisterInfo::getEHExceptionRegister() const {
1143 return !Subtarget.isPPC64() ? PPC::R3 : PPC::X3;
1144}
1145
1146unsigned PPCRegisterInfo::getEHHandlerRegister() const {
1147 return !Subtarget.isPPC64() ? PPC::R4 : PPC::X4;
1148}
1149
Chris Lattner4c7b43b2005-10-14 23:37:35 +00001150#include "PPCGenRegisterInfo.inc"
Misha Brukmanf2ccb772004-08-17 04:55:41 +00001151