blob: 15a3d543a68cf94b38510bca762662544f6ff3cb [file] [log] [blame]
Tom Stellard75aadc22012-12-11 21:25:42 +00001//===-- AMDGPUInstrInfo.cpp - Base class for AMD GPU InstrInfo ------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10/// \file
11/// \brief Implementation of the TargetInstrInfo class that is common to all
12/// AMD GPUs.
13//
14//===----------------------------------------------------------------------===//
15
16#include "AMDGPUInstrInfo.h"
17#include "AMDGPURegisterInfo.h"
18#include "AMDGPUTargetMachine.h"
Tom Stellard75aadc22012-12-11 21:25:42 +000019#include "llvm/CodeGen/MachineFrameInfo.h"
20#include "llvm/CodeGen/MachineInstrBuilder.h"
21#include "llvm/CodeGen/MachineRegisterInfo.h"
22
Chandler Carruthd174b722014-04-22 02:03:14 +000023using namespace llvm;
24
Juergen Ributzkad12ccbd2013-11-19 00:57:56 +000025#define GET_INSTRINFO_CTOR_DTOR
Tom Stellard02661d92013-06-25 21:22:18 +000026#define GET_INSTRINFO_NAMED_OPS
Christian Konigf741fbf2013-02-26 17:52:42 +000027#define GET_INSTRMAP_INFO
Tom Stellard75aadc22012-12-11 21:25:42 +000028#include "AMDGPUGenInstrInfo.inc"
29
Juergen Ributzkad12ccbd2013-11-19 00:57:56 +000030// Pin the vtable to this file.
31void AMDGPUInstrInfo::anchor() {}
32
Tom Stellard2e59a452014-06-13 01:32:00 +000033AMDGPUInstrInfo::AMDGPUInstrInfo(const AMDGPUSubtarget &st)
Eric Christopher6c5b5112015-03-11 18:43:21 +000034 : AMDGPUGenInstrInfo(-1, -1), ST(st) {}
Tom Stellard75aadc22012-12-11 21:25:42 +000035
36const AMDGPURegisterInfo &AMDGPUInstrInfo::getRegisterInfo() const {
37 return RI;
38}
39
40bool AMDGPUInstrInfo::isCoalescableExtInstr(const MachineInstr &MI,
41 unsigned &SrcReg, unsigned &DstReg,
42 unsigned &SubIdx) const {
43// TODO: Implement this function
44 return false;
45}
46
47unsigned AMDGPUInstrInfo::isLoadFromStackSlot(const MachineInstr *MI,
48 int &FrameIndex) const {
49// TODO: Implement this function
50 return 0;
51}
52
53unsigned AMDGPUInstrInfo::isLoadFromStackSlotPostFE(const MachineInstr *MI,
54 int &FrameIndex) const {
55// TODO: Implement this function
56 return 0;
57}
58
59bool AMDGPUInstrInfo::hasLoadFromStackSlot(const MachineInstr *MI,
60 const MachineMemOperand *&MMO,
61 int &FrameIndex) const {
62// TODO: Implement this function
63 return false;
64}
65unsigned AMDGPUInstrInfo::isStoreFromStackSlot(const MachineInstr *MI,
66 int &FrameIndex) const {
67// TODO: Implement this function
68 return 0;
69}
70unsigned AMDGPUInstrInfo::isStoreFromStackSlotPostFE(const MachineInstr *MI,
71 int &FrameIndex) const {
72// TODO: Implement this function
73 return 0;
74}
75bool AMDGPUInstrInfo::hasStoreFromStackSlot(const MachineInstr *MI,
76 const MachineMemOperand *&MMO,
77 int &FrameIndex) const {
78// TODO: Implement this function
79 return false;
80}
81
82MachineInstr *
83AMDGPUInstrInfo::convertToThreeAddress(MachineFunction::iterator &MFI,
84 MachineBasicBlock::iterator &MBBI,
85 LiveVariables *LV) const {
86// TODO: Implement this function
Craig Topper062a2ba2014-04-25 05:30:21 +000087 return nullptr;
Tom Stellard75aadc22012-12-11 21:25:42 +000088}
Tom Stellard75aadc22012-12-11 21:25:42 +000089
Tom Stellard75aadc22012-12-11 21:25:42 +000090void
91AMDGPUInstrInfo::storeRegToStackSlot(MachineBasicBlock &MBB,
92 MachineBasicBlock::iterator MI,
93 unsigned SrcReg, bool isKill,
94 int FrameIndex,
95 const TargetRegisterClass *RC,
96 const TargetRegisterInfo *TRI) const {
Matt Arsenaulteaa3a7e2013-12-10 21:37:42 +000097 llvm_unreachable("Not Implemented");
Tom Stellard75aadc22012-12-11 21:25:42 +000098}
99
100void
101AMDGPUInstrInfo::loadRegFromStackSlot(MachineBasicBlock &MBB,
102 MachineBasicBlock::iterator MI,
103 unsigned DestReg, int FrameIndex,
104 const TargetRegisterClass *RC,
105 const TargetRegisterInfo *TRI) const {
Matt Arsenaulteaa3a7e2013-12-10 21:37:42 +0000106 llvm_unreachable("Not Implemented");
Tom Stellard75aadc22012-12-11 21:25:42 +0000107}
108
Tom Stellard26a3b672013-10-22 18:19:10 +0000109bool AMDGPUInstrInfo::expandPostRAPseudo (MachineBasicBlock::iterator MI) const {
110 MachineBasicBlock *MBB = MI->getParent();
Matt Arsenaulte1f1da32014-03-11 00:01:27 +0000111 int OffsetOpIdx = AMDGPU::getNamedOperandIdx(MI->getOpcode(),
112 AMDGPU::OpName::addr);
Tom Stellard81d871d2013-11-13 23:36:50 +0000113 // addr is a custom operand with multiple MI operands, and only the
114 // first MI operand is given a name.
115 int RegOpIdx = OffsetOpIdx + 1;
Matt Arsenaulte1f1da32014-03-11 00:01:27 +0000116 int ChanOpIdx = AMDGPU::getNamedOperandIdx(MI->getOpcode(),
117 AMDGPU::OpName::chan);
Aaron Ballman9ab670f2013-10-29 20:40:52 +0000118 if (isRegisterLoad(*MI)) {
Matt Arsenaulte1f1da32014-03-11 00:01:27 +0000119 int DstOpIdx = AMDGPU::getNamedOperandIdx(MI->getOpcode(),
120 AMDGPU::OpName::dst);
Tom Stellard81d871d2013-11-13 23:36:50 +0000121 unsigned RegIndex = MI->getOperand(RegOpIdx).getImm();
122 unsigned Channel = MI->getOperand(ChanOpIdx).getImm();
Aaron Ballman9ab670f2013-10-29 20:40:52 +0000123 unsigned Address = calculateIndirectAddress(RegIndex, Channel);
Tom Stellard81d871d2013-11-13 23:36:50 +0000124 unsigned OffsetReg = MI->getOperand(OffsetOpIdx).getReg();
Aaron Ballman9ab670f2013-10-29 20:40:52 +0000125 if (OffsetReg == AMDGPU::INDIRECT_BASE_ADDR) {
Tom Stellard81d871d2013-11-13 23:36:50 +0000126 buildMovInstr(MBB, MI, MI->getOperand(DstOpIdx).getReg(),
Aaron Ballman9ab670f2013-10-29 20:40:52 +0000127 getIndirectAddrRegClass()->getRegister(Address));
Tom Stellard26a3b672013-10-22 18:19:10 +0000128 } else {
Tom Stellard81d871d2013-11-13 23:36:50 +0000129 buildIndirectRead(MBB, MI, MI->getOperand(DstOpIdx).getReg(),
Aaron Ballman9ab670f2013-10-29 20:40:52 +0000130 Address, OffsetReg);
Tom Stellard26a3b672013-10-22 18:19:10 +0000131 }
Aaron Ballman9ab670f2013-10-29 20:40:52 +0000132 } else if (isRegisterStore(*MI)) {
Matt Arsenaulte1f1da32014-03-11 00:01:27 +0000133 int ValOpIdx = AMDGPU::getNamedOperandIdx(MI->getOpcode(),
134 AMDGPU::OpName::val);
Tom Stellard81d871d2013-11-13 23:36:50 +0000135 unsigned RegIndex = MI->getOperand(RegOpIdx).getImm();
136 unsigned Channel = MI->getOperand(ChanOpIdx).getImm();
Aaron Ballman9ab670f2013-10-29 20:40:52 +0000137 unsigned Address = calculateIndirectAddress(RegIndex, Channel);
Tom Stellard81d871d2013-11-13 23:36:50 +0000138 unsigned OffsetReg = MI->getOperand(OffsetOpIdx).getReg();
Aaron Ballman9ab670f2013-10-29 20:40:52 +0000139 if (OffsetReg == AMDGPU::INDIRECT_BASE_ADDR) {
140 buildMovInstr(MBB, MI, getIndirectAddrRegClass()->getRegister(Address),
Tom Stellard81d871d2013-11-13 23:36:50 +0000141 MI->getOperand(ValOpIdx).getReg());
Aaron Ballman9ab670f2013-10-29 20:40:52 +0000142 } else {
Tom Stellard81d871d2013-11-13 23:36:50 +0000143 buildIndirectWrite(MBB, MI, MI->getOperand(ValOpIdx).getReg(),
144 calculateIndirectAddress(RegIndex, Channel),
145 OffsetReg);
Aaron Ballman9ab670f2013-10-29 20:40:52 +0000146 }
147 } else {
148 return false;
Tom Stellard26a3b672013-10-22 18:19:10 +0000149 }
150
151 MBB->erase(MI);
152 return true;
153}
154
Keno Fischere70b31f2015-06-08 20:09:58 +0000155MachineInstr *AMDGPUInstrInfo::foldMemoryOperandImpl(
156 MachineFunction &MF, MachineInstr *MI, ArrayRef<unsigned> Ops,
157 MachineBasicBlock::iterator InsertPt, int FrameIndex) const {
Tom Stellard75aadc22012-12-11 21:25:42 +0000158// TODO: Implement this function
Craig Topper062a2ba2014-04-25 05:30:21 +0000159 return nullptr;
Tom Stellard75aadc22012-12-11 21:25:42 +0000160}
Keno Fischere70b31f2015-06-08 20:09:58 +0000161MachineInstr *AMDGPUInstrInfo::foldMemoryOperandImpl(
162 MachineFunction &MF, MachineInstr *MI, ArrayRef<unsigned> Ops,
163 MachineBasicBlock::iterator InsertPt, MachineInstr *LoadMI) const {
Tom Stellard75aadc22012-12-11 21:25:42 +0000164 // TODO: Implement this function
Craig Topper062a2ba2014-04-25 05:30:21 +0000165 return nullptr;
Tom Stellard75aadc22012-12-11 21:25:42 +0000166}
Benjamin Kramerf1362f62015-02-28 12:04:00 +0000167bool AMDGPUInstrInfo::canFoldMemoryOperand(const MachineInstr *MI,
168 ArrayRef<unsigned> Ops) const {
Tom Stellard75aadc22012-12-11 21:25:42 +0000169 // TODO: Implement this function
170 return false;
171}
172bool
173AMDGPUInstrInfo::unfoldMemoryOperand(MachineFunction &MF, MachineInstr *MI,
174 unsigned Reg, bool UnfoldLoad,
175 bool UnfoldStore,
176 SmallVectorImpl<MachineInstr*> &NewMIs) const {
177 // TODO: Implement this function
178 return false;
179}
180
181bool
182AMDGPUInstrInfo::unfoldMemoryOperand(SelectionDAG &DAG, SDNode *N,
183 SmallVectorImpl<SDNode*> &NewNodes) const {
184 // TODO: Implement this function
185 return false;
186}
187
188unsigned
189AMDGPUInstrInfo::getOpcodeAfterMemoryUnfold(unsigned Opc,
190 bool UnfoldLoad, bool UnfoldStore,
191 unsigned *LoadRegIndex) const {
192 // TODO: Implement this function
193 return 0;
194}
195
Matt Arsenault034d6662014-07-24 02:10:17 +0000196bool AMDGPUInstrInfo::enableClusterLoads() const {
197 return true;
198}
199
Matt Arsenaultd5f4de22014-08-06 00:29:49 +0000200// FIXME: This behaves strangely. If, for example, you have 32 load + stores,
201// the first 16 loads will be interleaved with the stores, and the next 16 will
202// be clustered as expected. It should really split into 2 16 store batches.
203//
204// Loads are clustered until this returns false, rather than trying to schedule
205// groups of stores. This also means we have to deal with saying different
206// address space loads should be clustered, and ones which might cause bank
207// conflicts.
208//
209// This might be deprecated so it might not be worth that much effort to fix.
210bool AMDGPUInstrInfo::shouldScheduleLoadsNear(SDNode *Load0, SDNode *Load1,
211 int64_t Offset0, int64_t Offset1,
212 unsigned NumLoads) const {
213 assert(Offset1 > Offset0 &&
214 "Second offset should be larger than first offset!");
215 // If we have less than 16 loads in a row, and the offsets are within 64
216 // bytes, then schedule together.
217
218 // A cacheline is 64 bytes (for global memory).
219 return (NumLoads <= 16 && (Offset1 - Offset0) < 64);
Tom Stellard75aadc22012-12-11 21:25:42 +0000220}
221
222bool
223AMDGPUInstrInfo::ReverseBranchCondition(SmallVectorImpl<MachineOperand> &Cond)
224 const {
225 // TODO: Implement this function
226 return true;
227}
228void AMDGPUInstrInfo::insertNoop(MachineBasicBlock &MBB,
229 MachineBasicBlock::iterator MI) const {
230 // TODO: Implement this function
231}
232
233bool AMDGPUInstrInfo::isPredicated(const MachineInstr *MI) const {
234 // TODO: Implement this function
235 return false;
236}
Ahmed Bougachac88bf542015-06-11 19:30:37 +0000237
238bool AMDGPUInstrInfo::SubsumesPredicate(ArrayRef<MachineOperand> Pred1,
239 ArrayRef<MachineOperand> Pred2) const {
Tom Stellard75aadc22012-12-11 21:25:42 +0000240 // TODO: Implement this function
241 return false;
242}
243
244bool AMDGPUInstrInfo::DefinesPredicate(MachineInstr *MI,
245 std::vector<MachineOperand> &Pred) const {
246 // TODO: Implement this function
247 return false;
248}
249
250bool AMDGPUInstrInfo::isPredicable(MachineInstr *MI) const {
251 // TODO: Implement this function
252 return MI->getDesc().isPredicable();
253}
254
255bool
256AMDGPUInstrInfo::isSafeToMoveRegClassDefs(const TargetRegisterClass *RC) const {
257 // TODO: Implement this function
258 return true;
259}
Tom Stellardf3b2a1e2013-02-06 17:32:29 +0000260
261bool AMDGPUInstrInfo::isRegisterStore(const MachineInstr &MI) const {
262 return get(MI.getOpcode()).TSFlags & AMDGPU_FLAG_REGISTER_STORE;
263}
264
265bool AMDGPUInstrInfo::isRegisterLoad(const MachineInstr &MI) const {
266 return get(MI.getOpcode()).TSFlags & AMDGPU_FLAG_REGISTER_LOAD;
267}
268
Tom Stellard81d871d2013-11-13 23:36:50 +0000269int AMDGPUInstrInfo::getIndirectIndexBegin(const MachineFunction &MF) const {
270 const MachineRegisterInfo &MRI = MF.getRegInfo();
271 const MachineFrameInfo *MFI = MF.getFrameInfo();
272 int Offset = -1;
273
274 if (MFI->getNumObjects() == 0) {
275 return -1;
276 }
277
278 if (MRI.livein_empty()) {
279 return 0;
280 }
281
282 const TargetRegisterClass *IndirectRC = getIndirectAddrRegClass();
283 for (MachineRegisterInfo::livein_iterator LI = MRI.livein_begin(),
284 LE = MRI.livein_end();
285 LI != LE; ++LI) {
286 unsigned Reg = LI->first;
287 if (TargetRegisterInfo::isVirtualRegister(Reg) ||
288 !IndirectRC->contains(Reg))
289 continue;
290
291 unsigned RegIndex;
292 unsigned RegEnd;
293 for (RegIndex = 0, RegEnd = IndirectRC->getNumRegs(); RegIndex != RegEnd;
294 ++RegIndex) {
295 if (IndirectRC->getRegister(RegIndex) == Reg)
296 break;
297 }
298 Offset = std::max(Offset, (int)RegIndex);
299 }
300
301 return Offset + 1;
302}
303
304int AMDGPUInstrInfo::getIndirectIndexEnd(const MachineFunction &MF) const {
305 int Offset = 0;
306 const MachineFrameInfo *MFI = MF.getFrameInfo();
307
308 // Variable sized objects are not supported
309 assert(!MFI->hasVarSizedObjects());
310
311 if (MFI->getNumObjects() == 0) {
312 return -1;
313 }
314
Eric Christopher7792e322015-01-30 23:24:40 +0000315 Offset = MF.getSubtarget().getFrameLowering()->getFrameIndexOffset(MF, -1);
Tom Stellard81d871d2013-11-13 23:36:50 +0000316
317 return getIndirectIndexBegin(MF) + Offset;
318}
319
Tom Stellard682bfbc2013-10-10 17:11:24 +0000320int AMDGPUInstrInfo::getMaskedMIMGOp(uint16_t Opcode, unsigned Channels) const {
321 switch (Channels) {
322 default: return Opcode;
323 case 1: return AMDGPU::getMaskedMIMGOp(Opcode, AMDGPU::Channels_1);
324 case 2: return AMDGPU::getMaskedMIMGOp(Opcode, AMDGPU::Channels_2);
325 case 3: return AMDGPU::getMaskedMIMGOp(Opcode, AMDGPU::Channels_3);
326 }
327}
Tom Stellardc721a232014-05-16 20:56:47 +0000328
329// Wrapper for Tablegen'd function. enum Subtarget is not defined in any
Matt Arsenault1f0227a2014-10-07 21:29:56 +0000330// header files, so we need to wrap it in a function that takes unsigned
Tom Stellardc721a232014-05-16 20:56:47 +0000331// instead.
332namespace llvm {
333namespace AMDGPU {
Marek Olsaka93603d2015-01-15 18:42:51 +0000334static int getMCOpcode(uint16_t Opcode, unsigned Gen) {
Marek Olsak5df00d62014-12-07 12:18:57 +0000335 return getMCOpcodeGen(Opcode, (enum Subtarget)Gen);
Tom Stellardc721a232014-05-16 20:56:47 +0000336}
337}
338}
Marek Olsaka93603d2015-01-15 18:42:51 +0000339
340// This must be kept in sync with the SISubtarget class in SIInstrInfo.td
341enum SISubtarget {
342 SI = 0,
343 VI = 1
344};
345
Benjamin Kramer970eac42015-02-06 17:51:54 +0000346static enum SISubtarget AMDGPUSubtargetToSISubtarget(unsigned Gen) {
Marek Olsaka93603d2015-01-15 18:42:51 +0000347 switch (Gen) {
348 default:
349 return SI;
350 case AMDGPUSubtarget::VOLCANIC_ISLANDS:
351 return VI;
352 }
353}
354
355int AMDGPUInstrInfo::pseudoToMCOpcode(int Opcode) const {
Eric Christopher6c5b5112015-03-11 18:43:21 +0000356 int MCOp = AMDGPU::getMCOpcode(
357 Opcode, AMDGPUSubtargetToSISubtarget(ST.getGeneration()));
Marek Olsaka93603d2015-01-15 18:42:51 +0000358
359 // -1 means that Opcode is already a native instruction.
360 if (MCOp == -1)
361 return Opcode;
362
363 // (uint16_t)-1 means that Opcode is a pseudo instruction that has
364 // no encoding in the given subtarget generation.
365 if (MCOp == (uint16_t)-1)
366 return -1;
367
368 return MCOp;
369}