blob: 3d3d314a26bb289129f3a29e579e8bf93c046fa8 [file] [log] [blame]
Jia Liub22310f2012-02-18 12:03:15 +00001//===-- SparcInstrInfo.cpp - Sparc Instruction Information ----------------===//
Chris Lattner158e1f52006-02-05 05:50:24 +00002//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Chris Lattner158e1f52006-02-05 05:50:24 +00006//
7//===----------------------------------------------------------------------===//
8//
9// This file contains the Sparc implementation of the TargetInstrInfo class.
10//
11//===----------------------------------------------------------------------===//
12
13#include "SparcInstrInfo.h"
14#include "Sparc.h"
Evan Chengc5e6d2f2011-07-11 03:57:24 +000015#include "SparcMachineFunctionInfo.h"
16#include "SparcSubtarget.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000017#include "llvm/ADT/STLExtras.h"
18#include "llvm/ADT/SmallVector.h"
Venkatraman Govindaraju6f0b4502013-06-26 12:40:16 +000019#include "llvm/CodeGen/MachineFrameInfo.h"
Chris Lattner158e1f52006-02-05 05:50:24 +000020#include "llvm/CodeGen/MachineInstrBuilder.h"
Venkatraman Govindaraju6f0b4502013-06-26 12:40:16 +000021#include "llvm/CodeGen/MachineMemOperand.h"
Chris Lattner840c7002009-09-15 17:46:24 +000022#include "llvm/CodeGen/MachineRegisterInfo.h"
Torok Edwin56d06592009-07-11 20:10:48 +000023#include "llvm/Support/ErrorHandling.h"
Evan Cheng2bb40352011-08-24 18:08:43 +000024#include "llvm/Support/TargetRegistry.h"
Evan Cheng1e210d02011-06-28 20:07:07 +000025
Chris Lattner158e1f52006-02-05 05:50:24 +000026using namespace llvm;
27
Chandler Carruthd174b722014-04-22 02:03:14 +000028#define GET_INSTRINFO_CTOR_DTOR
29#include "SparcGenInstrInfo.inc"
Juergen Ributzkad12ccbd2013-11-19 00:57:56 +000030
31// Pin the vtable to this file.
32void SparcInstrInfo::anchor() {}
33
Chris Lattner158e1f52006-02-05 05:50:24 +000034SparcInstrInfo::SparcInstrInfo(SparcSubtarget &ST)
Eric Christopher8bb838a2015-03-12 05:55:26 +000035 : SparcGenInstrInfo(SP::ADJCALLSTACKDOWN, SP::ADJCALLSTACKUP), RI(),
36 Subtarget(ST) {}
Chris Lattner158e1f52006-02-05 05:50:24 +000037
Chris Lattner158e1f52006-02-05 05:50:24 +000038/// isLoadFromStackSlot - If the specified machine instruction is a direct
39/// load from a stack slot, return the virtual or physical register number of
40/// the destination along with the FrameIndex of the loaded stack slot. If
41/// not, return 0. This predicate must return 0 if the instruction has
42/// any side effects other than loading from the stack slot.
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +000043unsigned SparcInstrInfo::isLoadFromStackSlot(const MachineInstr &MI,
Chris Lattner158e1f52006-02-05 05:50:24 +000044 int &FrameIndex) const {
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +000045 if (MI.getOpcode() == SP::LDri || MI.getOpcode() == SP::LDXri ||
46 MI.getOpcode() == SP::LDFri || MI.getOpcode() == SP::LDDFri ||
47 MI.getOpcode() == SP::LDQFri) {
48 if (MI.getOperand(1).isFI() && MI.getOperand(2).isImm() &&
49 MI.getOperand(2).getImm() == 0) {
50 FrameIndex = MI.getOperand(1).getIndex();
51 return MI.getOperand(0).getReg();
Chris Lattner158e1f52006-02-05 05:50:24 +000052 }
53 }
54 return 0;
55}
56
57/// isStoreToStackSlot - If the specified machine instruction is a direct
58/// store to a stack slot, return the virtual or physical register number of
59/// the source reg along with the FrameIndex of the loaded stack slot. If
60/// not, return 0. This predicate must return 0 if the instruction has
61/// any side effects other than storing to the stack slot.
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +000062unsigned SparcInstrInfo::isStoreToStackSlot(const MachineInstr &MI,
Chris Lattner158e1f52006-02-05 05:50:24 +000063 int &FrameIndex) const {
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +000064 if (MI.getOpcode() == SP::STri || MI.getOpcode() == SP::STXri ||
65 MI.getOpcode() == SP::STFri || MI.getOpcode() == SP::STDFri ||
66 MI.getOpcode() == SP::STQFri) {
67 if (MI.getOperand(0).isFI() && MI.getOperand(1).isImm() &&
68 MI.getOperand(1).getImm() == 0) {
69 FrameIndex = MI.getOperand(0).getIndex();
70 return MI.getOperand(2).getReg();
Chris Lattner158e1f52006-02-05 05:50:24 +000071 }
72 }
73 return 0;
74}
Chris Lattnerb7267bd2006-10-24 16:39:19 +000075
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +000076static bool IsIntegerCC(unsigned CC)
77{
78 return (CC <= SPCC::ICC_VC);
79}
80
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +000081static SPCC::CondCodes GetOppositeBranchCondition(SPCC::CondCodes CC)
82{
83 switch(CC) {
Venkatraman Govindaraju22868742014-03-01 20:08:48 +000084 case SPCC::ICC_A: return SPCC::ICC_N;
85 case SPCC::ICC_N: return SPCC::ICC_A;
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +000086 case SPCC::ICC_NE: return SPCC::ICC_E;
87 case SPCC::ICC_E: return SPCC::ICC_NE;
88 case SPCC::ICC_G: return SPCC::ICC_LE;
89 case SPCC::ICC_LE: return SPCC::ICC_G;
90 case SPCC::ICC_GE: return SPCC::ICC_L;
91 case SPCC::ICC_L: return SPCC::ICC_GE;
92 case SPCC::ICC_GU: return SPCC::ICC_LEU;
93 case SPCC::ICC_LEU: return SPCC::ICC_GU;
94 case SPCC::ICC_CC: return SPCC::ICC_CS;
95 case SPCC::ICC_CS: return SPCC::ICC_CC;
96 case SPCC::ICC_POS: return SPCC::ICC_NEG;
97 case SPCC::ICC_NEG: return SPCC::ICC_POS;
98 case SPCC::ICC_VC: return SPCC::ICC_VS;
99 case SPCC::ICC_VS: return SPCC::ICC_VC;
100
Venkatraman Govindaraju22868742014-03-01 20:08:48 +0000101 case SPCC::FCC_A: return SPCC::FCC_N;
102 case SPCC::FCC_N: return SPCC::FCC_A;
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +0000103 case SPCC::FCC_U: return SPCC::FCC_O;
104 case SPCC::FCC_O: return SPCC::FCC_U;
Venkatraman Govindaraju84f15232013-10-04 23:54:30 +0000105 case SPCC::FCC_G: return SPCC::FCC_ULE;
106 case SPCC::FCC_LE: return SPCC::FCC_UG;
107 case SPCC::FCC_UG: return SPCC::FCC_LE;
108 case SPCC::FCC_ULE: return SPCC::FCC_G;
109 case SPCC::FCC_L: return SPCC::FCC_UGE;
110 case SPCC::FCC_GE: return SPCC::FCC_UL;
111 case SPCC::FCC_UL: return SPCC::FCC_GE;
112 case SPCC::FCC_UGE: return SPCC::FCC_L;
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +0000113 case SPCC::FCC_LG: return SPCC::FCC_UE;
114 case SPCC::FCC_UE: return SPCC::FCC_LG;
115 case SPCC::FCC_NE: return SPCC::FCC_E;
116 case SPCC::FCC_E: return SPCC::FCC_NE;
Fangrui Songf78650a2018-07-30 19:41:25 +0000117
Chris Dewhurst52adb572016-03-09 18:20:21 +0000118 case SPCC::CPCC_A: return SPCC::CPCC_N;
119 case SPCC::CPCC_N: return SPCC::CPCC_A;
Justin Bognercd1d5aa2016-08-17 20:30:52 +0000120 case SPCC::CPCC_3: LLVM_FALLTHROUGH;
121 case SPCC::CPCC_2: LLVM_FALLTHROUGH;
122 case SPCC::CPCC_23: LLVM_FALLTHROUGH;
123 case SPCC::CPCC_1: LLVM_FALLTHROUGH;
124 case SPCC::CPCC_13: LLVM_FALLTHROUGH;
125 case SPCC::CPCC_12: LLVM_FALLTHROUGH;
126 case SPCC::CPCC_123: LLVM_FALLTHROUGH;
127 case SPCC::CPCC_0: LLVM_FALLTHROUGH;
128 case SPCC::CPCC_03: LLVM_FALLTHROUGH;
129 case SPCC::CPCC_02: LLVM_FALLTHROUGH;
130 case SPCC::CPCC_023: LLVM_FALLTHROUGH;
131 case SPCC::CPCC_01: LLVM_FALLTHROUGH;
132 case SPCC::CPCC_013: LLVM_FALLTHROUGH;
Chris Dewhurst52adb572016-03-09 18:20:21 +0000133 case SPCC::CPCC_012:
134 // "Opposite" code is not meaningful, as we don't know
135 // what the CoProc condition means here. The cond-code will
136 // only be used in inline assembler, so this code should
137 // not be reached in a normal compilation pass.
138 llvm_unreachable("Meaningless inversion of co-processor cond code");
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +0000139 }
Benjamin Kramer233149c2012-01-10 20:47:20 +0000140 llvm_unreachable("Invalid cond code");
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +0000141}
142
James Y Knight76994942016-01-13 04:44:14 +0000143static bool isUncondBranchOpcode(int Opc) { return Opc == SP::BA; }
144
145static bool isCondBranchOpcode(int Opc) {
146 return Opc == SP::FBCOND || Opc == SP::BCOND;
147}
148
149static bool isIndirectBranchOpcode(int Opc) {
150 return Opc == SP::BINDrr || Opc == SP::BINDri;
151}
152
153static void parseCondBranch(MachineInstr *LastInst, MachineBasicBlock *&Target,
154 SmallVectorImpl<MachineOperand> &Cond) {
155 Cond.push_back(MachineOperand::CreateImm(LastInst->getOperand(1).getImm()));
156 Target = LastInst->getOperand(0).getMBB();
157}
158
Jacques Pienaar71c30a12016-07-15 14:41:04 +0000159bool SparcInstrInfo::analyzeBranch(MachineBasicBlock &MBB,
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +0000160 MachineBasicBlock *&TBB,
161 MachineBasicBlock *&FBB,
162 SmallVectorImpl<MachineOperand> &Cond,
James Y Knight76994942016-01-13 04:44:14 +0000163 bool AllowModify) const {
164 MachineBasicBlock::iterator I = MBB.getLastNonDebugInstr();
165 if (I == MBB.end())
166 return false;
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +0000167
Duncan P. N. Exon Smith6307eb52016-02-23 02:46:52 +0000168 if (!isUnpredicatedTerminator(*I))
James Y Knight76994942016-01-13 04:44:14 +0000169 return false;
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +0000170
James Y Knight76994942016-01-13 04:44:14 +0000171 // Get the last instruction in the block.
Duncan P. N. Exon Smith811f2b32016-07-08 19:41:40 +0000172 MachineInstr *LastInst = &*I;
James Y Knight76994942016-01-13 04:44:14 +0000173 unsigned LastOpc = LastInst->getOpcode();
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +0000174
James Y Knight76994942016-01-13 04:44:14 +0000175 // If there is only one terminator instruction, process it.
Duncan P. N. Exon Smith6307eb52016-02-23 02:46:52 +0000176 if (I == MBB.begin() || !isUnpredicatedTerminator(*--I)) {
James Y Knight76994942016-01-13 04:44:14 +0000177 if (isUncondBranchOpcode(LastOpc)) {
178 TBB = LastInst->getOperand(0).getMBB();
179 return false;
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +0000180 }
James Y Knight76994942016-01-13 04:44:14 +0000181 if (isCondBranchOpcode(LastOpc)) {
182 // Block ends with fall-through condbranch.
183 parseCondBranch(LastInst, TBB, Cond);
184 return false;
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +0000185 }
James Y Knight76994942016-01-13 04:44:14 +0000186 return true; // Can't handle indirect branch.
187 }
188
189 // Get the instruction before it if it is a terminator.
Duncan P. N. Exon Smith811f2b32016-07-08 19:41:40 +0000190 MachineInstr *SecondLastInst = &*I;
James Y Knight76994942016-01-13 04:44:14 +0000191 unsigned SecondLastOpc = SecondLastInst->getOpcode();
192
193 // If AllowModify is true and the block ends with two or more unconditional
194 // branches, delete all but the first unconditional branch.
195 if (AllowModify && isUncondBranchOpcode(LastOpc)) {
196 while (isUncondBranchOpcode(SecondLastOpc)) {
197 LastInst->eraseFromParent();
198 LastInst = SecondLastInst;
199 LastOpc = LastInst->getOpcode();
Duncan P. N. Exon Smith6307eb52016-02-23 02:46:52 +0000200 if (I == MBB.begin() || !isUnpredicatedTerminator(*--I)) {
James Y Knight76994942016-01-13 04:44:14 +0000201 // Return now the only terminator is an unconditional branch.
202 TBB = LastInst->getOperand(0).getMBB();
203 return false;
204 } else {
Duncan P. N. Exon Smith811f2b32016-07-08 19:41:40 +0000205 SecondLastInst = &*I;
James Y Knight76994942016-01-13 04:44:14 +0000206 SecondLastOpc = SecondLastInst->getOpcode();
207 }
208 }
209 }
210
211 // 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 +0000212 if (SecondLastInst && I != MBB.begin() && isUnpredicatedTerminator(*--I))
James Y Knight76994942016-01-13 04:44:14 +0000213 return true;
214
215 // If the block ends with a B and a Bcc, handle it.
216 if (isCondBranchOpcode(SecondLastOpc) && isUncondBranchOpcode(LastOpc)) {
217 parseCondBranch(SecondLastInst, TBB, Cond);
218 FBB = LastInst->getOperand(0).getMBB();
219 return false;
220 }
221
222 // If the block ends with two unconditional branches, handle it. The second
223 // one is not executed.
224 if (isUncondBranchOpcode(SecondLastOpc) && isUncondBranchOpcode(LastOpc)) {
225 TBB = SecondLastInst->getOperand(0).getMBB();
226 return false;
227 }
228
229 // ...likewise if it ends with an indirect branch followed by an unconditional
230 // branch.
231 if (isIndirectBranchOpcode(SecondLastOpc) && isUncondBranchOpcode(LastOpc)) {
232 I = LastInst;
233 if (AllowModify)
234 I->eraseFromParent();
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +0000235 return true;
236 }
James Y Knight76994942016-01-13 04:44:14 +0000237
238 // Otherwise, can't handle this.
239 return true;
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +0000240}
241
Matt Arsenaulte8e0f5c2016-09-14 17:24:15 +0000242unsigned SparcInstrInfo::insertBranch(MachineBasicBlock &MBB,
Benjamin Kramerbdc49562016-06-12 15:39:02 +0000243 MachineBasicBlock *TBB,
244 MachineBasicBlock *FBB,
245 ArrayRef<MachineOperand> Cond,
Matt Arsenaulta2b036e2016-09-14 17:23:48 +0000246 const DebugLoc &DL,
247 int *BytesAdded) const {
Matt Arsenaulte8e0f5c2016-09-14 17:24:15 +0000248 assert(TBB && "insertBranch must not be told to insert a fallthrough");
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +0000249 assert((Cond.size() == 1 || Cond.size() == 0) &&
250 "Sparc branch conditions should have one component!");
Matt Arsenaulta2b036e2016-09-14 17:23:48 +0000251 assert(!BytesAdded && "code size not handled");
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +0000252
253 if (Cond.empty()) {
254 assert(!FBB && "Unconditional branch with multiple successors!");
255 BuildMI(&MBB, DL, get(SP::BA)).addMBB(TBB);
256 return 1;
257 }
258
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000259 // Conditional branch
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +0000260 unsigned CC = Cond[0].getImm();
261
262 if (IsIntegerCC(CC))
263 BuildMI(&MBB, DL, get(SP::BCOND)).addMBB(TBB).addImm(CC);
264 else
265 BuildMI(&MBB, DL, get(SP::FBCOND)).addMBB(TBB).addImm(CC);
266 if (!FBB)
267 return 1;
268
269 BuildMI(&MBB, DL, get(SP::BA)).addMBB(FBB);
270 return 2;
271}
272
Matt Arsenault1b9fc8e2016-09-14 20:43:16 +0000273unsigned SparcInstrInfo::removeBranch(MachineBasicBlock &MBB,
Matt Arsenaulta2b036e2016-09-14 17:23:48 +0000274 int *BytesRemoved) const {
275 assert(!BytesRemoved && "code size not handled");
276
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +0000277 MachineBasicBlock::iterator I = MBB.end();
278 unsigned Count = 0;
279 while (I != MBB.begin()) {
280 --I;
281
Shiva Chen801bf7e2018-05-09 02:42:00 +0000282 if (I->isDebugInstr())
Venkatraman Govindaraju1b0e2cb2011-01-16 03:15:11 +0000283 continue;
284
285 if (I->getOpcode() != SP::BA
286 && I->getOpcode() != SP::BCOND
287 && I->getOpcode() != SP::FBCOND)
288 break; // Not a branch
289
290 I->eraseFromParent();
291 I = MBB.end();
292 ++Count;
293 }
294 return Count;
Rafael Espindolaed328832006-10-24 17:07:11 +0000295}
Owen Anderson7a73ae92007-12-31 06:32:00 +0000296
Matt Arsenault1b9fc8e2016-09-14 20:43:16 +0000297bool SparcInstrInfo::reverseBranchCondition(
James Y Knight76994942016-01-13 04:44:14 +0000298 SmallVectorImpl<MachineOperand> &Cond) const {
299 assert(Cond.size() == 1);
300 SPCC::CondCodes CC = static_cast<SPCC::CondCodes>(Cond[0].getImm());
301 Cond[0].setImm(GetOppositeBranchCondition(CC));
302 return false;
303}
304
Jakob Stoklund Olesen976b7b62010-07-11 07:56:09 +0000305void SparcInstrInfo::copyPhysReg(MachineBasicBlock &MBB,
Benjamin Kramerbdc49562016-06-12 15:39:02 +0000306 MachineBasicBlock::iterator I,
307 const DebugLoc &DL, unsigned DestReg,
308 unsigned SrcReg, bool KillSrc) const {
Venkatraman Govindaraju01cb19f2013-09-02 18:32:45 +0000309 unsigned numSubRegs = 0;
310 unsigned movOpc = 0;
Craig Topper062a2ba2014-04-25 05:30:21 +0000311 const unsigned *subRegIdx = nullptr;
James Y Knight3994be82015-08-10 19:11:39 +0000312 bool ExtraG0 = false;
Venkatraman Govindaraju01cb19f2013-09-02 18:32:45 +0000313
James Y Knight3994be82015-08-10 19:11:39 +0000314 const unsigned DW_SubRegsIdx[] = { SP::sub_even, SP::sub_odd };
Venkatraman Govindaraju01cb19f2013-09-02 18:32:45 +0000315 const unsigned DFP_FP_SubRegsIdx[] = { SP::sub_even, SP::sub_odd };
316 const unsigned QFP_DFP_SubRegsIdx[] = { SP::sub_even64, SP::sub_odd64 };
317 const unsigned QFP_FP_SubRegsIdx[] = { SP::sub_even, SP::sub_odd,
318 SP::sub_odd64_then_sub_even,
319 SP::sub_odd64_then_sub_odd };
320
Jakob Stoklund Olesen976b7b62010-07-11 07:56:09 +0000321 if (SP::IntRegsRegClass.contains(DestReg, SrcReg))
322 BuildMI(MBB, I, DL, get(SP::ORrr), DestReg).addReg(SP::G0)
323 .addReg(SrcReg, getKillRegState(KillSrc));
James Y Knight3994be82015-08-10 19:11:39 +0000324 else if (SP::IntPairRegClass.contains(DestReg, SrcReg)) {
325 subRegIdx = DW_SubRegsIdx;
326 numSubRegs = 2;
327 movOpc = SP::ORrr;
328 ExtraG0 = true;
329 } else if (SP::FPRegsRegClass.contains(DestReg, SrcReg))
Jakob Stoklund Olesen976b7b62010-07-11 07:56:09 +0000330 BuildMI(MBB, I, DL, get(SP::FMOVS), DestReg)
331 .addReg(SrcReg, getKillRegState(KillSrc));
Venkatraman Govindaraju7dae9ce2013-06-08 15:32:59 +0000332 else if (SP::DFPRegsRegClass.contains(DestReg, SrcReg)) {
333 if (Subtarget.isV9()) {
334 BuildMI(MBB, I, DL, get(SP::FMOVD), DestReg)
335 .addReg(SrcReg, getKillRegState(KillSrc));
336 } else {
337 // Use two FMOVS instructions.
Venkatraman Govindaraju01cb19f2013-09-02 18:32:45 +0000338 subRegIdx = DFP_FP_SubRegsIdx;
339 numSubRegs = 2;
340 movOpc = SP::FMOVS;
341 }
342 } else if (SP::QFPRegsRegClass.contains(DestReg, SrcReg)) {
343 if (Subtarget.isV9()) {
344 if (Subtarget.hasHardQuad()) {
345 BuildMI(MBB, I, DL, get(SP::FMOVQ), DestReg)
346 .addReg(SrcReg, getKillRegState(KillSrc));
347 } else {
348 // Use two FMOVD instructions.
349 subRegIdx = QFP_DFP_SubRegsIdx;
350 numSubRegs = 2;
351 movOpc = SP::FMOVD;
Venkatraman Govindaraju7dae9ce2013-06-08 15:32:59 +0000352 }
Venkatraman Govindaraju01cb19f2013-09-02 18:32:45 +0000353 } else {
354 // Use four FMOVS instructions.
355 subRegIdx = QFP_FP_SubRegsIdx;
356 numSubRegs = 4;
357 movOpc = SP::FMOVS;
Venkatraman Govindaraju7dae9ce2013-06-08 15:32:59 +0000358 }
James Y Knightf238d172015-07-08 16:25:12 +0000359 } else if (SP::ASRRegsRegClass.contains(DestReg) &&
360 SP::IntRegsRegClass.contains(SrcReg)) {
361 BuildMI(MBB, I, DL, get(SP::WRASRrr), DestReg)
362 .addReg(SP::G0)
363 .addReg(SrcReg, getKillRegState(KillSrc));
364 } else if (SP::IntRegsRegClass.contains(DestReg) &&
365 SP::ASRRegsRegClass.contains(SrcReg)) {
366 BuildMI(MBB, I, DL, get(SP::RDASR), DestReg)
367 .addReg(SrcReg, getKillRegState(KillSrc));
Venkatraman Govindaraju7dae9ce2013-06-08 15:32:59 +0000368 } else
Jakob Stoklund Olesen976b7b62010-07-11 07:56:09 +0000369 llvm_unreachable("Impossible reg-to-reg copy");
Venkatraman Govindaraju01cb19f2013-09-02 18:32:45 +0000370
Craig Topper062a2ba2014-04-25 05:30:21 +0000371 if (numSubRegs == 0 || subRegIdx == nullptr || movOpc == 0)
Venkatraman Govindaraju01cb19f2013-09-02 18:32:45 +0000372 return;
373
374 const TargetRegisterInfo *TRI = &getRegisterInfo();
Craig Topper062a2ba2014-04-25 05:30:21 +0000375 MachineInstr *MovMI = nullptr;
Venkatraman Govindaraju01cb19f2013-09-02 18:32:45 +0000376
377 for (unsigned i = 0; i != numSubRegs; ++i) {
Daniel Sanders0c476112019-08-15 19:22:08 +0000378 Register Dst = TRI->getSubReg(DestReg, subRegIdx[i]);
379 Register Src = TRI->getSubReg(SrcReg, subRegIdx[i]);
Venkatraman Govindaraju01cb19f2013-09-02 18:32:45 +0000380 assert(Dst && Src && "Bad sub-register");
381
James Y Knight3994be82015-08-10 19:11:39 +0000382 MachineInstrBuilder MIB = BuildMI(MBB, I, DL, get(movOpc), Dst);
383 if (ExtraG0)
384 MIB.addReg(SP::G0);
385 MIB.addReg(Src);
386 MovMI = MIB.getInstr();
Venkatraman Govindaraju01cb19f2013-09-02 18:32:45 +0000387 }
388 // Add implicit super-register defs and kills to the last MovMI.
389 MovMI->addRegisterDefined(DestReg, TRI);
390 if (KillSrc)
391 MovMI->addRegisterKilled(SrcReg, TRI);
Owen Anderson7a73ae92007-12-31 06:32:00 +0000392}
Owen Andersoneee14602008-01-01 21:11:32 +0000393
394void SparcInstrInfo::
395storeRegToStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator I,
396 unsigned SrcReg, bool isKill, int FI,
Evan Chengefb126a2010-05-06 19:06:44 +0000397 const TargetRegisterClass *RC,
398 const TargetRegisterInfo *TRI) const {
Chris Lattner6f306d72010-04-02 20:16:16 +0000399 DebugLoc DL;
Bill Wendlingf6d609a2009-02-12 00:02:55 +0000400 if (I != MBB.end()) DL = I->getDebugLoc();
401
Venkatraman Govindaraju6f0b4502013-06-26 12:40:16 +0000402 MachineFunction *MF = MBB.getParent();
Matthias Braun941a7052016-07-28 18:40:00 +0000403 const MachineFrameInfo &MFI = MF->getFrameInfo();
Alex Lorenze40c8a22015-08-11 23:09:45 +0000404 MachineMemOperand *MMO = MF->getMachineMemOperand(
405 MachinePointerInfo::getFixedStack(*MF, FI), MachineMemOperand::MOStore,
406 MFI.getObjectSize(FI), MFI.getObjectAlignment(FI));
Venkatraman Govindaraju6f0b4502013-06-26 12:40:16 +0000407
Owen Andersoneee14602008-01-01 21:11:32 +0000408 // On the order of operands here: think "[FrameIdx + 0] = SrcReg".
James Y Knight3994be82015-08-10 19:11:39 +0000409 if (RC == &SP::I64RegsRegClass)
Jakob Stoklund Olesenc7bc5fb2013-05-20 00:53:25 +0000410 BuildMI(MBB, I, DL, get(SP::STXri)).addFrameIndex(FI).addImm(0)
Venkatraman Govindaraju6f0b4502013-06-26 12:40:16 +0000411 .addReg(SrcReg, getKillRegState(isKill)).addMemOperand(MMO);
Jakob Stoklund Olesenc7bc5fb2013-05-20 00:53:25 +0000412 else if (RC == &SP::IntRegsRegClass)
Bill Wendlingf6d609a2009-02-12 00:02:55 +0000413 BuildMI(MBB, I, DL, get(SP::STri)).addFrameIndex(FI).addImm(0)
Venkatraman Govindaraju6f0b4502013-06-26 12:40:16 +0000414 .addReg(SrcReg, getKillRegState(isKill)).addMemOperand(MMO);
James Y Knight3994be82015-08-10 19:11:39 +0000415 else if (RC == &SP::IntPairRegClass)
416 BuildMI(MBB, I, DL, get(SP::STDri)).addFrameIndex(FI).addImm(0)
417 .addReg(SrcReg, getKillRegState(isKill)).addMemOperand(MMO);
Craig Topperabadc662012-04-20 06:31:50 +0000418 else if (RC == &SP::FPRegsRegClass)
Bill Wendlingf6d609a2009-02-12 00:02:55 +0000419 BuildMI(MBB, I, DL, get(SP::STFri)).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::DFPRegsRegClass.hasSubClassEq(RC))
Bill Wendlingf6d609a2009-02-12 00:02:55 +0000422 BuildMI(MBB, I, DL, get(SP::STDFri)).addFrameIndex(FI).addImm(0)
Venkatraman Govindaraju6f0b4502013-06-26 12:40:16 +0000423 .addReg(SrcReg, getKillRegState(isKill)).addMemOperand(MMO);
Venkatraman Govindaraju01cb19f2013-09-02 18:32:45 +0000424 else if (SP::QFPRegsRegClass.hasSubClassEq(RC))
425 // Use STQFri irrespective of its legality. If STQ is not legal, it will be
426 // lowered into two STDs in eliminateFrameIndex.
427 BuildMI(MBB, I, DL, get(SP::STQFri)).addFrameIndex(FI).addImm(0)
428 .addReg(SrcReg, getKillRegState(isKill)).addMemOperand(MMO);
Owen Andersoneee14602008-01-01 21:11:32 +0000429 else
Torok Edwinfbcc6632009-07-14 16:55:14 +0000430 llvm_unreachable("Can't store this register to stack slot");
Owen Andersoneee14602008-01-01 21:11:32 +0000431}
432
Owen Andersoneee14602008-01-01 21:11:32 +0000433void SparcInstrInfo::
434loadRegFromStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator I,
435 unsigned DestReg, int FI,
Evan Chengefb126a2010-05-06 19:06:44 +0000436 const TargetRegisterClass *RC,
437 const TargetRegisterInfo *TRI) const {
Chris Lattner6f306d72010-04-02 20:16:16 +0000438 DebugLoc DL;
Bill Wendlingf6d609a2009-02-12 00:02:55 +0000439 if (I != MBB.end()) DL = I->getDebugLoc();
440
Venkatraman Govindaraju6f0b4502013-06-26 12:40:16 +0000441 MachineFunction *MF = MBB.getParent();
Matthias Braun941a7052016-07-28 18:40:00 +0000442 const MachineFrameInfo &MFI = MF->getFrameInfo();
Alex Lorenze40c8a22015-08-11 23:09:45 +0000443 MachineMemOperand *MMO = MF->getMachineMemOperand(
444 MachinePointerInfo::getFixedStack(*MF, FI), MachineMemOperand::MOLoad,
445 MFI.getObjectSize(FI), MFI.getObjectAlignment(FI));
Venkatraman Govindaraju6f0b4502013-06-26 12:40:16 +0000446
Jakob Stoklund Olesenc7bc5fb2013-05-20 00:53:25 +0000447 if (RC == &SP::I64RegsRegClass)
Venkatraman Govindaraju6f0b4502013-06-26 12:40:16 +0000448 BuildMI(MBB, I, DL, get(SP::LDXri), DestReg).addFrameIndex(FI).addImm(0)
449 .addMemOperand(MMO);
Jakob Stoklund Olesenc7bc5fb2013-05-20 00:53:25 +0000450 else if (RC == &SP::IntRegsRegClass)
Venkatraman Govindaraju6f0b4502013-06-26 12:40:16 +0000451 BuildMI(MBB, I, DL, get(SP::LDri), DestReg).addFrameIndex(FI).addImm(0)
452 .addMemOperand(MMO);
James Y Knight3994be82015-08-10 19:11:39 +0000453 else if (RC == &SP::IntPairRegClass)
454 BuildMI(MBB, I, DL, get(SP::LDDri), DestReg).addFrameIndex(FI).addImm(0)
455 .addMemOperand(MMO);
Craig Topperabadc662012-04-20 06:31:50 +0000456 else if (RC == &SP::FPRegsRegClass)
Venkatraman Govindaraju6f0b4502013-06-26 12:40:16 +0000457 BuildMI(MBB, I, DL, get(SP::LDFri), DestReg).addFrameIndex(FI).addImm(0)
458 .addMemOperand(MMO);
Venkatraman Govindaraju01cb19f2013-09-02 18:32:45 +0000459 else if (SP::DFPRegsRegClass.hasSubClassEq(RC))
Venkatraman Govindaraju6f0b4502013-06-26 12:40:16 +0000460 BuildMI(MBB, I, DL, get(SP::LDDFri), DestReg).addFrameIndex(FI).addImm(0)
461 .addMemOperand(MMO);
Venkatraman Govindaraju01cb19f2013-09-02 18:32:45 +0000462 else if (SP::QFPRegsRegClass.hasSubClassEq(RC))
463 // Use LDQFri irrespective of its legality. If LDQ is not legal, it will be
464 // lowered into two LDDs in eliminateFrameIndex.
465 BuildMI(MBB, I, DL, get(SP::LDQFri), DestReg).addFrameIndex(FI).addImm(0)
466 .addMemOperand(MMO);
Owen Andersoneee14602008-01-01 21:11:32 +0000467 else
Torok Edwinfbcc6632009-07-14 16:55:14 +0000468 llvm_unreachable("Can't load this register from stack slot");
Owen Andersoneee14602008-01-01 21:11:32 +0000469}
470
Chris Lattner840c7002009-09-15 17:46:24 +0000471unsigned SparcInstrInfo::getGlobalBaseReg(MachineFunction *MF) const
472{
473 SparcMachineFunctionInfo *SparcFI = MF->getInfo<SparcMachineFunctionInfo>();
474 unsigned GlobalBaseReg = SparcFI->getGlobalBaseReg();
475 if (GlobalBaseReg != 0)
476 return GlobalBaseReg;
477
478 // Insert the set of GlobalBaseReg into the first MBB of the function
479 MachineBasicBlock &FirstMBB = MF->front();
480 MachineBasicBlock::iterator MBBI = FirstMBB.begin();
481 MachineRegisterInfo &RegInfo = MF->getRegInfo();
482
Venkatraman Govindaraju50f32d92014-01-29 03:35:08 +0000483 const TargetRegisterClass *PtrRC =
484 Subtarget.is64Bit() ? &SP::I64RegsRegClass : &SP::IntRegsRegClass;
485 GlobalBaseReg = RegInfo.createVirtualRegister(PtrRC);
Chris Lattner840c7002009-09-15 17:46:24 +0000486
Chris Lattner6f306d72010-04-02 20:16:16 +0000487 DebugLoc dl;
Chris Lattner840c7002009-09-15 17:46:24 +0000488
489 BuildMI(FirstMBB, MBBI, dl, get(SP::GETPCX), GlobalBaseReg);
490 SparcFI->setGlobalBaseReg(GlobalBaseReg);
491 return GlobalBaseReg;
492}
Marcin Koscielnicki33571e22016-04-26 10:37:14 +0000493
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +0000494bool SparcInstrInfo::expandPostRAPseudo(MachineInstr &MI) const {
495 switch (MI.getOpcode()) {
Marcin Koscielnicki33571e22016-04-26 10:37:14 +0000496 case TargetOpcode::LOAD_STACK_GUARD: {
Marcin Koscielnicki834381f2016-04-26 10:43:47 +0000497 assert(Subtarget.isTargetLinux() &&
Marcin Koscielnicki33571e22016-04-26 10:37:14 +0000498 "Only Linux target is expected to contain LOAD_STACK_GUARD");
499 // offsetof(tcbhead_t, stack_guard) from sysdeps/sparc/nptl/tls.h in glibc.
500 const int64_t Offset = Subtarget.is64Bit() ? 0x28 : 0x14;
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +0000501 MI.setDesc(get(Subtarget.is64Bit() ? SP::LDXri : SP::LDri));
502 MachineInstrBuilder(*MI.getParent()->getParent(), MI)
503 .addReg(SP::G7)
504 .addImm(Offset);
Marcin Koscielnicki33571e22016-04-26 10:37:14 +0000505 return true;
506 }
507 }
508 return false;
509}