blob: 963ca055d5a2d89aec28cdc1fca4ae3798be0540 [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 Lattner1877ec92006-03-13 21:52:10 +0000298// HandleVRSaveUpdate - MI is the UPDATE_VRSAVE instruction introduced by the
299// instruction selector. Based on the vector registers that have been used,
300// transform this into the appropriate ORI instruction.
301static void HandleVRSaveUpdate(MachineInstr *MI, const bool *UsedRegs) {
302 unsigned UsedRegMask = 0;
303#define HANDLEREG(N) if (UsedRegs[PPC::V##N]) UsedRegMask |= 1 << (31-N)
304 HANDLEREG( 0); HANDLEREG( 1); HANDLEREG( 2); HANDLEREG( 3);
305 HANDLEREG( 4); HANDLEREG( 5); HANDLEREG( 6); HANDLEREG( 7);
306 HANDLEREG( 8); HANDLEREG( 9); HANDLEREG(10); HANDLEREG(11);
307 HANDLEREG(12); HANDLEREG(13); HANDLEREG(14); HANDLEREG(15);
308 HANDLEREG(16); HANDLEREG(17); HANDLEREG(18); HANDLEREG(19);
309 HANDLEREG(20); HANDLEREG(21); HANDLEREG(22); HANDLEREG(23);
310 HANDLEREG(24); HANDLEREG(25); HANDLEREG(26); HANDLEREG(27);
311 HANDLEREG(28); HANDLEREG(29); HANDLEREG(30); HANDLEREG(31);
312#undef HANDLEREG
313 unsigned SrcReg = MI->getOperand(1).getReg();
314 unsigned DstReg = MI->getOperand(0).getReg();
315 // If no registers are used, turn this into a copy.
316 if (UsedRegMask == 0) {
317 if (SrcReg != DstReg)
318 BuildMI(*MI->getParent(), MI, PPC::OR4, 2, DstReg)
319 .addReg(SrcReg).addReg(SrcReg);
320 } else if ((UsedRegMask & 0xFFFF) == UsedRegMask) {
321 BuildMI(*MI->getParent(), MI, PPC::ORI, 2, DstReg)
322 .addReg(SrcReg).addImm(UsedRegMask);
323 } else if ((UsedRegMask & 0xFFFF0000) == UsedRegMask) {
324 BuildMI(*MI->getParent(), MI, PPC::ORIS, 2, DstReg)
325 .addReg(SrcReg).addImm(UsedRegMask >> 16);
326 } else {
327 BuildMI(*MI->getParent(), MI, PPC::ORIS, 2, DstReg)
328 .addReg(SrcReg).addImm(UsedRegMask >> 16);
329 BuildMI(*MI->getParent(), MI, PPC::ORI, 2, DstReg)
330 .addReg(DstReg).addImm(UsedRegMask & 0xFFFF);
331 }
332
333 // Remove the old UPDATE_VRSAVE instruction.
334 MI->getParent()->erase(MI);
335}
336
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000337
Nate Begeman21e463b2005-10-16 05:39:50 +0000338void PPCRegisterInfo::emitPrologue(MachineFunction &MF) const {
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000339 MachineBasicBlock &MBB = MF.front(); // Prolog goes in entry BB
340 MachineBasicBlock::iterator MBBI = MBB.begin();
341 MachineFrameInfo *MFI = MF.getFrameInfo();
Jim Laskey41886992006-04-07 16:34:46 +0000342 MachineDebugInfo *DebugInfo = MFI->getMachineDebugInfo();
Chris Lattner4f91a4c2006-04-03 22:03:29 +0000343
344 // Do we have a frame pointer for this function?
345 bool HasFP = hasFP(MF);
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000346
Chris Lattner4f91a4c2006-04-03 22:03:29 +0000347 // Scan the prolog, looking for an UPDATE_VRSAVE instruction. If we find it,
348 // process it.
Chris Lattner8aa777d2006-03-16 21:31:45 +0000349 for (unsigned i = 0; MBBI != MBB.end(); ++i, ++MBBI) {
Chris Lattner1877ec92006-03-13 21:52:10 +0000350 if (MBBI->getOpcode() == PPC::UPDATE_VRSAVE) {
351 HandleVRSaveUpdate(MBBI, MF.getUsedPhysregs());
352 break;
353 }
354 }
355
356 // Move MBBI back to the beginning of the function.
357 MBBI = MBB.begin();
358
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000359 // Get the number of bytes to allocate from the FrameInfo
360 unsigned NumBytes = MFI->getStackSize();
Nate Begemanae232e72005-11-06 09:00:38 +0000361
362 // Get the alignments provided by the target, and the maximum alignment
363 // (if any) of the fixed frame objects.
364 unsigned TargetAlign = MF.getTarget().getFrameInfo()->getStackAlignment();
365 unsigned MaxAlign = MFI->getMaxAlignment();
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000366
367 // If we have calls, we cannot use the red zone to store callee save registers
368 // and we must set up a stack frame, so calculate the necessary size here.
369 if (MFI->hasCalls()) {
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000370 // We reserve argument space for call sites in the function immediately on
371 // entry to the current function. This eliminates the need for add/sub
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000372 // brackets around call sites.
373 NumBytes += MFI->getMaxCallFrameSize();
374 }
375
Jeff Cohend29b6aa2005-07-30 18:33:25 +0000376 // If we are a leaf function, and use up to 224 bytes of stack space,
Nate Begeman54eed362005-07-27 06:06:29 +0000377 // and don't have a frame pointer, then we do not need to adjust the stack
378 // pointer (we fit in the Red Zone).
Chris Lattner4f91a4c2006-04-03 22:03:29 +0000379 if ((NumBytes == 0) || (NumBytes <= 224 && !HasFP && !MFI->hasCalls() &&
Nate Begemanae232e72005-11-06 09:00:38 +0000380 MaxAlign <= TargetAlign)) {
Nate Begeman54eed362005-07-27 06:06:29 +0000381 MFI->setStackSize(0);
382 return;
383 }
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000384
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000385 // Add the size of R1 to NumBytes size for the store of R1 to the bottom
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000386 // of the stack and round the size to a multiple of the alignment.
Nate Begemanae232e72005-11-06 09:00:38 +0000387 unsigned Align = std::max(TargetAlign, MaxAlign);
Chris Lattner5802be12005-09-30 17:16:59 +0000388 unsigned GPRSize = 4;
Chris Lattner4f91a4c2006-04-03 22:03:29 +0000389 unsigned Size = HasFP ? GPRSize + GPRSize : GPRSize;
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000390 NumBytes = (NumBytes+Size+Align-1)/Align*Align;
391
392 // Update frame info to pretend that this is part of the stack...
393 MFI->setStackSize(NumBytes);
Jim Laskey41886992006-04-07 16:34:46 +0000394 int NegNumbytes = -NumBytes;
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000395
Nate Begeman3dee1752005-07-27 23:11:27 +0000396 // Adjust stack pointer: r1 -= numbytes.
Nate Begeman030514c2006-04-11 19:29:21 +0000397 // If there is a preferred stack alignment, align R1 now
398 if (MaxAlign > TargetAlign) {
399 assert(isPowerOf2_32(MaxAlign) && MaxAlign < 32767 && "Invalid alignment!");
400 assert(NumBytes <= 32768 && "Unhandled stack size and alignment combo!");
401 BuildMI(MBB, MBBI, PPC::RLWINM, 4, PPC::R0)
402 .addReg(PPC::R1).addImm(0).addImm(32-Log2_32(MaxAlign)).addImm(31);
403 BuildMI(MBB, MBBI, PPC::SUBFIC,2,PPC::R0).addReg(PPC::R0).addSImm(MaxAlign);
404 BuildMI(MBB, MBBI, PPC::ADDI, 2, PPC::R0).addReg(PPC::R0)
405 .addSImm(NegNumbytes);
406 BuildMI(MBB, MBBI, PPC::STWUX, 3)
407 .addReg(PPC::R1).addReg(PPC::R1).addReg(PPC::R0);
408 } else if (NumBytes <= 32768) {
409 BuildMI(MBB, MBBI, PPC::STWU, 3).addReg(PPC::R1).addSImm(NegNumbytes)
410 .addReg(PPC::R1);
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000411 } else {
Chris Lattnerc6d48d32006-01-11 23:07:57 +0000412 BuildMI(MBB, MBBI, PPC::LIS, 1, PPC::R0).addSImm(NegNumbytes >> 16);
Nate Begeman030514c2006-04-11 19:29:21 +0000413 BuildMI(MBB, MBBI, PPC::ORI, 2, PPC::R0).addReg(PPC::R0)
414 .addImm(NegNumbytes & 0xFFFF);
415 BuildMI(MBB, MBBI, PPC::STWUX, 3).addReg(PPC::R1).addReg(PPC::R1)
416 .addReg(PPC::R0);
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000417 }
Nate Begemanae232e72005-11-06 09:00:38 +0000418
Jim Laskey52fa2442006-04-11 08:11:53 +0000419 if (DebugInfo && DebugInfo->hasInfo()) {
Jim Laskey41886992006-04-07 16:34:46 +0000420 std::vector<MachineMove *> &Moves = DebugInfo->getFrameMoves();
421 unsigned LabelID = DebugInfo->NextLabelID();
422
423 // Show update of SP.
424 MachineLocation Dst(MachineLocation::VirtualFP);
425 MachineLocation Src(MachineLocation::VirtualFP, NegNumbytes);
426 Moves.push_back(new MachineMove(LabelID, Dst, Src));
427
428 BuildMI(MBB, MBBI, PPC::DWARF_LABEL, 1).addSImm(LabelID);
429 }
430
Nate Begemanae232e72005-11-06 09:00:38 +0000431 // If there is a frame pointer, copy R1 (SP) into R31 (FP)
Chris Lattner4f91a4c2006-04-03 22:03:29 +0000432 if (HasFP) {
Chris Lattnerc6d48d32006-01-11 23:07:57 +0000433 BuildMI(MBB, MBBI, PPC::STW, 3)
434 .addReg(PPC::R31).addSImm(GPRSize).addReg(PPC::R1);
435 BuildMI(MBB, MBBI, PPC::OR4, 2, PPC::R31).addReg(PPC::R1).addReg(PPC::R1);
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000436 }
437}
438
Nate Begeman21e463b2005-10-16 05:39:50 +0000439void PPCRegisterInfo::emitEpilogue(MachineFunction &MF,
440 MachineBasicBlock &MBB) const {
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000441 MachineBasicBlock::iterator MBBI = prior(MBB.end());
Evan Cheng6da8d992006-01-09 18:28:21 +0000442 assert(MBBI->getOpcode() == PPC::BLR &&
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000443 "Can only insert epilog into returning blocks");
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000444
Nate Begeman030514c2006-04-11 19:29:21 +0000445 // Get alignment info so we know how to restore r1
446 const MachineFrameInfo *MFI = MF.getFrameInfo();
447 unsigned TargetAlign = MF.getTarget().getFrameInfo()->getStackAlignment();
448
Chris Lattner64da1722006-01-11 23:03:54 +0000449 // Get the number of bytes allocated from the FrameInfo.
Nate Begeman030514c2006-04-11 19:29:21 +0000450 unsigned NumBytes = MFI->getStackSize();
Chris Lattner64da1722006-01-11 23:03:54 +0000451 unsigned GPRSize = 4;
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000452
453 if (NumBytes != 0) {
Chris Lattner64da1722006-01-11 23:03:54 +0000454 // If this function has a frame pointer, load the saved stack pointer from
455 // its stack slot.
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000456 if (hasFP(MF)) {
Chris Lattner64da1722006-01-11 23:03:54 +0000457 BuildMI(MBB, MBBI, PPC::LWZ, 2, PPC::R31)
458 .addSImm(GPRSize).addReg(PPC::R31);
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000459 }
Chris Lattner64da1722006-01-11 23:03:54 +0000460
461 // The loaded (or persistent) stack pointer value is offseted by the 'stwu'
462 // on entry to the function. Add this offset back now.
Nate Begeman030514c2006-04-11 19:29:21 +0000463 if (NumBytes < 32768 && TargetAlign >= MFI->getMaxAlignment()) {
Chris Lattner64da1722006-01-11 23:03:54 +0000464 BuildMI(MBB, MBBI, PPC::ADDI, 2, PPC::R1)
465 .addReg(PPC::R1).addSImm(NumBytes);
466 } else {
Nate Begeman030514c2006-04-11 19:29:21 +0000467 BuildMI(MBB, MBBI, PPC::LWZ, 2, PPC::R1).addSImm(0).addReg(PPC::R1);
Chris Lattner64da1722006-01-11 23:03:54 +0000468 }
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000469 }
470}
471
Jim Laskey41886992006-04-07 16:34:46 +0000472unsigned PPCRegisterInfo::getRARegister() const {
473 return PPC::LR;
474}
475
Jim Laskeya9979182006-03-28 13:48:33 +0000476unsigned PPCRegisterInfo::getFrameRegister(MachineFunction &MF) const {
Jim Laskey41886992006-04-07 16:34:46 +0000477 return hasFP(MF) ? PPC::R31 : PPC::R1;
478}
479
480void PPCRegisterInfo::getInitialFrameState(std::vector<MachineMove *> &Moves)
481 const {
482 // Initial state is the frame pointer is R1.
483 MachineLocation Dst(MachineLocation::VirtualFP);
484 MachineLocation Src(PPC::R1, 0);
485 Moves.push_back(new MachineMove(0, Dst, Src));
Jim Laskeyf1d78e82006-03-23 18:12:57 +0000486}
487
Chris Lattner4c7b43b2005-10-14 23:37:35 +0000488#include "PPCGenRegisterInfo.inc"
Misha Brukmanf2ccb772004-08-17 04:55:41 +0000489