blob: da6ecb00700e0e5330ecb7a7ddfbc79cae558afa [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"
Chris Lattner16e71f22005-10-14 23:59:06 +000017#include "PPCRegisterInfo.h"
Misha Brukmanf2ccb772004-08-17 04:55:41 +000018#include "llvm/Constants.h"
19#include "llvm/Type.h"
20#include "llvm/CodeGen/ValueTypes.h"
21#include "llvm/CodeGen/MachineInstrBuilder.h"
Jim Laskey41886992006-04-07 16:34:46 +000022#include "llvm/CodeGen/MachineDebugInfo.h"
Misha Brukmanf2ccb772004-08-17 04:55:41 +000023#include "llvm/CodeGen/MachineFunction.h"
24#include "llvm/CodeGen/MachineFrameInfo.h"
Jim Laskeyf1d78e82006-03-23 18:12:57 +000025#include "llvm/CodeGen/MachineLocation.h"
Jim Laskey41886992006-04-07 16:34:46 +000026#include "llvm/CodeGen/SelectionDAGNodes.h"
Misha Brukmanf2ccb772004-08-17 04:55:41 +000027#include "llvm/Target/TargetFrameInfo.h"
28#include "llvm/Target/TargetMachine.h"
29#include "llvm/Target/TargetOptions.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000030#include "llvm/Support/CommandLine.h"
31#include "llvm/Support/Debug.h"
Nate Begemanae232e72005-11-06 09:00:38 +000032#include "llvm/Support/MathExtras.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000033#include "llvm/ADT/STLExtras.h"
Misha Brukmanf2ccb772004-08-17 04:55:41 +000034#include <cstdlib>
35#include <iostream>
36using namespace llvm;
37
Nate Begeman21e463b2005-10-16 05:39:50 +000038PPCRegisterInfo::PPCRegisterInfo()
Chris Lattner4c7b43b2005-10-14 23:37:35 +000039 : PPCGenRegisterInfo(PPC::ADJCALLSTACKDOWN, PPC::ADJCALLSTACKUP) {
Misha Brukmanb5f662f2005-04-21 23:30:14 +000040 ImmToIdxMap[PPC::LD] = PPC::LDX; ImmToIdxMap[PPC::STD] = PPC::STDX;
Misha Brukmanf2ccb772004-08-17 04:55:41 +000041 ImmToIdxMap[PPC::LBZ] = PPC::LBZX; ImmToIdxMap[PPC::STB] = PPC::STBX;
42 ImmToIdxMap[PPC::LHZ] = PPC::LHZX; ImmToIdxMap[PPC::LHA] = PPC::LHAX;
43 ImmToIdxMap[PPC::LWZ] = PPC::LWZX; ImmToIdxMap[PPC::LWA] = PPC::LWAX;
44 ImmToIdxMap[PPC::LFS] = PPC::LFSX; ImmToIdxMap[PPC::LFD] = PPC::LFDX;
45 ImmToIdxMap[PPC::STH] = PPC::STHX; ImmToIdxMap[PPC::STW] = PPC::STWX;
46 ImmToIdxMap[PPC::STFS] = PPC::STFSX; ImmToIdxMap[PPC::STFD] = PPC::STFDX;
Nate Begeman1d9d7422005-10-18 00:28:58 +000047 ImmToIdxMap[PPC::ADDI] = PPC::ADD4;
Misha Brukmanf2ccb772004-08-17 04:55:41 +000048}
49
Misha Brukmanb5f662f2005-04-21 23:30:14 +000050void
Nate Begeman21e463b2005-10-16 05:39:50 +000051PPCRegisterInfo::storeRegToStackSlot(MachineBasicBlock &MBB,
52 MachineBasicBlock::iterator MI,
53 unsigned SrcReg, int FrameIdx,
54 const TargetRegisterClass *RC) const {
Misha Brukmanf2ccb772004-08-17 04:55:41 +000055 if (SrcReg == PPC::LR) {
Chris Lattner9c09c9e2006-03-16 22:24:02 +000056 // FIXME: this spills LR immediately to memory in one step. To do this, we
57 // use R11, which we know cannot be used in the prolog/epilog. This is a
58 // hack.
Chris Lattner3f852b42005-08-18 23:24:50 +000059 BuildMI(MBB, MI, PPC::MFLR, 1, PPC::R11);
Chris Lattner919c0322005-10-01 01:35:02 +000060 addFrameReference(BuildMI(MBB, MI, PPC::STW, 3).addReg(PPC::R11), FrameIdx);
Nate Begeman1d9d7422005-10-18 00:28:58 +000061 } else if (RC == PPC::CRRCRegisterClass) {
Nate Begeman7af02482005-04-12 07:04:16 +000062 BuildMI(MBB, MI, PPC::MFCR, 0, PPC::R11);
Chris Lattner919c0322005-10-01 01:35:02 +000063 addFrameReference(BuildMI(MBB, MI, PPC::STW, 3).addReg(PPC::R11), FrameIdx);
Nate Begeman1d9d7422005-10-18 00:28:58 +000064 } else if (RC == PPC::GPRCRegisterClass) {
Chris Lattner919c0322005-10-01 01:35:02 +000065 addFrameReference(BuildMI(MBB, MI, PPC::STW, 3).addReg(SrcReg),FrameIdx);
Nate Begeman1d9d7422005-10-18 00:28:58 +000066 } else if (RC == PPC::G8RCRegisterClass) {
67 addFrameReference(BuildMI(MBB, MI, PPC::STD, 3).addReg(SrcReg),FrameIdx);
68 } else if (RC == PPC::F8RCRegisterClass) {
Chris Lattner919c0322005-10-01 01:35:02 +000069 addFrameReference(BuildMI(MBB, MI, PPC::STFD, 3).addReg(SrcReg),FrameIdx);
Nate Begeman1d9d7422005-10-18 00:28:58 +000070 } else if (RC == PPC::F4RCRegisterClass) {
Chris Lattner919c0322005-10-01 01:35:02 +000071 addFrameReference(BuildMI(MBB, MI, PPC::STFS, 3).addReg(SrcReg),FrameIdx);
Chris Lattner9c09c9e2006-03-16 22:24:02 +000072 } else if (RC == PPC::VRRCRegisterClass) {
73 // We don't have indexed addressing for vector loads. Emit:
74 // R11 = ADDI FI#
75 // Dest = LVX R0, R11
76 //
77 // FIXME: We use R0 here, because it isn't available for RA.
78 addFrameReference(BuildMI(MBB, MI, PPC::ADDI, 1, PPC::R0), FrameIdx, 0, 0);
79 BuildMI(MBB, MI, PPC::STVX, 3)
80 .addReg(SrcReg).addReg(PPC::R0).addReg(PPC::R0);
Misha Brukmanf2ccb772004-08-17 04:55:41 +000081 } else {
Chris Lattner919c0322005-10-01 01:35:02 +000082 assert(0 && "Unknown regclass!");
83 abort();
Misha Brukmanf2ccb772004-08-17 04:55:41 +000084 }
85}
86
87void
Nate Begeman21e463b2005-10-16 05:39:50 +000088PPCRegisterInfo::loadRegFromStackSlot(MachineBasicBlock &MBB,
Misha Brukmanf2ccb772004-08-17 04:55:41 +000089 MachineBasicBlock::iterator MI,
Chris Lattnerb48d2cf2005-09-30 01:31:52 +000090 unsigned DestReg, int FrameIdx,
91 const TargetRegisterClass *RC) const {
Misha Brukmanf2ccb772004-08-17 04:55:41 +000092 if (DestReg == PPC::LR) {
Chris Lattner919c0322005-10-01 01:35:02 +000093 addFrameReference(BuildMI(MBB, MI, PPC::LWZ, 2, PPC::R11), FrameIdx);
Misha Brukmanf2ccb772004-08-17 04:55:41 +000094 BuildMI(MBB, MI, PPC::MTLR, 1).addReg(PPC::R11);
Nate Begeman1d9d7422005-10-18 00:28:58 +000095 } else if (RC == PPC::CRRCRegisterClass) {
Chris Lattner919c0322005-10-01 01:35:02 +000096 addFrameReference(BuildMI(MBB, MI, PPC::LWZ, 2, PPC::R11), FrameIdx);
Nate Begeman7af02482005-04-12 07:04:16 +000097 BuildMI(MBB, MI, PPC::MTCRF, 1, DestReg).addReg(PPC::R11);
Nate Begeman1d9d7422005-10-18 00:28:58 +000098 } else if (RC == PPC::GPRCRegisterClass) {
Chris Lattner919c0322005-10-01 01:35:02 +000099 addFrameReference(BuildMI(MBB, MI, PPC::LWZ, 2, DestReg), FrameIdx);
Nate Begeman1d9d7422005-10-18 00:28:58 +0000100 } else if (RC == PPC::G8RCRegisterClass) {
101 addFrameReference(BuildMI(MBB, MI, PPC::LD, 2, DestReg), FrameIdx);
102 } else if (RC == PPC::F8RCRegisterClass) {
Chris Lattner919c0322005-10-01 01:35:02 +0000103 addFrameReference(BuildMI(MBB, MI, PPC::LFD, 2, DestReg), FrameIdx);
Nate Begeman1d9d7422005-10-18 00:28:58 +0000104 } else if (RC == PPC::F4RCRegisterClass) {
Chris Lattner919c0322005-10-01 01:35:02 +0000105 addFrameReference(BuildMI(MBB, MI, PPC::LFS, 2, DestReg), FrameIdx);
Chris Lattner9c09c9e2006-03-16 22:24:02 +0000106 } else if (RC == PPC::VRRCRegisterClass) {
107 // We don't have indexed addressing for vector loads. Emit:
108 // R11 = ADDI FI#
109 // Dest = LVX R0, R11
110 //
111 // FIXME: We use R0 here, because it isn't available for RA.
112 addFrameReference(BuildMI(MBB, MI, PPC::ADDI, 1, PPC::R0), FrameIdx, 0, 0);
113 BuildMI(MBB, MI, PPC::LVX, 2, DestReg).addReg(PPC::R0).addReg(PPC::R0);
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000114 } else {
Chris Lattner919c0322005-10-01 01:35:02 +0000115 assert(0 && "Unknown regclass!");
116 abort();
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000117 }
118}
119
Nate Begeman21e463b2005-10-16 05:39:50 +0000120void PPCRegisterInfo::copyRegToReg(MachineBasicBlock &MBB,
121 MachineBasicBlock::iterator MI,
122 unsigned DestReg, unsigned SrcReg,
123 const TargetRegisterClass *RC) const {
Nate Begeman1d9d7422005-10-18 00:28:58 +0000124 if (RC == PPC::GPRCRegisterClass) {
125 BuildMI(MBB, MI, PPC::OR4, 2, DestReg).addReg(SrcReg).addReg(SrcReg);
126 } else if (RC == PPC::G8RCRegisterClass) {
127 BuildMI(MBB, MI, PPC::OR8, 2, DestReg).addReg(SrcReg).addReg(SrcReg);
128 } else if (RC == PPC::F4RCRegisterClass) {
Chris Lattner919c0322005-10-01 01:35:02 +0000129 BuildMI(MBB, MI, PPC::FMRS, 1, DestReg).addReg(SrcReg);
Nate Begeman1d9d7422005-10-18 00:28:58 +0000130 } else if (RC == PPC::F8RCRegisterClass) {
Chris Lattner919c0322005-10-01 01:35:02 +0000131 BuildMI(MBB, MI, PPC::FMRD, 1, DestReg).addReg(SrcReg);
Nate Begeman1d9d7422005-10-18 00:28:58 +0000132 } else if (RC == PPC::CRRCRegisterClass) {
Nate Begeman7af02482005-04-12 07:04:16 +0000133 BuildMI(MBB, MI, PPC::MCRF, 1, DestReg).addReg(SrcReg);
Chris Lattner335fd3c2006-03-16 20:03:58 +0000134 } else if (RC == PPC::VRRCRegisterClass) {
135 BuildMI(MBB, MI, PPC::VOR, 2, DestReg).addReg(SrcReg).addReg(SrcReg);
Nate Begeman7af02482005-04-12 07:04:16 +0000136 } else {
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000137 std::cerr << "Attempt to copy register that is not GPR or FPR";
138 abort();
139 }
140}
141
Chris Lattnerf38df042005-09-09 21:46:49 +0000142/// foldMemoryOperand - PowerPC (like most RISC's) can only fold spills into
143/// copy instructions, turning them into load/store instructions.
Nate Begeman21e463b2005-10-16 05:39:50 +0000144MachineInstr *PPCRegisterInfo::foldMemoryOperand(MachineInstr *MI,
145 unsigned OpNum,
146 int FrameIndex) const {
Chris Lattnerf38df042005-09-09 21:46:49 +0000147 // Make sure this is a reg-reg copy. Note that we can't handle MCRF, because
148 // it takes more than one instruction to store it.
149 unsigned Opc = MI->getOpcode();
150
Nate Begeman1d9d7422005-10-18 00:28:58 +0000151 if ((Opc == PPC::OR4 &&
Chris Lattnerf38df042005-09-09 21:46:49 +0000152 MI->getOperand(1).getReg() == MI->getOperand(2).getReg())) {
153 if (OpNum == 0) { // move -> store
154 unsigned InReg = MI->getOperand(1).getReg();
155 return addFrameReference(BuildMI(PPC::STW,
156 3).addReg(InReg), FrameIndex);
Chris Lattnerc9fe7502005-09-09 21:59:44 +0000157 } else { // move -> load
Chris Lattnerf38df042005-09-09 21:46:49 +0000158 unsigned OutReg = MI->getOperand(0).getReg();
159 return addFrameReference(BuildMI(PPC::LWZ, 2, OutReg), FrameIndex);
160 }
Nate Begeman1d9d7422005-10-18 00:28:58 +0000161 } else if ((Opc == PPC::OR8 &&
162 MI->getOperand(1).getReg() == MI->getOperand(2).getReg())) {
163 if (OpNum == 0) { // move -> store
164 unsigned InReg = MI->getOperand(1).getReg();
165 return addFrameReference(BuildMI(PPC::STD,
166 3).addReg(InReg), FrameIndex);
167 } else { // move -> load
168 unsigned OutReg = MI->getOperand(0).getReg();
169 return addFrameReference(BuildMI(PPC::LD, 2, OutReg), FrameIndex);
170 }
Chris Lattner919c0322005-10-01 01:35:02 +0000171 } else if (Opc == PPC::FMRD) {
Chris Lattnerc9fe7502005-09-09 21:59:44 +0000172 if (OpNum == 0) { // move -> store
173 unsigned InReg = MI->getOperand(1).getReg();
174 return addFrameReference(BuildMI(PPC::STFD,
175 3).addReg(InReg), FrameIndex);
176 } else { // move -> load
177 unsigned OutReg = MI->getOperand(0).getReg();
178 return addFrameReference(BuildMI(PPC::LFD, 2, OutReg), FrameIndex);
179 }
Chris Lattner919c0322005-10-01 01:35:02 +0000180 } else if (Opc == PPC::FMRS) {
181 if (OpNum == 0) { // move -> store
182 unsigned InReg = MI->getOperand(1).getReg();
183 return addFrameReference(BuildMI(PPC::STFS,
184 3).addReg(InReg), FrameIndex);
185 } else { // move -> load
186 unsigned OutReg = MI->getOperand(0).getReg();
187 return addFrameReference(BuildMI(PPC::LFS, 2, OutReg), FrameIndex);
188 }
Chris Lattnerf38df042005-09-09 21:46:49 +0000189 }
190 return 0;
191}
192
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000193//===----------------------------------------------------------------------===//
194// Stack Frame Processing methods
195//===----------------------------------------------------------------------===//
196
197// hasFP - Return true if the specified function should have a dedicated frame
198// pointer register. This is true if the function has variable sized allocas or
199// if frame pointer elimination is disabled.
200//
Chris Lattner4f91a4c2006-04-03 22:03:29 +0000201static bool hasFP(const MachineFunction &MF) {
202 const MachineFrameInfo *MFI = MF.getFrameInfo();
203 unsigned TargetAlign = MF.getTarget().getFrameInfo()->getStackAlignment();
204
Nate Begeman030514c2006-04-11 19:29:21 +0000205 // If frame pointers are forced, or if there are variable sized stack objects,
206 // use a frame pointer.
Chris Lattner4f91a4c2006-04-03 22:03:29 +0000207 //
Nate Begeman030514c2006-04-11 19:29:21 +0000208 return NoFramePointerElim || MFI->hasVarSizedObjects();
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000209}
210
Nate Begeman21e463b2005-10-16 05:39:50 +0000211void PPCRegisterInfo::
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000212eliminateCallFramePseudoInstr(MachineFunction &MF, MachineBasicBlock &MBB,
213 MachineBasicBlock::iterator I) const {
214 if (hasFP(MF)) {
215 // If we have a frame pointer, convert as follows:
216 // ADJCALLSTACKDOWN -> addi, r1, r1, -amount
217 // ADJCALLSTACKUP -> addi, r1, r1, amount
218 MachineInstr *Old = I;
219 unsigned Amount = Old->getOperand(0).getImmedValue();
220 if (Amount != 0) {
221 // We need to keep the stack aligned properly. To do this, we round the
222 // amount of space needed for the outgoing arguments up to the next
223 // alignment boundary.
224 unsigned Align = MF.getTarget().getFrameInfo()->getStackAlignment();
225 Amount = (Amount+Align-1)/Align*Align;
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000226
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000227 // Replace the pseudo instruction with a new instruction...
228 if (Old->getOpcode() == PPC::ADJCALLSTACKDOWN) {
Chris Lattnerc6d48d32006-01-11 23:07:57 +0000229 BuildMI(MBB, I, PPC::ADDI, 2, PPC::R1).addReg(PPC::R1).addSImm(-Amount);
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000230 } else {
231 assert(Old->getOpcode() == PPC::ADJCALLSTACKUP);
Chris Lattnerc6d48d32006-01-11 23:07:57 +0000232 BuildMI(MBB, I, PPC::ADDI, 2, PPC::R1).addReg(PPC::R1).addSImm(Amount);
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000233 }
234 }
235 }
236 MBB.erase(I);
237}
238
239void
Nate Begeman21e463b2005-10-16 05:39:50 +0000240PPCRegisterInfo::eliminateFrameIndex(MachineBasicBlock::iterator II) const {
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000241 unsigned i = 0;
242 MachineInstr &MI = *II;
243 MachineBasicBlock &MBB = *MI.getParent();
244 MachineFunction &MF = *MBB.getParent();
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000245
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000246 while (!MI.getOperand(i).isFrameIndex()) {
247 ++i;
248 assert(i < MI.getNumOperands() && "Instr doesn't have FrameIndex operand!");
249 }
250
251 int FrameIndex = MI.getOperand(i).getFrameIndex();
252
253 // Replace the FrameIndex with base register with GPR1 (SP) or GPR31 (FP).
254 MI.SetMachineOperandReg(i, hasFP(MF) ? PPC::R31 : PPC::R1);
255
256 // Take into account whether it's an add or mem instruction
257 unsigned OffIdx = (i == 2) ? 1 : 2;
258
259 // Now add the frame object offset to the offset from r1.
260 int Offset = MF.getFrameInfo()->getObjectOffset(FrameIndex) +
261 MI.getOperand(OffIdx).getImmedValue();
262
263 // If we're not using a Frame Pointer that has been set to the value of the
264 // SP before having the stack size subtracted from it, then add the stack size
265 // to Offset to get the correct offset.
266 Offset += MF.getFrameInfo()->getStackSize();
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000267
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000268 if (Offset > 32767 || Offset < -32768) {
269 // Insert a set of r0 with the full offset value before the ld, st, or add
270 MachineBasicBlock *MBB = MI.getParent();
Chris Lattnerc6d48d32006-01-11 23:07:57 +0000271 BuildMI(*MBB, II, PPC::LIS, 1, PPC::R0).addSImm(Offset >> 16);
272 BuildMI(*MBB, II, PPC::ORI, 2, PPC::R0).addReg(PPC::R0).addImm(Offset);
273
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000274 // convert into indexed form of the instruction
275 // sth 0:rA, 1:imm 2:(rB) ==> sthx 0:rA, 2:rB, 1:r0
276 // addi 0:rA 1:rB, 2, imm ==> add 0:rA, 1:rB, 2:r0
Chris Lattner14630192005-09-09 20:51:08 +0000277 assert(ImmToIdxMap.count(MI.getOpcode()) &&
278 "No indexed form of load or store available!");
279 unsigned NewOpcode = ImmToIdxMap.find(MI.getOpcode())->second;
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000280 MI.setOpcode(NewOpcode);
281 MI.SetMachineOperandReg(1, MI.getOperand(i).getReg());
282 MI.SetMachineOperandReg(2, PPC::R0);
283 } else {
Chris Lattner841d12d2005-10-18 16:51:22 +0000284 switch (MI.getOpcode()) {
285 case PPC::LWA:
286 case PPC::LD:
287 case PPC::STD:
Chris Lattnerecfe55e2006-03-22 05:30:33 +0000288 case PPC::STD_32:
Chris Lattner841d12d2005-10-18 16:51:22 +0000289 assert((Offset & 3) == 0 && "Invalid frame offset!");
290 Offset >>= 2; // The actual encoded value has the low two bits zero.
291 break;
292 }
Chris Lattner919c0322005-10-01 01:35:02 +0000293 MI.SetMachineOperandConst(OffIdx, MachineOperand::MO_SignExtendedImmed,
294 Offset);
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000295 }
296}
297
Chris Lattnerf7d23722006-04-17 20:59:25 +0000298/// VRRegNo - Map from a numbered VR register to its enum value.
299///
300static const unsigned short VRRegNo[] = {
301 PPC::V0 , PPC::V1 , PPC::V2 , PPC::V3 , PPC::V4 , PPC::V5 , PPC::V6 , PPC::V7 ,
302 PPC::V8 , PPC::V9 , PPC::V10, PPC::V11, PPC::V12, PPC::V13, PPC::V14, PPC::V15,
303 PPC::V16, PPC::V17, PPC::V18, PPC::V19, PPC::V20, PPC::V21, PPC::V22, PPC::V23,
304 PPC::V24, PPC::V25, PPC::V26, PPC::V27, PPC::V28, PPC::V29, PPC::V30, PPC::V31
305};
306
Chris Lattner1877ec92006-03-13 21:52:10 +0000307// HandleVRSaveUpdate - MI is the UPDATE_VRSAVE instruction introduced by the
308// instruction selector. Based on the vector registers that have been used,
309// transform this into the appropriate ORI instruction.
310static void HandleVRSaveUpdate(MachineInstr *MI, const bool *UsedRegs) {
311 unsigned UsedRegMask = 0;
Chris Lattnerf7d23722006-04-17 20:59:25 +0000312 for (unsigned i = 0; i != 32; ++i)
313 if (UsedRegs[VRRegNo[i]])
314 UsedRegMask |= 1 << (31-i);
315
Chris Lattner1877ec92006-03-13 21:52:10 +0000316 unsigned SrcReg = MI->getOperand(1).getReg();
317 unsigned DstReg = MI->getOperand(0).getReg();
318 // If no registers are used, turn this into a copy.
319 if (UsedRegMask == 0) {
320 if (SrcReg != DstReg)
321 BuildMI(*MI->getParent(), MI, PPC::OR4, 2, DstReg)
322 .addReg(SrcReg).addReg(SrcReg);
323 } else if ((UsedRegMask & 0xFFFF) == UsedRegMask) {
324 BuildMI(*MI->getParent(), MI, PPC::ORI, 2, DstReg)
325 .addReg(SrcReg).addImm(UsedRegMask);
326 } else if ((UsedRegMask & 0xFFFF0000) == UsedRegMask) {
327 BuildMI(*MI->getParent(), MI, PPC::ORIS, 2, DstReg)
328 .addReg(SrcReg).addImm(UsedRegMask >> 16);
329 } else {
330 BuildMI(*MI->getParent(), MI, PPC::ORIS, 2, DstReg)
331 .addReg(SrcReg).addImm(UsedRegMask >> 16);
332 BuildMI(*MI->getParent(), MI, PPC::ORI, 2, DstReg)
333 .addReg(DstReg).addImm(UsedRegMask & 0xFFFF);
334 }
335
336 // Remove the old UPDATE_VRSAVE instruction.
337 MI->getParent()->erase(MI);
338}
339
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000340
Nate Begeman21e463b2005-10-16 05:39:50 +0000341void PPCRegisterInfo::emitPrologue(MachineFunction &MF) const {
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000342 MachineBasicBlock &MBB = MF.front(); // Prolog goes in entry BB
343 MachineBasicBlock::iterator MBBI = MBB.begin();
344 MachineFrameInfo *MFI = MF.getFrameInfo();
Jim Laskey41886992006-04-07 16:34:46 +0000345 MachineDebugInfo *DebugInfo = MFI->getMachineDebugInfo();
Chris Lattner4f91a4c2006-04-03 22:03:29 +0000346
347 // Do we have a frame pointer for this function?
348 bool HasFP = hasFP(MF);
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000349
Chris Lattner4f91a4c2006-04-03 22:03:29 +0000350 // Scan the prolog, looking for an UPDATE_VRSAVE instruction. If we find it,
351 // process it.
Chris Lattner8aa777d2006-03-16 21:31:45 +0000352 for (unsigned i = 0; MBBI != MBB.end(); ++i, ++MBBI) {
Chris Lattner1877ec92006-03-13 21:52:10 +0000353 if (MBBI->getOpcode() == PPC::UPDATE_VRSAVE) {
354 HandleVRSaveUpdate(MBBI, MF.getUsedPhysregs());
355 break;
356 }
357 }
358
359 // Move MBBI back to the beginning of the function.
360 MBBI = MBB.begin();
361
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000362 // Get the number of bytes to allocate from the FrameInfo
363 unsigned NumBytes = MFI->getStackSize();
Nate Begemanae232e72005-11-06 09:00:38 +0000364
365 // Get the alignments provided by the target, and the maximum alignment
366 // (if any) of the fixed frame objects.
367 unsigned TargetAlign = MF.getTarget().getFrameInfo()->getStackAlignment();
368 unsigned MaxAlign = MFI->getMaxAlignment();
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000369
370 // If we have calls, we cannot use the red zone to store callee save registers
371 // and we must set up a stack frame, so calculate the necessary size here.
372 if (MFI->hasCalls()) {
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000373 // We reserve argument space for call sites in the function immediately on
374 // entry to the current function. This eliminates the need for add/sub
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000375 // brackets around call sites.
376 NumBytes += MFI->getMaxCallFrameSize();
377 }
378
Jeff Cohend29b6aa2005-07-30 18:33:25 +0000379 // If we are a leaf function, and use up to 224 bytes of stack space,
Nate Begeman54eed362005-07-27 06:06:29 +0000380 // and don't have a frame pointer, then we do not need to adjust the stack
381 // pointer (we fit in the Red Zone).
Chris Lattner4f91a4c2006-04-03 22:03:29 +0000382 if ((NumBytes == 0) || (NumBytes <= 224 && !HasFP && !MFI->hasCalls() &&
Nate Begemanae232e72005-11-06 09:00:38 +0000383 MaxAlign <= TargetAlign)) {
Nate Begeman54eed362005-07-27 06:06:29 +0000384 MFI->setStackSize(0);
385 return;
386 }
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000387
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000388 // Add the size of R1 to NumBytes size for the store of R1 to the bottom
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000389 // of the stack and round the size to a multiple of the alignment.
Nate Begemanae232e72005-11-06 09:00:38 +0000390 unsigned Align = std::max(TargetAlign, MaxAlign);
Chris Lattner5802be12005-09-30 17:16:59 +0000391 unsigned GPRSize = 4;
Chris Lattner4f91a4c2006-04-03 22:03:29 +0000392 unsigned Size = HasFP ? GPRSize + GPRSize : GPRSize;
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000393 NumBytes = (NumBytes+Size+Align-1)/Align*Align;
394
395 // Update frame info to pretend that this is part of the stack...
396 MFI->setStackSize(NumBytes);
Jim Laskey41886992006-04-07 16:34:46 +0000397 int NegNumbytes = -NumBytes;
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000398
Nate Begeman3dee1752005-07-27 23:11:27 +0000399 // Adjust stack pointer: r1 -= numbytes.
Nate Begeman030514c2006-04-11 19:29:21 +0000400 // If there is a preferred stack alignment, align R1 now
401 if (MaxAlign > TargetAlign) {
402 assert(isPowerOf2_32(MaxAlign) && MaxAlign < 32767 && "Invalid alignment!");
Nate Begeman21862982006-04-11 19:44:43 +0000403 assert(isInt16(MaxAlign-NumBytes) && "Unhandled stack size and alignment!");
Nate Begeman030514c2006-04-11 19:29:21 +0000404 BuildMI(MBB, MBBI, PPC::RLWINM, 4, PPC::R0)
405 .addReg(PPC::R1).addImm(0).addImm(32-Log2_32(MaxAlign)).addImm(31);
Nate Begeman21862982006-04-11 19:44:43 +0000406 BuildMI(MBB, MBBI, PPC::SUBFIC,2,PPC::R0).addReg(PPC::R0)
407 .addSImm(MaxAlign-NumBytes);
Nate Begeman030514c2006-04-11 19:29:21 +0000408 BuildMI(MBB, MBBI, PPC::STWUX, 3)
409 .addReg(PPC::R1).addReg(PPC::R1).addReg(PPC::R0);
410 } else if (NumBytes <= 32768) {
411 BuildMI(MBB, MBBI, PPC::STWU, 3).addReg(PPC::R1).addSImm(NegNumbytes)
412 .addReg(PPC::R1);
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000413 } else {
Chris Lattnerc6d48d32006-01-11 23:07:57 +0000414 BuildMI(MBB, MBBI, PPC::LIS, 1, PPC::R0).addSImm(NegNumbytes >> 16);
Nate Begeman030514c2006-04-11 19:29:21 +0000415 BuildMI(MBB, MBBI, PPC::ORI, 2, PPC::R0).addReg(PPC::R0)
416 .addImm(NegNumbytes & 0xFFFF);
417 BuildMI(MBB, MBBI, PPC::STWUX, 3).addReg(PPC::R1).addReg(PPC::R1)
418 .addReg(PPC::R0);
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000419 }
Nate Begemanae232e72005-11-06 09:00:38 +0000420
Jim Laskey52fa2442006-04-11 08:11:53 +0000421 if (DebugInfo && DebugInfo->hasInfo()) {
Jim Laskey41886992006-04-07 16:34:46 +0000422 std::vector<MachineMove *> &Moves = DebugInfo->getFrameMoves();
423 unsigned LabelID = DebugInfo->NextLabelID();
424
425 // Show update of SP.
426 MachineLocation Dst(MachineLocation::VirtualFP);
427 MachineLocation Src(MachineLocation::VirtualFP, NegNumbytes);
428 Moves.push_back(new MachineMove(LabelID, Dst, Src));
429
430 BuildMI(MBB, MBBI, PPC::DWARF_LABEL, 1).addSImm(LabelID);
431 }
432
Nate Begemanae232e72005-11-06 09:00:38 +0000433 // If there is a frame pointer, copy R1 (SP) into R31 (FP)
Chris Lattner4f91a4c2006-04-03 22:03:29 +0000434 if (HasFP) {
Chris Lattnerc6d48d32006-01-11 23:07:57 +0000435 BuildMI(MBB, MBBI, PPC::STW, 3)
436 .addReg(PPC::R31).addSImm(GPRSize).addReg(PPC::R1);
437 BuildMI(MBB, MBBI, PPC::OR4, 2, PPC::R31).addReg(PPC::R1).addReg(PPC::R1);
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000438 }
439}
440
Nate Begeman21e463b2005-10-16 05:39:50 +0000441void PPCRegisterInfo::emitEpilogue(MachineFunction &MF,
442 MachineBasicBlock &MBB) const {
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000443 MachineBasicBlock::iterator MBBI = prior(MBB.end());
Evan Cheng6da8d992006-01-09 18:28:21 +0000444 assert(MBBI->getOpcode() == PPC::BLR &&
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000445 "Can only insert epilog into returning blocks");
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000446
Nate Begeman030514c2006-04-11 19:29:21 +0000447 // Get alignment info so we know how to restore r1
448 const MachineFrameInfo *MFI = MF.getFrameInfo();
449 unsigned TargetAlign = MF.getTarget().getFrameInfo()->getStackAlignment();
450
Chris Lattner64da1722006-01-11 23:03:54 +0000451 // Get the number of bytes allocated from the FrameInfo.
Nate Begeman030514c2006-04-11 19:29:21 +0000452 unsigned NumBytes = MFI->getStackSize();
Chris Lattner64da1722006-01-11 23:03:54 +0000453 unsigned GPRSize = 4;
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000454
455 if (NumBytes != 0) {
Chris Lattner64da1722006-01-11 23:03:54 +0000456 // If this function has a frame pointer, load the saved stack pointer from
457 // its stack slot.
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000458 if (hasFP(MF)) {
Chris Lattner64da1722006-01-11 23:03:54 +0000459 BuildMI(MBB, MBBI, PPC::LWZ, 2, PPC::R31)
460 .addSImm(GPRSize).addReg(PPC::R31);
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000461 }
Chris Lattner64da1722006-01-11 23:03:54 +0000462
463 // The loaded (or persistent) stack pointer value is offseted by the 'stwu'
464 // on entry to the function. Add this offset back now.
Nate Begeman030514c2006-04-11 19:29:21 +0000465 if (NumBytes < 32768 && TargetAlign >= MFI->getMaxAlignment()) {
Chris Lattner64da1722006-01-11 23:03:54 +0000466 BuildMI(MBB, MBBI, PPC::ADDI, 2, PPC::R1)
467 .addReg(PPC::R1).addSImm(NumBytes);
468 } else {
Nate Begeman030514c2006-04-11 19:29:21 +0000469 BuildMI(MBB, MBBI, PPC::LWZ, 2, PPC::R1).addSImm(0).addReg(PPC::R1);
Chris Lattner64da1722006-01-11 23:03:54 +0000470 }
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000471 }
472}
473
Jim Laskey41886992006-04-07 16:34:46 +0000474unsigned PPCRegisterInfo::getRARegister() const {
475 return PPC::LR;
476}
477
Jim Laskeya9979182006-03-28 13:48:33 +0000478unsigned PPCRegisterInfo::getFrameRegister(MachineFunction &MF) const {
Jim Laskey41886992006-04-07 16:34:46 +0000479 return hasFP(MF) ? PPC::R31 : PPC::R1;
480}
481
482void PPCRegisterInfo::getInitialFrameState(std::vector<MachineMove *> &Moves)
483 const {
484 // Initial state is the frame pointer is R1.
485 MachineLocation Dst(MachineLocation::VirtualFP);
486 MachineLocation Src(PPC::R1, 0);
487 Moves.push_back(new MachineMove(0, Dst, Src));
Jim Laskeyf1d78e82006-03-23 18:12:57 +0000488}
489
Chris Lattner4c7b43b2005-10-14 23:37:35 +0000490#include "PPCGenRegisterInfo.inc"
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000491