1 //===- llvm/Analysis/TargetTransformInfo.cpp ------------------------------===// 2 // 3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4 // See https://llvm.org/LICENSE.txt for license information. 5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6 // 7 //===----------------------------------------------------------------------===// 8 9 #include "llvm/Analysis/TargetTransformInfo.h" 10 #include "llvm/Analysis/CFG.h" 11 #include "llvm/Analysis/LoopIterator.h" 12 #include "llvm/Analysis/TargetTransformInfoImpl.h" 13 #include "llvm/IR/CFG.h" 14 #include "llvm/IR/Dominators.h" 15 #include "llvm/IR/Instruction.h" 16 #include "llvm/IR/Instructions.h" 17 #include "llvm/IR/IntrinsicInst.h" 18 #include "llvm/IR/Module.h" 19 #include "llvm/IR/Operator.h" 20 #include "llvm/IR/PatternMatch.h" 21 #include "llvm/InitializePasses.h" 22 #include "llvm/Support/CommandLine.h" 23 #include <utility> 24 25 using namespace llvm; 26 using namespace PatternMatch; 27 28 #define DEBUG_TYPE "tti" 29 30 static cl::opt<bool> EnableReduxCost("costmodel-reduxcost", cl::init(false), 31 cl::Hidden, 32 cl::desc("Recognize reduction patterns.")); 33 34 namespace { 35 /// No-op implementation of the TTI interface using the utility base 36 /// classes. 37 /// 38 /// This is used when no target specific information is available. 39 struct NoTTIImpl : TargetTransformInfoImplCRTPBase<NoTTIImpl> { 40 explicit NoTTIImpl(const DataLayout &DL) 41 : TargetTransformInfoImplCRTPBase<NoTTIImpl>(DL) {} 42 }; 43 } // namespace 44 45 bool HardwareLoopInfo::canAnalyze(LoopInfo &LI) { 46 // If the loop has irreducible control flow, it can not be converted to 47 // Hardware loop. 48 LoopBlocksRPO RPOT(L); 49 RPOT.perform(&LI); 50 if (containsIrreducibleCFG<const BasicBlock *>(RPOT, LI)) 51 return false; 52 return true; 53 } 54 55 IntrinsicCostAttributes::IntrinsicCostAttributes( 56 Intrinsic::ID Id, const CallBase &CI, InstructionCost ScalarizationCost) 57 : II(dyn_cast<IntrinsicInst>(&CI)), RetTy(CI.getType()), IID(Id), 58 ScalarizationCost(ScalarizationCost) { 59 60 if (const auto *FPMO = dyn_cast<FPMathOperator>(&CI)) 61 FMF = FPMO->getFastMathFlags(); 62 63 Arguments.insert(Arguments.begin(), CI.arg_begin(), CI.arg_end()); 64 FunctionType *FTy = CI.getCalledFunction()->getFunctionType(); 65 ParamTys.insert(ParamTys.begin(), FTy->param_begin(), FTy->param_end()); 66 } 67 68 IntrinsicCostAttributes::IntrinsicCostAttributes(Intrinsic::ID Id, Type *RTy, 69 ArrayRef<Type *> Tys, 70 FastMathFlags Flags, 71 const IntrinsicInst *I, 72 InstructionCost ScalarCost) 73 : II(I), RetTy(RTy), IID(Id), FMF(Flags), ScalarizationCost(ScalarCost) { 74 ParamTys.insert(ParamTys.begin(), Tys.begin(), Tys.end()); 75 } 76 77 IntrinsicCostAttributes::IntrinsicCostAttributes(Intrinsic::ID Id, Type *Ty, 78 ArrayRef<const Value *> Args) 79 : RetTy(Ty), IID(Id) { 80 81 Arguments.insert(Arguments.begin(), Args.begin(), Args.end()); 82 ParamTys.reserve(Arguments.size()); 83 for (unsigned Idx = 0, Size = Arguments.size(); Idx != Size; ++Idx) 84 ParamTys.push_back(Arguments[Idx]->getType()); 85 } 86 87 IntrinsicCostAttributes::IntrinsicCostAttributes(Intrinsic::ID Id, Type *RTy, 88 ArrayRef<const Value *> Args, 89 ArrayRef<Type *> Tys, 90 FastMathFlags Flags, 91 const IntrinsicInst *I, 92 InstructionCost ScalarCost) 93 : II(I), RetTy(RTy), IID(Id), FMF(Flags), ScalarizationCost(ScalarCost) { 94 ParamTys.insert(ParamTys.begin(), Tys.begin(), Tys.end()); 95 Arguments.insert(Arguments.begin(), Args.begin(), Args.end()); 96 } 97 98 bool HardwareLoopInfo::isHardwareLoopCandidate(ScalarEvolution &SE, 99 LoopInfo &LI, DominatorTree &DT, 100 bool ForceNestedLoop, 101 bool ForceHardwareLoopPHI) { 102 SmallVector<BasicBlock *, 4> ExitingBlocks; 103 L->getExitingBlocks(ExitingBlocks); 104 105 for (BasicBlock *BB : ExitingBlocks) { 106 // If we pass the updated counter back through a phi, we need to know 107 // which latch the updated value will be coming from. 108 if (!L->isLoopLatch(BB)) { 109 if (ForceHardwareLoopPHI || CounterInReg) 110 continue; 111 } 112 113 const SCEV *EC = SE.getExitCount(L, BB); 114 if (isa<SCEVCouldNotCompute>(EC)) 115 continue; 116 if (const SCEVConstant *ConstEC = dyn_cast<SCEVConstant>(EC)) { 117 if (ConstEC->getValue()->isZero()) 118 continue; 119 } else if (!SE.isLoopInvariant(EC, L)) 120 continue; 121 122 if (SE.getTypeSizeInBits(EC->getType()) > CountType->getBitWidth()) 123 continue; 124 125 // If this exiting block is contained in a nested loop, it is not eligible 126 // for insertion of the branch-and-decrement since the inner loop would 127 // end up messing up the value in the CTR. 128 if (!IsNestingLegal && LI.getLoopFor(BB) != L && !ForceNestedLoop) 129 continue; 130 131 // We now have a loop-invariant count of loop iterations (which is not the 132 // constant zero) for which we know that this loop will not exit via this 133 // existing block. 134 135 // We need to make sure that this block will run on every loop iteration. 136 // For this to be true, we must dominate all blocks with backedges. Such 137 // blocks are in-loop predecessors to the header block. 138 bool NotAlways = false; 139 for (BasicBlock *Pred : predecessors(L->getHeader())) { 140 if (!L->contains(Pred)) 141 continue; 142 143 if (!DT.dominates(BB, Pred)) { 144 NotAlways = true; 145 break; 146 } 147 } 148 149 if (NotAlways) 150 continue; 151 152 // Make sure this blocks ends with a conditional branch. 153 Instruction *TI = BB->getTerminator(); 154 if (!TI) 155 continue; 156 157 if (BranchInst *BI = dyn_cast<BranchInst>(TI)) { 158 if (!BI->isConditional()) 159 continue; 160 161 ExitBranch = BI; 162 } else 163 continue; 164 165 // Note that this block may not be the loop latch block, even if the loop 166 // has a latch block. 167 ExitBlock = BB; 168 ExitCount = EC; 169 break; 170 } 171 172 if (!ExitBlock) 173 return false; 174 return true; 175 } 176 177 TargetTransformInfo::TargetTransformInfo(const DataLayout &DL) 178 : TTIImpl(new Model<NoTTIImpl>(NoTTIImpl(DL))) {} 179 180 TargetTransformInfo::~TargetTransformInfo() = default; 181 182 TargetTransformInfo::TargetTransformInfo(TargetTransformInfo &&Arg) 183 : TTIImpl(std::move(Arg.TTIImpl)) {} 184 185 TargetTransformInfo &TargetTransformInfo::operator=(TargetTransformInfo &&RHS) { 186 TTIImpl = std::move(RHS.TTIImpl); 187 return *this; 188 } 189 190 unsigned TargetTransformInfo::getInliningThresholdMultiplier() const { 191 return TTIImpl->getInliningThresholdMultiplier(); 192 } 193 194 unsigned 195 TargetTransformInfo::adjustInliningThreshold(const CallBase *CB) const { 196 return TTIImpl->adjustInliningThreshold(CB); 197 } 198 199 int TargetTransformInfo::getInlinerVectorBonusPercent() const { 200 return TTIImpl->getInlinerVectorBonusPercent(); 201 } 202 203 InstructionCost 204 TargetTransformInfo::getGEPCost(Type *PointeeType, const Value *Ptr, 205 ArrayRef<const Value *> Operands, 206 TTI::TargetCostKind CostKind) const { 207 return TTIImpl->getGEPCost(PointeeType, Ptr, Operands, CostKind); 208 } 209 210 unsigned TargetTransformInfo::getEstimatedNumberOfCaseClusters( 211 const SwitchInst &SI, unsigned &JTSize, ProfileSummaryInfo *PSI, 212 BlockFrequencyInfo *BFI) const { 213 return TTIImpl->getEstimatedNumberOfCaseClusters(SI, JTSize, PSI, BFI); 214 } 215 216 InstructionCost 217 TargetTransformInfo::getUserCost(const User *U, 218 ArrayRef<const Value *> Operands, 219 enum TargetCostKind CostKind) const { 220 InstructionCost Cost = TTIImpl->getUserCost(U, Operands, CostKind); 221 assert((CostKind == TTI::TCK_RecipThroughput || Cost >= 0) && 222 "TTI should not produce negative costs!"); 223 return Cost; 224 } 225 226 BranchProbability TargetTransformInfo::getPredictableBranchThreshold() const { 227 return TTIImpl->getPredictableBranchThreshold(); 228 } 229 230 bool TargetTransformInfo::hasBranchDivergence() const { 231 return TTIImpl->hasBranchDivergence(); 232 } 233 234 bool TargetTransformInfo::useGPUDivergenceAnalysis() const { 235 return TTIImpl->useGPUDivergenceAnalysis(); 236 } 237 238 bool TargetTransformInfo::isSourceOfDivergence(const Value *V) const { 239 return TTIImpl->isSourceOfDivergence(V); 240 } 241 242 bool llvm::TargetTransformInfo::isAlwaysUniform(const Value *V) const { 243 return TTIImpl->isAlwaysUniform(V); 244 } 245 246 unsigned TargetTransformInfo::getFlatAddressSpace() const { 247 return TTIImpl->getFlatAddressSpace(); 248 } 249 250 bool TargetTransformInfo::collectFlatAddressOperands( 251 SmallVectorImpl<int> &OpIndexes, Intrinsic::ID IID) const { 252 return TTIImpl->collectFlatAddressOperands(OpIndexes, IID); 253 } 254 255 bool TargetTransformInfo::isNoopAddrSpaceCast(unsigned FromAS, 256 unsigned ToAS) const { 257 return TTIImpl->isNoopAddrSpaceCast(FromAS, ToAS); 258 } 259 260 bool TargetTransformInfo::canHaveNonUndefGlobalInitializerInAddressSpace( 261 unsigned AS) const { 262 return TTIImpl->canHaveNonUndefGlobalInitializerInAddressSpace(AS); 263 } 264 265 unsigned TargetTransformInfo::getAssumedAddrSpace(const Value *V) const { 266 return TTIImpl->getAssumedAddrSpace(V); 267 } 268 269 std::pair<const Value *, unsigned> 270 TargetTransformInfo::getPredicatedAddrSpace(const Value *V) const { 271 return TTIImpl->getPredicatedAddrSpace(V); 272 } 273 274 Value *TargetTransformInfo::rewriteIntrinsicWithAddressSpace( 275 IntrinsicInst *II, Value *OldV, Value *NewV) const { 276 return TTIImpl->rewriteIntrinsicWithAddressSpace(II, OldV, NewV); 277 } 278 279 bool TargetTransformInfo::isLoweredToCall(const Function *F) const { 280 return TTIImpl->isLoweredToCall(F); 281 } 282 283 bool TargetTransformInfo::isHardwareLoopProfitable( 284 Loop *L, ScalarEvolution &SE, AssumptionCache &AC, 285 TargetLibraryInfo *LibInfo, HardwareLoopInfo &HWLoopInfo) const { 286 return TTIImpl->isHardwareLoopProfitable(L, SE, AC, LibInfo, HWLoopInfo); 287 } 288 289 bool TargetTransformInfo::preferPredicateOverEpilogue( 290 Loop *L, LoopInfo *LI, ScalarEvolution &SE, AssumptionCache &AC, 291 TargetLibraryInfo *TLI, DominatorTree *DT, 292 const LoopAccessInfo *LAI) const { 293 return TTIImpl->preferPredicateOverEpilogue(L, LI, SE, AC, TLI, DT, LAI); 294 } 295 296 bool TargetTransformInfo::emitGetActiveLaneMask() const { 297 return TTIImpl->emitGetActiveLaneMask(); 298 } 299 300 Optional<Instruction *> 301 TargetTransformInfo::instCombineIntrinsic(InstCombiner &IC, 302 IntrinsicInst &II) const { 303 return TTIImpl->instCombineIntrinsic(IC, II); 304 } 305 306 Optional<Value *> TargetTransformInfo::simplifyDemandedUseBitsIntrinsic( 307 InstCombiner &IC, IntrinsicInst &II, APInt DemandedMask, KnownBits &Known, 308 bool &KnownBitsComputed) const { 309 return TTIImpl->simplifyDemandedUseBitsIntrinsic(IC, II, DemandedMask, Known, 310 KnownBitsComputed); 311 } 312 313 Optional<Value *> TargetTransformInfo::simplifyDemandedVectorEltsIntrinsic( 314 InstCombiner &IC, IntrinsicInst &II, APInt DemandedElts, APInt &UndefElts, 315 APInt &UndefElts2, APInt &UndefElts3, 316 std::function<void(Instruction *, unsigned, APInt, APInt &)> 317 SimplifyAndSetOp) const { 318 return TTIImpl->simplifyDemandedVectorEltsIntrinsic( 319 IC, II, DemandedElts, UndefElts, UndefElts2, UndefElts3, 320 SimplifyAndSetOp); 321 } 322 323 void TargetTransformInfo::getUnrollingPreferences( 324 Loop *L, ScalarEvolution &SE, UnrollingPreferences &UP, 325 OptimizationRemarkEmitter *ORE) const { 326 return TTIImpl->getUnrollingPreferences(L, SE, UP, ORE); 327 } 328 329 void TargetTransformInfo::getPeelingPreferences(Loop *L, ScalarEvolution &SE, 330 PeelingPreferences &PP) const { 331 return TTIImpl->getPeelingPreferences(L, SE, PP); 332 } 333 334 bool TargetTransformInfo::isLegalAddImmediate(int64_t Imm) const { 335 return TTIImpl->isLegalAddImmediate(Imm); 336 } 337 338 bool TargetTransformInfo::isLegalICmpImmediate(int64_t Imm) const { 339 return TTIImpl->isLegalICmpImmediate(Imm); 340 } 341 342 bool TargetTransformInfo::isLegalAddressingMode(Type *Ty, GlobalValue *BaseGV, 343 int64_t BaseOffset, 344 bool HasBaseReg, int64_t Scale, 345 unsigned AddrSpace, 346 Instruction *I) const { 347 return TTIImpl->isLegalAddressingMode(Ty, BaseGV, BaseOffset, HasBaseReg, 348 Scale, AddrSpace, I); 349 } 350 351 bool TargetTransformInfo::isLSRCostLess(LSRCost &C1, LSRCost &C2) const { 352 return TTIImpl->isLSRCostLess(C1, C2); 353 } 354 355 bool TargetTransformInfo::isNumRegsMajorCostOfLSR() const { 356 return TTIImpl->isNumRegsMajorCostOfLSR(); 357 } 358 359 bool TargetTransformInfo::isProfitableLSRChainElement(Instruction *I) const { 360 return TTIImpl->isProfitableLSRChainElement(I); 361 } 362 363 bool TargetTransformInfo::canMacroFuseCmp() const { 364 return TTIImpl->canMacroFuseCmp(); 365 } 366 367 bool TargetTransformInfo::canSaveCmp(Loop *L, BranchInst **BI, 368 ScalarEvolution *SE, LoopInfo *LI, 369 DominatorTree *DT, AssumptionCache *AC, 370 TargetLibraryInfo *LibInfo) const { 371 return TTIImpl->canSaveCmp(L, BI, SE, LI, DT, AC, LibInfo); 372 } 373 374 TTI::AddressingModeKind 375 TargetTransformInfo::getPreferredAddressingMode(const Loop *L, 376 ScalarEvolution *SE) const { 377 return TTIImpl->getPreferredAddressingMode(L, SE); 378 } 379 380 bool TargetTransformInfo::isLegalMaskedStore(Type *DataType, 381 Align Alignment) const { 382 return TTIImpl->isLegalMaskedStore(DataType, Alignment); 383 } 384 385 bool TargetTransformInfo::isLegalMaskedLoad(Type *DataType, 386 Align Alignment) const { 387 return TTIImpl->isLegalMaskedLoad(DataType, Alignment); 388 } 389 390 bool TargetTransformInfo::isLegalNTStore(Type *DataType, 391 Align Alignment) const { 392 return TTIImpl->isLegalNTStore(DataType, Alignment); 393 } 394 395 bool TargetTransformInfo::isLegalNTLoad(Type *DataType, Align Alignment) const { 396 return TTIImpl->isLegalNTLoad(DataType, Alignment); 397 } 398 399 bool TargetTransformInfo::isLegalBroadcastLoad(Type *ElementTy, 400 ElementCount NumElements) const { 401 return TTIImpl->isLegalBroadcastLoad(ElementTy, NumElements); 402 } 403 404 bool TargetTransformInfo::isLegalMaskedGather(Type *DataType, 405 Align Alignment) const { 406 return TTIImpl->isLegalMaskedGather(DataType, Alignment); 407 } 408 409 bool TargetTransformInfo::isLegalMaskedScatter(Type *DataType, 410 Align Alignment) const { 411 return TTIImpl->isLegalMaskedScatter(DataType, Alignment); 412 } 413 414 bool TargetTransformInfo::forceScalarizeMaskedGather(VectorType *DataType, 415 Align Alignment) const { 416 return TTIImpl->forceScalarizeMaskedGather(DataType, Alignment); 417 } 418 419 bool TargetTransformInfo::forceScalarizeMaskedScatter(VectorType *DataType, 420 Align Alignment) const { 421 return TTIImpl->forceScalarizeMaskedScatter(DataType, Alignment); 422 } 423 424 bool TargetTransformInfo::isLegalMaskedCompressStore(Type *DataType) const { 425 return TTIImpl->isLegalMaskedCompressStore(DataType); 426 } 427 428 bool TargetTransformInfo::isLegalMaskedExpandLoad(Type *DataType) const { 429 return TTIImpl->isLegalMaskedExpandLoad(DataType); 430 } 431 432 bool TargetTransformInfo::enableOrderedReductions() const { 433 return TTIImpl->enableOrderedReductions(); 434 } 435 436 bool TargetTransformInfo::hasDivRemOp(Type *DataType, bool IsSigned) const { 437 return TTIImpl->hasDivRemOp(DataType, IsSigned); 438 } 439 440 bool TargetTransformInfo::hasVolatileVariant(Instruction *I, 441 unsigned AddrSpace) const { 442 return TTIImpl->hasVolatileVariant(I, AddrSpace); 443 } 444 445 bool TargetTransformInfo::prefersVectorizedAddressing() const { 446 return TTIImpl->prefersVectorizedAddressing(); 447 } 448 449 InstructionCost TargetTransformInfo::getScalingFactorCost( 450 Type *Ty, GlobalValue *BaseGV, int64_t BaseOffset, bool HasBaseReg, 451 int64_t Scale, unsigned AddrSpace) const { 452 InstructionCost Cost = TTIImpl->getScalingFactorCost( 453 Ty, BaseGV, BaseOffset, HasBaseReg, Scale, AddrSpace); 454 assert(Cost >= 0 && "TTI should not produce negative costs!"); 455 return Cost; 456 } 457 458 bool TargetTransformInfo::LSRWithInstrQueries() const { 459 return TTIImpl->LSRWithInstrQueries(); 460 } 461 462 bool TargetTransformInfo::isTruncateFree(Type *Ty1, Type *Ty2) const { 463 return TTIImpl->isTruncateFree(Ty1, Ty2); 464 } 465 466 bool TargetTransformInfo::isProfitableToHoist(Instruction *I) const { 467 return TTIImpl->isProfitableToHoist(I); 468 } 469 470 bool TargetTransformInfo::useAA() const { return TTIImpl->useAA(); } 471 472 bool TargetTransformInfo::isTypeLegal(Type *Ty) const { 473 return TTIImpl->isTypeLegal(Ty); 474 } 475 476 unsigned TargetTransformInfo::getRegUsageForType(Type *Ty) const { 477 return TTIImpl->getRegUsageForType(Ty); 478 } 479 480 bool TargetTransformInfo::shouldBuildLookupTables() const { 481 return TTIImpl->shouldBuildLookupTables(); 482 } 483 484 bool TargetTransformInfo::shouldBuildLookupTablesForConstant( 485 Constant *C) const { 486 return TTIImpl->shouldBuildLookupTablesForConstant(C); 487 } 488 489 bool TargetTransformInfo::shouldBuildRelLookupTables() const { 490 return TTIImpl->shouldBuildRelLookupTables(); 491 } 492 493 bool TargetTransformInfo::useColdCCForColdCall(Function &F) const { 494 return TTIImpl->useColdCCForColdCall(F); 495 } 496 497 InstructionCost 498 TargetTransformInfo::getScalarizationOverhead(VectorType *Ty, 499 const APInt &DemandedElts, 500 bool Insert, bool Extract) const { 501 return TTIImpl->getScalarizationOverhead(Ty, DemandedElts, Insert, Extract); 502 } 503 504 InstructionCost TargetTransformInfo::getOperandsScalarizationOverhead( 505 ArrayRef<const Value *> Args, ArrayRef<Type *> Tys) const { 506 return TTIImpl->getOperandsScalarizationOverhead(Args, Tys); 507 } 508 509 bool TargetTransformInfo::supportsEfficientVectorElementLoadStore() const { 510 return TTIImpl->supportsEfficientVectorElementLoadStore(); 511 } 512 513 bool TargetTransformInfo::enableAggressiveInterleaving( 514 bool LoopHasReductions) const { 515 return TTIImpl->enableAggressiveInterleaving(LoopHasReductions); 516 } 517 518 TargetTransformInfo::MemCmpExpansionOptions 519 TargetTransformInfo::enableMemCmpExpansion(bool OptSize, bool IsZeroCmp) const { 520 return TTIImpl->enableMemCmpExpansion(OptSize, IsZeroCmp); 521 } 522 523 bool TargetTransformInfo::enableInterleavedAccessVectorization() const { 524 return TTIImpl->enableInterleavedAccessVectorization(); 525 } 526 527 bool TargetTransformInfo::enableMaskedInterleavedAccessVectorization() const { 528 return TTIImpl->enableMaskedInterleavedAccessVectorization(); 529 } 530 531 bool TargetTransformInfo::isFPVectorizationPotentiallyUnsafe() const { 532 return TTIImpl->isFPVectorizationPotentiallyUnsafe(); 533 } 534 535 bool TargetTransformInfo::allowsMisalignedMemoryAccesses(LLVMContext &Context, 536 unsigned BitWidth, 537 unsigned AddressSpace, 538 Align Alignment, 539 bool *Fast) const { 540 return TTIImpl->allowsMisalignedMemoryAccesses(Context, BitWidth, 541 AddressSpace, Alignment, Fast); 542 } 543 544 TargetTransformInfo::PopcntSupportKind 545 TargetTransformInfo::getPopcntSupport(unsigned IntTyWidthInBit) const { 546 return TTIImpl->getPopcntSupport(IntTyWidthInBit); 547 } 548 549 bool TargetTransformInfo::haveFastSqrt(Type *Ty) const { 550 return TTIImpl->haveFastSqrt(Ty); 551 } 552 553 bool TargetTransformInfo::isFCmpOrdCheaperThanFCmpZero(Type *Ty) const { 554 return TTIImpl->isFCmpOrdCheaperThanFCmpZero(Ty); 555 } 556 557 InstructionCost TargetTransformInfo::getFPOpCost(Type *Ty) const { 558 InstructionCost Cost = TTIImpl->getFPOpCost(Ty); 559 assert(Cost >= 0 && "TTI should not produce negative costs!"); 560 return Cost; 561 } 562 563 InstructionCost TargetTransformInfo::getIntImmCodeSizeCost(unsigned Opcode, 564 unsigned Idx, 565 const APInt &Imm, 566 Type *Ty) const { 567 InstructionCost Cost = TTIImpl->getIntImmCodeSizeCost(Opcode, Idx, Imm, Ty); 568 assert(Cost >= 0 && "TTI should not produce negative costs!"); 569 return Cost; 570 } 571 572 InstructionCost 573 TargetTransformInfo::getIntImmCost(const APInt &Imm, Type *Ty, 574 TTI::TargetCostKind CostKind) const { 575 InstructionCost Cost = TTIImpl->getIntImmCost(Imm, Ty, CostKind); 576 assert(Cost >= 0 && "TTI should not produce negative costs!"); 577 return Cost; 578 } 579 580 InstructionCost TargetTransformInfo::getIntImmCostInst( 581 unsigned Opcode, unsigned Idx, const APInt &Imm, Type *Ty, 582 TTI::TargetCostKind CostKind, Instruction *Inst) const { 583 InstructionCost Cost = 584 TTIImpl->getIntImmCostInst(Opcode, Idx, Imm, Ty, CostKind, Inst); 585 assert(Cost >= 0 && "TTI should not produce negative costs!"); 586 return Cost; 587 } 588 589 InstructionCost 590 TargetTransformInfo::getIntImmCostIntrin(Intrinsic::ID IID, unsigned Idx, 591 const APInt &Imm, Type *Ty, 592 TTI::TargetCostKind CostKind) const { 593 InstructionCost Cost = 594 TTIImpl->getIntImmCostIntrin(IID, Idx, Imm, Ty, CostKind); 595 assert(Cost >= 0 && "TTI should not produce negative costs!"); 596 return Cost; 597 } 598 599 unsigned TargetTransformInfo::getNumberOfRegisters(unsigned ClassID) const { 600 return TTIImpl->getNumberOfRegisters(ClassID); 601 } 602 603 unsigned TargetTransformInfo::getRegisterClassForType(bool Vector, 604 Type *Ty) const { 605 return TTIImpl->getRegisterClassForType(Vector, Ty); 606 } 607 608 const char *TargetTransformInfo::getRegisterClassName(unsigned ClassID) const { 609 return TTIImpl->getRegisterClassName(ClassID); 610 } 611 612 TypeSize TargetTransformInfo::getRegisterBitWidth( 613 TargetTransformInfo::RegisterKind K) const { 614 return TTIImpl->getRegisterBitWidth(K); 615 } 616 617 unsigned TargetTransformInfo::getMinVectorRegisterBitWidth() const { 618 return TTIImpl->getMinVectorRegisterBitWidth(); 619 } 620 621 Optional<unsigned> TargetTransformInfo::getMaxVScale() const { 622 return TTIImpl->getMaxVScale(); 623 } 624 625 Optional<unsigned> TargetTransformInfo::getVScaleForTuning() const { 626 return TTIImpl->getVScaleForTuning(); 627 } 628 629 bool TargetTransformInfo::shouldMaximizeVectorBandwidth( 630 TargetTransformInfo::RegisterKind K) const { 631 return TTIImpl->shouldMaximizeVectorBandwidth(K); 632 } 633 634 ElementCount TargetTransformInfo::getMinimumVF(unsigned ElemWidth, 635 bool IsScalable) const { 636 return TTIImpl->getMinimumVF(ElemWidth, IsScalable); 637 } 638 639 unsigned TargetTransformInfo::getMaximumVF(unsigned ElemWidth, 640 unsigned Opcode) const { 641 return TTIImpl->getMaximumVF(ElemWidth, Opcode); 642 } 643 644 unsigned TargetTransformInfo::getStoreMinimumVF(unsigned VF, Type *ScalarMemTy, 645 Type *ScalarValTy) const { 646 return TTIImpl->getStoreMinimumVF(VF, ScalarMemTy, ScalarValTy); 647 } 648 649 bool TargetTransformInfo::shouldConsiderAddressTypePromotion( 650 const Instruction &I, bool &AllowPromotionWithoutCommonHeader) const { 651 return TTIImpl->shouldConsiderAddressTypePromotion( 652 I, AllowPromotionWithoutCommonHeader); 653 } 654 655 unsigned TargetTransformInfo::getCacheLineSize() const { 656 return TTIImpl->getCacheLineSize(); 657 } 658 659 llvm::Optional<unsigned> 660 TargetTransformInfo::getCacheSize(CacheLevel Level) const { 661 return TTIImpl->getCacheSize(Level); 662 } 663 664 llvm::Optional<unsigned> 665 TargetTransformInfo::getCacheAssociativity(CacheLevel Level) const { 666 return TTIImpl->getCacheAssociativity(Level); 667 } 668 669 unsigned TargetTransformInfo::getPrefetchDistance() const { 670 return TTIImpl->getPrefetchDistance(); 671 } 672 673 unsigned TargetTransformInfo::getMinPrefetchStride( 674 unsigned NumMemAccesses, unsigned NumStridedMemAccesses, 675 unsigned NumPrefetches, bool HasCall) const { 676 return TTIImpl->getMinPrefetchStride(NumMemAccesses, NumStridedMemAccesses, 677 NumPrefetches, HasCall); 678 } 679 680 unsigned TargetTransformInfo::getMaxPrefetchIterationsAhead() const { 681 return TTIImpl->getMaxPrefetchIterationsAhead(); 682 } 683 684 bool TargetTransformInfo::enableWritePrefetching() const { 685 return TTIImpl->enableWritePrefetching(); 686 } 687 688 unsigned TargetTransformInfo::getMaxInterleaveFactor(unsigned VF) const { 689 return TTIImpl->getMaxInterleaveFactor(VF); 690 } 691 692 TargetTransformInfo::OperandValueKind 693 TargetTransformInfo::getOperandInfo(const Value *V, 694 OperandValueProperties &OpProps) { 695 OperandValueKind OpInfo = OK_AnyValue; 696 OpProps = OP_None; 697 698 if (const auto *CI = dyn_cast<ConstantInt>(V)) { 699 if (CI->getValue().isPowerOf2()) 700 OpProps = OP_PowerOf2; 701 return OK_UniformConstantValue; 702 } 703 704 // A broadcast shuffle creates a uniform value. 705 // TODO: Add support for non-zero index broadcasts. 706 // TODO: Add support for different source vector width. 707 if (const auto *ShuffleInst = dyn_cast<ShuffleVectorInst>(V)) 708 if (ShuffleInst->isZeroEltSplat()) 709 OpInfo = OK_UniformValue; 710 711 const Value *Splat = getSplatValue(V); 712 713 // Check for a splat of a constant or for a non uniform vector of constants 714 // and check if the constant(s) are all powers of two. 715 if (isa<ConstantVector>(V) || isa<ConstantDataVector>(V)) { 716 OpInfo = OK_NonUniformConstantValue; 717 if (Splat) { 718 OpInfo = OK_UniformConstantValue; 719 if (auto *CI = dyn_cast<ConstantInt>(Splat)) 720 if (CI->getValue().isPowerOf2()) 721 OpProps = OP_PowerOf2; 722 } else if (const auto *CDS = dyn_cast<ConstantDataSequential>(V)) { 723 OpProps = OP_PowerOf2; 724 for (unsigned I = 0, E = CDS->getNumElements(); I != E; ++I) { 725 if (auto *CI = dyn_cast<ConstantInt>(CDS->getElementAsConstant(I))) 726 if (CI->getValue().isPowerOf2()) 727 continue; 728 OpProps = OP_None; 729 break; 730 } 731 } 732 } 733 734 // Check for a splat of a uniform value. This is not loop aware, so return 735 // true only for the obviously uniform cases (argument, globalvalue) 736 if (Splat && (isa<Argument>(Splat) || isa<GlobalValue>(Splat))) 737 OpInfo = OK_UniformValue; 738 739 return OpInfo; 740 } 741 742 InstructionCost TargetTransformInfo::getArithmeticInstrCost( 743 unsigned Opcode, Type *Ty, TTI::TargetCostKind CostKind, 744 OperandValueKind Opd1Info, OperandValueKind Opd2Info, 745 OperandValueProperties Opd1PropInfo, OperandValueProperties Opd2PropInfo, 746 ArrayRef<const Value *> Args, const Instruction *CxtI) const { 747 InstructionCost Cost = 748 TTIImpl->getArithmeticInstrCost(Opcode, Ty, CostKind, Opd1Info, Opd2Info, 749 Opd1PropInfo, Opd2PropInfo, Args, CxtI); 750 assert(Cost >= 0 && "TTI should not produce negative costs!"); 751 return Cost; 752 } 753 754 InstructionCost TargetTransformInfo::getShuffleCost( 755 ShuffleKind Kind, VectorType *Ty, ArrayRef<int> Mask, int Index, 756 VectorType *SubTp, ArrayRef<const Value *> Args) const { 757 InstructionCost Cost = 758 TTIImpl->getShuffleCost(Kind, Ty, Mask, Index, SubTp, Args); 759 assert(Cost >= 0 && "TTI should not produce negative costs!"); 760 return Cost; 761 } 762 763 TTI::CastContextHint 764 TargetTransformInfo::getCastContextHint(const Instruction *I) { 765 if (!I) 766 return CastContextHint::None; 767 768 auto getLoadStoreKind = [](const Value *V, unsigned LdStOp, unsigned MaskedOp, 769 unsigned GatScatOp) { 770 const Instruction *I = dyn_cast<Instruction>(V); 771 if (!I) 772 return CastContextHint::None; 773 774 if (I->getOpcode() == LdStOp) 775 return CastContextHint::Normal; 776 777 if (const IntrinsicInst *II = dyn_cast<IntrinsicInst>(I)) { 778 if (II->getIntrinsicID() == MaskedOp) 779 return TTI::CastContextHint::Masked; 780 if (II->getIntrinsicID() == GatScatOp) 781 return TTI::CastContextHint::GatherScatter; 782 } 783 784 return TTI::CastContextHint::None; 785 }; 786 787 switch (I->getOpcode()) { 788 case Instruction::ZExt: 789 case Instruction::SExt: 790 case Instruction::FPExt: 791 return getLoadStoreKind(I->getOperand(0), Instruction::Load, 792 Intrinsic::masked_load, Intrinsic::masked_gather); 793 case Instruction::Trunc: 794 case Instruction::FPTrunc: 795 if (I->hasOneUse()) 796 return getLoadStoreKind(*I->user_begin(), Instruction::Store, 797 Intrinsic::masked_store, 798 Intrinsic::masked_scatter); 799 break; 800 default: 801 return CastContextHint::None; 802 } 803 804 return TTI::CastContextHint::None; 805 } 806 807 InstructionCost TargetTransformInfo::getCastInstrCost( 808 unsigned Opcode, Type *Dst, Type *Src, CastContextHint CCH, 809 TTI::TargetCostKind CostKind, const Instruction *I) const { 810 assert((I == nullptr || I->getOpcode() == Opcode) && 811 "Opcode should reflect passed instruction."); 812 InstructionCost Cost = 813 TTIImpl->getCastInstrCost(Opcode, Dst, Src, CCH, CostKind, I); 814 assert(Cost >= 0 && "TTI should not produce negative costs!"); 815 return Cost; 816 } 817 818 InstructionCost TargetTransformInfo::getExtractWithExtendCost( 819 unsigned Opcode, Type *Dst, VectorType *VecTy, unsigned Index) const { 820 InstructionCost Cost = 821 TTIImpl->getExtractWithExtendCost(Opcode, Dst, VecTy, Index); 822 assert(Cost >= 0 && "TTI should not produce negative costs!"); 823 return Cost; 824 } 825 826 InstructionCost TargetTransformInfo::getCFInstrCost( 827 unsigned Opcode, TTI::TargetCostKind CostKind, const Instruction *I) const { 828 assert((I == nullptr || I->getOpcode() == Opcode) && 829 "Opcode should reflect passed instruction."); 830 InstructionCost Cost = TTIImpl->getCFInstrCost(Opcode, CostKind, I); 831 assert(Cost >= 0 && "TTI should not produce negative costs!"); 832 return Cost; 833 } 834 835 InstructionCost TargetTransformInfo::getCmpSelInstrCost( 836 unsigned Opcode, Type *ValTy, Type *CondTy, CmpInst::Predicate VecPred, 837 TTI::TargetCostKind CostKind, const Instruction *I) const { 838 assert((I == nullptr || I->getOpcode() == Opcode) && 839 "Opcode should reflect passed instruction."); 840 InstructionCost Cost = 841 TTIImpl->getCmpSelInstrCost(Opcode, ValTy, CondTy, VecPred, CostKind, I); 842 assert(Cost >= 0 && "TTI should not produce negative costs!"); 843 return Cost; 844 } 845 846 InstructionCost TargetTransformInfo::getVectorInstrCost(unsigned Opcode, 847 Type *Val, 848 unsigned Index) const { 849 InstructionCost Cost = TTIImpl->getVectorInstrCost(Opcode, Val, Index); 850 assert(Cost >= 0 && "TTI should not produce negative costs!"); 851 return Cost; 852 } 853 854 InstructionCost TargetTransformInfo::getReplicationShuffleCost( 855 Type *EltTy, int ReplicationFactor, int VF, const APInt &DemandedDstElts, 856 TTI::TargetCostKind CostKind) { 857 InstructionCost Cost = TTIImpl->getReplicationShuffleCost( 858 EltTy, ReplicationFactor, VF, DemandedDstElts, CostKind); 859 assert(Cost >= 0 && "TTI should not produce negative costs!"); 860 return Cost; 861 } 862 863 InstructionCost TargetTransformInfo::getMemoryOpCost( 864 unsigned Opcode, Type *Src, Align Alignment, unsigned AddressSpace, 865 TTI::TargetCostKind CostKind, const Instruction *I) const { 866 assert((I == nullptr || I->getOpcode() == Opcode) && 867 "Opcode should reflect passed instruction."); 868 InstructionCost Cost = TTIImpl->getMemoryOpCost(Opcode, Src, Alignment, 869 AddressSpace, CostKind, I); 870 assert(Cost >= 0 && "TTI should not produce negative costs!"); 871 return Cost; 872 } 873 874 InstructionCost TargetTransformInfo::getMaskedMemoryOpCost( 875 unsigned Opcode, Type *Src, Align Alignment, unsigned AddressSpace, 876 TTI::TargetCostKind CostKind) const { 877 InstructionCost Cost = TTIImpl->getMaskedMemoryOpCost(Opcode, Src, Alignment, 878 AddressSpace, CostKind); 879 assert(Cost >= 0 && "TTI should not produce negative costs!"); 880 return Cost; 881 } 882 883 InstructionCost TargetTransformInfo::getGatherScatterOpCost( 884 unsigned Opcode, Type *DataTy, const Value *Ptr, bool VariableMask, 885 Align Alignment, TTI::TargetCostKind CostKind, const Instruction *I) const { 886 InstructionCost Cost = TTIImpl->getGatherScatterOpCost( 887 Opcode, DataTy, Ptr, VariableMask, Alignment, CostKind, I); 888 assert(Cost >= 0 && "TTI should not produce negative costs!"); 889 return Cost; 890 } 891 892 InstructionCost TargetTransformInfo::getInterleavedMemoryOpCost( 893 unsigned Opcode, Type *VecTy, unsigned Factor, ArrayRef<unsigned> Indices, 894 Align Alignment, unsigned AddressSpace, TTI::TargetCostKind CostKind, 895 bool UseMaskForCond, bool UseMaskForGaps) const { 896 InstructionCost Cost = TTIImpl->getInterleavedMemoryOpCost( 897 Opcode, VecTy, Factor, Indices, Alignment, AddressSpace, CostKind, 898 UseMaskForCond, UseMaskForGaps); 899 assert(Cost >= 0 && "TTI should not produce negative costs!"); 900 return Cost; 901 } 902 903 InstructionCost 904 TargetTransformInfo::getIntrinsicInstrCost(const IntrinsicCostAttributes &ICA, 905 TTI::TargetCostKind CostKind) const { 906 InstructionCost Cost = TTIImpl->getIntrinsicInstrCost(ICA, CostKind); 907 assert(Cost >= 0 && "TTI should not produce negative costs!"); 908 return Cost; 909 } 910 911 InstructionCost 912 TargetTransformInfo::getCallInstrCost(Function *F, Type *RetTy, 913 ArrayRef<Type *> Tys, 914 TTI::TargetCostKind CostKind) const { 915 InstructionCost Cost = TTIImpl->getCallInstrCost(F, RetTy, Tys, CostKind); 916 assert(Cost >= 0 && "TTI should not produce negative costs!"); 917 return Cost; 918 } 919 920 unsigned TargetTransformInfo::getNumberOfParts(Type *Tp) const { 921 return TTIImpl->getNumberOfParts(Tp); 922 } 923 924 InstructionCost 925 TargetTransformInfo::getAddressComputationCost(Type *Tp, ScalarEvolution *SE, 926 const SCEV *Ptr) const { 927 InstructionCost Cost = TTIImpl->getAddressComputationCost(Tp, SE, Ptr); 928 assert(Cost >= 0 && "TTI should not produce negative costs!"); 929 return Cost; 930 } 931 932 InstructionCost TargetTransformInfo::getMemcpyCost(const Instruction *I) const { 933 InstructionCost Cost = TTIImpl->getMemcpyCost(I); 934 assert(Cost >= 0 && "TTI should not produce negative costs!"); 935 return Cost; 936 } 937 938 InstructionCost TargetTransformInfo::getArithmeticReductionCost( 939 unsigned Opcode, VectorType *Ty, Optional<FastMathFlags> FMF, 940 TTI::TargetCostKind CostKind) const { 941 InstructionCost Cost = 942 TTIImpl->getArithmeticReductionCost(Opcode, Ty, FMF, CostKind); 943 assert(Cost >= 0 && "TTI should not produce negative costs!"); 944 return Cost; 945 } 946 947 InstructionCost TargetTransformInfo::getMinMaxReductionCost( 948 VectorType *Ty, VectorType *CondTy, bool IsUnsigned, 949 TTI::TargetCostKind CostKind) const { 950 InstructionCost Cost = 951 TTIImpl->getMinMaxReductionCost(Ty, CondTy, IsUnsigned, CostKind); 952 assert(Cost >= 0 && "TTI should not produce negative costs!"); 953 return Cost; 954 } 955 956 InstructionCost TargetTransformInfo::getExtendedAddReductionCost( 957 bool IsMLA, bool IsUnsigned, Type *ResTy, VectorType *Ty, 958 TTI::TargetCostKind CostKind) const { 959 return TTIImpl->getExtendedAddReductionCost(IsMLA, IsUnsigned, ResTy, Ty, 960 CostKind); 961 } 962 963 InstructionCost 964 TargetTransformInfo::getCostOfKeepingLiveOverCall(ArrayRef<Type *> Tys) const { 965 return TTIImpl->getCostOfKeepingLiveOverCall(Tys); 966 } 967 968 bool TargetTransformInfo::getTgtMemIntrinsic(IntrinsicInst *Inst, 969 MemIntrinsicInfo &Info) const { 970 return TTIImpl->getTgtMemIntrinsic(Inst, Info); 971 } 972 973 unsigned TargetTransformInfo::getAtomicMemIntrinsicMaxElementSize() const { 974 return TTIImpl->getAtomicMemIntrinsicMaxElementSize(); 975 } 976 977 Value *TargetTransformInfo::getOrCreateResultFromMemIntrinsic( 978 IntrinsicInst *Inst, Type *ExpectedType) const { 979 return TTIImpl->getOrCreateResultFromMemIntrinsic(Inst, ExpectedType); 980 } 981 982 Type *TargetTransformInfo::getMemcpyLoopLoweringType( 983 LLVMContext &Context, Value *Length, unsigned SrcAddrSpace, 984 unsigned DestAddrSpace, unsigned SrcAlign, unsigned DestAlign, 985 Optional<uint32_t> AtomicElementSize) const { 986 return TTIImpl->getMemcpyLoopLoweringType(Context, Length, SrcAddrSpace, 987 DestAddrSpace, SrcAlign, DestAlign, 988 AtomicElementSize); 989 } 990 991 void TargetTransformInfo::getMemcpyLoopResidualLoweringType( 992 SmallVectorImpl<Type *> &OpsOut, LLVMContext &Context, 993 unsigned RemainingBytes, unsigned SrcAddrSpace, unsigned DestAddrSpace, 994 unsigned SrcAlign, unsigned DestAlign, 995 Optional<uint32_t> AtomicCpySize) const { 996 TTIImpl->getMemcpyLoopResidualLoweringType( 997 OpsOut, Context, RemainingBytes, SrcAddrSpace, DestAddrSpace, SrcAlign, 998 DestAlign, AtomicCpySize); 999 } 1000 1001 bool TargetTransformInfo::areInlineCompatible(const Function *Caller, 1002 const Function *Callee) const { 1003 return TTIImpl->areInlineCompatible(Caller, Callee); 1004 } 1005 1006 bool TargetTransformInfo::areTypesABICompatible( 1007 const Function *Caller, const Function *Callee, 1008 const ArrayRef<Type *> &Types) const { 1009 return TTIImpl->areTypesABICompatible(Caller, Callee, Types); 1010 } 1011 1012 bool TargetTransformInfo::isIndexedLoadLegal(MemIndexedMode Mode, 1013 Type *Ty) const { 1014 return TTIImpl->isIndexedLoadLegal(Mode, Ty); 1015 } 1016 1017 bool TargetTransformInfo::isIndexedStoreLegal(MemIndexedMode Mode, 1018 Type *Ty) const { 1019 return TTIImpl->isIndexedStoreLegal(Mode, Ty); 1020 } 1021 1022 unsigned TargetTransformInfo::getLoadStoreVecRegBitWidth(unsigned AS) const { 1023 return TTIImpl->getLoadStoreVecRegBitWidth(AS); 1024 } 1025 1026 bool TargetTransformInfo::isLegalToVectorizeLoad(LoadInst *LI) const { 1027 return TTIImpl->isLegalToVectorizeLoad(LI); 1028 } 1029 1030 bool TargetTransformInfo::isLegalToVectorizeStore(StoreInst *SI) const { 1031 return TTIImpl->isLegalToVectorizeStore(SI); 1032 } 1033 1034 bool TargetTransformInfo::isLegalToVectorizeLoadChain( 1035 unsigned ChainSizeInBytes, Align Alignment, unsigned AddrSpace) const { 1036 return TTIImpl->isLegalToVectorizeLoadChain(ChainSizeInBytes, Alignment, 1037 AddrSpace); 1038 } 1039 1040 bool TargetTransformInfo::isLegalToVectorizeStoreChain( 1041 unsigned ChainSizeInBytes, Align Alignment, unsigned AddrSpace) const { 1042 return TTIImpl->isLegalToVectorizeStoreChain(ChainSizeInBytes, Alignment, 1043 AddrSpace); 1044 } 1045 1046 bool TargetTransformInfo::isLegalToVectorizeReduction( 1047 const RecurrenceDescriptor &RdxDesc, ElementCount VF) const { 1048 return TTIImpl->isLegalToVectorizeReduction(RdxDesc, VF); 1049 } 1050 1051 bool TargetTransformInfo::isElementTypeLegalForScalableVector(Type *Ty) const { 1052 return TTIImpl->isElementTypeLegalForScalableVector(Ty); 1053 } 1054 1055 unsigned TargetTransformInfo::getLoadVectorFactor(unsigned VF, 1056 unsigned LoadSize, 1057 unsigned ChainSizeInBytes, 1058 VectorType *VecTy) const { 1059 return TTIImpl->getLoadVectorFactor(VF, LoadSize, ChainSizeInBytes, VecTy); 1060 } 1061 1062 unsigned TargetTransformInfo::getStoreVectorFactor(unsigned VF, 1063 unsigned StoreSize, 1064 unsigned ChainSizeInBytes, 1065 VectorType *VecTy) const { 1066 return TTIImpl->getStoreVectorFactor(VF, StoreSize, ChainSizeInBytes, VecTy); 1067 } 1068 1069 bool TargetTransformInfo::preferInLoopReduction(unsigned Opcode, Type *Ty, 1070 ReductionFlags Flags) const { 1071 return TTIImpl->preferInLoopReduction(Opcode, Ty, Flags); 1072 } 1073 1074 bool TargetTransformInfo::preferPredicatedReductionSelect( 1075 unsigned Opcode, Type *Ty, ReductionFlags Flags) const { 1076 return TTIImpl->preferPredicatedReductionSelect(Opcode, Ty, Flags); 1077 } 1078 1079 TargetTransformInfo::VPLegalization 1080 TargetTransformInfo::getVPLegalizationStrategy(const VPIntrinsic &VPI) const { 1081 return TTIImpl->getVPLegalizationStrategy(VPI); 1082 } 1083 1084 bool TargetTransformInfo::shouldExpandReduction(const IntrinsicInst *II) const { 1085 return TTIImpl->shouldExpandReduction(II); 1086 } 1087 1088 unsigned TargetTransformInfo::getGISelRematGlobalCost() const { 1089 return TTIImpl->getGISelRematGlobalCost(); 1090 } 1091 1092 bool TargetTransformInfo::supportsScalableVectors() const { 1093 return TTIImpl->supportsScalableVectors(); 1094 } 1095 1096 bool TargetTransformInfo::enableScalableVectorization() const { 1097 return TTIImpl->enableScalableVectorization(); 1098 } 1099 1100 bool TargetTransformInfo::hasActiveVectorLength(unsigned Opcode, Type *DataType, 1101 Align Alignment) const { 1102 return TTIImpl->hasActiveVectorLength(Opcode, DataType, Alignment); 1103 } 1104 1105 InstructionCost 1106 TargetTransformInfo::getInstructionLatency(const Instruction *I) const { 1107 return TTIImpl->getInstructionLatency(I); 1108 } 1109 1110 InstructionCost 1111 TargetTransformInfo::getInstructionThroughput(const Instruction *I) const { 1112 TTI::TargetCostKind CostKind = TTI::TCK_RecipThroughput; 1113 1114 switch (I->getOpcode()) { 1115 case Instruction::GetElementPtr: 1116 case Instruction::Ret: 1117 case Instruction::PHI: 1118 case Instruction::Br: 1119 case Instruction::Add: 1120 case Instruction::FAdd: 1121 case Instruction::Sub: 1122 case Instruction::FSub: 1123 case Instruction::Mul: 1124 case Instruction::FMul: 1125 case Instruction::UDiv: 1126 case Instruction::SDiv: 1127 case Instruction::FDiv: 1128 case Instruction::URem: 1129 case Instruction::SRem: 1130 case Instruction::FRem: 1131 case Instruction::Shl: 1132 case Instruction::LShr: 1133 case Instruction::AShr: 1134 case Instruction::And: 1135 case Instruction::Or: 1136 case Instruction::Xor: 1137 case Instruction::FNeg: 1138 case Instruction::Select: 1139 case Instruction::ICmp: 1140 case Instruction::FCmp: 1141 case Instruction::Store: 1142 case Instruction::Load: 1143 case Instruction::ZExt: 1144 case Instruction::SExt: 1145 case Instruction::FPToUI: 1146 case Instruction::FPToSI: 1147 case Instruction::FPExt: 1148 case Instruction::PtrToInt: 1149 case Instruction::IntToPtr: 1150 case Instruction::SIToFP: 1151 case Instruction::UIToFP: 1152 case Instruction::Trunc: 1153 case Instruction::FPTrunc: 1154 case Instruction::BitCast: 1155 case Instruction::AddrSpaceCast: 1156 case Instruction::ExtractElement: 1157 case Instruction::InsertElement: 1158 case Instruction::ExtractValue: 1159 case Instruction::ShuffleVector: 1160 case Instruction::Call: 1161 case Instruction::Switch: 1162 return getUserCost(I, CostKind); 1163 default: 1164 // We don't have any information on this instruction. 1165 return -1; 1166 } 1167 } 1168 1169 TargetTransformInfo::Concept::~Concept() = default; 1170 1171 TargetIRAnalysis::TargetIRAnalysis() : TTICallback(&getDefaultTTI) {} 1172 1173 TargetIRAnalysis::TargetIRAnalysis( 1174 std::function<Result(const Function &)> TTICallback) 1175 : TTICallback(std::move(TTICallback)) {} 1176 1177 TargetIRAnalysis::Result TargetIRAnalysis::run(const Function &F, 1178 FunctionAnalysisManager &) { 1179 return TTICallback(F); 1180 } 1181 1182 AnalysisKey TargetIRAnalysis::Key; 1183 1184 TargetIRAnalysis::Result TargetIRAnalysis::getDefaultTTI(const Function &F) { 1185 return Result(F.getParent()->getDataLayout()); 1186 } 1187 1188 // Register the basic pass. 1189 INITIALIZE_PASS(TargetTransformInfoWrapperPass, "tti", 1190 "Target Transform Information", false, true) 1191 char TargetTransformInfoWrapperPass::ID = 0; 1192 1193 void TargetTransformInfoWrapperPass::anchor() {} 1194 1195 TargetTransformInfoWrapperPass::TargetTransformInfoWrapperPass() 1196 : ImmutablePass(ID) { 1197 initializeTargetTransformInfoWrapperPassPass( 1198 *PassRegistry::getPassRegistry()); 1199 } 1200 1201 TargetTransformInfoWrapperPass::TargetTransformInfoWrapperPass( 1202 TargetIRAnalysis TIRA) 1203 : ImmutablePass(ID), TIRA(std::move(TIRA)) { 1204 initializeTargetTransformInfoWrapperPassPass( 1205 *PassRegistry::getPassRegistry()); 1206 } 1207 1208 TargetTransformInfo &TargetTransformInfoWrapperPass::getTTI(const Function &F) { 1209 FunctionAnalysisManager DummyFAM; 1210 TTI = TIRA.run(F, DummyFAM); 1211 return *TTI; 1212 } 1213 1214 ImmutablePass * 1215 llvm::createTargetTransformInfoWrapperPass(TargetIRAnalysis TIRA) { 1216 return new TargetTransformInfoWrapperPass(std::move(TIRA)); 1217 } 1218