blob: 8601cbe4df7b99280d35f13a4c37a39c80eba2dd [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 Lattner7c90f732006-02-05 05:50:24 +000020#include "SparcGenInstrInfo.inc"
Chris Lattner1ddf4752004-02-29 05:59:33 +000021using namespace llvm;
Brian Gaekee785e532004-02-25 19:28:19 +000022
Chris Lattner7c90f732006-02-05 05:50:24 +000023SparcInstrInfo::SparcInstrInfo(SparcSubtarget &ST)
Chris Lattner64105522008-01-01 01:03:04 +000024 : TargetInstrInfoImpl(SparcInsts, array_lengthof(SparcInsts)),
Owen Andersond10fd972007-12-31 06:32:00 +000025 RI(ST, *this), Subtarget(ST) {
Brian Gaekee785e532004-02-25 19:28:19 +000026}
27
Chris Lattner69d39092006-02-04 06:58:46 +000028static bool isZeroImm(const MachineOperand &op) {
Dan Gohmand735b802008-10-03 15:45:36 +000029 return op.isImm() && op.getImm() == 0;
Brian Gaeke4658ba12004-12-11 05:19:03 +000030}
31
Chris Lattner1d6dc972004-07-25 06:19:04 +000032/// Return true if the instruction is a register to register move and
33/// leave the source and dest operands in the passed parameters.
34///
Chris Lattner7c90f732006-02-05 05:50:24 +000035bool SparcInstrInfo::isMoveInstr(const MachineInstr &MI,
36 unsigned &SrcReg, unsigned &DstReg) const {
Brian Gaeke4658ba12004-12-11 05:19:03 +000037 // We look for 3 kinds of patterns here:
38 // or with G0 or 0
39 // add with G0 or 0
40 // fmovs or FpMOVD (pseudo double move).
Chris Lattner7c90f732006-02-05 05:50:24 +000041 if (MI.getOpcode() == SP::ORrr || MI.getOpcode() == SP::ADDrr) {
42 if (MI.getOperand(1).getReg() == SP::G0) {
Chris Lattner1d6dc972004-07-25 06:19:04 +000043 DstReg = MI.getOperand(0).getReg();
44 SrcReg = MI.getOperand(2).getReg();
Brian Gaeke9b8ed0e2004-09-29 03:28:15 +000045 return true;
Chris Lattner7c90f732006-02-05 05:50:24 +000046 } else if (MI.getOperand(2).getReg() == SP::G0) {
Brian Gaeke4658ba12004-12-11 05:19:03 +000047 DstReg = MI.getOperand(0).getReg();
48 SrcReg = MI.getOperand(1).getReg();
49 return true;
50 }
Chris Lattner7c90f732006-02-05 05:50:24 +000051 } else if ((MI.getOpcode() == SP::ORri || MI.getOpcode() == SP::ADDri) &&
Dan Gohmand735b802008-10-03 15:45:36 +000052 isZeroImm(MI.getOperand(2)) && MI.getOperand(1).isReg()) {
Chris Lattner69d39092006-02-04 06:58:46 +000053 DstReg = MI.getOperand(0).getReg();
54 SrcReg = MI.getOperand(1).getReg();
55 return true;
Chris Lattner7c90f732006-02-05 05:50:24 +000056 } else if (MI.getOpcode() == SP::FMOVS || MI.getOpcode() == SP::FpMOVD ||
57 MI.getOpcode() == SP::FMOVD) {
Chris Lattner1d6dc972004-07-25 06:19:04 +000058 SrcReg = MI.getOperand(1).getReg();
59 DstReg = MI.getOperand(0).getReg();
60 return true;
61 }
62 return false;
63}
Chris Lattner5ccc7222006-02-03 06:44:54 +000064
65/// isLoadFromStackSlot - If the specified machine instruction is a direct
66/// load from a stack slot, return the virtual or physical register number of
67/// the destination along with the FrameIndex of the loaded stack slot. If
68/// not, return 0. This predicate must return 0 if the instruction has
69/// any side effects other than loading from the stack slot.
Dan Gohmancbad42c2008-11-18 19:49:32 +000070unsigned SparcInstrInfo::isLoadFromStackSlot(const MachineInstr *MI,
Chris Lattner7c90f732006-02-05 05:50:24 +000071 int &FrameIndex) const {
72 if (MI->getOpcode() == SP::LDri ||
73 MI->getOpcode() == SP::LDFri ||
74 MI->getOpcode() == SP::LDDFri) {
Dan Gohmand735b802008-10-03 15:45:36 +000075 if (MI->getOperand(1).isFI() && MI->getOperand(2).isImm() &&
Chris Lattner9a1ceae2007-12-30 20:49:49 +000076 MI->getOperand(2).getImm() == 0) {
Chris Lattner8aa797a2007-12-30 23:10:15 +000077 FrameIndex = MI->getOperand(1).getIndex();
Chris Lattner5ccc7222006-02-03 06:44:54 +000078 return MI->getOperand(0).getReg();
79 }
80 }
81 return 0;
82}
83
84/// isStoreToStackSlot - If the specified machine instruction is a direct
85/// store to a stack slot, return the virtual or physical register number of
86/// the source reg along with the FrameIndex of the loaded stack slot. If
87/// not, return 0. This predicate must return 0 if the instruction has
88/// any side effects other than storing to the stack slot.
Dan Gohmancbad42c2008-11-18 19:49:32 +000089unsigned SparcInstrInfo::isStoreToStackSlot(const MachineInstr *MI,
Chris Lattner7c90f732006-02-05 05:50:24 +000090 int &FrameIndex) const {
91 if (MI->getOpcode() == SP::STri ||
92 MI->getOpcode() == SP::STFri ||
93 MI->getOpcode() == SP::STDFri) {
Dan Gohmand735b802008-10-03 15:45:36 +000094 if (MI->getOperand(0).isFI() && MI->getOperand(1).isImm() &&
Chris Lattner9a1ceae2007-12-30 20:49:49 +000095 MI->getOperand(1).getImm() == 0) {
Chris Lattner8aa797a2007-12-30 23:10:15 +000096 FrameIndex = MI->getOperand(0).getIndex();
Chris Lattner5ccc7222006-02-03 06:44:54 +000097 return MI->getOperand(2).getReg();
98 }
99 }
100 return 0;
101}
Chris Lattnere87146a2006-10-24 16:39:19 +0000102
Evan Cheng6ae36262007-05-18 00:18:17 +0000103unsigned
104SparcInstrInfo::InsertBranch(MachineBasicBlock &MBB,MachineBasicBlock *TBB,
105 MachineBasicBlock *FBB,
Owen Anderson44eb65c2008-08-14 22:49:33 +0000106 const SmallVectorImpl<MachineOperand> &Cond)const{
Chris Lattnere87146a2006-10-24 16:39:19 +0000107 // Can only insert uncond branches so far.
108 assert(Cond.empty() && !FBB && TBB && "Can only handle uncond branches!");
Evan Chengc0f64ff2006-11-27 23:37:22 +0000109 BuildMI(&MBB, get(SP::BA)).addMBB(TBB);
Evan Cheng6ae36262007-05-18 00:18:17 +0000110 return 1;
Rafael Espindola3d7d39a2006-10-24 17:07:11 +0000111}
Owen Andersond10fd972007-12-31 06:32:00 +0000112
Owen Anderson940f83e2008-08-26 18:03:31 +0000113bool SparcInstrInfo::copyRegToReg(MachineBasicBlock &MBB,
Owen Andersond10fd972007-12-31 06:32:00 +0000114 MachineBasicBlock::iterator I,
115 unsigned DestReg, unsigned SrcReg,
116 const TargetRegisterClass *DestRC,
117 const TargetRegisterClass *SrcRC) const {
118 if (DestRC != SrcRC) {
Owen Anderson940f83e2008-08-26 18:03:31 +0000119 // Not yet supported!
120 return false;
Owen Andersond10fd972007-12-31 06:32:00 +0000121 }
122
123 if (DestRC == SP::IntRegsRegisterClass)
124 BuildMI(MBB, I, get(SP::ORrr), DestReg).addReg(SP::G0).addReg(SrcReg);
125 else if (DestRC == SP::FPRegsRegisterClass)
126 BuildMI(MBB, I, get(SP::FMOVS), DestReg).addReg(SrcReg);
127 else if (DestRC == SP::DFPRegsRegisterClass)
128 BuildMI(MBB, I, get(Subtarget.isV9() ? SP::FMOVD : SP::FpMOVD),DestReg)
129 .addReg(SrcReg);
130 else
Owen Anderson940f83e2008-08-26 18:03:31 +0000131 // Can't copy this register
132 return false;
133
134 return true;
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,
140 const TargetRegisterClass *RC) const {
141 // On the order of operands here: think "[FrameIdx + 0] = SrcReg".
142 if (RC == SP::IntRegsRegisterClass)
143 BuildMI(MBB, I, get(SP::STri)).addFrameIndex(FI).addImm(0)
144 .addReg(SrcReg, false, false, isKill);
145 else if (RC == SP::FPRegsRegisterClass)
146 BuildMI(MBB, I, get(SP::STFri)).addFrameIndex(FI).addImm(0)
147 .addReg(SrcReg, false, false, isKill);
148 else if (RC == SP::DFPRegsRegisterClass)
149 BuildMI(MBB, I, get(SP::STDFri)).addFrameIndex(FI).addImm(0)
150 .addReg(SrcReg, false, false, isKill);
151 else
152 assert(0 && "Can't store this register to stack slot");
153}
154
155void SparcInstrInfo::storeRegToAddr(MachineFunction &MF, unsigned SrcReg,
156 bool isKill,
157 SmallVectorImpl<MachineOperand> &Addr,
158 const TargetRegisterClass *RC,
159 SmallVectorImpl<MachineInstr*> &NewMIs) const {
160 unsigned Opc = 0;
161 if (RC == SP::IntRegsRegisterClass)
162 Opc = SP::STri;
163 else if (RC == SP::FPRegsRegisterClass)
164 Opc = SP::STFri;
165 else if (RC == SP::DFPRegsRegisterClass)
166 Opc = SP::STDFri;
167 else
168 assert(0 && "Can't load this register");
Dan Gohman8e5f2c62008-07-07 23:14:23 +0000169 MachineInstrBuilder MIB = BuildMI(MF, get(Opc));
Owen Andersonf6372aa2008-01-01 21:11:32 +0000170 for (unsigned i = 0, e = Addr.size(); i != e; ++i) {
171 MachineOperand &MO = Addr[i];
Dan Gohmand735b802008-10-03 15:45:36 +0000172 if (MO.isReg())
Owen Andersonf6372aa2008-01-01 21:11:32 +0000173 MIB.addReg(MO.getReg());
Dan Gohmand735b802008-10-03 15:45:36 +0000174 else if (MO.isImm())
Owen Andersonf6372aa2008-01-01 21:11:32 +0000175 MIB.addImm(MO.getImm());
176 else {
Dan Gohmand735b802008-10-03 15:45:36 +0000177 assert(MO.isFI());
Owen Andersonf6372aa2008-01-01 21:11:32 +0000178 MIB.addFrameIndex(MO.getIndex());
179 }
180 }
181 MIB.addReg(SrcReg, false, false, isKill);
182 NewMIs.push_back(MIB);
183 return;
184}
185
186void SparcInstrInfo::
187loadRegFromStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator I,
188 unsigned DestReg, int FI,
189 const TargetRegisterClass *RC) const {
190 if (RC == SP::IntRegsRegisterClass)
191 BuildMI(MBB, I, get(SP::LDri), DestReg).addFrameIndex(FI).addImm(0);
192 else if (RC == SP::FPRegsRegisterClass)
193 BuildMI(MBB, I, get(SP::LDFri), DestReg).addFrameIndex(FI).addImm(0);
194 else if (RC == SP::DFPRegsRegisterClass)
195 BuildMI(MBB, I, get(SP::LDDFri), DestReg).addFrameIndex(FI).addImm(0);
196 else
197 assert(0 && "Can't load this register from stack slot");
198}
199
200void SparcInstrInfo::loadRegFromAddr(MachineFunction &MF, unsigned DestReg,
201 SmallVectorImpl<MachineOperand> &Addr,
202 const TargetRegisterClass *RC,
203 SmallVectorImpl<MachineInstr*> &NewMIs) const {
204 unsigned Opc = 0;
205 if (RC == SP::IntRegsRegisterClass)
206 Opc = SP::LDri;
207 else if (RC == SP::FPRegsRegisterClass)
208 Opc = SP::LDFri;
209 else if (RC == SP::DFPRegsRegisterClass)
210 Opc = SP::LDDFri;
211 else
212 assert(0 && "Can't load this register");
Dan Gohman8e5f2c62008-07-07 23:14:23 +0000213 MachineInstrBuilder MIB = BuildMI(MF, get(Opc), DestReg);
Owen Andersonf6372aa2008-01-01 21:11:32 +0000214 for (unsigned i = 0, e = Addr.size(); i != e; ++i) {
215 MachineOperand &MO = Addr[i];
Dan Gohmand735b802008-10-03 15:45:36 +0000216 if (MO.isReg())
Owen Andersonf6372aa2008-01-01 21:11:32 +0000217 MIB.addReg(MO.getReg());
Dan Gohmand735b802008-10-03 15:45:36 +0000218 else if (MO.isImm())
Owen Andersonf6372aa2008-01-01 21:11:32 +0000219 MIB.addImm(MO.getImm());
220 else {
Dan Gohmand735b802008-10-03 15:45:36 +0000221 assert(MO.isFI());
Owen Andersonf6372aa2008-01-01 21:11:32 +0000222 MIB.addFrameIndex(MO.getIndex());
223 }
224 }
225 NewMIs.push_back(MIB);
226 return;
227}
Owen Anderson43dbe052008-01-07 01:35:02 +0000228
Dan Gohmanc54baa22008-12-03 18:43:12 +0000229MachineInstr *SparcInstrInfo::foldMemoryOperandImpl(MachineFunction &MF,
230 MachineInstr* MI,
Dan Gohman8e8b8a22008-10-16 01:49:15 +0000231 const SmallVectorImpl<unsigned> &Ops,
Dan Gohmanc54baa22008-12-03 18:43:12 +0000232 int FI) const {
Owen Anderson43dbe052008-01-07 01:35:02 +0000233 if (Ops.size() != 1) return NULL;
234
235 unsigned OpNum = Ops[0];
236 bool isFloat = false;
237 MachineInstr *NewMI = NULL;
238 switch (MI->getOpcode()) {
239 case SP::ORrr:
Dan Gohmand735b802008-10-03 15:45:36 +0000240 if (MI->getOperand(1).isReg() && MI->getOperand(1).getReg() == SP::G0&&
241 MI->getOperand(0).isReg() && MI->getOperand(2).isReg()) {
Owen Anderson43dbe052008-01-07 01:35:02 +0000242 if (OpNum == 0) // COPY -> STORE
Dan Gohman8e5f2c62008-07-07 23:14:23 +0000243 NewMI = BuildMI(MF, get(SP::STri)).addFrameIndex(FI).addImm(0)
Owen Anderson43dbe052008-01-07 01:35:02 +0000244 .addReg(MI->getOperand(2).getReg());
245 else // COPY -> LOAD
Dan Gohman8e5f2c62008-07-07 23:14:23 +0000246 NewMI = BuildMI(MF, get(SP::LDri), MI->getOperand(0).getReg())
Owen Anderson43dbe052008-01-07 01:35:02 +0000247 .addFrameIndex(FI).addImm(0);
248 }
249 break;
250 case SP::FMOVS:
251 isFloat = true;
252 // FALLTHROUGH
253 case SP::FMOVD:
Evan Cheng9f1c8312008-07-03 09:09:37 +0000254 if (OpNum == 0) { // COPY -> STORE
255 unsigned SrcReg = MI->getOperand(1).getReg();
256 bool isKill = MI->getOperand(1).isKill();
Dan Gohman8e5f2c62008-07-07 23:14:23 +0000257 NewMI = BuildMI(MF, get(isFloat ? SP::STFri : SP::STDFri))
Evan Cheng9f1c8312008-07-03 09:09:37 +0000258 .addFrameIndex(FI).addImm(0).addReg(SrcReg, false, false, isKill);
259 } else { // COPY -> LOAD
260 unsigned DstReg = MI->getOperand(0).getReg();
261 bool isDead = MI->getOperand(0).isDead();
Dan Gohman8e5f2c62008-07-07 23:14:23 +0000262 NewMI = BuildMI(MF, get(isFloat ? SP::LDFri : SP::LDDFri))
Evan Cheng9f1c8312008-07-03 09:09:37 +0000263 .addReg(DstReg, true, false, false, isDead).addFrameIndex(FI).addImm(0);
264 }
Owen Anderson43dbe052008-01-07 01:35:02 +0000265 break;
266 }
267
Owen Anderson43dbe052008-01-07 01:35:02 +0000268 return NewMI;
Duncan Sands9c5525f2008-01-07 19:13:36 +0000269}