blob: 8898cf28a7777848cd6a9811de081d26d437f927 [file] [log] [blame]
Tom Stellard75aadc22012-12-11 21:25:42 +00001//===-- AMDILISelDAGToDAG.cpp - A dag to dag inst selector for AMDIL ------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//==-----------------------------------------------------------------------===//
9//
10/// \file
11/// \brief Defines an instruction selector for the AMDGPU target.
12//
13//===----------------------------------------------------------------------===//
14#include "AMDGPUInstrInfo.h"
15#include "AMDGPUISelLowering.h" // For AMDGPUISD
16#include "AMDGPURegisterInfo.h"
Tom Stellard2e59a452014-06-13 01:32:00 +000017#include "AMDGPUSubtarget.h"
Tom Stellard75aadc22012-12-11 21:25:42 +000018#include "R600InstrInfo.h"
Tom Stellardb02094e2014-07-21 15:45:01 +000019#include "SIDefines.h"
Christian Konigf82901a2013-02-26 17:52:23 +000020#include "SIISelLowering.h"
Tom Stellardb02094e2014-07-21 15:45:01 +000021#include "SIMachineFunctionInfo.h"
Tom Stellard58ac7442014-04-29 23:12:48 +000022#include "llvm/CodeGen/FunctionLoweringInfo.h"
Tom Stellard75aadc22012-12-11 21:25:42 +000023#include "llvm/CodeGen/PseudoSourceValue.h"
Tom Stellardb02094e2014-07-21 15:45:01 +000024#include "llvm/CodeGen/MachineFrameInfo.h"
25#include "llvm/CodeGen/MachineRegisterInfo.h"
Benjamin Kramerd78bb462013-05-23 17:10:37 +000026#include "llvm/CodeGen/SelectionDAG.h"
Tom Stellard75aadc22012-12-11 21:25:42 +000027#include "llvm/CodeGen/SelectionDAGISel.h"
Tom Stellard58ac7442014-04-29 23:12:48 +000028#include "llvm/IR/Function.h"
Tom Stellard75aadc22012-12-11 21:25:42 +000029
30using namespace llvm;
31
32//===----------------------------------------------------------------------===//
33// Instruction Selector Implementation
34//===----------------------------------------------------------------------===//
35
36namespace {
37/// AMDGPU specific code to select AMDGPU machine instructions for
38/// SelectionDAG operations.
39class AMDGPUDAGToDAGISel : public SelectionDAGISel {
40 // Subtarget - Keep a pointer to the AMDGPU Subtarget around so that we can
41 // make the right decision when generating code for different targets.
Eric Christopher7792e322015-01-30 23:24:40 +000042 const AMDGPUSubtarget *Subtarget;
Tom Stellard75aadc22012-12-11 21:25:42 +000043public:
44 AMDGPUDAGToDAGISel(TargetMachine &TM);
45 virtual ~AMDGPUDAGToDAGISel();
Eric Christopher7792e322015-01-30 23:24:40 +000046 bool runOnMachineFunction(MachineFunction &MF) override;
Craig Topper5656db42014-04-29 07:57:24 +000047 SDNode *Select(SDNode *N) override;
48 const char *getPassName() const override;
49 void PostprocessISelDAG() override;
Tom Stellard75aadc22012-12-11 21:25:42 +000050
51private:
Tom Stellard7ed0b522014-04-03 20:19:27 +000052 bool isInlineImmediate(SDNode *N) const;
Vincent Lejeunec6896792013-06-04 23:17:15 +000053 bool FoldOperand(SDValue &Src, SDValue &Sel, SDValue &Neg, SDValue &Abs,
Tom Stellard84021442013-07-23 01:48:24 +000054 const R600InstrInfo *TII);
Tom Stellard365366f2013-01-23 02:09:06 +000055 bool FoldOperands(unsigned, const R600InstrInfo *, std::vector<SDValue> &);
Vincent Lejeunec6896792013-06-04 23:17:15 +000056 bool FoldDotOperands(unsigned, const R600InstrInfo *, std::vector<SDValue> &);
Tom Stellard75aadc22012-12-11 21:25:42 +000057
58 // Complex pattern selectors
59 bool SelectADDRParam(SDValue Addr, SDValue& R1, SDValue& R2);
60 bool SelectADDR(SDValue N, SDValue &R1, SDValue &R2);
61 bool SelectADDR64(SDValue N, SDValue &R1, SDValue &R2);
62
63 static bool checkType(const Value *ptr, unsigned int addrspace);
Nick Lewyckyaad475b2014-04-15 07:22:52 +000064 static bool checkPrivateAddress(const MachineMemOperand *Op);
Tom Stellard75aadc22012-12-11 21:25:42 +000065
66 static bool isGlobalStore(const StoreSDNode *N);
Matt Arsenault3f981402014-09-15 15:41:53 +000067 static bool isFlatStore(const StoreSDNode *N);
Tom Stellard75aadc22012-12-11 21:25:42 +000068 static bool isPrivateStore(const StoreSDNode *N);
69 static bool isLocalStore(const StoreSDNode *N);
70 static bool isRegionStore(const StoreSDNode *N);
71
Matt Arsenault2aabb062013-06-18 23:37:58 +000072 bool isCPLoad(const LoadSDNode *N) const;
73 bool isConstantLoad(const LoadSDNode *N, int cbID) const;
74 bool isGlobalLoad(const LoadSDNode *N) const;
Matt Arsenault3f981402014-09-15 15:41:53 +000075 bool isFlatLoad(const LoadSDNode *N) const;
Matt Arsenault2aabb062013-06-18 23:37:58 +000076 bool isParamLoad(const LoadSDNode *N) const;
77 bool isPrivateLoad(const LoadSDNode *N) const;
78 bool isLocalLoad(const LoadSDNode *N) const;
79 bool isRegionLoad(const LoadSDNode *N) const;
Tom Stellard75aadc22012-12-11 21:25:42 +000080
Tom Stellarddf94dc32013-08-14 23:24:24 +000081 const TargetRegisterClass *getOperandRegClass(SDNode *N, unsigned OpNo) const;
Tom Stellard365366f2013-01-23 02:09:06 +000082 bool SelectGlobalValueConstantOffset(SDValue Addr, SDValue& IntPtr);
Matt Arsenault209a7b92014-04-18 07:40:20 +000083 bool SelectGlobalValueVariableOffset(SDValue Addr, SDValue &BaseReg,
84 SDValue& Offset);
Tom Stellard75aadc22012-12-11 21:25:42 +000085 bool SelectADDRVTX_READ(SDValue Addr, SDValue &Base, SDValue &Offset);
Tom Stellardf3b2a1e2013-02-06 17:32:29 +000086 bool SelectADDRIndirect(SDValue Addr, SDValue &Base, SDValue &Offset);
Tom Stellard85e8b6d2014-08-22 18:49:33 +000087 bool isDSOffsetLegal(const SDValue &Base, unsigned Offset,
88 unsigned OffsetBits) const;
89 bool SelectDS1Addr1Offset(SDValue Ptr, SDValue &Base, SDValue &Offset) const;
Tom Stellardf3fc5552014-08-22 18:49:35 +000090 bool SelectDS64Bit4ByteAligned(SDValue Ptr, SDValue &Base, SDValue &Offset0,
91 SDValue &Offset1) const;
Tom Stellard155bbb72014-08-11 22:18:17 +000092 void SelectMUBUF(SDValue Addr, SDValue &SRsrc, SDValue &VAddr,
93 SDValue &SOffset, SDValue &Offset, SDValue &Offen,
94 SDValue &Idxen, SDValue &Addr64, SDValue &GLC, SDValue &SLC,
95 SDValue &TFE) const;
96 bool SelectMUBUFAddr64(SDValue Addr, SDValue &SRsrc, SDValue &VAddr,
Tom Stellard1f9939f2015-02-27 14:59:41 +000097 SDValue &SOffset, SDValue &Offset, SDValue &GLC,
98 SDValue &SLC, SDValue &TFE) const;
Tom Stellard7980fc82014-09-25 18:30:26 +000099 bool SelectMUBUFAddr64(SDValue Addr, SDValue &SRsrc,
Tom Stellardc53861a2015-02-11 00:34:32 +0000100 SDValue &VAddr, SDValue &SOffset, SDValue &Offset,
Tom Stellard7980fc82014-09-25 18:30:26 +0000101 SDValue &SLC) const;
Tom Stellardb02094e2014-07-21 15:45:01 +0000102 bool SelectMUBUFScratch(SDValue Addr, SDValue &RSrc, SDValue &VAddr,
103 SDValue &SOffset, SDValue &ImmOffset) const;
Tom Stellard155bbb72014-08-11 22:18:17 +0000104 bool SelectMUBUFOffset(SDValue Addr, SDValue &SRsrc, SDValue &SOffset,
105 SDValue &Offset, SDValue &GLC, SDValue &SLC,
Tom Stellardb02094e2014-07-21 15:45:01 +0000106 SDValue &TFE) const;
Tom Stellard7980fc82014-09-25 18:30:26 +0000107 bool SelectMUBUFOffset(SDValue Addr, SDValue &SRsrc, SDValue &Soffset,
108 SDValue &Offset, SDValue &GLC) const;
Matt Arsenault3f981402014-09-15 15:41:53 +0000109 SDNode *SelectAddrSpaceCast(SDNode *N);
Tom Stellardb4a313a2014-08-01 00:32:39 +0000110 bool SelectVOP3Mods(SDValue In, SDValue &Src, SDValue &SrcMods) const;
111 bool SelectVOP3Mods0(SDValue In, SDValue &Src, SDValue &SrcMods,
112 SDValue &Clamp, SDValue &Omod) const;
Tom Stellard75aadc22012-12-11 21:25:42 +0000113
Matt Arsenault1cffa4c2014-11-13 19:49:04 +0000114 bool SelectVOP3Mods0Clamp(SDValue In, SDValue &Src, SDValue &SrcMods,
115 SDValue &Omod) const;
Matt Arsenault4831ce52015-01-06 23:00:37 +0000116 bool SelectVOP3Mods0Clamp0OMod(SDValue In, SDValue &Src, SDValue &SrcMods,
117 SDValue &Clamp,
118 SDValue &Omod) const;
Matt Arsenault1cffa4c2014-11-13 19:49:04 +0000119
Matt Arsenaultb8b51532014-06-23 18:00:38 +0000120 SDNode *SelectADD_SUB_I64(SDNode *N);
Matt Arsenaultf2b0aeb2014-06-23 18:28:28 +0000121 SDNode *SelectDIV_SCALE(SDNode *N);
Matt Arsenault9fa3f932014-06-23 18:00:34 +0000122
Marek Olsak9b728682015-03-24 13:40:27 +0000123 SDNode *getS_BFE(unsigned Opcode, SDLoc DL, SDValue Val,
124 uint32_t Offset, uint32_t Width);
125 SDNode *SelectS_BFEFromShifts(SDNode *N);
126 SDNode *SelectS_BFE(SDNode *N);
127
Tom Stellard75aadc22012-12-11 21:25:42 +0000128 // Include the pieces autogenerated from the target description.
129#include "AMDGPUGenDAGISel.inc"
130};
131} // end anonymous namespace
132
133/// \brief This pass converts a legalized DAG into a AMDGPU-specific
134// DAG, ready for instruction scheduling.
Matt Arsenault209a7b92014-04-18 07:40:20 +0000135FunctionPass *llvm::createAMDGPUISelDag(TargetMachine &TM) {
Tom Stellard75aadc22012-12-11 21:25:42 +0000136 return new AMDGPUDAGToDAGISel(TM);
137}
138
Bill Wendlinga3cd3502013-06-19 21:36:55 +0000139AMDGPUDAGToDAGISel::AMDGPUDAGToDAGISel(TargetMachine &TM)
Eric Christopher7792e322015-01-30 23:24:40 +0000140 : SelectionDAGISel(TM) {}
141
142bool AMDGPUDAGToDAGISel::runOnMachineFunction(MachineFunction &MF) {
143 Subtarget = &static_cast<const AMDGPUSubtarget &>(MF.getSubtarget());
144 return SelectionDAGISel::runOnMachineFunction(MF);
Tom Stellard75aadc22012-12-11 21:25:42 +0000145}
146
147AMDGPUDAGToDAGISel::~AMDGPUDAGToDAGISel() {
148}
149
Tom Stellard7ed0b522014-04-03 20:19:27 +0000150bool AMDGPUDAGToDAGISel::isInlineImmediate(SDNode *N) const {
151 const SITargetLowering *TL
152 = static_cast<const SITargetLowering *>(getTargetLowering());
153 return TL->analyzeImmediate(N) == 0;
154}
155
Tom Stellarddf94dc32013-08-14 23:24:24 +0000156/// \brief Determine the register class for \p OpNo
157/// \returns The register class of the virtual register that will be used for
158/// the given operand number \OpNo or NULL if the register class cannot be
159/// determined.
160const TargetRegisterClass *AMDGPUDAGToDAGISel::getOperandRegClass(SDNode *N,
161 unsigned OpNo) const {
Matt Arsenault209a7b92014-04-18 07:40:20 +0000162 if (!N->isMachineOpcode())
163 return nullptr;
164
Tom Stellarddf94dc32013-08-14 23:24:24 +0000165 switch (N->getMachineOpcode()) {
166 default: {
Eric Christopherd9134482014-08-04 21:25:23 +0000167 const MCInstrDesc &Desc =
Eric Christopher7792e322015-01-30 23:24:40 +0000168 Subtarget->getInstrInfo()->get(N->getMachineOpcode());
Alexey Samsonov3186eb32013-08-15 07:11:34 +0000169 unsigned OpIdx = Desc.getNumDefs() + OpNo;
170 if (OpIdx >= Desc.getNumOperands())
Matt Arsenault209a7b92014-04-18 07:40:20 +0000171 return nullptr;
Alexey Samsonov3186eb32013-08-15 07:11:34 +0000172 int RegClass = Desc.OpInfo[OpIdx].RegClass;
Matt Arsenault209a7b92014-04-18 07:40:20 +0000173 if (RegClass == -1)
174 return nullptr;
175
Eric Christopher7792e322015-01-30 23:24:40 +0000176 return Subtarget->getRegisterInfo()->getRegClass(RegClass);
Tom Stellarddf94dc32013-08-14 23:24:24 +0000177 }
178 case AMDGPU::REG_SEQUENCE: {
Matt Arsenault209a7b92014-04-18 07:40:20 +0000179 unsigned RCID = cast<ConstantSDNode>(N->getOperand(0))->getZExtValue();
Eric Christopherd9134482014-08-04 21:25:23 +0000180 const TargetRegisterClass *SuperRC =
Eric Christopher7792e322015-01-30 23:24:40 +0000181 Subtarget->getRegisterInfo()->getRegClass(RCID);
Matt Arsenault209a7b92014-04-18 07:40:20 +0000182
183 SDValue SubRegOp = N->getOperand(OpNo + 1);
184 unsigned SubRegIdx = cast<ConstantSDNode>(SubRegOp)->getZExtValue();
Eric Christopher7792e322015-01-30 23:24:40 +0000185 return Subtarget->getRegisterInfo()->getSubClassWithSubReg(SuperRC,
186 SubRegIdx);
Tom Stellarddf94dc32013-08-14 23:24:24 +0000187 }
188 }
189}
190
Tom Stellard75aadc22012-12-11 21:25:42 +0000191bool AMDGPUDAGToDAGISel::SelectADDRParam(
Matt Arsenault209a7b92014-04-18 07:40:20 +0000192 SDValue Addr, SDValue& R1, SDValue& R2) {
Tom Stellard75aadc22012-12-11 21:25:42 +0000193
194 if (Addr.getOpcode() == ISD::FrameIndex) {
195 if (FrameIndexSDNode *FIN = dyn_cast<FrameIndexSDNode>(Addr)) {
196 R1 = CurDAG->getTargetFrameIndex(FIN->getIndex(), MVT::i32);
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000197 R2 = CurDAG->getTargetConstant(0, SDLoc(Addr), MVT::i32);
Tom Stellard75aadc22012-12-11 21:25:42 +0000198 } else {
199 R1 = Addr;
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000200 R2 = CurDAG->getTargetConstant(0, SDLoc(Addr), MVT::i32);
Tom Stellard75aadc22012-12-11 21:25:42 +0000201 }
202 } else if (Addr.getOpcode() == ISD::ADD) {
203 R1 = Addr.getOperand(0);
204 R2 = Addr.getOperand(1);
205 } else {
206 R1 = Addr;
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000207 R2 = CurDAG->getTargetConstant(0, SDLoc(Addr), MVT::i32);
Tom Stellard75aadc22012-12-11 21:25:42 +0000208 }
209 return true;
210}
211
212bool AMDGPUDAGToDAGISel::SelectADDR(SDValue Addr, SDValue& R1, SDValue& R2) {
213 if (Addr.getOpcode() == ISD::TargetExternalSymbol ||
214 Addr.getOpcode() == ISD::TargetGlobalAddress) {
215 return false;
216 }
217 return SelectADDRParam(Addr, R1, R2);
218}
219
220
221bool AMDGPUDAGToDAGISel::SelectADDR64(SDValue Addr, SDValue& R1, SDValue& R2) {
222 if (Addr.getOpcode() == ISD::TargetExternalSymbol ||
223 Addr.getOpcode() == ISD::TargetGlobalAddress) {
224 return false;
225 }
226
227 if (Addr.getOpcode() == ISD::FrameIndex) {
228 if (FrameIndexSDNode *FIN = dyn_cast<FrameIndexSDNode>(Addr)) {
229 R1 = CurDAG->getTargetFrameIndex(FIN->getIndex(), MVT::i64);
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000230 R2 = CurDAG->getTargetConstant(0, SDLoc(Addr), MVT::i64);
Tom Stellard75aadc22012-12-11 21:25:42 +0000231 } else {
232 R1 = Addr;
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000233 R2 = CurDAG->getTargetConstant(0, SDLoc(Addr), MVT::i64);
Tom Stellard75aadc22012-12-11 21:25:42 +0000234 }
235 } else if (Addr.getOpcode() == ISD::ADD) {
236 R1 = Addr.getOperand(0);
237 R2 = Addr.getOperand(1);
238 } else {
239 R1 = Addr;
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000240 R2 = CurDAG->getTargetConstant(0, SDLoc(Addr), MVT::i64);
Tom Stellard75aadc22012-12-11 21:25:42 +0000241 }
242 return true;
243}
244
245SDNode *AMDGPUDAGToDAGISel::Select(SDNode *N) {
246 unsigned int Opc = N->getOpcode();
247 if (N->isMachineOpcode()) {
Tim Northover31d093c2013-09-22 08:21:56 +0000248 N->setNodeId(-1);
Matt Arsenault209a7b92014-04-18 07:40:20 +0000249 return nullptr; // Already selected.
Tom Stellard75aadc22012-12-11 21:25:42 +0000250 }
Matt Arsenault78b86702014-04-18 05:19:26 +0000251
Tom Stellard75aadc22012-12-11 21:25:42 +0000252 switch (Opc) {
253 default: break;
Tom Stellard1f15bff2014-02-25 21:36:18 +0000254 // We are selecting i64 ADD here instead of custom lower it during
255 // DAG legalization, so we can fold some i64 ADDs used for address
256 // calculation into the LOAD and STORE instructions.
Matt Arsenaultb8b51532014-06-23 18:00:38 +0000257 case ISD::ADD:
258 case ISD::SUB: {
Tom Stellard1f15bff2014-02-25 21:36:18 +0000259 if (N->getValueType(0) != MVT::i64 ||
Eric Christopher7792e322015-01-30 23:24:40 +0000260 Subtarget->getGeneration() < AMDGPUSubtarget::SOUTHERN_ISLANDS)
Tom Stellard1f15bff2014-02-25 21:36:18 +0000261 break;
262
Matt Arsenaultb8b51532014-06-23 18:00:38 +0000263 return SelectADD_SUB_I64(N);
Tom Stellard1f15bff2014-02-25 21:36:18 +0000264 }
Matt Arsenault064c2062014-06-11 17:40:32 +0000265 case ISD::SCALAR_TO_VECTOR:
Tom Stellard880a80a2014-06-17 16:53:14 +0000266 case AMDGPUISD::BUILD_VERTICAL_VECTOR:
Vincent Lejeune3b6f20e2013-03-05 15:04:49 +0000267 case ISD::BUILD_VECTOR: {
Tom Stellard8e5da412013-08-14 23:24:32 +0000268 unsigned RegClassID;
Eric Christopher7792e322015-01-30 23:24:40 +0000269 const AMDGPURegisterInfo *TRI = Subtarget->getRegisterInfo();
Tom Stellard8e5da412013-08-14 23:24:32 +0000270 EVT VT = N->getValueType(0);
271 unsigned NumVectorElts = VT.getVectorNumElements();
Matt Arsenault064c2062014-06-11 17:40:32 +0000272 EVT EltVT = VT.getVectorElementType();
273 assert(EltVT.bitsEq(MVT::i32));
Eric Christopher7792e322015-01-30 23:24:40 +0000274 if (Subtarget->getGeneration() >= AMDGPUSubtarget::SOUTHERN_ISLANDS) {
Tom Stellard8e5da412013-08-14 23:24:32 +0000275 bool UseVReg = true;
276 for (SDNode::use_iterator U = N->use_begin(), E = SDNode::use_end();
277 U != E; ++U) {
278 if (!U->isMachineOpcode()) {
279 continue;
280 }
281 const TargetRegisterClass *RC = getOperandRegClass(*U, U.getOperandNo());
282 if (!RC) {
283 continue;
284 }
Eric Christopher7792e322015-01-30 23:24:40 +0000285 if (static_cast<const SIRegisterInfo *>(TRI)->isSGPRClass(RC)) {
Tom Stellard8e5da412013-08-14 23:24:32 +0000286 UseVReg = false;
287 }
288 }
289 switch(NumVectorElts) {
Tom Stellard45c0b3a2015-01-07 20:59:25 +0000290 case 1: RegClassID = UseVReg ? AMDGPU::VGPR_32RegClassID :
Tom Stellard8e5da412013-08-14 23:24:32 +0000291 AMDGPU::SReg_32RegClassID;
292 break;
293 case 2: RegClassID = UseVReg ? AMDGPU::VReg_64RegClassID :
294 AMDGPU::SReg_64RegClassID;
295 break;
296 case 4: RegClassID = UseVReg ? AMDGPU::VReg_128RegClassID :
297 AMDGPU::SReg_128RegClassID;
298 break;
299 case 8: RegClassID = UseVReg ? AMDGPU::VReg_256RegClassID :
300 AMDGPU::SReg_256RegClassID;
301 break;
302 case 16: RegClassID = UseVReg ? AMDGPU::VReg_512RegClassID :
303 AMDGPU::SReg_512RegClassID;
304 break;
Benjamin Kramerbda73ff2013-08-31 21:20:04 +0000305 default: llvm_unreachable("Do not know how to lower this BUILD_VECTOR");
Tom Stellard8e5da412013-08-14 23:24:32 +0000306 }
307 } else {
308 // BUILD_VECTOR was lowered into an IMPLICIT_DEF + 4 INSERT_SUBREG
309 // that adds a 128 bits reg copy when going through TwoAddressInstructions
310 // pass. We want to avoid 128 bits copies as much as possible because they
311 // can't be bundled by our scheduler.
312 switch(NumVectorElts) {
313 case 2: RegClassID = AMDGPU::R600_Reg64RegClassID; break;
Tom Stellard880a80a2014-06-17 16:53:14 +0000314 case 4:
315 if (Opc == AMDGPUISD::BUILD_VERTICAL_VECTOR)
316 RegClassID = AMDGPU::R600_Reg128VerticalRegClassID;
317 else
318 RegClassID = AMDGPU::R600_Reg128RegClassID;
319 break;
Tom Stellard8e5da412013-08-14 23:24:32 +0000320 default: llvm_unreachable("Do not know how to lower this BUILD_VECTOR");
321 }
Vincent Lejeune3b6f20e2013-03-05 15:04:49 +0000322 }
Tom Stellard0344cdf2013-08-01 15:23:42 +0000323
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000324 SDLoc DL(N);
325 SDValue RegClass = CurDAG->getTargetConstant(RegClassID, DL, MVT::i32);
Tom Stellard8e5da412013-08-14 23:24:32 +0000326
327 if (NumVectorElts == 1) {
Matt Arsenault064c2062014-06-11 17:40:32 +0000328 return CurDAG->SelectNodeTo(N, AMDGPU::COPY_TO_REGCLASS, EltVT,
Tom Stellard8e5da412013-08-14 23:24:32 +0000329 N->getOperand(0), RegClass);
Tom Stellard0344cdf2013-08-01 15:23:42 +0000330 }
Tom Stellard8e5da412013-08-14 23:24:32 +0000331
332 assert(NumVectorElts <= 16 && "Vectors with more than 16 elements not "
333 "supported yet");
334 // 16 = Max Num Vector Elements
335 // 2 = 2 REG_SEQUENCE operands per element (value, subreg index)
336 // 1 = Vector Register Class
Matt Arsenault064c2062014-06-11 17:40:32 +0000337 SmallVector<SDValue, 16 * 2 + 1> RegSeqArgs(NumVectorElts * 2 + 1);
Tom Stellard8e5da412013-08-14 23:24:32 +0000338
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000339 RegSeqArgs[0] = CurDAG->getTargetConstant(RegClassID, DL, MVT::i32);
Vincent Lejeune3b6f20e2013-03-05 15:04:49 +0000340 bool IsRegSeq = true;
Matt Arsenault064c2062014-06-11 17:40:32 +0000341 unsigned NOps = N->getNumOperands();
342 for (unsigned i = 0; i < NOps; i++) {
Tom Stellard8e5da412013-08-14 23:24:32 +0000343 // XXX: Why is this here?
Benjamin Kramer619c4e52015-04-10 11:24:51 +0000344 if (isa<RegisterSDNode>(N->getOperand(i))) {
Vincent Lejeune3b6f20e2013-03-05 15:04:49 +0000345 IsRegSeq = false;
346 break;
347 }
Tom Stellard8e5da412013-08-14 23:24:32 +0000348 RegSeqArgs[1 + (2 * i)] = N->getOperand(i);
349 RegSeqArgs[1 + (2 * i) + 1] =
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000350 CurDAG->getTargetConstant(TRI->getSubRegFromChannel(i), DL,
351 MVT::i32);
Vincent Lejeune3b6f20e2013-03-05 15:04:49 +0000352 }
Matt Arsenault064c2062014-06-11 17:40:32 +0000353
354 if (NOps != NumVectorElts) {
355 // Fill in the missing undef elements if this was a scalar_to_vector.
356 assert(Opc == ISD::SCALAR_TO_VECTOR && NOps < NumVectorElts);
357
358 MachineSDNode *ImpDef = CurDAG->getMachineNode(TargetOpcode::IMPLICIT_DEF,
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000359 DL, EltVT);
Matt Arsenault064c2062014-06-11 17:40:32 +0000360 for (unsigned i = NOps; i < NumVectorElts; ++i) {
361 RegSeqArgs[1 + (2 * i)] = SDValue(ImpDef, 0);
362 RegSeqArgs[1 + (2 * i) + 1] =
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000363 CurDAG->getTargetConstant(TRI->getSubRegFromChannel(i), DL, MVT::i32);
Matt Arsenault064c2062014-06-11 17:40:32 +0000364 }
365 }
366
Vincent Lejeune3b6f20e2013-03-05 15:04:49 +0000367 if (!IsRegSeq)
368 break;
369 return CurDAG->SelectNodeTo(N, AMDGPU::REG_SEQUENCE, N->getVTList(),
Craig Topper481fb282014-04-27 19:21:11 +0000370 RegSeqArgs);
Vincent Lejeune3b6f20e2013-03-05 15:04:49 +0000371 }
Tom Stellard754f80f2013-04-05 23:31:51 +0000372 case ISD::BUILD_PAIR: {
373 SDValue RC, SubReg0, SubReg1;
Eric Christopher7792e322015-01-30 23:24:40 +0000374 if (Subtarget->getGeneration() <= AMDGPUSubtarget::NORTHERN_ISLANDS) {
Tom Stellard754f80f2013-04-05 23:31:51 +0000375 break;
376 }
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000377 SDLoc DL(N);
Tom Stellard754f80f2013-04-05 23:31:51 +0000378 if (N->getValueType(0) == MVT::i128) {
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000379 RC = CurDAG->getTargetConstant(AMDGPU::SReg_128RegClassID, DL, MVT::i32);
380 SubReg0 = CurDAG->getTargetConstant(AMDGPU::sub0_sub1, DL, MVT::i32);
381 SubReg1 = CurDAG->getTargetConstant(AMDGPU::sub2_sub3, DL, MVT::i32);
Tom Stellard754f80f2013-04-05 23:31:51 +0000382 } else if (N->getValueType(0) == MVT::i64) {
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000383 RC = CurDAG->getTargetConstant(AMDGPU::SReg_64RegClassID, DL, MVT::i32);
384 SubReg0 = CurDAG->getTargetConstant(AMDGPU::sub0, DL, MVT::i32);
385 SubReg1 = CurDAG->getTargetConstant(AMDGPU::sub1, DL, MVT::i32);
Tom Stellard754f80f2013-04-05 23:31:51 +0000386 } else {
387 llvm_unreachable("Unhandled value type for BUILD_PAIR");
388 }
389 const SDValue Ops[] = { RC, N->getOperand(0), SubReg0,
390 N->getOperand(1), SubReg1 };
391 return CurDAG->getMachineNode(TargetOpcode::REG_SEQUENCE,
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000392 DL, N->getValueType(0), Ops);
Tom Stellard754f80f2013-04-05 23:31:51 +0000393 }
Tom Stellard7ed0b522014-04-03 20:19:27 +0000394
395 case ISD::Constant:
396 case ISD::ConstantFP: {
Eric Christopher7792e322015-01-30 23:24:40 +0000397 if (Subtarget->getGeneration() < AMDGPUSubtarget::SOUTHERN_ISLANDS ||
Tom Stellard7ed0b522014-04-03 20:19:27 +0000398 N->getValueType(0).getSizeInBits() != 64 || isInlineImmediate(N))
399 break;
400
401 uint64_t Imm;
402 if (ConstantFPSDNode *FP = dyn_cast<ConstantFPSDNode>(N))
403 Imm = FP->getValueAPF().bitcastToAPInt().getZExtValue();
404 else {
Tom Stellard3cbe0142014-04-07 19:31:13 +0000405 ConstantSDNode *C = cast<ConstantSDNode>(N);
Tom Stellard7ed0b522014-04-03 20:19:27 +0000406 Imm = C->getZExtValue();
407 }
408
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000409 SDLoc DL(N);
410 SDNode *Lo = CurDAG->getMachineNode(AMDGPU::S_MOV_B32, DL, MVT::i32,
411 CurDAG->getConstant(Imm & 0xFFFFFFFF, DL,
412 MVT::i32));
413 SDNode *Hi = CurDAG->getMachineNode(AMDGPU::S_MOV_B32, DL, MVT::i32,
414 CurDAG->getConstant(Imm >> 32, DL, MVT::i32));
Tom Stellard7ed0b522014-04-03 20:19:27 +0000415 const SDValue Ops[] = {
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000416 CurDAG->getTargetConstant(AMDGPU::SReg_64RegClassID, DL, MVT::i32),
417 SDValue(Lo, 0), CurDAG->getTargetConstant(AMDGPU::sub0, DL, MVT::i32),
418 SDValue(Hi, 0), CurDAG->getTargetConstant(AMDGPU::sub1, DL, MVT::i32)
Tom Stellard7ed0b522014-04-03 20:19:27 +0000419 };
420
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000421 return CurDAG->getMachineNode(TargetOpcode::REG_SEQUENCE, DL,
Tom Stellard7ed0b522014-04-03 20:19:27 +0000422 N->getValueType(0), Ops);
423 }
424
Tom Stellard20f6c072015-01-23 22:05:45 +0000425 case ISD::LOAD: {
426 // To simplify the TableGen patters, we replace all i64 loads with
427 // v2i32 loads. Alternatively, we could promote i64 loads to v2i32
428 // during DAG legalization, however, so places (ExpandUnalignedLoad)
429 // in the DAG legalizer assume that if i64 is legal, so doing this
430 // promotion early can cause problems.
431 EVT VT = N->getValueType(0);
432 LoadSDNode *LD = cast<LoadSDNode>(N);
433 if (VT != MVT::i64 || LD->getExtensionType() != ISD::NON_EXTLOAD)
434 break;
435
436 SDValue NewLoad = CurDAG->getLoad(MVT::v2i32, SDLoc(N), LD->getChain(),
437 LD->getBasePtr(), LD->getMemOperand());
438 SDValue BitCast = CurDAG->getNode(ISD::BITCAST, SDLoc(N),
439 MVT::i64, NewLoad);
440 CurDAG->ReplaceAllUsesOfValueWith(SDValue(N, 1), NewLoad.getValue(1));
441 CurDAG->ReplaceAllUsesOfValueWith(SDValue(N, 0), BitCast);
442 SelectCode(NewLoad.getNode());
443 N = BitCast.getNode();
444 break;
445 }
446
Tom Stellard096b8c12015-02-04 20:49:49 +0000447 case ISD::STORE: {
448 // Handle i64 stores here for the same reason mentioned above for loads.
449 StoreSDNode *ST = cast<StoreSDNode>(N);
450 SDValue Value = ST->getValue();
451 if (Value.getValueType() != MVT::i64 || ST->isTruncatingStore())
452 break;
453
454 SDValue NewValue = CurDAG->getNode(ISD::BITCAST, SDLoc(N),
455 MVT::v2i32, Value);
456 SDValue NewStore = CurDAG->getStore(ST->getChain(), SDLoc(N), NewValue,
457 ST->getBasePtr(), ST->getMemOperand());
458
459 CurDAG->ReplaceAllUsesOfValueWith(SDValue(N, 0), NewStore);
460
461 if (NewValue.getOpcode() == ISD::BITCAST) {
462 Select(NewStore.getNode());
463 return SelectCode(NewValue.getNode());
464 }
465
466 // getNode() may fold the bitcast if its input was another bitcast. If that
467 // happens we should only select the new store.
468 N = NewStore.getNode();
469 break;
470 }
471
Tom Stellard81d871d2013-11-13 23:36:50 +0000472 case AMDGPUISD::REGISTER_LOAD: {
Eric Christopher7792e322015-01-30 23:24:40 +0000473 if (Subtarget->getGeneration() <= AMDGPUSubtarget::NORTHERN_ISLANDS)
Tom Stellard81d871d2013-11-13 23:36:50 +0000474 break;
475 SDValue Addr, Offset;
476
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000477 SDLoc DL(N);
Tom Stellard81d871d2013-11-13 23:36:50 +0000478 SelectADDRIndirect(N->getOperand(1), Addr, Offset);
479 const SDValue Ops[] = {
480 Addr,
481 Offset,
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000482 CurDAG->getTargetConstant(0, DL, MVT::i32),
Tom Stellard81d871d2013-11-13 23:36:50 +0000483 N->getOperand(0),
484 };
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000485 return CurDAG->getMachineNode(AMDGPU::SI_RegisterLoad, DL,
486 CurDAG->getVTList(MVT::i32, MVT::i64,
487 MVT::Other),
Tom Stellard81d871d2013-11-13 23:36:50 +0000488 Ops);
489 }
490 case AMDGPUISD::REGISTER_STORE: {
Eric Christopher7792e322015-01-30 23:24:40 +0000491 if (Subtarget->getGeneration() <= AMDGPUSubtarget::NORTHERN_ISLANDS)
Tom Stellard81d871d2013-11-13 23:36:50 +0000492 break;
493 SDValue Addr, Offset;
494 SelectADDRIndirect(N->getOperand(2), Addr, Offset);
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000495 SDLoc DL(N);
Tom Stellard81d871d2013-11-13 23:36:50 +0000496 const SDValue Ops[] = {
497 N->getOperand(1),
498 Addr,
499 Offset,
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000500 CurDAG->getTargetConstant(0, DL, MVT::i32),
Tom Stellard81d871d2013-11-13 23:36:50 +0000501 N->getOperand(0),
502 };
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000503 return CurDAG->getMachineNode(AMDGPU::SI_RegisterStorePseudo, DL,
Tom Stellard81d871d2013-11-13 23:36:50 +0000504 CurDAG->getVTList(MVT::Other),
505 Ops);
506 }
Matt Arsenault78b86702014-04-18 05:19:26 +0000507
508 case AMDGPUISD::BFE_I32:
509 case AMDGPUISD::BFE_U32: {
Eric Christopher7792e322015-01-30 23:24:40 +0000510 if (Subtarget->getGeneration() < AMDGPUSubtarget::SOUTHERN_ISLANDS)
Matt Arsenault78b86702014-04-18 05:19:26 +0000511 break;
512
513 // There is a scalar version available, but unlike the vector version which
514 // has a separate operand for the offset and width, the scalar version packs
515 // the width and offset into a single operand. Try to move to the scalar
516 // version if the offsets are constant, so that we can try to keep extended
517 // loads of kernel arguments in SGPRs.
518
519 // TODO: Technically we could try to pattern match scalar bitshifts of
520 // dynamic values, but it's probably not useful.
521 ConstantSDNode *Offset = dyn_cast<ConstantSDNode>(N->getOperand(1));
522 if (!Offset)
523 break;
524
525 ConstantSDNode *Width = dyn_cast<ConstantSDNode>(N->getOperand(2));
526 if (!Width)
527 break;
528
529 bool Signed = Opc == AMDGPUISD::BFE_I32;
530
Matt Arsenault78b86702014-04-18 05:19:26 +0000531 uint32_t OffsetVal = Offset->getZExtValue();
532 uint32_t WidthVal = Width->getZExtValue();
533
Marek Olsak9b728682015-03-24 13:40:27 +0000534 return getS_BFE(Signed ? AMDGPU::S_BFE_I32 : AMDGPU::S_BFE_U32, SDLoc(N),
535 N->getOperand(0), OffsetVal, WidthVal);
Matt Arsenault78b86702014-04-18 05:19:26 +0000536
537 }
Matt Arsenaultf2b0aeb2014-06-23 18:28:28 +0000538 case AMDGPUISD::DIV_SCALE: {
539 return SelectDIV_SCALE(N);
540 }
Tom Stellard3457a842014-10-09 19:06:00 +0000541 case ISD::CopyToReg: {
542 const SITargetLowering& Lowering =
543 *static_cast<const SITargetLowering*>(getTargetLowering());
544 Lowering.legalizeTargetIndependentNode(N, *CurDAG);
545 break;
546 }
Matt Arsenault3f981402014-09-15 15:41:53 +0000547 case ISD::ADDRSPACECAST:
548 return SelectAddrSpaceCast(N);
Marek Olsak9b728682015-03-24 13:40:27 +0000549 case ISD::AND:
550 case ISD::SRL:
551 case ISD::SRA:
552 if (N->getValueType(0) != MVT::i32 ||
553 Subtarget->getGeneration() < AMDGPUSubtarget::SOUTHERN_ISLANDS)
554 break;
555
556 return SelectS_BFE(N);
Tom Stellard75aadc22012-12-11 21:25:42 +0000557 }
Tom Stellard3457a842014-10-09 19:06:00 +0000558
Vincent Lejeune0167a312013-09-12 23:45:00 +0000559 return SelectCode(N);
Tom Stellard365366f2013-01-23 02:09:06 +0000560}
561
Tom Stellard75aadc22012-12-11 21:25:42 +0000562
Matt Arsenault209a7b92014-04-18 07:40:20 +0000563bool AMDGPUDAGToDAGISel::checkType(const Value *Ptr, unsigned AS) {
564 assert(AS != 0 && "Use checkPrivateAddress instead.");
565 if (!Ptr)
Tom Stellard75aadc22012-12-11 21:25:42 +0000566 return false;
Matt Arsenault209a7b92014-04-18 07:40:20 +0000567
568 return Ptr->getType()->getPointerAddressSpace() == AS;
Tom Stellard75aadc22012-12-11 21:25:42 +0000569}
570
Nick Lewyckyaad475b2014-04-15 07:22:52 +0000571bool AMDGPUDAGToDAGISel::checkPrivateAddress(const MachineMemOperand *Op) {
Matt Arsenault209a7b92014-04-18 07:40:20 +0000572 if (Op->getPseudoValue())
573 return true;
574
575 if (PointerType *PT = dyn_cast<PointerType>(Op->getValue()->getType()))
576 return PT->getAddressSpace() == AMDGPUAS::PRIVATE_ADDRESS;
577
578 return false;
Nick Lewyckyaad475b2014-04-15 07:22:52 +0000579}
580
Tom Stellard75aadc22012-12-11 21:25:42 +0000581bool AMDGPUDAGToDAGISel::isGlobalStore(const StoreSDNode *N) {
Nick Lewyckyaad475b2014-04-15 07:22:52 +0000582 return checkType(N->getMemOperand()->getValue(), AMDGPUAS::GLOBAL_ADDRESS);
Tom Stellard75aadc22012-12-11 21:25:42 +0000583}
584
585bool AMDGPUDAGToDAGISel::isPrivateStore(const StoreSDNode *N) {
Matt Arsenault209a7b92014-04-18 07:40:20 +0000586 const Value *MemVal = N->getMemOperand()->getValue();
587 return (!checkType(MemVal, AMDGPUAS::LOCAL_ADDRESS) &&
588 !checkType(MemVal, AMDGPUAS::GLOBAL_ADDRESS) &&
589 !checkType(MemVal, AMDGPUAS::REGION_ADDRESS));
Tom Stellard75aadc22012-12-11 21:25:42 +0000590}
591
592bool AMDGPUDAGToDAGISel::isLocalStore(const StoreSDNode *N) {
Nick Lewyckyaad475b2014-04-15 07:22:52 +0000593 return checkType(N->getMemOperand()->getValue(), AMDGPUAS::LOCAL_ADDRESS);
Tom Stellard75aadc22012-12-11 21:25:42 +0000594}
595
Matt Arsenault3f981402014-09-15 15:41:53 +0000596bool AMDGPUDAGToDAGISel::isFlatStore(const StoreSDNode *N) {
597 return checkType(N->getMemOperand()->getValue(), AMDGPUAS::FLAT_ADDRESS);
598}
599
Tom Stellard75aadc22012-12-11 21:25:42 +0000600bool AMDGPUDAGToDAGISel::isRegionStore(const StoreSDNode *N) {
Nick Lewyckyaad475b2014-04-15 07:22:52 +0000601 return checkType(N->getMemOperand()->getValue(), AMDGPUAS::REGION_ADDRESS);
Tom Stellard75aadc22012-12-11 21:25:42 +0000602}
603
Tom Stellard1e803092013-07-23 01:48:18 +0000604bool AMDGPUDAGToDAGISel::isConstantLoad(const LoadSDNode *N, int CbId) const {
Matt Arsenault209a7b92014-04-18 07:40:20 +0000605 const Value *MemVal = N->getMemOperand()->getValue();
606 if (CbId == -1)
607 return checkType(MemVal, AMDGPUAS::CONSTANT_ADDRESS);
608
609 return checkType(MemVal, AMDGPUAS::CONSTANT_BUFFER_0 + CbId);
Tom Stellard75aadc22012-12-11 21:25:42 +0000610}
611
Matt Arsenault2aabb062013-06-18 23:37:58 +0000612bool AMDGPUDAGToDAGISel::isGlobalLoad(const LoadSDNode *N) const {
Eric Christopher7792e322015-01-30 23:24:40 +0000613 if (N->getAddressSpace() == AMDGPUAS::CONSTANT_ADDRESS)
614 if (Subtarget->getGeneration() < AMDGPUSubtarget::SOUTHERN_ISLANDS ||
615 N->getMemoryVT().bitsLT(MVT::i32))
Tom Stellard8cb0e472013-07-23 23:54:56 +0000616 return true;
Eric Christopher7792e322015-01-30 23:24:40 +0000617
Nick Lewyckyaad475b2014-04-15 07:22:52 +0000618 return checkType(N->getMemOperand()->getValue(), AMDGPUAS::GLOBAL_ADDRESS);
Tom Stellard75aadc22012-12-11 21:25:42 +0000619}
620
Matt Arsenault2aabb062013-06-18 23:37:58 +0000621bool AMDGPUDAGToDAGISel::isParamLoad(const LoadSDNode *N) const {
Nick Lewyckyaad475b2014-04-15 07:22:52 +0000622 return checkType(N->getMemOperand()->getValue(), AMDGPUAS::PARAM_I_ADDRESS);
Tom Stellard75aadc22012-12-11 21:25:42 +0000623}
624
Matt Arsenault2aabb062013-06-18 23:37:58 +0000625bool AMDGPUDAGToDAGISel::isLocalLoad(const LoadSDNode *N) const {
Nick Lewyckyaad475b2014-04-15 07:22:52 +0000626 return checkType(N->getMemOperand()->getValue(), AMDGPUAS::LOCAL_ADDRESS);
Tom Stellard75aadc22012-12-11 21:25:42 +0000627}
628
Matt Arsenault3f981402014-09-15 15:41:53 +0000629bool AMDGPUDAGToDAGISel::isFlatLoad(const LoadSDNode *N) const {
630 return checkType(N->getMemOperand()->getValue(), AMDGPUAS::FLAT_ADDRESS);
631}
632
Matt Arsenault2aabb062013-06-18 23:37:58 +0000633bool AMDGPUDAGToDAGISel::isRegionLoad(const LoadSDNode *N) const {
Nick Lewyckyaad475b2014-04-15 07:22:52 +0000634 return checkType(N->getMemOperand()->getValue(), AMDGPUAS::REGION_ADDRESS);
Tom Stellard75aadc22012-12-11 21:25:42 +0000635}
636
Matt Arsenault2aabb062013-06-18 23:37:58 +0000637bool AMDGPUDAGToDAGISel::isCPLoad(const LoadSDNode *N) const {
Tom Stellard75aadc22012-12-11 21:25:42 +0000638 MachineMemOperand *MMO = N->getMemOperand();
Nick Lewyckyaad475b2014-04-15 07:22:52 +0000639 if (checkPrivateAddress(N->getMemOperand())) {
Tom Stellard75aadc22012-12-11 21:25:42 +0000640 if (MMO) {
Nick Lewyckyaad475b2014-04-15 07:22:52 +0000641 const PseudoSourceValue *PSV = MMO->getPseudoValue();
Tom Stellard75aadc22012-12-11 21:25:42 +0000642 if (PSV && PSV == PseudoSourceValue::getConstantPool()) {
643 return true;
644 }
645 }
646 }
647 return false;
648}
649
Matt Arsenault2aabb062013-06-18 23:37:58 +0000650bool AMDGPUDAGToDAGISel::isPrivateLoad(const LoadSDNode *N) const {
Nick Lewyckyaad475b2014-04-15 07:22:52 +0000651 if (checkPrivateAddress(N->getMemOperand())) {
Tom Stellard75aadc22012-12-11 21:25:42 +0000652 // Check to make sure we are not a constant pool load or a constant load
653 // that is marked as a private load
654 if (isCPLoad(N) || isConstantLoad(N, -1)) {
655 return false;
656 }
657 }
Matt Arsenault209a7b92014-04-18 07:40:20 +0000658
659 const Value *MemVal = N->getMemOperand()->getValue();
660 if (!checkType(MemVal, AMDGPUAS::LOCAL_ADDRESS) &&
661 !checkType(MemVal, AMDGPUAS::GLOBAL_ADDRESS) &&
Matt Arsenault3f981402014-09-15 15:41:53 +0000662 !checkType(MemVal, AMDGPUAS::FLAT_ADDRESS) &&
Matt Arsenault209a7b92014-04-18 07:40:20 +0000663 !checkType(MemVal, AMDGPUAS::REGION_ADDRESS) &&
664 !checkType(MemVal, AMDGPUAS::CONSTANT_ADDRESS) &&
665 !checkType(MemVal, AMDGPUAS::PARAM_D_ADDRESS) &&
Matt Arsenault3f981402014-09-15 15:41:53 +0000666 !checkType(MemVal, AMDGPUAS::PARAM_I_ADDRESS)) {
Tom Stellard75aadc22012-12-11 21:25:42 +0000667 return true;
668 }
669 return false;
670}
671
672const char *AMDGPUDAGToDAGISel::getPassName() const {
673 return "AMDGPU DAG->DAG Pattern Instruction Selection";
674}
675
676#ifdef DEBUGTMP
677#undef INT64_C
678#endif
679#undef DEBUGTMP
680
Tom Stellard41fc7852013-07-23 01:48:42 +0000681//===----------------------------------------------------------------------===//
682// Complex Patterns
683//===----------------------------------------------------------------------===//
Tom Stellard75aadc22012-12-11 21:25:42 +0000684
Tom Stellard365366f2013-01-23 02:09:06 +0000685bool AMDGPUDAGToDAGISel::SelectGlobalValueConstantOffset(SDValue Addr,
Matt Arsenault209a7b92014-04-18 07:40:20 +0000686 SDValue& IntPtr) {
Tom Stellard365366f2013-01-23 02:09:06 +0000687 if (ConstantSDNode *Cst = dyn_cast<ConstantSDNode>(Addr)) {
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000688 IntPtr = CurDAG->getIntPtrConstant(Cst->getZExtValue() / 4, SDLoc(Addr),
689 true);
Tom Stellard365366f2013-01-23 02:09:06 +0000690 return true;
691 }
692 return false;
693}
694
695bool AMDGPUDAGToDAGISel::SelectGlobalValueVariableOffset(SDValue Addr,
696 SDValue& BaseReg, SDValue &Offset) {
Matt Arsenault209a7b92014-04-18 07:40:20 +0000697 if (!isa<ConstantSDNode>(Addr)) {
Tom Stellard365366f2013-01-23 02:09:06 +0000698 BaseReg = Addr;
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000699 Offset = CurDAG->getIntPtrConstant(0, SDLoc(Addr), true);
Tom Stellard365366f2013-01-23 02:09:06 +0000700 return true;
701 }
702 return false;
703}
704
Tom Stellard75aadc22012-12-11 21:25:42 +0000705bool AMDGPUDAGToDAGISel::SelectADDRVTX_READ(SDValue Addr, SDValue &Base,
706 SDValue &Offset) {
Matt Arsenault209a7b92014-04-18 07:40:20 +0000707 ConstantSDNode *IMMOffset;
Tom Stellard75aadc22012-12-11 21:25:42 +0000708
709 if (Addr.getOpcode() == ISD::ADD
710 && (IMMOffset = dyn_cast<ConstantSDNode>(Addr.getOperand(1)))
711 && isInt<16>(IMMOffset->getZExtValue())) {
712
713 Base = Addr.getOperand(0);
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000714 Offset = CurDAG->getTargetConstant(IMMOffset->getZExtValue(), SDLoc(Addr),
715 MVT::i32);
Tom Stellard75aadc22012-12-11 21:25:42 +0000716 return true;
717 // If the pointer address is constant, we can move it to the offset field.
718 } else if ((IMMOffset = dyn_cast<ConstantSDNode>(Addr))
719 && isInt<16>(IMMOffset->getZExtValue())) {
720 Base = CurDAG->getCopyFromReg(CurDAG->getEntryNode(),
Andrew Trickef9de2a2013-05-25 02:42:55 +0000721 SDLoc(CurDAG->getEntryNode()),
Tom Stellard75aadc22012-12-11 21:25:42 +0000722 AMDGPU::ZERO, MVT::i32);
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000723 Offset = CurDAG->getTargetConstant(IMMOffset->getZExtValue(), SDLoc(Addr),
724 MVT::i32);
Tom Stellard75aadc22012-12-11 21:25:42 +0000725 return true;
726 }
727
728 // Default case, no offset
729 Base = Addr;
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000730 Offset = CurDAG->getTargetConstant(0, SDLoc(Addr), MVT::i32);
Tom Stellard75aadc22012-12-11 21:25:42 +0000731 return true;
732}
733
Tom Stellardf3b2a1e2013-02-06 17:32:29 +0000734bool AMDGPUDAGToDAGISel::SelectADDRIndirect(SDValue Addr, SDValue &Base,
735 SDValue &Offset) {
736 ConstantSDNode *C;
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000737 SDLoc DL(Addr);
Tom Stellardf3b2a1e2013-02-06 17:32:29 +0000738
739 if ((C = dyn_cast<ConstantSDNode>(Addr))) {
740 Base = CurDAG->getRegister(AMDGPU::INDIRECT_BASE_ADDR, MVT::i32);
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000741 Offset = CurDAG->getTargetConstant(C->getZExtValue(), DL, MVT::i32);
Tom Stellardf3b2a1e2013-02-06 17:32:29 +0000742 } else if ((Addr.getOpcode() == ISD::ADD || Addr.getOpcode() == ISD::OR) &&
743 (C = dyn_cast<ConstantSDNode>(Addr.getOperand(1)))) {
744 Base = Addr.getOperand(0);
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000745 Offset = CurDAG->getTargetConstant(C->getZExtValue(), DL, MVT::i32);
Tom Stellardf3b2a1e2013-02-06 17:32:29 +0000746 } else {
747 Base = Addr;
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000748 Offset = CurDAG->getTargetConstant(0, DL, MVT::i32);
Tom Stellardf3b2a1e2013-02-06 17:32:29 +0000749 }
750
751 return true;
752}
Christian Konigd910b7d2013-02-26 17:52:16 +0000753
Matt Arsenaultb8b51532014-06-23 18:00:38 +0000754SDNode *AMDGPUDAGToDAGISel::SelectADD_SUB_I64(SDNode *N) {
Matt Arsenault9fa3f932014-06-23 18:00:34 +0000755 SDLoc DL(N);
756 SDValue LHS = N->getOperand(0);
757 SDValue RHS = N->getOperand(1);
758
Matt Arsenaultb8b51532014-06-23 18:00:38 +0000759 bool IsAdd = (N->getOpcode() == ISD::ADD);
760
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000761 SDValue Sub0 = CurDAG->getTargetConstant(AMDGPU::sub0, DL, MVT::i32);
762 SDValue Sub1 = CurDAG->getTargetConstant(AMDGPU::sub1, DL, MVT::i32);
Matt Arsenault9fa3f932014-06-23 18:00:34 +0000763
764 SDNode *Lo0 = CurDAG->getMachineNode(TargetOpcode::EXTRACT_SUBREG,
765 DL, MVT::i32, LHS, Sub0);
766 SDNode *Hi0 = CurDAG->getMachineNode(TargetOpcode::EXTRACT_SUBREG,
767 DL, MVT::i32, LHS, Sub1);
768
769 SDNode *Lo1 = CurDAG->getMachineNode(TargetOpcode::EXTRACT_SUBREG,
770 DL, MVT::i32, RHS, Sub0);
771 SDNode *Hi1 = CurDAG->getMachineNode(TargetOpcode::EXTRACT_SUBREG,
772 DL, MVT::i32, RHS, Sub1);
773
774 SDVTList VTList = CurDAG->getVTList(MVT::i32, MVT::Glue);
Matt Arsenault9fa3f932014-06-23 18:00:34 +0000775 SDValue AddLoArgs[] = { SDValue(Lo0, 0), SDValue(Lo1, 0) };
776
Matt Arsenaultb8b51532014-06-23 18:00:38 +0000777
Tom Stellard80942a12014-09-05 14:07:59 +0000778 unsigned Opc = IsAdd ? AMDGPU::S_ADD_U32 : AMDGPU::S_SUB_U32;
Matt Arsenaultb8b51532014-06-23 18:00:38 +0000779 unsigned CarryOpc = IsAdd ? AMDGPU::S_ADDC_U32 : AMDGPU::S_SUBB_U32;
780
Matt Arsenaultb8b51532014-06-23 18:00:38 +0000781 SDNode *AddLo = CurDAG->getMachineNode( Opc, DL, VTList, AddLoArgs);
782 SDValue Carry(AddLo, 1);
783 SDNode *AddHi
784 = CurDAG->getMachineNode(CarryOpc, DL, MVT::i32,
785 SDValue(Hi0, 0), SDValue(Hi1, 0), Carry);
Matt Arsenault9fa3f932014-06-23 18:00:34 +0000786
787 SDValue Args[5] = {
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000788 CurDAG->getTargetConstant(AMDGPU::SReg_64RegClassID, DL, MVT::i32),
Matt Arsenault9fa3f932014-06-23 18:00:34 +0000789 SDValue(AddLo,0),
790 Sub0,
791 SDValue(AddHi,0),
792 Sub1,
793 };
794 return CurDAG->SelectNodeTo(N, AMDGPU::REG_SEQUENCE, MVT::i64, Args);
795}
796
Matt Arsenault044f1d12015-02-14 04:24:28 +0000797// We need to handle this here because tablegen doesn't support matching
798// instructions with multiple outputs.
Matt Arsenaultf2b0aeb2014-06-23 18:28:28 +0000799SDNode *AMDGPUDAGToDAGISel::SelectDIV_SCALE(SDNode *N) {
800 SDLoc SL(N);
801 EVT VT = N->getValueType(0);
802
803 assert(VT == MVT::f32 || VT == MVT::f64);
804
805 unsigned Opc
806 = (VT == MVT::f64) ? AMDGPU::V_DIV_SCALE_F64 : AMDGPU::V_DIV_SCALE_F32;
807
Matt Arsenault044f1d12015-02-14 04:24:28 +0000808 // src0_modifiers, src0, src1_modifiers, src1, src2_modifiers, src2, clamp, omod
809 SDValue Ops[8];
Matt Arsenaultf2b0aeb2014-06-23 18:28:28 +0000810
Matt Arsenault044f1d12015-02-14 04:24:28 +0000811 SelectVOP3Mods0(N->getOperand(0), Ops[1], Ops[0], Ops[6], Ops[7]);
812 SelectVOP3Mods(N->getOperand(1), Ops[3], Ops[2]);
813 SelectVOP3Mods(N->getOperand(2), Ops[5], Ops[4]);
Matt Arsenaultf2b0aeb2014-06-23 18:28:28 +0000814 return CurDAG->SelectNodeTo(N, Opc, VT, MVT::i1, Ops);
815}
816
Tom Stellard85e8b6d2014-08-22 18:49:33 +0000817bool AMDGPUDAGToDAGISel::isDSOffsetLegal(const SDValue &Base, unsigned Offset,
818 unsigned OffsetBits) const {
Tom Stellard85e8b6d2014-08-22 18:49:33 +0000819 if ((OffsetBits == 16 && !isUInt<16>(Offset)) ||
820 (OffsetBits == 8 && !isUInt<8>(Offset)))
821 return false;
822
Eric Christopher7792e322015-01-30 23:24:40 +0000823 if (Subtarget->getGeneration() >= AMDGPUSubtarget::SEA_ISLANDS)
Tom Stellard85e8b6d2014-08-22 18:49:33 +0000824 return true;
825
826 // On Southern Islands instruction with a negative base value and an offset
827 // don't seem to work.
828 return CurDAG->SignBitIsZero(Base);
829}
830
831bool AMDGPUDAGToDAGISel::SelectDS1Addr1Offset(SDValue Addr, SDValue &Base,
832 SDValue &Offset) const {
833 if (CurDAG->isBaseWithConstantOffset(Addr)) {
834 SDValue N0 = Addr.getOperand(0);
835 SDValue N1 = Addr.getOperand(1);
836 ConstantSDNode *C1 = cast<ConstantSDNode>(N1);
837 if (isDSOffsetLegal(N0, C1->getSExtValue(), 16)) {
838 // (add n0, c0)
839 Base = N0;
840 Offset = N1;
841 return true;
842 }
843 }
844
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000845 SDLoc DL(Addr);
846
Matt Arsenaulte775f5f2014-10-14 17:21:19 +0000847 // If we have a constant address, prefer to put the constant into the
848 // offset. This can save moves to load the constant address since multiple
849 // operations can share the zero base address register, and enables merging
850 // into read2 / write2 instructions.
851 if (const ConstantSDNode *CAddr = dyn_cast<ConstantSDNode>(Addr)) {
852 if (isUInt<16>(CAddr->getZExtValue())) {
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000853 SDValue Zero = CurDAG->getTargetConstant(0, DL, MVT::i32);
Tom Stellardc8d79202014-10-15 21:08:59 +0000854 MachineSDNode *MovZero = CurDAG->getMachineNode(AMDGPU::V_MOV_B32_e32,
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000855 DL, MVT::i32, Zero);
Tom Stellardc8d79202014-10-15 21:08:59 +0000856 Base = SDValue(MovZero, 0);
Matt Arsenaulte775f5f2014-10-14 17:21:19 +0000857 Offset = Addr;
858 return true;
859 }
860 }
861
Tom Stellard85e8b6d2014-08-22 18:49:33 +0000862 // default case
863 Base = Addr;
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000864 Offset = CurDAG->getTargetConstant(0, DL, MVT::i16);
Tom Stellard85e8b6d2014-08-22 18:49:33 +0000865 return true;
866}
867
Tom Stellardf3fc5552014-08-22 18:49:35 +0000868bool AMDGPUDAGToDAGISel::SelectDS64Bit4ByteAligned(SDValue Addr, SDValue &Base,
869 SDValue &Offset0,
870 SDValue &Offset1) const {
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000871 SDLoc DL(Addr);
872
Tom Stellardf3fc5552014-08-22 18:49:35 +0000873 if (CurDAG->isBaseWithConstantOffset(Addr)) {
874 SDValue N0 = Addr.getOperand(0);
875 SDValue N1 = Addr.getOperand(1);
876 ConstantSDNode *C1 = cast<ConstantSDNode>(N1);
877 unsigned DWordOffset0 = C1->getZExtValue() / 4;
878 unsigned DWordOffset1 = DWordOffset0 + 1;
879 // (add n0, c0)
880 if (isDSOffsetLegal(N0, DWordOffset1, 8)) {
881 Base = N0;
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000882 Offset0 = CurDAG->getTargetConstant(DWordOffset0, DL, MVT::i8);
883 Offset1 = CurDAG->getTargetConstant(DWordOffset1, DL, MVT::i8);
Tom Stellardf3fc5552014-08-22 18:49:35 +0000884 return true;
885 }
886 }
887
Matt Arsenault1a74aff2014-10-15 18:06:43 +0000888 if (const ConstantSDNode *CAddr = dyn_cast<ConstantSDNode>(Addr)) {
889 unsigned DWordOffset0 = CAddr->getZExtValue() / 4;
890 unsigned DWordOffset1 = DWordOffset0 + 1;
891 assert(4 * DWordOffset0 == CAddr->getZExtValue());
892
893 if (isUInt<8>(DWordOffset0) && isUInt<8>(DWordOffset1)) {
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000894 SDValue Zero = CurDAG->getTargetConstant(0, DL, MVT::i32);
Matt Arsenault1a74aff2014-10-15 18:06:43 +0000895 MachineSDNode *MovZero
896 = CurDAG->getMachineNode(AMDGPU::V_MOV_B32_e32,
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000897 DL, MVT::i32, Zero);
Matt Arsenault1a74aff2014-10-15 18:06:43 +0000898 Base = SDValue(MovZero, 0);
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000899 Offset0 = CurDAG->getTargetConstant(DWordOffset0, DL, MVT::i8);
900 Offset1 = CurDAG->getTargetConstant(DWordOffset1, DL, MVT::i8);
Matt Arsenault1a74aff2014-10-15 18:06:43 +0000901 return true;
902 }
903 }
904
Tom Stellardf3fc5552014-08-22 18:49:35 +0000905 // default case
906 Base = Addr;
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000907 Offset0 = CurDAG->getTargetConstant(0, DL, MVT::i8);
908 Offset1 = CurDAG->getTargetConstant(1, DL, MVT::i8);
Tom Stellardf3fc5552014-08-22 18:49:35 +0000909 return true;
910}
911
Tom Stellardb02094e2014-07-21 15:45:01 +0000912static bool isLegalMUBUFImmOffset(const ConstantSDNode *Imm) {
913 return isUInt<12>(Imm->getZExtValue());
914}
915
Tom Stellard155bbb72014-08-11 22:18:17 +0000916void AMDGPUDAGToDAGISel::SelectMUBUF(SDValue Addr, SDValue &Ptr,
917 SDValue &VAddr, SDValue &SOffset,
918 SDValue &Offset, SDValue &Offen,
919 SDValue &Idxen, SDValue &Addr64,
920 SDValue &GLC, SDValue &SLC,
921 SDValue &TFE) const {
Tom Stellardb02c2682014-06-24 23:33:07 +0000922 SDLoc DL(Addr);
923
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000924 GLC = CurDAG->getTargetConstant(0, DL, MVT::i1);
925 SLC = CurDAG->getTargetConstant(0, DL, MVT::i1);
926 TFE = CurDAG->getTargetConstant(0, DL, MVT::i1);
Tom Stellard155bbb72014-08-11 22:18:17 +0000927
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000928 Idxen = CurDAG->getTargetConstant(0, DL, MVT::i1);
929 Offen = CurDAG->getTargetConstant(0, DL, MVT::i1);
930 Addr64 = CurDAG->getTargetConstant(0, DL, MVT::i1);
931 SOffset = CurDAG->getTargetConstant(0, DL, MVT::i32);
Tom Stellard155bbb72014-08-11 22:18:17 +0000932
Tom Stellardb02c2682014-06-24 23:33:07 +0000933 if (CurDAG->isBaseWithConstantOffset(Addr)) {
934 SDValue N0 = Addr.getOperand(0);
935 SDValue N1 = Addr.getOperand(1);
936 ConstantSDNode *C1 = cast<ConstantSDNode>(N1);
937
Tom Stellard94b72312015-02-11 00:34:35 +0000938 if (N0.getOpcode() == ISD::ADD) {
939 // (add (add N2, N3), C1) -> addr64
940 SDValue N2 = N0.getOperand(0);
941 SDValue N3 = N0.getOperand(1);
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000942 Addr64 = CurDAG->getTargetConstant(1, DL, MVT::i1);
Tom Stellard94b72312015-02-11 00:34:35 +0000943 Ptr = N2;
944 VAddr = N3;
945 } else {
Tom Stellardb02c2682014-06-24 23:33:07 +0000946
Tom Stellard155bbb72014-08-11 22:18:17 +0000947 // (add N0, C1) -> offset
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000948 VAddr = CurDAG->getTargetConstant(0, DL, MVT::i32);
Tom Stellard155bbb72014-08-11 22:18:17 +0000949 Ptr = N0;
Tom Stellard94b72312015-02-11 00:34:35 +0000950 }
951
952 if (isLegalMUBUFImmOffset(C1)) {
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000953 Offset = CurDAG->getTargetConstant(C1->getZExtValue(), DL, MVT::i16);
Tom Stellard94b72312015-02-11 00:34:35 +0000954 return;
955 } else if (isUInt<32>(C1->getZExtValue())) {
956 // Illegal offset, store it in soffset.
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000957 Offset = CurDAG->getTargetConstant(0, DL, MVT::i16);
Tom Stellard94b72312015-02-11 00:34:35 +0000958 SOffset = SDValue(CurDAG->getMachineNode(AMDGPU::S_MOV_B32, DL, MVT::i32,
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000959 CurDAG->getTargetConstant(C1->getZExtValue(), DL, MVT::i32)),
960 0);
Tom Stellard155bbb72014-08-11 22:18:17 +0000961 return;
Tom Stellardb02c2682014-06-24 23:33:07 +0000962 }
963 }
Tom Stellard94b72312015-02-11 00:34:35 +0000964
Tom Stellardb02c2682014-06-24 23:33:07 +0000965 if (Addr.getOpcode() == ISD::ADD) {
Tom Stellard155bbb72014-08-11 22:18:17 +0000966 // (add N0, N1) -> addr64
Tom Stellardb02c2682014-06-24 23:33:07 +0000967 SDValue N0 = Addr.getOperand(0);
968 SDValue N1 = Addr.getOperand(1);
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000969 Addr64 = CurDAG->getTargetConstant(1, DL, MVT::i1);
Tom Stellard155bbb72014-08-11 22:18:17 +0000970 Ptr = N0;
971 VAddr = N1;
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000972 Offset = CurDAG->getTargetConstant(0, DL, MVT::i16);
Tom Stellard155bbb72014-08-11 22:18:17 +0000973 return;
Tom Stellardb02c2682014-06-24 23:33:07 +0000974 }
975
Tom Stellard155bbb72014-08-11 22:18:17 +0000976 // default case -> offset
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000977 VAddr = CurDAG->getTargetConstant(0, DL, MVT::i32);
Tom Stellard155bbb72014-08-11 22:18:17 +0000978 Ptr = Addr;
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000979 Offset = CurDAG->getTargetConstant(0, DL, MVT::i16);
Tom Stellard155bbb72014-08-11 22:18:17 +0000980
981}
982
983bool AMDGPUDAGToDAGISel::SelectMUBUFAddr64(SDValue Addr, SDValue &SRsrc,
Tom Stellardc53861a2015-02-11 00:34:32 +0000984 SDValue &VAddr, SDValue &SOffset,
Tom Stellard1f9939f2015-02-27 14:59:41 +0000985 SDValue &Offset, SDValue &GLC,
986 SDValue &SLC, SDValue &TFE) const {
987 SDValue Ptr, Offen, Idxen, Addr64;
Tom Stellard155bbb72014-08-11 22:18:17 +0000988
989 SelectMUBUF(Addr, Ptr, VAddr, SOffset, Offset, Offen, Idxen, Addr64,
990 GLC, SLC, TFE);
991
992 ConstantSDNode *C = cast<ConstantSDNode>(Addr64);
993 if (C->getSExtValue()) {
994 SDLoc DL(Addr);
Matt Arsenault485defe2014-11-05 19:01:17 +0000995
996 const SITargetLowering& Lowering =
997 *static_cast<const SITargetLowering*>(getTargetLowering());
998
999 SRsrc = SDValue(Lowering.wrapAddr64Rsrc(*CurDAG, DL, Ptr), 0);
Tom Stellard155bbb72014-08-11 22:18:17 +00001000 return true;
1001 }
Matt Arsenault485defe2014-11-05 19:01:17 +00001002
Tom Stellard155bbb72014-08-11 22:18:17 +00001003 return false;
1004}
1005
Tom Stellard7980fc82014-09-25 18:30:26 +00001006bool AMDGPUDAGToDAGISel::SelectMUBUFAddr64(SDValue Addr, SDValue &SRsrc,
Tom Stellardc53861a2015-02-11 00:34:32 +00001007 SDValue &VAddr, SDValue &SOffset,
1008 SDValue &Offset,
1009 SDValue &SLC) const {
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001010 SLC = CurDAG->getTargetConstant(0, SDLoc(Addr), MVT::i1);
Tom Stellard1f9939f2015-02-27 14:59:41 +00001011 SDValue GLC, TFE;
Tom Stellard7980fc82014-09-25 18:30:26 +00001012
Tom Stellard1f9939f2015-02-27 14:59:41 +00001013 return SelectMUBUFAddr64(Addr, SRsrc, VAddr, SOffset, Offset, GLC, SLC, TFE);
Tom Stellard7980fc82014-09-25 18:30:26 +00001014}
1015
Tom Stellardb02094e2014-07-21 15:45:01 +00001016bool AMDGPUDAGToDAGISel::SelectMUBUFScratch(SDValue Addr, SDValue &Rsrc,
1017 SDValue &VAddr, SDValue &SOffset,
1018 SDValue &ImmOffset) const {
1019
1020 SDLoc DL(Addr);
1021 MachineFunction &MF = CurDAG->getMachineFunction();
Eric Christopherfc6de422014-08-05 02:39:49 +00001022 const SIRegisterInfo *TRI =
Eric Christopher7792e322015-01-30 23:24:40 +00001023 static_cast<const SIRegisterInfo *>(Subtarget->getRegisterInfo());
Tom Stellardb02094e2014-07-21 15:45:01 +00001024 MachineRegisterInfo &MRI = MF.getRegInfo();
Tom Stellard162a9472014-08-21 20:40:58 +00001025 const SITargetLowering& Lowering =
1026 *static_cast<const SITargetLowering*>(getTargetLowering());
Tom Stellardb02094e2014-07-21 15:45:01 +00001027
Tom Stellardb02094e2014-07-21 15:45:01 +00001028 unsigned ScratchOffsetReg =
1029 TRI->getPreloadedValue(MF, SIRegisterInfo::SCRATCH_WAVE_OFFSET);
Tom Stellard162a9472014-08-21 20:40:58 +00001030 Lowering.CreateLiveInRegister(*CurDAG, &AMDGPU::SReg_32RegClass,
1031 ScratchOffsetReg, MVT::i32);
Tom Stellard95292bb2015-01-20 17:49:47 +00001032 SDValue Sym0 = CurDAG->getExternalSymbol("SCRATCH_RSRC_DWORD0", MVT::i32);
1033 SDValue ScratchRsrcDword0 =
1034 SDValue(CurDAG->getMachineNode(AMDGPU::S_MOV_B32, DL, MVT::i32, Sym0), 0);
Tom Stellardb02094e2014-07-21 15:45:01 +00001035
Tom Stellard95292bb2015-01-20 17:49:47 +00001036 SDValue Sym1 = CurDAG->getExternalSymbol("SCRATCH_RSRC_DWORD1", MVT::i32);
1037 SDValue ScratchRsrcDword1 =
1038 SDValue(CurDAG->getMachineNode(AMDGPU::S_MOV_B32, DL, MVT::i32, Sym1), 0);
1039
1040 const SDValue RsrcOps[] = {
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001041 CurDAG->getTargetConstant(AMDGPU::SReg_64RegClassID, DL, MVT::i32),
Tom Stellard95292bb2015-01-20 17:49:47 +00001042 ScratchRsrcDword0,
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001043 CurDAG->getTargetConstant(AMDGPU::sub0, DL, MVT::i32),
Tom Stellard95292bb2015-01-20 17:49:47 +00001044 ScratchRsrcDword1,
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001045 CurDAG->getTargetConstant(AMDGPU::sub1, DL, MVT::i32),
Tom Stellard95292bb2015-01-20 17:49:47 +00001046 };
1047 SDValue ScratchPtr = SDValue(CurDAG->getMachineNode(AMDGPU::REG_SEQUENCE, DL,
1048 MVT::v2i32, RsrcOps), 0);
Matt Arsenaultf3cd4512014-11-05 19:01:19 +00001049 Rsrc = SDValue(Lowering.buildScratchRSRC(*CurDAG, DL, ScratchPtr), 0);
Tom Stellardb02094e2014-07-21 15:45:01 +00001050 SOffset = CurDAG->getCopyFromReg(CurDAG->getEntryNode(), DL,
1051 MRI.getLiveInVirtReg(ScratchOffsetReg), MVT::i32);
1052
1053 // (add n0, c1)
1054 if (CurDAG->isBaseWithConstantOffset(Addr)) {
1055 SDValue N1 = Addr.getOperand(1);
1056 ConstantSDNode *C1 = cast<ConstantSDNode>(N1);
1057
1058 if (isLegalMUBUFImmOffset(C1)) {
1059 VAddr = Addr.getOperand(0);
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001060 ImmOffset = CurDAG->getTargetConstant(C1->getZExtValue(), DL, MVT::i16);
Tom Stellardb02094e2014-07-21 15:45:01 +00001061 return true;
1062 }
1063 }
1064
Tom Stellardb02094e2014-07-21 15:45:01 +00001065 // (node)
1066 VAddr = Addr;
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001067 ImmOffset = CurDAG->getTargetConstant(0, DL, MVT::i16);
Tom Stellardb02094e2014-07-21 15:45:01 +00001068 return true;
1069}
1070
Tom Stellard155bbb72014-08-11 22:18:17 +00001071bool AMDGPUDAGToDAGISel::SelectMUBUFOffset(SDValue Addr, SDValue &SRsrc,
1072 SDValue &SOffset, SDValue &Offset,
1073 SDValue &GLC, SDValue &SLC,
1074 SDValue &TFE) const {
1075 SDValue Ptr, VAddr, Offen, Idxen, Addr64;
Tom Stellard794c8c02014-12-02 17:05:41 +00001076 const SIInstrInfo *TII =
Eric Christopher7792e322015-01-30 23:24:40 +00001077 static_cast<const SIInstrInfo *>(Subtarget->getInstrInfo());
Tom Stellardb02094e2014-07-21 15:45:01 +00001078
Tom Stellard155bbb72014-08-11 22:18:17 +00001079 SelectMUBUF(Addr, Ptr, VAddr, SOffset, Offset, Offen, Idxen, Addr64,
1080 GLC, SLC, TFE);
Tom Stellardb02094e2014-07-21 15:45:01 +00001081
Tom Stellard155bbb72014-08-11 22:18:17 +00001082 if (!cast<ConstantSDNode>(Offen)->getSExtValue() &&
1083 !cast<ConstantSDNode>(Idxen)->getSExtValue() &&
1084 !cast<ConstantSDNode>(Addr64)->getSExtValue()) {
Tom Stellard794c8c02014-12-02 17:05:41 +00001085 uint64_t Rsrc = TII->getDefaultRsrcDataFormat() |
Tom Stellard155bbb72014-08-11 22:18:17 +00001086 APInt::getAllOnesValue(32).getZExtValue(); // Size
1087 SDLoc DL(Addr);
Matt Arsenaultf3cd4512014-11-05 19:01:19 +00001088
1089 const SITargetLowering& Lowering =
1090 *static_cast<const SITargetLowering*>(getTargetLowering());
1091
1092 SRsrc = SDValue(Lowering.buildRSRC(*CurDAG, DL, Ptr, 0, Rsrc), 0);
Tom Stellard155bbb72014-08-11 22:18:17 +00001093 return true;
1094 }
1095 return false;
Tom Stellardb02094e2014-07-21 15:45:01 +00001096}
1097
Tom Stellard7980fc82014-09-25 18:30:26 +00001098bool AMDGPUDAGToDAGISel::SelectMUBUFOffset(SDValue Addr, SDValue &SRsrc,
1099 SDValue &Soffset, SDValue &Offset,
1100 SDValue &GLC) const {
1101 SDValue SLC, TFE;
1102
1103 return SelectMUBUFOffset(Addr, SRsrc, Soffset, Offset, GLC, SLC, TFE);
1104}
1105
Matt Arsenault3f981402014-09-15 15:41:53 +00001106// FIXME: This is incorrect and only enough to be able to compile.
1107SDNode *AMDGPUDAGToDAGISel::SelectAddrSpaceCast(SDNode *N) {
1108 AddrSpaceCastSDNode *ASC = cast<AddrSpaceCastSDNode>(N);
1109 SDLoc DL(N);
1110
Eric Christopher7792e322015-01-30 23:24:40 +00001111 assert(Subtarget->hasFlatAddressSpace() &&
Matt Arsenault3f981402014-09-15 15:41:53 +00001112 "addrspacecast only supported with flat address space!");
1113
1114 assert((ASC->getSrcAddressSpace() != AMDGPUAS::CONSTANT_ADDRESS &&
1115 ASC->getDestAddressSpace() != AMDGPUAS::CONSTANT_ADDRESS) &&
1116 "Cannot cast address space to / from constant address!");
1117
1118 assert((ASC->getSrcAddressSpace() == AMDGPUAS::FLAT_ADDRESS ||
1119 ASC->getDestAddressSpace() == AMDGPUAS::FLAT_ADDRESS) &&
1120 "Can only cast to / from flat address space!");
1121
1122 // The flat instructions read the address as the index of the VGPR holding the
1123 // address, so casting should just be reinterpreting the base VGPR, so just
1124 // insert trunc / bitcast / zext.
1125
1126 SDValue Src = ASC->getOperand(0);
1127 EVT DestVT = ASC->getValueType(0);
1128 EVT SrcVT = Src.getValueType();
1129
1130 unsigned SrcSize = SrcVT.getSizeInBits();
1131 unsigned DestSize = DestVT.getSizeInBits();
1132
1133 if (SrcSize > DestSize) {
1134 assert(SrcSize == 64 && DestSize == 32);
1135 return CurDAG->getMachineNode(
1136 TargetOpcode::EXTRACT_SUBREG,
1137 DL,
1138 DestVT,
1139 Src,
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001140 CurDAG->getTargetConstant(AMDGPU::sub0, DL, MVT::i32));
Matt Arsenault3f981402014-09-15 15:41:53 +00001141 }
1142
1143
1144 if (DestSize > SrcSize) {
1145 assert(SrcSize == 32 && DestSize == 64);
1146
Tom Stellardb6550522015-01-12 19:33:18 +00001147 // FIXME: This is probably wrong, we should never be defining
1148 // a register class with both VGPRs and SGPRs
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001149 SDValue RC = CurDAG->getTargetConstant(AMDGPU::VS_64RegClassID, DL,
1150 MVT::i32);
Matt Arsenault3f981402014-09-15 15:41:53 +00001151
1152 const SDValue Ops[] = {
1153 RC,
1154 Src,
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001155 CurDAG->getTargetConstant(AMDGPU::sub0, DL, MVT::i32),
1156 SDValue(CurDAG->getMachineNode(AMDGPU::S_MOV_B32, DL, MVT::i32,
1157 CurDAG->getConstant(0, DL, MVT::i32)), 0),
1158 CurDAG->getTargetConstant(AMDGPU::sub1, DL, MVT::i32)
Matt Arsenault3f981402014-09-15 15:41:53 +00001159 };
1160
1161 return CurDAG->getMachineNode(TargetOpcode::REG_SEQUENCE,
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001162 DL, N->getValueType(0), Ops);
Matt Arsenault3f981402014-09-15 15:41:53 +00001163 }
1164
1165 assert(SrcSize == 64 && DestSize == 64);
1166 return CurDAG->getNode(ISD::BITCAST, DL, DestVT, Src).getNode();
1167}
1168
Marek Olsak9b728682015-03-24 13:40:27 +00001169SDNode *AMDGPUDAGToDAGISel::getS_BFE(unsigned Opcode, SDLoc DL, SDValue Val,
1170 uint32_t Offset, uint32_t Width) {
1171 // Transformation function, pack the offset and width of a BFE into
1172 // the format expected by the S_BFE_I32 / S_BFE_U32. In the second
1173 // source, bits [5:0] contain the offset and bits [22:16] the width.
1174 uint32_t PackedVal = Offset | (Width << 16);
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001175 SDValue PackedConst = CurDAG->getTargetConstant(PackedVal, DL, MVT::i32);
Marek Olsak9b728682015-03-24 13:40:27 +00001176
1177 return CurDAG->getMachineNode(Opcode, DL, MVT::i32, Val, PackedConst);
1178}
1179
1180SDNode *AMDGPUDAGToDAGISel::SelectS_BFEFromShifts(SDNode *N) {
1181 // "(a << b) srl c)" ---> "BFE_U32 a, (c-b), (32-c)
1182 // "(a << b) sra c)" ---> "BFE_I32 a, (c-b), (32-c)
1183 // Predicate: 0 < b <= c < 32
1184
1185 const SDValue &Shl = N->getOperand(0);
1186 ConstantSDNode *B = dyn_cast<ConstantSDNode>(Shl->getOperand(1));
1187 ConstantSDNode *C = dyn_cast<ConstantSDNode>(N->getOperand(1));
1188
1189 if (B && C) {
1190 uint32_t BVal = B->getZExtValue();
1191 uint32_t CVal = C->getZExtValue();
1192
1193 if (0 < BVal && BVal <= CVal && CVal < 32) {
1194 bool Signed = N->getOpcode() == ISD::SRA;
1195 unsigned Opcode = Signed ? AMDGPU::S_BFE_I32 : AMDGPU::S_BFE_U32;
1196
1197 return getS_BFE(Opcode, SDLoc(N), Shl.getOperand(0),
1198 CVal - BVal, 32 - CVal);
1199 }
1200 }
1201 return SelectCode(N);
1202}
1203
1204SDNode *AMDGPUDAGToDAGISel::SelectS_BFE(SDNode *N) {
1205 switch (N->getOpcode()) {
1206 case ISD::AND:
1207 if (N->getOperand(0).getOpcode() == ISD::SRL) {
1208 // "(a srl b) & mask" ---> "BFE_U32 a, b, popcount(mask)"
1209 // Predicate: isMask(mask)
1210 const SDValue &Srl = N->getOperand(0);
1211 ConstantSDNode *Shift = dyn_cast<ConstantSDNode>(Srl.getOperand(1));
1212 ConstantSDNode *Mask = dyn_cast<ConstantSDNode>(N->getOperand(1));
1213
1214 if (Shift && Mask) {
1215 uint32_t ShiftVal = Shift->getZExtValue();
1216 uint32_t MaskVal = Mask->getZExtValue();
1217
1218 if (isMask_32(MaskVal)) {
1219 uint32_t WidthVal = countPopulation(MaskVal);
1220
1221 return getS_BFE(AMDGPU::S_BFE_U32, SDLoc(N), Srl.getOperand(0),
1222 ShiftVal, WidthVal);
1223 }
1224 }
1225 }
1226 break;
1227 case ISD::SRL:
1228 if (N->getOperand(0).getOpcode() == ISD::AND) {
1229 // "(a & mask) srl b)" ---> "BFE_U32 a, b, popcount(mask >> b)"
1230 // Predicate: isMask(mask >> b)
1231 const SDValue &And = N->getOperand(0);
1232 ConstantSDNode *Shift = dyn_cast<ConstantSDNode>(N->getOperand(1));
1233 ConstantSDNode *Mask = dyn_cast<ConstantSDNode>(And->getOperand(1));
1234
1235 if (Shift && Mask) {
1236 uint32_t ShiftVal = Shift->getZExtValue();
1237 uint32_t MaskVal = Mask->getZExtValue() >> ShiftVal;
1238
1239 if (isMask_32(MaskVal)) {
1240 uint32_t WidthVal = countPopulation(MaskVal);
1241
1242 return getS_BFE(AMDGPU::S_BFE_U32, SDLoc(N), And.getOperand(0),
1243 ShiftVal, WidthVal);
1244 }
1245 }
1246 } else if (N->getOperand(0).getOpcode() == ISD::SHL)
1247 return SelectS_BFEFromShifts(N);
1248 break;
1249 case ISD::SRA:
1250 if (N->getOperand(0).getOpcode() == ISD::SHL)
1251 return SelectS_BFEFromShifts(N);
1252 break;
1253 }
1254
1255 return SelectCode(N);
1256}
1257
Tom Stellardb4a313a2014-08-01 00:32:39 +00001258bool AMDGPUDAGToDAGISel::SelectVOP3Mods(SDValue In, SDValue &Src,
1259 SDValue &SrcMods) const {
1260
1261 unsigned Mods = 0;
1262
1263 Src = In;
1264
1265 if (Src.getOpcode() == ISD::FNEG) {
1266 Mods |= SISrcMods::NEG;
1267 Src = Src.getOperand(0);
1268 }
1269
1270 if (Src.getOpcode() == ISD::FABS) {
1271 Mods |= SISrcMods::ABS;
1272 Src = Src.getOperand(0);
1273 }
1274
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001275 SrcMods = CurDAG->getTargetConstant(Mods, SDLoc(In), MVT::i32);
Tom Stellardb4a313a2014-08-01 00:32:39 +00001276
1277 return true;
1278}
1279
1280bool AMDGPUDAGToDAGISel::SelectVOP3Mods0(SDValue In, SDValue &Src,
1281 SDValue &SrcMods, SDValue &Clamp,
1282 SDValue &Omod) const {
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001283 SDLoc DL(In);
Tom Stellardb4a313a2014-08-01 00:32:39 +00001284 // FIXME: Handle Clamp and Omod
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001285 Clamp = CurDAG->getTargetConstant(0, DL, MVT::i32);
1286 Omod = CurDAG->getTargetConstant(0, DL, MVT::i32);
Tom Stellardb4a313a2014-08-01 00:32:39 +00001287
1288 return SelectVOP3Mods(In, Src, SrcMods);
1289}
1290
Matt Arsenault1cffa4c2014-11-13 19:49:04 +00001291bool AMDGPUDAGToDAGISel::SelectVOP3Mods0Clamp(SDValue In, SDValue &Src,
1292 SDValue &SrcMods,
1293 SDValue &Omod) const {
1294 // FIXME: Handle Omod
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001295 Omod = CurDAG->getTargetConstant(0, SDLoc(In), MVT::i32);
Matt Arsenault1cffa4c2014-11-13 19:49:04 +00001296
1297 return SelectVOP3Mods(In, Src, SrcMods);
1298}
1299
Matt Arsenault4831ce52015-01-06 23:00:37 +00001300bool AMDGPUDAGToDAGISel::SelectVOP3Mods0Clamp0OMod(SDValue In, SDValue &Src,
1301 SDValue &SrcMods,
1302 SDValue &Clamp,
1303 SDValue &Omod) const {
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001304 Clamp = Omod = CurDAG->getTargetConstant(0, SDLoc(In), MVT::i32);
Matt Arsenault4831ce52015-01-06 23:00:37 +00001305 return SelectVOP3Mods(In, Src, SrcMods);
1306}
1307
Christian Konigd910b7d2013-02-26 17:52:16 +00001308void AMDGPUDAGToDAGISel::PostprocessISelDAG() {
Bill Wendlinga3cd3502013-06-19 21:36:55 +00001309 const AMDGPUTargetLowering& Lowering =
Matt Arsenault209a7b92014-04-18 07:40:20 +00001310 *static_cast<const AMDGPUTargetLowering*>(getTargetLowering());
Vincent Lejeuneab3baf82013-09-12 23:44:44 +00001311 bool IsModified = false;
1312 do {
1313 IsModified = false;
1314 // Go over all selected nodes and try to fold them a bit more
1315 for (SelectionDAG::allnodes_iterator I = CurDAG->allnodes_begin(),
1316 E = CurDAG->allnodes_end(); I != E; ++I) {
Christian Konigd910b7d2013-02-26 17:52:16 +00001317
Vincent Lejeuneab3baf82013-09-12 23:44:44 +00001318 SDNode *Node = I;
Tom Stellard2183b702013-06-03 17:39:46 +00001319
Vincent Lejeuneab3baf82013-09-12 23:44:44 +00001320 MachineSDNode *MachineNode = dyn_cast<MachineSDNode>(I);
1321 if (!MachineNode)
1322 continue;
Christian Konigd910b7d2013-02-26 17:52:16 +00001323
Vincent Lejeuneab3baf82013-09-12 23:44:44 +00001324 SDNode *ResNode = Lowering.PostISelFolding(MachineNode, *CurDAG);
1325 if (ResNode != Node) {
1326 ReplaceUses(Node, ResNode);
1327 IsModified = true;
1328 }
Tom Stellard2183b702013-06-03 17:39:46 +00001329 }
Vincent Lejeuneab3baf82013-09-12 23:44:44 +00001330 CurDAG->RemoveDeadNodes();
1331 } while (IsModified);
Christian Konigd910b7d2013-02-26 17:52:16 +00001332}