blob: bf1de7f12930f0eb5e8b3eb1984e24878043e49a [file] [log] [blame]
Jia Liub22310f2012-02-18 12:03:15 +00001//===-- SparcInstrInfo.cpp - Sparc Instruction Information ----------------===//
Chris Lattner158e1f52006-02-05 05:50:24 +00002//
3// The LLVM Compiler Infrastructure
4//
Chris Lattnerf3ebc3f2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Chris Lattner158e1f52006-02-05 05:50:24 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file contains the Sparc implementation of the TargetInstrInfo class.
11//
12//===----------------------------------------------------------------------===//
13
14#include "SparcInstrInfo.h"
15#include "Sparc.h"
Evan Chengc5e6d2f2011-07-11 03:57:24 +000016#include "SparcMachineFunctionInfo.h"
17#include "SparcSubtarget.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000018#include "llvm/ADT/STLExtras.h"
19#include "llvm/ADT/SmallVector.h"
Venkatraman Govindaraju6f0b4502013-06-26 12:40:16 +000020#include "llvm/CodeGen/MachineFrameInfo.h"
Chris Lattner158e1f52006-02-05 05:50:24 +000021#include "llvm/CodeGen/MachineInstrBuilder.h"
Venkatraman Govindaraju6f0b4502013-06-26 12:40:16 +000022#include "llvm/CodeGen/MachineMemOperand.h"
Chris Lattner840c7002009-09-15 17:46:24 +000023#include "llvm/CodeGen/MachineRegisterInfo.h"
Torok Edwin56d06592009-07-11 20:10:48 +000024#include "llvm/Support/ErrorHandling.h"
Evan Cheng2bb40352011-08-24 18:08:43 +000025#include "llvm/Support/TargetRegistry.h"
Evan Cheng1e210d02011-06-28 20:07:07 +000026
Chris Lattner158e1f52006-02-05 05:50:24 +000027using namespace llvm;
28
Chandler Carruthd174b722014-04-22 02:03:14 +000029#define GET_INSTRINFO_CTOR_DTOR
30#include "SparcGenInstrInfo.inc"
Juergen Ributzkad12ccbd2013-11-19 00:57:56 +000031
32// Pin the vtable to this file.
33void SparcInstrInfo::anchor() {}
34
Chris Lattner158e1f52006-02-05 05:50:24 +000035SparcInstrInfo::SparcInstrInfo(SparcSubtarget &ST)
Eric Christopher8bb838a2015-03-12 05:55:26 +000036 : SparcGenInstrInfo(SP::ADJCALLSTACKDOWN, SP::ADJCALLSTACKUP), RI(),
37 Subtarget(ST) {}
Chris Lattner158e1f52006-02-05 05:50:24 +000038
Chris Lattner158e1f52006-02-05 05:50:24 +000039/// isLoadFromStackSlot - If the specified machine instruction is a direct
40/// load from a stack slot, return the virtual or physical register number of
41/// the destination along with the FrameIndex of the loaded stack slot. If
42/// not, return 0. This predicate must return 0 if the instruction has
43/// any side effects other than loading from the stack slot.
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +000044unsigned SparcInstrInfo::isLoadFromStackSlot(const MachineInstr &MI,
Chris Lattner158e1f52006-02-05 05:50:24 +000045 int &FrameIndex) const {
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +000046 if (MI.getOpcode() == SP::LDri || MI.getOpcode() == SP::LDXri ||
47 MI.getOpcode() == SP::LDFri || MI.getOpcode() == SP::LDDFri ||
48 MI.getOpcode() == SP::LDQFri) {
49 if (MI.getOperand(1).isFI() && MI.getOperand(2).isImm() &&
50 MI.getOperand(2).getImm() == 0) {
51 FrameIndex = MI.getOperand(1).getIndex();
52 return MI.getOperand(0).getReg();
Chris Lattner158e1f52006-02-05 05:50:24 +000053 }
54 }
55 return 0;
56}
57
58/// isStoreToStackSlot - If the specified machine instruction is a direct
59/// store to a stack slot, return the virtual or physical register number of
60/// the source reg along with the FrameIndex of the loaded stack slot. If
61/// not, return 0. This predicate must return 0 if the instruction has
62/// any side effects other than storing to the stack slot.
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +000063unsigned SparcInstrInfo::isStoreToStackSlot(const MachineInstr &MI,
Chris Lattner158e1f52006-02-05 05:50:24 +000064 int &FrameIndex) const {
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +000065 if (MI.getOpcode() == SP::STri || MI.getOpcode() == SP::STXri ||
66 MI.getOpcode() == SP::STFri || MI.getOpcode() == SP::STDFri ||
67 MI.getOpcode() == SP::STQFri) {
68 if (MI.getOperand(0).isFI() && MI.getOperand(1).isImm() &&
69 MI.getOperand(1).getImm() == 0) {
70 FrameIndex = MI.getOperand(0).getIndex();
71 return MI.getOperand(2).getReg();
Chris Lattner158e1f52006-02-05 05:50:24 +000072 }
73 }
74 return 0;
75}
Chris Lattnerb7267bd2006-10-24 16:39:19 +000076
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +000077static bool IsIntegerCC(unsigned CC)
78{
79 return (CC <= SPCC::ICC_VC);
80}
81
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +000082static SPCC::CondCodes GetOppositeBranchCondition(SPCC::CondCodes CC)
83{
84 switch(CC) {
Venkatraman Govindaraju22868742014-03-01 20:08:48 +000085 case SPCC::ICC_A: return SPCC::ICC_N;
86 case SPCC::ICC_N: return SPCC::ICC_A;
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +000087 case SPCC::ICC_NE: return SPCC::ICC_E;
88 case SPCC::ICC_E: return SPCC::ICC_NE;
89 case SPCC::ICC_G: return SPCC::ICC_LE;
90 case SPCC::ICC_LE: return SPCC::ICC_G;
91 case SPCC::ICC_GE: return SPCC::ICC_L;
92 case SPCC::ICC_L: return SPCC::ICC_GE;
93 case SPCC::ICC_GU: return SPCC::ICC_LEU;
94 case SPCC::ICC_LEU: return SPCC::ICC_GU;
95 case SPCC::ICC_CC: return SPCC::ICC_CS;
96 case SPCC::ICC_CS: return SPCC::ICC_CC;
97 case SPCC::ICC_POS: return SPCC::ICC_NEG;
98 case SPCC::ICC_NEG: return SPCC::ICC_POS;
99 case SPCC::ICC_VC: return SPCC::ICC_VS;
100 case SPCC::ICC_VS: return SPCC::ICC_VC;
101
Venkatraman Govindaraju22868742014-03-01 20:08:48 +0000102 case SPCC::FCC_A: return SPCC::FCC_N;
103 case SPCC::FCC_N: return SPCC::FCC_A;
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +0000104 case SPCC::FCC_U: return SPCC::FCC_O;
105 case SPCC::FCC_O: return SPCC::FCC_U;
Venkatraman Govindaraju84f15232013-10-04 23:54:30 +0000106 case SPCC::FCC_G: return SPCC::FCC_ULE;
107 case SPCC::FCC_LE: return SPCC::FCC_UG;
108 case SPCC::FCC_UG: return SPCC::FCC_LE;
109 case SPCC::FCC_ULE: return SPCC::FCC_G;
110 case SPCC::FCC_L: return SPCC::FCC_UGE;
111 case SPCC::FCC_GE: return SPCC::FCC_UL;
112 case SPCC::FCC_UL: return SPCC::FCC_GE;
113 case SPCC::FCC_UGE: return SPCC::FCC_L;
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +0000114 case SPCC::FCC_LG: return SPCC::FCC_UE;
115 case SPCC::FCC_UE: return SPCC::FCC_LG;
116 case SPCC::FCC_NE: return SPCC::FCC_E;
117 case SPCC::FCC_E: return SPCC::FCC_NE;
Chris Dewhurst52adb572016-03-09 18:20:21 +0000118
119 case SPCC::CPCC_A: return SPCC::CPCC_N;
120 case SPCC::CPCC_N: return SPCC::CPCC_A;
Justin Bognercd1d5aa2016-08-17 20:30:52 +0000121 case SPCC::CPCC_3: LLVM_FALLTHROUGH;
122 case SPCC::CPCC_2: LLVM_FALLTHROUGH;
123 case SPCC::CPCC_23: LLVM_FALLTHROUGH;
124 case SPCC::CPCC_1: LLVM_FALLTHROUGH;
125 case SPCC::CPCC_13: LLVM_FALLTHROUGH;
126 case SPCC::CPCC_12: LLVM_FALLTHROUGH;
127 case SPCC::CPCC_123: LLVM_FALLTHROUGH;
128 case SPCC::CPCC_0: LLVM_FALLTHROUGH;
129 case SPCC::CPCC_03: LLVM_FALLTHROUGH;
130 case SPCC::CPCC_02: LLVM_FALLTHROUGH;
131 case SPCC::CPCC_023: LLVM_FALLTHROUGH;
132 case SPCC::CPCC_01: LLVM_FALLTHROUGH;
133 case SPCC::CPCC_013: LLVM_FALLTHROUGH;
Chris Dewhurst52adb572016-03-09 18:20:21 +0000134 case SPCC::CPCC_012:
135 // "Opposite" code is not meaningful, as we don't know
136 // what the CoProc condition means here. The cond-code will
137 // only be used in inline assembler, so this code should
138 // not be reached in a normal compilation pass.
139 llvm_unreachable("Meaningless inversion of co-processor cond code");
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +0000140 }
Benjamin Kramer233149c2012-01-10 20:47:20 +0000141 llvm_unreachable("Invalid cond code");
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +0000142}
143
James Y Knight76994942016-01-13 04:44:14 +0000144static bool isUncondBranchOpcode(int Opc) { return Opc == SP::BA; }
145
146static bool isCondBranchOpcode(int Opc) {
147 return Opc == SP::FBCOND || Opc == SP::BCOND;
148}
149
150static bool isIndirectBranchOpcode(int Opc) {
151 return Opc == SP::BINDrr || Opc == SP::BINDri;
152}
153
154static void parseCondBranch(MachineInstr *LastInst, MachineBasicBlock *&Target,
155 SmallVectorImpl<MachineOperand> &Cond) {
156 Cond.push_back(MachineOperand::CreateImm(LastInst->getOperand(1).getImm()));
157 Target = LastInst->getOperand(0).getMBB();
158}
159
Jacques Pienaar71c30a12016-07-15 14:41:04 +0000160bool SparcInstrInfo::analyzeBranch(MachineBasicBlock &MBB,
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +0000161 MachineBasicBlock *&TBB,
162 MachineBasicBlock *&FBB,
163 SmallVectorImpl<MachineOperand> &Cond,
James Y Knight76994942016-01-13 04:44:14 +0000164 bool AllowModify) const {
165 MachineBasicBlock::iterator I = MBB.getLastNonDebugInstr();
166 if (I == MBB.end())
167 return false;
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +0000168
Duncan P. N. Exon Smith6307eb52016-02-23 02:46:52 +0000169 if (!isUnpredicatedTerminator(*I))
James Y Knight76994942016-01-13 04:44:14 +0000170 return false;
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +0000171
James Y Knight76994942016-01-13 04:44:14 +0000172 // Get the last instruction in the block.
Duncan P. N. Exon Smith811f2b32016-07-08 19:41:40 +0000173 MachineInstr *LastInst = &*I;
James Y Knight76994942016-01-13 04:44:14 +0000174 unsigned LastOpc = LastInst->getOpcode();
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +0000175
James Y Knight76994942016-01-13 04:44:14 +0000176 // If there is only one terminator instruction, process it.
Duncan P. N. Exon Smith6307eb52016-02-23 02:46:52 +0000177 if (I == MBB.begin() || !isUnpredicatedTerminator(*--I)) {
James Y Knight76994942016-01-13 04:44:14 +0000178 if (isUncondBranchOpcode(LastOpc)) {
179 TBB = LastInst->getOperand(0).getMBB();
180 return false;
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +0000181 }
James Y Knight76994942016-01-13 04:44:14 +0000182 if (isCondBranchOpcode(LastOpc)) {
183 // Block ends with fall-through condbranch.
184 parseCondBranch(LastInst, TBB, Cond);
185 return false;
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +0000186 }
James Y Knight76994942016-01-13 04:44:14 +0000187 return true; // Can't handle indirect branch.
188 }
189
190 // Get the instruction before it if it is a terminator.
Duncan P. N. Exon Smith811f2b32016-07-08 19:41:40 +0000191 MachineInstr *SecondLastInst = &*I;
James Y Knight76994942016-01-13 04:44:14 +0000192 unsigned SecondLastOpc = SecondLastInst->getOpcode();
193
194 // If AllowModify is true and the block ends with two or more unconditional
195 // branches, delete all but the first unconditional branch.
196 if (AllowModify && isUncondBranchOpcode(LastOpc)) {
197 while (isUncondBranchOpcode(SecondLastOpc)) {
198 LastInst->eraseFromParent();
199 LastInst = SecondLastInst;
200 LastOpc = LastInst->getOpcode();
Duncan P. N. Exon Smith6307eb52016-02-23 02:46:52 +0000201 if (I == MBB.begin() || !isUnpredicatedTerminator(*--I)) {
James Y Knight76994942016-01-13 04:44:14 +0000202 // Return now the only terminator is an unconditional branch.
203 TBB = LastInst->getOperand(0).getMBB();
204 return false;
205 } else {
Duncan P. N. Exon Smith811f2b32016-07-08 19:41:40 +0000206 SecondLastInst = &*I;
James Y Knight76994942016-01-13 04:44:14 +0000207 SecondLastOpc = SecondLastInst->getOpcode();
208 }
209 }
210 }
211
212 // If there are three terminators, we don't know what sort of block this is.
Duncan P. N. Exon Smith6307eb52016-02-23 02:46:52 +0000213 if (SecondLastInst && I != MBB.begin() && isUnpredicatedTerminator(*--I))
James Y Knight76994942016-01-13 04:44:14 +0000214 return true;
215
216 // If the block ends with a B and a Bcc, handle it.
217 if (isCondBranchOpcode(SecondLastOpc) && isUncondBranchOpcode(LastOpc)) {
218 parseCondBranch(SecondLastInst, TBB, Cond);
219 FBB = LastInst->getOperand(0).getMBB();
220 return false;
221 }
222
223 // If the block ends with two unconditional branches, handle it. The second
224 // one is not executed.
225 if (isUncondBranchOpcode(SecondLastOpc) && isUncondBranchOpcode(LastOpc)) {
226 TBB = SecondLastInst->getOperand(0).getMBB();
227 return false;
228 }
229
230 // ...likewise if it ends with an indirect branch followed by an unconditional
231 // branch.
232 if (isIndirectBranchOpcode(SecondLastOpc) && isUncondBranchOpcode(LastOpc)) {
233 I = LastInst;
234 if (AllowModify)
235 I->eraseFromParent();
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +0000236 return true;
237 }
James Y Knight76994942016-01-13 04:44:14 +0000238
239 // Otherwise, can't handle this.
240 return true;
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +0000241}
242
Benjamin Kramerbdc49562016-06-12 15:39:02 +0000243unsigned SparcInstrInfo::InsertBranch(MachineBasicBlock &MBB,
244 MachineBasicBlock *TBB,
245 MachineBasicBlock *FBB,
246 ArrayRef<MachineOperand> Cond,
247 const DebugLoc &DL) const {
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +0000248 assert(TBB && "InsertBranch must not be told to insert a fallthrough");
249 assert((Cond.size() == 1 || Cond.size() == 0) &&
250 "Sparc branch conditions should have one component!");
251
252 if (Cond.empty()) {
253 assert(!FBB && "Unconditional branch with multiple successors!");
254 BuildMI(&MBB, DL, get(SP::BA)).addMBB(TBB);
255 return 1;
256 }
257
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000258 // Conditional branch
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +0000259 unsigned CC = Cond[0].getImm();
260
261 if (IsIntegerCC(CC))
262 BuildMI(&MBB, DL, get(SP::BCOND)).addMBB(TBB).addImm(CC);
263 else
264 BuildMI(&MBB, DL, get(SP::FBCOND)).addMBB(TBB).addImm(CC);
265 if (!FBB)
266 return 1;
267
268 BuildMI(&MBB, DL, get(SP::BA)).addMBB(FBB);
269 return 2;
270}
271
272unsigned SparcInstrInfo::RemoveBranch(MachineBasicBlock &MBB) const
273{
274 MachineBasicBlock::iterator I = MBB.end();
275 unsigned Count = 0;
276 while (I != MBB.begin()) {
277 --I;
278
279 if (I->isDebugValue())
280 continue;
281
282 if (I->getOpcode() != SP::BA
283 && I->getOpcode() != SP::BCOND
284 && I->getOpcode() != SP::FBCOND)
285 break; // Not a branch
286
287 I->eraseFromParent();
288 I = MBB.end();
289 ++Count;
290 }
291 return Count;
Rafael Espindolaed328832006-10-24 17:07:11 +0000292}
Owen Anderson7a73ae92007-12-31 06:32:00 +0000293
James Y Knight76994942016-01-13 04:44:14 +0000294bool SparcInstrInfo::ReverseBranchCondition(
295 SmallVectorImpl<MachineOperand> &Cond) const {
296 assert(Cond.size() == 1);
297 SPCC::CondCodes CC = static_cast<SPCC::CondCodes>(Cond[0].getImm());
298 Cond[0].setImm(GetOppositeBranchCondition(CC));
299 return false;
300}
301
Jakob Stoklund Olesen976b7b62010-07-11 07:56:09 +0000302void SparcInstrInfo::copyPhysReg(MachineBasicBlock &MBB,
Benjamin Kramerbdc49562016-06-12 15:39:02 +0000303 MachineBasicBlock::iterator I,
304 const DebugLoc &DL, unsigned DestReg,
305 unsigned SrcReg, bool KillSrc) const {
Venkatraman Govindaraju01cb19f2013-09-02 18:32:45 +0000306 unsigned numSubRegs = 0;
307 unsigned movOpc = 0;
Craig Topper062a2ba2014-04-25 05:30:21 +0000308 const unsigned *subRegIdx = nullptr;
James Y Knight3994be82015-08-10 19:11:39 +0000309 bool ExtraG0 = false;
Venkatraman Govindaraju01cb19f2013-09-02 18:32:45 +0000310
James Y Knight3994be82015-08-10 19:11:39 +0000311 const unsigned DW_SubRegsIdx[] = { SP::sub_even, SP::sub_odd };
Venkatraman Govindaraju01cb19f2013-09-02 18:32:45 +0000312 const unsigned DFP_FP_SubRegsIdx[] = { SP::sub_even, SP::sub_odd };
313 const unsigned QFP_DFP_SubRegsIdx[] = { SP::sub_even64, SP::sub_odd64 };
314 const unsigned QFP_FP_SubRegsIdx[] = { SP::sub_even, SP::sub_odd,
315 SP::sub_odd64_then_sub_even,
316 SP::sub_odd64_then_sub_odd };
317
Jakob Stoklund Olesen976b7b62010-07-11 07:56:09 +0000318 if (SP::IntRegsRegClass.contains(DestReg, SrcReg))
319 BuildMI(MBB, I, DL, get(SP::ORrr), DestReg).addReg(SP::G0)
320 .addReg(SrcReg, getKillRegState(KillSrc));
James Y Knight3994be82015-08-10 19:11:39 +0000321 else if (SP::IntPairRegClass.contains(DestReg, SrcReg)) {
322 subRegIdx = DW_SubRegsIdx;
323 numSubRegs = 2;
324 movOpc = SP::ORrr;
325 ExtraG0 = true;
326 } else if (SP::FPRegsRegClass.contains(DestReg, SrcReg))
Jakob Stoklund Olesen976b7b62010-07-11 07:56:09 +0000327 BuildMI(MBB, I, DL, get(SP::FMOVS), DestReg)
328 .addReg(SrcReg, getKillRegState(KillSrc));
Venkatraman Govindaraju7dae9ce2013-06-08 15:32:59 +0000329 else if (SP::DFPRegsRegClass.contains(DestReg, SrcReg)) {
330 if (Subtarget.isV9()) {
331 BuildMI(MBB, I, DL, get(SP::FMOVD), DestReg)
332 .addReg(SrcReg, getKillRegState(KillSrc));
333 } else {
334 // Use two FMOVS instructions.
Venkatraman Govindaraju01cb19f2013-09-02 18:32:45 +0000335 subRegIdx = DFP_FP_SubRegsIdx;
336 numSubRegs = 2;
337 movOpc = SP::FMOVS;
338 }
339 } else if (SP::QFPRegsRegClass.contains(DestReg, SrcReg)) {
340 if (Subtarget.isV9()) {
341 if (Subtarget.hasHardQuad()) {
342 BuildMI(MBB, I, DL, get(SP::FMOVQ), DestReg)
343 .addReg(SrcReg, getKillRegState(KillSrc));
344 } else {
345 // Use two FMOVD instructions.
346 subRegIdx = QFP_DFP_SubRegsIdx;
347 numSubRegs = 2;
348 movOpc = SP::FMOVD;
Venkatraman Govindaraju7dae9ce2013-06-08 15:32:59 +0000349 }
Venkatraman Govindaraju01cb19f2013-09-02 18:32:45 +0000350 } else {
351 // Use four FMOVS instructions.
352 subRegIdx = QFP_FP_SubRegsIdx;
353 numSubRegs = 4;
354 movOpc = SP::FMOVS;
Venkatraman Govindaraju7dae9ce2013-06-08 15:32:59 +0000355 }
James Y Knightf238d172015-07-08 16:25:12 +0000356 } else if (SP::ASRRegsRegClass.contains(DestReg) &&
357 SP::IntRegsRegClass.contains(SrcReg)) {
358 BuildMI(MBB, I, DL, get(SP::WRASRrr), DestReg)
359 .addReg(SP::G0)
360 .addReg(SrcReg, getKillRegState(KillSrc));
361 } else if (SP::IntRegsRegClass.contains(DestReg) &&
362 SP::ASRRegsRegClass.contains(SrcReg)) {
363 BuildMI(MBB, I, DL, get(SP::RDASR), DestReg)
364 .addReg(SrcReg, getKillRegState(KillSrc));
Venkatraman Govindaraju7dae9ce2013-06-08 15:32:59 +0000365 } else
Jakob Stoklund Olesen976b7b62010-07-11 07:56:09 +0000366 llvm_unreachable("Impossible reg-to-reg copy");
Venkatraman Govindaraju01cb19f2013-09-02 18:32:45 +0000367
Craig Topper062a2ba2014-04-25 05:30:21 +0000368 if (numSubRegs == 0 || subRegIdx == nullptr || movOpc == 0)
Venkatraman Govindaraju01cb19f2013-09-02 18:32:45 +0000369 return;
370
371 const TargetRegisterInfo *TRI = &getRegisterInfo();
Craig Topper062a2ba2014-04-25 05:30:21 +0000372 MachineInstr *MovMI = nullptr;
Venkatraman Govindaraju01cb19f2013-09-02 18:32:45 +0000373
374 for (unsigned i = 0; i != numSubRegs; ++i) {
375 unsigned Dst = TRI->getSubReg(DestReg, subRegIdx[i]);
376 unsigned Src = TRI->getSubReg(SrcReg, subRegIdx[i]);
377 assert(Dst && Src && "Bad sub-register");
378
James Y Knight3994be82015-08-10 19:11:39 +0000379 MachineInstrBuilder MIB = BuildMI(MBB, I, DL, get(movOpc), Dst);
380 if (ExtraG0)
381 MIB.addReg(SP::G0);
382 MIB.addReg(Src);
383 MovMI = MIB.getInstr();
Venkatraman Govindaraju01cb19f2013-09-02 18:32:45 +0000384 }
385 // Add implicit super-register defs and kills to the last MovMI.
386 MovMI->addRegisterDefined(DestReg, TRI);
387 if (KillSrc)
388 MovMI->addRegisterKilled(SrcReg, TRI);
Owen Anderson7a73ae92007-12-31 06:32:00 +0000389}
Owen Andersoneee14602008-01-01 21:11:32 +0000390
391void SparcInstrInfo::
392storeRegToStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator I,
393 unsigned SrcReg, bool isKill, int FI,
Evan Chengefb126a2010-05-06 19:06:44 +0000394 const TargetRegisterClass *RC,
395 const TargetRegisterInfo *TRI) const {
Chris Lattner6f306d72010-04-02 20:16:16 +0000396 DebugLoc DL;
Bill Wendlingf6d609a2009-02-12 00:02:55 +0000397 if (I != MBB.end()) DL = I->getDebugLoc();
398
Venkatraman Govindaraju6f0b4502013-06-26 12:40:16 +0000399 MachineFunction *MF = MBB.getParent();
Matthias Braun941a7052016-07-28 18:40:00 +0000400 const MachineFrameInfo &MFI = MF->getFrameInfo();
Alex Lorenze40c8a22015-08-11 23:09:45 +0000401 MachineMemOperand *MMO = MF->getMachineMemOperand(
402 MachinePointerInfo::getFixedStack(*MF, FI), MachineMemOperand::MOStore,
403 MFI.getObjectSize(FI), MFI.getObjectAlignment(FI));
Venkatraman Govindaraju6f0b4502013-06-26 12:40:16 +0000404
Owen Andersoneee14602008-01-01 21:11:32 +0000405 // On the order of operands here: think "[FrameIdx + 0] = SrcReg".
James Y Knight3994be82015-08-10 19:11:39 +0000406 if (RC == &SP::I64RegsRegClass)
Jakob Stoklund Olesenc7bc5fb2013-05-20 00:53:25 +0000407 BuildMI(MBB, I, DL, get(SP::STXri)).addFrameIndex(FI).addImm(0)
Venkatraman Govindaraju6f0b4502013-06-26 12:40:16 +0000408 .addReg(SrcReg, getKillRegState(isKill)).addMemOperand(MMO);
Jakob Stoklund Olesenc7bc5fb2013-05-20 00:53:25 +0000409 else if (RC == &SP::IntRegsRegClass)
Bill Wendlingf6d609a2009-02-12 00:02:55 +0000410 BuildMI(MBB, I, DL, get(SP::STri)).addFrameIndex(FI).addImm(0)
Venkatraman Govindaraju6f0b4502013-06-26 12:40:16 +0000411 .addReg(SrcReg, getKillRegState(isKill)).addMemOperand(MMO);
James Y Knight3994be82015-08-10 19:11:39 +0000412 else if (RC == &SP::IntPairRegClass)
413 BuildMI(MBB, I, DL, get(SP::STDri)).addFrameIndex(FI).addImm(0)
414 .addReg(SrcReg, getKillRegState(isKill)).addMemOperand(MMO);
Craig Topperabadc662012-04-20 06:31:50 +0000415 else if (RC == &SP::FPRegsRegClass)
Bill Wendlingf6d609a2009-02-12 00:02:55 +0000416 BuildMI(MBB, I, DL, get(SP::STFri)).addFrameIndex(FI).addImm(0)
Venkatraman Govindaraju6f0b4502013-06-26 12:40:16 +0000417 .addReg(SrcReg, getKillRegState(isKill)).addMemOperand(MMO);
Venkatraman Govindaraju01cb19f2013-09-02 18:32:45 +0000418 else if (SP::DFPRegsRegClass.hasSubClassEq(RC))
Bill Wendlingf6d609a2009-02-12 00:02:55 +0000419 BuildMI(MBB, I, DL, get(SP::STDFri)).addFrameIndex(FI).addImm(0)
Venkatraman Govindaraju6f0b4502013-06-26 12:40:16 +0000420 .addReg(SrcReg, getKillRegState(isKill)).addMemOperand(MMO);
Venkatraman Govindaraju01cb19f2013-09-02 18:32:45 +0000421 else if (SP::QFPRegsRegClass.hasSubClassEq(RC))
422 // Use STQFri irrespective of its legality. If STQ is not legal, it will be
423 // lowered into two STDs in eliminateFrameIndex.
424 BuildMI(MBB, I, DL, get(SP::STQFri)).addFrameIndex(FI).addImm(0)
425 .addReg(SrcReg, getKillRegState(isKill)).addMemOperand(MMO);
Owen Andersoneee14602008-01-01 21:11:32 +0000426 else
Torok Edwinfbcc6632009-07-14 16:55:14 +0000427 llvm_unreachable("Can't store this register to stack slot");
Owen Andersoneee14602008-01-01 21:11:32 +0000428}
429
Owen Andersoneee14602008-01-01 21:11:32 +0000430void SparcInstrInfo::
431loadRegFromStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator I,
432 unsigned DestReg, int FI,
Evan Chengefb126a2010-05-06 19:06:44 +0000433 const TargetRegisterClass *RC,
434 const TargetRegisterInfo *TRI) const {
Chris Lattner6f306d72010-04-02 20:16:16 +0000435 DebugLoc DL;
Bill Wendlingf6d609a2009-02-12 00:02:55 +0000436 if (I != MBB.end()) DL = I->getDebugLoc();
437
Venkatraman Govindaraju6f0b4502013-06-26 12:40:16 +0000438 MachineFunction *MF = MBB.getParent();
Matthias Braun941a7052016-07-28 18:40:00 +0000439 const MachineFrameInfo &MFI = MF->getFrameInfo();
Alex Lorenze40c8a22015-08-11 23:09:45 +0000440 MachineMemOperand *MMO = MF->getMachineMemOperand(
441 MachinePointerInfo::getFixedStack(*MF, FI), MachineMemOperand::MOLoad,
442 MFI.getObjectSize(FI), MFI.getObjectAlignment(FI));
Venkatraman Govindaraju6f0b4502013-06-26 12:40:16 +0000443
Jakob Stoklund Olesenc7bc5fb2013-05-20 00:53:25 +0000444 if (RC == &SP::I64RegsRegClass)
Venkatraman Govindaraju6f0b4502013-06-26 12:40:16 +0000445 BuildMI(MBB, I, DL, get(SP::LDXri), DestReg).addFrameIndex(FI).addImm(0)
446 .addMemOperand(MMO);
Jakob Stoklund Olesenc7bc5fb2013-05-20 00:53:25 +0000447 else if (RC == &SP::IntRegsRegClass)
Venkatraman Govindaraju6f0b4502013-06-26 12:40:16 +0000448 BuildMI(MBB, I, DL, get(SP::LDri), DestReg).addFrameIndex(FI).addImm(0)
449 .addMemOperand(MMO);
James Y Knight3994be82015-08-10 19:11:39 +0000450 else if (RC == &SP::IntPairRegClass)
451 BuildMI(MBB, I, DL, get(SP::LDDri), DestReg).addFrameIndex(FI).addImm(0)
452 .addMemOperand(MMO);
Craig Topperabadc662012-04-20 06:31:50 +0000453 else if (RC == &SP::FPRegsRegClass)
Venkatraman Govindaraju6f0b4502013-06-26 12:40:16 +0000454 BuildMI(MBB, I, DL, get(SP::LDFri), DestReg).addFrameIndex(FI).addImm(0)
455 .addMemOperand(MMO);
Venkatraman Govindaraju01cb19f2013-09-02 18:32:45 +0000456 else if (SP::DFPRegsRegClass.hasSubClassEq(RC))
Venkatraman Govindaraju6f0b4502013-06-26 12:40:16 +0000457 BuildMI(MBB, I, DL, get(SP::LDDFri), DestReg).addFrameIndex(FI).addImm(0)
458 .addMemOperand(MMO);
Venkatraman Govindaraju01cb19f2013-09-02 18:32:45 +0000459 else if (SP::QFPRegsRegClass.hasSubClassEq(RC))
460 // Use LDQFri irrespective of its legality. If LDQ is not legal, it will be
461 // lowered into two LDDs in eliminateFrameIndex.
462 BuildMI(MBB, I, DL, get(SP::LDQFri), DestReg).addFrameIndex(FI).addImm(0)
463 .addMemOperand(MMO);
Owen Andersoneee14602008-01-01 21:11:32 +0000464 else
Torok Edwinfbcc6632009-07-14 16:55:14 +0000465 llvm_unreachable("Can't load this register from stack slot");
Owen Andersoneee14602008-01-01 21:11:32 +0000466}
467
Chris Lattner840c7002009-09-15 17:46:24 +0000468unsigned SparcInstrInfo::getGlobalBaseReg(MachineFunction *MF) const
469{
470 SparcMachineFunctionInfo *SparcFI = MF->getInfo<SparcMachineFunctionInfo>();
471 unsigned GlobalBaseReg = SparcFI->getGlobalBaseReg();
472 if (GlobalBaseReg != 0)
473 return GlobalBaseReg;
474
475 // Insert the set of GlobalBaseReg into the first MBB of the function
476 MachineBasicBlock &FirstMBB = MF->front();
477 MachineBasicBlock::iterator MBBI = FirstMBB.begin();
478 MachineRegisterInfo &RegInfo = MF->getRegInfo();
479
Venkatraman Govindaraju50f32d92014-01-29 03:35:08 +0000480 const TargetRegisterClass *PtrRC =
481 Subtarget.is64Bit() ? &SP::I64RegsRegClass : &SP::IntRegsRegClass;
482 GlobalBaseReg = RegInfo.createVirtualRegister(PtrRC);
Chris Lattner840c7002009-09-15 17:46:24 +0000483
Chris Lattner6f306d72010-04-02 20:16:16 +0000484 DebugLoc dl;
Chris Lattner840c7002009-09-15 17:46:24 +0000485
486 BuildMI(FirstMBB, MBBI, dl, get(SP::GETPCX), GlobalBaseReg);
487 SparcFI->setGlobalBaseReg(GlobalBaseReg);
488 return GlobalBaseReg;
489}
Marcin Koscielnicki33571e22016-04-26 10:37:14 +0000490
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +0000491bool SparcInstrInfo::expandPostRAPseudo(MachineInstr &MI) const {
492 switch (MI.getOpcode()) {
Marcin Koscielnicki33571e22016-04-26 10:37:14 +0000493 case TargetOpcode::LOAD_STACK_GUARD: {
Marcin Koscielnicki834381f2016-04-26 10:43:47 +0000494 assert(Subtarget.isTargetLinux() &&
Marcin Koscielnicki33571e22016-04-26 10:37:14 +0000495 "Only Linux target is expected to contain LOAD_STACK_GUARD");
496 // offsetof(tcbhead_t, stack_guard) from sysdeps/sparc/nptl/tls.h in glibc.
497 const int64_t Offset = Subtarget.is64Bit() ? 0x28 : 0x14;
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +0000498 MI.setDesc(get(Subtarget.is64Bit() ? SP::LDXri : SP::LDri));
499 MachineInstrBuilder(*MI.getParent()->getParent(), MI)
500 .addReg(SP::G7)
501 .addImm(Offset);
Marcin Koscielnicki33571e22016-04-26 10:37:14 +0000502 return true;
503 }
504 }
505 return false;
506}