Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 1 | //===-- 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 Arsenault | 6b6a2c3 | 2016-03-11 08:00:27 +0000 | [diff] [blame] | 15 | #ifndef LLVM_LIB_TARGET_AMDGPU_SIISELLOWERING_H |
| 16 | #define LLVM_LIB_TARGET_AMDGPU_SIISELLOWERING_H |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 17 | |
| 18 | #include "AMDGPUISelLowering.h" |
| 19 | #include "SIInstrInfo.h" |
| 20 | |
| 21 | namespace llvm { |
| 22 | |
Matt Arsenault | 6b6a2c3 | 2016-03-11 08:00:27 +0000 | [diff] [blame] | 23 | class SITargetLowering final : public AMDGPUTargetLowering { |
Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame^] | 24 | SDValue LowerParameter(SelectionDAG &DAG, EVT VT, EVT MemVT, const SDLoc &DL, |
Matt Arsenault | e1f030c | 2014-04-11 20:59:54 +0000 | [diff] [blame] | 25 | SDValue Chain, unsigned Offset, bool Signed) const; |
Matt Arsenault | a5789bb | 2014-07-26 06:23:37 +0000 | [diff] [blame] | 26 | |
Matt Arsenault | ff6da2f | 2015-11-30 21:15:45 +0000 | [diff] [blame] | 27 | SDValue lowerImplicitZextParam(SelectionDAG &DAG, SDValue Op, |
| 28 | MVT VT, unsigned Offset) const; |
| 29 | |
Matt Arsenault | a5789bb | 2014-07-26 06:23:37 +0000 | [diff] [blame] | 30 | SDValue LowerINTRINSIC_WO_CHAIN(SDValue Op, SelectionDAG &DAG) const; |
Matt Arsenault | a9dbdca | 2016-04-12 14:05:04 +0000 | [diff] [blame] | 31 | SDValue LowerINTRINSIC_W_CHAIN(SDValue Op, SelectionDAG &DAG) const; |
Matt Arsenault | a5789bb | 2014-07-26 06:23:37 +0000 | [diff] [blame] | 32 | SDValue LowerINTRINSIC_VOID(SDValue Op, SelectionDAG &DAG) const; |
Tom Stellard | b02094e | 2014-07-21 15:45:01 +0000 | [diff] [blame] | 33 | SDValue LowerFrameIndex(SDValue Op, SelectionDAG &DAG) const; |
Tom Stellard | 81d871d | 2013-11-13 23:36:50 +0000 | [diff] [blame] | 34 | SDValue LowerLOAD(SDValue Op, SelectionDAG &DAG) const; |
Tom Stellard | 0ec134f | 2014-02-04 17:18:40 +0000 | [diff] [blame] | 35 | SDValue LowerSELECT(SDValue Op, SelectionDAG &DAG) const; |
Matt Arsenault | 22ca3f8 | 2014-07-15 23:50:10 +0000 | [diff] [blame] | 36 | SDValue LowerFastFDIV(SDValue Op, SelectionDAG &DAG) const; |
Matt Arsenault | e9fa3b8 | 2014-07-15 20:18:31 +0000 | [diff] [blame] | 37 | SDValue LowerFDIV32(SDValue Op, SelectionDAG &DAG) const; |
| 38 | SDValue LowerFDIV64(SDValue Op, SelectionDAG &DAG) const; |
| 39 | SDValue LowerFDIV(SDValue Op, SelectionDAG &DAG) const; |
Matt Arsenault | f7c95e3 | 2014-10-03 23:54:41 +0000 | [diff] [blame] | 40 | SDValue LowerINT_TO_FP(SDValue Op, SelectionDAG &DAG, bool Signed) const; |
Tom Stellard | 81d871d | 2013-11-13 23:36:50 +0000 | [diff] [blame] | 41 | SDValue LowerSTORE(SDValue Op, SelectionDAG &DAG) const; |
Matt Arsenault | ad14ce8 | 2014-07-19 18:44:39 +0000 | [diff] [blame] | 42 | SDValue LowerTrig(SDValue Op, SelectionDAG &DAG) const; |
Tom Stellard | 354a43c | 2016-04-01 18:27:37 +0000 | [diff] [blame] | 43 | SDValue LowerATOMIC_CMP_SWAP(SDValue Op, SelectionDAG &DAG) const; |
Tom Stellard | f879435 | 2012-12-19 22:10:31 +0000 | [diff] [blame] | 44 | SDValue LowerBRCOND(SDValue Op, SelectionDAG &DAG) const; |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 45 | |
Matt Arsenault | 99c1452 | 2016-04-25 19:27:24 +0000 | [diff] [blame] | 46 | SDValue getSegmentAperture(unsigned AS, SelectionDAG &DAG) const; |
| 47 | SDValue lowerADDRSPACECAST(SDValue Op, SelectionDAG &DAG) const; |
| 48 | |
Christian Konig | 8e06e2a | 2013-04-10 08:39:08 +0000 | [diff] [blame] | 49 | void adjustWritemask(MachineSDNode *&N, SelectionDAG &DAG) const; |
| 50 | |
Matt Arsenault | e698663 | 2015-01-14 01:35:22 +0000 | [diff] [blame] | 51 | SDValue performUCharToFloatCombine(SDNode *N, |
| 52 | DAGCombinerInfo &DCI) const; |
Matt Arsenault | b2baffa | 2014-08-15 17:49:05 +0000 | [diff] [blame] | 53 | SDValue performSHLPtrCombine(SDNode *N, |
| 54 | unsigned AS, |
| 55 | DAGCombinerInfo &DCI) const; |
Matt Arsenault | d0101a2 | 2015-01-06 23:00:46 +0000 | [diff] [blame] | 56 | SDValue performAndCombine(SDNode *N, DAGCombinerInfo &DCI) const; |
Matt Arsenault | f229033 | 2015-01-06 23:00:39 +0000 | [diff] [blame] | 57 | SDValue performOrCombine(SDNode *N, DAGCombinerInfo &DCI) const; |
| 58 | SDValue performClassCombine(SDNode *N, DAGCombinerInfo &DCI) const; |
Matt Arsenault | 9cd9071 | 2016-04-14 01:42:16 +0000 | [diff] [blame] | 59 | SDValue performFCanonicalizeCombine(SDNode *N, DAGCombinerInfo &DCI) const; |
Matt Arsenault | 364a674 | 2014-06-11 17:50:44 +0000 | [diff] [blame] | 60 | |
Matt Arsenault | f639c32 | 2016-01-28 20:53:42 +0000 | [diff] [blame] | 61 | SDValue performMinMaxCombine(SDNode *N, DAGCombinerInfo &DCI) const; |
| 62 | |
Matt Arsenault | 6f6233d | 2015-01-06 23:00:41 +0000 | [diff] [blame] | 63 | SDValue performSetCCCombine(SDNode *N, DAGCombinerInfo &DCI) const; |
Matt Arsenault | cc3c2b3 | 2014-11-14 20:08:52 +0000 | [diff] [blame] | 64 | |
Tom Stellard | 70580f8 | 2015-07-20 14:28:41 +0000 | [diff] [blame] | 65 | bool isLegalFlatAddressingMode(const AddrMode &AM) const; |
Matt Arsenault | 711b390 | 2015-08-07 20:18:34 +0000 | [diff] [blame] | 66 | bool isLegalMUBUFAddressingMode(const AddrMode &AM) const; |
Tom Stellard | bc4497b | 2016-02-12 23:45:29 +0000 | [diff] [blame] | 67 | |
| 68 | bool isCFIntrinsic(const SDNode *Intr) const; |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 69 | public: |
Eric Christopher | 7792e32 | 2015-01-30 23:24:40 +0000 | [diff] [blame] | 70 | SITargetLowering(TargetMachine &tm, const AMDGPUSubtarget &STI); |
Matt Arsenault | 5015a89 | 2014-08-15 17:17:07 +0000 | [diff] [blame] | 71 | |
Matt Arsenault | a9dbdca | 2016-04-12 14:05:04 +0000 | [diff] [blame] | 72 | bool getTgtMemIntrinsic(IntrinsicInfo &, const CallInst &, |
| 73 | unsigned IntrinsicID) const override; |
| 74 | |
Matt Arsenault | e306a32 | 2014-10-21 16:25:08 +0000 | [diff] [blame] | 75 | bool isShuffleMaskLegal(const SmallVectorImpl<int> &/*Mask*/, |
| 76 | EVT /*VT*/) const override; |
| 77 | |
Mehdi Amini | 0cdec1e | 2015-07-09 02:09:40 +0000 | [diff] [blame] | 78 | bool isLegalAddressingMode(const DataLayout &DL, const AddrMode &AM, Type *Ty, |
| 79 | unsigned AS) const override; |
Matt Arsenault | 5015a89 | 2014-08-15 17:17:07 +0000 | [diff] [blame] | 80 | |
Matt Arsenault | 6f2a526 | 2014-07-27 17:46:40 +0000 | [diff] [blame] | 81 | bool allowsMisalignedMemoryAccesses(EVT VT, unsigned AS, |
| 82 | unsigned Align, |
| 83 | bool *IsFast) const override; |
Chandler Carruth | 9d010ff | 2014-07-03 00:23:43 +0000 | [diff] [blame] | 84 | |
Matt Arsenault | 46645fa | 2014-07-28 17:49:26 +0000 | [diff] [blame] | 85 | EVT getOptimalMemOpType(uint64_t Size, unsigned DstAlign, |
| 86 | unsigned SrcAlign, bool IsMemset, |
| 87 | bool ZeroMemset, |
| 88 | bool MemcpyStrSrc, |
| 89 | MachineFunction &MF) const override; |
| 90 | |
Tom Stellard | a6f24c6 | 2015-12-15 20:55:55 +0000 | [diff] [blame] | 91 | bool isMemOpUniform(const SDNode *N) const; |
Matt Arsenault | f9bfeaf | 2015-12-01 23:04:00 +0000 | [diff] [blame] | 92 | bool isNoopAddrSpaceCast(unsigned SrcAS, unsigned DestAS) const override; |
| 93 | |
Chandler Carruth | 9d010ff | 2014-07-03 00:23:43 +0000 | [diff] [blame] | 94 | TargetLoweringBase::LegalizeTypeAction |
| 95 | getPreferredVectorAction(EVT VT) const override; |
Christian Konig | 2c8f6d5 | 2013-03-07 09:03:52 +0000 | [diff] [blame] | 96 | |
Craig Topper | 5656db4 | 2014-04-29 07:57:24 +0000 | [diff] [blame] | 97 | bool shouldConvertConstantLoadToIntImm(const APInt &Imm, |
| 98 | Type *Ty) const override; |
Matt Arsenault | d7bdcc4 | 2014-03-31 19:54:27 +0000 | [diff] [blame] | 99 | |
Tom Stellard | 2e045bb | 2016-01-20 00:13:22 +0000 | [diff] [blame] | 100 | bool isTypeDesirableForOp(unsigned Op, EVT VT) const override; |
| 101 | |
Christian Konig | 2c8f6d5 | 2013-03-07 09:03:52 +0000 | [diff] [blame] | 102 | SDValue LowerFormalArguments(SDValue Chain, CallingConv::ID CallConv, |
| 103 | bool isVarArg, |
| 104 | const SmallVectorImpl<ISD::InputArg> &Ins, |
Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame^] | 105 | const SDLoc &DL, SelectionDAG &DAG, |
Craig Topper | 5656db4 | 2014-04-29 07:57:24 +0000 | [diff] [blame] | 106 | SmallVectorImpl<SDValue> &InVals) const override; |
Christian Konig | 2c8f6d5 | 2013-03-07 09:03:52 +0000 | [diff] [blame] | 107 | |
Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame^] | 108 | SDValue LowerReturn(SDValue Chain, CallingConv::ID CallConv, bool isVarArg, |
Marek Olsak | 8a0f335 | 2016-01-13 17:23:04 +0000 | [diff] [blame] | 109 | const SmallVectorImpl<ISD::OutputArg> &Outs, |
Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame^] | 110 | const SmallVectorImpl<SDValue> &OutVals, const SDLoc &DL, |
| 111 | SelectionDAG &DAG) const override; |
Marek Olsak | 8a0f335 | 2016-01-13 17:23:04 +0000 | [diff] [blame] | 112 | |
Matt Arsenault | 9a10cea | 2016-01-26 04:29:24 +0000 | [diff] [blame] | 113 | unsigned getRegisterByName(const char* RegName, EVT VT, |
| 114 | SelectionDAG &DAG) const override; |
| 115 | |
Craig Topper | 5656db4 | 2014-04-29 07:57:24 +0000 | [diff] [blame] | 116 | MachineBasicBlock * EmitInstrWithCustomInserter(MachineInstr * MI, |
| 117 | MachineBasicBlock * BB) const override; |
Matt Arsenault | 423bf3f | 2015-01-29 19:34:32 +0000 | [diff] [blame] | 118 | bool enableAggressiveFMAFusion(EVT VT) const override; |
Mehdi Amini | 44ede33 | 2015-07-09 02:09:04 +0000 | [diff] [blame] | 119 | EVT getSetCCResultType(const DataLayout &DL, LLVMContext &Context, |
| 120 | EVT VT) const override; |
Mehdi Amini | eaabc51 | 2015-07-09 15:12:23 +0000 | [diff] [blame] | 121 | MVT getScalarShiftAmountTy(const DataLayout &, EVT) const override; |
Craig Topper | 5656db4 | 2014-04-29 07:57:24 +0000 | [diff] [blame] | 122 | bool isFMAFasterThanFMulAndFAdd(EVT VT) const override; |
| 123 | SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const override; |
| 124 | SDValue PerformDAGCombine(SDNode *N, DAGCombinerInfo &DCI) const override; |
| 125 | SDNode *PostISelFolding(MachineSDNode *N, SelectionDAG &DAG) const override; |
| 126 | void AdjustInstrPostInstrSelection(MachineInstr *MI, |
| 127 | SDNode *Node) const override; |
Christian Konig | f82901a | 2013-02-26 17:52:23 +0000 | [diff] [blame] | 128 | |
| 129 | int32_t analyzeImmediate(const SDNode *N) const; |
Tom Stellard | 94593ee | 2013-06-03 17:40:18 +0000 | [diff] [blame] | 130 | SDValue CreateLiveInRegister(SelectionDAG &DAG, const TargetRegisterClass *RC, |
Craig Topper | 5656db4 | 2014-04-29 07:57:24 +0000 | [diff] [blame] | 131 | unsigned Reg, EVT VT) const override; |
Tom Stellard | 3457a84 | 2014-10-09 19:06:00 +0000 | [diff] [blame] | 132 | void legalizeTargetIndependentNode(SDNode *Node, SelectionDAG &DAG) const; |
Matt Arsenault | 485defe | 2014-11-05 19:01:17 +0000 | [diff] [blame] | 133 | |
Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame^] | 134 | MachineSDNode *wrapAddr64Rsrc(SelectionDAG &DAG, const SDLoc &DL, |
| 135 | SDValue Ptr) const; |
| 136 | MachineSDNode *buildRSRC(SelectionDAG &DAG, const SDLoc &DL, SDValue Ptr, |
| 137 | uint32_t RsrcDword1, uint64_t RsrcDword2And3) const; |
Benjamin Kramer | 9bfb627 | 2015-07-05 19:29:18 +0000 | [diff] [blame] | 138 | std::pair<unsigned, const TargetRegisterClass *> |
| 139 | getRegForInlineAsmConstraint(const TargetRegisterInfo *TRI, |
| 140 | StringRef Constraint, MVT VT) const override; |
Tom Stellard | b3c3bda | 2015-12-10 02:12:53 +0000 | [diff] [blame] | 141 | ConstraintType getConstraintType(StringRef Constraint) const override; |
Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame^] | 142 | SDValue copyToM0(SelectionDAG &DAG, SDValue Chain, const SDLoc &DL, |
| 143 | SDValue V) const; |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 144 | }; |
| 145 | |
| 146 | } // End namespace llvm |
| 147 | |
Benjamin Kramer | a7c40ef | 2014-08-13 16:26:38 +0000 | [diff] [blame] | 148 | #endif |