blob: a4baaf12588fa5212f962227c35538a19fc0cfee [file] [log] [blame]
Tom Stellard75aadc22012-12-11 21:25:42 +00001//===-- AMDGPUISelLowering.h - AMDGPU 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 Interface definition of the TargetLowering class that is common
12/// to all AMD GPUs.
13//
14//===----------------------------------------------------------------------===//
15
16#ifndef AMDGPUISELLOWERING_H
17#define AMDGPUISELLOWERING_H
18
19#include "llvm/Target/TargetLowering.h"
20
21namespace llvm {
22
Tom Stellardc026e8b2013-06-28 15:47:08 +000023class AMDGPUMachineFunction;
Matt Arsenault41e2f2b2014-02-24 21:01:28 +000024class AMDGPUSubtarget;
Tom Stellard75aadc22012-12-11 21:25:42 +000025class MachineRegisterInfo;
26
27class AMDGPUTargetLowering : public TargetLowering {
Matt Arsenault41e2f2b2014-02-24 21:01:28 +000028protected:
29 const AMDGPUSubtarget *Subtarget;
30
Tom Stellard75aadc22012-12-11 21:25:42 +000031private:
Tom Stellard04c0e982014-01-22 19:24:21 +000032 SDValue LowerConstantInitializer(const Constant* Init, const GlobalValue *GV,
33 const SDValue &InitPtr,
34 SDValue Chain,
35 SelectionDAG &DAG) const;
Tom Stellard81d871d2013-11-13 23:36:50 +000036 SDValue LowerFrameIndex(SDValue Op, SelectionDAG &DAG) const;
Tom Stellardd86003e2013-08-14 23:25:00 +000037 SDValue LowerEXTRACT_SUBVECTOR(SDValue Op, SelectionDAG &DAG) const;
38 SDValue LowerCONCAT_VECTORS(SDValue Op, SelectionDAG &DAG) const;
Tom Stellard75aadc22012-12-11 21:25:42 +000039 SDValue LowerINTRINSIC_WO_CHAIN(SDValue Op, SelectionDAG &DAG) const;
Tom Stellard2ffc3302013-08-26 15:05:44 +000040 /// \brief Lower vector stores by merging the vector elements into an integer
41 /// of the same bitwidth.
42 SDValue MergeVectorStore(const SDValue &Op, SelectionDAG &DAG) const;
43 /// \brief Split a vector store into multiple scalar stores.
Matt Arsenault209a7b92014-04-18 07:40:20 +000044 /// \returns The resulting chain.
Matt Arsenault1578aa72014-06-15 20:08:02 +000045
46 SDValue LowerSDIV(SDValue Op, SelectionDAG &DAG) const;
47 SDValue LowerSDIV24(SDValue Op, SelectionDAG &DAG) const;
48 SDValue LowerSDIV32(SDValue Op, SelectionDAG &DAG) const;
49 SDValue LowerSDIV64(SDValue Op, SelectionDAG &DAG) const;
50 SDValue LowerSREM(SDValue Op, SelectionDAG &DAG) const;
51 SDValue LowerSREM32(SDValue Op, SelectionDAG &DAG) const;
52 SDValue LowerSREM64(SDValue Op, SelectionDAG &DAG) const;
Tom Stellard75aadc22012-12-11 21:25:42 +000053 SDValue LowerUDIVREM(SDValue Op, SelectionDAG &DAG) const;
Tom Stellardc947d8c2013-10-30 17:22:05 +000054 SDValue LowerUINT_TO_FP(SDValue Op, SelectionDAG &DAG) const;
Tom Stellard75aadc22012-12-11 21:25:42 +000055
Matt Arsenault14d46452014-06-15 20:23:38 +000056 SDValue ExpandSIGN_EXTEND_INREG(SDValue Op,
57 unsigned BitsDiff,
58 SelectionDAG &DAG) const;
59 SDValue LowerSIGN_EXTEND_INREG(SDValue Op, SelectionDAG &DAG) const;
60
Tom Stellard75aadc22012-12-11 21:25:42 +000061protected:
Matt Arsenaultc9df7942014-06-11 03:29:54 +000062 static EVT getEquivalentMemType(LLVMContext &Context, EVT VT);
63 static EVT getEquivalentLoadRegType(LLVMContext &Context, EVT VT);
Tom Stellard75aadc22012-12-11 21:25:42 +000064
65 /// \brief Helper function that adds Reg to the LiveIn list of the DAG's
66 /// MachineFunction.
67 ///
68 /// \returns a RegisterSDNode representing Reg.
Tom Stellard94593ee2013-06-03 17:40:18 +000069 virtual SDValue CreateLiveInRegister(SelectionDAG &DAG,
70 const TargetRegisterClass *RC,
71 unsigned Reg, EVT VT) const;
Tom Stellardc026e8b2013-06-28 15:47:08 +000072 SDValue LowerGlobalAddress(AMDGPUMachineFunction *MFI, SDValue Op,
73 SelectionDAG &DAG) const;
Tom Stellard35bb18c2013-08-26 15:06:04 +000074 /// \brief Split a vector load into multiple scalar loads.
75 SDValue SplitVectorLoad(const SDValue &Op, SelectionDAG &DAG) const;
Tom Stellardaf775432013-10-23 00:44:32 +000076 SDValue SplitVectorStore(SDValue Op, SelectionDAG &DAG) const;
Tom Stellarde9373602014-01-22 19:24:14 +000077 SDValue LowerLOAD(SDValue Op, SelectionDAG &DAG) const;
Tom Stellard2ffc3302013-08-26 15:05:44 +000078 SDValue LowerSTORE(SDValue Op, SelectionDAG &DAG) const;
Tom Stellard75aadc22012-12-11 21:25:42 +000079 bool isHWTrueValue(SDValue Op) const;
80 bool isHWFalseValue(SDValue Op) const;
81
Tom Stellardaf775432013-10-23 00:44:32 +000082 /// The SelectionDAGBuilder will automatically promote function arguments
83 /// with illegal types. However, this does not work for the AMDGPU targets
84 /// since the function arguments are stored in memory as these illegal types.
85 /// In order to handle this properly we need to get the origianl types sizes
86 /// from the LLVM IR Function and fixup the ISD:InputArg values before
87 /// passing them to AnalyzeFormalArguments()
88 void getOriginalFunctionArgs(SelectionDAG &DAG,
89 const Function *F,
90 const SmallVectorImpl<ISD::InputArg> &Ins,
91 SmallVectorImpl<ISD::InputArg> &OrigIns) const;
Christian Konig2c8f6d52013-03-07 09:03:52 +000092 void AnalyzeFormalArguments(CCState &State,
93 const SmallVectorImpl<ISD::InputArg> &Ins) const;
94
Tom Stellard75aadc22012-12-11 21:25:42 +000095public:
96 AMDGPUTargetLowering(TargetMachine &TM);
97
Craig Topper5656db42014-04-29 07:57:24 +000098 bool isFAbsFree(EVT VT) const override;
99 bool isFNegFree(EVT VT) const override;
100 bool isTruncateFree(EVT Src, EVT Dest) const override;
101 bool isTruncateFree(Type *Src, Type *Dest) const override;
Matt Arsenaultb517c812014-03-27 17:23:31 +0000102
Craig Topper5656db42014-04-29 07:57:24 +0000103 bool isZExtFree(Type *Src, Type *Dest) const override;
104 bool isZExtFree(EVT Src, EVT Dest) const override;
Matt Arsenaultb517c812014-03-27 17:23:31 +0000105
Craig Topper5656db42014-04-29 07:57:24 +0000106 bool isNarrowingProfitable(EVT VT1, EVT VT2) const override;
Matt Arsenaulta7f1e0c2014-03-24 19:43:31 +0000107
Craig Topper5656db42014-04-29 07:57:24 +0000108 MVT getVectorIdxTy() const override;
Matt Arsenault14d46452014-06-15 20:23:38 +0000109
110 bool isFPImmLegal(const APFloat &Imm, EVT VT) const override;
111 bool ShouldShrinkFPConstant(EVT VT) const override;
112
Craig Topper5656db42014-04-29 07:57:24 +0000113 bool isLoadBitCastBeneficial(EVT, EVT) const override;
114 SDValue LowerReturn(SDValue Chain, CallingConv::ID CallConv,
115 bool isVarArg,
116 const SmallVectorImpl<ISD::OutputArg> &Outs,
117 const SmallVectorImpl<SDValue> &OutVals,
118 SDLoc DL, SelectionDAG &DAG) const override;
119 SDValue LowerCall(CallLoweringInfo &CLI,
120 SmallVectorImpl<SDValue> &InVals) const override;
Tom Stellard75aadc22012-12-11 21:25:42 +0000121
Craig Topper5656db42014-04-29 07:57:24 +0000122 SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const override;
Matt Arsenault14d46452014-06-15 20:23:38 +0000123 SDValue PerformDAGCombine(SDNode *N, DAGCombinerInfo &DCI) const override;
Craig Topper5656db42014-04-29 07:57:24 +0000124 void ReplaceNodeResults(SDNode * N,
125 SmallVectorImpl<SDValue> &Results,
126 SelectionDAG &DAG) const override;
Matt Arsenaultd125d742014-03-27 17:23:24 +0000127
Tom Stellard75aadc22012-12-11 21:25:42 +0000128 SDValue LowerIntrinsicIABS(SDValue Op, SelectionDAG &DAG) const;
129 SDValue LowerIntrinsicLRP(SDValue Op, SelectionDAG &DAG) const;
Tom Stellardafa8b532014-05-09 16:42:16 +0000130 SDValue CombineMinMax(SDNode *N, SelectionDAG &DAG) const;
Craig Topper5656db42014-04-29 07:57:24 +0000131 const char* getTargetNodeName(unsigned Opcode) const override;
Tom Stellard75aadc22012-12-11 21:25:42 +0000132
Craig Topper5656db42014-04-29 07:57:24 +0000133 virtual SDNode *PostISelFolding(MachineSDNode *N,
134 SelectionDAG &DAG) const {
Christian Konigd910b7d2013-02-26 17:52:16 +0000135 return N;
136 }
137
Tom Stellard75aadc22012-12-11 21:25:42 +0000138 /// \brief Determine which of the bits specified in \p Mask are known to be
139 /// either zero or one and return them in the \p KnownZero and \p KnownOne
140 /// bitsets.
Jay Foada0653a32014-05-14 21:14:37 +0000141 void computeKnownBitsForTargetNode(const SDValue Op,
142 APInt &KnownZero,
143 APInt &KnownOne,
144 const SelectionDAG &DAG,
145 unsigned Depth = 0) const override;
Tom Stellard75aadc22012-12-11 21:25:42 +0000146
Matt Arsenaultbf8694d2014-05-22 18:09:03 +0000147 virtual unsigned ComputeNumSignBitsForTargetNode(
148 SDValue Op,
149 const SelectionDAG &DAG,
150 unsigned Depth = 0) const override;
151
Tom Stellard75aadc22012-12-11 21:25:42 +0000152private:
Matt Arsenault14d46452014-06-15 20:23:38 +0000153 // Functions defined in AMDILISelLowering.cpp
Tom Stellard75aadc22012-12-11 21:25:42 +0000154 void InitAMDILLowering();
Tom Stellard75aadc22012-12-11 21:25:42 +0000155 SDValue LowerBRCOND(SDValue Op, SelectionDAG &DAG) const;
Tom Stellard75aadc22012-12-11 21:25:42 +0000156};
157
158namespace AMDGPUISD {
159
160enum {
161 // AMDIL ISD Opcodes
162 FIRST_NUMBER = ISD::BUILTIN_OP_END,
Tom Stellard75aadc22012-12-11 21:25:42 +0000163 CALL, // Function call based on a single integer
164 UMUL, // 32bit unsigned multiplication
165 DIV_INF, // Divide with infinity returned on zero divisor
166 RET_FLAG,
167 BRANCH_COND,
168 // End AMDIL ISD Opcodes
Tom Stellard75aadc22012-12-11 21:25:42 +0000169 DWORDADDR,
170 FRACT,
Matt Arsenault5d47d4a2014-06-12 21:15:44 +0000171 CLAMP,
Vincent Lejeuneb55940c2013-07-09 15:03:11 +0000172 COS_HW,
173 SIN_HW,
Tom Stellard75aadc22012-12-11 21:25:42 +0000174 FMAX,
175 SMAX,
176 UMAX,
177 FMIN,
178 SMIN,
179 UMIN,
180 URECIP,
Vincent Lejeune519f21e2013-05-17 16:50:32 +0000181 DOT4,
Matt Arsenaultfae02982014-03-17 18:58:11 +0000182 BFE_U32, // Extract range of bits with zero extension to 32-bits.
183 BFE_I32, // Extract range of bits with sign extension to 32-bits.
Matt Arsenaultb3458362014-03-31 18:21:13 +0000184 BFI, // (src0 & src1) | (~src0 & src2)
185 BFM, // Insert a range of bits into a 32-bit word.
Tom Stellard50122a52014-04-07 19:45:41 +0000186 MUL_U24,
187 MUL_I24,
Matt Arsenaulteb260202014-05-22 18:00:15 +0000188 MAD_U24,
189 MAD_I24,
Vincent Lejeuned3eed662013-05-17 16:50:20 +0000190 TEXTURE_FETCH,
Tom Stellard75aadc22012-12-11 21:25:42 +0000191 EXPORT,
Tom Stellardff62c352013-01-23 02:09:03 +0000192 CONST_ADDRESS,
Tom Stellardf3b2a1e2013-02-06 17:32:29 +0000193 REGISTER_LOAD,
194 REGISTER_STORE,
Tom Stellard9fa17912013-08-14 23:24:45 +0000195 LOAD_INPUT,
196 SAMPLE,
197 SAMPLEB,
198 SAMPLED,
199 SAMPLEL,
Matt Arsenault364a6742014-06-11 17:50:44 +0000200
201 // These cvt_f32_ubyte* nodes need to remain consecutive and in order.
202 CVT_F32_UBYTE0,
203 CVT_F32_UBYTE1,
204 CVT_F32_UBYTE2,
205 CVT_F32_UBYTE3,
Tom Stellard880a80a2014-06-17 16:53:14 +0000206 /// This node is for VLIW targets and it is used to represent a vector
207 /// that is stored in consecutive registers with the same channel.
208 /// For example:
209 /// |X |Y|Z|W|
210 /// T0|v.x| | | |
211 /// T1|v.y| | | |
212 /// T2|v.z| | | |
213 /// T3|v.w| | | |
214 BUILD_VERTICAL_VECTOR,
Tom Stellard9fa17912013-08-14 23:24:45 +0000215 FIRST_MEM_OPCODE_NUMBER = ISD::FIRST_TARGET_MEMORY_OPCODE,
Tom Stellardd3ee8c12013-08-16 01:12:06 +0000216 STORE_MSKOR,
Tom Stellard9fa17912013-08-14 23:24:45 +0000217 LOAD_CONSTANT,
Tom Stellardafcf12f2013-09-12 02:55:14 +0000218 TBUFFER_STORE_FORMAT,
Tom Stellard75aadc22012-12-11 21:25:42 +0000219 LAST_AMDGPU_ISD_NUMBER
220};
221
222
223} // End namespace AMDGPUISD
224
Tom Stellard75aadc22012-12-11 21:25:42 +0000225} // End namespace llvm
226
227#endif // AMDGPUISELLOWERING_H