blob: eef59b343dff51c0955592de0dc87c7afa9213d2 [file] [log] [blame]
Matt Arsenault7836f892016-01-20 21:22:21 +00001//===-- AMDGPUISelDAGToDAG.cpp - A dag to dag inst selector for AMDGPU ----===//
Tom Stellard75aadc22012-12-11 21:25:42 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//==-----------------------------------------------------------------------===//
9//
10/// \file
11/// \brief Defines an instruction selector for the AMDGPU target.
12//
13//===----------------------------------------------------------------------===//
Matt Arsenault592d0682015-12-01 23:04:05 +000014
Eugene Zelenko2bc2f332016-12-09 22:06:55 +000015#include "AMDGPU.h"
Tom Stellard75aadc22012-12-11 21:25:42 +000016#include "AMDGPUInstrInfo.h"
Eugene Zelenko2bc2f332016-12-09 22:06:55 +000017#include "AMDGPURegisterInfo.h"
Tom Stellard75aadc22012-12-11 21:25:42 +000018#include "AMDGPUISelLowering.h" // For AMDGPUISD
Tom Stellard2e59a452014-06-13 01:32:00 +000019#include "AMDGPUSubtarget.h"
Eugene Zelenko2bc2f332016-12-09 22:06:55 +000020#include "SIDefines.h"
21#include "SIInstrInfo.h"
22#include "SIRegisterInfo.h"
Christian Konigf82901a2013-02-26 17:52:23 +000023#include "SIISelLowering.h"
Tom Stellardb02094e2014-07-21 15:45:01 +000024#include "SIMachineFunctionInfo.h"
Eugene Zelenko2bc2f332016-12-09 22:06:55 +000025#include "llvm/ADT/APInt.h"
26#include "llvm/ADT/SmallVector.h"
27#include "llvm/ADT/StringRef.h"
Jan Veselyf97de002016-05-13 20:39:29 +000028#include "llvm/Analysis/ValueTracking.h"
Tom Stellard58ac7442014-04-29 23:12:48 +000029#include "llvm/CodeGen/FunctionLoweringInfo.h"
Eugene Zelenko2bc2f332016-12-09 22:06:55 +000030#include "llvm/CodeGen/ISDOpcodes.h"
31#include "llvm/CodeGen/MachineFunction.h"
32#include "llvm/CodeGen/MachineRegisterInfo.h"
33#include "llvm/CodeGen/MachineValueType.h"
Benjamin Kramerd78bb462013-05-23 17:10:37 +000034#include "llvm/CodeGen/SelectionDAG.h"
Tom Stellard75aadc22012-12-11 21:25:42 +000035#include "llvm/CodeGen/SelectionDAGISel.h"
Eugene Zelenko2bc2f332016-12-09 22:06:55 +000036#include "llvm/CodeGen/SelectionDAGNodes.h"
37#include "llvm/CodeGen/ValueTypes.h"
38#include "llvm/IR/BasicBlock.h"
39#include "llvm/IR/Instruction.h"
40#include "llvm/MC/MCInstrDesc.h"
41#include "llvm/Support/Casting.h"
42#include "llvm/Support/CodeGen.h"
43#include "llvm/Support/ErrorHandling.h"
44#include "llvm/Support/MathExtras.h"
45#include <cassert>
46#include <cstdint>
47#include <new>
48#include <vector>
Tom Stellard75aadc22012-12-11 21:25:42 +000049
50using namespace llvm;
51
Matt Arsenaultd2759212016-02-13 01:24:08 +000052namespace llvm {
Eugene Zelenko2bc2f332016-12-09 22:06:55 +000053
Matt Arsenaultd2759212016-02-13 01:24:08 +000054class R600InstrInfo;
Eugene Zelenko2bc2f332016-12-09 22:06:55 +000055
56} // end namespace llvm
Matt Arsenaultd2759212016-02-13 01:24:08 +000057
Tom Stellard75aadc22012-12-11 21:25:42 +000058//===----------------------------------------------------------------------===//
59// Instruction Selector Implementation
60//===----------------------------------------------------------------------===//
61
62namespace {
Tom Stellardbc4497b2016-02-12 23:45:29 +000063
Tom Stellard75aadc22012-12-11 21:25:42 +000064/// AMDGPU specific code to select AMDGPU machine instructions for
65/// SelectionDAG operations.
66class AMDGPUDAGToDAGISel : public SelectionDAGISel {
67 // Subtarget - Keep a pointer to the AMDGPU Subtarget around so that we can
68 // make the right decision when generating code for different targets.
Eric Christopher7792e322015-01-30 23:24:40 +000069 const AMDGPUSubtarget *Subtarget;
Yaxun Liu1a14bfa2017-03-27 14:04:01 +000070 AMDGPUAS AMDGPUASI;
NAKAMURA Takumia9cb5382015-09-22 11:14:39 +000071
Tom Stellard75aadc22012-12-11 21:25:42 +000072public:
Konstantin Zhuravlyov60a83732016-10-03 18:47:26 +000073 explicit AMDGPUDAGToDAGISel(TargetMachine &TM, CodeGenOpt::Level OptLevel)
Yaxun Liu1a14bfa2017-03-27 14:04:01 +000074 : SelectionDAGISel(TM, OptLevel){
75 AMDGPUASI = AMDGPU::getAMDGPUAS(TM);
76 }
Eugene Zelenko2bc2f332016-12-09 22:06:55 +000077 ~AMDGPUDAGToDAGISel() override = default;
Konstantin Zhuravlyov60a83732016-10-03 18:47:26 +000078
Eric Christopher7792e322015-01-30 23:24:40 +000079 bool runOnMachineFunction(MachineFunction &MF) override;
Justin Bogner95927c02016-05-12 21:03:32 +000080 void Select(SDNode *N) override;
Mehdi Amini117296c2016-10-01 02:56:57 +000081 StringRef getPassName() const override;
Craig Topper5656db42014-04-29 07:57:24 +000082 void PostprocessISelDAG() override;
Tom Stellard75aadc22012-12-11 21:25:42 +000083
84private:
Matt Arsenaultac0fc842016-09-17 16:09:55 +000085 SDValue foldFrameIndex(SDValue N) const;
Matt Arsenaultf84e5d92017-01-31 03:07:46 +000086 bool isNoNanSrc(SDValue N) const;
Matt Arsenaultfe267752016-07-28 00:32:02 +000087 bool isInlineImmediate(const SDNode *N) const;
Vincent Lejeunec6896792013-06-04 23:17:15 +000088 bool FoldOperand(SDValue &Src, SDValue &Sel, SDValue &Neg, SDValue &Abs,
Tom Stellard84021442013-07-23 01:48:24 +000089 const R600InstrInfo *TII);
Tom Stellard365366f2013-01-23 02:09:06 +000090 bool FoldOperands(unsigned, const R600InstrInfo *, std::vector<SDValue> &);
Vincent Lejeunec6896792013-06-04 23:17:15 +000091 bool FoldDotOperands(unsigned, const R600InstrInfo *, std::vector<SDValue> &);
Tom Stellard75aadc22012-12-11 21:25:42 +000092
Jan Vesely43b7b5b2016-04-07 19:23:11 +000093 bool isConstantLoad(const MemSDNode *N, int cbID) const;
Tom Stellardbc4497b2016-02-12 23:45:29 +000094 bool isUniformBr(const SDNode *N) const;
95
Tom Stellard381a94a2015-05-12 15:00:49 +000096 SDNode *glueCopyToM0(SDNode *N) const;
97
Tom Stellarddf94dc32013-08-14 23:24:24 +000098 const TargetRegisterClass *getOperandRegClass(SDNode *N, unsigned OpNo) const;
Tom Stellard365366f2013-01-23 02:09:06 +000099 bool SelectGlobalValueConstantOffset(SDValue Addr, SDValue& IntPtr);
Matt Arsenault209a7b92014-04-18 07:40:20 +0000100 bool SelectGlobalValueVariableOffset(SDValue Addr, SDValue &BaseReg,
101 SDValue& Offset);
Tom Stellard75aadc22012-12-11 21:25:42 +0000102 bool SelectADDRVTX_READ(SDValue Addr, SDValue &Base, SDValue &Offset);
Tom Stellardf3b2a1e2013-02-06 17:32:29 +0000103 bool SelectADDRIndirect(SDValue Addr, SDValue &Base, SDValue &Offset);
Tom Stellard85e8b6d2014-08-22 18:49:33 +0000104 bool isDSOffsetLegal(const SDValue &Base, unsigned Offset,
105 unsigned OffsetBits) const;
106 bool SelectDS1Addr1Offset(SDValue Ptr, SDValue &Base, SDValue &Offset) const;
Tom Stellardf3fc5552014-08-22 18:49:35 +0000107 bool SelectDS64Bit4ByteAligned(SDValue Ptr, SDValue &Base, SDValue &Offset0,
108 SDValue &Offset1) const;
Changpeng Fangb41574a2015-12-22 20:55:23 +0000109 bool SelectMUBUF(SDValue Addr, SDValue &SRsrc, SDValue &VAddr,
Tom Stellard155bbb72014-08-11 22:18:17 +0000110 SDValue &SOffset, SDValue &Offset, SDValue &Offen,
111 SDValue &Idxen, SDValue &Addr64, SDValue &GLC, SDValue &SLC,
112 SDValue &TFE) const;
113 bool SelectMUBUFAddr64(SDValue Addr, SDValue &SRsrc, SDValue &VAddr,
Tom Stellard1f9939f2015-02-27 14:59:41 +0000114 SDValue &SOffset, SDValue &Offset, SDValue &GLC,
115 SDValue &SLC, SDValue &TFE) const;
Tom Stellard7980fc82014-09-25 18:30:26 +0000116 bool SelectMUBUFAddr64(SDValue Addr, SDValue &SRsrc,
Tom Stellardc53861a2015-02-11 00:34:32 +0000117 SDValue &VAddr, SDValue &SOffset, SDValue &Offset,
Tom Stellard7980fc82014-09-25 18:30:26 +0000118 SDValue &SLC) const;
Matt Arsenault0774ea22017-04-24 19:40:59 +0000119 bool SelectMUBUFScratchOffen(SDValue Addr, SDValue &RSrc, SDValue &VAddr,
120 SDValue &SOffset, SDValue &ImmOffset) const;
121 bool SelectMUBUFScratchOffset(SDValue Addr, SDValue &SRsrc, SDValue &Soffset,
122 SDValue &Offset) const;
123
Tom Stellard155bbb72014-08-11 22:18:17 +0000124 bool SelectMUBUFOffset(SDValue Addr, SDValue &SRsrc, SDValue &SOffset,
125 SDValue &Offset, SDValue &GLC, SDValue &SLC,
Tom Stellardb02094e2014-07-21 15:45:01 +0000126 SDValue &TFE) const;
Tom Stellard7980fc82014-09-25 18:30:26 +0000127 bool SelectMUBUFOffset(SDValue Addr, SDValue &SRsrc, SDValue &Soffset,
Matt Arsenault88701812016-06-09 23:42:48 +0000128 SDValue &Offset, SDValue &SLC) const;
Jan Vesely43b7b5b2016-04-07 19:23:11 +0000129 bool SelectMUBUFOffset(SDValue Addr, SDValue &SRsrc, SDValue &Soffset,
130 SDValue &Offset) const;
Nicolai Haehnlea6092592016-06-15 07:13:05 +0000131 bool SelectMUBUFConstant(SDValue Constant,
Nicolai Haehnle3003ba02016-03-18 16:24:20 +0000132 SDValue &SOffset,
133 SDValue &ImmOffset) const;
134 bool SelectMUBUFIntrinsicOffset(SDValue Offset, SDValue &SOffset,
135 SDValue &ImmOffset) const;
136 bool SelectMUBUFIntrinsicVOffset(SDValue Offset, SDValue &SOffset,
137 SDValue &ImmOffset, SDValue &VOffset) const;
Matt Arsenault7757c592016-06-09 23:42:54 +0000138
139 bool SelectFlat(SDValue Addr, SDValue &VAddr,
140 SDValue &SLC, SDValue &TFE) const;
141
Tom Stellarddee26a22015-08-06 19:28:30 +0000142 bool SelectSMRDOffset(SDValue ByteOffsetNode, SDValue &Offset,
143 bool &Imm) const;
144 bool SelectSMRD(SDValue Addr, SDValue &SBase, SDValue &Offset,
145 bool &Imm) const;
146 bool SelectSMRDImm(SDValue Addr, SDValue &SBase, SDValue &Offset) const;
Tom Stellard217361c2015-08-06 19:28:38 +0000147 bool SelectSMRDImm32(SDValue Addr, SDValue &SBase, SDValue &Offset) const;
Tom Stellarddee26a22015-08-06 19:28:30 +0000148 bool SelectSMRDSgpr(SDValue Addr, SDValue &SBase, SDValue &Offset) const;
149 bool SelectSMRDBufferImm(SDValue Addr, SDValue &Offset) const;
Tom Stellard217361c2015-08-06 19:28:38 +0000150 bool SelectSMRDBufferImm32(SDValue Addr, SDValue &Offset) const;
Tom Stellarddee26a22015-08-06 19:28:30 +0000151 bool SelectSMRDBufferSgpr(SDValue Addr, SDValue &Offset) const;
Nicolai Haehnle7968c342016-07-12 08:12:16 +0000152 bool SelectMOVRELOffset(SDValue Index, SDValue &Base, SDValue &Offset) const;
Matt Arsenaultf84e5d92017-01-31 03:07:46 +0000153
154 bool SelectVOP3Mods_NNaN(SDValue In, SDValue &Src, SDValue &SrcMods) const;
Tom Stellardb4a313a2014-08-01 00:32:39 +0000155 bool SelectVOP3Mods(SDValue In, SDValue &Src, SDValue &SrcMods) const;
Tom Stellarddb5a11f2015-07-13 15:47:57 +0000156 bool SelectVOP3NoMods(SDValue In, SDValue &Src, SDValue &SrcMods) const;
Tom Stellardb4a313a2014-08-01 00:32:39 +0000157 bool SelectVOP3Mods0(SDValue In, SDValue &Src, SDValue &SrcMods,
158 SDValue &Clamp, SDValue &Omod) const;
Tom Stellarddb5a11f2015-07-13 15:47:57 +0000159 bool SelectVOP3NoMods0(SDValue In, SDValue &Src, SDValue &SrcMods,
160 SDValue &Clamp, SDValue &Omod) const;
Tom Stellard75aadc22012-12-11 21:25:42 +0000161
Matt Arsenault1cffa4c2014-11-13 19:49:04 +0000162 bool SelectVOP3Mods0Clamp(SDValue In, SDValue &Src, SDValue &SrcMods,
163 SDValue &Omod) const;
Matt Arsenault4831ce52015-01-06 23:00:37 +0000164 bool SelectVOP3Mods0Clamp0OMod(SDValue In, SDValue &Src, SDValue &SrcMods,
165 SDValue &Clamp,
166 SDValue &Omod) const;
Matt Arsenault1cffa4c2014-11-13 19:49:04 +0000167
Dmitry Preobrazhenskyc512d442017-03-27 15:57:17 +0000168 bool SelectVOP3OMods(SDValue In, SDValue &Src,
169 SDValue &Clamp, SDValue &Omod) const;
170
Matt Arsenaulteb522e62017-02-27 22:15:25 +0000171 bool SelectVOP3PMods(SDValue In, SDValue &Src, SDValue &SrcMods) const;
172 bool SelectVOP3PMods0(SDValue In, SDValue &Src, SDValue &SrcMods,
173 SDValue &Clamp) const;
174
Justin Bogner95927c02016-05-12 21:03:32 +0000175 void SelectADD_SUB_I64(SDNode *N);
Matt Arsenaultee3f0ac2017-01-30 18:11:38 +0000176 void SelectUADDO_USUBO(SDNode *N);
Justin Bogner95927c02016-05-12 21:03:32 +0000177 void SelectDIV_SCALE(SDNode *N);
Tom Stellard8485fa02016-12-07 02:42:15 +0000178 void SelectFMA_W_CHAIN(SDNode *N);
179 void SelectFMUL_W_CHAIN(SDNode *N);
Matt Arsenault9fa3f932014-06-23 18:00:34 +0000180
Benjamin Kramerbdc49562016-06-12 15:39:02 +0000181 SDNode *getS_BFE(unsigned Opcode, const SDLoc &DL, SDValue Val,
Marek Olsak9b728682015-03-24 13:40:27 +0000182 uint32_t Offset, uint32_t Width);
Justin Bogner95927c02016-05-12 21:03:32 +0000183 void SelectS_BFEFromShifts(SDNode *N);
184 void SelectS_BFE(SDNode *N);
Matt Arsenault7b1dc2c2016-09-17 02:02:19 +0000185 bool isCBranchSCC(const SDNode *N) const;
Justin Bogner95927c02016-05-12 21:03:32 +0000186 void SelectBRCOND(SDNode *N);
Matt Arsenault88701812016-06-09 23:42:48 +0000187 void SelectATOMIC_CMP_SWAP(SDNode *N);
Marek Olsak9b728682015-03-24 13:40:27 +0000188
Tom Stellard75aadc22012-12-11 21:25:42 +0000189 // Include the pieces autogenerated from the target description.
190#include "AMDGPUGenDAGISel.inc"
191};
Eugene Zelenko2bc2f332016-12-09 22:06:55 +0000192
Tom Stellard75aadc22012-12-11 21:25:42 +0000193} // end anonymous namespace
194
195/// \brief This pass converts a legalized DAG into a AMDGPU-specific
196// DAG, ready for instruction scheduling.
Konstantin Zhuravlyov60a83732016-10-03 18:47:26 +0000197FunctionPass *llvm::createAMDGPUISelDag(TargetMachine &TM,
198 CodeGenOpt::Level OptLevel) {
199 return new AMDGPUDAGToDAGISel(TM, OptLevel);
Tom Stellard75aadc22012-12-11 21:25:42 +0000200}
201
Eric Christopher7792e322015-01-30 23:24:40 +0000202bool AMDGPUDAGToDAGISel::runOnMachineFunction(MachineFunction &MF) {
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000203 Subtarget = &MF.getSubtarget<AMDGPUSubtarget>();
Eric Christopher7792e322015-01-30 23:24:40 +0000204 return SelectionDAGISel::runOnMachineFunction(MF);
Tom Stellard75aadc22012-12-11 21:25:42 +0000205}
206
Matt Arsenaultf84e5d92017-01-31 03:07:46 +0000207bool AMDGPUDAGToDAGISel::isNoNanSrc(SDValue N) const {
208 if (TM.Options.NoNaNsFPMath)
209 return true;
210
211 // TODO: Move into isKnownNeverNaN
212 if (const auto *BO = dyn_cast<BinaryWithFlagsSDNode>(N))
213 return BO->Flags.hasNoNaNs();
214
215 return CurDAG->isKnownNeverNaN(N);
216}
217
Matt Arsenaultfe267752016-07-28 00:32:02 +0000218bool AMDGPUDAGToDAGISel::isInlineImmediate(const SDNode *N) const {
219 const SIInstrInfo *TII
220 = static_cast<const SISubtarget *>(Subtarget)->getInstrInfo();
221
222 if (const ConstantSDNode *C = dyn_cast<ConstantSDNode>(N))
223 return TII->isInlineConstant(C->getAPIntValue());
224
225 if (const ConstantFPSDNode *C = dyn_cast<ConstantFPSDNode>(N))
226 return TII->isInlineConstant(C->getValueAPF().bitcastToAPInt());
227
228 return false;
Tom Stellard7ed0b522014-04-03 20:19:27 +0000229}
230
Tom Stellarddf94dc32013-08-14 23:24:24 +0000231/// \brief Determine the register class for \p OpNo
232/// \returns The register class of the virtual register that will be used for
233/// the given operand number \OpNo or NULL if the register class cannot be
234/// determined.
235const TargetRegisterClass *AMDGPUDAGToDAGISel::getOperandRegClass(SDNode *N,
236 unsigned OpNo) const {
Matt Arsenaultc507cdb2016-11-01 23:22:17 +0000237 if (!N->isMachineOpcode()) {
238 if (N->getOpcode() == ISD::CopyToReg) {
239 unsigned Reg = cast<RegisterSDNode>(N->getOperand(1))->getReg();
240 if (TargetRegisterInfo::isVirtualRegister(Reg)) {
241 MachineRegisterInfo &MRI = CurDAG->getMachineFunction().getRegInfo();
242 return MRI.getRegClass(Reg);
243 }
244
245 const SIRegisterInfo *TRI
246 = static_cast<const SISubtarget *>(Subtarget)->getRegisterInfo();
247 return TRI->getPhysRegClass(Reg);
248 }
249
Matt Arsenault209a7b92014-04-18 07:40:20 +0000250 return nullptr;
Matt Arsenaultc507cdb2016-11-01 23:22:17 +0000251 }
Matt Arsenault209a7b92014-04-18 07:40:20 +0000252
Tom Stellarddf94dc32013-08-14 23:24:24 +0000253 switch (N->getMachineOpcode()) {
254 default: {
Eric Christopherd9134482014-08-04 21:25:23 +0000255 const MCInstrDesc &Desc =
Eric Christopher7792e322015-01-30 23:24:40 +0000256 Subtarget->getInstrInfo()->get(N->getMachineOpcode());
Alexey Samsonov3186eb32013-08-15 07:11:34 +0000257 unsigned OpIdx = Desc.getNumDefs() + OpNo;
258 if (OpIdx >= Desc.getNumOperands())
Matt Arsenault209a7b92014-04-18 07:40:20 +0000259 return nullptr;
Alexey Samsonov3186eb32013-08-15 07:11:34 +0000260 int RegClass = Desc.OpInfo[OpIdx].RegClass;
Matt Arsenault209a7b92014-04-18 07:40:20 +0000261 if (RegClass == -1)
262 return nullptr;
263
Eric Christopher7792e322015-01-30 23:24:40 +0000264 return Subtarget->getRegisterInfo()->getRegClass(RegClass);
Tom Stellarddf94dc32013-08-14 23:24:24 +0000265 }
266 case AMDGPU::REG_SEQUENCE: {
Matt Arsenault209a7b92014-04-18 07:40:20 +0000267 unsigned RCID = cast<ConstantSDNode>(N->getOperand(0))->getZExtValue();
Eric Christopherd9134482014-08-04 21:25:23 +0000268 const TargetRegisterClass *SuperRC =
Eric Christopher7792e322015-01-30 23:24:40 +0000269 Subtarget->getRegisterInfo()->getRegClass(RCID);
Matt Arsenault209a7b92014-04-18 07:40:20 +0000270
271 SDValue SubRegOp = N->getOperand(OpNo + 1);
272 unsigned SubRegIdx = cast<ConstantSDNode>(SubRegOp)->getZExtValue();
Eric Christopher7792e322015-01-30 23:24:40 +0000273 return Subtarget->getRegisterInfo()->getSubClassWithSubReg(SuperRC,
274 SubRegIdx);
Tom Stellarddf94dc32013-08-14 23:24:24 +0000275 }
276 }
277}
278
Tom Stellard381a94a2015-05-12 15:00:49 +0000279SDNode *AMDGPUDAGToDAGISel::glueCopyToM0(SDNode *N) const {
280 if (Subtarget->getGeneration() < AMDGPUSubtarget::SOUTHERN_ISLANDS ||
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000281 cast<MemSDNode>(N)->getAddressSpace() != AMDGPUASI.LOCAL_ADDRESS)
Tom Stellard381a94a2015-05-12 15:00:49 +0000282 return N;
283
284 const SITargetLowering& Lowering =
285 *static_cast<const SITargetLowering*>(getTargetLowering());
286
287 // Write max value to m0 before each load operation
288
289 SDValue M0 = Lowering.copyToM0(*CurDAG, CurDAG->getEntryNode(), SDLoc(N),
290 CurDAG->getTargetConstant(-1, SDLoc(N), MVT::i32));
291
292 SDValue Glue = M0.getValue(1);
293
294 SmallVector <SDValue, 8> Ops;
295 for (unsigned i = 0, e = N->getNumOperands(); i != e; ++i) {
296 Ops.push_back(N->getOperand(i));
297 }
298 Ops.push_back(Glue);
299 CurDAG->MorphNodeTo(N, N->getOpcode(), N->getVTList(), Ops);
300
301 return N;
302}
303
Matt Arsenault61cb6fa2015-11-11 00:01:36 +0000304static unsigned selectSGPRVectorRegClassID(unsigned NumVectorElts) {
Matt Arsenaultf1aebbf2015-11-02 23:30:48 +0000305 switch (NumVectorElts) {
306 case 1:
Marek Olsak79c05872016-11-25 17:37:09 +0000307 return AMDGPU::SReg_32_XM0RegClassID;
Matt Arsenaultf1aebbf2015-11-02 23:30:48 +0000308 case 2:
309 return AMDGPU::SReg_64RegClassID;
310 case 4:
311 return AMDGPU::SReg_128RegClassID;
312 case 8:
313 return AMDGPU::SReg_256RegClassID;
314 case 16:
315 return AMDGPU::SReg_512RegClassID;
316 }
317
318 llvm_unreachable("invalid vector size");
319}
320
Matt Arsenaulteb522e62017-02-27 22:15:25 +0000321static bool getConstantValue(SDValue N, uint32_t &Out) {
322 if (const ConstantSDNode *C = dyn_cast<ConstantSDNode>(N)) {
323 Out = C->getAPIntValue().getZExtValue();
324 return true;
325 }
326
327 if (const ConstantFPSDNode *C = dyn_cast<ConstantFPSDNode>(N)) {
328 Out = C->getValueAPF().bitcastToAPInt().getZExtValue();
329 return true;
330 }
331
332 return false;
333}
334
Justin Bogner95927c02016-05-12 21:03:32 +0000335void AMDGPUDAGToDAGISel::Select(SDNode *N) {
Tom Stellard75aadc22012-12-11 21:25:42 +0000336 unsigned int Opc = N->getOpcode();
337 if (N->isMachineOpcode()) {
Tim Northover31d093c2013-09-22 08:21:56 +0000338 N->setNodeId(-1);
Justin Bogner95927c02016-05-12 21:03:32 +0000339 return; // Already selected.
Tom Stellard75aadc22012-12-11 21:25:42 +0000340 }
Matt Arsenault78b86702014-04-18 05:19:26 +0000341
Matt Arsenaulta9dbdca2016-04-12 14:05:04 +0000342 if (isa<AtomicSDNode>(N) ||
343 (Opc == AMDGPUISD::ATOMIC_INC || Opc == AMDGPUISD::ATOMIC_DEC))
Tom Stellard381a94a2015-05-12 15:00:49 +0000344 N = glueCopyToM0(N);
345
Tom Stellard75aadc22012-12-11 21:25:42 +0000346 switch (Opc) {
347 default: break;
Tom Stellard1f15bff2014-02-25 21:36:18 +0000348 // We are selecting i64 ADD here instead of custom lower it during
349 // DAG legalization, so we can fold some i64 ADDs used for address
350 // calculation into the LOAD and STORE instructions.
Matt Arsenaultb8b51532014-06-23 18:00:38 +0000351 case ISD::ADD:
Nicolai Haehnle67624af2016-10-14 10:30:00 +0000352 case ISD::ADDC:
353 case ISD::ADDE:
354 case ISD::SUB:
355 case ISD::SUBC:
356 case ISD::SUBE: {
Tom Stellard1f15bff2014-02-25 21:36:18 +0000357 if (N->getValueType(0) != MVT::i64 ||
Eric Christopher7792e322015-01-30 23:24:40 +0000358 Subtarget->getGeneration() < AMDGPUSubtarget::SOUTHERN_ISLANDS)
Tom Stellard1f15bff2014-02-25 21:36:18 +0000359 break;
360
Justin Bogner95927c02016-05-12 21:03:32 +0000361 SelectADD_SUB_I64(N);
362 return;
Tom Stellard1f15bff2014-02-25 21:36:18 +0000363 }
Matt Arsenaultee3f0ac2017-01-30 18:11:38 +0000364 case ISD::UADDO:
365 case ISD::USUBO: {
366 SelectUADDO_USUBO(N);
367 return;
368 }
Tom Stellard8485fa02016-12-07 02:42:15 +0000369 case AMDGPUISD::FMUL_W_CHAIN: {
370 SelectFMUL_W_CHAIN(N);
371 return;
372 }
373 case AMDGPUISD::FMA_W_CHAIN: {
374 SelectFMA_W_CHAIN(N);
375 return;
376 }
377
Matt Arsenault064c2062014-06-11 17:40:32 +0000378 case ISD::SCALAR_TO_VECTOR:
Tom Stellard880a80a2014-06-17 16:53:14 +0000379 case AMDGPUISD::BUILD_VERTICAL_VECTOR:
Vincent Lejeune3b6f20e2013-03-05 15:04:49 +0000380 case ISD::BUILD_VECTOR: {
Tom Stellard8e5da412013-08-14 23:24:32 +0000381 unsigned RegClassID;
Eric Christopher7792e322015-01-30 23:24:40 +0000382 const AMDGPURegisterInfo *TRI = Subtarget->getRegisterInfo();
Tom Stellard8e5da412013-08-14 23:24:32 +0000383 EVT VT = N->getValueType(0);
384 unsigned NumVectorElts = VT.getVectorNumElements();
Matt Arsenault064c2062014-06-11 17:40:32 +0000385 EVT EltVT = VT.getVectorElementType();
Matt Arsenaulteb522e62017-02-27 22:15:25 +0000386
387 if (VT == MVT::v2i16 || VT == MVT::v2f16) {
388 if (Opc == ISD::BUILD_VECTOR) {
389 uint32_t LHSVal, RHSVal;
390 if (getConstantValue(N->getOperand(0), LHSVal) &&
391 getConstantValue(N->getOperand(1), RHSVal)) {
392 uint32_t K = LHSVal | (RHSVal << 16);
393 CurDAG->SelectNodeTo(N, AMDGPU::S_MOV_B32, VT,
394 CurDAG->getTargetConstant(K, SDLoc(N), MVT::i32));
395 return;
396 }
397 }
398
399 break;
400 }
401
Matt Arsenault064c2062014-06-11 17:40:32 +0000402 assert(EltVT.bitsEq(MVT::i32));
Matt Arsenaulteb522e62017-02-27 22:15:25 +0000403
Eric Christopher7792e322015-01-30 23:24:40 +0000404 if (Subtarget->getGeneration() >= AMDGPUSubtarget::SOUTHERN_ISLANDS) {
Matt Arsenault61cb6fa2015-11-11 00:01:36 +0000405 RegClassID = selectSGPRVectorRegClassID(NumVectorElts);
Tom Stellard8e5da412013-08-14 23:24:32 +0000406 } else {
407 // BUILD_VECTOR was lowered into an IMPLICIT_DEF + 4 INSERT_SUBREG
408 // that adds a 128 bits reg copy when going through TwoAddressInstructions
409 // pass. We want to avoid 128 bits copies as much as possible because they
410 // can't be bundled by our scheduler.
411 switch(NumVectorElts) {
412 case 2: RegClassID = AMDGPU::R600_Reg64RegClassID; break;
Tom Stellard880a80a2014-06-17 16:53:14 +0000413 case 4:
414 if (Opc == AMDGPUISD::BUILD_VERTICAL_VECTOR)
415 RegClassID = AMDGPU::R600_Reg128VerticalRegClassID;
416 else
417 RegClassID = AMDGPU::R600_Reg128RegClassID;
418 break;
Tom Stellard8e5da412013-08-14 23:24:32 +0000419 default: llvm_unreachable("Do not know how to lower this BUILD_VECTOR");
420 }
Vincent Lejeune3b6f20e2013-03-05 15:04:49 +0000421 }
Tom Stellard0344cdf2013-08-01 15:23:42 +0000422
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000423 SDLoc DL(N);
424 SDValue RegClass = CurDAG->getTargetConstant(RegClassID, DL, MVT::i32);
Tom Stellard8e5da412013-08-14 23:24:32 +0000425
426 if (NumVectorElts == 1) {
Justin Bogner95927c02016-05-12 21:03:32 +0000427 CurDAG->SelectNodeTo(N, AMDGPU::COPY_TO_REGCLASS, EltVT, N->getOperand(0),
428 RegClass);
429 return;
Tom Stellard0344cdf2013-08-01 15:23:42 +0000430 }
Tom Stellard8e5da412013-08-14 23:24:32 +0000431
432 assert(NumVectorElts <= 16 && "Vectors with more than 16 elements not "
433 "supported yet");
434 // 16 = Max Num Vector Elements
435 // 2 = 2 REG_SEQUENCE operands per element (value, subreg index)
436 // 1 = Vector Register Class
Matt Arsenault064c2062014-06-11 17:40:32 +0000437 SmallVector<SDValue, 16 * 2 + 1> RegSeqArgs(NumVectorElts * 2 + 1);
Tom Stellard8e5da412013-08-14 23:24:32 +0000438
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000439 RegSeqArgs[0] = CurDAG->getTargetConstant(RegClassID, DL, MVT::i32);
Vincent Lejeune3b6f20e2013-03-05 15:04:49 +0000440 bool IsRegSeq = true;
Matt Arsenault064c2062014-06-11 17:40:32 +0000441 unsigned NOps = N->getNumOperands();
442 for (unsigned i = 0; i < NOps; i++) {
Tom Stellard8e5da412013-08-14 23:24:32 +0000443 // XXX: Why is this here?
Benjamin Kramer619c4e52015-04-10 11:24:51 +0000444 if (isa<RegisterSDNode>(N->getOperand(i))) {
Vincent Lejeune3b6f20e2013-03-05 15:04:49 +0000445 IsRegSeq = false;
446 break;
447 }
Tom Stellard8e5da412013-08-14 23:24:32 +0000448 RegSeqArgs[1 + (2 * i)] = N->getOperand(i);
449 RegSeqArgs[1 + (2 * i) + 1] =
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000450 CurDAG->getTargetConstant(TRI->getSubRegFromChannel(i), DL,
451 MVT::i32);
Vincent Lejeune3b6f20e2013-03-05 15:04:49 +0000452 }
Matt Arsenault064c2062014-06-11 17:40:32 +0000453
454 if (NOps != NumVectorElts) {
455 // Fill in the missing undef elements if this was a scalar_to_vector.
456 assert(Opc == ISD::SCALAR_TO_VECTOR && NOps < NumVectorElts);
457
458 MachineSDNode *ImpDef = CurDAG->getMachineNode(TargetOpcode::IMPLICIT_DEF,
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000459 DL, EltVT);
Matt Arsenault064c2062014-06-11 17:40:32 +0000460 for (unsigned i = NOps; i < NumVectorElts; ++i) {
461 RegSeqArgs[1 + (2 * i)] = SDValue(ImpDef, 0);
462 RegSeqArgs[1 + (2 * i) + 1] =
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000463 CurDAG->getTargetConstant(TRI->getSubRegFromChannel(i), DL, MVT::i32);
Matt Arsenault064c2062014-06-11 17:40:32 +0000464 }
465 }
466
Vincent Lejeune3b6f20e2013-03-05 15:04:49 +0000467 if (!IsRegSeq)
468 break;
Justin Bogner95927c02016-05-12 21:03:32 +0000469 CurDAG->SelectNodeTo(N, AMDGPU::REG_SEQUENCE, N->getVTList(), RegSeqArgs);
470 return;
Vincent Lejeune3b6f20e2013-03-05 15:04:49 +0000471 }
Tom Stellard754f80f2013-04-05 23:31:51 +0000472 case ISD::BUILD_PAIR: {
473 SDValue RC, SubReg0, SubReg1;
Eric Christopher7792e322015-01-30 23:24:40 +0000474 if (Subtarget->getGeneration() <= AMDGPUSubtarget::NORTHERN_ISLANDS) {
Tom Stellard754f80f2013-04-05 23:31:51 +0000475 break;
476 }
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000477 SDLoc DL(N);
Tom Stellard754f80f2013-04-05 23:31:51 +0000478 if (N->getValueType(0) == MVT::i128) {
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000479 RC = CurDAG->getTargetConstant(AMDGPU::SReg_128RegClassID, DL, MVT::i32);
480 SubReg0 = CurDAG->getTargetConstant(AMDGPU::sub0_sub1, DL, MVT::i32);
481 SubReg1 = CurDAG->getTargetConstant(AMDGPU::sub2_sub3, DL, MVT::i32);
Tom Stellard754f80f2013-04-05 23:31:51 +0000482 } else if (N->getValueType(0) == MVT::i64) {
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000483 RC = CurDAG->getTargetConstant(AMDGPU::SReg_64RegClassID, DL, MVT::i32);
484 SubReg0 = CurDAG->getTargetConstant(AMDGPU::sub0, DL, MVT::i32);
485 SubReg1 = CurDAG->getTargetConstant(AMDGPU::sub1, DL, MVT::i32);
Tom Stellard754f80f2013-04-05 23:31:51 +0000486 } else {
487 llvm_unreachable("Unhandled value type for BUILD_PAIR");
488 }
489 const SDValue Ops[] = { RC, N->getOperand(0), SubReg0,
490 N->getOperand(1), SubReg1 };
Justin Bogner95927c02016-05-12 21:03:32 +0000491 ReplaceNode(N, CurDAG->getMachineNode(TargetOpcode::REG_SEQUENCE, DL,
492 N->getValueType(0), Ops));
493 return;
Tom Stellard754f80f2013-04-05 23:31:51 +0000494 }
Tom Stellard7ed0b522014-04-03 20:19:27 +0000495
496 case ISD::Constant:
497 case ISD::ConstantFP: {
Eric Christopher7792e322015-01-30 23:24:40 +0000498 if (Subtarget->getGeneration() < AMDGPUSubtarget::SOUTHERN_ISLANDS ||
Tom Stellard7ed0b522014-04-03 20:19:27 +0000499 N->getValueType(0).getSizeInBits() != 64 || isInlineImmediate(N))
500 break;
501
502 uint64_t Imm;
503 if (ConstantFPSDNode *FP = dyn_cast<ConstantFPSDNode>(N))
504 Imm = FP->getValueAPF().bitcastToAPInt().getZExtValue();
505 else {
Tom Stellard3cbe0142014-04-07 19:31:13 +0000506 ConstantSDNode *C = cast<ConstantSDNode>(N);
Tom Stellard7ed0b522014-04-03 20:19:27 +0000507 Imm = C->getZExtValue();
508 }
509
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000510 SDLoc DL(N);
511 SDNode *Lo = CurDAG->getMachineNode(AMDGPU::S_MOV_B32, DL, MVT::i32,
512 CurDAG->getConstant(Imm & 0xFFFFFFFF, DL,
513 MVT::i32));
514 SDNode *Hi = CurDAG->getMachineNode(AMDGPU::S_MOV_B32, DL, MVT::i32,
515 CurDAG->getConstant(Imm >> 32, DL, MVT::i32));
Tom Stellard7ed0b522014-04-03 20:19:27 +0000516 const SDValue Ops[] = {
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000517 CurDAG->getTargetConstant(AMDGPU::SReg_64RegClassID, DL, MVT::i32),
518 SDValue(Lo, 0), CurDAG->getTargetConstant(AMDGPU::sub0, DL, MVT::i32),
519 SDValue(Hi, 0), CurDAG->getTargetConstant(AMDGPU::sub1, DL, MVT::i32)
Tom Stellard7ed0b522014-04-03 20:19:27 +0000520 };
521
Justin Bogner95927c02016-05-12 21:03:32 +0000522 ReplaceNode(N, CurDAG->getMachineNode(TargetOpcode::REG_SEQUENCE, DL,
523 N->getValueType(0), Ops));
524 return;
Tom Stellard7ed0b522014-04-03 20:19:27 +0000525 }
Matt Arsenault4bf43d42015-09-25 17:27:08 +0000526 case ISD::LOAD:
Tom Stellard096b8c12015-02-04 20:49:49 +0000527 case ISD::STORE: {
Tom Stellard381a94a2015-05-12 15:00:49 +0000528 N = glueCopyToM0(N);
Tom Stellard096b8c12015-02-04 20:49:49 +0000529 break;
530 }
Matt Arsenault78b86702014-04-18 05:19:26 +0000531
532 case AMDGPUISD::BFE_I32:
533 case AMDGPUISD::BFE_U32: {
Eric Christopher7792e322015-01-30 23:24:40 +0000534 if (Subtarget->getGeneration() < AMDGPUSubtarget::SOUTHERN_ISLANDS)
Matt Arsenault78b86702014-04-18 05:19:26 +0000535 break;
536
537 // There is a scalar version available, but unlike the vector version which
538 // has a separate operand for the offset and width, the scalar version packs
539 // the width and offset into a single operand. Try to move to the scalar
540 // version if the offsets are constant, so that we can try to keep extended
541 // loads of kernel arguments in SGPRs.
542
543 // TODO: Technically we could try to pattern match scalar bitshifts of
544 // dynamic values, but it's probably not useful.
545 ConstantSDNode *Offset = dyn_cast<ConstantSDNode>(N->getOperand(1));
546 if (!Offset)
547 break;
548
549 ConstantSDNode *Width = dyn_cast<ConstantSDNode>(N->getOperand(2));
550 if (!Width)
551 break;
552
553 bool Signed = Opc == AMDGPUISD::BFE_I32;
554
Matt Arsenault78b86702014-04-18 05:19:26 +0000555 uint32_t OffsetVal = Offset->getZExtValue();
556 uint32_t WidthVal = Width->getZExtValue();
557
Justin Bogner95927c02016-05-12 21:03:32 +0000558 ReplaceNode(N, getS_BFE(Signed ? AMDGPU::S_BFE_I32 : AMDGPU::S_BFE_U32,
559 SDLoc(N), N->getOperand(0), OffsetVal, WidthVal));
560 return;
Matt Arsenault78b86702014-04-18 05:19:26 +0000561 }
Matt Arsenaultf2b0aeb2014-06-23 18:28:28 +0000562 case AMDGPUISD::DIV_SCALE: {
Justin Bogner95927c02016-05-12 21:03:32 +0000563 SelectDIV_SCALE(N);
564 return;
Matt Arsenaultf2b0aeb2014-06-23 18:28:28 +0000565 }
Tom Stellard3457a842014-10-09 19:06:00 +0000566 case ISD::CopyToReg: {
567 const SITargetLowering& Lowering =
568 *static_cast<const SITargetLowering*>(getTargetLowering());
Matt Arsenault0d0d6c22017-04-12 21:58:23 +0000569 N = Lowering.legalizeTargetIndependentNode(N, *CurDAG);
Tom Stellard3457a842014-10-09 19:06:00 +0000570 break;
571 }
Marek Olsak9b728682015-03-24 13:40:27 +0000572 case ISD::AND:
573 case ISD::SRL:
574 case ISD::SRA:
Matt Arsenault7e8de012016-04-22 22:59:16 +0000575 case ISD::SIGN_EXTEND_INREG:
Marek Olsak9b728682015-03-24 13:40:27 +0000576 if (N->getValueType(0) != MVT::i32 ||
577 Subtarget->getGeneration() < AMDGPUSubtarget::SOUTHERN_ISLANDS)
578 break;
579
Justin Bogner95927c02016-05-12 21:03:32 +0000580 SelectS_BFE(N);
581 return;
Tom Stellardbc4497b2016-02-12 23:45:29 +0000582 case ISD::BRCOND:
Justin Bogner95927c02016-05-12 21:03:32 +0000583 SelectBRCOND(N);
584 return;
Matt Arsenault88701812016-06-09 23:42:48 +0000585
586 case AMDGPUISD::ATOMIC_CMP_SWAP:
587 SelectATOMIC_CMP_SWAP(N);
588 return;
Tom Stellard75aadc22012-12-11 21:25:42 +0000589 }
Tom Stellard3457a842014-10-09 19:06:00 +0000590
Justin Bogner95927c02016-05-12 21:03:32 +0000591 SelectCode(N);
Tom Stellard365366f2013-01-23 02:09:06 +0000592}
593
Jan Vesely43b7b5b2016-04-07 19:23:11 +0000594bool AMDGPUDAGToDAGISel::isConstantLoad(const MemSDNode *N, int CbId) const {
595 if (!N->readMem())
596 return false;
Matt Arsenault209a7b92014-04-18 07:40:20 +0000597 if (CbId == -1)
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000598 return N->getAddressSpace() == AMDGPUASI.CONSTANT_ADDRESS;
Matt Arsenault209a7b92014-04-18 07:40:20 +0000599
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000600 return N->getAddressSpace() == AMDGPUASI.CONSTANT_BUFFER_0 + CbId;
Matt Arsenault3f981402014-09-15 15:41:53 +0000601}
602
Tom Stellardbc4497b2016-02-12 23:45:29 +0000603bool AMDGPUDAGToDAGISel::isUniformBr(const SDNode *N) const {
604 const BasicBlock *BB = FuncInfo->MBB->getBasicBlock();
Nicolai Haehnle05b127d2016-04-14 17:42:35 +0000605 const Instruction *Term = BB->getTerminator();
606 return Term->getMetadata("amdgpu.uniform") ||
607 Term->getMetadata("structurizecfg.uniform");
Tom Stellardbc4497b2016-02-12 23:45:29 +0000608}
609
Mehdi Amini117296c2016-10-01 02:56:57 +0000610StringRef AMDGPUDAGToDAGISel::getPassName() const {
Tom Stellard75aadc22012-12-11 21:25:42 +0000611 return "AMDGPU DAG->DAG Pattern Instruction Selection";
612}
613
Tom Stellard41fc7852013-07-23 01:48:42 +0000614//===----------------------------------------------------------------------===//
615// Complex Patterns
616//===----------------------------------------------------------------------===//
Tom Stellard75aadc22012-12-11 21:25:42 +0000617
Tom Stellard365366f2013-01-23 02:09:06 +0000618bool AMDGPUDAGToDAGISel::SelectGlobalValueConstantOffset(SDValue Addr,
Matt Arsenault209a7b92014-04-18 07:40:20 +0000619 SDValue& IntPtr) {
Tom Stellard365366f2013-01-23 02:09:06 +0000620 if (ConstantSDNode *Cst = dyn_cast<ConstantSDNode>(Addr)) {
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000621 IntPtr = CurDAG->getIntPtrConstant(Cst->getZExtValue() / 4, SDLoc(Addr),
622 true);
Tom Stellard365366f2013-01-23 02:09:06 +0000623 return true;
624 }
625 return false;
626}
627
628bool AMDGPUDAGToDAGISel::SelectGlobalValueVariableOffset(SDValue Addr,
629 SDValue& BaseReg, SDValue &Offset) {
Matt Arsenault209a7b92014-04-18 07:40:20 +0000630 if (!isa<ConstantSDNode>(Addr)) {
Tom Stellard365366f2013-01-23 02:09:06 +0000631 BaseReg = Addr;
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000632 Offset = CurDAG->getIntPtrConstant(0, SDLoc(Addr), true);
Tom Stellard365366f2013-01-23 02:09:06 +0000633 return true;
634 }
635 return false;
636}
637
Tom Stellard75aadc22012-12-11 21:25:42 +0000638bool AMDGPUDAGToDAGISel::SelectADDRVTX_READ(SDValue Addr, SDValue &Base,
639 SDValue &Offset) {
Matt Arsenault209a7b92014-04-18 07:40:20 +0000640 ConstantSDNode *IMMOffset;
Tom Stellard75aadc22012-12-11 21:25:42 +0000641
642 if (Addr.getOpcode() == ISD::ADD
643 && (IMMOffset = dyn_cast<ConstantSDNode>(Addr.getOperand(1)))
644 && isInt<16>(IMMOffset->getZExtValue())) {
645
646 Base = Addr.getOperand(0);
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000647 Offset = CurDAG->getTargetConstant(IMMOffset->getZExtValue(), SDLoc(Addr),
648 MVT::i32);
Tom Stellard75aadc22012-12-11 21:25:42 +0000649 return true;
650 // If the pointer address is constant, we can move it to the offset field.
651 } else if ((IMMOffset = dyn_cast<ConstantSDNode>(Addr))
652 && isInt<16>(IMMOffset->getZExtValue())) {
653 Base = CurDAG->getCopyFromReg(CurDAG->getEntryNode(),
Andrew Trickef9de2a2013-05-25 02:42:55 +0000654 SDLoc(CurDAG->getEntryNode()),
Tom Stellard75aadc22012-12-11 21:25:42 +0000655 AMDGPU::ZERO, MVT::i32);
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000656 Offset = CurDAG->getTargetConstant(IMMOffset->getZExtValue(), SDLoc(Addr),
657 MVT::i32);
Tom Stellard75aadc22012-12-11 21:25:42 +0000658 return true;
659 }
660
661 // Default case, no offset
662 Base = Addr;
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000663 Offset = CurDAG->getTargetConstant(0, SDLoc(Addr), MVT::i32);
Tom Stellard75aadc22012-12-11 21:25:42 +0000664 return true;
665}
666
Tom Stellardf3b2a1e2013-02-06 17:32:29 +0000667bool AMDGPUDAGToDAGISel::SelectADDRIndirect(SDValue Addr, SDValue &Base,
668 SDValue &Offset) {
669 ConstantSDNode *C;
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000670 SDLoc DL(Addr);
Tom Stellardf3b2a1e2013-02-06 17:32:29 +0000671
672 if ((C = dyn_cast<ConstantSDNode>(Addr))) {
673 Base = CurDAG->getRegister(AMDGPU::INDIRECT_BASE_ADDR, MVT::i32);
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000674 Offset = CurDAG->getTargetConstant(C->getZExtValue(), DL, MVT::i32);
Jan Vesely06200bd2017-01-06 21:00:46 +0000675 } else if ((Addr.getOpcode() == AMDGPUISD::DWORDADDR) &&
676 (C = dyn_cast<ConstantSDNode>(Addr.getOperand(0)))) {
677 Base = CurDAG->getRegister(AMDGPU::INDIRECT_BASE_ADDR, MVT::i32);
678 Offset = CurDAG->getTargetConstant(C->getZExtValue(), DL, MVT::i32);
Tom Stellardf3b2a1e2013-02-06 17:32:29 +0000679 } else if ((Addr.getOpcode() == ISD::ADD || Addr.getOpcode() == ISD::OR) &&
680 (C = dyn_cast<ConstantSDNode>(Addr.getOperand(1)))) {
681 Base = Addr.getOperand(0);
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000682 Offset = CurDAG->getTargetConstant(C->getZExtValue(), DL, MVT::i32);
Tom Stellardf3b2a1e2013-02-06 17:32:29 +0000683 } else {
684 Base = Addr;
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000685 Offset = CurDAG->getTargetConstant(0, DL, MVT::i32);
Tom Stellardf3b2a1e2013-02-06 17:32:29 +0000686 }
687
688 return true;
689}
Christian Konigd910b7d2013-02-26 17:52:16 +0000690
Justin Bogner95927c02016-05-12 21:03:32 +0000691void AMDGPUDAGToDAGISel::SelectADD_SUB_I64(SDNode *N) {
Matt Arsenault9fa3f932014-06-23 18:00:34 +0000692 SDLoc DL(N);
693 SDValue LHS = N->getOperand(0);
694 SDValue RHS = N->getOperand(1);
695
Nicolai Haehnle67624af2016-10-14 10:30:00 +0000696 unsigned Opcode = N->getOpcode();
697 bool ConsumeCarry = (Opcode == ISD::ADDE || Opcode == ISD::SUBE);
698 bool ProduceCarry =
699 ConsumeCarry || Opcode == ISD::ADDC || Opcode == ISD::SUBC;
700 bool IsAdd =
701 (Opcode == ISD::ADD || Opcode == ISD::ADDC || Opcode == ISD::ADDE);
Matt Arsenaultb8b51532014-06-23 18:00:38 +0000702
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000703 SDValue Sub0 = CurDAG->getTargetConstant(AMDGPU::sub0, DL, MVT::i32);
704 SDValue Sub1 = CurDAG->getTargetConstant(AMDGPU::sub1, DL, MVT::i32);
Matt Arsenault9fa3f932014-06-23 18:00:34 +0000705
706 SDNode *Lo0 = CurDAG->getMachineNode(TargetOpcode::EXTRACT_SUBREG,
707 DL, MVT::i32, LHS, Sub0);
708 SDNode *Hi0 = CurDAG->getMachineNode(TargetOpcode::EXTRACT_SUBREG,
709 DL, MVT::i32, LHS, Sub1);
710
711 SDNode *Lo1 = CurDAG->getMachineNode(TargetOpcode::EXTRACT_SUBREG,
712 DL, MVT::i32, RHS, Sub0);
713 SDNode *Hi1 = CurDAG->getMachineNode(TargetOpcode::EXTRACT_SUBREG,
714 DL, MVT::i32, RHS, Sub1);
715
716 SDVTList VTList = CurDAG->getVTList(MVT::i32, MVT::Glue);
Matt Arsenault9fa3f932014-06-23 18:00:34 +0000717
Tom Stellard80942a12014-09-05 14:07:59 +0000718 unsigned Opc = IsAdd ? AMDGPU::S_ADD_U32 : AMDGPU::S_SUB_U32;
Matt Arsenaultb8b51532014-06-23 18:00:38 +0000719 unsigned CarryOpc = IsAdd ? AMDGPU::S_ADDC_U32 : AMDGPU::S_SUBB_U32;
720
Nicolai Haehnle67624af2016-10-14 10:30:00 +0000721 SDNode *AddLo;
722 if (!ConsumeCarry) {
723 SDValue Args[] = { SDValue(Lo0, 0), SDValue(Lo1, 0) };
724 AddLo = CurDAG->getMachineNode(Opc, DL, VTList, Args);
725 } else {
726 SDValue Args[] = { SDValue(Lo0, 0), SDValue(Lo1, 0), N->getOperand(2) };
727 AddLo = CurDAG->getMachineNode(CarryOpc, DL, VTList, Args);
728 }
729 SDValue AddHiArgs[] = {
730 SDValue(Hi0, 0),
731 SDValue(Hi1, 0),
732 SDValue(AddLo, 1)
733 };
734 SDNode *AddHi = CurDAG->getMachineNode(CarryOpc, DL, VTList, AddHiArgs);
Matt Arsenault9fa3f932014-06-23 18:00:34 +0000735
Nicolai Haehnle67624af2016-10-14 10:30:00 +0000736 SDValue RegSequenceArgs[] = {
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000737 CurDAG->getTargetConstant(AMDGPU::SReg_64RegClassID, DL, MVT::i32),
Matt Arsenault9fa3f932014-06-23 18:00:34 +0000738 SDValue(AddLo,0),
739 Sub0,
740 SDValue(AddHi,0),
741 Sub1,
742 };
Nicolai Haehnle67624af2016-10-14 10:30:00 +0000743 SDNode *RegSequence = CurDAG->getMachineNode(AMDGPU::REG_SEQUENCE, DL,
744 MVT::i64, RegSequenceArgs);
745
746 if (ProduceCarry) {
747 // Replace the carry-use
748 CurDAG->ReplaceAllUsesOfValueWith(SDValue(N, 1), SDValue(AddHi, 1));
749 }
750
751 // Replace the remaining uses.
752 CurDAG->ReplaceAllUsesWith(N, RegSequence);
753 CurDAG->RemoveDeadNode(N);
Matt Arsenault9fa3f932014-06-23 18:00:34 +0000754}
755
Matt Arsenaultee3f0ac2017-01-30 18:11:38 +0000756void AMDGPUDAGToDAGISel::SelectUADDO_USUBO(SDNode *N) {
757 // The name of the opcodes are misleading. v_add_i32/v_sub_i32 have unsigned
758 // carry out despite the _i32 name. These were renamed in VI to _U32.
759 // FIXME: We should probably rename the opcodes here.
760 unsigned Opc = N->getOpcode() == ISD::UADDO ?
761 AMDGPU::V_ADD_I32_e64 : AMDGPU::V_SUB_I32_e64;
762
763 CurDAG->SelectNodeTo(N, Opc, N->getVTList(),
764 { N->getOperand(0), N->getOperand(1) });
765}
766
Tom Stellard8485fa02016-12-07 02:42:15 +0000767void AMDGPUDAGToDAGISel::SelectFMA_W_CHAIN(SDNode *N) {
768 SDLoc SL(N);
769 // src0_modifiers, src0, src1_modifiers, src1, src2_modifiers, src2, clamp, omod
770 SDValue Ops[10];
771
772 SelectVOP3Mods0(N->getOperand(1), Ops[1], Ops[0], Ops[6], Ops[7]);
773 SelectVOP3Mods(N->getOperand(2), Ops[3], Ops[2]);
774 SelectVOP3Mods(N->getOperand(3), Ops[5], Ops[4]);
775 Ops[8] = N->getOperand(0);
776 Ops[9] = N->getOperand(4);
777
778 CurDAG->SelectNodeTo(N, AMDGPU::V_FMA_F32, N->getVTList(), Ops);
779}
780
781void AMDGPUDAGToDAGISel::SelectFMUL_W_CHAIN(SDNode *N) {
782 SDLoc SL(N);
783 // src0_modifiers, src0, src1_modifiers, src1, clamp, omod
784 SDValue Ops[8];
785
786 SelectVOP3Mods0(N->getOperand(1), Ops[1], Ops[0], Ops[4], Ops[5]);
787 SelectVOP3Mods(N->getOperand(2), Ops[3], Ops[2]);
788 Ops[6] = N->getOperand(0);
789 Ops[7] = N->getOperand(3);
790
791 CurDAG->SelectNodeTo(N, AMDGPU::V_MUL_F32_e64, N->getVTList(), Ops);
792}
793
Matt Arsenault044f1d12015-02-14 04:24:28 +0000794// We need to handle this here because tablegen doesn't support matching
795// instructions with multiple outputs.
Justin Bogner95927c02016-05-12 21:03:32 +0000796void AMDGPUDAGToDAGISel::SelectDIV_SCALE(SDNode *N) {
Matt Arsenaultf2b0aeb2014-06-23 18:28:28 +0000797 SDLoc SL(N);
798 EVT VT = N->getValueType(0);
799
800 assert(VT == MVT::f32 || VT == MVT::f64);
801
802 unsigned Opc
803 = (VT == MVT::f64) ? AMDGPU::V_DIV_SCALE_F64 : AMDGPU::V_DIV_SCALE_F32;
804
Matt Arsenault3b99f122017-01-19 06:04:12 +0000805 SDValue Ops[] = { N->getOperand(0), N->getOperand(1), N->getOperand(2) };
806 CurDAG->SelectNodeTo(N, Opc, N->getVTList(), Ops);
Matt Arsenaultf2b0aeb2014-06-23 18:28:28 +0000807}
808
Tom Stellard85e8b6d2014-08-22 18:49:33 +0000809bool AMDGPUDAGToDAGISel::isDSOffsetLegal(const SDValue &Base, unsigned Offset,
810 unsigned OffsetBits) const {
Tom Stellard85e8b6d2014-08-22 18:49:33 +0000811 if ((OffsetBits == 16 && !isUInt<16>(Offset)) ||
812 (OffsetBits == 8 && !isUInt<8>(Offset)))
813 return false;
814
Matt Arsenault706f9302015-07-06 16:01:58 +0000815 if (Subtarget->getGeneration() >= AMDGPUSubtarget::SEA_ISLANDS ||
816 Subtarget->unsafeDSOffsetFoldingEnabled())
Tom Stellard85e8b6d2014-08-22 18:49:33 +0000817 return true;
818
819 // On Southern Islands instruction with a negative base value and an offset
820 // don't seem to work.
821 return CurDAG->SignBitIsZero(Base);
822}
823
824bool AMDGPUDAGToDAGISel::SelectDS1Addr1Offset(SDValue Addr, SDValue &Base,
825 SDValue &Offset) const {
Tom Stellard92b24f32016-04-29 14:34:26 +0000826 SDLoc DL(Addr);
Tom Stellard85e8b6d2014-08-22 18:49:33 +0000827 if (CurDAG->isBaseWithConstantOffset(Addr)) {
828 SDValue N0 = Addr.getOperand(0);
829 SDValue N1 = Addr.getOperand(1);
830 ConstantSDNode *C1 = cast<ConstantSDNode>(N1);
831 if (isDSOffsetLegal(N0, C1->getSExtValue(), 16)) {
832 // (add n0, c0)
833 Base = N0;
Tom Stellard92b24f32016-04-29 14:34:26 +0000834 Offset = CurDAG->getTargetConstant(C1->getZExtValue(), DL, MVT::i16);
Tom Stellard85e8b6d2014-08-22 18:49:33 +0000835 return true;
836 }
Matt Arsenault966a94f2015-09-08 19:34:22 +0000837 } else if (Addr.getOpcode() == ISD::SUB) {
838 // sub C, x -> add (sub 0, x), C
839 if (const ConstantSDNode *C = dyn_cast<ConstantSDNode>(Addr.getOperand(0))) {
840 int64_t ByteOffset = C->getSExtValue();
841 if (isUInt<16>(ByteOffset)) {
Matt Arsenault966a94f2015-09-08 19:34:22 +0000842 SDValue Zero = CurDAG->getTargetConstant(0, DL, MVT::i32);
Tom Stellard85e8b6d2014-08-22 18:49:33 +0000843
Matt Arsenault966a94f2015-09-08 19:34:22 +0000844 // XXX - This is kind of hacky. Create a dummy sub node so we can check
845 // the known bits in isDSOffsetLegal. We need to emit the selected node
846 // here, so this is thrown away.
847 SDValue Sub = CurDAG->getNode(ISD::SUB, DL, MVT::i32,
848 Zero, Addr.getOperand(1));
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000849
Matt Arsenault966a94f2015-09-08 19:34:22 +0000850 if (isDSOffsetLegal(Sub, ByteOffset, 16)) {
851 MachineSDNode *MachineSub
852 = CurDAG->getMachineNode(AMDGPU::V_SUB_I32_e32, DL, MVT::i32,
853 Zero, Addr.getOperand(1));
854
855 Base = SDValue(MachineSub, 0);
Tom Stellard26a2ab72016-06-10 00:01:04 +0000856 Offset = CurDAG->getTargetConstant(ByteOffset, DL, MVT::i16);
Matt Arsenault966a94f2015-09-08 19:34:22 +0000857 return true;
858 }
859 }
860 }
861 } else if (const ConstantSDNode *CAddr = dyn_cast<ConstantSDNode>(Addr)) {
862 // If we have a constant address, prefer to put the constant into the
863 // offset. This can save moves to load the constant address since multiple
864 // operations can share the zero base address register, and enables merging
865 // into read2 / write2 instructions.
866
867 SDLoc DL(Addr);
868
Matt Arsenaulte775f5f2014-10-14 17:21:19 +0000869 if (isUInt<16>(CAddr->getZExtValue())) {
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000870 SDValue Zero = CurDAG->getTargetConstant(0, DL, MVT::i32);
Tom Stellardc8d79202014-10-15 21:08:59 +0000871 MachineSDNode *MovZero = CurDAG->getMachineNode(AMDGPU::V_MOV_B32_e32,
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000872 DL, MVT::i32, Zero);
Tom Stellardc8d79202014-10-15 21:08:59 +0000873 Base = SDValue(MovZero, 0);
Tom Stellard26a2ab72016-06-10 00:01:04 +0000874 Offset = CurDAG->getTargetConstant(CAddr->getZExtValue(), DL, MVT::i16);
Matt Arsenaulte775f5f2014-10-14 17:21:19 +0000875 return true;
876 }
877 }
878
Tom Stellard85e8b6d2014-08-22 18:49:33 +0000879 // default case
880 Base = Addr;
Matt Arsenault966a94f2015-09-08 19:34:22 +0000881 Offset = CurDAG->getTargetConstant(0, SDLoc(Addr), MVT::i16);
Tom Stellard85e8b6d2014-08-22 18:49:33 +0000882 return true;
883}
884
Matt Arsenault966a94f2015-09-08 19:34:22 +0000885// TODO: If offset is too big, put low 16-bit into offset.
Tom Stellardf3fc5552014-08-22 18:49:35 +0000886bool AMDGPUDAGToDAGISel::SelectDS64Bit4ByteAligned(SDValue Addr, SDValue &Base,
887 SDValue &Offset0,
888 SDValue &Offset1) const {
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000889 SDLoc DL(Addr);
890
Tom Stellardf3fc5552014-08-22 18:49:35 +0000891 if (CurDAG->isBaseWithConstantOffset(Addr)) {
892 SDValue N0 = Addr.getOperand(0);
893 SDValue N1 = Addr.getOperand(1);
894 ConstantSDNode *C1 = cast<ConstantSDNode>(N1);
895 unsigned DWordOffset0 = C1->getZExtValue() / 4;
896 unsigned DWordOffset1 = DWordOffset0 + 1;
897 // (add n0, c0)
898 if (isDSOffsetLegal(N0, DWordOffset1, 8)) {
899 Base = N0;
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000900 Offset0 = CurDAG->getTargetConstant(DWordOffset0, DL, MVT::i8);
901 Offset1 = CurDAG->getTargetConstant(DWordOffset1, DL, MVT::i8);
Tom Stellardf3fc5552014-08-22 18:49:35 +0000902 return true;
903 }
Matt Arsenault966a94f2015-09-08 19:34:22 +0000904 } else if (Addr.getOpcode() == ISD::SUB) {
905 // sub C, x -> add (sub 0, x), C
906 if (const ConstantSDNode *C = dyn_cast<ConstantSDNode>(Addr.getOperand(0))) {
907 unsigned DWordOffset0 = C->getZExtValue() / 4;
908 unsigned DWordOffset1 = DWordOffset0 + 1;
Tom Stellardf3fc5552014-08-22 18:49:35 +0000909
Matt Arsenault966a94f2015-09-08 19:34:22 +0000910 if (isUInt<8>(DWordOffset0)) {
911 SDLoc DL(Addr);
912 SDValue Zero = CurDAG->getTargetConstant(0, DL, MVT::i32);
913
914 // XXX - This is kind of hacky. Create a dummy sub node so we can check
915 // the known bits in isDSOffsetLegal. We need to emit the selected node
916 // here, so this is thrown away.
917 SDValue Sub = CurDAG->getNode(ISD::SUB, DL, MVT::i32,
918 Zero, Addr.getOperand(1));
919
920 if (isDSOffsetLegal(Sub, DWordOffset1, 8)) {
921 MachineSDNode *MachineSub
922 = CurDAG->getMachineNode(AMDGPU::V_SUB_I32_e32, DL, MVT::i32,
923 Zero, Addr.getOperand(1));
924
925 Base = SDValue(MachineSub, 0);
926 Offset0 = CurDAG->getTargetConstant(DWordOffset0, DL, MVT::i8);
927 Offset1 = CurDAG->getTargetConstant(DWordOffset1, DL, MVT::i8);
928 return true;
929 }
930 }
931 }
932 } else if (const ConstantSDNode *CAddr = dyn_cast<ConstantSDNode>(Addr)) {
Matt Arsenault1a74aff2014-10-15 18:06:43 +0000933 unsigned DWordOffset0 = CAddr->getZExtValue() / 4;
934 unsigned DWordOffset1 = DWordOffset0 + 1;
935 assert(4 * DWordOffset0 == CAddr->getZExtValue());
936
937 if (isUInt<8>(DWordOffset0) && isUInt<8>(DWordOffset1)) {
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000938 SDValue Zero = CurDAG->getTargetConstant(0, DL, MVT::i32);
Matt Arsenault1a74aff2014-10-15 18:06:43 +0000939 MachineSDNode *MovZero
940 = CurDAG->getMachineNode(AMDGPU::V_MOV_B32_e32,
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000941 DL, MVT::i32, Zero);
Matt Arsenault1a74aff2014-10-15 18:06:43 +0000942 Base = SDValue(MovZero, 0);
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000943 Offset0 = CurDAG->getTargetConstant(DWordOffset0, DL, MVT::i8);
944 Offset1 = CurDAG->getTargetConstant(DWordOffset1, DL, MVT::i8);
Matt Arsenault1a74aff2014-10-15 18:06:43 +0000945 return true;
946 }
947 }
948
Tom Stellardf3fc5552014-08-22 18:49:35 +0000949 // default case
Matt Arsenault0efdd062016-09-09 22:29:28 +0000950
951 // FIXME: This is broken on SI where we still need to check if the base
952 // pointer is positive here.
Tom Stellardf3fc5552014-08-22 18:49:35 +0000953 Base = Addr;
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000954 Offset0 = CurDAG->getTargetConstant(0, DL, MVT::i8);
955 Offset1 = CurDAG->getTargetConstant(1, DL, MVT::i8);
Tom Stellardf3fc5552014-08-22 18:49:35 +0000956 return true;
957}
958
Matt Arsenault0774ea22017-04-24 19:40:59 +0000959static bool isLegalMUBUFImmOffset(unsigned Imm) {
960 return isUInt<12>(Imm);
961}
962
Tom Stellardb02094e2014-07-21 15:45:01 +0000963static bool isLegalMUBUFImmOffset(const ConstantSDNode *Imm) {
Matt Arsenault0774ea22017-04-24 19:40:59 +0000964 return isLegalMUBUFImmOffset(Imm->getZExtValue());
Tom Stellardb02094e2014-07-21 15:45:01 +0000965}
966
Changpeng Fangb41574a2015-12-22 20:55:23 +0000967bool AMDGPUDAGToDAGISel::SelectMUBUF(SDValue Addr, SDValue &Ptr,
Tom Stellard155bbb72014-08-11 22:18:17 +0000968 SDValue &VAddr, SDValue &SOffset,
969 SDValue &Offset, SDValue &Offen,
970 SDValue &Idxen, SDValue &Addr64,
971 SDValue &GLC, SDValue &SLC,
972 SDValue &TFE) const {
Changpeng Fangb41574a2015-12-22 20:55:23 +0000973 // Subtarget prefers to use flat instruction
974 if (Subtarget->useFlatForGlobal())
975 return false;
976
Tom Stellardb02c2682014-06-24 23:33:07 +0000977 SDLoc DL(Addr);
978
Jan Vesely43b7b5b2016-04-07 19:23:11 +0000979 if (!GLC.getNode())
980 GLC = CurDAG->getTargetConstant(0, DL, MVT::i1);
981 if (!SLC.getNode())
982 SLC = CurDAG->getTargetConstant(0, DL, MVT::i1);
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000983 TFE = CurDAG->getTargetConstant(0, DL, MVT::i1);
Tom Stellard155bbb72014-08-11 22:18:17 +0000984
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000985 Idxen = CurDAG->getTargetConstant(0, DL, MVT::i1);
986 Offen = CurDAG->getTargetConstant(0, DL, MVT::i1);
987 Addr64 = CurDAG->getTargetConstant(0, DL, MVT::i1);
988 SOffset = CurDAG->getTargetConstant(0, DL, MVT::i32);
Tom Stellard155bbb72014-08-11 22:18:17 +0000989
Tom Stellardb02c2682014-06-24 23:33:07 +0000990 if (CurDAG->isBaseWithConstantOffset(Addr)) {
991 SDValue N0 = Addr.getOperand(0);
992 SDValue N1 = Addr.getOperand(1);
993 ConstantSDNode *C1 = cast<ConstantSDNode>(N1);
994
Tom Stellard94b72312015-02-11 00:34:35 +0000995 if (N0.getOpcode() == ISD::ADD) {
996 // (add (add N2, N3), C1) -> addr64
997 SDValue N2 = N0.getOperand(0);
998 SDValue N3 = N0.getOperand(1);
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000999 Addr64 = CurDAG->getTargetConstant(1, DL, MVT::i1);
Tom Stellard94b72312015-02-11 00:34:35 +00001000 Ptr = N2;
1001 VAddr = N3;
1002 } else {
Tom Stellard155bbb72014-08-11 22:18:17 +00001003 // (add N0, C1) -> offset
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001004 VAddr = CurDAG->getTargetConstant(0, DL, MVT::i32);
Tom Stellard155bbb72014-08-11 22:18:17 +00001005 Ptr = N0;
Tom Stellard94b72312015-02-11 00:34:35 +00001006 }
1007
1008 if (isLegalMUBUFImmOffset(C1)) {
Matt Arsenault88701812016-06-09 23:42:48 +00001009 Offset = CurDAG->getTargetConstant(C1->getZExtValue(), DL, MVT::i16);
1010 return true;
1011 }
1012
1013 if (isUInt<32>(C1->getZExtValue())) {
Tom Stellard94b72312015-02-11 00:34:35 +00001014 // Illegal offset, store it in soffset.
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001015 Offset = CurDAG->getTargetConstant(0, DL, MVT::i16);
Tom Stellard94b72312015-02-11 00:34:35 +00001016 SOffset = SDValue(CurDAG->getMachineNode(AMDGPU::S_MOV_B32, DL, MVT::i32,
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001017 CurDAG->getTargetConstant(C1->getZExtValue(), DL, MVT::i32)),
1018 0);
Changpeng Fangb41574a2015-12-22 20:55:23 +00001019 return true;
Tom Stellardb02c2682014-06-24 23:33:07 +00001020 }
1021 }
Tom Stellard94b72312015-02-11 00:34:35 +00001022
Tom Stellardb02c2682014-06-24 23:33:07 +00001023 if (Addr.getOpcode() == ISD::ADD) {
Tom Stellard155bbb72014-08-11 22:18:17 +00001024 // (add N0, N1) -> addr64
Tom Stellardb02c2682014-06-24 23:33:07 +00001025 SDValue N0 = Addr.getOperand(0);
1026 SDValue N1 = Addr.getOperand(1);
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001027 Addr64 = CurDAG->getTargetConstant(1, DL, MVT::i1);
Tom Stellard155bbb72014-08-11 22:18:17 +00001028 Ptr = N0;
1029 VAddr = N1;
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001030 Offset = CurDAG->getTargetConstant(0, DL, MVT::i16);
Changpeng Fangb41574a2015-12-22 20:55:23 +00001031 return true;
Tom Stellardb02c2682014-06-24 23:33:07 +00001032 }
1033
Tom Stellard155bbb72014-08-11 22:18:17 +00001034 // default case -> offset
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001035 VAddr = CurDAG->getTargetConstant(0, DL, MVT::i32);
Tom Stellard155bbb72014-08-11 22:18:17 +00001036 Ptr = Addr;
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001037 Offset = CurDAG->getTargetConstant(0, DL, MVT::i16);
Changpeng Fangb41574a2015-12-22 20:55:23 +00001038
1039 return true;
Tom Stellard155bbb72014-08-11 22:18:17 +00001040}
1041
1042bool AMDGPUDAGToDAGISel::SelectMUBUFAddr64(SDValue Addr, SDValue &SRsrc,
Tom Stellardc53861a2015-02-11 00:34:32 +00001043 SDValue &VAddr, SDValue &SOffset,
Tom Stellard1f9939f2015-02-27 14:59:41 +00001044 SDValue &Offset, SDValue &GLC,
1045 SDValue &SLC, SDValue &TFE) const {
1046 SDValue Ptr, Offen, Idxen, Addr64;
Tom Stellard155bbb72014-08-11 22:18:17 +00001047
Tom Stellard70580f82015-07-20 14:28:41 +00001048 // addr64 bit was removed for volcanic islands.
1049 if (Subtarget->getGeneration() >= AMDGPUSubtarget::VOLCANIC_ISLANDS)
1050 return false;
1051
Changpeng Fangb41574a2015-12-22 20:55:23 +00001052 if (!SelectMUBUF(Addr, Ptr, VAddr, SOffset, Offset, Offen, Idxen, Addr64,
1053 GLC, SLC, TFE))
1054 return false;
Tom Stellard155bbb72014-08-11 22:18:17 +00001055
1056 ConstantSDNode *C = cast<ConstantSDNode>(Addr64);
1057 if (C->getSExtValue()) {
1058 SDLoc DL(Addr);
Matt Arsenault485defe2014-11-05 19:01:17 +00001059
1060 const SITargetLowering& Lowering =
1061 *static_cast<const SITargetLowering*>(getTargetLowering());
1062
1063 SRsrc = SDValue(Lowering.wrapAddr64Rsrc(*CurDAG, DL, Ptr), 0);
Tom Stellard155bbb72014-08-11 22:18:17 +00001064 return true;
1065 }
Matt Arsenault485defe2014-11-05 19:01:17 +00001066
Tom Stellard155bbb72014-08-11 22:18:17 +00001067 return false;
1068}
1069
Tom Stellard7980fc82014-09-25 18:30:26 +00001070bool AMDGPUDAGToDAGISel::SelectMUBUFAddr64(SDValue Addr, SDValue &SRsrc,
Tom Stellardc53861a2015-02-11 00:34:32 +00001071 SDValue &VAddr, SDValue &SOffset,
NAKAMURA Takumi0a7d0ad2015-09-22 11:15:07 +00001072 SDValue &Offset,
1073 SDValue &SLC) const {
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001074 SLC = CurDAG->getTargetConstant(0, SDLoc(Addr), MVT::i1);
Tom Stellard1f9939f2015-02-27 14:59:41 +00001075 SDValue GLC, TFE;
Tom Stellard7980fc82014-09-25 18:30:26 +00001076
Tom Stellard1f9939f2015-02-27 14:59:41 +00001077 return SelectMUBUFAddr64(Addr, SRsrc, VAddr, SOffset, Offset, GLC, SLC, TFE);
Tom Stellard7980fc82014-09-25 18:30:26 +00001078}
1079
Matt Arsenaultac0fc842016-09-17 16:09:55 +00001080SDValue AMDGPUDAGToDAGISel::foldFrameIndex(SDValue N) const {
1081 if (auto FI = dyn_cast<FrameIndexSDNode>(N))
1082 return CurDAG->getTargetFrameIndex(FI->getIndex(), FI->getValueType(0));
1083 return N;
1084}
1085
Matt Arsenault0774ea22017-04-24 19:40:59 +00001086bool AMDGPUDAGToDAGISel::SelectMUBUFScratchOffen(SDValue Addr, SDValue &Rsrc,
1087 SDValue &VAddr, SDValue &SOffset,
1088 SDValue &ImmOffset) const {
Tom Stellardb02094e2014-07-21 15:45:01 +00001089
1090 SDLoc DL(Addr);
1091 MachineFunction &MF = CurDAG->getMachineFunction();
Matt Arsenault0e3d3892015-11-30 21:15:53 +00001092 const SIMachineFunctionInfo *Info = MF.getInfo<SIMachineFunctionInfo>();
Tom Stellardb02094e2014-07-21 15:45:01 +00001093
Matt Arsenault0e3d3892015-11-30 21:15:53 +00001094 Rsrc = CurDAG->getRegister(Info->getScratchRSrcReg(), MVT::v4i32);
Matt Arsenault26f8f3d2015-11-30 21:16:03 +00001095 SOffset = CurDAG->getRegister(Info->getScratchWaveOffsetReg(), MVT::i32);
Tom Stellardb02094e2014-07-21 15:45:01 +00001096
Matt Arsenault0774ea22017-04-24 19:40:59 +00001097 if (ConstantSDNode *CAddr = dyn_cast<ConstantSDNode>(Addr)) {
1098 unsigned Imm = CAddr->getZExtValue();
1099 assert(!isLegalMUBUFImmOffset(Imm) &&
1100 "should have been selected by other pattern");
1101
1102 SDValue HighBits = CurDAG->getTargetConstant(Imm & ~4095, DL, MVT::i32);
1103 MachineSDNode *MovHighBits = CurDAG->getMachineNode(AMDGPU::V_MOV_B32_e32,
1104 DL, MVT::i32, HighBits);
1105 VAddr = SDValue(MovHighBits, 0);
1106 ImmOffset = CurDAG->getTargetConstant(Imm & 4095, DL, MVT::i16);
1107 return true;
1108 }
1109
Tom Stellardb02094e2014-07-21 15:45:01 +00001110 if (CurDAG->isBaseWithConstantOffset(Addr)) {
Matt Arsenault0774ea22017-04-24 19:40:59 +00001111 // (add n0, c1)
1112
Tom Stellard78655fc2015-07-16 19:40:09 +00001113 SDValue N0 = Addr.getOperand(0);
Tom Stellardb02094e2014-07-21 15:45:01 +00001114 SDValue N1 = Addr.getOperand(1);
Matt Arsenaultcd099612016-02-24 04:55:29 +00001115
Tom Stellard78655fc2015-07-16 19:40:09 +00001116 // Offsets in vaddr must be positive.
Matt Arsenaultcd099612016-02-24 04:55:29 +00001117 ConstantSDNode *C1 = cast<ConstantSDNode>(N1);
Matt Arsenaultcb38a6b2016-03-21 18:02:18 +00001118 if (isLegalMUBUFImmOffset(C1)) {
Matt Arsenaultac0fc842016-09-17 16:09:55 +00001119 VAddr = foldFrameIndex(N0);
Matt Arsenaultcd099612016-02-24 04:55:29 +00001120 ImmOffset = CurDAG->getTargetConstant(C1->getZExtValue(), DL, MVT::i16);
1121 return true;
Tom Stellardb02094e2014-07-21 15:45:01 +00001122 }
1123 }
1124
Tom Stellardb02094e2014-07-21 15:45:01 +00001125 // (node)
Matt Arsenaultac0fc842016-09-17 16:09:55 +00001126 VAddr = foldFrameIndex(Addr);
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001127 ImmOffset = CurDAG->getTargetConstant(0, DL, MVT::i16);
Tom Stellardb02094e2014-07-21 15:45:01 +00001128 return true;
1129}
1130
Matt Arsenault0774ea22017-04-24 19:40:59 +00001131bool AMDGPUDAGToDAGISel::SelectMUBUFScratchOffset(SDValue Addr,
1132 SDValue &SRsrc,
1133 SDValue &SOffset,
1134 SDValue &Offset) const {
1135 ConstantSDNode *CAddr = dyn_cast<ConstantSDNode>(Addr);
1136 if (!CAddr || !isLegalMUBUFImmOffset(CAddr))
1137 return false;
1138
1139 SDLoc DL(Addr);
1140 MachineFunction &MF = CurDAG->getMachineFunction();
1141 const SIMachineFunctionInfo *Info = MF.getInfo<SIMachineFunctionInfo>();
1142
1143 SRsrc = CurDAG->getRegister(Info->getScratchRSrcReg(), MVT::v4i32);
1144 SOffset = CurDAG->getRegister(Info->getScratchWaveOffsetReg(), MVT::i32);
1145 Offset = CurDAG->getTargetConstant(CAddr->getZExtValue(), DL, MVT::i16);
1146 return true;
1147}
1148
Tom Stellard155bbb72014-08-11 22:18:17 +00001149bool AMDGPUDAGToDAGISel::SelectMUBUFOffset(SDValue Addr, SDValue &SRsrc,
1150 SDValue &SOffset, SDValue &Offset,
1151 SDValue &GLC, SDValue &SLC,
1152 SDValue &TFE) const {
1153 SDValue Ptr, VAddr, Offen, Idxen, Addr64;
Tom Stellard794c8c02014-12-02 17:05:41 +00001154 const SIInstrInfo *TII =
Eric Christopher7792e322015-01-30 23:24:40 +00001155 static_cast<const SIInstrInfo *>(Subtarget->getInstrInfo());
Tom Stellardb02094e2014-07-21 15:45:01 +00001156
Changpeng Fangb41574a2015-12-22 20:55:23 +00001157 if (!SelectMUBUF(Addr, Ptr, VAddr, SOffset, Offset, Offen, Idxen, Addr64,
1158 GLC, SLC, TFE))
1159 return false;
Tom Stellardb02094e2014-07-21 15:45:01 +00001160
Tom Stellard155bbb72014-08-11 22:18:17 +00001161 if (!cast<ConstantSDNode>(Offen)->getSExtValue() &&
1162 !cast<ConstantSDNode>(Idxen)->getSExtValue() &&
1163 !cast<ConstantSDNode>(Addr64)->getSExtValue()) {
Tom Stellard794c8c02014-12-02 17:05:41 +00001164 uint64_t Rsrc = TII->getDefaultRsrcDataFormat() |
Tom Stellard155bbb72014-08-11 22:18:17 +00001165 APInt::getAllOnesValue(32).getZExtValue(); // Size
1166 SDLoc DL(Addr);
Matt Arsenaultf3cd4512014-11-05 19:01:19 +00001167
1168 const SITargetLowering& Lowering =
1169 *static_cast<const SITargetLowering*>(getTargetLowering());
1170
1171 SRsrc = SDValue(Lowering.buildRSRC(*CurDAG, DL, Ptr, 0, Rsrc), 0);
Tom Stellard155bbb72014-08-11 22:18:17 +00001172 return true;
1173 }
1174 return false;
Tom Stellardb02094e2014-07-21 15:45:01 +00001175}
1176
Tom Stellard7980fc82014-09-25 18:30:26 +00001177bool AMDGPUDAGToDAGISel::SelectMUBUFOffset(SDValue Addr, SDValue &SRsrc,
Jan Vesely43b7b5b2016-04-07 19:23:11 +00001178 SDValue &Soffset, SDValue &Offset
1179 ) const {
1180 SDValue GLC, SLC, TFE;
1181
1182 return SelectMUBUFOffset(Addr, SRsrc, Soffset, Offset, GLC, SLC, TFE);
1183}
1184bool AMDGPUDAGToDAGISel::SelectMUBUFOffset(SDValue Addr, SDValue &SRsrc,
Tom Stellard7980fc82014-09-25 18:30:26 +00001185 SDValue &Soffset, SDValue &Offset,
Matt Arsenault88701812016-06-09 23:42:48 +00001186 SDValue &SLC) const {
1187 SDValue GLC, TFE;
Tom Stellard7980fc82014-09-25 18:30:26 +00001188
1189 return SelectMUBUFOffset(Addr, SRsrc, Soffset, Offset, GLC, SLC, TFE);
1190}
1191
Nicolai Haehnlea6092592016-06-15 07:13:05 +00001192bool AMDGPUDAGToDAGISel::SelectMUBUFConstant(SDValue Constant,
Nicolai Haehnle3003ba02016-03-18 16:24:20 +00001193 SDValue &SOffset,
1194 SDValue &ImmOffset) const {
1195 SDLoc DL(Constant);
1196 uint32_t Imm = cast<ConstantSDNode>(Constant)->getZExtValue();
1197 uint32_t Overflow = 0;
1198
1199 if (Imm >= 4096) {
1200 if (Imm <= 4095 + 64) {
1201 // Use an SOffset inline constant for 1..64
1202 Overflow = Imm - 4095;
1203 Imm = 4095;
1204 } else {
1205 // Try to keep the same value in SOffset for adjacent loads, so that
1206 // the corresponding register contents can be re-used.
1207 //
1208 // Load values with all low-bits set into SOffset, so that a larger
1209 // range of values can be covered using s_movk_i32
1210 uint32_t High = (Imm + 1) & ~4095;
1211 uint32_t Low = (Imm + 1) & 4095;
1212 Imm = Low;
1213 Overflow = High - 1;
1214 }
1215 }
1216
Nicolai Haehnlea6092592016-06-15 07:13:05 +00001217 // There is a hardware bug in SI and CI which prevents address clamping in
1218 // MUBUF instructions from working correctly with SOffsets. The immediate
1219 // offset is unaffected.
1220 if (Overflow > 0 &&
1221 Subtarget->getGeneration() <= AMDGPUSubtarget::SEA_ISLANDS)
1222 return false;
1223
Nicolai Haehnle3003ba02016-03-18 16:24:20 +00001224 ImmOffset = CurDAG->getTargetConstant(Imm, DL, MVT::i16);
1225
1226 if (Overflow <= 64)
1227 SOffset = CurDAG->getTargetConstant(Overflow, DL, MVT::i32);
1228 else
1229 SOffset = SDValue(CurDAG->getMachineNode(AMDGPU::S_MOV_B32, DL, MVT::i32,
1230 CurDAG->getTargetConstant(Overflow, DL, MVT::i32)),
1231 0);
Nicolai Haehnlea6092592016-06-15 07:13:05 +00001232
1233 return true;
Nicolai Haehnle3003ba02016-03-18 16:24:20 +00001234}
1235
1236bool AMDGPUDAGToDAGISel::SelectMUBUFIntrinsicOffset(SDValue Offset,
1237 SDValue &SOffset,
1238 SDValue &ImmOffset) const {
1239 SDLoc DL(Offset);
1240
1241 if (!isa<ConstantSDNode>(Offset))
1242 return false;
1243
Nicolai Haehnlea6092592016-06-15 07:13:05 +00001244 return SelectMUBUFConstant(Offset, SOffset, ImmOffset);
Nicolai Haehnle3003ba02016-03-18 16:24:20 +00001245}
1246
1247bool AMDGPUDAGToDAGISel::SelectMUBUFIntrinsicVOffset(SDValue Offset,
1248 SDValue &SOffset,
1249 SDValue &ImmOffset,
1250 SDValue &VOffset) const {
1251 SDLoc DL(Offset);
1252
1253 // Don't generate an unnecessary voffset for constant offsets.
Nicolai Haehnlea6092592016-06-15 07:13:05 +00001254 if (isa<ConstantSDNode>(Offset)) {
1255 SDValue Tmp1, Tmp2;
1256
1257 // When necessary, use a voffset in <= CI anyway to work around a hardware
1258 // bug.
1259 if (Subtarget->getGeneration() > AMDGPUSubtarget::SEA_ISLANDS ||
1260 SelectMUBUFConstant(Offset, Tmp1, Tmp2))
1261 return false;
1262 }
Nicolai Haehnle3003ba02016-03-18 16:24:20 +00001263
1264 if (CurDAG->isBaseWithConstantOffset(Offset)) {
1265 SDValue N0 = Offset.getOperand(0);
1266 SDValue N1 = Offset.getOperand(1);
Nicolai Haehnlea6092592016-06-15 07:13:05 +00001267 if (cast<ConstantSDNode>(N1)->getSExtValue() >= 0 &&
1268 SelectMUBUFConstant(N1, SOffset, ImmOffset)) {
1269 VOffset = N0;
1270 return true;
1271 }
Nicolai Haehnle3003ba02016-03-18 16:24:20 +00001272 }
1273
Nicolai Haehnlea6092592016-06-15 07:13:05 +00001274 SOffset = CurDAG->getTargetConstant(0, DL, MVT::i32);
1275 ImmOffset = CurDAG->getTargetConstant(0, DL, MVT::i16);
1276 VOffset = Offset;
1277
Nicolai Haehnle3003ba02016-03-18 16:24:20 +00001278 return true;
1279}
1280
Matt Arsenault7757c592016-06-09 23:42:54 +00001281bool AMDGPUDAGToDAGISel::SelectFlat(SDValue Addr,
1282 SDValue &VAddr,
1283 SDValue &SLC,
1284 SDValue &TFE) const {
1285 VAddr = Addr;
1286 TFE = SLC = CurDAG->getTargetConstant(0, SDLoc(), MVT::i1);
1287 return true;
1288}
1289
Tom Stellarddee26a22015-08-06 19:28:30 +00001290bool AMDGPUDAGToDAGISel::SelectSMRDOffset(SDValue ByteOffsetNode,
1291 SDValue &Offset, bool &Imm) const {
1292
1293 // FIXME: Handle non-constant offsets.
1294 ConstantSDNode *C = dyn_cast<ConstantSDNode>(ByteOffsetNode);
1295 if (!C)
1296 return false;
1297
1298 SDLoc SL(ByteOffsetNode);
1299 AMDGPUSubtarget::Generation Gen = Subtarget->getGeneration();
1300 int64_t ByteOffset = C->getSExtValue();
Tom Stellard08efb7e2017-01-27 18:41:14 +00001301 int64_t EncodedOffset = AMDGPU::getSMRDEncodedOffset(*Subtarget, ByteOffset);
Tom Stellarddee26a22015-08-06 19:28:30 +00001302
Tom Stellard08efb7e2017-01-27 18:41:14 +00001303 if (AMDGPU::isLegalSMRDImmOffset(*Subtarget, ByteOffset)) {
Tom Stellarddee26a22015-08-06 19:28:30 +00001304 Offset = CurDAG->getTargetConstant(EncodedOffset, SL, MVT::i32);
1305 Imm = true;
1306 return true;
1307 }
1308
Tom Stellard217361c2015-08-06 19:28:38 +00001309 if (!isUInt<32>(EncodedOffset) || !isUInt<32>(ByteOffset))
1310 return false;
1311
1312 if (Gen == AMDGPUSubtarget::SEA_ISLANDS && isUInt<32>(EncodedOffset)) {
1313 // 32-bit Immediates are supported on Sea Islands.
1314 Offset = CurDAG->getTargetConstant(EncodedOffset, SL, MVT::i32);
1315 } else {
Tom Stellarddee26a22015-08-06 19:28:30 +00001316 SDValue C32Bit = CurDAG->getTargetConstant(ByteOffset, SL, MVT::i32);
1317 Offset = SDValue(CurDAG->getMachineNode(AMDGPU::S_MOV_B32, SL, MVT::i32,
1318 C32Bit), 0);
Tom Stellarddee26a22015-08-06 19:28:30 +00001319 }
Tom Stellard217361c2015-08-06 19:28:38 +00001320 Imm = false;
1321 return true;
Tom Stellarddee26a22015-08-06 19:28:30 +00001322}
1323
1324bool AMDGPUDAGToDAGISel::SelectSMRD(SDValue Addr, SDValue &SBase,
1325 SDValue &Offset, bool &Imm) const {
Tom Stellarddee26a22015-08-06 19:28:30 +00001326 SDLoc SL(Addr);
1327 if (CurDAG->isBaseWithConstantOffset(Addr)) {
1328 SDValue N0 = Addr.getOperand(0);
1329 SDValue N1 = Addr.getOperand(1);
1330
1331 if (SelectSMRDOffset(N1, Offset, Imm)) {
1332 SBase = N0;
1333 return true;
1334 }
1335 }
1336 SBase = Addr;
1337 Offset = CurDAG->getTargetConstant(0, SL, MVT::i32);
1338 Imm = true;
1339 return true;
1340}
1341
1342bool AMDGPUDAGToDAGISel::SelectSMRDImm(SDValue Addr, SDValue &SBase,
1343 SDValue &Offset) const {
1344 bool Imm;
1345 return SelectSMRD(Addr, SBase, Offset, Imm) && Imm;
1346}
1347
Tom Stellard217361c2015-08-06 19:28:38 +00001348bool AMDGPUDAGToDAGISel::SelectSMRDImm32(SDValue Addr, SDValue &SBase,
1349 SDValue &Offset) const {
1350
1351 if (Subtarget->getGeneration() != AMDGPUSubtarget::SEA_ISLANDS)
1352 return false;
1353
1354 bool Imm;
1355 if (!SelectSMRD(Addr, SBase, Offset, Imm))
1356 return false;
1357
1358 return !Imm && isa<ConstantSDNode>(Offset);
1359}
1360
Tom Stellarddee26a22015-08-06 19:28:30 +00001361bool AMDGPUDAGToDAGISel::SelectSMRDSgpr(SDValue Addr, SDValue &SBase,
1362 SDValue &Offset) const {
1363 bool Imm;
Tom Stellard217361c2015-08-06 19:28:38 +00001364 return SelectSMRD(Addr, SBase, Offset, Imm) && !Imm &&
1365 !isa<ConstantSDNode>(Offset);
Tom Stellarddee26a22015-08-06 19:28:30 +00001366}
1367
1368bool AMDGPUDAGToDAGISel::SelectSMRDBufferImm(SDValue Addr,
1369 SDValue &Offset) const {
1370 bool Imm;
1371 return SelectSMRDOffset(Addr, Offset, Imm) && Imm;
1372}
1373
Tom Stellard217361c2015-08-06 19:28:38 +00001374bool AMDGPUDAGToDAGISel::SelectSMRDBufferImm32(SDValue Addr,
1375 SDValue &Offset) const {
1376 if (Subtarget->getGeneration() != AMDGPUSubtarget::SEA_ISLANDS)
1377 return false;
1378
1379 bool Imm;
1380 if (!SelectSMRDOffset(Addr, Offset, Imm))
1381 return false;
1382
1383 return !Imm && isa<ConstantSDNode>(Offset);
1384}
1385
Tom Stellarddee26a22015-08-06 19:28:30 +00001386bool AMDGPUDAGToDAGISel::SelectSMRDBufferSgpr(SDValue Addr,
1387 SDValue &Offset) const {
1388 bool Imm;
Tom Stellard217361c2015-08-06 19:28:38 +00001389 return SelectSMRDOffset(Addr, Offset, Imm) && !Imm &&
1390 !isa<ConstantSDNode>(Offset);
Tom Stellarddee26a22015-08-06 19:28:30 +00001391}
1392
Nicolai Haehnle7968c342016-07-12 08:12:16 +00001393bool AMDGPUDAGToDAGISel::SelectMOVRELOffset(SDValue Index,
1394 SDValue &Base,
1395 SDValue &Offset) const {
Matt Arsenault1322b6f2016-07-09 01:13:56 +00001396 SDLoc DL(Index);
1397
1398 if (CurDAG->isBaseWithConstantOffset(Index)) {
1399 SDValue N0 = Index.getOperand(0);
1400 SDValue N1 = Index.getOperand(1);
1401 ConstantSDNode *C1 = cast<ConstantSDNode>(N1);
1402
1403 // (add n0, c0)
1404 Base = N0;
1405 Offset = CurDAG->getTargetConstant(C1->getZExtValue(), DL, MVT::i32);
1406 return true;
1407 }
1408
Nicolai Haehnle7968c342016-07-12 08:12:16 +00001409 if (isa<ConstantSDNode>(Index))
1410 return false;
Matt Arsenault1322b6f2016-07-09 01:13:56 +00001411
1412 Base = Index;
1413 Offset = CurDAG->getTargetConstant(0, DL, MVT::i32);
1414 return true;
1415}
1416
Benjamin Kramerbdc49562016-06-12 15:39:02 +00001417SDNode *AMDGPUDAGToDAGISel::getS_BFE(unsigned Opcode, const SDLoc &DL,
1418 SDValue Val, uint32_t Offset,
1419 uint32_t Width) {
Marek Olsak9b728682015-03-24 13:40:27 +00001420 // Transformation function, pack the offset and width of a BFE into
1421 // the format expected by the S_BFE_I32 / S_BFE_U32. In the second
1422 // source, bits [5:0] contain the offset and bits [22:16] the width.
1423 uint32_t PackedVal = Offset | (Width << 16);
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001424 SDValue PackedConst = CurDAG->getTargetConstant(PackedVal, DL, MVT::i32);
Marek Olsak9b728682015-03-24 13:40:27 +00001425
1426 return CurDAG->getMachineNode(Opcode, DL, MVT::i32, Val, PackedConst);
1427}
1428
Justin Bogner95927c02016-05-12 21:03:32 +00001429void AMDGPUDAGToDAGISel::SelectS_BFEFromShifts(SDNode *N) {
Marek Olsak9b728682015-03-24 13:40:27 +00001430 // "(a << b) srl c)" ---> "BFE_U32 a, (c-b), (32-c)
1431 // "(a << b) sra c)" ---> "BFE_I32 a, (c-b), (32-c)
1432 // Predicate: 0 < b <= c < 32
1433
1434 const SDValue &Shl = N->getOperand(0);
1435 ConstantSDNode *B = dyn_cast<ConstantSDNode>(Shl->getOperand(1));
1436 ConstantSDNode *C = dyn_cast<ConstantSDNode>(N->getOperand(1));
1437
1438 if (B && C) {
1439 uint32_t BVal = B->getZExtValue();
1440 uint32_t CVal = C->getZExtValue();
1441
1442 if (0 < BVal && BVal <= CVal && CVal < 32) {
1443 bool Signed = N->getOpcode() == ISD::SRA;
1444 unsigned Opcode = Signed ? AMDGPU::S_BFE_I32 : AMDGPU::S_BFE_U32;
1445
Justin Bogner95927c02016-05-12 21:03:32 +00001446 ReplaceNode(N, getS_BFE(Opcode, SDLoc(N), Shl.getOperand(0), CVal - BVal,
1447 32 - CVal));
1448 return;
Marek Olsak9b728682015-03-24 13:40:27 +00001449 }
1450 }
Justin Bogner95927c02016-05-12 21:03:32 +00001451 SelectCode(N);
Marek Olsak9b728682015-03-24 13:40:27 +00001452}
1453
Justin Bogner95927c02016-05-12 21:03:32 +00001454void AMDGPUDAGToDAGISel::SelectS_BFE(SDNode *N) {
Marek Olsak9b728682015-03-24 13:40:27 +00001455 switch (N->getOpcode()) {
1456 case ISD::AND:
1457 if (N->getOperand(0).getOpcode() == ISD::SRL) {
1458 // "(a srl b) & mask" ---> "BFE_U32 a, b, popcount(mask)"
1459 // Predicate: isMask(mask)
1460 const SDValue &Srl = N->getOperand(0);
1461 ConstantSDNode *Shift = dyn_cast<ConstantSDNode>(Srl.getOperand(1));
1462 ConstantSDNode *Mask = dyn_cast<ConstantSDNode>(N->getOperand(1));
1463
1464 if (Shift && Mask) {
1465 uint32_t ShiftVal = Shift->getZExtValue();
1466 uint32_t MaskVal = Mask->getZExtValue();
1467
1468 if (isMask_32(MaskVal)) {
1469 uint32_t WidthVal = countPopulation(MaskVal);
1470
Justin Bogner95927c02016-05-12 21:03:32 +00001471 ReplaceNode(N, getS_BFE(AMDGPU::S_BFE_U32, SDLoc(N),
1472 Srl.getOperand(0), ShiftVal, WidthVal));
1473 return;
Marek Olsak9b728682015-03-24 13:40:27 +00001474 }
1475 }
1476 }
1477 break;
1478 case ISD::SRL:
1479 if (N->getOperand(0).getOpcode() == ISD::AND) {
1480 // "(a & mask) srl b)" ---> "BFE_U32 a, b, popcount(mask >> b)"
1481 // Predicate: isMask(mask >> b)
1482 const SDValue &And = N->getOperand(0);
1483 ConstantSDNode *Shift = dyn_cast<ConstantSDNode>(N->getOperand(1));
1484 ConstantSDNode *Mask = dyn_cast<ConstantSDNode>(And->getOperand(1));
1485
1486 if (Shift && Mask) {
1487 uint32_t ShiftVal = Shift->getZExtValue();
1488 uint32_t MaskVal = Mask->getZExtValue() >> ShiftVal;
1489
1490 if (isMask_32(MaskVal)) {
1491 uint32_t WidthVal = countPopulation(MaskVal);
1492
Justin Bogner95927c02016-05-12 21:03:32 +00001493 ReplaceNode(N, getS_BFE(AMDGPU::S_BFE_U32, SDLoc(N),
1494 And.getOperand(0), ShiftVal, WidthVal));
1495 return;
Marek Olsak9b728682015-03-24 13:40:27 +00001496 }
1497 }
Justin Bogner95927c02016-05-12 21:03:32 +00001498 } else if (N->getOperand(0).getOpcode() == ISD::SHL) {
1499 SelectS_BFEFromShifts(N);
1500 return;
1501 }
Marek Olsak9b728682015-03-24 13:40:27 +00001502 break;
1503 case ISD::SRA:
Justin Bogner95927c02016-05-12 21:03:32 +00001504 if (N->getOperand(0).getOpcode() == ISD::SHL) {
1505 SelectS_BFEFromShifts(N);
1506 return;
1507 }
Marek Olsak9b728682015-03-24 13:40:27 +00001508 break;
Matt Arsenault7e8de012016-04-22 22:59:16 +00001509
1510 case ISD::SIGN_EXTEND_INREG: {
1511 // sext_inreg (srl x, 16), i8 -> bfe_i32 x, 16, 8
1512 SDValue Src = N->getOperand(0);
1513 if (Src.getOpcode() != ISD::SRL)
1514 break;
1515
1516 const ConstantSDNode *Amt = dyn_cast<ConstantSDNode>(Src.getOperand(1));
1517 if (!Amt)
1518 break;
1519
1520 unsigned Width = cast<VTSDNode>(N->getOperand(1))->getVT().getSizeInBits();
Justin Bogner95927c02016-05-12 21:03:32 +00001521 ReplaceNode(N, getS_BFE(AMDGPU::S_BFE_I32, SDLoc(N), Src.getOperand(0),
1522 Amt->getZExtValue(), Width));
1523 return;
Matt Arsenault7e8de012016-04-22 22:59:16 +00001524 }
Marek Olsak9b728682015-03-24 13:40:27 +00001525 }
1526
Justin Bogner95927c02016-05-12 21:03:32 +00001527 SelectCode(N);
Marek Olsak9b728682015-03-24 13:40:27 +00001528}
1529
Matt Arsenault7b1dc2c2016-09-17 02:02:19 +00001530bool AMDGPUDAGToDAGISel::isCBranchSCC(const SDNode *N) const {
1531 assert(N->getOpcode() == ISD::BRCOND);
1532 if (!N->hasOneUse())
1533 return false;
1534
1535 SDValue Cond = N->getOperand(1);
1536 if (Cond.getOpcode() == ISD::CopyToReg)
1537 Cond = Cond.getOperand(2);
1538
1539 if (Cond.getOpcode() != ISD::SETCC || !Cond.hasOneUse())
1540 return false;
1541
1542 MVT VT = Cond.getOperand(0).getSimpleValueType();
1543 if (VT == MVT::i32)
1544 return true;
1545
1546 if (VT == MVT::i64) {
1547 auto ST = static_cast<const SISubtarget *>(Subtarget);
1548
1549 ISD::CondCode CC = cast<CondCodeSDNode>(Cond.getOperand(2))->get();
1550 return (CC == ISD::SETEQ || CC == ISD::SETNE) && ST->hasScalarCompareEq64();
1551 }
1552
1553 return false;
1554}
1555
Justin Bogner95927c02016-05-12 21:03:32 +00001556void AMDGPUDAGToDAGISel::SelectBRCOND(SDNode *N) {
Tom Stellardbc4497b2016-02-12 23:45:29 +00001557 SDValue Cond = N->getOperand(1);
1558
Matt Arsenault327188a2016-12-15 21:57:11 +00001559 if (Cond.isUndef()) {
1560 CurDAG->SelectNodeTo(N, AMDGPU::SI_BR_UNDEF, MVT::Other,
1561 N->getOperand(2), N->getOperand(0));
1562 return;
1563 }
1564
Tom Stellardbc4497b2016-02-12 23:45:29 +00001565 if (isCBranchSCC(N)) {
1566 // This brcond will use S_CBRANCH_SCC*, so let tablegen handle it.
Justin Bogner95927c02016-05-12 21:03:32 +00001567 SelectCode(N);
1568 return;
Tom Stellardbc4497b2016-02-12 23:45:29 +00001569 }
1570
Tom Stellardbc4497b2016-02-12 23:45:29 +00001571 SDLoc SL(N);
1572
Matt Arsenaultf530e8b2016-11-07 19:09:33 +00001573 SDValue VCC = CurDAG->getCopyToReg(N->getOperand(0), SL, AMDGPU::VCC, Cond);
Justin Bogner95927c02016-05-12 21:03:32 +00001574 CurDAG->SelectNodeTo(N, AMDGPU::S_CBRANCH_VCCNZ, MVT::Other,
1575 N->getOperand(2), // Basic Block
Matt Arsenaultf530e8b2016-11-07 19:09:33 +00001576 VCC.getValue(0));
Tom Stellardbc4497b2016-02-12 23:45:29 +00001577}
1578
Matt Arsenault88701812016-06-09 23:42:48 +00001579// This is here because there isn't a way to use the generated sub0_sub1 as the
1580// subreg index to EXTRACT_SUBREG in tablegen.
1581void AMDGPUDAGToDAGISel::SelectATOMIC_CMP_SWAP(SDNode *N) {
1582 MemSDNode *Mem = cast<MemSDNode>(N);
1583 unsigned AS = Mem->getAddressSpace();
Yaxun Liu1a14bfa2017-03-27 14:04:01 +00001584 if (AS == AMDGPUASI.FLAT_ADDRESS) {
Matt Arsenault7757c592016-06-09 23:42:54 +00001585 SelectCode(N);
1586 return;
1587 }
Matt Arsenault88701812016-06-09 23:42:48 +00001588
1589 MVT VT = N->getSimpleValueType(0);
1590 bool Is32 = (VT == MVT::i32);
1591 SDLoc SL(N);
1592
1593 MachineSDNode *CmpSwap = nullptr;
1594 if (Subtarget->hasAddr64()) {
1595 SDValue SRsrc, VAddr, SOffset, Offset, GLC, SLC;
1596
1597 if (SelectMUBUFAddr64(Mem->getBasePtr(), SRsrc, VAddr, SOffset, Offset, SLC)) {
1598 unsigned Opcode = Is32 ? AMDGPU::BUFFER_ATOMIC_CMPSWAP_RTN_ADDR64 :
1599 AMDGPU::BUFFER_ATOMIC_CMPSWAP_X2_RTN_ADDR64;
1600 SDValue CmpVal = Mem->getOperand(2);
1601
1602 // XXX - Do we care about glue operands?
1603
1604 SDValue Ops[] = {
1605 CmpVal, VAddr, SRsrc, SOffset, Offset, SLC, Mem->getChain()
1606 };
1607
1608 CmpSwap = CurDAG->getMachineNode(Opcode, SL, Mem->getVTList(), Ops);
1609 }
1610 }
1611
1612 if (!CmpSwap) {
1613 SDValue SRsrc, SOffset, Offset, SLC;
1614 if (SelectMUBUFOffset(Mem->getBasePtr(), SRsrc, SOffset, Offset, SLC)) {
1615 unsigned Opcode = Is32 ? AMDGPU::BUFFER_ATOMIC_CMPSWAP_RTN_OFFSET :
1616 AMDGPU::BUFFER_ATOMIC_CMPSWAP_X2_RTN_OFFSET;
1617
1618 SDValue CmpVal = Mem->getOperand(2);
1619 SDValue Ops[] = {
1620 CmpVal, SRsrc, SOffset, Offset, SLC, Mem->getChain()
1621 };
1622
1623 CmpSwap = CurDAG->getMachineNode(Opcode, SL, Mem->getVTList(), Ops);
1624 }
1625 }
1626
1627 if (!CmpSwap) {
1628 SelectCode(N);
1629 return;
1630 }
1631
1632 MachineSDNode::mmo_iterator MMOs = MF->allocateMemRefsArray(1);
1633 *MMOs = Mem->getMemOperand();
1634 CmpSwap->setMemRefs(MMOs, MMOs + 1);
1635
1636 unsigned SubReg = Is32 ? AMDGPU::sub0 : AMDGPU::sub0_sub1;
1637 SDValue Extract
1638 = CurDAG->getTargetExtractSubreg(SubReg, SL, VT, SDValue(CmpSwap, 0));
1639
1640 ReplaceUses(SDValue(N, 0), Extract);
1641 ReplaceUses(SDValue(N, 1), SDValue(CmpSwap, 1));
1642 CurDAG->RemoveDeadNode(N);
1643}
1644
Tom Stellardb4a313a2014-08-01 00:32:39 +00001645bool AMDGPUDAGToDAGISel::SelectVOP3Mods(SDValue In, SDValue &Src,
1646 SDValue &SrcMods) const {
Tom Stellardb4a313a2014-08-01 00:32:39 +00001647 unsigned Mods = 0;
Tom Stellardb4a313a2014-08-01 00:32:39 +00001648 Src = In;
1649
1650 if (Src.getOpcode() == ISD::FNEG) {
1651 Mods |= SISrcMods::NEG;
1652 Src = Src.getOperand(0);
1653 }
1654
1655 if (Src.getOpcode() == ISD::FABS) {
1656 Mods |= SISrcMods::ABS;
1657 Src = Src.getOperand(0);
1658 }
1659
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001660 SrcMods = CurDAG->getTargetConstant(Mods, SDLoc(In), MVT::i32);
Tom Stellardb4a313a2014-08-01 00:32:39 +00001661 return true;
1662}
1663
Matt Arsenaultf84e5d92017-01-31 03:07:46 +00001664bool AMDGPUDAGToDAGISel::SelectVOP3Mods_NNaN(SDValue In, SDValue &Src,
1665 SDValue &SrcMods) const {
1666 SelectVOP3Mods(In, Src, SrcMods);
1667 return isNoNanSrc(Src);
1668}
1669
Tom Stellarddb5a11f2015-07-13 15:47:57 +00001670bool AMDGPUDAGToDAGISel::SelectVOP3NoMods(SDValue In, SDValue &Src,
1671 SDValue &SrcMods) const {
1672 bool Res = SelectVOP3Mods(In, Src, SrcMods);
1673 return Res && cast<ConstantSDNode>(SrcMods)->isNullValue();
1674}
1675
Tom Stellardb4a313a2014-08-01 00:32:39 +00001676bool AMDGPUDAGToDAGISel::SelectVOP3Mods0(SDValue In, SDValue &Src,
1677 SDValue &SrcMods, SDValue &Clamp,
1678 SDValue &Omod) const {
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001679 SDLoc DL(In);
Tom Stellardb4a313a2014-08-01 00:32:39 +00001680 // FIXME: Handle Clamp and Omod
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001681 Clamp = CurDAG->getTargetConstant(0, DL, MVT::i32);
1682 Omod = CurDAG->getTargetConstant(0, DL, MVT::i32);
Tom Stellardb4a313a2014-08-01 00:32:39 +00001683
1684 return SelectVOP3Mods(In, Src, SrcMods);
1685}
1686
Tom Stellarddb5a11f2015-07-13 15:47:57 +00001687bool AMDGPUDAGToDAGISel::SelectVOP3NoMods0(SDValue In, SDValue &Src,
1688 SDValue &SrcMods, SDValue &Clamp,
1689 SDValue &Omod) const {
1690 bool Res = SelectVOP3Mods0(In, Src, SrcMods, Clamp, Omod);
1691
1692 return Res && cast<ConstantSDNode>(SrcMods)->isNullValue() &&
1693 cast<ConstantSDNode>(Clamp)->isNullValue() &&
1694 cast<ConstantSDNode>(Omod)->isNullValue();
1695}
1696
Matt Arsenault1cffa4c2014-11-13 19:49:04 +00001697bool AMDGPUDAGToDAGISel::SelectVOP3Mods0Clamp(SDValue In, SDValue &Src,
1698 SDValue &SrcMods,
1699 SDValue &Omod) const {
1700 // FIXME: Handle Omod
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001701 Omod = CurDAG->getTargetConstant(0, SDLoc(In), MVT::i32);
Matt Arsenault1cffa4c2014-11-13 19:49:04 +00001702
1703 return SelectVOP3Mods(In, Src, SrcMods);
1704}
1705
Matt Arsenault4831ce52015-01-06 23:00:37 +00001706bool AMDGPUDAGToDAGISel::SelectVOP3Mods0Clamp0OMod(SDValue In, SDValue &Src,
1707 SDValue &SrcMods,
1708 SDValue &Clamp,
1709 SDValue &Omod) const {
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +00001710 Clamp = Omod = CurDAG->getTargetConstant(0, SDLoc(In), MVT::i32);
Matt Arsenault4831ce52015-01-06 23:00:37 +00001711 return SelectVOP3Mods(In, Src, SrcMods);
1712}
1713
Dmitry Preobrazhenskyc512d442017-03-27 15:57:17 +00001714bool AMDGPUDAGToDAGISel::SelectVOP3OMods(SDValue In, SDValue &Src,
1715 SDValue &Clamp, SDValue &Omod) const {
1716 Src = In;
1717
1718 SDLoc DL(In);
1719 // FIXME: Handle Clamp and Omod
1720 Clamp = CurDAG->getTargetConstant(0, DL, MVT::i32);
1721 Omod = CurDAG->getTargetConstant(0, DL, MVT::i32);
1722
1723 return true;
1724}
1725
Matt Arsenaulteb522e62017-02-27 22:15:25 +00001726bool AMDGPUDAGToDAGISel::SelectVOP3PMods(SDValue In, SDValue &Src,
1727 SDValue &SrcMods) const {
1728 unsigned Mods = 0;
1729 Src = In;
1730
1731 // FIXME: Look for on separate components
1732 if (Src.getOpcode() == ISD::FNEG) {
1733 Mods |= (SISrcMods::NEG | SISrcMods::NEG_HI);
1734 Src = Src.getOperand(0);
1735 }
1736
1737 // Packed instructions do not have abs modifiers.
1738
1739 // FIXME: Handle abs/neg of individual components.
1740 // FIXME: Handle swizzling with op_sel
1741 Mods |= SISrcMods::OP_SEL_1;
1742
1743 SrcMods = CurDAG->getTargetConstant(Mods, SDLoc(In), MVT::i32);
1744 return true;
1745}
1746
1747bool AMDGPUDAGToDAGISel::SelectVOP3PMods0(SDValue In, SDValue &Src,
1748 SDValue &SrcMods,
1749 SDValue &Clamp) const {
1750 SDLoc SL(In);
1751
1752 // FIXME: Handle clamp and op_sel
1753 Clamp = CurDAG->getTargetConstant(0, SL, MVT::i32);
1754
1755 return SelectVOP3PMods(In, Src, SrcMods);
1756}
1757
Christian Konigd910b7d2013-02-26 17:52:16 +00001758void AMDGPUDAGToDAGISel::PostprocessISelDAG() {
Bill Wendlinga3cd3502013-06-19 21:36:55 +00001759 const AMDGPUTargetLowering& Lowering =
Matt Arsenault209a7b92014-04-18 07:40:20 +00001760 *static_cast<const AMDGPUTargetLowering*>(getTargetLowering());
Vincent Lejeuneab3baf82013-09-12 23:44:44 +00001761 bool IsModified = false;
1762 do {
1763 IsModified = false;
1764 // Go over all selected nodes and try to fold them a bit more
Pete Cooper65c69402015-07-14 22:10:54 +00001765 for (SDNode &Node : CurDAG->allnodes()) {
1766 MachineSDNode *MachineNode = dyn_cast<MachineSDNode>(&Node);
Vincent Lejeuneab3baf82013-09-12 23:44:44 +00001767 if (!MachineNode)
1768 continue;
Christian Konigd910b7d2013-02-26 17:52:16 +00001769
Vincent Lejeuneab3baf82013-09-12 23:44:44 +00001770 SDNode *ResNode = Lowering.PostISelFolding(MachineNode, *CurDAG);
Pete Cooper65c69402015-07-14 22:10:54 +00001771 if (ResNode != &Node) {
1772 ReplaceUses(&Node, ResNode);
Vincent Lejeuneab3baf82013-09-12 23:44:44 +00001773 IsModified = true;
1774 }
Tom Stellard2183b702013-06-03 17:39:46 +00001775 }
Vincent Lejeuneab3baf82013-09-12 23:44:44 +00001776 CurDAG->RemoveDeadNodes();
1777 } while (IsModified);
Christian Konigd910b7d2013-02-26 17:52:16 +00001778}