blob: 85478e00522ef50e8dc187f318e3e815096e854f [file] [log] [blame]
Tom Stellard75aadc22012-12-11 21:25:42 +00001//===-- R600InstrInfo.cpp - R600 Instruction Information ------------------===//
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 R600 Implementation of TargetInstrInfo.
12//
13//===----------------------------------------------------------------------===//
14
15#include "R600InstrInfo.h"
Vincent Lejeune3a8d78a2013-04-30 00:14:44 +000016#include "AMDGPU.h"
Tom Stellard75aadc22012-12-11 21:25:42 +000017#include "AMDGPUSubtarget.h"
Chandler Carruthbe810232013-01-02 10:22:59 +000018#include "AMDGPUTargetMachine.h"
Tom Stellard75aadc22012-12-11 21:25:42 +000019#include "R600Defines.h"
Tom Stellardf3b2a1e2013-02-06 17:32:29 +000020#include "R600MachineFunctionInfo.h"
Tom Stellard75aadc22012-12-11 21:25:42 +000021#include "R600RegisterInfo.h"
Tom Stellardf3b2a1e2013-02-06 17:32:29 +000022#include "llvm/CodeGen/MachineFrameInfo.h"
Benjamin Kramerd78bb462013-05-23 17:10:37 +000023#include "llvm/CodeGen/MachineInstrBuilder.h"
Tom Stellardf3b2a1e2013-02-06 17:32:29 +000024#include "llvm/CodeGen/MachineRegisterInfo.h"
Tom Stellard75aadc22012-12-11 21:25:42 +000025
Chandler Carruthd174b722014-04-22 02:03:14 +000026using namespace llvm;
27
Juergen Ributzkad12ccbd2013-11-19 00:57:56 +000028#define GET_INSTRINFO_CTOR_DTOR
Tom Stellard75aadc22012-12-11 21:25:42 +000029#include "AMDGPUGenDFAPacketizer.inc"
30
Matt Arsenault43e92fe2016-06-24 06:30:11 +000031R600InstrInfo::R600InstrInfo(const R600Subtarget &ST)
32 : AMDGPUInstrInfo(ST), RI(), ST(ST) {}
Tom Stellard75aadc22012-12-11 21:25:42 +000033
34bool R600InstrInfo::isTrig(const MachineInstr &MI) const {
35 return get(MI.getOpcode()).TSFlags & R600_InstFlag::TRIG;
36}
37
38bool R600InstrInfo::isVector(const MachineInstr &MI) const {
39 return get(MI.getOpcode()).TSFlags & R600_InstFlag::VECTOR;
40}
41
Benjamin Kramerbdc49562016-06-12 15:39:02 +000042void R600InstrInfo::copyPhysReg(MachineBasicBlock &MBB,
43 MachineBasicBlock::iterator MI,
44 const DebugLoc &DL, unsigned DestReg,
45 unsigned SrcReg, bool KillSrc) const {
Tom Stellard0344cdf2013-08-01 15:23:42 +000046 unsigned VectorComponents = 0;
Tom Stellard880a80a2014-06-17 16:53:14 +000047 if ((AMDGPU::R600_Reg128RegClass.contains(DestReg) ||
48 AMDGPU::R600_Reg128VerticalRegClass.contains(DestReg)) &&
49 (AMDGPU::R600_Reg128RegClass.contains(SrcReg) ||
50 AMDGPU::R600_Reg128VerticalRegClass.contains(SrcReg))) {
Tom Stellard0344cdf2013-08-01 15:23:42 +000051 VectorComponents = 4;
Tom Stellard880a80a2014-06-17 16:53:14 +000052 } else if((AMDGPU::R600_Reg64RegClass.contains(DestReg) ||
53 AMDGPU::R600_Reg64VerticalRegClass.contains(DestReg)) &&
54 (AMDGPU::R600_Reg64RegClass.contains(SrcReg) ||
55 AMDGPU::R600_Reg64VerticalRegClass.contains(SrcReg))) {
Tom Stellard0344cdf2013-08-01 15:23:42 +000056 VectorComponents = 2;
57 }
58
59 if (VectorComponents > 0) {
60 for (unsigned I = 0; I < VectorComponents; I++) {
Tom Stellard75aadc22012-12-11 21:25:42 +000061 unsigned SubRegIndex = RI.getSubRegFromChannel(I);
62 buildDefaultInstruction(MBB, MI, AMDGPU::MOV,
63 RI.getSubReg(DestReg, SubRegIndex),
64 RI.getSubReg(SrcReg, SubRegIndex))
65 .addReg(DestReg,
66 RegState::Define | RegState::Implicit);
67 }
68 } else {
Tom Stellard75aadc22012-12-11 21:25:42 +000069 MachineInstr *NewMI = buildDefaultInstruction(MBB, MI, AMDGPU::MOV,
70 DestReg, SrcReg);
Tom Stellard02661d92013-06-25 21:22:18 +000071 NewMI->getOperand(getOperandIdx(*NewMI, AMDGPU::OpName::src0))
Tom Stellard75aadc22012-12-11 21:25:42 +000072 .setIsKill(KillSrc);
73 }
74}
75
Tom Stellardcd6b0a62013-11-22 00:41:08 +000076/// \returns true if \p MBBI can be moved into a new basic.
77bool R600InstrInfo::isLegalToSplitMBBAt(MachineBasicBlock &MBB,
78 MachineBasicBlock::iterator MBBI) const {
79 for (MachineInstr::const_mop_iterator I = MBBI->operands_begin(),
80 E = MBBI->operands_end(); I != E; ++I) {
81 if (I->isReg() && !TargetRegisterInfo::isVirtualRegister(I->getReg()) &&
82 I->isUse() && RI.isPhysRegLiveAcrossClauses(I->getReg()))
83 return false;
84 }
85 return true;
86}
87
Tom Stellard75aadc22012-12-11 21:25:42 +000088bool R600InstrInfo::isMov(unsigned Opcode) const {
Tom Stellard75aadc22012-12-11 21:25:42 +000089 switch(Opcode) {
Matt Arsenault43e92fe2016-06-24 06:30:11 +000090 default:
91 return false;
Tom Stellard75aadc22012-12-11 21:25:42 +000092 case AMDGPU::MOV:
93 case AMDGPU::MOV_IMM_F32:
94 case AMDGPU::MOV_IMM_I32:
95 return true;
96 }
97}
98
99// Some instructions act as place holders to emulate operations that the GPU
100// hardware does automatically. This function can be used to check if
101// an opcode falls into this category.
102bool R600InstrInfo::isPlaceHolderOpcode(unsigned Opcode) const {
103 switch (Opcode) {
104 default: return false;
105 case AMDGPU::RETURN:
Tom Stellard75aadc22012-12-11 21:25:42 +0000106 return true;
107 }
108}
109
110bool R600InstrInfo::isReductionOp(unsigned Opcode) const {
Aaron Ballmanf04bbd82013-07-10 17:19:22 +0000111 return false;
Tom Stellard75aadc22012-12-11 21:25:42 +0000112}
113
114bool R600InstrInfo::isCubeOp(unsigned Opcode) const {
115 switch(Opcode) {
116 default: return false;
117 case AMDGPU::CUBE_r600_pseudo:
118 case AMDGPU::CUBE_r600_real:
119 case AMDGPU::CUBE_eg_pseudo:
120 case AMDGPU::CUBE_eg_real:
121 return true;
122 }
123}
124
125bool R600InstrInfo::isALUInstr(unsigned Opcode) const {
126 unsigned TargetFlags = get(Opcode).TSFlags;
127
Tom Stellard5eb903d2013-06-28 15:46:53 +0000128 return (TargetFlags & R600_InstFlag::ALU_INST);
Tom Stellard75aadc22012-12-11 21:25:42 +0000129}
130
Tom Stellardc026e8b2013-06-28 15:47:08 +0000131bool R600InstrInfo::hasInstrModifiers(unsigned Opcode) const {
132 unsigned TargetFlags = get(Opcode).TSFlags;
133
134 return ((TargetFlags & R600_InstFlag::OP1) |
135 (TargetFlags & R600_InstFlag::OP2) |
136 (TargetFlags & R600_InstFlag::OP3));
137}
138
139bool R600InstrInfo::isLDSInstr(unsigned Opcode) const {
140 unsigned TargetFlags = get(Opcode).TSFlags;
141
142 return ((TargetFlags & R600_InstFlag::LDS_1A) |
Tom Stellardf3d166a2013-08-26 15:05:49 +0000143 (TargetFlags & R600_InstFlag::LDS_1A1D) |
144 (TargetFlags & R600_InstFlag::LDS_1A2D));
Tom Stellardc026e8b2013-06-28 15:47:08 +0000145}
146
Tom Stellard8f9fc202013-11-15 00:12:45 +0000147bool R600InstrInfo::isLDSNoRetInstr(unsigned Opcode) const {
148 return isLDSInstr(Opcode) && getOperandIdx(Opcode, AMDGPU::OpName::dst) == -1;
149}
150
151bool R600InstrInfo::isLDSRetInstr(unsigned Opcode) const {
152 return isLDSInstr(Opcode) && getOperandIdx(Opcode, AMDGPU::OpName::dst) != -1;
153}
154
Vincent Lejeunea4da6fb2013-10-01 19:32:58 +0000155bool R600InstrInfo::canBeConsideredALU(const MachineInstr *MI) const {
156 if (isALUInstr(MI->getOpcode()))
157 return true;
158 if (isVector(*MI) || isCubeOp(MI->getOpcode()))
159 return true;
160 switch (MI->getOpcode()) {
161 case AMDGPU::PRED_X:
162 case AMDGPU::INTERP_PAIR_XY:
163 case AMDGPU::INTERP_PAIR_ZW:
164 case AMDGPU::INTERP_VEC_LOAD:
165 case AMDGPU::COPY:
166 case AMDGPU::DOT_4:
167 return true;
168 default:
169 return false;
170 }
171}
172
Vincent Lejeune076c0b22013-04-30 00:14:17 +0000173bool R600InstrInfo::isTransOnly(unsigned Opcode) const {
Vincent Lejeune4d5c5e52013-09-04 19:53:30 +0000174 if (ST.hasCaymanISA())
175 return false;
176 return (get(Opcode).getSchedClass() == AMDGPU::Sched::TransALU);
Vincent Lejeune076c0b22013-04-30 00:14:17 +0000177}
178
179bool R600InstrInfo::isTransOnly(const MachineInstr *MI) const {
180 return isTransOnly(MI->getOpcode());
181}
182
Vincent Lejeune4d5c5e52013-09-04 19:53:30 +0000183bool R600InstrInfo::isVectorOnly(unsigned Opcode) const {
184 return (get(Opcode).getSchedClass() == AMDGPU::Sched::VecALU);
185}
186
187bool R600InstrInfo::isVectorOnly(const MachineInstr *MI) const {
188 return isVectorOnly(MI->getOpcode());
189}
190
Tom Stellard676c16d2013-08-16 01:11:51 +0000191bool R600InstrInfo::isExport(unsigned Opcode) const {
192 return (get(Opcode).TSFlags & R600_InstFlag::IS_EXPORT);
193}
194
Vincent Lejeunec2991642013-04-30 00:13:39 +0000195bool R600InstrInfo::usesVertexCache(unsigned Opcode) const {
Tom Stellardd93cede2013-05-06 17:50:57 +0000196 return ST.hasVertexCache() && IS_VTX(get(Opcode));
Vincent Lejeunec2991642013-04-30 00:13:39 +0000197}
198
199bool R600InstrInfo::usesVertexCache(const MachineInstr *MI) const {
Matt Arsenault762af962014-07-13 03:06:39 +0000200 const MachineFunction *MF = MI->getParent()->getParent();
Nicolai Haehnledf3a20c2016-04-06 19:40:20 +0000201 return !AMDGPU::isCompute(MF->getFunction()->getCallingConv()) &&
Matt Arsenault762af962014-07-13 03:06:39 +0000202 usesVertexCache(MI->getOpcode());
Vincent Lejeunec2991642013-04-30 00:13:39 +0000203}
204
205bool R600InstrInfo::usesTextureCache(unsigned Opcode) const {
Tom Stellardd93cede2013-05-06 17:50:57 +0000206 return (!ST.hasVertexCache() && IS_VTX(get(Opcode))) || IS_TEX(get(Opcode));
Vincent Lejeunec2991642013-04-30 00:13:39 +0000207}
208
209bool R600InstrInfo::usesTextureCache(const MachineInstr *MI) const {
Matt Arsenault762af962014-07-13 03:06:39 +0000210 const MachineFunction *MF = MI->getParent()->getParent();
Nicolai Haehnledf3a20c2016-04-06 19:40:20 +0000211 return (AMDGPU::isCompute(MF->getFunction()->getCallingConv()) &&
Matt Arsenault762af962014-07-13 03:06:39 +0000212 usesVertexCache(MI->getOpcode())) ||
213 usesTextureCache(MI->getOpcode());
Vincent Lejeunec2991642013-04-30 00:13:39 +0000214}
215
Tom Stellardce540332013-06-28 15:46:59 +0000216bool R600InstrInfo::mustBeLastInClause(unsigned Opcode) const {
217 switch (Opcode) {
218 case AMDGPU::KILLGT:
219 case AMDGPU::GROUP_BARRIER:
220 return true;
221 default:
222 return false;
223 }
224}
225
Tom Stellard26a3b672013-10-22 18:19:10 +0000226bool R600InstrInfo::usesAddressRegister(MachineInstr *MI) const {
227 return MI->findRegisterUseOperandIdx(AMDGPU::AR_X) != -1;
228}
229
230bool R600InstrInfo::definesAddressRegister(MachineInstr *MI) const {
231 return MI->findRegisterDefOperandIdx(AMDGPU::AR_X) != -1;
232}
233
Tom Stellard7f6fa4c2013-09-12 02:55:06 +0000234bool R600InstrInfo::readsLDSSrcReg(const MachineInstr *MI) const {
235 if (!isALUInstr(MI->getOpcode())) {
236 return false;
237 }
238 for (MachineInstr::const_mop_iterator I = MI->operands_begin(),
239 E = MI->operands_end(); I != E; ++I) {
240 if (!I->isReg() || !I->isUse() ||
241 TargetRegisterInfo::isVirtualRegister(I->getReg()))
242 continue;
243
244 if (AMDGPU::R600_LDS_SRC_REGRegClass.contains(I->getReg()))
245 return true;
246 }
247 return false;
248}
249
Tom Stellard84021442013-07-23 01:48:24 +0000250int R600InstrInfo::getSrcIdx(unsigned Opcode, unsigned SrcNum) const {
251 static const unsigned OpTable[] = {
252 AMDGPU::OpName::src0,
253 AMDGPU::OpName::src1,
254 AMDGPU::OpName::src2
255 };
256
257 assert (SrcNum < 3);
258 return getOperandIdx(Opcode, OpTable[SrcNum]);
259}
260
Tom Stellard84021442013-07-23 01:48:24 +0000261int R600InstrInfo::getSelIdx(unsigned Opcode, unsigned SrcIdx) const {
Jan Vesely468e0552015-03-02 18:56:52 +0000262 static const unsigned SrcSelTable[][2] = {
Tom Stellard84021442013-07-23 01:48:24 +0000263 {AMDGPU::OpName::src0, AMDGPU::OpName::src0_sel},
264 {AMDGPU::OpName::src1, AMDGPU::OpName::src1_sel},
265 {AMDGPU::OpName::src2, AMDGPU::OpName::src2_sel},
266 {AMDGPU::OpName::src0_X, AMDGPU::OpName::src0_sel_X},
267 {AMDGPU::OpName::src0_Y, AMDGPU::OpName::src0_sel_Y},
268 {AMDGPU::OpName::src0_Z, AMDGPU::OpName::src0_sel_Z},
269 {AMDGPU::OpName::src0_W, AMDGPU::OpName::src0_sel_W},
270 {AMDGPU::OpName::src1_X, AMDGPU::OpName::src1_sel_X},
271 {AMDGPU::OpName::src1_Y, AMDGPU::OpName::src1_sel_Y},
272 {AMDGPU::OpName::src1_Z, AMDGPU::OpName::src1_sel_Z},
273 {AMDGPU::OpName::src1_W, AMDGPU::OpName::src1_sel_W}
274 };
275
Jan Vesely468e0552015-03-02 18:56:52 +0000276 for (const auto &Row : SrcSelTable) {
277 if (getOperandIdx(Opcode, Row[0]) == (int)SrcIdx) {
278 return getOperandIdx(Opcode, Row[1]);
Tom Stellard84021442013-07-23 01:48:24 +0000279 }
280 }
281 return -1;
282}
Tom Stellard84021442013-07-23 01:48:24 +0000283
Vincent Lejeune0fca91d2013-05-17 16:50:02 +0000284SmallVector<std::pair<MachineOperand *, int64_t>, 3>
285R600InstrInfo::getSrcs(MachineInstr *MI) const {
286 SmallVector<std::pair<MachineOperand *, int64_t>, 3> Result;
287
Vincent Lejeunec6896792013-06-04 23:17:15 +0000288 if (MI->getOpcode() == AMDGPU::DOT_4) {
Tom Stellard02661d92013-06-25 21:22:18 +0000289 static const unsigned OpTable[8][2] = {
290 {AMDGPU::OpName::src0_X, AMDGPU::OpName::src0_sel_X},
291 {AMDGPU::OpName::src0_Y, AMDGPU::OpName::src0_sel_Y},
292 {AMDGPU::OpName::src0_Z, AMDGPU::OpName::src0_sel_Z},
293 {AMDGPU::OpName::src0_W, AMDGPU::OpName::src0_sel_W},
294 {AMDGPU::OpName::src1_X, AMDGPU::OpName::src1_sel_X},
295 {AMDGPU::OpName::src1_Y, AMDGPU::OpName::src1_sel_Y},
296 {AMDGPU::OpName::src1_Z, AMDGPU::OpName::src1_sel_Z},
297 {AMDGPU::OpName::src1_W, AMDGPU::OpName::src1_sel_W},
Vincent Lejeunec6896792013-06-04 23:17:15 +0000298 };
299
300 for (unsigned j = 0; j < 8; j++) {
Tom Stellard02661d92013-06-25 21:22:18 +0000301 MachineOperand &MO = MI->getOperand(getOperandIdx(MI->getOpcode(),
302 OpTable[j][0]));
Vincent Lejeunec6896792013-06-04 23:17:15 +0000303 unsigned Reg = MO.getReg();
304 if (Reg == AMDGPU::ALU_CONST) {
Jan Veselybbc22312016-05-04 14:55:45 +0000305 MachineOperand &Sel = MI->getOperand(getOperandIdx(MI->getOpcode(),
306 OpTable[j][1]));
307 Result.push_back(std::make_pair(&MO, Sel.getImm()));
Vincent Lejeunec6896792013-06-04 23:17:15 +0000308 continue;
309 }
Matt Arsenault0163e032014-07-20 06:31:06 +0000310
Vincent Lejeunec6896792013-06-04 23:17:15 +0000311 }
312 return Result;
313 }
314
Tom Stellard02661d92013-06-25 21:22:18 +0000315 static const unsigned OpTable[3][2] = {
316 {AMDGPU::OpName::src0, AMDGPU::OpName::src0_sel},
317 {AMDGPU::OpName::src1, AMDGPU::OpName::src1_sel},
318 {AMDGPU::OpName::src2, AMDGPU::OpName::src2_sel},
Vincent Lejeune0fca91d2013-05-17 16:50:02 +0000319 };
320
321 for (unsigned j = 0; j < 3; j++) {
322 int SrcIdx = getOperandIdx(MI->getOpcode(), OpTable[j][0]);
323 if (SrcIdx < 0)
324 break;
325 MachineOperand &MO = MI->getOperand(SrcIdx);
Jan Veselybbc22312016-05-04 14:55:45 +0000326 unsigned Reg = MO.getReg();
Vincent Lejeune0fca91d2013-05-17 16:50:02 +0000327 if (Reg == AMDGPU::ALU_CONST) {
Jan Veselybbc22312016-05-04 14:55:45 +0000328 MachineOperand &Sel = MI->getOperand(
329 getOperandIdx(MI->getOpcode(), OpTable[j][1]));
330 Result.push_back(std::make_pair(&MO, Sel.getImm()));
Vincent Lejeune0fca91d2013-05-17 16:50:02 +0000331 continue;
332 }
333 if (Reg == AMDGPU::ALU_LITERAL_X) {
Jan Veselyfac8d7e2016-05-13 20:39:20 +0000334 MachineOperand &Operand = MI->getOperand(
Jan Veselybbc22312016-05-04 14:55:45 +0000335 getOperandIdx(MI->getOpcode(), AMDGPU::OpName::literal));
Jan Veselyfac8d7e2016-05-13 20:39:20 +0000336 if (Operand.isImm()) {
337 Result.push_back(std::make_pair(&MO, Operand.getImm()));
338 continue;
339 }
340 assert(Operand.isGlobal());
Vincent Lejeune0fca91d2013-05-17 16:50:02 +0000341 }
Jan Veselybbc22312016-05-04 14:55:45 +0000342 Result.push_back(std::make_pair(&MO, 0));
Vincent Lejeune0fca91d2013-05-17 16:50:02 +0000343 }
344 return Result;
345}
346
347std::vector<std::pair<int, unsigned> >
348R600InstrInfo::ExtractSrcs(MachineInstr *MI,
Vincent Lejeune77a83522013-06-29 19:32:43 +0000349 const DenseMap<unsigned, unsigned> &PV,
350 unsigned &ConstCount) const {
351 ConstCount = 0;
Ahmed Bougachac88bf542015-06-11 19:30:37 +0000352 ArrayRef<std::pair<MachineOperand *, int64_t>> Srcs = getSrcs(MI);
Vincent Lejeune0fca91d2013-05-17 16:50:02 +0000353 const std::pair<int, unsigned> DummyPair(-1, 0);
354 std::vector<std::pair<int, unsigned> > Result;
355 unsigned i = 0;
356 for (unsigned n = Srcs.size(); i < n; ++i) {
357 unsigned Reg = Srcs[i].first->getReg();
Jan Veselybbc22312016-05-04 14:55:45 +0000358 int Index = RI.getEncodingValue(Reg) & 0xff;
Tom Stellardc026e8b2013-06-28 15:47:08 +0000359 if (Reg == AMDGPU::OQAP) {
Jan Veselybbc22312016-05-04 14:55:45 +0000360 Result.push_back(std::make_pair(Index, 0U));
Tom Stellardc026e8b2013-06-28 15:47:08 +0000361 }
Vincent Lejeune41d4cf22013-06-17 20:16:40 +0000362 if (PV.find(Reg) != PV.end()) {
Vincent Lejeune77a83522013-06-29 19:32:43 +0000363 // 255 is used to tells its a PS/PV reg
Jan Veselybbc22312016-05-04 14:55:45 +0000364 Result.push_back(std::make_pair(255, 0U));
Vincent Lejeune77a83522013-06-29 19:32:43 +0000365 continue;
366 }
367 if (Index > 127) {
368 ConstCount++;
Vincent Lejeune0fca91d2013-05-17 16:50:02 +0000369 Result.push_back(DummyPair);
370 continue;
371 }
Vincent Lejeune77a83522013-06-29 19:32:43 +0000372 unsigned Chan = RI.getHWRegChan(Reg);
Jan Veselybbc22312016-05-04 14:55:45 +0000373 Result.push_back(std::make_pair(Index, Chan));
Vincent Lejeune0fca91d2013-05-17 16:50:02 +0000374 }
375 for (; i < 3; ++i)
376 Result.push_back(DummyPair);
377 return Result;
378}
379
380static std::vector<std::pair<int, unsigned> >
381Swizzle(std::vector<std::pair<int, unsigned> > Src,
382 R600InstrInfo::BankSwizzle Swz) {
Vincent Lejeune744efa42013-09-04 19:53:54 +0000383 if (Src[0] == Src[1])
384 Src[1].first = -1;
Vincent Lejeune0fca91d2013-05-17 16:50:02 +0000385 switch (Swz) {
Vincent Lejeunebb8a87212013-06-29 19:32:29 +0000386 case R600InstrInfo::ALU_VEC_012_SCL_210:
Vincent Lejeune0fca91d2013-05-17 16:50:02 +0000387 break;
Vincent Lejeunebb8a87212013-06-29 19:32:29 +0000388 case R600InstrInfo::ALU_VEC_021_SCL_122:
Vincent Lejeune0fca91d2013-05-17 16:50:02 +0000389 std::swap(Src[1], Src[2]);
390 break;
Vincent Lejeunebb8a87212013-06-29 19:32:29 +0000391 case R600InstrInfo::ALU_VEC_102_SCL_221:
Vincent Lejeune0fca91d2013-05-17 16:50:02 +0000392 std::swap(Src[0], Src[1]);
393 break;
Vincent Lejeunebb8a87212013-06-29 19:32:29 +0000394 case R600InstrInfo::ALU_VEC_120_SCL_212:
Vincent Lejeune0fca91d2013-05-17 16:50:02 +0000395 std::swap(Src[0], Src[1]);
396 std::swap(Src[0], Src[2]);
397 break;
398 case R600InstrInfo::ALU_VEC_201:
399 std::swap(Src[0], Src[2]);
400 std::swap(Src[0], Src[1]);
401 break;
402 case R600InstrInfo::ALU_VEC_210:
403 std::swap(Src[0], Src[2]);
404 break;
405 }
406 return Src;
407}
408
Vincent Lejeune77a83522013-06-29 19:32:43 +0000409static unsigned
410getTransSwizzle(R600InstrInfo::BankSwizzle Swz, unsigned Op) {
411 switch (Swz) {
412 case R600InstrInfo::ALU_VEC_012_SCL_210: {
413 unsigned Cycles[3] = { 2, 1, 0};
414 return Cycles[Op];
415 }
416 case R600InstrInfo::ALU_VEC_021_SCL_122: {
417 unsigned Cycles[3] = { 1, 2, 2};
418 return Cycles[Op];
419 }
420 case R600InstrInfo::ALU_VEC_120_SCL_212: {
421 unsigned Cycles[3] = { 2, 1, 2};
422 return Cycles[Op];
423 }
424 case R600InstrInfo::ALU_VEC_102_SCL_221: {
425 unsigned Cycles[3] = { 2, 2, 1};
426 return Cycles[Op];
427 }
428 default:
429 llvm_unreachable("Wrong Swizzle for Trans Slot");
430 return 0;
431 }
432}
433
434/// returns how many MIs (whose inputs are represented by IGSrcs) can be packed
435/// in the same Instruction Group while meeting read port limitations given a
436/// Swz swizzle sequence.
437unsigned R600InstrInfo::isLegalUpTo(
438 const std::vector<std::vector<std::pair<int, unsigned> > > &IGSrcs,
439 const std::vector<R600InstrInfo::BankSwizzle> &Swz,
440 const std::vector<std::pair<int, unsigned> > &TransSrcs,
441 R600InstrInfo::BankSwizzle TransSwz) const {
Vincent Lejeune0fca91d2013-05-17 16:50:02 +0000442 int Vector[4][3];
443 memset(Vector, -1, sizeof(Vector));
Vincent Lejeune77a83522013-06-29 19:32:43 +0000444 for (unsigned i = 0, e = IGSrcs.size(); i < e; i++) {
Vincent Lejeune0fca91d2013-05-17 16:50:02 +0000445 const std::vector<std::pair<int, unsigned> > &Srcs =
446 Swizzle(IGSrcs[i], Swz[i]);
447 for (unsigned j = 0; j < 3; j++) {
448 const std::pair<int, unsigned> &Src = Srcs[j];
Vincent Lejeune77a83522013-06-29 19:32:43 +0000449 if (Src.first < 0 || Src.first == 255)
Vincent Lejeune0fca91d2013-05-17 16:50:02 +0000450 continue;
Tom Stellardc026e8b2013-06-28 15:47:08 +0000451 if (Src.first == GET_REG_INDEX(RI.getEncodingValue(AMDGPU::OQAP))) {
Vincent Lejeune77a83522013-06-29 19:32:43 +0000452 if (Swz[i] != R600InstrInfo::ALU_VEC_012_SCL_210 &&
453 Swz[i] != R600InstrInfo::ALU_VEC_021_SCL_122) {
Tom Stellardc026e8b2013-06-28 15:47:08 +0000454 // The value from output queue A (denoted by register OQAP) can
455 // only be fetched during the first cycle.
456 return false;
457 }
458 // OQAP does not count towards the normal read port restrictions
459 continue;
460 }
Vincent Lejeune0fca91d2013-05-17 16:50:02 +0000461 if (Vector[Src.second][j] < 0)
462 Vector[Src.second][j] = Src.first;
463 if (Vector[Src.second][j] != Src.first)
Vincent Lejeune77a83522013-06-29 19:32:43 +0000464 return i;
Vincent Lejeune0fca91d2013-05-17 16:50:02 +0000465 }
466 }
Vincent Lejeune77a83522013-06-29 19:32:43 +0000467 // Now check Trans Alu
468 for (unsigned i = 0, e = TransSrcs.size(); i < e; ++i) {
469 const std::pair<int, unsigned> &Src = TransSrcs[i];
470 unsigned Cycle = getTransSwizzle(TransSwz, i);
471 if (Src.first < 0)
472 continue;
473 if (Src.first == 255)
474 continue;
475 if (Vector[Src.second][Cycle] < 0)
476 Vector[Src.second][Cycle] = Src.first;
477 if (Vector[Src.second][Cycle] != Src.first)
478 return IGSrcs.size() - 1;
479 }
480 return IGSrcs.size();
481}
482
483/// Given a swizzle sequence SwzCandidate and an index Idx, returns the next
484/// (in lexicographic term) swizzle sequence assuming that all swizzles after
485/// Idx can be skipped
486static bool
487NextPossibleSolution(
488 std::vector<R600InstrInfo::BankSwizzle> &SwzCandidate,
489 unsigned Idx) {
490 assert(Idx < SwzCandidate.size());
491 int ResetIdx = Idx;
492 while (ResetIdx > -1 && SwzCandidate[ResetIdx] == R600InstrInfo::ALU_VEC_210)
493 ResetIdx --;
494 for (unsigned i = ResetIdx + 1, e = SwzCandidate.size(); i < e; i++) {
495 SwzCandidate[i] = R600InstrInfo::ALU_VEC_012_SCL_210;
496 }
497 if (ResetIdx == -1)
498 return false;
Benjamin Kramer39690642013-06-29 20:04:19 +0000499 int NextSwizzle = SwzCandidate[ResetIdx] + 1;
500 SwzCandidate[ResetIdx] = (R600InstrInfo::BankSwizzle)NextSwizzle;
Vincent Lejeune77a83522013-06-29 19:32:43 +0000501 return true;
502}
503
504/// Enumerate all possible Swizzle sequence to find one that can meet all
505/// read port requirements.
506bool R600InstrInfo::FindSwizzleForVectorSlot(
507 const std::vector<std::vector<std::pair<int, unsigned> > > &IGSrcs,
508 std::vector<R600InstrInfo::BankSwizzle> &SwzCandidate,
509 const std::vector<std::pair<int, unsigned> > &TransSrcs,
510 R600InstrInfo::BankSwizzle TransSwz) const {
511 unsigned ValidUpTo = 0;
512 do {
513 ValidUpTo = isLegalUpTo(IGSrcs, SwzCandidate, TransSrcs, TransSwz);
514 if (ValidUpTo == IGSrcs.size())
515 return true;
516 } while (NextPossibleSolution(SwzCandidate, ValidUpTo));
517 return false;
518}
519
520/// Instructions in Trans slot can't read gpr at cycle 0 if they also read
521/// a const, and can't read a gpr at cycle 1 if they read 2 const.
522static bool
523isConstCompatible(R600InstrInfo::BankSwizzle TransSwz,
524 const std::vector<std::pair<int, unsigned> > &TransOps,
525 unsigned ConstCount) {
Vincent Lejeune7e2c8322013-09-04 19:53:46 +0000526 // TransALU can't read 3 constants
527 if (ConstCount > 2)
528 return false;
Vincent Lejeune77a83522013-06-29 19:32:43 +0000529 for (unsigned i = 0, e = TransOps.size(); i < e; ++i) {
530 const std::pair<int, unsigned> &Src = TransOps[i];
531 unsigned Cycle = getTransSwizzle(TransSwz, i);
532 if (Src.first < 0)
533 continue;
534 if (ConstCount > 0 && Cycle == 0)
535 return false;
536 if (ConstCount > 1 && Cycle == 1)
537 return false;
538 }
Vincent Lejeune0fca91d2013-05-17 16:50:02 +0000539 return true;
540}
541
Tom Stellardc026e8b2013-06-28 15:47:08 +0000542bool
Vincent Lejeune0fca91d2013-05-17 16:50:02 +0000543R600InstrInfo::fitsReadPortLimitations(const std::vector<MachineInstr *> &IG,
Vincent Lejeune77a83522013-06-29 19:32:43 +0000544 const DenseMap<unsigned, unsigned> &PV,
545 std::vector<BankSwizzle> &ValidSwizzle,
546 bool isLastAluTrans)
Vincent Lejeune0fca91d2013-05-17 16:50:02 +0000547 const {
548 //Todo : support shared src0 - src1 operand
549
550 std::vector<std::vector<std::pair<int, unsigned> > > IGSrcs;
551 ValidSwizzle.clear();
Vincent Lejeune77a83522013-06-29 19:32:43 +0000552 unsigned ConstCount;
Vincent Lejeunea8a50242013-06-30 21:44:06 +0000553 BankSwizzle TransBS = ALU_VEC_012_SCL_210;
Vincent Lejeune0fca91d2013-05-17 16:50:02 +0000554 for (unsigned i = 0, e = IG.size(); i < e; ++i) {
Vincent Lejeune77a83522013-06-29 19:32:43 +0000555 IGSrcs.push_back(ExtractSrcs(IG[i], PV, ConstCount));
Vincent Lejeune0fca91d2013-05-17 16:50:02 +0000556 unsigned Op = getOperandIdx(IG[i]->getOpcode(),
Tom Stellard02661d92013-06-25 21:22:18 +0000557 AMDGPU::OpName::bank_swizzle);
Vincent Lejeune0fca91d2013-05-17 16:50:02 +0000558 ValidSwizzle.push_back( (R600InstrInfo::BankSwizzle)
559 IG[i]->getOperand(Op).getImm());
560 }
Vincent Lejeune77a83522013-06-29 19:32:43 +0000561 std::vector<std::pair<int, unsigned> > TransOps;
562 if (!isLastAluTrans)
563 return FindSwizzleForVectorSlot(IGSrcs, ValidSwizzle, TransOps, TransBS);
564
Benjamin Kramere12a6ba2014-10-03 18:33:16 +0000565 TransOps = std::move(IGSrcs.back());
Vincent Lejeune77a83522013-06-29 19:32:43 +0000566 IGSrcs.pop_back();
567 ValidSwizzle.pop_back();
568
569 static const R600InstrInfo::BankSwizzle TransSwz[] = {
570 ALU_VEC_012_SCL_210,
571 ALU_VEC_021_SCL_122,
572 ALU_VEC_120_SCL_212,
573 ALU_VEC_102_SCL_221
574 };
575 for (unsigned i = 0; i < 4; i++) {
576 TransBS = TransSwz[i];
577 if (!isConstCompatible(TransBS, TransOps, ConstCount))
578 continue;
579 bool Result = FindSwizzleForVectorSlot(IGSrcs, ValidSwizzle, TransOps,
580 TransBS);
581 if (Result) {
582 ValidSwizzle.push_back(TransBS);
583 return true;
584 }
585 }
586
587 return false;
Vincent Lejeune0fca91d2013-05-17 16:50:02 +0000588}
589
590
Vincent Lejeune0a22bc42013-03-14 15:50:45 +0000591bool
592R600InstrInfo::fitsConstReadLimitations(const std::vector<unsigned> &Consts)
593 const {
594 assert (Consts.size() <= 12 && "Too many operands in instructions group");
595 unsigned Pair1 = 0, Pair2 = 0;
596 for (unsigned i = 0, n = Consts.size(); i < n; ++i) {
597 unsigned ReadConstHalf = Consts[i] & 2;
598 unsigned ReadConstIndex = Consts[i] & (~3);
599 unsigned ReadHalfConst = ReadConstIndex | ReadConstHalf;
600 if (!Pair1) {
601 Pair1 = ReadHalfConst;
602 continue;
603 }
604 if (Pair1 == ReadHalfConst)
605 continue;
606 if (!Pair2) {
607 Pair2 = ReadHalfConst;
608 continue;
609 }
610 if (Pair2 != ReadHalfConst)
611 return false;
612 }
613 return true;
614}
615
616bool
Vincent Lejeune77a83522013-06-29 19:32:43 +0000617R600InstrInfo::fitsConstReadLimitations(const std::vector<MachineInstr *> &MIs)
618 const {
Vincent Lejeune0a22bc42013-03-14 15:50:45 +0000619 std::vector<unsigned> Consts;
Vincent Lejeunebb3f9312013-07-31 19:32:07 +0000620 SmallSet<int64_t, 4> Literals;
Vincent Lejeune0a22bc42013-03-14 15:50:45 +0000621 for (unsigned i = 0, n = MIs.size(); i < n; i++) {
Vincent Lejeune0fca91d2013-05-17 16:50:02 +0000622 MachineInstr *MI = MIs[i];
Vincent Lejeune0a22bc42013-03-14 15:50:45 +0000623 if (!isALUInstr(MI->getOpcode()))
624 continue;
625
Ahmed Bougachac88bf542015-06-11 19:30:37 +0000626 ArrayRef<std::pair<MachineOperand *, int64_t>> Srcs = getSrcs(MI);
Vincent Lejeune0fca91d2013-05-17 16:50:02 +0000627
Jan Veselybbc22312016-05-04 14:55:45 +0000628 for (const auto &Src:Srcs) {
Vincent Lejeunebb3f9312013-07-31 19:32:07 +0000629 if (Src.first->getReg() == AMDGPU::ALU_LITERAL_X)
630 Literals.insert(Src.second);
631 if (Literals.size() > 4)
632 return false;
Vincent Lejeune0fca91d2013-05-17 16:50:02 +0000633 if (Src.first->getReg() == AMDGPU::ALU_CONST)
634 Consts.push_back(Src.second);
635 if (AMDGPU::R600_KC0RegClass.contains(Src.first->getReg()) ||
636 AMDGPU::R600_KC1RegClass.contains(Src.first->getReg())) {
637 unsigned Index = RI.getEncodingValue(Src.first->getReg()) & 0xff;
638 unsigned Chan = RI.getHWRegChan(Src.first->getReg());
Vincent Lejeune147700b2013-04-30 00:14:27 +0000639 Consts.push_back((Index << 2) | Chan);
Vincent Lejeune0a22bc42013-03-14 15:50:45 +0000640 }
641 }
642 }
643 return fitsConstReadLimitations(Consts);
644}
645
Eric Christopher143f02c2014-10-09 01:59:35 +0000646DFAPacketizer *
647R600InstrInfo::CreateTargetScheduleState(const TargetSubtargetInfo &STI) const {
648 const InstrItineraryData *II = STI.getInstrItineraryData();
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000649 return static_cast<const R600Subtarget &>(STI).createDFAPacketizer(II);
Tom Stellard75aadc22012-12-11 21:25:42 +0000650}
651
652static bool
653isPredicateSetter(unsigned Opcode) {
654 switch (Opcode) {
655 case AMDGPU::PRED_X:
656 return true;
657 default:
658 return false;
659 }
660}
661
662static MachineInstr *
663findFirstPredicateSetterFrom(MachineBasicBlock &MBB,
664 MachineBasicBlock::iterator I) {
665 while (I != MBB.begin()) {
666 --I;
667 MachineInstr *MI = I;
668 if (isPredicateSetter(MI->getOpcode()))
669 return MI;
670 }
671
Craig Topper062a2ba2014-04-25 05:30:21 +0000672 return nullptr;
Tom Stellard75aadc22012-12-11 21:25:42 +0000673}
674
Vincent Lejeunee5ecf102013-03-11 18:15:06 +0000675static
676bool isJump(unsigned Opcode) {
677 return Opcode == AMDGPU::JUMP || Opcode == AMDGPU::JUMP_COND;
678}
679
Vincent Lejeune269708b2013-10-01 19:32:38 +0000680static bool isBranch(unsigned Opcode) {
681 return Opcode == AMDGPU::BRANCH || Opcode == AMDGPU::BRANCH_COND_i32 ||
682 Opcode == AMDGPU::BRANCH_COND_f32;
683}
684
Tom Stellard75aadc22012-12-11 21:25:42 +0000685bool
686R600InstrInfo::AnalyzeBranch(MachineBasicBlock &MBB,
687 MachineBasicBlock *&TBB,
688 MachineBasicBlock *&FBB,
689 SmallVectorImpl<MachineOperand> &Cond,
690 bool AllowModify) const {
691 // Most of the following comes from the ARM implementation of AnalyzeBranch
692
693 // If the block has no terminators, it just falls into the block after it.
Benjamin Kramere61cbd12015-06-25 13:28:24 +0000694 MachineBasicBlock::iterator I = MBB.getLastNonDebugInstr();
695 if (I == MBB.end())
Tom Stellard75aadc22012-12-11 21:25:42 +0000696 return false;
Benjamin Kramere61cbd12015-06-25 13:28:24 +0000697
Vincent Lejeune269708b2013-10-01 19:32:38 +0000698 // AMDGPU::BRANCH* instructions are only available after isel and are not
699 // handled
700 if (isBranch(I->getOpcode()))
701 return true;
Vincent Lejeunee5ecf102013-03-11 18:15:06 +0000702 if (!isJump(static_cast<MachineInstr *>(I)->getOpcode())) {
Tom Stellard75aadc22012-12-11 21:25:42 +0000703 return false;
704 }
705
Tom Stellarda64353e2014-01-23 18:49:34 +0000706 // Remove successive JUMP
Benjamin Kramerb6d0bd42014-03-02 12:27:27 +0000707 while (I != MBB.begin() && std::prev(I)->getOpcode() == AMDGPU::JUMP) {
708 MachineBasicBlock::iterator PriorI = std::prev(I);
Tom Stellarda64353e2014-01-23 18:49:34 +0000709 if (AllowModify)
710 I->removeFromParent();
711 I = PriorI;
712 }
Tom Stellard75aadc22012-12-11 21:25:42 +0000713 MachineInstr *LastInst = I;
714
715 // If there is only one terminator instruction, process it.
716 unsigned LastOpc = LastInst->getOpcode();
717 if (I == MBB.begin() ||
Vincent Lejeunee5ecf102013-03-11 18:15:06 +0000718 !isJump(static_cast<MachineInstr *>(--I)->getOpcode())) {
Tom Stellard75aadc22012-12-11 21:25:42 +0000719 if (LastOpc == AMDGPU::JUMP) {
Vincent Lejeunee5ecf102013-03-11 18:15:06 +0000720 TBB = LastInst->getOperand(0).getMBB();
721 return false;
722 } else if (LastOpc == AMDGPU::JUMP_COND) {
723 MachineInstr *predSet = I;
724 while (!isPredicateSetter(predSet->getOpcode())) {
725 predSet = --I;
Tom Stellard75aadc22012-12-11 21:25:42 +0000726 }
Vincent Lejeunee5ecf102013-03-11 18:15:06 +0000727 TBB = LastInst->getOperand(0).getMBB();
728 Cond.push_back(predSet->getOperand(1));
729 Cond.push_back(predSet->getOperand(2));
730 Cond.push_back(MachineOperand::CreateReg(AMDGPU::PRED_SEL_ONE, false));
731 return false;
Tom Stellard75aadc22012-12-11 21:25:42 +0000732 }
733 return true; // Can't handle indirect branch.
734 }
735
736 // Get the instruction before it if it is a terminator.
737 MachineInstr *SecondLastInst = I;
738 unsigned SecondLastOpc = SecondLastInst->getOpcode();
739
740 // If the block ends with a B and a Bcc, handle it.
Vincent Lejeunee5ecf102013-03-11 18:15:06 +0000741 if (SecondLastOpc == AMDGPU::JUMP_COND && LastOpc == AMDGPU::JUMP) {
Tom Stellard75aadc22012-12-11 21:25:42 +0000742 MachineInstr *predSet = --I;
743 while (!isPredicateSetter(predSet->getOpcode())) {
744 predSet = --I;
745 }
746 TBB = SecondLastInst->getOperand(0).getMBB();
747 FBB = LastInst->getOperand(0).getMBB();
748 Cond.push_back(predSet->getOperand(1));
749 Cond.push_back(predSet->getOperand(2));
750 Cond.push_back(MachineOperand::CreateReg(AMDGPU::PRED_SEL_ONE, false));
751 return false;
752 }
753
754 // Otherwise, can't handle this.
755 return true;
756}
757
Vincent Lejeunece499742013-07-09 15:03:33 +0000758static
759MachineBasicBlock::iterator FindLastAluClause(MachineBasicBlock &MBB) {
760 for (MachineBasicBlock::reverse_iterator It = MBB.rbegin(), E = MBB.rend();
761 It != E; ++It) {
762 if (It->getOpcode() == AMDGPU::CF_ALU ||
763 It->getOpcode() == AMDGPU::CF_ALU_PUSH_BEFORE)
Benjamin Kramerb6d0bd42014-03-02 12:27:27 +0000764 return std::prev(It.base());
Vincent Lejeunece499742013-07-09 15:03:33 +0000765 }
766 return MBB.end();
767}
768
Benjamin Kramerbdc49562016-06-12 15:39:02 +0000769unsigned R600InstrInfo::InsertBranch(MachineBasicBlock &MBB,
770 MachineBasicBlock *TBB,
771 MachineBasicBlock *FBB,
772 ArrayRef<MachineOperand> Cond,
773 const DebugLoc &DL) const {
Tom Stellard75aadc22012-12-11 21:25:42 +0000774 assert(TBB && "InsertBranch must not be told to insert a fallthrough");
775
Craig Topper062a2ba2014-04-25 05:30:21 +0000776 if (!FBB) {
Tom Stellard75aadc22012-12-11 21:25:42 +0000777 if (Cond.empty()) {
Vincent Lejeunee5ecf102013-03-11 18:15:06 +0000778 BuildMI(&MBB, DL, get(AMDGPU::JUMP)).addMBB(TBB);
Tom Stellard75aadc22012-12-11 21:25:42 +0000779 return 1;
780 } else {
781 MachineInstr *PredSet = findFirstPredicateSetterFrom(MBB, MBB.end());
782 assert(PredSet && "No previous predicate !");
783 addFlag(PredSet, 0, MO_FLAG_PUSH);
784 PredSet->getOperand(2).setImm(Cond[1].getImm());
785
Vincent Lejeunee5ecf102013-03-11 18:15:06 +0000786 BuildMI(&MBB, DL, get(AMDGPU::JUMP_COND))
Tom Stellard75aadc22012-12-11 21:25:42 +0000787 .addMBB(TBB)
788 .addReg(AMDGPU::PREDICATE_BIT, RegState::Kill);
Vincent Lejeunece499742013-07-09 15:03:33 +0000789 MachineBasicBlock::iterator CfAlu = FindLastAluClause(MBB);
790 if (CfAlu == MBB.end())
791 return 1;
792 assert (CfAlu->getOpcode() == AMDGPU::CF_ALU);
793 CfAlu->setDesc(get(AMDGPU::CF_ALU_PUSH_BEFORE));
Tom Stellard75aadc22012-12-11 21:25:42 +0000794 return 1;
795 }
796 } else {
797 MachineInstr *PredSet = findFirstPredicateSetterFrom(MBB, MBB.end());
798 assert(PredSet && "No previous predicate !");
799 addFlag(PredSet, 0, MO_FLAG_PUSH);
800 PredSet->getOperand(2).setImm(Cond[1].getImm());
Vincent Lejeunee5ecf102013-03-11 18:15:06 +0000801 BuildMI(&MBB, DL, get(AMDGPU::JUMP_COND))
Tom Stellard75aadc22012-12-11 21:25:42 +0000802 .addMBB(TBB)
803 .addReg(AMDGPU::PREDICATE_BIT, RegState::Kill);
Vincent Lejeunee5ecf102013-03-11 18:15:06 +0000804 BuildMI(&MBB, DL, get(AMDGPU::JUMP)).addMBB(FBB);
Vincent Lejeunece499742013-07-09 15:03:33 +0000805 MachineBasicBlock::iterator CfAlu = FindLastAluClause(MBB);
806 if (CfAlu == MBB.end())
807 return 2;
808 assert (CfAlu->getOpcode() == AMDGPU::CF_ALU);
809 CfAlu->setDesc(get(AMDGPU::CF_ALU_PUSH_BEFORE));
Tom Stellard75aadc22012-12-11 21:25:42 +0000810 return 2;
811 }
812}
813
814unsigned
815R600InstrInfo::RemoveBranch(MachineBasicBlock &MBB) const {
816
817 // Note : we leave PRED* instructions there.
818 // They may be needed when predicating instructions.
819
820 MachineBasicBlock::iterator I = MBB.end();
821
822 if (I == MBB.begin()) {
823 return 0;
824 }
825 --I;
826 switch (I->getOpcode()) {
827 default:
828 return 0;
Vincent Lejeunee5ecf102013-03-11 18:15:06 +0000829 case AMDGPU::JUMP_COND: {
830 MachineInstr *predSet = findFirstPredicateSetterFrom(MBB, I);
831 clearFlag(predSet, 0, MO_FLAG_PUSH);
832 I->eraseFromParent();
Vincent Lejeunece499742013-07-09 15:03:33 +0000833 MachineBasicBlock::iterator CfAlu = FindLastAluClause(MBB);
834 if (CfAlu == MBB.end())
835 break;
836 assert (CfAlu->getOpcode() == AMDGPU::CF_ALU_PUSH_BEFORE);
837 CfAlu->setDesc(get(AMDGPU::CF_ALU));
Vincent Lejeunee5ecf102013-03-11 18:15:06 +0000838 break;
839 }
Tom Stellard75aadc22012-12-11 21:25:42 +0000840 case AMDGPU::JUMP:
Tom Stellard75aadc22012-12-11 21:25:42 +0000841 I->eraseFromParent();
842 break;
843 }
844 I = MBB.end();
845
846 if (I == MBB.begin()) {
847 return 1;
848 }
849 --I;
850 switch (I->getOpcode()) {
851 // FIXME: only one case??
852 default:
853 return 1;
Vincent Lejeunee5ecf102013-03-11 18:15:06 +0000854 case AMDGPU::JUMP_COND: {
855 MachineInstr *predSet = findFirstPredicateSetterFrom(MBB, I);
856 clearFlag(predSet, 0, MO_FLAG_PUSH);
857 I->eraseFromParent();
Vincent Lejeunece499742013-07-09 15:03:33 +0000858 MachineBasicBlock::iterator CfAlu = FindLastAluClause(MBB);
859 if (CfAlu == MBB.end())
860 break;
861 assert (CfAlu->getOpcode() == AMDGPU::CF_ALU_PUSH_BEFORE);
862 CfAlu->setDesc(get(AMDGPU::CF_ALU));
Vincent Lejeunee5ecf102013-03-11 18:15:06 +0000863 break;
864 }
Tom Stellard75aadc22012-12-11 21:25:42 +0000865 case AMDGPU::JUMP:
Tom Stellard75aadc22012-12-11 21:25:42 +0000866 I->eraseFromParent();
867 break;
868 }
869 return 2;
870}
871
Duncan P. N. Exon Smith6307eb52016-02-23 02:46:52 +0000872bool R600InstrInfo::isPredicated(const MachineInstr &MI) const {
873 int idx = MI.findFirstPredOperandIdx();
Tom Stellard75aadc22012-12-11 21:25:42 +0000874 if (idx < 0)
875 return false;
876
Duncan P. N. Exon Smith6307eb52016-02-23 02:46:52 +0000877 unsigned Reg = MI.getOperand(idx).getReg();
Tom Stellard75aadc22012-12-11 21:25:42 +0000878 switch (Reg) {
879 default: return false;
880 case AMDGPU::PRED_SEL_ONE:
881 case AMDGPU::PRED_SEL_ZERO:
882 case AMDGPU::PREDICATE_BIT:
883 return true;
884 }
885}
886
Duncan P. N. Exon Smith6307eb52016-02-23 02:46:52 +0000887bool R600InstrInfo::isPredicable(MachineInstr &MI) const {
Tom Stellard75aadc22012-12-11 21:25:42 +0000888 // XXX: KILL* instructions can be predicated, but they must be the last
889 // instruction in a clause, so this means any instructions after them cannot
890 // be predicated. Until we have proper support for instruction clauses in the
891 // backend, we will mark KILL* instructions as unpredicable.
892
Duncan P. N. Exon Smith6307eb52016-02-23 02:46:52 +0000893 if (MI.getOpcode() == AMDGPU::KILLGT) {
Tom Stellard75aadc22012-12-11 21:25:42 +0000894 return false;
Duncan P. N. Exon Smith6307eb52016-02-23 02:46:52 +0000895 } else if (MI.getOpcode() == AMDGPU::CF_ALU) {
Vincent Lejeunece499742013-07-09 15:03:33 +0000896 // If the clause start in the middle of MBB then the MBB has more
897 // than a single clause, unable to predicate several clauses.
Duncan P. N. Exon Smith6307eb52016-02-23 02:46:52 +0000898 if (MI.getParent()->begin() != MachineBasicBlock::iterator(MI))
Vincent Lejeunece499742013-07-09 15:03:33 +0000899 return false;
900 // TODO: We don't support KC merging atm
Matt Arsenault8226fc42016-03-02 23:00:21 +0000901 return MI.getOperand(3).getImm() == 0 && MI.getOperand(4).getImm() == 0;
Duncan P. N. Exon Smith6307eb52016-02-23 02:46:52 +0000902 } else if (isVector(MI)) {
Vincent Lejeunefe32bd82013-03-05 19:12:06 +0000903 return false;
Tom Stellard75aadc22012-12-11 21:25:42 +0000904 } else {
905 return AMDGPUInstrInfo::isPredicable(MI);
906 }
907}
908
909
910bool
911R600InstrInfo::isProfitableToIfCvt(MachineBasicBlock &MBB,
912 unsigned NumCyles,
913 unsigned ExtraPredCycles,
Cong Houc536bd92015-09-10 23:10:42 +0000914 BranchProbability Probability) const{
Tom Stellard75aadc22012-12-11 21:25:42 +0000915 return true;
916}
917
918bool
919R600InstrInfo::isProfitableToIfCvt(MachineBasicBlock &TMBB,
920 unsigned NumTCycles,
921 unsigned ExtraTCycles,
922 MachineBasicBlock &FMBB,
923 unsigned NumFCycles,
924 unsigned ExtraFCycles,
Cong Houc536bd92015-09-10 23:10:42 +0000925 BranchProbability Probability) const {
Tom Stellard75aadc22012-12-11 21:25:42 +0000926 return true;
927}
928
929bool
930R600InstrInfo::isProfitableToDupForIfCvt(MachineBasicBlock &MBB,
931 unsigned NumCyles,
Cong Houc536bd92015-09-10 23:10:42 +0000932 BranchProbability Probability)
Tom Stellard75aadc22012-12-11 21:25:42 +0000933 const {
934 return true;
935}
936
937bool
938R600InstrInfo::isProfitableToUnpredicate(MachineBasicBlock &TMBB,
939 MachineBasicBlock &FMBB) const {
940 return false;
941}
942
943
944bool
945R600InstrInfo::ReverseBranchCondition(SmallVectorImpl<MachineOperand> &Cond) const {
946 MachineOperand &MO = Cond[1];
947 switch (MO.getImm()) {
948 case OPCODE_IS_ZERO_INT:
949 MO.setImm(OPCODE_IS_NOT_ZERO_INT);
950 break;
951 case OPCODE_IS_NOT_ZERO_INT:
952 MO.setImm(OPCODE_IS_ZERO_INT);
953 break;
954 case OPCODE_IS_ZERO:
955 MO.setImm(OPCODE_IS_NOT_ZERO);
956 break;
957 case OPCODE_IS_NOT_ZERO:
958 MO.setImm(OPCODE_IS_ZERO);
959 break;
960 default:
961 return true;
962 }
963
964 MachineOperand &MO2 = Cond[2];
965 switch (MO2.getReg()) {
966 case AMDGPU::PRED_SEL_ZERO:
967 MO2.setReg(AMDGPU::PRED_SEL_ONE);
968 break;
969 case AMDGPU::PRED_SEL_ONE:
970 MO2.setReg(AMDGPU::PRED_SEL_ZERO);
971 break;
972 default:
973 return true;
974 }
975 return false;
976}
977
Duncan P. N. Exon Smith6307eb52016-02-23 02:46:52 +0000978bool R600InstrInfo::DefinesPredicate(MachineInstr &MI,
979 std::vector<MachineOperand> &Pred) const {
980 return isPredicateSetter(MI.getOpcode());
Tom Stellard75aadc22012-12-11 21:25:42 +0000981}
982
983
984bool
Ahmed Bougachac88bf542015-06-11 19:30:37 +0000985R600InstrInfo::SubsumesPredicate(ArrayRef<MachineOperand> Pred1,
986 ArrayRef<MachineOperand> Pred2) const {
Tom Stellard75aadc22012-12-11 21:25:42 +0000987 return false;
988}
989
Duncan P. N. Exon Smith6307eb52016-02-23 02:46:52 +0000990bool R600InstrInfo::PredicateInstruction(MachineInstr &MI,
991 ArrayRef<MachineOperand> Pred) const {
992 int PIdx = MI.findFirstPredOperandIdx();
Tom Stellard75aadc22012-12-11 21:25:42 +0000993
Duncan P. N. Exon Smith6307eb52016-02-23 02:46:52 +0000994 if (MI.getOpcode() == AMDGPU::CF_ALU) {
995 MI.getOperand(8).setImm(0);
Vincent Lejeunece499742013-07-09 15:03:33 +0000996 return true;
997 }
998
Duncan P. N. Exon Smith6307eb52016-02-23 02:46:52 +0000999 if (MI.getOpcode() == AMDGPU::DOT_4) {
1000 MI.getOperand(getOperandIdx(MI, AMDGPU::OpName::pred_sel_X))
Vincent Lejeune745d4292013-11-16 16:24:41 +00001001 .setReg(Pred[2].getReg());
Duncan P. N. Exon Smith6307eb52016-02-23 02:46:52 +00001002 MI.getOperand(getOperandIdx(MI, AMDGPU::OpName::pred_sel_Y))
Vincent Lejeune745d4292013-11-16 16:24:41 +00001003 .setReg(Pred[2].getReg());
Duncan P. N. Exon Smith6307eb52016-02-23 02:46:52 +00001004 MI.getOperand(getOperandIdx(MI, AMDGPU::OpName::pred_sel_Z))
Vincent Lejeune745d4292013-11-16 16:24:41 +00001005 .setReg(Pred[2].getReg());
Duncan P. N. Exon Smith6307eb52016-02-23 02:46:52 +00001006 MI.getOperand(getOperandIdx(MI, AMDGPU::OpName::pred_sel_W))
Vincent Lejeune745d4292013-11-16 16:24:41 +00001007 .setReg(Pred[2].getReg());
Duncan P. N. Exon Smith6307eb52016-02-23 02:46:52 +00001008 MachineInstrBuilder MIB(*MI.getParent()->getParent(), MI);
Vincent Lejeune745d4292013-11-16 16:24:41 +00001009 MIB.addReg(AMDGPU::PREDICATE_BIT, RegState::Implicit);
1010 return true;
1011 }
1012
Tom Stellard75aadc22012-12-11 21:25:42 +00001013 if (PIdx != -1) {
Duncan P. N. Exon Smith6307eb52016-02-23 02:46:52 +00001014 MachineOperand &PMO = MI.getOperand(PIdx);
Tom Stellard75aadc22012-12-11 21:25:42 +00001015 PMO.setReg(Pred[2].getReg());
Duncan P. N. Exon Smith6307eb52016-02-23 02:46:52 +00001016 MachineInstrBuilder MIB(*MI.getParent()->getParent(), MI);
NAKAMURA Takumi2a0b40f2012-12-20 00:22:11 +00001017 MIB.addReg(AMDGPU::PREDICATE_BIT, RegState::Implicit);
Tom Stellard75aadc22012-12-11 21:25:42 +00001018 return true;
1019 }
1020
1021 return false;
1022}
1023
Duncan P. N. Exon Smith6307eb52016-02-23 02:46:52 +00001024unsigned int R600InstrInfo::getPredicationCost(const MachineInstr &) const {
Arnold Schwaighoferd2f96b92013-09-30 15:28:56 +00001025 return 2;
1026}
1027
Tom Stellard75aadc22012-12-11 21:25:42 +00001028unsigned int R600InstrInfo::getInstrLatency(const InstrItineraryData *ItinData,
1029 const MachineInstr *MI,
1030 unsigned *PredCost) const {
1031 if (PredCost)
1032 *PredCost = 2;
1033 return 2;
1034}
1035
Tom Stellard1242ce92016-02-05 18:44:57 +00001036unsigned R600InstrInfo::calculateIndirectAddress(unsigned RegIndex,
1037 unsigned Channel) const {
1038 assert(Channel == 0);
1039 return RegIndex;
1040}
1041
Tom Stellard880a80a2014-06-17 16:53:14 +00001042bool R600InstrInfo::expandPostRAPseudo(MachineBasicBlock::iterator MI) const {
1043
1044 switch(MI->getOpcode()) {
Tom Stellard2ff72622016-01-28 16:04:37 +00001045 default: {
1046 MachineBasicBlock *MBB = MI->getParent();
1047 int OffsetOpIdx = AMDGPU::getNamedOperandIdx(MI->getOpcode(),
1048 AMDGPU::OpName::addr);
1049 // addr is a custom operand with multiple MI operands, and only the
1050 // first MI operand is given a name.
1051 int RegOpIdx = OffsetOpIdx + 1;
1052 int ChanOpIdx = AMDGPU::getNamedOperandIdx(MI->getOpcode(),
1053 AMDGPU::OpName::chan);
1054 if (isRegisterLoad(*MI)) {
1055 int DstOpIdx = AMDGPU::getNamedOperandIdx(MI->getOpcode(),
1056 AMDGPU::OpName::dst);
1057 unsigned RegIndex = MI->getOperand(RegOpIdx).getImm();
1058 unsigned Channel = MI->getOperand(ChanOpIdx).getImm();
1059 unsigned Address = calculateIndirectAddress(RegIndex, Channel);
1060 unsigned OffsetReg = MI->getOperand(OffsetOpIdx).getReg();
1061 if (OffsetReg == AMDGPU::INDIRECT_BASE_ADDR) {
1062 buildMovInstr(MBB, MI, MI->getOperand(DstOpIdx).getReg(),
1063 getIndirectAddrRegClass()->getRegister(Address));
1064 } else {
1065 buildIndirectRead(MBB, MI, MI->getOperand(DstOpIdx).getReg(),
1066 Address, OffsetReg);
1067 }
1068 } else if (isRegisterStore(*MI)) {
1069 int ValOpIdx = AMDGPU::getNamedOperandIdx(MI->getOpcode(),
1070 AMDGPU::OpName::val);
1071 unsigned RegIndex = MI->getOperand(RegOpIdx).getImm();
1072 unsigned Channel = MI->getOperand(ChanOpIdx).getImm();
1073 unsigned Address = calculateIndirectAddress(RegIndex, Channel);
1074 unsigned OffsetReg = MI->getOperand(OffsetOpIdx).getReg();
1075 if (OffsetReg == AMDGPU::INDIRECT_BASE_ADDR) {
1076 buildMovInstr(MBB, MI, getIndirectAddrRegClass()->getRegister(Address),
1077 MI->getOperand(ValOpIdx).getReg());
1078 } else {
1079 buildIndirectWrite(MBB, MI, MI->getOperand(ValOpIdx).getReg(),
1080 calculateIndirectAddress(RegIndex, Channel),
1081 OffsetReg);
1082 }
1083 } else {
1084 return false;
1085 }
1086
1087 MBB->erase(MI);
1088 return true;
1089 }
Tom Stellard880a80a2014-06-17 16:53:14 +00001090 case AMDGPU::R600_EXTRACT_ELT_V2:
1091 case AMDGPU::R600_EXTRACT_ELT_V4:
1092 buildIndirectRead(MI->getParent(), MI, MI->getOperand(0).getReg(),
1093 RI.getHWRegIndex(MI->getOperand(1).getReg()), // Address
1094 MI->getOperand(2).getReg(),
1095 RI.getHWRegChan(MI->getOperand(1).getReg()));
1096 break;
1097 case AMDGPU::R600_INSERT_ELT_V2:
1098 case AMDGPU::R600_INSERT_ELT_V4:
1099 buildIndirectWrite(MI->getParent(), MI, MI->getOperand(2).getReg(), // Value
1100 RI.getHWRegIndex(MI->getOperand(1).getReg()), // Address
1101 MI->getOperand(3).getReg(), // Offset
1102 RI.getHWRegChan(MI->getOperand(1).getReg())); // Channel
1103 break;
1104 }
1105 MI->eraseFromParent();
1106 return true;
1107}
1108
Tom Stellard81d871d2013-11-13 23:36:50 +00001109void R600InstrInfo::reserveIndirectRegisters(BitVector &Reserved,
Tom Stellardf3b2a1e2013-02-06 17:32:29 +00001110 const MachineFunction &MF) const {
Matt Arsenault43e92fe2016-06-24 06:30:11 +00001111 const R600Subtarget &ST = MF.getSubtarget<R600Subtarget>();
1112 const R600FrameLowering *TFL = ST.getFrameLowering();
Tom Stellardf3b2a1e2013-02-06 17:32:29 +00001113
1114 unsigned StackWidth = TFL->getStackWidth(MF);
1115 int End = getIndirectIndexEnd(MF);
1116
Tom Stellard81d871d2013-11-13 23:36:50 +00001117 if (End == -1)
1118 return;
Tom Stellardf3b2a1e2013-02-06 17:32:29 +00001119
1120 for (int Index = getIndirectIndexBegin(MF); Index <= End; ++Index) {
1121 unsigned SuperReg = AMDGPU::R600_Reg128RegClass.getRegister(Index);
Tom Stellard81d871d2013-11-13 23:36:50 +00001122 Reserved.set(SuperReg);
Tom Stellardf3b2a1e2013-02-06 17:32:29 +00001123 for (unsigned Chan = 0; Chan < StackWidth; ++Chan) {
1124 unsigned Reg = AMDGPU::R600_TReg32RegClass.getRegister((4 * Index) + Chan);
Tom Stellard81d871d2013-11-13 23:36:50 +00001125 Reserved.set(Reg);
Tom Stellardf3b2a1e2013-02-06 17:32:29 +00001126 }
1127 }
Tom Stellardf3b2a1e2013-02-06 17:32:29 +00001128}
1129
Tom Stellard26a3b672013-10-22 18:19:10 +00001130const TargetRegisterClass *R600InstrInfo::getIndirectAddrRegClass() const {
1131 return &AMDGPU::R600_TReg32_XRegClass;
Tom Stellardf3b2a1e2013-02-06 17:32:29 +00001132}
1133
1134MachineInstrBuilder R600InstrInfo::buildIndirectWrite(MachineBasicBlock *MBB,
1135 MachineBasicBlock::iterator I,
1136 unsigned ValueReg, unsigned Address,
1137 unsigned OffsetReg) const {
Tom Stellard880a80a2014-06-17 16:53:14 +00001138 return buildIndirectWrite(MBB, I, ValueReg, Address, OffsetReg, 0);
1139}
1140
1141MachineInstrBuilder R600InstrInfo::buildIndirectWrite(MachineBasicBlock *MBB,
1142 MachineBasicBlock::iterator I,
1143 unsigned ValueReg, unsigned Address,
1144 unsigned OffsetReg,
1145 unsigned AddrChan) const {
1146 unsigned AddrReg;
1147 switch (AddrChan) {
1148 default: llvm_unreachable("Invalid Channel");
1149 case 0: AddrReg = AMDGPU::R600_AddrRegClass.getRegister(Address); break;
1150 case 1: AddrReg = AMDGPU::R600_Addr_YRegClass.getRegister(Address); break;
1151 case 2: AddrReg = AMDGPU::R600_Addr_ZRegClass.getRegister(Address); break;
1152 case 3: AddrReg = AMDGPU::R600_Addr_WRegClass.getRegister(Address); break;
1153 }
Tom Stellardf3b2a1e2013-02-06 17:32:29 +00001154 MachineInstr *MOVA = buildDefaultInstruction(*MBB, I, AMDGPU::MOVA_INT_eg,
1155 AMDGPU::AR_X, OffsetReg);
Tom Stellard02661d92013-06-25 21:22:18 +00001156 setImmOperand(MOVA, AMDGPU::OpName::write, 0);
Tom Stellardf3b2a1e2013-02-06 17:32:29 +00001157
1158 MachineInstrBuilder Mov = buildDefaultInstruction(*MBB, I, AMDGPU::MOV,
1159 AddrReg, ValueReg)
Tom Stellardaad53762013-06-05 03:43:06 +00001160 .addReg(AMDGPU::AR_X,
1161 RegState::Implicit | RegState::Kill);
Tom Stellard02661d92013-06-25 21:22:18 +00001162 setImmOperand(Mov, AMDGPU::OpName::dst_rel, 1);
Tom Stellardf3b2a1e2013-02-06 17:32:29 +00001163 return Mov;
1164}
1165
1166MachineInstrBuilder R600InstrInfo::buildIndirectRead(MachineBasicBlock *MBB,
1167 MachineBasicBlock::iterator I,
1168 unsigned ValueReg, unsigned Address,
1169 unsigned OffsetReg) const {
Tom Stellard880a80a2014-06-17 16:53:14 +00001170 return buildIndirectRead(MBB, I, ValueReg, Address, OffsetReg, 0);
1171}
1172
1173MachineInstrBuilder R600InstrInfo::buildIndirectRead(MachineBasicBlock *MBB,
1174 MachineBasicBlock::iterator I,
1175 unsigned ValueReg, unsigned Address,
1176 unsigned OffsetReg,
1177 unsigned AddrChan) const {
1178 unsigned AddrReg;
1179 switch (AddrChan) {
1180 default: llvm_unreachable("Invalid Channel");
1181 case 0: AddrReg = AMDGPU::R600_AddrRegClass.getRegister(Address); break;
1182 case 1: AddrReg = AMDGPU::R600_Addr_YRegClass.getRegister(Address); break;
1183 case 2: AddrReg = AMDGPU::R600_Addr_ZRegClass.getRegister(Address); break;
1184 case 3: AddrReg = AMDGPU::R600_Addr_WRegClass.getRegister(Address); break;
1185 }
Tom Stellardf3b2a1e2013-02-06 17:32:29 +00001186 MachineInstr *MOVA = buildDefaultInstruction(*MBB, I, AMDGPU::MOVA_INT_eg,
1187 AMDGPU::AR_X,
1188 OffsetReg);
Tom Stellard02661d92013-06-25 21:22:18 +00001189 setImmOperand(MOVA, AMDGPU::OpName::write, 0);
Tom Stellardf3b2a1e2013-02-06 17:32:29 +00001190 MachineInstrBuilder Mov = buildDefaultInstruction(*MBB, I, AMDGPU::MOV,
1191 ValueReg,
1192 AddrReg)
Tom Stellardaad53762013-06-05 03:43:06 +00001193 .addReg(AMDGPU::AR_X,
1194 RegState::Implicit | RegState::Kill);
Tom Stellard02661d92013-06-25 21:22:18 +00001195 setImmOperand(Mov, AMDGPU::OpName::src0_rel, 1);
Tom Stellardf3b2a1e2013-02-06 17:32:29 +00001196
1197 return Mov;
1198}
1199
Vincent Lejeune80031d9f2013-04-03 16:49:34 +00001200unsigned R600InstrInfo::getMaxAlusPerClause() const {
1201 return 115;
1202}
Tom Stellardf3b2a1e2013-02-06 17:32:29 +00001203
Tom Stellard75aadc22012-12-11 21:25:42 +00001204MachineInstrBuilder R600InstrInfo::buildDefaultInstruction(MachineBasicBlock &MBB,
1205 MachineBasicBlock::iterator I,
1206 unsigned Opcode,
1207 unsigned DstReg,
1208 unsigned Src0Reg,
1209 unsigned Src1Reg) const {
1210 MachineInstrBuilder MIB = BuildMI(MBB, I, MBB.findDebugLoc(I), get(Opcode),
1211 DstReg); // $dst
1212
1213 if (Src1Reg) {
1214 MIB.addImm(0) // $update_exec_mask
1215 .addImm(0); // $update_predicate
1216 }
1217 MIB.addImm(1) // $write
1218 .addImm(0) // $omod
1219 .addImm(0) // $dst_rel
1220 .addImm(0) // $dst_clamp
1221 .addReg(Src0Reg) // $src0
1222 .addImm(0) // $src0_neg
1223 .addImm(0) // $src0_rel
Tom Stellard365366f2013-01-23 02:09:06 +00001224 .addImm(0) // $src0_abs
1225 .addImm(-1); // $src0_sel
Tom Stellard75aadc22012-12-11 21:25:42 +00001226
1227 if (Src1Reg) {
1228 MIB.addReg(Src1Reg) // $src1
1229 .addImm(0) // $src1_neg
1230 .addImm(0) // $src1_rel
Tom Stellard365366f2013-01-23 02:09:06 +00001231 .addImm(0) // $src1_abs
1232 .addImm(-1); // $src1_sel
Tom Stellard75aadc22012-12-11 21:25:42 +00001233 }
1234
1235 //XXX: The r600g finalizer expects this to be 1, once we've moved the
1236 //scheduling to the backend, we can change the default to 0.
1237 MIB.addImm(1) // $last
1238 .addReg(AMDGPU::PRED_SEL_OFF) // $pred_sel
Vincent Lejeune22c42482013-04-30 00:14:08 +00001239 .addImm(0) // $literal
1240 .addImm(0); // $bank_swizzle
Tom Stellard75aadc22012-12-11 21:25:42 +00001241
1242 return MIB;
1243}
1244
Vincent Lejeune519f21e2013-05-17 16:50:32 +00001245#define OPERAND_CASE(Label) \
1246 case Label: { \
Tom Stellard02661d92013-06-25 21:22:18 +00001247 static const unsigned Ops[] = \
Vincent Lejeune519f21e2013-05-17 16:50:32 +00001248 { \
1249 Label##_X, \
1250 Label##_Y, \
1251 Label##_Z, \
1252 Label##_W \
1253 }; \
1254 return Ops[Slot]; \
1255 }
1256
Tom Stellard02661d92013-06-25 21:22:18 +00001257static unsigned getSlotedOps(unsigned Op, unsigned Slot) {
Vincent Lejeune519f21e2013-05-17 16:50:32 +00001258 switch (Op) {
Tom Stellard02661d92013-06-25 21:22:18 +00001259 OPERAND_CASE(AMDGPU::OpName::update_exec_mask)
1260 OPERAND_CASE(AMDGPU::OpName::update_pred)
1261 OPERAND_CASE(AMDGPU::OpName::write)
1262 OPERAND_CASE(AMDGPU::OpName::omod)
1263 OPERAND_CASE(AMDGPU::OpName::dst_rel)
1264 OPERAND_CASE(AMDGPU::OpName::clamp)
1265 OPERAND_CASE(AMDGPU::OpName::src0)
1266 OPERAND_CASE(AMDGPU::OpName::src0_neg)
1267 OPERAND_CASE(AMDGPU::OpName::src0_rel)
1268 OPERAND_CASE(AMDGPU::OpName::src0_abs)
1269 OPERAND_CASE(AMDGPU::OpName::src0_sel)
1270 OPERAND_CASE(AMDGPU::OpName::src1)
1271 OPERAND_CASE(AMDGPU::OpName::src1_neg)
1272 OPERAND_CASE(AMDGPU::OpName::src1_rel)
1273 OPERAND_CASE(AMDGPU::OpName::src1_abs)
1274 OPERAND_CASE(AMDGPU::OpName::src1_sel)
1275 OPERAND_CASE(AMDGPU::OpName::pred_sel)
Vincent Lejeune519f21e2013-05-17 16:50:32 +00001276 default:
1277 llvm_unreachable("Wrong Operand");
1278 }
1279}
1280
1281#undef OPERAND_CASE
1282
Vincent Lejeune519f21e2013-05-17 16:50:32 +00001283MachineInstr *R600InstrInfo::buildSlotOfVectorInstruction(
1284 MachineBasicBlock &MBB, MachineInstr *MI, unsigned Slot, unsigned DstReg)
1285 const {
1286 assert (MI->getOpcode() == AMDGPU::DOT_4 && "Not Implemented");
1287 unsigned Opcode;
Matt Arsenault43e92fe2016-06-24 06:30:11 +00001288 if (ST.getGeneration() <= R600Subtarget::R700)
Vincent Lejeune519f21e2013-05-17 16:50:32 +00001289 Opcode = AMDGPU::DOT4_r600;
1290 else
1291 Opcode = AMDGPU::DOT4_eg;
1292 MachineBasicBlock::iterator I = MI;
1293 MachineOperand &Src0 = MI->getOperand(
Tom Stellard02661d92013-06-25 21:22:18 +00001294 getOperandIdx(MI->getOpcode(), getSlotedOps(AMDGPU::OpName::src0, Slot)));
Vincent Lejeune519f21e2013-05-17 16:50:32 +00001295 MachineOperand &Src1 = MI->getOperand(
Tom Stellard02661d92013-06-25 21:22:18 +00001296 getOperandIdx(MI->getOpcode(), getSlotedOps(AMDGPU::OpName::src1, Slot)));
Vincent Lejeune519f21e2013-05-17 16:50:32 +00001297 MachineInstr *MIB = buildDefaultInstruction(
1298 MBB, I, Opcode, DstReg, Src0.getReg(), Src1.getReg());
Tom Stellard02661d92013-06-25 21:22:18 +00001299 static const unsigned Operands[14] = {
1300 AMDGPU::OpName::update_exec_mask,
1301 AMDGPU::OpName::update_pred,
1302 AMDGPU::OpName::write,
1303 AMDGPU::OpName::omod,
1304 AMDGPU::OpName::dst_rel,
1305 AMDGPU::OpName::clamp,
1306 AMDGPU::OpName::src0_neg,
1307 AMDGPU::OpName::src0_rel,
1308 AMDGPU::OpName::src0_abs,
1309 AMDGPU::OpName::src0_sel,
1310 AMDGPU::OpName::src1_neg,
1311 AMDGPU::OpName::src1_rel,
1312 AMDGPU::OpName::src1_abs,
1313 AMDGPU::OpName::src1_sel,
Vincent Lejeune519f21e2013-05-17 16:50:32 +00001314 };
1315
Vincent Lejeune745d4292013-11-16 16:24:41 +00001316 MachineOperand &MO = MI->getOperand(getOperandIdx(MI->getOpcode(),
1317 getSlotedOps(AMDGPU::OpName::pred_sel, Slot)));
1318 MIB->getOperand(getOperandIdx(Opcode, AMDGPU::OpName::pred_sel))
1319 .setReg(MO.getReg());
1320
Vincent Lejeune519f21e2013-05-17 16:50:32 +00001321 for (unsigned i = 0; i < 14; i++) {
1322 MachineOperand &MO = MI->getOperand(
Tom Stellard02661d92013-06-25 21:22:18 +00001323 getOperandIdx(MI->getOpcode(), getSlotedOps(Operands[i], Slot)));
Vincent Lejeune519f21e2013-05-17 16:50:32 +00001324 assert (MO.isImm());
1325 setImmOperand(MIB, Operands[i], MO.getImm());
1326 }
1327 MIB->getOperand(20).setImm(0);
1328 return MIB;
1329}
1330
Tom Stellard75aadc22012-12-11 21:25:42 +00001331MachineInstr *R600InstrInfo::buildMovImm(MachineBasicBlock &BB,
1332 MachineBasicBlock::iterator I,
1333 unsigned DstReg,
1334 uint64_t Imm) const {
1335 MachineInstr *MovImm = buildDefaultInstruction(BB, I, AMDGPU::MOV, DstReg,
1336 AMDGPU::ALU_LITERAL_X);
Tom Stellard02661d92013-06-25 21:22:18 +00001337 setImmOperand(MovImm, AMDGPU::OpName::literal, Imm);
Tom Stellard75aadc22012-12-11 21:25:42 +00001338 return MovImm;
1339}
1340
Tom Stellard26a3b672013-10-22 18:19:10 +00001341MachineInstr *R600InstrInfo::buildMovInstr(MachineBasicBlock *MBB,
1342 MachineBasicBlock::iterator I,
1343 unsigned DstReg, unsigned SrcReg) const {
1344 return buildDefaultInstruction(*MBB, I, AMDGPU::MOV, DstReg, SrcReg);
1345}
1346
Tom Stellard02661d92013-06-25 21:22:18 +00001347int R600InstrInfo::getOperandIdx(const MachineInstr &MI, unsigned Op) const {
Tom Stellard75aadc22012-12-11 21:25:42 +00001348 return getOperandIdx(MI.getOpcode(), Op);
1349}
1350
Tom Stellard02661d92013-06-25 21:22:18 +00001351int R600InstrInfo::getOperandIdx(unsigned Opcode, unsigned Op) const {
1352 return AMDGPU::getNamedOperandIdx(Opcode, Op);
Vincent Lejeunec6896792013-06-04 23:17:15 +00001353}
1354
Tom Stellard02661d92013-06-25 21:22:18 +00001355void R600InstrInfo::setImmOperand(MachineInstr *MI, unsigned Op,
Tom Stellard75aadc22012-12-11 21:25:42 +00001356 int64_t Imm) const {
1357 int Idx = getOperandIdx(*MI, Op);
1358 assert(Idx != -1 && "Operand not supported for this instruction.");
1359 assert(MI->getOperand(Idx).isImm());
1360 MI->getOperand(Idx).setImm(Imm);
1361}
1362
1363//===----------------------------------------------------------------------===//
1364// Instruction flag getters/setters
1365//===----------------------------------------------------------------------===//
1366
1367bool R600InstrInfo::hasFlagOperand(const MachineInstr &MI) const {
1368 return GET_FLAG_OPERAND_IDX(get(MI.getOpcode()).TSFlags) != 0;
1369}
1370
1371MachineOperand &R600InstrInfo::getFlagOp(MachineInstr *MI, unsigned SrcIdx,
1372 unsigned Flag) const {
1373 unsigned TargetFlags = get(MI->getOpcode()).TSFlags;
1374 int FlagIndex = 0;
1375 if (Flag != 0) {
1376 // If we pass something other than the default value of Flag to this
1377 // function, it means we are want to set a flag on an instruction
1378 // that uses native encoding.
1379 assert(HAS_NATIVE_OPERANDS(TargetFlags));
1380 bool IsOP3 = (TargetFlags & R600_InstFlag::OP3) == R600_InstFlag::OP3;
1381 switch (Flag) {
1382 case MO_FLAG_CLAMP:
Tom Stellard02661d92013-06-25 21:22:18 +00001383 FlagIndex = getOperandIdx(*MI, AMDGPU::OpName::clamp);
Tom Stellard75aadc22012-12-11 21:25:42 +00001384 break;
1385 case MO_FLAG_MASK:
Tom Stellard02661d92013-06-25 21:22:18 +00001386 FlagIndex = getOperandIdx(*MI, AMDGPU::OpName::write);
Tom Stellard75aadc22012-12-11 21:25:42 +00001387 break;
1388 case MO_FLAG_NOT_LAST:
1389 case MO_FLAG_LAST:
Tom Stellard02661d92013-06-25 21:22:18 +00001390 FlagIndex = getOperandIdx(*MI, AMDGPU::OpName::last);
Tom Stellard75aadc22012-12-11 21:25:42 +00001391 break;
1392 case MO_FLAG_NEG:
1393 switch (SrcIdx) {
Tom Stellard02661d92013-06-25 21:22:18 +00001394 case 0: FlagIndex = getOperandIdx(*MI, AMDGPU::OpName::src0_neg); break;
1395 case 1: FlagIndex = getOperandIdx(*MI, AMDGPU::OpName::src1_neg); break;
1396 case 2: FlagIndex = getOperandIdx(*MI, AMDGPU::OpName::src2_neg); break;
Tom Stellard75aadc22012-12-11 21:25:42 +00001397 }
1398 break;
1399
1400 case MO_FLAG_ABS:
1401 assert(!IsOP3 && "Cannot set absolute value modifier for OP3 "
1402 "instructions.");
Tom Stellard6975d352012-12-13 19:38:52 +00001403 (void)IsOP3;
Tom Stellard75aadc22012-12-11 21:25:42 +00001404 switch (SrcIdx) {
Tom Stellard02661d92013-06-25 21:22:18 +00001405 case 0: FlagIndex = getOperandIdx(*MI, AMDGPU::OpName::src0_abs); break;
1406 case 1: FlagIndex = getOperandIdx(*MI, AMDGPU::OpName::src1_abs); break;
Tom Stellard75aadc22012-12-11 21:25:42 +00001407 }
1408 break;
1409
1410 default:
1411 FlagIndex = -1;
1412 break;
1413 }
1414 assert(FlagIndex != -1 && "Flag not supported for this instruction");
1415 } else {
1416 FlagIndex = GET_FLAG_OPERAND_IDX(TargetFlags);
1417 assert(FlagIndex != 0 &&
1418 "Instruction flags not supported for this instruction");
1419 }
1420
1421 MachineOperand &FlagOp = MI->getOperand(FlagIndex);
1422 assert(FlagOp.isImm());
1423 return FlagOp;
1424}
1425
1426void R600InstrInfo::addFlag(MachineInstr *MI, unsigned Operand,
1427 unsigned Flag) const {
1428 unsigned TargetFlags = get(MI->getOpcode()).TSFlags;
1429 if (Flag == 0) {
1430 return;
1431 }
1432 if (HAS_NATIVE_OPERANDS(TargetFlags)) {
1433 MachineOperand &FlagOp = getFlagOp(MI, Operand, Flag);
1434 if (Flag == MO_FLAG_NOT_LAST) {
1435 clearFlag(MI, Operand, MO_FLAG_LAST);
1436 } else if (Flag == MO_FLAG_MASK) {
1437 clearFlag(MI, Operand, Flag);
1438 } else {
1439 FlagOp.setImm(1);
1440 }
1441 } else {
1442 MachineOperand &FlagOp = getFlagOp(MI, Operand);
1443 FlagOp.setImm(FlagOp.getImm() | (Flag << (NUM_MO_FLAGS * Operand)));
1444 }
1445}
1446
1447void R600InstrInfo::clearFlag(MachineInstr *MI, unsigned Operand,
1448 unsigned Flag) const {
1449 unsigned TargetFlags = get(MI->getOpcode()).TSFlags;
1450 if (HAS_NATIVE_OPERANDS(TargetFlags)) {
1451 MachineOperand &FlagOp = getFlagOp(MI, Operand, Flag);
1452 FlagOp.setImm(0);
1453 } else {
1454 MachineOperand &FlagOp = getFlagOp(MI);
1455 unsigned InstFlags = FlagOp.getImm();
1456 InstFlags &= ~(Flag << (NUM_MO_FLAGS * Operand));
1457 FlagOp.setImm(InstFlags);
1458 }
1459}
Tom Stellard2ff72622016-01-28 16:04:37 +00001460
1461bool R600InstrInfo::isRegisterStore(const MachineInstr &MI) const {
1462 return get(MI.getOpcode()).TSFlags & AMDGPU_FLAG_REGISTER_STORE;
1463}
1464
1465bool R600InstrInfo::isRegisterLoad(const MachineInstr &MI) const {
1466 return get(MI.getOpcode()).TSFlags & AMDGPU_FLAG_REGISTER_LOAD;
1467}