1 //===-- SparcInstrInfo.cpp - Sparc Instruction Information ----------------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This file contains the Sparc implementation of the TargetInstrInfo class.
12 //===----------------------------------------------------------------------===//
14 #include "SparcInstrInfo.h"
16 #include "SparcMachineFunctionInfo.h"
17 #include "SparcSubtarget.h"
18 #include "llvm/ADT/STLExtras.h"
19 #include "llvm/ADT/SmallVector.h"
20 #include "llvm/CodeGen/MachineFrameInfo.h"
21 #include "llvm/CodeGen/MachineInstrBuilder.h"
22 #include "llvm/CodeGen/MachineMemOperand.h"
23 #include "llvm/CodeGen/MachineRegisterInfo.h"
24 #include "llvm/Support/ErrorHandling.h"
25 #include "llvm/Support/TargetRegistry.h"
29 #define GET_INSTRINFO_CTOR_DTOR
30 #include "SparcGenInstrInfo.inc"
32 // Pin the vtable to this file.
33 void SparcInstrInfo::anchor() {}
35 SparcInstrInfo::SparcInstrInfo(SparcSubtarget &ST)
36 : SparcGenInstrInfo(SP::ADJCALLSTACKDOWN, SP::ADJCALLSTACKUP), RI(),
39 /// 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.
44 unsigned SparcInstrInfo::isLoadFromStackSlot(const MachineInstr &MI,
45 int &FrameIndex) const {
46 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();
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.
63 unsigned SparcInstrInfo::isStoreToStackSlot(const MachineInstr &MI,
64 int &FrameIndex) const {
65 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();
77 static bool IsIntegerCC(unsigned CC)
79 return (CC <= SPCC::ICC_VC);
82 static SPCC::CondCodes GetOppositeBranchCondition(SPCC::CondCodes CC)
85 case SPCC::ICC_A: return SPCC::ICC_N;
86 case SPCC::ICC_N: return SPCC::ICC_A;
87 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;
102 case SPCC::FCC_A: return SPCC::FCC_N;
103 case SPCC::FCC_N: return SPCC::FCC_A;
104 case SPCC::FCC_U: return SPCC::FCC_O;
105 case SPCC::FCC_O: return SPCC::FCC_U;
106 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;
114 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;
119 case SPCC::CPCC_A: return SPCC::CPCC_N;
120 case SPCC::CPCC_N: return SPCC::CPCC_A;
121 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;
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");
141 llvm_unreachable("Invalid cond code");
144 static bool isUncondBranchOpcode(int Opc) { return Opc == SP::BA; }
146 static bool isCondBranchOpcode(int Opc) {
147 return Opc == SP::FBCOND || Opc == SP::BCOND;
150 static bool isIndirectBranchOpcode(int Opc) {
151 return Opc == SP::BINDrr || Opc == SP::BINDri;
154 static 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();
160 bool SparcInstrInfo::analyzeBranch(MachineBasicBlock &MBB,
161 MachineBasicBlock *&TBB,
162 MachineBasicBlock *&FBB,
163 SmallVectorImpl<MachineOperand> &Cond,
164 bool AllowModify) const {
165 MachineBasicBlock::iterator I = MBB.getLastNonDebugInstr();
169 if (!isUnpredicatedTerminator(*I))
172 // Get the last instruction in the block.
173 MachineInstr *LastInst = &*I;
174 unsigned LastOpc = LastInst->getOpcode();
176 // If there is only one terminator instruction, process it.
177 if (I == MBB.begin() || !isUnpredicatedTerminator(*--I)) {
178 if (isUncondBranchOpcode(LastOpc)) {
179 TBB = LastInst->getOperand(0).getMBB();
182 if (isCondBranchOpcode(LastOpc)) {
183 // Block ends with fall-through condbranch.
184 parseCondBranch(LastInst, TBB, Cond);
187 return true; // Can't handle indirect branch.
190 // Get the instruction before it if it is a terminator.
191 MachineInstr *SecondLastInst = &*I;
192 unsigned SecondLastOpc = SecondLastInst->getOpcode();
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();
201 if (I == MBB.begin() || !isUnpredicatedTerminator(*--I)) {
202 // Return now the only terminator is an unconditional branch.
203 TBB = LastInst->getOperand(0).getMBB();
206 SecondLastInst = &*I;
207 SecondLastOpc = SecondLastInst->getOpcode();
212 // If there are three terminators, we don't know what sort of block this is.
213 if (SecondLastInst && I != MBB.begin() && isUnpredicatedTerminator(*--I))
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();
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();
230 // ...likewise if it ends with an indirect branch followed by an unconditional
232 if (isIndirectBranchOpcode(SecondLastOpc) && isUncondBranchOpcode(LastOpc)) {
235 I->eraseFromParent();
239 // Otherwise, can't handle this.
243 unsigned SparcInstrInfo::insertBranch(MachineBasicBlock &MBB,
244 MachineBasicBlock *TBB,
245 MachineBasicBlock *FBB,
246 ArrayRef<MachineOperand> Cond,
248 int *BytesAdded) const {
249 assert(TBB && "insertBranch must not be told to insert a fallthrough");
250 assert((Cond.size() == 1 || Cond.size() == 0) &&
251 "Sparc branch conditions should have one component!");
252 assert(!BytesAdded && "code size not handled");
255 assert(!FBB && "Unconditional branch with multiple successors!");
256 BuildMI(&MBB, DL, get(SP::BA)).addMBB(TBB);
260 // Conditional branch
261 unsigned CC = Cond[0].getImm();
264 BuildMI(&MBB, DL, get(SP::BCOND)).addMBB(TBB).addImm(CC);
266 BuildMI(&MBB, DL, get(SP::FBCOND)).addMBB(TBB).addImm(CC);
270 BuildMI(&MBB, DL, get(SP::BA)).addMBB(FBB);
274 unsigned SparcInstrInfo::removeBranch(MachineBasicBlock &MBB,
275 int *BytesRemoved) const {
276 assert(!BytesRemoved && "code size not handled");
278 MachineBasicBlock::iterator I = MBB.end();
280 while (I != MBB.begin()) {
283 if (I->isDebugInstr())
286 if (I->getOpcode() != SP::BA
287 && I->getOpcode() != SP::BCOND
288 && I->getOpcode() != SP::FBCOND)
289 break; // Not a branch
291 I->eraseFromParent();
298 bool SparcInstrInfo::reverseBranchCondition(
299 SmallVectorImpl<MachineOperand> &Cond) const {
300 assert(Cond.size() == 1);
301 SPCC::CondCodes CC = static_cast<SPCC::CondCodes>(Cond[0].getImm());
302 Cond[0].setImm(GetOppositeBranchCondition(CC));
306 void SparcInstrInfo::copyPhysReg(MachineBasicBlock &MBB,
307 MachineBasicBlock::iterator I,
308 const DebugLoc &DL, unsigned DestReg,
309 unsigned SrcReg, bool KillSrc) const {
310 unsigned numSubRegs = 0;
312 const unsigned *subRegIdx = nullptr;
313 bool ExtraG0 = false;
315 const unsigned DW_SubRegsIdx[] = { SP::sub_even, SP::sub_odd };
316 const unsigned DFP_FP_SubRegsIdx[] = { SP::sub_even, SP::sub_odd };
317 const unsigned QFP_DFP_SubRegsIdx[] = { SP::sub_even64, SP::sub_odd64 };
318 const unsigned QFP_FP_SubRegsIdx[] = { SP::sub_even, SP::sub_odd,
319 SP::sub_odd64_then_sub_even,
320 SP::sub_odd64_then_sub_odd };
322 if (SP::IntRegsRegClass.contains(DestReg, SrcReg))
323 BuildMI(MBB, I, DL, get(SP::ORrr), DestReg).addReg(SP::G0)
324 .addReg(SrcReg, getKillRegState(KillSrc));
325 else if (SP::IntPairRegClass.contains(DestReg, SrcReg)) {
326 subRegIdx = DW_SubRegsIdx;
330 } else if (SP::FPRegsRegClass.contains(DestReg, SrcReg))
331 BuildMI(MBB, I, DL, get(SP::FMOVS), DestReg)
332 .addReg(SrcReg, getKillRegState(KillSrc));
333 else if (SP::DFPRegsRegClass.contains(DestReg, SrcReg)) {
334 if (Subtarget.isV9()) {
335 BuildMI(MBB, I, DL, get(SP::FMOVD), DestReg)
336 .addReg(SrcReg, getKillRegState(KillSrc));
338 // Use two FMOVS instructions.
339 subRegIdx = DFP_FP_SubRegsIdx;
343 } else if (SP::QFPRegsRegClass.contains(DestReg, SrcReg)) {
344 if (Subtarget.isV9()) {
345 if (Subtarget.hasHardQuad()) {
346 BuildMI(MBB, I, DL, get(SP::FMOVQ), DestReg)
347 .addReg(SrcReg, getKillRegState(KillSrc));
349 // Use two FMOVD instructions.
350 subRegIdx = QFP_DFP_SubRegsIdx;
355 // Use four FMOVS instructions.
356 subRegIdx = QFP_FP_SubRegsIdx;
360 } else if (SP::ASRRegsRegClass.contains(DestReg) &&
361 SP::IntRegsRegClass.contains(SrcReg)) {
362 BuildMI(MBB, I, DL, get(SP::WRASRrr), DestReg)
364 .addReg(SrcReg, getKillRegState(KillSrc));
365 } else if (SP::IntRegsRegClass.contains(DestReg) &&
366 SP::ASRRegsRegClass.contains(SrcReg)) {
367 BuildMI(MBB, I, DL, get(SP::RDASR), DestReg)
368 .addReg(SrcReg, getKillRegState(KillSrc));
370 llvm_unreachable("Impossible reg-to-reg copy");
372 if (numSubRegs == 0 || subRegIdx == nullptr || movOpc == 0)
375 const TargetRegisterInfo *TRI = &getRegisterInfo();
376 MachineInstr *MovMI = nullptr;
378 for (unsigned i = 0; i != numSubRegs; ++i) {
379 unsigned Dst = TRI->getSubReg(DestReg, subRegIdx[i]);
380 unsigned Src = TRI->getSubReg(SrcReg, subRegIdx[i]);
381 assert(Dst && Src && "Bad sub-register");
383 MachineInstrBuilder MIB = BuildMI(MBB, I, DL, get(movOpc), Dst);
387 MovMI = MIB.getInstr();
389 // Add implicit super-register defs and kills to the last MovMI.
390 MovMI->addRegisterDefined(DestReg, TRI);
392 MovMI->addRegisterKilled(SrcReg, TRI);
395 void SparcInstrInfo::
396 storeRegToStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator I,
397 unsigned SrcReg, bool isKill, int FI,
398 const TargetRegisterClass *RC,
399 const TargetRegisterInfo *TRI) const {
401 if (I != MBB.end()) DL = I->getDebugLoc();
403 MachineFunction *MF = MBB.getParent();
404 const MachineFrameInfo &MFI = MF->getFrameInfo();
405 MachineMemOperand *MMO = MF->getMachineMemOperand(
406 MachinePointerInfo::getFixedStack(*MF, FI), MachineMemOperand::MOStore,
407 MFI.getObjectSize(FI), MFI.getObjectAlignment(FI));
409 // On the order of operands here: think "[FrameIdx + 0] = SrcReg".
410 if (RC == &SP::I64RegsRegClass)
411 BuildMI(MBB, I, DL, get(SP::STXri)).addFrameIndex(FI).addImm(0)
412 .addReg(SrcReg, getKillRegState(isKill)).addMemOperand(MMO);
413 else if (RC == &SP::IntRegsRegClass)
414 BuildMI(MBB, I, DL, get(SP::STri)).addFrameIndex(FI).addImm(0)
415 .addReg(SrcReg, getKillRegState(isKill)).addMemOperand(MMO);
416 else if (RC == &SP::IntPairRegClass)
417 BuildMI(MBB, I, DL, get(SP::STDri)).addFrameIndex(FI).addImm(0)
418 .addReg(SrcReg, getKillRegState(isKill)).addMemOperand(MMO);
419 else if (RC == &SP::FPRegsRegClass)
420 BuildMI(MBB, I, DL, get(SP::STFri)).addFrameIndex(FI).addImm(0)
421 .addReg(SrcReg, getKillRegState(isKill)).addMemOperand(MMO);
422 else if (SP::DFPRegsRegClass.hasSubClassEq(RC))
423 BuildMI(MBB, I, DL, get(SP::STDFri)).addFrameIndex(FI).addImm(0)
424 .addReg(SrcReg, getKillRegState(isKill)).addMemOperand(MMO);
425 else if (SP::QFPRegsRegClass.hasSubClassEq(RC))
426 // Use STQFri irrespective of its legality. If STQ is not legal, it will be
427 // lowered into two STDs in eliminateFrameIndex.
428 BuildMI(MBB, I, DL, get(SP::STQFri)).addFrameIndex(FI).addImm(0)
429 .addReg(SrcReg, getKillRegState(isKill)).addMemOperand(MMO);
431 llvm_unreachable("Can't store this register to stack slot");
434 void SparcInstrInfo::
435 loadRegFromStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator I,
436 unsigned DestReg, int FI,
437 const TargetRegisterClass *RC,
438 const TargetRegisterInfo *TRI) const {
440 if (I != MBB.end()) DL = I->getDebugLoc();
442 MachineFunction *MF = MBB.getParent();
443 const MachineFrameInfo &MFI = MF->getFrameInfo();
444 MachineMemOperand *MMO = MF->getMachineMemOperand(
445 MachinePointerInfo::getFixedStack(*MF, FI), MachineMemOperand::MOLoad,
446 MFI.getObjectSize(FI), MFI.getObjectAlignment(FI));
448 if (RC == &SP::I64RegsRegClass)
449 BuildMI(MBB, I, DL, get(SP::LDXri), DestReg).addFrameIndex(FI).addImm(0)
451 else if (RC == &SP::IntRegsRegClass)
452 BuildMI(MBB, I, DL, get(SP::LDri), DestReg).addFrameIndex(FI).addImm(0)
454 else if (RC == &SP::IntPairRegClass)
455 BuildMI(MBB, I, DL, get(SP::LDDri), DestReg).addFrameIndex(FI).addImm(0)
457 else if (RC == &SP::FPRegsRegClass)
458 BuildMI(MBB, I, DL, get(SP::LDFri), DestReg).addFrameIndex(FI).addImm(0)
460 else if (SP::DFPRegsRegClass.hasSubClassEq(RC))
461 BuildMI(MBB, I, DL, get(SP::LDDFri), DestReg).addFrameIndex(FI).addImm(0)
463 else if (SP::QFPRegsRegClass.hasSubClassEq(RC))
464 // Use LDQFri irrespective of its legality. If LDQ is not legal, it will be
465 // lowered into two LDDs in eliminateFrameIndex.
466 BuildMI(MBB, I, DL, get(SP::LDQFri), DestReg).addFrameIndex(FI).addImm(0)
469 llvm_unreachable("Can't load this register from stack slot");
472 unsigned SparcInstrInfo::getGlobalBaseReg(MachineFunction *MF) const
474 SparcMachineFunctionInfo *SparcFI = MF->getInfo<SparcMachineFunctionInfo>();
475 unsigned GlobalBaseReg = SparcFI->getGlobalBaseReg();
476 if (GlobalBaseReg != 0)
477 return GlobalBaseReg;
479 // Insert the set of GlobalBaseReg into the first MBB of the function
480 MachineBasicBlock &FirstMBB = MF->front();
481 MachineBasicBlock::iterator MBBI = FirstMBB.begin();
482 MachineRegisterInfo &RegInfo = MF->getRegInfo();
484 const TargetRegisterClass *PtrRC =
485 Subtarget.is64Bit() ? &SP::I64RegsRegClass : &SP::IntRegsRegClass;
486 GlobalBaseReg = RegInfo.createVirtualRegister(PtrRC);
490 BuildMI(FirstMBB, MBBI, dl, get(SP::GETPCX), GlobalBaseReg);
491 SparcFI->setGlobalBaseReg(GlobalBaseReg);
492 return GlobalBaseReg;
495 bool SparcInstrInfo::expandPostRAPseudo(MachineInstr &MI) const {
496 switch (MI.getOpcode()) {
497 case TargetOpcode::LOAD_STACK_GUARD: {
498 assert(Subtarget.isTargetLinux() &&
499 "Only Linux target is expected to contain LOAD_STACK_GUARD");
500 // offsetof(tcbhead_t, stack_guard) from sysdeps/sparc/nptl/tls.h in glibc.
501 const int64_t Offset = Subtarget.is64Bit() ? 0x28 : 0x14;
502 MI.setDesc(get(Subtarget.is64Bit() ? SP::LDXri : SP::LDri));
503 MachineInstrBuilder(*MI.getParent()->getParent(), MI)