| //===-- X86TargetTransformInfo.h - X86 specific TTI -------------*- C++ -*-===// | |
| // | |
| // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. | |
| // See https://llvm.org/LICENSE.txt for license information. | |
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception | |
| // | |
| //===----------------------------------------------------------------------===// | |
| /// \file | |
| /// This file a TargetTransformInfoImplBase conforming object specific to the | |
| /// X86 target machine. It uses the target's detailed information to | |
| /// provide more precise answers to certain TTI queries, while letting the | |
| /// target independent and default TTI implementations handle the rest. | |
| /// | |
| //===----------------------------------------------------------------------===// | |
| #ifndef LLVM_LIB_TARGET_X86_X86TARGETTRANSFORMINFO_H | |
| #define LLVM_LIB_TARGET_X86_X86TARGETTRANSFORMINFO_H | |
| #include "X86TargetMachine.h" | |
| #include "llvm/Analysis/TargetTransformInfo.h" | |
| #include "llvm/CodeGen/BasicTTIImpl.h" | |
| #include <optional> | |
| namespace llvm { | |
| class InstCombiner; | |
| class X86TTIImpl final : public BasicTTIImplBase<X86TTIImpl> { | |
| typedef BasicTTIImplBase<X86TTIImpl> BaseT; | |
| typedef TargetTransformInfo TTI; | |
| friend BaseT; | |
| const X86Subtarget *ST; | |
| const X86TargetLowering *TLI; | |
| const X86Subtarget *getST() const { return ST; } | |
| const X86TargetLowering *getTLI() const { return TLI; } | |
| public: | |
| explicit X86TTIImpl(const X86TargetMachine *TM, const Function &F) | |
| : BaseT(TM, F.getDataLayout()), ST(TM->getSubtargetImpl(F)), | |
| TLI(ST->getTargetLowering()) {} | |
| /// \name Scalar TTI Implementations | |
| /// @{ | |
| TTI::PopcntSupportKind getPopcntSupport(unsigned TyWidth) const override; | |
| /// @} | |
| /// \name Cache TTI Implementation | |
| /// @{ | |
| std::optional<unsigned> getCacheSize( | |
| TargetTransformInfo::CacheLevel Level) const override; | |
| std::optional<unsigned> getCacheAssociativity( | |
| TargetTransformInfo::CacheLevel Level) const override; | |
| /// @} | |
| /// \name Vector TTI Implementations | |
| /// @{ | |
| unsigned getNumberOfRegisters(unsigned ClassID) const override; | |
| unsigned getRegisterClassForType(bool Vector, Type *Ty) const override; | |
| bool hasConditionalLoadStoreForType(Type *Ty, bool IsStore) const override; | |
| TypeSize | |
| getRegisterBitWidth(TargetTransformInfo::RegisterKind K) const override; | |
| unsigned getLoadStoreVecRegBitWidth(unsigned AS) const override; | |
| unsigned getMaxInterleaveFactor(ElementCount VF, | |
| bool HasUnorderedReductions) const override; | |
| InstructionCost getArithmeticInstrCost( | |
| unsigned Opcode, Type *Ty, TTI::TargetCostKind CostKind, | |
| TTI::OperandValueInfo Op1Info = {TTI::OK_AnyValue, TTI::OP_None}, | |
| TTI::OperandValueInfo Op2Info = {TTI::OK_AnyValue, TTI::OP_None}, | |
| ArrayRef<const Value *> Args = {}, | |
| const Instruction *CtxI = nullptr) const override; | |
| InstructionCost | |
| getAltInstrCost(VectorType *VecTy, unsigned Opcode0, unsigned Opcode1, | |
| const SmallBitVector &OpcodeMask, | |
| TTI::TargetCostKind CostKind, | |
| ArrayRef<const Value *> Scalars) const override; | |
| InstructionCost | |
| getShuffleCost(TTI::ShuffleKind Kind, VectorType *DstTy, VectorType *SrcTy, | |
| TTI::TargetCostKind CostKind, ArrayRef<int> Mask, int Index, | |
| VectorType *SubTp, ArrayRef<const Value *> Args = {}, | |
| const Instruction *CtxI = nullptr, | |
| TTI::VectorInstrContext VIC = | |
| TTI::VectorInstrContext::None) const override; | |
| InstructionCost | |
| getCastInstrCost(unsigned Opcode, Type *Dst, Type *Src, | |
| TTI::CastContextHint CCH, TTI::TargetCostKind CostKind, | |
| const Instruction *I = nullptr) const override; | |
| InstructionCost getCmpSelInstrCost( | |
| unsigned Opcode, Type *ValTy, Type *CondTy, CmpInst::Predicate VecPred, | |
| TTI::TargetCostKind CostKind, | |
| TTI::OperandValueInfo Op1Info = {TTI::OK_AnyValue, TTI::OP_None}, | |
| TTI::OperandValueInfo Op2Info = {TTI::OK_AnyValue, TTI::OP_None}, | |
| const Instruction *I = nullptr) const override; | |
| using BaseT::getVectorInstrCost; | |
| InstructionCost | |
| getVectorInstrCost(unsigned Opcode, Type *Val, TTI::TargetCostKind CostKind, | |
| unsigned Index, const Value *Op0, const Value *Op1, | |
| TTI::VectorInstrContext VIC = | |
| TTI::VectorInstrContext::None) const override; | |
| InstructionCost | |
| getScalarizationOverhead(VectorType *Ty, const APInt &DemandedElts, | |
| bool Insert, bool Extract, | |
| TTI::TargetCostKind CostKind, | |
| bool ForPoisonSrc = true, ArrayRef<Value *> VL = {}, | |
| TTI::VectorInstrContext VIC = | |
| TTI::VectorInstrContext::None) const override; | |
| InstructionCost | |
| getReplicationShuffleCost(Type *EltTy, int ReplicationFactor, int VF, | |
| const APInt &DemandedDstElts, | |
| TTI::TargetCostKind CostKind) const override; | |
| InstructionCost getMemoryOpCost( | |
| unsigned Opcode, Type *Src, Align Alignment, unsigned AddressSpace, | |
| TTI::TargetCostKind CostKind, | |
| TTI::OperandValueInfo OpInfo = {TTI::OK_AnyValue, TTI::OP_None}, | |
| const Instruction *I = nullptr) const override; | |
| InstructionCost | |
| getMemIntrinsicInstrCost(const MemIntrinsicCostAttributes &MICA, | |
| TTI::TargetCostKind CostKind) const override; | |
| InstructionCost getMaskedMemoryOpCost(const MemIntrinsicCostAttributes &MICA, | |
| TTI::TargetCostKind CostKind) const; | |
| InstructionCost getGatherScatterOpCost(const MemIntrinsicCostAttributes &MICA, | |
| TTI::TargetCostKind CostKind) const; | |
| InstructionCost | |
| getPointersChainCost(ArrayRef<const Value *> Ptrs, const Value *Base, | |
| const TTI::PointersChainInfo &Info, Type *AccessTy, | |
| const TTI::TargetCostKind CostKind) const override; | |
| InstructionCost | |
| getAddressComputationCost(Type *PtrTy, ScalarEvolution *SE, const SCEV *Ptr, | |
| TTI::TargetCostKind CostKind) const override; | |
| std::optional<Instruction *> | |
| instCombineIntrinsic(InstCombiner &IC, IntrinsicInst &II) const override; | |
| std::optional<Value *> | |
| simplifyDemandedUseBitsIntrinsic(InstCombiner &IC, IntrinsicInst &II, | |
| APInt DemandedMask, KnownBits &Known, | |
| bool &KnownBitsComputed) const override; | |
| std::optional<Value *> simplifyDemandedVectorEltsIntrinsic( | |
| InstCombiner &IC, IntrinsicInst &II, APInt DemandedElts, APInt &UndefElts, | |
| APInt &UndefElts2, APInt &UndefElts3, | |
| std::function<void(Instruction *, unsigned, APInt, APInt &)> | |
| SimplifyAndSetOp) const override; | |
| unsigned getAtomicMemIntrinsicMaxElementSize() const override; | |
| InstructionCost | |
| getIntrinsicInstrCost(const IntrinsicCostAttributes &ICA, | |
| TTI::TargetCostKind CostKind) const override; | |
| InstructionCost | |
| getArithmeticReductionCost(unsigned Opcode, VectorType *Ty, | |
| std::optional<FastMathFlags> FMF, | |
| TTI::TargetCostKind CostKind) const override; | |
| InstructionCost getPartialReductionCost( | |
| unsigned Opcode, Type *InputTypeA, Type *InputTypeB, Type *AccumType, | |
| ElementCount VF, TTI::PartialReductionExtendKind OpAExtend, | |
| TTI::PartialReductionExtendKind OpBExtend, std::optional<unsigned> BinOp, | |
| TTI::TargetCostKind CostKind, | |
| std::optional<FastMathFlags> FMF) const override; | |
| InstructionCost getMinMaxCost(Intrinsic::ID IID, Type *Ty, | |
| TTI::TargetCostKind CostKind, | |
| FastMathFlags FMF) const; | |
| InstructionCost | |
| getMinMaxReductionCost(Intrinsic::ID IID, VectorType *Ty, FastMathFlags FMF, | |
| TTI::TargetCostKind CostKind) const override; | |
| InstructionCost getInterleavedMemoryOpCost( | |
| unsigned Opcode, Type *VecTy, unsigned Factor, ArrayRef<unsigned> Indices, | |
| Align Alignment, unsigned AddressSpace, TTI::TargetCostKind CostKind, | |
| bool UseMaskForCond = false, bool UseMaskForGaps = false) const override; | |
| InstructionCost getInterleavedMemoryOpCostAVX512( | |
| unsigned Opcode, FixedVectorType *VecTy, unsigned Factor, | |
| ArrayRef<unsigned> Indices, Align Alignment, unsigned AddressSpace, | |
| TTI::TargetCostKind CostKind, bool UseMaskForCond = false, | |
| bool UseMaskForGaps = false) const; | |
| InstructionCost getIntImmCost(int64_t) const; | |
| InstructionCost getIntImmCost(const APInt &Imm, Type *Ty, | |
| TTI::TargetCostKind CostKind) const override; | |
| InstructionCost getCFInstrCost(unsigned Opcode, TTI::TargetCostKind CostKind, | |
| const Instruction *I = nullptr) const override; | |
| InstructionCost getIntImmCostInst(unsigned Opcode, unsigned Idx, | |
| const APInt &Imm, Type *Ty, | |
| TTI::TargetCostKind CostKind, | |
| Instruction *Inst = nullptr) const override; | |
| InstructionCost | |
| getIntImmCostIntrin(Intrinsic::ID IID, unsigned Idx, const APInt &Imm, | |
| Type *Ty, TTI::TargetCostKind CostKind) const override; | |
| /// Return the cost of the scaling factor used in the addressing | |
| /// mode represented by AM for this target, for a load/store | |
| /// of the specified type. | |
| /// If the AM is supported, the return value must be >= 0. | |
| /// If the AM is not supported, it returns an invalid cost. | |
| InstructionCost getScalingFactorCost(Type *Ty, GlobalValue *BaseGV, | |
| StackOffset BaseOffset, bool HasBaseReg, | |
| int64_t Scale, | |
| unsigned AddrSpace) const override; | |
| bool isLSRCostLess(const TargetTransformInfo::LSRCost &C1, | |
| const TargetTransformInfo::LSRCost &C2) const override; | |
| bool canMacroFuseCmp() const override; | |
| bool | |
| isLegalMaskedLoad(Type *DataType, Align Alignment, unsigned AddressSpace, | |
| TTI::MaskKind MaskKind = | |
| TTI::MaskKind::VariableOrConstantMask) const override; | |
| bool | |
| isLegalMaskedStore(Type *DataType, Align Alignment, unsigned AddressSpace, | |
| TTI::MaskKind MaskKind = | |
| TTI::MaskKind::VariableOrConstantMask) const override; | |
| bool isLegalNTLoad(Type *DataType, Align Alignment) const override; | |
| bool isLegalNTStore(Type *DataType, Align Alignment) const override; | |
| bool isLegalBroadcastLoad(Type *ElementTy, | |
| ElementCount NumElements) const override; | |
| bool forceScalarizeMaskedGather(VectorType *VTy, | |
| Align Alignment) const override; | |
| bool forceScalarizeMaskedScatter(VectorType *VTy, | |
| Align Alignment) const override { | |
| return forceScalarizeMaskedGather(VTy, Alignment); | |
| } | |
| bool isLegalMaskedGatherScatter(Type *DataType, Align Alignment) const; | |
| bool isLegalMaskedGather(Type *DataType, Align Alignment) const override; | |
| bool isLegalMaskedScatter(Type *DataType, Align Alignment) const override; | |
| bool isLegalMaskedExpandLoad(Type *DataType, Align Alignment) const override; | |
| bool isLegalMaskedCompressStore(Type *DataType, | |
| Align Alignment) const override; | |
| bool isLegalAltInstr(VectorType *VecTy, unsigned Opcode0, unsigned Opcode1, | |
| const SmallBitVector &OpcodeMask, | |
| ArrayRef<const Value *> Scalars) const override; | |
| bool hasDivRemOp(Type *DataType, bool IsSigned) const override; | |
| bool isExpensiveToSpeculativelyExecute(const Instruction *I) const override; | |
| bool isFCmpOrdCheaperThanFCmpZero(Type *Ty) const override; | |
| bool areInlineCompatible(const Function *Caller, | |
| const Function *Callee) const override; | |
| bool areTypesABICompatible(const Function *Caller, const Function *Callee, | |
| ArrayRef<Type *> Type) const override; | |
| uint64_t getMaxMemIntrinsicInlineSizeThreshold() const override { | |
| return ST->getMaxInlineSizeThreshold(); | |
| } | |
| TTI::MemCmpExpansionOptions | |
| enableMemCmpExpansion(bool OptSize, bool IsZeroCmp) const override; | |
| bool preferAlternateOpcodeVectorization() const override { return false; } | |
| bool prefersVectorizedAddressing() const override; | |
| bool supportsEfficientVectorElementLoadStore() const override; | |
| bool enableInterleavedAccessVectorization() const override; | |
| bool shouldExpandReduction(const IntrinsicInst *II) const override; | |
| InstructionCost getBranchMispredictPenalty() const override; | |
| bool isProfitableToSinkOperands(Instruction *I, | |
| SmallVectorImpl<Use *> &Ops) const override; | |
| bool isVectorShiftByScalarCheap(Type *Ty) const override; | |
| unsigned getStoreMinimumVF(unsigned VF, Type *ScalarMemTy, Type *ScalarValTy, | |
| Align Alignment, | |
| unsigned AddrSpace) const override; | |
| bool useFastCCForInternalCall(Function &F) const override; | |
| private: | |
| bool supportsGather() const; | |
| InstructionCost getGSVectorCost(unsigned Opcode, TTI::TargetCostKind CostKind, | |
| Type *DataTy, const Value *Ptr, | |
| Align Alignment, unsigned AddressSpace) const; | |
| int getGatherOverhead() const; | |
| int getScatterOverhead() const; | |
| /// @} | |
| }; | |
| } // end namespace llvm | |
| #endif |