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