blob: a8fc614d9b00bf39fb4a5f2f4aad5c67468ffbf3 [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)
34 : AMDGPUGenInstrInfo(-1,-1), RI(st), 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
155
Tom Stellard75aadc22012-12-11 21:25:42 +0000156MachineInstr *
157AMDGPUInstrInfo::foldMemoryOperandImpl(MachineFunction &MF,
158 MachineInstr *MI,
159 const SmallVectorImpl<unsigned> &Ops,
160 int FrameIndex) const {
161// TODO: Implement this function
Craig Topper062a2ba2014-04-25 05:30:21 +0000162 return nullptr;
Tom Stellard75aadc22012-12-11 21:25:42 +0000163}
164MachineInstr*
165AMDGPUInstrInfo::foldMemoryOperandImpl(MachineFunction &MF,
166 MachineInstr *MI,
167 const SmallVectorImpl<unsigned> &Ops,
168 MachineInstr *LoadMI) const {
169 // TODO: Implement this function
Craig Topper062a2ba2014-04-25 05:30:21 +0000170 return nullptr;
Tom Stellard75aadc22012-12-11 21:25:42 +0000171}
172bool
173AMDGPUInstrInfo::canFoldMemoryOperand(const MachineInstr *MI,
174 const SmallVectorImpl<unsigned> &Ops) const {
175 // TODO: Implement this function
176 return false;
177}
178bool
179AMDGPUInstrInfo::unfoldMemoryOperand(MachineFunction &MF, MachineInstr *MI,
180 unsigned Reg, bool UnfoldLoad,
181 bool UnfoldStore,
182 SmallVectorImpl<MachineInstr*> &NewMIs) const {
183 // TODO: Implement this function
184 return false;
185}
186
187bool
188AMDGPUInstrInfo::unfoldMemoryOperand(SelectionDAG &DAG, SDNode *N,
189 SmallVectorImpl<SDNode*> &NewNodes) const {
190 // TODO: Implement this function
191 return false;
192}
193
194unsigned
195AMDGPUInstrInfo::getOpcodeAfterMemoryUnfold(unsigned Opc,
196 bool UnfoldLoad, bool UnfoldStore,
197 unsigned *LoadRegIndex) const {
198 // TODO: Implement this function
199 return 0;
200}
201
Matt Arsenault034d6662014-07-24 02:10:17 +0000202bool AMDGPUInstrInfo::enableClusterLoads() const {
203 return true;
204}
205
Matt Arsenaultd5f4de22014-08-06 00:29:49 +0000206// FIXME: This behaves strangely. If, for example, you have 32 load + stores,
207// the first 16 loads will be interleaved with the stores, and the next 16 will
208// be clustered as expected. It should really split into 2 16 store batches.
209//
210// Loads are clustered until this returns false, rather than trying to schedule
211// groups of stores. This also means we have to deal with saying different
212// address space loads should be clustered, and ones which might cause bank
213// conflicts.
214//
215// This might be deprecated so it might not be worth that much effort to fix.
216bool AMDGPUInstrInfo::shouldScheduleLoadsNear(SDNode *Load0, SDNode *Load1,
217 int64_t Offset0, int64_t Offset1,
218 unsigned NumLoads) const {
219 assert(Offset1 > Offset0 &&
220 "Second offset should be larger than first offset!");
221 // If we have less than 16 loads in a row, and the offsets are within 64
222 // bytes, then schedule together.
223
224 // A cacheline is 64 bytes (for global memory).
225 return (NumLoads <= 16 && (Offset1 - Offset0) < 64);
Tom Stellard75aadc22012-12-11 21:25:42 +0000226}
227
228bool
229AMDGPUInstrInfo::ReverseBranchCondition(SmallVectorImpl<MachineOperand> &Cond)
230 const {
231 // TODO: Implement this function
232 return true;
233}
234void AMDGPUInstrInfo::insertNoop(MachineBasicBlock &MBB,
235 MachineBasicBlock::iterator MI) const {
236 // TODO: Implement this function
237}
238
239bool AMDGPUInstrInfo::isPredicated(const MachineInstr *MI) const {
240 // TODO: Implement this function
241 return false;
242}
243bool
244AMDGPUInstrInfo::SubsumesPredicate(const SmallVectorImpl<MachineOperand> &Pred1,
245 const SmallVectorImpl<MachineOperand> &Pred2)
246 const {
247 // TODO: Implement this function
248 return false;
249}
250
251bool AMDGPUInstrInfo::DefinesPredicate(MachineInstr *MI,
252 std::vector<MachineOperand> &Pred) const {
253 // TODO: Implement this function
254 return false;
255}
256
257bool AMDGPUInstrInfo::isPredicable(MachineInstr *MI) const {
258 // TODO: Implement this function
259 return MI->getDesc().isPredicable();
260}
261
262bool
263AMDGPUInstrInfo::isSafeToMoveRegClassDefs(const TargetRegisterClass *RC) const {
264 // TODO: Implement this function
265 return true;
266}
Tom Stellardf3b2a1e2013-02-06 17:32:29 +0000267
268bool AMDGPUInstrInfo::isRegisterStore(const MachineInstr &MI) const {
269 return get(MI.getOpcode()).TSFlags & AMDGPU_FLAG_REGISTER_STORE;
270}
271
272bool AMDGPUInstrInfo::isRegisterLoad(const MachineInstr &MI) const {
273 return get(MI.getOpcode()).TSFlags & AMDGPU_FLAG_REGISTER_LOAD;
274}
275
Tom Stellard81d871d2013-11-13 23:36:50 +0000276int AMDGPUInstrInfo::getIndirectIndexBegin(const MachineFunction &MF) const {
277 const MachineRegisterInfo &MRI = MF.getRegInfo();
278 const MachineFrameInfo *MFI = MF.getFrameInfo();
279 int Offset = -1;
280
281 if (MFI->getNumObjects() == 0) {
282 return -1;
283 }
284
285 if (MRI.livein_empty()) {
286 return 0;
287 }
288
289 const TargetRegisterClass *IndirectRC = getIndirectAddrRegClass();
290 for (MachineRegisterInfo::livein_iterator LI = MRI.livein_begin(),
291 LE = MRI.livein_end();
292 LI != LE; ++LI) {
293 unsigned Reg = LI->first;
294 if (TargetRegisterInfo::isVirtualRegister(Reg) ||
295 !IndirectRC->contains(Reg))
296 continue;
297
298 unsigned RegIndex;
299 unsigned RegEnd;
300 for (RegIndex = 0, RegEnd = IndirectRC->getNumRegs(); RegIndex != RegEnd;
301 ++RegIndex) {
302 if (IndirectRC->getRegister(RegIndex) == Reg)
303 break;
304 }
305 Offset = std::max(Offset, (int)RegIndex);
306 }
307
308 return Offset + 1;
309}
310
311int AMDGPUInstrInfo::getIndirectIndexEnd(const MachineFunction &MF) const {
312 int Offset = 0;
313 const MachineFrameInfo *MFI = MF.getFrameInfo();
314
315 // Variable sized objects are not supported
316 assert(!MFI->hasVarSizedObjects());
317
318 if (MFI->getNumObjects() == 0) {
319 return -1;
320 }
321
Eric Christopherd9134482014-08-04 21:25:23 +0000322 Offset = MF.getTarget()
323 .getSubtargetImpl()
324 ->getFrameLowering()
325 ->getFrameIndexOffset(MF, -1);
Tom Stellard81d871d2013-11-13 23:36:50 +0000326
327 return getIndirectIndexBegin(MF) + Offset;
328}
329
Tom Stellard682bfbc2013-10-10 17:11:24 +0000330int AMDGPUInstrInfo::getMaskedMIMGOp(uint16_t Opcode, unsigned Channels) const {
331 switch (Channels) {
332 default: return Opcode;
333 case 1: return AMDGPU::getMaskedMIMGOp(Opcode, AMDGPU::Channels_1);
334 case 2: return AMDGPU::getMaskedMIMGOp(Opcode, AMDGPU::Channels_2);
335 case 3: return AMDGPU::getMaskedMIMGOp(Opcode, AMDGPU::Channels_3);
336 }
337}
Tom Stellardc721a232014-05-16 20:56:47 +0000338
339// Wrapper for Tablegen'd function. enum Subtarget is not defined in any
Matt Arsenault1f0227a2014-10-07 21:29:56 +0000340// header files, so we need to wrap it in a function that takes unsigned
Tom Stellardc721a232014-05-16 20:56:47 +0000341// instead.
342namespace llvm {
343namespace AMDGPU {
344int getMCOpcode(uint16_t Opcode, unsigned Gen) {
345 return getMCOpcode(Opcode);
346}
347}
348}