blob: 8eec325650e487a50c6e4732c835f9911cc39cfe [file] [log] [blame]
Tom Stellard75aadc22012-12-11 21:25:42 +00001//===-- SIISelLowering.h - SI DAG Lowering Interface ------------*- C++ -*-===//
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 SI DAG Lowering interface definition
12//
13//===----------------------------------------------------------------------===//
14
Matt Arsenault6b6a2c32016-03-11 08:00:27 +000015#ifndef LLVM_LIB_TARGET_AMDGPU_SIISELLOWERING_H
16#define LLVM_LIB_TARGET_AMDGPU_SIISELLOWERING_H
Tom Stellard75aadc22012-12-11 21:25:42 +000017
18#include "AMDGPUISelLowering.h"
19#include "SIInstrInfo.h"
20
21namespace llvm {
22
Matt Arsenault6b6a2c32016-03-11 08:00:27 +000023class SITargetLowering final : public AMDGPUTargetLowering {
Matt Arsenaulte622dc32017-04-11 22:29:24 +000024 SDValue lowerKernArgParameterPtr(SelectionDAG &DAG, const SDLoc &SL,
25 SDValue Chain, uint64_t Offset) const;
Matt Arsenault9166ce82017-07-28 15:52:08 +000026 SDValue getImplicitArgPtr(SelectionDAG &DAG, const SDLoc &SL) const;
Matt Arsenaulte622dc32017-04-11 22:29:24 +000027 SDValue lowerKernargMemParameter(SelectionDAG &DAG, EVT VT, EVT MemVT,
28 const SDLoc &SL, SDValue Chain,
29 uint64_t Offset, bool Signed,
30 const ISD::InputArg *Arg = nullptr) const;
31
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +000032 SDValue lowerStackParameter(SelectionDAG &DAG, CCValAssign &VA,
33 const SDLoc &SL, SDValue Chain,
34 const ISD::InputArg &Arg) const;
35
Tom Stellardbf3e6e52016-06-14 20:29:59 +000036 SDValue LowerGlobalAddress(AMDGPUMachineFunction *MFI, SDValue Op,
37 SelectionDAG &DAG) const override;
Matt Arsenaultff6da2f2015-11-30 21:15:45 +000038 SDValue lowerImplicitZextParam(SelectionDAG &DAG, SDValue Op,
39 MVT VT, unsigned Offset) const;
40
Matt Arsenaulta5789bb2014-07-26 06:23:37 +000041 SDValue LowerINTRINSIC_WO_CHAIN(SDValue Op, SelectionDAG &DAG) const;
Matt Arsenaulta9dbdca2016-04-12 14:05:04 +000042 SDValue LowerINTRINSIC_W_CHAIN(SDValue Op, SelectionDAG &DAG) const;
Matt Arsenaulta5789bb2014-07-26 06:23:37 +000043 SDValue LowerINTRINSIC_VOID(SDValue Op, SelectionDAG &DAG) const;
Tom Stellard81d871d2013-11-13 23:36:50 +000044 SDValue LowerLOAD(SDValue Op, SelectionDAG &DAG) const;
Tom Stellard0ec134f2014-02-04 17:18:40 +000045 SDValue LowerSELECT(SDValue Op, SelectionDAG &DAG) const;
Matt Arsenaulta1fe17c2016-07-19 23:16:53 +000046 SDValue lowerFastUnsafeFDIV(SDValue Op, SelectionDAG &DAG) const;
47 SDValue lowerFDIV_FAST(SDValue Op, SelectionDAG &DAG) const;
Matt Arsenault4052a572016-12-22 03:05:41 +000048 SDValue LowerFDIV16(SDValue Op, SelectionDAG &DAG) const;
Matt Arsenaulte9fa3b82014-07-15 20:18:31 +000049 SDValue LowerFDIV32(SDValue Op, SelectionDAG &DAG) const;
50 SDValue LowerFDIV64(SDValue Op, SelectionDAG &DAG) const;
51 SDValue LowerFDIV(SDValue Op, SelectionDAG &DAG) const;
Matt Arsenaultf7c95e32014-10-03 23:54:41 +000052 SDValue LowerINT_TO_FP(SDValue Op, SelectionDAG &DAG, bool Signed) const;
Tom Stellard81d871d2013-11-13 23:36:50 +000053 SDValue LowerSTORE(SDValue Op, SelectionDAG &DAG) const;
Matt Arsenaultad14ce82014-07-19 18:44:39 +000054 SDValue LowerTrig(SDValue Op, SelectionDAG &DAG) const;
Tom Stellard354a43c2016-04-01 18:27:37 +000055 SDValue LowerATOMIC_CMP_SWAP(SDValue Op, SelectionDAG &DAG) const;
Tom Stellardf8794352012-12-19 22:10:31 +000056 SDValue LowerBRCOND(SDValue Op, SelectionDAG &DAG) const;
Tom Stellard75aadc22012-12-11 21:25:42 +000057
Konstantin Zhuravlyovf86e4b72016-11-13 07:01:11 +000058 /// \brief Converts \p Op, which must be of floating point type, to the
59 /// floating point type \p VT, by either extending or truncating it.
60 SDValue getFPExtOrFPTrunc(SelectionDAG &DAG,
61 SDValue Op,
62 const SDLoc &DL,
63 EVT VT) const;
64
Matt Arsenaulte622dc32017-04-11 22:29:24 +000065 SDValue convertArgType(
66 SelectionDAG &DAG, EVT VT, EVT MemVT, const SDLoc &SL, SDValue Val,
67 bool Signed, const ISD::InputArg *Arg = nullptr) const;
68
Konstantin Zhuravlyovd709efb2016-11-17 04:28:37 +000069 /// \brief Custom lowering for ISD::FP_ROUND for MVT::f16.
70 SDValue lowerFP_ROUND(SDValue Op, SelectionDAG &DAG) const;
71
Konstantin Zhuravlyov4b3847e2017-04-06 23:02:33 +000072 SDValue getSegmentAperture(unsigned AS, const SDLoc &DL,
73 SelectionDAG &DAG) const;
74
Matt Arsenault99c14522016-04-25 19:27:24 +000075 SDValue lowerADDRSPACECAST(SDValue Op, SelectionDAG &DAG) const;
Matt Arsenault3aef8092017-01-23 23:09:58 +000076 SDValue lowerINSERT_VECTOR_ELT(SDValue Op, SelectionDAG &DAG) const;
77 SDValue lowerEXTRACT_VECTOR_ELT(SDValue Op, SelectionDAG &DAG) const;
Matt Arsenault0bb294b2016-06-17 22:27:03 +000078 SDValue lowerTRAP(SDValue Op, SelectionDAG &DAG) const;
Matt Arsenault99c14522016-04-25 19:27:24 +000079
Christian Konig8e06e2a2013-04-10 08:39:08 +000080 void adjustWritemask(MachineSDNode *&N, SelectionDAG &DAG) const;
81
Matt Arsenaulte6986632015-01-14 01:35:22 +000082 SDValue performUCharToFloatCombine(SDNode *N,
83 DAGCombinerInfo &DCI) const;
Matt Arsenaultb2baffa2014-08-15 17:49:05 +000084 SDValue performSHLPtrCombine(SDNode *N,
85 unsigned AS,
86 DAGCombinerInfo &DCI) const;
Matt Arsenaultfa5f7672016-09-14 15:19:03 +000087
Matt Arsenaultd8b73d52016-12-22 03:44:42 +000088 SDValue performMemSDNodeCombine(MemSDNode *N, DAGCombinerInfo &DCI) const;
89
Matt Arsenaultfa5f7672016-09-14 15:19:03 +000090 SDValue splitBinaryBitConstantOp(DAGCombinerInfo &DCI, const SDLoc &SL,
91 unsigned Opc, SDValue LHS,
92 const ConstantSDNode *CRHS) const;
93
Matt Arsenaultd0101a22015-01-06 23:00:46 +000094 SDValue performAndCombine(SDNode *N, DAGCombinerInfo &DCI) const;
Matt Arsenaultf2290332015-01-06 23:00:39 +000095 SDValue performOrCombine(SDNode *N, DAGCombinerInfo &DCI) const;
Matt Arsenaultfa5f7672016-09-14 15:19:03 +000096 SDValue performXorCombine(SDNode *N, DAGCombinerInfo &DCI) const;
Matt Arsenault8edfaee2017-03-31 19:53:03 +000097 SDValue performZeroExtendCombine(SDNode *N, DAGCombinerInfo &DCI) const;
Matt Arsenaultf2290332015-01-06 23:00:39 +000098 SDValue performClassCombine(SDNode *N, DAGCombinerInfo &DCI) const;
Matt Arsenault9cd90712016-04-14 01:42:16 +000099 SDValue performFCanonicalizeCombine(SDNode *N, DAGCombinerInfo &DCI) const;
Matt Arsenault364a6742014-06-11 17:50:44 +0000100
Matt Arsenault2fdf2a12017-02-21 23:35:48 +0000101 SDValue performFPMed3ImmCombine(SelectionDAG &DAG, const SDLoc &SL,
102 SDValue Op0, SDValue Op1) const;
Matt Arsenault10268f92017-02-27 22:40:39 +0000103 SDValue performIntMed3ImmCombine(SelectionDAG &DAG, const SDLoc &SL,
104 SDValue Op0, SDValue Op1, bool Signed) const;
Matt Arsenaultf639c322016-01-28 20:53:42 +0000105 SDValue performMinMaxCombine(SDNode *N, DAGCombinerInfo &DCI) const;
Matt Arsenault2fdf2a12017-02-21 23:35:48 +0000106 SDValue performFMed3Combine(SDNode *N, DAGCombinerInfo &DCI) const;
Matt Arsenault1f17c662017-02-22 00:27:34 +0000107 SDValue performCvtPkRTZCombine(SDNode *N, DAGCombinerInfo &DCI) const;
Matt Arsenaultbf5482e2017-05-11 17:26:25 +0000108 SDValue performExtractVectorEltCombine(SDNode *N, DAGCombinerInfo &DCI) const;
Matt Arsenaultf639c322016-01-28 20:53:42 +0000109
Matt Arsenault46e6b7a2016-12-22 04:03:35 +0000110 unsigned getFusedOpcode(const SelectionDAG &DAG,
111 const SDNode *N0, const SDNode *N1) const;
Stanislav Mekhanoshine3eb42c2017-06-21 22:05:06 +0000112 SDValue performAddCombine(SDNode *N, DAGCombinerInfo &DCI) const;
Stanislav Mekhanoshina8b26932017-06-21 22:30:01 +0000113 SDValue performAddCarrySubCarryCombine(SDNode *N, DAGCombinerInfo &DCI) const;
114 SDValue performSubCombine(SDNode *N, DAGCombinerInfo &DCI) const;
Matt Arsenaultd8b73d52016-12-22 03:44:42 +0000115 SDValue performFAddCombine(SDNode *N, DAGCombinerInfo &DCI) const;
116 SDValue performFSubCombine(SDNode *N, DAGCombinerInfo &DCI) const;
Matt Arsenault6f6233d2015-01-06 23:00:41 +0000117 SDValue performSetCCCombine(SDNode *N, DAGCombinerInfo &DCI) const;
Matt Arsenaultd8b73d52016-12-22 03:44:42 +0000118 SDValue performCvtF32UByteNCombine(SDNode *N, DAGCombinerInfo &DCI) const;
Matt Arsenaultcc3c2b32014-11-14 20:08:52 +0000119
Tom Stellard70580f82015-07-20 14:28:41 +0000120 bool isLegalFlatAddressingMode(const AddrMode &AM) const;
Matt Arsenaultdc8f5cc2017-07-29 01:12:31 +0000121 bool isLegalGlobalAddressingMode(const AddrMode &AM) const;
Matt Arsenault711b3902015-08-07 20:18:34 +0000122 bool isLegalMUBUFAddressingMode(const AddrMode &AM) const;
Tom Stellardbc4497b2016-02-12 23:45:29 +0000123
Matt Arsenaultc5b641a2017-03-17 20:41:45 +0000124 unsigned isCFIntrinsic(const SDNode *Intr) const;
Konstantin Zhuravlyovf2f3d142016-06-25 03:11:28 +0000125
126 void createDebuggerPrologueStackObjects(MachineFunction &MF) const;
Konstantin Zhuravlyov08326b62016-10-20 18:12:38 +0000127
128 /// \returns True if fixup needs to be emitted for given global value \p GV,
129 /// false otherwise.
130 bool shouldEmitFixup(const GlobalValue *GV) const;
131
132 /// \returns True if GOT relocation needs to be emitted for given global value
133 /// \p GV, false otherwise.
134 bool shouldEmitGOTReloc(const GlobalValue *GV) const;
135
136 /// \returns True if PC-relative relocation needs to be emitted for given
137 /// global value \p GV, false otherwise.
138 bool shouldEmitPCReloc(const GlobalValue *GV) const;
139
Tom Stellard75aadc22012-12-11 21:25:42 +0000140public:
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000141 SITargetLowering(const TargetMachine &tm, const SISubtarget &STI);
142
143 const SISubtarget *getSubtarget() const;
Matt Arsenault5015a892014-08-15 17:17:07 +0000144
Zvi Rackover1b736822017-07-26 08:06:58 +0000145 bool isShuffleMaskLegal(ArrayRef<int> /*Mask*/, EVT /*VT*/) const override;
Matt Arsenault7dc01c92017-03-15 23:15:12 +0000146
Matt Arsenaulta9dbdca2016-04-12 14:05:04 +0000147 bool getTgtMemIntrinsic(IntrinsicInfo &, const CallInst &,
148 unsigned IntrinsicID) const override;
149
Matt Arsenault7dc01c92017-03-15 23:15:12 +0000150 bool getAddrModeArguments(IntrinsicInst * /*I*/,
151 SmallVectorImpl<Value*> &/*Ops*/,
152 Type *&/*AccessTy*/) const override;
Matt Arsenaulte306a322014-10-21 16:25:08 +0000153
Mehdi Amini0cdec1e2015-07-09 02:09:40 +0000154 bool isLegalAddressingMode(const DataLayout &DL, const AddrMode &AM, Type *Ty,
Jonas Paulsson024e3192017-07-21 11:59:37 +0000155 unsigned AS,
156 Instruction *I = nullptr) const override;
Matt Arsenault5015a892014-08-15 17:17:07 +0000157
Nirav Dave4dcad5d2017-07-10 20:25:54 +0000158 bool canMergeStoresTo(unsigned AS, EVT MemVT,
159 const SelectionDAG &DAG) const override;
Nirav Daved20066c2017-05-24 15:59:09 +0000160
Matt Arsenault6f2a5262014-07-27 17:46:40 +0000161 bool allowsMisalignedMemoryAccesses(EVT VT, unsigned AS,
162 unsigned Align,
163 bool *IsFast) const override;
Chandler Carruth9d010ff2014-07-03 00:23:43 +0000164
Matt Arsenault46645fa2014-07-28 17:49:26 +0000165 EVT getOptimalMemOpType(uint64_t Size, unsigned DstAlign,
166 unsigned SrcAlign, bool IsMemset,
167 bool ZeroMemset,
168 bool MemcpyStrSrc,
169 MachineFunction &MF) const override;
170
Tom Stellarda6f24c62015-12-15 20:55:55 +0000171 bool isMemOpUniform(const SDNode *N) const;
Alexander Timofeev18009562016-12-08 17:28:47 +0000172 bool isMemOpHasNoClobberedMemOperand(const SDNode *N) const;
Matt Arsenaultf9bfeaf2015-12-01 23:04:00 +0000173 bool isNoopAddrSpaceCast(unsigned SrcAS, unsigned DestAS) const override;
Matt Arsenaultd4da0ed2016-12-02 18:12:53 +0000174 bool isCheapAddrSpaceCast(unsigned SrcAS, unsigned DestAS) const override;
Matt Arsenaultf9bfeaf2015-12-01 23:04:00 +0000175
Chandler Carruth9d010ff2014-07-03 00:23:43 +0000176 TargetLoweringBase::LegalizeTypeAction
177 getPreferredVectorAction(EVT VT) const override;
Christian Konig2c8f6d52013-03-07 09:03:52 +0000178
Craig Topper5656db42014-04-29 07:57:24 +0000179 bool shouldConvertConstantLoadToIntImm(const APInt &Imm,
180 Type *Ty) const override;
Matt Arsenaultd7bdcc42014-03-31 19:54:27 +0000181
Tom Stellard2e045bb2016-01-20 00:13:22 +0000182 bool isTypeDesirableForOp(unsigned Op, EVT VT) const override;
183
Tom Stellardb164a982016-06-25 01:59:16 +0000184 bool isOffsetFoldingLegal(const GlobalAddressSDNode *GA) const override;
185
Christian Konig2c8f6d52013-03-07 09:03:52 +0000186 SDValue LowerFormalArguments(SDValue Chain, CallingConv::ID CallConv,
187 bool isVarArg,
188 const SmallVectorImpl<ISD::InputArg> &Ins,
Benjamin Kramerbdc49562016-06-12 15:39:02 +0000189 const SDLoc &DL, SelectionDAG &DAG,
Craig Topper5656db42014-04-29 07:57:24 +0000190 SmallVectorImpl<SDValue> &InVals) const override;
Christian Konig2c8f6d52013-03-07 09:03:52 +0000191
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +0000192 bool CanLowerReturn(CallingConv::ID CallConv,
193 MachineFunction &MF, bool isVarArg,
194 const SmallVectorImpl<ISD::OutputArg> &Outs,
195 LLVMContext &Context) const override;
196
197 SDValue LowerReturn(SDValue Chain, CallingConv::ID CallConv, bool IsVarArg,
Marek Olsak8a0f3352016-01-13 17:23:04 +0000198 const SmallVectorImpl<ISD::OutputArg> &Outs,
Benjamin Kramerbdc49562016-06-12 15:39:02 +0000199 const SmallVectorImpl<SDValue> &OutVals, const SDLoc &DL,
200 SelectionDAG &DAG) const override;
Marek Olsak8a0f3352016-01-13 17:23:04 +0000201
Matt Arsenault9a10cea2016-01-26 04:29:24 +0000202 unsigned getRegisterByName(const char* RegName, EVT VT,
203 SelectionDAG &DAG) const override;
204
Matt Arsenault786724a2016-07-12 21:41:32 +0000205 MachineBasicBlock *splitKillBlock(MachineInstr &MI,
206 MachineBasicBlock *BB) const;
207
Duncan P. N. Exon Smithe4f5e4f2016-06-30 22:52:52 +0000208 MachineBasicBlock *
209 EmitInstrWithCustomInserter(MachineInstr &MI,
210 MachineBasicBlock *BB) const override;
Matt Arsenault423bf3f2015-01-29 19:34:32 +0000211 bool enableAggressiveFMAFusion(EVT VT) const override;
Mehdi Amini44ede332015-07-09 02:09:04 +0000212 EVT getSetCCResultType(const DataLayout &DL, LLVMContext &Context,
213 EVT VT) const override;
Mehdi Aminieaabc512015-07-09 15:12:23 +0000214 MVT getScalarShiftAmountTy(const DataLayout &, EVT) const override;
Craig Topper5656db42014-04-29 07:57:24 +0000215 bool isFMAFasterThanFMulAndFAdd(EVT VT) const override;
216 SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const override;
Matt Arsenault3aef8092017-01-23 23:09:58 +0000217 void ReplaceNodeResults(SDNode *N, SmallVectorImpl<SDValue> &Results,
218 SelectionDAG &DAG) const override;
219
Craig Topper5656db42014-04-29 07:57:24 +0000220 SDValue PerformDAGCombine(SDNode *N, DAGCombinerInfo &DCI) const override;
221 SDNode *PostISelFolding(MachineSDNode *N, SelectionDAG &DAG) const override;
Duncan P. N. Exon Smithe4f5e4f2016-06-30 22:52:52 +0000222 void AdjustInstrPostInstrSelection(MachineInstr &MI,
Craig Topper5656db42014-04-29 07:57:24 +0000223 SDNode *Node) const override;
Christian Konigf82901a2013-02-26 17:52:23 +0000224
Matt Arsenault0d0d6c22017-04-12 21:58:23 +0000225 SDNode *legalizeTargetIndependentNode(SDNode *Node, SelectionDAG &DAG) const;
Matt Arsenault485defe2014-11-05 19:01:17 +0000226
Benjamin Kramerbdc49562016-06-12 15:39:02 +0000227 MachineSDNode *wrapAddr64Rsrc(SelectionDAG &DAG, const SDLoc &DL,
228 SDValue Ptr) const;
229 MachineSDNode *buildRSRC(SelectionDAG &DAG, const SDLoc &DL, SDValue Ptr,
230 uint32_t RsrcDword1, uint64_t RsrcDword2And3) const;
Benjamin Kramer9bfb6272015-07-05 19:29:18 +0000231 std::pair<unsigned, const TargetRegisterClass *>
232 getRegForInlineAsmConstraint(const TargetRegisterInfo *TRI,
233 StringRef Constraint, MVT VT) const override;
Tom Stellardb3c3bda2015-12-10 02:12:53 +0000234 ConstraintType getConstraintType(StringRef Constraint) const override;
Benjamin Kramerbdc49562016-06-12 15:39:02 +0000235 SDValue copyToM0(SelectionDAG &DAG, SDValue Chain, const SDLoc &DL,
236 SDValue V) const;
Matt Arsenault1cc47f82017-07-18 16:44:56 +0000237
238 void finalizeLowering(MachineFunction &MF) const override;
Tom Stellard75aadc22012-12-11 21:25:42 +0000239};
240
241} // End namespace llvm
242
Benjamin Kramera7c40ef2014-08-13 16:26:38 +0000243#endif