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.
181 bool hasKnownLowerThroughputFromSchedulingModel(unsigned Opcode1,
182 unsigned Opcode2) const;
183
186 TTI::TargetCostKind CostKind) const override;
187
190
193
194 bool isExtPartOfAvgExpr(const Instruction *ExtUser, Type *Dst,
195 Type *Src) const;
196
198 getCastInstrCost(unsigned Opcode, Type *Dst, Type *Src,
200 const Instruction *I = nullptr) const override;
201
203 getExtractWithExtendCost(unsigned Opcode, Type *Dst, VectorType *VecTy,
204 unsigned Index,
205 TTI::TargetCostKind CostKind) const override;
206
208 const Instruction *I = nullptr) const override;
209
212 unsigned Index, const Value *Op0, const Value *Op1,
214 TTI::VectorInstrContext::None) const override;
215
216 /// \param ScalarUserAndIdx encodes the information about extracts from a
217 /// vector with 'Scalar' being the value being extracted,'User' being the user
218 /// of the extract(nullptr if user is not known before vectorization) and
219 /// 'Idx' being the extract lane.
221 unsigned Opcode, Type *Ty, TTI::TargetCostKind CostKind, unsigned Index,
222 Value *Scalar,
223 ArrayRef<std::tuple<Value *, User *, int>> ScalarUserAndIdx,
225 TTI::VectorInstrContext::None) const override;
226
229 TTI::TargetCostKind CostKind, unsigned Index,
231 TTI::VectorInstrContext::None) const override;
232
234 getIndexedVectorInstrCostFromEnd(unsigned Opcode, Type *Ty,
236 unsigned Index) const override;
237
240 TTI::TargetCostKind CostKind) const override;
241
243 getArithmeticReductionCostSVE(unsigned Opcode, VectorType *ValTy,
245
248
250 unsigned Opcode, Type *Ty, TTI::TargetCostKind CostKind,
254 const Instruction *CtxI = nullptr) const override;
255
257 getAddressComputationCost(Type *PtrTy, ScalarEvolution *SE, const SCEV *Ptr,
258 TTI::TargetCostKind CostKind) const override;
259
261 unsigned Opcode, Type *ValTy, Type *CondTy, CmpInst::Predicate VecPred,
265 const Instruction *I = nullptr) const override;
266
268 enableMemCmpExpansion(bool OptSize, bool IsZeroCmp) const override;
269 bool useNeonVector(const Type *Ty) const;
270
272 unsigned Opcode, Type *Src, Align Alignment, unsigned AddressSpace,
275 const Instruction *I = nullptr) const override;
276
279
280 bool isLegalMaskedExpandLoad(Type *DataTy, Align Alignment) const override;
281
282 bool isLegalSpeculativeLoad(Type *DataType,
283 unsigned AddressSpace) const override;
284
286 unsigned NumVectors, TTI::MaskSource Mask, VectorType *VectorTy,
287 bool IsStore,
288 std::optional<Instruction::CastOps> CastHint) const override;
289
290 void getUnrollingPreferences(Loop *L, ScalarEvolution &SE,
292 OptimizationRemarkEmitter *ORE) const override;
293
294 void getPeelingPreferences(Loop *L, ScalarEvolution &SE,
295 TTI::PeelingPreferences &PP) const override;
296
297 Value *
298 getOrCreateResultFromMemIntrinsic(IntrinsicInst *Inst, Type *ExpectedType,
299 bool CanCreate = true) const override;
300
301 bool getTgtMemIntrinsic(IntrinsicInst *Inst,
302 MemIntrinsicInfo &Info) const override;
303
304 bool isElementTypeLegalForScalableVector(Type *Ty) const override {
305 if (Ty->isPointerTy())
306 return true;
307
308 if (Ty->isBFloatTy() || Ty->isHalfTy() || Ty->isFloatTy() ||
309 Ty->isDoubleTy())
310 return true;
311
312 if (Ty->isIntegerTy(1) || Ty->isIntegerTy(8) || Ty->isIntegerTy(16) ||
313 Ty->isIntegerTy(32) || Ty->isIntegerTy(64))
314 return true;
315
316 return false;
317 }
318
319 bool isLegalMaskedLoadStore(Type *DataType, Align Alignment) const {
320 if (!ST->isSVEorStreamingSVEAvailable())
321 return false;
322
323 if (isa<FixedVectorType>(DataType) && !ST->useSVEForFixedLengthVectors()) {
324 unsigned Bits = DataType->getPrimitiveSizeInBits();
325 if (Bits != 64 && Bits != 128)
326 return false; // Fall back to scalarization of masked operations.
327 }
328
329 // Type legalization cannot scalarize the data of a masked load/store.
330 // Reject types that would be legalized to a scalar (e.g. <1 x half>).
331 if (isa<FixedVectorType>(DataType) &&
332 !getTypeLegalizationCost(DataType).second.isVector())
333 return false;
334
335 return isElementTypeLegalForScalableVector(DataType->getScalarType());
336 }
337
338 bool isLegalMaskedLoad(Type *DataType, Align Alignment,
339 unsigned /*AddressSpace*/,
340 TTI::MaskKind /*MaskKind*/) const override {
341 return isLegalMaskedLoadStore(DataType, Alignment);
342 }
343
344 bool isLegalMaskedStore(Type *DataType, Align Alignment,
345 unsigned /*AddressSpace*/,
346 TTI::MaskKind /*MaskKind*/) const override {
347 return isLegalMaskedLoadStore(DataType, Alignment);
348 }
349
351 assert(Ty->isIntegerTy() || Ty->isFloatingPointTy());
352 // 32-bit and 64-bit element types are legal if we have SVE.
353 if (is_contained({32u, 64u}, Ty->getScalarSizeInBits()))
354 return true;
355
356 // 8-bit and 16-bit types require +sve2p2 or +sme2p2.
357 if (is_contained({8u, 16u}, Ty->getScalarSizeInBits()))
358 return ST->hasSVE2p2() || ST->hasSME2p2();
359
360 return false;
361 }
362
363 bool isLegalMaskedCompressStore(Type *DataType,
364 Align Alignment) const override;
365
366 bool isLegalMaskedGatherScatter(Type *DataType) const {
367 if (!ST->isSVEAvailable())
368 return false;
369
370 // For fixed vectors, scalarize if not using SVE for them.
371 auto *DataTypeFVTy = dyn_cast<FixedVectorType>(DataType);
372 if (DataTypeFVTy && (!ST->useSVEForFixedLengthVectors() ||
373 DataTypeFVTy->getNumElements() < 2))
374 return false;
375
376 return isElementTypeLegalForScalableVector(DataType->getScalarType());
377 }
378
379 bool isLegalMaskedGather(Type *DataType, Align Alignment) const override {
380 return isLegalMaskedGatherScatter(DataType);
381 }
382
383 bool isLegalMaskedScatter(Type *DataType, Align Alignment) const override {
384 return isLegalMaskedGatherScatter(DataType);
385 }
386
387 bool isLegalBroadcastLoad(Type *ElementTy,
388 ElementCount NumElements) const override {
389 // Return true if we can generate a `ld1r` splat load instruction.
390 if (!ST->hasNEON() || NumElements.isScalable())
391 return false;
392 switch (unsigned ElementBits = ElementTy->getScalarSizeInBits()) {
393 case 8:
394 case 16:
395 case 32:
396 case 64: {
397 // We accept bit-widths >= 64bits and elements {8,16,32,64} bits.
398 unsigned VectorBits = NumElements.getFixedValue() * ElementBits;
399 return VectorBits >= 64;
400 }
401 }
402 return false;
403 }
404
405 std::optional<bool> isLegalNTStoreLoad(Type *DataType,
406 Align Alignment) const {
407 // Currently we only support NT load and store lowering for little-endian
408 // targets.
409 //
410 // Coordinated with LDNP and STNP constraints in
411 // `llvm/lib/Target/AArch64/AArch64InstrInfo.td` and
412 // `AArch64ISelLowering.cpp`
413 if (!ST->isLittleEndian())
414 return false;
415
416 // NOTE: The logic below is mostly geared towards LV, which calls it with
417 // vectors with 2 elements. We might want to improve that, if other
418 // users show up.
419 // Nontemporal vector loads/stores can be directly lowered to LDNP/STNP, if
420 // the vector can be halved so that each half fits into a register. That's
421 // the case if the element type fits into a register and the number of
422 // elements is a power of 2 > 1.
423 if (auto *DataTypeTy = dyn_cast<FixedVectorType>(DataType)) {
424 unsigned NumElements = DataTypeTy->getNumElements();
425 unsigned EltSize = DataTypeTy->getElementType()->getScalarSizeInBits();
426 return NumElements > 1 && isPowerOf2_64(NumElements) && EltSize >= 8 &&
427 EltSize <= 128 && isPowerOf2_64(EltSize);
428 }
429 return std::nullopt;
430 }
431
432 bool isLegalNTStore(Type *DataType, Align Alignment) const override {
433 if (auto Result = isLegalNTStoreLoad(DataType, Alignment))
434 return *Result;
435 // Fallback to target independent logic
436 return BaseT::isLegalNTStore(DataType, Alignment);
437 }
438
439 bool isLegalNTLoad(Type *DataType, Align Alignment) const override {
440 if (auto Result = isLegalNTStoreLoad(DataType, Alignment))
441 return *Result;
442 // Fallback to target independent logic
443 return BaseT::isLegalNTLoad(DataType, Alignment);
444 }
445
447 unsigned Opcode, Type *InputTypeA, Type *InputTypeB, Type *AccumType,
449 TTI::PartialReductionExtendKind OpBExtend, std::optional<unsigned> BinOp,
451 std::optional<FastMathFlags> FMF) const override;
452
453 bool enableOrderedReductions() const override { return true; }
454
456 unsigned Opcode, Type *VecTy, unsigned Factor, ArrayRef<unsigned> Indices,
457 Align Alignment, unsigned AddressSpace, TTI::TargetCostKind CostKind,
458 bool UseMaskForCond = false, bool UseMaskForGaps = false) const override;
459
461 const Instruction &I,
462 bool &AllowPromotionWithoutCommonHeader) const override;
463
464 bool shouldExpandReduction(const IntrinsicInst *II) const override {
465 return false;
466 }
467
468 unsigned getGISelRematGlobalCost() const override { return 2; }
469
471
472 unsigned getMinTripCountTailFoldingThreshold() const override {
473 return ST->hasSVE() ? 5 : 0;
474 }
475
480
481 bool preferFixedOverScalableIfEqualCost() const override;
482
483 unsigned getEpilogueVectorizationMinVF() const override;
484
485 bool preferTailFoldingOverEpilogue(TailFoldingInfo *TFI) const override;
486
487 bool supportsScalableVectors() const override {
488 return ST->isSVEorStreamingSVEAvailable();
489 }
490
491 bool enableScalableVectorization() const override;
492
494 ElementCount VF) const override;
495
496 bool preferPredicatedReductionSelect() const override { return ST->hasSVE(); }
497
498 /// FP16 and BF16 operations are lowered to fptrunc(op(fpext, fpext) if the
499 /// architecture features are not present.
500 std::optional<InstructionCost> getFP16BF16PromoteCost(
502 TTI::OperandValueInfo Op2Info, bool IncludeTrunc, bool CanUseSVE,
503 std::function<InstructionCost(Type *)> InstCost) const;
504
506 getArithmeticReductionCost(unsigned Opcode, VectorType *Ty,
507 std::optional<FastMathFlags> FMF,
508 TTI::TargetCostKind CostKind) const override;
509
511 getExtendedReductionCost(unsigned Opcode, bool IsUnsigned, Type *ResTy,
512 VectorType *ValTy, std::optional<FastMathFlags> FMF,
513 TTI::TargetCostKind CostKind) const override;
514
516 bool IsUnsigned, unsigned RedOpcode, Type *ResTy, VectorType *Ty,
518
522 VectorType *SubTp, ArrayRef<const Value *> Args = {},
523 const Instruction *CtxI = nullptr,
525 TTI::VectorInstrContext::None) const override;
526
528 getScalarizationOverhead(VectorType *Ty, const APInt &DemandedElts,
529 bool Insert, bool Extract,
531 bool ForPoisonSrc = true, ArrayRef<Value *> VL = {},
533 TTI::VectorInstrContext::None) const override;
534
535 /// Return the cost of the scaling factor used in the addressing
536 /// mode represented by AM for this target, for a load/store
537 /// of the specified type.
538 /// If the AM is supported, the return value must be >= 0.
539 /// If the AM is not supported, it returns an invalid cost.
540 InstructionCost getScalingFactorCost(Type *Ty, GlobalValue *BaseGV,
541 StackOffset BaseOffset, bool HasBaseReg,
542 int64_t Scale,
543 unsigned AddrSpace) const override;
544
545 bool isLegalAddressingMode(Type *Ty, GlobalValue *BaseGV, int64_t BaseOffset,
546 bool HasBaseReg, int64_t Scale, unsigned AddrSpace,
547 Instruction *I = nullptr,
548 int64_t ScalableOffset = 0) const override;
549
550 bool enableSelectOptimize() const override {
551 return ST->enableSelectOptimize();
552 }
553
554 bool shouldTreatInstructionLikeSelect(const Instruction *I) const override;
555
556 unsigned getStoreMinimumVF(unsigned VF, Type *ScalarMemTy, Type *ScalarValTy,
557 Align Alignment,
558 unsigned AddrSpace) const override {
559 // We can vectorize store v4i8.
560 if (ScalarMemTy->isIntegerTy(8) && isPowerOf2_32(VF) && VF >= 4)
561 return 4;
562
563 return BaseT::getStoreMinimumVF(VF, ScalarMemTy, ScalarValTy, Alignment,
564 AddrSpace);
565 }
566
567 std::optional<unsigned> getMinPageSize() const override { return 4096; }
568
570 const TargetTransformInfo::LSRCost &C2) const override;
571
573 SmallVectorImpl<Use *> &Ops) const override;
574
575 bool enableAggressiveInterleaving(bool) const override {
576 return ST->enableAggressiveInterleaving();
577 }
578 /// @}
579};
580
581} // end namespace llvm
582
583#endif // LLVM_LIB_TARGET_AARCH64_AARCH64TARGETTRANSFORMINFO_H
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
unsigned 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 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
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
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
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:200
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
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.