LLVM 24.0.0git
BasicTTIImpl.h
Go to the documentation of this file.
1//===- BasicTTIImpl.h -------------------------------------------*- C++ -*-===//
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/// \file
10/// This file provides a helper that implements much of the TTI interface in
11/// terms of the target-independent code generator and TargetLowering
12/// interfaces.
13//
14//===----------------------------------------------------------------------===//
15
16#ifndef LLVM_CODEGEN_BASICTTIIMPL_H
17#define LLVM_CODEGEN_BASICTTIIMPL_H
18
19#include "llvm/ADT/APInt.h"
20#include "llvm/ADT/BitVector.h"
21#include "llvm/ADT/STLExtras.h"
35#include "llvm/IR/BasicBlock.h"
36#include "llvm/IR/Constant.h"
37#include "llvm/IR/Constants.h"
38#include "llvm/IR/DataLayout.h"
40#include "llvm/IR/InstrTypes.h"
41#include "llvm/IR/Instruction.h"
43#include "llvm/IR/Intrinsics.h"
44#include "llvm/IR/Operator.h"
45#include "llvm/IR/Type.h"
46#include "llvm/IR/Value.h"
55#include <algorithm>
56#include <cassert>
57#include <cstdint>
58#include <limits>
59#include <optional>
60#include <utility>
61
62namespace llvm {
63
64class Function;
65class GlobalValue;
66class LLVMContext;
67class ScalarEvolution;
68class SCEV;
69class TargetMachine;
70
72
73/// Base class which can be used to help build a TTI implementation.
74///
75/// This class provides as much implementation of the TTI interface as is
76/// possible using the target independent parts of the code generator.
77///
78/// In order to subclass it, your class must implement a getST() method to
79/// return the subtarget, and a getTLI() method to return the target lowering.
80/// We need these methods implemented in the derived class so that this class
81/// doesn't have to duplicate storage for them.
82template <typename T>
84private:
86 using TTI = TargetTransformInfo;
87
88 /// Helper function to access this as a T.
89 const T *thisT() const { return static_cast<const T *>(this); }
90
91 /// Estimate a cost of Broadcast as an extract and sequence of insert
92 /// operations.
94 getBroadcastShuffleOverhead(FixedVectorType *VTy,
97 // Broadcast cost is equal to the cost of extracting the zero'th element
98 // plus the cost of inserting it into every element of the result vector.
99 Cost += thisT()->getVectorInstrCost(Instruction::ExtractElement, VTy,
100 CostKind, 0, nullptr, nullptr);
101
102 for (int i = 0, e = VTy->getNumElements(); i < e; ++i) {
103 Cost += thisT()->getVectorInstrCost(Instruction::InsertElement, VTy,
104 CostKind, i, nullptr, nullptr);
105 }
106 return Cost;
107 }
108
109 /// Estimate a cost of shuffle as a sequence of extract and insert
110 /// operations.
112 getPermuteShuffleOverhead(FixedVectorType *VTy,
115 // Shuffle cost is equal to the cost of extracting element from its argument
116 // plus the cost of inserting them onto the result vector.
117
118 // e.g. <4 x float> has a mask of <0,5,2,7> i.e we need to extract from
119 // index 0 of first vector, index 1 of second vector,index 2 of first
120 // vector and finally index 3 of second vector and insert them at index
121 // <0,1,2,3> of result vector.
122 for (int i = 0, e = VTy->getNumElements(); i < e; ++i) {
123 Cost += thisT()->getVectorInstrCost(Instruction::InsertElement, VTy,
124 CostKind, i, nullptr, nullptr);
125 Cost += thisT()->getVectorInstrCost(Instruction::ExtractElement, VTy,
126 CostKind, i, nullptr, nullptr);
127 }
128 return Cost;
129 }
130
131 /// Estimate a cost of subvector extraction as a sequence of extract and
132 /// insert operations.
133 InstructionCost getExtractSubvectorOverhead(VectorType *VTy,
135 int Index,
136 FixedVectorType *SubVTy) const {
137 assert(VTy && SubVTy &&
138 "Can only extract subvectors from vectors");
139 int NumSubElts = SubVTy->getNumElements();
141 (Index + NumSubElts) <=
142 (int)cast<FixedVectorType>(VTy)->getNumElements()) &&
143 "SK_ExtractSubvector index out of range");
144
146 // Subvector extraction cost is equal to the cost of extracting element from
147 // the source type plus the cost of inserting them into the result vector
148 // type.
149 for (int i = 0; i != NumSubElts; ++i) {
150 Cost +=
151 thisT()->getVectorInstrCost(Instruction::ExtractElement, VTy,
152 CostKind, i + Index, nullptr, nullptr);
153 Cost += thisT()->getVectorInstrCost(Instruction::InsertElement, SubVTy,
154 CostKind, i, nullptr, nullptr);
155 }
156 return Cost;
157 }
158
159 /// Estimate a cost of subvector insertion as a sequence of extract and
160 /// insert operations.
161 InstructionCost getInsertSubvectorOverhead(VectorType *VTy,
163 int Index,
164 FixedVectorType *SubVTy) const {
165 assert(VTy && SubVTy &&
166 "Can only insert subvectors into vectors");
167 int NumSubElts = SubVTy->getNumElements();
169 (Index + NumSubElts) <=
170 (int)cast<FixedVectorType>(VTy)->getNumElements()) &&
171 "SK_InsertSubvector index out of range");
172
174 // Subvector insertion cost is equal to the cost of extracting element from
175 // the source type plus the cost of inserting them into the result vector
176 // type.
177 for (int i = 0; i != NumSubElts; ++i) {
178 Cost += thisT()->getVectorInstrCost(Instruction::ExtractElement, SubVTy,
179 CostKind, i, nullptr, nullptr);
180 Cost +=
181 thisT()->getVectorInstrCost(Instruction::InsertElement, VTy, CostKind,
182 i + Index, nullptr, nullptr);
183 }
184 return Cost;
185 }
186
187 /// Local query method delegates up to T which *must* implement this!
188 const TargetSubtargetInfo *getST() const {
189 return static_cast<const T *>(this)->getST();
190 }
191
192 /// Local query method delegates up to T which *must* implement this!
193 const TargetLoweringBase *getTLI() const {
194 return static_cast<const T *>(this)->getTLI();
195 }
196
197 static ISD::MemIndexedMode getISDIndexedMode(TTI::MemIndexedMode M) {
198 switch (M) {
200 return ISD::UNINDEXED;
201 case TTI::MIM_PreInc:
202 return ISD::PRE_INC;
203 case TTI::MIM_PreDec:
204 return ISD::PRE_DEC;
205 case TTI::MIM_PostInc:
206 return ISD::POST_INC;
207 case TTI::MIM_PostDec:
208 return ISD::POST_DEC;
209 }
210 llvm_unreachable("Unexpected MemIndexedMode");
211 }
212
213 InstructionCost getCommonMaskedMemoryOpCost(unsigned Opcode, Type *DataTy,
214 Align Alignment,
215 bool VariableMask,
216 bool IsGatherScatter,
218 unsigned AddressSpace = 0) const {
219 // We cannot scalarize scalable vectors, so return Invalid.
220 if (isa<ScalableVectorType>(DataTy))
222
223 auto *VT = cast<FixedVectorType>(DataTy);
224 unsigned VF = VT->getNumElements();
225
226 // Assume the target does not have support for gather/scatter operations
227 // and provide a rough estimate.
228 //
229 // First, compute the cost of the individual memory operations.
230 InstructionCost AddrExtractCost =
231 IsGatherScatter ? getScalarizationOverhead(
233 PointerType::get(VT->getContext(), 0), VF),
234 /*Insert=*/false, /*Extract=*/true, CostKind)
235 : 0;
236
237 // The cost of the scalar loads/stores.
238 InstructionCost MemoryOpCost =
239 VF * thisT()->getMemoryOpCost(Opcode, VT->getElementType(), Alignment,
241
242 // Next, compute the cost of packing the result in a vector.
243 InstructionCost PackingCost =
244 getScalarizationOverhead(VT, Opcode != Instruction::Store,
245 Opcode == Instruction::Store, CostKind);
246
247 InstructionCost ConditionalCost = 0;
248 if (VariableMask) {
249 // Compute the cost of conditionally executing the memory operations with
250 // variable masks. This includes extracting the individual conditions, a
251 // branches and PHIs to combine the results.
252 // NOTE: Estimating the cost of conditionally executing the memory
253 // operations accurately is quite difficult and the current solution
254 // provides a very rough estimate only.
255 ConditionalCost =
258 /*Insert=*/false, /*Extract=*/true, CostKind) +
259 VF * (thisT()->getCFInstrCost(Instruction::CondBr, CostKind) +
260 thisT()->getCFInstrCost(Instruction::PHI, CostKind));
261 }
262
263 return AddrExtractCost + MemoryOpCost + PackingCost + ConditionalCost;
264 }
265
266 /// Checks if the provided mask \p is a splat mask, i.e. it contains only -1
267 /// or same non -1 index value and this index value contained at least twice.
268 /// So, mask <0, -1,-1, -1> is not considered splat (it is just identity),
269 /// same for <-1, 0, -1, -1> (just a slide), while <2, -1, 2, -1> is a splat
270 /// with \p Index=2.
271 static bool isSplatMask(ArrayRef<int> Mask, unsigned NumSrcElts, int &Index) {
272 // Check that the broadcast index meets at least twice.
273 bool IsCompared = false;
274 if (int SplatIdx = PoisonMaskElem;
275 all_of(enumerate(Mask), [&](const auto &P) {
276 if (P.value() == PoisonMaskElem)
277 return P.index() != Mask.size() - 1 || IsCompared;
278 if (static_cast<unsigned>(P.value()) >= NumSrcElts * 2)
279 return false;
280 if (SplatIdx == PoisonMaskElem) {
281 SplatIdx = P.value();
282 return P.index() != Mask.size() - 1;
283 }
284 IsCompared = true;
285 return SplatIdx == P.value();
286 })) {
287 Index = SplatIdx;
288 return true;
289 }
290 return false;
291 }
292
293 /// Several intrinsics that return structs (including llvm.sincos[pi] and
294 /// llvm.modf) can be lowered to a vector library call (for certain VFs). The
295 /// vector library functions correspond to the scalar calls (e.g. sincos or
296 /// modf), which unlike the intrinsic return values via output pointers. This
297 /// helper checks if a vector call exists for the given intrinsic, and returns
298 /// the cost, which includes the cost of the mask (if required), and the loads
299 /// for values returned via output pointers. \p LC is the scalar libcall and
300 /// \p CallRetElementIndex (optional) is the struct element which is mapped to
301 /// the call return value. If std::nullopt is returned, then no vector library
302 /// call is available, so the intrinsic should be assigned the default cost
303 /// (e.g. scalarization).
304 std::optional<InstructionCost> getMultipleResultIntrinsicVectorLibCallCost(
306 std::optional<unsigned> CallRetElementIndex = {}) const {
307 Type *RetTy = ICA.getReturnType();
308 // Vector variants of the intrinsic can be mapped to a vector library call.
309 if (!isa<StructType>(RetTy) ||
311 return std::nullopt;
312
313 Type *Ty = getContainedTypes(RetTy).front();
314 EVT VT = getTLI()->getValueType(DL, Ty);
315
316 RTLIB::Libcall LC = RTLIB::UNKNOWN_LIBCALL;
317
318 switch (ICA.getID()) {
319 case Intrinsic::modf:
320 LC = RTLIB::getMODF(VT);
321 break;
322 case Intrinsic::sincospi:
323 LC = RTLIB::getSINCOSPI(VT);
324 break;
325 case Intrinsic::sincos:
326 LC = RTLIB::getSINCOS(VT);
327 break;
328 default:
329 return std::nullopt;
330 }
331
332 // Find associated libcall.
333 RTLIB::LibcallImpl LibcallImpl = getTLI()->getLibcallImpl(LC);
334 if (LibcallImpl == RTLIB::Unsupported)
335 return std::nullopt;
336
337 LLVMContext &Ctx = RetTy->getContext();
338
339 // Cost the call + mask.
340 auto Cost =
341 thisT()->getCallInstrCost(nullptr, RetTy, ICA.getArgTypes(), CostKind);
342
345 auto VecTy = VectorType::get(IntegerType::getInt1Ty(Ctx), VF);
346 Cost += thisT()->getShuffleCost(TargetTransformInfo::SK_Broadcast, VecTy,
347 VecTy, CostKind, {}, 0, nullptr, {});
348 }
349
350 // Lowering to a library call (with output pointers) may require us to emit
351 // reloads for the results.
352 for (auto [Idx, VectorTy] : enumerate(getContainedTypes(RetTy))) {
353 if (Idx == CallRetElementIndex)
354 continue;
355 Cost += thisT()->getMemoryOpCost(
356 Instruction::Load, VectorTy,
357 thisT()->getDataLayout().getABITypeAlign(VectorTy), 0, CostKind);
358 }
359 return Cost;
360 }
361
362 /// Filter out constant and duplicated entries in \p Ops and return a vector
363 /// containing the types from \p Tys corresponding to the remaining operands.
365 filterConstantAndDuplicatedOperands(ArrayRef<const Value *> Ops,
366 ArrayRef<Type *> Tys) {
367 SmallPtrSet<const Value *, 4> UniqueOperands;
368 SmallVector<Type *, 4> FilteredTys;
369 for (const auto &[Op, Ty] : zip_equal(Ops, Tys)) {
370 if (isa<Constant>(Op) || !UniqueOperands.insert(Op).second)
371 continue;
372 FilteredTys.push_back(Ty);
373 }
374 return FilteredTys;
375 }
376
377protected:
378 explicit BasicTTIImplBase(const TargetMachine *TM, const DataLayout &DL)
379 : BaseT(DL) {}
380 ~BasicTTIImplBase() override = default;
381
384
385public:
386 /// \name Scalar TTI Implementations
387 /// @{
389 unsigned AddressSpace, Align Alignment,
390 unsigned *Fast) const override {
391 EVT E = EVT::getIntegerVT(Context, BitWidth);
392 return getTLI()->allowsMisalignedMemoryAccesses(
394 }
395
396 bool areInlineCompatible(const Function *Caller,
397 const Function *Callee) const override {
398 const TargetMachine &TM = getTLI()->getTargetMachine();
399
400 const TargetSubtargetInfo *CallerSTI = TM.getSubtargetImpl(*Caller);
401 const TargetSubtargetInfo *CalleeSTI = TM.getSubtargetImpl(*Callee);
402 FeatureBitset InlineIgnoreFeatures = CallerSTI->getInlineIgnoreFeatures();
403 FeatureBitset InlineInverseFeatures = CallerSTI->getInlineInverseFeatures();
404 FeatureBitset InlineMustMatchFeatures =
405 CallerSTI->getInlineMustMatchFeatures();
406
407 FeatureBitset CallerBits =
408 (CallerSTI->getFeatureBits() ^ InlineInverseFeatures) &
409 ~InlineIgnoreFeatures;
410 FeatureBitset CalleeBits =
411 (CalleeSTI->getFeatureBits() ^ InlineInverseFeatures) &
412 ~InlineIgnoreFeatures;
413
414 if ((CallerBits & InlineMustMatchFeatures) !=
415 (CalleeBits & InlineMustMatchFeatures))
416 return false;
417
418 // Inline a callee if its target-features are a subset of the callers
419 // target-features.
420 return (CallerBits & CalleeBits) == CalleeBits;
421 }
422
423 bool hasBranchDivergence(const Function *F = nullptr) const override {
424 return false;
425 }
426
427 bool isValidAddrSpaceCast(unsigned FromAS, unsigned ToAS) const override {
428 return false;
429 }
430
431 bool addrspacesMayAlias(unsigned AS0, unsigned AS1) const override {
432 return true;
433 }
434
435 unsigned getFlatAddressSpace() const override {
436 // Return an invalid address space.
437 return -1;
438 }
439
441 Intrinsic::ID IID) const override {
442 return false;
443 }
444
445 bool isNoopAddrSpaceCast(unsigned FromAS, unsigned ToAS) const override {
446 return getTLI()->getTargetMachine().isNoopAddrSpaceCast(DL, FromAS, ToAS);
447 }
448
449 unsigned getAssumedAddrSpace(const Value *V) const override {
450 return getTLI()->getTargetMachine().getAssumedAddrSpace(V);
451 }
452
453 std::pair<const Value *, unsigned>
454 getPredicatedAddrSpace(const Value *V) const override {
455 return getTLI()->getTargetMachine().getPredicatedAddrSpace(V);
456 }
457
459 Value *NewV) const override {
460 return nullptr;
461 }
462
463 bool isLegalAddImmediate(int64_t imm) const override {
464 return getTLI()->isLegalAddImmediate(imm);
465 }
466
467 bool isLegalAddScalableImmediate(int64_t Imm) const override {
468 return getTLI()->isLegalAddScalableImmediate(Imm);
469 }
470
471 bool isLegalICmpImmediate(int64_t imm) const override {
472 return getTLI()->isLegalICmpImmediate(imm);
473 }
474
475 bool isLegalAddressingMode(Type *Ty, GlobalValue *BaseGV, int64_t BaseOffset,
476 bool HasBaseReg, int64_t Scale, unsigned AddrSpace,
477 Instruction *I = nullptr,
478 int64_t ScalableOffset = 0) const override {
480 AM.BaseGV = BaseGV;
481 AM.BaseOffs = BaseOffset;
482 AM.HasBaseReg = HasBaseReg;
483 AM.Scale = Scale;
484 AM.ScalableOffset = ScalableOffset;
485 return getTLI()->isLegalAddressingMode(DL, AM, Ty, AddrSpace, I);
486 }
487
488 int64_t getPreferredLargeGEPBaseOffset(int64_t MinOffset, int64_t MaxOffset) {
489 return getTLI()->getPreferredLargeGEPBaseOffset(MinOffset, MaxOffset);
490 }
491
492 unsigned getStoreMinimumVF(unsigned VF, Type *ScalarMemTy, Type *ScalarValTy,
493 Align Alignment,
494 unsigned AddrSpace) const override {
495 auto &&IsSupportedByTarget = [this, ScalarMemTy, ScalarValTy, Alignment,
496 AddrSpace](unsigned VF) {
497 auto *SrcTy = FixedVectorType::get(ScalarMemTy, VF / 2);
498 EVT VT = getTLI()->getValueType(DL, SrcTy);
499 if (getTLI()->isOperationLegal(ISD::STORE, VT) ||
500 getTLI()->isOperationCustom(ISD::STORE, VT))
501 return true;
502
503 EVT ValVT =
504 getTLI()->getValueType(DL, FixedVectorType::get(ScalarValTy, VF / 2));
505 EVT LegalizedVT =
506 getTLI()->getTypeToTransformTo(ScalarMemTy->getContext(), VT);
507 return getTLI()->isTruncStoreLegal(LegalizedVT, ValVT, Alignment,
508 AddrSpace);
509 };
510 while (VF > 2 && IsSupportedByTarget(VF))
511 VF /= 2;
512 return VF;
513 }
514
515 bool isIndexedLoadLegal(TTI::MemIndexedMode M, Type *Ty) const override {
516 EVT VT = getTLI()->getValueType(DL, Ty, /*AllowUnknown=*/true);
517 return getTLI()->isIndexedLoadLegal(getISDIndexedMode(M), VT);
518 }
519
520 bool isIndexedStoreLegal(TTI::MemIndexedMode M, Type *Ty) const override {
521 EVT VT = getTLI()->getValueType(DL, Ty, /*AllowUnknown=*/true);
522 return getTLI()->isIndexedStoreLegal(getISDIndexedMode(M), VT);
523 }
524
526 const TTI::LSRCost &C2) const override {
528 }
529
533
537
541
543 StackOffset BaseOffset, bool HasBaseReg,
544 int64_t Scale,
545 unsigned AddrSpace) const override {
547 AM.BaseGV = BaseGV;
548 AM.BaseOffs = BaseOffset.getFixed();
549 AM.HasBaseReg = HasBaseReg;
550 AM.Scale = Scale;
551 AM.ScalableOffset = BaseOffset.getScalable();
552 if (getTLI()->isLegalAddressingMode(DL, AM, Ty, AddrSpace))
553 return 0;
555 }
556
557 bool isTruncateFree(Type *Ty1, Type *Ty2) const override {
558 return getTLI()->isTruncateFree(Ty1, Ty2);
559 }
560
561 bool isProfitableToHoist(Instruction *I) const override {
562 return getTLI()->isProfitableToHoist(I);
563 }
564
565 bool useAA() const override { return getST()->useAA(); }
566
567 bool isTypeLegal(Type *Ty) const override {
568 EVT VT = getTLI()->getValueType(DL, Ty, /*AllowUnknown=*/true);
569 return getTLI()->isTypeLegal(VT);
570 }
571
572 unsigned getRegUsageForType(Type *Ty) const override {
573 EVT ETy = getTLI()->getValueType(DL, Ty);
574 return getTLI()->getNumRegisters(Ty->getContext(), ETy);
575 }
576
577 InstructionCost getGEPCost(Type *PointeeType, const Value *Ptr,
580 Type *AccessType) const override {
581 return BaseT::getGEPCost(PointeeType, Ptr, Operands, CostKind, AccessType);
582 }
583
585 const SwitchInst &SI, unsigned &JumpTableSize, ProfileSummaryInfo *PSI,
586 BlockFrequencyInfo *BFI) const override {
587 /// Try to find the estimated number of clusters. Note that the number of
588 /// clusters identified in this function could be different from the actual
589 /// numbers found in lowering. This function ignore switches that are
590 /// lowered with a mix of jump table / bit test / BTree. This function was
591 /// initially intended to be used when estimating the cost of switch in
592 /// inline cost heuristic, but it's a generic cost model to be used in other
593 /// places (e.g., in loop unrolling).
594 unsigned N = SI.getNumCases();
595 const TargetLoweringBase *TLI = getTLI();
596 const DataLayout &DL = this->getDataLayout();
597
598 JumpTableSize = 0;
599 bool IsJTAllowed = TLI->areJTsAllowed(SI.getParent()->getParent());
600
601 // Early exit if both a jump table and bit test are not allowed.
602 if (N < 1 || (!IsJTAllowed && DL.getIndexSizeInBits(0u) < N))
603 return N;
604
605 APInt MaxCaseVal = SI.case_begin()->getCaseValue()->getValue();
606 APInt MinCaseVal = MaxCaseVal;
607 for (auto CI : SI.cases()) {
608 const APInt &CaseVal = CI.getCaseValue()->getValue();
609 if (CaseVal.sgt(MaxCaseVal))
610 MaxCaseVal = CaseVal;
611 if (CaseVal.slt(MinCaseVal))
612 MinCaseVal = CaseVal;
613 }
614
615 // Check if suitable for a bit test
616 if (N <= DL.getIndexSizeInBits(0u)) {
618 for (auto I : SI.cases()) {
619 const BasicBlock *BB = I.getCaseSuccessor();
620 ++DestMap[BB];
621 }
622
623 if (TLI->isSuitableForBitTests(DestMap, MinCaseVal, MaxCaseVal, DL))
624 return 1;
625 }
626
627 // Check if suitable for a jump table.
628 if (IsJTAllowed) {
629 if (N < 2 || N < TLI->getMinimumJumpTableEntries())
630 return N;
632 (MaxCaseVal - MinCaseVal)
633 .getLimitedValue(std::numeric_limits<uint64_t>::max() - 1) + 1;
634 // Check whether a range of clusters is dense enough for a jump table
635 if (TLI->isSuitableForJumpTable(&SI, N, Range, PSI, BFI)) {
636 JumpTableSize = Range;
637 return 1;
638 }
639 }
640 return N;
641 }
642
643 bool shouldBuildLookupTables() const override {
644 const TargetLoweringBase *TLI = getTLI();
645 return TLI->isOperationLegalOrCustom(ISD::BR_JT, MVT::Other) ||
646 TLI->isOperationLegalOrCustom(ISD::BRIND, MVT::Other);
647 }
648
649 bool shouldBuildRelLookupTables() const override {
650 const TargetMachine &TM = getTLI()->getTargetMachine();
651 // If non-PIC mode, do not generate a relative lookup table.
652 if (!TM.isPositionIndependent())
653 return false;
654
655 /// Relative lookup table entries consist of 32-bit offsets.
656 /// Do not generate relative lookup tables for large code models
657 /// in 64-bit achitectures where 32-bit offsets might not be enough.
658 if (TM.getCodeModel() == CodeModel::Medium ||
660 return false;
661
662 const Triple &TargetTriple = TM.getTargetTriple();
663 if (!TargetTriple.isArch64Bit())
664 return false;
665
666 // TODO: Triggers issues on aarch64 on darwin, so temporarily disable it
667 // there.
668 if (TargetTriple.getArch() == Triple::aarch64 && TargetTriple.isOSDarwin())
669 return false;
670
671 return true;
672 }
673
674 bool haveFastSqrt(Type *Ty) const override {
675 const TargetLoweringBase *TLI = getTLI();
676 EVT VT = TLI->getValueType(DL, Ty);
677 return TLI->isTypeLegal(VT) &&
679 }
680
681 bool haveFastClmul(IntegerType *Ty) const override {
682 // FIXME: clmul should really be Promote for any bitwidth under the largest
683 // legal bitwidth for clmul. Using IndexTy instead of Ty is a hack to get
684 // around that shortcoming.
685 const DataLayout &DL = thisT()->DL;
686 IntegerType *IndexTy =
687 DL.getIndexType(Ty->getContext(), DL.getAllocaAddrSpace());
688 if (Ty->getBitWidth() > IndexTy->getBitWidth())
689 return false;
690
691 const TargetLoweringBase *TLI = getTLI();
692 EVT VT = TLI->getValueType(DL, IndexTy);
693 return TLI->isOperationLegalOrCustom(ISD::CLMUL, VT);
694 }
695
696 bool isFCmpOrdCheaperThanFCmpZero(Type *Ty) const override { return true; }
697
698 InstructionCost getFPOpCost(Type *Ty) const override {
699 // Check whether FADD is available, as a proxy for floating-point in
700 // general.
701 const TargetLoweringBase *TLI = getTLI();
702 EVT VT = TLI->getValueType(DL, Ty);
706 }
707
709 const Function &Fn) const override {
710 switch (Inst.getOpcode()) {
711 default:
712 break;
713 case Instruction::SDiv:
714 case Instruction::SRem:
715 case Instruction::UDiv:
716 case Instruction::URem: {
717 if (!isa<ConstantInt>(Inst.getOperand(1)))
718 return false;
719 EVT VT = getTLI()->getValueType(DL, Inst.getType());
720 return !getTLI()->isIntDivCheap(VT, Fn.getAttributes());
721 }
722 };
723
724 return false;
725 }
726
727 unsigned getInliningThresholdMultiplier() const override { return 1; }
728 unsigned adjustInliningThreshold(const CallBase *CB) const override {
729 return 0;
730 }
731 unsigned getCallerAllocaCost(const CallBase *CB,
732 const AllocaInst *AI) const override {
733 return 0;
734 }
735
736 int getInlinerVectorBonusPercent() const override { return 150; }
737
740 OptimizationRemarkEmitter *ORE) const override {
741 // This unrolling functionality is target independent, but to provide some
742 // motivation for its intended use, for x86:
743
744 // According to the Intel 64 and IA-32 Architectures Optimization Reference
745 // Manual, Intel Core models and later have a loop stream detector (and
746 // associated uop queue) that can benefit from partial unrolling.
747 // The relevant requirements are:
748 // - The loop must have no more than 4 (8 for Nehalem and later) branches
749 // taken, and none of them may be calls.
750 // - The loop can have no more than 18 (28 for Nehalem and later) uops.
751
752 // According to the Software Optimization Guide for AMD Family 15h
753 // Processors, models 30h-4fh (Steamroller and later) have a loop predictor
754 // and loop buffer which can benefit from partial unrolling.
755 // The relevant requirements are:
756 // - The loop must have fewer than 16 branches
757 // - The loop must have less than 40 uops in all executed loop branches
758
759 // The number of taken branches in a loop is hard to estimate here, and
760 // benchmarking has revealed that it is better not to be conservative when
761 // estimating the branch count. As a result, we'll ignore the branch limits
762 // until someone finds a case where it matters in practice.
763
764 unsigned MaxOps;
765 const TargetSubtargetInfo *ST = getST();
766 if (PartialUnrollingThreshold.getNumOccurrences() > 0)
768 else if (ST->getSchedModel().LoopMicroOpBufferSize > 0)
769 MaxOps = ST->getSchedModel().LoopMicroOpBufferSize;
770 else
771 return;
772
773 // Scan the loop: don't unroll loops with calls.
774 for (BasicBlock *BB : L->blocks()) {
775 for (Instruction &I : *BB) {
776 if (isa<CallInst>(I) || isa<InvokeInst>(I)) {
777 if (const Function *F = cast<CallBase>(I).getCalledFunction()) {
778 if (!thisT()->isLoweredToCall(F))
779 continue;
780 }
781
782 if (ORE) {
783 ORE->emit([&]() {
784 return OptimizationRemark("TTI", "DontUnroll", L->getStartLoc(),
785 L->getHeader())
786 << "advising against unrolling the loop because it "
787 "contains a "
788 << ore::NV("Call", &I);
789 });
790 }
791 return;
792 }
793 }
794 }
795
796 // Enable runtime and partial unrolling up to the specified size.
797 // Enable using trip count upper bound to unroll loops.
798 UP.Partial = UP.Runtime = UP.UpperBound = true;
799 UP.PartialThreshold = MaxOps;
800
801 // Avoid unrolling when optimizing for size.
802 UP.OptSizeThreshold = 0;
804
805 // Set number of instructions optimized when "back edge"
806 // becomes "fall through" to default value of 2.
807 UP.BEInsns = 2;
808 }
809
811 TTI::PeelingPreferences &PP) const override {
812 PP.PeelCount = 0;
813 PP.AllowPeeling = true;
814 PP.AllowLoopNestsPeeling = false;
815 PP.PeelProfiledIterations = true;
816 }
817
820 HardwareLoopInfo &HWLoopInfo) const override {
821 return BaseT::isHardwareLoopProfitable(L, SE, AC, LibInfo, HWLoopInfo);
822 }
823
824 unsigned getEpilogueVectorizationMinVF() const override {
826 }
827
831
835
836 std::optional<Instruction *>
839 }
840
841 std::optional<Value *>
843 APInt DemandedMask, KnownBits &Known,
844 bool &KnownBitsComputed) const override {
845 return BaseT::simplifyDemandedUseBitsIntrinsic(IC, II, DemandedMask, Known,
846 KnownBitsComputed);
847 }
848
850 InstCombiner &IC, IntrinsicInst &II, APInt DemandedElts, APInt &UndefElts,
851 APInt &UndefElts2, APInt &UndefElts3,
852 std::function<void(Instruction *, unsigned, APInt, APInt &)>
853 SimplifyAndSetOp) const override {
855 IC, II, DemandedElts, UndefElts, UndefElts2, UndefElts3,
856 SimplifyAndSetOp);
857 }
858
860 return getST()->getMispredictionPenalty();
861 }
862
863 std::optional<unsigned>
865 return std::optional<unsigned>(
866 getST()->getCacheSize(static_cast<unsigned>(Level)));
867 }
868
869 std::optional<unsigned>
871 std::optional<unsigned> TargetResult =
872 getST()->getCacheAssociativity(static_cast<unsigned>(Level));
873
874 if (TargetResult)
875 return TargetResult;
876
877 return BaseT::getCacheAssociativity(Level);
878 }
879
880 unsigned getCacheLineSize() const override {
881 return getST()->getCacheLineSize();
882 }
883
884 unsigned getPrefetchDistance() const override {
885 return getST()->getPrefetchDistance();
886 }
887
888 unsigned getMinPrefetchStride(unsigned NumMemAccesses,
889 unsigned NumStridedMemAccesses,
890 unsigned NumPrefetches,
891 bool HasCall) const override {
892 return getST()->getMinPrefetchStride(NumMemAccesses, NumStridedMemAccesses,
893 NumPrefetches, HasCall);
894 }
895
896 unsigned getMaxPrefetchIterationsAhead() const override {
897 return getST()->getMaxPrefetchIterationsAhead();
898 }
899
900 bool enableWritePrefetching() const override {
901 return getST()->enableWritePrefetching();
902 }
903
904 bool shouldPrefetchAddressSpace(unsigned AS) const override {
905 return getST()->shouldPrefetchAddressSpace(AS);
906 }
907
908 /// @}
909
910 /// \name Vector TTI Implementations
911 /// @{
912
917
918 std::optional<unsigned> getVScaleForTuning() const override {
919 return std::nullopt;
920 }
921
922 /// Estimate the overhead of scalarizing an instruction. Insert and Extract
923 /// are set if the demanded result elements need to be inserted and/or
924 /// extracted from vectors.
926 getScalarizationOverhead(VectorType *InTy, const APInt &DemandedElts,
927 bool Insert, bool Extract,
929 bool ForPoisonSrc = true, ArrayRef<Value *> VL = {},
931 TTI::VectorInstrContext::None) const override {
932 /// FIXME: a bitfield is not a reasonable abstraction for talking about
933 /// which elements are needed from a scalable vector
934 if (isa<ScalableVectorType>(InTy))
936 auto *Ty = cast<FixedVectorType>(InTy);
937
938 assert(DemandedElts.getBitWidth() == Ty->getNumElements() &&
939 (VL.empty() || VL.size() == Ty->getNumElements()) &&
940 "Vector size mismatch");
941
943
944 for (int i = 0, e = Ty->getNumElements(); i < e; ++i) {
945 if (!DemandedElts[i])
946 continue;
947 if (Insert) {
948 Value *InsertedVal = VL.empty() ? nullptr : VL[i];
949 Cost +=
950 thisT()->getVectorInstrCost(Instruction::InsertElement, Ty,
951 CostKind, i, nullptr, InsertedVal, VIC);
952 }
953 if (Extract)
954 Cost += thisT()->getVectorInstrCost(Instruction::ExtractElement, Ty,
955 CostKind, i, nullptr, nullptr, VIC);
956 }
957
958 return Cost;
959 }
960
961 bool
963 unsigned ScalarOpdIdx) const override {
964 return false;
965 }
966
968 int OpdIdx) const override {
969 return OpdIdx == -1;
970 }
971
972 bool
974 int RetIdx) const override {
975 return RetIdx == 0;
976 }
977
978 /// Helper wrapper for the DemandedElts variant of getScalarizationOverhead.
980 VectorType *InTy, bool Insert, bool Extract, TTI::TargetCostKind CostKind,
981 bool ForPoisonSrc = true, ArrayRef<Value *> VL = {},
983 if (isa<ScalableVectorType>(InTy))
985 auto *Ty = cast<FixedVectorType>(InTy);
986
987 APInt DemandedElts = APInt::getAllOnes(Ty->getNumElements());
988 // Use CRTP to allow target overrides
989 return thisT()->getScalarizationOverhead(Ty, DemandedElts, Insert, Extract,
990 CostKind, ForPoisonSrc, VL, VIC);
991 }
992
993 /// Estimate the overhead of scalarizing an instruction's
994 /// operands. The (potentially vector) types to use for each of
995 /// argument are passes via Tys.
999 TTI::VectorInstrContext::None) const override {
1001 for (Type *Ty : Tys) {
1002 // Disregard things like metadata arguments.
1003 if (!Ty->isIntOrIntVectorTy() && !Ty->isFPOrFPVectorTy() &&
1004 !Ty->isPtrOrPtrVectorTy())
1005 continue;
1006
1007 if (auto *VecTy = dyn_cast<VectorType>(Ty))
1008 Cost += getScalarizationOverhead(VecTy, /*Insert*/ false,
1009 /*Extract*/ true, CostKind,
1010 /*ForPoisonSrc=*/true, {}, VIC);
1011 }
1012
1013 return Cost;
1014 }
1015
1016 /// Estimate the overhead of scalarizing the inputs and outputs of an
1017 /// instruction, with return type RetTy and arguments Args of type Tys. If
1018 /// Args are unknown (empty), then the cost associated with one argument is
1019 /// added as a heuristic.
1022 ArrayRef<Type *> Tys,
1025 RetTy, /*Insert*/ true, /*Extract*/ false, CostKind);
1026 if (!Args.empty())
1028 filterConstantAndDuplicatedOperands(Args, Tys), CostKind);
1029 else
1030 // When no information on arguments is provided, we add the cost
1031 // associated with one argument as a heuristic.
1032 Cost += getScalarizationOverhead(RetTy, /*Insert*/ false,
1033 /*Extract*/ true, CostKind);
1034
1035 return Cost;
1036 }
1037
1038 /// Estimate the cost of type-legalization and the legalized type.
1039 std::pair<InstructionCost, MVT> getTypeLegalizationCost(Type *Ty) const {
1040 auto [It, Inserted] = TypeLegalizationCostCache.try_emplace(Ty);
1041 if (Inserted)
1042 It->second = computeTypeLegalizationCost(Ty);
1043 return It->second;
1044 }
1045
1046private:
1047 std::pair<InstructionCost, MVT> computeTypeLegalizationCost(Type *Ty) const {
1048 LLVMContext &C = Ty->getContext();
1049 EVT MTy = getTLI()->getValueType(DL, Ty);
1050
1052 // We keep legalizing the type until we find a legal kind. We assume that
1053 // the only operation that costs anything is the split. After splitting
1054 // we need to handle two types.
1055 while (true) {
1057
1059 // Ensure we return a sensible simple VT here, since many callers of
1060 // this function require it.
1061 MVT VT = MTy.isSimple() ? MTy.getSimpleVT() : MVT::i64;
1062 return std::make_pair(InstructionCost::getInvalid(), VT);
1063 }
1064
1065 if (LK.first == TargetLoweringBase::TypeLegal)
1066 return std::make_pair(Cost, MTy.getSimpleVT());
1067
1068 if (LK.first == TargetLoweringBase::TypeSplitVector ||
1070 Cost *= 2;
1071
1072 // Do not loop with f128 type.
1073 if (MTy == LK.second)
1074 return std::make_pair(Cost, MTy.getSimpleVT());
1075
1076 // Keep legalizing the type.
1077 MTy = LK.second;
1078 }
1079 }
1080
1081 /// Memoizes type legalization cost. The mapping does not depend on the IR, so
1082 /// entries stay valid for the lifetime of this object.
1083 mutable DenseMap<Type *, std::pair<InstructionCost, MVT>>
1084 TypeLegalizationCostCache;
1085
1086public:
1088 bool HasUnorderedReductions) const override {
1089 return 1;
1090 }
1091
1093 unsigned Opcode, Type *Ty, TTI::TargetCostKind CostKind,
1096 ArrayRef<const Value *> Args = {},
1097 const Instruction *CtxI = nullptr) const override {
1098 // Check if any of the operands are vector operands.
1099 const TargetLoweringBase *TLI = getTLI();
1100 int ISD = TLI->InstructionOpcodeToISD(Opcode);
1101 assert(ISD && "Invalid opcode");
1102
1103 // TODO: Handle more cost kinds.
1105 return BaseT::getArithmeticInstrCost(Opcode, Ty, CostKind,
1106 Opd1Info, Opd2Info,
1107 Args, CtxI);
1108
1109 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(Ty);
1110
1111 bool IsFloat = Ty->isFPOrFPVectorTy();
1112 // Assume that floating point arithmetic operations cost twice as much as
1113 // integer operations.
1114 InstructionCost OpCost = (IsFloat ? 2 : 1);
1115
1116 if (TLI->isOperationLegalOrPromote(ISD, LT.second)) {
1117 // The operation is legal. Assume it costs 1.
1118 // TODO: Once we have extract/insert subvector cost we need to use them.
1119 return LT.first * OpCost;
1120 }
1121
1122 if (!TLI->isOperationExpand(ISD, LT.second)) {
1123 // If the operation is custom lowered, then assume that the code is twice
1124 // as expensive.
1125 return LT.first * 2 * OpCost;
1126 }
1127
1128 // An 'Expand' of URem and SRem is special because it may default
1129 // to expanding the operation into a sequence of sub-operations
1130 // i.e. X % Y -> X-(X/Y)*Y.
1131 if (ISD == ISD::UREM || ISD == ISD::SREM) {
1132 bool IsSigned = ISD == ISD::SREM;
1133 if (TLI->isOperationLegalOrCustom(IsSigned ? ISD::SDIVREM : ISD::UDIVREM,
1134 LT.second) ||
1135 TLI->isOperationLegalOrCustom(IsSigned ? ISD::SDIV : ISD::UDIV,
1136 LT.second)) {
1137 unsigned DivOpc = IsSigned ? Instruction::SDiv : Instruction::UDiv;
1138 InstructionCost DivCost = thisT()->getArithmeticInstrCost(
1139 DivOpc, Ty, CostKind, Opd1Info, Opd2Info);
1140 InstructionCost MulCost =
1141 thisT()->getArithmeticInstrCost(Instruction::Mul, Ty, CostKind);
1142 InstructionCost SubCost =
1143 thisT()->getArithmeticInstrCost(Instruction::Sub, Ty, CostKind);
1144 return DivCost + MulCost + SubCost;
1145 }
1146 }
1147
1148 // We cannot scalarize scalable vectors, so return Invalid.
1151
1152 // Else, assume that we need to scalarize this op.
1153 // TODO: If one of the types get legalized by splitting, handle this
1154 // similarly to what getCastInstrCost() does.
1155 if (auto *VTy = dyn_cast<FixedVectorType>(Ty)) {
1156 InstructionCost Cost = thisT()->getArithmeticInstrCost(
1157 Opcode, VTy->getScalarType(), CostKind, Opd1Info, Opd2Info,
1158 Args, CtxI);
1159 // Return the cost of multiple scalar invocation plus the cost of
1160 // inserting and extracting the values.
1161 SmallVector<Type *> Tys(Args.size(), Ty);
1162 return getScalarizationOverhead(VTy, Args, Tys, CostKind) +
1163 VTy->getNumElements() * Cost;
1164 }
1165
1166 // We don't know anything about this scalar instruction.
1167 return OpCost;
1168 }
1169
1171 ArrayRef<int> Mask,
1172 VectorType *SrcTy, int &Index,
1173 VectorType *&SubTy) const {
1174 if (Mask.empty())
1175 return Kind;
1176 int NumDstElts = Mask.size();
1177 int NumSrcElts = SrcTy->getElementCount().getKnownMinValue();
1178 switch (Kind) {
1180 if (ShuffleVectorInst::isReverseMask(Mask, NumSrcElts))
1181 return TTI::SK_Reverse;
1182 if (ShuffleVectorInst::isZeroEltSplatMask(Mask, NumSrcElts))
1183 return TTI::SK_Broadcast;
1184 if (isSplatMask(Mask, NumSrcElts, Index))
1185 return TTI::SK_Broadcast;
1186 if (ShuffleVectorInst::isExtractSubvectorMask(Mask, NumSrcElts, Index) &&
1187 (Index + NumDstElts) <= NumSrcElts) {
1188 SubTy = FixedVectorType::get(SrcTy->getElementType(), NumDstElts);
1190 }
1191 break;
1192 }
1193 case TTI::SK_PermuteTwoSrc: {
1194 if (all_of(Mask, [NumSrcElts](int M) { return M < NumSrcElts; }))
1196 Index, SubTy);
1197 int NumSubElts;
1198 if (NumDstElts > 2 && ShuffleVectorInst::isInsertSubvectorMask(
1199 Mask, NumSrcElts, NumSubElts, Index)) {
1200 if (Index + NumSubElts > NumSrcElts)
1201 return Kind;
1202 SubTy = FixedVectorType::get(SrcTy->getElementType(), NumSubElts);
1204 }
1205 if (ShuffleVectorInst::isSelectMask(Mask, NumSrcElts))
1206 return TTI::SK_Select;
1207 if (ShuffleVectorInst::isTransposeMask(Mask, NumSrcElts))
1208 return TTI::SK_Transpose;
1209 if (ShuffleVectorInst::isSpliceMask(Mask, NumSrcElts, Index))
1210 return TTI::SK_Splice;
1211 break;
1212 }
1213 case TTI::SK_Select:
1214 case TTI::SK_Reverse:
1215 case TTI::SK_Broadcast:
1216 case TTI::SK_Transpose:
1219 case TTI::SK_Splice:
1220 break;
1221 }
1222 return Kind;
1223 }
1224
1228 VectorType *SubTp, ArrayRef<const Value *> Args = {},
1229 const Instruction *CtxI = nullptr,
1231 TTI::VectorInstrContext::None) const override {
1232 switch (improveShuffleKindFromMask(Kind, Mask, SrcTy, Index, SubTp)) {
1233 case TTI::SK_Broadcast:
1234 if (auto *FVT = dyn_cast<FixedVectorType>(SrcTy))
1235 return getBroadcastShuffleOverhead(FVT, CostKind);
1237 case TTI::SK_Select:
1238 case TTI::SK_Splice:
1239 case TTI::SK_Reverse:
1240 case TTI::SK_Transpose:
1243 if (auto *FVT = dyn_cast<FixedVectorType>(SrcTy))
1244 return getPermuteShuffleOverhead(FVT, CostKind);
1247 return getExtractSubvectorOverhead(SrcTy, CostKind, Index,
1248 cast<FixedVectorType>(SubTp));
1250 return getInsertSubvectorOverhead(DstTy, CostKind, Index,
1251 cast<FixedVectorType>(SubTp));
1252 }
1253 llvm_unreachable("Unknown TTI::ShuffleKind");
1254 }
1255
1257 getCastInstrCost(unsigned Opcode, Type *Dst, Type *Src,
1259 const Instruction *I = nullptr) const override {
1260 if (BaseT::getCastInstrCost(Opcode, Dst, Src, CCH, CostKind, I) == 0)
1261 return 0;
1262
1263 const TargetLoweringBase *TLI = getTLI();
1264 int ISD = TLI->InstructionOpcodeToISD(Opcode);
1265 assert(ISD && "Invalid opcode");
1266 std::pair<InstructionCost, MVT> SrcLT = getTypeLegalizationCost(Src);
1267 std::pair<InstructionCost, MVT> DstLT = getTypeLegalizationCost(Dst);
1268
1269 TypeSize SrcSize = SrcLT.second.getSizeInBits();
1270 TypeSize DstSize = DstLT.second.getSizeInBits();
1271 bool IntOrPtrSrc = Src->isIntegerTy() || Src->isPointerTy();
1272 bool IntOrPtrDst = Dst->isIntegerTy() || Dst->isPointerTy();
1273
1274 switch (Opcode) {
1275 default:
1276 break;
1277 case Instruction::Trunc:
1278 // Check for NOOP conversions.
1279 if (TLI->isTruncateFree(SrcLT.second, DstLT.second))
1280 return 0;
1281 [[fallthrough]];
1282 case Instruction::BitCast:
1283 // Bitcast between types that are legalized to the same type are free and
1284 // assume int to/from ptr of the same size is also free.
1285 if (SrcLT.first == DstLT.first && IntOrPtrSrc == IntOrPtrDst &&
1286 SrcSize == DstSize)
1287 return 0;
1288 break;
1289 case Instruction::FPExt:
1290 if (I && getTLI()->isExtFree(I))
1291 return 0;
1292 break;
1293 case Instruction::ZExt:
1294 if (TLI->isZExtFree(SrcLT.second, DstLT.second))
1295 return 0;
1296 [[fallthrough]];
1297 case Instruction::SExt:
1298 if (I && getTLI()->isExtFree(I))
1299 return 0;
1300
1301 // If this is a zext/sext of a load, return 0 if the corresponding
1302 // extending load exists on target and the result type is legal.
1303 if (CCH == TTI::CastContextHint::Normal) {
1304 EVT ExtVT = EVT::getEVT(Dst);
1305 EVT LoadVT = EVT::getEVT(Src);
1306 unsigned LType =
1307 Opcode == Instruction::ZExt ? ISD::ZEXTLOAD : ISD::SEXTLOAD;
1308 if (I) {
1309 if (auto *LI = dyn_cast<LoadInst>(I->getOperand(0))) {
1310 if (DstLT.first == SrcLT.first &&
1311 TLI->isLoadLegal(ExtVT, LoadVT, LI->getAlign(),
1312 LI->getPointerAddressSpace(), LType, false))
1313 return 0;
1314 } else if (auto *II = dyn_cast<IntrinsicInst>(I->getOperand(0))) {
1315 switch (II->getIntrinsicID()) {
1316 case Intrinsic::masked_load: {
1317 Type *PtrType = II->getArgOperand(0)->getType();
1318 assert(PtrType->isPointerTy());
1319
1320 if (DstLT.first == SrcLT.first &&
1321 TLI->isLoadLegal(
1322 ExtVT, LoadVT, II->getParamAlign(0).valueOrOne(),
1323 PtrType->getPointerAddressSpace(), LType, false))
1324 return 0;
1325
1326 break;
1327 }
1328 default:
1329 break;
1330 }
1331 }
1332 }
1333 }
1334 break;
1335 case Instruction::AddrSpaceCast:
1336 if (TLI->isFreeAddrSpaceCast(DL, Src->getPointerAddressSpace(),
1337 Dst->getPointerAddressSpace()))
1338 return 0;
1339 break;
1340 }
1341
1342 auto *SrcVTy = dyn_cast<VectorType>(Src);
1343 auto *DstVTy = dyn_cast<VectorType>(Dst);
1344
1345 // If the cast is marked as legal (or promote) then assume low cost.
1346 if (SrcLT.first == DstLT.first &&
1347 TLI->isOperationLegalOrPromote(ISD, DstLT.second))
1348 return SrcLT.first;
1349
1350 // Handle scalar conversions.
1351 if (!SrcVTy && !DstVTy) {
1352 // Just check the op cost. If the operation is legal then assume it costs
1353 // 1.
1354 if (!TLI->isOperationExpand(ISD, DstLT.second))
1355 return 1;
1356
1357 // Assume that illegal scalar instruction are expensive.
1358 return 4;
1359 }
1360
1361 // Check vector-to-vector casts.
1362 if (DstVTy && SrcVTy) {
1363 // If the cast is between same-sized registers, then the check is simple.
1364 if (SrcLT.first == DstLT.first && SrcSize == DstSize) {
1365
1366 // Assume that Zext is done using AND.
1367 if (Opcode == Instruction::ZExt)
1368 return SrcLT.first;
1369
1370 // Assume that sext is done using SHL and SRA.
1371 if (Opcode == Instruction::SExt)
1372 return SrcLT.first * 2;
1373
1374 // Just check the op cost. If the operation is legal then assume it
1375 // costs
1376 // 1 and multiply by the type-legalization overhead.
1377 if (!TLI->isOperationExpand(ISD, DstLT.second))
1378 return SrcLT.first * 1;
1379 }
1380
1381 // If we are legalizing by splitting, query the concrete TTI for the cost
1382 // of casting the original vector twice. We also need to factor in the
1383 // cost of the split itself. Count that as 1, to be consistent with
1384 // getTypeLegalizationCost().
1385 bool SplitSrc =
1386 TLI->getTypeAction(Src->getContext(), TLI->getValueType(DL, Src)) ==
1388 bool SplitDst =
1389 TLI->getTypeAction(Dst->getContext(), TLI->getValueType(DL, Dst)) ==
1391 if ((SplitSrc || SplitDst) && SrcVTy->getElementCount().isKnownEven() &&
1392 DstVTy->getElementCount().isKnownEven()) {
1393 Type *SplitDstTy = VectorType::getHalfElementsVectorType(DstVTy);
1394 Type *SplitSrcTy = VectorType::getHalfElementsVectorType(SrcVTy);
1395 const T *TTI = thisT();
1396 // If both types need to be split then the split is free.
1397 InstructionCost SplitCost =
1398 (!SplitSrc || !SplitDst) ? TTI->getVectorSplitCost() : 0;
1399 return SplitCost +
1400 (2 * TTI->getCastInstrCost(Opcode, SplitDstTy, SplitSrcTy, CCH,
1401 CostKind, I));
1402 }
1403
1404 // Scalarization cost is Invalid, can't assume any num elements.
1405 if (isa<ScalableVectorType>(DstVTy))
1407
1408 // In other cases where the source or destination are illegal, assume
1409 // the operation will get scalarized.
1410 unsigned Num = cast<FixedVectorType>(DstVTy)->getNumElements();
1411 InstructionCost Cost = thisT()->getCastInstrCost(
1412 Opcode, Dst->getScalarType(), Src->getScalarType(), CCH, CostKind, I);
1413
1414 // Return the cost of multiple scalar invocation plus the cost of
1415 // inserting and extracting the values.
1416 return getScalarizationOverhead(DstVTy, /*Insert*/ true, /*Extract*/ true,
1417 CostKind) +
1418 Num * Cost;
1419 }
1420
1421 // We already handled vector-to-vector and scalar-to-scalar conversions.
1422 // This
1423 // is where we handle bitcast between vectors and scalars. We need to assume
1424 // that the conversion is scalarized in one way or another.
1425 if (Opcode == Instruction::BitCast) {
1426 // Illegal bitcasts are done by storing and loading from a stack slot.
1427 return (SrcVTy ? getScalarizationOverhead(SrcVTy, /*Insert*/ false,
1428 /*Extract*/ true, CostKind)
1429 : 0) +
1430 (DstVTy ? getScalarizationOverhead(DstVTy, /*Insert*/ true,
1431 /*Extract*/ false, CostKind)
1432 : 0);
1433 }
1434
1435 llvm_unreachable("Unhandled cast");
1436 }
1437
1439 getExtractWithExtendCost(unsigned Opcode, Type *Dst, VectorType *VecTy,
1440 unsigned Index,
1441 TTI::TargetCostKind CostKind) const override {
1442 return thisT()->getVectorInstrCost(Instruction::ExtractElement, VecTy,
1443 CostKind, Index, nullptr, nullptr) +
1444 thisT()->getCastInstrCost(Opcode, Dst, VecTy->getElementType(),
1446 }
1447
1450 const Instruction *I = nullptr) const override {
1451 return BaseT::getCFInstrCost(Opcode, CostKind, I);
1452 }
1453
1455 unsigned Opcode, Type *ValTy, Type *CondTy, CmpInst::Predicate VecPred,
1459 const Instruction *I = nullptr) const override {
1460 const TargetLoweringBase *TLI = getTLI();
1461 int ISD = TLI->InstructionOpcodeToISD(Opcode);
1462 assert(ISD && "Invalid opcode");
1463
1464 if (getTLI()->getValueType(DL, ValTy, true) == MVT::Other)
1465 return BaseT::getCmpSelInstrCost(Opcode, ValTy, CondTy, VecPred, CostKind,
1466 Op1Info, Op2Info, I);
1467
1468 // Selects on vectors are actually vector selects.
1469 if (ISD == ISD::SELECT) {
1470 assert(CondTy && "CondTy must exist");
1471 if (CondTy->isVectorTy())
1472 ISD = ISD::VSELECT;
1473 }
1474 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(ValTy);
1475
1476 if (!(ValTy->isVectorTy() && !LT.second.isVector()) &&
1477 !TLI->isOperationExpand(ISD, LT.second)) {
1478 // The operation is legal. Assume it costs 1. Multiply
1479 // by the type-legalization overhead.
1480 return LT.first * 1;
1481 }
1482
1483 // Otherwise, assume that the cast is scalarized.
1484 // TODO: If one of the types get legalized by splitting, handle this
1485 // similarly to what getCastInstrCost() does.
1486 if (auto *ValVTy = dyn_cast<VectorType>(ValTy)) {
1487 if (isa<ScalableVectorType>(ValTy))
1489
1490 unsigned Num = cast<FixedVectorType>(ValVTy)->getNumElements();
1491 InstructionCost Cost = thisT()->getCmpSelInstrCost(
1492 Opcode, ValVTy->getScalarType(), CondTy->getScalarType(), VecPred,
1493 CostKind, Op1Info, Op2Info, I);
1494
1495 // Return the cost of multiple scalar invocation plus the cost of
1496 // inserting and extracting the values.
1497 return getScalarizationOverhead(ValVTy, /*Insert*/ true,
1498 /*Extract*/ false, CostKind) +
1499 Num * Cost;
1500 }
1501
1502 // Unknown scalar opcode.
1503 return 1;
1504 }
1505
1508 unsigned Index, const Value *Op0, const Value *Op1,
1510 TTI::VectorInstrContext::None) const override {
1511 return getRegUsageForType(Val->getScalarType());
1512 }
1513
1514 /// \param ScalarUserAndIdx encodes the information about extracts from a
1515 /// vector with 'Scalar' being the value being extracted,'User' being the user
1516 /// of the extract(nullptr if user is not known before vectorization) and
1517 /// 'Idx' being the extract lane.
1519 unsigned Opcode, Type *Val, TTI::TargetCostKind CostKind, unsigned Index,
1520 Value *Scalar,
1521 ArrayRef<std::tuple<Value *, User *, int>> ScalarUserAndIdx,
1523 TTI::VectorInstrContext::None) const override {
1524 return getVectorInstrCost(Opcode, Val, CostKind, Index, nullptr, nullptr,
1525 VIC);
1526 }
1527
1530 TTI::TargetCostKind CostKind, unsigned Index,
1532 TTI::VectorInstrContext::None) const override {
1533 Value *Op0 = nullptr;
1534 Value *Op1 = nullptr;
1535 if (auto *IE = dyn_cast<InsertElementInst>(&I)) {
1536 Op0 = IE->getOperand(0);
1537 Op1 = IE->getOperand(1);
1538 }
1539 // If VIC is None, compute it from the instruction
1542 return thisT()->getVectorInstrCost(I.getOpcode(), Val, CostKind, Index, Op0,
1543 Op1, VIC);
1544 }
1545
1549 unsigned Index) const override {
1550 unsigned NewIndex = -1;
1551 if (auto *FVTy = dyn_cast<FixedVectorType>(Val)) {
1552 assert(Index < FVTy->getNumElements() &&
1553 "Unexpected index from end of vector");
1554 NewIndex = FVTy->getNumElements() - 1 - Index;
1555 }
1556 return thisT()->getVectorInstrCost(Opcode, Val, CostKind, NewIndex, nullptr,
1557 nullptr);
1558 }
1559
1561 getReplicationShuffleCost(Type *EltTy, int ReplicationFactor, int VF,
1562 const APInt &DemandedDstElts,
1563 TTI::TargetCostKind CostKind) const override {
1564 assert(DemandedDstElts.getBitWidth() == (unsigned)VF * ReplicationFactor &&
1565 "Unexpected size of DemandedDstElts.");
1566
1568
1569 auto *SrcVT = FixedVectorType::get(EltTy, VF);
1570 auto *ReplicatedVT = FixedVectorType::get(EltTy, VF * ReplicationFactor);
1571
1572 // The Mask shuffling cost is extract all the elements of the Mask
1573 // and insert each of them Factor times into the wide vector:
1574 //
1575 // E.g. an interleaved group with factor 3:
1576 // %mask = icmp ult <8 x i32> %vec1, %vec2
1577 // %interleaved.mask = shufflevector <8 x i1> %mask, <8 x i1> undef,
1578 // <24 x i32> <0,0,0,1,1,1,2,2,2,3,3,3,4,4,4,5,5,5,6,6,6,7,7,7>
1579 // The cost is estimated as extract all mask elements from the <8xi1> mask
1580 // vector and insert them factor times into the <24xi1> shuffled mask
1581 // vector.
1582 APInt DemandedSrcElts = APIntOps::ScaleBitMask(DemandedDstElts, VF);
1583 Cost += thisT()->getScalarizationOverhead(SrcVT, DemandedSrcElts,
1584 /*Insert*/ false,
1585 /*Extract*/ true, CostKind);
1586 Cost += thisT()->getScalarizationOverhead(ReplicatedVT, DemandedDstElts,
1587 /*Insert*/ true,
1588 /*Extract*/ false, CostKind);
1589
1590 return Cost;
1591 }
1592
1594 unsigned Opcode, Type *Src, Align Alignment, unsigned AddressSpace,
1597 const Instruction *I = nullptr) const override {
1598 assert(!Src->isVoidTy() && "Invalid type");
1599 // Assume types, such as structs, are expensive.
1600 if (getTLI()->getValueType(DL, Src, true) == MVT::Other)
1601 return 4;
1602 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(Src);
1603
1604 // FIXME: Arbitrary cost
1605 if (Opcode == Instruction::Load && CostKind == TTI::TCK_Latency)
1606 return 4;
1607
1608 // Assuming that all loads of legal types cost 1.
1609 InstructionCost Cost = LT.first;
1611 return Cost;
1612
1613 const DataLayout &DL = this->getDataLayout();
1614 if (Src->isVectorTy() &&
1615 // In practice it's not currently possible to have a change in lane
1616 // length for extending loads or truncating stores so both types should
1617 // have the same scalable property.
1618 TypeSize::isKnownLT(DL.getTypeStoreSizeInBits(Src),
1619 LT.second.getSizeInBits())) {
1620 // This is a vector load that legalizes to a larger type than the vector
1621 // itself. Unless the corresponding extending load or truncating store is
1622 // legal, then this will scalarize.
1624 EVT MemVT = getTLI()->getValueType(DL, Src);
1625 if (Opcode == Instruction::Store)
1626 LA = getTLI()->getTruncStoreAction(LT.second, MemVT, Alignment,
1627 AddressSpace);
1628 else
1629 LA = getTLI()->getLoadAction(LT.second, MemVT, Alignment, AddressSpace,
1630 ISD::EXTLOAD, false);
1631
1632 if (LA != TargetLowering::Legal && LA != TargetLowering::Custom) {
1633 // This is a vector load/store for some illegal type that is scalarized.
1634 // We must account for the cost of building or decomposing the vector.
1636 cast<VectorType>(Src), Opcode != Instruction::Store,
1637 Opcode == Instruction::Store, CostKind);
1638 }
1639 }
1640
1641 return Cost;
1642 }
1643
1645 unsigned Opcode, Type *VecTy, unsigned Factor, ArrayRef<unsigned> Indices,
1646 Align Alignment, unsigned AddressSpace, TTI::TargetCostKind CostKind,
1647 bool UseMaskForCond = false, bool UseMaskForGaps = false) const override {
1648
1649 // We cannot scalarize scalable vectors, so return Invalid.
1650 if (isa<ScalableVectorType>(VecTy))
1652
1653 auto *VT = cast<FixedVectorType>(VecTy);
1654
1655 unsigned NumElts = VT->getNumElements();
1656 assert(Factor > 1 && NumElts % Factor == 0 && "Invalid interleave factor");
1657
1658 unsigned NumSubElts = NumElts / Factor;
1659 auto *SubVT = FixedVectorType::get(VT->getElementType(), NumSubElts);
1660
1661 // Firstly, the cost of load/store operation.
1663 if (UseMaskForCond || UseMaskForGaps) {
1664 unsigned IID = Opcode == Instruction::Load ? Intrinsic::masked_load
1665 : Intrinsic::masked_store;
1666 Cost = thisT()->getMemIntrinsicInstrCost(
1667 MemIntrinsicCostAttributes(IID, VecTy, Alignment, AddressSpace),
1668 CostKind);
1669 } else
1670 Cost = thisT()->getMemoryOpCost(Opcode, VecTy, Alignment, AddressSpace,
1671 CostKind);
1672
1673 // Legalize the vector type, and get the legalized and unlegalized type
1674 // sizes.
1675 MVT VecTyLT = getTypeLegalizationCost(VecTy).second;
1676 unsigned VecTySize = thisT()->getDataLayout().getTypeStoreSize(VecTy);
1677 unsigned VecTyLTSize = VecTyLT.getStoreSize();
1678
1679 // Scale the cost of the memory operation by the fraction of legalized
1680 // instructions that will actually be used. We shouldn't account for the
1681 // cost of dead instructions since they will be removed.
1682 //
1683 // E.g., An interleaved load of factor 8:
1684 // %vec = load <16 x i64>, <16 x i64>* %ptr
1685 // %v0 = shufflevector %vec, undef, <0, 8>
1686 //
1687 // If <16 x i64> is legalized to 8 v2i64 loads, only 2 of the loads will be
1688 // used (those corresponding to elements [0:1] and [8:9] of the unlegalized
1689 // type). The other loads are unused.
1690 //
1691 // TODO: Note that legalization can turn masked loads/stores into unmasked
1692 // (legalized) loads/stores. This can be reflected in the cost.
1693 if (Cost.isValid() && VecTySize > VecTyLTSize) {
1694 // The number of loads of a legal type it will take to represent a load
1695 // of the unlegalized vector type.
1696 unsigned NumLegalInsts = divideCeil(VecTySize, VecTyLTSize);
1697
1698 // The number of elements of the unlegalized type that correspond to a
1699 // single legal instruction.
1700 unsigned NumEltsPerLegalInst = divideCeil(NumElts, NumLegalInsts);
1701
1702 // Determine which legal instructions will be used.
1703 BitVector UsedInsts(NumLegalInsts, false);
1704 for (unsigned Index : Indices)
1705 for (unsigned Elt = 0; Elt < NumSubElts; ++Elt)
1706 UsedInsts.set((Index + Elt * Factor) / NumEltsPerLegalInst);
1707
1708 // Scale the cost of the load by the fraction of legal instructions that
1709 // will be used.
1710 Cost = divideCeil(UsedInsts.count() * Cost.getValue(), NumLegalInsts);
1711 }
1712
1713 // Then plus the cost of interleave operation.
1714 assert(Indices.size() <= Factor &&
1715 "Interleaved memory op has too many members");
1716
1717 const APInt DemandedAllSubElts = APInt::getAllOnes(NumSubElts);
1718 const APInt DemandedAllResultElts = APInt::getAllOnes(NumElts);
1719
1720 APInt DemandedLoadStoreElts = APInt::getZero(NumElts);
1721 for (unsigned Index : Indices) {
1722 assert(Index < Factor && "Invalid index for interleaved memory op");
1723 for (unsigned Elm = 0; Elm < NumSubElts; Elm++)
1724 DemandedLoadStoreElts.setBit(Index + Elm * Factor);
1725 }
1726
1727 if (Opcode == Instruction::Load) {
1728 // The interleave cost is similar to extract sub vectors' elements
1729 // from the wide vector, and insert them into sub vectors.
1730 //
1731 // E.g. An interleaved load of factor 2 (with one member of index 0):
1732 // %vec = load <8 x i32>, <8 x i32>* %ptr
1733 // %v0 = shuffle %vec, undef, <0, 2, 4, 6> ; Index 0
1734 // The cost is estimated as extract elements at 0, 2, 4, 6 from the
1735 // <8 x i32> vector and insert them into a <4 x i32> vector.
1736 InstructionCost InsSubCost = thisT()->getScalarizationOverhead(
1737 SubVT, DemandedAllSubElts,
1738 /*Insert*/ true, /*Extract*/ false, CostKind);
1739 Cost += Indices.size() * InsSubCost;
1740 Cost += thisT()->getScalarizationOverhead(VT, DemandedLoadStoreElts,
1741 /*Insert*/ false,
1742 /*Extract*/ true, CostKind);
1743 } else {
1744 // The interleave cost is extract elements from sub vectors, and
1745 // insert them into the wide vector.
1746 //
1747 // E.g. An interleaved store of factor 3 with 2 members at indices 0,1:
1748 // (using VF=4):
1749 // %v0_v1 = shuffle %v0, %v1, <0,4,undef,1,5,undef,2,6,undef,3,7,undef>
1750 // %gaps.mask = <true, true, false, true, true, false,
1751 // true, true, false, true, true, false>
1752 // call llvm.masked.store <12 x i32> %v0_v1, <12 x i32>* %ptr,
1753 // i32 Align, <12 x i1> %gaps.mask
1754 // The cost is estimated as extract all elements (of actual members,
1755 // excluding gaps) from both <4 x i32> vectors and insert into the <12 x
1756 // i32> vector.
1757 InstructionCost ExtSubCost = thisT()->getScalarizationOverhead(
1758 SubVT, DemandedAllSubElts,
1759 /*Insert*/ false, /*Extract*/ true, CostKind);
1760 Cost += ExtSubCost * Indices.size();
1761 Cost += thisT()->getScalarizationOverhead(VT, DemandedLoadStoreElts,
1762 /*Insert*/ true,
1763 /*Extract*/ false, CostKind);
1764 }
1765
1766 if (!UseMaskForCond)
1767 return Cost;
1768
1769 Type *I8Type = Type::getInt8Ty(VT->getContext());
1770
1771 Cost += thisT()->getReplicationShuffleCost(
1772 I8Type, Factor, NumSubElts,
1773 UseMaskForGaps ? DemandedLoadStoreElts : DemandedAllResultElts,
1774 CostKind);
1775
1776 // The Gaps mask is invariant and created outside the loop, therefore the
1777 // cost of creating it is not accounted for here. However if we have both
1778 // a MaskForGaps and some other mask that guards the execution of the
1779 // memory access, we need to account for the cost of And-ing the two masks
1780 // inside the loop.
1781 if (UseMaskForGaps) {
1782 auto *MaskVT = FixedVectorType::get(I8Type, NumElts);
1783 Cost += thisT()->getArithmeticInstrCost(BinaryOperator::And, MaskVT,
1784 CostKind);
1785 }
1786
1787 return Cost;
1788 }
1789
1790 /// Get intrinsic cost based on arguments.
1793 TTI::TargetCostKind CostKind) const override {
1794 // Check for generically free intrinsics.
1796 return 0;
1797
1798 // Assume that target intrinsics are cheap.
1799 Intrinsic::ID IID = ICA.getID();
1802
1803 // VP Intrinsics should have the same cost as their non-vp counterpart.
1804 // TODO: Adjust the cost to make the vp intrinsic cheaper than its non-vp
1805 // counterpart when the vector length argument is smaller than the maximum
1806 // vector length.
1807 // TODO: Support other kinds of VPIntrinsics
1808 if (VPIntrinsic::isVPIntrinsic(ICA.getID())) {
1809 std::optional<unsigned> FOp =
1811 if (FOp) {
1812 if (ICA.getID() == Intrinsic::vp_load) {
1813 Align Alignment;
1814 if (auto *VPI = dyn_cast_or_null<VPIntrinsic>(ICA.getInst()))
1815 Alignment = VPI->getPointerAlignment().valueOrOne();
1816 unsigned AS = 0;
1817 if (ICA.getArgTypes().size() > 1)
1818 if (auto *PtrTy = dyn_cast<PointerType>(ICA.getArgTypes()[0]))
1819 AS = PtrTy->getAddressSpace();
1820 return thisT()->getMemoryOpCost(*FOp, ICA.getReturnType(), Alignment,
1821 AS, CostKind);
1822 }
1823 if (ICA.getID() == Intrinsic::vp_store) {
1824 Align Alignment;
1825 if (auto *VPI = dyn_cast_or_null<VPIntrinsic>(ICA.getInst()))
1826 Alignment = VPI->getPointerAlignment().valueOrOne();
1827 unsigned AS = 0;
1828 if (ICA.getArgTypes().size() >= 2)
1829 if (auto *PtrTy = dyn_cast<PointerType>(ICA.getArgTypes()[1]))
1830 AS = PtrTy->getAddressSpace();
1831 return thisT()->getMemoryOpCost(*FOp, ICA.getArgTypes()[0], Alignment,
1832 AS, CostKind);
1833 }
1834 if (ICA.getID() == Intrinsic::vp_udiv ||
1835 ICA.getID() == Intrinsic::vp_sdiv ||
1836 ICA.getID() == Intrinsic::vp_urem ||
1837 ICA.getID() == Intrinsic::vp_srem) {
1838 return thisT()->getArithmeticInstrCost(*FOp, ICA.getReturnType(),
1839 CostKind);
1840 }
1841 }
1842 if (ICA.getID() == Intrinsic::vp_load_ff) {
1843 Type *RetTy = ICA.getReturnType();
1844 Type *DataTy = cast<StructType>(RetTy)->getElementType(0);
1845 Align Alignment;
1846 if (auto *VPI = dyn_cast_or_null<VPIntrinsic>(ICA.getInst()))
1847 Alignment = VPI->getPointerAlignment().valueOrOne();
1848 return thisT()->getMemIntrinsicInstrCost(
1849 MemIntrinsicCostAttributes(ICA.getID(), DataTy, Alignment),
1850 CostKind);
1851 }
1852 if (ICA.getID() == Intrinsic::vp_scatter) {
1853 if (ICA.isTypeBasedOnly()) {
1854 IntrinsicCostAttributes MaskedScatter(
1857 ICA.getFlags());
1858 return getTypeBasedIntrinsicInstrCost(MaskedScatter, CostKind);
1859 }
1860 Align Alignment;
1861 if (auto *VPI = dyn_cast_or_null<VPIntrinsic>(ICA.getInst()))
1862 Alignment = VPI->getPointerAlignment().valueOrOne();
1863 bool VarMask = isa<Constant>(ICA.getArgs()[2]);
1864 return thisT()->getMemIntrinsicInstrCost(
1865 MemIntrinsicCostAttributes(Intrinsic::vp_scatter,
1866 ICA.getArgTypes()[0], ICA.getArgs()[1],
1867 VarMask, Alignment, nullptr),
1868 CostKind);
1869 }
1870 if (ICA.getID() == Intrinsic::vp_gather) {
1871 if (ICA.isTypeBasedOnly()) {
1872 IntrinsicCostAttributes MaskedGather(
1875 ICA.getFlags());
1876 return getTypeBasedIntrinsicInstrCost(MaskedGather, CostKind);
1877 }
1878 Align Alignment;
1879 if (auto *VPI = dyn_cast_or_null<VPIntrinsic>(ICA.getInst()))
1880 Alignment = VPI->getPointerAlignment().valueOrOne();
1881 bool VarMask = isa<Constant>(ICA.getArgs()[1]);
1882 return thisT()->getMemIntrinsicInstrCost(
1883 MemIntrinsicCostAttributes(Intrinsic::vp_gather,
1884 ICA.getReturnType(), ICA.getArgs()[0],
1885 VarMask, Alignment, nullptr),
1886 CostKind);
1887 }
1888
1889 if (ICA.getID() == Intrinsic::vp_merge) {
1890 TTI::OperandValueInfo OpInfoX, OpInfoY;
1891 if (!ICA.isTypeBasedOnly()) {
1892 OpInfoX = TTI::getOperandInfo(ICA.getArgs()[0]);
1893 OpInfoY = TTI::getOperandInfo(ICA.getArgs()[1]);
1894 }
1895 return getCmpSelInstrCost(
1896 Instruction::Select, ICA.getReturnType(), ICA.getArgTypes()[0],
1897 CmpInst::BAD_ICMP_PREDICATE, CostKind, OpInfoX, OpInfoY);
1898 }
1899
1900 std::optional<Intrinsic::ID> FID =
1902
1903 // Not functionally equivalent but close enough for cost modelling.
1904 if (ICA.getID() == Intrinsic::experimental_vp_reverse)
1905 FID = Intrinsic::vector_reverse;
1906
1907 if (FID) {
1908 // Non-vp version will have same arg types except mask and vector
1909 // length.
1910 assert(ICA.getArgTypes().size() >= 2 &&
1911 "Expected VPIntrinsic to have Mask and Vector Length args and "
1912 "types");
1913
1914 ArrayRef<const Value *> NewArgs = ArrayRef(ICA.getArgs());
1915 if (!ICA.isTypeBasedOnly())
1916 NewArgs = NewArgs.drop_back(2);
1918
1919 // VPReduction intrinsics have a start value argument that their non-vp
1920 // counterparts do not have, except for the fadd and fmul non-vp
1921 // counterpart.
1923 *FID != Intrinsic::vector_reduce_fadd &&
1924 *FID != Intrinsic::vector_reduce_fmul) {
1925 if (!ICA.isTypeBasedOnly())
1926 NewArgs = NewArgs.drop_front();
1927 NewTys = NewTys.drop_front();
1928 }
1929
1930 IntrinsicCostAttributes NewICA(*FID, ICA.getReturnType(), NewArgs,
1931 NewTys, ICA.getFlags());
1932 return thisT()->getIntrinsicInstrCost(NewICA, CostKind);
1933 }
1934 }
1935
1936 if (ICA.isTypeBasedOnly())
1938
1939 Type *RetTy = ICA.getReturnType();
1940
1941 ElementCount RetVF = isVectorizedTy(RetTy) ? getVectorizedTypeVF(RetTy)
1943
1944 const IntrinsicInst *I = ICA.getInst();
1945 const SmallVectorImpl<const Value *> &Args = ICA.getArgs();
1946 FastMathFlags FMF = ICA.getFlags();
1947 switch (IID) {
1948 default:
1949 break;
1950
1951 case Intrinsic::powi:
1952 if (auto *RHSC = dyn_cast<ConstantInt>(Args[1])) {
1953 bool ShouldOptForSize = I->getParent()->getParent()->hasOptSize();
1954 if (getTLI()->isBeneficialToExpandPowI(RHSC->getSExtValue(),
1955 ShouldOptForSize)) {
1956 // The cost is modeled on the expansion performed by ExpandPowI in
1957 // SelectionDAGBuilder.
1958 APInt Exponent = RHSC->getValue().abs();
1959 unsigned ActiveBits = Exponent.getActiveBits();
1960 unsigned PopCount = Exponent.popcount();
1961 InstructionCost Cost = (ActiveBits + PopCount - 2) *
1962 thisT()->getArithmeticInstrCost(
1963 Instruction::FMul, RetTy, CostKind);
1964 if (RHSC->isNegative())
1965 Cost += thisT()->getArithmeticInstrCost(Instruction::FDiv, RetTy,
1966 CostKind);
1967 return Cost;
1968 }
1969 }
1970 break;
1971 case Intrinsic::cttz:
1972 // FIXME: If necessary, this should go in target-specific overrides.
1973 if (RetVF.isScalar() && getTLI()->isCheapToSpeculateCttz(RetTy))
1975 break;
1976
1977 case Intrinsic::ctlz:
1978 // FIXME: If necessary, this should go in target-specific overrides.
1979 if (RetVF.isScalar() && getTLI()->isCheapToSpeculateCtlz(RetTy))
1981 break;
1982
1983 case Intrinsic::memcpy:
1984 return thisT()->getMemcpyCost(ICA.getInst());
1985
1986 case Intrinsic::masked_scatter: {
1987 const Value *Mask = Args[2];
1988 bool VarMask = !isa<Constant>(Mask);
1989 Align Alignment = I->getParamAlign(1).valueOrOne();
1990 return thisT()->getMemIntrinsicInstrCost(
1991 MemIntrinsicCostAttributes(Intrinsic::masked_scatter,
1992 ICA.getArgTypes()[0], Args[1], VarMask,
1993 Alignment, I),
1994 CostKind);
1995 }
1996 case Intrinsic::masked_gather: {
1997 const Value *Mask = Args[1];
1998 bool VarMask = !isa<Constant>(Mask);
1999 Align Alignment = I->getParamAlign(0).valueOrOne();
2000 return thisT()->getMemIntrinsicInstrCost(
2001 MemIntrinsicCostAttributes(Intrinsic::masked_gather, RetTy, Args[0],
2002 VarMask, Alignment, I),
2003 CostKind);
2004 }
2005 case Intrinsic::masked_compressstore: {
2006 const Value *Data = Args[0];
2007 const Value *Mask = Args[2];
2008 Align Alignment = I->getParamAlign(1).valueOrOne();
2009 return thisT()->getMemIntrinsicInstrCost(
2010 MemIntrinsicCostAttributes(IID, Data->getType(), !isa<Constant>(Mask),
2011 Alignment, I),
2012 CostKind);
2013 }
2014 case Intrinsic::masked_expandload: {
2015 const Value *Mask = Args[1];
2016 Align Alignment = I->getParamAlign(0).valueOrOne();
2017 return thisT()->getMemIntrinsicInstrCost(
2018 MemIntrinsicCostAttributes(IID, RetTy, !isa<Constant>(Mask),
2019 Alignment, I),
2020 CostKind);
2021 }
2022 case Intrinsic::experimental_vp_strided_store: {
2023 const Value *Data = Args[0];
2024 const Value *Ptr = Args[1];
2025 const Value *Stride = Args[2];
2026 const Value *Mask = Args[3];
2027 const Value *EVL = Args[4];
2028 bool VarMask = !isa<Constant>(Mask) || !isa<Constant>(EVL);
2029 Type *EltTy = cast<VectorType>(Data->getType())->getElementType();
2030 Align Alignment =
2031 I->getParamAlign(1).value_or(thisT()->DL.getABITypeAlign(EltTy));
2032 return thisT()->getMemIntrinsicInstrCost(
2033 MemIntrinsicCostAttributes(IID, Data->getType(), Ptr, VarMask,
2034 Alignment, I, Stride),
2035 CostKind);
2036 }
2037 case Intrinsic::experimental_vp_strided_load: {
2038 const Value *Ptr = Args[0];
2039 const Value *Stride = Args[1];
2040 const Value *Mask = Args[2];
2041 const Value *EVL = Args[3];
2042 bool VarMask = !isa<Constant>(Mask) || !isa<Constant>(EVL);
2043 Type *EltTy = cast<VectorType>(RetTy)->getElementType();
2044 Align Alignment =
2045 I->getParamAlign(0).value_or(thisT()->DL.getABITypeAlign(EltTy));
2046 return thisT()->getMemIntrinsicInstrCost(
2047 MemIntrinsicCostAttributes(IID, RetTy, Ptr, VarMask, Alignment, I,
2048 Stride),
2049 CostKind);
2050 }
2051 case Intrinsic::stepvector: {
2052 if (isa<ScalableVectorType>(RetTy))
2054 // The cost of materialising a constant integer vector.
2056 }
2057 case Intrinsic::vector_extract: {
2058 // FIXME: Handle case where a scalable vector is extracted from a scalable
2059 // vector
2060 if (isa<ScalableVectorType>(RetTy))
2062 unsigned Index = cast<ConstantInt>(Args[1])->getZExtValue();
2063 return thisT()->getShuffleCost(
2065 cast<VectorType>(Args[0]->getType()), CostKind, {}, Index,
2066 cast<VectorType>(RetTy));
2067 }
2068 case Intrinsic::vector_insert: {
2069 // FIXME: Handle case where a scalable vector is inserted into a scalable
2070 // vector
2071 if (isa<ScalableVectorType>(Args[1]->getType()))
2073 unsigned Index = cast<ConstantInt>(Args[2])->getZExtValue();
2074 return thisT()->getShuffleCost(
2076 cast<VectorType>(Args[0]->getType()), CostKind, {}, Index,
2077 cast<VectorType>(Args[1]->getType()));
2078 }
2079 case Intrinsic::vector_splice_left:
2080 case Intrinsic::vector_splice_right: {
2081 auto *COffset = dyn_cast<ConstantInt>(Args[2]);
2082 if (!COffset)
2083 break;
2084 unsigned Index = COffset->getZExtValue();
2085 return thisT()->getShuffleCost(
2087 cast<VectorType>(Args[0]->getType()), CostKind, {},
2088 IID == Intrinsic::vector_splice_left ? Index : -Index,
2089 cast<VectorType>(RetTy));
2090 }
2091 case Intrinsic::vector_reduce_add:
2092 case Intrinsic::vector_reduce_mul:
2093 case Intrinsic::vector_reduce_and:
2094 case Intrinsic::vector_reduce_or:
2095 case Intrinsic::vector_reduce_xor:
2096 case Intrinsic::vector_reduce_smax:
2097 case Intrinsic::vector_reduce_smin:
2098 case Intrinsic::vector_reduce_fmax:
2099 case Intrinsic::vector_reduce_fmin:
2100 case Intrinsic::vector_reduce_fmaximum:
2101 case Intrinsic::vector_reduce_fminimum:
2102 case Intrinsic::vector_reduce_fmaximumnum:
2103 case Intrinsic::vector_reduce_fminimumnum:
2104 case Intrinsic::vector_reduce_umax:
2105 case Intrinsic::vector_reduce_umin: {
2106 IntrinsicCostAttributes Attrs(IID, RetTy, Args[0]->getType(), FMF, I, 1);
2108 }
2109 case Intrinsic::vector_reduce_fadd:
2110 case Intrinsic::vector_reduce_fmul: {
2112 IID, RetTy, {Args[0]->getType(), Args[1]->getType()}, FMF, I, 1);
2114 }
2115 case Intrinsic::fshl:
2116 case Intrinsic::fshr: {
2117 const Value *X = Args[0];
2118 const Value *Y = Args[1];
2119 const Value *Z = Args[2];
2122 const TTI::OperandValueInfo OpInfoZ = TTI::getOperandInfo(Z);
2123
2124 // fshl: (X << (Z % BW)) | (Y >> (BW - (Z % BW)))
2125 // fshr: (X << (BW - (Z % BW))) | (Y >> (Z % BW))
2127 Cost +=
2128 thisT()->getArithmeticInstrCost(BinaryOperator::Or, RetTy, CostKind);
2129 Cost += thisT()->getArithmeticInstrCost(
2130 BinaryOperator::Shl, RetTy, CostKind, OpInfoX,
2131 {OpInfoZ.Kind, TTI::OP_None});
2132 Cost += thisT()->getArithmeticInstrCost(
2133 BinaryOperator::LShr, RetTy, CostKind, OpInfoY,
2134 {OpInfoZ.Kind, TTI::OP_None});
2135
2136 if (!OpInfoZ.isConstant()) {
2137 Cost += thisT()->getArithmeticInstrCost(BinaryOperator::Sub, RetTy,
2138 CostKind);
2139 // Non-constant shift amounts requires a modulo. If the typesize is a
2140 // power-2 then this will be converted to an and, otherwise it will use
2141 // a urem.
2142 Cost += thisT()->getArithmeticInstrCost(
2143 isPowerOf2_32(RetTy->getScalarSizeInBits()) ? BinaryOperator::And
2144 : BinaryOperator::URem,
2145 RetTy, CostKind, OpInfoZ,
2146 {TTI::OK_UniformConstantValue, TTI::OP_None});
2147 // For non-rotates (X != Y) we must add shift-by-zero handling costs.
2148 if (X != Y) {
2149 Type *CondTy = RetTy->getWithNewBitWidth(1);
2150 Cost += thisT()->getCmpSelInstrCost(
2151 BinaryOperator::ICmp, RetTy, CondTy, CmpInst::ICMP_EQ, CostKind);
2152 Cost +=
2153 thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, CondTy,
2155 }
2156 }
2157 return Cost;
2158 }
2159 case Intrinsic::experimental_cttz_elts: {
2160 EVT ArgType = getTLI()->getValueType(DL, ICA.getArgTypes()[0], true);
2161
2162 // TODO: The costs below reflect the expansion code in
2163 // TargetLowering::expandCttzElts, but we may want to sacrifice some
2164 // accuracy in favour of compile time.
2165
2166 // Find the smallest "sensible" element type to use for the expansion.
2167 bool ZeroIsPoison = !cast<ConstantInt>(Args[1])->isZero();
2168 ConstantRange VScaleRange(APInt(64, 1), APInt::getZero(64));
2169 if (isa<ScalableVectorType>(ICA.getArgTypes()[0]) && I && I->getCaller())
2170 VScaleRange = getVScaleRange(I->getCaller(), 64);
2171
2172 unsigned EltWidth = getTLI()->getBitWidthForCttzElements(
2173 getTLI()->getValueType(DL, RetTy), ArgType.getVectorElementCount(),
2174 ZeroIsPoison, &VScaleRange);
2175 Type *NewEltTy = IntegerType::getIntNTy(RetTy->getContext(), EltWidth);
2176
2177 // Create the new vector type & get the vector length
2178 Type *NewVecTy = VectorType::get(
2179 NewEltTy, cast<VectorType>(Args[0]->getType())->getElementCount());
2180
2181 IntrinsicCostAttributes StepVecAttrs(Intrinsic::stepvector, NewVecTy, {},
2182 FMF);
2184 thisT()->getIntrinsicInstrCost(StepVecAttrs, CostKind);
2185
2186 Cost +=
2187 thisT()->getArithmeticInstrCost(Instruction::Sub, NewVecTy, CostKind);
2188 Cost += thisT()->getCastInstrCost(Instruction::SExt, NewVecTy,
2189 Args[0]->getType(),
2191 Cost +=
2192 thisT()->getArithmeticInstrCost(Instruction::And, NewVecTy, CostKind);
2193
2194 IntrinsicCostAttributes ReducAttrs(Intrinsic::vector_reduce_umax,
2195 NewEltTy, NewVecTy, FMF, I, 1);
2196 Cost += thisT()->getTypeBasedIntrinsicInstrCost(ReducAttrs, CostKind);
2197 Cost +=
2198 thisT()->getArithmeticInstrCost(Instruction::Sub, NewEltTy, CostKind);
2199
2200 return Cost;
2201 }
2202 case Intrinsic::get_active_lane_mask:
2203 case Intrinsic::experimental_vector_match:
2204 case Intrinsic::experimental_vector_histogram_add:
2205 case Intrinsic::experimental_vector_histogram_uadd_sat:
2206 case Intrinsic::experimental_vector_histogram_umax:
2207 case Intrinsic::experimental_vector_histogram_umin:
2208 case Intrinsic::masked_udiv:
2209 case Intrinsic::masked_sdiv:
2210 case Intrinsic::masked_urem:
2211 case Intrinsic::masked_srem:
2212 return thisT()->getTypeBasedIntrinsicInstrCost(ICA, CostKind);
2213 case Intrinsic::modf:
2214 case Intrinsic::sincos:
2215 case Intrinsic::sincospi: {
2216 std::optional<unsigned> CallRetElementIndex;
2217 // The first element of the modf result is returned by value in the
2218 // libcall.
2219 if (ICA.getID() == Intrinsic::modf)
2220 CallRetElementIndex = 0;
2221
2222 if (auto Cost = getMultipleResultIntrinsicVectorLibCallCost(
2223 ICA, CostKind, CallRetElementIndex))
2224 return *Cost;
2225 // Otherwise, fallback to default scalarization cost.
2226 break;
2227 }
2228 case Intrinsic::loop_dependence_war_mask:
2229 case Intrinsic::loop_dependence_raw_mask: {
2230 // Compute the cost of the expanded version of these intrinsics:
2231 //
2232 // The possible expansions are...
2233 //
2234 // loop_dependence_war_mask:
2235 // diff = (addrB - addrA) / eltSize
2236 // cmp = icmp sle diff, 0
2237 // upper_bound = select cmp, -1, diff
2238 // mask = get_active_lane_mask 0, upper_bound
2239 //
2240 // loop_dependence_raw_mask:
2241 // diff = (abs(addrB - addrA)) / eltSize
2242 // cmp = icmp eq diff, 0
2243 // upper_bound = select cmp, -1, diff
2244 // mask = get_active_lane_mask 0, upper_bound
2245 //
2246 Type *AddrTy = ICA.getArgTypes()[0];
2247 bool IsReadAfterWrite = IID == Intrinsic::loop_dependence_raw_mask;
2248
2250 thisT()->getArithmeticInstrCost(Instruction::Sub, AddrTy, CostKind);
2251 if (IsReadAfterWrite) {
2252 IntrinsicCostAttributes AbsAttrs(Intrinsic::abs, AddrTy, {AddrTy}, {});
2253 Cost += thisT()->getIntrinsicInstrCost(AbsAttrs, CostKind);
2254 }
2255
2256 TTI::OperandValueInfo EltSizeOpInfo =
2257 TTI::getOperandInfo(ICA.getArgs()[2]);
2258 Cost += thisT()->getArithmeticInstrCost(Instruction::SDiv, AddrTy,
2259 CostKind, {}, EltSizeOpInfo);
2260
2261 Type *CondTy = IntegerType::getInt1Ty(RetTy->getContext());
2262 CmpInst::Predicate Pred =
2263 IsReadAfterWrite ? CmpInst::ICMP_EQ : CmpInst::ICMP_SLE;
2264 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, CondTy, AddrTy,
2265 Pred, CostKind);
2266 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::Select, AddrTy,
2267 CondTy, Pred, CostKind);
2268
2269 IntrinsicCostAttributes Attrs(Intrinsic::get_active_lane_mask, RetTy,
2270 {AddrTy, AddrTy}, FMF);
2271 Cost += thisT()->getIntrinsicInstrCost(Attrs, CostKind);
2272 return Cost;
2273 }
2274 }
2275
2276 // Assume that we need to scalarize this intrinsic.)
2277 // Compute the scalarization overhead based on Args for a vector
2278 // intrinsic.
2279 InstructionCost ScalarizationCost = InstructionCost::getInvalid();
2280 if (RetVF.isVector() && !RetVF.isScalable()) {
2281 ScalarizationCost = 0;
2282 if (!RetTy->isVoidTy()) {
2283 for (Type *VectorTy : getContainedTypes(RetTy)) {
2284 ScalarizationCost += getScalarizationOverhead(
2285 cast<VectorType>(VectorTy),
2286 /*Insert=*/true, /*Extract=*/false, CostKind);
2287 }
2288 }
2289 ScalarizationCost += getOperandsScalarizationOverhead(
2290 filterConstantAndDuplicatedOperands(Args, ICA.getArgTypes()),
2291 CostKind);
2292 }
2293
2294 IntrinsicCostAttributes Attrs(IID, RetTy, ICA.getArgTypes(), FMF, I,
2295 ScalarizationCost);
2296 return thisT()->getTypeBasedIntrinsicInstrCost(Attrs, CostKind);
2297 }
2298
2299 /// Get intrinsic cost based on argument types.
2300 /// If ScalarizationCostPassed is std::numeric_limits<unsigned>::max(), the
2301 /// cost of scalarizing the arguments and the return value will be computed
2302 /// based on types.
2306 Intrinsic::ID IID = ICA.getID();
2307 Type *RetTy = ICA.getReturnType();
2308 const SmallVectorImpl<Type *> &Tys = ICA.getArgTypes();
2309 FastMathFlags FMF = ICA.getFlags();
2310 InstructionCost ScalarizationCostPassed = ICA.getScalarizationCost();
2311 bool SkipScalarizationCost = ICA.skipScalarizationCost();
2312
2313 VectorType *VecOpTy = nullptr;
2314 if (!Tys.empty()) {
2315 // The vector reduction operand is operand 0 except for fadd/fmul.
2316 // Their operand 0 is a scalar start value, so the vector op is operand 1.
2317 unsigned VecTyIndex = 0;
2318 if (IID == Intrinsic::vector_reduce_fadd ||
2319 IID == Intrinsic::vector_reduce_fmul)
2320 VecTyIndex = 1;
2321 assert(Tys.size() > VecTyIndex && "Unexpected IntrinsicCostAttributes");
2322 VecOpTy = dyn_cast<VectorType>(Tys[VecTyIndex]);
2323 }
2324
2325 // Library call cost - other than size, make it expensive.
2326 unsigned SingleCallCost = CostKind == TTI::TCK_CodeSize ? 1 : 10;
2327 unsigned ISD = 0;
2328 switch (IID) {
2329 default: {
2330 // Scalable vectors cannot be scalarized, so return Invalid.
2331 if (isa<ScalableVectorType>(RetTy) || any_of(Tys, [](const Type *Ty) {
2332 return isa<ScalableVectorType>(Ty);
2333 }))
2335
2336 // Assume that we need to scalarize this intrinsic.
2337 InstructionCost ScalarizationCost =
2338 SkipScalarizationCost ? ScalarizationCostPassed : 0;
2339 unsigned ScalarCalls = 1;
2340 Type *ScalarRetTy = RetTy;
2341 if (auto *RetVTy = dyn_cast<VectorType>(RetTy)) {
2342 if (!SkipScalarizationCost)
2343 ScalarizationCost = getScalarizationOverhead(
2344 RetVTy, /*Insert*/ true, /*Extract*/ false, CostKind);
2345 ScalarCalls = std::max(ScalarCalls,
2346 cast<FixedVectorType>(RetVTy)->getNumElements());
2347 ScalarRetTy = RetTy->getScalarType();
2348 }
2349 SmallVector<Type *, 4> ScalarTys;
2350 for (Type *Ty : Tys) {
2351 if (auto *VTy = dyn_cast<VectorType>(Ty)) {
2352 if (!SkipScalarizationCost)
2353 ScalarizationCost += getScalarizationOverhead(
2354 VTy, /*Insert*/ false, /*Extract*/ true, CostKind);
2355 ScalarCalls = std::max(ScalarCalls,
2356 cast<FixedVectorType>(VTy)->getNumElements());
2357 Ty = Ty->getScalarType();
2358 }
2359 ScalarTys.push_back(Ty);
2360 }
2361 if (ScalarCalls == 1)
2362 return 1; // Return cost of a scalar intrinsic. Assume it to be cheap.
2363
2364 IntrinsicCostAttributes ScalarAttrs(IID, ScalarRetTy, ScalarTys, FMF);
2365 InstructionCost ScalarCost =
2366 thisT()->getIntrinsicInstrCost(ScalarAttrs, CostKind);
2367
2368 return ScalarCalls * ScalarCost + ScalarizationCost;
2369 }
2370 // Look for intrinsics that can be lowered directly or turned into a scalar
2371 // intrinsic call.
2372 case Intrinsic::sqrt:
2373 ISD = ISD::FSQRT;
2374 break;
2375 case Intrinsic::sin:
2376 ISD = ISD::FSIN;
2377 break;
2378 case Intrinsic::cos:
2379 ISD = ISD::FCOS;
2380 break;
2381 case Intrinsic::sincos:
2382 ISD = ISD::FSINCOS;
2383 break;
2384 case Intrinsic::sincospi:
2386 break;
2387 case Intrinsic::modf:
2388 ISD = ISD::FMODF;
2389 break;
2390 case Intrinsic::tan:
2391 ISD = ISD::FTAN;
2392 break;
2393 case Intrinsic::asin:
2394 ISD = ISD::FASIN;
2395 break;
2396 case Intrinsic::acos:
2397 ISD = ISD::FACOS;
2398 break;
2399 case Intrinsic::atan:
2400 ISD = ISD::FATAN;
2401 break;
2402 case Intrinsic::atan2:
2403 ISD = ISD::FATAN2;
2404 break;
2405 case Intrinsic::sinh:
2406 ISD = ISD::FSINH;
2407 break;
2408 case Intrinsic::cosh:
2409 ISD = ISD::FCOSH;
2410 break;
2411 case Intrinsic::tanh:
2412 ISD = ISD::FTANH;
2413 break;
2414 case Intrinsic::exp:
2415 ISD = ISD::FEXP;
2416 break;
2417 case Intrinsic::exp2:
2418 ISD = ISD::FEXP2;
2419 break;
2420 case Intrinsic::exp10:
2421 ISD = ISD::FEXP10;
2422 break;
2423 case Intrinsic::log:
2424 ISD = ISD::FLOG;
2425 break;
2426 case Intrinsic::log10:
2427 ISD = ISD::FLOG10;
2428 break;
2429 case Intrinsic::log2:
2430 ISD = ISD::FLOG2;
2431 break;
2432 case Intrinsic::ldexp:
2433 ISD = ISD::FLDEXP;
2434 break;
2435 case Intrinsic::fabs:
2436 ISD = ISD::FABS;
2437 break;
2438 case Intrinsic::canonicalize:
2440 break;
2441 case Intrinsic::minnum:
2442 ISD = ISD::FMINNUM;
2443 break;
2444 case Intrinsic::maxnum:
2445 ISD = ISD::FMAXNUM;
2446 break;
2447 case Intrinsic::minimum:
2449 break;
2450 case Intrinsic::maximum:
2452 break;
2453 case Intrinsic::minimumnum:
2455 break;
2456 case Intrinsic::maximumnum:
2458 break;
2459 case Intrinsic::copysign:
2461 break;
2462 case Intrinsic::floor:
2463 ISD = ISD::FFLOOR;
2464 break;
2465 case Intrinsic::ceil:
2466 ISD = ISD::FCEIL;
2467 break;
2468 case Intrinsic::trunc:
2469 ISD = ISD::FTRUNC;
2470 break;
2471 case Intrinsic::nearbyint:
2473 break;
2474 case Intrinsic::rint:
2475 ISD = ISD::FRINT;
2476 break;
2477 case Intrinsic::lrint:
2478 ISD = ISD::LRINT;
2479 break;
2480 case Intrinsic::llrint:
2481 ISD = ISD::LLRINT;
2482 break;
2483 case Intrinsic::round:
2484 ISD = ISD::FROUND;
2485 break;
2486 case Intrinsic::roundeven:
2488 break;
2489 case Intrinsic::lround:
2490 ISD = ISD::LROUND;
2491 break;
2492 case Intrinsic::llround:
2493 ISD = ISD::LLROUND;
2494 break;
2495 case Intrinsic::pow:
2496 ISD = ISD::FPOW;
2497 break;
2498 case Intrinsic::fma:
2499 ISD = ISD::FMA;
2500 break;
2501 case Intrinsic::fmuladd:
2502 ISD = ISD::FMA;
2503 break;
2504 case Intrinsic::experimental_constrained_fmuladd:
2506 break;
2507 // FIXME: We should return 0 whenever getIntrinsicCost == TCC_Free.
2508 case Intrinsic::lifetime_start:
2509 case Intrinsic::lifetime_end:
2510 case Intrinsic::sideeffect:
2511 case Intrinsic::pseudoprobe:
2512 case Intrinsic::arithmetic_fence:
2513 return 0;
2514 case Intrinsic::masked_store: {
2515 Type *Ty = Tys[0];
2516 Align TyAlign = thisT()->DL.getABITypeAlign(Ty);
2517 return thisT()->getMemIntrinsicInstrCost(
2518 MemIntrinsicCostAttributes(IID, Ty, TyAlign, 0), CostKind);
2519 }
2520 case Intrinsic::masked_load: {
2521 Type *Ty = RetTy;
2522 Align TyAlign = thisT()->DL.getABITypeAlign(Ty);
2523 return thisT()->getMemIntrinsicInstrCost(
2524 MemIntrinsicCostAttributes(IID, Ty, TyAlign, 0), CostKind);
2525 }
2526 case Intrinsic::speculative_load: {
2527 const IntrinsicInst *I = ICA.getInst();
2528 Align Alignment = I ? I->getParamAlign(0).valueOrOne() : Align(1);
2529 unsigned AS = Tys[0]->getPointerAddressSpace();
2530 return thisT()->getMemIntrinsicInstrCost(
2531 MemIntrinsicCostAttributes(IID, RetTy, Alignment, AS), CostKind);
2532 }
2533 case Intrinsic::experimental_vp_strided_store: {
2534 auto *Ty = cast<VectorType>(ICA.getArgTypes()[0]);
2535 Align Alignment = thisT()->DL.getABITypeAlign(Ty->getElementType());
2536 return thisT()->getMemIntrinsicInstrCost(
2537 MemIntrinsicCostAttributes(IID, Ty, /*Ptr=*/nullptr,
2538 /*VariableMask=*/true, Alignment,
2539 ICA.getInst()),
2540 CostKind);
2541 }
2542 case Intrinsic::experimental_vp_strided_load: {
2543 auto *Ty = cast<VectorType>(ICA.getReturnType());
2544 Align Alignment = thisT()->DL.getABITypeAlign(Ty->getElementType());
2545 return thisT()->getMemIntrinsicInstrCost(
2546 MemIntrinsicCostAttributes(IID, Ty, /*Ptr=*/nullptr,
2547 /*VariableMask=*/true, Alignment,
2548 ICA.getInst()),
2549 CostKind);
2550 }
2551 case Intrinsic::vector_reduce_add:
2552 case Intrinsic::vector_reduce_mul:
2553 case Intrinsic::vector_reduce_and:
2554 case Intrinsic::vector_reduce_or:
2555 case Intrinsic::vector_reduce_xor:
2556 return thisT()->getArithmeticReductionCost(
2557 getArithmeticReductionInstruction(IID), VecOpTy, std::nullopt,
2558 CostKind);
2559 case Intrinsic::vector_reduce_fadd:
2560 case Intrinsic::vector_reduce_fmul:
2561 return thisT()->getArithmeticReductionCost(
2562 getArithmeticReductionInstruction(IID), VecOpTy, FMF, CostKind);
2563 case Intrinsic::vector_reduce_smax:
2564 case Intrinsic::vector_reduce_smin:
2565 case Intrinsic::vector_reduce_umax:
2566 case Intrinsic::vector_reduce_umin:
2567 case Intrinsic::vector_reduce_fmax:
2568 case Intrinsic::vector_reduce_fmin:
2569 case Intrinsic::vector_reduce_fmaximum:
2570 case Intrinsic::vector_reduce_fminimum:
2571 case Intrinsic::vector_reduce_fmaximumnum:
2572 case Intrinsic::vector_reduce_fminimumnum:
2573 return thisT()->getMinMaxReductionCost(getMinMaxReductionIntrinsicOp(IID),
2574 VecOpTy, ICA.getFlags(), CostKind);
2575 case Intrinsic::experimental_vector_match: {
2576 auto *SearchTy = cast<VectorType>(ICA.getArgTypes()[0]);
2577 auto *NeedleTy = cast<FixedVectorType>(ICA.getArgTypes()[1]);
2578 unsigned SearchSize = NeedleTy->getNumElements();
2579
2580 // Approximate the cost based on the expansion code in
2581 // TargetLowering::expandVectorMatch.
2583 Cost += thisT()->getVectorInstrCost(Instruction::ExtractElement, NeedleTy,
2584 CostKind, 1, nullptr, nullptr);
2585 Cost += thisT()->getVectorInstrCost(Instruction::InsertElement, SearchTy,
2586 CostKind, 0, nullptr, nullptr);
2587 Cost += thisT()->getShuffleCost(TTI::SK_Broadcast, SearchTy, SearchTy,
2588 CostKind, {}, 0, nullptr);
2589 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, SearchTy, RetTy,
2591 Cost +=
2592 thisT()->getArithmeticInstrCost(BinaryOperator::Or, RetTy, CostKind);
2593 Cost *= SearchSize;
2594 Cost +=
2595 thisT()->getArithmeticInstrCost(BinaryOperator::And, RetTy, CostKind);
2596 return Cost;
2597 }
2598 case Intrinsic::vector_reverse:
2599 return thisT()->getShuffleCost(TTI::SK_Reverse, cast<VectorType>(RetTy),
2600 cast<VectorType>(ICA.getArgTypes()[0]),
2601 CostKind, {}, 0, cast<VectorType>(RetTy));
2602 case Intrinsic::experimental_vector_histogram_add:
2603 case Intrinsic::experimental_vector_histogram_uadd_sat:
2604 case Intrinsic::experimental_vector_histogram_umax:
2605 case Intrinsic::experimental_vector_histogram_umin: {
2607 Type *EltTy = ICA.getArgTypes()[1];
2608
2609 // Targets with scalable vectors must handle this on their own.
2610 if (!PtrsTy)
2612
2613 Align Alignment = thisT()->DL.getABITypeAlign(EltTy);
2615 Cost += thisT()->getVectorInstrCost(Instruction::ExtractElement, PtrsTy,
2616 CostKind, 1, nullptr, nullptr);
2617 Cost += thisT()->getMemoryOpCost(Instruction::Load, EltTy, Alignment, 0,
2618 CostKind);
2619 switch (IID) {
2620 default:
2621 llvm_unreachable("Unhandled histogram update operation.");
2622 case Intrinsic::experimental_vector_histogram_add:
2623 Cost +=
2624 thisT()->getArithmeticInstrCost(Instruction::Add, EltTy, CostKind);
2625 break;
2626 case Intrinsic::experimental_vector_histogram_uadd_sat: {
2627 IntrinsicCostAttributes UAddSat(Intrinsic::uadd_sat, EltTy, {EltTy});
2628 Cost += thisT()->getIntrinsicInstrCost(UAddSat, CostKind);
2629 break;
2630 }
2631 case Intrinsic::experimental_vector_histogram_umax: {
2632 IntrinsicCostAttributes UMax(Intrinsic::umax, EltTy, {EltTy});
2633 Cost += thisT()->getIntrinsicInstrCost(UMax, CostKind);
2634 break;
2635 }
2636 case Intrinsic::experimental_vector_histogram_umin: {
2637 IntrinsicCostAttributes UMin(Intrinsic::umin, EltTy, {EltTy});
2638 Cost += thisT()->getIntrinsicInstrCost(UMin, CostKind);
2639 break;
2640 }
2641 }
2642 Cost += thisT()->getMemoryOpCost(Instruction::Store, EltTy, Alignment, 0,
2643 CostKind);
2644 Cost *= PtrsTy->getNumElements();
2645 return Cost;
2646 }
2647 case Intrinsic::get_active_lane_mask: {
2648 Type *ArgTy = ICA.getArgTypes()[0];
2649 EVT ResVT = getTLI()->getValueType(DL, RetTy, true);
2650 EVT ArgVT = getTLI()->getValueType(DL, ArgTy, true);
2651
2652 // If we're not expanding the intrinsic then we assume this is cheap
2653 // to implement.
2654 if (!getTLI()->shouldExpandGetActiveLaneMask(ResVT, ArgVT))
2655 return getTypeLegalizationCost(RetTy).first;
2656
2657 // Create the expanded types that will be used to calculate the uadd_sat
2658 // operation.
2659 Type *ExpRetTy =
2660 VectorType::get(ArgTy, cast<VectorType>(RetTy)->getElementCount());
2661 IntrinsicCostAttributes Attrs(Intrinsic::uadd_sat, ExpRetTy, {}, FMF);
2663 thisT()->getTypeBasedIntrinsicInstrCost(Attrs, CostKind);
2664 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, ExpRetTy, RetTy,
2666 return Cost;
2667 }
2668 case Intrinsic::experimental_memset_pattern:
2669 // This cost is set to match the cost of the memset_pattern16 libcall.
2670 // It should likely be re-evaluated after migration to this intrinsic
2671 // is complete.
2672 return TTI::TCC_Basic * 4;
2673 case Intrinsic::abs:
2674 ISD = ISD::ABS;
2675 break;
2676 case Intrinsic::fshl:
2677 ISD = ISD::FSHL;
2678 break;
2679 case Intrinsic::fshr:
2680 ISD = ISD::FSHR;
2681 break;
2682 case Intrinsic::smax:
2683 ISD = ISD::SMAX;
2684 break;
2685 case Intrinsic::smin:
2686 ISD = ISD::SMIN;
2687 break;
2688 case Intrinsic::umax:
2689 ISD = ISD::UMAX;
2690 break;
2691 case Intrinsic::umin:
2692 ISD = ISD::UMIN;
2693 break;
2694 case Intrinsic::sadd_sat:
2695 ISD = ISD::SADDSAT;
2696 break;
2697 case Intrinsic::ssub_sat:
2698 ISD = ISD::SSUBSAT;
2699 break;
2700 case Intrinsic::uadd_sat:
2701 ISD = ISD::UADDSAT;
2702 break;
2703 case Intrinsic::usub_sat:
2704 ISD = ISD::USUBSAT;
2705 break;
2706 case Intrinsic::smul_fix:
2707 ISD = ISD::SMULFIX;
2708 break;
2709 case Intrinsic::umul_fix:
2710 ISD = ISD::UMULFIX;
2711 break;
2712 case Intrinsic::sadd_with_overflow:
2713 ISD = ISD::SADDO;
2714 break;
2715 case Intrinsic::ssub_with_overflow:
2716 ISD = ISD::SSUBO;
2717 break;
2718 case Intrinsic::uadd_with_overflow:
2719 ISD = ISD::UADDO;
2720 break;
2721 case Intrinsic::usub_with_overflow:
2722 ISD = ISD::USUBO;
2723 break;
2724 case Intrinsic::smul_with_overflow:
2725 ISD = ISD::SMULO;
2726 break;
2727 case Intrinsic::umul_with_overflow:
2728 ISD = ISD::UMULO;
2729 break;
2730 case Intrinsic::fptosi_sat:
2731 case Intrinsic::fptoui_sat: {
2732 std::pair<InstructionCost, MVT> SrcLT = getTypeLegalizationCost(Tys[0]);
2733 std::pair<InstructionCost, MVT> RetLT = getTypeLegalizationCost(RetTy);
2734
2735 // For cast instructions, types are different between source and
2736 // destination. Also need to check if the source type can be legalize.
2737 if (!SrcLT.first.isValid() || !RetLT.first.isValid())
2739 ISD = IID == Intrinsic::fptosi_sat ? ISD::FP_TO_SINT_SAT
2741 break;
2742 }
2743 case Intrinsic::ctpop:
2744 ISD = ISD::CTPOP;
2745 // In case of legalization use TCC_Expensive. This is cheaper than a
2746 // library call but still not a cheap instruction.
2747 SingleCallCost = TargetTransformInfo::TCC_Expensive;
2748 break;
2749 case Intrinsic::ctlz:
2750 ISD = ISD::CTLZ;
2751 break;
2752 case Intrinsic::cttz:
2753 ISD = ISD::CTTZ;
2754 break;
2755 case Intrinsic::bswap:
2756 ISD = ISD::BSWAP;
2757 break;
2758 case Intrinsic::bitreverse:
2760 break;
2761 case Intrinsic::ucmp:
2762 ISD = ISD::UCMP;
2763 break;
2764 case Intrinsic::scmp:
2765 ISD = ISD::SCMP;
2766 break;
2767 case Intrinsic::clmul:
2768 ISD = ISD::CLMUL;
2769 break;
2770 case Intrinsic::smulh:
2771 ISD = ISD::MULHS;
2772 break;
2773 case Intrinsic::umulh:
2774 ISD = ISD::MULHU;
2775 break;
2776 case Intrinsic::masked_udiv:
2777 case Intrinsic::masked_sdiv:
2778 case Intrinsic::masked_urem:
2779 case Intrinsic::masked_srem: {
2780 unsigned UnmaskedOpc;
2781 switch (IID) {
2782 case Intrinsic::masked_udiv:
2784 UnmaskedOpc = Instruction::UDiv;
2785 break;
2786 case Intrinsic::masked_sdiv:
2788 UnmaskedOpc = Instruction::SDiv;
2789 break;
2790 case Intrinsic::masked_urem:
2792 UnmaskedOpc = Instruction::URem;
2793 break;
2794 case Intrinsic::masked_srem:
2796 UnmaskedOpc = Instruction::SRem;
2797 break;
2798 default:
2799 llvm_unreachable("Unexpected intrinsic ID");
2800 }
2802 thisT()->getArithmeticInstrCost(UnmaskedOpc, RetTy, CostKind);
2803
2804 // Expansion generates a (select %mask, %rhs, 1) for the divisor.
2805 MVT LT = getTypeLegalizationCost(RetTy).second;
2806 if (!getTLI()->isOperationLegalOrCustom(ISD, LT)) {
2807 Type *CondTy = cast<VectorType>(RetTy)->getWithNewType(
2809 Cost += thisT()->getCmpSelInstrCost(
2810 BinaryOperator::Select, RetTy, CondTy, CmpInst::BAD_ICMP_PREDICATE,
2812 }
2813
2814 return Cost;
2815 }
2816 }
2817
2818 auto *ST = dyn_cast<StructType>(RetTy);
2819 Type *LegalizeTy = ST ? ST->getContainedType(0) : RetTy;
2820 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(LegalizeTy);
2821
2822 const TargetLoweringBase *TLI = getTLI();
2823
2824 if (TLI->isOperationLegalOrPromote(ISD, LT.second)) {
2825 if (IID == Intrinsic::fabs && LT.second.isFloatingPoint() &&
2826 TLI->isFAbsFree(LT.second)) {
2827 return 0;
2828 }
2829
2830 // The operation is legal. Assume it costs 1.
2831 // If the type is split to multiple registers, assume that there is some
2832 // overhead to this.
2833 // TODO: Once we have extract/insert subvector cost we need to use them.
2834 if (LT.first > 1)
2835 return (LT.first * 2);
2836 else
2837 return (LT.first * 1);
2838 } else if (TLI->isOperationCustom(ISD, LT.second)) {
2839 // If the operation is custom lowered then assume
2840 // that the code is twice as expensive.
2841 return (LT.first * 2);
2842 }
2843
2844 switch (IID) {
2845 case Intrinsic::fmuladd: {
2846 // If we can't lower fmuladd into an FMA estimate the cost as a floating
2847 // point mul followed by an add.
2848
2849 return thisT()->getArithmeticInstrCost(BinaryOperator::FMul, RetTy,
2850 CostKind) +
2851 thisT()->getArithmeticInstrCost(BinaryOperator::FAdd, RetTy,
2852 CostKind);
2853 }
2854 case Intrinsic::experimental_constrained_fmuladd: {
2855 IntrinsicCostAttributes FMulAttrs(
2856 Intrinsic::experimental_constrained_fmul, RetTy, Tys);
2857 IntrinsicCostAttributes FAddAttrs(
2858 Intrinsic::experimental_constrained_fadd, RetTy, Tys);
2859 return thisT()->getIntrinsicInstrCost(FMulAttrs, CostKind) +
2860 thisT()->getIntrinsicInstrCost(FAddAttrs, CostKind);
2861 }
2862 case Intrinsic::smin:
2863 case Intrinsic::smax:
2864 case Intrinsic::umin:
2865 case Intrinsic::umax: {
2866 // minmax(X,Y) = select(icmp(X,Y),X,Y)
2867 Type *CondTy = RetTy->getWithNewBitWidth(1);
2868 bool IsUnsigned = IID == Intrinsic::umax || IID == Intrinsic::umin;
2869 CmpInst::Predicate Pred =
2870 IsUnsigned ? CmpInst::ICMP_UGT : CmpInst::ICMP_SGT;
2872 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, RetTy, CondTy,
2873 Pred, CostKind);
2874 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, CondTy,
2875 Pred, CostKind);
2876 return Cost;
2877 }
2878 case Intrinsic::sadd_with_overflow:
2879 case Intrinsic::ssub_with_overflow: {
2880 Type *SumTy = RetTy->getContainedType(0);
2881 Type *OverflowTy = RetTy->getContainedType(1);
2882 unsigned Opcode = IID == Intrinsic::sadd_with_overflow
2883 ? BinaryOperator::Add
2884 : BinaryOperator::Sub;
2885
2886 // Add:
2887 // Overflow -> (Result < LHS) ^ (RHS < 0)
2888 // Sub:
2889 // Overflow -> (Result < LHS) ^ (RHS > 0)
2891 Cost += thisT()->getArithmeticInstrCost(Opcode, SumTy, CostKind);
2892 Cost +=
2893 2 * thisT()->getCmpSelInstrCost(Instruction::ICmp, SumTy, OverflowTy,
2895 Cost += thisT()->getArithmeticInstrCost(BinaryOperator::Xor, OverflowTy,
2896 CostKind);
2897 return Cost;
2898 }
2899 case Intrinsic::uadd_with_overflow:
2900 case Intrinsic::usub_with_overflow: {
2901 Type *SumTy = RetTy->getContainedType(0);
2902 Type *OverflowTy = RetTy->getContainedType(1);
2903 unsigned Opcode = IID == Intrinsic::uadd_with_overflow
2904 ? BinaryOperator::Add
2905 : BinaryOperator::Sub;
2906 CmpInst::Predicate Pred = IID == Intrinsic::uadd_with_overflow
2909
2911 Cost += thisT()->getArithmeticInstrCost(Opcode, SumTy, CostKind);
2912 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, SumTy,
2913 OverflowTy, Pred, CostKind);
2914 return Cost;
2915 }
2916 case Intrinsic::smul_with_overflow:
2917 case Intrinsic::umul_with_overflow: {
2918 Type *MulTy = RetTy->getContainedType(0);
2919 Type *OverflowTy = RetTy->getContainedType(1);
2920 unsigned ExtSize = MulTy->getScalarSizeInBits() * 2;
2921 Type *ExtTy = MulTy->getWithNewBitWidth(ExtSize);
2922 bool IsSigned = IID == Intrinsic::smul_with_overflow;
2923
2924 unsigned ExtOp = IsSigned ? Instruction::SExt : Instruction::ZExt;
2926
2928 Cost += 2 * thisT()->getCastInstrCost(ExtOp, ExtTy, MulTy, CCH, CostKind);
2929 Cost +=
2930 thisT()->getArithmeticInstrCost(Instruction::Mul, ExtTy, CostKind);
2931 Cost += 2 * thisT()->getCastInstrCost(Instruction::Trunc, MulTy, ExtTy,
2932 CCH, CostKind);
2933 Cost += thisT()->getArithmeticInstrCost(
2934 Instruction::LShr, ExtTy, CostKind, {TTI::OK_AnyValue, TTI::OP_None},
2936
2937 if (IsSigned)
2938 Cost += thisT()->getArithmeticInstrCost(
2939 Instruction::AShr, MulTy, CostKind,
2942
2943 Cost += thisT()->getCmpSelInstrCost(
2944 BinaryOperator::ICmp, MulTy, OverflowTy, CmpInst::ICMP_NE, CostKind);
2945 return Cost;
2946 }
2947 case Intrinsic::sadd_sat:
2948 case Intrinsic::ssub_sat: {
2949 // Assume a default expansion.
2950 Type *CondTy = RetTy->getWithNewBitWidth(1);
2951
2952 Type *OpTy = StructType::create({RetTy, CondTy});
2953 Intrinsic::ID OverflowOp = IID == Intrinsic::sadd_sat
2954 ? Intrinsic::sadd_with_overflow
2955 : Intrinsic::ssub_with_overflow;
2957
2958 // SatMax -> Overflow && SumDiff < 0
2959 // SatMin -> Overflow && SumDiff >= 0
2961 IntrinsicCostAttributes Attrs(OverflowOp, OpTy, {RetTy, RetTy}, FMF,
2962 nullptr, ScalarizationCostPassed);
2963 Cost += thisT()->getIntrinsicInstrCost(Attrs, CostKind);
2964 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, RetTy, CondTy,
2965 Pred, CostKind);
2966 Cost += 2 * thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy,
2967 CondTy, Pred, CostKind);
2968 return Cost;
2969 }
2970 case Intrinsic::uadd_sat:
2971 case Intrinsic::usub_sat: {
2972 Type *CondTy = RetTy->getWithNewBitWidth(1);
2973
2974 Type *OpTy = StructType::create({RetTy, CondTy});
2975 Intrinsic::ID OverflowOp = IID == Intrinsic::uadd_sat
2976 ? Intrinsic::uadd_with_overflow
2977 : Intrinsic::usub_with_overflow;
2978
2980 IntrinsicCostAttributes Attrs(OverflowOp, OpTy, {RetTy, RetTy}, FMF,
2981 nullptr, ScalarizationCostPassed);
2982 Cost += thisT()->getIntrinsicInstrCost(Attrs, CostKind);
2983 Cost +=
2984 thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, CondTy,
2986 return Cost;
2987 }
2988 case Intrinsic::smul_fix:
2989 case Intrinsic::umul_fix: {
2990 unsigned ExtSize = RetTy->getScalarSizeInBits() * 2;
2991 Type *ExtTy = RetTy->getWithNewBitWidth(ExtSize);
2992
2993 unsigned ExtOp =
2994 IID == Intrinsic::smul_fix ? Instruction::SExt : Instruction::ZExt;
2996
2998 Cost += 2 * thisT()->getCastInstrCost(ExtOp, ExtTy, RetTy, CCH, CostKind);
2999 Cost +=
3000 thisT()->getArithmeticInstrCost(Instruction::Mul, ExtTy, CostKind);
3001 Cost += 2 * thisT()->getCastInstrCost(Instruction::Trunc, RetTy, ExtTy,
3002 CCH, CostKind);
3003 Cost += thisT()->getArithmeticInstrCost(
3004 Instruction::LShr, RetTy, CostKind, {TTI::OK_AnyValue, TTI::OP_None},
3006 Cost += thisT()->getArithmeticInstrCost(
3007 Instruction::Shl, RetTy, CostKind, {TTI::OK_AnyValue, TTI::OP_None},
3009 Cost += thisT()->getArithmeticInstrCost(Instruction::Or, RetTy, CostKind);
3010 return Cost;
3011 }
3012 case Intrinsic::abs: {
3013 // abs(X) = select(icmp(X,0),X,sub(0,X))
3014 Type *CondTy = RetTy->getWithNewBitWidth(1);
3017 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, RetTy, CondTy,
3018 Pred, CostKind);
3019 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, CondTy,
3020 Pred, CostKind);
3021 // TODO: Should we add an OperandValueProperties::OP_Zero property?
3022 Cost += thisT()->getArithmeticInstrCost(
3023 BinaryOperator::Sub, RetTy, CostKind,
3025 return Cost;
3026 }
3027 case Intrinsic::fshl:
3028 case Intrinsic::fshr: {
3029 // fshl: (X << (Z % BW)) | (Y >> (BW - (Z % BW)))
3030 // fshr: (X << (BW - (Z % BW))) | (Y >> (Z % BW))
3031 Type *CondTy = RetTy->getWithNewBitWidth(1);
3033 Cost +=
3034 thisT()->getArithmeticInstrCost(BinaryOperator::Or, RetTy, CostKind);
3035 Cost +=
3036 thisT()->getArithmeticInstrCost(BinaryOperator::Sub, RetTy, CostKind);
3037 Cost +=
3038 thisT()->getArithmeticInstrCost(BinaryOperator::Shl, RetTy, CostKind);
3039 Cost += thisT()->getArithmeticInstrCost(BinaryOperator::LShr, RetTy,
3040 CostKind);
3041 // Non-constant shift amounts requires a modulo. If the typesize is a
3042 // power-2 then this will be converted to an and, otherwise it will use a
3043 // urem.
3044 Cost += thisT()->getArithmeticInstrCost(
3045 isPowerOf2_32(RetTy->getScalarSizeInBits()) ? BinaryOperator::And
3046 : BinaryOperator::URem,
3047 RetTy, CostKind, {TTI::OK_AnyValue, TTI::OP_None},
3048 {TTI::OK_UniformConstantValue, TTI::OP_None});
3049 // Shift-by-zero handling.
3050 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, RetTy, CondTy,
3052 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, CondTy,
3054 return Cost;
3055 }
3056 case Intrinsic::fptosi_sat:
3057 case Intrinsic::fptoui_sat: {
3058 if (Tys.empty())
3059 break;
3060 Type *FromTy = Tys[0];
3061 bool IsSigned = IID == Intrinsic::fptosi_sat;
3062
3064 IntrinsicCostAttributes Attrs1(Intrinsic::minnum, FromTy,
3065 {FromTy, FromTy});
3066 Cost += thisT()->getIntrinsicInstrCost(Attrs1, CostKind);
3067 IntrinsicCostAttributes Attrs2(Intrinsic::maxnum, FromTy,
3068 {FromTy, FromTy});
3069 Cost += thisT()->getIntrinsicInstrCost(Attrs2, CostKind);
3070 Cost += thisT()->getCastInstrCost(
3071 IsSigned ? Instruction::FPToSI : Instruction::FPToUI, RetTy, FromTy,
3073 if (IsSigned) {
3074 Type *CondTy = RetTy->getWithNewBitWidth(1);
3075 Cost += thisT()->getCmpSelInstrCost(
3076 BinaryOperator::FCmp, FromTy, CondTy, CmpInst::FCMP_UNO, CostKind);
3077 Cost += thisT()->getCmpSelInstrCost(
3078 BinaryOperator::Select, RetTy, CondTy, CmpInst::FCMP_UNO, CostKind);
3079 }
3080 return Cost;
3081 }
3082 case Intrinsic::ucmp:
3083 case Intrinsic::scmp: {
3084 Type *CmpTy = Tys[0];
3085 Type *CondTy = RetTy->getWithNewBitWidth(1);
3087 thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, CmpTy, CondTy,
3089 CostKind) +
3090 thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, CmpTy, CondTy,
3092 CostKind);
3093
3094 EVT VT = TLI->getValueType(DL, CmpTy, true);
3096 // x < y ? -1 : (x > y ? 1 : 0)
3097 Cost += 2 * thisT()->getCmpSelInstrCost(
3098 BinaryOperator::Select, RetTy, CondTy,
3100 } else {
3101 // zext(x > y) - zext(x < y)
3102 Cost +=
3103 2 * thisT()->getCastInstrCost(CastInst::ZExt, RetTy, CondTy,
3105 Cost += thisT()->getArithmeticInstrCost(BinaryOperator::Sub, RetTy,
3106 CostKind);
3107 }
3108 return Cost;
3109 }
3110 case Intrinsic::maximumnum:
3111 case Intrinsic::minimumnum: {
3112 // On platform that support FMAXNUM_IEEE/FMINNUM_IEEE, we expand
3113 // maximumnum/minimumnum to
3114 // ARG0 = fcanonicalize ARG0, ARG0 // to quiet ARG0
3115 // ARG1 = fcanonicalize ARG1, ARG1 // to quiet ARG1
3116 // RESULT = MAXNUM_IEEE ARG0, ARG1 // or MINNUM_IEEE
3117 // FIXME: In LangRef, we claimed FMAXNUM has the same behaviour of
3118 // FMAXNUM_IEEE, while the backend hasn't migrated the code yet.
3119 // Finally, we will remove FMAXNUM_IEEE and FMINNUM_IEEE.
3120 int IeeeISD =
3121 IID == Intrinsic::maximumnum ? ISD::FMAXNUM_IEEE : ISD::FMINNUM_IEEE;
3122 if (TLI->isOperationLegal(IeeeISD, LT.second)) {
3123 IntrinsicCostAttributes FCanonicalizeAttrs(Intrinsic::canonicalize,
3124 RetTy, Tys[0]);
3125 InstructionCost FCanonicalizeCost =
3126 thisT()->getIntrinsicInstrCost(FCanonicalizeAttrs, CostKind);
3127 return LT.first + FCanonicalizeCost * 2;
3128 }
3129 break;
3130 }
3131 case Intrinsic::clmul: {
3132 // This cost model should match the expansion in
3133 // TargetLowering::expandCLMUL.
3134 unsigned BW = RetTy->getScalarSizeInBits();
3135 InstructionCost AndCost =
3136 thisT()->getArithmeticInstrCost(Instruction::And, RetTy, CostKind);
3137 InstructionCost OrCost =
3138 thisT()->getArithmeticInstrCost(Instruction::Or, RetTy, CostKind);
3139 InstructionCost XorCost =
3140 thisT()->getArithmeticInstrCost(Instruction::Xor, RetTy, CostKind);
3141 InstructionCost MulCost =
3142 thisT()->getArithmeticInstrCost(Instruction::Mul, RetTy, CostKind);
3143
3144 // When the multiplication with holes approach is used, it splits the
3145 // operands into S phases (the smallest stride with ceil(BW/S) <= 2^S) and
3146 // emits S*S MULs, 3*S ANDs, S*(S-1) XORs and S-1 ORs.
3147 //
3148 // * BW <= 8 uses S = 2
3149 // * BW <= 24 uses S = 3
3150 // * BW <= 64 uses S = 4
3151 // * BW <= 160 uses S = 5
3152 // * BW <= 384 uses S = 6
3153 unsigned S = 1;
3154 while (S < 32 && divideCeil(BW, S) > (1u << S))
3155 ++S;
3156
3157 // The naive algorithm usually uses AND+MUL+XOR per bit.
3158 unsigned NaiveCost = 3 * BW;
3159 unsigned HolesCost = S * S + 3 * S + S * (S - 1) + (S - 1);
3160
3161 if (HolesCost < NaiveCost &&
3163 TLI->getValueType(DL, RetTy))) {
3164 return S * S * MulCost + 3 * S * AndCost + S * (S - 1) * XorCost +
3165 (S - 1) * OrCost;
3166 }
3167
3168 InstructionCost PerBitCostMul = AndCost + MulCost + XorCost;
3169 InstructionCost PerBitCostBittest =
3170 AndCost +
3171 thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, RetTy,
3173 thisT()->getCmpSelInstrCost(Instruction::ICmp, RetTy, RetTy,
3175 InstructionCost PerBitCost = std::min(PerBitCostMul, PerBitCostBittest);
3176 return BW * PerBitCost;
3177 }
3178 case Intrinsic::smulh:
3179 case Intrinsic::umulh: {
3180 unsigned BW = RetTy->getScalarSizeInBits();
3181 Type *WideTy = RetTy->getWithNewBitWidth(BW * 2);
3182 bool IsSigned = IID == Intrinsic::smulh;
3183 unsigned ExtOp = IsSigned ? Instruction::SExt : Instruction::ZExt;
3185 Cost +=
3186 2 * thisT()->getCastInstrCost(ExtOp, WideTy, RetTy,
3188 Cost +=
3189 thisT()->getArithmeticInstrCost(Instruction::Mul, WideTy, CostKind);
3190 Cost += thisT()->getArithmeticInstrCost(
3191 Instruction::LShr, WideTy, CostKind, {TTI::OK_AnyValue, TTI::OP_None},
3193 Cost += thisT()->getCastInstrCost(Instruction::Trunc, RetTy, WideTy,
3195 return Cost;
3196 }
3197 default:
3198 break;
3199 }
3200
3201 // Else, assume that we need to scalarize this intrinsic. For math builtins
3202 // this will emit a costly libcall, adding call overhead and spills. Make it
3203 // very expensive.
3204 if (isVectorizedTy(RetTy)) {
3205 ArrayRef<Type *> RetVTys = getContainedTypes(RetTy);
3206
3207 // Scalable vectors cannot be scalarized, so return Invalid.
3208 if (any_of(concat<Type *const>(RetVTys, Tys),
3209 [](Type *Ty) { return isa<ScalableVectorType>(Ty); }))
3211
3212 InstructionCost ScalarizationCost = ScalarizationCostPassed;
3213 if (!SkipScalarizationCost) {
3214 ScalarizationCost = 0;
3215 for (Type *RetVTy : RetVTys) {
3216 ScalarizationCost += getScalarizationOverhead(
3217 cast<VectorType>(RetVTy), /*Insert=*/true,
3218 /*Extract=*/false, CostKind);
3219 }
3220 }
3221
3222 unsigned ScalarCalls = getVectorizedTypeVF(RetTy).getFixedValue();
3223 SmallVector<Type *, 4> ScalarTys;
3224 for (Type *Ty : Tys) {
3225 if (Ty->isVectorTy())
3226 Ty = Ty->getScalarType();
3227 ScalarTys.push_back(Ty);
3228 }
3229 IntrinsicCostAttributes Attrs(IID, toScalarizedTy(RetTy), ScalarTys, FMF);
3230 InstructionCost ScalarCost =
3231 thisT()->getIntrinsicInstrCost(Attrs, CostKind);
3232 for (Type *Ty : Tys) {
3233 if (auto *VTy = dyn_cast<VectorType>(Ty)) {
3234 if (!ICA.skipScalarizationCost())
3235 ScalarizationCost += getScalarizationOverhead(
3236 VTy, /*Insert*/ false, /*Extract*/ true, CostKind);
3237 ScalarCalls = std::max(ScalarCalls,
3238 cast<FixedVectorType>(VTy)->getNumElements());
3239 }
3240 }
3241 return ScalarCalls * ScalarCost + ScalarizationCost;
3242 }
3243
3244 // This is going to be turned into a library call, make it expensive.
3245 return SingleCallCost;
3246 }
3247
3248 /// Get memory intrinsic cost based on arguments.
3251 TTI::TargetCostKind CostKind) const override {
3252 unsigned Id = MICA.getID();
3253 Type *DataTy = MICA.getDataType();
3254 bool VariableMask = MICA.getVariableMask();
3255 Align Alignment = MICA.getAlignment();
3256
3257 switch (Id) {
3258 case Intrinsic::experimental_vp_strided_load:
3259 case Intrinsic::experimental_vp_strided_store: {
3260 unsigned Opcode = Id == Intrinsic::experimental_vp_strided_load
3261 ? Instruction::Load
3262 : Instruction::Store;
3263 // For a target without strided memory operations (or for an illegal
3264 // operation type on one which does), assume we lower to a gather/scatter
3265 // operation. (Which may in turn be scalarized.)
3266 return getCommonMaskedMemoryOpCost(Opcode, DataTy, Alignment,
3267 VariableMask, true, CostKind);
3268 }
3269 case Intrinsic::masked_scatter:
3270 case Intrinsic::masked_gather:
3271 case Intrinsic::vp_scatter:
3272 case Intrinsic::vp_gather: {
3273 unsigned Opcode = (MICA.getID() == Intrinsic::masked_gather ||
3274 MICA.getID() == Intrinsic::vp_gather)
3275 ? Instruction::Load
3276 : Instruction::Store;
3277
3278 return getCommonMaskedMemoryOpCost(Opcode, DataTy, Alignment,
3279 VariableMask, true, CostKind);
3280 }
3281 case Intrinsic::vp_load:
3282 case Intrinsic::vp_store:
3284 case Intrinsic::masked_load:
3285 case Intrinsic::masked_store: {
3286 unsigned Opcode =
3287 Id == Intrinsic::masked_load ? Instruction::Load : Instruction::Store;
3288 // TODO: Pass on AddressSpace when we have test coverage.
3289 return getCommonMaskedMemoryOpCost(Opcode, DataTy, Alignment, true, false,
3290 CostKind);
3291 }
3292 case Intrinsic::masked_compressstore:
3293 case Intrinsic::masked_expandload: {
3294 unsigned Opcode = MICA.getID() == Intrinsic::masked_expandload
3295 ? Instruction::Load
3296 : Instruction::Store;
3297 // Treat expand load/compress store as gather/scatter operation.
3298 // TODO: implement more precise cost estimation for these intrinsics.
3299 return getCommonMaskedMemoryOpCost(Opcode, DataTy, Alignment,
3300 VariableMask,
3301 /*IsGatherScatter*/ true, CostKind);
3302 }
3303 case Intrinsic::vp_load_ff:
3305 case Intrinsic::speculative_load:
3306 // Speculative loads are lowered to regular loads of the full type.
3307 return thisT()->getMemoryOpCost(Instruction::Load, DataTy, Alignment,
3308 MICA.getAddressSpace(), CostKind);
3309 default:
3310 llvm_unreachable("unexpected intrinsic");
3311 }
3312 }
3313
3314 /// Compute a cost of the given call instruction.
3315 ///
3316 /// Compute the cost of calling function F with return type RetTy and
3317 /// argument types Tys. F might be nullptr, in this case the cost of an
3318 /// arbitrary call with the specified signature will be returned.
3319 /// This is used, for instance, when we estimate call of a vector
3320 /// counterpart of the given function.
3321 /// \param F Called function, might be nullptr.
3322 /// \param RetTy Return value types.
3323 /// \param Tys Argument types.
3324 /// \returns The cost of Call instruction.
3327 TTI::TargetCostKind CostKind) const override {
3328 return 10;
3329 }
3330
3331 unsigned getNumberOfParts(Type *Tp) const override {
3332 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(Tp);
3333 if (!LT.first.isValid())
3334 return 0;
3335 // Try to find actual number of parts for non-power-of-2 elements as
3336 // ceil(num-of-elements/num-of-subtype-elements).
3337 if (auto *FTp = dyn_cast<FixedVectorType>(Tp);
3338 FTp && LT.second.isFixedLengthVector() &&
3339 !has_single_bit(FTp->getNumElements())) {
3340 if (auto *SubTp = dyn_cast_if_present<FixedVectorType>(
3341 EVT(LT.second).getTypeForEVT(Tp->getContext()));
3342 SubTp && SubTp->getElementType() == FTp->getElementType())
3343 return divideCeil(FTp->getNumElements(), SubTp->getNumElements());
3344 }
3345 return LT.first.getValue();
3346 }
3347
3350 TTI::TargetCostKind) const override {
3351 return 0;
3352 }
3353
3354 /// Try to calculate arithmetic and shuffle op costs for reduction intrinsics.
3355 /// We're assuming that reduction operation are performing the following way:
3356 ///
3357 /// %val1 = shufflevector<n x t> %val, <n x t> %undef,
3358 /// <n x i32> <i32 n/2, i32 n/2 + 1, ..., i32 n, i32 undef, ..., i32 undef>
3359 /// \----------------v-------------/ \----------v------------/
3360 /// n/2 elements n/2 elements
3361 /// %red1 = op <n x t> %val, <n x t> val1
3362 /// After this operation we have a vector %red1 where only the first n/2
3363 /// elements are meaningful, the second n/2 elements are undefined and can be
3364 /// dropped. All other operations are actually working with the vector of
3365 /// length n/2, not n, though the real vector length is still n.
3366 /// %val2 = shufflevector<n x t> %red1, <n x t> %undef,
3367 /// <n x i32> <i32 n/4, i32 n/4 + 1, ..., i32 n/2, i32 undef, ..., i32 undef>
3368 /// \----------------v-------------/ \----------v------------/
3369 /// n/4 elements 3*n/4 elements
3370 /// %red2 = op <n x t> %red1, <n x t> val2 - working with the vector of
3371 /// length n/2, the resulting vector has length n/4 etc.
3372 ///
3373 /// The cost model should take into account that the actual length of the
3374 /// vector is reduced on each iteration.
3377 // Targets must implement a default value for the scalable case, since
3378 // we don't know how many lanes the vector has.
3381
3382 Type *ScalarTy = Ty->getElementType();
3383 unsigned NumVecElts = cast<FixedVectorType>(Ty)->getNumElements();
3384 if ((Opcode == Instruction::Or || Opcode == Instruction::And) &&
3385 ScalarTy == IntegerType::getInt1Ty(Ty->getContext()) &&
3386 NumVecElts >= 2) {
3387 // Or reduction for i1 is represented as:
3388 // %val = bitcast <ReduxWidth x i1> to iReduxWidth
3389 // %res = cmp ne iReduxWidth %val, 0
3390 // And reduction for i1 is represented as:
3391 // %val = bitcast <ReduxWidth x i1> to iReduxWidth
3392 // %res = cmp eq iReduxWidth %val, 11111
3393 Type *ValTy = IntegerType::get(Ty->getContext(), NumVecElts);
3394 return thisT()->getCastInstrCost(Instruction::BitCast, ValTy, Ty,
3396 thisT()->getCmpSelInstrCost(Instruction::ICmp, ValTy,
3399 }
3400 unsigned NumReduxLevels = Log2_32(NumVecElts);
3401 InstructionCost ArithCost = 0;
3402 InstructionCost ShuffleCost = 0;
3403 std::pair<InstructionCost, MVT> LT = thisT()->getTypeLegalizationCost(Ty);
3404 unsigned LongVectorCount = 0;
3405 unsigned MVTLen =
3406 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
3407 while (NumVecElts > MVTLen) {
3408 NumVecElts /= 2;
3409 VectorType *SubTy = FixedVectorType::get(ScalarTy, NumVecElts);
3410 ShuffleCost += thisT()->getShuffleCost(
3411 TTI::SK_ExtractSubvector, SubTy, Ty, CostKind, {}, NumVecElts, SubTy);
3412 ArithCost += thisT()->getArithmeticInstrCost(Opcode, SubTy, CostKind);
3413 Ty = SubTy;
3414 ++LongVectorCount;
3415 }
3416
3417 NumReduxLevels -= LongVectorCount;
3418
3419 // The minimal length of the vector is limited by the real length of vector
3420 // operations performed on the current platform. That's why several final
3421 // reduction operations are performed on the vectors with the same
3422 // architecture-dependent length.
3423
3424 // By default reductions need one shuffle per reduction level.
3425 ShuffleCost +=
3426 NumReduxLevels * thisT()->getShuffleCost(TTI::SK_PermuteSingleSrc, Ty,
3427 Ty, CostKind, {}, 0, Ty);
3428 ArithCost +=
3429 NumReduxLevels * thisT()->getArithmeticInstrCost(Opcode, Ty, CostKind);
3430 return ShuffleCost + ArithCost +
3431 thisT()->getVectorInstrCost(Instruction::ExtractElement, Ty,
3432 CostKind, 0, nullptr, nullptr);
3433 }
3434
3435 /// Try to calculate the cost of performing strict (in-order) reductions,
3436 /// which involves doing a sequence of floating point additions in lane
3437 /// order, starting with an initial value. For example, consider a scalar
3438 /// initial value 'InitVal' of type float and a vector of type <4 x float>:
3439 ///
3440 /// Vector = <float %v0, float %v1, float %v2, float %v3>
3441 ///
3442 /// %add1 = %InitVal + %v0
3443 /// %add2 = %add1 + %v1
3444 /// %add3 = %add2 + %v2
3445 /// %add4 = %add3 + %v3
3446 ///
3447 /// As a simple estimate we can say the cost of such a reduction is 4 times
3448 /// the cost of a scalar FP addition. We can only estimate the costs for
3449 /// fixed-width vectors here because for scalable vectors we do not know the
3450 /// runtime number of operations.
3453 // Targets must implement a default value for the scalable case, since
3454 // we don't know how many lanes the vector has.
3457
3458 auto *VTy = cast<FixedVectorType>(Ty);
3460 VTy, /*Insert=*/false, /*Extract=*/true, CostKind);
3461 InstructionCost ArithCost = thisT()->getArithmeticInstrCost(
3462 Opcode, VTy->getElementType(), CostKind);
3463 ArithCost *= VTy->getNumElements();
3464
3465 return ExtractCost + ArithCost;
3466 }
3467
3470 std::optional<FastMathFlags> FMF,
3471 TTI::TargetCostKind CostKind) const override {
3472 assert(Ty && "Unknown reduction vector type");
3474 return getOrderedReductionCost(Opcode, Ty, CostKind);
3475 return getTreeReductionCost(Opcode, Ty, CostKind);
3476 }
3477
3478 /// Try to calculate op costs for min/max reduction operations.
3479 /// \param CondTy Conditional type for the Select instruction.
3482 TTI::TargetCostKind CostKind) const override {
3483 // Targets must implement a default value for the scalable case, since
3484 // we don't know how many lanes the vector has.
3487
3488 Type *ScalarTy = Ty->getElementType();
3489 unsigned NumVecElts = cast<FixedVectorType>(Ty)->getNumElements();
3490 unsigned NumReduxLevels = Log2_32(NumVecElts);
3491 InstructionCost MinMaxCost = 0;
3492 InstructionCost ShuffleCost = 0;
3493 std::pair<InstructionCost, MVT> LT = thisT()->getTypeLegalizationCost(Ty);
3494 unsigned LongVectorCount = 0;
3495 unsigned MVTLen =
3496 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
3497 while (NumVecElts > MVTLen) {
3498 NumVecElts /= 2;
3499 auto *SubTy = FixedVectorType::get(ScalarTy, NumVecElts);
3500
3501 ShuffleCost += thisT()->getShuffleCost(
3502 TTI::SK_ExtractSubvector, SubTy, Ty, CostKind, {}, NumVecElts, SubTy);
3503
3504 IntrinsicCostAttributes Attrs(IID, SubTy, {SubTy, SubTy}, FMF);
3505 MinMaxCost += getIntrinsicInstrCost(Attrs, CostKind);
3506 Ty = SubTy;
3507 ++LongVectorCount;
3508 }
3509
3510 NumReduxLevels -= LongVectorCount;
3511
3512 // The minimal length of the vector is limited by the real length of vector
3513 // operations performed on the current platform. That's why several final
3514 // reduction opertions are perfomed on the vectors with the same
3515 // architecture-dependent length.
3516 ShuffleCost +=
3517 NumReduxLevels * thisT()->getShuffleCost(TTI::SK_PermuteSingleSrc, Ty,
3518 Ty, CostKind, {}, 0, Ty);
3519 IntrinsicCostAttributes Attrs(IID, Ty, {Ty, Ty}, FMF);
3520 MinMaxCost += NumReduxLevels * getIntrinsicInstrCost(Attrs, CostKind);
3521 // The last min/max should be in vector registers and we counted it above.
3522 // So just need a single extractelement.
3523 return ShuffleCost + MinMaxCost +
3524 thisT()->getVectorInstrCost(Instruction::ExtractElement, Ty,
3525 CostKind, 0, nullptr, nullptr);
3526 }
3527
3529 getExtendedReductionCost(unsigned Opcode, bool IsUnsigned, Type *ResTy,
3530 VectorType *Ty, std::optional<FastMathFlags> FMF,
3531 TTI::TargetCostKind CostKind) const override {
3532 if (auto *FTy = dyn_cast<FixedVectorType>(Ty);
3533 FTy && IsUnsigned && Opcode == Instruction::Add &&
3534 FTy->getElementType() == IntegerType::getInt1Ty(Ty->getContext())) {
3535 // Represent vector_reduce_add(ZExt(<n x i1>)) as
3536 // ZExtOrTrunc(ctpop(bitcast <n x i1> to in)).
3537 auto *IntTy =
3538 IntegerType::get(ResTy->getContext(), FTy->getNumElements());
3539 IntrinsicCostAttributes ICA(Intrinsic::ctpop, IntTy, {IntTy},
3540 FMF ? *FMF : FastMathFlags());
3541 return thisT()->getCastInstrCost(Instruction::BitCast, IntTy, FTy,
3543 thisT()->getIntrinsicInstrCost(ICA, CostKind);
3544 }
3545 // Without any native support, this is equivalent to the cost of
3546 // vecreduce.opcode(ext(Ty A)).
3547 VectorType *ExtTy = VectorType::get(ResTy, Ty);
3548 InstructionCost RedCost =
3549 thisT()->getArithmeticReductionCost(Opcode, ExtTy, FMF, CostKind);
3550 InstructionCost ExtCost = thisT()->getCastInstrCost(
3551 IsUnsigned ? Instruction::ZExt : Instruction::SExt, ExtTy, Ty,
3553
3554 return RedCost + ExtCost;
3555 }
3556
3558 getMulAccReductionCost(bool IsUnsigned, unsigned RedOpcode, Type *ResTy,
3559 VectorType *Ty,
3560 TTI::TargetCostKind CostKind) const override {
3561 // Without any native support, this is equivalent to the cost of
3562 // vecreduce.add(mul(ext(Ty A), ext(Ty B))) or
3563 // vecreduce.add(mul(A, B)).
3564 assert((RedOpcode == Instruction::Add || RedOpcode == Instruction::Sub) &&
3565 "The reduction opcode is expected to be Add or Sub.");
3566 VectorType *ExtTy = VectorType::get(ResTy, Ty);
3567 InstructionCost RedCost = thisT()->getArithmeticReductionCost(
3568 RedOpcode, ExtTy, std::nullopt, CostKind);
3569 InstructionCost ExtCost = thisT()->getCastInstrCost(
3570 IsUnsigned ? Instruction::ZExt : Instruction::SExt, ExtTy, Ty,
3572
3573 InstructionCost MulCost =
3574 thisT()->getArithmeticInstrCost(Instruction::Mul, ExtTy, CostKind);
3575
3576 return RedCost + MulCost + 2 * ExtCost;
3577 }
3578
3580 unsigned Opcode, Type *InputTypeA, Type *InputTypeB, Type *AccumType,
3582 TTI::PartialReductionExtendKind OpBExtend, std::optional<unsigned> BinOp,
3584 std::optional<FastMathFlags> FMF) const override {
3585 unsigned EltSizeAcc = AccumType->getScalarSizeInBits();
3586 unsigned EltSizeInA = InputTypeA->getScalarSizeInBits();
3587 unsigned Ratio = EltSizeAcc / EltSizeInA;
3588 if (VF.getKnownMinValue() <= Ratio || VF.getKnownMinValue() % Ratio != 0 ||
3589 EltSizeAcc % EltSizeInA != 0 || (BinOp && InputTypeA != InputTypeB))
3591
3592 Type *InputVectorType = VectorType::get(InputTypeA, VF);
3593 Type *ExtInputVectorType = VectorType::get(AccumType, VF);
3594 Type *AccumVectorType =
3595 VectorType::get(AccumType, VF.divideCoefficientBy(Ratio));
3596
3597 InstructionCost ExtendCostA = 0;
3599 ExtendCostA = getCastInstrCost(
3601 ExtInputVectorType, InputVectorType, TTI::CastContextHint::None,
3602 CostKind);
3603
3604 // TODO: add cost of extracting subvectors from the source vector that
3605 // is to be partially reduced.
3606 InstructionCost ReductionOpCost =
3607 Ratio * getArithmeticInstrCost(Opcode, AccumVectorType, CostKind);
3608
3609 if (!BinOp)
3610 return ExtendCostA + ReductionOpCost;
3611
3612 InstructionCost ExtendCostB = 0;
3614 ExtendCostB = getCastInstrCost(
3616 ExtInputVectorType, InputVectorType, TTI::CastContextHint::None,
3617 CostKind);
3618 return ExtendCostA + ExtendCostB + ReductionOpCost +
3619 getArithmeticInstrCost(*BinOp, ExtInputVectorType, CostKind);
3620 }
3621
3623
3624 /// @}
3625};
3626
3627/// Concrete BasicTTIImpl that can be used if no further customization
3628/// is needed.
3629class BasicTTIImpl : public BasicTTIImplBase<BasicTTIImpl> {
3630 using BaseT = BasicTTIImplBase<BasicTTIImpl>;
3631
3632 friend class BasicTTIImplBase<BasicTTIImpl>;
3633
3634 const TargetSubtargetInfo *ST;
3635 const TargetLoweringBase *TLI;
3636
3637 const TargetSubtargetInfo *getST() const { return ST; }
3638 const TargetLoweringBase *getTLI() const { return TLI; }
3639
3640public:
3641 LLVM_ABI explicit BasicTTIImpl(const TargetMachine *TM, const Function &F);
3642};
3643
3644} // end namespace llvm
3645
3646#endif // LLVM_CODEGEN_BASICTTIIMPL_H
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
unsigned Imm
unsigned uint64_t
This file implements a class to represent arbitrary precision integral constant values and operations...
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
#define X(NUM, ENUM, NAME)
Definition ELF.h:857
This file implements the BitVector class.
static GCRegistry::Add< ShadowStackGC > C("shadow-stack", "Very portable GC for uncooperative code generators")
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
#define LLVM_ABI
Definition Compiler.h:215
This file contains the declarations for the subclasses of Constant, which represent the different fla...
static cl::opt< OutputCostKind > CostKind("cost-kind", cl::desc("Target cost kind"), cl::init(OutputCostKind::RecipThroughput), cl::values(clEnumValN(OutputCostKind::RecipThroughput, "throughput", "Reciprocal throughput"), clEnumValN(OutputCostKind::Latency, "latency", "Instruction latency"), clEnumValN(OutputCostKind::CodeSize, "code-size", "Code size"), clEnumValN(OutputCostKind::SizeAndLatency, "size-latency", "Code size and latency"), clEnumValN(OutputCostKind::All, "all", "Print all cost kinds")))
const AbstractManglingParser< Derived, Alloc >::OperatorInfo AbstractManglingParser< Derived, Alloc >::Ops[]
#define F(x, y, z)
Definition MD5.cpp:54
#define I(x, y, z)
Definition MD5.cpp:57
static const Function * getCalledFunction(const Value *V)
#define T
ConstantRange Range(APInt(BitWidth, Low), APInt(BitWidth, High))
uint64_t IntrinsicInst * II
#define P(N)
SI Fold Operands
This file contains some templates that are useful if you are working with the STL at all.
This file defines the SmallPtrSet class.
This file defines the SmallVector class.
static TableGen::Emitter::Opt Y("gen-skeleton-entry", EmitSkeleton, "Generate example skeleton entry")
static SymbolRef::Type getType(const Symbol *Sym)
Definition TapiFile.cpp:39
This file describes how to lower LLVM code to machine code.
This file provides helpers for the implementation of a TargetTransformInfo-conforming class.
This pass exposes codegen information to IR-level passes.
Class for arbitrary precision integers.
Definition APInt.h:78
static APInt getAllOnes(unsigned numBits)
Return an APInt of a specified width with all bits set.
Definition APInt.h:230
void setBit(unsigned BitPosition)
Set the given bit to 1 whose position is given as "bitPosition".
Definition APInt.h:1350
bool sgt(const APInt &RHS) const
Signed greater than comparison.
Definition APInt.h:1205
unsigned getBitWidth() const
Return the number of bits in the APInt.
Definition APInt.h:1508
bool slt(const APInt &RHS) const
Signed less than comparison.
Definition APInt.h:1134
static APInt getZero(unsigned numBits)
Get the '0' value for the specified bit-width.
Definition APInt.h:196
an instruction to allocate memory on the stack
Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition ArrayRef.h:40
ArrayRef< T > drop_front(size_t N=1) const
Drop the first N elements of the array.
Definition ArrayRef.h:194
size_t size() const
Get the array size.
Definition ArrayRef.h:141
ArrayRef< T > drop_back(size_t N=1) const
Drop the last N elements of the array.
Definition ArrayRef.h:200
A cache of @llvm.assume calls within a function.
LLVM Basic Block Representation.
Definition BasicBlock.h:62
InstructionCost getFPOpCost(Type *Ty) const override
bool preferToKeepConstantsAttached(const Instruction &Inst, const Function &Fn) 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 getMinMaxReductionCost(Intrinsic::ID IID, VectorType *Ty, FastMathFlags FMF, TTI::TargetCostKind CostKind) const override
Try to calculate op costs for min/max reduction operations.
bool isIndexedLoadLegal(TTI::MemIndexedMode M, Type *Ty) const override
unsigned getCallerAllocaCost(const CallBase *CB, const AllocaInst *AI) const override
InstructionCost getCFInstrCost(unsigned Opcode, TTI::TargetCostKind CostKind, const Instruction *I=nullptr) const override
TypeSize getRegisterBitWidth(TargetTransformInfo::RegisterKind K) const override
bool shouldBuildLookupTables() const override
bool isNoopAddrSpaceCast(unsigned FromAS, unsigned ToAS) const override
bool isProfitableToHoist(Instruction *I) const override
unsigned getNumberOfParts(Type *Tp) const override
unsigned getMinPrefetchStride(unsigned NumMemAccesses, unsigned NumStridedMemAccesses, unsigned NumPrefetches, bool HasCall) const override
bool useAA() const override
unsigned getPrefetchDistance() const override
TTI::ShuffleKind improveShuffleKindFromMask(TTI::ShuffleKind Kind, ArrayRef< int > Mask, VectorType *SrcTy, int &Index, VectorType *&SubTy) const
InstructionCost getOperandsScalarizationOverhead(ArrayRef< Type * > Tys, TTI::TargetCostKind CostKind, TTI::VectorInstrContext VIC=TTI::VectorInstrContext::None) const override
Estimate the overhead of scalarizing an instruction's operands.
bool isLegalAddScalableImmediate(int64_t Imm) const override
bool haveFastClmul(IntegerType *Ty) const override
unsigned getAssumedAddrSpace(const Value *V) const override
std::optional< Value * > simplifyDemandedUseBitsIntrinsic(InstCombiner &IC, IntrinsicInst &II, APInt DemandedMask, KnownBits &Known, bool &KnownBitsComputed) const override
bool isLegalAddressingMode(Type *Ty, GlobalValue *BaseGV, int64_t BaseOffset, bool HasBaseReg, int64_t Scale, unsigned AddrSpace, Instruction *I=nullptr, int64_t ScalableOffset=0) const override
bool addrspacesMayAlias(unsigned AS0, unsigned AS1) const override
bool areInlineCompatible(const Function *Caller, const Function *Callee) const override
bool isIndexedStoreLegal(TTI::MemIndexedMode M, Type *Ty) const override
bool haveFastSqrt(Type *Ty) const override
bool collectFlatAddressOperands(SmallVectorImpl< int > &OpIndexes, Intrinsic::ID IID) const override
unsigned getEstimatedNumberOfCaseClusters(const SwitchInst &SI, unsigned &JumpTableSize, ProfileSummaryInfo *PSI, BlockFrequencyInfo *BFI) const override
unsigned getStoreMinimumVF(unsigned VF, Type *ScalarMemTy, Type *ScalarValTy, Align Alignment, unsigned AddrSpace) const override
Value * rewriteIntrinsicWithAddressSpace(IntrinsicInst *II, Value *OldV, Value *NewV) const override
unsigned adjustInliningThreshold(const CallBase *CB) const override
unsigned getInliningThresholdMultiplier() const override
InstructionCost getScalarizationOverhead(VectorType *InTy, const APInt &DemandedElts, bool Insert, bool Extract, TTI::TargetCostKind CostKind, bool ForPoisonSrc=true, ArrayRef< Value * > VL={}, TTI::VectorInstrContext VIC=TTI::VectorInstrContext::None) const override
Estimate the overhead of scalarizing an instruction.
InstructionCost getVectorInstrCost(unsigned Opcode, Type *Val, TTI::TargetCostKind CostKind, unsigned Index, Value *Scalar, ArrayRef< std::tuple< Value *, User *, int > > ScalarUserAndIdx, TTI::VectorInstrContext VIC=TTI::VectorInstrContext::None) const override
int64_t getPreferredLargeGEPBaseOffset(int64_t MinOffset, int64_t MaxOffset)
bool shouldBuildRelLookupTables() const override
bool isTargetIntrinsicWithStructReturnOverloadAtField(Intrinsic::ID ID, int RetIdx) const override
InstructionCost getArithmeticReductionCost(unsigned Opcode, VectorType *Ty, std::optional< FastMathFlags > FMF, TTI::TargetCostKind CostKind) 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
InstructionCost getArithmeticInstrCost(unsigned Opcode, Type *Ty, TTI::TargetCostKind CostKind, TTI::OperandValueInfo Opd1Info={TTI::OK_AnyValue, TTI::OP_None}, TTI::OperandValueInfo Opd2Info={TTI::OK_AnyValue, TTI::OP_None}, ArrayRef< const Value * > Args={}, const Instruction *CtxI=nullptr) const override
InstructionCost getVectorInstrCost(const Instruction &I, Type *Val, TTI::TargetCostKind CostKind, unsigned Index, TTI::VectorInstrContext VIC=TTI::VectorInstrContext::None) const override
InstructionCost getScalingFactorCost(Type *Ty, GlobalValue *BaseGV, StackOffset BaseOffset, bool HasBaseReg, int64_t Scale, unsigned AddrSpace) const override
unsigned getEpilogueVectorizationMinVF() const override
InstructionCost getExtractWithExtendCost(unsigned Opcode, Type *Dst, VectorType *VecTy, unsigned Index, TTI::TargetCostKind CostKind) const override
InstructionCost getVectorSplitCost() const
bool isTruncateFree(Type *Ty1, Type *Ty2) const override
unsigned getFlatAddressSpace() const override
InstructionCost getCallInstrCost(Function *F, Type *RetTy, ArrayRef< Type * > Tys, TTI::TargetCostKind CostKind) const override
Compute a cost of the given call instruction.
void getUnrollingPreferences(Loop *L, ScalarEvolution &SE, TTI::UnrollingPreferences &UP, OptimizationRemarkEmitter *ORE) const override
InstructionCost getTreeReductionCost(unsigned Opcode, VectorType *Ty, TTI::TargetCostKind CostKind) const
Try to calculate arithmetic and shuffle op costs for reduction intrinsics.
~BasicTTIImplBase() override=default
std::pair< const Value *, unsigned > getPredicatedAddrSpace(const Value *V) const override
unsigned getMaxPrefetchIterationsAhead() const override
unsigned getMaxInterleaveFactor(ElementCount VF, bool HasUnorderedReductions) const override
void getPeelingPreferences(Loop *L, ScalarEvolution &SE, TTI::PeelingPreferences &PP) const override
InstructionCost getTypeBasedIntrinsicInstrCost(const IntrinsicCostAttributes &ICA, TTI::TargetCostKind CostKind) const
Get intrinsic cost based on argument types.
bool hasBranchDivergence(const Function *F=nullptr) const override
InstructionCost getOrderedReductionCost(unsigned Opcode, VectorType *Ty, TTI::TargetCostKind CostKind) const
Try to calculate the cost of performing strict (in-order) reductions, which involves doing a sequence...
std::optional< unsigned > getCacheAssociativity(TargetTransformInfo::CacheLevel Level) const override
bool shouldPrefetchAddressSpace(unsigned AS) const override
bool allowsMisalignedMemoryAccesses(LLVMContext &Context, unsigned BitWidth, unsigned AddressSpace, Align Alignment, unsigned *Fast) const override
unsigned getCacheLineSize() const override
std::optional< Instruction * > instCombineIntrinsic(InstCombiner &IC, IntrinsicInst &II) const override
bool shouldDropLSRSolutionIfLessProfitable() const override
int getInlinerVectorBonusPercent() const override
InstructionCost getMulAccReductionCost(bool IsUnsigned, unsigned RedOpcode, Type *ResTy, VectorType *Ty, TTI::TargetCostKind CostKind) 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 getIndexedVectorInstrCostFromEnd(unsigned Opcode, Type *Val, TTI::TargetCostKind CostKind, unsigned Index) const override
InstructionCost getCastInstrCost(unsigned Opcode, Type *Dst, Type *Src, TTI::CastContextHint CCH, TTI::TargetCostKind CostKind, const Instruction *I=nullptr) const override
std::pair< InstructionCost, MVT > getTypeLegalizationCost(Type *Ty) const
Estimate the cost of type-legalization and the legalized type.
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
bool isLegalAddImmediate(int64_t imm) const override
InstructionCost getReplicationShuffleCost(Type *EltTy, int ReplicationFactor, int VF, const APInt &DemandedDstElts, TTI::TargetCostKind CostKind) const override
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
bool isProfitableLSRChainElement(Instruction *I) const override
bool isValidAddrSpaceCast(unsigned FromAS, unsigned ToAS) const override
bool isTargetIntrinsicWithOverloadTypeAtArg(Intrinsic::ID ID, int OpdIdx) const override
bool isTargetIntrinsicWithScalarOpAtArg(Intrinsic::ID ID, unsigned ScalarOpdIdx) const override
std::optional< unsigned > getVScaleForTuning() const override
InstructionCost getExtendedReductionCost(unsigned Opcode, bool IsUnsigned, Type *ResTy, VectorType *Ty, std::optional< FastMathFlags > FMF, TTI::TargetCostKind CostKind) const override
InstructionCost getIntrinsicInstrCost(const IntrinsicCostAttributes &ICA, TTI::TargetCostKind CostKind) const override
Get intrinsic cost based on arguments.
bool preferTailFoldingOverEpilogue(TailFoldingInfo *TFI) 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
InstructionCost getAddressComputationCost(Type *PtrTy, ScalarEvolution *, const SCEV *, TTI::TargetCostKind) const override
bool isFCmpOrdCheaperThanFCmpZero(Type *Ty) const override
InstructionCost getScalarizationOverhead(VectorType *RetTy, ArrayRef< const Value * > Args, ArrayRef< Type * > Tys, TTI::TargetCostKind CostKind) const
Estimate the overhead of scalarizing the inputs and outputs of an instruction, with return type RetTy...
TailFoldingStyle getPreferredTailFoldingStyle() const override
std::optional< unsigned > getCacheSize(TargetTransformInfo::CacheLevel Level) const override
bool isLegalICmpImmediate(int64_t imm) const override
InstructionCost getGEPCost(Type *PointeeType, const Value *Ptr, ArrayRef< const Value * > Operands, TTI::TargetCostKind CostKind, Type *AccessType) const override
bool isHardwareLoopProfitable(Loop *L, ScalarEvolution &SE, AssumptionCache &AC, TargetLibraryInfo *LibInfo, HardwareLoopInfo &HWLoopInfo) const override
unsigned getRegUsageForType(Type *Ty) const override
InstructionCost getMemIntrinsicInstrCost(const MemIntrinsicCostAttributes &MICA, TTI::TargetCostKind CostKind) const override
Get memory intrinsic cost based on arguments.
BasicTTIImplBase(const TargetMachine *TM, const DataLayout &DL)
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
bool isTypeLegal(Type *Ty) const override
bool enableWritePrefetching() const override
bool isLSRCostLess(const TTI::LSRCost &C1, const TTI::LSRCost &C2) const override
InstructionCost getScalarizationOverhead(VectorType *InTy, bool Insert, bool Extract, TTI::TargetCostKind CostKind, bool ForPoisonSrc=true, ArrayRef< Value * > VL={}, TTI::VectorInstrContext VIC=TTI::VectorInstrContext::None) const
Helper wrapper for the DemandedElts variant of getScalarizationOverhead.
InstructionCost getBranchMispredictPenalty() const override
bool isNumRegsMajorCostOfLSR() const override
LLVM_ABI BasicTTIImpl(const TargetMachine *TM, const Function &F)
size_type count() const
Returns the number of bits which are set.
Definition BitVector.h:181
BitVector & set()
Set all bits in the bitvector.
Definition BitVector.h:366
BlockFrequencyInfo pass uses BlockFrequencyInfoImpl implementation to estimate IR basic block frequen...
Base class for all callable instructions (InvokeInst and CallInst) Holds everything related to callin...
static Type * makeCmpResultType(Type *opnd_type)
Create a result type for fcmp/icmp.
Predicate
This enumeration lists the possible predicates for CmpInst subclasses.
Definition InstrTypes.h:740
@ ICMP_SLE
signed less or equal
Definition InstrTypes.h:770
@ ICMP_UGT
unsigned greater than
Definition InstrTypes.h:763
@ ICMP_SGT
signed greater than
Definition InstrTypes.h:767
@ ICMP_ULT
unsigned less than
Definition InstrTypes.h:765
@ ICMP_NE
not equal
Definition InstrTypes.h:762
@ FCMP_UNO
1 0 0 0 True if unordered: isnan(X) | isnan(Y)
Definition InstrTypes.h:750
static CmpInst::Predicate getGTPredicate(Intrinsic::ID ID)
static CmpInst::Predicate getLTPredicate(Intrinsic::ID ID)
This class represents a range of values.
A parsed version of the target data layout string in and methods for querying it.
Definition DataLayout.h:64
constexpr bool isVector() const
One or more elements.
Definition TypeSize.h:320
static constexpr ElementCount getFixed(ScalarTy MinVal)
Definition TypeSize.h:305
constexpr bool isScalar() const
Exactly one element.
Definition TypeSize.h:316
Convenience struct for specifying and reasoning about fast-math flags.
Definition FMF.h:23
Container class for subtarget features.
Class to represent fixed width SIMD vectors.
unsigned getNumElements() const
static LLVM_ABI FixedVectorType * get(Type *ElementType, unsigned NumElts)
Definition Type.cpp:843
AttributeList getAttributes() const
Return the attribute list for this Function.
Definition Function.h:329
The core instruction combiner logic.
static InstructionCost getInvalid(CostType Val=0)
unsigned getOpcode() const
Returns a member of one of the enums like Instruction::Add.
Class to represent integer types.
static LLVM_ABI IntegerType * get(LLVMContext &C, unsigned NumBits)
This static method is the primary way of constructing an IntegerType.
Definition Type.cpp:338
unsigned getBitWidth() const
Get the number of bits in this IntegerType.
const SmallVectorImpl< Type * > & getArgTypes() const
const SmallVectorImpl< const Value * > & getArgs() const
InstructionCost getScalarizationCost() const
const IntrinsicInst * getInst() const
A wrapper class for inspecting calls to intrinsic functions.
This is an important class for using LLVM in a threaded context.
Definition LLVMContext.h:68
Represents a single loop in the control flow graph.
Definition LoopInfo.h:40
const FeatureBitset & getFeatureBits() const
Machine Value Type.
TypeSize getStoreSize() const
Return the number of bytes overwritten by a store of the specified value type.
Information for memory intrinsic cost model.
The optimization diagnostic interface.
LLVM_ABI void emit(DiagnosticInfoOptimizationBase &OptDiag)
Output the remark via the diagnostic handler and to the optimization record file.
Diagnostic information for applied optimization remarks.
static LLVM_ABI PointerType * get(LLVMContext &C, unsigned AddressSpace)
This constructs an opaque pointer to an object in a numbered address space.
Definition Type.cpp:887
Analysis providing profile information.
This class represents an analyzed expression in the program.
The main scalar evolution driver.
static LLVM_ABI bool isZeroEltSplatMask(ArrayRef< int > Mask, int NumSrcElts)
Return true if this shuffle mask chooses all elements with the same value as the first element of exa...
static LLVM_ABI bool isSpliceMask(ArrayRef< int > Mask, int NumSrcElts, int &Index)
Return true if this shuffle mask is a splice mask, concatenating the two inputs together and then ext...
static LLVM_ABI bool isSelectMask(ArrayRef< int > Mask, int NumSrcElts)
Return true if this shuffle mask chooses elements from its source vectors without lane crossings.
static LLVM_ABI bool isExtractSubvectorMask(ArrayRef< int > Mask, int NumSrcElts, int &Index)
Return true if this shuffle mask is an extract subvector mask.
static LLVM_ABI bool isReverseMask(ArrayRef< int > Mask, int NumSrcElts)
Return true if this shuffle mask swaps the order of elements from exactly one source vector.
static LLVM_ABI bool isTransposeMask(ArrayRef< int > Mask, int NumSrcElts)
Return true if this shuffle mask is a transpose mask.
static LLVM_ABI bool isInsertSubvectorMask(ArrayRef< int > Mask, int NumSrcElts, int &NumSubElts, int &Index)
Return true if this shuffle mask is an insert subvector mask.
std::pair< iterator, bool > insert(PtrType Ptr)
Inserts Ptr if and only if there is no element in the container equal to Ptr.
SmallPtrSet - This class implements a set which is optimized for holding SmallSize or less elements.
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
StackOffset holds a fixed and a scalable offset in bytes.
Definition TypeSize.h:30
static StackOffset getScalable(int64_t Scalable)
Definition TypeSize.h:40
static StackOffset getFixed(int64_t Fixed)
Definition TypeSize.h:39
static LLVM_ABI StructType * create(LLVMContext &Context, StringRef Name)
This creates an identified struct.
Definition Type.cpp:662
Multiway switch.
Provides information about what library functions are available for the current target.
This base class for TargetLowering contains the SelectionDAG-independent parts that can be used from ...
bool isOperationExpand(unsigned Op, EVT VT) const
Return true if the specified operation is illegal on this target or unlikely to be made legal with cu...
int InstructionOpcodeToISD(unsigned Opcode) const
Get the ISD node that corresponds to the Instruction class opcode.
EVT getValueType(const DataLayout &DL, Type *Ty, bool AllowUnknown=false) const
Return the EVT corresponding to this LLVM type.
LegalizeAction
This enum indicates whether operations are valid for a target, and if not, what action should be used...
virtual bool preferSelectsOverBooleanArithmetic(EVT VT) const
Should we prefer selects to doing arithmetic on boolean types.
virtual bool isFreeAddrSpaceCast(const DataLayout &DL, unsigned SrcAS, unsigned DestAS) const
Returns true if a cast from SrcAS to DestAS is "cheap", such that e.g.
virtual bool isZExtFree(Type *FromTy, Type *ToTy) const
Return true if any actual instruction that defines a value of type FromTy implicitly zero-extends the...
virtual bool isSuitableForJumpTable(const SwitchInst *SI, uint64_t NumCases, uint64_t Range, ProfileSummaryInfo *PSI, BlockFrequencyInfo *BFI) const
Return true if lowering to a jump table is suitable for a set of case clusters which may contain NumC...
virtual bool areJTsAllowed(const Function *Fn) const
Return true if lowering to a jump table is allowed.
bool isOperationLegalOrPromote(unsigned Op, EVT VT, bool LegalOnly=false) const
Return true if the specified operation is legal on this target or can be made legal using promotion.
LegalizeAction getTruncStoreAction(EVT ValVT, EVT MemVT, Align Alignment, unsigned AddrSpace) const
Return how this store with truncation should be treated: either it is legal, needs to be promoted to ...
bool isOperationCustom(unsigned Op, EVT VT) const
Return true if the operation uses custom lowering, regardless of whether the type is legal or not.
bool isSuitableForBitTests(const DenseMap< const BasicBlock *, unsigned int > &DestCmps, const APInt &Low, const APInt &High, const DataLayout &DL) const
Return true if lowering to a bit test is suitable for a set of case clusters which contains NumDests ...
virtual bool isTruncateFree(Type *FromTy, Type *ToTy) const
Return true if it's free to truncate a value of type FromTy to type ToTy.
bool isTypeLegal(EVT VT) const
Return true if the target has native support for the specified value type.
bool isOperationLegal(unsigned Op, EVT VT) const
Return true if the specified operation is legal on this target.
bool isOperationLegalOrCustom(unsigned Op, EVT VT, bool LegalOnly=false) const
Return true if the specified operation is legal on this target or can be made legal with custom lower...
LegalizeAction getLoadAction(EVT ValVT, EVT MemVT, Align Alignment, unsigned AddrSpace, unsigned ExtType, bool Atomic) const
Return how this load with extension should be treated: either it is legal, needs to be promoted to a ...
LegalizeKind getTypeConversion(LLVMContext &Context, EVT VT) const
Return pair that represents the legalization kind (first) that needs to happen to EVT (second) in ord...
LegalizeTypeAction getTypeAction(LLVMContext &Context, EVT VT) const
Return how we should legalize values of this type, either it is already legal (return 'Legal') or we ...
bool isLoadLegal(EVT ValVT, EVT MemVT, Align Alignment, unsigned AddrSpace, unsigned ExtType, bool Atomic) const
Return true if the specified load with extension is legal on this target.
virtual bool isFAbsFree(EVT VT) const
Return true if an fabs operation is free to the point where it is never worthwhile to replace it with...
bool isOperationLegalOrCustomOrPromote(unsigned Op, EVT VT, bool LegalOnly=false) const
Return true if the specified operation is legal on this target or can be made legal with custom lower...
std::pair< LegalizeTypeAction, EVT > LegalizeKind
LegalizeKind holds the legalization kind that needs to happen to EVT in order to type-legalize it.
Primary interface to the complete machine description for the target machine.
bool isPositionIndependent() const
const Triple & getTargetTriple() const
virtual const TargetSubtargetInfo * getSubtargetImpl(const Function &) const
Virtual method implemented by subclasses that returns a reference to that target's TargetSubtargetInf...
CodeModel::Model getCodeModel() const
Returns the code model.
TargetSubtargetInfo - Generic base class for all target subtargets.
virtual const FeatureBitset & getInlineMustMatchFeatures() const =0
Target features where all mismatches prevent inlining.
virtual const FeatureBitset & getInlineInverseFeatures() const =0
Target features where the callee may have an additional feature, instead of the caller.
virtual const FeatureBitset & getInlineIgnoreFeatures() const =0
Target features to ignore for inline compatibility check.
virtual bool isProfitableLSRChainElement(Instruction *I) const
virtual TailFoldingStyle getPreferredTailFoldingStyle() const
virtual const DataLayout & getDataLayout() const
virtual std::optional< unsigned > getCacheAssociativity(TargetTransformInfo::CacheLevel Level) const
virtual InstructionCost getArithmeticInstrCost(unsigned Opcode, Type *Ty, TTI::TargetCostKind CostKind, TTI::OperandValueInfo Opd1Info, TTI::OperandValueInfo Opd2Info, ArrayRef< const Value * > Args, const Instruction *CtxI=nullptr) const
virtual 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
virtual bool shouldDropLSRSolutionIfLessProfitable() const
virtual bool isHardwareLoopProfitable(Loop *L, ScalarEvolution &SE, AssumptionCache &AC, TargetLibraryInfo *LibInfo, HardwareLoopInfo &HWLoopInfo) const
virtual std::optional< Value * > simplifyDemandedUseBitsIntrinsic(InstCombiner &IC, IntrinsicInst &II, APInt DemandedMask, KnownBits &Known, bool &KnownBitsComputed) const
virtual bool preferTailFoldingOverEpilogue(TailFoldingInfo *TFI) const
virtual std::optional< Instruction * > instCombineIntrinsic(InstCombiner &IC, IntrinsicInst &II) const
virtual unsigned getEpilogueVectorizationMinVF() const
virtual 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
virtual bool isLoweredToCall(const Function *F) const
virtual InstructionCost getCFInstrCost(unsigned Opcode, TTI::TargetCostKind CostKind, const Instruction *I=nullptr) const
virtual bool isLSRCostLess(const TTI::LSRCost &C1, const TTI::LSRCost &C2) const
virtual InstructionCost getCastInstrCost(unsigned Opcode, Type *Dst, Type *Src, TTI::CastContextHint CCH, TTI::TargetCostKind CostKind, const Instruction *I) const
virtual InstructionCost getIntrinsicInstrCost(const IntrinsicCostAttributes &ICA, TTI::TargetCostKind CostKind) const
virtual InstructionCost getCmpSelInstrCost(unsigned Opcode, Type *ValTy, Type *CondTy, CmpInst::Predicate VecPred, TTI::TargetCostKind CostKind, TTI::OperandValueInfo Op1Info, TTI::OperandValueInfo Op2Info, const Instruction *I) const
InstructionCost getGEPCost(Type *PointeeType, const Value *Ptr, ArrayRef< const Value * > Operands, TTI::TargetCostKind CostKind, Type *AccessType) const override
This pass provides access to the codegen interfaces that are needed for IR-level transformations.
static LLVM_ABI OperandValueInfo getOperandInfo(const Value *V)
Collect properties of V used in cost analysis, e.g. OP_PowerOf2.
TargetCostKind
The kind of cost model.
@ TCK_RecipThroughput
Reciprocal throughput.
@ TCK_CodeSize
Instruction code size.
@ TCK_Latency
The latency of instruction.
static bool requiresOrderedReduction(std::optional< FastMathFlags > FMF)
A helper function to determine the type of reduction algorithm used for a given Opcode and set of Fas...
llvm::VectorInstrContext VectorInstrContext
@ TCC_Expensive
The cost of a 'div' instruction on x86.
@ TCC_Basic
The cost of a typical 'add' instruction.
static LLVM_ABI Instruction::CastOps getOpcodeForPartialReductionExtendKind(PartialReductionExtendKind Kind)
Get the cast opcode for an extension kind.
MemIndexedMode
The type of load/store indexing.
static LLVM_ABI VectorInstrContext getVectorInstrContextHint(const Instruction *I)
Calculates a VectorInstrContext from I.
ShuffleKind
The various kinds of shuffle patterns for vector queries.
@ SK_InsertSubvector
InsertSubvector. Index indicates start offset.
@ SK_Select
Selects elements from the corresponding lane of either source operand.
@ SK_PermuteSingleSrc
Shuffle elements of single source vector with any shuffle mask.
@ SK_Transpose
Transpose two vectors.
@ SK_Splice
Concatenates elements from the first input vector with elements of the second input vector.
@ SK_Broadcast
Broadcast element 0 to all other elements.
@ SK_PermuteTwoSrc
Merge elements from two source vectors into one with any shuffle mask.
@ SK_Reverse
Reverse the order of the vector.
@ SK_ExtractSubvector
ExtractSubvector Index indicates start offset.
CastContextHint
Represents a hint about the context in which a cast is used.
@ None
The cast is not used with a load/store of any kind.
@ Normal
The cast is used with a normal load/store.
CacheLevel
The possible cache levels.
Triple - Helper class for working with autoconf configuration names.
Definition Triple.h:48
ArchType getArch() const
Get the parsed architecture type of this triple.
Definition Triple.h:514
LLVM_ABI bool isArch64Bit() const
Test whether the architecture is 64-bit.
Definition Triple.cpp:1827
bool isOSDarwin() const
Is this a "Darwin" OS (macOS, iOS, tvOS, watchOS, DriverKit, XROS, or bridgeOS).
Definition Triple.h:723
static constexpr TypeSize getFixed(ScalarTy ExactSize)
Definition TypeSize.h:339
The instances of the Type class are immutable: once they are created, they are never changed.
Definition Type.h:46
bool isVectorTy() const
True if this is an instance of VectorType.
Definition Type.h:283
bool isPointerTy() const
True if this is an instance of PointerType.
Definition Type.h:277
LLVM_ABI unsigned getPointerAddressSpace() const
Get the address space of this pointer or pointer vector type.
static LLVM_ABI IntegerType * getInt8Ty(LLVMContext &C)
Definition Type.cpp:297
Type * getScalarType() const
If this is a vector type, return the element type, otherwise return 'this'.
Definition Type.h:363
LLVM_ABI Type * getWithNewBitWidth(unsigned NewBitWidth) const
Given an integer or vector type, change the lane bitwidth to NewBitwidth, whilst keeping the old numb...
LLVM_ABI Type * getWithNewType(Type *EltTy) const
Given vector type, change the element type, whilst keeping the old number of elements.
LLVMContext & getContext() const
Return the LLVMContext in which this type was uniqued.
Definition Type.h:130
LLVM_ABI unsigned getScalarSizeInBits() const LLVM_READONLY
If this is a vector type, return the getPrimitiveSizeInBits value for the element type.
Definition Type.cpp:222
static LLVM_ABI IntegerType * getInt1Ty(LLVMContext &C)
Definition Type.cpp:296
static LLVM_ABI IntegerType * getIntNTy(LLVMContext &C, unsigned N)
Definition Type.cpp:303
bool isFPOrFPVectorTy() const
Return true if this is a FP type or a vector of FP.
Definition Type.h:222
Type * getContainedType(unsigned i) const
This method is used to implement the type iterator (defined at the end of the file).
Definition Type.h:392
bool isVoidTy() const
Return true if this is 'void'.
Definition Type.h:141
Value * getOperand(unsigned i) const
Definition User.h:207
static LLVM_ABI std::optional< unsigned > getFunctionalOpcodeForVP(Intrinsic::ID ID)
static LLVM_ABI std::optional< Intrinsic::ID > getFunctionalIntrinsicIDForVP(Intrinsic::ID ID)
static LLVM_ABI bool isVPIntrinsic(Intrinsic::ID)
static LLVM_ABI bool isVPReduction(Intrinsic::ID ID)
LLVM Value Representation.
Definition Value.h:75
Type * getType() const
All values are typed, get the type of this value.
Definition Value.h:257
Base class of all SIMD vector types.
static VectorType * getHalfElementsVectorType(VectorType *VTy)
This static method returns a VectorType with half as many elements as the input type and the same ele...
static LLVM_ABI VectorType * get(Type *ElementType, ElementCount EC)
This static method is the primary way to construct an VectorType.
Type * getElementType() const
constexpr ScalarTy getFixedValue() const
Definition TypeSize.h:200
static constexpr bool isKnownLT(const FixedOrScalableQuantity &LHS, const FixedOrScalableQuantity &RHS)
Definition TypeSize.h:216
constexpr bool isScalable() const
Returns whether the quantity is scaled by a runtime quantity (vscale).
Definition TypeSize.h:168
constexpr ScalarTy getKnownMinValue() const
Returns the minimum value this quantity can represent.
Definition TypeSize.h:165
constexpr LeafTy divideCoefficientBy(ScalarTy RHS) const
We do not provide the '/' operator here because division for polynomial types does not work in the sa...
Definition TypeSize.h:252
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
constexpr char Args[]
Key for Kernel::Metadata::mArgs.
LLVM_ABI APInt ScaleBitMask(const APInt &A, unsigned NewBitWidth, bool MatchAllBits=false)
Splat/Merge neighboring bits to widen/narrow the bitmask represented by.
Definition APInt.cpp:3043
ISD namespace - This namespace contains an enum which represents all of the SelectionDAG node types a...
Definition ISDOpcodes.h:24
@ BSWAP
Byte Swap and Counting operators.
Definition ISDOpcodes.h:795
@ SMULFIX
RESULT = [US]MULFIX(LHS, RHS, SCALE) - Perform fixed point multiplication on 2 integers with the same...
Definition ISDOpcodes.h:395
@ FMA
FMA - Perform a * b + c with no intermediate rounding step.
Definition ISDOpcodes.h:521
@ FMODF
FMODF - Decomposes the operand into integral and fractional parts, each having the same type and sign...
@ FATAN2
FATAN2 - atan2, inspired by libm.
@ FSINCOSPI
FSINCOSPI - Compute both the sine and cosine times pi more accurately than FSINCOS(pi*x),...
@ FADD
Simple binary floating point operators.
Definition ISDOpcodes.h:418
@ ABS
ABS - Determine the unsigned absolute value of a signed integer value of the same bitwidth.
Definition ISDOpcodes.h:755
@ SDIVREM
SDIVREM/UDIVREM - Divide two integers and produce both a quotient and remainder result.
Definition ISDOpcodes.h:280
@ CLMUL
Carry-less multiplication operations.
Definition ISDOpcodes.h:786
@ FLDEXP
FLDEXP - ldexp, inspired by libm (op0 * 2**op1).
@ FSINCOS
FSINCOS - Compute both fsin and fcos as a single operation.
@ SSUBO
Same for subtraction.
Definition ISDOpcodes.h:353
@ BRIND
BRIND - Indirect branch.
@ BR_JT
BR_JT - Jumptable branch.
@ FCANONICALIZE
Returns platform specific canonical encoding of a floating point number.
Definition ISDOpcodes.h:544
@ SSUBSAT
RESULT = [US]SUBSAT(LHS, RHS) - Perform saturation subtraction on 2 integers with the same bit width ...
Definition ISDOpcodes.h:375
@ SELECT
Select(COND, TRUEVAL, FALSEVAL).
Definition ISDOpcodes.h:812
@ SADDO
RESULT, BOOL = [SU]ADDO(LHS, RHS) - Overflow-aware nodes for addition.
Definition ISDOpcodes.h:349
@ MULHU
MULHU/MULHS - Multiply high - Multiply two integers of type iN, producing an unsigned/signed value of...
Definition ISDOpcodes.h:712
@ FMINNUM_IEEE
FMINNUM_IEEE/FMAXNUM_IEEE - Perform floating-point minimumNumber or maximumNumber on two values,...
@ FMINNUM
FMINNUM/FMAXNUM - Perform floating-point minimum maximum on two values, following IEEE-754 definition...
@ SMULO
Same for multiplication.
Definition ISDOpcodes.h:357
@ SMIN
[US]{MIN/MAX} - Binary minimum or maximum of signed or unsigned integers.
Definition ISDOpcodes.h:735
@ MASKED_UDIV
Masked vector arithmetic that returns poison on disabled lanes.
@ VSELECT
Select with a vector condition (op #0) and two vector operands (ops #1 and #2), returning a vector re...
Definition ISDOpcodes.h:821
@ FMINIMUM
FMINIMUM/FMAXIMUM - NaN-propagating minimum/maximum that also treat -0.0 as less than 0....
@ SCMP
[US]CMP - 3-way comparison of signed or unsigned integers.
Definition ISDOpcodes.h:743
@ FP_TO_SINT_SAT
FP_TO_[US]INT_SAT - Convert floating point value in operand 0 to a signed or unsigned scalar integer ...
Definition ISDOpcodes.h:961
@ FCOPYSIGN
FCOPYSIGN(X, Y) - Return the value of X with the sign of Y.
Definition ISDOpcodes.h:537
@ SADDSAT
RESULT = [US]ADDSAT(LHS, RHS) - Perform saturation addition on 2 integers with the same bit width (W)...
Definition ISDOpcodes.h:366
@ FMINIMUMNUM
FMINIMUMNUM/FMAXIMUMNUM - minimumnum/maximumnum that is same with FMINNUM_IEEE and FMAXNUM_IEEE besid...
MemIndexedMode
MemIndexedMode enum - This enum defines the load / store indexed addressing modes.
LLVM_ABI bool isTargetIntrinsic(ID IID)
isTargetIntrinsic - Returns true if IID is an intrinsic specific to a certain target.
DiagnosticInfoOptimizationBase::Argument NV
friend class Instruction
Iterator for Instructions in a `BasicBlock.
Definition BasicBlock.h:73
This is an optimization pass for GlobalISel generic memory operations.
bool all_of(R &&range, UnaryPredicate P)
Provide wrappers to std::all_of which take ranges instead of having to pass begin/end explicitly.
Definition STLExtras.h:1755
LLVM_ABI Intrinsic::ID getMinMaxReductionIntrinsicOp(Intrinsic::ID RdxID)
Returns the min/max intrinsic used when expanding a min/max reduction.
detail::zippy< detail::zip_first, T, U, Args... > zip_equal(T &&t, U &&u, Args &&...args)
zip iterator that assumes that all iteratees have the same length.
Definition STLExtras.h:856
InstructionCost Cost
@ Known
Known to have no common set bits.
auto enumerate(FirstRange &&First, RestRanges &&...Rest)
Given two or more input ranges, returns a new range whose values are tuples (A, B,...
Definition STLExtras.h:2570
Type * toScalarizedTy(Type *Ty)
A helper for converting vectorized types to scalarized (non-vector) types.
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:643
auto dyn_cast_if_present(const Y &Val)
dyn_cast_if_present<X> - Functionally identical to dyn_cast, except that a null (or none in the case ...
Definition Casting.h:732
LLVM_ABI unsigned getArithmeticReductionInstruction(Intrinsic::ID RdxID)
Returns the arithmetic instruction opcode used when expanding a reduction.
bool isVectorizedTy(Type *Ty)
Returns true if Ty is a vector type or a struct of vector types where all vector types share the same...
detail::concat_range< ValueT, RangeTs... > concat(RangeTs &&...Ranges)
Returns a concatenated range across two or more ranges.
Definition STLExtras.h:1167
auto dyn_cast_or_null(const Y &Val)
Definition Casting.h:753
constexpr bool has_single_bit(T Value) noexcept
Definition bit.h:149
bool any_of(R &&range, UnaryPredicate P)
Provide wrappers to std::any_of which take ranges instead of having to pass begin/end explicitly.
Definition STLExtras.h:1762
unsigned Log2_32(uint32_t Value)
Return the floor log base 2 of the specified value, -1 if the value is zero.
Definition MathExtras.h:326
constexpr bool isPowerOf2_32(uint32_t Value)
Return true if the argument is a power of two > 0.
Definition MathExtras.h:280
ElementCount getVectorizedTypeVF(Type *Ty)
Returns the number of vector elements for a vectorized type.
LLVM_ABI ConstantRange getVScaleRange(const Function *F, unsigned BitWidth)
Determine the possible constant range of vscale with the given bit width, based on the vscale_range f...
class LLVM_GSL_OWNER SmallVector
Forward declaration of SmallVector so that calculateSmallVectorDefaultInlinedElements can reference s...
bool isa(const From &Val)
isa<X> - Return true if the parameter to the template is an instance of one of the template type argu...
Definition Casting.h:547
constexpr int PoisonMaskElem
constexpr T divideCeil(U Numerator, V Denominator)
Returns the integer ceil(Numerator / Denominator).
Definition MathExtras.h:389
@ UMin
Unsigned integer min implemented in terms of select(cmp()).
@ UMax
Unsigned integer max implemented in terms of select(cmp()).
@ Fast
Assign the register banks as fast as possible (default).
DWARFExpression::Operation Op
ArrayRef(const T &OneElt) -> ArrayRef< T >
constexpr unsigned BitWidth
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:559
ArrayRef< Type * > getContainedTypes(Type *const &Ty)
Returns the types contained in Ty.
LLVM_ABI cl::opt< unsigned > PartialUnrollingThreshold
LLVM_ABI bool isVectorizedStructTy(StructType *StructTy)
Returns true if StructTy is an unpacked literal struct where all elements are vectors of matching ele...
#define N
This struct is a compact representation of a valid (non-zero power of two) alignment.
Definition Alignment.h:39
Extended Value Type.
Definition ValueTypes.h:35
bool isSimple() const
Test if the given EVT is simple (as opposed to being extended).
Definition ValueTypes.h:145
ElementCount getVectorElementCount() const
Definition ValueTypes.h:373
static LLVM_ABI EVT getEVT(Type *Ty, bool HandleUnknown=false)
Return the value type corresponding to the specified type.
MVT getSimpleVT() const
Return the SimpleValueType held in the specified simple EVT.
Definition ValueTypes.h:339
static EVT getIntegerVT(LLVMContext &Context, unsigned BitWidth)
Returns the EVT that represents an integer with the given number of bits.
Definition ValueTypes.h:61
LLVM_ABI Type * getTypeForEVT(LLVMContext &Context) const
This method returns an LLVM type corresponding to the specified EVT.
Attributes of a target dependent hardware loop.
static LLVM_ABI bool hasVectorMaskArgument(RTLIB::LibcallImpl Impl)
Returns true if the function has a vector mask argument, which is assumed to be the last argument.
This represents an addressing mode of: BaseGV + BaseOffs + BaseReg + Scale*ScaleReg + ScalableOffset*...
bool AllowPeeling
Allow peeling off loop iterations.
bool AllowLoopNestsPeeling
Allow peeling off loop iterations for loop nests.
bool PeelProfiledIterations
Allow peeling basing on profile.
unsigned PeelCount
A forced peeling factor (the number of bodied of the original loop that should be peeled off before t...
Parameters that control the generic loop unrolling transformation.
bool UpperBound
Allow using trip count upper bound to unroll loops.
unsigned PartialOptSizeThreshold
The cost threshold for the unrolled loop when optimizing for size, like OptSizeThreshold,...
unsigned PartialThreshold
The cost threshold for the unrolled loop, like Threshold, but used for partial/runtime unrolling (set...
bool Runtime
Allow runtime unrolling (unrolling of loops to expand the size of the loop body even when the number ...
bool Partial
Allow partial unrolling (unrolling of loops to expand the size of the loop body, not only to eliminat...
unsigned OptSizeThreshold
The cost threshold for the unrolled loop when optimizing for size (set to UINT_MAX to disable).