xref: /freebsd/contrib/llvm-project/llvm/lib/Target/AMDGPU/SIISelLowering.h (revision 04eeddc0aa8e0a417a16eaf9d7d095207f4a8623)
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"
19349cc55cSDimitry 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;
1384824e7fdSDimitry Andric   SDValue lowerXMUL_LOHI(SDValue Op, SelectionDAG &DAG) const;
1390b57cec5SDimitry Andric 
1400b57cec5SDimitry Andric   SDValue getSegmentAperture(unsigned AS, const SDLoc &DL,
1410b57cec5SDimitry Andric                              SelectionDAG &DAG) const;
1420b57cec5SDimitry Andric 
1430b57cec5SDimitry Andric   SDValue lowerADDRSPACECAST(SDValue Op, SelectionDAG &DAG) const;
1440b57cec5SDimitry Andric   SDValue lowerINSERT_SUBVECTOR(SDValue Op, SelectionDAG &DAG) const;
1450b57cec5SDimitry Andric   SDValue lowerINSERT_VECTOR_ELT(SDValue Op, SelectionDAG &DAG) const;
1460b57cec5SDimitry Andric   SDValue lowerEXTRACT_VECTOR_ELT(SDValue Op, SelectionDAG &DAG) const;
1470b57cec5SDimitry Andric   SDValue lowerVECTOR_SHUFFLE(SDValue Op, SelectionDAG &DAG) const;
1480b57cec5SDimitry Andric   SDValue lowerBUILD_VECTOR(SDValue Op, SelectionDAG &DAG) const;
149fe6060f1SDimitry Andric 
1500b57cec5SDimitry Andric   SDValue lowerTRAP(SDValue Op, SelectionDAG &DAG) const;
151fe6060f1SDimitry Andric   SDValue lowerTrapEndpgm(SDValue Op, SelectionDAG &DAG) const;
152fe6060f1SDimitry Andric   SDValue lowerTrapHsaQueuePtr(SDValue Op, SelectionDAG &DAG) const;
153fe6060f1SDimitry Andric   SDValue lowerTrapHsa(SDValue Op, SelectionDAG &DAG) const;
1540b57cec5SDimitry Andric   SDValue lowerDEBUGTRAP(SDValue Op, SelectionDAG &DAG) const;
1550b57cec5SDimitry Andric 
1560b57cec5SDimitry Andric   SDNode *adjustWritemask(MachineSDNode *&N, SelectionDAG &DAG) const;
1570b57cec5SDimitry Andric 
1580b57cec5SDimitry Andric   SDValue performUCharToFloatCombine(SDNode *N,
1590b57cec5SDimitry Andric                                      DAGCombinerInfo &DCI) const;
1600b57cec5SDimitry Andric   SDValue performSHLPtrCombine(SDNode *N,
1610b57cec5SDimitry Andric                                unsigned AS,
1620b57cec5SDimitry Andric                                EVT MemVT,
1630b57cec5SDimitry Andric                                DAGCombinerInfo &DCI) const;
1640b57cec5SDimitry Andric 
1650b57cec5SDimitry Andric   SDValue performMemSDNodeCombine(MemSDNode *N, DAGCombinerInfo &DCI) const;
1660b57cec5SDimitry Andric 
1670b57cec5SDimitry Andric   SDValue splitBinaryBitConstantOp(DAGCombinerInfo &DCI, const SDLoc &SL,
1680b57cec5SDimitry Andric                                    unsigned Opc, SDValue LHS,
1690b57cec5SDimitry Andric                                    const ConstantSDNode *CRHS) const;
1700b57cec5SDimitry Andric 
1710b57cec5SDimitry Andric   SDValue performAndCombine(SDNode *N, DAGCombinerInfo &DCI) const;
1720b57cec5SDimitry Andric   SDValue performOrCombine(SDNode *N, DAGCombinerInfo &DCI) const;
1730b57cec5SDimitry Andric   SDValue performXorCombine(SDNode *N, DAGCombinerInfo &DCI) const;
1740b57cec5SDimitry Andric   SDValue performZeroExtendCombine(SDNode *N, DAGCombinerInfo &DCI) const;
1750b57cec5SDimitry Andric   SDValue performSignExtendInRegCombine(SDNode *N, DAGCombinerInfo &DCI) const;
1760b57cec5SDimitry Andric   SDValue performClassCombine(SDNode *N, DAGCombinerInfo &DCI) const;
1770b57cec5SDimitry Andric   SDValue getCanonicalConstantFP(SelectionDAG &DAG, const SDLoc &SL, EVT VT,
1780b57cec5SDimitry Andric                                  const APFloat &C) const;
1790b57cec5SDimitry Andric   SDValue performFCanonicalizeCombine(SDNode *N, DAGCombinerInfo &DCI) const;
1800b57cec5SDimitry Andric 
1810b57cec5SDimitry Andric   SDValue performFPMed3ImmCombine(SelectionDAG &DAG, const SDLoc &SL,
1820b57cec5SDimitry Andric                                   SDValue Op0, SDValue Op1) const;
1830b57cec5SDimitry Andric   SDValue performIntMed3ImmCombine(SelectionDAG &DAG, const SDLoc &SL,
1840b57cec5SDimitry Andric                                    SDValue Op0, SDValue Op1, bool Signed) const;
1850b57cec5SDimitry Andric   SDValue performMinMaxCombine(SDNode *N, DAGCombinerInfo &DCI) const;
1860b57cec5SDimitry Andric   SDValue performFMed3Combine(SDNode *N, DAGCombinerInfo &DCI) const;
1870b57cec5SDimitry Andric   SDValue performCvtPkRTZCombine(SDNode *N, DAGCombinerInfo &DCI) const;
1880b57cec5SDimitry Andric   SDValue performExtractVectorEltCombine(SDNode *N, DAGCombinerInfo &DCI) const;
1890b57cec5SDimitry Andric   SDValue performInsertVectorEltCombine(SDNode *N, DAGCombinerInfo &DCI) const;
1900b57cec5SDimitry Andric 
1910b57cec5SDimitry Andric   SDValue reassociateScalarOps(SDNode *N, SelectionDAG &DAG) const;
1920b57cec5SDimitry Andric   unsigned getFusedOpcode(const SelectionDAG &DAG,
1930b57cec5SDimitry Andric                           const SDNode *N0, const SDNode *N1) const;
1940b57cec5SDimitry Andric   SDValue performAddCombine(SDNode *N, DAGCombinerInfo &DCI) const;
1950b57cec5SDimitry Andric   SDValue performAddCarrySubCarryCombine(SDNode *N, DAGCombinerInfo &DCI) const;
1960b57cec5SDimitry Andric   SDValue performSubCombine(SDNode *N, DAGCombinerInfo &DCI) const;
1970b57cec5SDimitry Andric   SDValue performFAddCombine(SDNode *N, DAGCombinerInfo &DCI) const;
1980b57cec5SDimitry Andric   SDValue performFSubCombine(SDNode *N, DAGCombinerInfo &DCI) const;
1990b57cec5SDimitry Andric   SDValue performFMACombine(SDNode *N, DAGCombinerInfo &DCI) const;
2000b57cec5SDimitry Andric   SDValue performSetCCCombine(SDNode *N, DAGCombinerInfo &DCI) const;
2010b57cec5SDimitry Andric   SDValue performCvtF32UByteNCombine(SDNode *N, DAGCombinerInfo &DCI) const;
2020b57cec5SDimitry Andric   SDValue performClampCombine(SDNode *N, DAGCombinerInfo &DCI) const;
2030b57cec5SDimitry Andric   SDValue performRcpCombine(SDNode *N, DAGCombinerInfo &DCI) const;
2040b57cec5SDimitry Andric 
2050b57cec5SDimitry Andric   bool isLegalFlatAddressingMode(const AddrMode &AM) const;
2060b57cec5SDimitry Andric   bool isLegalMUBUFAddressingMode(const AddrMode &AM) const;
2070b57cec5SDimitry Andric 
2080b57cec5SDimitry Andric   unsigned isCFIntrinsic(const SDNode *Intr) const;
2090b57cec5SDimitry Andric 
2108bcb0991SDimitry Andric public:
2110b57cec5SDimitry Andric   /// \returns True if fixup needs to be emitted for given global value \p GV,
2120b57cec5SDimitry Andric   /// false otherwise.
2130b57cec5SDimitry Andric   bool shouldEmitFixup(const GlobalValue *GV) const;
2140b57cec5SDimitry Andric 
2150b57cec5SDimitry Andric   /// \returns True if GOT relocation needs to be emitted for given global value
2160b57cec5SDimitry Andric   /// \p GV, false otherwise.
2170b57cec5SDimitry Andric   bool shouldEmitGOTReloc(const GlobalValue *GV) const;
2180b57cec5SDimitry Andric 
2190b57cec5SDimitry Andric   /// \returns True if PC-relative relocation needs to be emitted for given
2200b57cec5SDimitry Andric   /// global value \p GV, false otherwise.
2210b57cec5SDimitry Andric   bool shouldEmitPCReloc(const GlobalValue *GV) const;
2220b57cec5SDimitry Andric 
2235ffd83dbSDimitry Andric   /// \returns true if this should use a literal constant for an LDS address,
2245ffd83dbSDimitry Andric   /// and not emit a relocation for an LDS global.
2255ffd83dbSDimitry Andric   bool shouldUseLDSConstAddress(const GlobalValue *GV) const;
2265ffd83dbSDimitry Andric 
2275ffd83dbSDimitry Andric   /// Check if EXTRACT_VECTOR_ELT/INSERT_VECTOR_ELT (<n x e>, var-idx) should be
2285ffd83dbSDimitry Andric   /// expanded into a set of cmp/select instructions.
2295ffd83dbSDimitry Andric   static bool shouldExpandVectorDynExt(unsigned EltSize, unsigned NumElem,
2305ffd83dbSDimitry Andric                                        bool IsDivergentIdx);
2315ffd83dbSDimitry Andric 
2328bcb0991SDimitry Andric private:
2330b57cec5SDimitry Andric   // Analyze a combined offset from an amdgcn_buffer_ intrinsic and store the
2340b57cec5SDimitry Andric   // three offsets (voffset, soffset and instoffset) into the SDValue[3] array
2350b57cec5SDimitry Andric   // pointed to by Offsets.
236fe6060f1SDimitry Andric   void setBufferOffsets(SDValue CombinedOffset, SelectionDAG &DAG,
2375ffd83dbSDimitry Andric                         SDValue *Offsets, Align Alignment = Align(4)) const;
2380b57cec5SDimitry Andric 
2390b57cec5SDimitry Andric   // Handle 8 bit and 16 bit buffer loads
2400b57cec5SDimitry Andric   SDValue handleByteShortBufferLoads(SelectionDAG &DAG, EVT LoadVT, SDLoc DL,
2410b57cec5SDimitry Andric                                      ArrayRef<SDValue> Ops, MemSDNode *M) const;
2420b57cec5SDimitry Andric 
2430b57cec5SDimitry Andric   // Handle 8 bit and 16 bit buffer stores
2440b57cec5SDimitry Andric   SDValue handleByteShortBufferStores(SelectionDAG &DAG, EVT VDataType,
2450b57cec5SDimitry Andric                                       SDLoc DL, SDValue Ops[],
2460b57cec5SDimitry Andric                                       MemSDNode *M) const;
2470b57cec5SDimitry Andric 
2480b57cec5SDimitry Andric public:
2490b57cec5SDimitry Andric   SITargetLowering(const TargetMachine &tm, const GCNSubtarget &STI);
2500b57cec5SDimitry Andric 
2510b57cec5SDimitry Andric   const GCNSubtarget *getSubtarget() const;
2520b57cec5SDimitry Andric 
253480093f4SDimitry Andric   bool isFPExtFoldable(const SelectionDAG &DAG, unsigned Opcode, EVT DestVT,
254480093f4SDimitry Andric                        EVT SrcVT) const override;
2550b57cec5SDimitry Andric 
2564824e7fdSDimitry Andric   bool isFPExtFoldable(const MachineInstr &MI, unsigned Opcode, LLT DestTy,
2574824e7fdSDimitry Andric                        LLT SrcTy) const override;
2584824e7fdSDimitry Andric 
2590b57cec5SDimitry Andric   bool isShuffleMaskLegal(ArrayRef<int> /*Mask*/, EVT /*VT*/) const override;
2600b57cec5SDimitry Andric 
2610b57cec5SDimitry Andric   bool getTgtMemIntrinsic(IntrinsicInfo &, const CallInst &,
2620b57cec5SDimitry Andric                           MachineFunction &MF,
2630b57cec5SDimitry Andric                           unsigned IntrinsicID) const override;
2640b57cec5SDimitry Andric 
2650b57cec5SDimitry Andric   bool getAddrModeArguments(IntrinsicInst * /*I*/,
2660b57cec5SDimitry Andric                             SmallVectorImpl<Value*> &/*Ops*/,
2670b57cec5SDimitry Andric                             Type *&/*AccessTy*/) const override;
2680b57cec5SDimitry Andric 
2690b57cec5SDimitry Andric   bool isLegalGlobalAddressingMode(const AddrMode &AM) const;
2700b57cec5SDimitry Andric   bool isLegalAddressingMode(const DataLayout &DL, const AddrMode &AM, Type *Ty,
2710b57cec5SDimitry Andric                              unsigned AS,
2720b57cec5SDimitry Andric                              Instruction *I = nullptr) const override;
2730b57cec5SDimitry Andric 
2740b57cec5SDimitry Andric   bool canMergeStoresTo(unsigned AS, EVT MemVT,
275349cc55cSDimitry Andric                         const MachineFunction &MF) const override;
2760b57cec5SDimitry Andric 
2778bcb0991SDimitry Andric   bool allowsMisalignedMemoryAccessesImpl(
278e8d8bef9SDimitry Andric       unsigned Size, unsigned AddrSpace, Align Alignment,
2798bcb0991SDimitry Andric       MachineMemOperand::Flags Flags = MachineMemOperand::MONone,
2808bcb0991SDimitry Andric       bool *IsFast = nullptr) const;
2818bcb0991SDimitry Andric 
2820b57cec5SDimitry Andric   bool allowsMisalignedMemoryAccesses(
283e8d8bef9SDimitry Andric       LLT Ty, unsigned AddrSpace, Align Alignment,
284e8d8bef9SDimitry Andric       MachineMemOperand::Flags Flags = MachineMemOperand::MONone,
285e8d8bef9SDimitry Andric       bool *IsFast = nullptr) const override {
286e8d8bef9SDimitry Andric     if (IsFast)
287e8d8bef9SDimitry Andric       *IsFast = false;
288e8d8bef9SDimitry Andric     return allowsMisalignedMemoryAccessesImpl(Ty.getSizeInBits(), AddrSpace,
289e8d8bef9SDimitry Andric                                               Alignment, Flags, IsFast);
290e8d8bef9SDimitry Andric   }
291e8d8bef9SDimitry Andric 
292e8d8bef9SDimitry Andric   bool allowsMisalignedMemoryAccesses(
293fe6060f1SDimitry Andric       EVT VT, unsigned AS, Align Alignment,
2940b57cec5SDimitry Andric       MachineMemOperand::Flags Flags = MachineMemOperand::MONone,
2950b57cec5SDimitry Andric       bool *IsFast = nullptr) const override;
2960b57cec5SDimitry Andric 
2975ffd83dbSDimitry Andric   EVT getOptimalMemOpType(const MemOp &Op,
2980b57cec5SDimitry Andric                           const AttributeList &FuncAttributes) const override;
2990b57cec5SDimitry Andric 
3000b57cec5SDimitry Andric   bool isMemOpUniform(const SDNode *N) const;
3010b57cec5SDimitry Andric   bool isMemOpHasNoClobberedMemOperand(const SDNode *N) const;
302480093f4SDimitry Andric 
303e8d8bef9SDimitry Andric   static bool isNonGlobalAddrSpace(unsigned AS);
3045ffd83dbSDimitry Andric 
3050b57cec5SDimitry Andric   bool isFreeAddrSpaceCast(unsigned SrcAS, unsigned DestAS) const override;
3060b57cec5SDimitry Andric 
3070b57cec5SDimitry Andric   TargetLoweringBase::LegalizeTypeAction
3080b57cec5SDimitry Andric   getPreferredVectorAction(MVT VT) const override;
3090b57cec5SDimitry Andric 
3100b57cec5SDimitry Andric   bool shouldConvertConstantLoadToIntImm(const APInt &Imm,
3110b57cec5SDimitry Andric                                         Type *Ty) const override;
3120b57cec5SDimitry Andric 
3130b57cec5SDimitry Andric   bool isTypeDesirableForOp(unsigned Op, EVT VT) const override;
3140b57cec5SDimitry Andric 
3150b57cec5SDimitry Andric   bool isOffsetFoldingLegal(const GlobalAddressSDNode *GA) const override;
3160b57cec5SDimitry Andric 
3170b57cec5SDimitry Andric   bool supportSplitCSR(MachineFunction *MF) const override;
3180b57cec5SDimitry Andric   void initializeSplitCSR(MachineBasicBlock *Entry) const override;
3190b57cec5SDimitry Andric   void insertCopiesSplitCSR(
3200b57cec5SDimitry Andric     MachineBasicBlock *Entry,
3210b57cec5SDimitry Andric     const SmallVectorImpl<MachineBasicBlock *> &Exits) const override;
3220b57cec5SDimitry Andric 
3230b57cec5SDimitry Andric   SDValue LowerFormalArguments(SDValue Chain, CallingConv::ID CallConv,
3240b57cec5SDimitry Andric                                bool isVarArg,
3250b57cec5SDimitry Andric                                const SmallVectorImpl<ISD::InputArg> &Ins,
3260b57cec5SDimitry Andric                                const SDLoc &DL, SelectionDAG &DAG,
3270b57cec5SDimitry Andric                                SmallVectorImpl<SDValue> &InVals) const override;
3280b57cec5SDimitry Andric 
3290b57cec5SDimitry Andric   bool CanLowerReturn(CallingConv::ID CallConv,
3300b57cec5SDimitry Andric                       MachineFunction &MF, bool isVarArg,
3310b57cec5SDimitry Andric                       const SmallVectorImpl<ISD::OutputArg> &Outs,
3320b57cec5SDimitry Andric                       LLVMContext &Context) const override;
3330b57cec5SDimitry Andric 
3340b57cec5SDimitry Andric   SDValue LowerReturn(SDValue Chain, CallingConv::ID CallConv, bool IsVarArg,
3350b57cec5SDimitry Andric                       const SmallVectorImpl<ISD::OutputArg> &Outs,
3360b57cec5SDimitry Andric                       const SmallVectorImpl<SDValue> &OutVals, const SDLoc &DL,
3370b57cec5SDimitry Andric                       SelectionDAG &DAG) const override;
3380b57cec5SDimitry Andric 
3390b57cec5SDimitry Andric   void passSpecialInputs(
3400b57cec5SDimitry Andric     CallLoweringInfo &CLI,
3410b57cec5SDimitry Andric     CCState &CCInfo,
3420b57cec5SDimitry Andric     const SIMachineFunctionInfo &Info,
3430b57cec5SDimitry Andric     SmallVectorImpl<std::pair<unsigned, SDValue>> &RegsToPass,
3440b57cec5SDimitry Andric     SmallVectorImpl<SDValue> &MemOpChains,
3450b57cec5SDimitry Andric     SDValue Chain) const;
3460b57cec5SDimitry Andric 
3470b57cec5SDimitry Andric   SDValue LowerCallResult(SDValue Chain, SDValue InFlag,
3480b57cec5SDimitry Andric                           CallingConv::ID CallConv, bool isVarArg,
3490b57cec5SDimitry Andric                           const SmallVectorImpl<ISD::InputArg> &Ins,
3500b57cec5SDimitry Andric                           const SDLoc &DL, SelectionDAG &DAG,
3510b57cec5SDimitry Andric                           SmallVectorImpl<SDValue> &InVals, bool isThisReturn,
3520b57cec5SDimitry Andric                           SDValue ThisVal) const;
3530b57cec5SDimitry Andric 
3540b57cec5SDimitry Andric   bool mayBeEmittedAsTailCall(const CallInst *) const override;
3550b57cec5SDimitry Andric 
3560b57cec5SDimitry Andric   bool isEligibleForTailCallOptimization(
3570b57cec5SDimitry Andric     SDValue Callee, CallingConv::ID CalleeCC, bool isVarArg,
3580b57cec5SDimitry Andric     const SmallVectorImpl<ISD::OutputArg> &Outs,
3590b57cec5SDimitry Andric     const SmallVectorImpl<SDValue> &OutVals,
3600b57cec5SDimitry Andric     const SmallVectorImpl<ISD::InputArg> &Ins, SelectionDAG &DAG) const;
3610b57cec5SDimitry Andric 
3620b57cec5SDimitry Andric   SDValue LowerCall(CallLoweringInfo &CLI,
3630b57cec5SDimitry Andric                     SmallVectorImpl<SDValue> &InVals) const override;
3640b57cec5SDimitry Andric 
3655ffd83dbSDimitry Andric   SDValue lowerDYNAMIC_STACKALLOCImpl(SDValue Op, SelectionDAG &DAG) const;
3665ffd83dbSDimitry Andric   SDValue LowerDYNAMIC_STACKALLOC(SDValue Op, SelectionDAG &DAG) const;
3675ffd83dbSDimitry Andric 
368480093f4SDimitry Andric   Register getRegisterByName(const char* RegName, LLT VT,
3698bcb0991SDimitry Andric                              const MachineFunction &MF) const override;
3700b57cec5SDimitry Andric 
3710b57cec5SDimitry Andric   MachineBasicBlock *splitKillBlock(MachineInstr &MI,
3720b57cec5SDimitry Andric                                     MachineBasicBlock *BB) const;
3730b57cec5SDimitry Andric 
3748bcb0991SDimitry Andric   void bundleInstWithWaitcnt(MachineInstr &MI) const;
3750b57cec5SDimitry Andric   MachineBasicBlock *emitGWSMemViolTestLoop(MachineInstr &MI,
3760b57cec5SDimitry Andric                                             MachineBasicBlock *BB) const;
3770b57cec5SDimitry Andric 
3780b57cec5SDimitry Andric   MachineBasicBlock *
3790b57cec5SDimitry Andric   EmitInstrWithCustomInserter(MachineInstr &MI,
3800b57cec5SDimitry Andric                               MachineBasicBlock *BB) const override;
3810b57cec5SDimitry Andric 
3820b57cec5SDimitry Andric   bool hasBitPreservingFPLogic(EVT VT) const override;
3830b57cec5SDimitry Andric   bool enableAggressiveFMAFusion(EVT VT) const override;
3844824e7fdSDimitry Andric   bool enableAggressiveFMAFusion(LLT Ty) const override;
3850b57cec5SDimitry Andric   EVT getSetCCResultType(const DataLayout &DL, LLVMContext &Context,
3860b57cec5SDimitry Andric                          EVT VT) const override;
3870b57cec5SDimitry Andric   MVT getScalarShiftAmountTy(const DataLayout &, EVT) const override;
388e8d8bef9SDimitry Andric   LLT getPreferredShiftAmountTy(LLT Ty) const override;
389e8d8bef9SDimitry Andric 
390480093f4SDimitry Andric   bool isFMAFasterThanFMulAndFAdd(const MachineFunction &MF,
391480093f4SDimitry Andric                                   EVT VT) const override;
3924824e7fdSDimitry Andric   bool isFMAFasterThanFMulAndFAdd(const MachineFunction &MF,
3934824e7fdSDimitry Andric                                   const LLT Ty) const override;
3945ffd83dbSDimitry Andric   bool isFMADLegal(const SelectionDAG &DAG, const SDNode *N) const override;
3954824e7fdSDimitry Andric   bool isFMADLegal(const MachineInstr &MI, const LLT Ty) const override;
396480093f4SDimitry Andric 
3970b57cec5SDimitry Andric   SDValue splitUnaryVectorOp(SDValue Op, SelectionDAG &DAG) const;
3980b57cec5SDimitry Andric   SDValue splitBinaryVectorOp(SDValue Op, SelectionDAG &DAG) const;
3998bcb0991SDimitry Andric   SDValue splitTernaryVectorOp(SDValue Op, SelectionDAG &DAG) const;
4000b57cec5SDimitry Andric   SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const override;
4010b57cec5SDimitry Andric 
4020b57cec5SDimitry Andric   void ReplaceNodeResults(SDNode *N, SmallVectorImpl<SDValue> &Results,
4030b57cec5SDimitry Andric                           SelectionDAG &DAG) const override;
4040b57cec5SDimitry Andric 
4050b57cec5SDimitry Andric   SDValue PerformDAGCombine(SDNode *N, DAGCombinerInfo &DCI) const override;
4060b57cec5SDimitry Andric   SDNode *PostISelFolding(MachineSDNode *N, SelectionDAG &DAG) const override;
407fe6060f1SDimitry Andric   void AddIMGInit(MachineInstr &MI) const;
4080b57cec5SDimitry Andric   void AdjustInstrPostInstrSelection(MachineInstr &MI,
4090b57cec5SDimitry Andric                                      SDNode *Node) const override;
4100b57cec5SDimitry Andric 
4110b57cec5SDimitry Andric   SDNode *legalizeTargetIndependentNode(SDNode *Node, SelectionDAG &DAG) const;
4120b57cec5SDimitry Andric 
4130b57cec5SDimitry Andric   MachineSDNode *wrapAddr64Rsrc(SelectionDAG &DAG, const SDLoc &DL,
4140b57cec5SDimitry Andric                                 SDValue Ptr) const;
4150b57cec5SDimitry Andric   MachineSDNode *buildRSRC(SelectionDAG &DAG, const SDLoc &DL, SDValue Ptr,
4160b57cec5SDimitry Andric                            uint32_t RsrcDword1, uint64_t RsrcDword2And3) const;
4170b57cec5SDimitry Andric   std::pair<unsigned, const TargetRegisterClass *>
4180b57cec5SDimitry Andric   getRegForInlineAsmConstraint(const TargetRegisterInfo *TRI,
4190b57cec5SDimitry Andric                                StringRef Constraint, MVT VT) const override;
4200b57cec5SDimitry Andric   ConstraintType getConstraintType(StringRef Constraint) const override;
4215ffd83dbSDimitry Andric   void LowerAsmOperandForConstraint(SDValue Op,
4225ffd83dbSDimitry Andric                                     std::string &Constraint,
4235ffd83dbSDimitry Andric                                     std::vector<SDValue> &Ops,
4245ffd83dbSDimitry Andric                                     SelectionDAG &DAG) const override;
4255ffd83dbSDimitry Andric   bool getAsmOperandConstVal(SDValue Op, uint64_t &Val) const;
4265ffd83dbSDimitry Andric   bool checkAsmConstraintVal(SDValue Op,
4275ffd83dbSDimitry Andric                              const std::string &Constraint,
4285ffd83dbSDimitry Andric                              uint64_t Val) const;
4295ffd83dbSDimitry Andric   bool checkAsmConstraintValA(SDValue Op,
4305ffd83dbSDimitry Andric                               uint64_t Val,
4315ffd83dbSDimitry Andric                               unsigned MaxSize = 64) const;
4320b57cec5SDimitry Andric   SDValue copyToM0(SelectionDAG &DAG, SDValue Chain, const SDLoc &DL,
4330b57cec5SDimitry Andric                    SDValue V) const;
4340b57cec5SDimitry Andric 
4350b57cec5SDimitry Andric   void finalizeLowering(MachineFunction &MF) const override;
4360b57cec5SDimitry Andric 
4375ffd83dbSDimitry Andric   void computeKnownBitsForFrameIndex(int FrameIdx,
4380b57cec5SDimitry Andric                                      KnownBits &Known,
4395ffd83dbSDimitry Andric                                      const MachineFunction &MF) const override;
440e8d8bef9SDimitry Andric   void computeKnownBitsForTargetInstr(GISelKnownBits &Analysis, Register R,
441e8d8bef9SDimitry Andric                                       KnownBits &Known,
442e8d8bef9SDimitry Andric                                       const APInt &DemandedElts,
443e8d8bef9SDimitry Andric                                       const MachineRegisterInfo &MRI,
444e8d8bef9SDimitry Andric                                       unsigned Depth = 0) const override;
4450b57cec5SDimitry Andric 
4465ffd83dbSDimitry Andric   Align computeKnownAlignForTargetInstr(GISelKnownBits &Analysis, Register R,
4475ffd83dbSDimitry Andric                                         const MachineRegisterInfo &MRI,
4485ffd83dbSDimitry Andric                                         unsigned Depth = 0) const override;
4490b57cec5SDimitry Andric   bool isSDNodeSourceOfDivergence(const SDNode *N,
4500b57cec5SDimitry Andric     FunctionLoweringInfo *FLI, LegacyDivergenceAnalysis *DA) const override;
4510b57cec5SDimitry Andric 
452*04eeddc0SDimitry Andric   bool hasMemSDNodeUser(SDNode *N) const;
453*04eeddc0SDimitry Andric 
454*04eeddc0SDimitry Andric   bool isReassocProfitable(SelectionDAG &DAG, SDValue N0,
455*04eeddc0SDimitry Andric                            SDValue N1) const override;
456*04eeddc0SDimitry Andric 
4570b57cec5SDimitry Andric   bool isCanonicalized(SelectionDAG &DAG, SDValue Op,
4580b57cec5SDimitry Andric                        unsigned MaxDepth = 5) const;
459fe6060f1SDimitry Andric   bool isCanonicalized(Register Reg, MachineFunction &MF,
460fe6060f1SDimitry Andric                        unsigned MaxDepth = 5) const;
461480093f4SDimitry Andric   bool denormalsEnabledForType(const SelectionDAG &DAG, EVT VT) const;
462fe6060f1SDimitry Andric   bool denormalsEnabledForType(LLT Ty, MachineFunction &MF) const;
4630b57cec5SDimitry Andric 
4640b57cec5SDimitry Andric   bool isKnownNeverNaNForTargetNode(SDValue Op,
4650b57cec5SDimitry Andric                                     const SelectionDAG &DAG,
4660b57cec5SDimitry Andric                                     bool SNaN = false,
4670b57cec5SDimitry Andric                                     unsigned Depth = 0) const override;
4680b57cec5SDimitry Andric   AtomicExpansionKind shouldExpandAtomicRMWInIR(AtomicRMWInst *) const override;
4690b57cec5SDimitry Andric 
4708bcb0991SDimitry Andric   virtual const TargetRegisterClass *
4718bcb0991SDimitry Andric   getRegClassFor(MVT VT, bool isDivergent) const override;
4728bcb0991SDimitry Andric   virtual bool requiresUniformRegister(MachineFunction &MF,
4738bcb0991SDimitry Andric                                        const Value *V) const override;
4748bcb0991SDimitry Andric   Align getPrefLoopAlignment(MachineLoop *ML) const override;
4758bcb0991SDimitry Andric 
4768bcb0991SDimitry Andric   void allocateHSAUserSGPRs(CCState &CCInfo,
4778bcb0991SDimitry Andric                             MachineFunction &MF,
4788bcb0991SDimitry Andric                             const SIRegisterInfo &TRI,
4798bcb0991SDimitry Andric                             SIMachineFunctionInfo &Info) const;
4808bcb0991SDimitry Andric 
4818bcb0991SDimitry Andric   void allocateSystemSGPRs(CCState &CCInfo,
4828bcb0991SDimitry Andric                            MachineFunction &MF,
4838bcb0991SDimitry Andric                            SIMachineFunctionInfo &Info,
4848bcb0991SDimitry Andric                            CallingConv::ID CallConv,
4858bcb0991SDimitry Andric                            bool IsShader) const;
4868bcb0991SDimitry Andric 
4878bcb0991SDimitry Andric   void allocateSpecialEntryInputVGPRs(CCState &CCInfo,
4888bcb0991SDimitry Andric                                       MachineFunction &MF,
4898bcb0991SDimitry Andric                                       const SIRegisterInfo &TRI,
4908bcb0991SDimitry Andric                                       SIMachineFunctionInfo &Info) const;
4918bcb0991SDimitry Andric   void allocateSpecialInputSGPRs(
4928bcb0991SDimitry Andric     CCState &CCInfo,
4938bcb0991SDimitry Andric     MachineFunction &MF,
4948bcb0991SDimitry Andric     const SIRegisterInfo &TRI,
4958bcb0991SDimitry Andric     SIMachineFunctionInfo &Info) const;
4968bcb0991SDimitry Andric 
4978bcb0991SDimitry Andric   void allocateSpecialInputVGPRs(CCState &CCInfo,
4988bcb0991SDimitry Andric                                  MachineFunction &MF,
4998bcb0991SDimitry Andric                                  const SIRegisterInfo &TRI,
5008bcb0991SDimitry Andric                                  SIMachineFunctionInfo &Info) const;
5015ffd83dbSDimitry Andric   void allocateSpecialInputVGPRsFixed(CCState &CCInfo,
5025ffd83dbSDimitry Andric                                       MachineFunction &MF,
5035ffd83dbSDimitry Andric                                       const SIRegisterInfo &TRI,
5045ffd83dbSDimitry Andric                                       SIMachineFunctionInfo &Info) const;
5055ffd83dbSDimitry Andric 
506fe6060f1SDimitry Andric   std::pair<InstructionCost, MVT> getTypeLegalizationCost(const DataLayout &DL,
5075ffd83dbSDimitry Andric                                                           Type *Ty) const;
5080b57cec5SDimitry Andric };
5090b57cec5SDimitry Andric 
5100b57cec5SDimitry Andric } // End namespace llvm
5110b57cec5SDimitry Andric 
5120b57cec5SDimitry Andric #endif
513