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(FromAS, ToAS);
447 }
448
449 unsigned getAssumedAddrSpace(const Value *V) const override {
450 return getTLI()->getTargetMachine().getAssumedAddrSpace(V);
451 }
452
453 bool isSingleThreaded() const override {
454 return getTLI()->getTargetMachine().Options.ThreadModel ==
456 }
457
458 std::pair<const Value *, unsigned>
459 getPredicatedAddrSpace(const Value *V) const override {
460 return getTLI()->getTargetMachine().getPredicatedAddrSpace(V);
461 }
462
464 Value *NewV) const override {
465 return nullptr;
466 }
467
468 bool isLegalAddImmediate(int64_t imm) const override {
469 return getTLI()->isLegalAddImmediate(imm);
470 }
471
472 bool isLegalAddScalableImmediate(int64_t Imm) const override {
473 return getTLI()->isLegalAddScalableImmediate(Imm);
474 }
475
476 bool isLegalICmpImmediate(int64_t imm) const override {
477 return getTLI()->isLegalICmpImmediate(imm);
478 }
479
480 bool isLegalAddressingMode(Type *Ty, GlobalValue *BaseGV, int64_t BaseOffset,
481 bool HasBaseReg, int64_t Scale, unsigned AddrSpace,
482 Instruction *I = nullptr,
483 int64_t ScalableOffset = 0) const override {
485 AM.BaseGV = BaseGV;
486 AM.BaseOffs = BaseOffset;
487 AM.HasBaseReg = HasBaseReg;
488 AM.Scale = Scale;
489 AM.ScalableOffset = ScalableOffset;
490 return getTLI()->isLegalAddressingMode(DL, AM, Ty, AddrSpace, I);
491 }
492
493 int64_t getPreferredLargeGEPBaseOffset(int64_t MinOffset, int64_t MaxOffset) {
494 return getTLI()->getPreferredLargeGEPBaseOffset(MinOffset, MaxOffset);
495 }
496
497 unsigned getStoreMinimumVF(unsigned VF, Type *ScalarMemTy, Type *ScalarValTy,
498 Align Alignment,
499 unsigned AddrSpace) const override {
500 auto &&IsSupportedByTarget = [this, ScalarMemTy, ScalarValTy, Alignment,
501 AddrSpace](unsigned VF) {
502 auto *SrcTy = FixedVectorType::get(ScalarMemTy, VF / 2);
503 EVT VT = getTLI()->getValueType(DL, SrcTy);
504 if (getTLI()->isOperationLegal(ISD::STORE, VT) ||
505 getTLI()->isOperationCustom(ISD::STORE, VT))
506 return true;
507
508 EVT ValVT =
509 getTLI()->getValueType(DL, FixedVectorType::get(ScalarValTy, VF / 2));
510 EVT LegalizedVT =
511 getTLI()->getTypeToTransformTo(ScalarMemTy->getContext(), VT);
512 return getTLI()->isTruncStoreLegal(LegalizedVT, ValVT, Alignment,
513 AddrSpace);
514 };
515 while (VF > 2 && IsSupportedByTarget(VF))
516 VF /= 2;
517 return VF;
518 }
519
520 bool isIndexedLoadLegal(TTI::MemIndexedMode M, Type *Ty) const override {
521 EVT VT = getTLI()->getValueType(DL, Ty, /*AllowUnknown=*/true);
522 return getTLI()->isIndexedLoadLegal(getISDIndexedMode(M), VT);
523 }
524
525 bool isIndexedStoreLegal(TTI::MemIndexedMode M, Type *Ty) const override {
526 EVT VT = getTLI()->getValueType(DL, Ty, /*AllowUnknown=*/true);
527 return getTLI()->isIndexedStoreLegal(getISDIndexedMode(M), VT);
528 }
529
531 const TTI::LSRCost &C2) const override {
533 }
534
538
542
546
548 StackOffset BaseOffset, bool HasBaseReg,
549 int64_t Scale,
550 unsigned AddrSpace) const override {
552 AM.BaseGV = BaseGV;
553 AM.BaseOffs = BaseOffset.getFixed();
554 AM.HasBaseReg = HasBaseReg;
555 AM.Scale = Scale;
556 AM.ScalableOffset = BaseOffset.getScalable();
557 if (getTLI()->isLegalAddressingMode(DL, AM, Ty, AddrSpace))
558 return 0;
560 }
561
562 bool isTruncateFree(Type *Ty1, Type *Ty2) const override {
563 return getTLI()->isTruncateFree(Ty1, Ty2);
564 }
565
566 bool isProfitableToHoist(Instruction *I) const override {
567 return getTLI()->isProfitableToHoist(I);
568 }
569
570 bool useAA() const override { return getST()->useAA(); }
571
572 bool isTypeLegal(Type *Ty) const override {
573 EVT VT = getTLI()->getValueType(DL, Ty, /*AllowUnknown=*/true);
574 return getTLI()->isTypeLegal(VT);
575 }
576
577 unsigned getRegUsageForType(Type *Ty) const override {
578 EVT ETy = getTLI()->getValueType(DL, Ty);
579 return getTLI()->getNumRegisters(Ty->getContext(), ETy);
580 }
581
582 InstructionCost getGEPCost(Type *PointeeType, const Value *Ptr,
585 Type *AccessType) const override {
586 return BaseT::getGEPCost(PointeeType, Ptr, Operands, CostKind, AccessType);
587 }
588
590 const SwitchInst &SI, unsigned &JumpTableSize, ProfileSummaryInfo *PSI,
591 BlockFrequencyInfo *BFI) const override {
592 /// Try to find the estimated number of clusters. Note that the number of
593 /// clusters identified in this function could be different from the actual
594 /// numbers found in lowering. This function ignore switches that are
595 /// lowered with a mix of jump table / bit test / BTree. This function was
596 /// initially intended to be used when estimating the cost of switch in
597 /// inline cost heuristic, but it's a generic cost model to be used in other
598 /// places (e.g., in loop unrolling).
599 unsigned N = SI.getNumCases();
600 const TargetLoweringBase *TLI = getTLI();
601 const DataLayout &DL = this->getDataLayout();
602
603 JumpTableSize = 0;
604 bool IsJTAllowed = TLI->areJTsAllowed(SI.getParent()->getParent());
605
606 // Early exit if both a jump table and bit test are not allowed.
607 if (N < 1 || (!IsJTAllowed && DL.getIndexSizeInBits(0u) < N))
608 return N;
609
610 APInt MaxCaseVal = SI.case_begin()->getCaseValue()->getValue();
611 APInt MinCaseVal = MaxCaseVal;
612 for (auto CI : SI.cases()) {
613 const APInt &CaseVal = CI.getCaseValue()->getValue();
614 if (CaseVal.sgt(MaxCaseVal))
615 MaxCaseVal = CaseVal;
616 if (CaseVal.slt(MinCaseVal))
617 MinCaseVal = CaseVal;
618 }
619
620 // Check if suitable for a bit test
621 if (N <= DL.getIndexSizeInBits(0u)) {
623 for (auto I : SI.cases()) {
624 const BasicBlock *BB = I.getCaseSuccessor();
625 ++DestMap[BB];
626 }
627
628 if (TLI->isSuitableForBitTests(DestMap, MinCaseVal, MaxCaseVal, DL))
629 return 1;
630 }
631
632 // Check if suitable for a jump table.
633 if (IsJTAllowed) {
634 if (N < 2 || N < TLI->getMinimumJumpTableEntries())
635 return N;
637 (MaxCaseVal - MinCaseVal)
638 .getLimitedValue(std::numeric_limits<uint64_t>::max() - 1) + 1;
639 // Check whether a range of clusters is dense enough for a jump table
640 if (TLI->isSuitableForJumpTable(&SI, N, Range, PSI, BFI)) {
641 JumpTableSize = Range;
642 return 1;
643 }
644 }
645 return N;
646 }
647
648 bool shouldBuildLookupTables() const override {
649 const TargetLoweringBase *TLI = getTLI();
650 return TLI->isOperationLegalOrCustom(ISD::BR_JT, MVT::Other) ||
651 TLI->isOperationLegalOrCustom(ISD::BRIND, MVT::Other);
652 }
653
654 bool shouldBuildRelLookupTables() const override {
655 const TargetMachine &TM = getTLI()->getTargetMachine();
656 // If non-PIC mode, do not generate a relative lookup table.
657 if (!TM.isPositionIndependent())
658 return false;
659
660 /// Relative lookup table entries consist of 32-bit offsets.
661 /// Do not generate relative lookup tables for large code models
662 /// in 64-bit achitectures where 32-bit offsets might not be enough.
663 if (TM.getCodeModel() == CodeModel::Medium ||
665 return false;
666
667 const Triple &TargetTriple = TM.getTargetTriple();
668 if (!TargetTriple.isArch64Bit())
669 return false;
670
671 // Disable relative lookup tables for all AArch64 targets. Even AArch64's
672 // small code model allows a 4GB span of text + data, which might not fit
673 // in the 32-bit offsets relative lookup tables generate.
674 if (TargetTriple.isAArch64())
675 return false;
676
677 return true;
678 }
679
680 bool haveFastSqrt(Type *Ty) const override {
681 const TargetLoweringBase *TLI = getTLI();
682 EVT VT = TLI->getValueType(DL, Ty);
683 return TLI->isTypeLegal(VT) &&
685 }
686
687 bool haveFastClmul(IntegerType *Ty) const override {
688 // FIXME: clmul should really be Promote for any bitwidth under the largest
689 // legal bitwidth for clmul. Using IndexTy instead of Ty is a hack to get
690 // around that shortcoming.
691 const DataLayout &DL = thisT()->DL;
692 IntegerType *IndexTy =
693 DL.getIndexType(Ty->getContext(), DL.getAllocaAddrSpace());
694 if (Ty->getBitWidth() > IndexTy->getBitWidth())
695 return false;
696
697 const TargetLoweringBase *TLI = getTLI();
698 EVT VT = TLI->getValueType(DL, IndexTy);
699 return TLI->isOperationLegalOrCustom(ISD::CLMUL, VT);
700 }
701
702 bool isFCmpOrdCheaperThanFCmpZero(Type *Ty) const override { return true; }
703
704 InstructionCost getFPOpCost(Type *Ty) const override {
705 // Check whether FADD is available, as a proxy for floating-point in
706 // general.
707 const TargetLoweringBase *TLI = getTLI();
708 EVT VT = TLI->getValueType(DL, Ty);
712 }
713
715 const Function &Fn) const override {
716 switch (Inst.getOpcode()) {
717 default:
718 break;
719 case Instruction::SDiv:
720 case Instruction::SRem:
721 case Instruction::UDiv:
722 case Instruction::URem: {
723 if (!isa<ConstantInt>(Inst.getOperand(1)))
724 return false;
725 EVT VT = getTLI()->getValueType(DL, Inst.getType());
726 return !getTLI()->isIntDivCheap(VT, Fn.getAttributes());
727 }
728 };
729
730 return false;
731 }
732
733 unsigned getInliningThresholdMultiplier() const override { return 1; }
734 unsigned adjustInliningThreshold(const CallBase *CB) const override {
735 return 0;
736 }
737 unsigned getCallerAllocaCost(const CallBase *CB,
738 const AllocaInst *AI) const override {
739 return 0;
740 }
741
742 int getInlinerVectorBonusPercent() const override { return 150; }
743
746 OptimizationRemarkEmitter *ORE) const override {
747 // This unrolling functionality is target independent, but to provide some
748 // motivation for its intended use, for x86:
749
750 // According to the Intel 64 and IA-32 Architectures Optimization Reference
751 // Manual, Intel Core models and later have a loop stream detector (and
752 // associated uop queue) that can benefit from partial unrolling.
753 // The relevant requirements are:
754 // - The loop must have no more than 4 (8 for Nehalem and later) branches
755 // taken, and none of them may be calls.
756 // - The loop can have no more than 18 (28 for Nehalem and later) uops.
757
758 // According to the Software Optimization Guide for AMD Family 15h
759 // Processors, models 30h-4fh (Steamroller and later) have a loop predictor
760 // and loop buffer which can benefit from partial unrolling.
761 // The relevant requirements are:
762 // - The loop must have fewer than 16 branches
763 // - The loop must have less than 40 uops in all executed loop branches
764
765 // The number of taken branches in a loop is hard to estimate here, and
766 // benchmarking has revealed that it is better not to be conservative when
767 // estimating the branch count. As a result, we'll ignore the branch limits
768 // until someone finds a case where it matters in practice.
769
770 unsigned MaxOps;
771 const TargetSubtargetInfo *ST = getST();
772 if (PartialUnrollingThreshold.getNumOccurrences() > 0)
774 else if (ST->getSchedModel().LoopMicroOpBufferSize > 0)
775 MaxOps = ST->getSchedModel().LoopMicroOpBufferSize;
776 else
777 return;
778
779 // Scan the loop: don't unroll loops with calls.
780 for (BasicBlock *BB : L->blocks()) {
781 for (Instruction &I : *BB) {
782 if (isa<CallInst>(I) || isa<InvokeInst>(I)) {
783 if (const Function *F = cast<CallBase>(I).getCalledFunction()) {
784 if (!thisT()->isLoweredToCall(F))
785 continue;
786 }
787
788 if (ORE) {
789 ORE->emit([&]() {
790 return OptimizationRemark("TTI", "DontUnroll", L->getStartLoc(),
791 L->getHeader())
792 << "advising against unrolling the loop because it "
793 "contains a "
794 << ore::NV("Call", &I);
795 });
796 }
797 return;
798 }
799 }
800 }
801
802 // Enable runtime and partial unrolling up to the specified size.
803 // Enable using trip count upper bound to unroll loops.
804 UP.Partial = UP.Runtime = UP.UpperBound = true;
805 UP.PartialThreshold = MaxOps;
806
807 // Avoid unrolling when optimizing for size.
808 UP.OptSizeThreshold = 0;
810
811 // Set number of instructions optimized when "back edge"
812 // becomes "fall through" to default value of 2.
813 UP.BEInsns = 2;
814 }
815
817 TTI::PeelingPreferences &PP) const override {
818 PP.PeelCount = 0;
819 PP.AllowPeeling = true;
820 PP.AllowLoopNestsPeeling = false;
821 PP.PeelProfiledIterations = true;
822 }
823
826 HardwareLoopInfo &HWLoopInfo) const override {
827 return BaseT::isHardwareLoopProfitable(L, SE, AC, LibInfo, HWLoopInfo);
828 }
829
830 unsigned getEpilogueVectorizationMinVF() const override {
832 }
833
837
841
842 std::optional<Instruction *>
845 }
846
847 std::optional<Value *>
849 APInt DemandedMask, KnownBits &Known,
850 bool &KnownBitsComputed) const override {
851 return BaseT::simplifyDemandedUseBitsIntrinsic(IC, II, DemandedMask, Known,
852 KnownBitsComputed);
853 }
854
856 InstCombiner &IC, IntrinsicInst &II, APInt DemandedElts, APInt &UndefElts,
857 APInt &UndefElts2, APInt &UndefElts3,
858 std::function<void(Instruction *, unsigned, APInt, APInt &)>
859 SimplifyAndSetOp) const override {
861 IC, II, DemandedElts, UndefElts, UndefElts2, UndefElts3,
862 SimplifyAndSetOp);
863 }
864
866 return getST()->getMispredictionPenalty();
867 }
868
869 std::optional<unsigned>
871 return std::optional<unsigned>(
872 getST()->getCacheSize(static_cast<unsigned>(Level)));
873 }
874
875 std::optional<unsigned>
877 std::optional<unsigned> TargetResult =
878 getST()->getCacheAssociativity(static_cast<unsigned>(Level));
879
880 if (TargetResult)
881 return TargetResult;
882
883 return BaseT::getCacheAssociativity(Level);
884 }
885
886 unsigned getCacheLineSize() const override {
887 return getST()->getCacheLineSize();
888 }
889
890 unsigned getPrefetchDistance() const override {
891 return getST()->getPrefetchDistance();
892 }
893
894 unsigned getMinPrefetchStride(unsigned NumMemAccesses,
895 unsigned NumStridedMemAccesses,
896 unsigned NumPrefetches,
897 bool HasCall) const override {
898 return getST()->getMinPrefetchStride(NumMemAccesses, NumStridedMemAccesses,
899 NumPrefetches, HasCall);
900 }
901
902 unsigned getMaxPrefetchIterationsAhead() const override {
903 return getST()->getMaxPrefetchIterationsAhead();
904 }
905
906 bool enableWritePrefetching() const override {
907 return getST()->enableWritePrefetching();
908 }
909
910 bool shouldPrefetchAddressSpace(unsigned AS) const override {
911 return getST()->shouldPrefetchAddressSpace(AS);
912 }
913
914 /// @}
915
916 /// \name Vector TTI Implementations
917 /// @{
918
923
924 std::optional<unsigned> getMaxVScale() const override { return std::nullopt; }
925 std::optional<unsigned> getVScaleForTuning() const override {
926 return std::nullopt;
927 }
928
929 /// Estimate the overhead of scalarizing an instruction. Insert and Extract
930 /// are set if the demanded result elements need to be inserted and/or
931 /// extracted from vectors.
933 getScalarizationOverhead(VectorType *InTy, const APInt &DemandedElts,
934 bool Insert, bool Extract,
936 bool ForPoisonSrc = true, ArrayRef<Value *> VL = {},
938 TTI::VectorInstrContext::None) const override {
939 /// FIXME: a bitfield is not a reasonable abstraction for talking about
940 /// which elements are needed from a scalable vector
941 if (isa<ScalableVectorType>(InTy))
943 auto *Ty = cast<FixedVectorType>(InTy);
944
945 assert(DemandedElts.getBitWidth() == Ty->getNumElements() &&
946 (VL.empty() || VL.size() == Ty->getNumElements()) &&
947 "Vector size mismatch");
948
950
951 for (int i = 0, e = Ty->getNumElements(); i < e; ++i) {
952 if (!DemandedElts[i])
953 continue;
954 if (Insert) {
955 Value *InsertedVal = VL.empty() ? nullptr : VL[i];
956 Cost +=
957 thisT()->getVectorInstrCost(Instruction::InsertElement, Ty,
958 CostKind, i, nullptr, InsertedVal, VIC);
959 }
960 if (Extract)
961 Cost += thisT()->getVectorInstrCost(Instruction::ExtractElement, Ty,
962 CostKind, i, nullptr, nullptr, VIC);
963 }
964
965 return Cost;
966 }
967
968 bool
970 unsigned ScalarOpdIdx) const override {
971 return false;
972 }
973
975 int OpdIdx) const override {
976 return OpdIdx == -1;
977 }
978
979 bool
981 int RetIdx) const override {
982 return RetIdx == 0;
983 }
984
985 /// Helper wrapper for the DemandedElts variant of getScalarizationOverhead.
987 VectorType *InTy, bool Insert, bool Extract, TTI::TargetCostKind CostKind,
988 bool ForPoisonSrc = true, ArrayRef<Value *> VL = {},
990 if (isa<ScalableVectorType>(InTy))
992 auto *Ty = cast<FixedVectorType>(InTy);
993
994 APInt DemandedElts = APInt::getAllOnes(Ty->getNumElements());
995 // Use CRTP to allow target overrides
996 return thisT()->getScalarizationOverhead(Ty, DemandedElts, Insert, Extract,
997 CostKind, ForPoisonSrc, VL, VIC);
998 }
999
1000 /// Estimate the overhead of scalarizing an instruction's
1001 /// operands. The (potentially vector) types to use for each of
1002 /// argument are passes via Tys.
1006 TTI::VectorInstrContext::None) const override {
1008 for (Type *Ty : Tys) {
1009 // Disregard things like metadata arguments.
1010 if (!Ty->isIntOrIntVectorTy() && !Ty->isFPOrFPVectorTy() &&
1011 !Ty->isPtrOrPtrVectorTy())
1012 continue;
1013
1014 if (auto *VecTy = dyn_cast<VectorType>(Ty))
1015 Cost += getScalarizationOverhead(VecTy, /*Insert*/ false,
1016 /*Extract*/ true, CostKind,
1017 /*ForPoisonSrc=*/true, {}, VIC);
1018 }
1019
1020 return Cost;
1021 }
1022
1023 /// Estimate the overhead of scalarizing the inputs and outputs of an
1024 /// instruction, with return type RetTy and arguments Args of type Tys. If
1025 /// Args are unknown (empty), then the cost associated with one argument is
1026 /// added as a heuristic.
1029 ArrayRef<Type *> Tys,
1032 RetTy, /*Insert*/ true, /*Extract*/ false, CostKind);
1033 if (!Args.empty())
1035 filterConstantAndDuplicatedOperands(Args, Tys), CostKind);
1036 else
1037 // When no information on arguments is provided, we add the cost
1038 // associated with one argument as a heuristic.
1039 Cost += getScalarizationOverhead(RetTy, /*Insert*/ false,
1040 /*Extract*/ true, CostKind);
1041
1042 return Cost;
1043 }
1044
1045 /// Estimate the cost of type-legalization and the legalized type.
1046 std::pair<InstructionCost, MVT> getTypeLegalizationCost(Type *Ty) const {
1047 auto [It, Inserted] = TypeLegalizationCostCache.try_emplace(Ty);
1048 if (Inserted)
1049 It->second = computeTypeLegalizationCost(Ty);
1050 return It->second;
1051 }
1052
1053private:
1054 std::pair<InstructionCost, MVT> computeTypeLegalizationCost(Type *Ty) const {
1055 LLVMContext &C = Ty->getContext();
1056 EVT MTy = getTLI()->getValueType(DL, Ty);
1057
1059 // We keep legalizing the type until we find a legal kind. We assume that
1060 // the only operation that costs anything is the split. After splitting
1061 // we need to handle two types.
1062 while (true) {
1064
1066 // Ensure we return a sensible simple VT here, since many callers of
1067 // this function require it.
1068 MVT VT = MTy.isSimple() ? MTy.getSimpleVT() : MVT::i64;
1069 return std::make_pair(InstructionCost::getInvalid(), VT);
1070 }
1071
1072 if (LK.first == TargetLoweringBase::TypeLegal)
1073 return std::make_pair(Cost, MTy.getSimpleVT());
1074
1075 if (LK.first == TargetLoweringBase::TypeSplitVector ||
1077 Cost *= 2;
1078
1079 // Do not loop with f128 type.
1080 if (MTy == LK.second)
1081 return std::make_pair(Cost, MTy.getSimpleVT());
1082
1083 // Keep legalizing the type.
1084 MTy = LK.second;
1085 }
1086 }
1087
1088 /// Memoizes type legalization cost. The mapping does not depend on the IR, so
1089 /// entries stay valid for the lifetime of this object.
1090 mutable DenseMap<Type *, std::pair<InstructionCost, MVT>>
1091 TypeLegalizationCostCache;
1092
1093public:
1095 bool HasUnorderedReductions) const override {
1096 return 1;
1097 }
1098
1100 unsigned Opcode, Type *Ty, TTI::TargetCostKind CostKind,
1103 ArrayRef<const Value *> Args = {},
1104 const Instruction *CxtI = nullptr) const override {
1105 // Check if any of the operands are vector operands.
1106 const TargetLoweringBase *TLI = getTLI();
1107 int ISD = TLI->InstructionOpcodeToISD(Opcode);
1108 assert(ISD && "Invalid opcode");
1109
1110 // TODO: Handle more cost kinds.
1112 return BaseT::getArithmeticInstrCost(Opcode, Ty, CostKind,
1113 Opd1Info, Opd2Info,
1114 Args, CxtI);
1115
1116 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(Ty);
1117
1118 bool IsFloat = Ty->isFPOrFPVectorTy();
1119 // Assume that floating point arithmetic operations cost twice as much as
1120 // integer operations.
1121 InstructionCost OpCost = (IsFloat ? 2 : 1);
1122
1123 if (TLI->isOperationLegalOrPromote(ISD, LT.second)) {
1124 // The operation is legal. Assume it costs 1.
1125 // TODO: Once we have extract/insert subvector cost we need to use them.
1126 return LT.first * OpCost;
1127 }
1128
1129 if (!TLI->isOperationExpand(ISD, LT.second)) {
1130 // If the operation is custom lowered, then assume that the code is twice
1131 // as expensive.
1132 return LT.first * 2 * OpCost;
1133 }
1134
1135 // An 'Expand' of URem and SRem is special because it may default
1136 // to expanding the operation into a sequence of sub-operations
1137 // i.e. X % Y -> X-(X/Y)*Y.
1138 if (ISD == ISD::UREM || ISD == ISD::SREM) {
1139 bool IsSigned = ISD == ISD::SREM;
1140 if (TLI->isOperationLegalOrCustom(IsSigned ? ISD::SDIVREM : ISD::UDIVREM,
1141 LT.second) ||
1142 TLI->isOperationLegalOrCustom(IsSigned ? ISD::SDIV : ISD::UDIV,
1143 LT.second)) {
1144 unsigned DivOpc = IsSigned ? Instruction::SDiv : Instruction::UDiv;
1145 InstructionCost DivCost = thisT()->getArithmeticInstrCost(
1146 DivOpc, Ty, CostKind, Opd1Info, Opd2Info);
1147 InstructionCost MulCost =
1148 thisT()->getArithmeticInstrCost(Instruction::Mul, Ty, CostKind);
1149 InstructionCost SubCost =
1150 thisT()->getArithmeticInstrCost(Instruction::Sub, Ty, CostKind);
1151 return DivCost + MulCost + SubCost;
1152 }
1153 }
1154
1155 // We cannot scalarize scalable vectors, so return Invalid.
1158
1159 // Else, assume that we need to scalarize this op.
1160 // TODO: If one of the types get legalized by splitting, handle this
1161 // similarly to what getCastInstrCost() does.
1162 if (auto *VTy = dyn_cast<FixedVectorType>(Ty)) {
1163 InstructionCost Cost = thisT()->getArithmeticInstrCost(
1164 Opcode, VTy->getScalarType(), CostKind, Opd1Info, Opd2Info,
1165 Args, CxtI);
1166 // Return the cost of multiple scalar invocation plus the cost of
1167 // inserting and extracting the values.
1168 SmallVector<Type *> Tys(Args.size(), Ty);
1169 return getScalarizationOverhead(VTy, Args, Tys, CostKind) +
1170 VTy->getNumElements() * Cost;
1171 }
1172
1173 // We don't know anything about this scalar instruction.
1174 return OpCost;
1175 }
1176
1178 ArrayRef<int> Mask,
1179 VectorType *SrcTy, int &Index,
1180 VectorType *&SubTy) const {
1181 if (Mask.empty())
1182 return Kind;
1183 int NumDstElts = Mask.size();
1184 int NumSrcElts = SrcTy->getElementCount().getKnownMinValue();
1185 switch (Kind) {
1187 if (ShuffleVectorInst::isReverseMask(Mask, NumSrcElts))
1188 return TTI::SK_Reverse;
1189 if (ShuffleVectorInst::isZeroEltSplatMask(Mask, NumSrcElts))
1190 return TTI::SK_Broadcast;
1191 if (isSplatMask(Mask, NumSrcElts, Index))
1192 return TTI::SK_Broadcast;
1193 if (ShuffleVectorInst::isExtractSubvectorMask(Mask, NumSrcElts, Index) &&
1194 (Index + NumDstElts) <= NumSrcElts) {
1195 SubTy = FixedVectorType::get(SrcTy->getElementType(), NumDstElts);
1197 }
1198 break;
1199 }
1200 case TTI::SK_PermuteTwoSrc: {
1201 if (all_of(Mask, [NumSrcElts](int M) { return M < NumSrcElts; }))
1203 Index, SubTy);
1204 int NumSubElts;
1205 if (NumDstElts > 2 && ShuffleVectorInst::isInsertSubvectorMask(
1206 Mask, NumSrcElts, NumSubElts, Index)) {
1207 if (Index + NumSubElts > NumSrcElts)
1208 return Kind;
1209 SubTy = FixedVectorType::get(SrcTy->getElementType(), NumSubElts);
1211 }
1212 if (ShuffleVectorInst::isSelectMask(Mask, NumSrcElts))
1213 return TTI::SK_Select;
1214 if (ShuffleVectorInst::isTransposeMask(Mask, NumSrcElts))
1215 return TTI::SK_Transpose;
1216 if (ShuffleVectorInst::isSpliceMask(Mask, NumSrcElts, Index))
1217 return TTI::SK_Splice;
1218 break;
1219 }
1220 case TTI::SK_Select:
1221 case TTI::SK_Reverse:
1222 case TTI::SK_Broadcast:
1223 case TTI::SK_Transpose:
1226 case TTI::SK_Splice:
1227 break;
1228 }
1229 return Kind;
1230 }
1231
1235 VectorType *SubTp, ArrayRef<const Value *> Args = {},
1236 const Instruction *CxtI = nullptr) const override {
1237 switch (improveShuffleKindFromMask(Kind, Mask, SrcTy, Index, SubTp)) {
1238 case TTI::SK_Broadcast:
1239 if (auto *FVT = dyn_cast<FixedVectorType>(SrcTy))
1240 return getBroadcastShuffleOverhead(FVT, CostKind);
1242 case TTI::SK_Select:
1243 case TTI::SK_Splice:
1244 case TTI::SK_Reverse:
1245 case TTI::SK_Transpose:
1248 if (auto *FVT = dyn_cast<FixedVectorType>(SrcTy))
1249 return getPermuteShuffleOverhead(FVT, CostKind);
1252 return getExtractSubvectorOverhead(SrcTy, CostKind, Index,
1253 cast<FixedVectorType>(SubTp));
1255 return getInsertSubvectorOverhead(DstTy, CostKind, Index,
1256 cast<FixedVectorType>(SubTp));
1257 }
1258 llvm_unreachable("Unknown TTI::ShuffleKind");
1259 }
1260
1262 getCastInstrCost(unsigned Opcode, Type *Dst, Type *Src,
1264 const Instruction *I = nullptr) const override {
1265 if (BaseT::getCastInstrCost(Opcode, Dst, Src, CCH, CostKind, I) == 0)
1266 return 0;
1267
1268 const TargetLoweringBase *TLI = getTLI();
1269 int ISD = TLI->InstructionOpcodeToISD(Opcode);
1270 assert(ISD && "Invalid opcode");
1271 std::pair<InstructionCost, MVT> SrcLT = getTypeLegalizationCost(Src);
1272 std::pair<InstructionCost, MVT> DstLT = getTypeLegalizationCost(Dst);
1273
1274 TypeSize SrcSize = SrcLT.second.getSizeInBits();
1275 TypeSize DstSize = DstLT.second.getSizeInBits();
1276 bool IntOrPtrSrc = Src->isIntegerTy() || Src->isPointerTy();
1277 bool IntOrPtrDst = Dst->isIntegerTy() || Dst->isPointerTy();
1278
1279 switch (Opcode) {
1280 default:
1281 break;
1282 case Instruction::Trunc:
1283 // Check for NOOP conversions.
1284 if (TLI->isTruncateFree(SrcLT.second, DstLT.second))
1285 return 0;
1286 [[fallthrough]];
1287 case Instruction::BitCast:
1288 // Bitcast between types that are legalized to the same type are free and
1289 // assume int to/from ptr of the same size is also free.
1290 if (SrcLT.first == DstLT.first && IntOrPtrSrc == IntOrPtrDst &&
1291 SrcSize == DstSize)
1292 return 0;
1293 break;
1294 case Instruction::FPExt:
1295 if (I && getTLI()->isExtFree(I))
1296 return 0;
1297 break;
1298 case Instruction::ZExt:
1299 if (TLI->isZExtFree(SrcLT.second, DstLT.second))
1300 return 0;
1301 [[fallthrough]];
1302 case Instruction::SExt:
1303 if (I && getTLI()->isExtFree(I))
1304 return 0;
1305
1306 // If this is a zext/sext of a load, return 0 if the corresponding
1307 // extending load exists on target and the result type is legal.
1308 if (CCH == TTI::CastContextHint::Normal) {
1309 EVT ExtVT = EVT::getEVT(Dst);
1310 EVT LoadVT = EVT::getEVT(Src);
1311 unsigned LType =
1312 Opcode == Instruction::ZExt ? ISD::ZEXTLOAD : ISD::SEXTLOAD;
1313 if (I) {
1314 if (auto *LI = dyn_cast<LoadInst>(I->getOperand(0))) {
1315 if (DstLT.first == SrcLT.first &&
1316 TLI->isLoadLegal(ExtVT, LoadVT, LI->getAlign(),
1317 LI->getPointerAddressSpace(), LType, false))
1318 return 0;
1319 } else if (auto *II = dyn_cast<IntrinsicInst>(I->getOperand(0))) {
1320 switch (II->getIntrinsicID()) {
1321 case Intrinsic::masked_load: {
1322 Type *PtrType = II->getArgOperand(0)->getType();
1323 assert(PtrType->isPointerTy());
1324
1325 if (DstLT.first == SrcLT.first &&
1326 TLI->isLoadLegal(
1327 ExtVT, LoadVT, II->getParamAlign(0).valueOrOne(),
1328 PtrType->getPointerAddressSpace(), LType, false))
1329 return 0;
1330
1331 break;
1332 }
1333 default:
1334 break;
1335 }
1336 }
1337 }
1338 }
1339 break;
1340 case Instruction::AddrSpaceCast:
1341 if (TLI->isFreeAddrSpaceCast(Src->getPointerAddressSpace(),
1342 Dst->getPointerAddressSpace()))
1343 return 0;
1344 break;
1345 }
1346
1347 auto *SrcVTy = dyn_cast<VectorType>(Src);
1348 auto *DstVTy = dyn_cast<VectorType>(Dst);
1349
1350 // If the cast is marked as legal (or promote) then assume low cost.
1351 if (SrcLT.first == DstLT.first &&
1352 TLI->isOperationLegalOrPromote(ISD, DstLT.second))
1353 return SrcLT.first;
1354
1355 // Handle scalar conversions.
1356 if (!SrcVTy && !DstVTy) {
1357 // Just check the op cost. If the operation is legal then assume it costs
1358 // 1.
1359 if (!TLI->isOperationExpand(ISD, DstLT.second))
1360 return 1;
1361
1362 // Assume that illegal scalar instruction are expensive.
1363 return 4;
1364 }
1365
1366 // Check vector-to-vector casts.
1367 if (DstVTy && SrcVTy) {
1368 // If the cast is between same-sized registers, then the check is simple.
1369 if (SrcLT.first == DstLT.first && SrcSize == DstSize) {
1370
1371 // Assume that Zext is done using AND.
1372 if (Opcode == Instruction::ZExt)
1373 return SrcLT.first;
1374
1375 // Assume that sext is done using SHL and SRA.
1376 if (Opcode == Instruction::SExt)
1377 return SrcLT.first * 2;
1378
1379 // Just check the op cost. If the operation is legal then assume it
1380 // costs
1381 // 1 and multiply by the type-legalization overhead.
1382 if (!TLI->isOperationExpand(ISD, DstLT.second))
1383 return SrcLT.first * 1;
1384 }
1385
1386 // If we are legalizing by splitting, query the concrete TTI for the cost
1387 // of casting the original vector twice. We also need to factor in the
1388 // cost of the split itself. Count that as 1, to be consistent with
1389 // getTypeLegalizationCost().
1390 bool SplitSrc =
1391 TLI->getTypeAction(Src->getContext(), TLI->getValueType(DL, Src)) ==
1393 bool SplitDst =
1394 TLI->getTypeAction(Dst->getContext(), TLI->getValueType(DL, Dst)) ==
1396 if ((SplitSrc || SplitDst) && SrcVTy->getElementCount().isKnownEven() &&
1397 DstVTy->getElementCount().isKnownEven()) {
1398 Type *SplitDstTy = VectorType::getHalfElementsVectorType(DstVTy);
1399 Type *SplitSrcTy = VectorType::getHalfElementsVectorType(SrcVTy);
1400 const T *TTI = thisT();
1401 // If both types need to be split then the split is free.
1402 InstructionCost SplitCost =
1403 (!SplitSrc || !SplitDst) ? TTI->getVectorSplitCost() : 0;
1404 return SplitCost +
1405 (2 * TTI->getCastInstrCost(Opcode, SplitDstTy, SplitSrcTy, CCH,
1406 CostKind, I));
1407 }
1408
1409 // Scalarization cost is Invalid, can't assume any num elements.
1410 if (isa<ScalableVectorType>(DstVTy))
1412
1413 // In other cases where the source or destination are illegal, assume
1414 // the operation will get scalarized.
1415 unsigned Num = cast<FixedVectorType>(DstVTy)->getNumElements();
1416 InstructionCost Cost = thisT()->getCastInstrCost(
1417 Opcode, Dst->getScalarType(), Src->getScalarType(), CCH, CostKind, I);
1418
1419 // Return the cost of multiple scalar invocation plus the cost of
1420 // inserting and extracting the values.
1421 return getScalarizationOverhead(DstVTy, /*Insert*/ true, /*Extract*/ true,
1422 CostKind) +
1423 Num * Cost;
1424 }
1425
1426 // We already handled vector-to-vector and scalar-to-scalar conversions.
1427 // This
1428 // is where we handle bitcast between vectors and scalars. We need to assume
1429 // that the conversion is scalarized in one way or another.
1430 if (Opcode == Instruction::BitCast) {
1431 // Illegal bitcasts are done by storing and loading from a stack slot.
1432 return (SrcVTy ? getScalarizationOverhead(SrcVTy, /*Insert*/ false,
1433 /*Extract*/ true, CostKind)
1434 : 0) +
1435 (DstVTy ? getScalarizationOverhead(DstVTy, /*Insert*/ true,
1436 /*Extract*/ false, CostKind)
1437 : 0);
1438 }
1439
1440 llvm_unreachable("Unhandled cast");
1441 }
1442
1444 getExtractWithExtendCost(unsigned Opcode, Type *Dst, VectorType *VecTy,
1445 unsigned Index,
1446 TTI::TargetCostKind CostKind) const override {
1447 return thisT()->getVectorInstrCost(Instruction::ExtractElement, VecTy,
1448 CostKind, Index, nullptr, nullptr) +
1449 thisT()->getCastInstrCost(Opcode, Dst, VecTy->getElementType(),
1451 }
1452
1455 const Instruction *I = nullptr) const override {
1456 return BaseT::getCFInstrCost(Opcode, CostKind, I);
1457 }
1458
1460 unsigned Opcode, Type *ValTy, Type *CondTy, CmpInst::Predicate VecPred,
1464 const Instruction *I = nullptr) const override {
1465 const TargetLoweringBase *TLI = getTLI();
1466 int ISD = TLI->InstructionOpcodeToISD(Opcode);
1467 assert(ISD && "Invalid opcode");
1468
1469 if (getTLI()->getValueType(DL, ValTy, true) == MVT::Other)
1470 return BaseT::getCmpSelInstrCost(Opcode, ValTy, CondTy, VecPred, CostKind,
1471 Op1Info, Op2Info, I);
1472
1473 // Selects on vectors are actually vector selects.
1474 if (ISD == ISD::SELECT) {
1475 assert(CondTy && "CondTy must exist");
1476 if (CondTy->isVectorTy())
1477 ISD = ISD::VSELECT;
1478 }
1479 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(ValTy);
1480
1481 if (!(ValTy->isVectorTy() && !LT.second.isVector()) &&
1482 !TLI->isOperationExpand(ISD, LT.second)) {
1483 // The operation is legal. Assume it costs 1. Multiply
1484 // by the type-legalization overhead.
1485 return LT.first * 1;
1486 }
1487
1488 // Otherwise, assume that the cast is scalarized.
1489 // TODO: If one of the types get legalized by splitting, handle this
1490 // similarly to what getCastInstrCost() does.
1491 if (auto *ValVTy = dyn_cast<VectorType>(ValTy)) {
1492 if (isa<ScalableVectorType>(ValTy))
1494
1495 unsigned Num = cast<FixedVectorType>(ValVTy)->getNumElements();
1496 InstructionCost Cost = thisT()->getCmpSelInstrCost(
1497 Opcode, ValVTy->getScalarType(), CondTy->getScalarType(), VecPred,
1498 CostKind, Op1Info, Op2Info, I);
1499
1500 // Return the cost of multiple scalar invocation plus the cost of
1501 // inserting and extracting the values.
1502 return getScalarizationOverhead(ValVTy, /*Insert*/ true,
1503 /*Extract*/ false, CostKind) +
1504 Num * Cost;
1505 }
1506
1507 // Unknown scalar opcode.
1508 return 1;
1509 }
1510
1513 unsigned Index, const Value *Op0, const Value *Op1,
1515 TTI::VectorInstrContext::None) const override {
1516 return getRegUsageForType(Val->getScalarType());
1517 }
1518
1519 /// \param ScalarUserAndIdx encodes the information about extracts from a
1520 /// vector with 'Scalar' being the value being extracted,'User' being the user
1521 /// of the extract(nullptr if user is not known before vectorization) and
1522 /// 'Idx' being the extract lane.
1524 unsigned Opcode, Type *Val, TTI::TargetCostKind CostKind, unsigned Index,
1525 Value *Scalar,
1526 ArrayRef<std::tuple<Value *, User *, int>> ScalarUserAndIdx,
1528 TTI::VectorInstrContext::None) const override {
1529 return getVectorInstrCost(Opcode, Val, CostKind, Index, nullptr, nullptr,
1530 VIC);
1531 }
1532
1535 TTI::TargetCostKind CostKind, unsigned Index,
1537 TTI::VectorInstrContext::None) const override {
1538 Value *Op0 = nullptr;
1539 Value *Op1 = nullptr;
1540 if (auto *IE = dyn_cast<InsertElementInst>(&I)) {
1541 Op0 = IE->getOperand(0);
1542 Op1 = IE->getOperand(1);
1543 }
1544 // If VIC is None, compute it from the instruction
1547 return thisT()->getVectorInstrCost(I.getOpcode(), Val, CostKind, Index, Op0,
1548 Op1, VIC);
1549 }
1550
1554 unsigned Index) const override {
1555 unsigned NewIndex = -1;
1556 if (auto *FVTy = dyn_cast<FixedVectorType>(Val)) {
1557 assert(Index < FVTy->getNumElements() &&
1558 "Unexpected index from end of vector");
1559 NewIndex = FVTy->getNumElements() - 1 - Index;
1560 }
1561 return thisT()->getVectorInstrCost(Opcode, Val, CostKind, NewIndex, nullptr,
1562 nullptr);
1563 }
1564
1566 getReplicationShuffleCost(Type *EltTy, int ReplicationFactor, int VF,
1567 const APInt &DemandedDstElts,
1568 TTI::TargetCostKind CostKind) const override {
1569 assert(DemandedDstElts.getBitWidth() == (unsigned)VF * ReplicationFactor &&
1570 "Unexpected size of DemandedDstElts.");
1571
1573
1574 auto *SrcVT = FixedVectorType::get(EltTy, VF);
1575 auto *ReplicatedVT = FixedVectorType::get(EltTy, VF * ReplicationFactor);
1576
1577 // The Mask shuffling cost is extract all the elements of the Mask
1578 // and insert each of them Factor times into the wide vector:
1579 //
1580 // E.g. an interleaved group with factor 3:
1581 // %mask = icmp ult <8 x i32> %vec1, %vec2
1582 // %interleaved.mask = shufflevector <8 x i1> %mask, <8 x i1> undef,
1583 // <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>
1584 // The cost is estimated as extract all mask elements from the <8xi1> mask
1585 // vector and insert them factor times into the <24xi1> shuffled mask
1586 // vector.
1587 APInt DemandedSrcElts = APIntOps::ScaleBitMask(DemandedDstElts, VF);
1588 Cost += thisT()->getScalarizationOverhead(SrcVT, DemandedSrcElts,
1589 /*Insert*/ false,
1590 /*Extract*/ true, CostKind);
1591 Cost += thisT()->getScalarizationOverhead(ReplicatedVT, DemandedDstElts,
1592 /*Insert*/ true,
1593 /*Extract*/ false, CostKind);
1594
1595 return Cost;
1596 }
1597
1599 unsigned Opcode, Type *Src, Align Alignment, unsigned AddressSpace,
1602 const Instruction *I = nullptr) const override {
1603 assert(!Src->isVoidTy() && "Invalid type");
1604 // Assume types, such as structs, are expensive.
1605 if (getTLI()->getValueType(DL, Src, true) == MVT::Other)
1606 return 4;
1607 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(Src);
1608
1609 // FIXME: Arbitrary cost
1610 if (Opcode == Instruction::Load && CostKind == TTI::TCK_Latency)
1611 return 4;
1612
1613 // Assuming that all loads of legal types cost 1.
1614 InstructionCost Cost = LT.first;
1616 return Cost;
1617
1618 const DataLayout &DL = this->getDataLayout();
1619 if (Src->isVectorTy() &&
1620 // In practice it's not currently possible to have a change in lane
1621 // length for extending loads or truncating stores so both types should
1622 // have the same scalable property.
1623 TypeSize::isKnownLT(DL.getTypeStoreSizeInBits(Src),
1624 LT.second.getSizeInBits())) {
1625 // This is a vector load that legalizes to a larger type than the vector
1626 // itself. Unless the corresponding extending load or truncating store is
1627 // legal, then this will scalarize.
1629 EVT MemVT = getTLI()->getValueType(DL, Src);
1630 if (Opcode == Instruction::Store)
1631 LA = getTLI()->getTruncStoreAction(LT.second, MemVT, Alignment,
1632 AddressSpace);
1633 else
1634 LA = getTLI()->getLoadAction(LT.second, MemVT, Alignment, AddressSpace,
1635 ISD::EXTLOAD, false);
1636
1637 if (LA != TargetLowering::Legal && LA != TargetLowering::Custom) {
1638 // This is a vector load/store for some illegal type that is scalarized.
1639 // We must account for the cost of building or decomposing the vector.
1641 cast<VectorType>(Src), Opcode != Instruction::Store,
1642 Opcode == Instruction::Store, CostKind);
1643 }
1644 }
1645
1646 return Cost;
1647 }
1648
1650 unsigned Opcode, Type *VecTy, unsigned Factor, ArrayRef<unsigned> Indices,
1651 Align Alignment, unsigned AddressSpace, TTI::TargetCostKind CostKind,
1652 bool UseMaskForCond = false, bool UseMaskForGaps = false) const override {
1653
1654 // We cannot scalarize scalable vectors, so return Invalid.
1655 if (isa<ScalableVectorType>(VecTy))
1657
1658 auto *VT = cast<FixedVectorType>(VecTy);
1659
1660 unsigned NumElts = VT->getNumElements();
1661 assert(Factor > 1 && NumElts % Factor == 0 && "Invalid interleave factor");
1662
1663 unsigned NumSubElts = NumElts / Factor;
1664 auto *SubVT = FixedVectorType::get(VT->getElementType(), NumSubElts);
1665
1666 // Firstly, the cost of load/store operation.
1668 if (UseMaskForCond || UseMaskForGaps) {
1669 unsigned IID = Opcode == Instruction::Load ? Intrinsic::masked_load
1670 : Intrinsic::masked_store;
1671 Cost = thisT()->getMemIntrinsicInstrCost(
1672 MemIntrinsicCostAttributes(IID, VecTy, Alignment, AddressSpace),
1673 CostKind);
1674 } else
1675 Cost = thisT()->getMemoryOpCost(Opcode, VecTy, Alignment, AddressSpace,
1676 CostKind);
1677
1678 // Legalize the vector type, and get the legalized and unlegalized type
1679 // sizes.
1680 MVT VecTyLT = getTypeLegalizationCost(VecTy).second;
1681 unsigned VecTySize = thisT()->getDataLayout().getTypeStoreSize(VecTy);
1682 unsigned VecTyLTSize = VecTyLT.getStoreSize();
1683
1684 // Scale the cost of the memory operation by the fraction of legalized
1685 // instructions that will actually be used. We shouldn't account for the
1686 // cost of dead instructions since they will be removed.
1687 //
1688 // E.g., An interleaved load of factor 8:
1689 // %vec = load <16 x i64>, <16 x i64>* %ptr
1690 // %v0 = shufflevector %vec, undef, <0, 8>
1691 //
1692 // If <16 x i64> is legalized to 8 v2i64 loads, only 2 of the loads will be
1693 // used (those corresponding to elements [0:1] and [8:9] of the unlegalized
1694 // type). The other loads are unused.
1695 //
1696 // TODO: Note that legalization can turn masked loads/stores into unmasked
1697 // (legalized) loads/stores. This can be reflected in the cost.
1698 if (Cost.isValid() && VecTySize > VecTyLTSize) {
1699 // The number of loads of a legal type it will take to represent a load
1700 // of the unlegalized vector type.
1701 unsigned NumLegalInsts = divideCeil(VecTySize, VecTyLTSize);
1702
1703 // The number of elements of the unlegalized type that correspond to a
1704 // single legal instruction.
1705 unsigned NumEltsPerLegalInst = divideCeil(NumElts, NumLegalInsts);
1706
1707 // Determine which legal instructions will be used.
1708 BitVector UsedInsts(NumLegalInsts, false);
1709 for (unsigned Index : Indices)
1710 for (unsigned Elt = 0; Elt < NumSubElts; ++Elt)
1711 UsedInsts.set((Index + Elt * Factor) / NumEltsPerLegalInst);
1712
1713 // Scale the cost of the load by the fraction of legal instructions that
1714 // will be used.
1715 Cost = divideCeil(UsedInsts.count() * Cost.getValue(), NumLegalInsts);
1716 }
1717
1718 // Then plus the cost of interleave operation.
1719 assert(Indices.size() <= Factor &&
1720 "Interleaved memory op has too many members");
1721
1722 const APInt DemandedAllSubElts = APInt::getAllOnes(NumSubElts);
1723 const APInt DemandedAllResultElts = APInt::getAllOnes(NumElts);
1724
1725 APInt DemandedLoadStoreElts = APInt::getZero(NumElts);
1726 for (unsigned Index : Indices) {
1727 assert(Index < Factor && "Invalid index for interleaved memory op");
1728 for (unsigned Elm = 0; Elm < NumSubElts; Elm++)
1729 DemandedLoadStoreElts.setBit(Index + Elm * Factor);
1730 }
1731
1732 if (Opcode == Instruction::Load) {
1733 // The interleave cost is similar to extract sub vectors' elements
1734 // from the wide vector, and insert them into sub vectors.
1735 //
1736 // E.g. An interleaved load of factor 2 (with one member of index 0):
1737 // %vec = load <8 x i32>, <8 x i32>* %ptr
1738 // %v0 = shuffle %vec, undef, <0, 2, 4, 6> ; Index 0
1739 // The cost is estimated as extract elements at 0, 2, 4, 6 from the
1740 // <8 x i32> vector and insert them into a <4 x i32> vector.
1741 InstructionCost InsSubCost = thisT()->getScalarizationOverhead(
1742 SubVT, DemandedAllSubElts,
1743 /*Insert*/ true, /*Extract*/ false, CostKind);
1744 Cost += Indices.size() * InsSubCost;
1745 Cost += thisT()->getScalarizationOverhead(VT, DemandedLoadStoreElts,
1746 /*Insert*/ false,
1747 /*Extract*/ true, CostKind);
1748 } else {
1749 // The interleave cost is extract elements from sub vectors, and
1750 // insert them into the wide vector.
1751 //
1752 // E.g. An interleaved store of factor 3 with 2 members at indices 0,1:
1753 // (using VF=4):
1754 // %v0_v1 = shuffle %v0, %v1, <0,4,undef,1,5,undef,2,6,undef,3,7,undef>
1755 // %gaps.mask = <true, true, false, true, true, false,
1756 // true, true, false, true, true, false>
1757 // call llvm.masked.store <12 x i32> %v0_v1, <12 x i32>* %ptr,
1758 // i32 Align, <12 x i1> %gaps.mask
1759 // The cost is estimated as extract all elements (of actual members,
1760 // excluding gaps) from both <4 x i32> vectors and insert into the <12 x
1761 // i32> vector.
1762 InstructionCost ExtSubCost = thisT()->getScalarizationOverhead(
1763 SubVT, DemandedAllSubElts,
1764 /*Insert*/ false, /*Extract*/ true, CostKind);
1765 Cost += ExtSubCost * Indices.size();
1766 Cost += thisT()->getScalarizationOverhead(VT, DemandedLoadStoreElts,
1767 /*Insert*/ true,
1768 /*Extract*/ false, CostKind);
1769 }
1770
1771 if (!UseMaskForCond)
1772 return Cost;
1773
1774 Type *I8Type = Type::getInt8Ty(VT->getContext());
1775
1776 Cost += thisT()->getReplicationShuffleCost(
1777 I8Type, Factor, NumSubElts,
1778 UseMaskForGaps ? DemandedLoadStoreElts : DemandedAllResultElts,
1779 CostKind);
1780
1781 // The Gaps mask is invariant and created outside the loop, therefore the
1782 // cost of creating it is not accounted for here. However if we have both
1783 // a MaskForGaps and some other mask that guards the execution of the
1784 // memory access, we need to account for the cost of And-ing the two masks
1785 // inside the loop.
1786 if (UseMaskForGaps) {
1787 auto *MaskVT = FixedVectorType::get(I8Type, NumElts);
1788 Cost += thisT()->getArithmeticInstrCost(BinaryOperator::And, MaskVT,
1789 CostKind);
1790 }
1791
1792 return Cost;
1793 }
1794
1795 /// Get intrinsic cost based on arguments.
1798 TTI::TargetCostKind CostKind) const override {
1799 // Check for generically free intrinsics.
1801 return 0;
1802
1803 // Assume that target intrinsics are cheap.
1804 Intrinsic::ID IID = ICA.getID();
1807
1808 // VP Intrinsics should have the same cost as their non-vp counterpart.
1809 // TODO: Adjust the cost to make the vp intrinsic cheaper than its non-vp
1810 // counterpart when the vector length argument is smaller than the maximum
1811 // vector length.
1812 // TODO: Support other kinds of VPIntrinsics
1813 if (VPIntrinsic::isVPIntrinsic(ICA.getID())) {
1814 std::optional<unsigned> FOp =
1816 if (FOp) {
1817 if (ICA.getID() == Intrinsic::vp_load) {
1818 Align Alignment;
1819 if (auto *VPI = dyn_cast_or_null<VPIntrinsic>(ICA.getInst()))
1820 Alignment = VPI->getPointerAlignment().valueOrOne();
1821 unsigned AS = 0;
1822 if (ICA.getArgTypes().size() > 1)
1823 if (auto *PtrTy = dyn_cast<PointerType>(ICA.getArgTypes()[0]))
1824 AS = PtrTy->getAddressSpace();
1825 return thisT()->getMemoryOpCost(*FOp, ICA.getReturnType(), Alignment,
1826 AS, CostKind);
1827 }
1828 if (ICA.getID() == Intrinsic::vp_store) {
1829 Align Alignment;
1830 if (auto *VPI = dyn_cast_or_null<VPIntrinsic>(ICA.getInst()))
1831 Alignment = VPI->getPointerAlignment().valueOrOne();
1832 unsigned AS = 0;
1833 if (ICA.getArgTypes().size() >= 2)
1834 if (auto *PtrTy = dyn_cast<PointerType>(ICA.getArgTypes()[1]))
1835 AS = PtrTy->getAddressSpace();
1836 return thisT()->getMemoryOpCost(*FOp, ICA.getArgTypes()[0], Alignment,
1837 AS, CostKind);
1838 }
1839 if (ICA.getID() == Intrinsic::vp_udiv ||
1840 ICA.getID() == Intrinsic::vp_sdiv ||
1841 ICA.getID() == Intrinsic::vp_urem ||
1842 ICA.getID() == Intrinsic::vp_srem) {
1843 return thisT()->getArithmeticInstrCost(*FOp, ICA.getReturnType(),
1844 CostKind);
1845 }
1846 }
1847 if (ICA.getID() == Intrinsic::vp_load_ff) {
1848 Type *RetTy = ICA.getReturnType();
1849 Type *DataTy = cast<StructType>(RetTy)->getElementType(0);
1850 Align Alignment;
1851 if (auto *VPI = dyn_cast_or_null<VPIntrinsic>(ICA.getInst()))
1852 Alignment = VPI->getPointerAlignment().valueOrOne();
1853 return thisT()->getMemIntrinsicInstrCost(
1854 MemIntrinsicCostAttributes(ICA.getID(), DataTy, Alignment),
1855 CostKind);
1856 }
1857 if (ICA.getID() == Intrinsic::vp_scatter) {
1858 if (ICA.isTypeBasedOnly()) {
1859 IntrinsicCostAttributes MaskedScatter(
1862 ICA.getFlags());
1863 return getTypeBasedIntrinsicInstrCost(MaskedScatter, CostKind);
1864 }
1865 Align Alignment;
1866 if (auto *VPI = dyn_cast_or_null<VPIntrinsic>(ICA.getInst()))
1867 Alignment = VPI->getPointerAlignment().valueOrOne();
1868 bool VarMask = isa<Constant>(ICA.getArgs()[2]);
1869 return thisT()->getMemIntrinsicInstrCost(
1870 MemIntrinsicCostAttributes(Intrinsic::vp_scatter,
1871 ICA.getArgTypes()[0], ICA.getArgs()[1],
1872 VarMask, Alignment, nullptr),
1873 CostKind);
1874 }
1875 if (ICA.getID() == Intrinsic::vp_gather) {
1876 if (ICA.isTypeBasedOnly()) {
1877 IntrinsicCostAttributes MaskedGather(
1880 ICA.getFlags());
1881 return getTypeBasedIntrinsicInstrCost(MaskedGather, CostKind);
1882 }
1883 Align Alignment;
1884 if (auto *VPI = dyn_cast_or_null<VPIntrinsic>(ICA.getInst()))
1885 Alignment = VPI->getPointerAlignment().valueOrOne();
1886 bool VarMask = isa<Constant>(ICA.getArgs()[1]);
1887 return thisT()->getMemIntrinsicInstrCost(
1888 MemIntrinsicCostAttributes(Intrinsic::vp_gather,
1889 ICA.getReturnType(), ICA.getArgs()[0],
1890 VarMask, Alignment, nullptr),
1891 CostKind);
1892 }
1893
1894 if (ICA.getID() == Intrinsic::vp_merge) {
1895 TTI::OperandValueInfo OpInfoX, OpInfoY;
1896 if (!ICA.isTypeBasedOnly()) {
1897 OpInfoX = TTI::getOperandInfo(ICA.getArgs()[0]);
1898 OpInfoY = TTI::getOperandInfo(ICA.getArgs()[1]);
1899 }
1900 return getCmpSelInstrCost(
1901 Instruction::Select, ICA.getReturnType(), ICA.getArgTypes()[0],
1902 CmpInst::BAD_ICMP_PREDICATE, CostKind, OpInfoX, OpInfoY);
1903 }
1904
1905 std::optional<Intrinsic::ID> FID =
1907
1908 // Not functionally equivalent but close enough for cost modelling.
1909 if (ICA.getID() == Intrinsic::experimental_vp_reverse)
1910 FID = Intrinsic::vector_reverse;
1911
1912 if (FID) {
1913 // Non-vp version will have same arg types except mask and vector
1914 // length.
1915 assert(ICA.getArgTypes().size() >= 2 &&
1916 "Expected VPIntrinsic to have Mask and Vector Length args and "
1917 "types");
1918
1919 ArrayRef<const Value *> NewArgs = ArrayRef(ICA.getArgs());
1920 if (!ICA.isTypeBasedOnly())
1921 NewArgs = NewArgs.drop_back(2);
1923
1924 // VPReduction intrinsics have a start value argument that their non-vp
1925 // counterparts do not have, except for the fadd and fmul non-vp
1926 // counterpart.
1928 *FID != Intrinsic::vector_reduce_fadd &&
1929 *FID != Intrinsic::vector_reduce_fmul) {
1930 if (!ICA.isTypeBasedOnly())
1931 NewArgs = NewArgs.drop_front();
1932 NewTys = NewTys.drop_front();
1933 }
1934
1935 IntrinsicCostAttributes NewICA(*FID, ICA.getReturnType(), NewArgs,
1936 NewTys, ICA.getFlags());
1937 return thisT()->getIntrinsicInstrCost(NewICA, CostKind);
1938 }
1939 }
1940
1941 if (ICA.isTypeBasedOnly())
1943
1944 Type *RetTy = ICA.getReturnType();
1945
1946 ElementCount RetVF = isVectorizedTy(RetTy) ? getVectorizedTypeVF(RetTy)
1948
1949 const IntrinsicInst *I = ICA.getInst();
1950 const SmallVectorImpl<const Value *> &Args = ICA.getArgs();
1951 FastMathFlags FMF = ICA.getFlags();
1952 switch (IID) {
1953 default:
1954 break;
1955
1956 case Intrinsic::powi:
1957 if (auto *RHSC = dyn_cast<ConstantInt>(Args[1])) {
1958 bool ShouldOptForSize = I->getParent()->getParent()->hasOptSize();
1959 if (getTLI()->isBeneficialToExpandPowI(RHSC->getSExtValue(),
1960 ShouldOptForSize)) {
1961 // The cost is modeled on the expansion performed by ExpandPowI in
1962 // SelectionDAGBuilder.
1963 APInt Exponent = RHSC->getValue().abs();
1964 unsigned ActiveBits = Exponent.getActiveBits();
1965 unsigned PopCount = Exponent.popcount();
1966 InstructionCost Cost = (ActiveBits + PopCount - 2) *
1967 thisT()->getArithmeticInstrCost(
1968 Instruction::FMul, RetTy, CostKind);
1969 if (RHSC->isNegative())
1970 Cost += thisT()->getArithmeticInstrCost(Instruction::FDiv, RetTy,
1971 CostKind);
1972 return Cost;
1973 }
1974 }
1975 break;
1976 case Intrinsic::cttz:
1977 // FIXME: If necessary, this should go in target-specific overrides.
1978 if (RetVF.isScalar() && getTLI()->isCheapToSpeculateCttz(RetTy))
1980 break;
1981
1982 case Intrinsic::ctlz:
1983 // FIXME: If necessary, this should go in target-specific overrides.
1984 if (RetVF.isScalar() && getTLI()->isCheapToSpeculateCtlz(RetTy))
1986 break;
1987
1988 case Intrinsic::memcpy:
1989 return thisT()->getMemcpyCost(ICA.getInst());
1990
1991 case Intrinsic::masked_scatter: {
1992 const Value *Mask = Args[2];
1993 bool VarMask = !isa<Constant>(Mask);
1994 Align Alignment = I->getParamAlign(1).valueOrOne();
1995 return thisT()->getMemIntrinsicInstrCost(
1996 MemIntrinsicCostAttributes(Intrinsic::masked_scatter,
1997 ICA.getArgTypes()[0], Args[1], VarMask,
1998 Alignment, I),
1999 CostKind);
2000 }
2001 case Intrinsic::masked_gather: {
2002 const Value *Mask = Args[1];
2003 bool VarMask = !isa<Constant>(Mask);
2004 Align Alignment = I->getParamAlign(0).valueOrOne();
2005 return thisT()->getMemIntrinsicInstrCost(
2006 MemIntrinsicCostAttributes(Intrinsic::masked_gather, RetTy, Args[0],
2007 VarMask, Alignment, I),
2008 CostKind);
2009 }
2010 case Intrinsic::masked_compressstore: {
2011 const Value *Data = Args[0];
2012 const Value *Mask = Args[2];
2013 Align Alignment = I->getParamAlign(1).valueOrOne();
2014 return thisT()->getMemIntrinsicInstrCost(
2015 MemIntrinsicCostAttributes(IID, Data->getType(), !isa<Constant>(Mask),
2016 Alignment, I),
2017 CostKind);
2018 }
2019 case Intrinsic::masked_expandload: {
2020 const Value *Mask = Args[1];
2021 Align Alignment = I->getParamAlign(0).valueOrOne();
2022 return thisT()->getMemIntrinsicInstrCost(
2023 MemIntrinsicCostAttributes(IID, RetTy, !isa<Constant>(Mask),
2024 Alignment, I),
2025 CostKind);
2026 }
2027 case Intrinsic::experimental_vp_strided_store: {
2028 const Value *Data = Args[0];
2029 const Value *Ptr = Args[1];
2030 const Value *Mask = Args[3];
2031 const Value *EVL = Args[4];
2032 bool VarMask = !isa<Constant>(Mask) || !isa<Constant>(EVL);
2033 Type *EltTy = cast<VectorType>(Data->getType())->getElementType();
2034 Align Alignment =
2035 I->getParamAlign(1).value_or(thisT()->DL.getABITypeAlign(EltTy));
2036 return thisT()->getMemIntrinsicInstrCost(
2037 MemIntrinsicCostAttributes(IID, Data->getType(), Ptr, VarMask,
2038 Alignment, I),
2039 CostKind);
2040 }
2041 case Intrinsic::experimental_vp_strided_load: {
2042 const Value *Ptr = Args[0];
2043 const Value *Mask = Args[2];
2044 const Value *EVL = Args[3];
2045 bool VarMask = !isa<Constant>(Mask) || !isa<Constant>(EVL);
2046 Type *EltTy = cast<VectorType>(RetTy)->getElementType();
2047 Align Alignment =
2048 I->getParamAlign(0).value_or(thisT()->DL.getABITypeAlign(EltTy));
2049 return thisT()->getMemIntrinsicInstrCost(
2050 MemIntrinsicCostAttributes(IID, RetTy, Ptr, VarMask, Alignment, I),
2051 CostKind);
2052 }
2053 case Intrinsic::stepvector: {
2054 if (isa<ScalableVectorType>(RetTy))
2056 // The cost of materialising a constant integer vector.
2058 }
2059 case Intrinsic::vector_extract: {
2060 // FIXME: Handle case where a scalable vector is extracted from a scalable
2061 // vector
2062 if (isa<ScalableVectorType>(RetTy))
2064 unsigned Index = cast<ConstantInt>(Args[1])->getZExtValue();
2065 return thisT()->getShuffleCost(
2067 cast<VectorType>(Args[0]->getType()), CostKind, {}, Index,
2068 cast<VectorType>(RetTy));
2069 }
2070 case Intrinsic::vector_insert: {
2071 // FIXME: Handle case where a scalable vector is inserted into a scalable
2072 // vector
2073 if (isa<ScalableVectorType>(Args[1]->getType()))
2075 unsigned Index = cast<ConstantInt>(Args[2])->getZExtValue();
2076 return thisT()->getShuffleCost(
2078 cast<VectorType>(Args[0]->getType()), CostKind, {}, Index,
2079 cast<VectorType>(Args[1]->getType()));
2080 }
2081 case Intrinsic::vector_splice_left:
2082 case Intrinsic::vector_splice_right: {
2083 auto *COffset = dyn_cast<ConstantInt>(Args[2]);
2084 if (!COffset)
2085 break;
2086 unsigned Index = COffset->getZExtValue();
2087 return thisT()->getShuffleCost(
2089 cast<VectorType>(Args[0]->getType()), CostKind, {},
2090 IID == Intrinsic::vector_splice_left ? Index : -Index,
2091 cast<VectorType>(RetTy));
2092 }
2093 case Intrinsic::vector_reduce_add:
2094 case Intrinsic::vector_reduce_mul:
2095 case Intrinsic::vector_reduce_and:
2096 case Intrinsic::vector_reduce_or:
2097 case Intrinsic::vector_reduce_xor:
2098 case Intrinsic::vector_reduce_smax:
2099 case Intrinsic::vector_reduce_smin:
2100 case Intrinsic::vector_reduce_fmax:
2101 case Intrinsic::vector_reduce_fmin:
2102 case Intrinsic::vector_reduce_fmaximum:
2103 case Intrinsic::vector_reduce_fminimum:
2104 case Intrinsic::vector_reduce_fmaximumnum:
2105 case Intrinsic::vector_reduce_fminimumnum:
2106 case Intrinsic::vector_reduce_umax:
2107 case Intrinsic::vector_reduce_umin: {
2108 IntrinsicCostAttributes Attrs(IID, RetTy, Args[0]->getType(), FMF, I, 1);
2110 }
2111 case Intrinsic::vector_reduce_fadd:
2112 case Intrinsic::vector_reduce_fmul: {
2114 IID, RetTy, {Args[0]->getType(), Args[1]->getType()}, FMF, I, 1);
2116 }
2117 case Intrinsic::fshl:
2118 case Intrinsic::fshr: {
2119 const Value *X = Args[0];
2120 const Value *Y = Args[1];
2121 const Value *Z = Args[2];
2124 const TTI::OperandValueInfo OpInfoZ = TTI::getOperandInfo(Z);
2125
2126 // fshl: (X << (Z % BW)) | (Y >> (BW - (Z % BW)))
2127 // fshr: (X << (BW - (Z % BW))) | (Y >> (Z % BW))
2129 Cost +=
2130 thisT()->getArithmeticInstrCost(BinaryOperator::Or, RetTy, CostKind);
2131 Cost += thisT()->getArithmeticInstrCost(
2132 BinaryOperator::Shl, RetTy, CostKind, OpInfoX,
2133 {OpInfoZ.Kind, TTI::OP_None});
2134 Cost += thisT()->getArithmeticInstrCost(
2135 BinaryOperator::LShr, RetTy, CostKind, OpInfoY,
2136 {OpInfoZ.Kind, TTI::OP_None});
2137
2138 if (!OpInfoZ.isConstant()) {
2139 Cost += thisT()->getArithmeticInstrCost(BinaryOperator::Sub, RetTy,
2140 CostKind);
2141 // Non-constant shift amounts requires a modulo. If the typesize is a
2142 // power-2 then this will be converted to an and, otherwise it will use
2143 // a urem.
2144 Cost += thisT()->getArithmeticInstrCost(
2145 isPowerOf2_32(RetTy->getScalarSizeInBits()) ? BinaryOperator::And
2146 : BinaryOperator::URem,
2147 RetTy, CostKind, OpInfoZ,
2148 {TTI::OK_UniformConstantValue, TTI::OP_None});
2149 // For non-rotates (X != Y) we must add shift-by-zero handling costs.
2150 if (X != Y) {
2151 Type *CondTy = RetTy->getWithNewBitWidth(1);
2152 Cost += thisT()->getCmpSelInstrCost(
2153 BinaryOperator::ICmp, RetTy, CondTy, CmpInst::ICMP_EQ, CostKind);
2154 Cost +=
2155 thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, CondTy,
2157 }
2158 }
2159 return Cost;
2160 }
2161 case Intrinsic::experimental_cttz_elts: {
2162 EVT ArgType = getTLI()->getValueType(DL, ICA.getArgTypes()[0], true);
2163
2164 // TODO: The costs below reflect the expansion code in
2165 // TargetLowering::expandCttzElts, but we may want to sacrifice some
2166 // accuracy in favour of compile time.
2167
2168 // Find the smallest "sensible" element type to use for the expansion.
2169 bool ZeroIsPoison = !cast<ConstantInt>(Args[1])->isZero();
2170 ConstantRange VScaleRange(APInt(64, 1), APInt::getZero(64));
2171 if (isa<ScalableVectorType>(ICA.getArgTypes()[0]) && I && I->getCaller())
2172 VScaleRange = getVScaleRange(I->getCaller(), 64);
2173
2174 unsigned EltWidth = getTLI()->getBitWidthForCttzElements(
2175 getTLI()->getValueType(DL, RetTy), ArgType.getVectorElementCount(),
2176 ZeroIsPoison, &VScaleRange);
2177 Type *NewEltTy = IntegerType::getIntNTy(RetTy->getContext(), EltWidth);
2178
2179 // Create the new vector type & get the vector length
2180 Type *NewVecTy = VectorType::get(
2181 NewEltTy, cast<VectorType>(Args[0]->getType())->getElementCount());
2182
2183 IntrinsicCostAttributes StepVecAttrs(Intrinsic::stepvector, NewVecTy, {},
2184 FMF);
2186 thisT()->getIntrinsicInstrCost(StepVecAttrs, CostKind);
2187
2188 Cost +=
2189 thisT()->getArithmeticInstrCost(Instruction::Sub, NewVecTy, CostKind);
2190 Cost += thisT()->getCastInstrCost(Instruction::SExt, NewVecTy,
2191 Args[0]->getType(),
2193 Cost +=
2194 thisT()->getArithmeticInstrCost(Instruction::And, NewVecTy, CostKind);
2195
2196 IntrinsicCostAttributes ReducAttrs(Intrinsic::vector_reduce_umax,
2197 NewEltTy, NewVecTy, FMF, I, 1);
2198 Cost += thisT()->getTypeBasedIntrinsicInstrCost(ReducAttrs, CostKind);
2199 Cost +=
2200 thisT()->getArithmeticInstrCost(Instruction::Sub, NewEltTy, CostKind);
2201
2202 return Cost;
2203 }
2204 case Intrinsic::get_active_lane_mask:
2205 case Intrinsic::experimental_vector_match:
2206 case Intrinsic::experimental_vector_histogram_add:
2207 case Intrinsic::experimental_vector_histogram_uadd_sat:
2208 case Intrinsic::experimental_vector_histogram_umax:
2209 case Intrinsic::experimental_vector_histogram_umin:
2210 case Intrinsic::masked_udiv:
2211 case Intrinsic::masked_sdiv:
2212 case Intrinsic::masked_urem:
2213 case Intrinsic::masked_srem:
2214 return thisT()->getTypeBasedIntrinsicInstrCost(ICA, CostKind);
2215 case Intrinsic::modf:
2216 case Intrinsic::sincos:
2217 case Intrinsic::sincospi: {
2218 std::optional<unsigned> CallRetElementIndex;
2219 // The first element of the modf result is returned by value in the
2220 // libcall.
2221 if (ICA.getID() == Intrinsic::modf)
2222 CallRetElementIndex = 0;
2223
2224 if (auto Cost = getMultipleResultIntrinsicVectorLibCallCost(
2225 ICA, CostKind, CallRetElementIndex))
2226 return *Cost;
2227 // Otherwise, fallback to default scalarization cost.
2228 break;
2229 }
2230 case Intrinsic::loop_dependence_war_mask:
2231 case Intrinsic::loop_dependence_raw_mask: {
2232 // Compute the cost of the expanded version of these intrinsics:
2233 //
2234 // The possible expansions are...
2235 //
2236 // loop_dependence_war_mask:
2237 // diff = (addrB - addrA) / eltSize
2238 // cmp = icmp sle diff, 0
2239 // upper_bound = select cmp, -1, diff
2240 // mask = get_active_lane_mask 0, upper_bound
2241 //
2242 // loop_dependence_raw_mask:
2243 // diff = (abs(addrB - addrA)) / eltSize
2244 // cmp = icmp eq diff, 0
2245 // upper_bound = select cmp, -1, diff
2246 // mask = get_active_lane_mask 0, upper_bound
2247 //
2248 Type *AddrTy = ICA.getArgTypes()[0];
2249 bool IsReadAfterWrite = IID == Intrinsic::loop_dependence_raw_mask;
2250
2252 thisT()->getArithmeticInstrCost(Instruction::Sub, AddrTy, CostKind);
2253 if (IsReadAfterWrite) {
2254 IntrinsicCostAttributes AbsAttrs(Intrinsic::abs, AddrTy, {AddrTy}, {});
2255 Cost += thisT()->getIntrinsicInstrCost(AbsAttrs, CostKind);
2256 }
2257
2258 TTI::OperandValueInfo EltSizeOpInfo =
2259 TTI::getOperandInfo(ICA.getArgs()[2]);
2260 Cost += thisT()->getArithmeticInstrCost(Instruction::SDiv, AddrTy,
2261 CostKind, {}, EltSizeOpInfo);
2262
2263 Type *CondTy = IntegerType::getInt1Ty(RetTy->getContext());
2264 CmpInst::Predicate Pred =
2265 IsReadAfterWrite ? CmpInst::ICMP_EQ : CmpInst::ICMP_SLE;
2266 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, CondTy, AddrTy,
2267 Pred, CostKind);
2268 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::Select, AddrTy,
2269 CondTy, Pred, CostKind);
2270
2271 IntrinsicCostAttributes Attrs(Intrinsic::get_active_lane_mask, RetTy,
2272 {AddrTy, AddrTy}, FMF);
2273 Cost += thisT()->getIntrinsicInstrCost(Attrs, CostKind);
2274 return Cost;
2275 }
2276 }
2277
2278 // Assume that we need to scalarize this intrinsic.)
2279 // Compute the scalarization overhead based on Args for a vector
2280 // intrinsic.
2281 InstructionCost ScalarizationCost = InstructionCost::getInvalid();
2282 if (RetVF.isVector() && !RetVF.isScalable()) {
2283 ScalarizationCost = 0;
2284 if (!RetTy->isVoidTy()) {
2285 for (Type *VectorTy : getContainedTypes(RetTy)) {
2286 ScalarizationCost += getScalarizationOverhead(
2287 cast<VectorType>(VectorTy),
2288 /*Insert=*/true, /*Extract=*/false, CostKind);
2289 }
2290 }
2291 ScalarizationCost += getOperandsScalarizationOverhead(
2292 filterConstantAndDuplicatedOperands(Args, ICA.getArgTypes()),
2293 CostKind);
2294 }
2295
2296 IntrinsicCostAttributes Attrs(IID, RetTy, ICA.getArgTypes(), FMF, I,
2297 ScalarizationCost);
2298 return thisT()->getTypeBasedIntrinsicInstrCost(Attrs, CostKind);
2299 }
2300
2301 /// Get intrinsic cost based on argument types.
2302 /// If ScalarizationCostPassed is std::numeric_limits<unsigned>::max(), the
2303 /// cost of scalarizing the arguments and the return value will be computed
2304 /// based on types.
2308 Intrinsic::ID IID = ICA.getID();
2309 Type *RetTy = ICA.getReturnType();
2310 const SmallVectorImpl<Type *> &Tys = ICA.getArgTypes();
2311 FastMathFlags FMF = ICA.getFlags();
2312 InstructionCost ScalarizationCostPassed = ICA.getScalarizationCost();
2313 bool SkipScalarizationCost = ICA.skipScalarizationCost();
2314
2315 VectorType *VecOpTy = nullptr;
2316 if (!Tys.empty()) {
2317 // The vector reduction operand is operand 0 except for fadd/fmul.
2318 // Their operand 0 is a scalar start value, so the vector op is operand 1.
2319 unsigned VecTyIndex = 0;
2320 if (IID == Intrinsic::vector_reduce_fadd ||
2321 IID == Intrinsic::vector_reduce_fmul)
2322 VecTyIndex = 1;
2323 assert(Tys.size() > VecTyIndex && "Unexpected IntrinsicCostAttributes");
2324 VecOpTy = dyn_cast<VectorType>(Tys[VecTyIndex]);
2325 }
2326
2327 // Library call cost - other than size, make it expensive.
2328 unsigned SingleCallCost = CostKind == TTI::TCK_CodeSize ? 1 : 10;
2329 unsigned ISD = 0;
2330 switch (IID) {
2331 default: {
2332 // Scalable vectors cannot be scalarized, so return Invalid.
2333 if (isa<ScalableVectorType>(RetTy) || any_of(Tys, [](const Type *Ty) {
2334 return isa<ScalableVectorType>(Ty);
2335 }))
2337
2338 // Assume that we need to scalarize this intrinsic.
2339 InstructionCost ScalarizationCost =
2340 SkipScalarizationCost ? ScalarizationCostPassed : 0;
2341 unsigned ScalarCalls = 1;
2342 Type *ScalarRetTy = RetTy;
2343 if (auto *RetVTy = dyn_cast<VectorType>(RetTy)) {
2344 if (!SkipScalarizationCost)
2345 ScalarizationCost = getScalarizationOverhead(
2346 RetVTy, /*Insert*/ true, /*Extract*/ false, CostKind);
2347 ScalarCalls = std::max(ScalarCalls,
2348 cast<FixedVectorType>(RetVTy)->getNumElements());
2349 ScalarRetTy = RetTy->getScalarType();
2350 }
2351 SmallVector<Type *, 4> ScalarTys;
2352 for (Type *Ty : Tys) {
2353 if (auto *VTy = dyn_cast<VectorType>(Ty)) {
2354 if (!SkipScalarizationCost)
2355 ScalarizationCost += getScalarizationOverhead(
2356 VTy, /*Insert*/ false, /*Extract*/ true, CostKind);
2357 ScalarCalls = std::max(ScalarCalls,
2358 cast<FixedVectorType>(VTy)->getNumElements());
2359 Ty = Ty->getScalarType();
2360 }
2361 ScalarTys.push_back(Ty);
2362 }
2363 if (ScalarCalls == 1)
2364 return 1; // Return cost of a scalar intrinsic. Assume it to be cheap.
2365
2366 IntrinsicCostAttributes ScalarAttrs(IID, ScalarRetTy, ScalarTys, FMF);
2367 InstructionCost ScalarCost =
2368 thisT()->getIntrinsicInstrCost(ScalarAttrs, CostKind);
2369
2370 return ScalarCalls * ScalarCost + ScalarizationCost;
2371 }
2372 // Look for intrinsics that can be lowered directly or turned into a scalar
2373 // intrinsic call.
2374 case Intrinsic::sqrt:
2375 ISD = ISD::FSQRT;
2376 break;
2377 case Intrinsic::sin:
2378 ISD = ISD::FSIN;
2379 break;
2380 case Intrinsic::cos:
2381 ISD = ISD::FCOS;
2382 break;
2383 case Intrinsic::sincos:
2384 ISD = ISD::FSINCOS;
2385 break;
2386 case Intrinsic::sincospi:
2388 break;
2389 case Intrinsic::modf:
2390 ISD = ISD::FMODF;
2391 break;
2392 case Intrinsic::tan:
2393 ISD = ISD::FTAN;
2394 break;
2395 case Intrinsic::asin:
2396 ISD = ISD::FASIN;
2397 break;
2398 case Intrinsic::acos:
2399 ISD = ISD::FACOS;
2400 break;
2401 case Intrinsic::atan:
2402 ISD = ISD::FATAN;
2403 break;
2404 case Intrinsic::atan2:
2405 ISD = ISD::FATAN2;
2406 break;
2407 case Intrinsic::sinh:
2408 ISD = ISD::FSINH;
2409 break;
2410 case Intrinsic::cosh:
2411 ISD = ISD::FCOSH;
2412 break;
2413 case Intrinsic::tanh:
2414 ISD = ISD::FTANH;
2415 break;
2416 case Intrinsic::exp:
2417 ISD = ISD::FEXP;
2418 break;
2419 case Intrinsic::exp2:
2420 ISD = ISD::FEXP2;
2421 break;
2422 case Intrinsic::exp10:
2423 ISD = ISD::FEXP10;
2424 break;
2425 case Intrinsic::log:
2426 ISD = ISD::FLOG;
2427 break;
2428 case Intrinsic::log10:
2429 ISD = ISD::FLOG10;
2430 break;
2431 case Intrinsic::log2:
2432 ISD = ISD::FLOG2;
2433 break;
2434 case Intrinsic::ldexp:
2435 ISD = ISD::FLDEXP;
2436 break;
2437 case Intrinsic::fabs:
2438 ISD = ISD::FABS;
2439 break;
2440 case Intrinsic::canonicalize:
2442 break;
2443 case Intrinsic::minnum:
2444 ISD = ISD::FMINNUM;
2445 break;
2446 case Intrinsic::maxnum:
2447 ISD = ISD::FMAXNUM;
2448 break;
2449 case Intrinsic::minimum:
2451 break;
2452 case Intrinsic::maximum:
2454 break;
2455 case Intrinsic::minimumnum:
2457 break;
2458 case Intrinsic::maximumnum:
2460 break;
2461 case Intrinsic::copysign:
2463 break;
2464 case Intrinsic::floor:
2465 ISD = ISD::FFLOOR;
2466 break;
2467 case Intrinsic::ceil:
2468 ISD = ISD::FCEIL;
2469 break;
2470 case Intrinsic::trunc:
2471 ISD = ISD::FTRUNC;
2472 break;
2473 case Intrinsic::nearbyint:
2475 break;
2476 case Intrinsic::rint:
2477 ISD = ISD::FRINT;
2478 break;
2479 case Intrinsic::lrint:
2480 ISD = ISD::LRINT;
2481 break;
2482 case Intrinsic::llrint:
2483 ISD = ISD::LLRINT;
2484 break;
2485 case Intrinsic::round:
2486 ISD = ISD::FROUND;
2487 break;
2488 case Intrinsic::roundeven:
2490 break;
2491 case Intrinsic::lround:
2492 ISD = ISD::LROUND;
2493 break;
2494 case Intrinsic::llround:
2495 ISD = ISD::LLROUND;
2496 break;
2497 case Intrinsic::pow:
2498 ISD = ISD::FPOW;
2499 break;
2500 case Intrinsic::fma:
2501 ISD = ISD::FMA;
2502 break;
2503 case Intrinsic::fmuladd:
2504 ISD = ISD::FMA;
2505 break;
2506 case Intrinsic::experimental_constrained_fmuladd:
2508 break;
2509 // FIXME: We should return 0 whenever getIntrinsicCost == TCC_Free.
2510 case Intrinsic::lifetime_start:
2511 case Intrinsic::lifetime_end:
2512 case Intrinsic::sideeffect:
2513 case Intrinsic::pseudoprobe:
2514 case Intrinsic::arithmetic_fence:
2515 return 0;
2516 case Intrinsic::masked_store: {
2517 Type *Ty = Tys[0];
2518 Align TyAlign = thisT()->DL.getABITypeAlign(Ty);
2519 return thisT()->getMemIntrinsicInstrCost(
2520 MemIntrinsicCostAttributes(IID, Ty, TyAlign, 0), CostKind);
2521 }
2522 case Intrinsic::masked_load: {
2523 Type *Ty = RetTy;
2524 Align TyAlign = thisT()->DL.getABITypeAlign(Ty);
2525 return thisT()->getMemIntrinsicInstrCost(
2526 MemIntrinsicCostAttributes(IID, Ty, TyAlign, 0), CostKind);
2527 }
2528 case Intrinsic::experimental_vp_strided_store: {
2529 auto *Ty = cast<VectorType>(ICA.getArgTypes()[0]);
2530 Align Alignment = thisT()->DL.getABITypeAlign(Ty->getElementType());
2531 return thisT()->getMemIntrinsicInstrCost(
2532 MemIntrinsicCostAttributes(IID, Ty, /*Ptr=*/nullptr,
2533 /*VariableMask=*/true, Alignment,
2534 ICA.getInst()),
2535 CostKind);
2536 }
2537 case Intrinsic::experimental_vp_strided_load: {
2538 auto *Ty = cast<VectorType>(ICA.getReturnType());
2539 Align Alignment = thisT()->DL.getABITypeAlign(Ty->getElementType());
2540 return thisT()->getMemIntrinsicInstrCost(
2541 MemIntrinsicCostAttributes(IID, Ty, /*Ptr=*/nullptr,
2542 /*VariableMask=*/true, Alignment,
2543 ICA.getInst()),
2544 CostKind);
2545 }
2546 case Intrinsic::vector_reduce_add:
2547 case Intrinsic::vector_reduce_mul:
2548 case Intrinsic::vector_reduce_and:
2549 case Intrinsic::vector_reduce_or:
2550 case Intrinsic::vector_reduce_xor:
2551 return thisT()->getArithmeticReductionCost(
2552 getArithmeticReductionInstruction(IID), VecOpTy, std::nullopt,
2553 CostKind);
2554 case Intrinsic::vector_reduce_fadd:
2555 case Intrinsic::vector_reduce_fmul:
2556 return thisT()->getArithmeticReductionCost(
2557 getArithmeticReductionInstruction(IID), VecOpTy, FMF, CostKind);
2558 case Intrinsic::vector_reduce_smax:
2559 case Intrinsic::vector_reduce_smin:
2560 case Intrinsic::vector_reduce_umax:
2561 case Intrinsic::vector_reduce_umin:
2562 case Intrinsic::vector_reduce_fmax:
2563 case Intrinsic::vector_reduce_fmin:
2564 case Intrinsic::vector_reduce_fmaximum:
2565 case Intrinsic::vector_reduce_fminimum:
2566 case Intrinsic::vector_reduce_fmaximumnum:
2567 case Intrinsic::vector_reduce_fminimumnum:
2568 return thisT()->getMinMaxReductionCost(getMinMaxReductionIntrinsicOp(IID),
2569 VecOpTy, ICA.getFlags(), CostKind);
2570 case Intrinsic::experimental_vector_match: {
2571 auto *SearchTy = cast<VectorType>(ICA.getArgTypes()[0]);
2572 auto *NeedleTy = cast<FixedVectorType>(ICA.getArgTypes()[1]);
2573 unsigned SearchSize = NeedleTy->getNumElements();
2574
2575 // Approximate the cost based on the expansion code in
2576 // TargetLowering::expandVectorMatch.
2578 Cost += thisT()->getVectorInstrCost(Instruction::ExtractElement, NeedleTy,
2579 CostKind, 1, nullptr, nullptr);
2580 Cost += thisT()->getVectorInstrCost(Instruction::InsertElement, SearchTy,
2581 CostKind, 0, nullptr, nullptr);
2582 Cost += thisT()->getShuffleCost(TTI::SK_Broadcast, SearchTy, SearchTy,
2583 CostKind, {}, 0, nullptr);
2584 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, SearchTy, RetTy,
2586 Cost +=
2587 thisT()->getArithmeticInstrCost(BinaryOperator::Or, RetTy, CostKind);
2588 Cost *= SearchSize;
2589 Cost +=
2590 thisT()->getArithmeticInstrCost(BinaryOperator::And, RetTy, CostKind);
2591 return Cost;
2592 }
2593 case Intrinsic::vector_reverse:
2594 return thisT()->getShuffleCost(TTI::SK_Reverse, cast<VectorType>(RetTy),
2595 cast<VectorType>(ICA.getArgTypes()[0]),
2596 CostKind, {}, 0, cast<VectorType>(RetTy));
2597 case Intrinsic::experimental_vector_histogram_add:
2598 case Intrinsic::experimental_vector_histogram_uadd_sat:
2599 case Intrinsic::experimental_vector_histogram_umax:
2600 case Intrinsic::experimental_vector_histogram_umin: {
2602 Type *EltTy = ICA.getArgTypes()[1];
2603
2604 // Targets with scalable vectors must handle this on their own.
2605 if (!PtrsTy)
2607
2608 Align Alignment = thisT()->DL.getABITypeAlign(EltTy);
2610 Cost += thisT()->getVectorInstrCost(Instruction::ExtractElement, PtrsTy,
2611 CostKind, 1, nullptr, nullptr);
2612 Cost += thisT()->getMemoryOpCost(Instruction::Load, EltTy, Alignment, 0,
2613 CostKind);
2614 switch (IID) {
2615 default:
2616 llvm_unreachable("Unhandled histogram update operation.");
2617 case Intrinsic::experimental_vector_histogram_add:
2618 Cost +=
2619 thisT()->getArithmeticInstrCost(Instruction::Add, EltTy, CostKind);
2620 break;
2621 case Intrinsic::experimental_vector_histogram_uadd_sat: {
2622 IntrinsicCostAttributes UAddSat(Intrinsic::uadd_sat, EltTy, {EltTy});
2623 Cost += thisT()->getIntrinsicInstrCost(UAddSat, CostKind);
2624 break;
2625 }
2626 case Intrinsic::experimental_vector_histogram_umax: {
2627 IntrinsicCostAttributes UMax(Intrinsic::umax, EltTy, {EltTy});
2628 Cost += thisT()->getIntrinsicInstrCost(UMax, CostKind);
2629 break;
2630 }
2631 case Intrinsic::experimental_vector_histogram_umin: {
2632 IntrinsicCostAttributes UMin(Intrinsic::umin, EltTy, {EltTy});
2633 Cost += thisT()->getIntrinsicInstrCost(UMin, CostKind);
2634 break;
2635 }
2636 }
2637 Cost += thisT()->getMemoryOpCost(Instruction::Store, EltTy, Alignment, 0,
2638 CostKind);
2639 Cost *= PtrsTy->getNumElements();
2640 return Cost;
2641 }
2642 case Intrinsic::get_active_lane_mask: {
2643 Type *ArgTy = ICA.getArgTypes()[0];
2644 EVT ResVT = getTLI()->getValueType(DL, RetTy, true);
2645 EVT ArgVT = getTLI()->getValueType(DL, ArgTy, true);
2646
2647 // If we're not expanding the intrinsic then we assume this is cheap
2648 // to implement.
2649 if (!getTLI()->shouldExpandGetActiveLaneMask(ResVT, ArgVT))
2650 return getTypeLegalizationCost(RetTy).first;
2651
2652 // Create the expanded types that will be used to calculate the uadd_sat
2653 // operation.
2654 Type *ExpRetTy =
2655 VectorType::get(ArgTy, cast<VectorType>(RetTy)->getElementCount());
2656 IntrinsicCostAttributes Attrs(Intrinsic::uadd_sat, ExpRetTy, {}, FMF);
2658 thisT()->getTypeBasedIntrinsicInstrCost(Attrs, CostKind);
2659 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, ExpRetTy, RetTy,
2661 return Cost;
2662 }
2663 case Intrinsic::experimental_memset_pattern:
2664 // This cost is set to match the cost of the memset_pattern16 libcall.
2665 // It should likely be re-evaluated after migration to this intrinsic
2666 // is complete.
2667 return TTI::TCC_Basic * 4;
2668 case Intrinsic::abs:
2669 ISD = ISD::ABS;
2670 break;
2671 case Intrinsic::fshl:
2672 ISD = ISD::FSHL;
2673 break;
2674 case Intrinsic::fshr:
2675 ISD = ISD::FSHR;
2676 break;
2677 case Intrinsic::smax:
2678 ISD = ISD::SMAX;
2679 break;
2680 case Intrinsic::smin:
2681 ISD = ISD::SMIN;
2682 break;
2683 case Intrinsic::umax:
2684 ISD = ISD::UMAX;
2685 break;
2686 case Intrinsic::umin:
2687 ISD = ISD::UMIN;
2688 break;
2689 case Intrinsic::sadd_sat:
2690 ISD = ISD::SADDSAT;
2691 break;
2692 case Intrinsic::ssub_sat:
2693 ISD = ISD::SSUBSAT;
2694 break;
2695 case Intrinsic::uadd_sat:
2696 ISD = ISD::UADDSAT;
2697 break;
2698 case Intrinsic::usub_sat:
2699 ISD = ISD::USUBSAT;
2700 break;
2701 case Intrinsic::smul_fix:
2702 ISD = ISD::SMULFIX;
2703 break;
2704 case Intrinsic::umul_fix:
2705 ISD = ISD::UMULFIX;
2706 break;
2707 case Intrinsic::sadd_with_overflow:
2708 ISD = ISD::SADDO;
2709 break;
2710 case Intrinsic::ssub_with_overflow:
2711 ISD = ISD::SSUBO;
2712 break;
2713 case Intrinsic::uadd_with_overflow:
2714 ISD = ISD::UADDO;
2715 break;
2716 case Intrinsic::usub_with_overflow:
2717 ISD = ISD::USUBO;
2718 break;
2719 case Intrinsic::smul_with_overflow:
2720 ISD = ISD::SMULO;
2721 break;
2722 case Intrinsic::umul_with_overflow:
2723 ISD = ISD::UMULO;
2724 break;
2725 case Intrinsic::fptosi_sat:
2726 case Intrinsic::fptoui_sat: {
2727 std::pair<InstructionCost, MVT> SrcLT = getTypeLegalizationCost(Tys[0]);
2728 std::pair<InstructionCost, MVT> RetLT = getTypeLegalizationCost(RetTy);
2729
2730 // For cast instructions, types are different between source and
2731 // destination. Also need to check if the source type can be legalize.
2732 if (!SrcLT.first.isValid() || !RetLT.first.isValid())
2734 ISD = IID == Intrinsic::fptosi_sat ? ISD::FP_TO_SINT_SAT
2736 break;
2737 }
2738 case Intrinsic::ctpop:
2739 ISD = ISD::CTPOP;
2740 // In case of legalization use TCC_Expensive. This is cheaper than a
2741 // library call but still not a cheap instruction.
2742 SingleCallCost = TargetTransformInfo::TCC_Expensive;
2743 break;
2744 case Intrinsic::ctlz:
2745 ISD = ISD::CTLZ;
2746 break;
2747 case Intrinsic::cttz:
2748 ISD = ISD::CTTZ;
2749 break;
2750 case Intrinsic::bswap:
2751 ISD = ISD::BSWAP;
2752 break;
2753 case Intrinsic::bitreverse:
2755 break;
2756 case Intrinsic::ucmp:
2757 ISD = ISD::UCMP;
2758 break;
2759 case Intrinsic::scmp:
2760 ISD = ISD::SCMP;
2761 break;
2762 case Intrinsic::clmul:
2763 ISD = ISD::CLMUL;
2764 break;
2765 case Intrinsic::masked_udiv:
2766 case Intrinsic::masked_sdiv:
2767 case Intrinsic::masked_urem:
2768 case Intrinsic::masked_srem: {
2769 unsigned UnmaskedOpc;
2770 switch (IID) {
2771 case Intrinsic::masked_udiv:
2773 UnmaskedOpc = Instruction::UDiv;
2774 break;
2775 case Intrinsic::masked_sdiv:
2777 UnmaskedOpc = Instruction::SDiv;
2778 break;
2779 case Intrinsic::masked_urem:
2781 UnmaskedOpc = Instruction::URem;
2782 break;
2783 case Intrinsic::masked_srem:
2785 UnmaskedOpc = Instruction::SRem;
2786 break;
2787 default:
2788 llvm_unreachable("Unexpected intrinsic ID");
2789 }
2791 thisT()->getArithmeticInstrCost(UnmaskedOpc, RetTy, CostKind);
2792
2793 // Expansion generates a (select %mask, %rhs, 1) for the divisor.
2794 MVT LT = getTypeLegalizationCost(RetTy).second;
2795 if (!getTLI()->isOperationLegalOrCustom(ISD, LT)) {
2796 Type *CondTy = cast<VectorType>(RetTy)->getWithNewType(
2798 Cost += thisT()->getCmpSelInstrCost(
2799 BinaryOperator::Select, RetTy, CondTy, CmpInst::BAD_ICMP_PREDICATE,
2801 }
2802
2803 return Cost;
2804 }
2805 }
2806
2807 auto *ST = dyn_cast<StructType>(RetTy);
2808 Type *LegalizeTy = ST ? ST->getContainedType(0) : RetTy;
2809 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(LegalizeTy);
2810
2811 const TargetLoweringBase *TLI = getTLI();
2812
2813 if (TLI->isOperationLegalOrPromote(ISD, LT.second)) {
2814 if (IID == Intrinsic::fabs && LT.second.isFloatingPoint() &&
2815 TLI->isFAbsFree(LT.second)) {
2816 return 0;
2817 }
2818
2819 // The operation is legal. Assume it costs 1.
2820 // If the type is split to multiple registers, assume that there is some
2821 // overhead to this.
2822 // TODO: Once we have extract/insert subvector cost we need to use them.
2823 if (LT.first > 1)
2824 return (LT.first * 2);
2825 else
2826 return (LT.first * 1);
2827 } else if (TLI->isOperationCustom(ISD, LT.second)) {
2828 // If the operation is custom lowered then assume
2829 // that the code is twice as expensive.
2830 return (LT.first * 2);
2831 }
2832
2833 switch (IID) {
2834 case Intrinsic::fmuladd: {
2835 // If we can't lower fmuladd into an FMA estimate the cost as a floating
2836 // point mul followed by an add.
2837
2838 return thisT()->getArithmeticInstrCost(BinaryOperator::FMul, RetTy,
2839 CostKind) +
2840 thisT()->getArithmeticInstrCost(BinaryOperator::FAdd, RetTy,
2841 CostKind);
2842 }
2843 case Intrinsic::experimental_constrained_fmuladd: {
2844 IntrinsicCostAttributes FMulAttrs(
2845 Intrinsic::experimental_constrained_fmul, RetTy, Tys);
2846 IntrinsicCostAttributes FAddAttrs(
2847 Intrinsic::experimental_constrained_fadd, RetTy, Tys);
2848 return thisT()->getIntrinsicInstrCost(FMulAttrs, CostKind) +
2849 thisT()->getIntrinsicInstrCost(FAddAttrs, CostKind);
2850 }
2851 case Intrinsic::smin:
2852 case Intrinsic::smax:
2853 case Intrinsic::umin:
2854 case Intrinsic::umax: {
2855 // minmax(X,Y) = select(icmp(X,Y),X,Y)
2856 Type *CondTy = RetTy->getWithNewBitWidth(1);
2857 bool IsUnsigned = IID == Intrinsic::umax || IID == Intrinsic::umin;
2858 CmpInst::Predicate Pred =
2859 IsUnsigned ? CmpInst::ICMP_UGT : CmpInst::ICMP_SGT;
2861 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, RetTy, CondTy,
2862 Pred, CostKind);
2863 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, CondTy,
2864 Pred, CostKind);
2865 return Cost;
2866 }
2867 case Intrinsic::sadd_with_overflow:
2868 case Intrinsic::ssub_with_overflow: {
2869 Type *SumTy = RetTy->getContainedType(0);
2870 Type *OverflowTy = RetTy->getContainedType(1);
2871 unsigned Opcode = IID == Intrinsic::sadd_with_overflow
2872 ? BinaryOperator::Add
2873 : BinaryOperator::Sub;
2874
2875 // Add:
2876 // Overflow -> (Result < LHS) ^ (RHS < 0)
2877 // Sub:
2878 // Overflow -> (Result < LHS) ^ (RHS > 0)
2880 Cost += thisT()->getArithmeticInstrCost(Opcode, SumTy, CostKind);
2881 Cost +=
2882 2 * thisT()->getCmpSelInstrCost(Instruction::ICmp, SumTy, OverflowTy,
2884 Cost += thisT()->getArithmeticInstrCost(BinaryOperator::Xor, OverflowTy,
2885 CostKind);
2886 return Cost;
2887 }
2888 case Intrinsic::uadd_with_overflow:
2889 case Intrinsic::usub_with_overflow: {
2890 Type *SumTy = RetTy->getContainedType(0);
2891 Type *OverflowTy = RetTy->getContainedType(1);
2892 unsigned Opcode = IID == Intrinsic::uadd_with_overflow
2893 ? BinaryOperator::Add
2894 : BinaryOperator::Sub;
2895 CmpInst::Predicate Pred = IID == Intrinsic::uadd_with_overflow
2898
2900 Cost += thisT()->getArithmeticInstrCost(Opcode, SumTy, CostKind);
2901 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, SumTy,
2902 OverflowTy, Pred, CostKind);
2903 return Cost;
2904 }
2905 case Intrinsic::smul_with_overflow:
2906 case Intrinsic::umul_with_overflow: {
2907 Type *MulTy = RetTy->getContainedType(0);
2908 Type *OverflowTy = RetTy->getContainedType(1);
2909 unsigned ExtSize = MulTy->getScalarSizeInBits() * 2;
2910 Type *ExtTy = MulTy->getWithNewBitWidth(ExtSize);
2911 bool IsSigned = IID == Intrinsic::smul_with_overflow;
2912
2913 unsigned ExtOp = IsSigned ? Instruction::SExt : Instruction::ZExt;
2915
2917 Cost += 2 * thisT()->getCastInstrCost(ExtOp, ExtTy, MulTy, CCH, CostKind);
2918 Cost +=
2919 thisT()->getArithmeticInstrCost(Instruction::Mul, ExtTy, CostKind);
2920 Cost += 2 * thisT()->getCastInstrCost(Instruction::Trunc, MulTy, ExtTy,
2921 CCH, CostKind);
2922 Cost += thisT()->getArithmeticInstrCost(
2923 Instruction::LShr, ExtTy, CostKind, {TTI::OK_AnyValue, TTI::OP_None},
2925
2926 if (IsSigned)
2927 Cost += thisT()->getArithmeticInstrCost(
2928 Instruction::AShr, MulTy, CostKind,
2931
2932 Cost += thisT()->getCmpSelInstrCost(
2933 BinaryOperator::ICmp, MulTy, OverflowTy, CmpInst::ICMP_NE, CostKind);
2934 return Cost;
2935 }
2936 case Intrinsic::sadd_sat:
2937 case Intrinsic::ssub_sat: {
2938 // Assume a default expansion.
2939 Type *CondTy = RetTy->getWithNewBitWidth(1);
2940
2941 Type *OpTy = StructType::create({RetTy, CondTy});
2942 Intrinsic::ID OverflowOp = IID == Intrinsic::sadd_sat
2943 ? Intrinsic::sadd_with_overflow
2944 : Intrinsic::ssub_with_overflow;
2946
2947 // SatMax -> Overflow && SumDiff < 0
2948 // SatMin -> Overflow && SumDiff >= 0
2950 IntrinsicCostAttributes Attrs(OverflowOp, OpTy, {RetTy, RetTy}, FMF,
2951 nullptr, ScalarizationCostPassed);
2952 Cost += thisT()->getIntrinsicInstrCost(Attrs, CostKind);
2953 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, RetTy, CondTy,
2954 Pred, CostKind);
2955 Cost += 2 * thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy,
2956 CondTy, Pred, CostKind);
2957 return Cost;
2958 }
2959 case Intrinsic::uadd_sat:
2960 case Intrinsic::usub_sat: {
2961 Type *CondTy = RetTy->getWithNewBitWidth(1);
2962
2963 Type *OpTy = StructType::create({RetTy, CondTy});
2964 Intrinsic::ID OverflowOp = IID == Intrinsic::uadd_sat
2965 ? Intrinsic::uadd_with_overflow
2966 : Intrinsic::usub_with_overflow;
2967
2969 IntrinsicCostAttributes Attrs(OverflowOp, OpTy, {RetTy, RetTy}, FMF,
2970 nullptr, ScalarizationCostPassed);
2971 Cost += thisT()->getIntrinsicInstrCost(Attrs, CostKind);
2972 Cost +=
2973 thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, CondTy,
2975 return Cost;
2976 }
2977 case Intrinsic::smul_fix:
2978 case Intrinsic::umul_fix: {
2979 unsigned ExtSize = RetTy->getScalarSizeInBits() * 2;
2980 Type *ExtTy = RetTy->getWithNewBitWidth(ExtSize);
2981
2982 unsigned ExtOp =
2983 IID == Intrinsic::smul_fix ? Instruction::SExt : Instruction::ZExt;
2985
2987 Cost += 2 * thisT()->getCastInstrCost(ExtOp, ExtTy, RetTy, CCH, CostKind);
2988 Cost +=
2989 thisT()->getArithmeticInstrCost(Instruction::Mul, ExtTy, CostKind);
2990 Cost += 2 * thisT()->getCastInstrCost(Instruction::Trunc, RetTy, ExtTy,
2991 CCH, CostKind);
2992 Cost += thisT()->getArithmeticInstrCost(
2993 Instruction::LShr, RetTy, CostKind, {TTI::OK_AnyValue, TTI::OP_None},
2995 Cost += thisT()->getArithmeticInstrCost(
2996 Instruction::Shl, RetTy, CostKind, {TTI::OK_AnyValue, TTI::OP_None},
2998 Cost += thisT()->getArithmeticInstrCost(Instruction::Or, RetTy, CostKind);
2999 return Cost;
3000 }
3001 case Intrinsic::abs: {
3002 // abs(X) = select(icmp(X,0),X,sub(0,X))
3003 Type *CondTy = RetTy->getWithNewBitWidth(1);
3006 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, RetTy, CondTy,
3007 Pred, CostKind);
3008 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, CondTy,
3009 Pred, CostKind);
3010 // TODO: Should we add an OperandValueProperties::OP_Zero property?
3011 Cost += thisT()->getArithmeticInstrCost(
3012 BinaryOperator::Sub, RetTy, CostKind,
3014 return Cost;
3015 }
3016 case Intrinsic::fshl:
3017 case Intrinsic::fshr: {
3018 // fshl: (X << (Z % BW)) | (Y >> (BW - (Z % BW)))
3019 // fshr: (X << (BW - (Z % BW))) | (Y >> (Z % BW))
3020 Type *CondTy = RetTy->getWithNewBitWidth(1);
3022 Cost +=
3023 thisT()->getArithmeticInstrCost(BinaryOperator::Or, RetTy, CostKind);
3024 Cost +=
3025 thisT()->getArithmeticInstrCost(BinaryOperator::Sub, RetTy, CostKind);
3026 Cost +=
3027 thisT()->getArithmeticInstrCost(BinaryOperator::Shl, RetTy, CostKind);
3028 Cost += thisT()->getArithmeticInstrCost(BinaryOperator::LShr, RetTy,
3029 CostKind);
3030 // Non-constant shift amounts requires a modulo. If the typesize is a
3031 // power-2 then this will be converted to an and, otherwise it will use a
3032 // urem.
3033 Cost += thisT()->getArithmeticInstrCost(
3034 isPowerOf2_32(RetTy->getScalarSizeInBits()) ? BinaryOperator::And
3035 : BinaryOperator::URem,
3036 RetTy, CostKind, {TTI::OK_AnyValue, TTI::OP_None},
3037 {TTI::OK_UniformConstantValue, TTI::OP_None});
3038 // Shift-by-zero handling.
3039 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, RetTy, CondTy,
3041 Cost += thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, CondTy,
3043 return Cost;
3044 }
3045 case Intrinsic::fptosi_sat:
3046 case Intrinsic::fptoui_sat: {
3047 if (Tys.empty())
3048 break;
3049 Type *FromTy = Tys[0];
3050 bool IsSigned = IID == Intrinsic::fptosi_sat;
3051
3053 IntrinsicCostAttributes Attrs1(Intrinsic::minnum, FromTy,
3054 {FromTy, FromTy});
3055 Cost += thisT()->getIntrinsicInstrCost(Attrs1, CostKind);
3056 IntrinsicCostAttributes Attrs2(Intrinsic::maxnum, FromTy,
3057 {FromTy, FromTy});
3058 Cost += thisT()->getIntrinsicInstrCost(Attrs2, CostKind);
3059 Cost += thisT()->getCastInstrCost(
3060 IsSigned ? Instruction::FPToSI : Instruction::FPToUI, RetTy, FromTy,
3062 if (IsSigned) {
3063 Type *CondTy = RetTy->getWithNewBitWidth(1);
3064 Cost += thisT()->getCmpSelInstrCost(
3065 BinaryOperator::FCmp, FromTy, CondTy, CmpInst::FCMP_UNO, CostKind);
3066 Cost += thisT()->getCmpSelInstrCost(
3067 BinaryOperator::Select, RetTy, CondTy, CmpInst::FCMP_UNO, CostKind);
3068 }
3069 return Cost;
3070 }
3071 case Intrinsic::ucmp:
3072 case Intrinsic::scmp: {
3073 Type *CmpTy = Tys[0];
3074 Type *CondTy = RetTy->getWithNewBitWidth(1);
3076 thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, CmpTy, CondTy,
3078 CostKind) +
3079 thisT()->getCmpSelInstrCost(BinaryOperator::ICmp, CmpTy, CondTy,
3081 CostKind);
3082
3083 EVT VT = TLI->getValueType(DL, CmpTy, true);
3085 // x < y ? -1 : (x > y ? 1 : 0)
3086 Cost += 2 * thisT()->getCmpSelInstrCost(
3087 BinaryOperator::Select, RetTy, CondTy,
3089 } else {
3090 // zext(x > y) - zext(x < y)
3091 Cost +=
3092 2 * thisT()->getCastInstrCost(CastInst::ZExt, RetTy, CondTy,
3094 Cost += thisT()->getArithmeticInstrCost(BinaryOperator::Sub, RetTy,
3095 CostKind);
3096 }
3097 return Cost;
3098 }
3099 case Intrinsic::maximumnum:
3100 case Intrinsic::minimumnum: {
3101 // On platform that support FMAXNUM_IEEE/FMINNUM_IEEE, we expand
3102 // maximumnum/minimumnum to
3103 // ARG0 = fcanonicalize ARG0, ARG0 // to quiet ARG0
3104 // ARG1 = fcanonicalize ARG1, ARG1 // to quiet ARG1
3105 // RESULT = MAXNUM_IEEE ARG0, ARG1 // or MINNUM_IEEE
3106 // FIXME: In LangRef, we claimed FMAXNUM has the same behaviour of
3107 // FMAXNUM_IEEE, while the backend hasn't migrated the code yet.
3108 // Finally, we will remove FMAXNUM_IEEE and FMINNUM_IEEE.
3109 int IeeeISD =
3110 IID == Intrinsic::maximumnum ? ISD::FMAXNUM_IEEE : ISD::FMINNUM_IEEE;
3111 if (TLI->isOperationLegal(IeeeISD, LT.second)) {
3112 IntrinsicCostAttributes FCanonicalizeAttrs(Intrinsic::canonicalize,
3113 RetTy, Tys[0]);
3114 InstructionCost FCanonicalizeCost =
3115 thisT()->getIntrinsicInstrCost(FCanonicalizeAttrs, CostKind);
3116 return LT.first + FCanonicalizeCost * 2;
3117 }
3118 break;
3119 }
3120 case Intrinsic::clmul: {
3121 // This cost model should match the expansion in
3122 // TargetLowering::expandCLMUL.
3123 unsigned BW = RetTy->getScalarSizeInBits();
3124 InstructionCost AndCost =
3125 thisT()->getArithmeticInstrCost(Instruction::And, RetTy, CostKind);
3126 InstructionCost OrCost =
3127 thisT()->getArithmeticInstrCost(Instruction::Or, RetTy, CostKind);
3128 InstructionCost XorCost =
3129 thisT()->getArithmeticInstrCost(Instruction::Xor, RetTy, CostKind);
3130 InstructionCost MulCost =
3131 thisT()->getArithmeticInstrCost(Instruction::Mul, RetTy, CostKind);
3132
3133 // When the multiplication with holes approach is used, that emits 16
3134 // MULs, 8 + 4 ANDs, 12 XORs and 3 ORs.
3135 if (BW >= 32 && BW <= 64 &&
3137 TLI->getValueType(DL, RetTy))) {
3138 return 16 * MulCost + 12 * AndCost + 12 * XorCost + 3 * OrCost;
3139 }
3140
3141 InstructionCost PerBitCostMul = AndCost + MulCost + XorCost;
3142 InstructionCost PerBitCostBittest =
3143 AndCost +
3144 thisT()->getCmpSelInstrCost(BinaryOperator::Select, RetTy, RetTy,
3146 thisT()->getCmpSelInstrCost(Instruction::ICmp, RetTy, RetTy,
3148 InstructionCost PerBitCost = std::min(PerBitCostMul, PerBitCostBittest);
3149 return BW * PerBitCost;
3150 }
3151 default:
3152 break;
3153 }
3154
3155 // Else, assume that we need to scalarize this intrinsic. For math builtins
3156 // this will emit a costly libcall, adding call overhead and spills. Make it
3157 // very expensive.
3158 if (isVectorizedTy(RetTy)) {
3159 ArrayRef<Type *> RetVTys = getContainedTypes(RetTy);
3160
3161 // Scalable vectors cannot be scalarized, so return Invalid.
3162 if (any_of(concat<Type *const>(RetVTys, Tys),
3163 [](Type *Ty) { return isa<ScalableVectorType>(Ty); }))
3165
3166 InstructionCost ScalarizationCost = ScalarizationCostPassed;
3167 if (!SkipScalarizationCost) {
3168 ScalarizationCost = 0;
3169 for (Type *RetVTy : RetVTys) {
3170 ScalarizationCost += getScalarizationOverhead(
3171 cast<VectorType>(RetVTy), /*Insert=*/true,
3172 /*Extract=*/false, CostKind);
3173 }
3174 }
3175
3176 unsigned ScalarCalls = getVectorizedTypeVF(RetTy).getFixedValue();
3177 SmallVector<Type *, 4> ScalarTys;
3178 for (Type *Ty : Tys) {
3179 if (Ty->isVectorTy())
3180 Ty = Ty->getScalarType();
3181 ScalarTys.push_back(Ty);
3182 }
3183 IntrinsicCostAttributes Attrs(IID, toScalarizedTy(RetTy), ScalarTys, FMF);
3184 InstructionCost ScalarCost =
3185 thisT()->getIntrinsicInstrCost(Attrs, CostKind);
3186 for (Type *Ty : Tys) {
3187 if (auto *VTy = dyn_cast<VectorType>(Ty)) {
3188 if (!ICA.skipScalarizationCost())
3189 ScalarizationCost += getScalarizationOverhead(
3190 VTy, /*Insert*/ false, /*Extract*/ true, CostKind);
3191 ScalarCalls = std::max(ScalarCalls,
3192 cast<FixedVectorType>(VTy)->getNumElements());
3193 }
3194 }
3195 return ScalarCalls * ScalarCost + ScalarizationCost;
3196 }
3197
3198 // This is going to be turned into a library call, make it expensive.
3199 return SingleCallCost;
3200 }
3201
3202 /// Get memory intrinsic cost based on arguments.
3205 TTI::TargetCostKind CostKind) const override {
3206 unsigned Id = MICA.getID();
3207 Type *DataTy = MICA.getDataType();
3208 bool VariableMask = MICA.getVariableMask();
3209 Align Alignment = MICA.getAlignment();
3210
3211 switch (Id) {
3212 case Intrinsic::experimental_vp_strided_load:
3213 case Intrinsic::experimental_vp_strided_store: {
3214 unsigned Opcode = Id == Intrinsic::experimental_vp_strided_load
3215 ? Instruction::Load
3216 : Instruction::Store;
3217 // For a target without strided memory operations (or for an illegal
3218 // operation type on one which does), assume we lower to a gather/scatter
3219 // operation. (Which may in turn be scalarized.)
3220 return getCommonMaskedMemoryOpCost(Opcode, DataTy, Alignment,
3221 VariableMask, true, CostKind);
3222 }
3223 case Intrinsic::masked_scatter:
3224 case Intrinsic::masked_gather:
3225 case Intrinsic::vp_scatter:
3226 case Intrinsic::vp_gather: {
3227 unsigned Opcode = (MICA.getID() == Intrinsic::masked_gather ||
3228 MICA.getID() == Intrinsic::vp_gather)
3229 ? Instruction::Load
3230 : Instruction::Store;
3231
3232 return getCommonMaskedMemoryOpCost(Opcode, DataTy, Alignment,
3233 VariableMask, true, CostKind);
3234 }
3235 case Intrinsic::vp_load:
3236 case Intrinsic::vp_store:
3238 case Intrinsic::masked_load:
3239 case Intrinsic::masked_store: {
3240 unsigned Opcode =
3241 Id == Intrinsic::masked_load ? Instruction::Load : Instruction::Store;
3242 // TODO: Pass on AddressSpace when we have test coverage.
3243 return getCommonMaskedMemoryOpCost(Opcode, DataTy, Alignment, true, false,
3244 CostKind);
3245 }
3246 case Intrinsic::masked_compressstore:
3247 case Intrinsic::masked_expandload: {
3248 unsigned Opcode = MICA.getID() == Intrinsic::masked_expandload
3249 ? Instruction::Load
3250 : Instruction::Store;
3251 // Treat expand load/compress store as gather/scatter operation.
3252 // TODO: implement more precise cost estimation for these intrinsics.
3253 return getCommonMaskedMemoryOpCost(Opcode, DataTy, Alignment,
3254 VariableMask,
3255 /*IsGatherScatter*/ true, CostKind);
3256 }
3257 case Intrinsic::vp_load_ff:
3259 default:
3260 llvm_unreachable("unexpected intrinsic");
3261 }
3262 }
3263
3264 /// Compute a cost of the given call instruction.
3265 ///
3266 /// Compute the cost of calling function F with return type RetTy and
3267 /// argument types Tys. F might be nullptr, in this case the cost of an
3268 /// arbitrary call with the specified signature will be returned.
3269 /// This is used, for instance, when we estimate call of a vector
3270 /// counterpart of the given function.
3271 /// \param F Called function, might be nullptr.
3272 /// \param RetTy Return value types.
3273 /// \param Tys Argument types.
3274 /// \returns The cost of Call instruction.
3277 TTI::TargetCostKind CostKind) const override {
3278 return 10;
3279 }
3280
3281 unsigned getNumberOfParts(Type *Tp) const override {
3282 std::pair<InstructionCost, MVT> LT = getTypeLegalizationCost(Tp);
3283 if (!LT.first.isValid())
3284 return 0;
3285 // Try to find actual number of parts for non-power-of-2 elements as
3286 // ceil(num-of-elements/num-of-subtype-elements).
3287 if (auto *FTp = dyn_cast<FixedVectorType>(Tp);
3288 FTp && LT.second.isFixedLengthVector() &&
3289 !has_single_bit(FTp->getNumElements())) {
3290 if (auto *SubTp = dyn_cast_if_present<FixedVectorType>(
3291 EVT(LT.second).getTypeForEVT(Tp->getContext()));
3292 SubTp && SubTp->getElementType() == FTp->getElementType())
3293 return divideCeil(FTp->getNumElements(), SubTp->getNumElements());
3294 }
3295 return LT.first.getValue();
3296 }
3297
3300 TTI::TargetCostKind) const override {
3301 return 0;
3302 }
3303
3304 /// Try to calculate arithmetic and shuffle op costs for reduction intrinsics.
3305 /// We're assuming that reduction operation are performing the following way:
3306 ///
3307 /// %val1 = shufflevector<n x t> %val, <n x t> %undef,
3308 /// <n x i32> <i32 n/2, i32 n/2 + 1, ..., i32 n, i32 undef, ..., i32 undef>
3309 /// \----------------v-------------/ \----------v------------/
3310 /// n/2 elements n/2 elements
3311 /// %red1 = op <n x t> %val, <n x t> val1
3312 /// After this operation we have a vector %red1 where only the first n/2
3313 /// elements are meaningful, the second n/2 elements are undefined and can be
3314 /// dropped. All other operations are actually working with the vector of
3315 /// length n/2, not n, though the real vector length is still n.
3316 /// %val2 = shufflevector<n x t> %red1, <n x t> %undef,
3317 /// <n x i32> <i32 n/4, i32 n/4 + 1, ..., i32 n/2, i32 undef, ..., i32 undef>
3318 /// \----------------v-------------/ \----------v------------/
3319 /// n/4 elements 3*n/4 elements
3320 /// %red2 = op <n x t> %red1, <n x t> val2 - working with the vector of
3321 /// length n/2, the resulting vector has length n/4 etc.
3322 ///
3323 /// The cost model should take into account that the actual length of the
3324 /// vector is reduced on each iteration.
3327 // Targets must implement a default value for the scalable case, since
3328 // we don't know how many lanes the vector has.
3331
3332 Type *ScalarTy = Ty->getElementType();
3333 unsigned NumVecElts = cast<FixedVectorType>(Ty)->getNumElements();
3334 if ((Opcode == Instruction::Or || Opcode == Instruction::And) &&
3335 ScalarTy == IntegerType::getInt1Ty(Ty->getContext()) &&
3336 NumVecElts >= 2) {
3337 // Or reduction for i1 is represented as:
3338 // %val = bitcast <ReduxWidth x i1> to iReduxWidth
3339 // %res = cmp ne iReduxWidth %val, 0
3340 // And reduction for i1 is represented as:
3341 // %val = bitcast <ReduxWidth x i1> to iReduxWidth
3342 // %res = cmp eq iReduxWidth %val, 11111
3343 Type *ValTy = IntegerType::get(Ty->getContext(), NumVecElts);
3344 return thisT()->getCastInstrCost(Instruction::BitCast, ValTy, Ty,
3346 thisT()->getCmpSelInstrCost(Instruction::ICmp, ValTy,
3349 }
3350 unsigned NumReduxLevels = Log2_32(NumVecElts);
3351 InstructionCost ArithCost = 0;
3352 InstructionCost ShuffleCost = 0;
3353 std::pair<InstructionCost, MVT> LT = thisT()->getTypeLegalizationCost(Ty);
3354 unsigned LongVectorCount = 0;
3355 unsigned MVTLen =
3356 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
3357 while (NumVecElts > MVTLen) {
3358 NumVecElts /= 2;
3359 VectorType *SubTy = FixedVectorType::get(ScalarTy, NumVecElts);
3360 ShuffleCost += thisT()->getShuffleCost(
3361 TTI::SK_ExtractSubvector, SubTy, Ty, CostKind, {}, NumVecElts, SubTy);
3362 ArithCost += thisT()->getArithmeticInstrCost(Opcode, SubTy, CostKind);
3363 Ty = SubTy;
3364 ++LongVectorCount;
3365 }
3366
3367 NumReduxLevels -= LongVectorCount;
3368
3369 // The minimal length of the vector is limited by the real length of vector
3370 // operations performed on the current platform. That's why several final
3371 // reduction operations are performed on the vectors with the same
3372 // architecture-dependent length.
3373
3374 // By default reductions need one shuffle per reduction level.
3375 ShuffleCost +=
3376 NumReduxLevels * thisT()->getShuffleCost(TTI::SK_PermuteSingleSrc, Ty,
3377 Ty, CostKind, {}, 0, Ty);
3378 ArithCost +=
3379 NumReduxLevels * thisT()->getArithmeticInstrCost(Opcode, Ty, CostKind);
3380 return ShuffleCost + ArithCost +
3381 thisT()->getVectorInstrCost(Instruction::ExtractElement, Ty,
3382 CostKind, 0, nullptr, nullptr);
3383 }
3384
3385 /// Try to calculate the cost of performing strict (in-order) reductions,
3386 /// which involves doing a sequence of floating point additions in lane
3387 /// order, starting with an initial value. For example, consider a scalar
3388 /// initial value 'InitVal' of type float and a vector of type <4 x float>:
3389 ///
3390 /// Vector = <float %v0, float %v1, float %v2, float %v3>
3391 ///
3392 /// %add1 = %InitVal + %v0
3393 /// %add2 = %add1 + %v1
3394 /// %add3 = %add2 + %v2
3395 /// %add4 = %add3 + %v3
3396 ///
3397 /// As a simple estimate we can say the cost of such a reduction is 4 times
3398 /// the cost of a scalar FP addition. We can only estimate the costs for
3399 /// fixed-width vectors here because for scalable vectors we do not know the
3400 /// runtime number of operations.
3403 // Targets must implement a default value for the scalable case, since
3404 // we don't know how many lanes the vector has.
3407
3408 auto *VTy = cast<FixedVectorType>(Ty);
3410 VTy, /*Insert=*/false, /*Extract=*/true, CostKind);
3411 InstructionCost ArithCost = thisT()->getArithmeticInstrCost(
3412 Opcode, VTy->getElementType(), CostKind);
3413 ArithCost *= VTy->getNumElements();
3414
3415 return ExtractCost + ArithCost;
3416 }
3417
3420 std::optional<FastMathFlags> FMF,
3421 TTI::TargetCostKind CostKind) const override {
3422 assert(Ty && "Unknown reduction vector type");
3424 return getOrderedReductionCost(Opcode, Ty, CostKind);
3425 return getTreeReductionCost(Opcode, Ty, CostKind);
3426 }
3427
3428 /// Try to calculate op costs for min/max reduction operations.
3429 /// \param CondTy Conditional type for the Select instruction.
3432 TTI::TargetCostKind CostKind) const override {
3433 // Targets must implement a default value for the scalable case, since
3434 // we don't know how many lanes the vector has.
3437
3438 Type *ScalarTy = Ty->getElementType();
3439 unsigned NumVecElts = cast<FixedVectorType>(Ty)->getNumElements();
3440 unsigned NumReduxLevels = Log2_32(NumVecElts);
3441 InstructionCost MinMaxCost = 0;
3442 InstructionCost ShuffleCost = 0;
3443 std::pair<InstructionCost, MVT> LT = thisT()->getTypeLegalizationCost(Ty);
3444 unsigned LongVectorCount = 0;
3445 unsigned MVTLen =
3446 LT.second.isVector() ? LT.second.getVectorNumElements() : 1;
3447 while (NumVecElts > MVTLen) {
3448 NumVecElts /= 2;
3449 auto *SubTy = FixedVectorType::get(ScalarTy, NumVecElts);
3450
3451 ShuffleCost += thisT()->getShuffleCost(
3452 TTI::SK_ExtractSubvector, SubTy, Ty, CostKind, {}, NumVecElts, SubTy);
3453
3454 IntrinsicCostAttributes Attrs(IID, SubTy, {SubTy, SubTy}, FMF);
3455 MinMaxCost += getIntrinsicInstrCost(Attrs, CostKind);
3456 Ty = SubTy;
3457 ++LongVectorCount;
3458 }
3459
3460 NumReduxLevels -= LongVectorCount;
3461
3462 // The minimal length of the vector is limited by the real length of vector
3463 // operations performed on the current platform. That's why several final
3464 // reduction opertions are perfomed on the vectors with the same
3465 // architecture-dependent length.
3466 ShuffleCost +=
3467 NumReduxLevels * thisT()->getShuffleCost(TTI::SK_PermuteSingleSrc, Ty,
3468 Ty, CostKind, {}, 0, Ty);
3469 IntrinsicCostAttributes Attrs(IID, Ty, {Ty, Ty}, FMF);
3470 MinMaxCost += NumReduxLevels * getIntrinsicInstrCost(Attrs, CostKind);
3471 // The last min/max should be in vector registers and we counted it above.
3472 // So just need a single extractelement.
3473 return ShuffleCost + MinMaxCost +
3474 thisT()->getVectorInstrCost(Instruction::ExtractElement, Ty,
3475 CostKind, 0, nullptr, nullptr);
3476 }
3477
3479 getExtendedReductionCost(unsigned Opcode, bool IsUnsigned, Type *ResTy,
3480 VectorType *Ty, std::optional<FastMathFlags> FMF,
3481 TTI::TargetCostKind CostKind) const override {
3482 if (auto *FTy = dyn_cast<FixedVectorType>(Ty);
3483 FTy && IsUnsigned && Opcode == Instruction::Add &&
3484 FTy->getElementType() == IntegerType::getInt1Ty(Ty->getContext())) {
3485 // Represent vector_reduce_add(ZExt(<n x i1>)) as
3486 // ZExtOrTrunc(ctpop(bitcast <n x i1> to in)).
3487 auto *IntTy =
3488 IntegerType::get(ResTy->getContext(), FTy->getNumElements());
3489 IntrinsicCostAttributes ICA(Intrinsic::ctpop, IntTy, {IntTy},
3490 FMF ? *FMF : FastMathFlags());
3491 return thisT()->getCastInstrCost(Instruction::BitCast, IntTy, FTy,
3493 thisT()->getIntrinsicInstrCost(ICA, CostKind);
3494 }
3495 // Without any native support, this is equivalent to the cost of
3496 // vecreduce.opcode(ext(Ty A)).
3497 VectorType *ExtTy = VectorType::get(ResTy, Ty);
3498 InstructionCost RedCost =
3499 thisT()->getArithmeticReductionCost(Opcode, ExtTy, FMF, CostKind);
3500 InstructionCost ExtCost = thisT()->getCastInstrCost(
3501 IsUnsigned ? Instruction::ZExt : Instruction::SExt, ExtTy, Ty,
3503
3504 return RedCost + ExtCost;
3505 }
3506
3508 getMulAccReductionCost(bool IsUnsigned, unsigned RedOpcode, Type *ResTy,
3509 VectorType *Ty,
3510 TTI::TargetCostKind CostKind) const override {
3511 // Without any native support, this is equivalent to the cost of
3512 // vecreduce.add(mul(ext(Ty A), ext(Ty B))) or
3513 // vecreduce.add(mul(A, B)).
3514 assert((RedOpcode == Instruction::Add || RedOpcode == Instruction::Sub) &&
3515 "The reduction opcode is expected to be Add or Sub.");
3516 VectorType *ExtTy = VectorType::get(ResTy, Ty);
3517 InstructionCost RedCost = thisT()->getArithmeticReductionCost(
3518 RedOpcode, ExtTy, std::nullopt, CostKind);
3519 InstructionCost ExtCost = thisT()->getCastInstrCost(
3520 IsUnsigned ? Instruction::ZExt : Instruction::SExt, ExtTy, Ty,
3522
3523 InstructionCost MulCost =
3524 thisT()->getArithmeticInstrCost(Instruction::Mul, ExtTy, CostKind);
3525
3526 return RedCost + MulCost + 2 * ExtCost;
3527 }
3528
3530 unsigned Opcode, Type *InputTypeA, Type *InputTypeB, Type *AccumType,
3532 TTI::PartialReductionExtendKind OpBExtend, std::optional<unsigned> BinOp,
3534 std::optional<FastMathFlags> FMF) const override {
3535 unsigned EltSizeAcc = AccumType->getScalarSizeInBits();
3536 unsigned EltSizeInA = InputTypeA->getScalarSizeInBits();
3537 unsigned Ratio = EltSizeAcc / EltSizeInA;
3538 if (VF.getKnownMinValue() <= Ratio || VF.getKnownMinValue() % Ratio != 0 ||
3539 EltSizeAcc % EltSizeInA != 0 || (BinOp && InputTypeA != InputTypeB))
3541
3542 Type *InputVectorType = VectorType::get(InputTypeA, VF);
3543 Type *ExtInputVectorType = VectorType::get(AccumType, VF);
3544 Type *AccumVectorType =
3545 VectorType::get(AccumType, VF.divideCoefficientBy(Ratio));
3546
3547 InstructionCost ExtendCostA = 0;
3549 ExtendCostA = getCastInstrCost(
3551 ExtInputVectorType, InputVectorType, TTI::CastContextHint::None,
3552 CostKind);
3553
3554 // TODO: add cost of extracting subvectors from the source vector that
3555 // is to be partially reduced.
3556 InstructionCost ReductionOpCost =
3557 Ratio * getArithmeticInstrCost(Opcode, AccumVectorType, CostKind);
3558
3559 if (!BinOp)
3560 return ExtendCostA + ReductionOpCost;
3561
3562 InstructionCost ExtendCostB = 0;
3564 ExtendCostB = getCastInstrCost(
3566 ExtInputVectorType, InputVectorType, TTI::CastContextHint::None,
3567 CostKind);
3568 return ExtendCostA + ExtendCostB + ReductionOpCost +
3569 getArithmeticInstrCost(*BinOp, ExtInputVectorType, CostKind);
3570 }
3571
3573
3574 /// @}
3575};
3576
3577/// Concrete BasicTTIImpl that can be used if no further customization
3578/// is needed.
3579class BasicTTIImpl : public BasicTTIImplBase<BasicTTIImpl> {
3580 using BaseT = BasicTTIImplBase<BasicTTIImpl>;
3581
3582 friend class BasicTTIImplBase<BasicTTIImpl>;
3583
3584 const TargetSubtargetInfo *ST;
3585 const TargetLoweringBase *TLI;
3586
3587 const TargetSubtargetInfo *getST() const { return ST; }
3588 const TargetLoweringBase *getTLI() const { return TLI; }
3589
3590public:
3591 LLVM_ABI explicit BasicTTIImpl(const TargetMachine *TM, const Function &F);
3592};
3593
3594} // end namespace llvm
3595
3596#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:231
void setBit(unsigned BitPosition)
Set the given bit to 1 whose position is given as "bitPosition".
Definition APInt.h:1351
bool sgt(const APInt &RHS) const
Signed greater than comparison.
Definition APInt.h:1206
unsigned getBitWidth() const
Return the number of bits in the APInt.
Definition APInt.h:1509
bool slt(const APInt &RHS) const
Signed less than comparison.
Definition APInt.h:1135
static APInt getZero(unsigned numBits)
Get the '0' value for the specified bit-width.
Definition APInt.h:197
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 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 *CxtI=nullptr) 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 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
std::optional< unsigned > getMaxVScale() 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 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
bool isSingleThreaded() 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 getShuffleCost(TTI::ShuffleKind Kind, VectorType *DstTy, VectorType *SrcTy, TTI::TargetCostKind CostKind, ArrayRef< int > Mask, int Index, VectorType *SubTp, ArrayRef< const Value * > Args={}, const Instruction *CxtI=nullptr) 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:324
static constexpr ElementCount getFixed(ScalarTy MinVal)
Definition TypeSize.h:309
constexpr bool isScalar() const
Exactly one element.
Definition TypeSize.h:320
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:867
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:348
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:911
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:683
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 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.
virtual bool isFreeAddrSpaceCast(unsigned SrcAS, unsigned DestAS) const
Returns true if a cast from SrcAS to DestAS is "cheap", such that e.g.
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 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 getArithmeticInstrCost(unsigned Opcode, Type *Ty, TTI::TargetCostKind CostKind, TTI::OperandValueInfo Opd1Info, TTI::OperandValueInfo Opd2Info, ArrayRef< const Value * > Args, const Instruction *CxtI=nullptr) 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
LLVM_ABI bool isArch64Bit() const
Test whether the architecture is 64-bit.
Definition Triple.cpp:1822
bool isAArch64() const
Tests whether the target is AArch64 (little and big endian).
Definition Triple.h:1094
static constexpr TypeSize getFixed(ScalarTy ExactSize)
Definition TypeSize.h:343
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:288
bool isPointerTy() const
True if this is an instance of PointerType.
Definition Type.h:282
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:307
Type * getScalarType() const
If this is a vector type, return the element type, otherwise return 'this'.
Definition Type.h:368
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:232
static LLVM_ABI IntegerType * getInt1Ty(LLVMContext &C)
Definition Type.cpp:306
static LLVM_ABI IntegerType * getIntNTy(LLVMContext &C, unsigned N)
Definition Type.cpp:313
bool isFPOrFPVectorTy() const
Return true if this is a FP type or a vector of FP.
Definition Type.h:227
Type * getContainedType(unsigned i) const
This method is used to implement the type iterator (defined at the end of the file).
Definition Type.h:397
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:255
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:3041
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:789
@ SMULFIX
RESULT = [US]MULFIX(LHS, RHS, SCALE) - Perform fixed point multiplication on 2 integers with the same...
Definition ISDOpcodes.h:394
@ FMA
FMA - Perform a * b + c with no intermediate rounding step.
Definition ISDOpcodes.h:520
@ 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:417
@ ABS
ABS - Determine the unsigned absolute value of a signed integer value of the same bitwidth.
Definition ISDOpcodes.h:749
@ 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:780
@ 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:352
@ BRIND
BRIND - Indirect branch.
@ BR_JT
BR_JT - Jumptable branch.
@ FCANONICALIZE
Returns platform specific canonical encoding of a floating point number.
Definition ISDOpcodes.h:543
@ SSUBSAT
RESULT = [US]SUBSAT(LHS, RHS) - Perform saturation subtraction on 2 integers with the same bit width ...
Definition ISDOpcodes.h:374
@ SELECT
Select(COND, TRUEVAL, FALSEVAL).
Definition ISDOpcodes.h:806
@ SADDO
RESULT, BOOL = [SU]ADDO(LHS, RHS) - Overflow-aware nodes for addition.
Definition ISDOpcodes.h:348
@ 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:356
@ SMIN
[US]{MIN/MAX} - Binary minimum or maximum of signed or unsigned integers.
Definition ISDOpcodes.h:729
@ 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:815
@ 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:737
@ 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:955
@ FCOPYSIGN
FCOPYSIGN(X, Y) - Return the value of X with the sign of Y.
Definition ISDOpcodes.h:536
@ SADDSAT
RESULT = [US]ADDSAT(LHS, RHS) - Perform saturation addition on 2 integers with the same bit width (W)...
Definition ISDOpcodes.h:365
@ 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:1739
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:840
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:2554
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:1151
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:1746
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).