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