blob: ee98b3bfd33a2f5f1665d8c1cb9af5dd6a63f8a5 [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.
Tom Stellard75aadc22012-12-11 21:25:42 +000045 SDValue LowerUDIVREM(SDValue Op, SelectionDAG &DAG) const;
Tom Stellardc947d8c2013-10-30 17:22:05 +000046 SDValue LowerUINT_TO_FP(SDValue Op, SelectionDAG &DAG) const;
Tom Stellard75aadc22012-12-11 21:25:42 +000047
48protected:
Matt Arsenaultc9df7942014-06-11 03:29:54 +000049 static EVT getEquivalentMemType(LLVMContext &Context, EVT VT);
50 static EVT getEquivalentLoadRegType(LLVMContext &Context, EVT VT);
Tom Stellard75aadc22012-12-11 21:25:42 +000051
52 /// \brief Helper function that adds Reg to the LiveIn list of the DAG's
53 /// MachineFunction.
54 ///
55 /// \returns a RegisterSDNode representing Reg.
Tom Stellard94593ee2013-06-03 17:40:18 +000056 virtual SDValue CreateLiveInRegister(SelectionDAG &DAG,
57 const TargetRegisterClass *RC,
58 unsigned Reg, EVT VT) const;
Tom Stellardc026e8b2013-06-28 15:47:08 +000059 SDValue LowerGlobalAddress(AMDGPUMachineFunction *MFI, SDValue Op,
60 SelectionDAG &DAG) const;
Tom Stellard35bb18c2013-08-26 15:06:04 +000061 /// \brief Split a vector load into multiple scalar loads.
62 SDValue SplitVectorLoad(const SDValue &Op, SelectionDAG &DAG) const;
Tom Stellardaf775432013-10-23 00:44:32 +000063 SDValue SplitVectorStore(SDValue Op, SelectionDAG &DAG) const;
Tom Stellarde9373602014-01-22 19:24:14 +000064 SDValue LowerLOAD(SDValue Op, SelectionDAG &DAG) const;
Tom Stellard2ffc3302013-08-26 15:05:44 +000065 SDValue LowerSTORE(SDValue Op, SelectionDAG &DAG) const;
Tom Stellard75aadc22012-12-11 21:25:42 +000066 bool isHWTrueValue(SDValue Op) const;
67 bool isHWFalseValue(SDValue Op) const;
68
Tom Stellardaf775432013-10-23 00:44:32 +000069 /// The SelectionDAGBuilder will automatically promote function arguments
70 /// with illegal types. However, this does not work for the AMDGPU targets
71 /// since the function arguments are stored in memory as these illegal types.
72 /// In order to handle this properly we need to get the origianl types sizes
73 /// from the LLVM IR Function and fixup the ISD:InputArg values before
74 /// passing them to AnalyzeFormalArguments()
75 void getOriginalFunctionArgs(SelectionDAG &DAG,
76 const Function *F,
77 const SmallVectorImpl<ISD::InputArg> &Ins,
78 SmallVectorImpl<ISD::InputArg> &OrigIns) const;
Christian Konig2c8f6d52013-03-07 09:03:52 +000079 void AnalyzeFormalArguments(CCState &State,
80 const SmallVectorImpl<ISD::InputArg> &Ins) const;
81
Tom Stellard75aadc22012-12-11 21:25:42 +000082public:
83 AMDGPUTargetLowering(TargetMachine &TM);
84
Craig Topper5656db42014-04-29 07:57:24 +000085 bool isFAbsFree(EVT VT) const override;
86 bool isFNegFree(EVT VT) const override;
87 bool isTruncateFree(EVT Src, EVT Dest) const override;
88 bool isTruncateFree(Type *Src, Type *Dest) const override;
Matt Arsenaultb517c812014-03-27 17:23:31 +000089
Craig Topper5656db42014-04-29 07:57:24 +000090 bool isZExtFree(Type *Src, Type *Dest) const override;
91 bool isZExtFree(EVT Src, EVT Dest) const override;
Matt Arsenaultb517c812014-03-27 17:23:31 +000092
Craig Topper5656db42014-04-29 07:57:24 +000093 bool isNarrowingProfitable(EVT VT1, EVT VT2) const override;
Matt Arsenaulta7f1e0c2014-03-24 19:43:31 +000094
Craig Topper5656db42014-04-29 07:57:24 +000095 MVT getVectorIdxTy() const override;
96 bool isLoadBitCastBeneficial(EVT, EVT) const override;
97 SDValue LowerReturn(SDValue Chain, CallingConv::ID CallConv,
98 bool isVarArg,
99 const SmallVectorImpl<ISD::OutputArg> &Outs,
100 const SmallVectorImpl<SDValue> &OutVals,
101 SDLoc DL, SelectionDAG &DAG) const override;
102 SDValue LowerCall(CallLoweringInfo &CLI,
103 SmallVectorImpl<SDValue> &InVals) const override;
Tom Stellard75aadc22012-12-11 21:25:42 +0000104
Craig Topper5656db42014-04-29 07:57:24 +0000105 SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const override;
106 void ReplaceNodeResults(SDNode * N,
107 SmallVectorImpl<SDValue> &Results,
108 SelectionDAG &DAG) const override;
Matt Arsenaultd125d742014-03-27 17:23:24 +0000109
Tom Stellard75aadc22012-12-11 21:25:42 +0000110 SDValue LowerIntrinsicIABS(SDValue Op, SelectionDAG &DAG) const;
111 SDValue LowerIntrinsicLRP(SDValue Op, SelectionDAG &DAG) const;
Tom Stellardafa8b532014-05-09 16:42:16 +0000112 SDValue CombineMinMax(SDNode *N, SelectionDAG &DAG) const;
Craig Topper5656db42014-04-29 07:57:24 +0000113 const char* getTargetNodeName(unsigned Opcode) const override;
Tom Stellard75aadc22012-12-11 21:25:42 +0000114
Craig Topper5656db42014-04-29 07:57:24 +0000115 virtual SDNode *PostISelFolding(MachineSDNode *N,
116 SelectionDAG &DAG) const {
Christian Konigd910b7d2013-02-26 17:52:16 +0000117 return N;
118 }
119
Tom Stellard75aadc22012-12-11 21:25:42 +0000120 /// \brief Determine which of the bits specified in \p Mask are known to be
121 /// either zero or one and return them in the \p KnownZero and \p KnownOne
122 /// bitsets.
Jay Foada0653a32014-05-14 21:14:37 +0000123 void computeKnownBitsForTargetNode(const SDValue Op,
124 APInt &KnownZero,
125 APInt &KnownOne,
126 const SelectionDAG &DAG,
127 unsigned Depth = 0) const override;
Tom Stellard75aadc22012-12-11 21:25:42 +0000128
Matt Arsenaultbf8694d2014-05-22 18:09:03 +0000129 virtual unsigned ComputeNumSignBitsForTargetNode(
130 SDValue Op,
131 const SelectionDAG &DAG,
132 unsigned Depth = 0) const override;
133
Matt Arsenault0c274fe2014-03-25 18:18:27 +0000134// Functions defined in AMDILISelLowering.cpp
135public:
Craig Topper5656db42014-04-29 07:57:24 +0000136 bool getTgtMemIntrinsic(IntrinsicInfo &Info,
137 const CallInst &I, unsigned Intrinsic) const override;
Tom Stellard75aadc22012-12-11 21:25:42 +0000138
139 /// We want to mark f32/f64 floating point values as legal.
Craig Topper5656db42014-04-29 07:57:24 +0000140 bool isFPImmLegal(const APFloat &Imm, EVT VT) const override;
Tom Stellard75aadc22012-12-11 21:25:42 +0000141
142 /// We don't want to shrink f64/f32 constants.
Craig Topper5656db42014-04-29 07:57:24 +0000143 bool ShouldShrinkFPConstant(EVT VT) const override;
Tom Stellard75aadc22012-12-11 21:25:42 +0000144
Craig Topper5656db42014-04-29 07:57:24 +0000145 SDValue PerformDAGCombine(SDNode *N, DAGCombinerInfo &DCI) const override;
Tom Stellard50122a52014-04-07 19:45:41 +0000146
Tom Stellard75aadc22012-12-11 21:25:42 +0000147private:
148 void InitAMDILLowering();
149 SDValue LowerSREM(SDValue Op, SelectionDAG &DAG) const;
150 SDValue LowerSREM8(SDValue Op, SelectionDAG &DAG) const;
151 SDValue LowerSREM16(SDValue Op, SelectionDAG &DAG) const;
152 SDValue LowerSREM32(SDValue Op, SelectionDAG &DAG) const;
153 SDValue LowerSREM64(SDValue Op, SelectionDAG &DAG) const;
154 SDValue LowerSDIV(SDValue Op, SelectionDAG &DAG) const;
155 SDValue LowerSDIV24(SDValue Op, SelectionDAG &DAG) const;
156 SDValue LowerSDIV32(SDValue Op, SelectionDAG &DAG) const;
157 SDValue LowerSDIV64(SDValue Op, SelectionDAG &DAG) const;
Matt Arsenaultfae02982014-03-17 18:58:11 +0000158
159 SDValue ExpandSIGN_EXTEND_INREG(SDValue Op,
160 unsigned BitsDiff,
161 SelectionDAG &DAG) const;
Tom Stellard75aadc22012-12-11 21:25:42 +0000162 SDValue LowerSIGN_EXTEND_INREG(SDValue Op, SelectionDAG &DAG) const;
163 EVT genIntType(uint32_t size = 32, uint32_t numEle = 1) const;
164 SDValue LowerBRCOND(SDValue Op, SelectionDAG &DAG) const;
Tom Stellard75aadc22012-12-11 21:25:42 +0000165};
166
167namespace AMDGPUISD {
168
169enum {
170 // AMDIL ISD Opcodes
171 FIRST_NUMBER = ISD::BUILTIN_OP_END,
Tom Stellard75aadc22012-12-11 21:25:42 +0000172 CALL, // Function call based on a single integer
173 UMUL, // 32bit unsigned multiplication
174 DIV_INF, // Divide with infinity returned on zero divisor
175 RET_FLAG,
176 BRANCH_COND,
177 // End AMDIL ISD Opcodes
Tom Stellard75aadc22012-12-11 21:25:42 +0000178 DWORDADDR,
179 FRACT,
Vincent Lejeuneb55940c2013-07-09 15:03:11 +0000180 COS_HW,
181 SIN_HW,
Tom Stellard75aadc22012-12-11 21:25:42 +0000182 FMAX,
183 SMAX,
184 UMAX,
185 FMIN,
186 SMIN,
187 UMIN,
188 URECIP,
Vincent Lejeune519f21e2013-05-17 16:50:32 +0000189 DOT4,
Matt Arsenaultfae02982014-03-17 18:58:11 +0000190 BFE_U32, // Extract range of bits with zero extension to 32-bits.
191 BFE_I32, // Extract range of bits with sign extension to 32-bits.
Matt Arsenaultb3458362014-03-31 18:21:13 +0000192 BFI, // (src0 & src1) | (~src0 & src2)
193 BFM, // Insert a range of bits into a 32-bit word.
Tom Stellard50122a52014-04-07 19:45:41 +0000194 MUL_U24,
195 MUL_I24,
Matt Arsenaulteb260202014-05-22 18:00:15 +0000196 MAD_U24,
197 MAD_I24,
Vincent Lejeuned3eed662013-05-17 16:50:20 +0000198 TEXTURE_FETCH,
Tom Stellard75aadc22012-12-11 21:25:42 +0000199 EXPORT,
Tom Stellardff62c352013-01-23 02:09:03 +0000200 CONST_ADDRESS,
Tom Stellardf3b2a1e2013-02-06 17:32:29 +0000201 REGISTER_LOAD,
202 REGISTER_STORE,
Tom Stellard9fa17912013-08-14 23:24:45 +0000203 LOAD_INPUT,
204 SAMPLE,
205 SAMPLEB,
206 SAMPLED,
207 SAMPLEL,
208 FIRST_MEM_OPCODE_NUMBER = ISD::FIRST_TARGET_MEMORY_OPCODE,
Tom Stellardd3ee8c12013-08-16 01:12:06 +0000209 STORE_MSKOR,
Tom Stellard9fa17912013-08-14 23:24:45 +0000210 LOAD_CONSTANT,
Tom Stellardafcf12f2013-09-12 02:55:14 +0000211 TBUFFER_STORE_FORMAT,
Tom Stellard75aadc22012-12-11 21:25:42 +0000212 LAST_AMDGPU_ISD_NUMBER
213};
214
215
216} // End namespace AMDGPUISD
217
Tom Stellard75aadc22012-12-11 21:25:42 +0000218} // End namespace llvm
219
220#endif // AMDGPUISELLOWERING_H