blob: c99707ed697bee1541305ad6d5f89c44e46e03b1 [file] [log] [blame]
Tom Stellardca166212017-01-30 21:56:46 +00001//===- AMDGPUInstructionSelector.cpp ----------------------------*- C++ -*-==//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Tom Stellardca166212017-01-30 21:56:46 +00006//
7//===----------------------------------------------------------------------===//
8/// \file
9/// This file implements the targeting of the InstructionSelector class for
10/// AMDGPU.
11/// \todo This should be generated by TableGen.
12//===----------------------------------------------------------------------===//
13
14#include "AMDGPUInstructionSelector.h"
15#include "AMDGPUInstrInfo.h"
16#include "AMDGPURegisterBankInfo.h"
17#include "AMDGPURegisterInfo.h"
18#include "AMDGPUSubtarget.h"
Tom Stellard1dc90202018-05-10 20:53:06 +000019#include "AMDGPUTargetMachine.h"
Matt Arsenaultb1cc4f52018-06-25 16:17:48 +000020#include "SIMachineFunctionInfo.h"
Tom Stellard44b30b42018-05-22 02:03:23 +000021#include "MCTargetDesc/AMDGPUMCTargetDesc.h"
Tom Stellard1dc90202018-05-10 20:53:06 +000022#include "llvm/CodeGen/GlobalISel/InstructionSelector.h"
23#include "llvm/CodeGen/GlobalISel/InstructionSelectorImpl.h"
Aditya Nandakumar18b3f9d2018-01-17 19:31:33 +000024#include "llvm/CodeGen/GlobalISel/Utils.h"
Tom Stellardca166212017-01-30 21:56:46 +000025#include "llvm/CodeGen/MachineBasicBlock.h"
26#include "llvm/CodeGen/MachineFunction.h"
27#include "llvm/CodeGen/MachineInstr.h"
28#include "llvm/CodeGen/MachineInstrBuilder.h"
29#include "llvm/CodeGen/MachineRegisterInfo.h"
30#include "llvm/IR/Type.h"
31#include "llvm/Support/Debug.h"
32#include "llvm/Support/raw_ostream.h"
33
34#define DEBUG_TYPE "amdgpu-isel"
35
36using namespace llvm;
37
Tom Stellard1dc90202018-05-10 20:53:06 +000038#define GET_GLOBALISEL_IMPL
Tom Stellard5bfbae52018-07-11 20:59:01 +000039#define AMDGPUSubtarget GCNSubtarget
Tom Stellard1dc90202018-05-10 20:53:06 +000040#include "AMDGPUGenGlobalISel.inc"
41#undef GET_GLOBALISEL_IMPL
Tom Stellard5bfbae52018-07-11 20:59:01 +000042#undef AMDGPUSubtarget
Tom Stellard1dc90202018-05-10 20:53:06 +000043
Tom Stellardca166212017-01-30 21:56:46 +000044AMDGPUInstructionSelector::AMDGPUInstructionSelector(
Tom Stellard5bfbae52018-07-11 20:59:01 +000045 const GCNSubtarget &STI, const AMDGPURegisterBankInfo &RBI,
Tom Stellard1dc90202018-05-10 20:53:06 +000046 const AMDGPUTargetMachine &TM)
Tom Stellardca166212017-01-30 21:56:46 +000047 : InstructionSelector(), TII(*STI.getInstrInfo()),
Tom Stellard1dc90202018-05-10 20:53:06 +000048 TRI(*STI.getRegisterInfo()), RBI(RBI), TM(TM),
49 STI(STI),
50 EnableLateStructurizeCFG(AMDGPUTargetMachine::EnableLateStructurizeCFG),
51#define GET_GLOBALISEL_PREDICATES_INIT
52#include "AMDGPUGenGlobalISel.inc"
53#undef GET_GLOBALISEL_PREDICATES_INIT
54#define GET_GLOBALISEL_TEMPORARIES_INIT
55#include "AMDGPUGenGlobalISel.inc"
56#undef GET_GLOBALISEL_TEMPORARIES_INIT
Tom Stellard1dc90202018-05-10 20:53:06 +000057{
58}
59
60const char *AMDGPUInstructionSelector::getName() { return DEBUG_TYPE; }
Tom Stellardca166212017-01-30 21:56:46 +000061
Matt Arsenault2ab25f92019-07-01 16:06:02 +000062static bool isSCC(Register Reg, const MachineRegisterInfo &MRI) {
63 if (TargetRegisterInfo::isPhysicalRegister(Reg))
64 return Reg == AMDGPU::SCC;
Tom Stellard8b1c53b2019-06-17 16:27:43 +000065
66 auto &RegClassOrBank = MRI.getRegClassOrRegBank(Reg);
67 const TargetRegisterClass *RC =
68 RegClassOrBank.dyn_cast<const TargetRegisterClass*>();
Matt Arsenault1daad912019-07-01 15:23:04 +000069 if (RC) {
70 if (RC->getID() != AMDGPU::SReg_32_XM0RegClassID)
71 return false;
72 const LLT Ty = MRI.getType(Reg);
73 return Ty.isValid() && Ty.getSizeInBits() == 1;
74 }
Tom Stellard8b1c53b2019-06-17 16:27:43 +000075
76 const RegisterBank *RB = RegClassOrBank.get<const RegisterBank *>();
77 return RB->getID() == AMDGPU::SCCRegBankID;
78}
79
Matt Arsenault2ab25f92019-07-01 16:06:02 +000080bool AMDGPUInstructionSelector::isVCC(Register Reg,
81 const MachineRegisterInfo &MRI) const {
82 if (TargetRegisterInfo::isPhysicalRegister(Reg))
83 return Reg == TRI.getVCC();
Matt Arsenault9f992c22019-07-01 13:22:07 +000084
85 auto &RegClassOrBank = MRI.getRegClassOrRegBank(Reg);
86 const TargetRegisterClass *RC =
87 RegClassOrBank.dyn_cast<const TargetRegisterClass*>();
88 if (RC) {
Matt Arsenault2ab25f92019-07-01 16:06:02 +000089 return RC->hasSuperClassEq(TRI.getBoolRC()) &&
Matt Arsenault9f992c22019-07-01 13:22:07 +000090 MRI.getType(Reg).getSizeInBits() == 1;
91 }
92
93 const RegisterBank *RB = RegClassOrBank.get<const RegisterBank *>();
94 return RB->getID() == AMDGPU::VCCRegBankID;
95}
96
Tom Stellard1e0edad2018-05-10 21:20:10 +000097bool AMDGPUInstructionSelector::selectCOPY(MachineInstr &I) const {
98 MachineBasicBlock *BB = I.getParent();
99 MachineFunction *MF = BB->getParent();
100 MachineRegisterInfo &MRI = MF->getRegInfo();
101 I.setDesc(TII.get(TargetOpcode::COPY));
Tom Stellard8b1c53b2019-06-17 16:27:43 +0000102
103 // Special case for COPY from the scc register bank. The scc register bank
104 // is modeled using 32-bit sgprs.
105 const MachineOperand &Src = I.getOperand(1);
106 unsigned SrcReg = Src.getReg();
107 if (!TargetRegisterInfo::isPhysicalRegister(SrcReg) && isSCC(SrcReg, MRI)) {
Matt Arsenault9f992c22019-07-01 13:22:07 +0000108 unsigned DstReg = I.getOperand(0).getReg();
Tom Stellard8b1c53b2019-06-17 16:27:43 +0000109
Matt Arsenault9f992c22019-07-01 13:22:07 +0000110 // Specially handle scc->vcc copies.
Matt Arsenault2ab25f92019-07-01 16:06:02 +0000111 if (isVCC(DstReg, MRI)) {
Tom Stellard8b1c53b2019-06-17 16:27:43 +0000112 const DebugLoc &DL = I.getDebugLoc();
Matt Arsenault9f992c22019-07-01 13:22:07 +0000113 BuildMI(*BB, &I, DL, TII.get(AMDGPU::V_CMP_NE_U32_e64), DstReg)
Tom Stellard8b1c53b2019-06-17 16:27:43 +0000114 .addImm(0)
115 .addReg(SrcReg);
116 if (!MRI.getRegClassOrNull(SrcReg))
117 MRI.setRegClass(SrcReg, TRI.getConstrainedRegClassForOperand(Src, MRI));
118 I.eraseFromParent();
119 return true;
120 }
121 }
122
Tom Stellard1e0edad2018-05-10 21:20:10 +0000123 for (const MachineOperand &MO : I.operands()) {
124 if (TargetRegisterInfo::isPhysicalRegister(MO.getReg()))
125 continue;
126
127 const TargetRegisterClass *RC =
128 TRI.getConstrainedRegClassForOperand(MO, MRI);
129 if (!RC)
130 continue;
131 RBI.constrainGenericRegister(MO.getReg(), *RC, MRI);
132 }
133 return true;
134}
135
Matt Arsenaulte1006252019-07-01 16:32:47 +0000136bool AMDGPUInstructionSelector::selectPHI(MachineInstr &I) const {
137 MachineBasicBlock *BB = I.getParent();
138 MachineFunction *MF = BB->getParent();
139 MachineRegisterInfo &MRI = MF->getRegInfo();
140
141 const Register DefReg = I.getOperand(0).getReg();
142 const LLT DefTy = MRI.getType(DefReg);
143
144 // TODO: Verify this doesn't have insane operands (i.e. VGPR to SGPR copy)
145
146 const RegClassOrRegBank &RegClassOrBank =
147 MRI.getRegClassOrRegBank(DefReg);
148
149 const TargetRegisterClass *DefRC
150 = RegClassOrBank.dyn_cast<const TargetRegisterClass *>();
151 if (!DefRC) {
152 if (!DefTy.isValid()) {
153 LLVM_DEBUG(dbgs() << "PHI operand has no type, not a gvreg?\n");
154 return false;
155 }
156
157 const RegisterBank &RB = *RegClassOrBank.get<const RegisterBank *>();
158 if (RB.getID() == AMDGPU::SCCRegBankID) {
159 LLVM_DEBUG(dbgs() << "illegal scc phi\n");
160 return false;
161 }
162
163 DefRC = TRI.getRegClassForTypeOnBank(DefTy, RB, MRI);
164 if (!DefRC) {
165 LLVM_DEBUG(dbgs() << "PHI operand has unexpected size/bank\n");
166 return false;
167 }
168 }
169
170 I.setDesc(TII.get(TargetOpcode::PHI));
171 return RBI.constrainGenericRegister(DefReg, *DefRC, MRI);
172}
173
Tom Stellardca166212017-01-30 21:56:46 +0000174MachineOperand
175AMDGPUInstructionSelector::getSubOperand64(MachineOperand &MO,
Matt Arsenault0a52e9d2019-07-01 16:34:48 +0000176 const TargetRegisterClass &SubRC,
Tom Stellardca166212017-01-30 21:56:46 +0000177 unsigned SubIdx) const {
178
179 MachineInstr *MI = MO.getParent();
180 MachineBasicBlock *BB = MO.getParent()->getParent();
181 MachineFunction *MF = BB->getParent();
182 MachineRegisterInfo &MRI = MF->getRegInfo();
Matt Arsenault0a52e9d2019-07-01 16:34:48 +0000183 Register DstReg = MRI.createVirtualRegister(&SubRC);
Tom Stellardca166212017-01-30 21:56:46 +0000184
185 if (MO.isReg()) {
186 unsigned ComposedSubIdx = TRI.composeSubRegIndices(MO.getSubReg(), SubIdx);
187 unsigned Reg = MO.getReg();
188 BuildMI(*BB, MI, MI->getDebugLoc(), TII.get(AMDGPU::COPY), DstReg)
189 .addReg(Reg, 0, ComposedSubIdx);
190
191 return MachineOperand::CreateReg(DstReg, MO.isDef(), MO.isImplicit(),
192 MO.isKill(), MO.isDead(), MO.isUndef(),
193 MO.isEarlyClobber(), 0, MO.isDebug(),
194 MO.isInternalRead());
195 }
196
197 assert(MO.isImm());
198
199 APInt Imm(64, MO.getImm());
200
201 switch (SubIdx) {
202 default:
203 llvm_unreachable("do not know to split immediate with this sub index.");
204 case AMDGPU::sub0:
205 return MachineOperand::CreateImm(Imm.getLoBits(32).getSExtValue());
206 case AMDGPU::sub1:
207 return MachineOperand::CreateImm(Imm.getHiBits(32).getSExtValue());
208 }
209}
210
Tom Stellard390a5f42018-07-13 21:05:14 +0000211static int64_t getConstant(const MachineInstr *MI) {
212 return MI->getOperand(1).getCImm()->getSExtValue();
213}
214
Tom Stellardca166212017-01-30 21:56:46 +0000215bool AMDGPUInstructionSelector::selectG_ADD(MachineInstr &I) const {
216 MachineBasicBlock *BB = I.getParent();
217 MachineFunction *MF = BB->getParent();
218 MachineRegisterInfo &MRI = MF->getRegInfo();
Matt Arsenault0a52e9d2019-07-01 16:34:48 +0000219 Register DstReg = I.getOperand(0).getReg();
220 const DebugLoc &DL = I.getDebugLoc();
221 unsigned Size = RBI.getSizeInBits(DstReg, MRI, TRI);
222 const RegisterBank *DstRB = RBI.getRegBank(DstReg, MRI, TRI);
223 const bool IsSALU = DstRB->getID() == AMDGPU::SGPRRegBankID;
Tom Stellardca166212017-01-30 21:56:46 +0000224
Matt Arsenault0a52e9d2019-07-01 16:34:48 +0000225 if (Size == 32) {
226 if (IsSALU) {
227 MachineInstr *Add =
228 BuildMI(*BB, &I, DL, TII.get(AMDGPU::S_ADD_U32), DstReg)
229 .add(I.getOperand(1))
230 .add(I.getOperand(2));
231 I.eraseFromParent();
232 return constrainSelectedInstRegOperands(*Add, TII, TRI, RBI);
233 }
Tom Stellardca166212017-01-30 21:56:46 +0000234
Matt Arsenault0a52e9d2019-07-01 16:34:48 +0000235 if (STI.hasAddNoCarry()) {
236 I.setDesc(TII.get(AMDGPU::V_ADD_U32_e64));
237 I.addOperand(*MF, MachineOperand::CreateImm(0));
238 I.addOperand(*MF, MachineOperand::CreateReg(AMDGPU::EXEC, false, true));
239 return constrainSelectedInstRegOperands(I, TII, TRI, RBI);
240 }
Tom Stellardca166212017-01-30 21:56:46 +0000241
Matt Arsenault0a52e9d2019-07-01 16:34:48 +0000242 Register UnusedCarry = MRI.createVirtualRegister(TRI.getWaveMaskRegClass());
243 MachineInstr *Add
244 = BuildMI(*BB, &I, DL, TII.get(AMDGPU::V_ADD_I32_e64), DstReg)
245 .addDef(UnusedCarry, RegState::Dead)
246 .add(I.getOperand(1))
247 .add(I.getOperand(2))
248 .addImm(0);
249 I.eraseFromParent();
250 return constrainSelectedInstRegOperands(*Add, TII, TRI, RBI);
Tom Stellardca166212017-01-30 21:56:46 +0000251 }
252
Matt Arsenault0a52e9d2019-07-01 16:34:48 +0000253 const TargetRegisterClass &RC
254 = IsSALU ? AMDGPU::SReg_64_XEXECRegClass : AMDGPU::VReg_64RegClass;
255 const TargetRegisterClass &HalfRC
256 = IsSALU ? AMDGPU::SReg_32RegClass : AMDGPU::VGPR_32RegClass;
257
258 MachineOperand Lo1(getSubOperand64(I.getOperand(1), HalfRC, AMDGPU::sub0));
259 MachineOperand Lo2(getSubOperand64(I.getOperand(2), HalfRC, AMDGPU::sub0));
260 MachineOperand Hi1(getSubOperand64(I.getOperand(1), HalfRC, AMDGPU::sub1));
261 MachineOperand Hi2(getSubOperand64(I.getOperand(2), HalfRC, AMDGPU::sub1));
262
263 Register DstLo = MRI.createVirtualRegister(&HalfRC);
264 Register DstHi = MRI.createVirtualRegister(&HalfRC);
265
266 if (IsSALU) {
267 BuildMI(*BB, &I, DL, TII.get(AMDGPU::S_ADD_U32), DstLo)
268 .add(Lo1)
269 .add(Lo2);
270 BuildMI(*BB, &I, DL, TII.get(AMDGPU::S_ADDC_U32), DstHi)
271 .add(Hi1)
272 .add(Hi2);
273 } else {
274 const TargetRegisterClass *CarryRC = TRI.getWaveMaskRegClass();
275 Register CarryReg = MRI.createVirtualRegister(CarryRC);
276 BuildMI(*BB, &I, DL, TII.get(AMDGPU::V_ADD_I32_e64), DstLo)
277 .addDef(CarryReg)
278 .add(Lo1)
279 .add(Lo2)
280 .addImm(0);
Matt Arsenault70a4d3f2019-07-02 14:40:22 +0000281 MachineInstr *Addc = BuildMI(*BB, &I, DL, TII.get(AMDGPU::V_ADDC_U32_e64), DstHi)
Matt Arsenault0a52e9d2019-07-01 16:34:48 +0000282 .addDef(MRI.createVirtualRegister(CarryRC), RegState::Dead)
283 .add(Hi1)
284 .add(Hi2)
285 .addReg(CarryReg, RegState::Kill)
286 .addImm(0);
Matt Arsenault70a4d3f2019-07-02 14:40:22 +0000287
288 if (!constrainSelectedInstRegOperands(*Addc, TII, TRI, RBI))
289 return false;
Matt Arsenault0a52e9d2019-07-01 16:34:48 +0000290 }
291
292 BuildMI(*BB, &I, DL, TII.get(AMDGPU::REG_SEQUENCE), DstReg)
293 .addReg(DstLo)
294 .addImm(AMDGPU::sub0)
295 .addReg(DstHi)
296 .addImm(AMDGPU::sub1);
297
Matt Arsenault70a4d3f2019-07-02 14:40:22 +0000298
299 if (!RBI.constrainGenericRegister(DstReg, RC, MRI))
Matt Arsenault0a52e9d2019-07-01 16:34:48 +0000300 return false;
301
Tom Stellardca166212017-01-30 21:56:46 +0000302 I.eraseFromParent();
303 return true;
304}
305
Tom Stellard41f32192019-02-28 23:37:48 +0000306bool AMDGPUInstructionSelector::selectG_EXTRACT(MachineInstr &I) const {
307 MachineBasicBlock *BB = I.getParent();
308 MachineFunction *MF = BB->getParent();
309 MachineRegisterInfo &MRI = MF->getRegInfo();
310 assert(I.getOperand(2).getImm() % 32 == 0);
311 unsigned SubReg = TRI.getSubRegFromChannel(I.getOperand(2).getImm() / 32);
312 const DebugLoc &DL = I.getDebugLoc();
313 MachineInstr *Copy = BuildMI(*BB, &I, DL, TII.get(TargetOpcode::COPY),
314 I.getOperand(0).getReg())
315 .addReg(I.getOperand(1).getReg(), 0, SubReg);
316
317 for (const MachineOperand &MO : Copy->operands()) {
318 const TargetRegisterClass *RC =
319 TRI.getConstrainedRegClassForOperand(MO, MRI);
320 if (!RC)
321 continue;
322 RBI.constrainGenericRegister(MO.getReg(), *RC, MRI);
323 }
324 I.eraseFromParent();
325 return true;
326}
327
Tom Stellardca166212017-01-30 21:56:46 +0000328bool AMDGPUInstructionSelector::selectG_GEP(MachineInstr &I) const {
329 return selectG_ADD(I);
330}
331
Tom Stellard3f1c6fe2018-06-21 23:38:20 +0000332bool AMDGPUInstructionSelector::selectG_IMPLICIT_DEF(MachineInstr &I) const {
333 MachineBasicBlock *BB = I.getParent();
334 MachineFunction *MF = BB->getParent();
335 MachineRegisterInfo &MRI = MF->getRegInfo();
336 const MachineOperand &MO = I.getOperand(0);
Matt Arsenaultf8a841b2019-06-24 16:24:03 +0000337
338 // FIXME: Interface for getConstrainedRegClassForOperand needs work. The
339 // regbank check here is to know why getConstrainedRegClassForOperand failed.
340 const TargetRegisterClass *RC = TRI.getConstrainedRegClassForOperand(MO, MRI);
341 if ((!RC && !MRI.getRegBankOrNull(MO.getReg())) ||
342 (RC && RBI.constrainGenericRegister(MO.getReg(), *RC, MRI))) {
343 I.setDesc(TII.get(TargetOpcode::IMPLICIT_DEF));
344 return true;
345 }
346
347 return false;
Tom Stellard3f1c6fe2018-06-21 23:38:20 +0000348}
349
Tom Stellard33634d1b2019-03-01 00:50:26 +0000350bool AMDGPUInstructionSelector::selectG_INSERT(MachineInstr &I) const {
351 MachineBasicBlock *BB = I.getParent();
352 MachineFunction *MF = BB->getParent();
353 MachineRegisterInfo &MRI = MF->getRegInfo();
354 unsigned SubReg = TRI.getSubRegFromChannel(I.getOperand(3).getImm() / 32);
355 DebugLoc DL = I.getDebugLoc();
356 MachineInstr *Ins = BuildMI(*BB, &I, DL, TII.get(TargetOpcode::INSERT_SUBREG))
357 .addDef(I.getOperand(0).getReg())
358 .addReg(I.getOperand(1).getReg())
359 .addReg(I.getOperand(2).getReg())
360 .addImm(SubReg);
361
362 for (const MachineOperand &MO : Ins->operands()) {
363 if (!MO.isReg())
364 continue;
365 if (TargetRegisterInfo::isPhysicalRegister(MO.getReg()))
366 continue;
367
368 const TargetRegisterClass *RC =
369 TRI.getConstrainedRegClassForOperand(MO, MRI);
370 if (!RC)
371 continue;
372 RBI.constrainGenericRegister(MO.getReg(), *RC, MRI);
373 }
374 I.eraseFromParent();
375 return true;
376}
377
Tom Stellarda9284732018-06-14 19:26:37 +0000378bool AMDGPUInstructionSelector::selectG_INTRINSIC(MachineInstr &I,
379 CodeGenCoverage &CoverageInfo) const {
Matt Arsenaultfee19492019-06-17 17:01:27 +0000380 unsigned IntrinsicID = I.getOperand(I.getNumExplicitDefs()).getIntrinsicID();
Tom Stellarda9284732018-06-14 19:26:37 +0000381 switch (IntrinsicID) {
382 default:
383 break;
Tom Stellardac684712018-07-13 22:16:03 +0000384 case Intrinsic::maxnum:
385 case Intrinsic::minnum:
Tom Stellarda9284732018-06-14 19:26:37 +0000386 case Intrinsic::amdgcn_cvt_pkrtz:
387 return selectImpl(I, CoverageInfo);
388 }
389 return false;
390}
391
Matt Arsenault3b7668a2019-07-01 13:34:26 +0000392static int getV_CMPOpcode(CmpInst::Predicate P, unsigned Size) {
393 if (Size != 32 && Size != 64)
394 return -1;
Tom Stellard8b1c53b2019-06-17 16:27:43 +0000395 switch (P) {
396 default:
397 llvm_unreachable("Unknown condition code!");
398 case CmpInst::ICMP_NE:
399 return Size == 32 ? AMDGPU::V_CMP_NE_U32_e64 : AMDGPU::V_CMP_NE_U64_e64;
400 case CmpInst::ICMP_EQ:
401 return Size == 32 ? AMDGPU::V_CMP_EQ_U32_e64 : AMDGPU::V_CMP_EQ_U64_e64;
402 case CmpInst::ICMP_SGT:
403 return Size == 32 ? AMDGPU::V_CMP_GT_I32_e64 : AMDGPU::V_CMP_GT_I64_e64;
404 case CmpInst::ICMP_SGE:
405 return Size == 32 ? AMDGPU::V_CMP_GE_I32_e64 : AMDGPU::V_CMP_GE_I64_e64;
406 case CmpInst::ICMP_SLT:
407 return Size == 32 ? AMDGPU::V_CMP_LT_I32_e64 : AMDGPU::V_CMP_LT_I64_e64;
408 case CmpInst::ICMP_SLE:
409 return Size == 32 ? AMDGPU::V_CMP_LE_I32_e64 : AMDGPU::V_CMP_LE_I64_e64;
410 case CmpInst::ICMP_UGT:
411 return Size == 32 ? AMDGPU::V_CMP_GT_U32_e64 : AMDGPU::V_CMP_GT_U64_e64;
412 case CmpInst::ICMP_UGE:
413 return Size == 32 ? AMDGPU::V_CMP_GE_U32_e64 : AMDGPU::V_CMP_GE_U64_e64;
414 case CmpInst::ICMP_ULT:
415 return Size == 32 ? AMDGPU::V_CMP_LT_U32_e64 : AMDGPU::V_CMP_LT_U64_e64;
416 case CmpInst::ICMP_ULE:
417 return Size == 32 ? AMDGPU::V_CMP_LE_U32_e64 : AMDGPU::V_CMP_LE_U64_e64;
418 }
419}
420
Matt Arsenault3b7668a2019-07-01 13:34:26 +0000421int AMDGPUInstructionSelector::getS_CMPOpcode(CmpInst::Predicate P,
422 unsigned Size) const {
423 if (Size == 64) {
424 if (!STI.hasScalarCompareEq64())
425 return -1;
426
427 switch (P) {
428 case CmpInst::ICMP_NE:
429 return AMDGPU::S_CMP_LG_U64;
430 case CmpInst::ICMP_EQ:
431 return AMDGPU::S_CMP_EQ_U64;
432 default:
433 return -1;
434 }
435 }
436
437 if (Size != 32)
438 return -1;
439
Tom Stellard8b1c53b2019-06-17 16:27:43 +0000440 switch (P) {
Tom Stellard8b1c53b2019-06-17 16:27:43 +0000441 case CmpInst::ICMP_NE:
442 return AMDGPU::S_CMP_LG_U32;
443 case CmpInst::ICMP_EQ:
444 return AMDGPU::S_CMP_EQ_U32;
445 case CmpInst::ICMP_SGT:
446 return AMDGPU::S_CMP_GT_I32;
447 case CmpInst::ICMP_SGE:
448 return AMDGPU::S_CMP_GE_I32;
449 case CmpInst::ICMP_SLT:
450 return AMDGPU::S_CMP_LT_I32;
451 case CmpInst::ICMP_SLE:
452 return AMDGPU::S_CMP_LE_I32;
453 case CmpInst::ICMP_UGT:
454 return AMDGPU::S_CMP_GT_U32;
455 case CmpInst::ICMP_UGE:
456 return AMDGPU::S_CMP_GE_U32;
457 case CmpInst::ICMP_ULT:
458 return AMDGPU::S_CMP_LT_U32;
459 case CmpInst::ICMP_ULE:
460 return AMDGPU::S_CMP_LE_U32;
Matt Arsenault3b7668a2019-07-01 13:34:26 +0000461 default:
462 llvm_unreachable("Unknown condition code!");
Tom Stellard8b1c53b2019-06-17 16:27:43 +0000463 }
464}
465
466bool AMDGPUInstructionSelector::selectG_ICMP(MachineInstr &I) const {
467 MachineBasicBlock *BB = I.getParent();
468 MachineFunction *MF = BB->getParent();
469 MachineRegisterInfo &MRI = MF->getRegInfo();
470 DebugLoc DL = I.getDebugLoc();
471
472 unsigned SrcReg = I.getOperand(2).getReg();
473 unsigned Size = RBI.getSizeInBits(SrcReg, MRI, TRI);
Matt Arsenault3b7668a2019-07-01 13:34:26 +0000474
475 auto Pred = (CmpInst::Predicate)I.getOperand(1).getPredicate();
Tom Stellard8b1c53b2019-06-17 16:27:43 +0000476
477 unsigned CCReg = I.getOperand(0).getReg();
478 if (isSCC(CCReg, MRI)) {
Matt Arsenault3b7668a2019-07-01 13:34:26 +0000479 int Opcode = getS_CMPOpcode(Pred, Size);
480 if (Opcode == -1)
481 return false;
Tom Stellard8b1c53b2019-06-17 16:27:43 +0000482 MachineInstr *ICmp = BuildMI(*BB, &I, DL, TII.get(Opcode))
483 .add(I.getOperand(2))
484 .add(I.getOperand(3));
Matt Arsenaultd7ffa2a2019-06-25 13:18:11 +0000485 BuildMI(*BB, &I, DL, TII.get(AMDGPU::COPY), CCReg)
486 .addReg(AMDGPU::SCC);
487 bool Ret =
488 constrainSelectedInstRegOperands(*ICmp, TII, TRI, RBI) &&
489 RBI.constrainGenericRegister(CCReg, AMDGPU::SReg_32RegClass, MRI);
Tom Stellard8b1c53b2019-06-17 16:27:43 +0000490 I.eraseFromParent();
491 return Ret;
492 }
493
Matt Arsenault3b7668a2019-07-01 13:34:26 +0000494 int Opcode = getV_CMPOpcode(Pred, Size);
495 if (Opcode == -1)
496 return false;
497
Tom Stellard8b1c53b2019-06-17 16:27:43 +0000498 MachineInstr *ICmp = BuildMI(*BB, &I, DL, TII.get(Opcode),
499 I.getOperand(0).getReg())
500 .add(I.getOperand(2))
501 .add(I.getOperand(3));
502 RBI.constrainGenericRegister(ICmp->getOperand(0).getReg(),
503 AMDGPU::SReg_64RegClass, MRI);
504 bool Ret = constrainSelectedInstRegOperands(*ICmp, TII, TRI, RBI);
505 I.eraseFromParent();
506 return Ret;
507}
508
Tom Stellard390a5f42018-07-13 21:05:14 +0000509static MachineInstr *
510buildEXP(const TargetInstrInfo &TII, MachineInstr *Insert, unsigned Tgt,
511 unsigned Reg0, unsigned Reg1, unsigned Reg2, unsigned Reg3,
512 unsigned VM, bool Compr, unsigned Enabled, bool Done) {
513 const DebugLoc &DL = Insert->getDebugLoc();
514 MachineBasicBlock &BB = *Insert->getParent();
515 unsigned Opcode = Done ? AMDGPU::EXP_DONE : AMDGPU::EXP;
516 return BuildMI(BB, Insert, DL, TII.get(Opcode))
517 .addImm(Tgt)
518 .addReg(Reg0)
519 .addReg(Reg1)
520 .addReg(Reg2)
521 .addReg(Reg3)
522 .addImm(VM)
523 .addImm(Compr)
524 .addImm(Enabled);
525}
526
527bool AMDGPUInstructionSelector::selectG_INTRINSIC_W_SIDE_EFFECTS(
528 MachineInstr &I,
529 CodeGenCoverage &CoverageInfo) const {
530 MachineBasicBlock *BB = I.getParent();
531 MachineFunction *MF = BB->getParent();
532 MachineRegisterInfo &MRI = MF->getRegInfo();
533
534 unsigned IntrinsicID = I.getOperand(0).getIntrinsicID();
535 switch (IntrinsicID) {
536 case Intrinsic::amdgcn_exp: {
537 int64_t Tgt = getConstant(MRI.getVRegDef(I.getOperand(1).getReg()));
538 int64_t Enabled = getConstant(MRI.getVRegDef(I.getOperand(2).getReg()));
539 int64_t Done = getConstant(MRI.getVRegDef(I.getOperand(7).getReg()));
540 int64_t VM = getConstant(MRI.getVRegDef(I.getOperand(8).getReg()));
541
542 MachineInstr *Exp = buildEXP(TII, &I, Tgt, I.getOperand(3).getReg(),
543 I.getOperand(4).getReg(),
544 I.getOperand(5).getReg(),
545 I.getOperand(6).getReg(),
546 VM, false, Enabled, Done);
547
548 I.eraseFromParent();
549 return constrainSelectedInstRegOperands(*Exp, TII, TRI, RBI);
550 }
551 case Intrinsic::amdgcn_exp_compr: {
552 const DebugLoc &DL = I.getDebugLoc();
553 int64_t Tgt = getConstant(MRI.getVRegDef(I.getOperand(1).getReg()));
554 int64_t Enabled = getConstant(MRI.getVRegDef(I.getOperand(2).getReg()));
555 unsigned Reg0 = I.getOperand(3).getReg();
556 unsigned Reg1 = I.getOperand(4).getReg();
557 unsigned Undef = MRI.createVirtualRegister(&AMDGPU::VGPR_32RegClass);
558 int64_t Done = getConstant(MRI.getVRegDef(I.getOperand(5).getReg()));
559 int64_t VM = getConstant(MRI.getVRegDef(I.getOperand(6).getReg()));
560
561 BuildMI(*BB, &I, DL, TII.get(AMDGPU::IMPLICIT_DEF), Undef);
562 MachineInstr *Exp = buildEXP(TII, &I, Tgt, Reg0, Reg1, Undef, Undef, VM,
563 true, Enabled, Done);
564
565 I.eraseFromParent();
566 return constrainSelectedInstRegOperands(*Exp, TII, TRI, RBI);
567 }
568 }
569 return false;
570}
571
Tom Stellard8b1c53b2019-06-17 16:27:43 +0000572bool AMDGPUInstructionSelector::selectG_SELECT(MachineInstr &I) const {
573 MachineBasicBlock *BB = I.getParent();
574 MachineFunction *MF = BB->getParent();
575 MachineRegisterInfo &MRI = MF->getRegInfo();
576 const DebugLoc &DL = I.getDebugLoc();
577
578 unsigned DstReg = I.getOperand(0).getReg();
579 unsigned Size = RBI.getSizeInBits(DstReg, MRI, TRI);
Matt Arsenaultfdf36722019-07-01 15:42:47 +0000580 assert(Size <= 32 || Size == 64);
Tom Stellard8b1c53b2019-06-17 16:27:43 +0000581 const MachineOperand &CCOp = I.getOperand(1);
582 unsigned CCReg = CCOp.getReg();
583 if (isSCC(CCReg, MRI)) {
Matt Arsenaultfdf36722019-07-01 15:42:47 +0000584 unsigned SelectOpcode = Size == 64 ? AMDGPU::S_CSELECT_B64 :
585 AMDGPU::S_CSELECT_B32;
Tom Stellard8b1c53b2019-06-17 16:27:43 +0000586 MachineInstr *CopySCC = BuildMI(*BB, &I, DL, TII.get(AMDGPU::COPY), AMDGPU::SCC)
587 .addReg(CCReg);
588
589 // The generic constrainSelectedInstRegOperands doesn't work for the scc register
590 // bank, because it does not cover the register class that we used to represent
591 // for it. So we need to manually set the register class here.
592 if (!MRI.getRegClassOrNull(CCReg))
593 MRI.setRegClass(CCReg, TRI.getConstrainedRegClassForOperand(CCOp, MRI));
594 MachineInstr *Select = BuildMI(*BB, &I, DL, TII.get(SelectOpcode), DstReg)
595 .add(I.getOperand(2))
596 .add(I.getOperand(3));
597
598 bool Ret = constrainSelectedInstRegOperands(*Select, TII, TRI, RBI) |
599 constrainSelectedInstRegOperands(*CopySCC, TII, TRI, RBI);
600 I.eraseFromParent();
601 return Ret;
602 }
603
Matt Arsenaultfdf36722019-07-01 15:42:47 +0000604 // Wide VGPR select should have been split in RegBankSelect.
605 if (Size > 32)
606 return false;
607
Tom Stellard8b1c53b2019-06-17 16:27:43 +0000608 MachineInstr *Select =
609 BuildMI(*BB, &I, DL, TII.get(AMDGPU::V_CNDMASK_B32_e64), DstReg)
610 .addImm(0)
611 .add(I.getOperand(3))
612 .addImm(0)
613 .add(I.getOperand(2))
614 .add(I.getOperand(1));
615
616 bool Ret = constrainSelectedInstRegOperands(*Select, TII, TRI, RBI);
617 I.eraseFromParent();
618 return Ret;
619}
620
Tom Stellardca166212017-01-30 21:56:46 +0000621bool AMDGPUInstructionSelector::selectG_STORE(MachineInstr &I) const {
622 MachineBasicBlock *BB = I.getParent();
Tom Stellard655fdd32018-05-11 23:12:49 +0000623 MachineFunction *MF = BB->getParent();
624 MachineRegisterInfo &MRI = MF->getRegInfo();
Tom Stellardca166212017-01-30 21:56:46 +0000625 DebugLoc DL = I.getDebugLoc();
Matt Arsenault89fc8bc2019-07-01 13:37:39 +0000626 unsigned PtrSize = RBI.getSizeInBits(I.getOperand(1).getReg(), MRI, TRI);
627 if (PtrSize != 64) {
628 LLVM_DEBUG(dbgs() << "Unhandled address space\n");
629 return false;
630 }
631
Tom Stellard655fdd32018-05-11 23:12:49 +0000632 unsigned StoreSize = RBI.getSizeInBits(I.getOperand(0).getReg(), MRI, TRI);
633 unsigned Opcode;
Tom Stellardca166212017-01-30 21:56:46 +0000634
635 // FIXME: Select store instruction based on address space
Tom Stellard655fdd32018-05-11 23:12:49 +0000636 switch (StoreSize) {
637 default:
638 return false;
639 case 32:
640 Opcode = AMDGPU::FLAT_STORE_DWORD;
641 break;
642 case 64:
643 Opcode = AMDGPU::FLAT_STORE_DWORDX2;
644 break;
645 case 96:
646 Opcode = AMDGPU::FLAT_STORE_DWORDX3;
647 break;
648 case 128:
649 Opcode = AMDGPU::FLAT_STORE_DWORDX4;
650 break;
651 }
652
653 MachineInstr *Flat = BuildMI(*BB, &I, DL, TII.get(Opcode))
Tom Stellardca166212017-01-30 21:56:46 +0000654 .add(I.getOperand(1))
655 .add(I.getOperand(0))
Matt Arsenaultfd023142017-06-12 15:55:58 +0000656 .addImm(0) // offset
657 .addImm(0) // glc
Stanislav Mekhanoshina6322942019-04-30 22:08:23 +0000658 .addImm(0) // slc
659 .addImm(0); // dlc
Tom Stellardca166212017-01-30 21:56:46 +0000660
Matt Arsenault47ccafe2017-05-11 17:38:33 +0000661
Tom Stellardca166212017-01-30 21:56:46 +0000662 // Now that we selected an opcode, we need to constrain the register
663 // operands to use appropriate classes.
664 bool Ret = constrainSelectedInstRegOperands(*Flat, TII, TRI, RBI);
665
666 I.eraseFromParent();
667 return Ret;
668}
669
Matt Arsenaultdbb6c032019-06-24 18:02:18 +0000670static int sizeToSubRegIndex(unsigned Size) {
671 switch (Size) {
672 case 32:
673 return AMDGPU::sub0;
674 case 64:
675 return AMDGPU::sub0_sub1;
676 case 96:
677 return AMDGPU::sub0_sub1_sub2;
678 case 128:
679 return AMDGPU::sub0_sub1_sub2_sub3;
680 case 256:
681 return AMDGPU::sub0_sub1_sub2_sub3_sub4_sub5_sub6_sub7;
682 default:
683 if (Size < 32)
684 return AMDGPU::sub0;
685 if (Size > 256)
686 return -1;
687 return sizeToSubRegIndex(PowerOf2Ceil(Size));
688 }
689}
690
691bool AMDGPUInstructionSelector::selectG_TRUNC(MachineInstr &I) const {
692 MachineBasicBlock *BB = I.getParent();
693 MachineFunction *MF = BB->getParent();
694 MachineRegisterInfo &MRI = MF->getRegInfo();
695
696 unsigned DstReg = I.getOperand(0).getReg();
697 unsigned SrcReg = I.getOperand(1).getReg();
698 const LLT DstTy = MRI.getType(DstReg);
699 const LLT SrcTy = MRI.getType(SrcReg);
700 if (!DstTy.isScalar())
701 return false;
702
703 const RegisterBank *DstRB = RBI.getRegBank(DstReg, MRI, TRI);
704 const RegisterBank *SrcRB = RBI.getRegBank(SrcReg, MRI, TRI);
705 if (SrcRB != DstRB)
706 return false;
707
708 unsigned DstSize = DstTy.getSizeInBits();
709 unsigned SrcSize = SrcTy.getSizeInBits();
710
711 const TargetRegisterClass *SrcRC
712 = TRI.getRegClassForSizeOnBank(SrcSize, *SrcRB, MRI);
713 const TargetRegisterClass *DstRC
714 = TRI.getRegClassForSizeOnBank(DstSize, *DstRB, MRI);
715
716 if (SrcSize > 32) {
717 int SubRegIdx = sizeToSubRegIndex(DstSize);
718 if (SubRegIdx == -1)
719 return false;
720
721 // Deal with weird cases where the class only partially supports the subreg
722 // index.
723 SrcRC = TRI.getSubClassWithSubReg(SrcRC, SubRegIdx);
724 if (!SrcRC)
725 return false;
726
727 I.getOperand(1).setSubReg(SubRegIdx);
728 }
729
730 if (!RBI.constrainGenericRegister(SrcReg, *SrcRC, MRI) ||
731 !RBI.constrainGenericRegister(DstReg, *DstRC, MRI)) {
732 LLVM_DEBUG(dbgs() << "Failed to constrain G_TRUNC\n");
733 return false;
734 }
735
736 I.setDesc(TII.get(TargetOpcode::COPY));
737 return true;
738}
739
Matt Arsenault5dafcb92019-07-01 13:22:06 +0000740/// \returns true if a bitmask for \p Size bits will be an inline immediate.
741static bool shouldUseAndMask(unsigned Size, unsigned &Mask) {
742 Mask = maskTrailingOnes<unsigned>(Size);
743 int SignedMask = static_cast<int>(Mask);
744 return SignedMask >= -16 && SignedMask <= 64;
745}
746
Matt Arsenaultd7ffa2a2019-06-25 13:18:11 +0000747bool AMDGPUInstructionSelector::selectG_SZA_EXT(MachineInstr &I) const {
748 bool Signed = I.getOpcode() == AMDGPU::G_SEXT;
749 const DebugLoc &DL = I.getDebugLoc();
750 MachineBasicBlock &MBB = *I.getParent();
751 MachineFunction &MF = *MBB.getParent();
752 MachineRegisterInfo &MRI = MF.getRegInfo();
753 const unsigned DstReg = I.getOperand(0).getReg();
754 const unsigned SrcReg = I.getOperand(1).getReg();
755
756 const LLT DstTy = MRI.getType(DstReg);
757 const LLT SrcTy = MRI.getType(SrcReg);
758 const LLT S1 = LLT::scalar(1);
759 const unsigned SrcSize = SrcTy.getSizeInBits();
760 const unsigned DstSize = DstTy.getSizeInBits();
761 if (!DstTy.isScalar())
762 return false;
763
764 const RegisterBank *SrcBank = RBI.getRegBank(SrcReg, MRI, TRI);
765
766 if (SrcBank->getID() == AMDGPU::SCCRegBankID) {
767 if (SrcTy != S1 || DstSize > 64) // Invalid
768 return false;
769
770 unsigned Opcode =
771 DstSize > 32 ? AMDGPU::S_CSELECT_B64 : AMDGPU::S_CSELECT_B32;
772 const TargetRegisterClass *DstRC =
773 DstSize > 32 ? &AMDGPU::SReg_64RegClass : &AMDGPU::SReg_32RegClass;
774
775 // FIXME: Create an extra copy to avoid incorrectly constraining the result
776 // of the scc producer.
777 unsigned TmpReg = MRI.createVirtualRegister(&AMDGPU::SReg_32RegClass);
778 BuildMI(MBB, I, DL, TII.get(AMDGPU::COPY), TmpReg)
779 .addReg(SrcReg);
780 BuildMI(MBB, I, DL, TII.get(AMDGPU::COPY), AMDGPU::SCC)
781 .addReg(TmpReg);
782
783 // The instruction operands are backwards from what you would expect.
784 BuildMI(MBB, I, DL, TII.get(Opcode), DstReg)
785 .addImm(0)
786 .addImm(Signed ? -1 : 1);
787 return RBI.constrainGenericRegister(DstReg, *DstRC, MRI);
788 }
789
790 if (SrcBank->getID() == AMDGPU::VCCRegBankID && DstSize <= 32) {
791 if (SrcTy != S1) // Invalid
792 return false;
793
794 MachineInstr *ExtI =
795 BuildMI(MBB, I, DL, TII.get(AMDGPU::V_CNDMASK_B32_e64), DstReg)
796 .addImm(0) // src0_modifiers
797 .addImm(0) // src0
798 .addImm(0) // src1_modifiers
799 .addImm(Signed ? -1 : 1) // src1
800 .addUse(SrcReg);
801 return constrainSelectedInstRegOperands(*ExtI, TII, TRI, RBI);
802 }
803
804 if (I.getOpcode() == AMDGPU::G_ANYEXT)
805 return selectCOPY(I);
806
807 if (SrcBank->getID() == AMDGPU::VGPRRegBankID && DstSize <= 32) {
808 // 64-bit should have been split up in RegBankSelect
Matt Arsenault5dafcb92019-07-01 13:22:06 +0000809
810 // Try to use an and with a mask if it will save code size.
811 unsigned Mask;
812 if (!Signed && shouldUseAndMask(SrcSize, Mask)) {
813 MachineInstr *ExtI =
814 BuildMI(MBB, I, DL, TII.get(AMDGPU::V_AND_B32_e32), DstReg)
815 .addImm(Mask)
816 .addReg(SrcReg);
817 return constrainSelectedInstRegOperands(*ExtI, TII, TRI, RBI);
818 }
819
Matt Arsenaultd7ffa2a2019-06-25 13:18:11 +0000820 const unsigned BFE = Signed ? AMDGPU::V_BFE_I32 : AMDGPU::V_BFE_U32;
821 MachineInstr *ExtI =
822 BuildMI(MBB, I, DL, TII.get(BFE), DstReg)
823 .addReg(SrcReg)
824 .addImm(0) // Offset
825 .addImm(SrcSize); // Width
826 return constrainSelectedInstRegOperands(*ExtI, TII, TRI, RBI);
827 }
828
829 if (SrcBank->getID() == AMDGPU::SGPRRegBankID && DstSize <= 64) {
830 if (!RBI.constrainGenericRegister(SrcReg, AMDGPU::SReg_32RegClass, MRI))
831 return false;
832
833 if (Signed && DstSize == 32 && (SrcSize == 8 || SrcSize == 16)) {
834 const unsigned SextOpc = SrcSize == 8 ?
835 AMDGPU::S_SEXT_I32_I8 : AMDGPU::S_SEXT_I32_I16;
836 BuildMI(MBB, I, DL, TII.get(SextOpc), DstReg)
837 .addReg(SrcReg);
838 return RBI.constrainGenericRegister(DstReg, AMDGPU::SReg_32RegClass, MRI);
839 }
840
841 const unsigned BFE64 = Signed ? AMDGPU::S_BFE_I64 : AMDGPU::S_BFE_U64;
842 const unsigned BFE32 = Signed ? AMDGPU::S_BFE_I32 : AMDGPU::S_BFE_U32;
843
844 // Scalar BFE is encoded as S1[5:0] = offset, S1[22:16]= width.
845 if (DstSize > 32 && SrcSize <= 32) {
846 // We need a 64-bit register source, but the high bits don't matter.
847 unsigned ExtReg
848 = MRI.createVirtualRegister(&AMDGPU::SReg_64RegClass);
849 unsigned UndefReg
850 = MRI.createVirtualRegister(&AMDGPU::SReg_32RegClass);
851 BuildMI(MBB, I, DL, TII.get(AMDGPU::IMPLICIT_DEF), UndefReg);
852 BuildMI(MBB, I, DL, TII.get(AMDGPU::REG_SEQUENCE), ExtReg)
853 .addReg(SrcReg)
854 .addImm(AMDGPU::sub0)
855 .addReg(UndefReg)
856 .addImm(AMDGPU::sub1);
857
858 BuildMI(MBB, I, DL, TII.get(BFE64), DstReg)
859 .addReg(ExtReg)
860 .addImm(SrcSize << 16);
861
862 return RBI.constrainGenericRegister(DstReg, AMDGPU::SReg_64RegClass, MRI);
863 }
864
Matt Arsenault5dafcb92019-07-01 13:22:06 +0000865 unsigned Mask;
866 if (!Signed && shouldUseAndMask(SrcSize, Mask)) {
867 BuildMI(MBB, I, DL, TII.get(AMDGPU::S_AND_B32), DstReg)
868 .addReg(SrcReg)
869 .addImm(Mask);
870 } else {
871 BuildMI(MBB, I, DL, TII.get(BFE32), DstReg)
872 .addReg(SrcReg)
873 .addImm(SrcSize << 16);
874 }
875
Matt Arsenaultd7ffa2a2019-06-25 13:18:11 +0000876 return RBI.constrainGenericRegister(DstReg, AMDGPU::SReg_32RegClass, MRI);
877 }
878
879 return false;
880}
881
Tom Stellardca166212017-01-30 21:56:46 +0000882bool AMDGPUInstructionSelector::selectG_CONSTANT(MachineInstr &I) const {
883 MachineBasicBlock *BB = I.getParent();
884 MachineFunction *MF = BB->getParent();
885 MachineRegisterInfo &MRI = MF->getRegInfo();
Tom Stellarde182b282018-05-15 17:57:09 +0000886 MachineOperand &ImmOp = I.getOperand(1);
Tom Stellardca166212017-01-30 21:56:46 +0000887
Tom Stellarde182b282018-05-15 17:57:09 +0000888 // The AMDGPU backend only supports Imm operands and not CImm or FPImm.
889 if (ImmOp.isFPImm()) {
890 const APInt &Imm = ImmOp.getFPImm()->getValueAPF().bitcastToAPInt();
891 ImmOp.ChangeToImmediate(Imm.getZExtValue());
892 } else if (ImmOp.isCImm()) {
893 ImmOp.ChangeToImmediate(ImmOp.getCImm()->getZExtValue());
894 }
895
896 unsigned DstReg = I.getOperand(0).getReg();
897 unsigned Size;
898 bool IsSgpr;
899 const RegisterBank *RB = MRI.getRegBankOrNull(I.getOperand(0).getReg());
900 if (RB) {
901 IsSgpr = RB->getID() == AMDGPU::SGPRRegBankID;
902 Size = MRI.getType(DstReg).getSizeInBits();
903 } else {
904 const TargetRegisterClass *RC = TRI.getRegClassForReg(MRI, DstReg);
905 IsSgpr = TRI.isSGPRClass(RC);
Tom Stellarda91ce172018-05-21 17:49:31 +0000906 Size = TRI.getRegSizeInBits(*RC);
Tom Stellarde182b282018-05-15 17:57:09 +0000907 }
908
909 if (Size != 32 && Size != 64)
910 return false;
911
912 unsigned Opcode = IsSgpr ? AMDGPU::S_MOV_B32 : AMDGPU::V_MOV_B32_e32;
Tom Stellardca166212017-01-30 21:56:46 +0000913 if (Size == 32) {
Tom Stellarde182b282018-05-15 17:57:09 +0000914 I.setDesc(TII.get(Opcode));
915 I.addImplicitDefUseOperands(*MF);
Tom Stellardca166212017-01-30 21:56:46 +0000916 return constrainSelectedInstRegOperands(I, TII, TRI, RBI);
917 }
918
Tom Stellardca166212017-01-30 21:56:46 +0000919 DebugLoc DL = I.getDebugLoc();
Tom Stellarde182b282018-05-15 17:57:09 +0000920 const TargetRegisterClass *RC = IsSgpr ? &AMDGPU::SReg_32_XM0RegClass :
921 &AMDGPU::VGPR_32RegClass;
922 unsigned LoReg = MRI.createVirtualRegister(RC);
923 unsigned HiReg = MRI.createVirtualRegister(RC);
924 const APInt &Imm = APInt(Size, I.getOperand(1).getImm());
Tom Stellardca166212017-01-30 21:56:46 +0000925
Tom Stellarde182b282018-05-15 17:57:09 +0000926 BuildMI(*BB, &I, DL, TII.get(Opcode), LoReg)
Tom Stellardca166212017-01-30 21:56:46 +0000927 .addImm(Imm.trunc(32).getZExtValue());
928
Tom Stellarde182b282018-05-15 17:57:09 +0000929 BuildMI(*BB, &I, DL, TII.get(Opcode), HiReg)
Tom Stellardca166212017-01-30 21:56:46 +0000930 .addImm(Imm.ashr(32).getZExtValue());
931
Tom Stellarde182b282018-05-15 17:57:09 +0000932 const MachineInstr *RS =
933 BuildMI(*BB, &I, DL, TII.get(AMDGPU::REG_SEQUENCE), DstReg)
934 .addReg(LoReg)
935 .addImm(AMDGPU::sub0)
936 .addReg(HiReg)
937 .addImm(AMDGPU::sub1);
938
Tom Stellardca166212017-01-30 21:56:46 +0000939 // We can't call constrainSelectedInstRegOperands here, because it doesn't
940 // work for target independent opcodes
941 I.eraseFromParent();
Tom Stellarde182b282018-05-15 17:57:09 +0000942 const TargetRegisterClass *DstRC =
943 TRI.getConstrainedRegClassForOperand(RS->getOperand(0), MRI);
944 if (!DstRC)
945 return true;
946 return RBI.constrainGenericRegister(DstReg, *DstRC, MRI);
Tom Stellardca166212017-01-30 21:56:46 +0000947}
948
949static bool isConstant(const MachineInstr &MI) {
950 return MI.getOpcode() == TargetOpcode::G_CONSTANT;
951}
952
953void AMDGPUInstructionSelector::getAddrModeInfo(const MachineInstr &Load,
954 const MachineRegisterInfo &MRI, SmallVectorImpl<GEPInfo> &AddrInfo) const {
955
956 const MachineInstr *PtrMI = MRI.getUniqueVRegDef(Load.getOperand(1).getReg());
957
958 assert(PtrMI);
959
960 if (PtrMI->getOpcode() != TargetOpcode::G_GEP)
961 return;
962
963 GEPInfo GEPInfo(*PtrMI);
964
965 for (unsigned i = 1, e = 3; i < e; ++i) {
966 const MachineOperand &GEPOp = PtrMI->getOperand(i);
967 const MachineInstr *OpDef = MRI.getUniqueVRegDef(GEPOp.getReg());
968 assert(OpDef);
969 if (isConstant(*OpDef)) {
970 // FIXME: Is it possible to have multiple Imm parts? Maybe if we
971 // are lacking other optimizations.
972 assert(GEPInfo.Imm == 0);
973 GEPInfo.Imm = OpDef->getOperand(1).getCImm()->getSExtValue();
974 continue;
975 }
976 const RegisterBank *OpBank = RBI.getRegBank(GEPOp.getReg(), MRI, TRI);
977 if (OpBank->getID() == AMDGPU::SGPRRegBankID)
978 GEPInfo.SgprParts.push_back(GEPOp.getReg());
979 else
980 GEPInfo.VgprParts.push_back(GEPOp.getReg());
981 }
982
983 AddrInfo.push_back(GEPInfo);
984 getAddrModeInfo(*PtrMI, MRI, AddrInfo);
985}
986
Tom Stellard79b5c382019-02-20 21:02:37 +0000987bool AMDGPUInstructionSelector::isInstrUniform(const MachineInstr &MI) const {
Tom Stellardca166212017-01-30 21:56:46 +0000988 if (!MI.hasOneMemOperand())
989 return false;
990
991 const MachineMemOperand *MMO = *MI.memoperands_begin();
992 const Value *Ptr = MMO->getValue();
993
994 // UndefValue means this is a load of a kernel input. These are uniform.
995 // Sometimes LDS instructions have constant pointers.
996 // If Ptr is null, then that means this mem operand contains a
997 // PseudoSourceValue like GOT.
998 if (!Ptr || isa<UndefValue>(Ptr) || isa<Argument>(Ptr) ||
999 isa<Constant>(Ptr) || isa<GlobalValue>(Ptr))
1000 return true;
1001
Matt Arsenault923712b2018-02-09 16:57:57 +00001002 if (MMO->getAddrSpace() == AMDGPUAS::CONSTANT_ADDRESS_32BIT)
1003 return true;
1004
Tom Stellardca166212017-01-30 21:56:46 +00001005 const Instruction *I = dyn_cast<Instruction>(Ptr);
1006 return I && I->getMetadata("amdgpu.uniform");
1007}
1008
Tom Stellardca166212017-01-30 21:56:46 +00001009bool AMDGPUInstructionSelector::hasVgprParts(ArrayRef<GEPInfo> AddrInfo) const {
1010 for (const GEPInfo &GEPInfo : AddrInfo) {
1011 if (!GEPInfo.VgprParts.empty())
1012 return true;
1013 }
1014 return false;
1015}
1016
Tom Stellardca166212017-01-30 21:56:46 +00001017bool AMDGPUInstructionSelector::selectG_LOAD(MachineInstr &I) const {
1018 MachineBasicBlock *BB = I.getParent();
1019 MachineFunction *MF = BB->getParent();
1020 MachineRegisterInfo &MRI = MF->getRegInfo();
Matt Arsenaulta3107272019-07-01 16:36:39 +00001021 const DebugLoc &DL = I.getDebugLoc();
1022 Register DstReg = I.getOperand(0).getReg();
1023 Register PtrReg = I.getOperand(1).getReg();
Tom Stellardca166212017-01-30 21:56:46 +00001024 unsigned LoadSize = RBI.getSizeInBits(DstReg, MRI, TRI);
1025 unsigned Opcode;
1026
Matt Arsenaulta3107272019-07-01 16:36:39 +00001027 if (MRI.getType(I.getOperand(1).getReg()).getSizeInBits() == 32) {
1028 LLVM_DEBUG(dbgs() << "Unhandled address space\n");
1029 return false;
1030 }
1031
Tom Stellardca166212017-01-30 21:56:46 +00001032 SmallVector<GEPInfo, 4> AddrInfo;
1033
1034 getAddrModeInfo(I, MRI, AddrInfo);
1035
Tom Stellardca166212017-01-30 21:56:46 +00001036 switch (LoadSize) {
Tom Stellardca166212017-01-30 21:56:46 +00001037 case 32:
1038 Opcode = AMDGPU::FLAT_LOAD_DWORD;
1039 break;
1040 case 64:
1041 Opcode = AMDGPU::FLAT_LOAD_DWORDX2;
1042 break;
Matt Arsenaulta3107272019-07-01 16:36:39 +00001043 default:
1044 LLVM_DEBUG(dbgs() << "Unhandled load size\n");
1045 return false;
Tom Stellardca166212017-01-30 21:56:46 +00001046 }
1047
1048 MachineInstr *Flat = BuildMI(*BB, &I, DL, TII.get(Opcode))
1049 .add(I.getOperand(0))
1050 .addReg(PtrReg)
Matt Arsenaultfd023142017-06-12 15:55:58 +00001051 .addImm(0) // offset
1052 .addImm(0) // glc
Stanislav Mekhanoshina6322942019-04-30 22:08:23 +00001053 .addImm(0) // slc
1054 .addImm(0); // dlc
Tom Stellardca166212017-01-30 21:56:46 +00001055
1056 bool Ret = constrainSelectedInstRegOperands(*Flat, TII, TRI, RBI);
1057 I.eraseFromParent();
1058 return Ret;
1059}
1060
Matt Arsenault64642802019-07-01 15:39:27 +00001061bool AMDGPUInstructionSelector::selectG_BRCOND(MachineInstr &I) const {
1062 MachineBasicBlock *BB = I.getParent();
1063 MachineFunction *MF = BB->getParent();
1064 MachineRegisterInfo &MRI = MF->getRegInfo();
1065 MachineOperand &CondOp = I.getOperand(0);
1066 Register CondReg = CondOp.getReg();
1067 const DebugLoc &DL = I.getDebugLoc();
1068
Matt Arsenault2ab25f92019-07-01 16:06:02 +00001069 unsigned BrOpcode;
1070 Register CondPhysReg;
1071 const TargetRegisterClass *ConstrainRC;
1072
1073 // In SelectionDAG, we inspect the IR block for uniformity metadata to decide
1074 // whether the branch is uniform when selecting the instruction. In
1075 // GlobalISel, we should push that decision into RegBankSelect. Assume for now
1076 // RegBankSelect knows what it's doing if the branch condition is scc, even
1077 // though it currently does not.
Matt Arsenault64642802019-07-01 15:39:27 +00001078 if (isSCC(CondReg, MRI)) {
Matt Arsenault2ab25f92019-07-01 16:06:02 +00001079 CondPhysReg = AMDGPU::SCC;
1080 BrOpcode = AMDGPU::S_CBRANCH_SCC1;
1081 ConstrainRC = &AMDGPU::SReg_32_XM0RegClass;
1082 } else if (isVCC(CondReg, MRI)) {
1083 // FIXME: Do we have to insert an and with exec here, like in SelectionDAG?
1084 // We sort of know that a VCC producer based on the register bank, that ands
1085 // inactive lanes with 0. What if there was a logical operation with vcc
1086 // producers in different blocks/with different exec masks?
1087 // FIXME: Should scc->vcc copies and with exec?
1088 CondPhysReg = TRI.getVCC();
1089 BrOpcode = AMDGPU::S_CBRANCH_VCCNZ;
1090 ConstrainRC = TRI.getBoolRC();
1091 } else
1092 return false;
Matt Arsenault64642802019-07-01 15:39:27 +00001093
Matt Arsenault2ab25f92019-07-01 16:06:02 +00001094 if (!MRI.getRegClassOrNull(CondReg))
1095 MRI.setRegClass(CondReg, ConstrainRC);
Matt Arsenault64642802019-07-01 15:39:27 +00001096
Matt Arsenault2ab25f92019-07-01 16:06:02 +00001097 BuildMI(*BB, &I, DL, TII.get(AMDGPU::COPY), CondPhysReg)
1098 .addReg(CondReg);
1099 BuildMI(*BB, &I, DL, TII.get(BrOpcode))
1100 .addMBB(I.getOperand(1).getMBB());
1101
1102 I.eraseFromParent();
1103 return true;
Matt Arsenault64642802019-07-01 15:39:27 +00001104}
1105
Matt Arsenaultcda82f02019-07-01 15:48:18 +00001106bool AMDGPUInstructionSelector::selectG_FRAME_INDEX(MachineInstr &I) const {
1107 MachineBasicBlock *BB = I.getParent();
1108 MachineFunction *MF = BB->getParent();
1109 MachineRegisterInfo &MRI = MF->getRegInfo();
1110
1111 Register DstReg = I.getOperand(0).getReg();
1112 const RegisterBank *DstRB = RBI.getRegBank(DstReg, MRI, TRI);
1113 const bool IsVGPR = DstRB->getID() == AMDGPU::VGPRRegBankID;
1114 I.setDesc(TII.get(IsVGPR ? AMDGPU::V_MOV_B32_e32 : AMDGPU::S_MOV_B32));
1115 if (IsVGPR)
1116 I.addOperand(*MF, MachineOperand::CreateReg(AMDGPU::EXEC, false, true));
1117
1118 return RBI.constrainGenericRegister(
1119 DstReg, IsVGPR ? AMDGPU::VGPR_32RegClass : AMDGPU::SReg_32RegClass, MRI);
1120}
1121
Daniel Sandersf76f3152017-11-16 00:46:35 +00001122bool AMDGPUInstructionSelector::select(MachineInstr &I,
1123 CodeGenCoverage &CoverageInfo) const {
Matt Arsenaulte1006252019-07-01 16:32:47 +00001124 if (I.isPHI())
1125 return selectPHI(I);
Tom Stellardca166212017-01-30 21:56:46 +00001126
Tom Stellard7712ee82018-06-22 00:44:29 +00001127 if (!isPreISelGenericOpcode(I.getOpcode())) {
1128 if (I.isCopy())
1129 return selectCOPY(I);
Tom Stellardca166212017-01-30 21:56:46 +00001130 return true;
Tom Stellard7712ee82018-06-22 00:44:29 +00001131 }
Tom Stellardca166212017-01-30 21:56:46 +00001132
1133 switch (I.getOpcode()) {
Tom Stellard9e9dd302019-07-01 16:09:33 +00001134 case TargetOpcode::G_ADD:
1135 if (selectG_ADD(I))
1136 return true;
1137 LLVM_FALLTHROUGH;
Tom Stellardca166212017-01-30 21:56:46 +00001138 default:
Tom Stellard1dc90202018-05-10 20:53:06 +00001139 return selectImpl(I, CoverageInfo);
Tom Stellard7c650782018-10-05 04:34:09 +00001140 case TargetOpcode::G_INTTOPTR:
Tom Stellard1e0edad2018-05-10 21:20:10 +00001141 case TargetOpcode::G_BITCAST:
1142 return selectCOPY(I);
Tom Stellardca166212017-01-30 21:56:46 +00001143 case TargetOpcode::G_CONSTANT:
Tom Stellarde182b282018-05-15 17:57:09 +00001144 case TargetOpcode::G_FCONSTANT:
Tom Stellardca166212017-01-30 21:56:46 +00001145 return selectG_CONSTANT(I);
Tom Stellard41f32192019-02-28 23:37:48 +00001146 case TargetOpcode::G_EXTRACT:
1147 return selectG_EXTRACT(I);
Tom Stellardca166212017-01-30 21:56:46 +00001148 case TargetOpcode::G_GEP:
1149 return selectG_GEP(I);
Tom Stellard3f1c6fe2018-06-21 23:38:20 +00001150 case TargetOpcode::G_IMPLICIT_DEF:
1151 return selectG_IMPLICIT_DEF(I);
Tom Stellard33634d1b2019-03-01 00:50:26 +00001152 case TargetOpcode::G_INSERT:
1153 return selectG_INSERT(I);
Tom Stellarda9284732018-06-14 19:26:37 +00001154 case TargetOpcode::G_INTRINSIC:
1155 return selectG_INTRINSIC(I, CoverageInfo);
Tom Stellard390a5f42018-07-13 21:05:14 +00001156 case TargetOpcode::G_INTRINSIC_W_SIDE_EFFECTS:
1157 return selectG_INTRINSIC_W_SIDE_EFFECTS(I, CoverageInfo);
Tom Stellard8b1c53b2019-06-17 16:27:43 +00001158 case TargetOpcode::G_ICMP:
Matt Arsenault3b7668a2019-07-01 13:34:26 +00001159 if (selectG_ICMP(I))
1160 return true;
1161 return selectImpl(I, CoverageInfo);
Tom Stellardca166212017-01-30 21:56:46 +00001162 case TargetOpcode::G_LOAD:
Tom Stellard79b5c382019-02-20 21:02:37 +00001163 if (selectImpl(I, CoverageInfo))
1164 return true;
Tom Stellardca166212017-01-30 21:56:46 +00001165 return selectG_LOAD(I);
Tom Stellard8b1c53b2019-06-17 16:27:43 +00001166 case TargetOpcode::G_SELECT:
1167 return selectG_SELECT(I);
Tom Stellardca166212017-01-30 21:56:46 +00001168 case TargetOpcode::G_STORE:
1169 return selectG_STORE(I);
Matt Arsenaultdbb6c032019-06-24 18:02:18 +00001170 case TargetOpcode::G_TRUNC:
1171 return selectG_TRUNC(I);
Matt Arsenaultd7ffa2a2019-06-25 13:18:11 +00001172 case TargetOpcode::G_SEXT:
1173 case TargetOpcode::G_ZEXT:
1174 case TargetOpcode::G_ANYEXT:
1175 if (selectG_SZA_EXT(I)) {
1176 I.eraseFromParent();
1177 return true;
1178 }
1179
1180 return false;
Matt Arsenault64642802019-07-01 15:39:27 +00001181 case TargetOpcode::G_BRCOND:
1182 return selectG_BRCOND(I);
Matt Arsenaultcda82f02019-07-01 15:48:18 +00001183 case TargetOpcode::G_FRAME_INDEX:
1184 return selectG_FRAME_INDEX(I);
Matt Arsenaulted633992019-07-02 14:17:38 +00001185 case TargetOpcode::G_FENCE:
1186 // FIXME: Tablegen importer doesn't handle the imm operands correctly, and
1187 // is checking for G_CONSTANT
1188 I.setDesc(TII.get(AMDGPU::ATOMIC_FENCE));
1189 return true;
Tom Stellardca166212017-01-30 21:56:46 +00001190 }
1191 return false;
1192}
Tom Stellard1dc90202018-05-10 20:53:06 +00001193
Tom Stellard26fac0f2018-06-22 02:54:57 +00001194InstructionSelector::ComplexRendererFns
1195AMDGPUInstructionSelector::selectVCSRC(MachineOperand &Root) const {
1196 return {{
1197 [=](MachineInstrBuilder &MIB) { MIB.add(Root); }
1198 }};
1199
1200}
1201
Matt Arsenault4f64ade2019-07-01 15:18:56 +00001202std::pair<Register, unsigned>
1203AMDGPUInstructionSelector::selectVOP3ModsImpl(
1204 Register Src, const MachineRegisterInfo &MRI) const {
1205 unsigned Mods = 0;
1206 MachineInstr *MI = MRI.getVRegDef(Src);
1207
1208 if (MI && MI->getOpcode() == AMDGPU::G_FNEG) {
1209 Src = MI->getOperand(1).getReg();
1210 Mods |= SISrcMods::NEG;
1211 MI = MRI.getVRegDef(Src);
1212 }
1213
1214 if (MI && MI->getOpcode() == AMDGPU::G_FABS) {
1215 Src = MI->getOperand(1).getReg();
1216 Mods |= SISrcMods::ABS;
1217 }
1218
1219 return std::make_pair(Src, Mods);
1220}
1221
Tom Stellard1dc90202018-05-10 20:53:06 +00001222///
1223/// This will select either an SGPR or VGPR operand and will save us from
1224/// having to write an extra tablegen pattern.
1225InstructionSelector::ComplexRendererFns
1226AMDGPUInstructionSelector::selectVSRC0(MachineOperand &Root) const {
1227 return {{
1228 [=](MachineInstrBuilder &MIB) { MIB.add(Root); }
1229 }};
1230}
Tom Stellarddcc95e92018-05-11 05:44:16 +00001231
1232InstructionSelector::ComplexRendererFns
1233AMDGPUInstructionSelector::selectVOP3Mods0(MachineOperand &Root) const {
Matt Arsenault4f64ade2019-07-01 15:18:56 +00001234 MachineRegisterInfo &MRI
1235 = Root.getParent()->getParent()->getParent()->getRegInfo();
1236
1237 Register Src;
1238 unsigned Mods;
1239 std::tie(Src, Mods) = selectVOP3ModsImpl(Root.getReg(), MRI);
1240
Tom Stellarddcc95e92018-05-11 05:44:16 +00001241 return {{
Matt Arsenault4f64ade2019-07-01 15:18:56 +00001242 [=](MachineInstrBuilder &MIB) { MIB.addReg(Src); },
1243 [=](MachineInstrBuilder &MIB) { MIB.addImm(Mods); }, // src0_mods
1244 [=](MachineInstrBuilder &MIB) { MIB.addImm(0); }, // clamp
1245 [=](MachineInstrBuilder &MIB) { MIB.addImm(0); } // omod
Tom Stellarddcc95e92018-05-11 05:44:16 +00001246 }};
1247}
Tom Stellard9a653572018-06-22 02:34:29 +00001248InstructionSelector::ComplexRendererFns
1249AMDGPUInstructionSelector::selectVOP3OMods(MachineOperand &Root) const {
1250 return {{
1251 [=](MachineInstrBuilder &MIB) { MIB.add(Root); },
1252 [=](MachineInstrBuilder &MIB) { MIB.addImm(0); }, // clamp
1253 [=](MachineInstrBuilder &MIB) { MIB.addImm(0); } // omod
1254 }};
1255}
Tom Stellard46bbbc32018-06-13 22:30:47 +00001256
1257InstructionSelector::ComplexRendererFns
1258AMDGPUInstructionSelector::selectVOP3Mods(MachineOperand &Root) const {
Matt Arsenault4f64ade2019-07-01 15:18:56 +00001259 MachineRegisterInfo &MRI
1260 = Root.getParent()->getParent()->getParent()->getRegInfo();
1261
1262 Register Src;
1263 unsigned Mods;
1264 std::tie(Src, Mods) = selectVOP3ModsImpl(Root.getReg(), MRI);
1265
Tom Stellard46bbbc32018-06-13 22:30:47 +00001266 return {{
Matt Arsenault4f64ade2019-07-01 15:18:56 +00001267 [=](MachineInstrBuilder &MIB) { MIB.addReg(Src); },
1268 [=](MachineInstrBuilder &MIB) { MIB.addImm(Mods); } // src_mods
Tom Stellard46bbbc32018-06-13 22:30:47 +00001269 }};
1270}
Tom Stellard79b5c382019-02-20 21:02:37 +00001271
1272InstructionSelector::ComplexRendererFns
1273AMDGPUInstructionSelector::selectSmrdImm(MachineOperand &Root) const {
1274 MachineRegisterInfo &MRI =
1275 Root.getParent()->getParent()->getParent()->getRegInfo();
1276
1277 SmallVector<GEPInfo, 4> AddrInfo;
1278 getAddrModeInfo(*Root.getParent(), MRI, AddrInfo);
1279
1280 if (AddrInfo.empty() || AddrInfo[0].SgprParts.size() != 1)
1281 return None;
1282
1283 const GEPInfo &GEPInfo = AddrInfo[0];
1284
1285 if (!AMDGPU::isLegalSMRDImmOffset(STI, GEPInfo.Imm))
1286 return None;
1287
1288 unsigned PtrReg = GEPInfo.SgprParts[0];
1289 int64_t EncodedImm = AMDGPU::getSMRDEncodedOffset(STI, GEPInfo.Imm);
1290 return {{
1291 [=](MachineInstrBuilder &MIB) { MIB.addReg(PtrReg); },
1292 [=](MachineInstrBuilder &MIB) { MIB.addImm(EncodedImm); }
1293 }};
1294}
1295
1296InstructionSelector::ComplexRendererFns
1297AMDGPUInstructionSelector::selectSmrdImm32(MachineOperand &Root) const {
1298 MachineRegisterInfo &MRI =
1299 Root.getParent()->getParent()->getParent()->getRegInfo();
1300
1301 SmallVector<GEPInfo, 4> AddrInfo;
1302 getAddrModeInfo(*Root.getParent(), MRI, AddrInfo);
1303
1304 if (AddrInfo.empty() || AddrInfo[0].SgprParts.size() != 1)
1305 return None;
1306
1307 const GEPInfo &GEPInfo = AddrInfo[0];
1308 unsigned PtrReg = GEPInfo.SgprParts[0];
1309 int64_t EncodedImm = AMDGPU::getSMRDEncodedOffset(STI, GEPInfo.Imm);
1310 if (!isUInt<32>(EncodedImm))
1311 return None;
1312
1313 return {{
1314 [=](MachineInstrBuilder &MIB) { MIB.addReg(PtrReg); },
1315 [=](MachineInstrBuilder &MIB) { MIB.addImm(EncodedImm); }
1316 }};
1317}
1318
1319InstructionSelector::ComplexRendererFns
1320AMDGPUInstructionSelector::selectSmrdSgpr(MachineOperand &Root) const {
1321 MachineInstr *MI = Root.getParent();
1322 MachineBasicBlock *MBB = MI->getParent();
1323 MachineRegisterInfo &MRI = MBB->getParent()->getRegInfo();
1324
1325 SmallVector<GEPInfo, 4> AddrInfo;
1326 getAddrModeInfo(*MI, MRI, AddrInfo);
1327
1328 // FIXME: We should shrink the GEP if the offset is known to be <= 32-bits,
1329 // then we can select all ptr + 32-bit offsets not just immediate offsets.
1330 if (AddrInfo.empty() || AddrInfo[0].SgprParts.size() != 1)
1331 return None;
1332
1333 const GEPInfo &GEPInfo = AddrInfo[0];
1334 if (!GEPInfo.Imm || !isUInt<32>(GEPInfo.Imm))
1335 return None;
1336
1337 // If we make it this far we have a load with an 32-bit immediate offset.
1338 // It is OK to select this using a sgpr offset, because we have already
1339 // failed trying to select this load into one of the _IMM variants since
1340 // the _IMM Patterns are considered before the _SGPR patterns.
1341 unsigned PtrReg = GEPInfo.SgprParts[0];
1342 unsigned OffsetReg = MRI.createVirtualRegister(&AMDGPU::SReg_32_XM0RegClass);
1343 BuildMI(*MBB, MI, MI->getDebugLoc(), TII.get(AMDGPU::S_MOV_B32), OffsetReg)
1344 .addImm(GEPInfo.Imm);
1345 return {{
1346 [=](MachineInstrBuilder &MIB) { MIB.addReg(PtrReg); },
1347 [=](MachineInstrBuilder &MIB) { MIB.addReg(OffsetReg); }
1348 }};
1349}