14#ifndef LLVM_ANALYSIS_TARGETTRANSFORMINFOIMPL_H
15#define LLVM_ANALYSIS_TARGETTRANSFORMINFOIMPL_H
61 for (
const Value *Operand : Operands)
82 return SI.getNumCases();
156 virtual std::pair<KnownBits, KnownBits>
160 "expected pointer or pointer vector type");
163 if (
DL.isNonIntegralAddressSpace(FromAS))
164 return std::pair(
KnownBits(
DL.getPointerSizeInBits(FromAS)),
170 CastI->getDestAddressSpace(), *CastI->getPointerOperand());
171 FromPtrBits = KB.second;
179 return {FromPtrBits, ToPtrBits};
185 unsigned ToASBitSize =
DL.getPointerSizeInBits(ToAS);
187 if (
DL.isNonIntegralAddressSpace(FromAS))
197 unsigned DstAS)
const {
198 return {
DL.getPointerSizeInBits(SrcAS), 0};
210 virtual std::pair<const Value *, unsigned>
212 return std::make_pair(
nullptr, -1);
222 assert(
F &&
"A concrete function must be provided to this routine.");
229 if (
F->isIntrinsic())
232 if (
F->hasLocalLinkage() || !
F->hasName())
239 if (Name ==
"copysign" || Name ==
"copysignf" || Name ==
"copysignl" ||
240 Name ==
"fabs" || Name ==
"fabsf" || Name ==
"fabsl" ||
241 Name ==
"fmin" || Name ==
"fminf" || Name ==
"fminl" ||
242 Name ==
"fmax" || Name ==
"fmaxf" || Name ==
"fmaxl" ||
243 Name ==
"sin" || Name ==
"sinf" || Name ==
"sinl" ||
244 Name ==
"cos" || Name ==
"cosf" || Name ==
"cosl" ||
245 Name ==
"tan" || Name ==
"tanf" || Name ==
"tanl" ||
246 Name ==
"asin" || Name ==
"asinf" || Name ==
"asinl" ||
247 Name ==
"acos" || Name ==
"acosf" || Name ==
"acosl" ||
248 Name ==
"atan" || Name ==
"atanf" || Name ==
"atanl" ||
249 Name ==
"atan2" || Name ==
"atan2f" || Name ==
"atan2l"||
250 Name ==
"sinh" || Name ==
"sinhf" || Name ==
"sinhl" ||
251 Name ==
"cosh" || Name ==
"coshf" || Name ==
"coshl" ||
252 Name ==
"tanh" || Name ==
"tanhf" || Name ==
"tanhl" ||
253 Name ==
"sqrt" || Name ==
"sqrtf" || Name ==
"sqrtl" ||
254 Name ==
"exp10" || Name ==
"exp10l" || Name ==
"exp10f")
258 if (Name ==
"pow" || Name ==
"powf" || Name ==
"powl" || Name ==
"exp2" ||
259 Name ==
"exp2l" || Name ==
"exp2f" || Name ==
"floor" ||
260 Name ==
"floorf" || Name ==
"ceil" || Name ==
"round" ||
261 Name ==
"ffs" || Name ==
"ffsl" || Name ==
"abs" || Name ==
"labs" ||
285 virtual std::optional<Instruction *>
290 virtual std::optional<Value *>
293 bool &KnownBitsComputed)
const {
301 SimplifyAndSetOp)
const {
319 int64_t BaseOffset,
bool HasBaseReg,
320 int64_t Scale,
unsigned AddrSpace,
322 int64_t ScalableOffset = 0)
const {
325 return !BaseGV && BaseOffset == 0 && (Scale == 0 || Scale == 1);
372 unsigned DataSize =
DL.getTypeStoreSize(DataType);
379 unsigned DataSize =
DL.getTypeStoreSize(DataType);
397 Align Alignment)
const {
402 Align Alignment)
const {
407 Align Alignment)
const {
427 unsigned AddrSpace)
const {
432 Type *DataType)
const {
450 bool HasBaseReg, int64_t Scale,
451 unsigned AddrSpace)
const {
454 Scale, AddrSpace,
nullptr,
466 virtual bool useAA()
const {
return false; }
489 unsigned ScalarOpdIdx)
const {
564 unsigned *
Fast)
const {
620 Type *Ty =
nullptr)
const {
627 return "Generic::Unknown Register Class";
629 return "Generic::ScalarRC";
631 return "Generic::VectorRC";
642 virtual std::optional<unsigned>
getMaxVScale()
const {
return std::nullopt; }
656 virtual unsigned getMaximumVF(
unsigned ElemWidth,
unsigned Opcode)
const {
664 const Instruction &
I,
bool &AllowPromotionWithoutCommonHeader)
const {
665 AllowPromotionWithoutCommonHeader =
false;
670 virtual std::optional<unsigned>
681 virtual std::optional<unsigned>
697 unsigned NumStridedMemAccesses,
698 unsigned NumPrefetches,
699 bool HasCall)
const {
707 unsigned Opcode,
Type *InputTypeA,
Type *InputTypeB,
Type *AccumType,
722 auto IsWidenableCondition = [](
const Value *V) {
724 if (
II->getIntrinsicID() == Intrinsic::experimental_widenable_condition)
733 case Instruction::FDiv:
734 case Instruction::FRem:
735 case Instruction::SDiv:
736 case Instruction::SRem:
737 case Instruction::UDiv:
738 case Instruction::URem:
741 case Instruction::And:
742 case Instruction::Or:
743 if (
any_of(Args, IsWidenableCondition))
750 if (Ty->getScalarType()->isFloatingPointTy())
778 case Instruction::IntToPtr: {
779 unsigned SrcSize = Src->getScalarSizeInBits();
780 if (
DL.isLegalInteger(SrcSize) &&
781 SrcSize <=
DL.getPointerTypeSizeInBits(Dst))
785 case Instruction::PtrToAddr: {
786 unsigned DstSize = Dst->getScalarSizeInBits();
787 assert(DstSize ==
DL.getAddressSizeInBits(Src));
788 if (
DL.isLegalInteger(DstSize))
792 case Instruction::PtrToInt: {
793 unsigned DstSize = Dst->getScalarSizeInBits();
794 if (
DL.isLegalInteger(DstSize) &&
795 DstSize >=
DL.getPointerTypeSizeInBits(Src))
799 case Instruction::BitCast:
800 if (Dst == Src || (Dst->isPointerTy() && Src->isPointerTy()))
804 case Instruction::Trunc: {
853 ArrayRef<std::tuple<Value *, User *, int>> ScalarUserAndIdx,
868 unsigned Index)
const {
874 const APInt &DemandedDstElts,
885 if (Opcode == Instruction::InsertValue &&
901 bool UseMaskForCond,
bool UseMaskForGaps)
const {
908 switch (ICA.
getID()) {
911 case Intrinsic::allow_runtime_check:
912 case Intrinsic::allow_ubsan_check:
913 case Intrinsic::annotation:
914 case Intrinsic::assume:
915 case Intrinsic::sideeffect:
916 case Intrinsic::pseudoprobe:
917 case Intrinsic::arithmetic_fence:
918 case Intrinsic::dbg_assign:
919 case Intrinsic::dbg_declare:
920 case Intrinsic::dbg_value:
921 case Intrinsic::dbg_label:
922 case Intrinsic::invariant_start:
923 case Intrinsic::invariant_end:
924 case Intrinsic::launder_invariant_group:
925 case Intrinsic::strip_invariant_group:
926 case Intrinsic::is_constant:
927 case Intrinsic::lifetime_start:
928 case Intrinsic::lifetime_end:
929 case Intrinsic::experimental_noalias_scope_decl:
930 case Intrinsic::objectsize:
931 case Intrinsic::ptr_annotation:
932 case Intrinsic::var_annotation:
933 case Intrinsic::experimental_gc_result:
934 case Intrinsic::experimental_gc_relocate:
935 case Intrinsic::coro_alloc:
936 case Intrinsic::coro_begin:
937 case Intrinsic::coro_begin_custom_abi:
938 case Intrinsic::coro_free:
939 case Intrinsic::coro_end:
940 case Intrinsic::coro_frame:
941 case Intrinsic::coro_size:
942 case Intrinsic::coro_align:
943 case Intrinsic::coro_suspend:
944 case Intrinsic::coro_subfn_addr:
945 case Intrinsic::threadlocal_address:
946 case Intrinsic::experimental_widenable_condition:
947 case Intrinsic::ssa_copy:
950 case Intrinsic::bswap:
961 switch (MICA.
getID()) {
962 case Intrinsic::masked_scatter:
963 case Intrinsic::masked_gather:
964 case Intrinsic::masked_load:
965 case Intrinsic::masked_store:
966 case Intrinsic::vp_scatter:
967 case Intrinsic::vp_gather:
968 case Intrinsic::masked_compressstore:
969 case Intrinsic::masked_expandload:
993 std::optional<FastMathFlags> FMF,
1006 VectorType *Ty, std::optional<FastMathFlags> FMF,
1038 bool CanCreate =
true)
const {
1044 unsigned SrcAddrSpace,
unsigned DestAddrSpace,
1046 std::optional<uint32_t> AtomicElementSize)
const {
1047 return AtomicElementSize ?
Type::getIntNTy(Context, *AtomicElementSize * 8)
1053 unsigned RemainingBytes,
unsigned SrcAddrSpace,
unsigned DestAddrSpace,
1055 std::optional<uint32_t> AtomicCpySize)
const {
1056 unsigned OpSizeInBytes = AtomicCpySize.value_or(1);
1058 for (
unsigned i = 0; i != RemainingBytes; i += OpSizeInBytes)
1064 return (Caller->getFnAttribute(
"target-cpu") ==
1065 Callee->getFnAttribute(
"target-cpu")) &&
1066 (Caller->getFnAttribute(
"target-features") ==
1067 Callee->getFnAttribute(
"target-features"));
1071 unsigned DefaultCallPenalty)
const {
1072 return DefaultCallPenalty;
1085 return (Caller->getFnAttribute(
"target-cpu") ==
1086 Callee->getFnAttribute(
"target-cpu")) &&
1087 (Caller->getFnAttribute(
"target-features") ==
1088 Callee->getFnAttribute(
"target-features"));
1109 unsigned AddrSpace)
const {
1115 unsigned AddrSpace)
const {
1129 unsigned ChainSizeInBytes,
1135 unsigned ChainSizeInBytes,
1234 unsigned MaxRequiredSize =
1235 VT->getElementType()->getPrimitiveSizeInBits().getFixedValue();
1237 unsigned MinRequiredSize = 0;
1238 for (
unsigned i = 0, e = VT->getNumElements(); i < e; ++i) {
1239 if (
auto *IntElement =
1241 bool signedElement = IntElement->getValue().isNegative();
1243 unsigned ElementMinRequiredSize =
1244 IntElement->getValue().getSignificantBits() - 1;
1246 isSigned |= signedElement;
1248 MinRequiredSize = std::max(MinRequiredSize, ElementMinRequiredSize);
1251 return MaxRequiredSize;
1254 return MinRequiredSize;
1258 isSigned = CI->getValue().isNegative();
1259 return CI->getValue().getSignificantBits() - 1;
1264 return Cast->getSrcTy()->getScalarSizeInBits() - 1;
1269 return Cast->getSrcTy()->getScalarSizeInBits();
1281 const SCEV *Ptr)
const {
1289 int64_t MergeDistance)
const {
1303template <
typename T>
1315 assert(PointeeType && Ptr &&
"can't get GEPCost of nullptr");
1317 bool HasBaseReg = (BaseGV ==
nullptr);
1319 auto PtrSizeBits =
DL.getPointerTypeSizeInBits(Ptr->
getType());
1320 APInt BaseOffset(PtrSizeBits, 0);
1324 Type *TargetType =
nullptr;
1328 if (Operands.
empty())
1331 for (
auto I = Operands.
begin();
I != Operands.
end(); ++
I, ++GTI) {
1332 TargetType = GTI.getIndexedType();
1339 if (
StructType *STy = GTI.getStructTypeOrNull()) {
1341 assert(ConstIdx &&
"Unexpected GEP index");
1343 BaseOffset +=
DL.getStructLayout(STy)->getElementOffset(
Field);
1349 int64_t ElementSize =
1350 GTI.getSequentialElementStride(
DL).getFixedValue();
1359 Scale = ElementSize;
1374 AccessType = TargetType;
1405 for (
const Value *V : Ptrs) {
1409 if (Info.isSameBase() && V !=
Base) {
1410 if (
GEP->hasAllConstantIndices())
1414 {TTI::OK_AnyValue, TTI::OP_None}, {TTI::OK_AnyValue, TTI::OP_None},
1419 GEP->getSourceElementType(),
GEP->getPointerOperand(), Indices,
1431 auto *TargetTTI =
static_cast<const T *
>(
this);
1436 if (
const Function *
F = CB->getCalledFunction()) {
1437 if (!TargetTTI->isLoweredToCall(
F))
1446 Type *Ty = U->getType();
1452 case Instruction::Call: {
1456 return TargetTTI->getIntrinsicInstrCost(CostAttrs,
CostKind);
1458 case Instruction::Br:
1459 case Instruction::Ret:
1460 case Instruction::PHI:
1461 case Instruction::Switch:
1462 return TargetTTI->getCFInstrCost(Opcode,
CostKind,
I);
1463 case Instruction::Freeze:
1465 case Instruction::ExtractValue:
1466 case Instruction::InsertValue:
1467 return TargetTTI->getInsertExtractValueCost(Opcode,
CostKind);
1468 case Instruction::Alloca:
1472 case Instruction::GetElementPtr: {
1474 Type *AccessType =
nullptr;
1477 if (
GEP->hasOneUser() &&
I)
1478 AccessType =
I->user_back()->getAccessType();
1480 return TargetTTI->getGEPCost(
GEP->getSourceElementType(),
1484 case Instruction::Add:
1485 case Instruction::FAdd:
1486 case Instruction::Sub:
1487 case Instruction::FSub:
1488 case Instruction::Mul:
1489 case Instruction::FMul:
1490 case Instruction::UDiv:
1491 case Instruction::SDiv:
1492 case Instruction::FDiv:
1493 case Instruction::URem:
1494 case Instruction::SRem:
1495 case Instruction::FRem:
1496 case Instruction::Shl:
1497 case Instruction::LShr:
1498 case Instruction::AShr:
1499 case Instruction::And:
1500 case Instruction::Or:
1501 case Instruction::Xor:
1502 case Instruction::FNeg: {
1505 if (Opcode != Instruction::FNeg)
1507 return TargetTTI->getArithmeticInstrCost(Opcode, Ty,
CostKind, Op1Info,
1508 Op2Info, Operands,
I);
1510 case Instruction::IntToPtr:
1511 case Instruction::PtrToAddr:
1512 case Instruction::PtrToInt:
1513 case Instruction::SIToFP:
1514 case Instruction::UIToFP:
1515 case Instruction::FPToUI:
1516 case Instruction::FPToSI:
1517 case Instruction::Trunc:
1518 case Instruction::FPTrunc:
1519 case Instruction::BitCast:
1520 case Instruction::FPExt:
1521 case Instruction::SExt:
1522 case Instruction::ZExt:
1523 case Instruction::AddrSpaceCast: {
1524 Type *OpTy = Operands[0]->getType();
1525 return TargetTTI->getCastInstrCost(
1528 case Instruction::Store: {
1530 Type *ValTy = Operands[0]->getType();
1532 return TargetTTI->getMemoryOpCost(Opcode, ValTy,
SI->getAlign(),
1536 case Instruction::Load: {
1541 Type *LoadType = U->getType();
1552 LoadType = TI->getDestTy();
1554 return TargetTTI->getMemoryOpCost(Opcode, LoadType, LI->getAlign(),
1556 {TTI::OK_AnyValue, TTI::OP_None},
I);
1558 case Instruction::Select: {
1559 const Value *Op0, *Op1;
1570 return TargetTTI->getArithmeticInstrCost(
1572 CostKind, Op1Info, Op2Info, Operands,
I);
1576 Type *CondTy = Operands[0]->getType();
1577 return TargetTTI->getCmpSelInstrCost(Opcode, U->getType(), CondTy,
1581 case Instruction::ICmp:
1582 case Instruction::FCmp: {
1585 Type *ValTy = Operands[0]->getType();
1587 return TargetTTI->getCmpSelInstrCost(Opcode, ValTy, U->getType(),
1592 case Instruction::InsertElement: {
1598 if (CI->getValue().getActiveBits() <= 32)
1599 Idx = CI->getZExtValue();
1600 return TargetTTI->getVectorInstrCost(*IE, Ty,
CostKind, Idx,
1603 case Instruction::ShuffleVector: {
1611 int NumSubElts, SubIndex;
1614 if (
all_of(Mask, [](
int M) {
return M < 0; }))
1618 if (Shuffle->changesLength()) {
1620 if (Shuffle->increasesLength() && Shuffle->isIdentityWithPadding())
1623 if (Shuffle->isExtractSubvectorMask(SubIndex))
1625 VecSrcTy, Mask,
CostKind, SubIndex,
1626 VecTy, Operands, Shuffle);
1628 if (Shuffle->isInsertSubvectorMask(NumSubElts, SubIndex))
1629 return TargetTTI->getShuffleCost(
1635 int ReplicationFactor, VF;
1636 if (Shuffle->isReplicationMask(ReplicationFactor, VF)) {
1640 DemandedDstElts.
setBit(
I.index());
1642 return TargetTTI->getReplicationShuffleCost(
1643 VecSrcTy->getElementType(), ReplicationFactor, VF,
1648 NumSubElts = VecSrcTy->getElementCount().getKnownMinValue();
1654 if (Shuffle->increasesLength()) {
1655 for (
int &M : AdjustMask)
1656 M = M >= NumSubElts ? (M + (Mask.size() - NumSubElts)) : M;
1658 return TargetTTI->getShuffleCost(
1660 VecTy, AdjustMask,
CostKind, 0,
nullptr, Operands, Shuffle);
1671 VecSrcTy, VecSrcTy, AdjustMask,
CostKind, 0,
nullptr, Operands,
1675 std::iota(ExtractMask.
begin(), ExtractMask.
end(), 0);
1676 return ShuffleCost + TargetTTI->getShuffleCost(
1678 ExtractMask,
CostKind, 0, VecTy, {}, Shuffle);
1681 if (Shuffle->isIdentity())
1684 if (Shuffle->isReverse())
1685 return TargetTTI->getShuffleCost(
TTI::SK_Reverse, VecTy, VecSrcTy, Mask,
1689 if (Shuffle->isTranspose())
1691 Mask,
CostKind, 0,
nullptr, Operands,
1694 if (Shuffle->isZeroEltSplat())
1696 Mask,
CostKind, 0,
nullptr, Operands,
1699 if (Shuffle->isSingleSource())
1701 VecSrcTy, Mask,
CostKind, 0,
nullptr,
1704 if (Shuffle->isInsertSubvectorMask(NumSubElts, SubIndex))
1705 return TargetTTI->getShuffleCost(
1710 if (Shuffle->isSelect())
1711 return TargetTTI->getShuffleCost(
TTI::SK_Select, VecTy, VecSrcTy, Mask,
1715 if (Shuffle->isSplice(SubIndex))
1716 return TargetTTI->getShuffleCost(
TTI::SK_Splice, VecTy, VecSrcTy, Mask,
1717 CostKind, SubIndex,
nullptr, Operands,
1721 Mask,
CostKind, 0,
nullptr, Operands,
1724 case Instruction::ExtractElement: {
1730 if (CI->getValue().getActiveBits() <= 32)
1731 Idx = CI->getZExtValue();
1732 Type *DstTy = Operands[0]->getType();
1733 return TargetTTI->getVectorInstrCost(*EEI, DstTy,
CostKind, Idx);
1742 auto *TargetTTI =
static_cast<const T *
>(
this);
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
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[]
uint64_t IntrinsicInst * II
OptimizedStructLayoutField Field
static cl::opt< RegAllocEvictionAdvisorAnalysisLegacy::AdvisorMode > Mode("regalloc-enable-advisor", cl::Hidden, cl::init(RegAllocEvictionAdvisorAnalysisLegacy::AdvisorMode::Default), cl::desc("Enable regalloc advisor mode"), cl::values(clEnumValN(RegAllocEvictionAdvisorAnalysisLegacy::AdvisorMode::Default, "default", "Default"), clEnumValN(RegAllocEvictionAdvisorAnalysisLegacy::AdvisorMode::Release, "release", "precompiled"), clEnumValN(RegAllocEvictionAdvisorAnalysisLegacy::AdvisorMode::Development, "development", "for training")))
static SymbolRef::Type getType(const Symbol *Sym)
Class for arbitrary precision integers.
void setBit(unsigned BitPosition)
Set the given bit to 1 whose position is given as "bitPosition".
unsigned getBitWidth() const
Return the number of bits in the APInt.
LLVM_ABI APInt sextOrTrunc(unsigned width) const
Sign extend or truncate to width.
static APInt getZero(unsigned numBits)
Get the '0' value for the specified bit-width.
int64_t getSExtValue() const
Get sign extended value.
This class represents a conversion between pointers from one address space to another.
an instruction to allocate memory on the stack
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
ArrayRef< T > drop_front(size_t N=1) const
Drop the first N elements of the array.
const T & front() const
front - Get the first element.
bool empty() const
empty - Check if the array is empty.
Class to represent array types.
A cache of @llvm.assume calls within a function.
Functions, function parameters, and return types can have attributes to indicate how they should be t...
BlockFrequencyInfo pass uses BlockFrequencyInfoImpl implementation to estimate IR basic block frequen...
Conditional or Unconditional Branch instruction.
Base class for all callable instructions (InvokeInst and CallInst) Holds everything related to callin...
Predicate
This enumeration lists the possible predicates for CmpInst subclasses.
This is the shared class of boolean and integer constants.
uint64_t getZExtValue() const
Return the constant as a 64-bit unsigned integer value after it has been zero extended as appropriate...
const APInt & getValue() const
Return the constant as an APInt value reference.
This is an important base class in LLVM.
A parsed version of the target data layout string in and methods for querying it.
Concrete subclass of DominatorTreeBase that is used to compute a normal dominator tree.
static constexpr ElementCount get(ScalarTy MinVal, bool Scalable)
Convenience struct for specifying and reasoning about fast-math flags.
static LLVM_ABI FixedVectorType * get(Type *ElementType, unsigned NumElts)
The core instruction combiner logic.
static InstructionCost getInvalid(CostType Val=0)
Type * getReturnType() const
Intrinsic::ID getID() const
A wrapper class for inspecting calls to intrinsic functions.
This is an important class for using LLVM in a threaded context.
An instruction for reading from memory.
Represents a single loop in the control flow graph.
Information for memory intrinsic cost model.
Intrinsic::ID getID() const
unsigned getOpcode() const
Return the opcode for this Instruction or ConstantExpr.
Analysis providing profile information.
The RecurrenceDescriptor is used to identify recurrences variables in a loop.
This node represents a polynomial recurrence on the trip count of the specified loop.
const SCEV * getStepRecurrence(ScalarEvolution &SE) const
Constructs and returns the recurrence indicating how much this expression steps by.
This class represents a constant integer value.
const APInt & getAPInt() const
This class represents an analyzed expression in the program.
The main scalar evolution driver.
This is a 'bitvector' (really, a variable-sized bit array), optimized for the case when the array is ...
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
void append(ItTy in_start, ItTy in_end)
Add the specified range to the end of the SmallVector.
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.
static StackOffset getScalable(int64_t Scalable)
static StackOffset getFixed(int64_t Fixed)
An instruction for storing to memory.
StringRef - Represent a constant reference to a string, i.e.
Class to represent struct types.
Provides information about what library functions are available for the current target.
This class represents a truncation of integer types.
static constexpr TypeSize getFixed(ScalarTy ExactSize)
The instances of the Type class are immutable: once they are created, they are never changed.
bool isVectorTy() const
True if this is an instance of VectorType.
LLVM_ABI bool isScalableTy(SmallPtrSetImpl< const Type * > &Visited) const
Return true if this is a type whose size is a known multiple of vscale.
LLVM_ABI unsigned getPointerAddressSpace() const
Get the address space of this pointer or pointer vector type.
static LLVM_ABI IntegerType * getInt8Ty(LLVMContext &C)
LLVM_ABI unsigned getScalarSizeInBits() const LLVM_READONLY
If this is a vector type, return the getPrimitiveSizeInBits value for the element type.
bool isPtrOrPtrVectorTy() const
Return true if this is a pointer type or a vector of pointer types.
static LLVM_ABI IntegerType * getIntNTy(LLVMContext &C, unsigned N)
This is the common base class for vector predication intrinsics.
LLVM Value Representation.
Type * getType() const
All values are typed, get the type of this value.
LLVM_ABI const Value * stripPointerCasts() const
Strip off pointer casts, all-zero GEPs and address space casts.
Base class of all SIMD vector types.
constexpr ScalarTy getFixedValue() const
constexpr bool isScalable() const
Returns whether the quantity is scaled by a runtime quantity (vscale).
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
@ Fast
Attempts to make calls as fast as possible (e.g.
@ C
The default llvm calling convention, compatible with C.
This namespace contains an enum with a value for every intrinsic/builtin function known by LLVM.
class_match< Constant > m_Constant()
Match an arbitrary Constant and ignore it.
bool match(Val *V, const Pattern &P)
ThreeOps_match< Cond, LHS, RHS, Instruction::Select > m_Select(const Cond &C, const LHS &L, const RHS &R)
Matches SelectInst.
auto m_LogicalOr()
Matches L || R where L and R are arbitrary values.
class_match< Value > m_Value()
Match an arbitrary value and ignore it.
auto m_LogicalAnd()
Matches L && R where L and R are arbitrary values.
match_combine_or< LTy, RTy > m_CombineOr(const LTy &L, const RTy &R)
Combine two pattern matchers matching L || R.
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.
auto enumerate(FirstRange &&First, RestRanges &&...Rest)
Given two or more input ranges, returns a new range whose values are tuples (A, B,...
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
FunctionAddr VTableAddr uintptr_t uintptr_t DataSize
constexpr bool isPowerOf2_64(uint64_t Value)
Return true if the argument is a power of two > 0 (64 bit edition.)
LLVM_ABI Value * getSplatValue(const Value *V)
Get splat value if the input is a splat vector or return nullptr.
bool any_of(R &&range, UnaryPredicate P)
Provide wrappers to std::any_of which take ranges instead of having to pass begin/end explicitly.
constexpr bool isPowerOf2_32(uint32_t Value)
Return true if the argument is a power of two > 0.
LLVM_ABI void computeKnownBits(const Value *V, KnownBits &Known, const DataLayout &DL, AssumptionCache *AC=nullptr, const Instruction *CxtI=nullptr, const DominatorTree *DT=nullptr, bool UseInstrInfo=true, unsigned Depth=0)
Determine which bits of V are known to be either zero or one and return them in the KnownZero/KnownOn...
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...
constexpr int PoisonMaskElem
RecurKind
These are the kinds of recurrences that we support.
constexpr unsigned BitWidth
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
gep_type_iterator gep_type_begin(const User *GEP)
@ DataWithoutLaneMask
Same as Data, but avoids using the get.active.lane.mask intrinsic to calculate the mask and instead i...
InstructionUniformity
Enum describing how instructions behave with respect to uniformity and divergence,...
@ Default
The result values are uniform if and only if all operands are uniform.
This struct is a compact representation of a valid (non-zero power of two) alignment.
Attributes of a target dependent hardware loop.
KnownBits anyextOrTrunc(unsigned BitWidth) const
Return known bits for an "any" extension or truncation of the value we're tracking.
Information about a load/store intrinsic defined by the target.