LLVM 24.0.0git
AArch64TargetTransformInfo.h
Go to the documentation of this file.
1//===- AArch64TargetTransformInfo.h - AArch64 specific TTI ------*- 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/// \file
9/// This file a TargetTransformInfoImplBase conforming object specific to the
10/// AArch64 target machine. It uses the target's detailed information to
11/// provide more precise answers to certain TTI queries, while letting the
12/// target independent and default TTI implementations handle the rest.
13///
14//===----------------------------------------------------------------------===//
15
16#ifndef LLVM_LIB_TARGET_AARCH64_AARCH64TARGETTRANSFORMINFO_H
17#define LLVM_LIB_TARGET_AARCH64_AARCH64TARGETTRANSFORMINFO_H
18
19#include "AArch64.h"
20#include "AArch64Subtarget.h"
24#include "llvm/IR/FMF.h"
25#include "llvm/IR/Function.h"
26#include "llvm/IR/Intrinsics.h"
28#include <cstdint>
29#include <optional>
30
31namespace llvm {
32
33class APInt;
34class Instruction;
35class IntrinsicInst;
36class Loop;
37class SCEV;
38class ScalarEvolution;
39class Type;
40class Value;
41class VectorType;
42
43class AArch64TTIImpl final : public BasicTTIImplBase<AArch64TTIImpl> {
45 using TTI = TargetTransformInfo;
46
47 friend BaseT;
48
49 const AArch64Subtarget *ST;
50 const AArch64TargetLowering *TLI;
51
52 const AArch64Subtarget *getST() const { return ST; }
53 const AArch64TargetLowering *getTLI() const { return TLI; }
54
55 /// Given a add/sub/mul operation, detect a widening addl/subl/mull pattern
56 /// where both operands can be treated like extends. Returns the minimal type
57 /// needed to compute the operation.
58 Type *isBinExtWideningInstruction(unsigned Opcode, Type *DstTy,
60 Type *SrcOverrideTy = nullptr) const;
61 /// Given a add/sub operation with a single extend operand, detect a
62 /// widening addw/subw pattern.
63 bool isSingleExtWideningInstruction(unsigned Opcode, Type *DstTy,
65 Type *SrcOverrideTy = nullptr) const;
66
67 // A helper function called by 'getVectorInstrCost'.
68 //
69 // 'Val' and 'Index' are forwarded from 'getVectorInstrCost';
70 // \param ScalarUserAndIdx encodes the information about extracts from a
71 /// vector with 'Scalar' being the value being extracted,'User' being the user
72 /// of the extract(nullptr if user is not known before vectorization) and
73 /// 'Idx' being the extract lane.
74 InstructionCost getVectorInstrCostHelper(
75 unsigned Opcode, Type *Ty, TTI::TargetCostKind CostKind, unsigned Index,
76 const Instruction *I = nullptr, Value *Scalar = nullptr,
77 ArrayRef<std::tuple<Value *, User *, int>> ScalarUserAndIdx = {},
79
80public:
81 explicit AArch64TTIImpl(const AArch64TargetMachine *TM, const Function &F)
82 : BaseT(TM, F.getDataLayout()), ST(TM->getSubtargetImpl(F)),
83 TLI(ST->getTargetLowering()) {}
84
85 bool areInlineCompatible(const Function *Caller,
86 const Function *Callee) const override;
87
88 bool areTypesABICompatible(const Function *Caller, const Function *Callee,
89 ArrayRef<Type *> Types) const override;
90
91 unsigned getInlineCallPenalty(const Function *F, const CallBase &Call,
92 unsigned DefaultCallPenalty) const override;
93
94 APInt getFeatureMask(const Function &F) const override;
95 APInt getPriorityMask(const Function &F) const override;
96
97 bool isMultiversionedFunction(const Function &F) const override;
98
99 /// \name Scalar TTI Implementations
100 /// @{
101
103 InstructionCost getIntImmCost(int64_t Val) const;
105 TTI::TargetCostKind CostKind) const override;
106 InstructionCost getIntImmCostInst(unsigned Opcode, unsigned Idx,
107 const APInt &Imm, Type *Ty,
109 Instruction *Inst = nullptr) const override;
111 getIntImmCostIntrin(Intrinsic::ID IID, unsigned Idx, const APInt &Imm,
112 Type *Ty, TTI::TargetCostKind CostKind) const override;
113 TTI::PopcntSupportKind getPopcntSupport(unsigned TyWidth) const override;
114
115 /// @}
116
117 /// \name Vector TTI Implementations
118 /// @{
119
120 bool enableInterleavedAccessVectorization() const override { return true; }
121
123 return ST->hasSVE();
124 }
125
126 unsigned getNumberOfRegisters(unsigned ClassID) const override {
127 bool Vector = (ClassID == 1);
128 if (Vector) {
129 if (ST->hasNEON())
130 return 32;
131 return 0;
132 }
133 return 31;
134 }
135
138 TTI::TargetCostKind CostKind) const override;
139
140 std::optional<Instruction *>
142
143 std::optional<Value *> simplifyDemandedVectorEltsIntrinsic(
144 InstCombiner &IC, IntrinsicInst &II, APInt DemandedElts, APInt &UndefElts,
145 APInt &UndefElts2, APInt &UndefElts3,
146 std::function<void(Instruction *, unsigned, APInt, APInt &)>
147 SimplifyAndSetOp) const override;
148
151
152 unsigned getMinVectorRegisterBitWidth() const override {
153 return ST->getMinVectorRegisterBitWidth();
154 }
155
156 std::optional<unsigned> getVScaleForTuning() const override {
157 return ST->getVScaleForTuning();
158 }
159
161 TargetTransformInfo::RegisterKind K) const override;
162
163 /// Try to return an estimate cost factor that can be used as a multiplier
164 /// when scalarizing an operation for a vector with ElementCount \p VF.
165 /// For scalable vectors this currently takes the most pessimistic view based
166 /// upon the maximum possible value for vscale.
167 unsigned getMaxNumElements(ElementCount VF) const {
168 if (!VF.isScalable())
169 return VF.getFixedValue();
170
171 return VF.getKnownMinValue() * ST->getVScaleForTuning();
172 }
173
175 bool HasUnorderedReductions) const override;
176
177 bool prefersVectorizedAddressing() const override;
178
179 /// Check whether Opcode1 has less throughput according to the scheduling
180 /// model than Opcode2. For variant scheduling classes, the lowest throughput
181 /// of Opcode1 and the highest throughput of Opcode2 are compared among all
182 /// the scheduling classes they may be resolved to.
183 bool hasKnownLowerThroughputFromSchedulingModel(unsigned Opcode1,
184 unsigned Opcode2) const;
185
188 TTI::TargetCostKind CostKind) const override;
189
192
195
196 bool isExtPartOfAvgExpr(const Instruction *ExtUser, Type *Dst,
197 Type *Src) const;
198
200 getCastInstrCost(unsigned Opcode, Type *Dst, Type *Src,
202 const Instruction *I = nullptr) const override;
203
205 getExtractWithExtendCost(unsigned Opcode, Type *Dst, VectorType *VecTy,
206 unsigned Index,
207 TTI::TargetCostKind CostKind) const override;
208
210 const Instruction *I = nullptr) const override;
211
214 unsigned Index, const Value *Op0, const Value *Op1,
216 TTI::VectorInstrContext::None) const override;
217
218 /// \param ScalarUserAndIdx encodes the information about extracts from a
219 /// vector with 'Scalar' being the value being extracted,'User' being the user
220 /// of the extract(nullptr if user is not known before vectorization) and
221 /// 'Idx' being the extract lane.
223 unsigned Opcode, Type *Ty, TTI::TargetCostKind CostKind, unsigned Index,
224 Value *Scalar,
225 ArrayRef<std::tuple<Value *, User *, int>> ScalarUserAndIdx,
227 TTI::VectorInstrContext::None) const override;
228
231 TTI::TargetCostKind CostKind, unsigned Index,
233 TTI::VectorInstrContext::None) const override;
234
236 getIndexedVectorInstrCostFromEnd(unsigned Opcode, Type *Ty,
238 unsigned Index) const override;
239
242 TTI::TargetCostKind CostKind) const override;
243
245 getArithmeticReductionCostSVE(unsigned Opcode, VectorType *ValTy,
247
250
252 unsigned Opcode, Type *Ty, TTI::TargetCostKind CostKind,
256 const Instruction *CtxI = nullptr) const override;
257
259 getAddressComputationCost(Type *PtrTy, ScalarEvolution *SE, const SCEV *Ptr,
260 TTI::TargetCostKind CostKind) const override;
261
263 unsigned Opcode, Type *ValTy, Type *CondTy, CmpInst::Predicate VecPred,
267 const Instruction *I = nullptr) const override;
268
270 enableMemCmpExpansion(bool OptSize, bool IsZeroCmp) const override;
271 bool useNeonVector(const Type *Ty) const;
272
274 unsigned Opcode, Type *Src, Align Alignment, unsigned AddressSpace,
277 const Instruction *I = nullptr) const override;
278
281
282 bool isLegalMaskedExpandLoad(Type *DataTy, Align Alignment) const override;
283
284 bool isLegalSpeculativeLoad(Type *DataType,
285 unsigned AddressSpace) const override;
286
288 unsigned NumVectors, TTI::MaskSource Mask, VectorType *VectorTy,
289 bool IsStore,
290 std::optional<Instruction::CastOps> CastHint) const override;
291
292 void getUnrollingPreferences(Loop *L, ScalarEvolution &SE,
294 OptimizationRemarkEmitter *ORE) const override;
295
296 void getPeelingPreferences(Loop *L, ScalarEvolution &SE,
297 TTI::PeelingPreferences &PP) const override;
298
299 Value *
300 getOrCreateResultFromMemIntrinsic(IntrinsicInst *Inst, Type *ExpectedType,
301 bool CanCreate = true) const override;
302
303 bool getTgtMemIntrinsic(IntrinsicInst *Inst,
304 MemIntrinsicInfo &Info) const override;
305
306 bool isElementTypeLegalForScalableVector(Type *Ty) const override {
307 if (Ty->isPointerTy())
308 return true;
309
310 if (Ty->isBFloatTy() || Ty->isHalfTy() || Ty->isFloatTy() ||
311 Ty->isDoubleTy())
312 return true;
313
314 if (Ty->isIntegerTy(1) || Ty->isIntegerTy(8) || Ty->isIntegerTy(16) ||
315 Ty->isIntegerTy(32) || Ty->isIntegerTy(64))
316 return true;
317
318 return false;
319 }
320
321 bool isLegalMaskedLoadStore(Type *DataType, Align Alignment) const {
322 if (!ST->isSVEorStreamingSVEAvailable())
323 return false;
324
325 if (isa<FixedVectorType>(DataType) && !ST->useSVEForFixedLengthVectors()) {
326 unsigned Bits = DataType->getPrimitiveSizeInBits();
327 if (Bits != 64 && Bits != 128)
328 return false; // Fall back to scalarization of masked operations.
329 }
330
331 // Type legalization cannot scalarize the data of a masked load/store.
332 // Reject types that would be legalized to a scalar (e.g. <1 x half>).
333 if (isa<FixedVectorType>(DataType) &&
334 !getTypeLegalizationCost(DataType).second.isVector())
335 return false;
336
337 return isElementTypeLegalForScalableVector(DataType->getScalarType());
338 }
339
340 bool isLegalMaskedLoad(Type *DataType, Align Alignment,
341 unsigned /*AddressSpace*/,
342 TTI::MaskKind /*MaskKind*/) const override {
343 return isLegalMaskedLoadStore(DataType, Alignment);
344 }
345
346 bool isLegalMaskedStore(Type *DataType, Align Alignment,
347 unsigned /*AddressSpace*/,
348 TTI::MaskKind /*MaskKind*/) const override {
349 return isLegalMaskedLoadStore(DataType, Alignment);
350 }
351
353 assert(Ty->isIntegerTy() || Ty->isFloatingPointTy());
354 // 32-bit and 64-bit element types are legal if we have SVE.
355 if (is_contained({32u, 64u}, Ty->getScalarSizeInBits()))
356 return true;
357
358 // 8-bit and 16-bit types require +sve2p2 or +sme2p2.
359 if (is_contained({8u, 16u}, Ty->getScalarSizeInBits()))
360 return ST->hasSVE2p2() || ST->hasSME2p2();
361
362 return false;
363 }
364
365 bool isLegalMaskedCompressStore(Type *DataType,
366 Align Alignment) const override;
367
368 bool isLegalMaskedGatherScatter(Type *DataType) const {
369 if (!ST->isSVEAvailable())
370 return false;
371
372 // For fixed vectors, scalarize if not using SVE for them.
373 auto *DataTypeFVTy = dyn_cast<FixedVectorType>(DataType);
374 if (DataTypeFVTy && (!ST->useSVEForFixedLengthVectors() ||
375 DataTypeFVTy->getNumElements() < 2))
376 return false;
377
378 return isElementTypeLegalForScalableVector(DataType->getScalarType());
379 }
380
381 bool isLegalMaskedGather(Type *DataType, Align Alignment) const override {
382 return isLegalMaskedGatherScatter(DataType);
383 }
384
385 bool isLegalMaskedScatter(Type *DataType, Align Alignment) const override {
386 return isLegalMaskedGatherScatter(DataType);
387 }
388
389 bool isLegalBroadcastLoad(Type *ElementTy,
390 ElementCount NumElements) const override {
391 // Return true if we can generate a `ld1r` splat load instruction.
392 if (!ST->hasNEON() || NumElements.isScalable())
393 return false;
394 switch (unsigned ElementBits = ElementTy->getScalarSizeInBits()) {
395 case 8:
396 case 16:
397 case 32:
398 case 64: {
399 // We accept bit-widths >= 64bits and elements {8,16,32,64} bits.
400 unsigned VectorBits = NumElements.getFixedValue() * ElementBits;
401 return VectorBits >= 64;
402 }
403 }
404 return false;
405 }
406
407 std::optional<bool> isLegalNTStoreLoad(Type *DataType,
408 Align Alignment) const {
409 // Currently we only support NT load and store lowering for little-endian
410 // targets.
411 //
412 // Coordinated with LDNP and STNP constraints in
413 // `llvm/lib/Target/AArch64/AArch64InstrInfo.td` and
414 // `AArch64ISelLowering.cpp`
415 if (!ST->isLittleEndian())
416 return false;
417
418 // NOTE: The logic below is mostly geared towards LV, which calls it with
419 // vectors with 2 elements. We might want to improve that, if other
420 // users show up.
421 // Nontemporal vector loads/stores can be directly lowered to LDNP/STNP, if
422 // the vector can be halved so that each half fits into a register. That's
423 // the case if the element type fits into a register and the number of
424 // elements is a power of 2 > 1.
425 if (auto *DataTypeTy = dyn_cast<FixedVectorType>(DataType)) {
426 unsigned NumElements = DataTypeTy->getNumElements();
427 unsigned EltSize = DataTypeTy->getElementType()->getScalarSizeInBits();
428 return NumElements > 1 && isPowerOf2_64(NumElements) && EltSize >= 8 &&
429 EltSize <= 128 && isPowerOf2_64(EltSize);
430 }
431 return std::nullopt;
432 }
433
434 bool isLegalNTStore(Type *DataType, Align Alignment) const override {
435 if (auto Result = isLegalNTStoreLoad(DataType, Alignment))
436 return *Result;
437 // Fallback to target independent logic
438 return BaseT::isLegalNTStore(DataType, Alignment);
439 }
440
441 bool isLegalNTLoad(Type *DataType, Align Alignment) const override {
442 if (auto Result = isLegalNTStoreLoad(DataType, Alignment))
443 return *Result;
444 // Fallback to target independent logic
445 return BaseT::isLegalNTLoad(DataType, Alignment);
446 }
447
449 unsigned Opcode, Type *InputTypeA, Type *InputTypeB, Type *AccumType,
451 TTI::PartialReductionExtendKind OpBExtend, std::optional<unsigned> BinOp,
453 std::optional<FastMathFlags> FMF) const override;
454
455 bool enableOrderedReductions() const override { return true; }
456
458 unsigned Opcode, Type *VecTy, unsigned Factor, ArrayRef<unsigned> Indices,
459 Align Alignment, unsigned AddressSpace, TTI::TargetCostKind CostKind,
460 bool UseMaskForCond = false, bool UseMaskForGaps = false) const override;
461
463 const Instruction &I,
464 bool &AllowPromotionWithoutCommonHeader) const override;
465
466 bool shouldExpandReduction(const IntrinsicInst *II) const override {
467 return false;
468 }
469
470 unsigned getGISelRematGlobalCost() const override { return 2; }
471
473
474 unsigned getMinTripCountTailFoldingThreshold() const override {
475 return ST->hasSVE() ? 5 : 0;
476 }
477
482
483 bool preferFixedOverScalableIfEqualCost() const override;
484
485 unsigned getEpilogueVectorizationMinVF() const override;
486
487 bool preferTailFoldingOverEpilogue(TailFoldingInfo *TFI) const override;
488
489 bool supportsScalableVectors() const override {
490 return ST->isSVEorStreamingSVEAvailable();
491 }
492
493 bool enableScalableVectorization() const override;
494
496 ElementCount VF) const override;
497
498 bool preferPredicatedReductionSelect() const override { return ST->hasSVE(); }
499
500 /// FP16 and BF16 operations are lowered to fptrunc(op(fpext, fpext) if the
501 /// architecture features are not present.
502 std::optional<InstructionCost> getFP16BF16PromoteCost(
504 TTI::OperandValueInfo Op2Info, bool IncludeTrunc, bool CanUseSVE,
505 std::function<InstructionCost(Type *)> InstCost) const;
506
508 getArithmeticReductionCost(unsigned Opcode, VectorType *Ty,
509 std::optional<FastMathFlags> FMF,
510 TTI::TargetCostKind CostKind) const override;
511
513 getExtendedReductionCost(unsigned Opcode, bool IsUnsigned, Type *ResTy,
514 VectorType *ValTy, std::optional<FastMathFlags> FMF,
515 TTI::TargetCostKind CostKind) const override;
516
518 bool IsUnsigned, unsigned RedOpcode, Type *ResTy, VectorType *Ty,
520
524 VectorType *SubTp, ArrayRef<const Value *> Args = {},
525 const Instruction *CtxI = nullptr,
527 TTI::VectorInstrContext::None) const override;
528
530 getScalarizationOverhead(VectorType *Ty, const APInt &DemandedElts,
531 bool Insert, bool Extract,
533 bool ForPoisonSrc = true, ArrayRef<Value *> VL = {},
535 TTI::VectorInstrContext::None) const override;
536
537 /// Return the cost of the scaling factor used in the addressing
538 /// mode represented by AM for this target, for a load/store
539 /// of the specified type.
540 /// If the AM is supported, the return value must be >= 0.
541 /// If the AM is not supported, it returns an invalid cost.
542 InstructionCost getScalingFactorCost(Type *Ty, GlobalValue *BaseGV,
543 StackOffset BaseOffset, bool HasBaseReg,
544 int64_t Scale,
545 unsigned AddrSpace) const override;
546
547 bool LSRWithInstrQueries() const override { return true; }
548
549 bool enableSelectOptimize() const override {
550 return ST->enableSelectOptimize();
551 }
552
553 bool shouldTreatInstructionLikeSelect(const Instruction *I) const override;
554
555 unsigned getStoreMinimumVF(unsigned VF, Type *ScalarMemTy, Type *ScalarValTy,
556 Align Alignment,
557 unsigned AddrSpace) const override {
558 // We can vectorize store v4i8.
559 if (ScalarMemTy->isIntegerTy(8) && isPowerOf2_32(VF) && VF >= 4)
560 return 4;
561
562 return BaseT::getStoreMinimumVF(VF, ScalarMemTy, ScalarValTy, Alignment,
563 AddrSpace);
564 }
565
566 std::optional<unsigned> getMinPageSize() const override { return 4096; }
567
569 const TargetTransformInfo::LSRCost &C2) const override;
570
572 SmallVectorImpl<Use *> &Ops) const override;
573
574 bool enableAggressiveInterleaving(bool) const override {
575 return ST->enableAggressiveInterleaving();
576 }
577 /// @}
578
579 bool hasPossibleIncompatibleOps(const Function *F, bool ConsiderZA,
580 bool ConsiderZT, bool ConsiderSM) const;
581};
582
583} // end namespace llvm
584
585#endif // LLVM_LIB_TARGET_AARCH64_AARCH64TARGETTRANSFORMINFO_H
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
uint64_t Imm
This file provides a helper that implements much of the TTI interface in terms of the target-independ...
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")))
This file defines an InstructionCost class that is used when calculating the cost of an instruction,...
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
uint64_t IntrinsicInst * II
This pass exposes codegen information to IR-level passes.
InstructionCost getArithmeticReductionCost(unsigned Opcode, VectorType *Ty, std::optional< FastMathFlags > FMF, TTI::TargetCostKind CostKind) const override
InstructionCost getScalarizationOverhead(VectorType *Ty, const APInt &DemandedElts, bool Insert, bool Extract, TTI::TargetCostKind CostKind, bool ForPoisonSrc=true, ArrayRef< Value * > VL={}, TTI::VectorInstrContext VIC=TTI::VectorInstrContext::None) const override
bool isLegalNTLoad(Type *DataType, Align Alignment) const override
InstructionCost getCostOfKeepingLiveOverCall(ArrayRef< Type * > Tys) const override
TailFoldingStyle getPreferredTailFoldingStyle() const override
InstructionCost getMaskedMemoryOpCost(const MemIntrinsicCostAttributes &MICA, TTI::TargetCostKind CostKind) const
InstructionCost getGatherScatterOpCost(const MemIntrinsicCostAttributes &MICA, TTI::TargetCostKind CostKind) const
bool hasPossibleIncompatibleOps(const Function *F, bool ConsiderZA, bool ConsiderZT, bool ConsiderSM) const
Returns true if the function has explicit operations that can only be lowered using incompatible inst...
bool isLegalBroadcastLoad(Type *ElementTy, ElementCount NumElements) const override
InstructionCost getAddressComputationCost(Type *PtrTy, ScalarEvolution *SE, const SCEV *Ptr, TTI::TargetCostKind CostKind) const override
bool isExtPartOfAvgExpr(const Instruction *ExtUser, Type *Dst, Type *Src) const
InstructionCost getIntImmCost(int64_t Val) const
Calculate the cost of materializing a 64-bit value.
InstructionCost getIndexedVectorInstrCostFromEnd(unsigned Opcode, Type *Ty, TTI::TargetCostKind CostKind, unsigned Index) const override
std::optional< InstructionCost > getFP16BF16PromoteCost(Type *Ty, TTI::TargetCostKind CostKind, TTI::OperandValueInfo Op1Info, TTI::OperandValueInfo Op2Info, bool IncludeTrunc, bool CanUseSVE, std::function< InstructionCost(Type *)> InstCost) const
FP16 and BF16 operations are lowered to fptrunc(op(fpext, fpext) if the architecture features are not...
bool prefersVectorizedAddressing() const override
unsigned getMinTripCountTailFoldingThreshold() const override
std::optional< unsigned > getVScaleForTuning() const override
bool preferFixedOverScalableIfEqualCost() const override
InstructionCost getIntrinsicInstrCost(const IntrinsicCostAttributes &ICA, TTI::TargetCostKind CostKind) const override
bool isLegalMaskedScatter(Type *DataType, Align Alignment) const override
bool enableAggressiveInterleaving(bool) const override
InstructionCost getMulAccReductionCost(bool IsUnsigned, unsigned RedOpcode, Type *ResTy, VectorType *Ty, TTI::TargetCostKind CostKind=TTI::TCK_RecipThroughput) const override
bool isLegalMaskedStore(Type *DataType, Align Alignment, unsigned, TTI::MaskKind) const override
bool supportsScalableVectors() const override
bool enableSelectOptimize() const override
InstructionCost getVectorInstrCost(unsigned Opcode, Type *Ty, TTI::TargetCostKind CostKind, unsigned Index, const Value *Op0, const Value *Op1, TTI::VectorInstrContext VIC=TTI::VectorInstrContext::None) const override
InstructionCost getIntImmCostInst(unsigned Opcode, unsigned Idx, const APInt &Imm, Type *Ty, TTI::TargetCostKind CostKind, Instruction *Inst=nullptr) const override
bool isElementTypeLegalForScalableVector(Type *Ty) const override
bool hasMultiVectorLoadStore(unsigned NumVectors, TTI::MaskSource Mask, VectorType *VectorTy, bool IsStore, std::optional< Instruction::CastOps > CastHint) const override
bool preferPredicatedReductionSelect() const override
void getPeelingPreferences(Loop *L, ScalarEvolution &SE, TTI::PeelingPreferences &PP) const override
unsigned getStoreMinimumVF(unsigned VF, Type *ScalarMemTy, Type *ScalarValTy, Align Alignment, unsigned AddrSpace) const override
InstructionCost getPartialReductionCost(unsigned Opcode, Type *InputTypeA, Type *InputTypeB, Type *AccumType, ElementCount VF, TTI::PartialReductionExtendKind OpAExtend, TTI::PartialReductionExtendKind OpBExtend, std::optional< unsigned > BinOp, TTI::TargetCostKind CostKind, std::optional< FastMathFlags > FMF) const override
InstructionCost getCastInstrCost(unsigned Opcode, Type *Dst, Type *Src, TTI::CastContextHint CCH, TTI::TargetCostKind CostKind, const Instruction *I=nullptr) const override
unsigned getNumberOfRegisters(unsigned ClassID) const override
bool isLegalMaskedLoad(Type *DataType, Align Alignment, unsigned, TTI::MaskKind) const override
void getUnrollingPreferences(Loop *L, ScalarEvolution &SE, TTI::UnrollingPreferences &UP, OptimizationRemarkEmitter *ORE) const override
bool getTgtMemIntrinsic(IntrinsicInst *Inst, MemIntrinsicInfo &Info) const override
bool preferTailFoldingOverEpilogue(TailFoldingInfo *TFI) const override
InstructionCost getMinMaxReductionCost(Intrinsic::ID IID, VectorType *Ty, FastMathFlags FMF, TTI::TargetCostKind CostKind) const override
InstructionCost getMemoryOpCost(unsigned Opcode, Type *Src, Align Alignment, unsigned AddressSpace, TTI::TargetCostKind CostKind, TTI::OperandValueInfo OpInfo={TTI::OK_AnyValue, TTI::OP_None}, const Instruction *I=nullptr) const override
APInt getPriorityMask(const Function &F) const override
InstructionCost getShuffleCost(TTI::ShuffleKind Kind, VectorType *DstTy, VectorType *SrcTy, TTI::TargetCostKind CostKind, ArrayRef< int > Mask, int Index, VectorType *SubTp, ArrayRef< const Value * > Args={}, const Instruction *CtxI=nullptr, TTI::VectorInstrContext VIC=TTI::VectorInstrContext::None) const override
bool shouldMaximizeVectorBandwidth(TargetTransformInfo::RegisterKind K) const override
bool isLSRCostLess(const TargetTransformInfo::LSRCost &C1, const TargetTransformInfo::LSRCost &C2) const override
InstructionCost getCFInstrCost(unsigned Opcode, TTI::TargetCostKind CostKind, const Instruction *I=nullptr) const override
bool isProfitableToSinkOperands(Instruction *I, SmallVectorImpl< Use * > &Ops) const override
Check if sinking I's operands to I's basic block is profitable, because the operands can be folded in...
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
bool isLegalNTStore(Type *DataType, Align Alignment) const override
bool useNeonVector(const Type *Ty) const
std::optional< Instruction * > instCombineIntrinsic(InstCombiner &IC, IntrinsicInst &II) 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
std::optional< unsigned > getMinPageSize() const override
InstructionCost getExtendedReductionCost(unsigned Opcode, bool IsUnsigned, Type *ResTy, VectorType *ValTy, std::optional< FastMathFlags > FMF, TTI::TargetCostKind CostKind) const override
bool isLegalMaskedLoadStore(Type *DataType, Align Alignment) const
bool isLegalSpeculativeLoad(Type *DataType, unsigned AddressSpace) const override
unsigned getMinVectorRegisterBitWidth() const override
bool isLegalMaskedExpandLoad(Type *DataTy, Align Alignment) const override
TTI::PopcntSupportKind getPopcntSupport(unsigned TyWidth) const override
bool isElementTypeLegalForCompressStore(Type *Ty) const
bool LSRWithInstrQueries() const override
InstructionCost getExtractWithExtendCost(unsigned Opcode, Type *Dst, VectorType *VecTy, unsigned Index, TTI::TargetCostKind CostKind) const override
AArch64TTIImpl(const AArch64TargetMachine *TM, const Function &F)
unsigned getInlineCallPenalty(const Function *F, const CallBase &Call, unsigned DefaultCallPenalty) const override
bool areInlineCompatible(const Function *Caller, const Function *Callee) const override
The compiler must not inline when that may alter the behavior of the program.
unsigned getMaxNumElements(ElementCount VF) const
Try to return an estimate cost factor that can be used as a multiplier when scalarizing an operation ...
bool shouldTreatInstructionLikeSelect(const Instruction *I) const override
bool enableOrderedReductions() const override
bool isMultiversionedFunction(const Function &F) const override
TypeSize getRegisterBitWidth(TargetTransformInfo::RegisterKind K) const override
bool isLegalToVectorizeReduction(const RecurrenceDescriptor &RdxDesc, ElementCount VF) const override
TTI::MemCmpExpansionOptions enableMemCmpExpansion(bool OptSize, bool IsZeroCmp) const override
bool enableInterleavedAccessVectorization() const override
bool isLegalMaskedCompressStore(Type *DataType, Align Alignment) const override
InstructionCost getIntImmCostIntrin(Intrinsic::ID IID, unsigned Idx, const APInt &Imm, Type *Ty, TTI::TargetCostKind CostKind) const override
bool isLegalMaskedGatherScatter(Type *DataType) const
InstructionCost getBranchMispredictPenalty() const override
unsigned getGISelRematGlobalCost() const override
bool shouldConsiderAddressTypePromotion(const Instruction &I, bool &AllowPromotionWithoutCommonHeader) const override
See if I should be considered for address type promotion.
APInt getFeatureMask(const Function &F) 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
bool areTypesABICompatible(const Function *Caller, const Function *Callee, ArrayRef< Type * > Types) const override
bool enableScalableVectorization() const override
InstructionCost getArithmeticInstrCost(unsigned Opcode, Type *Ty, TTI::TargetCostKind CostKind, TTI::OperandValueInfo Op1Info={TTI::OK_AnyValue, TTI::OP_None}, TTI::OperandValueInfo Op2Info={TTI::OK_AnyValue, TTI::OP_None}, ArrayRef< const Value * > Args={}, const Instruction *CtxI=nullptr) const override
InstructionCost getMemIntrinsicInstrCost(const MemIntrinsicCostAttributes &MICA, TTI::TargetCostKind CostKind) const override
bool shouldExpandReduction(const IntrinsicInst *II) const override
Value * getOrCreateResultFromMemIntrinsic(IntrinsicInst *Inst, Type *ExpectedType, bool CanCreate=true) const override
bool isLegalMaskedGather(Type *DataType, Align Alignment) const override
bool hasKnownLowerThroughputFromSchedulingModel(unsigned Opcode1, unsigned Opcode2) const
Check whether Opcode1 has less throughput according to the scheduling model than Opcode2.
bool enableMaskedInterleavedAccessVectorization() const override
unsigned getEpilogueVectorizationMinVF() const override
InstructionCost getSpliceCost(VectorType *Tp, int Index, TTI::TargetCostKind CostKind) const
InstructionCost getArithmeticReductionCostSVE(unsigned Opcode, VectorType *ValTy, TTI::TargetCostKind CostKind) const
InstructionCost getScalingFactorCost(Type *Ty, GlobalValue *BaseGV, StackOffset BaseOffset, bool HasBaseReg, int64_t Scale, unsigned AddrSpace) const override
Return the cost of the scaling factor used in the addressing mode represented by AM for this target,...
std::optional< bool > isLegalNTStoreLoad(Type *DataType, Align Alignment) const
unsigned getMaxInterleaveFactor(ElementCount VF, bool HasUnorderedReductions) const override
Class for arbitrary precision integers.
Definition APInt.h:78
Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition ArrayRef.h:40
unsigned getStoreMinimumVF(unsigned VF, Type *ScalarMemTy, Type *ScalarValTy, Align Alignment, unsigned AddrSpace) const override
std::pair< InstructionCost, MVT > getTypeLegalizationCost(Type *Ty) const
BasicTTIImplBase(const TargetMachine *TM, const DataLayout &DL)
Base class for all callable instructions (InvokeInst and CallInst) Holds everything related to callin...
Predicate
This enumeration lists the possible predicates for CmpInst subclasses.
Definition InstrTypes.h:740
Convenience struct for specifying and reasoning about fast-math flags.
Definition FMF.h:23
The core instruction combiner logic.
A wrapper class for inspecting calls to intrinsic functions.
Represents a single loop in the control flow graph.
Definition LoopInfo.h:40
Information for memory intrinsic cost model.
The RecurrenceDescriptor is used to identify recurrences variables in a loop.
This class represents an analyzed expression in the program.
The main scalar evolution driver.
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
virtual const DataLayout & getDataLayout() const
virtual InstructionCost getIntImmCost(const APInt &Imm, Type *Ty, TTI::TargetCostKind CostKind) const
virtual bool isLegalNTStore(Type *DataType, Align Alignment) const
virtual bool isLegalNTLoad(Type *DataType, Align Alignment) const
This pass provides access to the codegen interfaces that are needed for IR-level transformations.
MaskKind
Some targets only support masked load/store with a constant mask.
TargetCostKind
The kind of cost model.
@ TCK_RecipThroughput
Reciprocal throughput.
MaskSource
Enum describing the source/producer of a mask.
PopcntSupportKind
Flags indicating the kind of support for population count.
llvm::VectorInstrContext VectorInstrContext
ShuffleKind
The various kinds of shuffle patterns for vector queries.
CastContextHint
Represents a hint about the context in which a cast is used.
The instances of the Type class are immutable: once they are created, they are never changed.
Definition Type.h:46
LLVM_ABI unsigned getScalarSizeInBits() const LLVM_READONLY
If this is a vector type, return the getPrimitiveSizeInBits value for the element type.
Definition Type.cpp:222
bool isIntegerTy() const
True if this is an instance of IntegerType.
Definition Type.h:252
LLVM Value Representation.
Definition Value.h:75
Base class of all SIMD vector types.
constexpr ScalarTy getFixedValue() const
Definition TypeSize.h:201
constexpr bool isScalable() const
Returns whether the quantity is scaled by a runtime quantity (vscale).
Definition TypeSize.h:169
constexpr ScalarTy getKnownMinValue() const
Returns the minimum value this quantity can represent.
Definition TypeSize.h:166
CallInst * Call
constexpr char Args[]
Key for Kernel::Metadata::mArgs.
friend class Instruction
Iterator for Instructions in a `BasicBlock.
Definition BasicBlock.h:73
This is an optimization pass for GlobalISel generic memory operations.
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:643
constexpr bool isPowerOf2_64(uint64_t Value)
Return true if the argument is a power of two > 0 (64 bit edition.)
Definition MathExtras.h:285
RelativeUniformCounterPtr ValuesPtrExpr VTableAddr Value
Definition InstrProf.h:143
constexpr bool isPowerOf2_32(uint32_t Value)
Return true if the argument is a power of two > 0.
Definition MathExtras.h:280
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
ArrayRef(const T &OneElt) -> ArrayRef< T >
bool is_contained(R &&Range, const E &Element)
Returns true if Element is found in Range.
Definition STLExtras.h:1963
@ DataAndControlFlow
Use predicate to control both data and control flow.
@ DataWithoutLaneMask
Same as Data, but avoids using the get.active.lane.mask intrinsic to calculate the mask and instead i...
This struct is a compact representation of a valid (non-zero power of two) alignment.
Definition Alignment.h:39
Returns options for expansion of memcmp. IsZeroCmp is.
Parameters that control the generic loop unrolling transformation.