blob: 31f79d4b09fb7bf3e9b9c54980c8b2f5aa359d80 [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
56protected:
Matt Arsenaultc9df7942014-06-11 03:29:54 +000057 static EVT getEquivalentMemType(LLVMContext &Context, EVT VT);
58 static EVT getEquivalentLoadRegType(LLVMContext &Context, EVT VT);
Tom Stellard75aadc22012-12-11 21:25:42 +000059
60 /// \brief Helper function that adds Reg to the LiveIn list of the DAG's
61 /// MachineFunction.
62 ///
63 /// \returns a RegisterSDNode representing Reg.
Tom Stellard94593ee2013-06-03 17:40:18 +000064 virtual SDValue CreateLiveInRegister(SelectionDAG &DAG,
65 const TargetRegisterClass *RC,
66 unsigned Reg, EVT VT) const;
Tom Stellardc026e8b2013-06-28 15:47:08 +000067 SDValue LowerGlobalAddress(AMDGPUMachineFunction *MFI, SDValue Op,
68 SelectionDAG &DAG) const;
Tom Stellard35bb18c2013-08-26 15:06:04 +000069 /// \brief Split a vector load into multiple scalar loads.
70 SDValue SplitVectorLoad(const SDValue &Op, SelectionDAG &DAG) const;
Tom Stellardaf775432013-10-23 00:44:32 +000071 SDValue SplitVectorStore(SDValue Op, SelectionDAG &DAG) const;
Tom Stellarde9373602014-01-22 19:24:14 +000072 SDValue LowerLOAD(SDValue Op, SelectionDAG &DAG) const;
Tom Stellard2ffc3302013-08-26 15:05:44 +000073 SDValue LowerSTORE(SDValue Op, SelectionDAG &DAG) const;
Tom Stellard75aadc22012-12-11 21:25:42 +000074 bool isHWTrueValue(SDValue Op) const;
75 bool isHWFalseValue(SDValue Op) const;
76
Tom Stellardaf775432013-10-23 00:44:32 +000077 /// The SelectionDAGBuilder will automatically promote function arguments
78 /// with illegal types. However, this does not work for the AMDGPU targets
79 /// since the function arguments are stored in memory as these illegal types.
80 /// In order to handle this properly we need to get the origianl types sizes
81 /// from the LLVM IR Function and fixup the ISD:InputArg values before
82 /// passing them to AnalyzeFormalArguments()
83 void getOriginalFunctionArgs(SelectionDAG &DAG,
84 const Function *F,
85 const SmallVectorImpl<ISD::InputArg> &Ins,
86 SmallVectorImpl<ISD::InputArg> &OrigIns) const;
Christian Konig2c8f6d52013-03-07 09:03:52 +000087 void AnalyzeFormalArguments(CCState &State,
88 const SmallVectorImpl<ISD::InputArg> &Ins) const;
89
Tom Stellard75aadc22012-12-11 21:25:42 +000090public:
91 AMDGPUTargetLowering(TargetMachine &TM);
92
Craig Topper5656db42014-04-29 07:57:24 +000093 bool isFAbsFree(EVT VT) const override;
94 bool isFNegFree(EVT VT) const override;
95 bool isTruncateFree(EVT Src, EVT Dest) const override;
96 bool isTruncateFree(Type *Src, Type *Dest) const override;
Matt Arsenaultb517c812014-03-27 17:23:31 +000097
Craig Topper5656db42014-04-29 07:57:24 +000098 bool isZExtFree(Type *Src, Type *Dest) const override;
99 bool isZExtFree(EVT Src, EVT Dest) const override;
Matt Arsenaultb517c812014-03-27 17:23:31 +0000100
Craig Topper5656db42014-04-29 07:57:24 +0000101 bool isNarrowingProfitable(EVT VT1, EVT VT2) const override;
Matt Arsenaulta7f1e0c2014-03-24 19:43:31 +0000102
Craig Topper5656db42014-04-29 07:57:24 +0000103 MVT getVectorIdxTy() const override;
104 bool isLoadBitCastBeneficial(EVT, EVT) const override;
105 SDValue LowerReturn(SDValue Chain, CallingConv::ID CallConv,
106 bool isVarArg,
107 const SmallVectorImpl<ISD::OutputArg> &Outs,
108 const SmallVectorImpl<SDValue> &OutVals,
109 SDLoc DL, SelectionDAG &DAG) const override;
110 SDValue LowerCall(CallLoweringInfo &CLI,
111 SmallVectorImpl<SDValue> &InVals) const override;
Tom Stellard75aadc22012-12-11 21:25:42 +0000112
Craig Topper5656db42014-04-29 07:57:24 +0000113 SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const override;
114 void ReplaceNodeResults(SDNode * N,
115 SmallVectorImpl<SDValue> &Results,
116 SelectionDAG &DAG) const override;
Matt Arsenaultd125d742014-03-27 17:23:24 +0000117
Tom Stellard75aadc22012-12-11 21:25:42 +0000118 SDValue LowerIntrinsicIABS(SDValue Op, SelectionDAG &DAG) const;
119 SDValue LowerIntrinsicLRP(SDValue Op, SelectionDAG &DAG) const;
Tom Stellardafa8b532014-05-09 16:42:16 +0000120 SDValue CombineMinMax(SDNode *N, SelectionDAG &DAG) const;
Craig Topper5656db42014-04-29 07:57:24 +0000121 const char* getTargetNodeName(unsigned Opcode) const override;
Tom Stellard75aadc22012-12-11 21:25:42 +0000122
Craig Topper5656db42014-04-29 07:57:24 +0000123 virtual SDNode *PostISelFolding(MachineSDNode *N,
124 SelectionDAG &DAG) const {
Christian Konigd910b7d2013-02-26 17:52:16 +0000125 return N;
126 }
127
Tom Stellard75aadc22012-12-11 21:25:42 +0000128 /// \brief Determine which of the bits specified in \p Mask are known to be
129 /// either zero or one and return them in the \p KnownZero and \p KnownOne
130 /// bitsets.
Jay Foada0653a32014-05-14 21:14:37 +0000131 void computeKnownBitsForTargetNode(const SDValue Op,
132 APInt &KnownZero,
133 APInt &KnownOne,
134 const SelectionDAG &DAG,
135 unsigned Depth = 0) const override;
Tom Stellard75aadc22012-12-11 21:25:42 +0000136
Matt Arsenaultbf8694d2014-05-22 18:09:03 +0000137 virtual unsigned ComputeNumSignBitsForTargetNode(
138 SDValue Op,
139 const SelectionDAG &DAG,
140 unsigned Depth = 0) const override;
141
Matt Arsenault0c274fe2014-03-25 18:18:27 +0000142// Functions defined in AMDILISelLowering.cpp
143public:
Craig Topper5656db42014-04-29 07:57:24 +0000144 bool getTgtMemIntrinsic(IntrinsicInfo &Info,
145 const CallInst &I, unsigned Intrinsic) const override;
Tom Stellard75aadc22012-12-11 21:25:42 +0000146
147 /// We want to mark f32/f64 floating point values as legal.
Craig Topper5656db42014-04-29 07:57:24 +0000148 bool isFPImmLegal(const APFloat &Imm, EVT VT) const override;
Tom Stellard75aadc22012-12-11 21:25:42 +0000149
150 /// We don't want to shrink f64/f32 constants.
Craig Topper5656db42014-04-29 07:57:24 +0000151 bool ShouldShrinkFPConstant(EVT VT) const override;
Tom Stellard75aadc22012-12-11 21:25:42 +0000152
Craig Topper5656db42014-04-29 07:57:24 +0000153 SDValue PerformDAGCombine(SDNode *N, DAGCombinerInfo &DCI) const override;
Tom Stellard50122a52014-04-07 19:45:41 +0000154
Tom Stellard75aadc22012-12-11 21:25:42 +0000155private:
156 void InitAMDILLowering();
Matt Arsenaultfae02982014-03-17 18:58:11 +0000157
158 SDValue ExpandSIGN_EXTEND_INREG(SDValue Op,
159 unsigned BitsDiff,
160 SelectionDAG &DAG) const;
Tom Stellard75aadc22012-12-11 21:25:42 +0000161 SDValue LowerSIGN_EXTEND_INREG(SDValue Op, SelectionDAG &DAG) const;
Tom Stellard75aadc22012-12-11 21:25:42 +0000162 SDValue LowerBRCOND(SDValue Op, SelectionDAG &DAG) const;
Tom Stellard75aadc22012-12-11 21:25:42 +0000163};
164
165namespace AMDGPUISD {
166
167enum {
168 // AMDIL ISD Opcodes
169 FIRST_NUMBER = ISD::BUILTIN_OP_END,
Tom Stellard75aadc22012-12-11 21:25:42 +0000170 CALL, // Function call based on a single integer
171 UMUL, // 32bit unsigned multiplication
172 DIV_INF, // Divide with infinity returned on zero divisor
173 RET_FLAG,
174 BRANCH_COND,
175 // End AMDIL ISD Opcodes
Tom Stellard75aadc22012-12-11 21:25:42 +0000176 DWORDADDR,
177 FRACT,
Matt Arsenault5d47d4a2014-06-12 21:15:44 +0000178 CLAMP,
Vincent Lejeuneb55940c2013-07-09 15:03:11 +0000179 COS_HW,
180 SIN_HW,
Tom Stellard75aadc22012-12-11 21:25:42 +0000181 FMAX,
182 SMAX,
183 UMAX,
184 FMIN,
185 SMIN,
186 UMIN,
187 URECIP,
Vincent Lejeune519f21e2013-05-17 16:50:32 +0000188 DOT4,
Matt Arsenaultfae02982014-03-17 18:58:11 +0000189 BFE_U32, // Extract range of bits with zero extension to 32-bits.
190 BFE_I32, // Extract range of bits with sign extension to 32-bits.
Matt Arsenaultb3458362014-03-31 18:21:13 +0000191 BFI, // (src0 & src1) | (~src0 & src2)
192 BFM, // Insert a range of bits into a 32-bit word.
Tom Stellard50122a52014-04-07 19:45:41 +0000193 MUL_U24,
194 MUL_I24,
Matt Arsenaulteb260202014-05-22 18:00:15 +0000195 MAD_U24,
196 MAD_I24,
Vincent Lejeuned3eed662013-05-17 16:50:20 +0000197 TEXTURE_FETCH,
Tom Stellard75aadc22012-12-11 21:25:42 +0000198 EXPORT,
Tom Stellardff62c352013-01-23 02:09:03 +0000199 CONST_ADDRESS,
Tom Stellardf3b2a1e2013-02-06 17:32:29 +0000200 REGISTER_LOAD,
201 REGISTER_STORE,
Tom Stellard9fa17912013-08-14 23:24:45 +0000202 LOAD_INPUT,
203 SAMPLE,
204 SAMPLEB,
205 SAMPLED,
206 SAMPLEL,
Matt Arsenault364a6742014-06-11 17:50:44 +0000207
208 // These cvt_f32_ubyte* nodes need to remain consecutive and in order.
209 CVT_F32_UBYTE0,
210 CVT_F32_UBYTE1,
211 CVT_F32_UBYTE2,
212 CVT_F32_UBYTE3,
Tom Stellard9fa17912013-08-14 23:24:45 +0000213 FIRST_MEM_OPCODE_NUMBER = ISD::FIRST_TARGET_MEMORY_OPCODE,
Tom Stellardd3ee8c12013-08-16 01:12:06 +0000214 STORE_MSKOR,
Tom Stellard9fa17912013-08-14 23:24:45 +0000215 LOAD_CONSTANT,
Tom Stellardafcf12f2013-09-12 02:55:14 +0000216 TBUFFER_STORE_FORMAT,
Tom Stellard75aadc22012-12-11 21:25:42 +0000217 LAST_AMDGPU_ISD_NUMBER
218};
219
220
221} // End namespace AMDGPUISD
222
Tom Stellard75aadc22012-12-11 21:25:42 +0000223} // End namespace llvm
224
225#endif // AMDGPUISELLOWERING_H