blob: 7db6edc5575d6d6a697c6a7761fd68c37eed07a8 [file] [log] [blame]
Tom Stellardca166212017-01-30 21:56:46 +00001//===- AMDGPUInstructionSelector.cpp ----------------------------*- C++ -*-==//
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/// \file
10/// This file implements the targeting of the InstructionSelector class for
11/// AMDGPU.
12/// \todo This should be generated by TableGen.
13//===----------------------------------------------------------------------===//
14
15#include "AMDGPUInstructionSelector.h"
16#include "AMDGPUInstrInfo.h"
17#include "AMDGPURegisterBankInfo.h"
18#include "AMDGPURegisterInfo.h"
19#include "AMDGPUSubtarget.h"
Tom Stellard1dc90202018-05-10 20:53:06 +000020#include "AMDGPUTargetMachine.h"
Matt Arsenaultb1cc4f52018-06-25 16:17:48 +000021#include "SIMachineFunctionInfo.h"
Tom Stellard44b30b42018-05-22 02:03:23 +000022#include "MCTargetDesc/AMDGPUMCTargetDesc.h"
Tom Stellard1dc90202018-05-10 20:53:06 +000023#include "llvm/CodeGen/GlobalISel/InstructionSelector.h"
24#include "llvm/CodeGen/GlobalISel/InstructionSelectorImpl.h"
Aditya Nandakumar18b3f9d2018-01-17 19:31:33 +000025#include "llvm/CodeGen/GlobalISel/Utils.h"
Tom Stellardca166212017-01-30 21:56:46 +000026#include "llvm/CodeGen/MachineBasicBlock.h"
27#include "llvm/CodeGen/MachineFunction.h"
28#include "llvm/CodeGen/MachineInstr.h"
29#include "llvm/CodeGen/MachineInstrBuilder.h"
30#include "llvm/CodeGen/MachineRegisterInfo.h"
31#include "llvm/IR/Type.h"
32#include "llvm/Support/Debug.h"
33#include "llvm/Support/raw_ostream.h"
34
35#define DEBUG_TYPE "amdgpu-isel"
36
37using namespace llvm;
38
Tom Stellard1dc90202018-05-10 20:53:06 +000039#define GET_GLOBALISEL_IMPL
Tom Stellard5bfbae52018-07-11 20:59:01 +000040#define AMDGPUSubtarget GCNSubtarget
Tom Stellard1dc90202018-05-10 20:53:06 +000041#include "AMDGPUGenGlobalISel.inc"
42#undef GET_GLOBALISEL_IMPL
Tom Stellard5bfbae52018-07-11 20:59:01 +000043#undef AMDGPUSubtarget
Tom Stellard1dc90202018-05-10 20:53:06 +000044
Tom Stellardca166212017-01-30 21:56:46 +000045AMDGPUInstructionSelector::AMDGPUInstructionSelector(
Tom Stellard5bfbae52018-07-11 20:59:01 +000046 const GCNSubtarget &STI, const AMDGPURegisterBankInfo &RBI,
Tom Stellard1dc90202018-05-10 20:53:06 +000047 const AMDGPUTargetMachine &TM)
Tom Stellardca166212017-01-30 21:56:46 +000048 : InstructionSelector(), TII(*STI.getInstrInfo()),
Tom Stellard1dc90202018-05-10 20:53:06 +000049 TRI(*STI.getRegisterInfo()), RBI(RBI), TM(TM),
50 STI(STI),
51 EnableLateStructurizeCFG(AMDGPUTargetMachine::EnableLateStructurizeCFG),
52#define GET_GLOBALISEL_PREDICATES_INIT
53#include "AMDGPUGenGlobalISel.inc"
54#undef GET_GLOBALISEL_PREDICATES_INIT
55#define GET_GLOBALISEL_TEMPORARIES_INIT
56#include "AMDGPUGenGlobalISel.inc"
57#undef GET_GLOBALISEL_TEMPORARIES_INIT
58 ,AMDGPUASI(STI.getAMDGPUAS())
59{
60}
61
62const char *AMDGPUInstructionSelector::getName() { return DEBUG_TYPE; }
Tom Stellardca166212017-01-30 21:56:46 +000063
Tom Stellard1e0edad2018-05-10 21:20:10 +000064bool AMDGPUInstructionSelector::selectCOPY(MachineInstr &I) const {
65 MachineBasicBlock *BB = I.getParent();
66 MachineFunction *MF = BB->getParent();
67 MachineRegisterInfo &MRI = MF->getRegInfo();
68 I.setDesc(TII.get(TargetOpcode::COPY));
69 for (const MachineOperand &MO : I.operands()) {
70 if (TargetRegisterInfo::isPhysicalRegister(MO.getReg()))
71 continue;
72
73 const TargetRegisterClass *RC =
74 TRI.getConstrainedRegClassForOperand(MO, MRI);
75 if (!RC)
76 continue;
77 RBI.constrainGenericRegister(MO.getReg(), *RC, MRI);
78 }
79 return true;
80}
81
Tom Stellardca166212017-01-30 21:56:46 +000082MachineOperand
83AMDGPUInstructionSelector::getSubOperand64(MachineOperand &MO,
84 unsigned SubIdx) const {
85
86 MachineInstr *MI = MO.getParent();
87 MachineBasicBlock *BB = MO.getParent()->getParent();
88 MachineFunction *MF = BB->getParent();
89 MachineRegisterInfo &MRI = MF->getRegInfo();
90 unsigned DstReg = MRI.createVirtualRegister(&AMDGPU::SGPR_32RegClass);
91
92 if (MO.isReg()) {
93 unsigned ComposedSubIdx = TRI.composeSubRegIndices(MO.getSubReg(), SubIdx);
94 unsigned Reg = MO.getReg();
95 BuildMI(*BB, MI, MI->getDebugLoc(), TII.get(AMDGPU::COPY), DstReg)
96 .addReg(Reg, 0, ComposedSubIdx);
97
98 return MachineOperand::CreateReg(DstReg, MO.isDef(), MO.isImplicit(),
99 MO.isKill(), MO.isDead(), MO.isUndef(),
100 MO.isEarlyClobber(), 0, MO.isDebug(),
101 MO.isInternalRead());
102 }
103
104 assert(MO.isImm());
105
106 APInt Imm(64, MO.getImm());
107
108 switch (SubIdx) {
109 default:
110 llvm_unreachable("do not know to split immediate with this sub index.");
111 case AMDGPU::sub0:
112 return MachineOperand::CreateImm(Imm.getLoBits(32).getSExtValue());
113 case AMDGPU::sub1:
114 return MachineOperand::CreateImm(Imm.getHiBits(32).getSExtValue());
115 }
116}
117
Tom Stellard390a5f42018-07-13 21:05:14 +0000118static int64_t getConstant(const MachineInstr *MI) {
119 return MI->getOperand(1).getCImm()->getSExtValue();
120}
121
Tom Stellardca166212017-01-30 21:56:46 +0000122bool AMDGPUInstructionSelector::selectG_ADD(MachineInstr &I) const {
123 MachineBasicBlock *BB = I.getParent();
124 MachineFunction *MF = BB->getParent();
125 MachineRegisterInfo &MRI = MF->getRegInfo();
126 unsigned Size = RBI.getSizeInBits(I.getOperand(0).getReg(), MRI, TRI);
127 unsigned DstLo = MRI.createVirtualRegister(&AMDGPU::SReg_32RegClass);
128 unsigned DstHi = MRI.createVirtualRegister(&AMDGPU::SReg_32RegClass);
129
130 if (Size != 64)
131 return false;
132
133 DebugLoc DL = I.getDebugLoc();
134
Tom Stellard124f5cc2017-01-31 15:24:11 +0000135 MachineOperand Lo1(getSubOperand64(I.getOperand(1), AMDGPU::sub0));
136 MachineOperand Lo2(getSubOperand64(I.getOperand(2), AMDGPU::sub0));
137
Tom Stellardca166212017-01-30 21:56:46 +0000138 BuildMI(*BB, &I, DL, TII.get(AMDGPU::S_ADD_U32), DstLo)
Tom Stellard124f5cc2017-01-31 15:24:11 +0000139 .add(Lo1)
140 .add(Lo2);
141
142 MachineOperand Hi1(getSubOperand64(I.getOperand(1), AMDGPU::sub1));
143 MachineOperand Hi2(getSubOperand64(I.getOperand(2), AMDGPU::sub1));
Tom Stellardca166212017-01-30 21:56:46 +0000144
145 BuildMI(*BB, &I, DL, TII.get(AMDGPU::S_ADDC_U32), DstHi)
Tom Stellard124f5cc2017-01-31 15:24:11 +0000146 .add(Hi1)
147 .add(Hi2);
Tom Stellardca166212017-01-30 21:56:46 +0000148
149 BuildMI(*BB, &I, DL, TII.get(AMDGPU::REG_SEQUENCE), I.getOperand(0).getReg())
150 .addReg(DstLo)
151 .addImm(AMDGPU::sub0)
152 .addReg(DstHi)
153 .addImm(AMDGPU::sub1);
154
155 for (MachineOperand &MO : I.explicit_operands()) {
156 if (!MO.isReg() || TargetRegisterInfo::isPhysicalRegister(MO.getReg()))
157 continue;
158 RBI.constrainGenericRegister(MO.getReg(), AMDGPU::SReg_64RegClass, MRI);
159 }
160
161 I.eraseFromParent();
162 return true;
163}
164
165bool AMDGPUInstructionSelector::selectG_GEP(MachineInstr &I) const {
166 return selectG_ADD(I);
167}
168
Tom Stellard3f1c6fe2018-06-21 23:38:20 +0000169bool AMDGPUInstructionSelector::selectG_IMPLICIT_DEF(MachineInstr &I) const {
170 MachineBasicBlock *BB = I.getParent();
171 MachineFunction *MF = BB->getParent();
172 MachineRegisterInfo &MRI = MF->getRegInfo();
173 const MachineOperand &MO = I.getOperand(0);
174 const TargetRegisterClass *RC =
175 TRI.getConstrainedRegClassForOperand(MO, MRI);
176 if (RC)
177 RBI.constrainGenericRegister(MO.getReg(), *RC, MRI);
178 I.setDesc(TII.get(TargetOpcode::IMPLICIT_DEF));
179 return true;
180}
181
Tom Stellarda9284732018-06-14 19:26:37 +0000182bool AMDGPUInstructionSelector::selectG_INTRINSIC(MachineInstr &I,
183 CodeGenCoverage &CoverageInfo) const {
184 unsigned IntrinsicID = I.getOperand(1).getIntrinsicID();
185
186 switch (IntrinsicID) {
187 default:
188 break;
189 case Intrinsic::amdgcn_cvt_pkrtz:
190 return selectImpl(I, CoverageInfo);
Matt Arsenaultb1cc4f52018-06-25 16:17:48 +0000191
192 case Intrinsic::amdgcn_kernarg_segment_ptr: {
193 MachineFunction *MF = I.getParent()->getParent();
194 MachineRegisterInfo &MRI = MF->getRegInfo();
195 const SIMachineFunctionInfo *MFI = MF->getInfo<SIMachineFunctionInfo>();
196 const ArgDescriptor *InputPtrReg;
197 const TargetRegisterClass *RC;
198 const DebugLoc &DL = I.getDebugLoc();
199
200 std::tie(InputPtrReg, RC)
201 = MFI->getPreloadedValue(AMDGPUFunctionArgInfo::KERNARG_SEGMENT_PTR);
202 if (!InputPtrReg)
203 report_fatal_error("missing kernarg segment ptr");
204
205 BuildMI(*I.getParent(), &I, DL, TII.get(AMDGPU::COPY))
206 .add(I.getOperand(0))
207 .addReg(MRI.getLiveInVirtReg(InputPtrReg->getRegister()));
208 I.eraseFromParent();
209 return true;
210 }
Tom Stellarda9284732018-06-14 19:26:37 +0000211 }
212 return false;
213}
214
Tom Stellard390a5f42018-07-13 21:05:14 +0000215static MachineInstr *
216buildEXP(const TargetInstrInfo &TII, MachineInstr *Insert, unsigned Tgt,
217 unsigned Reg0, unsigned Reg1, unsigned Reg2, unsigned Reg3,
218 unsigned VM, bool Compr, unsigned Enabled, bool Done) {
219 const DebugLoc &DL = Insert->getDebugLoc();
220 MachineBasicBlock &BB = *Insert->getParent();
221 unsigned Opcode = Done ? AMDGPU::EXP_DONE : AMDGPU::EXP;
222 return BuildMI(BB, Insert, DL, TII.get(Opcode))
223 .addImm(Tgt)
224 .addReg(Reg0)
225 .addReg(Reg1)
226 .addReg(Reg2)
227 .addReg(Reg3)
228 .addImm(VM)
229 .addImm(Compr)
230 .addImm(Enabled);
231}
232
233bool AMDGPUInstructionSelector::selectG_INTRINSIC_W_SIDE_EFFECTS(
234 MachineInstr &I,
235 CodeGenCoverage &CoverageInfo) const {
236 MachineBasicBlock *BB = I.getParent();
237 MachineFunction *MF = BB->getParent();
238 MachineRegisterInfo &MRI = MF->getRegInfo();
239
240 unsigned IntrinsicID = I.getOperand(0).getIntrinsicID();
241 switch (IntrinsicID) {
242 case Intrinsic::amdgcn_exp: {
243 int64_t Tgt = getConstant(MRI.getVRegDef(I.getOperand(1).getReg()));
244 int64_t Enabled = getConstant(MRI.getVRegDef(I.getOperand(2).getReg()));
245 int64_t Done = getConstant(MRI.getVRegDef(I.getOperand(7).getReg()));
246 int64_t VM = getConstant(MRI.getVRegDef(I.getOperand(8).getReg()));
247
248 MachineInstr *Exp = buildEXP(TII, &I, Tgt, I.getOperand(3).getReg(),
249 I.getOperand(4).getReg(),
250 I.getOperand(5).getReg(),
251 I.getOperand(6).getReg(),
252 VM, false, Enabled, Done);
253
254 I.eraseFromParent();
255 return constrainSelectedInstRegOperands(*Exp, TII, TRI, RBI);
256 }
257 case Intrinsic::amdgcn_exp_compr: {
258 const DebugLoc &DL = I.getDebugLoc();
259 int64_t Tgt = getConstant(MRI.getVRegDef(I.getOperand(1).getReg()));
260 int64_t Enabled = getConstant(MRI.getVRegDef(I.getOperand(2).getReg()));
261 unsigned Reg0 = I.getOperand(3).getReg();
262 unsigned Reg1 = I.getOperand(4).getReg();
263 unsigned Undef = MRI.createVirtualRegister(&AMDGPU::VGPR_32RegClass);
264 int64_t Done = getConstant(MRI.getVRegDef(I.getOperand(5).getReg()));
265 int64_t VM = getConstant(MRI.getVRegDef(I.getOperand(6).getReg()));
266
267 BuildMI(*BB, &I, DL, TII.get(AMDGPU::IMPLICIT_DEF), Undef);
268 MachineInstr *Exp = buildEXP(TII, &I, Tgt, Reg0, Reg1, Undef, Undef, VM,
269 true, Enabled, Done);
270
271 I.eraseFromParent();
272 return constrainSelectedInstRegOperands(*Exp, TII, TRI, RBI);
273 }
274 }
275 return false;
276}
277
Tom Stellardca166212017-01-30 21:56:46 +0000278bool AMDGPUInstructionSelector::selectG_STORE(MachineInstr &I) const {
279 MachineBasicBlock *BB = I.getParent();
Tom Stellard655fdd32018-05-11 23:12:49 +0000280 MachineFunction *MF = BB->getParent();
281 MachineRegisterInfo &MRI = MF->getRegInfo();
Tom Stellardca166212017-01-30 21:56:46 +0000282 DebugLoc DL = I.getDebugLoc();
Tom Stellard655fdd32018-05-11 23:12:49 +0000283 unsigned StoreSize = RBI.getSizeInBits(I.getOperand(0).getReg(), MRI, TRI);
284 unsigned Opcode;
Tom Stellardca166212017-01-30 21:56:46 +0000285
286 // FIXME: Select store instruction based on address space
Tom Stellard655fdd32018-05-11 23:12:49 +0000287 switch (StoreSize) {
288 default:
289 return false;
290 case 32:
291 Opcode = AMDGPU::FLAT_STORE_DWORD;
292 break;
293 case 64:
294 Opcode = AMDGPU::FLAT_STORE_DWORDX2;
295 break;
296 case 96:
297 Opcode = AMDGPU::FLAT_STORE_DWORDX3;
298 break;
299 case 128:
300 Opcode = AMDGPU::FLAT_STORE_DWORDX4;
301 break;
302 }
303
304 MachineInstr *Flat = BuildMI(*BB, &I, DL, TII.get(Opcode))
Tom Stellardca166212017-01-30 21:56:46 +0000305 .add(I.getOperand(1))
306 .add(I.getOperand(0))
Matt Arsenaultfd023142017-06-12 15:55:58 +0000307 .addImm(0) // offset
308 .addImm(0) // glc
309 .addImm(0); // slc
Tom Stellardca166212017-01-30 21:56:46 +0000310
Matt Arsenault47ccafe2017-05-11 17:38:33 +0000311
Tom Stellardca166212017-01-30 21:56:46 +0000312 // Now that we selected an opcode, we need to constrain the register
313 // operands to use appropriate classes.
314 bool Ret = constrainSelectedInstRegOperands(*Flat, TII, TRI, RBI);
315
316 I.eraseFromParent();
317 return Ret;
318}
319
320bool AMDGPUInstructionSelector::selectG_CONSTANT(MachineInstr &I) const {
321 MachineBasicBlock *BB = I.getParent();
322 MachineFunction *MF = BB->getParent();
323 MachineRegisterInfo &MRI = MF->getRegInfo();
Tom Stellarde182b282018-05-15 17:57:09 +0000324 MachineOperand &ImmOp = I.getOperand(1);
Tom Stellardca166212017-01-30 21:56:46 +0000325
Tom Stellarde182b282018-05-15 17:57:09 +0000326 // The AMDGPU backend only supports Imm operands and not CImm or FPImm.
327 if (ImmOp.isFPImm()) {
328 const APInt &Imm = ImmOp.getFPImm()->getValueAPF().bitcastToAPInt();
329 ImmOp.ChangeToImmediate(Imm.getZExtValue());
330 } else if (ImmOp.isCImm()) {
331 ImmOp.ChangeToImmediate(ImmOp.getCImm()->getZExtValue());
332 }
333
334 unsigned DstReg = I.getOperand(0).getReg();
335 unsigned Size;
336 bool IsSgpr;
337 const RegisterBank *RB = MRI.getRegBankOrNull(I.getOperand(0).getReg());
338 if (RB) {
339 IsSgpr = RB->getID() == AMDGPU::SGPRRegBankID;
340 Size = MRI.getType(DstReg).getSizeInBits();
341 } else {
342 const TargetRegisterClass *RC = TRI.getRegClassForReg(MRI, DstReg);
343 IsSgpr = TRI.isSGPRClass(RC);
Tom Stellarda91ce172018-05-21 17:49:31 +0000344 Size = TRI.getRegSizeInBits(*RC);
Tom Stellarde182b282018-05-15 17:57:09 +0000345 }
346
347 if (Size != 32 && Size != 64)
348 return false;
349
350 unsigned Opcode = IsSgpr ? AMDGPU::S_MOV_B32 : AMDGPU::V_MOV_B32_e32;
Tom Stellardca166212017-01-30 21:56:46 +0000351 if (Size == 32) {
Tom Stellarde182b282018-05-15 17:57:09 +0000352 I.setDesc(TII.get(Opcode));
353 I.addImplicitDefUseOperands(*MF);
Tom Stellardca166212017-01-30 21:56:46 +0000354 return constrainSelectedInstRegOperands(I, TII, TRI, RBI);
355 }
356
Tom Stellardca166212017-01-30 21:56:46 +0000357 DebugLoc DL = I.getDebugLoc();
Tom Stellarde182b282018-05-15 17:57:09 +0000358 const TargetRegisterClass *RC = IsSgpr ? &AMDGPU::SReg_32_XM0RegClass :
359 &AMDGPU::VGPR_32RegClass;
360 unsigned LoReg = MRI.createVirtualRegister(RC);
361 unsigned HiReg = MRI.createVirtualRegister(RC);
362 const APInt &Imm = APInt(Size, I.getOperand(1).getImm());
Tom Stellardca166212017-01-30 21:56:46 +0000363
Tom Stellarde182b282018-05-15 17:57:09 +0000364 BuildMI(*BB, &I, DL, TII.get(Opcode), LoReg)
Tom Stellardca166212017-01-30 21:56:46 +0000365 .addImm(Imm.trunc(32).getZExtValue());
366
Tom Stellarde182b282018-05-15 17:57:09 +0000367 BuildMI(*BB, &I, DL, TII.get(Opcode), HiReg)
Tom Stellardca166212017-01-30 21:56:46 +0000368 .addImm(Imm.ashr(32).getZExtValue());
369
Tom Stellarde182b282018-05-15 17:57:09 +0000370 const MachineInstr *RS =
371 BuildMI(*BB, &I, DL, TII.get(AMDGPU::REG_SEQUENCE), DstReg)
372 .addReg(LoReg)
373 .addImm(AMDGPU::sub0)
374 .addReg(HiReg)
375 .addImm(AMDGPU::sub1);
376
Tom Stellardca166212017-01-30 21:56:46 +0000377 // We can't call constrainSelectedInstRegOperands here, because it doesn't
378 // work for target independent opcodes
379 I.eraseFromParent();
Tom Stellarde182b282018-05-15 17:57:09 +0000380 const TargetRegisterClass *DstRC =
381 TRI.getConstrainedRegClassForOperand(RS->getOperand(0), MRI);
382 if (!DstRC)
383 return true;
384 return RBI.constrainGenericRegister(DstReg, *DstRC, MRI);
Tom Stellardca166212017-01-30 21:56:46 +0000385}
386
387static bool isConstant(const MachineInstr &MI) {
388 return MI.getOpcode() == TargetOpcode::G_CONSTANT;
389}
390
391void AMDGPUInstructionSelector::getAddrModeInfo(const MachineInstr &Load,
392 const MachineRegisterInfo &MRI, SmallVectorImpl<GEPInfo> &AddrInfo) const {
393
394 const MachineInstr *PtrMI = MRI.getUniqueVRegDef(Load.getOperand(1).getReg());
395
396 assert(PtrMI);
397
398 if (PtrMI->getOpcode() != TargetOpcode::G_GEP)
399 return;
400
401 GEPInfo GEPInfo(*PtrMI);
402
403 for (unsigned i = 1, e = 3; i < e; ++i) {
404 const MachineOperand &GEPOp = PtrMI->getOperand(i);
405 const MachineInstr *OpDef = MRI.getUniqueVRegDef(GEPOp.getReg());
406 assert(OpDef);
407 if (isConstant(*OpDef)) {
408 // FIXME: Is it possible to have multiple Imm parts? Maybe if we
409 // are lacking other optimizations.
410 assert(GEPInfo.Imm == 0);
411 GEPInfo.Imm = OpDef->getOperand(1).getCImm()->getSExtValue();
412 continue;
413 }
414 const RegisterBank *OpBank = RBI.getRegBank(GEPOp.getReg(), MRI, TRI);
415 if (OpBank->getID() == AMDGPU::SGPRRegBankID)
416 GEPInfo.SgprParts.push_back(GEPOp.getReg());
417 else
418 GEPInfo.VgprParts.push_back(GEPOp.getReg());
419 }
420
421 AddrInfo.push_back(GEPInfo);
422 getAddrModeInfo(*PtrMI, MRI, AddrInfo);
423}
424
425static bool isInstrUniform(const MachineInstr &MI) {
426 if (!MI.hasOneMemOperand())
427 return false;
428
429 const MachineMemOperand *MMO = *MI.memoperands_begin();
430 const Value *Ptr = MMO->getValue();
431
432 // UndefValue means this is a load of a kernel input. These are uniform.
433 // Sometimes LDS instructions have constant pointers.
434 // If Ptr is null, then that means this mem operand contains a
435 // PseudoSourceValue like GOT.
436 if (!Ptr || isa<UndefValue>(Ptr) || isa<Argument>(Ptr) ||
437 isa<Constant>(Ptr) || isa<GlobalValue>(Ptr))
438 return true;
439
Matt Arsenault923712b2018-02-09 16:57:57 +0000440 if (MMO->getAddrSpace() == AMDGPUAS::CONSTANT_ADDRESS_32BIT)
441 return true;
442
Tom Stellardca166212017-01-30 21:56:46 +0000443 const Instruction *I = dyn_cast<Instruction>(Ptr);
444 return I && I->getMetadata("amdgpu.uniform");
445}
446
447static unsigned getSmrdOpcode(unsigned BaseOpcode, unsigned LoadSize) {
448
449 if (LoadSize == 32)
450 return BaseOpcode;
451
452 switch (BaseOpcode) {
453 case AMDGPU::S_LOAD_DWORD_IMM:
454 switch (LoadSize) {
455 case 64:
456 return AMDGPU::S_LOAD_DWORDX2_IMM;
457 case 128:
458 return AMDGPU::S_LOAD_DWORDX4_IMM;
459 case 256:
460 return AMDGPU::S_LOAD_DWORDX8_IMM;
461 case 512:
462 return AMDGPU::S_LOAD_DWORDX16_IMM;
463 }
464 break;
465 case AMDGPU::S_LOAD_DWORD_IMM_ci:
466 switch (LoadSize) {
467 case 64:
468 return AMDGPU::S_LOAD_DWORDX2_IMM_ci;
469 case 128:
470 return AMDGPU::S_LOAD_DWORDX4_IMM_ci;
471 case 256:
472 return AMDGPU::S_LOAD_DWORDX8_IMM_ci;
473 case 512:
474 return AMDGPU::S_LOAD_DWORDX16_IMM_ci;
475 }
476 break;
477 case AMDGPU::S_LOAD_DWORD_SGPR:
478 switch (LoadSize) {
479 case 64:
480 return AMDGPU::S_LOAD_DWORDX2_SGPR;
481 case 128:
482 return AMDGPU::S_LOAD_DWORDX4_SGPR;
483 case 256:
484 return AMDGPU::S_LOAD_DWORDX8_SGPR;
485 case 512:
486 return AMDGPU::S_LOAD_DWORDX16_SGPR;
487 }
488 break;
489 }
490 llvm_unreachable("Invalid base smrd opcode or size");
491}
492
493bool AMDGPUInstructionSelector::hasVgprParts(ArrayRef<GEPInfo> AddrInfo) const {
494 for (const GEPInfo &GEPInfo : AddrInfo) {
495 if (!GEPInfo.VgprParts.empty())
496 return true;
497 }
498 return false;
499}
500
501bool AMDGPUInstructionSelector::selectSMRD(MachineInstr &I,
502 ArrayRef<GEPInfo> AddrInfo) const {
503
504 if (!I.hasOneMemOperand())
505 return false;
506
Matt Arsenault923712b2018-02-09 16:57:57 +0000507 if ((*I.memoperands_begin())->getAddrSpace() != AMDGPUASI.CONSTANT_ADDRESS &&
508 (*I.memoperands_begin())->getAddrSpace() != AMDGPUASI.CONSTANT_ADDRESS_32BIT)
Tom Stellardca166212017-01-30 21:56:46 +0000509 return false;
510
511 if (!isInstrUniform(I))
512 return false;
513
514 if (hasVgprParts(AddrInfo))
515 return false;
516
517 MachineBasicBlock *BB = I.getParent();
518 MachineFunction *MF = BB->getParent();
Tom Stellard5bfbae52018-07-11 20:59:01 +0000519 const GCNSubtarget &Subtarget = MF->getSubtarget<GCNSubtarget>();
Tom Stellardca166212017-01-30 21:56:46 +0000520 MachineRegisterInfo &MRI = MF->getRegInfo();
521 unsigned DstReg = I.getOperand(0).getReg();
522 const DebugLoc &DL = I.getDebugLoc();
523 unsigned Opcode;
524 unsigned LoadSize = RBI.getSizeInBits(DstReg, MRI, TRI);
525
526 if (!AddrInfo.empty() && AddrInfo[0].SgprParts.size() == 1) {
527
528 const GEPInfo &GEPInfo = AddrInfo[0];
529
530 unsigned PtrReg = GEPInfo.SgprParts[0];
531 int64_t EncodedImm = AMDGPU::getSMRDEncodedOffset(Subtarget, GEPInfo.Imm);
532 if (AMDGPU::isLegalSMRDImmOffset(Subtarget, GEPInfo.Imm)) {
533 Opcode = getSmrdOpcode(AMDGPU::S_LOAD_DWORD_IMM, LoadSize);
534
535 MachineInstr *SMRD = BuildMI(*BB, &I, DL, TII.get(Opcode), DstReg)
536 .addReg(PtrReg)
537 .addImm(EncodedImm)
538 .addImm(0); // glc
539 return constrainSelectedInstRegOperands(*SMRD, TII, TRI, RBI);
540 }
541
542 if (Subtarget.getGeneration() == AMDGPUSubtarget::SEA_ISLANDS &&
543 isUInt<32>(EncodedImm)) {
544 Opcode = getSmrdOpcode(AMDGPU::S_LOAD_DWORD_IMM_ci, LoadSize);
545 MachineInstr *SMRD = BuildMI(*BB, &I, DL, TII.get(Opcode), DstReg)
546 .addReg(PtrReg)
547 .addImm(EncodedImm)
548 .addImm(0); // glc
549 return constrainSelectedInstRegOperands(*SMRD, TII, TRI, RBI);
550 }
551
552 if (isUInt<32>(GEPInfo.Imm)) {
553 Opcode = getSmrdOpcode(AMDGPU::S_LOAD_DWORD_SGPR, LoadSize);
554 unsigned OffsetReg = MRI.createVirtualRegister(&AMDGPU::SReg_32RegClass);
555 BuildMI(*BB, &I, DL, TII.get(AMDGPU::S_MOV_B32), OffsetReg)
556 .addImm(GEPInfo.Imm);
557
558 MachineInstr *SMRD = BuildMI(*BB, &I, DL, TII.get(Opcode), DstReg)
559 .addReg(PtrReg)
560 .addReg(OffsetReg)
561 .addImm(0); // glc
562 return constrainSelectedInstRegOperands(*SMRD, TII, TRI, RBI);
563 }
564 }
565
566 unsigned PtrReg = I.getOperand(1).getReg();
567 Opcode = getSmrdOpcode(AMDGPU::S_LOAD_DWORD_IMM, LoadSize);
568 MachineInstr *SMRD = BuildMI(*BB, &I, DL, TII.get(Opcode), DstReg)
569 .addReg(PtrReg)
570 .addImm(0)
571 .addImm(0); // glc
572 return constrainSelectedInstRegOperands(*SMRD, TII, TRI, RBI);
573}
574
575
576bool AMDGPUInstructionSelector::selectG_LOAD(MachineInstr &I) const {
577 MachineBasicBlock *BB = I.getParent();
578 MachineFunction *MF = BB->getParent();
579 MachineRegisterInfo &MRI = MF->getRegInfo();
580 DebugLoc DL = I.getDebugLoc();
581 unsigned DstReg = I.getOperand(0).getReg();
582 unsigned PtrReg = I.getOperand(1).getReg();
583 unsigned LoadSize = RBI.getSizeInBits(DstReg, MRI, TRI);
584 unsigned Opcode;
585
586 SmallVector<GEPInfo, 4> AddrInfo;
587
588 getAddrModeInfo(I, MRI, AddrInfo);
589
590 if (selectSMRD(I, AddrInfo)) {
591 I.eraseFromParent();
592 return true;
593 }
594
595 switch (LoadSize) {
596 default:
597 llvm_unreachable("Load size not supported\n");
598 case 32:
599 Opcode = AMDGPU::FLAT_LOAD_DWORD;
600 break;
601 case 64:
602 Opcode = AMDGPU::FLAT_LOAD_DWORDX2;
603 break;
604 }
605
606 MachineInstr *Flat = BuildMI(*BB, &I, DL, TII.get(Opcode))
607 .add(I.getOperand(0))
608 .addReg(PtrReg)
Matt Arsenaultfd023142017-06-12 15:55:58 +0000609 .addImm(0) // offset
610 .addImm(0) // glc
611 .addImm(0); // slc
Tom Stellardca166212017-01-30 21:56:46 +0000612
613 bool Ret = constrainSelectedInstRegOperands(*Flat, TII, TRI, RBI);
614 I.eraseFromParent();
615 return Ret;
616}
617
Daniel Sandersf76f3152017-11-16 00:46:35 +0000618bool AMDGPUInstructionSelector::select(MachineInstr &I,
619 CodeGenCoverage &CoverageInfo) const {
Tom Stellardca166212017-01-30 21:56:46 +0000620
Tom Stellard7712ee82018-06-22 00:44:29 +0000621 if (!isPreISelGenericOpcode(I.getOpcode())) {
622 if (I.isCopy())
623 return selectCOPY(I);
Tom Stellardca166212017-01-30 21:56:46 +0000624 return true;
Tom Stellard7712ee82018-06-22 00:44:29 +0000625 }
Tom Stellardca166212017-01-30 21:56:46 +0000626
627 switch (I.getOpcode()) {
628 default:
Tom Stellard1dc90202018-05-10 20:53:06 +0000629 return selectImpl(I, CoverageInfo);
Tom Stellardca166212017-01-30 21:56:46 +0000630 case TargetOpcode::G_ADD:
631 return selectG_ADD(I);
Tom Stellard1e0edad2018-05-10 21:20:10 +0000632 case TargetOpcode::G_BITCAST:
633 return selectCOPY(I);
Tom Stellardca166212017-01-30 21:56:46 +0000634 case TargetOpcode::G_CONSTANT:
Tom Stellarde182b282018-05-15 17:57:09 +0000635 case TargetOpcode::G_FCONSTANT:
Tom Stellardca166212017-01-30 21:56:46 +0000636 return selectG_CONSTANT(I);
637 case TargetOpcode::G_GEP:
638 return selectG_GEP(I);
Tom Stellard3f1c6fe2018-06-21 23:38:20 +0000639 case TargetOpcode::G_IMPLICIT_DEF:
640 return selectG_IMPLICIT_DEF(I);
Tom Stellarda9284732018-06-14 19:26:37 +0000641 case TargetOpcode::G_INTRINSIC:
642 return selectG_INTRINSIC(I, CoverageInfo);
Tom Stellard390a5f42018-07-13 21:05:14 +0000643 case TargetOpcode::G_INTRINSIC_W_SIDE_EFFECTS:
644 return selectG_INTRINSIC_W_SIDE_EFFECTS(I, CoverageInfo);
Tom Stellardca166212017-01-30 21:56:46 +0000645 case TargetOpcode::G_LOAD:
646 return selectG_LOAD(I);
647 case TargetOpcode::G_STORE:
648 return selectG_STORE(I);
649 }
650 return false;
651}
Tom Stellard1dc90202018-05-10 20:53:06 +0000652
Tom Stellard26fac0f2018-06-22 02:54:57 +0000653InstructionSelector::ComplexRendererFns
654AMDGPUInstructionSelector::selectVCSRC(MachineOperand &Root) const {
655 return {{
656 [=](MachineInstrBuilder &MIB) { MIB.add(Root); }
657 }};
658
659}
660
Tom Stellard1dc90202018-05-10 20:53:06 +0000661///
662/// This will select either an SGPR or VGPR operand and will save us from
663/// having to write an extra tablegen pattern.
664InstructionSelector::ComplexRendererFns
665AMDGPUInstructionSelector::selectVSRC0(MachineOperand &Root) const {
666 return {{
667 [=](MachineInstrBuilder &MIB) { MIB.add(Root); }
668 }};
669}
Tom Stellarddcc95e92018-05-11 05:44:16 +0000670
671InstructionSelector::ComplexRendererFns
672AMDGPUInstructionSelector::selectVOP3Mods0(MachineOperand &Root) const {
673 return {{
674 [=](MachineInstrBuilder &MIB) { MIB.add(Root); },
675 [=](MachineInstrBuilder &MIB) { MIB.addImm(0); }, // src0_mods
676 [=](MachineInstrBuilder &MIB) { MIB.addImm(0); }, // clamp
677 [=](MachineInstrBuilder &MIB) { MIB.addImm(0); } // omod
678 }};
679}
Tom Stellard9a653572018-06-22 02:34:29 +0000680InstructionSelector::ComplexRendererFns
681AMDGPUInstructionSelector::selectVOP3OMods(MachineOperand &Root) const {
682 return {{
683 [=](MachineInstrBuilder &MIB) { MIB.add(Root); },
684 [=](MachineInstrBuilder &MIB) { MIB.addImm(0); }, // clamp
685 [=](MachineInstrBuilder &MIB) { MIB.addImm(0); } // omod
686 }};
687}
Tom Stellard46bbbc32018-06-13 22:30:47 +0000688
689InstructionSelector::ComplexRendererFns
690AMDGPUInstructionSelector::selectVOP3Mods(MachineOperand &Root) const {
691 return {{
692 [=](MachineInstrBuilder &MIB) { MIB.add(Root); },
693 [=](MachineInstrBuilder &MIB) { MIB.addImm(0); } // src_mods
694 }};
695}