123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125 |
- #pragma once
- #ifdef __GNUC__
- #pragma GCC diagnostic push
- #pragma GCC diagnostic ignored "-Wunused-parameter"
- #endif
- //===- TargetTransformInfoImpl.h --------------------------------*- 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 provides helpers for the implementation of
- /// a TargetTransformInfo-conforming class.
- ///
- //===----------------------------------------------------------------------===//
- #ifndef LLVM_ANALYSIS_TARGETTRANSFORMINFOIMPL_H
- #define LLVM_ANALYSIS_TARGETTRANSFORMINFOIMPL_H
- #include "llvm/Analysis/ScalarEvolutionExpressions.h"
- #include "llvm/Analysis/TargetTransformInfo.h"
- #include "llvm/Analysis/VectorUtils.h"
- #include "llvm/IR/DataLayout.h"
- #include "llvm/IR/Function.h"
- #include "llvm/IR/GetElementPtrTypeIterator.h"
- #include "llvm/IR/IntrinsicInst.h"
- #include "llvm/IR/Operator.h"
- #include "llvm/IR/Type.h"
- namespace llvm {
- /// Base class for use as a mix-in that aids implementing
- /// a TargetTransformInfo-compatible class.
- class TargetTransformInfoImplBase {
- protected:
- typedef TargetTransformInfo TTI;
- const DataLayout &DL;
- explicit TargetTransformInfoImplBase(const DataLayout &DL) : DL(DL) {}
- public:
- // Provide value semantics. MSVC requires that we spell all of these out.
- TargetTransformInfoImplBase(const TargetTransformInfoImplBase &Arg)
- : DL(Arg.DL) {}
- TargetTransformInfoImplBase(TargetTransformInfoImplBase &&Arg) : DL(Arg.DL) {}
- const DataLayout &getDataLayout() const { return DL; }
- int getGEPCost(Type *PointeeType, const Value *Ptr,
- ArrayRef<const Value *> Operands,
- TTI::TargetCostKind CostKind = TTI::TCK_SizeAndLatency) const {
- // In the basic model, we just assume that all-constant GEPs will be folded
- // into their uses via addressing modes.
- for (unsigned Idx = 0, Size = Operands.size(); Idx != Size; ++Idx)
- if (!isa<Constant>(Operands[Idx]))
- return TTI::TCC_Basic;
- return TTI::TCC_Free;
- }
- unsigned getEstimatedNumberOfCaseClusters(const SwitchInst &SI,
- unsigned &JTSize,
- ProfileSummaryInfo *PSI,
- BlockFrequencyInfo *BFI) const {
- (void)PSI;
- (void)BFI;
- JTSize = 0;
- return SI.getNumCases();
- }
- unsigned getInliningThresholdMultiplier() const { return 1; }
- unsigned adjustInliningThreshold(const CallBase *CB) const { return 0; }
- int getInlinerVectorBonusPercent() const { return 150; }
- unsigned getMemcpyCost(const Instruction *I) const {
- return TTI::TCC_Expensive;
- }
- bool hasBranchDivergence() const { return false; }
- bool useGPUDivergenceAnalysis() const { return false; }
- bool isSourceOfDivergence(const Value *V) const { return false; }
- bool isAlwaysUniform(const Value *V) const { return false; }
- unsigned getFlatAddressSpace() const { return -1; }
- bool collectFlatAddressOperands(SmallVectorImpl<int> &OpIndexes,
- Intrinsic::ID IID) const {
- return false;
- }
- bool isNoopAddrSpaceCast(unsigned, unsigned) const { return false; }
- unsigned getAssumedAddrSpace(const Value *V) const { return -1; }
- Value *rewriteIntrinsicWithAddressSpace(IntrinsicInst *II, Value *OldV,
- Value *NewV) const {
- return nullptr;
- }
- bool isLoweredToCall(const Function *F) const {
- assert(F && "A concrete function must be provided to this routine.");
- // FIXME: These should almost certainly not be handled here, and instead
- // handled with the help of TLI or the target itself. This was largely
- // ported from existing analysis heuristics here so that such refactorings
- // can take place in the future.
- if (F->isIntrinsic())
- return false;
- if (F->hasLocalLinkage() || !F->hasName())
- return true;
- StringRef Name = F->getName();
- // These will all likely lower to a single selection DAG node.
- if (Name == "copysign" || Name == "copysignf" || Name == "copysignl" ||
- Name == "fabs" || Name == "fabsf" || Name == "fabsl" || Name == "sin" ||
- Name == "fmin" || Name == "fminf" || Name == "fminl" ||
- Name == "fmax" || Name == "fmaxf" || Name == "fmaxl" ||
- Name == "sinf" || Name == "sinl" || Name == "cos" || Name == "cosf" ||
- Name == "cosl" || Name == "sqrt" || Name == "sqrtf" || Name == "sqrtl")
- return false;
- // These are all likely to be optimized into something smaller.
- if (Name == "pow" || Name == "powf" || Name == "powl" || Name == "exp2" ||
- Name == "exp2l" || Name == "exp2f" || Name == "floor" ||
- Name == "floorf" || Name == "ceil" || Name == "round" ||
- Name == "ffs" || Name == "ffsl" || Name == "abs" || Name == "labs" ||
- Name == "llabs")
- return false;
- return true;
- }
- bool isHardwareLoopProfitable(Loop *L, ScalarEvolution &SE,
- AssumptionCache &AC, TargetLibraryInfo *LibInfo,
- HardwareLoopInfo &HWLoopInfo) const {
- return false;
- }
- bool preferPredicateOverEpilogue(Loop *L, LoopInfo *LI, ScalarEvolution &SE,
- AssumptionCache &AC, TargetLibraryInfo *TLI,
- DominatorTree *DT,
- const LoopAccessInfo *LAI) const {
- return false;
- }
- bool emitGetActiveLaneMask() const {
- return false;
- }
- Optional<Instruction *> instCombineIntrinsic(InstCombiner &IC,
- IntrinsicInst &II) const {
- return None;
- }
- Optional<Value *>
- simplifyDemandedUseBitsIntrinsic(InstCombiner &IC, IntrinsicInst &II,
- APInt DemandedMask, KnownBits &Known,
- bool &KnownBitsComputed) const {
- return None;
- }
- Optional<Value *> simplifyDemandedVectorEltsIntrinsic(
- InstCombiner &IC, IntrinsicInst &II, APInt DemandedElts, APInt &UndefElts,
- APInt &UndefElts2, APInt &UndefElts3,
- std::function<void(Instruction *, unsigned, APInt, APInt &)>
- SimplifyAndSetOp) const {
- return None;
- }
- void getUnrollingPreferences(Loop *, ScalarEvolution &,
- TTI::UnrollingPreferences &) const {}
- void getPeelingPreferences(Loop *, ScalarEvolution &,
- TTI::PeelingPreferences &) const {}
- bool isLegalAddImmediate(int64_t Imm) const { return false; }
- bool isLegalICmpImmediate(int64_t Imm) const { return false; }
- bool isLegalAddressingMode(Type *Ty, GlobalValue *BaseGV, int64_t BaseOffset,
- bool HasBaseReg, int64_t Scale, unsigned AddrSpace,
- Instruction *I = nullptr) const {
- // Guess that only reg and reg+reg addressing is allowed. This heuristic is
- // taken from the implementation of LSR.
- return !BaseGV && BaseOffset == 0 && (Scale == 0 || Scale == 1);
- }
- bool isLSRCostLess(TTI::LSRCost &C1, TTI::LSRCost &C2) const {
- return std::tie(C1.NumRegs, C1.AddRecCost, C1.NumIVMuls, C1.NumBaseAdds,
- C1.ScaleCost, C1.ImmCost, C1.SetupCost) <
- std::tie(C2.NumRegs, C2.AddRecCost, C2.NumIVMuls, C2.NumBaseAdds,
- C2.ScaleCost, C2.ImmCost, C2.SetupCost);
- }
- bool isNumRegsMajorCostOfLSR() const { return true; }
- bool isProfitableLSRChainElement(Instruction *I) const { return false; }
- bool canMacroFuseCmp() const { return false; }
- bool canSaveCmp(Loop *L, BranchInst **BI, ScalarEvolution *SE, LoopInfo *LI,
- DominatorTree *DT, AssumptionCache *AC,
- TargetLibraryInfo *LibInfo) const {
- return false;
- }
- bool shouldFavorPostInc() const { return false; }
- bool shouldFavorBackedgeIndex(const Loop *L) const { return false; }
- bool isLegalMaskedStore(Type *DataType, Align Alignment) const {
- return false;
- }
- bool isLegalMaskedLoad(Type *DataType, Align Alignment) const {
- return false;
- }
- bool isLegalNTStore(Type *DataType, Align Alignment) const {
- // By default, assume nontemporal memory stores are available for stores
- // that are aligned and have a size that is a power of 2.
- unsigned DataSize = DL.getTypeStoreSize(DataType);
- return Alignment >= DataSize && isPowerOf2_32(DataSize);
- }
- bool isLegalNTLoad(Type *DataType, Align Alignment) const {
- // By default, assume nontemporal memory loads are available for loads that
- // are aligned and have a size that is a power of 2.
- unsigned DataSize = DL.getTypeStoreSize(DataType);
- return Alignment >= DataSize && isPowerOf2_32(DataSize);
- }
- bool isLegalMaskedScatter(Type *DataType, Align Alignment) const {
- return false;
- }
- bool isLegalMaskedGather(Type *DataType, Align Alignment) const {
- return false;
- }
- bool isLegalMaskedCompressStore(Type *DataType) const { return false; }
- bool isLegalMaskedExpandLoad(Type *DataType) const { return false; }
- bool hasDivRemOp(Type *DataType, bool IsSigned) const { return false; }
- bool hasVolatileVariant(Instruction *I, unsigned AddrSpace) const {
- return false;
- }
- bool prefersVectorizedAddressing() const { return true; }
- int getScalingFactorCost(Type *Ty, GlobalValue *BaseGV, int64_t BaseOffset,
- bool HasBaseReg, int64_t Scale,
- unsigned AddrSpace) const {
- // Guess that all legal addressing mode are free.
- if (isLegalAddressingMode(Ty, BaseGV, BaseOffset, HasBaseReg, Scale,
- AddrSpace))
- return 0;
- return -1;
- }
- bool LSRWithInstrQueries() const { return false; }
- bool isTruncateFree(Type *Ty1, Type *Ty2) const { return false; }
- bool isProfitableToHoist(Instruction *I) const { return true; }
- bool useAA() const { return false; }
- bool isTypeLegal(Type *Ty) const { return false; }
- unsigned getRegUsageForType(Type *Ty) const { return 1; }
- bool shouldBuildLookupTables() const { return true; }
- bool shouldBuildLookupTablesForConstant(Constant *C) const { return true; }
- bool useColdCCForColdCall(Function &F) const { return false; }
- unsigned getScalarizationOverhead(VectorType *Ty, const APInt &DemandedElts,
- bool Insert, bool Extract) const {
- return 0;
- }
- unsigned getOperandsScalarizationOverhead(ArrayRef<const Value *> Args,
- unsigned VF) const {
- return 0;
- }
- bool supportsEfficientVectorElementLoadStore() const { return false; }
- bool enableAggressiveInterleaving(bool LoopHasReductions) const {
- return false;
- }
- TTI::MemCmpExpansionOptions enableMemCmpExpansion(bool OptSize,
- bool IsZeroCmp) const {
- return {};
- }
- bool enableInterleavedAccessVectorization() const { return false; }
- bool enableMaskedInterleavedAccessVectorization() const { return false; }
- bool isFPVectorizationPotentiallyUnsafe() const { return false; }
- bool allowsMisalignedMemoryAccesses(LLVMContext &Context, unsigned BitWidth,
- unsigned AddressSpace, unsigned Alignment,
- bool *Fast) const {
- return false;
- }
- TTI::PopcntSupportKind getPopcntSupport(unsigned IntTyWidthInBit) const {
- return TTI::PSK_Software;
- }
- bool haveFastSqrt(Type *Ty) const { return false; }
- bool isFCmpOrdCheaperThanFCmpZero(Type *Ty) const { return true; }
- unsigned getFPOpCost(Type *Ty) const {
- return TargetTransformInfo::TCC_Basic;
- }
- int getIntImmCodeSizeCost(unsigned Opcode, unsigned Idx, const APInt &Imm,
- Type *Ty) const {
- return 0;
- }
- unsigned getIntImmCost(const APInt &Imm, Type *Ty,
- TTI::TargetCostKind CostKind) const {
- return TTI::TCC_Basic;
- }
- unsigned getIntImmCostInst(unsigned Opcode, unsigned Idx, const APInt &Imm,
- Type *Ty, TTI::TargetCostKind CostKind,
- Instruction *Inst = nullptr) const {
- return TTI::TCC_Free;
- }
- unsigned getIntImmCostIntrin(Intrinsic::ID IID, unsigned Idx,
- const APInt &Imm, Type *Ty,
- TTI::TargetCostKind CostKind) const {
- return TTI::TCC_Free;
- }
- unsigned getNumberOfRegisters(unsigned ClassID) const { return 8; }
- unsigned getRegisterClassForType(bool Vector, Type *Ty = nullptr) const {
- return Vector ? 1 : 0;
- };
- const char *getRegisterClassName(unsigned ClassID) const {
- switch (ClassID) {
- default:
- return "Generic::Unknown Register Class";
- case 0:
- return "Generic::ScalarRC";
- case 1:
- return "Generic::VectorRC";
- }
- }
- unsigned getRegisterBitWidth(bool Vector) const { return 32; }
- unsigned getMinVectorRegisterBitWidth() const { return 128; }
- Optional<unsigned> getMaxVScale() const { return None; }
- bool shouldMaximizeVectorBandwidth(bool OptSize) const { return false; }
- unsigned getMinimumVF(unsigned ElemWidth) const { return 0; }
- unsigned getMaximumVF(unsigned ElemWidth, unsigned Opcode) const { return 0; }
- bool shouldConsiderAddressTypePromotion(
- const Instruction &I, bool &AllowPromotionWithoutCommonHeader) const {
- AllowPromotionWithoutCommonHeader = false;
- return false;
- }
- unsigned getCacheLineSize() const { return 0; }
- llvm::Optional<unsigned>
- getCacheSize(TargetTransformInfo::CacheLevel Level) const {
- switch (Level) {
- case TargetTransformInfo::CacheLevel::L1D:
- LLVM_FALLTHROUGH;
- case TargetTransformInfo::CacheLevel::L2D:
- return llvm::Optional<unsigned>();
- }
- llvm_unreachable("Unknown TargetTransformInfo::CacheLevel");
- }
- llvm::Optional<unsigned>
- getCacheAssociativity(TargetTransformInfo::CacheLevel Level) const {
- switch (Level) {
- case TargetTransformInfo::CacheLevel::L1D:
- LLVM_FALLTHROUGH;
- case TargetTransformInfo::CacheLevel::L2D:
- return llvm::Optional<unsigned>();
- }
- llvm_unreachable("Unknown TargetTransformInfo::CacheLevel");
- }
- unsigned getPrefetchDistance() const { return 0; }
- unsigned getMinPrefetchStride(unsigned NumMemAccesses,
- unsigned NumStridedMemAccesses,
- unsigned NumPrefetches, bool HasCall) const {
- return 1;
- }
- unsigned getMaxPrefetchIterationsAhead() const { return UINT_MAX; }
- bool enableWritePrefetching() const { return false; }
- unsigned getMaxInterleaveFactor(unsigned VF) const { return 1; }
- unsigned getArithmeticInstrCost(unsigned Opcode, Type *Ty,
- TTI::TargetCostKind CostKind,
- TTI::OperandValueKind Opd1Info,
- TTI::OperandValueKind Opd2Info,
- TTI::OperandValueProperties Opd1PropInfo,
- TTI::OperandValueProperties Opd2PropInfo,
- ArrayRef<const Value *> Args,
- const Instruction *CxtI = nullptr) const {
- // FIXME: A number of transformation tests seem to require these values
- // which seems a little odd for how arbitary there are.
- switch (Opcode) {
- default:
- break;
- case Instruction::FDiv:
- case Instruction::FRem:
- case Instruction::SDiv:
- case Instruction::SRem:
- case Instruction::UDiv:
- case Instruction::URem:
- // FIXME: Unlikely to be true for CodeSize.
- return TTI::TCC_Expensive;
- }
- return 1;
- }
- unsigned getShuffleCost(TTI::ShuffleKind Kind, VectorType *Ty, int Index,
- VectorType *SubTp) const {
- return 1;
- }
- unsigned getCastInstrCost(unsigned Opcode, Type *Dst, Type *Src,
- TTI::CastContextHint CCH,
- TTI::TargetCostKind CostKind,
- const Instruction *I) const {
- switch (Opcode) {
- default:
- break;
- case Instruction::IntToPtr: {
- unsigned SrcSize = Src->getScalarSizeInBits();
- if (DL.isLegalInteger(SrcSize) &&
- SrcSize <= DL.getPointerTypeSizeInBits(Dst))
- return 0;
- break;
- }
- case Instruction::PtrToInt: {
- unsigned DstSize = Dst->getScalarSizeInBits();
- if (DL.isLegalInteger(DstSize) &&
- DstSize >= DL.getPointerTypeSizeInBits(Src))
- return 0;
- break;
- }
- case Instruction::BitCast:
- if (Dst == Src || (Dst->isPointerTy() && Src->isPointerTy()))
- // Identity and pointer-to-pointer casts are free.
- return 0;
- break;
- case Instruction::Trunc: {
- // trunc to a native type is free (assuming the target has compare and
- // shift-right of the same width).
- TypeSize DstSize = DL.getTypeSizeInBits(Dst);
- if (!DstSize.isScalable() && DL.isLegalInteger(DstSize.getFixedSize()))
- return 0;
- break;
- }
- }
- return 1;
- }
- unsigned getExtractWithExtendCost(unsigned Opcode, Type *Dst,
- VectorType *VecTy, unsigned Index) const {
- return 1;
- }
- unsigned getCFInstrCost(unsigned Opcode, TTI::TargetCostKind CostKind) const {
- // A phi would be free, unless we're costing the throughput because it
- // will require a register.
- if (Opcode == Instruction::PHI && CostKind != TTI::TCK_RecipThroughput)
- return 0;
- return 1;
- }
- unsigned getCmpSelInstrCost(unsigned Opcode, Type *ValTy, Type *CondTy,
- CmpInst::Predicate VecPred,
- TTI::TargetCostKind CostKind,
- const Instruction *I) const {
- return 1;
- }
- unsigned getVectorInstrCost(unsigned Opcode, Type *Val,
- unsigned Index) const {
- return 1;
- }
- unsigned getMemoryOpCost(unsigned Opcode, Type *Src, Align Alignment,
- unsigned AddressSpace, TTI::TargetCostKind CostKind,
- const Instruction *I) const {
- return 1;
- }
- unsigned getMaskedMemoryOpCost(unsigned Opcode, Type *Src, Align Alignment,
- unsigned AddressSpace,
- TTI::TargetCostKind CostKind) const {
- return 1;
- }
- unsigned getGatherScatterOpCost(unsigned Opcode, Type *DataTy,
- const Value *Ptr, bool VariableMask,
- Align Alignment, TTI::TargetCostKind CostKind,
- const Instruction *I = nullptr) const {
- return 1;
- }
- unsigned getInterleavedMemoryOpCost(
- unsigned Opcode, Type *VecTy, unsigned Factor, ArrayRef<unsigned> Indices,
- Align Alignment, unsigned AddressSpace, TTI::TargetCostKind CostKind,
- bool UseMaskForCond, bool UseMaskForGaps) const {
- return 1;
- }
- unsigned getIntrinsicInstrCost(const IntrinsicCostAttributes &ICA,
- TTI::TargetCostKind CostKind) const {
- switch (ICA.getID()) {
- default:
- break;
- case Intrinsic::annotation:
- case Intrinsic::assume:
- case Intrinsic::sideeffect:
- case Intrinsic::pseudoprobe:
- case Intrinsic::dbg_declare:
- case Intrinsic::dbg_value:
- case Intrinsic::dbg_label:
- case Intrinsic::invariant_start:
- case Intrinsic::invariant_end:
- case Intrinsic::launder_invariant_group:
- case Intrinsic::strip_invariant_group:
- case Intrinsic::is_constant:
- case Intrinsic::lifetime_start:
- case Intrinsic::lifetime_end:
- case Intrinsic::experimental_noalias_scope_decl:
- case Intrinsic::objectsize:
- case Intrinsic::ptr_annotation:
- case Intrinsic::var_annotation:
- case Intrinsic::experimental_gc_result:
- case Intrinsic::experimental_gc_relocate:
- case Intrinsic::coro_alloc:
- case Intrinsic::coro_begin:
- case Intrinsic::coro_free:
- case Intrinsic::coro_end:
- case Intrinsic::coro_frame:
- case Intrinsic::coro_size:
- case Intrinsic::coro_suspend:
- case Intrinsic::coro_param:
- case Intrinsic::coro_subfn_addr:
- // These intrinsics don't actually represent code after lowering.
- return 0;
- }
- return 1;
- }
- unsigned getCallInstrCost(Function *F, Type *RetTy, ArrayRef<Type *> Tys,
- TTI::TargetCostKind CostKind) const {
- return 1;
- }
- unsigned getNumberOfParts(Type *Tp) const { return 0; }
- unsigned getAddressComputationCost(Type *Tp, ScalarEvolution *,
- const SCEV *) const {
- return 0;
- }
- unsigned getArithmeticReductionCost(unsigned, VectorType *, bool,
- TTI::TargetCostKind) const {
- return 1;
- }
- unsigned getMinMaxReductionCost(VectorType *, VectorType *, bool, bool,
- TTI::TargetCostKind) const {
- return 1;
- }
- InstructionCost getExtendedAddReductionCost(
- bool IsMLA, bool IsUnsigned, Type *ResTy, VectorType *Ty,
- TTI::TargetCostKind CostKind = TTI::TCK_RecipThroughput) const {
- return 1;
- }
- unsigned getCostOfKeepingLiveOverCall(ArrayRef<Type *> Tys) const {
- return 0;
- }
- bool getTgtMemIntrinsic(IntrinsicInst *Inst, MemIntrinsicInfo &Info) const {
- return false;
- }
- unsigned getAtomicMemIntrinsicMaxElementSize() const {
- // Note for overrides: You must ensure for all element unordered-atomic
- // memory intrinsics that all power-of-2 element sizes up to, and
- // including, the return value of this method have a corresponding
- // runtime lib call. These runtime lib call definitions can be found
- // in RuntimeLibcalls.h
- return 0;
- }
- Value *getOrCreateResultFromMemIntrinsic(IntrinsicInst *Inst,
- Type *ExpectedType) const {
- return nullptr;
- }
- Type *getMemcpyLoopLoweringType(LLVMContext &Context, Value *Length,
- unsigned SrcAddrSpace, unsigned DestAddrSpace,
- unsigned SrcAlign, unsigned DestAlign) const {
- return Type::getInt8Ty(Context);
- }
- void getMemcpyLoopResidualLoweringType(
- SmallVectorImpl<Type *> &OpsOut, LLVMContext &Context,
- unsigned RemainingBytes, unsigned SrcAddrSpace, unsigned DestAddrSpace,
- unsigned SrcAlign, unsigned DestAlign) const {
- for (unsigned i = 0; i != RemainingBytes; ++i)
- OpsOut.push_back(Type::getInt8Ty(Context));
- }
- bool areInlineCompatible(const Function *Caller,
- const Function *Callee) const {
- return (Caller->getFnAttribute("target-cpu") ==
- Callee->getFnAttribute("target-cpu")) &&
- (Caller->getFnAttribute("target-features") ==
- Callee->getFnAttribute("target-features"));
- }
- bool areFunctionArgsABICompatible(const Function *Caller,
- const Function *Callee,
- SmallPtrSetImpl<Argument *> &Args) const {
- return (Caller->getFnAttribute("target-cpu") ==
- Callee->getFnAttribute("target-cpu")) &&
- (Caller->getFnAttribute("target-features") ==
- Callee->getFnAttribute("target-features"));
- }
- bool isIndexedLoadLegal(TTI::MemIndexedMode Mode, Type *Ty,
- const DataLayout &DL) const {
- return false;
- }
- bool isIndexedStoreLegal(TTI::MemIndexedMode Mode, Type *Ty,
- const DataLayout &DL) const {
- return false;
- }
- unsigned getLoadStoreVecRegBitWidth(unsigned AddrSpace) const { return 128; }
- bool isLegalToVectorizeLoad(LoadInst *LI) const { return true; }
- bool isLegalToVectorizeStore(StoreInst *SI) const { return true; }
- bool isLegalToVectorizeLoadChain(unsigned ChainSizeInBytes, Align Alignment,
- unsigned AddrSpace) const {
- return true;
- }
- bool isLegalToVectorizeStoreChain(unsigned ChainSizeInBytes, Align Alignment,
- unsigned AddrSpace) const {
- return true;
- }
- unsigned getLoadVectorFactor(unsigned VF, unsigned LoadSize,
- unsigned ChainSizeInBytes,
- VectorType *VecTy) const {
- return VF;
- }
- unsigned getStoreVectorFactor(unsigned VF, unsigned StoreSize,
- unsigned ChainSizeInBytes,
- VectorType *VecTy) const {
- return VF;
- }
- bool useReductionIntrinsic(unsigned Opcode, Type *Ty,
- TTI::ReductionFlags Flags) const {
- return false;
- }
- bool preferInLoopReduction(unsigned Opcode, Type *Ty,
- TTI::ReductionFlags Flags) const {
- return false;
- }
- bool preferPredicatedReductionSelect(unsigned Opcode, Type *Ty,
- TTI::ReductionFlags Flags) const {
- return false;
- }
- bool shouldExpandReduction(const IntrinsicInst *II) const { return true; }
- unsigned getGISelRematGlobalCost() const { return 1; }
- bool supportsScalableVectors() const { return false; }
- bool hasActiveVectorLength() const { return false; }
- protected:
- // Obtain the minimum required size to hold the value (without the sign)
- // In case of a vector it returns the min required size for one element.
- unsigned minRequiredElementSize(const Value *Val, bool &isSigned) const {
- if (isa<ConstantDataVector>(Val) || isa<ConstantVector>(Val)) {
- const auto *VectorValue = cast<Constant>(Val);
- // In case of a vector need to pick the max between the min
- // required size for each element
- auto *VT = cast<FixedVectorType>(Val->getType());
- // Assume unsigned elements
- isSigned = false;
- // The max required size is the size of the vector element type
- unsigned MaxRequiredSize =
- VT->getElementType()->getPrimitiveSizeInBits().getFixedSize();
- unsigned MinRequiredSize = 0;
- for (unsigned i = 0, e = VT->getNumElements(); i < e; ++i) {
- if (auto *IntElement =
- dyn_cast<ConstantInt>(VectorValue->getAggregateElement(i))) {
- bool signedElement = IntElement->getValue().isNegative();
- // Get the element min required size.
- unsigned ElementMinRequiredSize =
- IntElement->getValue().getMinSignedBits() - 1;
- // In case one element is signed then all the vector is signed.
- isSigned |= signedElement;
- // Save the max required bit size between all the elements.
- MinRequiredSize = std::max(MinRequiredSize, ElementMinRequiredSize);
- } else {
- // not an int constant element
- return MaxRequiredSize;
- }
- }
- return MinRequiredSize;
- }
- if (const auto *CI = dyn_cast<ConstantInt>(Val)) {
- isSigned = CI->getValue().isNegative();
- return CI->getValue().getMinSignedBits() - 1;
- }
- if (const auto *Cast = dyn_cast<SExtInst>(Val)) {
- isSigned = true;
- return Cast->getSrcTy()->getScalarSizeInBits() - 1;
- }
- if (const auto *Cast = dyn_cast<ZExtInst>(Val)) {
- isSigned = false;
- return Cast->getSrcTy()->getScalarSizeInBits();
- }
- isSigned = false;
- return Val->getType()->getScalarSizeInBits();
- }
- bool isStridedAccess(const SCEV *Ptr) const {
- return Ptr && isa<SCEVAddRecExpr>(Ptr);
- }
- const SCEVConstant *getConstantStrideStep(ScalarEvolution *SE,
- const SCEV *Ptr) const {
- if (!isStridedAccess(Ptr))
- return nullptr;
- const SCEVAddRecExpr *AddRec = cast<SCEVAddRecExpr>(Ptr);
- return dyn_cast<SCEVConstant>(AddRec->getStepRecurrence(*SE));
- }
- bool isConstantStridedAccessLessThan(ScalarEvolution *SE, const SCEV *Ptr,
- int64_t MergeDistance) const {
- const SCEVConstant *Step = getConstantStrideStep(SE, Ptr);
- if (!Step)
- return false;
- APInt StrideVal = Step->getAPInt();
- if (StrideVal.getBitWidth() > 64)
- return false;
- // FIXME: Need to take absolute value for negative stride case.
- return StrideVal.getSExtValue() < MergeDistance;
- }
- };
- /// CRTP base class for use as a mix-in that aids implementing
- /// a TargetTransformInfo-compatible class.
- template <typename T>
- class TargetTransformInfoImplCRTPBase : public TargetTransformInfoImplBase {
- private:
- typedef TargetTransformInfoImplBase BaseT;
- protected:
- explicit TargetTransformInfoImplCRTPBase(const DataLayout &DL) : BaseT(DL) {}
- public:
- using BaseT::getGEPCost;
- int getGEPCost(Type *PointeeType, const Value *Ptr,
- ArrayRef<const Value *> Operands,
- TTI::TargetCostKind CostKind = TTI::TCK_SizeAndLatency) {
- assert(PointeeType && Ptr && "can't get GEPCost of nullptr");
- // TODO: will remove this when pointers have an opaque type.
- assert(Ptr->getType()->getScalarType()->getPointerElementType() ==
- PointeeType &&
- "explicit pointee type doesn't match operand's pointee type");
- auto *BaseGV = dyn_cast<GlobalValue>(Ptr->stripPointerCasts());
- bool HasBaseReg = (BaseGV == nullptr);
- auto PtrSizeBits = DL.getPointerTypeSizeInBits(Ptr->getType());
- APInt BaseOffset(PtrSizeBits, 0);
- int64_t Scale = 0;
- auto GTI = gep_type_begin(PointeeType, Operands);
- Type *TargetType = nullptr;
- // Handle the case where the GEP instruction has a single operand,
- // the basis, therefore TargetType is a nullptr.
- if (Operands.empty())
- return !BaseGV ? TTI::TCC_Free : TTI::TCC_Basic;
- for (auto I = Operands.begin(); I != Operands.end(); ++I, ++GTI) {
- TargetType = GTI.getIndexedType();
- // We assume that the cost of Scalar GEP with constant index and the
- // cost of Vector GEP with splat constant index are the same.
- const ConstantInt *ConstIdx = dyn_cast<ConstantInt>(*I);
- if (!ConstIdx)
- if (auto Splat = getSplatValue(*I))
- ConstIdx = dyn_cast<ConstantInt>(Splat);
- if (StructType *STy = GTI.getStructTypeOrNull()) {
- // For structures the index is always splat or scalar constant
- assert(ConstIdx && "Unexpected GEP index");
- uint64_t Field = ConstIdx->getZExtValue();
- BaseOffset += DL.getStructLayout(STy)->getElementOffset(Field);
- } else {
- // If this operand is a scalable type, bail out early.
- // TODO: handle scalable vectors
- if (isa<ScalableVectorType>(TargetType))
- return TTI::TCC_Basic;
- int64_t ElementSize =
- DL.getTypeAllocSize(GTI.getIndexedType()).getFixedSize();
- if (ConstIdx) {
- BaseOffset +=
- ConstIdx->getValue().sextOrTrunc(PtrSizeBits) * ElementSize;
- } else {
- // Needs scale register.
- if (Scale != 0)
- // No addressing mode takes two scale registers.
- return TTI::TCC_Basic;
- Scale = ElementSize;
- }
- }
- }
- if (static_cast<T *>(this)->isLegalAddressingMode(
- TargetType, const_cast<GlobalValue *>(BaseGV),
- BaseOffset.sextOrTrunc(64).getSExtValue(), HasBaseReg, Scale,
- Ptr->getType()->getPointerAddressSpace()))
- return TTI::TCC_Free;
- return TTI::TCC_Basic;
- }
- int getUserCost(const User *U, ArrayRef<const Value *> Operands,
- TTI::TargetCostKind CostKind) {
- auto *TargetTTI = static_cast<T *>(this);
- // Handle non-intrinsic calls, invokes, and callbr.
- // FIXME: Unlikely to be true for anything but CodeSize.
- auto *CB = dyn_cast<CallBase>(U);
- if (CB && !isa<IntrinsicInst>(U)) {
- if (const Function *F = CB->getCalledFunction()) {
- if (!TargetTTI->isLoweredToCall(F))
- return TTI::TCC_Basic; // Give a basic cost if it will be lowered
- return TTI::TCC_Basic * (F->getFunctionType()->getNumParams() + 1);
- }
- // For indirect or other calls, scale cost by number of arguments.
- return TTI::TCC_Basic * (CB->arg_size() + 1);
- }
- Type *Ty = U->getType();
- Type *OpTy =
- U->getNumOperands() == 1 ? U->getOperand(0)->getType() : nullptr;
- unsigned Opcode = Operator::getOpcode(U);
- auto *I = dyn_cast<Instruction>(U);
- switch (Opcode) {
- default:
- break;
- case Instruction::Call: {
- assert(isa<IntrinsicInst>(U) && "Unexpected non-intrinsic call");
- auto *Intrinsic = cast<IntrinsicInst>(U);
- IntrinsicCostAttributes CostAttrs(Intrinsic->getIntrinsicID(), *CB);
- return TargetTTI->getIntrinsicInstrCost(CostAttrs, CostKind);
- }
- case Instruction::Br:
- case Instruction::Ret:
- case Instruction::PHI:
- return TargetTTI->getCFInstrCost(Opcode, CostKind);
- case Instruction::ExtractValue:
- case Instruction::Freeze:
- return TTI::TCC_Free;
- case Instruction::Alloca:
- if (cast<AllocaInst>(U)->isStaticAlloca())
- return TTI::TCC_Free;
- break;
- case Instruction::GetElementPtr: {
- const GEPOperator *GEP = cast<GEPOperator>(U);
- return TargetTTI->getGEPCost(GEP->getSourceElementType(),
- GEP->getPointerOperand(),
- Operands.drop_front());
- }
- case Instruction::Add:
- case Instruction::FAdd:
- case Instruction::Sub:
- case Instruction::FSub:
- case Instruction::Mul:
- case Instruction::FMul:
- case Instruction::UDiv:
- case Instruction::SDiv:
- case Instruction::FDiv:
- case Instruction::URem:
- case Instruction::SRem:
- case Instruction::FRem:
- case Instruction::Shl:
- case Instruction::LShr:
- case Instruction::AShr:
- case Instruction::And:
- case Instruction::Or:
- case Instruction::Xor:
- case Instruction::FNeg: {
- TTI::OperandValueProperties Op1VP = TTI::OP_None;
- TTI::OperandValueProperties Op2VP = TTI::OP_None;
- TTI::OperandValueKind Op1VK =
- TTI::getOperandInfo(U->getOperand(0), Op1VP);
- TTI::OperandValueKind Op2VK = Opcode != Instruction::FNeg ?
- TTI::getOperandInfo(U->getOperand(1), Op2VP) : TTI::OK_AnyValue;
- SmallVector<const Value *, 2> Operands(U->operand_values());
- return TargetTTI->getArithmeticInstrCost(Opcode, Ty, CostKind,
- Op1VK, Op2VK,
- Op1VP, Op2VP, Operands, I);
- }
- case Instruction::IntToPtr:
- case Instruction::PtrToInt:
- case Instruction::SIToFP:
- case Instruction::UIToFP:
- case Instruction::FPToUI:
- case Instruction::FPToSI:
- case Instruction::Trunc:
- case Instruction::FPTrunc:
- case Instruction::BitCast:
- case Instruction::FPExt:
- case Instruction::SExt:
- case Instruction::ZExt:
- case Instruction::AddrSpaceCast:
- return TargetTTI->getCastInstrCost(
- Opcode, Ty, OpTy, TTI::getCastContextHint(I), CostKind, I);
- case Instruction::Store: {
- auto *SI = cast<StoreInst>(U);
- Type *ValTy = U->getOperand(0)->getType();
- return TargetTTI->getMemoryOpCost(Opcode, ValTy, SI->getAlign(),
- SI->getPointerAddressSpace(),
- CostKind, I);
- }
- case Instruction::Load: {
- auto *LI = cast<LoadInst>(U);
- return TargetTTI->getMemoryOpCost(Opcode, U->getType(), LI->getAlign(),
- LI->getPointerAddressSpace(),
- CostKind, I);
- }
- case Instruction::Select: {
- Type *CondTy = U->getOperand(0)->getType();
- return TargetTTI->getCmpSelInstrCost(Opcode, U->getType(), CondTy,
- CmpInst::BAD_ICMP_PREDICATE,
- CostKind, I);
- }
- case Instruction::ICmp:
- case Instruction::FCmp: {
- Type *ValTy = U->getOperand(0)->getType();
- // TODO: Also handle ICmp/FCmp constant expressions.
- return TargetTTI->getCmpSelInstrCost(Opcode, ValTy, U->getType(),
- I ? cast<CmpInst>(I)->getPredicate()
- : CmpInst::BAD_ICMP_PREDICATE,
- CostKind, I);
- }
- case Instruction::InsertElement: {
- auto *IE = dyn_cast<InsertElementInst>(U);
- if (!IE)
- return TTI::TCC_Basic; // FIXME
- auto *CI = dyn_cast<ConstantInt>(IE->getOperand(2));
- unsigned Idx = CI ? CI->getZExtValue() : -1;
- return TargetTTI->getVectorInstrCost(Opcode, Ty, Idx);
- }
- case Instruction::ShuffleVector: {
- auto *Shuffle = dyn_cast<ShuffleVectorInst>(U);
- if (!Shuffle)
- return TTI::TCC_Basic; // FIXME
- auto *VecTy = cast<VectorType>(U->getType());
- auto *VecSrcTy = cast<VectorType>(U->getOperand(0)->getType());
- // TODO: Identify and add costs for insert subvector, etc.
- int SubIndex;
- if (Shuffle->isExtractSubvectorMask(SubIndex))
- return TargetTTI->getShuffleCost(TTI::SK_ExtractSubvector, VecSrcTy,
- SubIndex, VecTy);
- else if (Shuffle->changesLength())
- return CostKind == TTI::TCK_RecipThroughput ? -1 : 1;
- else if (Shuffle->isIdentity())
- return 0;
- else if (Shuffle->isReverse())
- return TargetTTI->getShuffleCost(TTI::SK_Reverse, VecTy, 0, nullptr);
- else if (Shuffle->isSelect())
- return TargetTTI->getShuffleCost(TTI::SK_Select, VecTy, 0, nullptr);
- else if (Shuffle->isTranspose())
- return TargetTTI->getShuffleCost(TTI::SK_Transpose, VecTy, 0, nullptr);
- else if (Shuffle->isZeroEltSplat())
- return TargetTTI->getShuffleCost(TTI::SK_Broadcast, VecTy, 0, nullptr);
- else if (Shuffle->isSingleSource())
- return TargetTTI->getShuffleCost(TTI::SK_PermuteSingleSrc, VecTy, 0,
- nullptr);
- return TargetTTI->getShuffleCost(TTI::SK_PermuteTwoSrc, VecTy, 0,
- nullptr);
- }
- case Instruction::ExtractElement: {
- unsigned Idx = -1;
- auto *EEI = dyn_cast<ExtractElementInst>(U);
- if (!EEI)
- return TTI::TCC_Basic; // FIXME
- auto *CI = dyn_cast<ConstantInt>(EEI->getOperand(1));
- if (CI)
- Idx = CI->getZExtValue();
- // Try to match a reduction (a series of shufflevector and vector ops
- // followed by an extractelement).
- unsigned RdxOpcode;
- VectorType *RdxType;
- bool IsPairwise;
- switch (TTI::matchVectorReduction(EEI, RdxOpcode, RdxType, IsPairwise)) {
- case TTI::RK_Arithmetic:
- return TargetTTI->getArithmeticReductionCost(RdxOpcode, RdxType,
- IsPairwise, CostKind);
- case TTI::RK_MinMax:
- return TargetTTI->getMinMaxReductionCost(
- RdxType, cast<VectorType>(CmpInst::makeCmpResultType(RdxType)),
- IsPairwise, /*IsUnsigned=*/false, CostKind);
- case TTI::RK_UnsignedMinMax:
- return TargetTTI->getMinMaxReductionCost(
- RdxType, cast<VectorType>(CmpInst::makeCmpResultType(RdxType)),
- IsPairwise, /*IsUnsigned=*/true, CostKind);
- case TTI::RK_None:
- break;
- }
- return TargetTTI->getVectorInstrCost(Opcode, U->getOperand(0)->getType(),
- Idx);
- }
- }
- // By default, just classify everything as 'basic'.
- return TTI::TCC_Basic;
- }
- int getInstructionLatency(const Instruction *I) {
- SmallVector<const Value *, 4> Operands(I->operand_values());
- if (getUserCost(I, Operands, TTI::TCK_Latency) == TTI::TCC_Free)
- return 0;
- if (isa<LoadInst>(I))
- return 4;
- Type *DstTy = I->getType();
- // Usually an intrinsic is a simple instruction.
- // A real function call is much slower.
- if (auto *CI = dyn_cast<CallInst>(I)) {
- const Function *F = CI->getCalledFunction();
- if (!F || static_cast<T *>(this)->isLoweredToCall(F))
- return 40;
- // Some intrinsics return a value and a flag, we use the value type
- // to decide its latency.
- if (StructType *StructTy = dyn_cast<StructType>(DstTy))
- DstTy = StructTy->getElementType(0);
- // Fall through to simple instructions.
- }
- if (VectorType *VectorTy = dyn_cast<VectorType>(DstTy))
- DstTy = VectorTy->getElementType();
- if (DstTy->isFloatingPointTy())
- return 3;
- return 1;
- }
- };
- } // namespace llvm
- #endif
- #ifdef __GNUC__
- #pragma GCC diagnostic pop
- #endif
|