blob: 6f2ff6dcdd1679e49f13fc3a95d574fd99d5f3fc [file] [log] [blame]
Chris Lattner7c90f732006-02-05 05:50:24 +00001//===- SparcInstrInfo.cpp - Sparc Instruction Information -------*- C++ -*-===//
Misha Brukmanb5f662f2005-04-21 23:30:14 +00002//
Brian Gaekee785e532004-02-25 19:28:19 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Misha Brukmanb5f662f2005-04-21 23:30:14 +00007//
Brian Gaekee785e532004-02-25 19:28:19 +00008//===----------------------------------------------------------------------===//
9//
Chris Lattner7c90f732006-02-05 05:50:24 +000010// This file contains the Sparc implementation of the TargetInstrInfo class.
Brian Gaekee785e532004-02-25 19:28:19 +000011//
12//===----------------------------------------------------------------------===//
13
Chris Lattner7c90f732006-02-05 05:50:24 +000014#include "SparcInstrInfo.h"
Owen Andersond10fd972007-12-31 06:32:00 +000015#include "SparcSubtarget.h"
Chris Lattner7c90f732006-02-05 05:50:24 +000016#include "Sparc.h"
Owen Anderson718cb662007-09-07 04:06:50 +000017#include "llvm/ADT/STLExtras.h"
Dan Gohmand68a0762009-01-05 17:59:02 +000018#include "llvm/ADT/SmallVector.h"
Brian Gaekee785e532004-02-25 19:28:19 +000019#include "llvm/CodeGen/MachineInstrBuilder.h"
Chris Lattnerdb486a62009-09-15 17:46:24 +000020#include "llvm/CodeGen/MachineRegisterInfo.h"
Torok Edwinc25e7582009-07-11 20:10:48 +000021#include "llvm/Support/ErrorHandling.h"
Chris Lattner7c90f732006-02-05 05:50:24 +000022#include "SparcGenInstrInfo.inc"
Chris Lattnerdb486a62009-09-15 17:46:24 +000023#include "SparcMachineFunctionInfo.h"
Chris Lattner1ddf4752004-02-29 05:59:33 +000024using namespace llvm;
Brian Gaekee785e532004-02-25 19:28:19 +000025
Chris Lattner7c90f732006-02-05 05:50:24 +000026SparcInstrInfo::SparcInstrInfo(SparcSubtarget &ST)
Chris Lattner64105522008-01-01 01:03:04 +000027 : TargetInstrInfoImpl(SparcInsts, array_lengthof(SparcInsts)),
Owen Andersond10fd972007-12-31 06:32:00 +000028 RI(ST, *this), Subtarget(ST) {
Brian Gaekee785e532004-02-25 19:28:19 +000029}
30
Chris Lattner69d39092006-02-04 06:58:46 +000031static bool isZeroImm(const MachineOperand &op) {
Dan Gohmand735b802008-10-03 15:45:36 +000032 return op.isImm() && op.getImm() == 0;
Brian Gaeke4658ba12004-12-11 05:19:03 +000033}
34
Chris Lattner1d6dc972004-07-25 06:19:04 +000035/// Return true if the instruction is a register to register move and
36/// leave the source and dest operands in the passed parameters.
37///
Chris Lattner7c90f732006-02-05 05:50:24 +000038bool SparcInstrInfo::isMoveInstr(const MachineInstr &MI,
Evan Cheng04ee5a12009-01-20 19:12:24 +000039 unsigned &SrcReg, unsigned &DstReg,
40 unsigned &SrcSR, unsigned &DstSR) const {
41 SrcSR = DstSR = 0; // No sub-registers.
42
Brian Gaeke4658ba12004-12-11 05:19:03 +000043 // We look for 3 kinds of patterns here:
44 // or with G0 or 0
45 // add with G0 or 0
46 // fmovs or FpMOVD (pseudo double move).
Chris Lattner7c90f732006-02-05 05:50:24 +000047 if (MI.getOpcode() == SP::ORrr || MI.getOpcode() == SP::ADDrr) {
48 if (MI.getOperand(1).getReg() == SP::G0) {
Chris Lattner1d6dc972004-07-25 06:19:04 +000049 DstReg = MI.getOperand(0).getReg();
50 SrcReg = MI.getOperand(2).getReg();
Brian Gaeke9b8ed0e2004-09-29 03:28:15 +000051 return true;
Chris Lattner7c90f732006-02-05 05:50:24 +000052 } else if (MI.getOperand(2).getReg() == SP::G0) {
Brian Gaeke4658ba12004-12-11 05:19:03 +000053 DstReg = MI.getOperand(0).getReg();
54 SrcReg = MI.getOperand(1).getReg();
55 return true;
56 }
Chris Lattner7c90f732006-02-05 05:50:24 +000057 } else if ((MI.getOpcode() == SP::ORri || MI.getOpcode() == SP::ADDri) &&
Dan Gohmand735b802008-10-03 15:45:36 +000058 isZeroImm(MI.getOperand(2)) && MI.getOperand(1).isReg()) {
Chris Lattner69d39092006-02-04 06:58:46 +000059 DstReg = MI.getOperand(0).getReg();
60 SrcReg = MI.getOperand(1).getReg();
61 return true;
Chris Lattner7c90f732006-02-05 05:50:24 +000062 } else if (MI.getOpcode() == SP::FMOVS || MI.getOpcode() == SP::FpMOVD ||
63 MI.getOpcode() == SP::FMOVD) {
Chris Lattner1d6dc972004-07-25 06:19:04 +000064 SrcReg = MI.getOperand(1).getReg();
65 DstReg = MI.getOperand(0).getReg();
66 return true;
67 }
68 return false;
69}
Chris Lattner5ccc7222006-02-03 06:44:54 +000070
71/// isLoadFromStackSlot - If the specified machine instruction is a direct
72/// load from a stack slot, return the virtual or physical register number of
73/// the destination along with the FrameIndex of the loaded stack slot. If
74/// not, return 0. This predicate must return 0 if the instruction has
75/// any side effects other than loading from the stack slot.
Dan Gohmancbad42c2008-11-18 19:49:32 +000076unsigned SparcInstrInfo::isLoadFromStackSlot(const MachineInstr *MI,
Chris Lattner7c90f732006-02-05 05:50:24 +000077 int &FrameIndex) const {
78 if (MI->getOpcode() == SP::LDri ||
79 MI->getOpcode() == SP::LDFri ||
80 MI->getOpcode() == SP::LDDFri) {
Dan Gohmand735b802008-10-03 15:45:36 +000081 if (MI->getOperand(1).isFI() && MI->getOperand(2).isImm() &&
Chris Lattner9a1ceae2007-12-30 20:49:49 +000082 MI->getOperand(2).getImm() == 0) {
Chris Lattner8aa797a2007-12-30 23:10:15 +000083 FrameIndex = MI->getOperand(1).getIndex();
Chris Lattner5ccc7222006-02-03 06:44:54 +000084 return MI->getOperand(0).getReg();
85 }
86 }
87 return 0;
88}
89
90/// isStoreToStackSlot - If the specified machine instruction is a direct
91/// store to a stack slot, return the virtual or physical register number of
92/// the source reg along with the FrameIndex of the loaded stack slot. If
93/// not, return 0. This predicate must return 0 if the instruction has
94/// any side effects other than storing to the stack slot.
Dan Gohmancbad42c2008-11-18 19:49:32 +000095unsigned SparcInstrInfo::isStoreToStackSlot(const MachineInstr *MI,
Chris Lattner7c90f732006-02-05 05:50:24 +000096 int &FrameIndex) const {
97 if (MI->getOpcode() == SP::STri ||
98 MI->getOpcode() == SP::STFri ||
99 MI->getOpcode() == SP::STDFri) {
Dan Gohmand735b802008-10-03 15:45:36 +0000100 if (MI->getOperand(0).isFI() && MI->getOperand(1).isImm() &&
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000101 MI->getOperand(1).getImm() == 0) {
Chris Lattner8aa797a2007-12-30 23:10:15 +0000102 FrameIndex = MI->getOperand(0).getIndex();
Chris Lattner5ccc7222006-02-03 06:44:54 +0000103 return MI->getOperand(2).getReg();
104 }
105 }
106 return 0;
107}
Chris Lattnere87146a2006-10-24 16:39:19 +0000108
Evan Cheng6ae36262007-05-18 00:18:17 +0000109unsigned
110SparcInstrInfo::InsertBranch(MachineBasicBlock &MBB,MachineBasicBlock *TBB,
111 MachineBasicBlock *FBB,
Stuart Hastings3bf91252010-06-17 22:43:56 +0000112 const SmallVectorImpl<MachineOperand> &Cond,
113 DebugLoc DL)const{
Chris Lattnere87146a2006-10-24 16:39:19 +0000114 // Can only insert uncond branches so far.
115 assert(Cond.empty() && !FBB && TBB && "Can only handle uncond branches!");
Stuart Hastings3bf91252010-06-17 22:43:56 +0000116 BuildMI(&MBB, DL, get(SP::BA)).addMBB(TBB);
Evan Cheng6ae36262007-05-18 00:18:17 +0000117 return 1;
Rafael Espindola3d7d39a2006-10-24 17:07:11 +0000118}
Owen Andersond10fd972007-12-31 06:32:00 +0000119
Jakob Stoklund Olesen8e18a1a2010-07-11 07:56:09 +0000120void SparcInstrInfo::copyPhysReg(MachineBasicBlock &MBB,
121 MachineBasicBlock::iterator I, DebugLoc DL,
122 unsigned DestReg, unsigned SrcReg,
123 bool KillSrc) const {
124 if (SP::IntRegsRegClass.contains(DestReg, SrcReg))
125 BuildMI(MBB, I, DL, get(SP::ORrr), DestReg).addReg(SP::G0)
126 .addReg(SrcReg, getKillRegState(KillSrc));
127 else if (SP::FPRegsRegClass.contains(DestReg, SrcReg))
128 BuildMI(MBB, I, DL, get(SP::FMOVS), DestReg)
129 .addReg(SrcReg, getKillRegState(KillSrc));
130 else if (SP::DFPRegsRegClass.contains(DestReg, SrcReg))
131 BuildMI(MBB, I, DL, get(Subtarget.isV9() ? SP::FMOVD : SP::FpMOVD), DestReg)
132 .addReg(SrcReg, getKillRegState(KillSrc));
Owen Andersond10fd972007-12-31 06:32:00 +0000133 else
Jakob Stoklund Olesen8e18a1a2010-07-11 07:56:09 +0000134 llvm_unreachable("Impossible reg-to-reg copy");
Owen Andersond10fd972007-12-31 06:32:00 +0000135}
Owen Andersonf6372aa2008-01-01 21:11:32 +0000136
137void SparcInstrInfo::
138storeRegToStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator I,
139 unsigned SrcReg, bool isKill, int FI,
Evan Cheng746ad692010-05-06 19:06:44 +0000140 const TargetRegisterClass *RC,
141 const TargetRegisterInfo *TRI) const {
Chris Lattnerc7f3ace2010-04-02 20:16:16 +0000142 DebugLoc DL;
Bill Wendlingd1c321a2009-02-12 00:02:55 +0000143 if (I != MBB.end()) DL = I->getDebugLoc();
144
Owen Andersonf6372aa2008-01-01 21:11:32 +0000145 // On the order of operands here: think "[FrameIdx + 0] = SrcReg".
146 if (RC == SP::IntRegsRegisterClass)
Bill Wendlingd1c321a2009-02-12 00:02:55 +0000147 BuildMI(MBB, I, DL, get(SP::STri)).addFrameIndex(FI).addImm(0)
Bill Wendling587daed2009-05-13 21:33:08 +0000148 .addReg(SrcReg, getKillRegState(isKill));
Owen Andersonf6372aa2008-01-01 21:11:32 +0000149 else if (RC == SP::FPRegsRegisterClass)
Bill Wendlingd1c321a2009-02-12 00:02:55 +0000150 BuildMI(MBB, I, DL, get(SP::STFri)).addFrameIndex(FI).addImm(0)
Bill Wendling587daed2009-05-13 21:33:08 +0000151 .addReg(SrcReg, getKillRegState(isKill));
Owen Andersonf6372aa2008-01-01 21:11:32 +0000152 else if (RC == SP::DFPRegsRegisterClass)
Bill Wendlingd1c321a2009-02-12 00:02:55 +0000153 BuildMI(MBB, I, DL, get(SP::STDFri)).addFrameIndex(FI).addImm(0)
Bill Wendling587daed2009-05-13 21:33:08 +0000154 .addReg(SrcReg, getKillRegState(isKill));
Owen Andersonf6372aa2008-01-01 21:11:32 +0000155 else
Torok Edwinc23197a2009-07-14 16:55:14 +0000156 llvm_unreachable("Can't store this register to stack slot");
Owen Andersonf6372aa2008-01-01 21:11:32 +0000157}
158
Owen Andersonf6372aa2008-01-01 21:11:32 +0000159void SparcInstrInfo::
160loadRegFromStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator I,
161 unsigned DestReg, int FI,
Evan Cheng746ad692010-05-06 19:06:44 +0000162 const TargetRegisterClass *RC,
163 const TargetRegisterInfo *TRI) const {
Chris Lattnerc7f3ace2010-04-02 20:16:16 +0000164 DebugLoc DL;
Bill Wendlingd1c321a2009-02-12 00:02:55 +0000165 if (I != MBB.end()) DL = I->getDebugLoc();
166
Owen Andersonf6372aa2008-01-01 21:11:32 +0000167 if (RC == SP::IntRegsRegisterClass)
Bill Wendlingd1c321a2009-02-12 00:02:55 +0000168 BuildMI(MBB, I, DL, get(SP::LDri), DestReg).addFrameIndex(FI).addImm(0);
Owen Andersonf6372aa2008-01-01 21:11:32 +0000169 else if (RC == SP::FPRegsRegisterClass)
Bill Wendlingd1c321a2009-02-12 00:02:55 +0000170 BuildMI(MBB, I, DL, get(SP::LDFri), DestReg).addFrameIndex(FI).addImm(0);
Owen Andersonf6372aa2008-01-01 21:11:32 +0000171 else if (RC == SP::DFPRegsRegisterClass)
Bill Wendlingd1c321a2009-02-12 00:02:55 +0000172 BuildMI(MBB, I, DL, get(SP::LDDFri), DestReg).addFrameIndex(FI).addImm(0);
Owen Andersonf6372aa2008-01-01 21:11:32 +0000173 else
Torok Edwinc23197a2009-07-14 16:55:14 +0000174 llvm_unreachable("Can't load this register from stack slot");
Owen Andersonf6372aa2008-01-01 21:11:32 +0000175}
176
Dan Gohmanc54baa22008-12-03 18:43:12 +0000177MachineInstr *SparcInstrInfo::foldMemoryOperandImpl(MachineFunction &MF,
178 MachineInstr* MI,
Dan Gohman8e8b8a22008-10-16 01:49:15 +0000179 const SmallVectorImpl<unsigned> &Ops,
Dan Gohmanc54baa22008-12-03 18:43:12 +0000180 int FI) const {
Owen Anderson43dbe052008-01-07 01:35:02 +0000181 if (Ops.size() != 1) return NULL;
182
183 unsigned OpNum = Ops[0];
184 bool isFloat = false;
185 MachineInstr *NewMI = NULL;
186 switch (MI->getOpcode()) {
187 case SP::ORrr:
Dan Gohmand735b802008-10-03 15:45:36 +0000188 if (MI->getOperand(1).isReg() && MI->getOperand(1).getReg() == SP::G0&&
189 MI->getOperand(0).isReg() && MI->getOperand(2).isReg()) {
Owen Anderson43dbe052008-01-07 01:35:02 +0000190 if (OpNum == 0) // COPY -> STORE
Bill Wendlingd1c321a2009-02-12 00:02:55 +0000191 NewMI = BuildMI(MF, MI->getDebugLoc(), get(SP::STri))
192 .addFrameIndex(FI)
193 .addImm(0)
194 .addReg(MI->getOperand(2).getReg());
Owen Anderson43dbe052008-01-07 01:35:02 +0000195 else // COPY -> LOAD
Bill Wendlingd1c321a2009-02-12 00:02:55 +0000196 NewMI = BuildMI(MF, MI->getDebugLoc(), get(SP::LDri),
197 MI->getOperand(0).getReg())
198 .addFrameIndex(FI)
199 .addImm(0);
Owen Anderson43dbe052008-01-07 01:35:02 +0000200 }
201 break;
202 case SP::FMOVS:
203 isFloat = true;
204 // FALLTHROUGH
205 case SP::FMOVD:
Evan Cheng9f1c8312008-07-03 09:09:37 +0000206 if (OpNum == 0) { // COPY -> STORE
207 unsigned SrcReg = MI->getOperand(1).getReg();
208 bool isKill = MI->getOperand(1).isKill();
Evan Cheng2578ba22009-07-01 01:59:31 +0000209 bool isUndef = MI->getOperand(1).isUndef();
Bill Wendlingd1c321a2009-02-12 00:02:55 +0000210 NewMI = BuildMI(MF, MI->getDebugLoc(),
211 get(isFloat ? SP::STFri : SP::STDFri))
212 .addFrameIndex(FI)
213 .addImm(0)
Evan Cheng2578ba22009-07-01 01:59:31 +0000214 .addReg(SrcReg, getKillRegState(isKill) | getUndefRegState(isUndef));
Evan Cheng9f1c8312008-07-03 09:09:37 +0000215 } else { // COPY -> LOAD
216 unsigned DstReg = MI->getOperand(0).getReg();
217 bool isDead = MI->getOperand(0).isDead();
Evan Cheng2578ba22009-07-01 01:59:31 +0000218 bool isUndef = MI->getOperand(0).isUndef();
Bill Wendlingd1c321a2009-02-12 00:02:55 +0000219 NewMI = BuildMI(MF, MI->getDebugLoc(),
220 get(isFloat ? SP::LDFri : SP::LDDFri))
Evan Cheng2578ba22009-07-01 01:59:31 +0000221 .addReg(DstReg, RegState::Define |
222 getDeadRegState(isDead) | getUndefRegState(isUndef))
Bill Wendlingd1c321a2009-02-12 00:02:55 +0000223 .addFrameIndex(FI)
224 .addImm(0);
Evan Cheng9f1c8312008-07-03 09:09:37 +0000225 }
Owen Anderson43dbe052008-01-07 01:35:02 +0000226 break;
227 }
228
Owen Anderson43dbe052008-01-07 01:35:02 +0000229 return NewMI;
Duncan Sands9c5525f2008-01-07 19:13:36 +0000230}
Chris Lattnerdb486a62009-09-15 17:46:24 +0000231
232unsigned SparcInstrInfo::getGlobalBaseReg(MachineFunction *MF) const
233{
234 SparcMachineFunctionInfo *SparcFI = MF->getInfo<SparcMachineFunctionInfo>();
235 unsigned GlobalBaseReg = SparcFI->getGlobalBaseReg();
236 if (GlobalBaseReg != 0)
237 return GlobalBaseReg;
238
239 // Insert the set of GlobalBaseReg into the first MBB of the function
240 MachineBasicBlock &FirstMBB = MF->front();
241 MachineBasicBlock::iterator MBBI = FirstMBB.begin();
242 MachineRegisterInfo &RegInfo = MF->getRegInfo();
243
244 GlobalBaseReg = RegInfo.createVirtualRegister(&SP::IntRegsRegClass);
245
246
Chris Lattnerc7f3ace2010-04-02 20:16:16 +0000247 DebugLoc dl;
Chris Lattnerdb486a62009-09-15 17:46:24 +0000248
249 BuildMI(FirstMBB, MBBI, dl, get(SP::GETPCX), GlobalBaseReg);
250 SparcFI->setGlobalBaseReg(GlobalBaseReg);
251 return GlobalBaseReg;
252}