blob: ab18044d6d41d08f86638c1752079fd596e117de [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"
Brian Gaekee785e532004-02-25 19:28:19 +000018#include "llvm/CodeGen/MachineInstrBuilder.h"
Chris Lattner7c90f732006-02-05 05:50:24 +000019#include "SparcGenInstrInfo.inc"
Chris Lattner1ddf4752004-02-29 05:59:33 +000020using namespace llvm;
Brian Gaekee785e532004-02-25 19:28:19 +000021
Chris Lattner7c90f732006-02-05 05:50:24 +000022SparcInstrInfo::SparcInstrInfo(SparcSubtarget &ST)
Chris Lattner64105522008-01-01 01:03:04 +000023 : TargetInstrInfoImpl(SparcInsts, array_lengthof(SparcInsts)),
Owen Andersond10fd972007-12-31 06:32:00 +000024 RI(ST, *this), Subtarget(ST) {
Brian Gaekee785e532004-02-25 19:28:19 +000025}
26
Chris Lattner69d39092006-02-04 06:58:46 +000027static bool isZeroImm(const MachineOperand &op) {
Chris Lattner9a1ceae2007-12-30 20:49:49 +000028 return op.isImmediate() && op.getImm() == 0;
Brian Gaeke4658ba12004-12-11 05:19:03 +000029}
30
Chris Lattner1d6dc972004-07-25 06:19:04 +000031/// Return true if the instruction is a register to register move and
32/// leave the source and dest operands in the passed parameters.
33///
Chris Lattner7c90f732006-02-05 05:50:24 +000034bool SparcInstrInfo::isMoveInstr(const MachineInstr &MI,
35 unsigned &SrcReg, unsigned &DstReg) const {
Brian Gaeke4658ba12004-12-11 05:19:03 +000036 // We look for 3 kinds of patterns here:
37 // or with G0 or 0
38 // add with G0 or 0
39 // fmovs or FpMOVD (pseudo double move).
Chris Lattner7c90f732006-02-05 05:50:24 +000040 if (MI.getOpcode() == SP::ORrr || MI.getOpcode() == SP::ADDrr) {
41 if (MI.getOperand(1).getReg() == SP::G0) {
Chris Lattner1d6dc972004-07-25 06:19:04 +000042 DstReg = MI.getOperand(0).getReg();
43 SrcReg = MI.getOperand(2).getReg();
Brian Gaeke9b8ed0e2004-09-29 03:28:15 +000044 return true;
Chris Lattner7c90f732006-02-05 05:50:24 +000045 } else if (MI.getOperand(2).getReg() == SP::G0) {
Brian Gaeke4658ba12004-12-11 05:19:03 +000046 DstReg = MI.getOperand(0).getReg();
47 SrcReg = MI.getOperand(1).getReg();
48 return true;
49 }
Chris Lattner7c90f732006-02-05 05:50:24 +000050 } else if ((MI.getOpcode() == SP::ORri || MI.getOpcode() == SP::ADDri) &&
Chris Lattner69d39092006-02-04 06:58:46 +000051 isZeroImm(MI.getOperand(2)) && MI.getOperand(1).isRegister()) {
52 DstReg = MI.getOperand(0).getReg();
53 SrcReg = MI.getOperand(1).getReg();
54 return true;
Chris Lattner7c90f732006-02-05 05:50:24 +000055 } else if (MI.getOpcode() == SP::FMOVS || MI.getOpcode() == SP::FpMOVD ||
56 MI.getOpcode() == SP::FMOVD) {
Chris Lattner1d6dc972004-07-25 06:19:04 +000057 SrcReg = MI.getOperand(1).getReg();
58 DstReg = MI.getOperand(0).getReg();
59 return true;
60 }
61 return false;
62}
Chris Lattner5ccc7222006-02-03 06:44:54 +000063
64/// isLoadFromStackSlot - If the specified machine instruction is a direct
65/// load from a stack slot, return the virtual or physical register number of
66/// the destination along with the FrameIndex of the loaded stack slot. If
67/// not, return 0. This predicate must return 0 if the instruction has
68/// any side effects other than loading from the stack slot.
Chris Lattner7c90f732006-02-05 05:50:24 +000069unsigned SparcInstrInfo::isLoadFromStackSlot(MachineInstr *MI,
70 int &FrameIndex) const {
71 if (MI->getOpcode() == SP::LDri ||
72 MI->getOpcode() == SP::LDFri ||
73 MI->getOpcode() == SP::LDDFri) {
Chris Lattner5ccc7222006-02-03 06:44:54 +000074 if (MI->getOperand(1).isFrameIndex() && MI->getOperand(2).isImmediate() &&
Chris Lattner9a1ceae2007-12-30 20:49:49 +000075 MI->getOperand(2).getImm() == 0) {
Chris Lattner8aa797a2007-12-30 23:10:15 +000076 FrameIndex = MI->getOperand(1).getIndex();
Chris Lattner5ccc7222006-02-03 06:44:54 +000077 return MI->getOperand(0).getReg();
78 }
79 }
80 return 0;
81}
82
83/// isStoreToStackSlot - If the specified machine instruction is a direct
84/// store to a stack slot, return the virtual or physical register number of
85/// the source reg along with the FrameIndex of the loaded stack slot. If
86/// not, return 0. This predicate must return 0 if the instruction has
87/// any side effects other than storing to the stack slot.
Chris Lattner7c90f732006-02-05 05:50:24 +000088unsigned SparcInstrInfo::isStoreToStackSlot(MachineInstr *MI,
89 int &FrameIndex) const {
90 if (MI->getOpcode() == SP::STri ||
91 MI->getOpcode() == SP::STFri ||
92 MI->getOpcode() == SP::STDFri) {
Chris Lattner5ccc7222006-02-03 06:44:54 +000093 if (MI->getOperand(0).isFrameIndex() && MI->getOperand(1).isImmediate() &&
Chris Lattner9a1ceae2007-12-30 20:49:49 +000094 MI->getOperand(1).getImm() == 0) {
Chris Lattner8aa797a2007-12-30 23:10:15 +000095 FrameIndex = MI->getOperand(0).getIndex();
Chris Lattner5ccc7222006-02-03 06:44:54 +000096 return MI->getOperand(2).getReg();
97 }
98 }
99 return 0;
100}
Chris Lattnere87146a2006-10-24 16:39:19 +0000101
Evan Cheng6ae36262007-05-18 00:18:17 +0000102unsigned
103SparcInstrInfo::InsertBranch(MachineBasicBlock &MBB,MachineBasicBlock *TBB,
104 MachineBasicBlock *FBB,
Owen Anderson44eb65c2008-08-14 22:49:33 +0000105 const SmallVectorImpl<MachineOperand> &Cond)const{
Chris Lattnere87146a2006-10-24 16:39:19 +0000106 // Can only insert uncond branches so far.
107 assert(Cond.empty() && !FBB && TBB && "Can only handle uncond branches!");
Evan Chengc0f64ff2006-11-27 23:37:22 +0000108 BuildMI(&MBB, get(SP::BA)).addMBB(TBB);
Evan Cheng6ae36262007-05-18 00:18:17 +0000109 return 1;
Rafael Espindola3d7d39a2006-10-24 17:07:11 +0000110}
Owen Andersond10fd972007-12-31 06:32:00 +0000111
Owen Anderson940f83e2008-08-26 18:03:31 +0000112bool SparcInstrInfo::copyRegToReg(MachineBasicBlock &MBB,
Owen Andersond10fd972007-12-31 06:32:00 +0000113 MachineBasicBlock::iterator I,
114 unsigned DestReg, unsigned SrcReg,
115 const TargetRegisterClass *DestRC,
116 const TargetRegisterClass *SrcRC) const {
117 if (DestRC != SrcRC) {
Owen Anderson940f83e2008-08-26 18:03:31 +0000118 // Not yet supported!
119 return false;
Owen Andersond10fd972007-12-31 06:32:00 +0000120 }
121
122 if (DestRC == SP::IntRegsRegisterClass)
123 BuildMI(MBB, I, get(SP::ORrr), DestReg).addReg(SP::G0).addReg(SrcReg);
124 else if (DestRC == SP::FPRegsRegisterClass)
125 BuildMI(MBB, I, get(SP::FMOVS), DestReg).addReg(SrcReg);
126 else if (DestRC == SP::DFPRegsRegisterClass)
127 BuildMI(MBB, I, get(Subtarget.isV9() ? SP::FMOVD : SP::FpMOVD),DestReg)
128 .addReg(SrcReg);
129 else
Owen Anderson940f83e2008-08-26 18:03:31 +0000130 // Can't copy this register
131 return false;
132
133 return true;
Owen Andersond10fd972007-12-31 06:32:00 +0000134}
Owen Andersonf6372aa2008-01-01 21:11:32 +0000135
136void SparcInstrInfo::
137storeRegToStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator I,
138 unsigned SrcReg, bool isKill, int FI,
139 const TargetRegisterClass *RC) const {
140 // On the order of operands here: think "[FrameIdx + 0] = SrcReg".
141 if (RC == SP::IntRegsRegisterClass)
142 BuildMI(MBB, I, get(SP::STri)).addFrameIndex(FI).addImm(0)
143 .addReg(SrcReg, false, false, isKill);
144 else if (RC == SP::FPRegsRegisterClass)
145 BuildMI(MBB, I, get(SP::STFri)).addFrameIndex(FI).addImm(0)
146 .addReg(SrcReg, false, false, isKill);
147 else if (RC == SP::DFPRegsRegisterClass)
148 BuildMI(MBB, I, get(SP::STDFri)).addFrameIndex(FI).addImm(0)
149 .addReg(SrcReg, false, false, isKill);
150 else
151 assert(0 && "Can't store this register to stack slot");
152}
153
154void SparcInstrInfo::storeRegToAddr(MachineFunction &MF, unsigned SrcReg,
155 bool isKill,
156 SmallVectorImpl<MachineOperand> &Addr,
157 const TargetRegisterClass *RC,
158 SmallVectorImpl<MachineInstr*> &NewMIs) const {
159 unsigned Opc = 0;
160 if (RC == SP::IntRegsRegisterClass)
161 Opc = SP::STri;
162 else if (RC == SP::FPRegsRegisterClass)
163 Opc = SP::STFri;
164 else if (RC == SP::DFPRegsRegisterClass)
165 Opc = SP::STDFri;
166 else
167 assert(0 && "Can't load this register");
Dan Gohman8e5f2c62008-07-07 23:14:23 +0000168 MachineInstrBuilder MIB = BuildMI(MF, get(Opc));
Owen Andersonf6372aa2008-01-01 21:11:32 +0000169 for (unsigned i = 0, e = Addr.size(); i != e; ++i) {
170 MachineOperand &MO = Addr[i];
171 if (MO.isRegister())
172 MIB.addReg(MO.getReg());
173 else if (MO.isImmediate())
174 MIB.addImm(MO.getImm());
175 else {
176 assert(MO.isFI());
177 MIB.addFrameIndex(MO.getIndex());
178 }
179 }
180 MIB.addReg(SrcReg, false, false, isKill);
181 NewMIs.push_back(MIB);
182 return;
183}
184
185void SparcInstrInfo::
186loadRegFromStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator I,
187 unsigned DestReg, int FI,
188 const TargetRegisterClass *RC) const {
189 if (RC == SP::IntRegsRegisterClass)
190 BuildMI(MBB, I, get(SP::LDri), DestReg).addFrameIndex(FI).addImm(0);
191 else if (RC == SP::FPRegsRegisterClass)
192 BuildMI(MBB, I, get(SP::LDFri), DestReg).addFrameIndex(FI).addImm(0);
193 else if (RC == SP::DFPRegsRegisterClass)
194 BuildMI(MBB, I, get(SP::LDDFri), DestReg).addFrameIndex(FI).addImm(0);
195 else
196 assert(0 && "Can't load this register from stack slot");
197}
198
199void SparcInstrInfo::loadRegFromAddr(MachineFunction &MF, unsigned DestReg,
200 SmallVectorImpl<MachineOperand> &Addr,
201 const TargetRegisterClass *RC,
202 SmallVectorImpl<MachineInstr*> &NewMIs) const {
203 unsigned Opc = 0;
204 if (RC == SP::IntRegsRegisterClass)
205 Opc = SP::LDri;
206 else if (RC == SP::FPRegsRegisterClass)
207 Opc = SP::LDFri;
208 else if (RC == SP::DFPRegsRegisterClass)
209 Opc = SP::LDDFri;
210 else
211 assert(0 && "Can't load this register");
Dan Gohman8e5f2c62008-07-07 23:14:23 +0000212 MachineInstrBuilder MIB = BuildMI(MF, get(Opc), DestReg);
Owen Andersonf6372aa2008-01-01 21:11:32 +0000213 for (unsigned i = 0, e = Addr.size(); i != e; ++i) {
214 MachineOperand &MO = Addr[i];
215 if (MO.isReg())
216 MIB.addReg(MO.getReg());
217 else if (MO.isImm())
218 MIB.addImm(MO.getImm());
219 else {
220 assert(MO.isFI());
221 MIB.addFrameIndex(MO.getIndex());
222 }
223 }
224 NewMIs.push_back(MIB);
225 return;
226}
Owen Anderson43dbe052008-01-07 01:35:02 +0000227
Evan Cheng5fd79d02008-02-08 21:20:40 +0000228MachineInstr *SparcInstrInfo::foldMemoryOperand(MachineFunction &MF,
229 MachineInstr* MI,
230 SmallVectorImpl<unsigned> &Ops,
231 int FI) const {
Owen Anderson43dbe052008-01-07 01:35:02 +0000232 if (Ops.size() != 1) return NULL;
233
234 unsigned OpNum = Ops[0];
235 bool isFloat = false;
236 MachineInstr *NewMI = NULL;
237 switch (MI->getOpcode()) {
238 case SP::ORrr:
239 if (MI->getOperand(1).isRegister() && MI->getOperand(1).getReg() == SP::G0&&
240 MI->getOperand(0).isRegister() && MI->getOperand(2).isRegister()) {
241 if (OpNum == 0) // COPY -> STORE
Dan Gohman8e5f2c62008-07-07 23:14:23 +0000242 NewMI = BuildMI(MF, get(SP::STri)).addFrameIndex(FI).addImm(0)
Owen Anderson43dbe052008-01-07 01:35:02 +0000243 .addReg(MI->getOperand(2).getReg());
244 else // COPY -> LOAD
Dan Gohman8e5f2c62008-07-07 23:14:23 +0000245 NewMI = BuildMI(MF, get(SP::LDri), MI->getOperand(0).getReg())
Owen Anderson43dbe052008-01-07 01:35:02 +0000246 .addFrameIndex(FI).addImm(0);
247 }
248 break;
249 case SP::FMOVS:
250 isFloat = true;
251 // FALLTHROUGH
252 case SP::FMOVD:
Evan Cheng9f1c8312008-07-03 09:09:37 +0000253 if (OpNum == 0) { // COPY -> STORE
254 unsigned SrcReg = MI->getOperand(1).getReg();
255 bool isKill = MI->getOperand(1).isKill();
Dan Gohman8e5f2c62008-07-07 23:14:23 +0000256 NewMI = BuildMI(MF, get(isFloat ? SP::STFri : SP::STDFri))
Evan Cheng9f1c8312008-07-03 09:09:37 +0000257 .addFrameIndex(FI).addImm(0).addReg(SrcReg, false, false, isKill);
258 } else { // COPY -> LOAD
259 unsigned DstReg = MI->getOperand(0).getReg();
260 bool isDead = MI->getOperand(0).isDead();
Dan Gohman8e5f2c62008-07-07 23:14:23 +0000261 NewMI = BuildMI(MF, get(isFloat ? SP::LDFri : SP::LDDFri))
Evan Cheng9f1c8312008-07-03 09:09:37 +0000262 .addReg(DstReg, true, false, false, isDead).addFrameIndex(FI).addImm(0);
263 }
Owen Anderson43dbe052008-01-07 01:35:02 +0000264 break;
265 }
266
Owen Anderson43dbe052008-01-07 01:35:02 +0000267 return NewMI;
Duncan Sands9c5525f2008-01-07 19:13:36 +0000268}