blob: 7e91bc38d42566bd20332ce547ba1fcd1d0996f2 [file] [log] [blame]
Jia Liu31d157a2012-02-18 12:03:15 +00001//===-- SparcFrameLowering.cpp - Sparc Frame Information ------------------===//
Anton Korobeynikov33464912010-11-15 00:06:54 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
Anton Korobeynikov16c29b52011-01-10 12:39:04 +000010// This file contains the Sparc implementation of TargetFrameLowering class.
Anton Korobeynikov33464912010-11-15 00:06:54 +000011//
12//===----------------------------------------------------------------------===//
13
Anton Korobeynikov16c29b52011-01-10 12:39:04 +000014#include "SparcFrameLowering.h"
Anton Korobeynikov33464912010-11-15 00:06:54 +000015#include "SparcInstrInfo.h"
16#include "SparcMachineFunctionInfo.h"
Anton Korobeynikov33464912010-11-15 00:06:54 +000017#include "llvm/CodeGen/MachineFrameInfo.h"
18#include "llvm/CodeGen/MachineFunction.h"
19#include "llvm/CodeGen/MachineInstrBuilder.h"
20#include "llvm/CodeGen/MachineModuleInfo.h"
21#include "llvm/CodeGen/MachineRegisterInfo.h"
Chandler Carruth0b8c9a82013-01-02 11:36:10 +000022#include "llvm/IR/DataLayout.h"
23#include "llvm/IR/Function.h"
Anton Korobeynikov33464912010-11-15 00:06:54 +000024#include "llvm/Support/CommandLine.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000025#include "llvm/Target/TargetOptions.h"
Anton Korobeynikov33464912010-11-15 00:06:54 +000026
27using namespace llvm;
28
Venkatraman Govindaraju53008692013-05-29 04:46:31 +000029static cl::opt<bool>
30DisableLeafProc("disable-sparc-leaf-proc",
Venkatraman Govindarajudd482262013-06-02 02:24:27 +000031 cl::init(false),
Venkatraman Govindaraju53008692013-05-29 04:46:31 +000032 cl::desc("Disable Sparc leaf procedure optimization."),
33 cl::Hidden);
34
35
Anton Korobeynikov16c29b52011-01-10 12:39:04 +000036void SparcFrameLowering::emitPrologue(MachineFunction &MF) const {
Venkatraman Govindaraju53008692013-05-29 04:46:31 +000037 SparcMachineFunctionInfo *FuncInfo = MF.getInfo<SparcMachineFunctionInfo>();
Venkatraman Govindaraju53008692013-05-29 04:46:31 +000038
Anton Korobeynikov33464912010-11-15 00:06:54 +000039 MachineBasicBlock &MBB = MF.front();
40 MachineFrameInfo *MFI = MF.getFrameInfo();
41 const SparcInstrInfo &TII =
42 *static_cast<const SparcInstrInfo*>(MF.getTarget().getInstrInfo());
43 MachineBasicBlock::iterator MBBI = MBB.begin();
44 DebugLoc dl = MBBI != MBB.end() ? MBBI->getDebugLoc() : DebugLoc();
45
46 // Get the number of bytes to allocate from the FrameInfo
47 int NumBytes = (int) MFI->getStackSize();
48
Venkatraman Govindaraju72ad17c2013-06-01 04:51:18 +000049 unsigned SAVEri = SP::SAVEri;
50 unsigned SAVErr = SP::SAVErr;
51 if (FuncInfo->isLeafProc()) {
52 if (NumBytes == 0)
53 return;
54 SAVEri = SP::ADDri;
55 SAVErr = SP::ADDrr;
Jakob Stoklund Olesen6ed92842013-04-09 04:37:47 +000056 }
Venkatraman Govindaraju72ad17c2013-06-01 04:51:18 +000057 NumBytes = - SubTarget.getAdjustedFrameSize(NumBytes);
Anton Korobeynikov33464912010-11-15 00:06:54 +000058
59 if (NumBytes >= -4096) {
Venkatraman Govindaraju72ad17c2013-06-01 04:51:18 +000060 BuildMI(MBB, MBBI, dl, TII.get(SAVEri), SP::O6)
Anton Korobeynikov33464912010-11-15 00:06:54 +000061 .addReg(SP::O6).addImm(NumBytes);
62 } else {
63 // Emit this the hard way. This clobbers G1 which we always know is
64 // available here.
65 unsigned OffHi = (unsigned)NumBytes >> 10U;
66 BuildMI(MBB, MBBI, dl, TII.get(SP::SETHIi), SP::G1).addImm(OffHi);
67 // Emit G1 = G1 + I6
68 BuildMI(MBB, MBBI, dl, TII.get(SP::ORri), SP::G1)
69 .addReg(SP::G1).addImm(NumBytes & ((1 << 10)-1));
Venkatraman Govindaraju72ad17c2013-06-01 04:51:18 +000070 BuildMI(MBB, MBBI, dl, TII.get(SAVErr), SP::O6)
Anton Korobeynikov33464912010-11-15 00:06:54 +000071 .addReg(SP::O6).addReg(SP::G1);
72 }
73}
74
Eli Bendersky700ed802013-02-21 20:05:00 +000075void SparcFrameLowering::
76eliminateCallFramePseudoInstr(MachineFunction &MF, MachineBasicBlock &MBB,
77 MachineBasicBlock::iterator I) const {
Jakob Stoklund Olesen6ed92842013-04-09 04:37:47 +000078 if (!hasReservedCallFrame(MF)) {
79 MachineInstr &MI = *I;
80 DebugLoc DL = MI.getDebugLoc();
81 int Size = MI.getOperand(0).getImm();
82 if (MI.getOpcode() == SP::ADJCALLSTACKDOWN)
83 Size = -Size;
84 const SparcInstrInfo &TII =
85 *static_cast<const SparcInstrInfo*>(MF.getTarget().getInstrInfo());
86 if (Size)
87 BuildMI(MBB, I, DL, TII.get(SP::ADDri), SP::O6).addReg(SP::O6)
88 .addImm(Size);
89 }
Eli Bendersky700ed802013-02-21 20:05:00 +000090 MBB.erase(I);
91}
92
93
Anton Korobeynikov16c29b52011-01-10 12:39:04 +000094void SparcFrameLowering::emitEpilogue(MachineFunction &MF,
Anton Korobeynikov33464912010-11-15 00:06:54 +000095 MachineBasicBlock &MBB) const {
Venkatraman Govindaraju53008692013-05-29 04:46:31 +000096 SparcMachineFunctionInfo *FuncInfo = MF.getInfo<SparcMachineFunctionInfo>();
Jakob Stoklund Olesen4f28c1c2011-01-13 21:28:52 +000097 MachineBasicBlock::iterator MBBI = MBB.getLastNonDebugInstr();
Anton Korobeynikov33464912010-11-15 00:06:54 +000098 const SparcInstrInfo &TII =
99 *static_cast<const SparcInstrInfo*>(MF.getTarget().getInstrInfo());
100 DebugLoc dl = MBBI->getDebugLoc();
101 assert(MBBI->getOpcode() == SP::RETL &&
102 "Can only put epilog before 'retl' instruction!");
Venkatraman Govindaraju72ad17c2013-06-01 04:51:18 +0000103 if (!FuncInfo->isLeafProc()) {
104 BuildMI(MBB, MBBI, dl, TII.get(SP::RESTORErr), SP::G0).addReg(SP::G0)
105 .addReg(SP::G0);
106 return;
107 }
108 MachineFrameInfo *MFI = MF.getFrameInfo();
109
110 int NumBytes = (int) MFI->getStackSize();
111 if (NumBytes == 0)
112 return;
113
114 NumBytes = SubTarget.getAdjustedFrameSize(NumBytes);
115
116 if (NumBytes < 4096) {
117 BuildMI(MBB, MBBI, dl, TII.get(SP::ADDri), SP::O6)
118 .addReg(SP::O6).addImm(NumBytes);
119 } else {
120 // Emit this the hard way. This clobbers G1 which we always know is
121 // available here.
122 unsigned OffHi = (unsigned)NumBytes >> 10U;
123 BuildMI(MBB, MBBI, dl, TII.get(SP::SETHIi), SP::G1).addImm(OffHi);
124 // Emit G1 = G1 + I6
125 BuildMI(MBB, MBBI, dl, TII.get(SP::ORri), SP::G1)
126 .addReg(SP::G1).addImm(NumBytes & ((1 << 10)-1));
127 BuildMI(MBB, MBBI, dl, TII.get(SP::ADDrr), SP::O6)
128 .addReg(SP::O6).addReg(SP::G1);
129 }
Anton Korobeynikov33464912010-11-15 00:06:54 +0000130}
Venkatraman Govindarajua65d3372013-05-17 15:14:34 +0000131
132bool SparcFrameLowering::hasReservedCallFrame(const MachineFunction &MF) const {
Venkatraman Govindaraju1e06bcb2013-06-04 18:33:25 +0000133 // Reserve call frame if there are no variable sized objects on the stack.
Venkatraman Govindarajua65d3372013-05-17 15:14:34 +0000134 return !MF.getFrameInfo()->hasVarSizedObjects();
135}
136
137// hasFP - Return true if the specified function should have a dedicated frame
138// pointer register. This is true if the function has variable sized allocas or
139// if frame pointer elimination is disabled.
140bool SparcFrameLowering::hasFP(const MachineFunction &MF) const {
141 const MachineFrameInfo *MFI = MF.getFrameInfo();
142 return MF.getTarget().Options.DisableFramePointerElim(MF) ||
143 MFI->hasVarSizedObjects() || MFI->isFrameAddressTaken();
144}
145
Venkatraman Govindaraju53008692013-05-29 04:46:31 +0000146
NAKAMURA Takumid1c180e2013-05-29 12:10:42 +0000147static bool LLVM_ATTRIBUTE_UNUSED verifyLeafProcRegUse(MachineRegisterInfo *MRI)
Venkatraman Govindaraju53008692013-05-29 04:46:31 +0000148{
149
150 for (unsigned reg = SP::I0; reg <= SP::I7; ++reg)
151 if (MRI->isPhysRegUsed(reg))
152 return false;
153
154 for (unsigned reg = SP::L0; reg <= SP::L7; ++reg)
155 if (MRI->isPhysRegUsed(reg))
156 return false;
157
158 return true;
159}
160
161bool SparcFrameLowering::isLeafProc(MachineFunction &MF) const
162{
163
164 MachineRegisterInfo &MRI = MF.getRegInfo();
165 MachineFrameInfo *MFI = MF.getFrameInfo();
166
167 return !(MFI->hasCalls() // has calls
168 || MRI.isPhysRegUsed(SP::L0) // Too many registers needed
169 || MRI.isPhysRegUsed(SP::O6) // %SP is used
170 || hasFP(MF)); // need %FP
171}
172
173void SparcFrameLowering::remapRegsForLeafProc(MachineFunction &MF) const {
174
175 MachineRegisterInfo &MRI = MF.getRegInfo();
176
Venkatraman Govindaraju1e06bcb2013-06-04 18:33:25 +0000177 // Remap %i[0-7] to %o[0-7].
Venkatraman Govindaraju53008692013-05-29 04:46:31 +0000178 for (unsigned reg = SP::I0; reg <= SP::I7; ++reg) {
179 if (!MRI.isPhysRegUsed(reg))
180 continue;
181 unsigned mapped_reg = (reg - SP::I0 + SP::O0);
182 assert(!MRI.isPhysRegUsed(mapped_reg));
183
Venkatraman Govindaraju1e06bcb2013-06-04 18:33:25 +0000184 // Replace I register with O register.
Venkatraman Govindaraju53008692013-05-29 04:46:31 +0000185 MRI.replaceRegWith(reg, mapped_reg);
186
Venkatraman Govindaraju1e06bcb2013-06-04 18:33:25 +0000187 // Mark the reg unused.
Venkatraman Govindaraju53008692013-05-29 04:46:31 +0000188 MRI.setPhysRegUnused(reg);
189 }
190
191 assert(verifyLeafProcRegUse(&MRI));
192#ifdef XDEBUG
193 MF.verify(0, "After LeafProc Remapping");
194#endif
195}
196
197void SparcFrameLowering::processFunctionBeforeCalleeSavedScan
198 (MachineFunction &MF, RegScavenger *RS) const {
199
200 if (!DisableLeafProc && isLeafProc(MF)) {
201 SparcMachineFunctionInfo *MFI = MF.getInfo<SparcMachineFunctionInfo>();
202 MFI->setLeafProc(true);
203
204 remapRegsForLeafProc(MF);
205 }
206
207}