xref: /freebsd/contrib/llvm-project/llvm/lib/Target/AMDGPU/SIISelLowering.h (revision 349cc55c9796c4596a5b9904cd3281af295f878f)
10b57cec5SDimitry Andric //===-- SIISelLowering.h - SI DAG Lowering Interface ------------*- C++ -*-===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric //
90b57cec5SDimitry Andric /// \file
100b57cec5SDimitry Andric /// SI DAG Lowering interface definition
110b57cec5SDimitry Andric //
120b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
130b57cec5SDimitry Andric 
140b57cec5SDimitry Andric #ifndef LLVM_LIB_TARGET_AMDGPU_SIISELLOWERING_H
150b57cec5SDimitry Andric #define LLVM_LIB_TARGET_AMDGPU_SIISELLOWERING_H
160b57cec5SDimitry Andric 
170b57cec5SDimitry Andric #include "AMDGPUISelLowering.h"
180b57cec5SDimitry Andric #include "AMDGPUArgumentUsageInfo.h"
19*349cc55cSDimitry Andric #include "llvm/CodeGen/MachineFunction.h"
200b57cec5SDimitry Andric 
210b57cec5SDimitry Andric namespace llvm {
220b57cec5SDimitry Andric 
23e8d8bef9SDimitry Andric class GCNSubtarget;
24e8d8bef9SDimitry Andric class SIMachineFunctionInfo;
25e8d8bef9SDimitry Andric class SIRegisterInfo;
26e8d8bef9SDimitry Andric 
27e8d8bef9SDimitry Andric namespace AMDGPU {
28e8d8bef9SDimitry Andric struct ImageDimIntrinsicInfo;
29e8d8bef9SDimitry Andric }
30e8d8bef9SDimitry Andric 
310b57cec5SDimitry Andric class SITargetLowering final : public AMDGPUTargetLowering {
320b57cec5SDimitry Andric private:
330b57cec5SDimitry Andric   const GCNSubtarget *Subtarget;
340b57cec5SDimitry Andric 
350b57cec5SDimitry Andric public:
360b57cec5SDimitry Andric   MVT getRegisterTypeForCallingConv(LLVMContext &Context,
370b57cec5SDimitry Andric                                     CallingConv::ID CC,
380b57cec5SDimitry Andric                                     EVT VT) const override;
390b57cec5SDimitry Andric   unsigned getNumRegistersForCallingConv(LLVMContext &Context,
400b57cec5SDimitry Andric                                          CallingConv::ID CC,
410b57cec5SDimitry Andric                                          EVT VT) const override;
420b57cec5SDimitry Andric 
430b57cec5SDimitry Andric   unsigned getVectorTypeBreakdownForCallingConv(
440b57cec5SDimitry Andric     LLVMContext &Context, CallingConv::ID CC, EVT VT, EVT &IntermediateVT,
450b57cec5SDimitry Andric     unsigned &NumIntermediates, MVT &RegisterVT) const override;
460b57cec5SDimitry Andric 
470b57cec5SDimitry Andric private:
480b57cec5SDimitry Andric   SDValue lowerKernArgParameterPtr(SelectionDAG &DAG, const SDLoc &SL,
490b57cec5SDimitry Andric                                    SDValue Chain, uint64_t Offset) const;
500b57cec5SDimitry Andric   SDValue getImplicitArgPtr(SelectionDAG &DAG, const SDLoc &SL) const;
510b57cec5SDimitry Andric   SDValue lowerKernargMemParameter(SelectionDAG &DAG, EVT VT, EVT MemVT,
520b57cec5SDimitry Andric                                    const SDLoc &SL, SDValue Chain,
535ffd83dbSDimitry Andric                                    uint64_t Offset, Align Alignment,
545ffd83dbSDimitry Andric                                    bool Signed,
550b57cec5SDimitry Andric                                    const ISD::InputArg *Arg = nullptr) const;
560b57cec5SDimitry Andric 
570b57cec5SDimitry Andric   SDValue lowerStackParameter(SelectionDAG &DAG, CCValAssign &VA,
580b57cec5SDimitry Andric                               const SDLoc &SL, SDValue Chain,
590b57cec5SDimitry Andric                               const ISD::InputArg &Arg) const;
600b57cec5SDimitry Andric   SDValue getPreloadedValue(SelectionDAG &DAG,
610b57cec5SDimitry Andric                             const SIMachineFunctionInfo &MFI,
620b57cec5SDimitry Andric                             EVT VT,
630b57cec5SDimitry Andric                             AMDGPUFunctionArgInfo::PreloadedValue) const;
640b57cec5SDimitry Andric 
650b57cec5SDimitry Andric   SDValue LowerGlobalAddress(AMDGPUMachineFunction *MFI, SDValue Op,
660b57cec5SDimitry Andric                              SelectionDAG &DAG) const override;
670b57cec5SDimitry Andric   SDValue lowerImplicitZextParam(SelectionDAG &DAG, SDValue Op,
680b57cec5SDimitry Andric                                  MVT VT, unsigned Offset) const;
690b57cec5SDimitry Andric   SDValue lowerImage(SDValue Op, const AMDGPU::ImageDimIntrinsicInfo *Intr,
70e8d8bef9SDimitry Andric                      SelectionDAG &DAG, bool WithChain) const;
710b57cec5SDimitry Andric   SDValue lowerSBuffer(EVT VT, SDLoc DL, SDValue Rsrc, SDValue Offset,
725ffd83dbSDimitry Andric                        SDValue CachePolicy, SelectionDAG &DAG) const;
730b57cec5SDimitry Andric 
74e8d8bef9SDimitry Andric   SDValue lowerRawBufferAtomicIntrin(SDValue Op, SelectionDAG &DAG,
75e8d8bef9SDimitry Andric                                      unsigned NewOpcode) const;
76e8d8bef9SDimitry Andric   SDValue lowerStructBufferAtomicIntrin(SDValue Op, SelectionDAG &DAG,
77e8d8bef9SDimitry Andric                                         unsigned NewOpcode) const;
78e8d8bef9SDimitry Andric 
790b57cec5SDimitry Andric   SDValue LowerINTRINSIC_WO_CHAIN(SDValue Op, SelectionDAG &DAG) const;
800b57cec5SDimitry Andric   SDValue LowerINTRINSIC_W_CHAIN(SDValue Op, SelectionDAG &DAG) const;
810b57cec5SDimitry Andric   SDValue LowerINTRINSIC_VOID(SDValue Op, SelectionDAG &DAG) const;
820b57cec5SDimitry Andric 
830b57cec5SDimitry Andric   // The raw.tbuffer and struct.tbuffer intrinsics have two offset args: offset
840b57cec5SDimitry Andric   // (the offset that is included in bounds checking and swizzling, to be split
850b57cec5SDimitry Andric   // between the instruction's voffset and immoffset fields) and soffset (the
860b57cec5SDimitry Andric   // offset that is excluded from bounds checking and swizzling, to go in the
870b57cec5SDimitry Andric   // instruction's soffset field).  This function takes the first kind of
880b57cec5SDimitry Andric   // offset and figures out how to split it between voffset and immoffset.
890b57cec5SDimitry Andric   std::pair<SDValue, SDValue> splitBufferOffsets(SDValue Offset,
900b57cec5SDimitry Andric                                                  SelectionDAG &DAG) const;
910b57cec5SDimitry Andric 
920b57cec5SDimitry Andric   SDValue widenLoad(LoadSDNode *Ld, DAGCombinerInfo &DCI) const;
930b57cec5SDimitry Andric   SDValue LowerLOAD(SDValue Op, SelectionDAG &DAG) const;
940b57cec5SDimitry Andric   SDValue LowerSELECT(SDValue Op, SelectionDAG &DAG) const;
950b57cec5SDimitry Andric   SDValue lowerFastUnsafeFDIV(SDValue Op, SelectionDAG &DAG) const;
96e8d8bef9SDimitry Andric   SDValue lowerFastUnsafeFDIV64(SDValue Op, SelectionDAG &DAG) const;
970b57cec5SDimitry Andric   SDValue lowerFDIV_FAST(SDValue Op, SelectionDAG &DAG) const;
980b57cec5SDimitry Andric   SDValue LowerFDIV16(SDValue Op, SelectionDAG &DAG) const;
990b57cec5SDimitry Andric   SDValue LowerFDIV32(SDValue Op, SelectionDAG &DAG) const;
1000b57cec5SDimitry Andric   SDValue LowerFDIV64(SDValue Op, SelectionDAG &DAG) const;
1010b57cec5SDimitry Andric   SDValue LowerFDIV(SDValue Op, SelectionDAG &DAG) const;
1020b57cec5SDimitry Andric   SDValue LowerSTORE(SDValue Op, SelectionDAG &DAG) const;
1030b57cec5SDimitry Andric   SDValue LowerTrig(SDValue Op, SelectionDAG &DAG) const;
1040b57cec5SDimitry Andric   SDValue LowerATOMIC_CMP_SWAP(SDValue Op, SelectionDAG &DAG) const;
1050b57cec5SDimitry Andric   SDValue LowerBRCOND(SDValue Op, SelectionDAG &DAG) const;
1060b57cec5SDimitry Andric   SDValue LowerRETURNADDR(SDValue Op, SelectionDAG &DAG) const;
1070b57cec5SDimitry Andric   SDValue adjustLoadValueType(unsigned Opcode, MemSDNode *M,
1080b57cec5SDimitry Andric                               SelectionDAG &DAG, ArrayRef<SDValue> Ops,
1090b57cec5SDimitry Andric                               bool IsIntrinsic = false) const;
1100b57cec5SDimitry Andric 
1118bcb0991SDimitry Andric   SDValue lowerIntrinsicLoad(MemSDNode *M, bool IsFormat, SelectionDAG &DAG,
1128bcb0991SDimitry Andric                              ArrayRef<SDValue> Ops) const;
1138bcb0991SDimitry Andric 
1140b57cec5SDimitry Andric   // Call DAG.getMemIntrinsicNode for a load, but first widen a dwordx3 type to
1150b57cec5SDimitry Andric   // dwordx4 if on SI.
1160b57cec5SDimitry Andric   SDValue getMemIntrinsicNode(unsigned Opcode, const SDLoc &DL, SDVTList VTList,
1170b57cec5SDimitry Andric                               ArrayRef<SDValue> Ops, EVT MemVT,
1180b57cec5SDimitry Andric                               MachineMemOperand *MMO, SelectionDAG &DAG) const;
1190b57cec5SDimitry Andric 
120e8d8bef9SDimitry Andric   SDValue handleD16VData(SDValue VData, SelectionDAG &DAG,
121e8d8bef9SDimitry Andric                          bool ImageStore = false) const;
1220b57cec5SDimitry Andric 
1230b57cec5SDimitry Andric   /// Converts \p Op, which must be of floating point type, to the
1240b57cec5SDimitry Andric   /// floating point type \p VT, by either extending or truncating it.
1255ffd83dbSDimitry Andric   SDValue getFPExtOrFPRound(SelectionDAG &DAG,
1260b57cec5SDimitry Andric                             SDValue Op,
1270b57cec5SDimitry Andric                             const SDLoc &DL,
1280b57cec5SDimitry Andric                             EVT VT) const;
1290b57cec5SDimitry Andric 
1300b57cec5SDimitry Andric   SDValue convertArgType(
1310b57cec5SDimitry Andric     SelectionDAG &DAG, EVT VT, EVT MemVT, const SDLoc &SL, SDValue Val,
1320b57cec5SDimitry Andric     bool Signed, const ISD::InputArg *Arg = nullptr) const;
1330b57cec5SDimitry Andric 
1340b57cec5SDimitry Andric   /// Custom lowering for ISD::FP_ROUND for MVT::f16.
1350b57cec5SDimitry Andric   SDValue lowerFP_ROUND(SDValue Op, SelectionDAG &DAG) const;
1360b57cec5SDimitry Andric   SDValue lowerFMINNUM_FMAXNUM(SDValue Op, SelectionDAG &DAG) const;
1375ffd83dbSDimitry Andric   SDValue lowerXMULO(SDValue Op, SelectionDAG &DAG) const;
1380b57cec5SDimitry Andric 
1390b57cec5SDimitry Andric   SDValue getSegmentAperture(unsigned AS, const SDLoc &DL,
1400b57cec5SDimitry Andric                              SelectionDAG &DAG) const;
1410b57cec5SDimitry Andric 
1420b57cec5SDimitry Andric   SDValue lowerADDRSPACECAST(SDValue Op, SelectionDAG &DAG) const;
1430b57cec5SDimitry Andric   SDValue lowerINSERT_SUBVECTOR(SDValue Op, SelectionDAG &DAG) const;
1440b57cec5SDimitry Andric   SDValue lowerINSERT_VECTOR_ELT(SDValue Op, SelectionDAG &DAG) const;
1450b57cec5SDimitry Andric   SDValue lowerEXTRACT_VECTOR_ELT(SDValue Op, SelectionDAG &DAG) const;
1460b57cec5SDimitry Andric   SDValue lowerVECTOR_SHUFFLE(SDValue Op, SelectionDAG &DAG) const;
1470b57cec5SDimitry Andric   SDValue lowerBUILD_VECTOR(SDValue Op, SelectionDAG &DAG) const;
148fe6060f1SDimitry Andric 
1490b57cec5SDimitry Andric   SDValue lowerTRAP(SDValue Op, SelectionDAG &DAG) const;
150fe6060f1SDimitry Andric   SDValue lowerTrapEndpgm(SDValue Op, SelectionDAG &DAG) const;
151fe6060f1SDimitry Andric   SDValue lowerTrapHsaQueuePtr(SDValue Op, SelectionDAG &DAG) const;
152fe6060f1SDimitry Andric   SDValue lowerTrapHsa(SDValue Op, SelectionDAG &DAG) const;
1530b57cec5SDimitry Andric   SDValue lowerDEBUGTRAP(SDValue Op, SelectionDAG &DAG) const;
1540b57cec5SDimitry Andric 
1550b57cec5SDimitry Andric   SDNode *adjustWritemask(MachineSDNode *&N, SelectionDAG &DAG) const;
1560b57cec5SDimitry Andric 
1570b57cec5SDimitry Andric   SDValue performUCharToFloatCombine(SDNode *N,
1580b57cec5SDimitry Andric                                      DAGCombinerInfo &DCI) const;
1590b57cec5SDimitry Andric   SDValue performSHLPtrCombine(SDNode *N,
1600b57cec5SDimitry Andric                                unsigned AS,
1610b57cec5SDimitry Andric                                EVT MemVT,
1620b57cec5SDimitry Andric                                DAGCombinerInfo &DCI) const;
1630b57cec5SDimitry Andric 
1640b57cec5SDimitry Andric   SDValue performMemSDNodeCombine(MemSDNode *N, DAGCombinerInfo &DCI) const;
1650b57cec5SDimitry Andric 
1660b57cec5SDimitry Andric   SDValue splitBinaryBitConstantOp(DAGCombinerInfo &DCI, const SDLoc &SL,
1670b57cec5SDimitry Andric                                    unsigned Opc, SDValue LHS,
1680b57cec5SDimitry Andric                                    const ConstantSDNode *CRHS) const;
1690b57cec5SDimitry Andric 
1700b57cec5SDimitry Andric   SDValue performAndCombine(SDNode *N, DAGCombinerInfo &DCI) const;
1710b57cec5SDimitry Andric   SDValue performOrCombine(SDNode *N, DAGCombinerInfo &DCI) const;
1720b57cec5SDimitry Andric   SDValue performXorCombine(SDNode *N, DAGCombinerInfo &DCI) const;
1730b57cec5SDimitry Andric   SDValue performZeroExtendCombine(SDNode *N, DAGCombinerInfo &DCI) const;
1740b57cec5SDimitry Andric   SDValue performSignExtendInRegCombine(SDNode *N, DAGCombinerInfo &DCI) const;
1750b57cec5SDimitry Andric   SDValue performClassCombine(SDNode *N, DAGCombinerInfo &DCI) const;
1760b57cec5SDimitry Andric   SDValue getCanonicalConstantFP(SelectionDAG &DAG, const SDLoc &SL, EVT VT,
1770b57cec5SDimitry Andric                                  const APFloat &C) const;
1780b57cec5SDimitry Andric   SDValue performFCanonicalizeCombine(SDNode *N, DAGCombinerInfo &DCI) const;
1790b57cec5SDimitry Andric 
1800b57cec5SDimitry Andric   SDValue performFPMed3ImmCombine(SelectionDAG &DAG, const SDLoc &SL,
1810b57cec5SDimitry Andric                                   SDValue Op0, SDValue Op1) const;
1820b57cec5SDimitry Andric   SDValue performIntMed3ImmCombine(SelectionDAG &DAG, const SDLoc &SL,
1830b57cec5SDimitry Andric                                    SDValue Op0, SDValue Op1, bool Signed) const;
1840b57cec5SDimitry Andric   SDValue performMinMaxCombine(SDNode *N, DAGCombinerInfo &DCI) const;
1850b57cec5SDimitry Andric   SDValue performFMed3Combine(SDNode *N, DAGCombinerInfo &DCI) const;
1860b57cec5SDimitry Andric   SDValue performCvtPkRTZCombine(SDNode *N, DAGCombinerInfo &DCI) const;
1870b57cec5SDimitry Andric   SDValue performExtractVectorEltCombine(SDNode *N, DAGCombinerInfo &DCI) const;
1880b57cec5SDimitry Andric   SDValue performInsertVectorEltCombine(SDNode *N, DAGCombinerInfo &DCI) const;
1890b57cec5SDimitry Andric 
1900b57cec5SDimitry Andric   SDValue reassociateScalarOps(SDNode *N, SelectionDAG &DAG) const;
1910b57cec5SDimitry Andric   unsigned getFusedOpcode(const SelectionDAG &DAG,
1920b57cec5SDimitry Andric                           const SDNode *N0, const SDNode *N1) const;
1930b57cec5SDimitry Andric   SDValue performAddCombine(SDNode *N, DAGCombinerInfo &DCI) const;
1940b57cec5SDimitry Andric   SDValue performAddCarrySubCarryCombine(SDNode *N, DAGCombinerInfo &DCI) const;
1950b57cec5SDimitry Andric   SDValue performSubCombine(SDNode *N, DAGCombinerInfo &DCI) const;
1960b57cec5SDimitry Andric   SDValue performFAddCombine(SDNode *N, DAGCombinerInfo &DCI) const;
1970b57cec5SDimitry Andric   SDValue performFSubCombine(SDNode *N, DAGCombinerInfo &DCI) const;
1980b57cec5SDimitry Andric   SDValue performFMACombine(SDNode *N, DAGCombinerInfo &DCI) const;
1990b57cec5SDimitry Andric   SDValue performSetCCCombine(SDNode *N, DAGCombinerInfo &DCI) const;
2000b57cec5SDimitry Andric   SDValue performCvtF32UByteNCombine(SDNode *N, DAGCombinerInfo &DCI) const;
2010b57cec5SDimitry Andric   SDValue performClampCombine(SDNode *N, DAGCombinerInfo &DCI) const;
2020b57cec5SDimitry Andric   SDValue performRcpCombine(SDNode *N, DAGCombinerInfo &DCI) const;
2030b57cec5SDimitry Andric 
2040b57cec5SDimitry Andric   bool isLegalFlatAddressingMode(const AddrMode &AM) const;
2050b57cec5SDimitry Andric   bool isLegalMUBUFAddressingMode(const AddrMode &AM) const;
2060b57cec5SDimitry Andric 
2070b57cec5SDimitry Andric   unsigned isCFIntrinsic(const SDNode *Intr) const;
2080b57cec5SDimitry Andric 
2098bcb0991SDimitry Andric public:
2100b57cec5SDimitry Andric   /// \returns True if fixup needs to be emitted for given global value \p GV,
2110b57cec5SDimitry Andric   /// false otherwise.
2120b57cec5SDimitry Andric   bool shouldEmitFixup(const GlobalValue *GV) const;
2130b57cec5SDimitry Andric 
2140b57cec5SDimitry Andric   /// \returns True if GOT relocation needs to be emitted for given global value
2150b57cec5SDimitry Andric   /// \p GV, false otherwise.
2160b57cec5SDimitry Andric   bool shouldEmitGOTReloc(const GlobalValue *GV) const;
2170b57cec5SDimitry Andric 
2180b57cec5SDimitry Andric   /// \returns True if PC-relative relocation needs to be emitted for given
2190b57cec5SDimitry Andric   /// global value \p GV, false otherwise.
2200b57cec5SDimitry Andric   bool shouldEmitPCReloc(const GlobalValue *GV) const;
2210b57cec5SDimitry Andric 
2225ffd83dbSDimitry Andric   /// \returns true if this should use a literal constant for an LDS address,
2235ffd83dbSDimitry Andric   /// and not emit a relocation for an LDS global.
2245ffd83dbSDimitry Andric   bool shouldUseLDSConstAddress(const GlobalValue *GV) const;
2255ffd83dbSDimitry Andric 
2265ffd83dbSDimitry Andric   /// Check if EXTRACT_VECTOR_ELT/INSERT_VECTOR_ELT (<n x e>, var-idx) should be
2275ffd83dbSDimitry Andric   /// expanded into a set of cmp/select instructions.
2285ffd83dbSDimitry Andric   static bool shouldExpandVectorDynExt(unsigned EltSize, unsigned NumElem,
2295ffd83dbSDimitry Andric                                        bool IsDivergentIdx);
2305ffd83dbSDimitry Andric 
2318bcb0991SDimitry Andric private:
2320b57cec5SDimitry Andric   // Analyze a combined offset from an amdgcn_buffer_ intrinsic and store the
2330b57cec5SDimitry Andric   // three offsets (voffset, soffset and instoffset) into the SDValue[3] array
2340b57cec5SDimitry Andric   // pointed to by Offsets.
235fe6060f1SDimitry Andric   void setBufferOffsets(SDValue CombinedOffset, SelectionDAG &DAG,
2365ffd83dbSDimitry Andric                         SDValue *Offsets, Align Alignment = Align(4)) const;
2370b57cec5SDimitry Andric 
2380b57cec5SDimitry Andric   // Handle 8 bit and 16 bit buffer loads
2390b57cec5SDimitry Andric   SDValue handleByteShortBufferLoads(SelectionDAG &DAG, EVT LoadVT, SDLoc DL,
2400b57cec5SDimitry Andric                                      ArrayRef<SDValue> Ops, MemSDNode *M) const;
2410b57cec5SDimitry Andric 
2420b57cec5SDimitry Andric   // Handle 8 bit and 16 bit buffer stores
2430b57cec5SDimitry Andric   SDValue handleByteShortBufferStores(SelectionDAG &DAG, EVT VDataType,
2440b57cec5SDimitry Andric                                       SDLoc DL, SDValue Ops[],
2450b57cec5SDimitry Andric                                       MemSDNode *M) const;
2460b57cec5SDimitry Andric 
2470b57cec5SDimitry Andric public:
2480b57cec5SDimitry Andric   SITargetLowering(const TargetMachine &tm, const GCNSubtarget &STI);
2490b57cec5SDimitry Andric 
2500b57cec5SDimitry Andric   const GCNSubtarget *getSubtarget() const;
2510b57cec5SDimitry Andric 
252480093f4SDimitry Andric   bool isFPExtFoldable(const SelectionDAG &DAG, unsigned Opcode, EVT DestVT,
253480093f4SDimitry Andric                        EVT SrcVT) const override;
2540b57cec5SDimitry Andric 
2550b57cec5SDimitry Andric   bool isShuffleMaskLegal(ArrayRef<int> /*Mask*/, EVT /*VT*/) const override;
2560b57cec5SDimitry Andric 
2570b57cec5SDimitry Andric   bool getTgtMemIntrinsic(IntrinsicInfo &, const CallInst &,
2580b57cec5SDimitry Andric                           MachineFunction &MF,
2590b57cec5SDimitry Andric                           unsigned IntrinsicID) const override;
2600b57cec5SDimitry Andric 
2610b57cec5SDimitry Andric   bool getAddrModeArguments(IntrinsicInst * /*I*/,
2620b57cec5SDimitry Andric                             SmallVectorImpl<Value*> &/*Ops*/,
2630b57cec5SDimitry Andric                             Type *&/*AccessTy*/) const override;
2640b57cec5SDimitry Andric 
2650b57cec5SDimitry Andric   bool isLegalGlobalAddressingMode(const AddrMode &AM) const;
2660b57cec5SDimitry Andric   bool isLegalAddressingMode(const DataLayout &DL, const AddrMode &AM, Type *Ty,
2670b57cec5SDimitry Andric                              unsigned AS,
2680b57cec5SDimitry Andric                              Instruction *I = nullptr) const override;
2690b57cec5SDimitry Andric 
2700b57cec5SDimitry Andric   bool canMergeStoresTo(unsigned AS, EVT MemVT,
271*349cc55cSDimitry Andric                         const MachineFunction &MF) const override;
2720b57cec5SDimitry Andric 
2738bcb0991SDimitry Andric   bool allowsMisalignedMemoryAccessesImpl(
274e8d8bef9SDimitry Andric       unsigned Size, unsigned AddrSpace, Align Alignment,
2758bcb0991SDimitry Andric       MachineMemOperand::Flags Flags = MachineMemOperand::MONone,
2768bcb0991SDimitry Andric       bool *IsFast = nullptr) const;
2778bcb0991SDimitry Andric 
2780b57cec5SDimitry Andric   bool allowsMisalignedMemoryAccesses(
279e8d8bef9SDimitry Andric       LLT Ty, unsigned AddrSpace, Align Alignment,
280e8d8bef9SDimitry Andric       MachineMemOperand::Flags Flags = MachineMemOperand::MONone,
281e8d8bef9SDimitry Andric       bool *IsFast = nullptr) const override {
282e8d8bef9SDimitry Andric     if (IsFast)
283e8d8bef9SDimitry Andric       *IsFast = false;
284e8d8bef9SDimitry Andric     return allowsMisalignedMemoryAccessesImpl(Ty.getSizeInBits(), AddrSpace,
285e8d8bef9SDimitry Andric                                               Alignment, Flags, IsFast);
286e8d8bef9SDimitry Andric   }
287e8d8bef9SDimitry Andric 
288e8d8bef9SDimitry Andric   bool allowsMisalignedMemoryAccesses(
289fe6060f1SDimitry Andric       EVT VT, unsigned AS, Align Alignment,
2900b57cec5SDimitry Andric       MachineMemOperand::Flags Flags = MachineMemOperand::MONone,
2910b57cec5SDimitry Andric       bool *IsFast = nullptr) const override;
2920b57cec5SDimitry Andric 
2935ffd83dbSDimitry Andric   EVT getOptimalMemOpType(const MemOp &Op,
2940b57cec5SDimitry Andric                           const AttributeList &FuncAttributes) const override;
2950b57cec5SDimitry Andric 
2960b57cec5SDimitry Andric   bool isMemOpUniform(const SDNode *N) const;
2970b57cec5SDimitry Andric   bool isMemOpHasNoClobberedMemOperand(const SDNode *N) const;
298480093f4SDimitry Andric 
299e8d8bef9SDimitry Andric   static bool isNonGlobalAddrSpace(unsigned AS);
3005ffd83dbSDimitry Andric 
3010b57cec5SDimitry Andric   bool isFreeAddrSpaceCast(unsigned SrcAS, unsigned DestAS) const override;
3020b57cec5SDimitry Andric 
3030b57cec5SDimitry Andric   TargetLoweringBase::LegalizeTypeAction
3040b57cec5SDimitry Andric   getPreferredVectorAction(MVT VT) const override;
3050b57cec5SDimitry Andric 
3060b57cec5SDimitry Andric   bool shouldConvertConstantLoadToIntImm(const APInt &Imm,
3070b57cec5SDimitry Andric                                         Type *Ty) const override;
3080b57cec5SDimitry Andric 
3090b57cec5SDimitry Andric   bool isTypeDesirableForOp(unsigned Op, EVT VT) const override;
3100b57cec5SDimitry Andric 
3110b57cec5SDimitry Andric   bool isOffsetFoldingLegal(const GlobalAddressSDNode *GA) const override;
3120b57cec5SDimitry Andric 
3130b57cec5SDimitry Andric   bool supportSplitCSR(MachineFunction *MF) const override;
3140b57cec5SDimitry Andric   void initializeSplitCSR(MachineBasicBlock *Entry) const override;
3150b57cec5SDimitry Andric   void insertCopiesSplitCSR(
3160b57cec5SDimitry Andric     MachineBasicBlock *Entry,
3170b57cec5SDimitry Andric     const SmallVectorImpl<MachineBasicBlock *> &Exits) const override;
3180b57cec5SDimitry Andric 
3190b57cec5SDimitry Andric   SDValue LowerFormalArguments(SDValue Chain, CallingConv::ID CallConv,
3200b57cec5SDimitry Andric                                bool isVarArg,
3210b57cec5SDimitry Andric                                const SmallVectorImpl<ISD::InputArg> &Ins,
3220b57cec5SDimitry Andric                                const SDLoc &DL, SelectionDAG &DAG,
3230b57cec5SDimitry Andric                                SmallVectorImpl<SDValue> &InVals) const override;
3240b57cec5SDimitry Andric 
3250b57cec5SDimitry Andric   bool CanLowerReturn(CallingConv::ID CallConv,
3260b57cec5SDimitry Andric                       MachineFunction &MF, bool isVarArg,
3270b57cec5SDimitry Andric                       const SmallVectorImpl<ISD::OutputArg> &Outs,
3280b57cec5SDimitry Andric                       LLVMContext &Context) const override;
3290b57cec5SDimitry Andric 
3300b57cec5SDimitry Andric   SDValue LowerReturn(SDValue Chain, CallingConv::ID CallConv, bool IsVarArg,
3310b57cec5SDimitry Andric                       const SmallVectorImpl<ISD::OutputArg> &Outs,
3320b57cec5SDimitry Andric                       const SmallVectorImpl<SDValue> &OutVals, const SDLoc &DL,
3330b57cec5SDimitry Andric                       SelectionDAG &DAG) const override;
3340b57cec5SDimitry Andric 
3350b57cec5SDimitry Andric   void passSpecialInputs(
3360b57cec5SDimitry Andric     CallLoweringInfo &CLI,
3370b57cec5SDimitry Andric     CCState &CCInfo,
3380b57cec5SDimitry Andric     const SIMachineFunctionInfo &Info,
3390b57cec5SDimitry Andric     SmallVectorImpl<std::pair<unsigned, SDValue>> &RegsToPass,
3400b57cec5SDimitry Andric     SmallVectorImpl<SDValue> &MemOpChains,
3410b57cec5SDimitry Andric     SDValue Chain) const;
3420b57cec5SDimitry Andric 
3430b57cec5SDimitry Andric   SDValue LowerCallResult(SDValue Chain, SDValue InFlag,
3440b57cec5SDimitry Andric                           CallingConv::ID CallConv, bool isVarArg,
3450b57cec5SDimitry Andric                           const SmallVectorImpl<ISD::InputArg> &Ins,
3460b57cec5SDimitry Andric                           const SDLoc &DL, SelectionDAG &DAG,
3470b57cec5SDimitry Andric                           SmallVectorImpl<SDValue> &InVals, bool isThisReturn,
3480b57cec5SDimitry Andric                           SDValue ThisVal) const;
3490b57cec5SDimitry Andric 
3500b57cec5SDimitry Andric   bool mayBeEmittedAsTailCall(const CallInst *) const override;
3510b57cec5SDimitry Andric 
3520b57cec5SDimitry Andric   bool isEligibleForTailCallOptimization(
3530b57cec5SDimitry Andric     SDValue Callee, CallingConv::ID CalleeCC, bool isVarArg,
3540b57cec5SDimitry Andric     const SmallVectorImpl<ISD::OutputArg> &Outs,
3550b57cec5SDimitry Andric     const SmallVectorImpl<SDValue> &OutVals,
3560b57cec5SDimitry Andric     const SmallVectorImpl<ISD::InputArg> &Ins, SelectionDAG &DAG) const;
3570b57cec5SDimitry Andric 
3580b57cec5SDimitry Andric   SDValue LowerCall(CallLoweringInfo &CLI,
3590b57cec5SDimitry Andric                     SmallVectorImpl<SDValue> &InVals) const override;
3600b57cec5SDimitry Andric 
3615ffd83dbSDimitry Andric   SDValue lowerDYNAMIC_STACKALLOCImpl(SDValue Op, SelectionDAG &DAG) const;
3625ffd83dbSDimitry Andric   SDValue LowerDYNAMIC_STACKALLOC(SDValue Op, SelectionDAG &DAG) const;
3635ffd83dbSDimitry Andric 
364480093f4SDimitry Andric   Register getRegisterByName(const char* RegName, LLT VT,
3658bcb0991SDimitry Andric                              const MachineFunction &MF) const override;
3660b57cec5SDimitry Andric 
3670b57cec5SDimitry Andric   MachineBasicBlock *splitKillBlock(MachineInstr &MI,
3680b57cec5SDimitry Andric                                     MachineBasicBlock *BB) const;
3690b57cec5SDimitry Andric 
3708bcb0991SDimitry Andric   void bundleInstWithWaitcnt(MachineInstr &MI) const;
3710b57cec5SDimitry Andric   MachineBasicBlock *emitGWSMemViolTestLoop(MachineInstr &MI,
3720b57cec5SDimitry Andric                                             MachineBasicBlock *BB) const;
3730b57cec5SDimitry Andric 
3740b57cec5SDimitry Andric   MachineBasicBlock *
3750b57cec5SDimitry Andric   EmitInstrWithCustomInserter(MachineInstr &MI,
3760b57cec5SDimitry Andric                               MachineBasicBlock *BB) const override;
3770b57cec5SDimitry Andric 
3780b57cec5SDimitry Andric   bool hasBitPreservingFPLogic(EVT VT) const override;
3790b57cec5SDimitry Andric   bool enableAggressiveFMAFusion(EVT VT) const override;
3800b57cec5SDimitry Andric   EVT getSetCCResultType(const DataLayout &DL, LLVMContext &Context,
3810b57cec5SDimitry Andric                          EVT VT) const override;
3820b57cec5SDimitry Andric   MVT getScalarShiftAmountTy(const DataLayout &, EVT) const override;
383e8d8bef9SDimitry Andric   LLT getPreferredShiftAmountTy(LLT Ty) const override;
384e8d8bef9SDimitry Andric 
385480093f4SDimitry Andric   bool isFMAFasterThanFMulAndFAdd(const MachineFunction &MF,
386480093f4SDimitry Andric                                   EVT VT) const override;
3875ffd83dbSDimitry Andric   bool isFMADLegal(const SelectionDAG &DAG, const SDNode *N) const override;
388480093f4SDimitry Andric 
3890b57cec5SDimitry Andric   SDValue splitUnaryVectorOp(SDValue Op, SelectionDAG &DAG) const;
3900b57cec5SDimitry Andric   SDValue splitBinaryVectorOp(SDValue Op, SelectionDAG &DAG) const;
3918bcb0991SDimitry Andric   SDValue splitTernaryVectorOp(SDValue Op, SelectionDAG &DAG) const;
3920b57cec5SDimitry Andric   SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const override;
3930b57cec5SDimitry Andric 
3940b57cec5SDimitry Andric   void ReplaceNodeResults(SDNode *N, SmallVectorImpl<SDValue> &Results,
3950b57cec5SDimitry Andric                           SelectionDAG &DAG) const override;
3960b57cec5SDimitry Andric 
3970b57cec5SDimitry Andric   SDValue PerformDAGCombine(SDNode *N, DAGCombinerInfo &DCI) const override;
3980b57cec5SDimitry Andric   SDNode *PostISelFolding(MachineSDNode *N, SelectionDAG &DAG) const override;
399fe6060f1SDimitry Andric   void AddIMGInit(MachineInstr &MI) const;
4000b57cec5SDimitry Andric   void AdjustInstrPostInstrSelection(MachineInstr &MI,
4010b57cec5SDimitry Andric                                      SDNode *Node) const override;
4020b57cec5SDimitry Andric 
4030b57cec5SDimitry Andric   SDNode *legalizeTargetIndependentNode(SDNode *Node, SelectionDAG &DAG) const;
4040b57cec5SDimitry Andric 
4050b57cec5SDimitry Andric   MachineSDNode *wrapAddr64Rsrc(SelectionDAG &DAG, const SDLoc &DL,
4060b57cec5SDimitry Andric                                 SDValue Ptr) const;
4070b57cec5SDimitry Andric   MachineSDNode *buildRSRC(SelectionDAG &DAG, const SDLoc &DL, SDValue Ptr,
4080b57cec5SDimitry Andric                            uint32_t RsrcDword1, uint64_t RsrcDword2And3) const;
4090b57cec5SDimitry Andric   std::pair<unsigned, const TargetRegisterClass *>
4100b57cec5SDimitry Andric   getRegForInlineAsmConstraint(const TargetRegisterInfo *TRI,
4110b57cec5SDimitry Andric                                StringRef Constraint, MVT VT) const override;
4120b57cec5SDimitry Andric   ConstraintType getConstraintType(StringRef Constraint) const override;
4135ffd83dbSDimitry Andric   void LowerAsmOperandForConstraint(SDValue Op,
4145ffd83dbSDimitry Andric                                     std::string &Constraint,
4155ffd83dbSDimitry Andric                                     std::vector<SDValue> &Ops,
4165ffd83dbSDimitry Andric                                     SelectionDAG &DAG) const override;
4175ffd83dbSDimitry Andric   bool getAsmOperandConstVal(SDValue Op, uint64_t &Val) const;
4185ffd83dbSDimitry Andric   bool checkAsmConstraintVal(SDValue Op,
4195ffd83dbSDimitry Andric                              const std::string &Constraint,
4205ffd83dbSDimitry Andric                              uint64_t Val) const;
4215ffd83dbSDimitry Andric   bool checkAsmConstraintValA(SDValue Op,
4225ffd83dbSDimitry Andric                               uint64_t Val,
4235ffd83dbSDimitry Andric                               unsigned MaxSize = 64) const;
4240b57cec5SDimitry Andric   SDValue copyToM0(SelectionDAG &DAG, SDValue Chain, const SDLoc &DL,
4250b57cec5SDimitry Andric                    SDValue V) const;
4260b57cec5SDimitry Andric 
4270b57cec5SDimitry Andric   void finalizeLowering(MachineFunction &MF) const override;
4280b57cec5SDimitry Andric 
4295ffd83dbSDimitry Andric   void computeKnownBitsForFrameIndex(int FrameIdx,
4300b57cec5SDimitry Andric                                      KnownBits &Known,
4315ffd83dbSDimitry Andric                                      const MachineFunction &MF) const override;
432e8d8bef9SDimitry Andric   void computeKnownBitsForTargetInstr(GISelKnownBits &Analysis, Register R,
433e8d8bef9SDimitry Andric                                       KnownBits &Known,
434e8d8bef9SDimitry Andric                                       const APInt &DemandedElts,
435e8d8bef9SDimitry Andric                                       const MachineRegisterInfo &MRI,
436e8d8bef9SDimitry Andric                                       unsigned Depth = 0) const override;
4370b57cec5SDimitry Andric 
4385ffd83dbSDimitry Andric   Align computeKnownAlignForTargetInstr(GISelKnownBits &Analysis, Register R,
4395ffd83dbSDimitry Andric                                         const MachineRegisterInfo &MRI,
4405ffd83dbSDimitry Andric                                         unsigned Depth = 0) const override;
4410b57cec5SDimitry Andric   bool isSDNodeSourceOfDivergence(const SDNode *N,
4420b57cec5SDimitry Andric     FunctionLoweringInfo *FLI, LegacyDivergenceAnalysis *DA) const override;
4430b57cec5SDimitry Andric 
4440b57cec5SDimitry Andric   bool isCanonicalized(SelectionDAG &DAG, SDValue Op,
4450b57cec5SDimitry Andric                        unsigned MaxDepth = 5) const;
446fe6060f1SDimitry Andric   bool isCanonicalized(Register Reg, MachineFunction &MF,
447fe6060f1SDimitry Andric                        unsigned MaxDepth = 5) const;
448480093f4SDimitry Andric   bool denormalsEnabledForType(const SelectionDAG &DAG, EVT VT) const;
449fe6060f1SDimitry Andric   bool denormalsEnabledForType(LLT Ty, MachineFunction &MF) const;
4500b57cec5SDimitry Andric 
4510b57cec5SDimitry Andric   bool isKnownNeverNaNForTargetNode(SDValue Op,
4520b57cec5SDimitry Andric                                     const SelectionDAG &DAG,
4530b57cec5SDimitry Andric                                     bool SNaN = false,
4540b57cec5SDimitry Andric                                     unsigned Depth = 0) const override;
4550b57cec5SDimitry Andric   AtomicExpansionKind shouldExpandAtomicRMWInIR(AtomicRMWInst *) const override;
4560b57cec5SDimitry Andric 
4578bcb0991SDimitry Andric   virtual const TargetRegisterClass *
4588bcb0991SDimitry Andric   getRegClassFor(MVT VT, bool isDivergent) const override;
4598bcb0991SDimitry Andric   virtual bool requiresUniformRegister(MachineFunction &MF,
4608bcb0991SDimitry Andric                                        const Value *V) const override;
4618bcb0991SDimitry Andric   Align getPrefLoopAlignment(MachineLoop *ML) const override;
4628bcb0991SDimitry Andric 
4638bcb0991SDimitry Andric   void allocateHSAUserSGPRs(CCState &CCInfo,
4648bcb0991SDimitry Andric                             MachineFunction &MF,
4658bcb0991SDimitry Andric                             const SIRegisterInfo &TRI,
4668bcb0991SDimitry Andric                             SIMachineFunctionInfo &Info) const;
4678bcb0991SDimitry Andric 
4688bcb0991SDimitry Andric   void allocateSystemSGPRs(CCState &CCInfo,
4698bcb0991SDimitry Andric                            MachineFunction &MF,
4708bcb0991SDimitry Andric                            SIMachineFunctionInfo &Info,
4718bcb0991SDimitry Andric                            CallingConv::ID CallConv,
4728bcb0991SDimitry Andric                            bool IsShader) const;
4738bcb0991SDimitry Andric 
4748bcb0991SDimitry Andric   void allocateSpecialEntryInputVGPRs(CCState &CCInfo,
4758bcb0991SDimitry Andric                                       MachineFunction &MF,
4768bcb0991SDimitry Andric                                       const SIRegisterInfo &TRI,
4778bcb0991SDimitry Andric                                       SIMachineFunctionInfo &Info) const;
4788bcb0991SDimitry Andric   void allocateSpecialInputSGPRs(
4798bcb0991SDimitry Andric     CCState &CCInfo,
4808bcb0991SDimitry Andric     MachineFunction &MF,
4818bcb0991SDimitry Andric     const SIRegisterInfo &TRI,
4828bcb0991SDimitry Andric     SIMachineFunctionInfo &Info) const;
4838bcb0991SDimitry Andric 
4848bcb0991SDimitry Andric   void allocateSpecialInputVGPRs(CCState &CCInfo,
4858bcb0991SDimitry Andric                                  MachineFunction &MF,
4868bcb0991SDimitry Andric                                  const SIRegisterInfo &TRI,
4878bcb0991SDimitry Andric                                  SIMachineFunctionInfo &Info) const;
4885ffd83dbSDimitry Andric   void allocateSpecialInputVGPRsFixed(CCState &CCInfo,
4895ffd83dbSDimitry Andric                                       MachineFunction &MF,
4905ffd83dbSDimitry Andric                                       const SIRegisterInfo &TRI,
4915ffd83dbSDimitry Andric                                       SIMachineFunctionInfo &Info) const;
4925ffd83dbSDimitry Andric 
493fe6060f1SDimitry Andric   std::pair<InstructionCost, MVT> getTypeLegalizationCost(const DataLayout &DL,
4945ffd83dbSDimitry Andric                                                           Type *Ty) const;
4950b57cec5SDimitry Andric };
4960b57cec5SDimitry Andric 
4970b57cec5SDimitry Andric } // End namespace llvm
4980b57cec5SDimitry Andric 
4990b57cec5SDimitry Andric #endif
500