blob: 6143631856be18410bafc3a7c5054a1af521710e [file] [log] [blame]
Matt Arsenault7836f892016-01-20 21:22:21 +00001//===-- AMDGPUISelDAGToDAG.cpp - A dag to dag inst selector for AMDGPU ----===//
Tom Stellard75aadc22012-12-11 21:25:42 +00002//
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 Defines an instruction selector for the AMDGPU target.
12//
13//===----------------------------------------------------------------------===//
Matt Arsenault592d0682015-12-01 23:04:05 +000014
Tom Stellard75aadc22012-12-11 21:25:42 +000015#include "AMDGPUInstrInfo.h"
Tom Stellardbc4497b2016-02-12 23:45:29 +000016#include "AMDGPUIntrinsicInfo.h"
Tom Stellard75aadc22012-12-11 21:25:42 +000017#include "AMDGPUISelLowering.h" // For AMDGPUISD
Tom Stellard2e59a452014-06-13 01:32:00 +000018#include "AMDGPUSubtarget.h"
Christian Konigf82901a2013-02-26 17:52:23 +000019#include "SIISelLowering.h"
Tom Stellardb02094e2014-07-21 15:45:01 +000020#include "SIMachineFunctionInfo.h"
Jan Veselyf97de002016-05-13 20:39:29 +000021#include "llvm/Analysis/ValueTracking.h"
Tom Stellard58ac7442014-04-29 23:12:48 +000022#include "llvm/CodeGen/FunctionLoweringInfo.h"
Matt Arsenaultf43c2a02016-03-23 21:49:25 +000023#include "llvm/CodeGen/MachineFrameInfo.h"
Matt Arsenaultd9d659a2015-11-03 22:30:08 +000024#include "llvm/CodeGen/PseudoSourceValue.h"
Benjamin Kramerd78bb462013-05-23 17:10:37 +000025#include "llvm/CodeGen/SelectionDAG.h"
Tom Stellard75aadc22012-12-11 21:25:42 +000026#include "llvm/CodeGen/SelectionDAGISel.h"
Oliver Stannard7e7d9832016-02-02 13:52:43 +000027#include "llvm/IR/DiagnosticInfo.h"
Tom Stellard75aadc22012-12-11 21:25:42 +000028
29using namespace llvm;
30
Matt Arsenaultd2759212016-02-13 01:24:08 +000031namespace llvm {
32class R600InstrInfo;
33}
34
Tom Stellard75aadc22012-12-11 21:25:42 +000035//===----------------------------------------------------------------------===//
36// Instruction Selector Implementation
37//===----------------------------------------------------------------------===//
38
39namespace {
Tom Stellardbc4497b2016-02-12 23:45:29 +000040
41static bool isCBranchSCC(const SDNode *N) {
42 assert(N->getOpcode() == ISD::BRCOND);
43 if (!N->hasOneUse())
44 return false;
45
46 SDValue Cond = N->getOperand(1);
47 if (Cond.getOpcode() == ISD::CopyToReg)
48 Cond = Cond.getOperand(2);
49 return Cond.getOpcode() == ISD::SETCC &&
50 Cond.getOperand(0).getValueType() == MVT::i32 &&
51 Cond.hasOneUse();
52}
53
Tom Stellard75aadc22012-12-11 21:25:42 +000054/// AMDGPU specific code to select AMDGPU machine instructions for
55/// SelectionDAG operations.
56class AMDGPUDAGToDAGISel : public SelectionDAGISel {
57 // Subtarget - Keep a pointer to the AMDGPU Subtarget around so that we can
58 // make the right decision when generating code for different targets.
Eric Christopher7792e322015-01-30 23:24:40 +000059 const AMDGPUSubtarget *Subtarget;
NAKAMURA Takumia9cb5382015-09-22 11:14:39 +000060
Tom Stellard75aadc22012-12-11 21:25:42 +000061public:
62 AMDGPUDAGToDAGISel(TargetMachine &TM);
63 virtual ~AMDGPUDAGToDAGISel();
Eric Christopher7792e322015-01-30 23:24:40 +000064 bool runOnMachineFunction(MachineFunction &MF) override;
Justin Bogner95927c02016-05-12 21:03:32 +000065 void Select(SDNode *N) override;
Craig Topper5656db42014-04-29 07:57:24 +000066 const char *getPassName() const override;
Matt Arsenault4bf43d42015-09-25 17:27:08 +000067 void PreprocessISelDAG() override;
Craig Topper5656db42014-04-29 07:57:24 +000068 void PostprocessISelDAG() override;
Tom Stellard75aadc22012-12-11 21:25:42 +000069
70private:
Tom Stellard7ed0b522014-04-03 20:19:27 +000071 bool isInlineImmediate(SDNode *N) const;
Vincent Lejeunec6896792013-06-04 23:17:15 +000072 bool FoldOperand(SDValue &Src, SDValue &Sel, SDValue &Neg, SDValue &Abs,
Tom Stellard84021442013-07-23 01:48:24 +000073 const R600InstrInfo *TII);
Tom Stellard365366f2013-01-23 02:09:06 +000074 bool FoldOperands(unsigned, const R600InstrInfo *, std::vector<SDValue> &);
Vincent Lejeunec6896792013-06-04 23:17:15 +000075 bool FoldDotOperands(unsigned, const R600InstrInfo *, std::vector<SDValue> &);
Tom Stellard75aadc22012-12-11 21:25:42 +000076
77 // Complex pattern selectors
78 bool SelectADDRParam(SDValue Addr, SDValue& R1, SDValue& R2);
79 bool SelectADDR(SDValue N, SDValue &R1, SDValue &R2);
80 bool SelectADDR64(SDValue N, SDValue &R1, SDValue &R2);
81
82 static bool checkType(const Value *ptr, unsigned int addrspace);
Nick Lewyckyaad475b2014-04-15 07:22:52 +000083 static bool checkPrivateAddress(const MachineMemOperand *Op);
Tom Stellard75aadc22012-12-11 21:25:42 +000084
Jan Vesely43b7b5b2016-04-07 19:23:11 +000085 static bool isGlobalStore(const MemSDNode *N);
86 static bool isFlatStore(const MemSDNode *N);
Tom Stellard75aadc22012-12-11 21:25:42 +000087 static bool isPrivateStore(const StoreSDNode *N);
88 static bool isLocalStore(const StoreSDNode *N);
89 static bool isRegionStore(const StoreSDNode *N);
90
Matt Arsenault2aabb062013-06-18 23:37:58 +000091 bool isCPLoad(const LoadSDNode *N) const;
Jan Vesely43b7b5b2016-04-07 19:23:11 +000092 bool isConstantLoad(const MemSDNode *N, int cbID) const;
93 bool isGlobalLoad(const MemSDNode *N) const;
94 bool isFlatLoad(const MemSDNode *N) const;
Matt Arsenault2aabb062013-06-18 23:37:58 +000095 bool isParamLoad(const LoadSDNode *N) const;
96 bool isPrivateLoad(const LoadSDNode *N) const;
97 bool isLocalLoad(const LoadSDNode *N) const;
98 bool isRegionLoad(const LoadSDNode *N) const;
Tom Stellard75aadc22012-12-11 21:25:42 +000099
Tom Stellardbc4497b2016-02-12 23:45:29 +0000100 bool isUniformBr(const SDNode *N) const;
101
Tom Stellard381a94a2015-05-12 15:00:49 +0000102 SDNode *glueCopyToM0(SDNode *N) const;
103
Tom Stellarddf94dc32013-08-14 23:24:24 +0000104 const TargetRegisterClass *getOperandRegClass(SDNode *N, unsigned OpNo) const;
Tom Stellard365366f2013-01-23 02:09:06 +0000105 bool SelectGlobalValueConstantOffset(SDValue Addr, SDValue& IntPtr);
Matt Arsenault209a7b92014-04-18 07:40:20 +0000106 bool SelectGlobalValueVariableOffset(SDValue Addr, SDValue &BaseReg,
107 SDValue& Offset);
Tom Stellard75aadc22012-12-11 21:25:42 +0000108 bool SelectADDRVTX_READ(SDValue Addr, SDValue &Base, SDValue &Offset);
Tom Stellardf3b2a1e2013-02-06 17:32:29 +0000109 bool SelectADDRIndirect(SDValue Addr, SDValue &Base, SDValue &Offset);
Tom Stellard85e8b6d2014-08-22 18:49:33 +0000110 bool isDSOffsetLegal(const SDValue &Base, unsigned Offset,
111 unsigned OffsetBits) const;
112 bool SelectDS1Addr1Offset(SDValue Ptr, SDValue &Base, SDValue &Offset) const;
Tom Stellardf3fc5552014-08-22 18:49:35 +0000113 bool SelectDS64Bit4ByteAligned(SDValue Ptr, SDValue &Base, SDValue &Offset0,
114 SDValue &Offset1) const;
Changpeng Fangb41574a2015-12-22 20:55:23 +0000115 bool SelectMUBUF(SDValue Addr, SDValue &SRsrc, SDValue &VAddr,
Tom Stellard155bbb72014-08-11 22:18:17 +0000116 SDValue &SOffset, SDValue &Offset, SDValue &Offen,
117 SDValue &Idxen, SDValue &Addr64, SDValue &GLC, SDValue &SLC,
118 SDValue &TFE) const;
119 bool SelectMUBUFAddr64(SDValue Addr, SDValue &SRsrc, SDValue &VAddr,
Tom Stellard1f9939f2015-02-27 14:59:41 +0000120 SDValue &SOffset, SDValue &Offset, SDValue &GLC,
121 SDValue &SLC, SDValue &TFE) const;
Tom Stellard7980fc82014-09-25 18:30:26 +0000122 bool SelectMUBUFAddr64(SDValue Addr, SDValue &SRsrc,
Tom Stellardc53861a2015-02-11 00:34:32 +0000123 SDValue &VAddr, SDValue &SOffset, SDValue &Offset,
Tom Stellard7980fc82014-09-25 18:30:26 +0000124 SDValue &SLC) const;
Tom Stellardb02094e2014-07-21 15:45:01 +0000125 bool SelectMUBUFScratch(SDValue Addr, SDValue &RSrc, SDValue &VAddr,
126 SDValue &SOffset, SDValue &ImmOffset) const;
Tom Stellard155bbb72014-08-11 22:18:17 +0000127 bool SelectMUBUFOffset(SDValue Addr, SDValue &SRsrc, SDValue &SOffset,
128 SDValue &Offset, SDValue &GLC, SDValue &SLC,
Tom Stellardb02094e2014-07-21 15:45:01 +0000129 SDValue &TFE) const;
Tom Stellard7980fc82014-09-25 18:30:26 +0000130 bool SelectMUBUFOffset(SDValue Addr, SDValue &SRsrc, SDValue &Soffset,
Matt Arsenault88701812016-06-09 23:42:48 +0000131 SDValue &Offset, SDValue &SLC) const;
Jan Vesely43b7b5b2016-04-07 19:23:11 +0000132 bool SelectMUBUFOffset(SDValue Addr, SDValue &SRsrc, SDValue &Soffset,
133 SDValue &Offset) const;
Nicolai Haehnle3003ba02016-03-18 16:24:20 +0000134 void SelectMUBUFConstant(SDValue Constant,
135 SDValue &SOffset,
136 SDValue &ImmOffset) const;
137 bool SelectMUBUFIntrinsicOffset(SDValue Offset, SDValue &SOffset,
138 SDValue &ImmOffset) const;
139 bool SelectMUBUFIntrinsicVOffset(SDValue Offset, SDValue &SOffset,
140 SDValue &ImmOffset, SDValue &VOffset) const;
Tom Stellarddee26a22015-08-06 19:28:30 +0000141 bool SelectSMRDOffset(SDValue ByteOffsetNode, SDValue &Offset,
142 bool &Imm) const;
143 bool SelectSMRD(SDValue Addr, SDValue &SBase, SDValue &Offset,
144 bool &Imm) const;
145 bool SelectSMRDImm(SDValue Addr, SDValue &SBase, SDValue &Offset) const;
Tom Stellard217361c2015-08-06 19:28:38 +0000146 bool SelectSMRDImm32(SDValue Addr, SDValue &SBase, SDValue &Offset) const;
Tom Stellarddee26a22015-08-06 19:28:30 +0000147 bool SelectSMRDSgpr(SDValue Addr, SDValue &SBase, SDValue &Offset) const;
148 bool SelectSMRDBufferImm(SDValue Addr, SDValue &Offset) const;
Tom Stellard217361c2015-08-06 19:28:38 +0000149 bool SelectSMRDBufferImm32(SDValue Addr, SDValue &Offset) const;
Tom Stellarddee26a22015-08-06 19:28:30 +0000150 bool SelectSMRDBufferSgpr(SDValue Addr, SDValue &Offset) const;
Tom Stellardb4a313a2014-08-01 00:32:39 +0000151 bool SelectVOP3Mods(SDValue In, SDValue &Src, SDValue &SrcMods) const;
Tom Stellarddb5a11f2015-07-13 15:47:57 +0000152 bool SelectVOP3NoMods(SDValue In, SDValue &Src, SDValue &SrcMods) const;
Tom Stellardb4a313a2014-08-01 00:32:39 +0000153 bool SelectVOP3Mods0(SDValue In, SDValue &Src, SDValue &SrcMods,
154 SDValue &Clamp, SDValue &Omod) const;
Tom Stellarddb5a11f2015-07-13 15:47:57 +0000155 bool SelectVOP3NoMods0(SDValue In, SDValue &Src, SDValue &SrcMods,
156 SDValue &Clamp, SDValue &Omod) const;
Tom Stellard75aadc22012-12-11 21:25:42 +0000157
Matt Arsenault1cffa4c2014-11-13 19:49:04 +0000158 bool SelectVOP3Mods0Clamp(SDValue In, SDValue &Src, SDValue &SrcMods,
159 SDValue &Omod) const;
Matt Arsenault4831ce52015-01-06 23:00:37 +0000160 bool SelectVOP3Mods0Clamp0OMod(SDValue In, SDValue &Src, SDValue &SrcMods,
161 SDValue &Clamp,
162 SDValue &Omod) const;
Matt Arsenault1cffa4c2014-11-13 19:49:04 +0000163
Justin Bogner95927c02016-05-12 21:03:32 +0000164 void SelectADD_SUB_I64(SDNode *N);
165 void SelectDIV_SCALE(SDNode *N);
Matt Arsenault9fa3f932014-06-23 18:00:34 +0000166
Marek Olsak9b728682015-03-24 13:40:27 +0000167 SDNode *getS_BFE(unsigned Opcode, SDLoc DL, SDValue Val,
168 uint32_t Offset, uint32_t Width);
Justin Bogner95927c02016-05-12 21:03:32 +0000169 void SelectS_BFEFromShifts(SDNode *N);
170 void SelectS_BFE(SDNode *N);
171 void SelectBRCOND(SDNode *N);
Matt Arsenault88701812016-06-09 23:42:48 +0000172 void SelectATOMIC_CMP_SWAP(SDNode *N);
Marek Olsak9b728682015-03-24 13:40:27 +0000173
Tom Stellard75aadc22012-12-11 21:25:42 +0000174 // Include the pieces autogenerated from the target description.
175#include "AMDGPUGenDAGISel.inc"
176};
177} // end anonymous namespace
178
179/// \brief This pass converts a legalized DAG into a AMDGPU-specific
180// DAG, ready for instruction scheduling.
Matt Arsenault209a7b92014-04-18 07:40:20 +0000181FunctionPass *llvm::createAMDGPUISelDag(TargetMachine &TM) {
Tom Stellard75aadc22012-12-11 21:25:42 +0000182 return new AMDGPUDAGToDAGISel(TM);
183}
184
Bill Wendlinga3cd3502013-06-19 21:36:55 +0000185AMDGPUDAGToDAGISel::AMDGPUDAGToDAGISel(TargetMachine &TM)
Eric Christopher7792e322015-01-30 23:24:40 +0000186 : SelectionDAGISel(TM) {}
187
188bool AMDGPUDAGToDAGISel::runOnMachineFunction(MachineFunction &MF) {
189 Subtarget = &static_cast<const AMDGPUSubtarget &>(MF.getSubtarget());
190 return SelectionDAGISel::runOnMachineFunction(MF);
Tom Stellard75aadc22012-12-11 21:25:42 +0000191}
192
193AMDGPUDAGToDAGISel::~AMDGPUDAGToDAGISel() {
194}
195
Tom Stellard7ed0b522014-04-03 20:19:27 +0000196bool AMDGPUDAGToDAGISel::isInlineImmediate(SDNode *N) const {
197 const SITargetLowering *TL
198 = static_cast<const SITargetLowering *>(getTargetLowering());
199 return TL->analyzeImmediate(N) == 0;
200}
201
Tom Stellarddf94dc32013-08-14 23:24:24 +0000202/// \brief Determine the register class for \p OpNo
203/// \returns The register class of the virtual register that will be used for
204/// the given operand number \OpNo or NULL if the register class cannot be
205/// determined.
206const TargetRegisterClass *AMDGPUDAGToDAGISel::getOperandRegClass(SDNode *N,
207 unsigned OpNo) const {
Matt Arsenault209a7b92014-04-18 07:40:20 +0000208 if (!N->isMachineOpcode())
209 return nullptr;
210
Tom Stellarddf94dc32013-08-14 23:24:24 +0000211 switch (N->getMachineOpcode()) {
212 default: {
Eric Christopherd9134482014-08-04 21:25:23 +0000213 const MCInstrDesc &Desc =
Eric Christopher7792e322015-01-30 23:24:40 +0000214 Subtarget->getInstrInfo()->get(N->getMachineOpcode());
Alexey Samsonov3186eb32013-08-15 07:11:34 +0000215 unsigned OpIdx = Desc.getNumDefs() + OpNo;
216 if (OpIdx >= Desc.getNumOperands())
Matt Arsenault209a7b92014-04-18 07:40:20 +0000217 return nullptr;
Alexey Samsonov3186eb32013-08-15 07:11:34 +0000218 int RegClass = Desc.OpInfo[OpIdx].RegClass;
Matt Arsenault209a7b92014-04-18 07:40:20 +0000219 if (RegClass == -1)
220 return nullptr;
221
Eric Christopher7792e322015-01-30 23:24:40 +0000222 return Subtarget->getRegisterInfo()->getRegClass(RegClass);
Tom Stellarddf94dc32013-08-14 23:24:24 +0000223 }
224 case AMDGPU::REG_SEQUENCE: {
Matt Arsenault209a7b92014-04-18 07:40:20 +0000225 unsigned RCID = cast<ConstantSDNode>(N->getOperand(0))->getZExtValue();
Eric Christopherd9134482014-08-04 21:25:23 +0000226 const TargetRegisterClass *SuperRC =
Eric Christopher7792e322015-01-30 23:24:40 +0000227 Subtarget->getRegisterInfo()->getRegClass(RCID);
Matt Arsenault209a7b92014-04-18 07:40:20 +0000228
229 SDValue SubRegOp = N->getOperand(OpNo + 1);
230 unsigned SubRegIdx = cast<ConstantSDNode>(SubRegOp)->getZExtValue();
Eric Christopher7792e322015-01-30 23:24:40 +0000231 return Subtarget->getRegisterInfo()->getSubClassWithSubReg(SuperRC,
232 SubRegIdx);
Tom Stellarddf94dc32013-08-14 23:24:24 +0000233 }
234 }
235}
236
Tom Stellard75aadc22012-12-11 21:25:42 +0000237bool AMDGPUDAGToDAGISel::SelectADDRParam(
Matt Arsenault209a7b92014-04-18 07:40:20 +0000238 SDValue Addr, SDValue& R1, SDValue& R2) {
Tom Stellard75aadc22012-12-11 21:25:42 +0000239
240 if (Addr.getOpcode() == ISD::FrameIndex) {
241 if (FrameIndexSDNode *FIN = dyn_cast<FrameIndexSDNode>(Addr)) {
242 R1 = CurDAG->getTargetFrameIndex(FIN->getIndex(), MVT::i32);
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000243 R2 = CurDAG->getTargetConstant(0, SDLoc(Addr), MVT::i32);
Tom Stellard75aadc22012-12-11 21:25:42 +0000244 } else {
245 R1 = Addr;
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000246 R2 = CurDAG->getTargetConstant(0, SDLoc(Addr), MVT::i32);
Tom Stellard75aadc22012-12-11 21:25:42 +0000247 }
248 } else if (Addr.getOpcode() == ISD::ADD) {
249 R1 = Addr.getOperand(0);
250 R2 = Addr.getOperand(1);
251 } else {
252 R1 = Addr;
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000253 R2 = CurDAG->getTargetConstant(0, SDLoc(Addr), MVT::i32);
Tom Stellard75aadc22012-12-11 21:25:42 +0000254 }
255 return true;
256}
257
258bool AMDGPUDAGToDAGISel::SelectADDR(SDValue Addr, SDValue& R1, SDValue& R2) {
259 if (Addr.getOpcode() == ISD::TargetExternalSymbol ||
260 Addr.getOpcode() == ISD::TargetGlobalAddress) {
261 return false;
262 }
263 return SelectADDRParam(Addr, R1, R2);
264}
265
266
267bool AMDGPUDAGToDAGISel::SelectADDR64(SDValue Addr, SDValue& R1, SDValue& R2) {
268 if (Addr.getOpcode() == ISD::TargetExternalSymbol ||
269 Addr.getOpcode() == ISD::TargetGlobalAddress) {
270 return false;
271 }
272
273 if (Addr.getOpcode() == ISD::FrameIndex) {
274 if (FrameIndexSDNode *FIN = dyn_cast<FrameIndexSDNode>(Addr)) {
275 R1 = CurDAG->getTargetFrameIndex(FIN->getIndex(), MVT::i64);
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000276 R2 = CurDAG->getTargetConstant(0, SDLoc(Addr), MVT::i64);
Tom Stellard75aadc22012-12-11 21:25:42 +0000277 } else {
278 R1 = Addr;
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000279 R2 = CurDAG->getTargetConstant(0, SDLoc(Addr), MVT::i64);
Tom Stellard75aadc22012-12-11 21:25:42 +0000280 }
281 } else if (Addr.getOpcode() == ISD::ADD) {
282 R1 = Addr.getOperand(0);
283 R2 = Addr.getOperand(1);
284 } else {
285 R1 = Addr;
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000286 R2 = CurDAG->getTargetConstant(0, SDLoc(Addr), MVT::i64);
Tom Stellard75aadc22012-12-11 21:25:42 +0000287 }
288 return true;
289}
290
Tom Stellard381a94a2015-05-12 15:00:49 +0000291SDNode *AMDGPUDAGToDAGISel::glueCopyToM0(SDNode *N) const {
292 if (Subtarget->getGeneration() < AMDGPUSubtarget::SOUTHERN_ISLANDS ||
293 !checkType(cast<MemSDNode>(N)->getMemOperand()->getValue(),
294 AMDGPUAS::LOCAL_ADDRESS))
295 return N;
296
297 const SITargetLowering& Lowering =
298 *static_cast<const SITargetLowering*>(getTargetLowering());
299
300 // Write max value to m0 before each load operation
301
302 SDValue M0 = Lowering.copyToM0(*CurDAG, CurDAG->getEntryNode(), SDLoc(N),
303 CurDAG->getTargetConstant(-1, SDLoc(N), MVT::i32));
304
305 SDValue Glue = M0.getValue(1);
306
307 SmallVector <SDValue, 8> Ops;
308 for (unsigned i = 0, e = N->getNumOperands(); i != e; ++i) {
309 Ops.push_back(N->getOperand(i));
310 }
311 Ops.push_back(Glue);
312 CurDAG->MorphNodeTo(N, N->getOpcode(), N->getVTList(), Ops);
313
314 return N;
315}
316
Matt Arsenault61cb6fa2015-11-11 00:01:36 +0000317static unsigned selectSGPRVectorRegClassID(unsigned NumVectorElts) {
Matt Arsenaultf1aebbf2015-11-02 23:30:48 +0000318 switch (NumVectorElts) {
319 case 1:
320 return AMDGPU::SReg_32RegClassID;
321 case 2:
322 return AMDGPU::SReg_64RegClassID;
323 case 4:
324 return AMDGPU::SReg_128RegClassID;
325 case 8:
326 return AMDGPU::SReg_256RegClassID;
327 case 16:
328 return AMDGPU::SReg_512RegClassID;
329 }
330
331 llvm_unreachable("invalid vector size");
332}
333
Justin Bogner95927c02016-05-12 21:03:32 +0000334void AMDGPUDAGToDAGISel::Select(SDNode *N) {
Tom Stellard75aadc22012-12-11 21:25:42 +0000335 unsigned int Opc = N->getOpcode();
336 if (N->isMachineOpcode()) {
Tim Northover31d093c2013-09-22 08:21:56 +0000337 N->setNodeId(-1);
Justin Bogner95927c02016-05-12 21:03:32 +0000338 return; // Already selected.
Tom Stellard75aadc22012-12-11 21:25:42 +0000339 }
Matt Arsenault78b86702014-04-18 05:19:26 +0000340
Matt Arsenaulta9dbdca2016-04-12 14:05:04 +0000341 if (isa<AtomicSDNode>(N) ||
342 (Opc == AMDGPUISD::ATOMIC_INC || Opc == AMDGPUISD::ATOMIC_DEC))
Tom Stellard381a94a2015-05-12 15:00:49 +0000343 N = glueCopyToM0(N);
344
Tom Stellard75aadc22012-12-11 21:25:42 +0000345 switch (Opc) {
346 default: break;
Tom Stellard1f15bff2014-02-25 21:36:18 +0000347 // We are selecting i64 ADD here instead of custom lower it during
348 // DAG legalization, so we can fold some i64 ADDs used for address
349 // calculation into the LOAD and STORE instructions.
Matt Arsenaultb8b51532014-06-23 18:00:38 +0000350 case ISD::ADD:
351 case ISD::SUB: {
Tom Stellard1f15bff2014-02-25 21:36:18 +0000352 if (N->getValueType(0) != MVT::i64 ||
Eric Christopher7792e322015-01-30 23:24:40 +0000353 Subtarget->getGeneration() < AMDGPUSubtarget::SOUTHERN_ISLANDS)
Tom Stellard1f15bff2014-02-25 21:36:18 +0000354 break;
355
Justin Bogner95927c02016-05-12 21:03:32 +0000356 SelectADD_SUB_I64(N);
357 return;
Tom Stellard1f15bff2014-02-25 21:36:18 +0000358 }
Matt Arsenault064c2062014-06-11 17:40:32 +0000359 case ISD::SCALAR_TO_VECTOR:
Tom Stellard880a80a2014-06-17 16:53:14 +0000360 case AMDGPUISD::BUILD_VERTICAL_VECTOR:
Vincent Lejeune3b6f20e2013-03-05 15:04:49 +0000361 case ISD::BUILD_VECTOR: {
Tom Stellard8e5da412013-08-14 23:24:32 +0000362 unsigned RegClassID;
Eric Christopher7792e322015-01-30 23:24:40 +0000363 const AMDGPURegisterInfo *TRI = Subtarget->getRegisterInfo();
Tom Stellard8e5da412013-08-14 23:24:32 +0000364 EVT VT = N->getValueType(0);
365 unsigned NumVectorElts = VT.getVectorNumElements();
Matt Arsenault064c2062014-06-11 17:40:32 +0000366 EVT EltVT = VT.getVectorElementType();
367 assert(EltVT.bitsEq(MVT::i32));
Eric Christopher7792e322015-01-30 23:24:40 +0000368 if (Subtarget->getGeneration() >= AMDGPUSubtarget::SOUTHERN_ISLANDS) {
Matt Arsenault61cb6fa2015-11-11 00:01:36 +0000369 RegClassID = selectSGPRVectorRegClassID(NumVectorElts);
Tom Stellard8e5da412013-08-14 23:24:32 +0000370 } else {
371 // BUILD_VECTOR was lowered into an IMPLICIT_DEF + 4 INSERT_SUBREG
372 // that adds a 128 bits reg copy when going through TwoAddressInstructions
373 // pass. We want to avoid 128 bits copies as much as possible because they
374 // can't be bundled by our scheduler.
375 switch(NumVectorElts) {
376 case 2: RegClassID = AMDGPU::R600_Reg64RegClassID; break;
Tom Stellard880a80a2014-06-17 16:53:14 +0000377 case 4:
378 if (Opc == AMDGPUISD::BUILD_VERTICAL_VECTOR)
379 RegClassID = AMDGPU::R600_Reg128VerticalRegClassID;
380 else
381 RegClassID = AMDGPU::R600_Reg128RegClassID;
382 break;
Tom Stellard8e5da412013-08-14 23:24:32 +0000383 default: llvm_unreachable("Do not know how to lower this BUILD_VECTOR");
384 }
Vincent Lejeune3b6f20e2013-03-05 15:04:49 +0000385 }
Tom Stellard0344cdf2013-08-01 15:23:42 +0000386
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000387 SDLoc DL(N);
388 SDValue RegClass = CurDAG->getTargetConstant(RegClassID, DL, MVT::i32);
Tom Stellard8e5da412013-08-14 23:24:32 +0000389
390 if (NumVectorElts == 1) {
Justin Bogner95927c02016-05-12 21:03:32 +0000391 CurDAG->SelectNodeTo(N, AMDGPU::COPY_TO_REGCLASS, EltVT, N->getOperand(0),
392 RegClass);
393 return;
Tom Stellard0344cdf2013-08-01 15:23:42 +0000394 }
Tom Stellard8e5da412013-08-14 23:24:32 +0000395
396 assert(NumVectorElts <= 16 && "Vectors with more than 16 elements not "
397 "supported yet");
398 // 16 = Max Num Vector Elements
399 // 2 = 2 REG_SEQUENCE operands per element (value, subreg index)
400 // 1 = Vector Register Class
Matt Arsenault064c2062014-06-11 17:40:32 +0000401 SmallVector<SDValue, 16 * 2 + 1> RegSeqArgs(NumVectorElts * 2 + 1);
Tom Stellard8e5da412013-08-14 23:24:32 +0000402
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000403 RegSeqArgs[0] = CurDAG->getTargetConstant(RegClassID, DL, MVT::i32);
Vincent Lejeune3b6f20e2013-03-05 15:04:49 +0000404 bool IsRegSeq = true;
Matt Arsenault064c2062014-06-11 17:40:32 +0000405 unsigned NOps = N->getNumOperands();
406 for (unsigned i = 0; i < NOps; i++) {
Tom Stellard8e5da412013-08-14 23:24:32 +0000407 // XXX: Why is this here?
Benjamin Kramer619c4e52015-04-10 11:24:51 +0000408 if (isa<RegisterSDNode>(N->getOperand(i))) {
Vincent Lejeune3b6f20e2013-03-05 15:04:49 +0000409 IsRegSeq = false;
410 break;
411 }
Tom Stellard8e5da412013-08-14 23:24:32 +0000412 RegSeqArgs[1 + (2 * i)] = N->getOperand(i);
413 RegSeqArgs[1 + (2 * i) + 1] =
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000414 CurDAG->getTargetConstant(TRI->getSubRegFromChannel(i), DL,
415 MVT::i32);
Vincent Lejeune3b6f20e2013-03-05 15:04:49 +0000416 }
Matt Arsenault064c2062014-06-11 17:40:32 +0000417
418 if (NOps != NumVectorElts) {
419 // Fill in the missing undef elements if this was a scalar_to_vector.
420 assert(Opc == ISD::SCALAR_TO_VECTOR && NOps < NumVectorElts);
421
422 MachineSDNode *ImpDef = CurDAG->getMachineNode(TargetOpcode::IMPLICIT_DEF,
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000423 DL, EltVT);
Matt Arsenault064c2062014-06-11 17:40:32 +0000424 for (unsigned i = NOps; i < NumVectorElts; ++i) {
425 RegSeqArgs[1 + (2 * i)] = SDValue(ImpDef, 0);
426 RegSeqArgs[1 + (2 * i) + 1] =
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000427 CurDAG->getTargetConstant(TRI->getSubRegFromChannel(i), DL, MVT::i32);
Matt Arsenault064c2062014-06-11 17:40:32 +0000428 }
429 }
430
Vincent Lejeune3b6f20e2013-03-05 15:04:49 +0000431 if (!IsRegSeq)
432 break;
Justin Bogner95927c02016-05-12 21:03:32 +0000433 CurDAG->SelectNodeTo(N, AMDGPU::REG_SEQUENCE, N->getVTList(), RegSeqArgs);
434 return;
Vincent Lejeune3b6f20e2013-03-05 15:04:49 +0000435 }
Tom Stellard754f80f2013-04-05 23:31:51 +0000436 case ISD::BUILD_PAIR: {
437 SDValue RC, SubReg0, SubReg1;
Eric Christopher7792e322015-01-30 23:24:40 +0000438 if (Subtarget->getGeneration() <= AMDGPUSubtarget::NORTHERN_ISLANDS) {
Tom Stellard754f80f2013-04-05 23:31:51 +0000439 break;
440 }
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000441 SDLoc DL(N);
Tom Stellard754f80f2013-04-05 23:31:51 +0000442 if (N->getValueType(0) == MVT::i128) {
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000443 RC = CurDAG->getTargetConstant(AMDGPU::SReg_128RegClassID, DL, MVT::i32);
444 SubReg0 = CurDAG->getTargetConstant(AMDGPU::sub0_sub1, DL, MVT::i32);
445 SubReg1 = CurDAG->getTargetConstant(AMDGPU::sub2_sub3, DL, MVT::i32);
Tom Stellard754f80f2013-04-05 23:31:51 +0000446 } else if (N->getValueType(0) == MVT::i64) {
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000447 RC = CurDAG->getTargetConstant(AMDGPU::SReg_64RegClassID, DL, MVT::i32);
448 SubReg0 = CurDAG->getTargetConstant(AMDGPU::sub0, DL, MVT::i32);
449 SubReg1 = CurDAG->getTargetConstant(AMDGPU::sub1, DL, MVT::i32);
Tom Stellard754f80f2013-04-05 23:31:51 +0000450 } else {
451 llvm_unreachable("Unhandled value type for BUILD_PAIR");
452 }
453 const SDValue Ops[] = { RC, N->getOperand(0), SubReg0,
454 N->getOperand(1), SubReg1 };
Justin Bogner95927c02016-05-12 21:03:32 +0000455 ReplaceNode(N, CurDAG->getMachineNode(TargetOpcode::REG_SEQUENCE, DL,
456 N->getValueType(0), Ops));
457 return;
Tom Stellard754f80f2013-04-05 23:31:51 +0000458 }
Tom Stellard7ed0b522014-04-03 20:19:27 +0000459
460 case ISD::Constant:
461 case ISD::ConstantFP: {
Eric Christopher7792e322015-01-30 23:24:40 +0000462 if (Subtarget->getGeneration() < AMDGPUSubtarget::SOUTHERN_ISLANDS ||
Tom Stellard7ed0b522014-04-03 20:19:27 +0000463 N->getValueType(0).getSizeInBits() != 64 || isInlineImmediate(N))
464 break;
465
466 uint64_t Imm;
467 if (ConstantFPSDNode *FP = dyn_cast<ConstantFPSDNode>(N))
468 Imm = FP->getValueAPF().bitcastToAPInt().getZExtValue();
469 else {
Tom Stellard3cbe0142014-04-07 19:31:13 +0000470 ConstantSDNode *C = cast<ConstantSDNode>(N);
Tom Stellard7ed0b522014-04-03 20:19:27 +0000471 Imm = C->getZExtValue();
472 }
473
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000474 SDLoc DL(N);
475 SDNode *Lo = CurDAG->getMachineNode(AMDGPU::S_MOV_B32, DL, MVT::i32,
476 CurDAG->getConstant(Imm & 0xFFFFFFFF, DL,
477 MVT::i32));
478 SDNode *Hi = CurDAG->getMachineNode(AMDGPU::S_MOV_B32, DL, MVT::i32,
479 CurDAG->getConstant(Imm >> 32, DL, MVT::i32));
Tom Stellard7ed0b522014-04-03 20:19:27 +0000480 const SDValue Ops[] = {
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000481 CurDAG->getTargetConstant(AMDGPU::SReg_64RegClassID, DL, MVT::i32),
482 SDValue(Lo, 0), CurDAG->getTargetConstant(AMDGPU::sub0, DL, MVT::i32),
483 SDValue(Hi, 0), CurDAG->getTargetConstant(AMDGPU::sub1, DL, MVT::i32)
Tom Stellard7ed0b522014-04-03 20:19:27 +0000484 };
485
Justin Bogner95927c02016-05-12 21:03:32 +0000486 ReplaceNode(N, CurDAG->getMachineNode(TargetOpcode::REG_SEQUENCE, DL,
487 N->getValueType(0), Ops));
488 return;
Tom Stellard7ed0b522014-04-03 20:19:27 +0000489 }
Matt Arsenault4bf43d42015-09-25 17:27:08 +0000490 case ISD::LOAD:
Tom Stellard096b8c12015-02-04 20:49:49 +0000491 case ISD::STORE: {
Tom Stellard381a94a2015-05-12 15:00:49 +0000492 N = glueCopyToM0(N);
Tom Stellard096b8c12015-02-04 20:49:49 +0000493 break;
494 }
Matt Arsenault78b86702014-04-18 05:19:26 +0000495
496 case AMDGPUISD::BFE_I32:
497 case AMDGPUISD::BFE_U32: {
Eric Christopher7792e322015-01-30 23:24:40 +0000498 if (Subtarget->getGeneration() < AMDGPUSubtarget::SOUTHERN_ISLANDS)
Matt Arsenault78b86702014-04-18 05:19:26 +0000499 break;
500
501 // There is a scalar version available, but unlike the vector version which
502 // has a separate operand for the offset and width, the scalar version packs
503 // the width and offset into a single operand. Try to move to the scalar
504 // version if the offsets are constant, so that we can try to keep extended
505 // loads of kernel arguments in SGPRs.
506
507 // TODO: Technically we could try to pattern match scalar bitshifts of
508 // dynamic values, but it's probably not useful.
509 ConstantSDNode *Offset = dyn_cast<ConstantSDNode>(N->getOperand(1));
510 if (!Offset)
511 break;
512
513 ConstantSDNode *Width = dyn_cast<ConstantSDNode>(N->getOperand(2));
514 if (!Width)
515 break;
516
517 bool Signed = Opc == AMDGPUISD::BFE_I32;
518
Matt Arsenault78b86702014-04-18 05:19:26 +0000519 uint32_t OffsetVal = Offset->getZExtValue();
520 uint32_t WidthVal = Width->getZExtValue();
521
Justin Bogner95927c02016-05-12 21:03:32 +0000522 ReplaceNode(N, getS_BFE(Signed ? AMDGPU::S_BFE_I32 : AMDGPU::S_BFE_U32,
523 SDLoc(N), N->getOperand(0), OffsetVal, WidthVal));
524 return;
Matt Arsenault78b86702014-04-18 05:19:26 +0000525 }
Matt Arsenaultf2b0aeb2014-06-23 18:28:28 +0000526 case AMDGPUISD::DIV_SCALE: {
Justin Bogner95927c02016-05-12 21:03:32 +0000527 SelectDIV_SCALE(N);
528 return;
Matt Arsenaultf2b0aeb2014-06-23 18:28:28 +0000529 }
Tom Stellard3457a842014-10-09 19:06:00 +0000530 case ISD::CopyToReg: {
531 const SITargetLowering& Lowering =
532 *static_cast<const SITargetLowering*>(getTargetLowering());
533 Lowering.legalizeTargetIndependentNode(N, *CurDAG);
534 break;
535 }
Marek Olsak9b728682015-03-24 13:40:27 +0000536 case ISD::AND:
537 case ISD::SRL:
538 case ISD::SRA:
Matt Arsenault7e8de012016-04-22 22:59:16 +0000539 case ISD::SIGN_EXTEND_INREG:
Marek Olsak9b728682015-03-24 13:40:27 +0000540 if (N->getValueType(0) != MVT::i32 ||
541 Subtarget->getGeneration() < AMDGPUSubtarget::SOUTHERN_ISLANDS)
542 break;
543
Justin Bogner95927c02016-05-12 21:03:32 +0000544 SelectS_BFE(N);
545 return;
Tom Stellardbc4497b2016-02-12 23:45:29 +0000546 case ISD::BRCOND:
Justin Bogner95927c02016-05-12 21:03:32 +0000547 SelectBRCOND(N);
548 return;
Matt Arsenault88701812016-06-09 23:42:48 +0000549
550 case AMDGPUISD::ATOMIC_CMP_SWAP:
551 SelectATOMIC_CMP_SWAP(N);
552 return;
Tom Stellard75aadc22012-12-11 21:25:42 +0000553 }
Tom Stellard3457a842014-10-09 19:06:00 +0000554
Justin Bogner95927c02016-05-12 21:03:32 +0000555 SelectCode(N);
Tom Stellard365366f2013-01-23 02:09:06 +0000556}
557
Matt Arsenault209a7b92014-04-18 07:40:20 +0000558bool AMDGPUDAGToDAGISel::checkType(const Value *Ptr, unsigned AS) {
559 assert(AS != 0 && "Use checkPrivateAddress instead.");
560 if (!Ptr)
Tom Stellard75aadc22012-12-11 21:25:42 +0000561 return false;
Matt Arsenault209a7b92014-04-18 07:40:20 +0000562
563 return Ptr->getType()->getPointerAddressSpace() == AS;
Tom Stellard75aadc22012-12-11 21:25:42 +0000564}
565
Nick Lewyckyaad475b2014-04-15 07:22:52 +0000566bool AMDGPUDAGToDAGISel::checkPrivateAddress(const MachineMemOperand *Op) {
Matt Arsenault209a7b92014-04-18 07:40:20 +0000567 if (Op->getPseudoValue())
568 return true;
569
570 if (PointerType *PT = dyn_cast<PointerType>(Op->getValue()->getType()))
571 return PT->getAddressSpace() == AMDGPUAS::PRIVATE_ADDRESS;
572
573 return false;
Nick Lewyckyaad475b2014-04-15 07:22:52 +0000574}
575
Jan Vesely43b7b5b2016-04-07 19:23:11 +0000576bool AMDGPUDAGToDAGISel::isGlobalStore(const MemSDNode *N) {
577 if (!N->writeMem())
578 return false;
Nick Lewyckyaad475b2014-04-15 07:22:52 +0000579 return checkType(N->getMemOperand()->getValue(), AMDGPUAS::GLOBAL_ADDRESS);
Tom Stellard75aadc22012-12-11 21:25:42 +0000580}
581
582bool AMDGPUDAGToDAGISel::isPrivateStore(const StoreSDNode *N) {
Matt Arsenault209a7b92014-04-18 07:40:20 +0000583 const Value *MemVal = N->getMemOperand()->getValue();
584 return (!checkType(MemVal, AMDGPUAS::LOCAL_ADDRESS) &&
585 !checkType(MemVal, AMDGPUAS::GLOBAL_ADDRESS) &&
586 !checkType(MemVal, AMDGPUAS::REGION_ADDRESS));
Tom Stellard75aadc22012-12-11 21:25:42 +0000587}
588
589bool AMDGPUDAGToDAGISel::isLocalStore(const StoreSDNode *N) {
Nick Lewyckyaad475b2014-04-15 07:22:52 +0000590 return checkType(N->getMemOperand()->getValue(), AMDGPUAS::LOCAL_ADDRESS);
Tom Stellard75aadc22012-12-11 21:25:42 +0000591}
592
Jan Vesely43b7b5b2016-04-07 19:23:11 +0000593bool AMDGPUDAGToDAGISel::isFlatStore(const MemSDNode *N) {
594 if (!N->writeMem())
595 return false;
Matt Arsenault3f981402014-09-15 15:41:53 +0000596 return checkType(N->getMemOperand()->getValue(), AMDGPUAS::FLAT_ADDRESS);
597}
598
Tom Stellard75aadc22012-12-11 21:25:42 +0000599bool AMDGPUDAGToDAGISel::isRegionStore(const StoreSDNode *N) {
Nick Lewyckyaad475b2014-04-15 07:22:52 +0000600 return checkType(N->getMemOperand()->getValue(), AMDGPUAS::REGION_ADDRESS);
Tom Stellard75aadc22012-12-11 21:25:42 +0000601}
602
Jan Vesely43b7b5b2016-04-07 19:23:11 +0000603bool AMDGPUDAGToDAGISel::isConstantLoad(const MemSDNode *N, int CbId) const {
604 if (!N->readMem())
605 return false;
Matt Arsenault209a7b92014-04-18 07:40:20 +0000606 const Value *MemVal = N->getMemOperand()->getValue();
607 if (CbId == -1)
608 return checkType(MemVal, AMDGPUAS::CONSTANT_ADDRESS);
609
610 return checkType(MemVal, AMDGPUAS::CONSTANT_BUFFER_0 + CbId);
Tom Stellard75aadc22012-12-11 21:25:42 +0000611}
612
Jan Vesely43b7b5b2016-04-07 19:23:11 +0000613bool AMDGPUDAGToDAGISel::isGlobalLoad(const MemSDNode *N) const {
614 if (!N->readMem())
615 return false;
Jan Veselyf97de002016-05-13 20:39:29 +0000616 if (N->getAddressSpace() == AMDGPUAS::CONSTANT_ADDRESS) {
617 if (Subtarget->getGeneration() < AMDGPUSubtarget::SOUTHERN_ISLANDS)
618 return !isa<GlobalValue>(
619 GetUnderlyingObject(N->getMemOperand()->getValue(),
620 CurDAG->getDataLayout()));
621
622 //TODO: Why do we need this?
623 if (N->getMemoryVT().bitsLT(MVT::i32))
Tom Stellard8cb0e472013-07-23 23:54:56 +0000624 return true;
Jan Veselyf97de002016-05-13 20:39:29 +0000625 }
Eric Christopher7792e322015-01-30 23:24:40 +0000626
Nick Lewyckyaad475b2014-04-15 07:22:52 +0000627 return checkType(N->getMemOperand()->getValue(), AMDGPUAS::GLOBAL_ADDRESS);
Tom Stellard75aadc22012-12-11 21:25:42 +0000628}
629
Matt Arsenault2aabb062013-06-18 23:37:58 +0000630bool AMDGPUDAGToDAGISel::isParamLoad(const LoadSDNode *N) const {
Nick Lewyckyaad475b2014-04-15 07:22:52 +0000631 return checkType(N->getMemOperand()->getValue(), AMDGPUAS::PARAM_I_ADDRESS);
Tom Stellard75aadc22012-12-11 21:25:42 +0000632}
633
Matt Arsenault2aabb062013-06-18 23:37:58 +0000634bool AMDGPUDAGToDAGISel::isLocalLoad(const LoadSDNode *N) const {
Nick Lewyckyaad475b2014-04-15 07:22:52 +0000635 return checkType(N->getMemOperand()->getValue(), AMDGPUAS::LOCAL_ADDRESS);
Tom Stellard75aadc22012-12-11 21:25:42 +0000636}
637
Jan Vesely43b7b5b2016-04-07 19:23:11 +0000638bool AMDGPUDAGToDAGISel::isFlatLoad(const MemSDNode *N) const {
639 if (!N->readMem())
640 return false;
Matt Arsenault3f981402014-09-15 15:41:53 +0000641 return checkType(N->getMemOperand()->getValue(), AMDGPUAS::FLAT_ADDRESS);
642}
643
Matt Arsenault2aabb062013-06-18 23:37:58 +0000644bool AMDGPUDAGToDAGISel::isRegionLoad(const LoadSDNode *N) const {
Nick Lewyckyaad475b2014-04-15 07:22:52 +0000645 return checkType(N->getMemOperand()->getValue(), AMDGPUAS::REGION_ADDRESS);
Tom Stellard75aadc22012-12-11 21:25:42 +0000646}
647
Matt Arsenault2aabb062013-06-18 23:37:58 +0000648bool AMDGPUDAGToDAGISel::isCPLoad(const LoadSDNode *N) const {
Tom Stellard75aadc22012-12-11 21:25:42 +0000649 MachineMemOperand *MMO = N->getMemOperand();
Nick Lewyckyaad475b2014-04-15 07:22:52 +0000650 if (checkPrivateAddress(N->getMemOperand())) {
Tom Stellard75aadc22012-12-11 21:25:42 +0000651 if (MMO) {
Nick Lewyckyaad475b2014-04-15 07:22:52 +0000652 const PseudoSourceValue *PSV = MMO->getPseudoValue();
Alex Lorenze40c8a22015-08-11 23:09:45 +0000653 if (PSV && PSV->isConstantPool()) {
Tom Stellard75aadc22012-12-11 21:25:42 +0000654 return true;
655 }
656 }
657 }
658 return false;
659}
660
Matt Arsenault2aabb062013-06-18 23:37:58 +0000661bool AMDGPUDAGToDAGISel::isPrivateLoad(const LoadSDNode *N) const {
Nick Lewyckyaad475b2014-04-15 07:22:52 +0000662 if (checkPrivateAddress(N->getMemOperand())) {
Tom Stellard75aadc22012-12-11 21:25:42 +0000663 // Check to make sure we are not a constant pool load or a constant load
664 // that is marked as a private load
665 if (isCPLoad(N) || isConstantLoad(N, -1)) {
666 return false;
667 }
668 }
Matt Arsenault209a7b92014-04-18 07:40:20 +0000669
670 const Value *MemVal = N->getMemOperand()->getValue();
Matt Arsenault8226fc42016-03-02 23:00:21 +0000671 return !checkType(MemVal, AMDGPUAS::LOCAL_ADDRESS) &&
672 !checkType(MemVal, AMDGPUAS::GLOBAL_ADDRESS) &&
673 !checkType(MemVal, AMDGPUAS::FLAT_ADDRESS) &&
674 !checkType(MemVal, AMDGPUAS::REGION_ADDRESS) &&
675 !checkType(MemVal, AMDGPUAS::CONSTANT_ADDRESS) &&
676 !checkType(MemVal, AMDGPUAS::PARAM_D_ADDRESS) &&
677 !checkType(MemVal, AMDGPUAS::PARAM_I_ADDRESS);
Tom Stellard75aadc22012-12-11 21:25:42 +0000678}
679
Tom Stellardbc4497b2016-02-12 23:45:29 +0000680bool AMDGPUDAGToDAGISel::isUniformBr(const SDNode *N) const {
681 const BasicBlock *BB = FuncInfo->MBB->getBasicBlock();
Nicolai Haehnle05b127d2016-04-14 17:42:35 +0000682 const Instruction *Term = BB->getTerminator();
683 return Term->getMetadata("amdgpu.uniform") ||
684 Term->getMetadata("structurizecfg.uniform");
Tom Stellardbc4497b2016-02-12 23:45:29 +0000685}
686
Tom Stellard75aadc22012-12-11 21:25:42 +0000687const char *AMDGPUDAGToDAGISel::getPassName() const {
688 return "AMDGPU DAG->DAG Pattern Instruction Selection";
689}
690
Tom Stellard41fc7852013-07-23 01:48:42 +0000691//===----------------------------------------------------------------------===//
692// Complex Patterns
693//===----------------------------------------------------------------------===//
Tom Stellard75aadc22012-12-11 21:25:42 +0000694
Tom Stellard365366f2013-01-23 02:09:06 +0000695bool AMDGPUDAGToDAGISel::SelectGlobalValueConstantOffset(SDValue Addr,
Matt Arsenault209a7b92014-04-18 07:40:20 +0000696 SDValue& IntPtr) {
Tom Stellard365366f2013-01-23 02:09:06 +0000697 if (ConstantSDNode *Cst = dyn_cast<ConstantSDNode>(Addr)) {
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000698 IntPtr = CurDAG->getIntPtrConstant(Cst->getZExtValue() / 4, SDLoc(Addr),
699 true);
Tom Stellard365366f2013-01-23 02:09:06 +0000700 return true;
701 }
702 return false;
703}
704
705bool AMDGPUDAGToDAGISel::SelectGlobalValueVariableOffset(SDValue Addr,
706 SDValue& BaseReg, SDValue &Offset) {
Matt Arsenault209a7b92014-04-18 07:40:20 +0000707 if (!isa<ConstantSDNode>(Addr)) {
Tom Stellard365366f2013-01-23 02:09:06 +0000708 BaseReg = Addr;
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000709 Offset = CurDAG->getIntPtrConstant(0, SDLoc(Addr), true);
Tom Stellard365366f2013-01-23 02:09:06 +0000710 return true;
711 }
712 return false;
713}
714
Tom Stellard75aadc22012-12-11 21:25:42 +0000715bool AMDGPUDAGToDAGISel::SelectADDRVTX_READ(SDValue Addr, SDValue &Base,
716 SDValue &Offset) {
Matt Arsenault209a7b92014-04-18 07:40:20 +0000717 ConstantSDNode *IMMOffset;
Tom Stellard75aadc22012-12-11 21:25:42 +0000718
719 if (Addr.getOpcode() == ISD::ADD
720 && (IMMOffset = dyn_cast<ConstantSDNode>(Addr.getOperand(1)))
721 && isInt<16>(IMMOffset->getZExtValue())) {
722
723 Base = Addr.getOperand(0);
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000724 Offset = CurDAG->getTargetConstant(IMMOffset->getZExtValue(), SDLoc(Addr),
725 MVT::i32);
Tom Stellard75aadc22012-12-11 21:25:42 +0000726 return true;
727 // If the pointer address is constant, we can move it to the offset field.
728 } else if ((IMMOffset = dyn_cast<ConstantSDNode>(Addr))
729 && isInt<16>(IMMOffset->getZExtValue())) {
730 Base = CurDAG->getCopyFromReg(CurDAG->getEntryNode(),
Andrew Trickef9de2a2013-05-25 02:42:55 +0000731 SDLoc(CurDAG->getEntryNode()),
Tom Stellard75aadc22012-12-11 21:25:42 +0000732 AMDGPU::ZERO, MVT::i32);
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000733 Offset = CurDAG->getTargetConstant(IMMOffset->getZExtValue(), SDLoc(Addr),
734 MVT::i32);
Tom Stellard75aadc22012-12-11 21:25:42 +0000735 return true;
736 }
737
738 // Default case, no offset
739 Base = Addr;
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000740 Offset = CurDAG->getTargetConstant(0, SDLoc(Addr), MVT::i32);
Tom Stellard75aadc22012-12-11 21:25:42 +0000741 return true;
742}
743
Tom Stellardf3b2a1e2013-02-06 17:32:29 +0000744bool AMDGPUDAGToDAGISel::SelectADDRIndirect(SDValue Addr, SDValue &Base,
745 SDValue &Offset) {
746 ConstantSDNode *C;
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000747 SDLoc DL(Addr);
Tom Stellardf3b2a1e2013-02-06 17:32:29 +0000748
749 if ((C = dyn_cast<ConstantSDNode>(Addr))) {
750 Base = CurDAG->getRegister(AMDGPU::INDIRECT_BASE_ADDR, MVT::i32);
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000751 Offset = CurDAG->getTargetConstant(C->getZExtValue(), DL, MVT::i32);
Tom Stellardf3b2a1e2013-02-06 17:32:29 +0000752 } else if ((Addr.getOpcode() == ISD::ADD || Addr.getOpcode() == ISD::OR) &&
753 (C = dyn_cast<ConstantSDNode>(Addr.getOperand(1)))) {
754 Base = Addr.getOperand(0);
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000755 Offset = CurDAG->getTargetConstant(C->getZExtValue(), DL, MVT::i32);
Tom Stellardf3b2a1e2013-02-06 17:32:29 +0000756 } else {
757 Base = Addr;
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000758 Offset = CurDAG->getTargetConstant(0, DL, MVT::i32);
Tom Stellardf3b2a1e2013-02-06 17:32:29 +0000759 }
760
761 return true;
762}
Christian Konigd910b7d2013-02-26 17:52:16 +0000763
Justin Bogner95927c02016-05-12 21:03:32 +0000764void AMDGPUDAGToDAGISel::SelectADD_SUB_I64(SDNode *N) {
Matt Arsenault9fa3f932014-06-23 18:00:34 +0000765 SDLoc DL(N);
766 SDValue LHS = N->getOperand(0);
767 SDValue RHS = N->getOperand(1);
768
Matt Arsenaultb8b51532014-06-23 18:00:38 +0000769 bool IsAdd = (N->getOpcode() == ISD::ADD);
770
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000771 SDValue Sub0 = CurDAG->getTargetConstant(AMDGPU::sub0, DL, MVT::i32);
772 SDValue Sub1 = CurDAG->getTargetConstant(AMDGPU::sub1, DL, MVT::i32);
Matt Arsenault9fa3f932014-06-23 18:00:34 +0000773
774 SDNode *Lo0 = CurDAG->getMachineNode(TargetOpcode::EXTRACT_SUBREG,
775 DL, MVT::i32, LHS, Sub0);
776 SDNode *Hi0 = CurDAG->getMachineNode(TargetOpcode::EXTRACT_SUBREG,
777 DL, MVT::i32, LHS, Sub1);
778
779 SDNode *Lo1 = CurDAG->getMachineNode(TargetOpcode::EXTRACT_SUBREG,
780 DL, MVT::i32, RHS, Sub0);
781 SDNode *Hi1 = CurDAG->getMachineNode(TargetOpcode::EXTRACT_SUBREG,
782 DL, MVT::i32, RHS, Sub1);
783
784 SDVTList VTList = CurDAG->getVTList(MVT::i32, MVT::Glue);
Matt Arsenault9fa3f932014-06-23 18:00:34 +0000785 SDValue AddLoArgs[] = { SDValue(Lo0, 0), SDValue(Lo1, 0) };
786
Matt Arsenaultb8b51532014-06-23 18:00:38 +0000787
Tom Stellard80942a12014-09-05 14:07:59 +0000788 unsigned Opc = IsAdd ? AMDGPU::S_ADD_U32 : AMDGPU::S_SUB_U32;
Matt Arsenaultb8b51532014-06-23 18:00:38 +0000789 unsigned CarryOpc = IsAdd ? AMDGPU::S_ADDC_U32 : AMDGPU::S_SUBB_U32;
790
Matt Arsenaultb8b51532014-06-23 18:00:38 +0000791 SDNode *AddLo = CurDAG->getMachineNode( Opc, DL, VTList, AddLoArgs);
792 SDValue Carry(AddLo, 1);
793 SDNode *AddHi
794 = CurDAG->getMachineNode(CarryOpc, DL, MVT::i32,
795 SDValue(Hi0, 0), SDValue(Hi1, 0), Carry);
Matt Arsenault9fa3f932014-06-23 18:00:34 +0000796
797 SDValue Args[5] = {
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000798 CurDAG->getTargetConstant(AMDGPU::SReg_64RegClassID, DL, MVT::i32),
Matt Arsenault9fa3f932014-06-23 18:00:34 +0000799 SDValue(AddLo,0),
800 Sub0,
801 SDValue(AddHi,0),
802 Sub1,
803 };
Justin Bogner95927c02016-05-12 21:03:32 +0000804 CurDAG->SelectNodeTo(N, AMDGPU::REG_SEQUENCE, MVT::i64, Args);
Matt Arsenault9fa3f932014-06-23 18:00:34 +0000805}
806
Matt Arsenault044f1d12015-02-14 04:24:28 +0000807// We need to handle this here because tablegen doesn't support matching
808// instructions with multiple outputs.
Justin Bogner95927c02016-05-12 21:03:32 +0000809void AMDGPUDAGToDAGISel::SelectDIV_SCALE(SDNode *N) {
Matt Arsenaultf2b0aeb2014-06-23 18:28:28 +0000810 SDLoc SL(N);
811 EVT VT = N->getValueType(0);
812
813 assert(VT == MVT::f32 || VT == MVT::f64);
814
815 unsigned Opc
816 = (VT == MVT::f64) ? AMDGPU::V_DIV_SCALE_F64 : AMDGPU::V_DIV_SCALE_F32;
817
NAKAMURA Takumi84965032015-09-22 11:14:12 +0000818 // src0_modifiers, src0, src1_modifiers, src1, src2_modifiers, src2, clamp,
819 // omod
Matt Arsenault044f1d12015-02-14 04:24:28 +0000820 SDValue Ops[8];
Matt Arsenaultf2b0aeb2014-06-23 18:28:28 +0000821
Matt Arsenault044f1d12015-02-14 04:24:28 +0000822 SelectVOP3Mods0(N->getOperand(0), Ops[1], Ops[0], Ops[6], Ops[7]);
823 SelectVOP3Mods(N->getOperand(1), Ops[3], Ops[2]);
824 SelectVOP3Mods(N->getOperand(2), Ops[5], Ops[4]);
Justin Bogner95927c02016-05-12 21:03:32 +0000825 CurDAG->SelectNodeTo(N, Opc, VT, MVT::i1, Ops);
Matt Arsenaultf2b0aeb2014-06-23 18:28:28 +0000826}
827
Tom Stellard85e8b6d2014-08-22 18:49:33 +0000828bool AMDGPUDAGToDAGISel::isDSOffsetLegal(const SDValue &Base, unsigned Offset,
829 unsigned OffsetBits) const {
Tom Stellard85e8b6d2014-08-22 18:49:33 +0000830 if ((OffsetBits == 16 && !isUInt<16>(Offset)) ||
831 (OffsetBits == 8 && !isUInt<8>(Offset)))
832 return false;
833
Matt Arsenault706f9302015-07-06 16:01:58 +0000834 if (Subtarget->getGeneration() >= AMDGPUSubtarget::SEA_ISLANDS ||
835 Subtarget->unsafeDSOffsetFoldingEnabled())
Tom Stellard85e8b6d2014-08-22 18:49:33 +0000836 return true;
837
838 // On Southern Islands instruction with a negative base value and an offset
839 // don't seem to work.
840 return CurDAG->SignBitIsZero(Base);
841}
842
843bool AMDGPUDAGToDAGISel::SelectDS1Addr1Offset(SDValue Addr, SDValue &Base,
844 SDValue &Offset) const {
Tom Stellard92b24f32016-04-29 14:34:26 +0000845 SDLoc DL(Addr);
Tom Stellard85e8b6d2014-08-22 18:49:33 +0000846 if (CurDAG->isBaseWithConstantOffset(Addr)) {
847 SDValue N0 = Addr.getOperand(0);
848 SDValue N1 = Addr.getOperand(1);
849 ConstantSDNode *C1 = cast<ConstantSDNode>(N1);
850 if (isDSOffsetLegal(N0, C1->getSExtValue(), 16)) {
851 // (add n0, c0)
852 Base = N0;
Tom Stellard92b24f32016-04-29 14:34:26 +0000853 Offset = CurDAG->getTargetConstant(C1->getZExtValue(), DL, MVT::i16);
Tom Stellard85e8b6d2014-08-22 18:49:33 +0000854 return true;
855 }
Matt Arsenault966a94f2015-09-08 19:34:22 +0000856 } else if (Addr.getOpcode() == ISD::SUB) {
857 // sub C, x -> add (sub 0, x), C
858 if (const ConstantSDNode *C = dyn_cast<ConstantSDNode>(Addr.getOperand(0))) {
859 int64_t ByteOffset = C->getSExtValue();
860 if (isUInt<16>(ByteOffset)) {
Matt Arsenault966a94f2015-09-08 19:34:22 +0000861 SDValue Zero = CurDAG->getTargetConstant(0, DL, MVT::i32);
Tom Stellard85e8b6d2014-08-22 18:49:33 +0000862
Matt Arsenault966a94f2015-09-08 19:34:22 +0000863 // XXX - This is kind of hacky. Create a dummy sub node so we can check
864 // the known bits in isDSOffsetLegal. We need to emit the selected node
865 // here, so this is thrown away.
866 SDValue Sub = CurDAG->getNode(ISD::SUB, DL, MVT::i32,
867 Zero, Addr.getOperand(1));
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000868
Matt Arsenault966a94f2015-09-08 19:34:22 +0000869 if (isDSOffsetLegal(Sub, ByteOffset, 16)) {
870 MachineSDNode *MachineSub
871 = CurDAG->getMachineNode(AMDGPU::V_SUB_I32_e32, DL, MVT::i32,
872 Zero, Addr.getOperand(1));
873
874 Base = SDValue(MachineSub, 0);
875 Offset = Addr.getOperand(0);
876 return true;
877 }
878 }
879 }
880 } else if (const ConstantSDNode *CAddr = dyn_cast<ConstantSDNode>(Addr)) {
881 // If we have a constant address, prefer to put the constant into the
882 // offset. This can save moves to load the constant address since multiple
883 // operations can share the zero base address register, and enables merging
884 // into read2 / write2 instructions.
885
886 SDLoc DL(Addr);
887
Matt Arsenaulte775f5f2014-10-14 17:21:19 +0000888 if (isUInt<16>(CAddr->getZExtValue())) {
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000889 SDValue Zero = CurDAG->getTargetConstant(0, DL, MVT::i32);
Tom Stellardc8d79202014-10-15 21:08:59 +0000890 MachineSDNode *MovZero = CurDAG->getMachineNode(AMDGPU::V_MOV_B32_e32,
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000891 DL, MVT::i32, Zero);
Tom Stellardc8d79202014-10-15 21:08:59 +0000892 Base = SDValue(MovZero, 0);
Matt Arsenaulte775f5f2014-10-14 17:21:19 +0000893 Offset = Addr;
894 return true;
895 }
896 }
897
Tom Stellard85e8b6d2014-08-22 18:49:33 +0000898 // default case
899 Base = Addr;
Matt Arsenault966a94f2015-09-08 19:34:22 +0000900 Offset = CurDAG->getTargetConstant(0, SDLoc(Addr), MVT::i16);
Tom Stellard85e8b6d2014-08-22 18:49:33 +0000901 return true;
902}
903
Matt Arsenault966a94f2015-09-08 19:34:22 +0000904// TODO: If offset is too big, put low 16-bit into offset.
Tom Stellardf3fc5552014-08-22 18:49:35 +0000905bool AMDGPUDAGToDAGISel::SelectDS64Bit4ByteAligned(SDValue Addr, SDValue &Base,
906 SDValue &Offset0,
907 SDValue &Offset1) const {
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000908 SDLoc DL(Addr);
909
Tom Stellardf3fc5552014-08-22 18:49:35 +0000910 if (CurDAG->isBaseWithConstantOffset(Addr)) {
911 SDValue N0 = Addr.getOperand(0);
912 SDValue N1 = Addr.getOperand(1);
913 ConstantSDNode *C1 = cast<ConstantSDNode>(N1);
914 unsigned DWordOffset0 = C1->getZExtValue() / 4;
915 unsigned DWordOffset1 = DWordOffset0 + 1;
916 // (add n0, c0)
917 if (isDSOffsetLegal(N0, DWordOffset1, 8)) {
918 Base = N0;
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000919 Offset0 = CurDAG->getTargetConstant(DWordOffset0, DL, MVT::i8);
920 Offset1 = CurDAG->getTargetConstant(DWordOffset1, DL, MVT::i8);
Tom Stellardf3fc5552014-08-22 18:49:35 +0000921 return true;
922 }
Matt Arsenault966a94f2015-09-08 19:34:22 +0000923 } else if (Addr.getOpcode() == ISD::SUB) {
924 // sub C, x -> add (sub 0, x), C
925 if (const ConstantSDNode *C = dyn_cast<ConstantSDNode>(Addr.getOperand(0))) {
926 unsigned DWordOffset0 = C->getZExtValue() / 4;
927 unsigned DWordOffset1 = DWordOffset0 + 1;
Tom Stellardf3fc5552014-08-22 18:49:35 +0000928
Matt Arsenault966a94f2015-09-08 19:34:22 +0000929 if (isUInt<8>(DWordOffset0)) {
930 SDLoc DL(Addr);
931 SDValue Zero = CurDAG->getTargetConstant(0, DL, MVT::i32);
932
933 // XXX - This is kind of hacky. Create a dummy sub node so we can check
934 // the known bits in isDSOffsetLegal. We need to emit the selected node
935 // here, so this is thrown away.
936 SDValue Sub = CurDAG->getNode(ISD::SUB, DL, MVT::i32,
937 Zero, Addr.getOperand(1));
938
939 if (isDSOffsetLegal(Sub, DWordOffset1, 8)) {
940 MachineSDNode *MachineSub
941 = CurDAG->getMachineNode(AMDGPU::V_SUB_I32_e32, DL, MVT::i32,
942 Zero, Addr.getOperand(1));
943
944 Base = SDValue(MachineSub, 0);
945 Offset0 = CurDAG->getTargetConstant(DWordOffset0, DL, MVT::i8);
946 Offset1 = CurDAG->getTargetConstant(DWordOffset1, DL, MVT::i8);
947 return true;
948 }
949 }
950 }
951 } else if (const ConstantSDNode *CAddr = dyn_cast<ConstantSDNode>(Addr)) {
Matt Arsenault1a74aff2014-10-15 18:06:43 +0000952 unsigned DWordOffset0 = CAddr->getZExtValue() / 4;
953 unsigned DWordOffset1 = DWordOffset0 + 1;
954 assert(4 * DWordOffset0 == CAddr->getZExtValue());
955
956 if (isUInt<8>(DWordOffset0) && isUInt<8>(DWordOffset1)) {
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000957 SDValue Zero = CurDAG->getTargetConstant(0, DL, MVT::i32);
Matt Arsenault1a74aff2014-10-15 18:06:43 +0000958 MachineSDNode *MovZero
959 = CurDAG->getMachineNode(AMDGPU::V_MOV_B32_e32,
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000960 DL, MVT::i32, Zero);
Matt Arsenault1a74aff2014-10-15 18:06:43 +0000961 Base = SDValue(MovZero, 0);
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000962 Offset0 = CurDAG->getTargetConstant(DWordOffset0, DL, MVT::i8);
963 Offset1 = CurDAG->getTargetConstant(DWordOffset1, DL, MVT::i8);
Matt Arsenault1a74aff2014-10-15 18:06:43 +0000964 return true;
965 }
966 }
967
Tom Stellardf3fc5552014-08-22 18:49:35 +0000968 // default case
969 Base = Addr;
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000970 Offset0 = CurDAG->getTargetConstant(0, DL, MVT::i8);
971 Offset1 = CurDAG->getTargetConstant(1, DL, MVT::i8);
Tom Stellardf3fc5552014-08-22 18:49:35 +0000972 return true;
973}
974
Tom Stellardb02094e2014-07-21 15:45:01 +0000975static bool isLegalMUBUFImmOffset(const ConstantSDNode *Imm) {
976 return isUInt<12>(Imm->getZExtValue());
977}
978
Changpeng Fangb41574a2015-12-22 20:55:23 +0000979bool AMDGPUDAGToDAGISel::SelectMUBUF(SDValue Addr, SDValue &Ptr,
Tom Stellard155bbb72014-08-11 22:18:17 +0000980 SDValue &VAddr, SDValue &SOffset,
981 SDValue &Offset, SDValue &Offen,
982 SDValue &Idxen, SDValue &Addr64,
983 SDValue &GLC, SDValue &SLC,
984 SDValue &TFE) const {
Changpeng Fangb41574a2015-12-22 20:55:23 +0000985 // Subtarget prefers to use flat instruction
986 if (Subtarget->useFlatForGlobal())
987 return false;
988
Tom Stellardb02c2682014-06-24 23:33:07 +0000989 SDLoc DL(Addr);
990
Jan Vesely43b7b5b2016-04-07 19:23:11 +0000991 if (!GLC.getNode())
992 GLC = CurDAG->getTargetConstant(0, DL, MVT::i1);
993 if (!SLC.getNode())
994 SLC = CurDAG->getTargetConstant(0, DL, MVT::i1);
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000995 TFE = CurDAG->getTargetConstant(0, DL, MVT::i1);
Tom Stellard155bbb72014-08-11 22:18:17 +0000996
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000997 Idxen = CurDAG->getTargetConstant(0, DL, MVT::i1);
998 Offen = CurDAG->getTargetConstant(0, DL, MVT::i1);
999 Addr64 = CurDAG->getTargetConstant(0, DL, MVT::i1);
1000 SOffset = CurDAG->getTargetConstant(0, DL, MVT::i32);
Tom Stellard155bbb72014-08-11 22:18:17 +00001001
Tom Stellardb02c2682014-06-24 23:33:07 +00001002 if (CurDAG->isBaseWithConstantOffset(Addr)) {
1003 SDValue N0 = Addr.getOperand(0);
1004 SDValue N1 = Addr.getOperand(1);
1005 ConstantSDNode *C1 = cast<ConstantSDNode>(N1);
1006
Tom Stellard94b72312015-02-11 00:34:35 +00001007 if (N0.getOpcode() == ISD::ADD) {
1008 // (add (add N2, N3), C1) -> addr64
1009 SDValue N2 = N0.getOperand(0);
1010 SDValue N3 = N0.getOperand(1);
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001011 Addr64 = CurDAG->getTargetConstant(1, DL, MVT::i1);
Tom Stellard94b72312015-02-11 00:34:35 +00001012 Ptr = N2;
1013 VAddr = N3;
1014 } else {
Tom Stellardb02c2682014-06-24 23:33:07 +00001015
Tom Stellard155bbb72014-08-11 22:18:17 +00001016 // (add N0, C1) -> offset
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001017 VAddr = CurDAG->getTargetConstant(0, DL, MVT::i32);
Tom Stellard155bbb72014-08-11 22:18:17 +00001018 Ptr = N0;
Tom Stellard94b72312015-02-11 00:34:35 +00001019 }
1020
1021 if (isLegalMUBUFImmOffset(C1)) {
Matt Arsenault88701812016-06-09 23:42:48 +00001022 Offset = CurDAG->getTargetConstant(C1->getZExtValue(), DL, MVT::i16);
1023 return true;
1024 }
1025
1026 if (isUInt<32>(C1->getZExtValue())) {
Tom Stellard94b72312015-02-11 00:34:35 +00001027 // Illegal offset, store it in soffset.
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001028 Offset = CurDAG->getTargetConstant(0, DL, MVT::i16);
Tom Stellard94b72312015-02-11 00:34:35 +00001029 SOffset = SDValue(CurDAG->getMachineNode(AMDGPU::S_MOV_B32, DL, MVT::i32,
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001030 CurDAG->getTargetConstant(C1->getZExtValue(), DL, MVT::i32)),
1031 0);
Changpeng Fangb41574a2015-12-22 20:55:23 +00001032 return true;
Tom Stellardb02c2682014-06-24 23:33:07 +00001033 }
1034 }
Tom Stellard94b72312015-02-11 00:34:35 +00001035
Tom Stellardb02c2682014-06-24 23:33:07 +00001036 if (Addr.getOpcode() == ISD::ADD) {
Tom Stellard155bbb72014-08-11 22:18:17 +00001037 // (add N0, N1) -> addr64
Tom Stellardb02c2682014-06-24 23:33:07 +00001038 SDValue N0 = Addr.getOperand(0);
1039 SDValue N1 = Addr.getOperand(1);
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001040 Addr64 = CurDAG->getTargetConstant(1, DL, MVT::i1);
Tom Stellard155bbb72014-08-11 22:18:17 +00001041 Ptr = N0;
1042 VAddr = N1;
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001043 Offset = CurDAG->getTargetConstant(0, DL, MVT::i16);
Changpeng Fangb41574a2015-12-22 20:55:23 +00001044 return true;
Tom Stellardb02c2682014-06-24 23:33:07 +00001045 }
1046
Tom Stellard155bbb72014-08-11 22:18:17 +00001047 // default case -> offset
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001048 VAddr = CurDAG->getTargetConstant(0, DL, MVT::i32);
Tom Stellard155bbb72014-08-11 22:18:17 +00001049 Ptr = Addr;
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001050 Offset = CurDAG->getTargetConstant(0, DL, MVT::i16);
Changpeng Fangb41574a2015-12-22 20:55:23 +00001051
1052 return true;
Tom Stellard155bbb72014-08-11 22:18:17 +00001053}
1054
1055bool AMDGPUDAGToDAGISel::SelectMUBUFAddr64(SDValue Addr, SDValue &SRsrc,
Tom Stellardc53861a2015-02-11 00:34:32 +00001056 SDValue &VAddr, SDValue &SOffset,
Tom Stellard1f9939f2015-02-27 14:59:41 +00001057 SDValue &Offset, SDValue &GLC,
1058 SDValue &SLC, SDValue &TFE) const {
1059 SDValue Ptr, Offen, Idxen, Addr64;
Tom Stellard155bbb72014-08-11 22:18:17 +00001060
Tom Stellard70580f82015-07-20 14:28:41 +00001061 // addr64 bit was removed for volcanic islands.
1062 if (Subtarget->getGeneration() >= AMDGPUSubtarget::VOLCANIC_ISLANDS)
1063 return false;
1064
Changpeng Fangb41574a2015-12-22 20:55:23 +00001065 if (!SelectMUBUF(Addr, Ptr, VAddr, SOffset, Offset, Offen, Idxen, Addr64,
1066 GLC, SLC, TFE))
1067 return false;
Tom Stellard155bbb72014-08-11 22:18:17 +00001068
1069 ConstantSDNode *C = cast<ConstantSDNode>(Addr64);
1070 if (C->getSExtValue()) {
1071 SDLoc DL(Addr);
Matt Arsenault485defe2014-11-05 19:01:17 +00001072
1073 const SITargetLowering& Lowering =
1074 *static_cast<const SITargetLowering*>(getTargetLowering());
1075
1076 SRsrc = SDValue(Lowering.wrapAddr64Rsrc(*CurDAG, DL, Ptr), 0);
Tom Stellard155bbb72014-08-11 22:18:17 +00001077 return true;
1078 }
Matt Arsenault485defe2014-11-05 19:01:17 +00001079
Tom Stellard155bbb72014-08-11 22:18:17 +00001080 return false;
1081}
1082
Tom Stellard7980fc82014-09-25 18:30:26 +00001083bool AMDGPUDAGToDAGISel::SelectMUBUFAddr64(SDValue Addr, SDValue &SRsrc,
Tom Stellardc53861a2015-02-11 00:34:32 +00001084 SDValue &VAddr, SDValue &SOffset,
NAKAMURA Takumi0a7d0ad2015-09-22 11:15:07 +00001085 SDValue &Offset,
1086 SDValue &SLC) const {
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001087 SLC = CurDAG->getTargetConstant(0, SDLoc(Addr), MVT::i1);
Tom Stellard1f9939f2015-02-27 14:59:41 +00001088 SDValue GLC, TFE;
Tom Stellard7980fc82014-09-25 18:30:26 +00001089
Tom Stellard1f9939f2015-02-27 14:59:41 +00001090 return SelectMUBUFAddr64(Addr, SRsrc, VAddr, SOffset, Offset, GLC, SLC, TFE);
Tom Stellard7980fc82014-09-25 18:30:26 +00001091}
1092
Tom Stellardb02094e2014-07-21 15:45:01 +00001093bool AMDGPUDAGToDAGISel::SelectMUBUFScratch(SDValue Addr, SDValue &Rsrc,
1094 SDValue &VAddr, SDValue &SOffset,
1095 SDValue &ImmOffset) const {
1096
1097 SDLoc DL(Addr);
1098 MachineFunction &MF = CurDAG->getMachineFunction();
Matt Arsenault0e3d3892015-11-30 21:15:53 +00001099 const SIMachineFunctionInfo *Info = MF.getInfo<SIMachineFunctionInfo>();
Tom Stellardb02094e2014-07-21 15:45:01 +00001100
Matt Arsenault0e3d3892015-11-30 21:15:53 +00001101 Rsrc = CurDAG->getRegister(Info->getScratchRSrcReg(), MVT::v4i32);
Matt Arsenault26f8f3d2015-11-30 21:16:03 +00001102 SOffset = CurDAG->getRegister(Info->getScratchWaveOffsetReg(), MVT::i32);
Tom Stellardb02094e2014-07-21 15:45:01 +00001103
1104 // (add n0, c1)
1105 if (CurDAG->isBaseWithConstantOffset(Addr)) {
Tom Stellard78655fc2015-07-16 19:40:09 +00001106 SDValue N0 = Addr.getOperand(0);
Tom Stellardb02094e2014-07-21 15:45:01 +00001107 SDValue N1 = Addr.getOperand(1);
Matt Arsenaultcd099612016-02-24 04:55:29 +00001108
Tom Stellard78655fc2015-07-16 19:40:09 +00001109 // Offsets in vaddr must be positive.
Matt Arsenaultcd099612016-02-24 04:55:29 +00001110 ConstantSDNode *C1 = cast<ConstantSDNode>(N1);
Matt Arsenaultcb38a6b2016-03-21 18:02:18 +00001111 if (isLegalMUBUFImmOffset(C1)) {
Matt Arsenaultcd099612016-02-24 04:55:29 +00001112 VAddr = N0;
1113 ImmOffset = CurDAG->getTargetConstant(C1->getZExtValue(), DL, MVT::i16);
1114 return true;
Tom Stellardb02094e2014-07-21 15:45:01 +00001115 }
1116 }
1117
Tom Stellardb02094e2014-07-21 15:45:01 +00001118 // (node)
1119 VAddr = Addr;
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001120 ImmOffset = CurDAG->getTargetConstant(0, DL, MVT::i16);
Tom Stellardb02094e2014-07-21 15:45:01 +00001121 return true;
1122}
1123
Tom Stellard155bbb72014-08-11 22:18:17 +00001124bool AMDGPUDAGToDAGISel::SelectMUBUFOffset(SDValue Addr, SDValue &SRsrc,
1125 SDValue &SOffset, SDValue &Offset,
1126 SDValue &GLC, SDValue &SLC,
1127 SDValue &TFE) const {
1128 SDValue Ptr, VAddr, Offen, Idxen, Addr64;
Tom Stellard794c8c02014-12-02 17:05:41 +00001129 const SIInstrInfo *TII =
Eric Christopher7792e322015-01-30 23:24:40 +00001130 static_cast<const SIInstrInfo *>(Subtarget->getInstrInfo());
Tom Stellardb02094e2014-07-21 15:45:01 +00001131
Changpeng Fangb41574a2015-12-22 20:55:23 +00001132 if (!SelectMUBUF(Addr, Ptr, VAddr, SOffset, Offset, Offen, Idxen, Addr64,
1133 GLC, SLC, TFE))
1134 return false;
Tom Stellardb02094e2014-07-21 15:45:01 +00001135
Tom Stellard155bbb72014-08-11 22:18:17 +00001136 if (!cast<ConstantSDNode>(Offen)->getSExtValue() &&
1137 !cast<ConstantSDNode>(Idxen)->getSExtValue() &&
1138 !cast<ConstantSDNode>(Addr64)->getSExtValue()) {
Tom Stellard794c8c02014-12-02 17:05:41 +00001139 uint64_t Rsrc = TII->getDefaultRsrcDataFormat() |
Tom Stellard155bbb72014-08-11 22:18:17 +00001140 APInt::getAllOnesValue(32).getZExtValue(); // Size
1141 SDLoc DL(Addr);
Matt Arsenaultf3cd4512014-11-05 19:01:19 +00001142
1143 const SITargetLowering& Lowering =
1144 *static_cast<const SITargetLowering*>(getTargetLowering());
1145
1146 SRsrc = SDValue(Lowering.buildRSRC(*CurDAG, DL, Ptr, 0, Rsrc), 0);
Tom Stellard155bbb72014-08-11 22:18:17 +00001147 return true;
1148 }
1149 return false;
Tom Stellardb02094e2014-07-21 15:45:01 +00001150}
1151
Tom Stellard7980fc82014-09-25 18:30:26 +00001152bool AMDGPUDAGToDAGISel::SelectMUBUFOffset(SDValue Addr, SDValue &SRsrc,
Jan Vesely43b7b5b2016-04-07 19:23:11 +00001153 SDValue &Soffset, SDValue &Offset
1154 ) const {
1155 SDValue GLC, SLC, TFE;
1156
1157 return SelectMUBUFOffset(Addr, SRsrc, Soffset, Offset, GLC, SLC, TFE);
1158}
1159bool AMDGPUDAGToDAGISel::SelectMUBUFOffset(SDValue Addr, SDValue &SRsrc,
Tom Stellard7980fc82014-09-25 18:30:26 +00001160 SDValue &Soffset, SDValue &Offset,
Matt Arsenault88701812016-06-09 23:42:48 +00001161 SDValue &SLC) const {
1162 SDValue GLC, TFE;
Tom Stellard7980fc82014-09-25 18:30:26 +00001163
1164 return SelectMUBUFOffset(Addr, SRsrc, Soffset, Offset, GLC, SLC, TFE);
1165}
1166
Nicolai Haehnle3003ba02016-03-18 16:24:20 +00001167void AMDGPUDAGToDAGISel::SelectMUBUFConstant(SDValue Constant,
1168 SDValue &SOffset,
1169 SDValue &ImmOffset) const {
1170 SDLoc DL(Constant);
1171 uint32_t Imm = cast<ConstantSDNode>(Constant)->getZExtValue();
1172 uint32_t Overflow = 0;
1173
1174 if (Imm >= 4096) {
1175 if (Imm <= 4095 + 64) {
1176 // Use an SOffset inline constant for 1..64
1177 Overflow = Imm - 4095;
1178 Imm = 4095;
1179 } else {
1180 // Try to keep the same value in SOffset for adjacent loads, so that
1181 // the corresponding register contents can be re-used.
1182 //
1183 // Load values with all low-bits set into SOffset, so that a larger
1184 // range of values can be covered using s_movk_i32
1185 uint32_t High = (Imm + 1) & ~4095;
1186 uint32_t Low = (Imm + 1) & 4095;
1187 Imm = Low;
1188 Overflow = High - 1;
1189 }
1190 }
1191
1192 ImmOffset = CurDAG->getTargetConstant(Imm, DL, MVT::i16);
1193
1194 if (Overflow <= 64)
1195 SOffset = CurDAG->getTargetConstant(Overflow, DL, MVT::i32);
1196 else
1197 SOffset = SDValue(CurDAG->getMachineNode(AMDGPU::S_MOV_B32, DL, MVT::i32,
1198 CurDAG->getTargetConstant(Overflow, DL, MVT::i32)),
1199 0);
1200}
1201
1202bool AMDGPUDAGToDAGISel::SelectMUBUFIntrinsicOffset(SDValue Offset,
1203 SDValue &SOffset,
1204 SDValue &ImmOffset) const {
1205 SDLoc DL(Offset);
1206
1207 if (!isa<ConstantSDNode>(Offset))
1208 return false;
1209
1210 SelectMUBUFConstant(Offset, SOffset, ImmOffset);
1211
1212 return true;
1213}
1214
1215bool AMDGPUDAGToDAGISel::SelectMUBUFIntrinsicVOffset(SDValue Offset,
1216 SDValue &SOffset,
1217 SDValue &ImmOffset,
1218 SDValue &VOffset) const {
1219 SDLoc DL(Offset);
1220
1221 // Don't generate an unnecessary voffset for constant offsets.
1222 if (isa<ConstantSDNode>(Offset))
1223 return false;
1224
1225 if (CurDAG->isBaseWithConstantOffset(Offset)) {
1226 SDValue N0 = Offset.getOperand(0);
1227 SDValue N1 = Offset.getOperand(1);
1228 SelectMUBUFConstant(N1, SOffset, ImmOffset);
1229 VOffset = N0;
1230 } else {
1231 SOffset = CurDAG->getTargetConstant(0, DL, MVT::i32);
1232 ImmOffset = CurDAG->getTargetConstant(0, DL, MVT::i16);
1233 VOffset = Offset;
1234 }
1235
1236 return true;
1237}
1238
Tom Stellarddee26a22015-08-06 19:28:30 +00001239///
1240/// \param EncodedOffset This is the immediate value that will be encoded
1241/// directly into the instruction. On SI/CI the \p EncodedOffset
1242/// will be in units of dwords and on VI+ it will be units of bytes.
1243static bool isLegalSMRDImmOffset(const AMDGPUSubtarget *ST,
1244 int64_t EncodedOffset) {
1245 return ST->getGeneration() < AMDGPUSubtarget::VOLCANIC_ISLANDS ?
1246 isUInt<8>(EncodedOffset) : isUInt<20>(EncodedOffset);
1247}
1248
1249bool AMDGPUDAGToDAGISel::SelectSMRDOffset(SDValue ByteOffsetNode,
1250 SDValue &Offset, bool &Imm) const {
1251
1252 // FIXME: Handle non-constant offsets.
1253 ConstantSDNode *C = dyn_cast<ConstantSDNode>(ByteOffsetNode);
1254 if (!C)
1255 return false;
1256
1257 SDLoc SL(ByteOffsetNode);
1258 AMDGPUSubtarget::Generation Gen = Subtarget->getGeneration();
1259 int64_t ByteOffset = C->getSExtValue();
1260 int64_t EncodedOffset = Gen < AMDGPUSubtarget::VOLCANIC_ISLANDS ?
1261 ByteOffset >> 2 : ByteOffset;
1262
1263 if (isLegalSMRDImmOffset(Subtarget, EncodedOffset)) {
1264 Offset = CurDAG->getTargetConstant(EncodedOffset, SL, MVT::i32);
1265 Imm = true;
1266 return true;
1267 }
1268
Tom Stellard217361c2015-08-06 19:28:38 +00001269 if (!isUInt<32>(EncodedOffset) || !isUInt<32>(ByteOffset))
1270 return false;
1271
1272 if (Gen == AMDGPUSubtarget::SEA_ISLANDS && isUInt<32>(EncodedOffset)) {
1273 // 32-bit Immediates are supported on Sea Islands.
1274 Offset = CurDAG->getTargetConstant(EncodedOffset, SL, MVT::i32);
1275 } else {
Tom Stellarddee26a22015-08-06 19:28:30 +00001276 SDValue C32Bit = CurDAG->getTargetConstant(ByteOffset, SL, MVT::i32);
1277 Offset = SDValue(CurDAG->getMachineNode(AMDGPU::S_MOV_B32, SL, MVT::i32,
1278 C32Bit), 0);
Tom Stellarddee26a22015-08-06 19:28:30 +00001279 }
Tom Stellard217361c2015-08-06 19:28:38 +00001280 Imm = false;
1281 return true;
Tom Stellarddee26a22015-08-06 19:28:30 +00001282}
1283
1284bool AMDGPUDAGToDAGISel::SelectSMRD(SDValue Addr, SDValue &SBase,
1285 SDValue &Offset, bool &Imm) const {
1286
1287 SDLoc SL(Addr);
1288 if (CurDAG->isBaseWithConstantOffset(Addr)) {
1289 SDValue N0 = Addr.getOperand(0);
1290 SDValue N1 = Addr.getOperand(1);
1291
1292 if (SelectSMRDOffset(N1, Offset, Imm)) {
1293 SBase = N0;
1294 return true;
1295 }
1296 }
1297 SBase = Addr;
1298 Offset = CurDAG->getTargetConstant(0, SL, MVT::i32);
1299 Imm = true;
1300 return true;
1301}
1302
1303bool AMDGPUDAGToDAGISel::SelectSMRDImm(SDValue Addr, SDValue &SBase,
1304 SDValue &Offset) const {
1305 bool Imm;
1306 return SelectSMRD(Addr, SBase, Offset, Imm) && Imm;
1307}
1308
Tom Stellard217361c2015-08-06 19:28:38 +00001309bool AMDGPUDAGToDAGISel::SelectSMRDImm32(SDValue Addr, SDValue &SBase,
1310 SDValue &Offset) const {
1311
1312 if (Subtarget->getGeneration() != AMDGPUSubtarget::SEA_ISLANDS)
1313 return false;
1314
1315 bool Imm;
1316 if (!SelectSMRD(Addr, SBase, Offset, Imm))
1317 return false;
1318
1319 return !Imm && isa<ConstantSDNode>(Offset);
1320}
1321
Tom Stellarddee26a22015-08-06 19:28:30 +00001322bool AMDGPUDAGToDAGISel::SelectSMRDSgpr(SDValue Addr, SDValue &SBase,
1323 SDValue &Offset) const {
1324 bool Imm;
Tom Stellard217361c2015-08-06 19:28:38 +00001325 return SelectSMRD(Addr, SBase, Offset, Imm) && !Imm &&
1326 !isa<ConstantSDNode>(Offset);
Tom Stellarddee26a22015-08-06 19:28:30 +00001327}
1328
1329bool AMDGPUDAGToDAGISel::SelectSMRDBufferImm(SDValue Addr,
1330 SDValue &Offset) const {
1331 bool Imm;
1332 return SelectSMRDOffset(Addr, Offset, Imm) && Imm;
1333}
1334
Tom Stellard217361c2015-08-06 19:28:38 +00001335bool AMDGPUDAGToDAGISel::SelectSMRDBufferImm32(SDValue Addr,
1336 SDValue &Offset) const {
1337 if (Subtarget->getGeneration() != AMDGPUSubtarget::SEA_ISLANDS)
1338 return false;
1339
1340 bool Imm;
1341 if (!SelectSMRDOffset(Addr, Offset, Imm))
1342 return false;
1343
1344 return !Imm && isa<ConstantSDNode>(Offset);
1345}
1346
Tom Stellarddee26a22015-08-06 19:28:30 +00001347bool AMDGPUDAGToDAGISel::SelectSMRDBufferSgpr(SDValue Addr,
1348 SDValue &Offset) const {
1349 bool Imm;
Tom Stellard217361c2015-08-06 19:28:38 +00001350 return SelectSMRDOffset(Addr, Offset, Imm) && !Imm &&
1351 !isa<ConstantSDNode>(Offset);
Tom Stellarddee26a22015-08-06 19:28:30 +00001352}
1353
Marek Olsak9b728682015-03-24 13:40:27 +00001354SDNode *AMDGPUDAGToDAGISel::getS_BFE(unsigned Opcode, SDLoc DL, SDValue Val,
1355 uint32_t Offset, uint32_t Width) {
1356 // Transformation function, pack the offset and width of a BFE into
1357 // the format expected by the S_BFE_I32 / S_BFE_U32. In the second
1358 // source, bits [5:0] contain the offset and bits [22:16] the width.
1359 uint32_t PackedVal = Offset | (Width << 16);
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001360 SDValue PackedConst = CurDAG->getTargetConstant(PackedVal, DL, MVT::i32);
Marek Olsak9b728682015-03-24 13:40:27 +00001361
1362 return CurDAG->getMachineNode(Opcode, DL, MVT::i32, Val, PackedConst);
1363}
1364
Justin Bogner95927c02016-05-12 21:03:32 +00001365void AMDGPUDAGToDAGISel::SelectS_BFEFromShifts(SDNode *N) {
Marek Olsak9b728682015-03-24 13:40:27 +00001366 // "(a << b) srl c)" ---> "BFE_U32 a, (c-b), (32-c)
1367 // "(a << b) sra c)" ---> "BFE_I32 a, (c-b), (32-c)
1368 // Predicate: 0 < b <= c < 32
1369
1370 const SDValue &Shl = N->getOperand(0);
1371 ConstantSDNode *B = dyn_cast<ConstantSDNode>(Shl->getOperand(1));
1372 ConstantSDNode *C = dyn_cast<ConstantSDNode>(N->getOperand(1));
1373
1374 if (B && C) {
1375 uint32_t BVal = B->getZExtValue();
1376 uint32_t CVal = C->getZExtValue();
1377
1378 if (0 < BVal && BVal <= CVal && CVal < 32) {
1379 bool Signed = N->getOpcode() == ISD::SRA;
1380 unsigned Opcode = Signed ? AMDGPU::S_BFE_I32 : AMDGPU::S_BFE_U32;
1381
Justin Bogner95927c02016-05-12 21:03:32 +00001382 ReplaceNode(N, getS_BFE(Opcode, SDLoc(N), Shl.getOperand(0), CVal - BVal,
1383 32 - CVal));
1384 return;
Marek Olsak9b728682015-03-24 13:40:27 +00001385 }
1386 }
Justin Bogner95927c02016-05-12 21:03:32 +00001387 SelectCode(N);
Marek Olsak9b728682015-03-24 13:40:27 +00001388}
1389
Justin Bogner95927c02016-05-12 21:03:32 +00001390void AMDGPUDAGToDAGISel::SelectS_BFE(SDNode *N) {
Marek Olsak9b728682015-03-24 13:40:27 +00001391 switch (N->getOpcode()) {
1392 case ISD::AND:
1393 if (N->getOperand(0).getOpcode() == ISD::SRL) {
1394 // "(a srl b) & mask" ---> "BFE_U32 a, b, popcount(mask)"
1395 // Predicate: isMask(mask)
1396 const SDValue &Srl = N->getOperand(0);
1397 ConstantSDNode *Shift = dyn_cast<ConstantSDNode>(Srl.getOperand(1));
1398 ConstantSDNode *Mask = dyn_cast<ConstantSDNode>(N->getOperand(1));
1399
1400 if (Shift && Mask) {
1401 uint32_t ShiftVal = Shift->getZExtValue();
1402 uint32_t MaskVal = Mask->getZExtValue();
1403
1404 if (isMask_32(MaskVal)) {
1405 uint32_t WidthVal = countPopulation(MaskVal);
1406
Justin Bogner95927c02016-05-12 21:03:32 +00001407 ReplaceNode(N, getS_BFE(AMDGPU::S_BFE_U32, SDLoc(N),
1408 Srl.getOperand(0), ShiftVal, WidthVal));
1409 return;
Marek Olsak9b728682015-03-24 13:40:27 +00001410 }
1411 }
1412 }
1413 break;
1414 case ISD::SRL:
1415 if (N->getOperand(0).getOpcode() == ISD::AND) {
1416 // "(a & mask) srl b)" ---> "BFE_U32 a, b, popcount(mask >> b)"
1417 // Predicate: isMask(mask >> b)
1418 const SDValue &And = N->getOperand(0);
1419 ConstantSDNode *Shift = dyn_cast<ConstantSDNode>(N->getOperand(1));
1420 ConstantSDNode *Mask = dyn_cast<ConstantSDNode>(And->getOperand(1));
1421
1422 if (Shift && Mask) {
1423 uint32_t ShiftVal = Shift->getZExtValue();
1424 uint32_t MaskVal = Mask->getZExtValue() >> ShiftVal;
1425
1426 if (isMask_32(MaskVal)) {
1427 uint32_t WidthVal = countPopulation(MaskVal);
1428
Justin Bogner95927c02016-05-12 21:03:32 +00001429 ReplaceNode(N, getS_BFE(AMDGPU::S_BFE_U32, SDLoc(N),
1430 And.getOperand(0), ShiftVal, WidthVal));
1431 return;
Marek Olsak9b728682015-03-24 13:40:27 +00001432 }
1433 }
Justin Bogner95927c02016-05-12 21:03:32 +00001434 } else if (N->getOperand(0).getOpcode() == ISD::SHL) {
1435 SelectS_BFEFromShifts(N);
1436 return;
1437 }
Marek Olsak9b728682015-03-24 13:40:27 +00001438 break;
1439 case ISD::SRA:
Justin Bogner95927c02016-05-12 21:03:32 +00001440 if (N->getOperand(0).getOpcode() == ISD::SHL) {
1441 SelectS_BFEFromShifts(N);
1442 return;
1443 }
Marek Olsak9b728682015-03-24 13:40:27 +00001444 break;
Matt Arsenault7e8de012016-04-22 22:59:16 +00001445
1446 case ISD::SIGN_EXTEND_INREG: {
1447 // sext_inreg (srl x, 16), i8 -> bfe_i32 x, 16, 8
1448 SDValue Src = N->getOperand(0);
1449 if (Src.getOpcode() != ISD::SRL)
1450 break;
1451
1452 const ConstantSDNode *Amt = dyn_cast<ConstantSDNode>(Src.getOperand(1));
1453 if (!Amt)
1454 break;
1455
1456 unsigned Width = cast<VTSDNode>(N->getOperand(1))->getVT().getSizeInBits();
Justin Bogner95927c02016-05-12 21:03:32 +00001457 ReplaceNode(N, getS_BFE(AMDGPU::S_BFE_I32, SDLoc(N), Src.getOperand(0),
1458 Amt->getZExtValue(), Width));
1459 return;
Matt Arsenault7e8de012016-04-22 22:59:16 +00001460 }
Marek Olsak9b728682015-03-24 13:40:27 +00001461 }
1462
Justin Bogner95927c02016-05-12 21:03:32 +00001463 SelectCode(N);
Marek Olsak9b728682015-03-24 13:40:27 +00001464}
1465
Justin Bogner95927c02016-05-12 21:03:32 +00001466void AMDGPUDAGToDAGISel::SelectBRCOND(SDNode *N) {
Tom Stellardbc4497b2016-02-12 23:45:29 +00001467 SDValue Cond = N->getOperand(1);
1468
1469 if (isCBranchSCC(N)) {
1470 // This brcond will use S_CBRANCH_SCC*, so let tablegen handle it.
Justin Bogner95927c02016-05-12 21:03:32 +00001471 SelectCode(N);
1472 return;
Tom Stellardbc4497b2016-02-12 23:45:29 +00001473 }
1474
1475 // The result of VOPC instructions is or'd against ~EXEC before it is
1476 // written to vcc or another SGPR. This means that the value '1' is always
1477 // written to the corresponding bit for results that are masked. In order
1478 // to correctly check against vccz, we need to and VCC with the EXEC
1479 // register in order to clear the value from the masked bits.
1480
1481 SDLoc SL(N);
1482
1483 SDNode *MaskedCond =
1484 CurDAG->getMachineNode(AMDGPU::S_AND_B64, SL, MVT::i1,
1485 CurDAG->getRegister(AMDGPU::EXEC, MVT::i1),
1486 Cond);
1487 SDValue VCC = CurDAG->getCopyToReg(N->getOperand(0), SL, AMDGPU::VCC,
1488 SDValue(MaskedCond, 0),
1489 SDValue()); // Passing SDValue() adds a
1490 // glue output.
Justin Bogner95927c02016-05-12 21:03:32 +00001491 CurDAG->SelectNodeTo(N, AMDGPU::S_CBRANCH_VCCNZ, MVT::Other,
1492 N->getOperand(2), // Basic Block
1493 VCC.getValue(0), // Chain
1494 VCC.getValue(1)); // Glue
1495 return;
Tom Stellardbc4497b2016-02-12 23:45:29 +00001496}
1497
Matt Arsenault88701812016-06-09 23:42:48 +00001498// This is here because there isn't a way to use the generated sub0_sub1 as the
1499// subreg index to EXTRACT_SUBREG in tablegen.
1500void AMDGPUDAGToDAGISel::SelectATOMIC_CMP_SWAP(SDNode *N) {
1501 MemSDNode *Mem = cast<MemSDNode>(N);
1502 unsigned AS = Mem->getAddressSpace();
1503
1504 MVT VT = N->getSimpleValueType(0);
1505 bool Is32 = (VT == MVT::i32);
1506 SDLoc SL(N);
1507
1508 MachineSDNode *CmpSwap = nullptr;
1509 if (Subtarget->hasAddr64()) {
1510 SDValue SRsrc, VAddr, SOffset, Offset, GLC, SLC;
1511
1512 if (SelectMUBUFAddr64(Mem->getBasePtr(), SRsrc, VAddr, SOffset, Offset, SLC)) {
1513 unsigned Opcode = Is32 ? AMDGPU::BUFFER_ATOMIC_CMPSWAP_RTN_ADDR64 :
1514 AMDGPU::BUFFER_ATOMIC_CMPSWAP_X2_RTN_ADDR64;
1515 SDValue CmpVal = Mem->getOperand(2);
1516
1517 // XXX - Do we care about glue operands?
1518
1519 SDValue Ops[] = {
1520 CmpVal, VAddr, SRsrc, SOffset, Offset, SLC, Mem->getChain()
1521 };
1522
1523 CmpSwap = CurDAG->getMachineNode(Opcode, SL, Mem->getVTList(), Ops);
1524 }
1525 }
1526
1527 if (!CmpSwap) {
1528 SDValue SRsrc, SOffset, Offset, SLC;
1529 if (SelectMUBUFOffset(Mem->getBasePtr(), SRsrc, SOffset, Offset, SLC)) {
1530 unsigned Opcode = Is32 ? AMDGPU::BUFFER_ATOMIC_CMPSWAP_RTN_OFFSET :
1531 AMDGPU::BUFFER_ATOMIC_CMPSWAP_X2_RTN_OFFSET;
1532
1533 SDValue CmpVal = Mem->getOperand(2);
1534 SDValue Ops[] = {
1535 CmpVal, SRsrc, SOffset, Offset, SLC, Mem->getChain()
1536 };
1537
1538 CmpSwap = CurDAG->getMachineNode(Opcode, SL, Mem->getVTList(), Ops);
1539 }
1540 }
1541
1542 if (!CmpSwap) {
1543 SelectCode(N);
1544 return;
1545 }
1546
1547 MachineSDNode::mmo_iterator MMOs = MF->allocateMemRefsArray(1);
1548 *MMOs = Mem->getMemOperand();
1549 CmpSwap->setMemRefs(MMOs, MMOs + 1);
1550
1551 unsigned SubReg = Is32 ? AMDGPU::sub0 : AMDGPU::sub0_sub1;
1552 SDValue Extract
1553 = CurDAG->getTargetExtractSubreg(SubReg, SL, VT, SDValue(CmpSwap, 0));
1554
1555 ReplaceUses(SDValue(N, 0), Extract);
1556 ReplaceUses(SDValue(N, 1), SDValue(CmpSwap, 1));
1557 CurDAG->RemoveDeadNode(N);
1558}
1559
Tom Stellardb4a313a2014-08-01 00:32:39 +00001560bool AMDGPUDAGToDAGISel::SelectVOP3Mods(SDValue In, SDValue &Src,
1561 SDValue &SrcMods) const {
1562
1563 unsigned Mods = 0;
1564
1565 Src = In;
1566
1567 if (Src.getOpcode() == ISD::FNEG) {
1568 Mods |= SISrcMods::NEG;
1569 Src = Src.getOperand(0);
1570 }
1571
1572 if (Src.getOpcode() == ISD::FABS) {
1573 Mods |= SISrcMods::ABS;
1574 Src = Src.getOperand(0);
1575 }
1576
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001577 SrcMods = CurDAG->getTargetConstant(Mods, SDLoc(In), MVT::i32);
Tom Stellardb4a313a2014-08-01 00:32:39 +00001578
1579 return true;
1580}
1581
Tom Stellarddb5a11f2015-07-13 15:47:57 +00001582bool AMDGPUDAGToDAGISel::SelectVOP3NoMods(SDValue In, SDValue &Src,
1583 SDValue &SrcMods) const {
1584 bool Res = SelectVOP3Mods(In, Src, SrcMods);
1585 return Res && cast<ConstantSDNode>(SrcMods)->isNullValue();
1586}
1587
Tom Stellardb4a313a2014-08-01 00:32:39 +00001588bool AMDGPUDAGToDAGISel::SelectVOP3Mods0(SDValue In, SDValue &Src,
1589 SDValue &SrcMods, SDValue &Clamp,
1590 SDValue &Omod) const {
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001591 SDLoc DL(In);
Tom Stellardb4a313a2014-08-01 00:32:39 +00001592 // FIXME: Handle Clamp and Omod
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001593 Clamp = CurDAG->getTargetConstant(0, DL, MVT::i32);
1594 Omod = CurDAG->getTargetConstant(0, DL, MVT::i32);
Tom Stellardb4a313a2014-08-01 00:32:39 +00001595
1596 return SelectVOP3Mods(In, Src, SrcMods);
1597}
1598
Tom Stellarddb5a11f2015-07-13 15:47:57 +00001599bool AMDGPUDAGToDAGISel::SelectVOP3NoMods0(SDValue In, SDValue &Src,
1600 SDValue &SrcMods, SDValue &Clamp,
1601 SDValue &Omod) const {
1602 bool Res = SelectVOP3Mods0(In, Src, SrcMods, Clamp, Omod);
1603
1604 return Res && cast<ConstantSDNode>(SrcMods)->isNullValue() &&
1605 cast<ConstantSDNode>(Clamp)->isNullValue() &&
1606 cast<ConstantSDNode>(Omod)->isNullValue();
1607}
1608
Matt Arsenault1cffa4c2014-11-13 19:49:04 +00001609bool AMDGPUDAGToDAGISel::SelectVOP3Mods0Clamp(SDValue In, SDValue &Src,
1610 SDValue &SrcMods,
1611 SDValue &Omod) const {
1612 // FIXME: Handle Omod
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001613 Omod = CurDAG->getTargetConstant(0, SDLoc(In), MVT::i32);
Matt Arsenault1cffa4c2014-11-13 19:49:04 +00001614
1615 return SelectVOP3Mods(In, Src, SrcMods);
1616}
1617
Matt Arsenault4831ce52015-01-06 23:00:37 +00001618bool AMDGPUDAGToDAGISel::SelectVOP3Mods0Clamp0OMod(SDValue In, SDValue &Src,
1619 SDValue &SrcMods,
1620 SDValue &Clamp,
1621 SDValue &Omod) const {
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001622 Clamp = Omod = CurDAG->getTargetConstant(0, SDLoc(In), MVT::i32);
Matt Arsenault4831ce52015-01-06 23:00:37 +00001623 return SelectVOP3Mods(In, Src, SrcMods);
1624}
1625
Matt Arsenault4bf43d42015-09-25 17:27:08 +00001626void AMDGPUDAGToDAGISel::PreprocessISelDAG() {
Matt Arsenaultf43c2a02016-03-23 21:49:25 +00001627 MachineFrameInfo *MFI = CurDAG->getMachineFunction().getFrameInfo();
1628
1629 // Handle the perverse case where a frame index is being stored. We don't
1630 // want to see multiple frame index operands on the same instruction since
1631 // it complicates things and violates some assumptions about frame index
1632 // lowering.
1633 for (int I = MFI->getObjectIndexBegin(), E = MFI->getObjectIndexEnd();
1634 I != E; ++I) {
1635 SDValue FI = CurDAG->getTargetFrameIndex(I, MVT::i32);
1636
1637 // It's possible that we have a frame index defined in the function that
1638 // isn't used in this block.
1639 if (FI.use_empty())
1640 continue;
1641
1642 // Skip over the AssertZext inserted during lowering.
1643 SDValue EffectiveFI = FI;
1644 auto It = FI->use_begin();
1645 if (It->getOpcode() == ISD::AssertZext && FI->hasOneUse()) {
1646 EffectiveFI = SDValue(*It, 0);
1647 It = EffectiveFI->use_begin();
1648 }
1649
1650 for (auto It = EffectiveFI->use_begin(); !It.atEnd(); ) {
1651 SDUse &Use = It.getUse();
1652 SDNode *User = Use.getUser();
1653 unsigned OpIdx = It.getOperandNo();
1654 ++It;
1655
1656 if (MemSDNode *M = dyn_cast<MemSDNode>(User)) {
1657 unsigned PtrIdx = M->getOpcode() == ISD::STORE ? 2 : 1;
1658 if (OpIdx == PtrIdx)
1659 continue;
1660
Vasileios Kalintirisb8a37202016-03-24 10:53:28 +00001661 unsigned OpN = M->getNumOperands();
Matt Arsenaultf43c2a02016-03-23 21:49:25 +00001662 SDValue NewOps[8];
1663
1664 assert(OpN < array_lengthof(NewOps));
1665 for (unsigned Op = 0; Op != OpN; ++Op) {
1666 if (Op != OpIdx) {
1667 NewOps[Op] = M->getOperand(Op);
1668 continue;
1669 }
1670
1671 MachineSDNode *Mov = CurDAG->getMachineNode(AMDGPU::V_MOV_B32_e32,
1672 SDLoc(M), MVT::i32, FI);
1673 NewOps[Op] = SDValue(Mov, 0);
1674 }
1675
1676 CurDAG->UpdateNodeOperands(M, makeArrayRef(NewOps, OpN));
Matt Arsenaultf43c2a02016-03-23 21:49:25 +00001677 }
1678 }
1679 }
Matt Arsenault4bf43d42015-09-25 17:27:08 +00001680}
1681
Christian Konigd910b7d2013-02-26 17:52:16 +00001682void AMDGPUDAGToDAGISel::PostprocessISelDAG() {
Bill Wendlinga3cd3502013-06-19 21:36:55 +00001683 const AMDGPUTargetLowering& Lowering =
Matt Arsenault209a7b92014-04-18 07:40:20 +00001684 *static_cast<const AMDGPUTargetLowering*>(getTargetLowering());
Vincent Lejeuneab3baf82013-09-12 23:44:44 +00001685 bool IsModified = false;
1686 do {
1687 IsModified = false;
1688 // Go over all selected nodes and try to fold them a bit more
Pete Cooper65c69402015-07-14 22:10:54 +00001689 for (SDNode &Node : CurDAG->allnodes()) {
1690 MachineSDNode *MachineNode = dyn_cast<MachineSDNode>(&Node);
Vincent Lejeuneab3baf82013-09-12 23:44:44 +00001691 if (!MachineNode)
1692 continue;
Christian Konigd910b7d2013-02-26 17:52:16 +00001693
Vincent Lejeuneab3baf82013-09-12 23:44:44 +00001694 SDNode *ResNode = Lowering.PostISelFolding(MachineNode, *CurDAG);
Pete Cooper65c69402015-07-14 22:10:54 +00001695 if (ResNode != &Node) {
1696 ReplaceUses(&Node, ResNode);
Vincent Lejeuneab3baf82013-09-12 23:44:44 +00001697 IsModified = true;
1698 }
Tom Stellard2183b702013-06-03 17:39:46 +00001699 }
Vincent Lejeuneab3baf82013-09-12 23:44:44 +00001700 CurDAG->RemoveDeadNodes();
1701 } while (IsModified);
Christian Konigd910b7d2013-02-26 17:52:16 +00001702}