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