Matt Arsenault | 7836f89 | 2016-01-20 21:22:21 +0000 | [diff] [blame] | 1 | //===-- AMDGPUISelDAGToDAG.cpp - A dag to dag inst selector for AMDGPU ----===// |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 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 | //===----------------------------------------------------------------------===// |
Matt Arsenault | 592d068 | 2015-12-01 23:04:05 +0000 | [diff] [blame] | 14 | |
Eugene Zelenko | 2bc2f33 | 2016-12-09 22:06:55 +0000 | [diff] [blame] | 15 | #include "AMDGPU.h" |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 16 | #include "AMDGPUInstrInfo.h" |
Eugene Zelenko | 2bc2f33 | 2016-12-09 22:06:55 +0000 | [diff] [blame] | 17 | #include "AMDGPURegisterInfo.h" |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 18 | #include "AMDGPUISelLowering.h" // For AMDGPUISD |
Tom Stellard | 2e59a45 | 2014-06-13 01:32:00 +0000 | [diff] [blame] | 19 | #include "AMDGPUSubtarget.h" |
Eugene Zelenko | 2bc2f33 | 2016-12-09 22:06:55 +0000 | [diff] [blame] | 20 | #include "SIDefines.h" |
| 21 | #include "SIInstrInfo.h" |
| 22 | #include "SIRegisterInfo.h" |
Christian Konig | f82901a | 2013-02-26 17:52:23 +0000 | [diff] [blame] | 23 | #include "SIISelLowering.h" |
Tom Stellard | b02094e | 2014-07-21 15:45:01 +0000 | [diff] [blame] | 24 | #include "SIMachineFunctionInfo.h" |
Eugene Zelenko | 2bc2f33 | 2016-12-09 22:06:55 +0000 | [diff] [blame] | 25 | #include "llvm/ADT/APInt.h" |
| 26 | #include "llvm/ADT/SmallVector.h" |
| 27 | #include "llvm/ADT/StringRef.h" |
Jan Vesely | f97de00 | 2016-05-13 20:39:29 +0000 | [diff] [blame] | 28 | #include "llvm/Analysis/ValueTracking.h" |
Tom Stellard | 58ac744 | 2014-04-29 23:12:48 +0000 | [diff] [blame] | 29 | #include "llvm/CodeGen/FunctionLoweringInfo.h" |
Eugene Zelenko | 2bc2f33 | 2016-12-09 22:06:55 +0000 | [diff] [blame] | 30 | #include "llvm/CodeGen/ISDOpcodes.h" |
| 31 | #include "llvm/CodeGen/MachineFunction.h" |
| 32 | #include "llvm/CodeGen/MachineRegisterInfo.h" |
| 33 | #include "llvm/CodeGen/MachineValueType.h" |
Benjamin Kramer | d78bb46 | 2013-05-23 17:10:37 +0000 | [diff] [blame] | 34 | #include "llvm/CodeGen/SelectionDAG.h" |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 35 | #include "llvm/CodeGen/SelectionDAGISel.h" |
Eugene Zelenko | 2bc2f33 | 2016-12-09 22:06:55 +0000 | [diff] [blame] | 36 | #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 Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 49 | |
| 50 | using namespace llvm; |
| 51 | |
Matt Arsenault | d275921 | 2016-02-13 01:24:08 +0000 | [diff] [blame] | 52 | namespace llvm { |
Eugene Zelenko | 2bc2f33 | 2016-12-09 22:06:55 +0000 | [diff] [blame] | 53 | |
Matt Arsenault | d275921 | 2016-02-13 01:24:08 +0000 | [diff] [blame] | 54 | class R600InstrInfo; |
Eugene Zelenko | 2bc2f33 | 2016-12-09 22:06:55 +0000 | [diff] [blame] | 55 | |
| 56 | } // end namespace llvm |
Matt Arsenault | d275921 | 2016-02-13 01:24:08 +0000 | [diff] [blame] | 57 | |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 58 | //===----------------------------------------------------------------------===// |
| 59 | // Instruction Selector Implementation |
| 60 | //===----------------------------------------------------------------------===// |
| 61 | |
| 62 | namespace { |
Tom Stellard | bc4497b | 2016-02-12 23:45:29 +0000 | [diff] [blame] | 63 | |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 64 | /// AMDGPU specific code to select AMDGPU machine instructions for |
| 65 | /// SelectionDAG operations. |
| 66 | class 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 Christopher | 7792e32 | 2015-01-30 23:24:40 +0000 | [diff] [blame] | 69 | const AMDGPUSubtarget *Subtarget; |
Yaxun Liu | 1a14bfa | 2017-03-27 14:04:01 +0000 | [diff] [blame] | 70 | AMDGPUAS AMDGPUASI; |
NAKAMURA Takumi | a9cb538 | 2015-09-22 11:14:39 +0000 | [diff] [blame] | 71 | |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 72 | public: |
Konstantin Zhuravlyov | 60a8373 | 2016-10-03 18:47:26 +0000 | [diff] [blame] | 73 | explicit AMDGPUDAGToDAGISel(TargetMachine &TM, CodeGenOpt::Level OptLevel) |
Yaxun Liu | 1a14bfa | 2017-03-27 14:04:01 +0000 | [diff] [blame] | 74 | : SelectionDAGISel(TM, OptLevel){ |
| 75 | AMDGPUASI = AMDGPU::getAMDGPUAS(TM); |
| 76 | } |
Eugene Zelenko | 2bc2f33 | 2016-12-09 22:06:55 +0000 | [diff] [blame] | 77 | ~AMDGPUDAGToDAGISel() override = default; |
Konstantin Zhuravlyov | 60a8373 | 2016-10-03 18:47:26 +0000 | [diff] [blame] | 78 | |
Eric Christopher | 7792e32 | 2015-01-30 23:24:40 +0000 | [diff] [blame] | 79 | bool runOnMachineFunction(MachineFunction &MF) override; |
Justin Bogner | 95927c0 | 2016-05-12 21:03:32 +0000 | [diff] [blame] | 80 | void Select(SDNode *N) override; |
Mehdi Amini | 117296c | 2016-10-01 02:56:57 +0000 | [diff] [blame] | 81 | StringRef getPassName() const override; |
Craig Topper | 5656db4 | 2014-04-29 07:57:24 +0000 | [diff] [blame] | 82 | void PostprocessISelDAG() override; |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 83 | |
| 84 | private: |
Matt Arsenault | ac0fc84 | 2016-09-17 16:09:55 +0000 | [diff] [blame] | 85 | SDValue foldFrameIndex(SDValue N) const; |
Matt Arsenault | f84e5d9 | 2017-01-31 03:07:46 +0000 | [diff] [blame] | 86 | bool isNoNanSrc(SDValue N) const; |
Matt Arsenault | fe26775 | 2016-07-28 00:32:02 +0000 | [diff] [blame] | 87 | bool isInlineImmediate(const SDNode *N) const; |
Vincent Lejeune | c689679 | 2013-06-04 23:17:15 +0000 | [diff] [blame] | 88 | bool FoldOperand(SDValue &Src, SDValue &Sel, SDValue &Neg, SDValue &Abs, |
Tom Stellard | 8402144 | 2013-07-23 01:48:24 +0000 | [diff] [blame] | 89 | const R600InstrInfo *TII); |
Tom Stellard | 365366f | 2013-01-23 02:09:06 +0000 | [diff] [blame] | 90 | bool FoldOperands(unsigned, const R600InstrInfo *, std::vector<SDValue> &); |
Vincent Lejeune | c689679 | 2013-06-04 23:17:15 +0000 | [diff] [blame] | 91 | bool FoldDotOperands(unsigned, const R600InstrInfo *, std::vector<SDValue> &); |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 92 | |
Jan Vesely | 43b7b5b | 2016-04-07 19:23:11 +0000 | [diff] [blame] | 93 | bool isConstantLoad(const MemSDNode *N, int cbID) const; |
Tom Stellard | bc4497b | 2016-02-12 23:45:29 +0000 | [diff] [blame] | 94 | bool isUniformBr(const SDNode *N) const; |
| 95 | |
Tom Stellard | 381a94a | 2015-05-12 15:00:49 +0000 | [diff] [blame] | 96 | SDNode *glueCopyToM0(SDNode *N) const; |
| 97 | |
Tom Stellard | df94dc3 | 2013-08-14 23:24:24 +0000 | [diff] [blame] | 98 | const TargetRegisterClass *getOperandRegClass(SDNode *N, unsigned OpNo) const; |
Tom Stellard | 365366f | 2013-01-23 02:09:06 +0000 | [diff] [blame] | 99 | bool SelectGlobalValueConstantOffset(SDValue Addr, SDValue& IntPtr); |
Matt Arsenault | 209a7b9 | 2014-04-18 07:40:20 +0000 | [diff] [blame] | 100 | bool SelectGlobalValueVariableOffset(SDValue Addr, SDValue &BaseReg, |
| 101 | SDValue& Offset); |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 102 | bool SelectADDRVTX_READ(SDValue Addr, SDValue &Base, SDValue &Offset); |
Tom Stellard | f3b2a1e | 2013-02-06 17:32:29 +0000 | [diff] [blame] | 103 | bool SelectADDRIndirect(SDValue Addr, SDValue &Base, SDValue &Offset); |
Tom Stellard | 85e8b6d | 2014-08-22 18:49:33 +0000 | [diff] [blame] | 104 | bool isDSOffsetLegal(const SDValue &Base, unsigned Offset, |
| 105 | unsigned OffsetBits) const; |
| 106 | bool SelectDS1Addr1Offset(SDValue Ptr, SDValue &Base, SDValue &Offset) const; |
Tom Stellard | f3fc555 | 2014-08-22 18:49:35 +0000 | [diff] [blame] | 107 | bool SelectDS64Bit4ByteAligned(SDValue Ptr, SDValue &Base, SDValue &Offset0, |
| 108 | SDValue &Offset1) const; |
Changpeng Fang | b41574a | 2015-12-22 20:55:23 +0000 | [diff] [blame] | 109 | bool SelectMUBUF(SDValue Addr, SDValue &SRsrc, SDValue &VAddr, |
Tom Stellard | 155bbb7 | 2014-08-11 22:18:17 +0000 | [diff] [blame] | 110 | 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 Stellard | 1f9939f | 2015-02-27 14:59:41 +0000 | [diff] [blame] | 114 | SDValue &SOffset, SDValue &Offset, SDValue &GLC, |
| 115 | SDValue &SLC, SDValue &TFE) const; |
Tom Stellard | 7980fc8 | 2014-09-25 18:30:26 +0000 | [diff] [blame] | 116 | bool SelectMUBUFAddr64(SDValue Addr, SDValue &SRsrc, |
Tom Stellard | c53861a | 2015-02-11 00:34:32 +0000 | [diff] [blame] | 117 | SDValue &VAddr, SDValue &SOffset, SDValue &Offset, |
Tom Stellard | 7980fc8 | 2014-09-25 18:30:26 +0000 | [diff] [blame] | 118 | SDValue &SLC) const; |
Tom Stellard | b02094e | 2014-07-21 15:45:01 +0000 | [diff] [blame] | 119 | bool SelectMUBUFScratch(SDValue Addr, SDValue &RSrc, SDValue &VAddr, |
| 120 | SDValue &SOffset, SDValue &ImmOffset) const; |
Tom Stellard | 155bbb7 | 2014-08-11 22:18:17 +0000 | [diff] [blame] | 121 | bool SelectMUBUFOffset(SDValue Addr, SDValue &SRsrc, SDValue &SOffset, |
| 122 | SDValue &Offset, SDValue &GLC, SDValue &SLC, |
Tom Stellard | b02094e | 2014-07-21 15:45:01 +0000 | [diff] [blame] | 123 | SDValue &TFE) const; |
Tom Stellard | 7980fc8 | 2014-09-25 18:30:26 +0000 | [diff] [blame] | 124 | bool SelectMUBUFOffset(SDValue Addr, SDValue &SRsrc, SDValue &Soffset, |
Matt Arsenault | 8870181 | 2016-06-09 23:42:48 +0000 | [diff] [blame] | 125 | SDValue &Offset, SDValue &SLC) const; |
Jan Vesely | 43b7b5b | 2016-04-07 19:23:11 +0000 | [diff] [blame] | 126 | bool SelectMUBUFOffset(SDValue Addr, SDValue &SRsrc, SDValue &Soffset, |
| 127 | SDValue &Offset) const; |
Nicolai Haehnle | a609259 | 2016-06-15 07:13:05 +0000 | [diff] [blame] | 128 | bool SelectMUBUFConstant(SDValue Constant, |
Nicolai Haehnle | 3003ba0 | 2016-03-18 16:24:20 +0000 | [diff] [blame] | 129 | SDValue &SOffset, |
| 130 | SDValue &ImmOffset) const; |
| 131 | bool SelectMUBUFIntrinsicOffset(SDValue Offset, SDValue &SOffset, |
| 132 | SDValue &ImmOffset) const; |
| 133 | bool SelectMUBUFIntrinsicVOffset(SDValue Offset, SDValue &SOffset, |
| 134 | SDValue &ImmOffset, SDValue &VOffset) const; |
Matt Arsenault | 7757c59 | 2016-06-09 23:42:54 +0000 | [diff] [blame] | 135 | |
| 136 | bool SelectFlat(SDValue Addr, SDValue &VAddr, |
| 137 | SDValue &SLC, SDValue &TFE) const; |
| 138 | |
Tom Stellard | dee26a2 | 2015-08-06 19:28:30 +0000 | [diff] [blame] | 139 | bool SelectSMRDOffset(SDValue ByteOffsetNode, SDValue &Offset, |
| 140 | bool &Imm) const; |
| 141 | bool SelectSMRD(SDValue Addr, SDValue &SBase, SDValue &Offset, |
| 142 | bool &Imm) const; |
| 143 | bool SelectSMRDImm(SDValue Addr, SDValue &SBase, SDValue &Offset) const; |
Tom Stellard | 217361c | 2015-08-06 19:28:38 +0000 | [diff] [blame] | 144 | bool SelectSMRDImm32(SDValue Addr, SDValue &SBase, SDValue &Offset) const; |
Tom Stellard | dee26a2 | 2015-08-06 19:28:30 +0000 | [diff] [blame] | 145 | bool SelectSMRDSgpr(SDValue Addr, SDValue &SBase, SDValue &Offset) const; |
| 146 | bool SelectSMRDBufferImm(SDValue Addr, SDValue &Offset) const; |
Tom Stellard | 217361c | 2015-08-06 19:28:38 +0000 | [diff] [blame] | 147 | bool SelectSMRDBufferImm32(SDValue Addr, SDValue &Offset) const; |
Tom Stellard | dee26a2 | 2015-08-06 19:28:30 +0000 | [diff] [blame] | 148 | bool SelectSMRDBufferSgpr(SDValue Addr, SDValue &Offset) const; |
Nicolai Haehnle | 7968c34 | 2016-07-12 08:12:16 +0000 | [diff] [blame] | 149 | bool SelectMOVRELOffset(SDValue Index, SDValue &Base, SDValue &Offset) const; |
Matt Arsenault | f84e5d9 | 2017-01-31 03:07:46 +0000 | [diff] [blame] | 150 | |
| 151 | bool SelectVOP3Mods_NNaN(SDValue In, SDValue &Src, SDValue &SrcMods) const; |
Tom Stellard | b4a313a | 2014-08-01 00:32:39 +0000 | [diff] [blame] | 152 | bool SelectVOP3Mods(SDValue In, SDValue &Src, SDValue &SrcMods) const; |
Tom Stellard | db5a11f | 2015-07-13 15:47:57 +0000 | [diff] [blame] | 153 | bool SelectVOP3NoMods(SDValue In, SDValue &Src, SDValue &SrcMods) const; |
Tom Stellard | b4a313a | 2014-08-01 00:32:39 +0000 | [diff] [blame] | 154 | bool SelectVOP3Mods0(SDValue In, SDValue &Src, SDValue &SrcMods, |
| 155 | SDValue &Clamp, SDValue &Omod) const; |
Tom Stellard | db5a11f | 2015-07-13 15:47:57 +0000 | [diff] [blame] | 156 | bool SelectVOP3NoMods0(SDValue In, SDValue &Src, SDValue &SrcMods, |
| 157 | SDValue &Clamp, SDValue &Omod) const; |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 158 | |
Matt Arsenault | 1cffa4c | 2014-11-13 19:49:04 +0000 | [diff] [blame] | 159 | bool SelectVOP3Mods0Clamp(SDValue In, SDValue &Src, SDValue &SrcMods, |
| 160 | SDValue &Omod) const; |
Matt Arsenault | 4831ce5 | 2015-01-06 23:00:37 +0000 | [diff] [blame] | 161 | bool SelectVOP3Mods0Clamp0OMod(SDValue In, SDValue &Src, SDValue &SrcMods, |
| 162 | SDValue &Clamp, |
| 163 | SDValue &Omod) const; |
Matt Arsenault | 1cffa4c | 2014-11-13 19:49:04 +0000 | [diff] [blame] | 164 | |
Dmitry Preobrazhensky | c512d44 | 2017-03-27 15:57:17 +0000 | [diff] [blame] | 165 | bool SelectVOP3OMods(SDValue In, SDValue &Src, |
| 166 | SDValue &Clamp, SDValue &Omod) const; |
| 167 | |
Matt Arsenault | eb522e6 | 2017-02-27 22:15:25 +0000 | [diff] [blame] | 168 | bool SelectVOP3PMods(SDValue In, SDValue &Src, SDValue &SrcMods) const; |
| 169 | bool SelectVOP3PMods0(SDValue In, SDValue &Src, SDValue &SrcMods, |
| 170 | SDValue &Clamp) const; |
| 171 | |
Justin Bogner | 95927c0 | 2016-05-12 21:03:32 +0000 | [diff] [blame] | 172 | void SelectADD_SUB_I64(SDNode *N); |
Matt Arsenault | ee3f0ac | 2017-01-30 18:11:38 +0000 | [diff] [blame] | 173 | void SelectUADDO_USUBO(SDNode *N); |
Justin Bogner | 95927c0 | 2016-05-12 21:03:32 +0000 | [diff] [blame] | 174 | void SelectDIV_SCALE(SDNode *N); |
Tom Stellard | 8485fa0 | 2016-12-07 02:42:15 +0000 | [diff] [blame] | 175 | void SelectFMA_W_CHAIN(SDNode *N); |
| 176 | void SelectFMUL_W_CHAIN(SDNode *N); |
Matt Arsenault | 9fa3f93 | 2014-06-23 18:00:34 +0000 | [diff] [blame] | 177 | |
Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame] | 178 | SDNode *getS_BFE(unsigned Opcode, const SDLoc &DL, SDValue Val, |
Marek Olsak | 9b72868 | 2015-03-24 13:40:27 +0000 | [diff] [blame] | 179 | uint32_t Offset, uint32_t Width); |
Justin Bogner | 95927c0 | 2016-05-12 21:03:32 +0000 | [diff] [blame] | 180 | void SelectS_BFEFromShifts(SDNode *N); |
| 181 | void SelectS_BFE(SDNode *N); |
Matt Arsenault | 7b1dc2c | 2016-09-17 02:02:19 +0000 | [diff] [blame] | 182 | bool isCBranchSCC(const SDNode *N) const; |
Justin Bogner | 95927c0 | 2016-05-12 21:03:32 +0000 | [diff] [blame] | 183 | void SelectBRCOND(SDNode *N); |
Matt Arsenault | 8870181 | 2016-06-09 23:42:48 +0000 | [diff] [blame] | 184 | void SelectATOMIC_CMP_SWAP(SDNode *N); |
Marek Olsak | 9b72868 | 2015-03-24 13:40:27 +0000 | [diff] [blame] | 185 | |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 186 | // Include the pieces autogenerated from the target description. |
| 187 | #include "AMDGPUGenDAGISel.inc" |
| 188 | }; |
Eugene Zelenko | 2bc2f33 | 2016-12-09 22:06:55 +0000 | [diff] [blame] | 189 | |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 190 | } // end anonymous namespace |
| 191 | |
| 192 | /// \brief This pass converts a legalized DAG into a AMDGPU-specific |
| 193 | // DAG, ready for instruction scheduling. |
Konstantin Zhuravlyov | 60a8373 | 2016-10-03 18:47:26 +0000 | [diff] [blame] | 194 | FunctionPass *llvm::createAMDGPUISelDag(TargetMachine &TM, |
| 195 | CodeGenOpt::Level OptLevel) { |
| 196 | return new AMDGPUDAGToDAGISel(TM, OptLevel); |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 197 | } |
| 198 | |
Eric Christopher | 7792e32 | 2015-01-30 23:24:40 +0000 | [diff] [blame] | 199 | bool AMDGPUDAGToDAGISel::runOnMachineFunction(MachineFunction &MF) { |
Matt Arsenault | 43e92fe | 2016-06-24 06:30:11 +0000 | [diff] [blame] | 200 | Subtarget = &MF.getSubtarget<AMDGPUSubtarget>(); |
Eric Christopher | 7792e32 | 2015-01-30 23:24:40 +0000 | [diff] [blame] | 201 | return SelectionDAGISel::runOnMachineFunction(MF); |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 202 | } |
| 203 | |
Matt Arsenault | f84e5d9 | 2017-01-31 03:07:46 +0000 | [diff] [blame] | 204 | bool AMDGPUDAGToDAGISel::isNoNanSrc(SDValue N) const { |
| 205 | if (TM.Options.NoNaNsFPMath) |
| 206 | return true; |
| 207 | |
| 208 | // TODO: Move into isKnownNeverNaN |
| 209 | if (const auto *BO = dyn_cast<BinaryWithFlagsSDNode>(N)) |
| 210 | return BO->Flags.hasNoNaNs(); |
| 211 | |
| 212 | return CurDAG->isKnownNeverNaN(N); |
| 213 | } |
| 214 | |
Matt Arsenault | fe26775 | 2016-07-28 00:32:02 +0000 | [diff] [blame] | 215 | bool AMDGPUDAGToDAGISel::isInlineImmediate(const SDNode *N) const { |
| 216 | const SIInstrInfo *TII |
| 217 | = static_cast<const SISubtarget *>(Subtarget)->getInstrInfo(); |
| 218 | |
| 219 | if (const ConstantSDNode *C = dyn_cast<ConstantSDNode>(N)) |
| 220 | return TII->isInlineConstant(C->getAPIntValue()); |
| 221 | |
| 222 | if (const ConstantFPSDNode *C = dyn_cast<ConstantFPSDNode>(N)) |
| 223 | return TII->isInlineConstant(C->getValueAPF().bitcastToAPInt()); |
| 224 | |
| 225 | return false; |
Tom Stellard | 7ed0b52 | 2014-04-03 20:19:27 +0000 | [diff] [blame] | 226 | } |
| 227 | |
Tom Stellard | df94dc3 | 2013-08-14 23:24:24 +0000 | [diff] [blame] | 228 | /// \brief Determine the register class for \p OpNo |
| 229 | /// \returns The register class of the virtual register that will be used for |
| 230 | /// the given operand number \OpNo or NULL if the register class cannot be |
| 231 | /// determined. |
| 232 | const TargetRegisterClass *AMDGPUDAGToDAGISel::getOperandRegClass(SDNode *N, |
| 233 | unsigned OpNo) const { |
Matt Arsenault | c507cdb | 2016-11-01 23:22:17 +0000 | [diff] [blame] | 234 | if (!N->isMachineOpcode()) { |
| 235 | if (N->getOpcode() == ISD::CopyToReg) { |
| 236 | unsigned Reg = cast<RegisterSDNode>(N->getOperand(1))->getReg(); |
| 237 | if (TargetRegisterInfo::isVirtualRegister(Reg)) { |
| 238 | MachineRegisterInfo &MRI = CurDAG->getMachineFunction().getRegInfo(); |
| 239 | return MRI.getRegClass(Reg); |
| 240 | } |
| 241 | |
| 242 | const SIRegisterInfo *TRI |
| 243 | = static_cast<const SISubtarget *>(Subtarget)->getRegisterInfo(); |
| 244 | return TRI->getPhysRegClass(Reg); |
| 245 | } |
| 246 | |
Matt Arsenault | 209a7b9 | 2014-04-18 07:40:20 +0000 | [diff] [blame] | 247 | return nullptr; |
Matt Arsenault | c507cdb | 2016-11-01 23:22:17 +0000 | [diff] [blame] | 248 | } |
Matt Arsenault | 209a7b9 | 2014-04-18 07:40:20 +0000 | [diff] [blame] | 249 | |
Tom Stellard | df94dc3 | 2013-08-14 23:24:24 +0000 | [diff] [blame] | 250 | switch (N->getMachineOpcode()) { |
| 251 | default: { |
Eric Christopher | d913448 | 2014-08-04 21:25:23 +0000 | [diff] [blame] | 252 | const MCInstrDesc &Desc = |
Eric Christopher | 7792e32 | 2015-01-30 23:24:40 +0000 | [diff] [blame] | 253 | Subtarget->getInstrInfo()->get(N->getMachineOpcode()); |
Alexey Samsonov | 3186eb3 | 2013-08-15 07:11:34 +0000 | [diff] [blame] | 254 | unsigned OpIdx = Desc.getNumDefs() + OpNo; |
| 255 | if (OpIdx >= Desc.getNumOperands()) |
Matt Arsenault | 209a7b9 | 2014-04-18 07:40:20 +0000 | [diff] [blame] | 256 | return nullptr; |
Alexey Samsonov | 3186eb3 | 2013-08-15 07:11:34 +0000 | [diff] [blame] | 257 | int RegClass = Desc.OpInfo[OpIdx].RegClass; |
Matt Arsenault | 209a7b9 | 2014-04-18 07:40:20 +0000 | [diff] [blame] | 258 | if (RegClass == -1) |
| 259 | return nullptr; |
| 260 | |
Eric Christopher | 7792e32 | 2015-01-30 23:24:40 +0000 | [diff] [blame] | 261 | return Subtarget->getRegisterInfo()->getRegClass(RegClass); |
Tom Stellard | df94dc3 | 2013-08-14 23:24:24 +0000 | [diff] [blame] | 262 | } |
| 263 | case AMDGPU::REG_SEQUENCE: { |
Matt Arsenault | 209a7b9 | 2014-04-18 07:40:20 +0000 | [diff] [blame] | 264 | unsigned RCID = cast<ConstantSDNode>(N->getOperand(0))->getZExtValue(); |
Eric Christopher | d913448 | 2014-08-04 21:25:23 +0000 | [diff] [blame] | 265 | const TargetRegisterClass *SuperRC = |
Eric Christopher | 7792e32 | 2015-01-30 23:24:40 +0000 | [diff] [blame] | 266 | Subtarget->getRegisterInfo()->getRegClass(RCID); |
Matt Arsenault | 209a7b9 | 2014-04-18 07:40:20 +0000 | [diff] [blame] | 267 | |
| 268 | SDValue SubRegOp = N->getOperand(OpNo + 1); |
| 269 | unsigned SubRegIdx = cast<ConstantSDNode>(SubRegOp)->getZExtValue(); |
Eric Christopher | 7792e32 | 2015-01-30 23:24:40 +0000 | [diff] [blame] | 270 | return Subtarget->getRegisterInfo()->getSubClassWithSubReg(SuperRC, |
| 271 | SubRegIdx); |
Tom Stellard | df94dc3 | 2013-08-14 23:24:24 +0000 | [diff] [blame] | 272 | } |
| 273 | } |
| 274 | } |
| 275 | |
Tom Stellard | 381a94a | 2015-05-12 15:00:49 +0000 | [diff] [blame] | 276 | SDNode *AMDGPUDAGToDAGISel::glueCopyToM0(SDNode *N) const { |
| 277 | if (Subtarget->getGeneration() < AMDGPUSubtarget::SOUTHERN_ISLANDS || |
Yaxun Liu | 1a14bfa | 2017-03-27 14:04:01 +0000 | [diff] [blame] | 278 | cast<MemSDNode>(N)->getAddressSpace() != AMDGPUASI.LOCAL_ADDRESS) |
Tom Stellard | 381a94a | 2015-05-12 15:00:49 +0000 | [diff] [blame] | 279 | return N; |
| 280 | |
| 281 | const SITargetLowering& Lowering = |
| 282 | *static_cast<const SITargetLowering*>(getTargetLowering()); |
| 283 | |
| 284 | // Write max value to m0 before each load operation |
| 285 | |
| 286 | SDValue M0 = Lowering.copyToM0(*CurDAG, CurDAG->getEntryNode(), SDLoc(N), |
| 287 | CurDAG->getTargetConstant(-1, SDLoc(N), MVT::i32)); |
| 288 | |
| 289 | SDValue Glue = M0.getValue(1); |
| 290 | |
| 291 | SmallVector <SDValue, 8> Ops; |
| 292 | for (unsigned i = 0, e = N->getNumOperands(); i != e; ++i) { |
| 293 | Ops.push_back(N->getOperand(i)); |
| 294 | } |
| 295 | Ops.push_back(Glue); |
| 296 | CurDAG->MorphNodeTo(N, N->getOpcode(), N->getVTList(), Ops); |
| 297 | |
| 298 | return N; |
| 299 | } |
| 300 | |
Matt Arsenault | 61cb6fa | 2015-11-11 00:01:36 +0000 | [diff] [blame] | 301 | static unsigned selectSGPRVectorRegClassID(unsigned NumVectorElts) { |
Matt Arsenault | f1aebbf | 2015-11-02 23:30:48 +0000 | [diff] [blame] | 302 | switch (NumVectorElts) { |
| 303 | case 1: |
Marek Olsak | 79c0587 | 2016-11-25 17:37:09 +0000 | [diff] [blame] | 304 | return AMDGPU::SReg_32_XM0RegClassID; |
Matt Arsenault | f1aebbf | 2015-11-02 23:30:48 +0000 | [diff] [blame] | 305 | case 2: |
| 306 | return AMDGPU::SReg_64RegClassID; |
| 307 | case 4: |
| 308 | return AMDGPU::SReg_128RegClassID; |
| 309 | case 8: |
| 310 | return AMDGPU::SReg_256RegClassID; |
| 311 | case 16: |
| 312 | return AMDGPU::SReg_512RegClassID; |
| 313 | } |
| 314 | |
| 315 | llvm_unreachable("invalid vector size"); |
| 316 | } |
| 317 | |
Matt Arsenault | eb522e6 | 2017-02-27 22:15:25 +0000 | [diff] [blame] | 318 | static bool getConstantValue(SDValue N, uint32_t &Out) { |
| 319 | if (const ConstantSDNode *C = dyn_cast<ConstantSDNode>(N)) { |
| 320 | Out = C->getAPIntValue().getZExtValue(); |
| 321 | return true; |
| 322 | } |
| 323 | |
| 324 | if (const ConstantFPSDNode *C = dyn_cast<ConstantFPSDNode>(N)) { |
| 325 | Out = C->getValueAPF().bitcastToAPInt().getZExtValue(); |
| 326 | return true; |
| 327 | } |
| 328 | |
| 329 | return false; |
| 330 | } |
| 331 | |
Justin Bogner | 95927c0 | 2016-05-12 21:03:32 +0000 | [diff] [blame] | 332 | void AMDGPUDAGToDAGISel::Select(SDNode *N) { |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 333 | unsigned int Opc = N->getOpcode(); |
| 334 | if (N->isMachineOpcode()) { |
Tim Northover | 31d093c | 2013-09-22 08:21:56 +0000 | [diff] [blame] | 335 | N->setNodeId(-1); |
Justin Bogner | 95927c0 | 2016-05-12 21:03:32 +0000 | [diff] [blame] | 336 | return; // Already selected. |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 337 | } |
Matt Arsenault | 78b8670 | 2014-04-18 05:19:26 +0000 | [diff] [blame] | 338 | |
Matt Arsenault | a9dbdca | 2016-04-12 14:05:04 +0000 | [diff] [blame] | 339 | if (isa<AtomicSDNode>(N) || |
| 340 | (Opc == AMDGPUISD::ATOMIC_INC || Opc == AMDGPUISD::ATOMIC_DEC)) |
Tom Stellard | 381a94a | 2015-05-12 15:00:49 +0000 | [diff] [blame] | 341 | N = glueCopyToM0(N); |
| 342 | |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 343 | switch (Opc) { |
| 344 | default: break; |
Tom Stellard | 1f15bff | 2014-02-25 21:36:18 +0000 | [diff] [blame] | 345 | // We are selecting i64 ADD here instead of custom lower it during |
| 346 | // DAG legalization, so we can fold some i64 ADDs used for address |
| 347 | // calculation into the LOAD and STORE instructions. |
Matt Arsenault | b8b5153 | 2014-06-23 18:00:38 +0000 | [diff] [blame] | 348 | case ISD::ADD: |
Nicolai Haehnle | 67624af | 2016-10-14 10:30:00 +0000 | [diff] [blame] | 349 | case ISD::ADDC: |
| 350 | case ISD::ADDE: |
| 351 | case ISD::SUB: |
| 352 | case ISD::SUBC: |
| 353 | case ISD::SUBE: { |
Tom Stellard | 1f15bff | 2014-02-25 21:36:18 +0000 | [diff] [blame] | 354 | if (N->getValueType(0) != MVT::i64 || |
Eric Christopher | 7792e32 | 2015-01-30 23:24:40 +0000 | [diff] [blame] | 355 | Subtarget->getGeneration() < AMDGPUSubtarget::SOUTHERN_ISLANDS) |
Tom Stellard | 1f15bff | 2014-02-25 21:36:18 +0000 | [diff] [blame] | 356 | break; |
| 357 | |
Justin Bogner | 95927c0 | 2016-05-12 21:03:32 +0000 | [diff] [blame] | 358 | SelectADD_SUB_I64(N); |
| 359 | return; |
Tom Stellard | 1f15bff | 2014-02-25 21:36:18 +0000 | [diff] [blame] | 360 | } |
Matt Arsenault | ee3f0ac | 2017-01-30 18:11:38 +0000 | [diff] [blame] | 361 | case ISD::UADDO: |
| 362 | case ISD::USUBO: { |
| 363 | SelectUADDO_USUBO(N); |
| 364 | return; |
| 365 | } |
Tom Stellard | 8485fa0 | 2016-12-07 02:42:15 +0000 | [diff] [blame] | 366 | case AMDGPUISD::FMUL_W_CHAIN: { |
| 367 | SelectFMUL_W_CHAIN(N); |
| 368 | return; |
| 369 | } |
| 370 | case AMDGPUISD::FMA_W_CHAIN: { |
| 371 | SelectFMA_W_CHAIN(N); |
| 372 | return; |
| 373 | } |
| 374 | |
Matt Arsenault | 064c206 | 2014-06-11 17:40:32 +0000 | [diff] [blame] | 375 | case ISD::SCALAR_TO_VECTOR: |
Tom Stellard | 880a80a | 2014-06-17 16:53:14 +0000 | [diff] [blame] | 376 | case AMDGPUISD::BUILD_VERTICAL_VECTOR: |
Vincent Lejeune | 3b6f20e | 2013-03-05 15:04:49 +0000 | [diff] [blame] | 377 | case ISD::BUILD_VECTOR: { |
Tom Stellard | 8e5da41 | 2013-08-14 23:24:32 +0000 | [diff] [blame] | 378 | unsigned RegClassID; |
Eric Christopher | 7792e32 | 2015-01-30 23:24:40 +0000 | [diff] [blame] | 379 | const AMDGPURegisterInfo *TRI = Subtarget->getRegisterInfo(); |
Tom Stellard | 8e5da41 | 2013-08-14 23:24:32 +0000 | [diff] [blame] | 380 | EVT VT = N->getValueType(0); |
| 381 | unsigned NumVectorElts = VT.getVectorNumElements(); |
Matt Arsenault | 064c206 | 2014-06-11 17:40:32 +0000 | [diff] [blame] | 382 | EVT EltVT = VT.getVectorElementType(); |
Matt Arsenault | eb522e6 | 2017-02-27 22:15:25 +0000 | [diff] [blame] | 383 | |
| 384 | if (VT == MVT::v2i16 || VT == MVT::v2f16) { |
| 385 | if (Opc == ISD::BUILD_VECTOR) { |
| 386 | uint32_t LHSVal, RHSVal; |
| 387 | if (getConstantValue(N->getOperand(0), LHSVal) && |
| 388 | getConstantValue(N->getOperand(1), RHSVal)) { |
| 389 | uint32_t K = LHSVal | (RHSVal << 16); |
| 390 | CurDAG->SelectNodeTo(N, AMDGPU::S_MOV_B32, VT, |
| 391 | CurDAG->getTargetConstant(K, SDLoc(N), MVT::i32)); |
| 392 | return; |
| 393 | } |
| 394 | } |
| 395 | |
| 396 | break; |
| 397 | } |
| 398 | |
Matt Arsenault | 064c206 | 2014-06-11 17:40:32 +0000 | [diff] [blame] | 399 | assert(EltVT.bitsEq(MVT::i32)); |
Matt Arsenault | eb522e6 | 2017-02-27 22:15:25 +0000 | [diff] [blame] | 400 | |
Eric Christopher | 7792e32 | 2015-01-30 23:24:40 +0000 | [diff] [blame] | 401 | if (Subtarget->getGeneration() >= AMDGPUSubtarget::SOUTHERN_ISLANDS) { |
Matt Arsenault | 61cb6fa | 2015-11-11 00:01:36 +0000 | [diff] [blame] | 402 | RegClassID = selectSGPRVectorRegClassID(NumVectorElts); |
Tom Stellard | 8e5da41 | 2013-08-14 23:24:32 +0000 | [diff] [blame] | 403 | } else { |
| 404 | // BUILD_VECTOR was lowered into an IMPLICIT_DEF + 4 INSERT_SUBREG |
| 405 | // that adds a 128 bits reg copy when going through TwoAddressInstructions |
| 406 | // pass. We want to avoid 128 bits copies as much as possible because they |
| 407 | // can't be bundled by our scheduler. |
| 408 | switch(NumVectorElts) { |
| 409 | case 2: RegClassID = AMDGPU::R600_Reg64RegClassID; break; |
Tom Stellard | 880a80a | 2014-06-17 16:53:14 +0000 | [diff] [blame] | 410 | case 4: |
| 411 | if (Opc == AMDGPUISD::BUILD_VERTICAL_VECTOR) |
| 412 | RegClassID = AMDGPU::R600_Reg128VerticalRegClassID; |
| 413 | else |
| 414 | RegClassID = AMDGPU::R600_Reg128RegClassID; |
| 415 | break; |
Tom Stellard | 8e5da41 | 2013-08-14 23:24:32 +0000 | [diff] [blame] | 416 | default: llvm_unreachable("Do not know how to lower this BUILD_VECTOR"); |
| 417 | } |
Vincent Lejeune | 3b6f20e | 2013-03-05 15:04:49 +0000 | [diff] [blame] | 418 | } |
Tom Stellard | 0344cdf | 2013-08-01 15:23:42 +0000 | [diff] [blame] | 419 | |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 420 | SDLoc DL(N); |
| 421 | SDValue RegClass = CurDAG->getTargetConstant(RegClassID, DL, MVT::i32); |
Tom Stellard | 8e5da41 | 2013-08-14 23:24:32 +0000 | [diff] [blame] | 422 | |
| 423 | if (NumVectorElts == 1) { |
Justin Bogner | 95927c0 | 2016-05-12 21:03:32 +0000 | [diff] [blame] | 424 | CurDAG->SelectNodeTo(N, AMDGPU::COPY_TO_REGCLASS, EltVT, N->getOperand(0), |
| 425 | RegClass); |
| 426 | return; |
Tom Stellard | 0344cdf | 2013-08-01 15:23:42 +0000 | [diff] [blame] | 427 | } |
Tom Stellard | 8e5da41 | 2013-08-14 23:24:32 +0000 | [diff] [blame] | 428 | |
| 429 | assert(NumVectorElts <= 16 && "Vectors with more than 16 elements not " |
| 430 | "supported yet"); |
| 431 | // 16 = Max Num Vector Elements |
| 432 | // 2 = 2 REG_SEQUENCE operands per element (value, subreg index) |
| 433 | // 1 = Vector Register Class |
Matt Arsenault | 064c206 | 2014-06-11 17:40:32 +0000 | [diff] [blame] | 434 | SmallVector<SDValue, 16 * 2 + 1> RegSeqArgs(NumVectorElts * 2 + 1); |
Tom Stellard | 8e5da41 | 2013-08-14 23:24:32 +0000 | [diff] [blame] | 435 | |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 436 | RegSeqArgs[0] = CurDAG->getTargetConstant(RegClassID, DL, MVT::i32); |
Vincent Lejeune | 3b6f20e | 2013-03-05 15:04:49 +0000 | [diff] [blame] | 437 | bool IsRegSeq = true; |
Matt Arsenault | 064c206 | 2014-06-11 17:40:32 +0000 | [diff] [blame] | 438 | unsigned NOps = N->getNumOperands(); |
| 439 | for (unsigned i = 0; i < NOps; i++) { |
Tom Stellard | 8e5da41 | 2013-08-14 23:24:32 +0000 | [diff] [blame] | 440 | // XXX: Why is this here? |
Benjamin Kramer | 619c4e5 | 2015-04-10 11:24:51 +0000 | [diff] [blame] | 441 | if (isa<RegisterSDNode>(N->getOperand(i))) { |
Vincent Lejeune | 3b6f20e | 2013-03-05 15:04:49 +0000 | [diff] [blame] | 442 | IsRegSeq = false; |
| 443 | break; |
| 444 | } |
Tom Stellard | 8e5da41 | 2013-08-14 23:24:32 +0000 | [diff] [blame] | 445 | RegSeqArgs[1 + (2 * i)] = N->getOperand(i); |
| 446 | RegSeqArgs[1 + (2 * i) + 1] = |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 447 | CurDAG->getTargetConstant(TRI->getSubRegFromChannel(i), DL, |
| 448 | MVT::i32); |
Vincent Lejeune | 3b6f20e | 2013-03-05 15:04:49 +0000 | [diff] [blame] | 449 | } |
Matt Arsenault | 064c206 | 2014-06-11 17:40:32 +0000 | [diff] [blame] | 450 | |
| 451 | if (NOps != NumVectorElts) { |
| 452 | // Fill in the missing undef elements if this was a scalar_to_vector. |
| 453 | assert(Opc == ISD::SCALAR_TO_VECTOR && NOps < NumVectorElts); |
| 454 | |
| 455 | MachineSDNode *ImpDef = CurDAG->getMachineNode(TargetOpcode::IMPLICIT_DEF, |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 456 | DL, EltVT); |
Matt Arsenault | 064c206 | 2014-06-11 17:40:32 +0000 | [diff] [blame] | 457 | for (unsigned i = NOps; i < NumVectorElts; ++i) { |
| 458 | RegSeqArgs[1 + (2 * i)] = SDValue(ImpDef, 0); |
| 459 | RegSeqArgs[1 + (2 * i) + 1] = |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 460 | CurDAG->getTargetConstant(TRI->getSubRegFromChannel(i), DL, MVT::i32); |
Matt Arsenault | 064c206 | 2014-06-11 17:40:32 +0000 | [diff] [blame] | 461 | } |
| 462 | } |
| 463 | |
Vincent Lejeune | 3b6f20e | 2013-03-05 15:04:49 +0000 | [diff] [blame] | 464 | if (!IsRegSeq) |
| 465 | break; |
Justin Bogner | 95927c0 | 2016-05-12 21:03:32 +0000 | [diff] [blame] | 466 | CurDAG->SelectNodeTo(N, AMDGPU::REG_SEQUENCE, N->getVTList(), RegSeqArgs); |
| 467 | return; |
Vincent Lejeune | 3b6f20e | 2013-03-05 15:04:49 +0000 | [diff] [blame] | 468 | } |
Tom Stellard | 754f80f | 2013-04-05 23:31:51 +0000 | [diff] [blame] | 469 | case ISD::BUILD_PAIR: { |
| 470 | SDValue RC, SubReg0, SubReg1; |
Eric Christopher | 7792e32 | 2015-01-30 23:24:40 +0000 | [diff] [blame] | 471 | if (Subtarget->getGeneration() <= AMDGPUSubtarget::NORTHERN_ISLANDS) { |
Tom Stellard | 754f80f | 2013-04-05 23:31:51 +0000 | [diff] [blame] | 472 | break; |
| 473 | } |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 474 | SDLoc DL(N); |
Tom Stellard | 754f80f | 2013-04-05 23:31:51 +0000 | [diff] [blame] | 475 | if (N->getValueType(0) == MVT::i128) { |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 476 | RC = CurDAG->getTargetConstant(AMDGPU::SReg_128RegClassID, DL, MVT::i32); |
| 477 | SubReg0 = CurDAG->getTargetConstant(AMDGPU::sub0_sub1, DL, MVT::i32); |
| 478 | SubReg1 = CurDAG->getTargetConstant(AMDGPU::sub2_sub3, DL, MVT::i32); |
Tom Stellard | 754f80f | 2013-04-05 23:31:51 +0000 | [diff] [blame] | 479 | } else if (N->getValueType(0) == MVT::i64) { |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 480 | RC = CurDAG->getTargetConstant(AMDGPU::SReg_64RegClassID, DL, MVT::i32); |
| 481 | SubReg0 = CurDAG->getTargetConstant(AMDGPU::sub0, DL, MVT::i32); |
| 482 | SubReg1 = CurDAG->getTargetConstant(AMDGPU::sub1, DL, MVT::i32); |
Tom Stellard | 754f80f | 2013-04-05 23:31:51 +0000 | [diff] [blame] | 483 | } else { |
| 484 | llvm_unreachable("Unhandled value type for BUILD_PAIR"); |
| 485 | } |
| 486 | const SDValue Ops[] = { RC, N->getOperand(0), SubReg0, |
| 487 | N->getOperand(1), SubReg1 }; |
Justin Bogner | 95927c0 | 2016-05-12 21:03:32 +0000 | [diff] [blame] | 488 | ReplaceNode(N, CurDAG->getMachineNode(TargetOpcode::REG_SEQUENCE, DL, |
| 489 | N->getValueType(0), Ops)); |
| 490 | return; |
Tom Stellard | 754f80f | 2013-04-05 23:31:51 +0000 | [diff] [blame] | 491 | } |
Tom Stellard | 7ed0b52 | 2014-04-03 20:19:27 +0000 | [diff] [blame] | 492 | |
| 493 | case ISD::Constant: |
| 494 | case ISD::ConstantFP: { |
Eric Christopher | 7792e32 | 2015-01-30 23:24:40 +0000 | [diff] [blame] | 495 | if (Subtarget->getGeneration() < AMDGPUSubtarget::SOUTHERN_ISLANDS || |
Tom Stellard | 7ed0b52 | 2014-04-03 20:19:27 +0000 | [diff] [blame] | 496 | N->getValueType(0).getSizeInBits() != 64 || isInlineImmediate(N)) |
| 497 | break; |
| 498 | |
| 499 | uint64_t Imm; |
| 500 | if (ConstantFPSDNode *FP = dyn_cast<ConstantFPSDNode>(N)) |
| 501 | Imm = FP->getValueAPF().bitcastToAPInt().getZExtValue(); |
| 502 | else { |
Tom Stellard | 3cbe014 | 2014-04-07 19:31:13 +0000 | [diff] [blame] | 503 | ConstantSDNode *C = cast<ConstantSDNode>(N); |
Tom Stellard | 7ed0b52 | 2014-04-03 20:19:27 +0000 | [diff] [blame] | 504 | Imm = C->getZExtValue(); |
| 505 | } |
| 506 | |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 507 | SDLoc DL(N); |
| 508 | SDNode *Lo = CurDAG->getMachineNode(AMDGPU::S_MOV_B32, DL, MVT::i32, |
| 509 | CurDAG->getConstant(Imm & 0xFFFFFFFF, DL, |
| 510 | MVT::i32)); |
| 511 | SDNode *Hi = CurDAG->getMachineNode(AMDGPU::S_MOV_B32, DL, MVT::i32, |
| 512 | CurDAG->getConstant(Imm >> 32, DL, MVT::i32)); |
Tom Stellard | 7ed0b52 | 2014-04-03 20:19:27 +0000 | [diff] [blame] | 513 | const SDValue Ops[] = { |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 514 | CurDAG->getTargetConstant(AMDGPU::SReg_64RegClassID, DL, MVT::i32), |
| 515 | SDValue(Lo, 0), CurDAG->getTargetConstant(AMDGPU::sub0, DL, MVT::i32), |
| 516 | SDValue(Hi, 0), CurDAG->getTargetConstant(AMDGPU::sub1, DL, MVT::i32) |
Tom Stellard | 7ed0b52 | 2014-04-03 20:19:27 +0000 | [diff] [blame] | 517 | }; |
| 518 | |
Justin Bogner | 95927c0 | 2016-05-12 21:03:32 +0000 | [diff] [blame] | 519 | ReplaceNode(N, CurDAG->getMachineNode(TargetOpcode::REG_SEQUENCE, DL, |
| 520 | N->getValueType(0), Ops)); |
| 521 | return; |
Tom Stellard | 7ed0b52 | 2014-04-03 20:19:27 +0000 | [diff] [blame] | 522 | } |
Matt Arsenault | 4bf43d4 | 2015-09-25 17:27:08 +0000 | [diff] [blame] | 523 | case ISD::LOAD: |
Tom Stellard | 096b8c1 | 2015-02-04 20:49:49 +0000 | [diff] [blame] | 524 | case ISD::STORE: { |
Tom Stellard | 381a94a | 2015-05-12 15:00:49 +0000 | [diff] [blame] | 525 | N = glueCopyToM0(N); |
Tom Stellard | 096b8c1 | 2015-02-04 20:49:49 +0000 | [diff] [blame] | 526 | break; |
| 527 | } |
Matt Arsenault | 78b8670 | 2014-04-18 05:19:26 +0000 | [diff] [blame] | 528 | |
| 529 | case AMDGPUISD::BFE_I32: |
| 530 | case AMDGPUISD::BFE_U32: { |
Eric Christopher | 7792e32 | 2015-01-30 23:24:40 +0000 | [diff] [blame] | 531 | if (Subtarget->getGeneration() < AMDGPUSubtarget::SOUTHERN_ISLANDS) |
Matt Arsenault | 78b8670 | 2014-04-18 05:19:26 +0000 | [diff] [blame] | 532 | break; |
| 533 | |
| 534 | // There is a scalar version available, but unlike the vector version which |
| 535 | // has a separate operand for the offset and width, the scalar version packs |
| 536 | // the width and offset into a single operand. Try to move to the scalar |
| 537 | // version if the offsets are constant, so that we can try to keep extended |
| 538 | // loads of kernel arguments in SGPRs. |
| 539 | |
| 540 | // TODO: Technically we could try to pattern match scalar bitshifts of |
| 541 | // dynamic values, but it's probably not useful. |
| 542 | ConstantSDNode *Offset = dyn_cast<ConstantSDNode>(N->getOperand(1)); |
| 543 | if (!Offset) |
| 544 | break; |
| 545 | |
| 546 | ConstantSDNode *Width = dyn_cast<ConstantSDNode>(N->getOperand(2)); |
| 547 | if (!Width) |
| 548 | break; |
| 549 | |
| 550 | bool Signed = Opc == AMDGPUISD::BFE_I32; |
| 551 | |
Matt Arsenault | 78b8670 | 2014-04-18 05:19:26 +0000 | [diff] [blame] | 552 | uint32_t OffsetVal = Offset->getZExtValue(); |
| 553 | uint32_t WidthVal = Width->getZExtValue(); |
| 554 | |
Justin Bogner | 95927c0 | 2016-05-12 21:03:32 +0000 | [diff] [blame] | 555 | ReplaceNode(N, getS_BFE(Signed ? AMDGPU::S_BFE_I32 : AMDGPU::S_BFE_U32, |
| 556 | SDLoc(N), N->getOperand(0), OffsetVal, WidthVal)); |
| 557 | return; |
Matt Arsenault | 78b8670 | 2014-04-18 05:19:26 +0000 | [diff] [blame] | 558 | } |
Matt Arsenault | f2b0aeb | 2014-06-23 18:28:28 +0000 | [diff] [blame] | 559 | case AMDGPUISD::DIV_SCALE: { |
Justin Bogner | 95927c0 | 2016-05-12 21:03:32 +0000 | [diff] [blame] | 560 | SelectDIV_SCALE(N); |
| 561 | return; |
Matt Arsenault | f2b0aeb | 2014-06-23 18:28:28 +0000 | [diff] [blame] | 562 | } |
Tom Stellard | 3457a84 | 2014-10-09 19:06:00 +0000 | [diff] [blame] | 563 | case ISD::CopyToReg: { |
| 564 | const SITargetLowering& Lowering = |
| 565 | *static_cast<const SITargetLowering*>(getTargetLowering()); |
Matt Arsenault | 0d0d6c2 | 2017-04-12 21:58:23 +0000 | [diff] [blame^] | 566 | N = Lowering.legalizeTargetIndependentNode(N, *CurDAG); |
Tom Stellard | 3457a84 | 2014-10-09 19:06:00 +0000 | [diff] [blame] | 567 | break; |
| 568 | } |
Marek Olsak | 9b72868 | 2015-03-24 13:40:27 +0000 | [diff] [blame] | 569 | case ISD::AND: |
| 570 | case ISD::SRL: |
| 571 | case ISD::SRA: |
Matt Arsenault | 7e8de01 | 2016-04-22 22:59:16 +0000 | [diff] [blame] | 572 | case ISD::SIGN_EXTEND_INREG: |
Marek Olsak | 9b72868 | 2015-03-24 13:40:27 +0000 | [diff] [blame] | 573 | if (N->getValueType(0) != MVT::i32 || |
| 574 | Subtarget->getGeneration() < AMDGPUSubtarget::SOUTHERN_ISLANDS) |
| 575 | break; |
| 576 | |
Justin Bogner | 95927c0 | 2016-05-12 21:03:32 +0000 | [diff] [blame] | 577 | SelectS_BFE(N); |
| 578 | return; |
Tom Stellard | bc4497b | 2016-02-12 23:45:29 +0000 | [diff] [blame] | 579 | case ISD::BRCOND: |
Justin Bogner | 95927c0 | 2016-05-12 21:03:32 +0000 | [diff] [blame] | 580 | SelectBRCOND(N); |
| 581 | return; |
Matt Arsenault | 8870181 | 2016-06-09 23:42:48 +0000 | [diff] [blame] | 582 | |
| 583 | case AMDGPUISD::ATOMIC_CMP_SWAP: |
| 584 | SelectATOMIC_CMP_SWAP(N); |
| 585 | return; |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 586 | } |
Tom Stellard | 3457a84 | 2014-10-09 19:06:00 +0000 | [diff] [blame] | 587 | |
Justin Bogner | 95927c0 | 2016-05-12 21:03:32 +0000 | [diff] [blame] | 588 | SelectCode(N); |
Tom Stellard | 365366f | 2013-01-23 02:09:06 +0000 | [diff] [blame] | 589 | } |
| 590 | |
Jan Vesely | 43b7b5b | 2016-04-07 19:23:11 +0000 | [diff] [blame] | 591 | bool AMDGPUDAGToDAGISel::isConstantLoad(const MemSDNode *N, int CbId) const { |
| 592 | if (!N->readMem()) |
| 593 | return false; |
Matt Arsenault | 209a7b9 | 2014-04-18 07:40:20 +0000 | [diff] [blame] | 594 | if (CbId == -1) |
Yaxun Liu | 1a14bfa | 2017-03-27 14:04:01 +0000 | [diff] [blame] | 595 | return N->getAddressSpace() == AMDGPUASI.CONSTANT_ADDRESS; |
Matt Arsenault | 209a7b9 | 2014-04-18 07:40:20 +0000 | [diff] [blame] | 596 | |
Yaxun Liu | 1a14bfa | 2017-03-27 14:04:01 +0000 | [diff] [blame] | 597 | return N->getAddressSpace() == AMDGPUASI.CONSTANT_BUFFER_0 + CbId; |
Matt Arsenault | 3f98140 | 2014-09-15 15:41:53 +0000 | [diff] [blame] | 598 | } |
| 599 | |
Tom Stellard | bc4497b | 2016-02-12 23:45:29 +0000 | [diff] [blame] | 600 | bool AMDGPUDAGToDAGISel::isUniformBr(const SDNode *N) const { |
| 601 | const BasicBlock *BB = FuncInfo->MBB->getBasicBlock(); |
Nicolai Haehnle | 05b127d | 2016-04-14 17:42:35 +0000 | [diff] [blame] | 602 | const Instruction *Term = BB->getTerminator(); |
| 603 | return Term->getMetadata("amdgpu.uniform") || |
| 604 | Term->getMetadata("structurizecfg.uniform"); |
Tom Stellard | bc4497b | 2016-02-12 23:45:29 +0000 | [diff] [blame] | 605 | } |
| 606 | |
Mehdi Amini | 117296c | 2016-10-01 02:56:57 +0000 | [diff] [blame] | 607 | StringRef AMDGPUDAGToDAGISel::getPassName() const { |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 608 | return "AMDGPU DAG->DAG Pattern Instruction Selection"; |
| 609 | } |
| 610 | |
Tom Stellard | 41fc785 | 2013-07-23 01:48:42 +0000 | [diff] [blame] | 611 | //===----------------------------------------------------------------------===// |
| 612 | // Complex Patterns |
| 613 | //===----------------------------------------------------------------------===// |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 614 | |
Tom Stellard | 365366f | 2013-01-23 02:09:06 +0000 | [diff] [blame] | 615 | bool AMDGPUDAGToDAGISel::SelectGlobalValueConstantOffset(SDValue Addr, |
Matt Arsenault | 209a7b9 | 2014-04-18 07:40:20 +0000 | [diff] [blame] | 616 | SDValue& IntPtr) { |
Tom Stellard | 365366f | 2013-01-23 02:09:06 +0000 | [diff] [blame] | 617 | if (ConstantSDNode *Cst = dyn_cast<ConstantSDNode>(Addr)) { |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 618 | IntPtr = CurDAG->getIntPtrConstant(Cst->getZExtValue() / 4, SDLoc(Addr), |
| 619 | true); |
Tom Stellard | 365366f | 2013-01-23 02:09:06 +0000 | [diff] [blame] | 620 | return true; |
| 621 | } |
| 622 | return false; |
| 623 | } |
| 624 | |
| 625 | bool AMDGPUDAGToDAGISel::SelectGlobalValueVariableOffset(SDValue Addr, |
| 626 | SDValue& BaseReg, SDValue &Offset) { |
Matt Arsenault | 209a7b9 | 2014-04-18 07:40:20 +0000 | [diff] [blame] | 627 | if (!isa<ConstantSDNode>(Addr)) { |
Tom Stellard | 365366f | 2013-01-23 02:09:06 +0000 | [diff] [blame] | 628 | BaseReg = Addr; |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 629 | Offset = CurDAG->getIntPtrConstant(0, SDLoc(Addr), true); |
Tom Stellard | 365366f | 2013-01-23 02:09:06 +0000 | [diff] [blame] | 630 | return true; |
| 631 | } |
| 632 | return false; |
| 633 | } |
| 634 | |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 635 | bool AMDGPUDAGToDAGISel::SelectADDRVTX_READ(SDValue Addr, SDValue &Base, |
| 636 | SDValue &Offset) { |
Matt Arsenault | 209a7b9 | 2014-04-18 07:40:20 +0000 | [diff] [blame] | 637 | ConstantSDNode *IMMOffset; |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 638 | |
| 639 | if (Addr.getOpcode() == ISD::ADD |
| 640 | && (IMMOffset = dyn_cast<ConstantSDNode>(Addr.getOperand(1))) |
| 641 | && isInt<16>(IMMOffset->getZExtValue())) { |
| 642 | |
| 643 | Base = Addr.getOperand(0); |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 644 | Offset = CurDAG->getTargetConstant(IMMOffset->getZExtValue(), SDLoc(Addr), |
| 645 | MVT::i32); |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 646 | return true; |
| 647 | // If the pointer address is constant, we can move it to the offset field. |
| 648 | } else if ((IMMOffset = dyn_cast<ConstantSDNode>(Addr)) |
| 649 | && isInt<16>(IMMOffset->getZExtValue())) { |
| 650 | Base = CurDAG->getCopyFromReg(CurDAG->getEntryNode(), |
Andrew Trick | ef9de2a | 2013-05-25 02:42:55 +0000 | [diff] [blame] | 651 | SDLoc(CurDAG->getEntryNode()), |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 652 | AMDGPU::ZERO, MVT::i32); |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 653 | Offset = CurDAG->getTargetConstant(IMMOffset->getZExtValue(), SDLoc(Addr), |
| 654 | MVT::i32); |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 655 | return true; |
| 656 | } |
| 657 | |
| 658 | // Default case, no offset |
| 659 | Base = Addr; |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 660 | Offset = CurDAG->getTargetConstant(0, SDLoc(Addr), MVT::i32); |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 661 | return true; |
| 662 | } |
| 663 | |
Tom Stellard | f3b2a1e | 2013-02-06 17:32:29 +0000 | [diff] [blame] | 664 | bool AMDGPUDAGToDAGISel::SelectADDRIndirect(SDValue Addr, SDValue &Base, |
| 665 | SDValue &Offset) { |
| 666 | ConstantSDNode *C; |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 667 | SDLoc DL(Addr); |
Tom Stellard | f3b2a1e | 2013-02-06 17:32:29 +0000 | [diff] [blame] | 668 | |
| 669 | if ((C = dyn_cast<ConstantSDNode>(Addr))) { |
| 670 | Base = CurDAG->getRegister(AMDGPU::INDIRECT_BASE_ADDR, MVT::i32); |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 671 | Offset = CurDAG->getTargetConstant(C->getZExtValue(), DL, MVT::i32); |
Jan Vesely | 06200bd | 2017-01-06 21:00:46 +0000 | [diff] [blame] | 672 | } else if ((Addr.getOpcode() == AMDGPUISD::DWORDADDR) && |
| 673 | (C = dyn_cast<ConstantSDNode>(Addr.getOperand(0)))) { |
| 674 | Base = CurDAG->getRegister(AMDGPU::INDIRECT_BASE_ADDR, MVT::i32); |
| 675 | Offset = CurDAG->getTargetConstant(C->getZExtValue(), DL, MVT::i32); |
Tom Stellard | f3b2a1e | 2013-02-06 17:32:29 +0000 | [diff] [blame] | 676 | } else if ((Addr.getOpcode() == ISD::ADD || Addr.getOpcode() == ISD::OR) && |
| 677 | (C = dyn_cast<ConstantSDNode>(Addr.getOperand(1)))) { |
| 678 | Base = Addr.getOperand(0); |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 679 | Offset = CurDAG->getTargetConstant(C->getZExtValue(), DL, MVT::i32); |
Tom Stellard | f3b2a1e | 2013-02-06 17:32:29 +0000 | [diff] [blame] | 680 | } else { |
| 681 | Base = Addr; |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 682 | Offset = CurDAG->getTargetConstant(0, DL, MVT::i32); |
Tom Stellard | f3b2a1e | 2013-02-06 17:32:29 +0000 | [diff] [blame] | 683 | } |
| 684 | |
| 685 | return true; |
| 686 | } |
Christian Konig | d910b7d | 2013-02-26 17:52:16 +0000 | [diff] [blame] | 687 | |
Justin Bogner | 95927c0 | 2016-05-12 21:03:32 +0000 | [diff] [blame] | 688 | void AMDGPUDAGToDAGISel::SelectADD_SUB_I64(SDNode *N) { |
Matt Arsenault | 9fa3f93 | 2014-06-23 18:00:34 +0000 | [diff] [blame] | 689 | SDLoc DL(N); |
| 690 | SDValue LHS = N->getOperand(0); |
| 691 | SDValue RHS = N->getOperand(1); |
| 692 | |
Nicolai Haehnle | 67624af | 2016-10-14 10:30:00 +0000 | [diff] [blame] | 693 | unsigned Opcode = N->getOpcode(); |
| 694 | bool ConsumeCarry = (Opcode == ISD::ADDE || Opcode == ISD::SUBE); |
| 695 | bool ProduceCarry = |
| 696 | ConsumeCarry || Opcode == ISD::ADDC || Opcode == ISD::SUBC; |
| 697 | bool IsAdd = |
| 698 | (Opcode == ISD::ADD || Opcode == ISD::ADDC || Opcode == ISD::ADDE); |
Matt Arsenault | b8b5153 | 2014-06-23 18:00:38 +0000 | [diff] [blame] | 699 | |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 700 | SDValue Sub0 = CurDAG->getTargetConstant(AMDGPU::sub0, DL, MVT::i32); |
| 701 | SDValue Sub1 = CurDAG->getTargetConstant(AMDGPU::sub1, DL, MVT::i32); |
Matt Arsenault | 9fa3f93 | 2014-06-23 18:00:34 +0000 | [diff] [blame] | 702 | |
| 703 | SDNode *Lo0 = CurDAG->getMachineNode(TargetOpcode::EXTRACT_SUBREG, |
| 704 | DL, MVT::i32, LHS, Sub0); |
| 705 | SDNode *Hi0 = CurDAG->getMachineNode(TargetOpcode::EXTRACT_SUBREG, |
| 706 | DL, MVT::i32, LHS, Sub1); |
| 707 | |
| 708 | SDNode *Lo1 = CurDAG->getMachineNode(TargetOpcode::EXTRACT_SUBREG, |
| 709 | DL, MVT::i32, RHS, Sub0); |
| 710 | SDNode *Hi1 = CurDAG->getMachineNode(TargetOpcode::EXTRACT_SUBREG, |
| 711 | DL, MVT::i32, RHS, Sub1); |
| 712 | |
| 713 | SDVTList VTList = CurDAG->getVTList(MVT::i32, MVT::Glue); |
Matt Arsenault | 9fa3f93 | 2014-06-23 18:00:34 +0000 | [diff] [blame] | 714 | |
Tom Stellard | 80942a1 | 2014-09-05 14:07:59 +0000 | [diff] [blame] | 715 | unsigned Opc = IsAdd ? AMDGPU::S_ADD_U32 : AMDGPU::S_SUB_U32; |
Matt Arsenault | b8b5153 | 2014-06-23 18:00:38 +0000 | [diff] [blame] | 716 | unsigned CarryOpc = IsAdd ? AMDGPU::S_ADDC_U32 : AMDGPU::S_SUBB_U32; |
| 717 | |
Nicolai Haehnle | 67624af | 2016-10-14 10:30:00 +0000 | [diff] [blame] | 718 | SDNode *AddLo; |
| 719 | if (!ConsumeCarry) { |
| 720 | SDValue Args[] = { SDValue(Lo0, 0), SDValue(Lo1, 0) }; |
| 721 | AddLo = CurDAG->getMachineNode(Opc, DL, VTList, Args); |
| 722 | } else { |
| 723 | SDValue Args[] = { SDValue(Lo0, 0), SDValue(Lo1, 0), N->getOperand(2) }; |
| 724 | AddLo = CurDAG->getMachineNode(CarryOpc, DL, VTList, Args); |
| 725 | } |
| 726 | SDValue AddHiArgs[] = { |
| 727 | SDValue(Hi0, 0), |
| 728 | SDValue(Hi1, 0), |
| 729 | SDValue(AddLo, 1) |
| 730 | }; |
| 731 | SDNode *AddHi = CurDAG->getMachineNode(CarryOpc, DL, VTList, AddHiArgs); |
Matt Arsenault | 9fa3f93 | 2014-06-23 18:00:34 +0000 | [diff] [blame] | 732 | |
Nicolai Haehnle | 67624af | 2016-10-14 10:30:00 +0000 | [diff] [blame] | 733 | SDValue RegSequenceArgs[] = { |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 734 | CurDAG->getTargetConstant(AMDGPU::SReg_64RegClassID, DL, MVT::i32), |
Matt Arsenault | 9fa3f93 | 2014-06-23 18:00:34 +0000 | [diff] [blame] | 735 | SDValue(AddLo,0), |
| 736 | Sub0, |
| 737 | SDValue(AddHi,0), |
| 738 | Sub1, |
| 739 | }; |
Nicolai Haehnle | 67624af | 2016-10-14 10:30:00 +0000 | [diff] [blame] | 740 | SDNode *RegSequence = CurDAG->getMachineNode(AMDGPU::REG_SEQUENCE, DL, |
| 741 | MVT::i64, RegSequenceArgs); |
| 742 | |
| 743 | if (ProduceCarry) { |
| 744 | // Replace the carry-use |
| 745 | CurDAG->ReplaceAllUsesOfValueWith(SDValue(N, 1), SDValue(AddHi, 1)); |
| 746 | } |
| 747 | |
| 748 | // Replace the remaining uses. |
| 749 | CurDAG->ReplaceAllUsesWith(N, RegSequence); |
| 750 | CurDAG->RemoveDeadNode(N); |
Matt Arsenault | 9fa3f93 | 2014-06-23 18:00:34 +0000 | [diff] [blame] | 751 | } |
| 752 | |
Matt Arsenault | ee3f0ac | 2017-01-30 18:11:38 +0000 | [diff] [blame] | 753 | void AMDGPUDAGToDAGISel::SelectUADDO_USUBO(SDNode *N) { |
| 754 | // The name of the opcodes are misleading. v_add_i32/v_sub_i32 have unsigned |
| 755 | // carry out despite the _i32 name. These were renamed in VI to _U32. |
| 756 | // FIXME: We should probably rename the opcodes here. |
| 757 | unsigned Opc = N->getOpcode() == ISD::UADDO ? |
| 758 | AMDGPU::V_ADD_I32_e64 : AMDGPU::V_SUB_I32_e64; |
| 759 | |
| 760 | CurDAG->SelectNodeTo(N, Opc, N->getVTList(), |
| 761 | { N->getOperand(0), N->getOperand(1) }); |
| 762 | } |
| 763 | |
Tom Stellard | 8485fa0 | 2016-12-07 02:42:15 +0000 | [diff] [blame] | 764 | void AMDGPUDAGToDAGISel::SelectFMA_W_CHAIN(SDNode *N) { |
| 765 | SDLoc SL(N); |
| 766 | // src0_modifiers, src0, src1_modifiers, src1, src2_modifiers, src2, clamp, omod |
| 767 | SDValue Ops[10]; |
| 768 | |
| 769 | SelectVOP3Mods0(N->getOperand(1), Ops[1], Ops[0], Ops[6], Ops[7]); |
| 770 | SelectVOP3Mods(N->getOperand(2), Ops[3], Ops[2]); |
| 771 | SelectVOP3Mods(N->getOperand(3), Ops[5], Ops[4]); |
| 772 | Ops[8] = N->getOperand(0); |
| 773 | Ops[9] = N->getOperand(4); |
| 774 | |
| 775 | CurDAG->SelectNodeTo(N, AMDGPU::V_FMA_F32, N->getVTList(), Ops); |
| 776 | } |
| 777 | |
| 778 | void AMDGPUDAGToDAGISel::SelectFMUL_W_CHAIN(SDNode *N) { |
| 779 | SDLoc SL(N); |
| 780 | // src0_modifiers, src0, src1_modifiers, src1, clamp, omod |
| 781 | SDValue Ops[8]; |
| 782 | |
| 783 | SelectVOP3Mods0(N->getOperand(1), Ops[1], Ops[0], Ops[4], Ops[5]); |
| 784 | SelectVOP3Mods(N->getOperand(2), Ops[3], Ops[2]); |
| 785 | Ops[6] = N->getOperand(0); |
| 786 | Ops[7] = N->getOperand(3); |
| 787 | |
| 788 | CurDAG->SelectNodeTo(N, AMDGPU::V_MUL_F32_e64, N->getVTList(), Ops); |
| 789 | } |
| 790 | |
Matt Arsenault | 044f1d1 | 2015-02-14 04:24:28 +0000 | [diff] [blame] | 791 | // We need to handle this here because tablegen doesn't support matching |
| 792 | // instructions with multiple outputs. |
Justin Bogner | 95927c0 | 2016-05-12 21:03:32 +0000 | [diff] [blame] | 793 | void AMDGPUDAGToDAGISel::SelectDIV_SCALE(SDNode *N) { |
Matt Arsenault | f2b0aeb | 2014-06-23 18:28:28 +0000 | [diff] [blame] | 794 | SDLoc SL(N); |
| 795 | EVT VT = N->getValueType(0); |
| 796 | |
| 797 | assert(VT == MVT::f32 || VT == MVT::f64); |
| 798 | |
| 799 | unsigned Opc |
| 800 | = (VT == MVT::f64) ? AMDGPU::V_DIV_SCALE_F64 : AMDGPU::V_DIV_SCALE_F32; |
| 801 | |
Matt Arsenault | 3b99f12 | 2017-01-19 06:04:12 +0000 | [diff] [blame] | 802 | SDValue Ops[] = { N->getOperand(0), N->getOperand(1), N->getOperand(2) }; |
| 803 | CurDAG->SelectNodeTo(N, Opc, N->getVTList(), Ops); |
Matt Arsenault | f2b0aeb | 2014-06-23 18:28:28 +0000 | [diff] [blame] | 804 | } |
| 805 | |
Tom Stellard | 85e8b6d | 2014-08-22 18:49:33 +0000 | [diff] [blame] | 806 | bool AMDGPUDAGToDAGISel::isDSOffsetLegal(const SDValue &Base, unsigned Offset, |
| 807 | unsigned OffsetBits) const { |
Tom Stellard | 85e8b6d | 2014-08-22 18:49:33 +0000 | [diff] [blame] | 808 | if ((OffsetBits == 16 && !isUInt<16>(Offset)) || |
| 809 | (OffsetBits == 8 && !isUInt<8>(Offset))) |
| 810 | return false; |
| 811 | |
Matt Arsenault | 706f930 | 2015-07-06 16:01:58 +0000 | [diff] [blame] | 812 | if (Subtarget->getGeneration() >= AMDGPUSubtarget::SEA_ISLANDS || |
| 813 | Subtarget->unsafeDSOffsetFoldingEnabled()) |
Tom Stellard | 85e8b6d | 2014-08-22 18:49:33 +0000 | [diff] [blame] | 814 | 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 | |
| 821 | bool AMDGPUDAGToDAGISel::SelectDS1Addr1Offset(SDValue Addr, SDValue &Base, |
| 822 | SDValue &Offset) const { |
Tom Stellard | 92b24f3 | 2016-04-29 14:34:26 +0000 | [diff] [blame] | 823 | SDLoc DL(Addr); |
Tom Stellard | 85e8b6d | 2014-08-22 18:49:33 +0000 | [diff] [blame] | 824 | if (CurDAG->isBaseWithConstantOffset(Addr)) { |
| 825 | SDValue N0 = Addr.getOperand(0); |
| 826 | SDValue N1 = Addr.getOperand(1); |
| 827 | ConstantSDNode *C1 = cast<ConstantSDNode>(N1); |
| 828 | if (isDSOffsetLegal(N0, C1->getSExtValue(), 16)) { |
| 829 | // (add n0, c0) |
| 830 | Base = N0; |
Tom Stellard | 92b24f3 | 2016-04-29 14:34:26 +0000 | [diff] [blame] | 831 | Offset = CurDAG->getTargetConstant(C1->getZExtValue(), DL, MVT::i16); |
Tom Stellard | 85e8b6d | 2014-08-22 18:49:33 +0000 | [diff] [blame] | 832 | return true; |
| 833 | } |
Matt Arsenault | 966a94f | 2015-09-08 19:34:22 +0000 | [diff] [blame] | 834 | } else if (Addr.getOpcode() == ISD::SUB) { |
| 835 | // sub C, x -> add (sub 0, x), C |
| 836 | if (const ConstantSDNode *C = dyn_cast<ConstantSDNode>(Addr.getOperand(0))) { |
| 837 | int64_t ByteOffset = C->getSExtValue(); |
| 838 | if (isUInt<16>(ByteOffset)) { |
Matt Arsenault | 966a94f | 2015-09-08 19:34:22 +0000 | [diff] [blame] | 839 | SDValue Zero = CurDAG->getTargetConstant(0, DL, MVT::i32); |
Tom Stellard | 85e8b6d | 2014-08-22 18:49:33 +0000 | [diff] [blame] | 840 | |
Matt Arsenault | 966a94f | 2015-09-08 19:34:22 +0000 | [diff] [blame] | 841 | // XXX - This is kind of hacky. Create a dummy sub node so we can check |
| 842 | // the known bits in isDSOffsetLegal. We need to emit the selected node |
| 843 | // here, so this is thrown away. |
| 844 | SDValue Sub = CurDAG->getNode(ISD::SUB, DL, MVT::i32, |
| 845 | Zero, Addr.getOperand(1)); |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 846 | |
Matt Arsenault | 966a94f | 2015-09-08 19:34:22 +0000 | [diff] [blame] | 847 | if (isDSOffsetLegal(Sub, ByteOffset, 16)) { |
| 848 | MachineSDNode *MachineSub |
| 849 | = CurDAG->getMachineNode(AMDGPU::V_SUB_I32_e32, DL, MVT::i32, |
| 850 | Zero, Addr.getOperand(1)); |
| 851 | |
| 852 | Base = SDValue(MachineSub, 0); |
Tom Stellard | 26a2ab7 | 2016-06-10 00:01:04 +0000 | [diff] [blame] | 853 | Offset = CurDAG->getTargetConstant(ByteOffset, DL, MVT::i16); |
Matt Arsenault | 966a94f | 2015-09-08 19:34:22 +0000 | [diff] [blame] | 854 | return true; |
| 855 | } |
| 856 | } |
| 857 | } |
| 858 | } else if (const ConstantSDNode *CAddr = dyn_cast<ConstantSDNode>(Addr)) { |
| 859 | // If we have a constant address, prefer to put the constant into the |
| 860 | // offset. This can save moves to load the constant address since multiple |
| 861 | // operations can share the zero base address register, and enables merging |
| 862 | // into read2 / write2 instructions. |
| 863 | |
| 864 | SDLoc DL(Addr); |
| 865 | |
Matt Arsenault | e775f5f | 2014-10-14 17:21:19 +0000 | [diff] [blame] | 866 | if (isUInt<16>(CAddr->getZExtValue())) { |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 867 | SDValue Zero = CurDAG->getTargetConstant(0, DL, MVT::i32); |
Tom Stellard | c8d7920 | 2014-10-15 21:08:59 +0000 | [diff] [blame] | 868 | MachineSDNode *MovZero = CurDAG->getMachineNode(AMDGPU::V_MOV_B32_e32, |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 869 | DL, MVT::i32, Zero); |
Tom Stellard | c8d7920 | 2014-10-15 21:08:59 +0000 | [diff] [blame] | 870 | Base = SDValue(MovZero, 0); |
Tom Stellard | 26a2ab7 | 2016-06-10 00:01:04 +0000 | [diff] [blame] | 871 | Offset = CurDAG->getTargetConstant(CAddr->getZExtValue(), DL, MVT::i16); |
Matt Arsenault | e775f5f | 2014-10-14 17:21:19 +0000 | [diff] [blame] | 872 | return true; |
| 873 | } |
| 874 | } |
| 875 | |
Tom Stellard | 85e8b6d | 2014-08-22 18:49:33 +0000 | [diff] [blame] | 876 | // default case |
| 877 | Base = Addr; |
Matt Arsenault | 966a94f | 2015-09-08 19:34:22 +0000 | [diff] [blame] | 878 | Offset = CurDAG->getTargetConstant(0, SDLoc(Addr), MVT::i16); |
Tom Stellard | 85e8b6d | 2014-08-22 18:49:33 +0000 | [diff] [blame] | 879 | return true; |
| 880 | } |
| 881 | |
Matt Arsenault | 966a94f | 2015-09-08 19:34:22 +0000 | [diff] [blame] | 882 | // TODO: If offset is too big, put low 16-bit into offset. |
Tom Stellard | f3fc555 | 2014-08-22 18:49:35 +0000 | [diff] [blame] | 883 | bool AMDGPUDAGToDAGISel::SelectDS64Bit4ByteAligned(SDValue Addr, SDValue &Base, |
| 884 | SDValue &Offset0, |
| 885 | SDValue &Offset1) const { |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 886 | SDLoc DL(Addr); |
| 887 | |
Tom Stellard | f3fc555 | 2014-08-22 18:49:35 +0000 | [diff] [blame] | 888 | if (CurDAG->isBaseWithConstantOffset(Addr)) { |
| 889 | SDValue N0 = Addr.getOperand(0); |
| 890 | SDValue N1 = Addr.getOperand(1); |
| 891 | ConstantSDNode *C1 = cast<ConstantSDNode>(N1); |
| 892 | unsigned DWordOffset0 = C1->getZExtValue() / 4; |
| 893 | unsigned DWordOffset1 = DWordOffset0 + 1; |
| 894 | // (add n0, c0) |
| 895 | if (isDSOffsetLegal(N0, DWordOffset1, 8)) { |
| 896 | Base = N0; |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 897 | Offset0 = CurDAG->getTargetConstant(DWordOffset0, DL, MVT::i8); |
| 898 | Offset1 = CurDAG->getTargetConstant(DWordOffset1, DL, MVT::i8); |
Tom Stellard | f3fc555 | 2014-08-22 18:49:35 +0000 | [diff] [blame] | 899 | return true; |
| 900 | } |
Matt Arsenault | 966a94f | 2015-09-08 19:34:22 +0000 | [diff] [blame] | 901 | } else if (Addr.getOpcode() == ISD::SUB) { |
| 902 | // sub C, x -> add (sub 0, x), C |
| 903 | if (const ConstantSDNode *C = dyn_cast<ConstantSDNode>(Addr.getOperand(0))) { |
| 904 | unsigned DWordOffset0 = C->getZExtValue() / 4; |
| 905 | unsigned DWordOffset1 = DWordOffset0 + 1; |
Tom Stellard | f3fc555 | 2014-08-22 18:49:35 +0000 | [diff] [blame] | 906 | |
Matt Arsenault | 966a94f | 2015-09-08 19:34:22 +0000 | [diff] [blame] | 907 | if (isUInt<8>(DWordOffset0)) { |
| 908 | SDLoc DL(Addr); |
| 909 | SDValue Zero = CurDAG->getTargetConstant(0, DL, MVT::i32); |
| 910 | |
| 911 | // XXX - This is kind of hacky. Create a dummy sub node so we can check |
| 912 | // the known bits in isDSOffsetLegal. We need to emit the selected node |
| 913 | // here, so this is thrown away. |
| 914 | SDValue Sub = CurDAG->getNode(ISD::SUB, DL, MVT::i32, |
| 915 | Zero, Addr.getOperand(1)); |
| 916 | |
| 917 | if (isDSOffsetLegal(Sub, DWordOffset1, 8)) { |
| 918 | MachineSDNode *MachineSub |
| 919 | = CurDAG->getMachineNode(AMDGPU::V_SUB_I32_e32, DL, MVT::i32, |
| 920 | Zero, Addr.getOperand(1)); |
| 921 | |
| 922 | Base = SDValue(MachineSub, 0); |
| 923 | Offset0 = CurDAG->getTargetConstant(DWordOffset0, DL, MVT::i8); |
| 924 | Offset1 = CurDAG->getTargetConstant(DWordOffset1, DL, MVT::i8); |
| 925 | return true; |
| 926 | } |
| 927 | } |
| 928 | } |
| 929 | } else if (const ConstantSDNode *CAddr = dyn_cast<ConstantSDNode>(Addr)) { |
Matt Arsenault | 1a74aff | 2014-10-15 18:06:43 +0000 | [diff] [blame] | 930 | unsigned DWordOffset0 = CAddr->getZExtValue() / 4; |
| 931 | unsigned DWordOffset1 = DWordOffset0 + 1; |
| 932 | assert(4 * DWordOffset0 == CAddr->getZExtValue()); |
| 933 | |
| 934 | if (isUInt<8>(DWordOffset0) && isUInt<8>(DWordOffset1)) { |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 935 | SDValue Zero = CurDAG->getTargetConstant(0, DL, MVT::i32); |
Matt Arsenault | 1a74aff | 2014-10-15 18:06:43 +0000 | [diff] [blame] | 936 | MachineSDNode *MovZero |
| 937 | = CurDAG->getMachineNode(AMDGPU::V_MOV_B32_e32, |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 938 | DL, MVT::i32, Zero); |
Matt Arsenault | 1a74aff | 2014-10-15 18:06:43 +0000 | [diff] [blame] | 939 | Base = SDValue(MovZero, 0); |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 940 | Offset0 = CurDAG->getTargetConstant(DWordOffset0, DL, MVT::i8); |
| 941 | Offset1 = CurDAG->getTargetConstant(DWordOffset1, DL, MVT::i8); |
Matt Arsenault | 1a74aff | 2014-10-15 18:06:43 +0000 | [diff] [blame] | 942 | return true; |
| 943 | } |
| 944 | } |
| 945 | |
Tom Stellard | f3fc555 | 2014-08-22 18:49:35 +0000 | [diff] [blame] | 946 | // default case |
Matt Arsenault | 0efdd06 | 2016-09-09 22:29:28 +0000 | [diff] [blame] | 947 | |
| 948 | // FIXME: This is broken on SI where we still need to check if the base |
| 949 | // pointer is positive here. |
Tom Stellard | f3fc555 | 2014-08-22 18:49:35 +0000 | [diff] [blame] | 950 | Base = Addr; |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 951 | Offset0 = CurDAG->getTargetConstant(0, DL, MVT::i8); |
| 952 | Offset1 = CurDAG->getTargetConstant(1, DL, MVT::i8); |
Tom Stellard | f3fc555 | 2014-08-22 18:49:35 +0000 | [diff] [blame] | 953 | return true; |
| 954 | } |
| 955 | |
Tom Stellard | b02094e | 2014-07-21 15:45:01 +0000 | [diff] [blame] | 956 | static bool isLegalMUBUFImmOffset(const ConstantSDNode *Imm) { |
| 957 | return isUInt<12>(Imm->getZExtValue()); |
| 958 | } |
| 959 | |
Changpeng Fang | b41574a | 2015-12-22 20:55:23 +0000 | [diff] [blame] | 960 | bool AMDGPUDAGToDAGISel::SelectMUBUF(SDValue Addr, SDValue &Ptr, |
Tom Stellard | 155bbb7 | 2014-08-11 22:18:17 +0000 | [diff] [blame] | 961 | SDValue &VAddr, SDValue &SOffset, |
| 962 | SDValue &Offset, SDValue &Offen, |
| 963 | SDValue &Idxen, SDValue &Addr64, |
| 964 | SDValue &GLC, SDValue &SLC, |
| 965 | SDValue &TFE) const { |
Changpeng Fang | b41574a | 2015-12-22 20:55:23 +0000 | [diff] [blame] | 966 | // Subtarget prefers to use flat instruction |
| 967 | if (Subtarget->useFlatForGlobal()) |
| 968 | return false; |
| 969 | |
Tom Stellard | b02c268 | 2014-06-24 23:33:07 +0000 | [diff] [blame] | 970 | SDLoc DL(Addr); |
| 971 | |
Jan Vesely | 43b7b5b | 2016-04-07 19:23:11 +0000 | [diff] [blame] | 972 | if (!GLC.getNode()) |
| 973 | GLC = CurDAG->getTargetConstant(0, DL, MVT::i1); |
| 974 | if (!SLC.getNode()) |
| 975 | SLC = CurDAG->getTargetConstant(0, DL, MVT::i1); |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 976 | TFE = CurDAG->getTargetConstant(0, DL, MVT::i1); |
Tom Stellard | 155bbb7 | 2014-08-11 22:18:17 +0000 | [diff] [blame] | 977 | |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 978 | Idxen = CurDAG->getTargetConstant(0, DL, MVT::i1); |
| 979 | Offen = CurDAG->getTargetConstant(0, DL, MVT::i1); |
| 980 | Addr64 = CurDAG->getTargetConstant(0, DL, MVT::i1); |
| 981 | SOffset = CurDAG->getTargetConstant(0, DL, MVT::i32); |
Tom Stellard | 155bbb7 | 2014-08-11 22:18:17 +0000 | [diff] [blame] | 982 | |
Tom Stellard | b02c268 | 2014-06-24 23:33:07 +0000 | [diff] [blame] | 983 | if (CurDAG->isBaseWithConstantOffset(Addr)) { |
| 984 | SDValue N0 = Addr.getOperand(0); |
| 985 | SDValue N1 = Addr.getOperand(1); |
| 986 | ConstantSDNode *C1 = cast<ConstantSDNode>(N1); |
| 987 | |
Tom Stellard | 94b7231 | 2015-02-11 00:34:35 +0000 | [diff] [blame] | 988 | if (N0.getOpcode() == ISD::ADD) { |
| 989 | // (add (add N2, N3), C1) -> addr64 |
| 990 | SDValue N2 = N0.getOperand(0); |
| 991 | SDValue N3 = N0.getOperand(1); |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 992 | Addr64 = CurDAG->getTargetConstant(1, DL, MVT::i1); |
Tom Stellard | 94b7231 | 2015-02-11 00:34:35 +0000 | [diff] [blame] | 993 | Ptr = N2; |
| 994 | VAddr = N3; |
| 995 | } else { |
Tom Stellard | 155bbb7 | 2014-08-11 22:18:17 +0000 | [diff] [blame] | 996 | // (add N0, C1) -> offset |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 997 | VAddr = CurDAG->getTargetConstant(0, DL, MVT::i32); |
Tom Stellard | 155bbb7 | 2014-08-11 22:18:17 +0000 | [diff] [blame] | 998 | Ptr = N0; |
Tom Stellard | 94b7231 | 2015-02-11 00:34:35 +0000 | [diff] [blame] | 999 | } |
| 1000 | |
| 1001 | if (isLegalMUBUFImmOffset(C1)) { |
Matt Arsenault | 8870181 | 2016-06-09 23:42:48 +0000 | [diff] [blame] | 1002 | Offset = CurDAG->getTargetConstant(C1->getZExtValue(), DL, MVT::i16); |
| 1003 | return true; |
| 1004 | } |
| 1005 | |
| 1006 | if (isUInt<32>(C1->getZExtValue())) { |
Tom Stellard | 94b7231 | 2015-02-11 00:34:35 +0000 | [diff] [blame] | 1007 | // Illegal offset, store it in soffset. |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 1008 | Offset = CurDAG->getTargetConstant(0, DL, MVT::i16); |
Tom Stellard | 94b7231 | 2015-02-11 00:34:35 +0000 | [diff] [blame] | 1009 | SOffset = SDValue(CurDAG->getMachineNode(AMDGPU::S_MOV_B32, DL, MVT::i32, |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 1010 | CurDAG->getTargetConstant(C1->getZExtValue(), DL, MVT::i32)), |
| 1011 | 0); |
Changpeng Fang | b41574a | 2015-12-22 20:55:23 +0000 | [diff] [blame] | 1012 | return true; |
Tom Stellard | b02c268 | 2014-06-24 23:33:07 +0000 | [diff] [blame] | 1013 | } |
| 1014 | } |
Tom Stellard | 94b7231 | 2015-02-11 00:34:35 +0000 | [diff] [blame] | 1015 | |
Tom Stellard | b02c268 | 2014-06-24 23:33:07 +0000 | [diff] [blame] | 1016 | if (Addr.getOpcode() == ISD::ADD) { |
Tom Stellard | 155bbb7 | 2014-08-11 22:18:17 +0000 | [diff] [blame] | 1017 | // (add N0, N1) -> addr64 |
Tom Stellard | b02c268 | 2014-06-24 23:33:07 +0000 | [diff] [blame] | 1018 | SDValue N0 = Addr.getOperand(0); |
| 1019 | SDValue N1 = Addr.getOperand(1); |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 1020 | Addr64 = CurDAG->getTargetConstant(1, DL, MVT::i1); |
Tom Stellard | 155bbb7 | 2014-08-11 22:18:17 +0000 | [diff] [blame] | 1021 | Ptr = N0; |
| 1022 | VAddr = N1; |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 1023 | Offset = CurDAG->getTargetConstant(0, DL, MVT::i16); |
Changpeng Fang | b41574a | 2015-12-22 20:55:23 +0000 | [diff] [blame] | 1024 | return true; |
Tom Stellard | b02c268 | 2014-06-24 23:33:07 +0000 | [diff] [blame] | 1025 | } |
| 1026 | |
Tom Stellard | 155bbb7 | 2014-08-11 22:18:17 +0000 | [diff] [blame] | 1027 | // default case -> offset |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 1028 | VAddr = CurDAG->getTargetConstant(0, DL, MVT::i32); |
Tom Stellard | 155bbb7 | 2014-08-11 22:18:17 +0000 | [diff] [blame] | 1029 | Ptr = Addr; |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 1030 | Offset = CurDAG->getTargetConstant(0, DL, MVT::i16); |
Changpeng Fang | b41574a | 2015-12-22 20:55:23 +0000 | [diff] [blame] | 1031 | |
| 1032 | return true; |
Tom Stellard | 155bbb7 | 2014-08-11 22:18:17 +0000 | [diff] [blame] | 1033 | } |
| 1034 | |
| 1035 | bool AMDGPUDAGToDAGISel::SelectMUBUFAddr64(SDValue Addr, SDValue &SRsrc, |
Tom Stellard | c53861a | 2015-02-11 00:34:32 +0000 | [diff] [blame] | 1036 | SDValue &VAddr, SDValue &SOffset, |
Tom Stellard | 1f9939f | 2015-02-27 14:59:41 +0000 | [diff] [blame] | 1037 | SDValue &Offset, SDValue &GLC, |
| 1038 | SDValue &SLC, SDValue &TFE) const { |
| 1039 | SDValue Ptr, Offen, Idxen, Addr64; |
Tom Stellard | 155bbb7 | 2014-08-11 22:18:17 +0000 | [diff] [blame] | 1040 | |
Tom Stellard | 70580f8 | 2015-07-20 14:28:41 +0000 | [diff] [blame] | 1041 | // addr64 bit was removed for volcanic islands. |
| 1042 | if (Subtarget->getGeneration() >= AMDGPUSubtarget::VOLCANIC_ISLANDS) |
| 1043 | return false; |
| 1044 | |
Changpeng Fang | b41574a | 2015-12-22 20:55:23 +0000 | [diff] [blame] | 1045 | if (!SelectMUBUF(Addr, Ptr, VAddr, SOffset, Offset, Offen, Idxen, Addr64, |
| 1046 | GLC, SLC, TFE)) |
| 1047 | return false; |
Tom Stellard | 155bbb7 | 2014-08-11 22:18:17 +0000 | [diff] [blame] | 1048 | |
| 1049 | ConstantSDNode *C = cast<ConstantSDNode>(Addr64); |
| 1050 | if (C->getSExtValue()) { |
| 1051 | SDLoc DL(Addr); |
Matt Arsenault | 485defe | 2014-11-05 19:01:17 +0000 | [diff] [blame] | 1052 | |
| 1053 | const SITargetLowering& Lowering = |
| 1054 | *static_cast<const SITargetLowering*>(getTargetLowering()); |
| 1055 | |
| 1056 | SRsrc = SDValue(Lowering.wrapAddr64Rsrc(*CurDAG, DL, Ptr), 0); |
Tom Stellard | 155bbb7 | 2014-08-11 22:18:17 +0000 | [diff] [blame] | 1057 | return true; |
| 1058 | } |
Matt Arsenault | 485defe | 2014-11-05 19:01:17 +0000 | [diff] [blame] | 1059 | |
Tom Stellard | 155bbb7 | 2014-08-11 22:18:17 +0000 | [diff] [blame] | 1060 | return false; |
| 1061 | } |
| 1062 | |
Tom Stellard | 7980fc8 | 2014-09-25 18:30:26 +0000 | [diff] [blame] | 1063 | bool AMDGPUDAGToDAGISel::SelectMUBUFAddr64(SDValue Addr, SDValue &SRsrc, |
Tom Stellard | c53861a | 2015-02-11 00:34:32 +0000 | [diff] [blame] | 1064 | SDValue &VAddr, SDValue &SOffset, |
NAKAMURA Takumi | 0a7d0ad | 2015-09-22 11:15:07 +0000 | [diff] [blame] | 1065 | SDValue &Offset, |
| 1066 | SDValue &SLC) const { |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 1067 | SLC = CurDAG->getTargetConstant(0, SDLoc(Addr), MVT::i1); |
Tom Stellard | 1f9939f | 2015-02-27 14:59:41 +0000 | [diff] [blame] | 1068 | SDValue GLC, TFE; |
Tom Stellard | 7980fc8 | 2014-09-25 18:30:26 +0000 | [diff] [blame] | 1069 | |
Tom Stellard | 1f9939f | 2015-02-27 14:59:41 +0000 | [diff] [blame] | 1070 | return SelectMUBUFAddr64(Addr, SRsrc, VAddr, SOffset, Offset, GLC, SLC, TFE); |
Tom Stellard | 7980fc8 | 2014-09-25 18:30:26 +0000 | [diff] [blame] | 1071 | } |
| 1072 | |
Matt Arsenault | ac0fc84 | 2016-09-17 16:09:55 +0000 | [diff] [blame] | 1073 | SDValue AMDGPUDAGToDAGISel::foldFrameIndex(SDValue N) const { |
| 1074 | if (auto FI = dyn_cast<FrameIndexSDNode>(N)) |
| 1075 | return CurDAG->getTargetFrameIndex(FI->getIndex(), FI->getValueType(0)); |
| 1076 | return N; |
| 1077 | } |
| 1078 | |
Tom Stellard | b02094e | 2014-07-21 15:45:01 +0000 | [diff] [blame] | 1079 | bool AMDGPUDAGToDAGISel::SelectMUBUFScratch(SDValue Addr, SDValue &Rsrc, |
| 1080 | SDValue &VAddr, SDValue &SOffset, |
| 1081 | SDValue &ImmOffset) const { |
| 1082 | |
| 1083 | SDLoc DL(Addr); |
| 1084 | MachineFunction &MF = CurDAG->getMachineFunction(); |
Matt Arsenault | 0e3d389 | 2015-11-30 21:15:53 +0000 | [diff] [blame] | 1085 | const SIMachineFunctionInfo *Info = MF.getInfo<SIMachineFunctionInfo>(); |
Tom Stellard | b02094e | 2014-07-21 15:45:01 +0000 | [diff] [blame] | 1086 | |
Matt Arsenault | 0e3d389 | 2015-11-30 21:15:53 +0000 | [diff] [blame] | 1087 | Rsrc = CurDAG->getRegister(Info->getScratchRSrcReg(), MVT::v4i32); |
Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 1088 | SOffset = CurDAG->getRegister(Info->getScratchWaveOffsetReg(), MVT::i32); |
Tom Stellard | b02094e | 2014-07-21 15:45:01 +0000 | [diff] [blame] | 1089 | |
| 1090 | // (add n0, c1) |
| 1091 | if (CurDAG->isBaseWithConstantOffset(Addr)) { |
Tom Stellard | 78655fc | 2015-07-16 19:40:09 +0000 | [diff] [blame] | 1092 | SDValue N0 = Addr.getOperand(0); |
Tom Stellard | b02094e | 2014-07-21 15:45:01 +0000 | [diff] [blame] | 1093 | SDValue N1 = Addr.getOperand(1); |
Matt Arsenault | cd09961 | 2016-02-24 04:55:29 +0000 | [diff] [blame] | 1094 | |
Tom Stellard | 78655fc | 2015-07-16 19:40:09 +0000 | [diff] [blame] | 1095 | // Offsets in vaddr must be positive. |
Matt Arsenault | cd09961 | 2016-02-24 04:55:29 +0000 | [diff] [blame] | 1096 | ConstantSDNode *C1 = cast<ConstantSDNode>(N1); |
Matt Arsenault | cb38a6b | 2016-03-21 18:02:18 +0000 | [diff] [blame] | 1097 | if (isLegalMUBUFImmOffset(C1)) { |
Matt Arsenault | ac0fc84 | 2016-09-17 16:09:55 +0000 | [diff] [blame] | 1098 | VAddr = foldFrameIndex(N0); |
Matt Arsenault | cd09961 | 2016-02-24 04:55:29 +0000 | [diff] [blame] | 1099 | ImmOffset = CurDAG->getTargetConstant(C1->getZExtValue(), DL, MVT::i16); |
| 1100 | return true; |
Tom Stellard | b02094e | 2014-07-21 15:45:01 +0000 | [diff] [blame] | 1101 | } |
| 1102 | } |
| 1103 | |
Tom Stellard | b02094e | 2014-07-21 15:45:01 +0000 | [diff] [blame] | 1104 | // (node) |
Matt Arsenault | ac0fc84 | 2016-09-17 16:09:55 +0000 | [diff] [blame] | 1105 | VAddr = foldFrameIndex(Addr); |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 1106 | ImmOffset = CurDAG->getTargetConstant(0, DL, MVT::i16); |
Tom Stellard | b02094e | 2014-07-21 15:45:01 +0000 | [diff] [blame] | 1107 | return true; |
| 1108 | } |
| 1109 | |
Tom Stellard | 155bbb7 | 2014-08-11 22:18:17 +0000 | [diff] [blame] | 1110 | bool AMDGPUDAGToDAGISel::SelectMUBUFOffset(SDValue Addr, SDValue &SRsrc, |
| 1111 | SDValue &SOffset, SDValue &Offset, |
| 1112 | SDValue &GLC, SDValue &SLC, |
| 1113 | SDValue &TFE) const { |
| 1114 | SDValue Ptr, VAddr, Offen, Idxen, Addr64; |
Tom Stellard | 794c8c0 | 2014-12-02 17:05:41 +0000 | [diff] [blame] | 1115 | const SIInstrInfo *TII = |
Eric Christopher | 7792e32 | 2015-01-30 23:24:40 +0000 | [diff] [blame] | 1116 | static_cast<const SIInstrInfo *>(Subtarget->getInstrInfo()); |
Tom Stellard | b02094e | 2014-07-21 15:45:01 +0000 | [diff] [blame] | 1117 | |
Changpeng Fang | b41574a | 2015-12-22 20:55:23 +0000 | [diff] [blame] | 1118 | if (!SelectMUBUF(Addr, Ptr, VAddr, SOffset, Offset, Offen, Idxen, Addr64, |
| 1119 | GLC, SLC, TFE)) |
| 1120 | return false; |
Tom Stellard | b02094e | 2014-07-21 15:45:01 +0000 | [diff] [blame] | 1121 | |
Tom Stellard | 155bbb7 | 2014-08-11 22:18:17 +0000 | [diff] [blame] | 1122 | if (!cast<ConstantSDNode>(Offen)->getSExtValue() && |
| 1123 | !cast<ConstantSDNode>(Idxen)->getSExtValue() && |
| 1124 | !cast<ConstantSDNode>(Addr64)->getSExtValue()) { |
Tom Stellard | 794c8c0 | 2014-12-02 17:05:41 +0000 | [diff] [blame] | 1125 | uint64_t Rsrc = TII->getDefaultRsrcDataFormat() | |
Tom Stellard | 155bbb7 | 2014-08-11 22:18:17 +0000 | [diff] [blame] | 1126 | APInt::getAllOnesValue(32).getZExtValue(); // Size |
| 1127 | SDLoc DL(Addr); |
Matt Arsenault | f3cd451 | 2014-11-05 19:01:19 +0000 | [diff] [blame] | 1128 | |
| 1129 | const SITargetLowering& Lowering = |
| 1130 | *static_cast<const SITargetLowering*>(getTargetLowering()); |
| 1131 | |
| 1132 | SRsrc = SDValue(Lowering.buildRSRC(*CurDAG, DL, Ptr, 0, Rsrc), 0); |
Tom Stellard | 155bbb7 | 2014-08-11 22:18:17 +0000 | [diff] [blame] | 1133 | return true; |
| 1134 | } |
| 1135 | return false; |
Tom Stellard | b02094e | 2014-07-21 15:45:01 +0000 | [diff] [blame] | 1136 | } |
| 1137 | |
Tom Stellard | 7980fc8 | 2014-09-25 18:30:26 +0000 | [diff] [blame] | 1138 | bool AMDGPUDAGToDAGISel::SelectMUBUFOffset(SDValue Addr, SDValue &SRsrc, |
Jan Vesely | 43b7b5b | 2016-04-07 19:23:11 +0000 | [diff] [blame] | 1139 | SDValue &Soffset, SDValue &Offset |
| 1140 | ) const { |
| 1141 | SDValue GLC, SLC, TFE; |
| 1142 | |
| 1143 | return SelectMUBUFOffset(Addr, SRsrc, Soffset, Offset, GLC, SLC, TFE); |
| 1144 | } |
| 1145 | bool AMDGPUDAGToDAGISel::SelectMUBUFOffset(SDValue Addr, SDValue &SRsrc, |
Tom Stellard | 7980fc8 | 2014-09-25 18:30:26 +0000 | [diff] [blame] | 1146 | SDValue &Soffset, SDValue &Offset, |
Matt Arsenault | 8870181 | 2016-06-09 23:42:48 +0000 | [diff] [blame] | 1147 | SDValue &SLC) const { |
| 1148 | SDValue GLC, TFE; |
Tom Stellard | 7980fc8 | 2014-09-25 18:30:26 +0000 | [diff] [blame] | 1149 | |
| 1150 | return SelectMUBUFOffset(Addr, SRsrc, Soffset, Offset, GLC, SLC, TFE); |
| 1151 | } |
| 1152 | |
Nicolai Haehnle | a609259 | 2016-06-15 07:13:05 +0000 | [diff] [blame] | 1153 | bool AMDGPUDAGToDAGISel::SelectMUBUFConstant(SDValue Constant, |
Nicolai Haehnle | 3003ba0 | 2016-03-18 16:24:20 +0000 | [diff] [blame] | 1154 | SDValue &SOffset, |
| 1155 | SDValue &ImmOffset) const { |
| 1156 | SDLoc DL(Constant); |
| 1157 | uint32_t Imm = cast<ConstantSDNode>(Constant)->getZExtValue(); |
| 1158 | uint32_t Overflow = 0; |
| 1159 | |
| 1160 | if (Imm >= 4096) { |
| 1161 | if (Imm <= 4095 + 64) { |
| 1162 | // Use an SOffset inline constant for 1..64 |
| 1163 | Overflow = Imm - 4095; |
| 1164 | Imm = 4095; |
| 1165 | } else { |
| 1166 | // Try to keep the same value in SOffset for adjacent loads, so that |
| 1167 | // the corresponding register contents can be re-used. |
| 1168 | // |
| 1169 | // Load values with all low-bits set into SOffset, so that a larger |
| 1170 | // range of values can be covered using s_movk_i32 |
| 1171 | uint32_t High = (Imm + 1) & ~4095; |
| 1172 | uint32_t Low = (Imm + 1) & 4095; |
| 1173 | Imm = Low; |
| 1174 | Overflow = High - 1; |
| 1175 | } |
| 1176 | } |
| 1177 | |
Nicolai Haehnle | a609259 | 2016-06-15 07:13:05 +0000 | [diff] [blame] | 1178 | // There is a hardware bug in SI and CI which prevents address clamping in |
| 1179 | // MUBUF instructions from working correctly with SOffsets. The immediate |
| 1180 | // offset is unaffected. |
| 1181 | if (Overflow > 0 && |
| 1182 | Subtarget->getGeneration() <= AMDGPUSubtarget::SEA_ISLANDS) |
| 1183 | return false; |
| 1184 | |
Nicolai Haehnle | 3003ba0 | 2016-03-18 16:24:20 +0000 | [diff] [blame] | 1185 | ImmOffset = CurDAG->getTargetConstant(Imm, DL, MVT::i16); |
| 1186 | |
| 1187 | if (Overflow <= 64) |
| 1188 | SOffset = CurDAG->getTargetConstant(Overflow, DL, MVT::i32); |
| 1189 | else |
| 1190 | SOffset = SDValue(CurDAG->getMachineNode(AMDGPU::S_MOV_B32, DL, MVT::i32, |
| 1191 | CurDAG->getTargetConstant(Overflow, DL, MVT::i32)), |
| 1192 | 0); |
Nicolai Haehnle | a609259 | 2016-06-15 07:13:05 +0000 | [diff] [blame] | 1193 | |
| 1194 | return true; |
Nicolai Haehnle | 3003ba0 | 2016-03-18 16:24:20 +0000 | [diff] [blame] | 1195 | } |
| 1196 | |
| 1197 | bool AMDGPUDAGToDAGISel::SelectMUBUFIntrinsicOffset(SDValue Offset, |
| 1198 | SDValue &SOffset, |
| 1199 | SDValue &ImmOffset) const { |
| 1200 | SDLoc DL(Offset); |
| 1201 | |
| 1202 | if (!isa<ConstantSDNode>(Offset)) |
| 1203 | return false; |
| 1204 | |
Nicolai Haehnle | a609259 | 2016-06-15 07:13:05 +0000 | [diff] [blame] | 1205 | return SelectMUBUFConstant(Offset, SOffset, ImmOffset); |
Nicolai Haehnle | 3003ba0 | 2016-03-18 16:24:20 +0000 | [diff] [blame] | 1206 | } |
| 1207 | |
| 1208 | bool AMDGPUDAGToDAGISel::SelectMUBUFIntrinsicVOffset(SDValue Offset, |
| 1209 | SDValue &SOffset, |
| 1210 | SDValue &ImmOffset, |
| 1211 | SDValue &VOffset) const { |
| 1212 | SDLoc DL(Offset); |
| 1213 | |
| 1214 | // Don't generate an unnecessary voffset for constant offsets. |
Nicolai Haehnle | a609259 | 2016-06-15 07:13:05 +0000 | [diff] [blame] | 1215 | if (isa<ConstantSDNode>(Offset)) { |
| 1216 | SDValue Tmp1, Tmp2; |
| 1217 | |
| 1218 | // When necessary, use a voffset in <= CI anyway to work around a hardware |
| 1219 | // bug. |
| 1220 | if (Subtarget->getGeneration() > AMDGPUSubtarget::SEA_ISLANDS || |
| 1221 | SelectMUBUFConstant(Offset, Tmp1, Tmp2)) |
| 1222 | return false; |
| 1223 | } |
Nicolai Haehnle | 3003ba0 | 2016-03-18 16:24:20 +0000 | [diff] [blame] | 1224 | |
| 1225 | if (CurDAG->isBaseWithConstantOffset(Offset)) { |
| 1226 | SDValue N0 = Offset.getOperand(0); |
| 1227 | SDValue N1 = Offset.getOperand(1); |
Nicolai Haehnle | a609259 | 2016-06-15 07:13:05 +0000 | [diff] [blame] | 1228 | if (cast<ConstantSDNode>(N1)->getSExtValue() >= 0 && |
| 1229 | SelectMUBUFConstant(N1, SOffset, ImmOffset)) { |
| 1230 | VOffset = N0; |
| 1231 | return true; |
| 1232 | } |
Nicolai Haehnle | 3003ba0 | 2016-03-18 16:24:20 +0000 | [diff] [blame] | 1233 | } |
| 1234 | |
Nicolai Haehnle | a609259 | 2016-06-15 07:13:05 +0000 | [diff] [blame] | 1235 | SOffset = CurDAG->getTargetConstant(0, DL, MVT::i32); |
| 1236 | ImmOffset = CurDAG->getTargetConstant(0, DL, MVT::i16); |
| 1237 | VOffset = Offset; |
| 1238 | |
Nicolai Haehnle | 3003ba0 | 2016-03-18 16:24:20 +0000 | [diff] [blame] | 1239 | return true; |
| 1240 | } |
| 1241 | |
Matt Arsenault | 7757c59 | 2016-06-09 23:42:54 +0000 | [diff] [blame] | 1242 | bool AMDGPUDAGToDAGISel::SelectFlat(SDValue Addr, |
| 1243 | SDValue &VAddr, |
| 1244 | SDValue &SLC, |
| 1245 | SDValue &TFE) const { |
| 1246 | VAddr = Addr; |
| 1247 | TFE = SLC = CurDAG->getTargetConstant(0, SDLoc(), MVT::i1); |
| 1248 | return true; |
| 1249 | } |
| 1250 | |
Tom Stellard | dee26a2 | 2015-08-06 19:28:30 +0000 | [diff] [blame] | 1251 | bool AMDGPUDAGToDAGISel::SelectSMRDOffset(SDValue ByteOffsetNode, |
| 1252 | SDValue &Offset, bool &Imm) const { |
| 1253 | |
| 1254 | // FIXME: Handle non-constant offsets. |
| 1255 | ConstantSDNode *C = dyn_cast<ConstantSDNode>(ByteOffsetNode); |
| 1256 | if (!C) |
| 1257 | return false; |
| 1258 | |
| 1259 | SDLoc SL(ByteOffsetNode); |
| 1260 | AMDGPUSubtarget::Generation Gen = Subtarget->getGeneration(); |
| 1261 | int64_t ByteOffset = C->getSExtValue(); |
Tom Stellard | 08efb7e | 2017-01-27 18:41:14 +0000 | [diff] [blame] | 1262 | int64_t EncodedOffset = AMDGPU::getSMRDEncodedOffset(*Subtarget, ByteOffset); |
Tom Stellard | dee26a2 | 2015-08-06 19:28:30 +0000 | [diff] [blame] | 1263 | |
Tom Stellard | 08efb7e | 2017-01-27 18:41:14 +0000 | [diff] [blame] | 1264 | if (AMDGPU::isLegalSMRDImmOffset(*Subtarget, ByteOffset)) { |
Tom Stellard | dee26a2 | 2015-08-06 19:28:30 +0000 | [diff] [blame] | 1265 | Offset = CurDAG->getTargetConstant(EncodedOffset, SL, MVT::i32); |
| 1266 | Imm = true; |
| 1267 | return true; |
| 1268 | } |
| 1269 | |
Tom Stellard | 217361c | 2015-08-06 19:28:38 +0000 | [diff] [blame] | 1270 | if (!isUInt<32>(EncodedOffset) || !isUInt<32>(ByteOffset)) |
| 1271 | return false; |
| 1272 | |
| 1273 | if (Gen == AMDGPUSubtarget::SEA_ISLANDS && isUInt<32>(EncodedOffset)) { |
| 1274 | // 32-bit Immediates are supported on Sea Islands. |
| 1275 | Offset = CurDAG->getTargetConstant(EncodedOffset, SL, MVT::i32); |
| 1276 | } else { |
Tom Stellard | dee26a2 | 2015-08-06 19:28:30 +0000 | [diff] [blame] | 1277 | SDValue C32Bit = CurDAG->getTargetConstant(ByteOffset, SL, MVT::i32); |
| 1278 | Offset = SDValue(CurDAG->getMachineNode(AMDGPU::S_MOV_B32, SL, MVT::i32, |
| 1279 | C32Bit), 0); |
Tom Stellard | dee26a2 | 2015-08-06 19:28:30 +0000 | [diff] [blame] | 1280 | } |
Tom Stellard | 217361c | 2015-08-06 19:28:38 +0000 | [diff] [blame] | 1281 | Imm = false; |
| 1282 | return true; |
Tom Stellard | dee26a2 | 2015-08-06 19:28:30 +0000 | [diff] [blame] | 1283 | } |
| 1284 | |
| 1285 | bool AMDGPUDAGToDAGISel::SelectSMRD(SDValue Addr, SDValue &SBase, |
| 1286 | SDValue &Offset, bool &Imm) const { |
Tom Stellard | dee26a2 | 2015-08-06 19:28:30 +0000 | [diff] [blame] | 1287 | SDLoc SL(Addr); |
| 1288 | if (CurDAG->isBaseWithConstantOffset(Addr)) { |
| 1289 | SDValue N0 = Addr.getOperand(0); |
| 1290 | SDValue N1 = Addr.getOperand(1); |
| 1291 | |
| 1292 | if (SelectSMRDOffset(N1, Offset, Imm)) { |
| 1293 | SBase = N0; |
| 1294 | return true; |
| 1295 | } |
| 1296 | } |
| 1297 | SBase = Addr; |
| 1298 | Offset = CurDAG->getTargetConstant(0, SL, MVT::i32); |
| 1299 | Imm = true; |
| 1300 | return true; |
| 1301 | } |
| 1302 | |
| 1303 | bool AMDGPUDAGToDAGISel::SelectSMRDImm(SDValue Addr, SDValue &SBase, |
| 1304 | SDValue &Offset) const { |
| 1305 | bool Imm; |
| 1306 | return SelectSMRD(Addr, SBase, Offset, Imm) && Imm; |
| 1307 | } |
| 1308 | |
Tom Stellard | 217361c | 2015-08-06 19:28:38 +0000 | [diff] [blame] | 1309 | bool AMDGPUDAGToDAGISel::SelectSMRDImm32(SDValue Addr, SDValue &SBase, |
| 1310 | SDValue &Offset) const { |
| 1311 | |
| 1312 | if (Subtarget->getGeneration() != AMDGPUSubtarget::SEA_ISLANDS) |
| 1313 | return false; |
| 1314 | |
| 1315 | bool Imm; |
| 1316 | if (!SelectSMRD(Addr, SBase, Offset, Imm)) |
| 1317 | return false; |
| 1318 | |
| 1319 | return !Imm && isa<ConstantSDNode>(Offset); |
| 1320 | } |
| 1321 | |
Tom Stellard | dee26a2 | 2015-08-06 19:28:30 +0000 | [diff] [blame] | 1322 | bool AMDGPUDAGToDAGISel::SelectSMRDSgpr(SDValue Addr, SDValue &SBase, |
| 1323 | SDValue &Offset) const { |
| 1324 | bool Imm; |
Tom Stellard | 217361c | 2015-08-06 19:28:38 +0000 | [diff] [blame] | 1325 | return SelectSMRD(Addr, SBase, Offset, Imm) && !Imm && |
| 1326 | !isa<ConstantSDNode>(Offset); |
Tom Stellard | dee26a2 | 2015-08-06 19:28:30 +0000 | [diff] [blame] | 1327 | } |
| 1328 | |
| 1329 | bool AMDGPUDAGToDAGISel::SelectSMRDBufferImm(SDValue Addr, |
| 1330 | SDValue &Offset) const { |
| 1331 | bool Imm; |
| 1332 | return SelectSMRDOffset(Addr, Offset, Imm) && Imm; |
| 1333 | } |
| 1334 | |
Tom Stellard | 217361c | 2015-08-06 19:28:38 +0000 | [diff] [blame] | 1335 | bool AMDGPUDAGToDAGISel::SelectSMRDBufferImm32(SDValue Addr, |
| 1336 | SDValue &Offset) const { |
| 1337 | if (Subtarget->getGeneration() != AMDGPUSubtarget::SEA_ISLANDS) |
| 1338 | return false; |
| 1339 | |
| 1340 | bool Imm; |
| 1341 | if (!SelectSMRDOffset(Addr, Offset, Imm)) |
| 1342 | return false; |
| 1343 | |
| 1344 | return !Imm && isa<ConstantSDNode>(Offset); |
| 1345 | } |
| 1346 | |
Tom Stellard | dee26a2 | 2015-08-06 19:28:30 +0000 | [diff] [blame] | 1347 | bool AMDGPUDAGToDAGISel::SelectSMRDBufferSgpr(SDValue Addr, |
| 1348 | SDValue &Offset) const { |
| 1349 | bool Imm; |
Tom Stellard | 217361c | 2015-08-06 19:28:38 +0000 | [diff] [blame] | 1350 | return SelectSMRDOffset(Addr, Offset, Imm) && !Imm && |
| 1351 | !isa<ConstantSDNode>(Offset); |
Tom Stellard | dee26a2 | 2015-08-06 19:28:30 +0000 | [diff] [blame] | 1352 | } |
| 1353 | |
Nicolai Haehnle | 7968c34 | 2016-07-12 08:12:16 +0000 | [diff] [blame] | 1354 | bool AMDGPUDAGToDAGISel::SelectMOVRELOffset(SDValue Index, |
| 1355 | SDValue &Base, |
| 1356 | SDValue &Offset) const { |
Matt Arsenault | 1322b6f | 2016-07-09 01:13:56 +0000 | [diff] [blame] | 1357 | SDLoc DL(Index); |
| 1358 | |
| 1359 | if (CurDAG->isBaseWithConstantOffset(Index)) { |
| 1360 | SDValue N0 = Index.getOperand(0); |
| 1361 | SDValue N1 = Index.getOperand(1); |
| 1362 | ConstantSDNode *C1 = cast<ConstantSDNode>(N1); |
| 1363 | |
| 1364 | // (add n0, c0) |
| 1365 | Base = N0; |
| 1366 | Offset = CurDAG->getTargetConstant(C1->getZExtValue(), DL, MVT::i32); |
| 1367 | return true; |
| 1368 | } |
| 1369 | |
Nicolai Haehnle | 7968c34 | 2016-07-12 08:12:16 +0000 | [diff] [blame] | 1370 | if (isa<ConstantSDNode>(Index)) |
| 1371 | return false; |
Matt Arsenault | 1322b6f | 2016-07-09 01:13:56 +0000 | [diff] [blame] | 1372 | |
| 1373 | Base = Index; |
| 1374 | Offset = CurDAG->getTargetConstant(0, DL, MVT::i32); |
| 1375 | return true; |
| 1376 | } |
| 1377 | |
Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame] | 1378 | SDNode *AMDGPUDAGToDAGISel::getS_BFE(unsigned Opcode, const SDLoc &DL, |
| 1379 | SDValue Val, uint32_t Offset, |
| 1380 | uint32_t Width) { |
Marek Olsak | 9b72868 | 2015-03-24 13:40:27 +0000 | [diff] [blame] | 1381 | // Transformation function, pack the offset and width of a BFE into |
| 1382 | // the format expected by the S_BFE_I32 / S_BFE_U32. In the second |
| 1383 | // source, bits [5:0] contain the offset and bits [22:16] the width. |
| 1384 | uint32_t PackedVal = Offset | (Width << 16); |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 1385 | SDValue PackedConst = CurDAG->getTargetConstant(PackedVal, DL, MVT::i32); |
Marek Olsak | 9b72868 | 2015-03-24 13:40:27 +0000 | [diff] [blame] | 1386 | |
| 1387 | return CurDAG->getMachineNode(Opcode, DL, MVT::i32, Val, PackedConst); |
| 1388 | } |
| 1389 | |
Justin Bogner | 95927c0 | 2016-05-12 21:03:32 +0000 | [diff] [blame] | 1390 | void AMDGPUDAGToDAGISel::SelectS_BFEFromShifts(SDNode *N) { |
Marek Olsak | 9b72868 | 2015-03-24 13:40:27 +0000 | [diff] [blame] | 1391 | // "(a << b) srl c)" ---> "BFE_U32 a, (c-b), (32-c) |
| 1392 | // "(a << b) sra c)" ---> "BFE_I32 a, (c-b), (32-c) |
| 1393 | // Predicate: 0 < b <= c < 32 |
| 1394 | |
| 1395 | const SDValue &Shl = N->getOperand(0); |
| 1396 | ConstantSDNode *B = dyn_cast<ConstantSDNode>(Shl->getOperand(1)); |
| 1397 | ConstantSDNode *C = dyn_cast<ConstantSDNode>(N->getOperand(1)); |
| 1398 | |
| 1399 | if (B && C) { |
| 1400 | uint32_t BVal = B->getZExtValue(); |
| 1401 | uint32_t CVal = C->getZExtValue(); |
| 1402 | |
| 1403 | if (0 < BVal && BVal <= CVal && CVal < 32) { |
| 1404 | bool Signed = N->getOpcode() == ISD::SRA; |
| 1405 | unsigned Opcode = Signed ? AMDGPU::S_BFE_I32 : AMDGPU::S_BFE_U32; |
| 1406 | |
Justin Bogner | 95927c0 | 2016-05-12 21:03:32 +0000 | [diff] [blame] | 1407 | ReplaceNode(N, getS_BFE(Opcode, SDLoc(N), Shl.getOperand(0), CVal - BVal, |
| 1408 | 32 - CVal)); |
| 1409 | return; |
Marek Olsak | 9b72868 | 2015-03-24 13:40:27 +0000 | [diff] [blame] | 1410 | } |
| 1411 | } |
Justin Bogner | 95927c0 | 2016-05-12 21:03:32 +0000 | [diff] [blame] | 1412 | SelectCode(N); |
Marek Olsak | 9b72868 | 2015-03-24 13:40:27 +0000 | [diff] [blame] | 1413 | } |
| 1414 | |
Justin Bogner | 95927c0 | 2016-05-12 21:03:32 +0000 | [diff] [blame] | 1415 | void AMDGPUDAGToDAGISel::SelectS_BFE(SDNode *N) { |
Marek Olsak | 9b72868 | 2015-03-24 13:40:27 +0000 | [diff] [blame] | 1416 | switch (N->getOpcode()) { |
| 1417 | case ISD::AND: |
| 1418 | if (N->getOperand(0).getOpcode() == ISD::SRL) { |
| 1419 | // "(a srl b) & mask" ---> "BFE_U32 a, b, popcount(mask)" |
| 1420 | // Predicate: isMask(mask) |
| 1421 | const SDValue &Srl = N->getOperand(0); |
| 1422 | ConstantSDNode *Shift = dyn_cast<ConstantSDNode>(Srl.getOperand(1)); |
| 1423 | ConstantSDNode *Mask = dyn_cast<ConstantSDNode>(N->getOperand(1)); |
| 1424 | |
| 1425 | if (Shift && Mask) { |
| 1426 | uint32_t ShiftVal = Shift->getZExtValue(); |
| 1427 | uint32_t MaskVal = Mask->getZExtValue(); |
| 1428 | |
| 1429 | if (isMask_32(MaskVal)) { |
| 1430 | uint32_t WidthVal = countPopulation(MaskVal); |
| 1431 | |
Justin Bogner | 95927c0 | 2016-05-12 21:03:32 +0000 | [diff] [blame] | 1432 | ReplaceNode(N, getS_BFE(AMDGPU::S_BFE_U32, SDLoc(N), |
| 1433 | Srl.getOperand(0), ShiftVal, WidthVal)); |
| 1434 | return; |
Marek Olsak | 9b72868 | 2015-03-24 13:40:27 +0000 | [diff] [blame] | 1435 | } |
| 1436 | } |
| 1437 | } |
| 1438 | break; |
| 1439 | case ISD::SRL: |
| 1440 | if (N->getOperand(0).getOpcode() == ISD::AND) { |
| 1441 | // "(a & mask) srl b)" ---> "BFE_U32 a, b, popcount(mask >> b)" |
| 1442 | // Predicate: isMask(mask >> b) |
| 1443 | const SDValue &And = N->getOperand(0); |
| 1444 | ConstantSDNode *Shift = dyn_cast<ConstantSDNode>(N->getOperand(1)); |
| 1445 | ConstantSDNode *Mask = dyn_cast<ConstantSDNode>(And->getOperand(1)); |
| 1446 | |
| 1447 | if (Shift && Mask) { |
| 1448 | uint32_t ShiftVal = Shift->getZExtValue(); |
| 1449 | uint32_t MaskVal = Mask->getZExtValue() >> ShiftVal; |
| 1450 | |
| 1451 | if (isMask_32(MaskVal)) { |
| 1452 | uint32_t WidthVal = countPopulation(MaskVal); |
| 1453 | |
Justin Bogner | 95927c0 | 2016-05-12 21:03:32 +0000 | [diff] [blame] | 1454 | ReplaceNode(N, getS_BFE(AMDGPU::S_BFE_U32, SDLoc(N), |
| 1455 | And.getOperand(0), ShiftVal, WidthVal)); |
| 1456 | return; |
Marek Olsak | 9b72868 | 2015-03-24 13:40:27 +0000 | [diff] [blame] | 1457 | } |
| 1458 | } |
Justin Bogner | 95927c0 | 2016-05-12 21:03:32 +0000 | [diff] [blame] | 1459 | } else if (N->getOperand(0).getOpcode() == ISD::SHL) { |
| 1460 | SelectS_BFEFromShifts(N); |
| 1461 | return; |
| 1462 | } |
Marek Olsak | 9b72868 | 2015-03-24 13:40:27 +0000 | [diff] [blame] | 1463 | break; |
| 1464 | case ISD::SRA: |
Justin Bogner | 95927c0 | 2016-05-12 21:03:32 +0000 | [diff] [blame] | 1465 | if (N->getOperand(0).getOpcode() == ISD::SHL) { |
| 1466 | SelectS_BFEFromShifts(N); |
| 1467 | return; |
| 1468 | } |
Marek Olsak | 9b72868 | 2015-03-24 13:40:27 +0000 | [diff] [blame] | 1469 | break; |
Matt Arsenault | 7e8de01 | 2016-04-22 22:59:16 +0000 | [diff] [blame] | 1470 | |
| 1471 | case ISD::SIGN_EXTEND_INREG: { |
| 1472 | // sext_inreg (srl x, 16), i8 -> bfe_i32 x, 16, 8 |
| 1473 | SDValue Src = N->getOperand(0); |
| 1474 | if (Src.getOpcode() != ISD::SRL) |
| 1475 | break; |
| 1476 | |
| 1477 | const ConstantSDNode *Amt = dyn_cast<ConstantSDNode>(Src.getOperand(1)); |
| 1478 | if (!Amt) |
| 1479 | break; |
| 1480 | |
| 1481 | unsigned Width = cast<VTSDNode>(N->getOperand(1))->getVT().getSizeInBits(); |
Justin Bogner | 95927c0 | 2016-05-12 21:03:32 +0000 | [diff] [blame] | 1482 | ReplaceNode(N, getS_BFE(AMDGPU::S_BFE_I32, SDLoc(N), Src.getOperand(0), |
| 1483 | Amt->getZExtValue(), Width)); |
| 1484 | return; |
Matt Arsenault | 7e8de01 | 2016-04-22 22:59:16 +0000 | [diff] [blame] | 1485 | } |
Marek Olsak | 9b72868 | 2015-03-24 13:40:27 +0000 | [diff] [blame] | 1486 | } |
| 1487 | |
Justin Bogner | 95927c0 | 2016-05-12 21:03:32 +0000 | [diff] [blame] | 1488 | SelectCode(N); |
Marek Olsak | 9b72868 | 2015-03-24 13:40:27 +0000 | [diff] [blame] | 1489 | } |
| 1490 | |
Matt Arsenault | 7b1dc2c | 2016-09-17 02:02:19 +0000 | [diff] [blame] | 1491 | bool AMDGPUDAGToDAGISel::isCBranchSCC(const SDNode *N) const { |
| 1492 | assert(N->getOpcode() == ISD::BRCOND); |
| 1493 | if (!N->hasOneUse()) |
| 1494 | return false; |
| 1495 | |
| 1496 | SDValue Cond = N->getOperand(1); |
| 1497 | if (Cond.getOpcode() == ISD::CopyToReg) |
| 1498 | Cond = Cond.getOperand(2); |
| 1499 | |
| 1500 | if (Cond.getOpcode() != ISD::SETCC || !Cond.hasOneUse()) |
| 1501 | return false; |
| 1502 | |
| 1503 | MVT VT = Cond.getOperand(0).getSimpleValueType(); |
| 1504 | if (VT == MVT::i32) |
| 1505 | return true; |
| 1506 | |
| 1507 | if (VT == MVT::i64) { |
| 1508 | auto ST = static_cast<const SISubtarget *>(Subtarget); |
| 1509 | |
| 1510 | ISD::CondCode CC = cast<CondCodeSDNode>(Cond.getOperand(2))->get(); |
| 1511 | return (CC == ISD::SETEQ || CC == ISD::SETNE) && ST->hasScalarCompareEq64(); |
| 1512 | } |
| 1513 | |
| 1514 | return false; |
| 1515 | } |
| 1516 | |
Justin Bogner | 95927c0 | 2016-05-12 21:03:32 +0000 | [diff] [blame] | 1517 | void AMDGPUDAGToDAGISel::SelectBRCOND(SDNode *N) { |
Tom Stellard | bc4497b | 2016-02-12 23:45:29 +0000 | [diff] [blame] | 1518 | SDValue Cond = N->getOperand(1); |
| 1519 | |
Matt Arsenault | 327188a | 2016-12-15 21:57:11 +0000 | [diff] [blame] | 1520 | if (Cond.isUndef()) { |
| 1521 | CurDAG->SelectNodeTo(N, AMDGPU::SI_BR_UNDEF, MVT::Other, |
| 1522 | N->getOperand(2), N->getOperand(0)); |
| 1523 | return; |
| 1524 | } |
| 1525 | |
Tom Stellard | bc4497b | 2016-02-12 23:45:29 +0000 | [diff] [blame] | 1526 | if (isCBranchSCC(N)) { |
| 1527 | // This brcond will use S_CBRANCH_SCC*, so let tablegen handle it. |
Justin Bogner | 95927c0 | 2016-05-12 21:03:32 +0000 | [diff] [blame] | 1528 | SelectCode(N); |
| 1529 | return; |
Tom Stellard | bc4497b | 2016-02-12 23:45:29 +0000 | [diff] [blame] | 1530 | } |
| 1531 | |
Tom Stellard | bc4497b | 2016-02-12 23:45:29 +0000 | [diff] [blame] | 1532 | SDLoc SL(N); |
| 1533 | |
Matt Arsenault | f530e8b | 2016-11-07 19:09:33 +0000 | [diff] [blame] | 1534 | SDValue VCC = CurDAG->getCopyToReg(N->getOperand(0), SL, AMDGPU::VCC, Cond); |
Justin Bogner | 95927c0 | 2016-05-12 21:03:32 +0000 | [diff] [blame] | 1535 | CurDAG->SelectNodeTo(N, AMDGPU::S_CBRANCH_VCCNZ, MVT::Other, |
| 1536 | N->getOperand(2), // Basic Block |
Matt Arsenault | f530e8b | 2016-11-07 19:09:33 +0000 | [diff] [blame] | 1537 | VCC.getValue(0)); |
Tom Stellard | bc4497b | 2016-02-12 23:45:29 +0000 | [diff] [blame] | 1538 | } |
| 1539 | |
Matt Arsenault | 8870181 | 2016-06-09 23:42:48 +0000 | [diff] [blame] | 1540 | // This is here because there isn't a way to use the generated sub0_sub1 as the |
| 1541 | // subreg index to EXTRACT_SUBREG in tablegen. |
| 1542 | void AMDGPUDAGToDAGISel::SelectATOMIC_CMP_SWAP(SDNode *N) { |
| 1543 | MemSDNode *Mem = cast<MemSDNode>(N); |
| 1544 | unsigned AS = Mem->getAddressSpace(); |
Yaxun Liu | 1a14bfa | 2017-03-27 14:04:01 +0000 | [diff] [blame] | 1545 | if (AS == AMDGPUASI.FLAT_ADDRESS) { |
Matt Arsenault | 7757c59 | 2016-06-09 23:42:54 +0000 | [diff] [blame] | 1546 | SelectCode(N); |
| 1547 | return; |
| 1548 | } |
Matt Arsenault | 8870181 | 2016-06-09 23:42:48 +0000 | [diff] [blame] | 1549 | |
| 1550 | MVT VT = N->getSimpleValueType(0); |
| 1551 | bool Is32 = (VT == MVT::i32); |
| 1552 | SDLoc SL(N); |
| 1553 | |
| 1554 | MachineSDNode *CmpSwap = nullptr; |
| 1555 | if (Subtarget->hasAddr64()) { |
| 1556 | SDValue SRsrc, VAddr, SOffset, Offset, GLC, SLC; |
| 1557 | |
| 1558 | if (SelectMUBUFAddr64(Mem->getBasePtr(), SRsrc, VAddr, SOffset, Offset, SLC)) { |
| 1559 | unsigned Opcode = Is32 ? AMDGPU::BUFFER_ATOMIC_CMPSWAP_RTN_ADDR64 : |
| 1560 | AMDGPU::BUFFER_ATOMIC_CMPSWAP_X2_RTN_ADDR64; |
| 1561 | SDValue CmpVal = Mem->getOperand(2); |
| 1562 | |
| 1563 | // XXX - Do we care about glue operands? |
| 1564 | |
| 1565 | SDValue Ops[] = { |
| 1566 | CmpVal, VAddr, SRsrc, SOffset, Offset, SLC, Mem->getChain() |
| 1567 | }; |
| 1568 | |
| 1569 | CmpSwap = CurDAG->getMachineNode(Opcode, SL, Mem->getVTList(), Ops); |
| 1570 | } |
| 1571 | } |
| 1572 | |
| 1573 | if (!CmpSwap) { |
| 1574 | SDValue SRsrc, SOffset, Offset, SLC; |
| 1575 | if (SelectMUBUFOffset(Mem->getBasePtr(), SRsrc, SOffset, Offset, SLC)) { |
| 1576 | unsigned Opcode = Is32 ? AMDGPU::BUFFER_ATOMIC_CMPSWAP_RTN_OFFSET : |
| 1577 | AMDGPU::BUFFER_ATOMIC_CMPSWAP_X2_RTN_OFFSET; |
| 1578 | |
| 1579 | SDValue CmpVal = Mem->getOperand(2); |
| 1580 | SDValue Ops[] = { |
| 1581 | CmpVal, SRsrc, SOffset, Offset, SLC, Mem->getChain() |
| 1582 | }; |
| 1583 | |
| 1584 | CmpSwap = CurDAG->getMachineNode(Opcode, SL, Mem->getVTList(), Ops); |
| 1585 | } |
| 1586 | } |
| 1587 | |
| 1588 | if (!CmpSwap) { |
| 1589 | SelectCode(N); |
| 1590 | return; |
| 1591 | } |
| 1592 | |
| 1593 | MachineSDNode::mmo_iterator MMOs = MF->allocateMemRefsArray(1); |
| 1594 | *MMOs = Mem->getMemOperand(); |
| 1595 | CmpSwap->setMemRefs(MMOs, MMOs + 1); |
| 1596 | |
| 1597 | unsigned SubReg = Is32 ? AMDGPU::sub0 : AMDGPU::sub0_sub1; |
| 1598 | SDValue Extract |
| 1599 | = CurDAG->getTargetExtractSubreg(SubReg, SL, VT, SDValue(CmpSwap, 0)); |
| 1600 | |
| 1601 | ReplaceUses(SDValue(N, 0), Extract); |
| 1602 | ReplaceUses(SDValue(N, 1), SDValue(CmpSwap, 1)); |
| 1603 | CurDAG->RemoveDeadNode(N); |
| 1604 | } |
| 1605 | |
Tom Stellard | b4a313a | 2014-08-01 00:32:39 +0000 | [diff] [blame] | 1606 | bool AMDGPUDAGToDAGISel::SelectVOP3Mods(SDValue In, SDValue &Src, |
| 1607 | SDValue &SrcMods) const { |
Tom Stellard | b4a313a | 2014-08-01 00:32:39 +0000 | [diff] [blame] | 1608 | unsigned Mods = 0; |
Tom Stellard | b4a313a | 2014-08-01 00:32:39 +0000 | [diff] [blame] | 1609 | Src = In; |
| 1610 | |
| 1611 | if (Src.getOpcode() == ISD::FNEG) { |
| 1612 | Mods |= SISrcMods::NEG; |
| 1613 | Src = Src.getOperand(0); |
| 1614 | } |
| 1615 | |
| 1616 | if (Src.getOpcode() == ISD::FABS) { |
| 1617 | Mods |= SISrcMods::ABS; |
| 1618 | Src = Src.getOperand(0); |
| 1619 | } |
| 1620 | |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 1621 | SrcMods = CurDAG->getTargetConstant(Mods, SDLoc(In), MVT::i32); |
Tom Stellard | b4a313a | 2014-08-01 00:32:39 +0000 | [diff] [blame] | 1622 | return true; |
| 1623 | } |
| 1624 | |
Matt Arsenault | f84e5d9 | 2017-01-31 03:07:46 +0000 | [diff] [blame] | 1625 | bool AMDGPUDAGToDAGISel::SelectVOP3Mods_NNaN(SDValue In, SDValue &Src, |
| 1626 | SDValue &SrcMods) const { |
| 1627 | SelectVOP3Mods(In, Src, SrcMods); |
| 1628 | return isNoNanSrc(Src); |
| 1629 | } |
| 1630 | |
Tom Stellard | db5a11f | 2015-07-13 15:47:57 +0000 | [diff] [blame] | 1631 | bool AMDGPUDAGToDAGISel::SelectVOP3NoMods(SDValue In, SDValue &Src, |
| 1632 | SDValue &SrcMods) const { |
| 1633 | bool Res = SelectVOP3Mods(In, Src, SrcMods); |
| 1634 | return Res && cast<ConstantSDNode>(SrcMods)->isNullValue(); |
| 1635 | } |
| 1636 | |
Tom Stellard | b4a313a | 2014-08-01 00:32:39 +0000 | [diff] [blame] | 1637 | bool AMDGPUDAGToDAGISel::SelectVOP3Mods0(SDValue In, SDValue &Src, |
| 1638 | SDValue &SrcMods, SDValue &Clamp, |
| 1639 | SDValue &Omod) const { |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 1640 | SDLoc DL(In); |
Tom Stellard | b4a313a | 2014-08-01 00:32:39 +0000 | [diff] [blame] | 1641 | // FIXME: Handle Clamp and Omod |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 1642 | Clamp = CurDAG->getTargetConstant(0, DL, MVT::i32); |
| 1643 | Omod = CurDAG->getTargetConstant(0, DL, MVT::i32); |
Tom Stellard | b4a313a | 2014-08-01 00:32:39 +0000 | [diff] [blame] | 1644 | |
| 1645 | return SelectVOP3Mods(In, Src, SrcMods); |
| 1646 | } |
| 1647 | |
Tom Stellard | db5a11f | 2015-07-13 15:47:57 +0000 | [diff] [blame] | 1648 | bool AMDGPUDAGToDAGISel::SelectVOP3NoMods0(SDValue In, SDValue &Src, |
| 1649 | SDValue &SrcMods, SDValue &Clamp, |
| 1650 | SDValue &Omod) const { |
| 1651 | bool Res = SelectVOP3Mods0(In, Src, SrcMods, Clamp, Omod); |
| 1652 | |
| 1653 | return Res && cast<ConstantSDNode>(SrcMods)->isNullValue() && |
| 1654 | cast<ConstantSDNode>(Clamp)->isNullValue() && |
| 1655 | cast<ConstantSDNode>(Omod)->isNullValue(); |
| 1656 | } |
| 1657 | |
Matt Arsenault | 1cffa4c | 2014-11-13 19:49:04 +0000 | [diff] [blame] | 1658 | bool AMDGPUDAGToDAGISel::SelectVOP3Mods0Clamp(SDValue In, SDValue &Src, |
| 1659 | SDValue &SrcMods, |
| 1660 | SDValue &Omod) const { |
| 1661 | // FIXME: Handle Omod |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 1662 | Omod = CurDAG->getTargetConstant(0, SDLoc(In), MVT::i32); |
Matt Arsenault | 1cffa4c | 2014-11-13 19:49:04 +0000 | [diff] [blame] | 1663 | |
| 1664 | return SelectVOP3Mods(In, Src, SrcMods); |
| 1665 | } |
| 1666 | |
Matt Arsenault | 4831ce5 | 2015-01-06 23:00:37 +0000 | [diff] [blame] | 1667 | bool AMDGPUDAGToDAGISel::SelectVOP3Mods0Clamp0OMod(SDValue In, SDValue &Src, |
| 1668 | SDValue &SrcMods, |
| 1669 | SDValue &Clamp, |
| 1670 | SDValue &Omod) const { |
Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 1671 | Clamp = Omod = CurDAG->getTargetConstant(0, SDLoc(In), MVT::i32); |
Matt Arsenault | 4831ce5 | 2015-01-06 23:00:37 +0000 | [diff] [blame] | 1672 | return SelectVOP3Mods(In, Src, SrcMods); |
| 1673 | } |
| 1674 | |
Dmitry Preobrazhensky | c512d44 | 2017-03-27 15:57:17 +0000 | [diff] [blame] | 1675 | bool AMDGPUDAGToDAGISel::SelectVOP3OMods(SDValue In, SDValue &Src, |
| 1676 | SDValue &Clamp, SDValue &Omod) const { |
| 1677 | Src = In; |
| 1678 | |
| 1679 | SDLoc DL(In); |
| 1680 | // FIXME: Handle Clamp and Omod |
| 1681 | Clamp = CurDAG->getTargetConstant(0, DL, MVT::i32); |
| 1682 | Omod = CurDAG->getTargetConstant(0, DL, MVT::i32); |
| 1683 | |
| 1684 | return true; |
| 1685 | } |
| 1686 | |
Matt Arsenault | eb522e6 | 2017-02-27 22:15:25 +0000 | [diff] [blame] | 1687 | bool AMDGPUDAGToDAGISel::SelectVOP3PMods(SDValue In, SDValue &Src, |
| 1688 | SDValue &SrcMods) const { |
| 1689 | unsigned Mods = 0; |
| 1690 | Src = In; |
| 1691 | |
| 1692 | // FIXME: Look for on separate components |
| 1693 | if (Src.getOpcode() == ISD::FNEG) { |
| 1694 | Mods |= (SISrcMods::NEG | SISrcMods::NEG_HI); |
| 1695 | Src = Src.getOperand(0); |
| 1696 | } |
| 1697 | |
| 1698 | // Packed instructions do not have abs modifiers. |
| 1699 | |
| 1700 | // FIXME: Handle abs/neg of individual components. |
| 1701 | // FIXME: Handle swizzling with op_sel |
| 1702 | Mods |= SISrcMods::OP_SEL_1; |
| 1703 | |
| 1704 | SrcMods = CurDAG->getTargetConstant(Mods, SDLoc(In), MVT::i32); |
| 1705 | return true; |
| 1706 | } |
| 1707 | |
| 1708 | bool AMDGPUDAGToDAGISel::SelectVOP3PMods0(SDValue In, SDValue &Src, |
| 1709 | SDValue &SrcMods, |
| 1710 | SDValue &Clamp) const { |
| 1711 | SDLoc SL(In); |
| 1712 | |
| 1713 | // FIXME: Handle clamp and op_sel |
| 1714 | Clamp = CurDAG->getTargetConstant(0, SL, MVT::i32); |
| 1715 | |
| 1716 | return SelectVOP3PMods(In, Src, SrcMods); |
| 1717 | } |
| 1718 | |
Christian Konig | d910b7d | 2013-02-26 17:52:16 +0000 | [diff] [blame] | 1719 | void AMDGPUDAGToDAGISel::PostprocessISelDAG() { |
Bill Wendling | a3cd350 | 2013-06-19 21:36:55 +0000 | [diff] [blame] | 1720 | const AMDGPUTargetLowering& Lowering = |
Matt Arsenault | 209a7b9 | 2014-04-18 07:40:20 +0000 | [diff] [blame] | 1721 | *static_cast<const AMDGPUTargetLowering*>(getTargetLowering()); |
Vincent Lejeune | ab3baf8 | 2013-09-12 23:44:44 +0000 | [diff] [blame] | 1722 | bool IsModified = false; |
| 1723 | do { |
| 1724 | IsModified = false; |
| 1725 | // Go over all selected nodes and try to fold them a bit more |
Pete Cooper | 65c6940 | 2015-07-14 22:10:54 +0000 | [diff] [blame] | 1726 | for (SDNode &Node : CurDAG->allnodes()) { |
| 1727 | MachineSDNode *MachineNode = dyn_cast<MachineSDNode>(&Node); |
Vincent Lejeune | ab3baf8 | 2013-09-12 23:44:44 +0000 | [diff] [blame] | 1728 | if (!MachineNode) |
| 1729 | continue; |
Christian Konig | d910b7d | 2013-02-26 17:52:16 +0000 | [diff] [blame] | 1730 | |
Vincent Lejeune | ab3baf8 | 2013-09-12 23:44:44 +0000 | [diff] [blame] | 1731 | SDNode *ResNode = Lowering.PostISelFolding(MachineNode, *CurDAG); |
Pete Cooper | 65c6940 | 2015-07-14 22:10:54 +0000 | [diff] [blame] | 1732 | if (ResNode != &Node) { |
| 1733 | ReplaceUses(&Node, ResNode); |
Vincent Lejeune | ab3baf8 | 2013-09-12 23:44:44 +0000 | [diff] [blame] | 1734 | IsModified = true; |
| 1735 | } |
Tom Stellard | 2183b70 | 2013-06-03 17:39:46 +0000 | [diff] [blame] | 1736 | } |
Vincent Lejeune | ab3baf8 | 2013-09-12 23:44:44 +0000 | [diff] [blame] | 1737 | CurDAG->RemoveDeadNodes(); |
| 1738 | } while (IsModified); |
Christian Konig | d910b7d | 2013-02-26 17:52:16 +0000 | [diff] [blame] | 1739 | } |