blob: 77fce3848fc733289790dfaf8c791f919107aeb9 [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;
Tom Stellard75aadc22012-12-11 21:25:42 +000053 inline SDValue getSmallIPtrImm(unsigned Imm);
Vincent Lejeunec6896792013-06-04 23:17:15 +000054 bool FoldOperand(SDValue &Src, SDValue &Sel, SDValue &Neg, SDValue &Abs,
Tom Stellard84021442013-07-23 01:48:24 +000055 const R600InstrInfo *TII);
Tom Stellard365366f2013-01-23 02:09:06 +000056 bool FoldOperands(unsigned, const R600InstrInfo *, std::vector<SDValue> &);
Vincent Lejeunec6896792013-06-04 23:17:15 +000057 bool FoldDotOperands(unsigned, const R600InstrInfo *, std::vector<SDValue> &);
Tom Stellard75aadc22012-12-11 21:25:42 +000058
59 // Complex pattern selectors
60 bool SelectADDRParam(SDValue Addr, SDValue& R1, SDValue& R2);
61 bool SelectADDR(SDValue N, SDValue &R1, SDValue &R2);
62 bool SelectADDR64(SDValue N, SDValue &R1, SDValue &R2);
63
64 static bool checkType(const Value *ptr, unsigned int addrspace);
Nick Lewyckyaad475b2014-04-15 07:22:52 +000065 static bool checkPrivateAddress(const MachineMemOperand *Op);
Tom Stellard75aadc22012-12-11 21:25:42 +000066
67 static bool isGlobalStore(const StoreSDNode *N);
Matt Arsenault3f981402014-09-15 15:41:53 +000068 static bool isFlatStore(const StoreSDNode *N);
Tom Stellard75aadc22012-12-11 21:25:42 +000069 static bool isPrivateStore(const StoreSDNode *N);
70 static bool isLocalStore(const StoreSDNode *N);
71 static bool isRegionStore(const StoreSDNode *N);
72
Matt Arsenault2aabb062013-06-18 23:37:58 +000073 bool isCPLoad(const LoadSDNode *N) const;
74 bool isConstantLoad(const LoadSDNode *N, int cbID) const;
75 bool isGlobalLoad(const LoadSDNode *N) const;
Matt Arsenault3f981402014-09-15 15:41:53 +000076 bool isFlatLoad(const LoadSDNode *N) const;
Matt Arsenault2aabb062013-06-18 23:37:58 +000077 bool isParamLoad(const LoadSDNode *N) const;
78 bool isPrivateLoad(const LoadSDNode *N) const;
79 bool isLocalLoad(const LoadSDNode *N) const;
80 bool isRegionLoad(const LoadSDNode *N) const;
Tom Stellard75aadc22012-12-11 21:25:42 +000081
Tom Stellarddf94dc32013-08-14 23:24:24 +000082 const TargetRegisterClass *getOperandRegClass(SDNode *N, unsigned OpNo) const;
Tom Stellard365366f2013-01-23 02:09:06 +000083 bool SelectGlobalValueConstantOffset(SDValue Addr, SDValue& IntPtr);
Matt Arsenault209a7b92014-04-18 07:40:20 +000084 bool SelectGlobalValueVariableOffset(SDValue Addr, SDValue &BaseReg,
85 SDValue& Offset);
Tom Stellard75aadc22012-12-11 21:25:42 +000086 bool SelectADDRVTX_READ(SDValue Addr, SDValue &Base, SDValue &Offset);
Tom Stellardf3b2a1e2013-02-06 17:32:29 +000087 bool SelectADDRIndirect(SDValue Addr, SDValue &Base, SDValue &Offset);
Tom Stellard85e8b6d2014-08-22 18:49:33 +000088 bool isDSOffsetLegal(const SDValue &Base, unsigned Offset,
89 unsigned OffsetBits) const;
90 bool SelectDS1Addr1Offset(SDValue Ptr, SDValue &Base, SDValue &Offset) const;
Tom Stellardf3fc5552014-08-22 18:49:35 +000091 bool SelectDS64Bit4ByteAligned(SDValue Ptr, SDValue &Base, SDValue &Offset0,
92 SDValue &Offset1) const;
Tom Stellard155bbb72014-08-11 22:18:17 +000093 void SelectMUBUF(SDValue Addr, SDValue &SRsrc, SDValue &VAddr,
94 SDValue &SOffset, SDValue &Offset, SDValue &Offen,
95 SDValue &Idxen, SDValue &Addr64, SDValue &GLC, SDValue &SLC,
96 SDValue &TFE) const;
97 bool SelectMUBUFAddr64(SDValue Addr, SDValue &SRsrc, SDValue &VAddr,
Tom Stellard1f9939f2015-02-27 14:59:41 +000098 SDValue &SOffset, SDValue &Offset, SDValue &GLC,
99 SDValue &SLC, SDValue &TFE) const;
Tom Stellard7980fc82014-09-25 18:30:26 +0000100 bool SelectMUBUFAddr64(SDValue Addr, SDValue &SRsrc,
Tom Stellardc53861a2015-02-11 00:34:32 +0000101 SDValue &VAddr, SDValue &SOffset, SDValue &Offset,
Tom Stellard7980fc82014-09-25 18:30:26 +0000102 SDValue &SLC) const;
Tom Stellardb02094e2014-07-21 15:45:01 +0000103 bool SelectMUBUFScratch(SDValue Addr, SDValue &RSrc, SDValue &VAddr,
104 SDValue &SOffset, SDValue &ImmOffset) const;
Tom Stellard155bbb72014-08-11 22:18:17 +0000105 bool SelectMUBUFOffset(SDValue Addr, SDValue &SRsrc, SDValue &SOffset,
106 SDValue &Offset, SDValue &GLC, SDValue &SLC,
Tom Stellardb02094e2014-07-21 15:45:01 +0000107 SDValue &TFE) const;
Tom Stellard7980fc82014-09-25 18:30:26 +0000108 bool SelectMUBUFOffset(SDValue Addr, SDValue &SRsrc, SDValue &Soffset,
109 SDValue &Offset, SDValue &GLC) const;
Matt Arsenault3f981402014-09-15 15:41:53 +0000110 SDNode *SelectAddrSpaceCast(SDNode *N);
Tom Stellardb4a313a2014-08-01 00:32:39 +0000111 bool SelectVOP3Mods(SDValue In, SDValue &Src, SDValue &SrcMods) const;
112 bool SelectVOP3Mods0(SDValue In, SDValue &Src, SDValue &SrcMods,
113 SDValue &Clamp, SDValue &Omod) const;
Tom Stellard75aadc22012-12-11 21:25:42 +0000114
Matt Arsenault1cffa4c2014-11-13 19:49:04 +0000115 bool SelectVOP3Mods0Clamp(SDValue In, SDValue &Src, SDValue &SrcMods,
116 SDValue &Omod) const;
Matt Arsenault4831ce52015-01-06 23:00:37 +0000117 bool SelectVOP3Mods0Clamp0OMod(SDValue In, SDValue &Src, SDValue &SrcMods,
118 SDValue &Clamp,
119 SDValue &Omod) const;
Matt Arsenault1cffa4c2014-11-13 19:49:04 +0000120
Matt Arsenaultb8b51532014-06-23 18:00:38 +0000121 SDNode *SelectADD_SUB_I64(SDNode *N);
Matt Arsenaultf2b0aeb2014-06-23 18:28:28 +0000122 SDNode *SelectDIV_SCALE(SDNode *N);
Matt Arsenault9fa3f932014-06-23 18:00:34 +0000123
Tom Stellard75aadc22012-12-11 21:25:42 +0000124 // Include the pieces autogenerated from the target description.
125#include "AMDGPUGenDAGISel.inc"
126};
127} // end anonymous namespace
128
129/// \brief This pass converts a legalized DAG into a AMDGPU-specific
130// DAG, ready for instruction scheduling.
Matt Arsenault209a7b92014-04-18 07:40:20 +0000131FunctionPass *llvm::createAMDGPUISelDag(TargetMachine &TM) {
Tom Stellard75aadc22012-12-11 21:25:42 +0000132 return new AMDGPUDAGToDAGISel(TM);
133}
134
Bill Wendlinga3cd3502013-06-19 21:36:55 +0000135AMDGPUDAGToDAGISel::AMDGPUDAGToDAGISel(TargetMachine &TM)
Eric Christopher7792e322015-01-30 23:24:40 +0000136 : SelectionDAGISel(TM) {}
137
138bool AMDGPUDAGToDAGISel::runOnMachineFunction(MachineFunction &MF) {
139 Subtarget = &static_cast<const AMDGPUSubtarget &>(MF.getSubtarget());
140 return SelectionDAGISel::runOnMachineFunction(MF);
Tom Stellard75aadc22012-12-11 21:25:42 +0000141}
142
143AMDGPUDAGToDAGISel::~AMDGPUDAGToDAGISel() {
144}
145
Tom Stellard7ed0b522014-04-03 20:19:27 +0000146bool AMDGPUDAGToDAGISel::isInlineImmediate(SDNode *N) const {
147 const SITargetLowering *TL
148 = static_cast<const SITargetLowering *>(getTargetLowering());
149 return TL->analyzeImmediate(N) == 0;
150}
151
Tom Stellarddf94dc32013-08-14 23:24:24 +0000152/// \brief Determine the register class for \p OpNo
153/// \returns The register class of the virtual register that will be used for
154/// the given operand number \OpNo or NULL if the register class cannot be
155/// determined.
156const TargetRegisterClass *AMDGPUDAGToDAGISel::getOperandRegClass(SDNode *N,
157 unsigned OpNo) const {
Matt Arsenault209a7b92014-04-18 07:40:20 +0000158 if (!N->isMachineOpcode())
159 return nullptr;
160
Tom Stellarddf94dc32013-08-14 23:24:24 +0000161 switch (N->getMachineOpcode()) {
162 default: {
Eric Christopherd9134482014-08-04 21:25:23 +0000163 const MCInstrDesc &Desc =
Eric Christopher7792e322015-01-30 23:24:40 +0000164 Subtarget->getInstrInfo()->get(N->getMachineOpcode());
Alexey Samsonov3186eb32013-08-15 07:11:34 +0000165 unsigned OpIdx = Desc.getNumDefs() + OpNo;
166 if (OpIdx >= Desc.getNumOperands())
Matt Arsenault209a7b92014-04-18 07:40:20 +0000167 return nullptr;
Alexey Samsonov3186eb32013-08-15 07:11:34 +0000168 int RegClass = Desc.OpInfo[OpIdx].RegClass;
Matt Arsenault209a7b92014-04-18 07:40:20 +0000169 if (RegClass == -1)
170 return nullptr;
171
Eric Christopher7792e322015-01-30 23:24:40 +0000172 return Subtarget->getRegisterInfo()->getRegClass(RegClass);
Tom Stellarddf94dc32013-08-14 23:24:24 +0000173 }
174 case AMDGPU::REG_SEQUENCE: {
Matt Arsenault209a7b92014-04-18 07:40:20 +0000175 unsigned RCID = cast<ConstantSDNode>(N->getOperand(0))->getZExtValue();
Eric Christopherd9134482014-08-04 21:25:23 +0000176 const TargetRegisterClass *SuperRC =
Eric Christopher7792e322015-01-30 23:24:40 +0000177 Subtarget->getRegisterInfo()->getRegClass(RCID);
Matt Arsenault209a7b92014-04-18 07:40:20 +0000178
179 SDValue SubRegOp = N->getOperand(OpNo + 1);
180 unsigned SubRegIdx = cast<ConstantSDNode>(SubRegOp)->getZExtValue();
Eric Christopher7792e322015-01-30 23:24:40 +0000181 return Subtarget->getRegisterInfo()->getSubClassWithSubReg(SuperRC,
182 SubRegIdx);
Tom Stellarddf94dc32013-08-14 23:24:24 +0000183 }
184 }
185}
186
Tom Stellard75aadc22012-12-11 21:25:42 +0000187SDValue AMDGPUDAGToDAGISel::getSmallIPtrImm(unsigned int Imm) {
188 return CurDAG->getTargetConstant(Imm, MVT::i32);
189}
190
191bool 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);
197 R2 = CurDAG->getTargetConstant(0, MVT::i32);
198 } else {
199 R1 = Addr;
200 R2 = CurDAG->getTargetConstant(0, MVT::i32);
201 }
202 } else if (Addr.getOpcode() == ISD::ADD) {
203 R1 = Addr.getOperand(0);
204 R2 = Addr.getOperand(1);
205 } else {
206 R1 = Addr;
207 R2 = CurDAG->getTargetConstant(0, MVT::i32);
208 }
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);
230 R2 = CurDAG->getTargetConstant(0, MVT::i64);
231 } else {
232 R1 = Addr;
233 R2 = CurDAG->getTargetConstant(0, MVT::i64);
234 }
235 } else if (Addr.getOpcode() == ISD::ADD) {
236 R1 = Addr.getOperand(0);
237 R2 = Addr.getOperand(1);
238 } else {
239 R1 = Addr;
240 R2 = CurDAG->getTargetConstant(0, MVT::i64);
241 }
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
Tom Stellard8e5da412013-08-14 23:24:32 +0000324 SDValue RegClass = CurDAG->getTargetConstant(RegClassID, MVT::i32);
325
326 if (NumVectorElts == 1) {
Matt Arsenault064c2062014-06-11 17:40:32 +0000327 return CurDAG->SelectNodeTo(N, AMDGPU::COPY_TO_REGCLASS, EltVT,
Tom Stellard8e5da412013-08-14 23:24:32 +0000328 N->getOperand(0), RegClass);
Tom Stellard0344cdf2013-08-01 15:23:42 +0000329 }
Tom Stellard8e5da412013-08-14 23:24:32 +0000330
331 assert(NumVectorElts <= 16 && "Vectors with more than 16 elements not "
332 "supported yet");
333 // 16 = Max Num Vector Elements
334 // 2 = 2 REG_SEQUENCE operands per element (value, subreg index)
335 // 1 = Vector Register Class
Matt Arsenault064c2062014-06-11 17:40:32 +0000336 SmallVector<SDValue, 16 * 2 + 1> RegSeqArgs(NumVectorElts * 2 + 1);
Tom Stellard8e5da412013-08-14 23:24:32 +0000337
338 RegSeqArgs[0] = CurDAG->getTargetConstant(RegClassID, MVT::i32);
Vincent Lejeune3b6f20e2013-03-05 15:04:49 +0000339 bool IsRegSeq = true;
Matt Arsenault064c2062014-06-11 17:40:32 +0000340 unsigned NOps = N->getNumOperands();
341 for (unsigned i = 0; i < NOps; i++) {
Tom Stellard8e5da412013-08-14 23:24:32 +0000342 // XXX: Why is this here?
Vincent Lejeune3b6f20e2013-03-05 15:04:49 +0000343 if (dyn_cast<RegisterSDNode>(N->getOperand(i))) {
344 IsRegSeq = false;
345 break;
346 }
Tom Stellard8e5da412013-08-14 23:24:32 +0000347 RegSeqArgs[1 + (2 * i)] = N->getOperand(i);
348 RegSeqArgs[1 + (2 * i) + 1] =
349 CurDAG->getTargetConstant(TRI->getSubRegFromChannel(i), MVT::i32);
Vincent Lejeune3b6f20e2013-03-05 15:04:49 +0000350 }
Matt Arsenault064c2062014-06-11 17:40:32 +0000351
352 if (NOps != NumVectorElts) {
353 // Fill in the missing undef elements if this was a scalar_to_vector.
354 assert(Opc == ISD::SCALAR_TO_VECTOR && NOps < NumVectorElts);
355
356 MachineSDNode *ImpDef = CurDAG->getMachineNode(TargetOpcode::IMPLICIT_DEF,
357 SDLoc(N), EltVT);
358 for (unsigned i = NOps; i < NumVectorElts; ++i) {
359 RegSeqArgs[1 + (2 * i)] = SDValue(ImpDef, 0);
360 RegSeqArgs[1 + (2 * i) + 1] =
361 CurDAG->getTargetConstant(TRI->getSubRegFromChannel(i), MVT::i32);
362 }
363 }
364
Vincent Lejeune3b6f20e2013-03-05 15:04:49 +0000365 if (!IsRegSeq)
366 break;
367 return CurDAG->SelectNodeTo(N, AMDGPU::REG_SEQUENCE, N->getVTList(),
Craig Topper481fb282014-04-27 19:21:11 +0000368 RegSeqArgs);
Vincent Lejeune3b6f20e2013-03-05 15:04:49 +0000369 }
Tom Stellard754f80f2013-04-05 23:31:51 +0000370 case ISD::BUILD_PAIR: {
371 SDValue RC, SubReg0, SubReg1;
Eric Christopher7792e322015-01-30 23:24:40 +0000372 if (Subtarget->getGeneration() <= AMDGPUSubtarget::NORTHERN_ISLANDS) {
Tom Stellard754f80f2013-04-05 23:31:51 +0000373 break;
374 }
375 if (N->getValueType(0) == MVT::i128) {
376 RC = CurDAG->getTargetConstant(AMDGPU::SReg_128RegClassID, MVT::i32);
377 SubReg0 = CurDAG->getTargetConstant(AMDGPU::sub0_sub1, MVT::i32);
378 SubReg1 = CurDAG->getTargetConstant(AMDGPU::sub2_sub3, MVT::i32);
379 } else if (N->getValueType(0) == MVT::i64) {
Tom Stellard1aa6cb42014-04-18 00:36:21 +0000380 RC = CurDAG->getTargetConstant(AMDGPU::SReg_64RegClassID, MVT::i32);
Tom Stellard754f80f2013-04-05 23:31:51 +0000381 SubReg0 = CurDAG->getTargetConstant(AMDGPU::sub0, MVT::i32);
382 SubReg1 = CurDAG->getTargetConstant(AMDGPU::sub1, MVT::i32);
383 } else {
384 llvm_unreachable("Unhandled value type for BUILD_PAIR");
385 }
386 const SDValue Ops[] = { RC, N->getOperand(0), SubReg0,
387 N->getOperand(1), SubReg1 };
388 return CurDAG->getMachineNode(TargetOpcode::REG_SEQUENCE,
Andrew Trickef9de2a2013-05-25 02:42:55 +0000389 SDLoc(N), N->getValueType(0), Ops);
Tom Stellard754f80f2013-04-05 23:31:51 +0000390 }
Tom Stellard7ed0b522014-04-03 20:19:27 +0000391
392 case ISD::Constant:
393 case ISD::ConstantFP: {
Eric Christopher7792e322015-01-30 23:24:40 +0000394 if (Subtarget->getGeneration() < AMDGPUSubtarget::SOUTHERN_ISLANDS ||
Tom Stellard7ed0b522014-04-03 20:19:27 +0000395 N->getValueType(0).getSizeInBits() != 64 || isInlineImmediate(N))
396 break;
397
398 uint64_t Imm;
399 if (ConstantFPSDNode *FP = dyn_cast<ConstantFPSDNode>(N))
400 Imm = FP->getValueAPF().bitcastToAPInt().getZExtValue();
401 else {
Tom Stellard3cbe0142014-04-07 19:31:13 +0000402 ConstantSDNode *C = cast<ConstantSDNode>(N);
Tom Stellard7ed0b522014-04-03 20:19:27 +0000403 Imm = C->getZExtValue();
404 }
405
406 SDNode *Lo = CurDAG->getMachineNode(AMDGPU::S_MOV_B32, SDLoc(N), MVT::i32,
407 CurDAG->getConstant(Imm & 0xFFFFFFFF, MVT::i32));
408 SDNode *Hi = CurDAG->getMachineNode(AMDGPU::S_MOV_B32, SDLoc(N), MVT::i32,
409 CurDAG->getConstant(Imm >> 32, MVT::i32));
410 const SDValue Ops[] = {
411 CurDAG->getTargetConstant(AMDGPU::SReg_64RegClassID, MVT::i32),
412 SDValue(Lo, 0), CurDAG->getTargetConstant(AMDGPU::sub0, MVT::i32),
413 SDValue(Hi, 0), CurDAG->getTargetConstant(AMDGPU::sub1, MVT::i32)
414 };
415
416 return CurDAG->getMachineNode(TargetOpcode::REG_SEQUENCE, SDLoc(N),
417 N->getValueType(0), Ops);
418 }
419
Tom Stellard20f6c072015-01-23 22:05:45 +0000420 case ISD::LOAD: {
421 // To simplify the TableGen patters, we replace all i64 loads with
422 // v2i32 loads. Alternatively, we could promote i64 loads to v2i32
423 // during DAG legalization, however, so places (ExpandUnalignedLoad)
424 // in the DAG legalizer assume that if i64 is legal, so doing this
425 // promotion early can cause problems.
426 EVT VT = N->getValueType(0);
427 LoadSDNode *LD = cast<LoadSDNode>(N);
428 if (VT != MVT::i64 || LD->getExtensionType() != ISD::NON_EXTLOAD)
429 break;
430
431 SDValue NewLoad = CurDAG->getLoad(MVT::v2i32, SDLoc(N), LD->getChain(),
432 LD->getBasePtr(), LD->getMemOperand());
433 SDValue BitCast = CurDAG->getNode(ISD::BITCAST, SDLoc(N),
434 MVT::i64, NewLoad);
435 CurDAG->ReplaceAllUsesOfValueWith(SDValue(N, 1), NewLoad.getValue(1));
436 CurDAG->ReplaceAllUsesOfValueWith(SDValue(N, 0), BitCast);
437 SelectCode(NewLoad.getNode());
438 N = BitCast.getNode();
439 break;
440 }
441
Tom Stellard096b8c12015-02-04 20:49:49 +0000442 case ISD::STORE: {
443 // Handle i64 stores here for the same reason mentioned above for loads.
444 StoreSDNode *ST = cast<StoreSDNode>(N);
445 SDValue Value = ST->getValue();
446 if (Value.getValueType() != MVT::i64 || ST->isTruncatingStore())
447 break;
448
449 SDValue NewValue = CurDAG->getNode(ISD::BITCAST, SDLoc(N),
450 MVT::v2i32, Value);
451 SDValue NewStore = CurDAG->getStore(ST->getChain(), SDLoc(N), NewValue,
452 ST->getBasePtr(), ST->getMemOperand());
453
454 CurDAG->ReplaceAllUsesOfValueWith(SDValue(N, 0), NewStore);
455
456 if (NewValue.getOpcode() == ISD::BITCAST) {
457 Select(NewStore.getNode());
458 return SelectCode(NewValue.getNode());
459 }
460
461 // getNode() may fold the bitcast if its input was another bitcast. If that
462 // happens we should only select the new store.
463 N = NewStore.getNode();
464 break;
465 }
466
Tom Stellard81d871d2013-11-13 23:36:50 +0000467 case AMDGPUISD::REGISTER_LOAD: {
Eric Christopher7792e322015-01-30 23:24:40 +0000468 if (Subtarget->getGeneration() <= AMDGPUSubtarget::NORTHERN_ISLANDS)
Tom Stellard81d871d2013-11-13 23:36:50 +0000469 break;
470 SDValue Addr, Offset;
471
472 SelectADDRIndirect(N->getOperand(1), Addr, Offset);
473 const SDValue Ops[] = {
474 Addr,
475 Offset,
476 CurDAG->getTargetConstant(0, MVT::i32),
477 N->getOperand(0),
478 };
479 return CurDAG->getMachineNode(AMDGPU::SI_RegisterLoad, SDLoc(N),
480 CurDAG->getVTList(MVT::i32, MVT::i64, MVT::Other),
481 Ops);
482 }
483 case AMDGPUISD::REGISTER_STORE: {
Eric Christopher7792e322015-01-30 23:24:40 +0000484 if (Subtarget->getGeneration() <= AMDGPUSubtarget::NORTHERN_ISLANDS)
Tom Stellard81d871d2013-11-13 23:36:50 +0000485 break;
486 SDValue Addr, Offset;
487 SelectADDRIndirect(N->getOperand(2), Addr, Offset);
488 const SDValue Ops[] = {
489 N->getOperand(1),
490 Addr,
491 Offset,
492 CurDAG->getTargetConstant(0, MVT::i32),
493 N->getOperand(0),
494 };
495 return CurDAG->getMachineNode(AMDGPU::SI_RegisterStorePseudo, SDLoc(N),
496 CurDAG->getVTList(MVT::Other),
497 Ops);
498 }
Matt Arsenault78b86702014-04-18 05:19:26 +0000499
500 case AMDGPUISD::BFE_I32:
501 case AMDGPUISD::BFE_U32: {
Eric Christopher7792e322015-01-30 23:24:40 +0000502 if (Subtarget->getGeneration() < AMDGPUSubtarget::SOUTHERN_ISLANDS)
Matt Arsenault78b86702014-04-18 05:19:26 +0000503 break;
504
505 // There is a scalar version available, but unlike the vector version which
506 // has a separate operand for the offset and width, the scalar version packs
507 // the width and offset into a single operand. Try to move to the scalar
508 // version if the offsets are constant, so that we can try to keep extended
509 // loads of kernel arguments in SGPRs.
510
511 // TODO: Technically we could try to pattern match scalar bitshifts of
512 // dynamic values, but it's probably not useful.
513 ConstantSDNode *Offset = dyn_cast<ConstantSDNode>(N->getOperand(1));
514 if (!Offset)
515 break;
516
517 ConstantSDNode *Width = dyn_cast<ConstantSDNode>(N->getOperand(2));
518 if (!Width)
519 break;
520
521 bool Signed = Opc == AMDGPUISD::BFE_I32;
522
523 // Transformation function, pack the offset and width of a BFE into
524 // the format expected by the S_BFE_I32 / S_BFE_U32. In the second
525 // source, bits [5:0] contain the offset and bits [22:16] the width.
526
527 uint32_t OffsetVal = Offset->getZExtValue();
528 uint32_t WidthVal = Width->getZExtValue();
529
530 uint32_t PackedVal = OffsetVal | WidthVal << 16;
531
532 SDValue PackedOffsetWidth = CurDAG->getTargetConstant(PackedVal, MVT::i32);
533 return CurDAG->getMachineNode(Signed ? AMDGPU::S_BFE_I32 : AMDGPU::S_BFE_U32,
534 SDLoc(N),
535 MVT::i32,
536 N->getOperand(0),
537 PackedOffsetWidth);
538
539 }
Matt Arsenaultf2b0aeb2014-06-23 18:28:28 +0000540 case AMDGPUISD::DIV_SCALE: {
541 return SelectDIV_SCALE(N);
542 }
Tom Stellard3457a842014-10-09 19:06:00 +0000543 case ISD::CopyToReg: {
544 const SITargetLowering& Lowering =
545 *static_cast<const SITargetLowering*>(getTargetLowering());
546 Lowering.legalizeTargetIndependentNode(N, *CurDAG);
547 break;
548 }
Matt Arsenault3f981402014-09-15 15:41:53 +0000549 case ISD::ADDRSPACECAST:
550 return SelectAddrSpaceCast(N);
Tom Stellard75aadc22012-12-11 21:25:42 +0000551 }
Tom Stellard3457a842014-10-09 19:06:00 +0000552
Vincent Lejeune0167a312013-09-12 23:45:00 +0000553 return SelectCode(N);
Tom Stellard365366f2013-01-23 02:09:06 +0000554}
555
Tom Stellard75aadc22012-12-11 21:25:42 +0000556
Matt Arsenault209a7b92014-04-18 07:40:20 +0000557bool AMDGPUDAGToDAGISel::checkType(const Value *Ptr, unsigned AS) {
558 assert(AS != 0 && "Use checkPrivateAddress instead.");
559 if (!Ptr)
Tom Stellard75aadc22012-12-11 21:25:42 +0000560 return false;
Matt Arsenault209a7b92014-04-18 07:40:20 +0000561
562 return Ptr->getType()->getPointerAddressSpace() == AS;
Tom Stellard75aadc22012-12-11 21:25:42 +0000563}
564
Nick Lewyckyaad475b2014-04-15 07:22:52 +0000565bool AMDGPUDAGToDAGISel::checkPrivateAddress(const MachineMemOperand *Op) {
Matt Arsenault209a7b92014-04-18 07:40:20 +0000566 if (Op->getPseudoValue())
567 return true;
568
569 if (PointerType *PT = dyn_cast<PointerType>(Op->getValue()->getType()))
570 return PT->getAddressSpace() == AMDGPUAS::PRIVATE_ADDRESS;
571
572 return false;
Nick Lewyckyaad475b2014-04-15 07:22:52 +0000573}
574
Tom Stellard75aadc22012-12-11 21:25:42 +0000575bool AMDGPUDAGToDAGISel::isGlobalStore(const StoreSDNode *N) {
Nick Lewyckyaad475b2014-04-15 07:22:52 +0000576 return checkType(N->getMemOperand()->getValue(), AMDGPUAS::GLOBAL_ADDRESS);
Tom Stellard75aadc22012-12-11 21:25:42 +0000577}
578
579bool AMDGPUDAGToDAGISel::isPrivateStore(const StoreSDNode *N) {
Matt Arsenault209a7b92014-04-18 07:40:20 +0000580 const Value *MemVal = N->getMemOperand()->getValue();
581 return (!checkType(MemVal, AMDGPUAS::LOCAL_ADDRESS) &&
582 !checkType(MemVal, AMDGPUAS::GLOBAL_ADDRESS) &&
583 !checkType(MemVal, AMDGPUAS::REGION_ADDRESS));
Tom Stellard75aadc22012-12-11 21:25:42 +0000584}
585
586bool AMDGPUDAGToDAGISel::isLocalStore(const StoreSDNode *N) {
Nick Lewyckyaad475b2014-04-15 07:22:52 +0000587 return checkType(N->getMemOperand()->getValue(), AMDGPUAS::LOCAL_ADDRESS);
Tom Stellard75aadc22012-12-11 21:25:42 +0000588}
589
Matt Arsenault3f981402014-09-15 15:41:53 +0000590bool AMDGPUDAGToDAGISel::isFlatStore(const StoreSDNode *N) {
591 return checkType(N->getMemOperand()->getValue(), AMDGPUAS::FLAT_ADDRESS);
592}
593
Tom Stellard75aadc22012-12-11 21:25:42 +0000594bool AMDGPUDAGToDAGISel::isRegionStore(const StoreSDNode *N) {
Nick Lewyckyaad475b2014-04-15 07:22:52 +0000595 return checkType(N->getMemOperand()->getValue(), AMDGPUAS::REGION_ADDRESS);
Tom Stellard75aadc22012-12-11 21:25:42 +0000596}
597
Tom Stellard1e803092013-07-23 01:48:18 +0000598bool AMDGPUDAGToDAGISel::isConstantLoad(const LoadSDNode *N, int CbId) const {
Matt Arsenault209a7b92014-04-18 07:40:20 +0000599 const Value *MemVal = N->getMemOperand()->getValue();
600 if (CbId == -1)
601 return checkType(MemVal, AMDGPUAS::CONSTANT_ADDRESS);
602
603 return checkType(MemVal, AMDGPUAS::CONSTANT_BUFFER_0 + CbId);
Tom Stellard75aadc22012-12-11 21:25:42 +0000604}
605
Matt Arsenault2aabb062013-06-18 23:37:58 +0000606bool AMDGPUDAGToDAGISel::isGlobalLoad(const LoadSDNode *N) const {
Eric Christopher7792e322015-01-30 23:24:40 +0000607 if (N->getAddressSpace() == AMDGPUAS::CONSTANT_ADDRESS)
608 if (Subtarget->getGeneration() < AMDGPUSubtarget::SOUTHERN_ISLANDS ||
609 N->getMemoryVT().bitsLT(MVT::i32))
Tom Stellard8cb0e472013-07-23 23:54:56 +0000610 return true;
Eric Christopher7792e322015-01-30 23:24:40 +0000611
Nick Lewyckyaad475b2014-04-15 07:22:52 +0000612 return checkType(N->getMemOperand()->getValue(), AMDGPUAS::GLOBAL_ADDRESS);
Tom Stellard75aadc22012-12-11 21:25:42 +0000613}
614
Matt Arsenault2aabb062013-06-18 23:37:58 +0000615bool AMDGPUDAGToDAGISel::isParamLoad(const LoadSDNode *N) const {
Nick Lewyckyaad475b2014-04-15 07:22:52 +0000616 return checkType(N->getMemOperand()->getValue(), AMDGPUAS::PARAM_I_ADDRESS);
Tom Stellard75aadc22012-12-11 21:25:42 +0000617}
618
Matt Arsenault2aabb062013-06-18 23:37:58 +0000619bool AMDGPUDAGToDAGISel::isLocalLoad(const LoadSDNode *N) const {
Nick Lewyckyaad475b2014-04-15 07:22:52 +0000620 return checkType(N->getMemOperand()->getValue(), AMDGPUAS::LOCAL_ADDRESS);
Tom Stellard75aadc22012-12-11 21:25:42 +0000621}
622
Matt Arsenault3f981402014-09-15 15:41:53 +0000623bool AMDGPUDAGToDAGISel::isFlatLoad(const LoadSDNode *N) const {
624 return checkType(N->getMemOperand()->getValue(), AMDGPUAS::FLAT_ADDRESS);
625}
626
Matt Arsenault2aabb062013-06-18 23:37:58 +0000627bool AMDGPUDAGToDAGISel::isRegionLoad(const LoadSDNode *N) const {
Nick Lewyckyaad475b2014-04-15 07:22:52 +0000628 return checkType(N->getMemOperand()->getValue(), AMDGPUAS::REGION_ADDRESS);
Tom Stellard75aadc22012-12-11 21:25:42 +0000629}
630
Matt Arsenault2aabb062013-06-18 23:37:58 +0000631bool AMDGPUDAGToDAGISel::isCPLoad(const LoadSDNode *N) const {
Tom Stellard75aadc22012-12-11 21:25:42 +0000632 MachineMemOperand *MMO = N->getMemOperand();
Nick Lewyckyaad475b2014-04-15 07:22:52 +0000633 if (checkPrivateAddress(N->getMemOperand())) {
Tom Stellard75aadc22012-12-11 21:25:42 +0000634 if (MMO) {
Nick Lewyckyaad475b2014-04-15 07:22:52 +0000635 const PseudoSourceValue *PSV = MMO->getPseudoValue();
Tom Stellard75aadc22012-12-11 21:25:42 +0000636 if (PSV && PSV == PseudoSourceValue::getConstantPool()) {
637 return true;
638 }
639 }
640 }
641 return false;
642}
643
Matt Arsenault2aabb062013-06-18 23:37:58 +0000644bool AMDGPUDAGToDAGISel::isPrivateLoad(const LoadSDNode *N) const {
Nick Lewyckyaad475b2014-04-15 07:22:52 +0000645 if (checkPrivateAddress(N->getMemOperand())) {
Tom Stellard75aadc22012-12-11 21:25:42 +0000646 // Check to make sure we are not a constant pool load or a constant load
647 // that is marked as a private load
648 if (isCPLoad(N) || isConstantLoad(N, -1)) {
649 return false;
650 }
651 }
Matt Arsenault209a7b92014-04-18 07:40:20 +0000652
653 const Value *MemVal = N->getMemOperand()->getValue();
654 if (!checkType(MemVal, AMDGPUAS::LOCAL_ADDRESS) &&
655 !checkType(MemVal, AMDGPUAS::GLOBAL_ADDRESS) &&
Matt Arsenault3f981402014-09-15 15:41:53 +0000656 !checkType(MemVal, AMDGPUAS::FLAT_ADDRESS) &&
Matt Arsenault209a7b92014-04-18 07:40:20 +0000657 !checkType(MemVal, AMDGPUAS::REGION_ADDRESS) &&
658 !checkType(MemVal, AMDGPUAS::CONSTANT_ADDRESS) &&
659 !checkType(MemVal, AMDGPUAS::PARAM_D_ADDRESS) &&
Matt Arsenault3f981402014-09-15 15:41:53 +0000660 !checkType(MemVal, AMDGPUAS::PARAM_I_ADDRESS)) {
Tom Stellard75aadc22012-12-11 21:25:42 +0000661 return true;
662 }
663 return false;
664}
665
666const char *AMDGPUDAGToDAGISel::getPassName() const {
667 return "AMDGPU DAG->DAG Pattern Instruction Selection";
668}
669
670#ifdef DEBUGTMP
671#undef INT64_C
672#endif
673#undef DEBUGTMP
674
Tom Stellard41fc7852013-07-23 01:48:42 +0000675//===----------------------------------------------------------------------===//
676// Complex Patterns
677//===----------------------------------------------------------------------===//
Tom Stellard75aadc22012-12-11 21:25:42 +0000678
Tom Stellard365366f2013-01-23 02:09:06 +0000679bool AMDGPUDAGToDAGISel::SelectGlobalValueConstantOffset(SDValue Addr,
Matt Arsenault209a7b92014-04-18 07:40:20 +0000680 SDValue& IntPtr) {
Tom Stellard365366f2013-01-23 02:09:06 +0000681 if (ConstantSDNode *Cst = dyn_cast<ConstantSDNode>(Addr)) {
682 IntPtr = CurDAG->getIntPtrConstant(Cst->getZExtValue() / 4, true);
683 return true;
684 }
685 return false;
686}
687
688bool AMDGPUDAGToDAGISel::SelectGlobalValueVariableOffset(SDValue Addr,
689 SDValue& BaseReg, SDValue &Offset) {
Matt Arsenault209a7b92014-04-18 07:40:20 +0000690 if (!isa<ConstantSDNode>(Addr)) {
Tom Stellard365366f2013-01-23 02:09:06 +0000691 BaseReg = Addr;
692 Offset = CurDAG->getIntPtrConstant(0, true);
693 return true;
694 }
695 return false;
696}
697
Tom Stellard75aadc22012-12-11 21:25:42 +0000698bool AMDGPUDAGToDAGISel::SelectADDRVTX_READ(SDValue Addr, SDValue &Base,
699 SDValue &Offset) {
Matt Arsenault209a7b92014-04-18 07:40:20 +0000700 ConstantSDNode *IMMOffset;
Tom Stellard75aadc22012-12-11 21:25:42 +0000701
702 if (Addr.getOpcode() == ISD::ADD
703 && (IMMOffset = dyn_cast<ConstantSDNode>(Addr.getOperand(1)))
704 && isInt<16>(IMMOffset->getZExtValue())) {
705
706 Base = Addr.getOperand(0);
707 Offset = CurDAG->getTargetConstant(IMMOffset->getZExtValue(), MVT::i32);
708 return true;
709 // If the pointer address is constant, we can move it to the offset field.
710 } else if ((IMMOffset = dyn_cast<ConstantSDNode>(Addr))
711 && isInt<16>(IMMOffset->getZExtValue())) {
712 Base = CurDAG->getCopyFromReg(CurDAG->getEntryNode(),
Andrew Trickef9de2a2013-05-25 02:42:55 +0000713 SDLoc(CurDAG->getEntryNode()),
Tom Stellard75aadc22012-12-11 21:25:42 +0000714 AMDGPU::ZERO, MVT::i32);
715 Offset = CurDAG->getTargetConstant(IMMOffset->getZExtValue(), MVT::i32);
716 return true;
717 }
718
719 // Default case, no offset
720 Base = Addr;
721 Offset = CurDAG->getTargetConstant(0, MVT::i32);
722 return true;
723}
724
Tom Stellardf3b2a1e2013-02-06 17:32:29 +0000725bool AMDGPUDAGToDAGISel::SelectADDRIndirect(SDValue Addr, SDValue &Base,
726 SDValue &Offset) {
727 ConstantSDNode *C;
728
729 if ((C = dyn_cast<ConstantSDNode>(Addr))) {
730 Base = CurDAG->getRegister(AMDGPU::INDIRECT_BASE_ADDR, MVT::i32);
731 Offset = CurDAG->getTargetConstant(C->getZExtValue(), MVT::i32);
732 } else if ((Addr.getOpcode() == ISD::ADD || Addr.getOpcode() == ISD::OR) &&
733 (C = dyn_cast<ConstantSDNode>(Addr.getOperand(1)))) {
734 Base = Addr.getOperand(0);
735 Offset = CurDAG->getTargetConstant(C->getZExtValue(), MVT::i32);
736 } else {
737 Base = Addr;
738 Offset = CurDAG->getTargetConstant(0, MVT::i32);
739 }
740
741 return true;
742}
Christian Konigd910b7d2013-02-26 17:52:16 +0000743
Matt Arsenaultb8b51532014-06-23 18:00:38 +0000744SDNode *AMDGPUDAGToDAGISel::SelectADD_SUB_I64(SDNode *N) {
Matt Arsenault9fa3f932014-06-23 18:00:34 +0000745 SDLoc DL(N);
746 SDValue LHS = N->getOperand(0);
747 SDValue RHS = N->getOperand(1);
748
Matt Arsenaultb8b51532014-06-23 18:00:38 +0000749 bool IsAdd = (N->getOpcode() == ISD::ADD);
750
Matt Arsenault9fa3f932014-06-23 18:00:34 +0000751 SDValue Sub0 = CurDAG->getTargetConstant(AMDGPU::sub0, MVT::i32);
752 SDValue Sub1 = CurDAG->getTargetConstant(AMDGPU::sub1, MVT::i32);
753
754 SDNode *Lo0 = CurDAG->getMachineNode(TargetOpcode::EXTRACT_SUBREG,
755 DL, MVT::i32, LHS, Sub0);
756 SDNode *Hi0 = CurDAG->getMachineNode(TargetOpcode::EXTRACT_SUBREG,
757 DL, MVT::i32, LHS, Sub1);
758
759 SDNode *Lo1 = CurDAG->getMachineNode(TargetOpcode::EXTRACT_SUBREG,
760 DL, MVT::i32, RHS, Sub0);
761 SDNode *Hi1 = CurDAG->getMachineNode(TargetOpcode::EXTRACT_SUBREG,
762 DL, MVT::i32, RHS, Sub1);
763
764 SDVTList VTList = CurDAG->getVTList(MVT::i32, MVT::Glue);
Matt Arsenault9fa3f932014-06-23 18:00:34 +0000765 SDValue AddLoArgs[] = { SDValue(Lo0, 0), SDValue(Lo1, 0) };
766
Matt Arsenaultb8b51532014-06-23 18:00:38 +0000767
Tom Stellard80942a12014-09-05 14:07:59 +0000768 unsigned Opc = IsAdd ? AMDGPU::S_ADD_U32 : AMDGPU::S_SUB_U32;
Matt Arsenaultb8b51532014-06-23 18:00:38 +0000769 unsigned CarryOpc = IsAdd ? AMDGPU::S_ADDC_U32 : AMDGPU::S_SUBB_U32;
770
Matt Arsenaultb8b51532014-06-23 18:00:38 +0000771 SDNode *AddLo = CurDAG->getMachineNode( Opc, DL, VTList, AddLoArgs);
772 SDValue Carry(AddLo, 1);
773 SDNode *AddHi
774 = CurDAG->getMachineNode(CarryOpc, DL, MVT::i32,
775 SDValue(Hi0, 0), SDValue(Hi1, 0), Carry);
Matt Arsenault9fa3f932014-06-23 18:00:34 +0000776
777 SDValue Args[5] = {
778 CurDAG->getTargetConstant(AMDGPU::SReg_64RegClassID, MVT::i32),
779 SDValue(AddLo,0),
780 Sub0,
781 SDValue(AddHi,0),
782 Sub1,
783 };
784 return CurDAG->SelectNodeTo(N, AMDGPU::REG_SEQUENCE, MVT::i64, Args);
785}
786
Matt Arsenault044f1d12015-02-14 04:24:28 +0000787// We need to handle this here because tablegen doesn't support matching
788// instructions with multiple outputs.
Matt Arsenaultf2b0aeb2014-06-23 18:28:28 +0000789SDNode *AMDGPUDAGToDAGISel::SelectDIV_SCALE(SDNode *N) {
790 SDLoc SL(N);
791 EVT VT = N->getValueType(0);
792
793 assert(VT == MVT::f32 || VT == MVT::f64);
794
795 unsigned Opc
796 = (VT == MVT::f64) ? AMDGPU::V_DIV_SCALE_F64 : AMDGPU::V_DIV_SCALE_F32;
797
Matt Arsenault044f1d12015-02-14 04:24:28 +0000798 // src0_modifiers, src0, src1_modifiers, src1, src2_modifiers, src2, clamp, omod
799 SDValue Ops[8];
Matt Arsenaultf2b0aeb2014-06-23 18:28:28 +0000800
Matt Arsenault044f1d12015-02-14 04:24:28 +0000801 SelectVOP3Mods0(N->getOperand(0), Ops[1], Ops[0], Ops[6], Ops[7]);
802 SelectVOP3Mods(N->getOperand(1), Ops[3], Ops[2]);
803 SelectVOP3Mods(N->getOperand(2), Ops[5], Ops[4]);
Matt Arsenaultf2b0aeb2014-06-23 18:28:28 +0000804 return CurDAG->SelectNodeTo(N, Opc, VT, MVT::i1, Ops);
805}
806
Tom Stellard85e8b6d2014-08-22 18:49:33 +0000807bool AMDGPUDAGToDAGISel::isDSOffsetLegal(const SDValue &Base, unsigned Offset,
808 unsigned OffsetBits) const {
Tom Stellard85e8b6d2014-08-22 18:49:33 +0000809 if ((OffsetBits == 16 && !isUInt<16>(Offset)) ||
810 (OffsetBits == 8 && !isUInt<8>(Offset)))
811 return false;
812
Eric Christopher7792e322015-01-30 23:24:40 +0000813 if (Subtarget->getGeneration() >= AMDGPUSubtarget::SEA_ISLANDS)
Tom Stellard85e8b6d2014-08-22 18:49:33 +0000814 return true;
815
816 // On Southern Islands instruction with a negative base value and an offset
817 // don't seem to work.
818 return CurDAG->SignBitIsZero(Base);
819}
820
821bool AMDGPUDAGToDAGISel::SelectDS1Addr1Offset(SDValue Addr, SDValue &Base,
822 SDValue &Offset) const {
823 if (CurDAG->isBaseWithConstantOffset(Addr)) {
824 SDValue N0 = Addr.getOperand(0);
825 SDValue N1 = Addr.getOperand(1);
826 ConstantSDNode *C1 = cast<ConstantSDNode>(N1);
827 if (isDSOffsetLegal(N0, C1->getSExtValue(), 16)) {
828 // (add n0, c0)
829 Base = N0;
830 Offset = N1;
831 return true;
832 }
833 }
834
Matt Arsenaulte775f5f2014-10-14 17:21:19 +0000835 // If we have a constant address, prefer to put the constant into the
836 // offset. This can save moves to load the constant address since multiple
837 // operations can share the zero base address register, and enables merging
838 // into read2 / write2 instructions.
839 if (const ConstantSDNode *CAddr = dyn_cast<ConstantSDNode>(Addr)) {
840 if (isUInt<16>(CAddr->getZExtValue())) {
Tom Stellardc8d79202014-10-15 21:08:59 +0000841 SDValue Zero = CurDAG->getTargetConstant(0, MVT::i32);
842 MachineSDNode *MovZero = CurDAG->getMachineNode(AMDGPU::V_MOV_B32_e32,
843 SDLoc(Addr), MVT::i32, Zero);
844 Base = SDValue(MovZero, 0);
Matt Arsenaulte775f5f2014-10-14 17:21:19 +0000845 Offset = Addr;
846 return true;
847 }
848 }
849
Tom Stellard85e8b6d2014-08-22 18:49:33 +0000850 // default case
851 Base = Addr;
852 Offset = CurDAG->getTargetConstant(0, MVT::i16);
853 return true;
854}
855
Tom Stellardf3fc5552014-08-22 18:49:35 +0000856bool AMDGPUDAGToDAGISel::SelectDS64Bit4ByteAligned(SDValue Addr, SDValue &Base,
857 SDValue &Offset0,
858 SDValue &Offset1) const {
859 if (CurDAG->isBaseWithConstantOffset(Addr)) {
860 SDValue N0 = Addr.getOperand(0);
861 SDValue N1 = Addr.getOperand(1);
862 ConstantSDNode *C1 = cast<ConstantSDNode>(N1);
863 unsigned DWordOffset0 = C1->getZExtValue() / 4;
864 unsigned DWordOffset1 = DWordOffset0 + 1;
865 // (add n0, c0)
866 if (isDSOffsetLegal(N0, DWordOffset1, 8)) {
867 Base = N0;
868 Offset0 = CurDAG->getTargetConstant(DWordOffset0, MVT::i8);
869 Offset1 = CurDAG->getTargetConstant(DWordOffset1, MVT::i8);
870 return true;
871 }
872 }
873
Matt Arsenault1a74aff2014-10-15 18:06:43 +0000874 if (const ConstantSDNode *CAddr = dyn_cast<ConstantSDNode>(Addr)) {
875 unsigned DWordOffset0 = CAddr->getZExtValue() / 4;
876 unsigned DWordOffset1 = DWordOffset0 + 1;
877 assert(4 * DWordOffset0 == CAddr->getZExtValue());
878
879 if (isUInt<8>(DWordOffset0) && isUInt<8>(DWordOffset1)) {
880 SDValue Zero = CurDAG->getTargetConstant(0, MVT::i32);
881 MachineSDNode *MovZero
882 = CurDAG->getMachineNode(AMDGPU::V_MOV_B32_e32,
883 SDLoc(Addr), MVT::i32, Zero);
884 Base = SDValue(MovZero, 0);
885 Offset0 = CurDAG->getTargetConstant(DWordOffset0, MVT::i8);
886 Offset1 = CurDAG->getTargetConstant(DWordOffset1, MVT::i8);
887 return true;
888 }
889 }
890
Tom Stellardf3fc5552014-08-22 18:49:35 +0000891 // default case
892 Base = Addr;
893 Offset0 = CurDAG->getTargetConstant(0, MVT::i8);
894 Offset1 = CurDAG->getTargetConstant(1, MVT::i8);
895 return true;
896}
897
Tom Stellardb02094e2014-07-21 15:45:01 +0000898static bool isLegalMUBUFImmOffset(const ConstantSDNode *Imm) {
899 return isUInt<12>(Imm->getZExtValue());
900}
901
Tom Stellard155bbb72014-08-11 22:18:17 +0000902void AMDGPUDAGToDAGISel::SelectMUBUF(SDValue Addr, SDValue &Ptr,
903 SDValue &VAddr, SDValue &SOffset,
904 SDValue &Offset, SDValue &Offen,
905 SDValue &Idxen, SDValue &Addr64,
906 SDValue &GLC, SDValue &SLC,
907 SDValue &TFE) const {
Tom Stellardb02c2682014-06-24 23:33:07 +0000908 SDLoc DL(Addr);
909
Tom Stellard155bbb72014-08-11 22:18:17 +0000910 GLC = CurDAG->getTargetConstant(0, MVT::i1);
911 SLC = CurDAG->getTargetConstant(0, MVT::i1);
912 TFE = CurDAG->getTargetConstant(0, MVT::i1);
913
914 Idxen = CurDAG->getTargetConstant(0, MVT::i1);
915 Offen = CurDAG->getTargetConstant(0, MVT::i1);
916 Addr64 = CurDAG->getTargetConstant(0, MVT::i1);
917 SOffset = CurDAG->getTargetConstant(0, MVT::i32);
918
Tom Stellardb02c2682014-06-24 23:33:07 +0000919 if (CurDAG->isBaseWithConstantOffset(Addr)) {
920 SDValue N0 = Addr.getOperand(0);
921 SDValue N1 = Addr.getOperand(1);
922 ConstantSDNode *C1 = cast<ConstantSDNode>(N1);
923
Tom Stellard94b72312015-02-11 00:34:35 +0000924 if (N0.getOpcode() == ISD::ADD) {
925 // (add (add N2, N3), C1) -> addr64
926 SDValue N2 = N0.getOperand(0);
927 SDValue N3 = N0.getOperand(1);
928 Addr64 = CurDAG->getTargetConstant(1, MVT::i1);
929 Ptr = N2;
930 VAddr = N3;
931 } else {
Tom Stellardb02c2682014-06-24 23:33:07 +0000932
Tom Stellard155bbb72014-08-11 22:18:17 +0000933 // (add N0, C1) -> offset
934 VAddr = CurDAG->getTargetConstant(0, MVT::i32);
935 Ptr = N0;
Tom Stellard94b72312015-02-11 00:34:35 +0000936 }
937
938 if (isLegalMUBUFImmOffset(C1)) {
939 Offset = CurDAG->getTargetConstant(C1->getZExtValue(), MVT::i16);
940 return;
941 } else if (isUInt<32>(C1->getZExtValue())) {
942 // Illegal offset, store it in soffset.
943 Offset = CurDAG->getTargetConstant(0, MVT::i16);
944 SOffset = SDValue(CurDAG->getMachineNode(AMDGPU::S_MOV_B32, DL, MVT::i32,
945 CurDAG->getTargetConstant(C1->getZExtValue(), MVT::i32)), 0);
Tom Stellard155bbb72014-08-11 22:18:17 +0000946 return;
Tom Stellardb02c2682014-06-24 23:33:07 +0000947 }
948 }
Tom Stellard94b72312015-02-11 00:34:35 +0000949
Tom Stellardb02c2682014-06-24 23:33:07 +0000950 if (Addr.getOpcode() == ISD::ADD) {
Tom Stellard155bbb72014-08-11 22:18:17 +0000951 // (add N0, N1) -> addr64
Tom Stellardb02c2682014-06-24 23:33:07 +0000952 SDValue N0 = Addr.getOperand(0);
953 SDValue N1 = Addr.getOperand(1);
Tom Stellard155bbb72014-08-11 22:18:17 +0000954 Addr64 = CurDAG->getTargetConstant(1, MVT::i1);
955 Ptr = N0;
956 VAddr = N1;
957 Offset = CurDAG->getTargetConstant(0, MVT::i16);
958 return;
Tom Stellardb02c2682014-06-24 23:33:07 +0000959 }
960
Tom Stellard155bbb72014-08-11 22:18:17 +0000961 // default case -> offset
962 VAddr = CurDAG->getTargetConstant(0, MVT::i32);
963 Ptr = Addr;
964 Offset = CurDAG->getTargetConstant(0, MVT::i16);
965
966}
967
968bool AMDGPUDAGToDAGISel::SelectMUBUFAddr64(SDValue Addr, SDValue &SRsrc,
Tom Stellardc53861a2015-02-11 00:34:32 +0000969 SDValue &VAddr, SDValue &SOffset,
Tom Stellard1f9939f2015-02-27 14:59:41 +0000970 SDValue &Offset, SDValue &GLC,
971 SDValue &SLC, SDValue &TFE) const {
972 SDValue Ptr, Offen, Idxen, Addr64;
Tom Stellard155bbb72014-08-11 22:18:17 +0000973
974 SelectMUBUF(Addr, Ptr, VAddr, SOffset, Offset, Offen, Idxen, Addr64,
975 GLC, SLC, TFE);
976
977 ConstantSDNode *C = cast<ConstantSDNode>(Addr64);
978 if (C->getSExtValue()) {
979 SDLoc DL(Addr);
Matt Arsenault485defe2014-11-05 19:01:17 +0000980
981 const SITargetLowering& Lowering =
982 *static_cast<const SITargetLowering*>(getTargetLowering());
983
984 SRsrc = SDValue(Lowering.wrapAddr64Rsrc(*CurDAG, DL, Ptr), 0);
Tom Stellard155bbb72014-08-11 22:18:17 +0000985 return true;
986 }
Matt Arsenault485defe2014-11-05 19:01:17 +0000987
Tom Stellard155bbb72014-08-11 22:18:17 +0000988 return false;
989}
990
Tom Stellard7980fc82014-09-25 18:30:26 +0000991bool AMDGPUDAGToDAGISel::SelectMUBUFAddr64(SDValue Addr, SDValue &SRsrc,
Tom Stellardc53861a2015-02-11 00:34:32 +0000992 SDValue &VAddr, SDValue &SOffset,
993 SDValue &Offset,
994 SDValue &SLC) const {
Tom Stellard7980fc82014-09-25 18:30:26 +0000995 SLC = CurDAG->getTargetConstant(0, MVT::i1);
Tom Stellard1f9939f2015-02-27 14:59:41 +0000996 SDValue GLC, TFE;
Tom Stellard7980fc82014-09-25 18:30:26 +0000997
Tom Stellard1f9939f2015-02-27 14:59:41 +0000998 return SelectMUBUFAddr64(Addr, SRsrc, VAddr, SOffset, Offset, GLC, SLC, TFE);
Tom Stellard7980fc82014-09-25 18:30:26 +0000999}
1000
Tom Stellardb02094e2014-07-21 15:45:01 +00001001bool AMDGPUDAGToDAGISel::SelectMUBUFScratch(SDValue Addr, SDValue &Rsrc,
1002 SDValue &VAddr, SDValue &SOffset,
1003 SDValue &ImmOffset) const {
1004
1005 SDLoc DL(Addr);
1006 MachineFunction &MF = CurDAG->getMachineFunction();
Eric Christopherfc6de422014-08-05 02:39:49 +00001007 const SIRegisterInfo *TRI =
Eric Christopher7792e322015-01-30 23:24:40 +00001008 static_cast<const SIRegisterInfo *>(Subtarget->getRegisterInfo());
Tom Stellardb02094e2014-07-21 15:45:01 +00001009 MachineRegisterInfo &MRI = MF.getRegInfo();
Tom Stellard162a9472014-08-21 20:40:58 +00001010 const SITargetLowering& Lowering =
1011 *static_cast<const SITargetLowering*>(getTargetLowering());
Tom Stellardb02094e2014-07-21 15:45:01 +00001012
Tom Stellardb02094e2014-07-21 15:45:01 +00001013 unsigned ScratchOffsetReg =
1014 TRI->getPreloadedValue(MF, SIRegisterInfo::SCRATCH_WAVE_OFFSET);
Tom Stellard162a9472014-08-21 20:40:58 +00001015 Lowering.CreateLiveInRegister(*CurDAG, &AMDGPU::SReg_32RegClass,
1016 ScratchOffsetReg, MVT::i32);
Tom Stellard95292bb2015-01-20 17:49:47 +00001017 SDValue Sym0 = CurDAG->getExternalSymbol("SCRATCH_RSRC_DWORD0", MVT::i32);
1018 SDValue ScratchRsrcDword0 =
1019 SDValue(CurDAG->getMachineNode(AMDGPU::S_MOV_B32, DL, MVT::i32, Sym0), 0);
Tom Stellardb02094e2014-07-21 15:45:01 +00001020
Tom Stellard95292bb2015-01-20 17:49:47 +00001021 SDValue Sym1 = CurDAG->getExternalSymbol("SCRATCH_RSRC_DWORD1", MVT::i32);
1022 SDValue ScratchRsrcDword1 =
1023 SDValue(CurDAG->getMachineNode(AMDGPU::S_MOV_B32, DL, MVT::i32, Sym1), 0);
1024
1025 const SDValue RsrcOps[] = {
1026 CurDAG->getTargetConstant(AMDGPU::SReg_64RegClassID, MVT::i32),
1027 ScratchRsrcDword0,
1028 CurDAG->getTargetConstant(AMDGPU::sub0, MVT::i32),
1029 ScratchRsrcDword1,
1030 CurDAG->getTargetConstant(AMDGPU::sub1, MVT::i32),
1031 };
1032 SDValue ScratchPtr = SDValue(CurDAG->getMachineNode(AMDGPU::REG_SEQUENCE, DL,
1033 MVT::v2i32, RsrcOps), 0);
Matt Arsenaultf3cd4512014-11-05 19:01:19 +00001034 Rsrc = SDValue(Lowering.buildScratchRSRC(*CurDAG, DL, ScratchPtr), 0);
Tom Stellardb02094e2014-07-21 15:45:01 +00001035 SOffset = CurDAG->getCopyFromReg(CurDAG->getEntryNode(), DL,
1036 MRI.getLiveInVirtReg(ScratchOffsetReg), MVT::i32);
1037
1038 // (add n0, c1)
1039 if (CurDAG->isBaseWithConstantOffset(Addr)) {
1040 SDValue N1 = Addr.getOperand(1);
1041 ConstantSDNode *C1 = cast<ConstantSDNode>(N1);
1042
1043 if (isLegalMUBUFImmOffset(C1)) {
1044 VAddr = Addr.getOperand(0);
1045 ImmOffset = CurDAG->getTargetConstant(C1->getZExtValue(), MVT::i16);
1046 return true;
1047 }
1048 }
1049
Tom Stellardb02094e2014-07-21 15:45:01 +00001050 // (node)
1051 VAddr = Addr;
1052 ImmOffset = CurDAG->getTargetConstant(0, MVT::i16);
1053 return true;
1054}
1055
Tom Stellard155bbb72014-08-11 22:18:17 +00001056bool AMDGPUDAGToDAGISel::SelectMUBUFOffset(SDValue Addr, SDValue &SRsrc,
1057 SDValue &SOffset, SDValue &Offset,
1058 SDValue &GLC, SDValue &SLC,
1059 SDValue &TFE) const {
1060 SDValue Ptr, VAddr, Offen, Idxen, Addr64;
Tom Stellard794c8c02014-12-02 17:05:41 +00001061 const SIInstrInfo *TII =
Eric Christopher7792e322015-01-30 23:24:40 +00001062 static_cast<const SIInstrInfo *>(Subtarget->getInstrInfo());
Tom Stellardb02094e2014-07-21 15:45:01 +00001063
Tom Stellard155bbb72014-08-11 22:18:17 +00001064 SelectMUBUF(Addr, Ptr, VAddr, SOffset, Offset, Offen, Idxen, Addr64,
1065 GLC, SLC, TFE);
Tom Stellardb02094e2014-07-21 15:45:01 +00001066
Tom Stellard155bbb72014-08-11 22:18:17 +00001067 if (!cast<ConstantSDNode>(Offen)->getSExtValue() &&
1068 !cast<ConstantSDNode>(Idxen)->getSExtValue() &&
1069 !cast<ConstantSDNode>(Addr64)->getSExtValue()) {
Tom Stellard794c8c02014-12-02 17:05:41 +00001070 uint64_t Rsrc = TII->getDefaultRsrcDataFormat() |
Tom Stellard155bbb72014-08-11 22:18:17 +00001071 APInt::getAllOnesValue(32).getZExtValue(); // Size
1072 SDLoc DL(Addr);
Matt Arsenaultf3cd4512014-11-05 19:01:19 +00001073
1074 const SITargetLowering& Lowering =
1075 *static_cast<const SITargetLowering*>(getTargetLowering());
1076
1077 SRsrc = SDValue(Lowering.buildRSRC(*CurDAG, DL, Ptr, 0, Rsrc), 0);
Tom Stellard155bbb72014-08-11 22:18:17 +00001078 return true;
1079 }
1080 return false;
Tom Stellardb02094e2014-07-21 15:45:01 +00001081}
1082
Tom Stellard7980fc82014-09-25 18:30:26 +00001083bool AMDGPUDAGToDAGISel::SelectMUBUFOffset(SDValue Addr, SDValue &SRsrc,
1084 SDValue &Soffset, SDValue &Offset,
1085 SDValue &GLC) const {
1086 SDValue SLC, TFE;
1087
1088 return SelectMUBUFOffset(Addr, SRsrc, Soffset, Offset, GLC, SLC, TFE);
1089}
1090
Matt Arsenault3f981402014-09-15 15:41:53 +00001091// FIXME: This is incorrect and only enough to be able to compile.
1092SDNode *AMDGPUDAGToDAGISel::SelectAddrSpaceCast(SDNode *N) {
1093 AddrSpaceCastSDNode *ASC = cast<AddrSpaceCastSDNode>(N);
1094 SDLoc DL(N);
1095
Eric Christopher7792e322015-01-30 23:24:40 +00001096 assert(Subtarget->hasFlatAddressSpace() &&
Matt Arsenault3f981402014-09-15 15:41:53 +00001097 "addrspacecast only supported with flat address space!");
1098
1099 assert((ASC->getSrcAddressSpace() != AMDGPUAS::CONSTANT_ADDRESS &&
1100 ASC->getDestAddressSpace() != AMDGPUAS::CONSTANT_ADDRESS) &&
1101 "Cannot cast address space to / from constant address!");
1102
1103 assert((ASC->getSrcAddressSpace() == AMDGPUAS::FLAT_ADDRESS ||
1104 ASC->getDestAddressSpace() == AMDGPUAS::FLAT_ADDRESS) &&
1105 "Can only cast to / from flat address space!");
1106
1107 // The flat instructions read the address as the index of the VGPR holding the
1108 // address, so casting should just be reinterpreting the base VGPR, so just
1109 // insert trunc / bitcast / zext.
1110
1111 SDValue Src = ASC->getOperand(0);
1112 EVT DestVT = ASC->getValueType(0);
1113 EVT SrcVT = Src.getValueType();
1114
1115 unsigned SrcSize = SrcVT.getSizeInBits();
1116 unsigned DestSize = DestVT.getSizeInBits();
1117
1118 if (SrcSize > DestSize) {
1119 assert(SrcSize == 64 && DestSize == 32);
1120 return CurDAG->getMachineNode(
1121 TargetOpcode::EXTRACT_SUBREG,
1122 DL,
1123 DestVT,
1124 Src,
1125 CurDAG->getTargetConstant(AMDGPU::sub0, MVT::i32));
1126 }
1127
1128
1129 if (DestSize > SrcSize) {
1130 assert(SrcSize == 32 && DestSize == 64);
1131
Tom Stellardb6550522015-01-12 19:33:18 +00001132 // FIXME: This is probably wrong, we should never be defining
1133 // a register class with both VGPRs and SGPRs
1134 SDValue RC = CurDAG->getTargetConstant(AMDGPU::VS_64RegClassID, MVT::i32);
Matt Arsenault3f981402014-09-15 15:41:53 +00001135
1136 const SDValue Ops[] = {
1137 RC,
1138 Src,
1139 CurDAG->getTargetConstant(AMDGPU::sub0, MVT::i32),
1140 SDValue(CurDAG->getMachineNode(AMDGPU::S_MOV_B32, SDLoc(N), MVT::i32,
1141 CurDAG->getConstant(0, MVT::i32)), 0),
1142 CurDAG->getTargetConstant(AMDGPU::sub1, MVT::i32)
1143 };
1144
1145 return CurDAG->getMachineNode(TargetOpcode::REG_SEQUENCE,
1146 SDLoc(N), N->getValueType(0), Ops);
1147 }
1148
1149 assert(SrcSize == 64 && DestSize == 64);
1150 return CurDAG->getNode(ISD::BITCAST, DL, DestVT, Src).getNode();
1151}
1152
Tom Stellardb4a313a2014-08-01 00:32:39 +00001153bool AMDGPUDAGToDAGISel::SelectVOP3Mods(SDValue In, SDValue &Src,
1154 SDValue &SrcMods) const {
1155
1156 unsigned Mods = 0;
1157
1158 Src = In;
1159
1160 if (Src.getOpcode() == ISD::FNEG) {
1161 Mods |= SISrcMods::NEG;
1162 Src = Src.getOperand(0);
1163 }
1164
1165 if (Src.getOpcode() == ISD::FABS) {
1166 Mods |= SISrcMods::ABS;
1167 Src = Src.getOperand(0);
1168 }
1169
1170 SrcMods = CurDAG->getTargetConstant(Mods, MVT::i32);
1171
1172 return true;
1173}
1174
1175bool AMDGPUDAGToDAGISel::SelectVOP3Mods0(SDValue In, SDValue &Src,
1176 SDValue &SrcMods, SDValue &Clamp,
1177 SDValue &Omod) const {
1178 // FIXME: Handle Clamp and Omod
1179 Clamp = CurDAG->getTargetConstant(0, MVT::i32);
1180 Omod = CurDAG->getTargetConstant(0, MVT::i32);
1181
1182 return SelectVOP3Mods(In, Src, SrcMods);
1183}
1184
Matt Arsenault1cffa4c2014-11-13 19:49:04 +00001185bool AMDGPUDAGToDAGISel::SelectVOP3Mods0Clamp(SDValue In, SDValue &Src,
1186 SDValue &SrcMods,
1187 SDValue &Omod) const {
1188 // FIXME: Handle Omod
1189 Omod = CurDAG->getTargetConstant(0, MVT::i32);
1190
1191 return SelectVOP3Mods(In, Src, SrcMods);
1192}
1193
Matt Arsenault4831ce52015-01-06 23:00:37 +00001194bool AMDGPUDAGToDAGISel::SelectVOP3Mods0Clamp0OMod(SDValue In, SDValue &Src,
1195 SDValue &SrcMods,
1196 SDValue &Clamp,
1197 SDValue &Omod) const {
1198 Clamp = Omod = CurDAG->getTargetConstant(0, MVT::i32);
1199 return SelectVOP3Mods(In, Src, SrcMods);
1200}
1201
Christian Konigd910b7d2013-02-26 17:52:16 +00001202void AMDGPUDAGToDAGISel::PostprocessISelDAG() {
Bill Wendlinga3cd3502013-06-19 21:36:55 +00001203 const AMDGPUTargetLowering& Lowering =
Matt Arsenault209a7b92014-04-18 07:40:20 +00001204 *static_cast<const AMDGPUTargetLowering*>(getTargetLowering());
Vincent Lejeuneab3baf82013-09-12 23:44:44 +00001205 bool IsModified = false;
1206 do {
1207 IsModified = false;
1208 // Go over all selected nodes and try to fold them a bit more
1209 for (SelectionDAG::allnodes_iterator I = CurDAG->allnodes_begin(),
1210 E = CurDAG->allnodes_end(); I != E; ++I) {
Christian Konigd910b7d2013-02-26 17:52:16 +00001211
Vincent Lejeuneab3baf82013-09-12 23:44:44 +00001212 SDNode *Node = I;
Tom Stellard2183b702013-06-03 17:39:46 +00001213
Vincent Lejeuneab3baf82013-09-12 23:44:44 +00001214 MachineSDNode *MachineNode = dyn_cast<MachineSDNode>(I);
1215 if (!MachineNode)
1216 continue;
Christian Konigd910b7d2013-02-26 17:52:16 +00001217
Vincent Lejeuneab3baf82013-09-12 23:44:44 +00001218 SDNode *ResNode = Lowering.PostISelFolding(MachineNode, *CurDAG);
1219 if (ResNode != Node) {
1220 ReplaceUses(Node, ResNode);
1221 IsModified = true;
1222 }
Tom Stellard2183b702013-06-03 17:39:46 +00001223 }
Vincent Lejeuneab3baf82013-09-12 23:44:44 +00001224 CurDAG->RemoveDeadNodes();
1225 } while (IsModified);
Christian Konigd910b7d2013-02-26 17:52:16 +00001226}