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; }
487 unsigned ScalarOpdIdx)
const {
562 unsigned *
Fast)
const {
620 Type *Ty =
nullptr)
const {
627 return "Generic::Unknown Register Class";
629 return "Generic::ScalarRC";
631 return "Generic::VectorRC";
654 virtual std::optional<unsigned>
getMaxVScale()
const {
return std::nullopt; }
668 virtual unsigned getMaximumVF(
unsigned ElemWidth,
unsigned Opcode)
const {
677 const Instruction &
I,
bool &AllowPromotionWithoutCommonHeader)
const {
678 AllowPromotionWithoutCommonHeader =
false;
683 virtual std::optional<unsigned>
694 virtual std::optional<unsigned>
710 unsigned NumStridedMemAccesses,
711 unsigned NumPrefetches,
712 bool HasCall)
const {
720 unsigned Opcode,
Type *InputTypeA,
Type *InputTypeB,
Type *AccumType,
728 bool HasUnorderedReductions)
const {
738 auto IsWidenableCondition = [](
const Value *V) {
740 if (
II->getIntrinsicID() == Intrinsic::experimental_widenable_condition)
749 case Instruction::FDiv:
750 case Instruction::FRem:
751 case Instruction::SDiv:
752 case Instruction::SRem:
753 case Instruction::UDiv:
754 case Instruction::URem:
757 case Instruction::And:
758 case Instruction::Or:
759 if (
any_of(Args, IsWidenableCondition))
766 if (Ty->getScalarType()->isFloatingPointTy())
794 case Instruction::IntToPtr: {
795 unsigned SrcSize = Src->getScalarSizeInBits();
796 if (
DL.isLegalInteger(SrcSize) &&
797 SrcSize <=
DL.getPointerTypeSizeInBits(Dst))
801 case Instruction::PtrToAddr: {
802 unsigned DstSize = Dst->getScalarSizeInBits();
803 assert(DstSize ==
DL.getAddressSizeInBits(Src));
804 if (
DL.isLegalInteger(DstSize))
808 case Instruction::PtrToInt: {
809 unsigned DstSize = Dst->getScalarSizeInBits();
810 if (
DL.isLegalInteger(DstSize) &&
811 DstSize >=
DL.getPointerTypeSizeInBits(Src))
815 case Instruction::BitCast:
816 if (Dst == Src || (Dst->isPointerTy() && Src->isPointerTy()))
820 case Instruction::Trunc: {
869 ArrayRef<std::tuple<Value *, User *, int>> ScalarUserAndIdx,
884 unsigned Index)
const {
890 const APInt &DemandedDstElts,
901 if (Opcode == Instruction::InsertValue &&
917 bool UseMaskForCond,
bool UseMaskForGaps)
const {
924 switch (ICA.
getID()) {
927 case Intrinsic::allow_runtime_check:
928 case Intrinsic::allow_ubsan_check:
929 case Intrinsic::annotation:
930 case Intrinsic::assume:
931 case Intrinsic::sideeffect:
932 case Intrinsic::pseudoprobe:
933 case Intrinsic::arithmetic_fence:
934 case Intrinsic::dbg_assign:
935 case Intrinsic::dbg_declare:
936 case Intrinsic::dbg_value:
937 case Intrinsic::dbg_label:
938 case Intrinsic::invariant_start:
939 case Intrinsic::invariant_end:
940 case Intrinsic::launder_invariant_group:
941 case Intrinsic::strip_invariant_group:
942 case Intrinsic::is_constant:
943 case Intrinsic::lifetime_start:
944 case Intrinsic::lifetime_end:
945 case Intrinsic::experimental_noalias_scope_decl:
946 case Intrinsic::objectsize:
947 case Intrinsic::ptr_annotation:
948 case Intrinsic::var_annotation:
949 case Intrinsic::experimental_gc_result:
950 case Intrinsic::experimental_gc_relocate:
951 case Intrinsic::coro_alloc:
952 case Intrinsic::coro_begin:
953 case Intrinsic::coro_begin_custom_abi:
954 case Intrinsic::coro_dead:
955 case Intrinsic::coro_id:
956 case Intrinsic::coro_id_async:
957 case Intrinsic::coro_id_retcon:
958 case Intrinsic::coro_id_retcon_once:
959 case Intrinsic::coro_noop:
960 case Intrinsic::coro_free:
961 case Intrinsic::coro_end:
962 case Intrinsic::coro_frame:
963 case Intrinsic::coro_size:
964 case Intrinsic::coro_align:
965 case Intrinsic::coro_suspend:
966 case Intrinsic::coro_subfn_addr:
967 case Intrinsic::threadlocal_address:
968 case Intrinsic::experimental_widenable_condition:
969 case Intrinsic::ssa_copy:
972 case Intrinsic::bswap:
983 switch (MICA.
getID()) {
984 case Intrinsic::masked_scatter:
985 case Intrinsic::masked_gather:
986 case Intrinsic::masked_load:
987 case Intrinsic::masked_store:
988 case Intrinsic::vp_scatter:
989 case Intrinsic::vp_gather:
990 case Intrinsic::masked_compressstore:
991 case Intrinsic::masked_expandload:
1015 std::optional<FastMathFlags> FMF,
1028 VectorType *Ty, std::optional<FastMathFlags> FMF,
1060 bool CanCreate =
true)
const {
1066 unsigned SrcAddrSpace,
unsigned DestAddrSpace,
1068 std::optional<uint32_t> AtomicElementSize)
const {
1069 return AtomicElementSize ?
Type::getIntNTy(Context, *AtomicElementSize * 8)
1075 unsigned RemainingBytes,
unsigned SrcAddrSpace,
unsigned DestAddrSpace,
1077 std::optional<uint32_t> AtomicCpySize)
const {
1078 unsigned OpSizeInBytes = AtomicCpySize.value_or(1);
1080 for (
unsigned i = 0; i != RemainingBytes; i += OpSizeInBytes)
1086 return (Caller->getFnAttribute(
"target-cpu") ==
1087 Callee->getFnAttribute(
"target-cpu")) &&
1088 (Caller->getFnAttribute(
"target-features") ==
1089 Callee->getFnAttribute(
"target-features"));
1093 unsigned DefaultCallPenalty)
const {
1094 return DefaultCallPenalty;
1107 return (Caller->getFnAttribute(
"target-cpu") ==
1108 Callee->getFnAttribute(
"target-cpu")) &&
1109 (Caller->getFnAttribute(
"target-features") ==
1110 Callee->getFnAttribute(
"target-features"));
1131 unsigned AddrSpace)
const {
1137 unsigned AddrSpace)
const {
1151 unsigned ChainSizeInBytes,
1157 unsigned ChainSizeInBytes,
1263 unsigned MaxRequiredSize =
1264 VT->getElementType()->getPrimitiveSizeInBits().getFixedValue();
1266 unsigned MinRequiredSize = 0;
1267 for (
unsigned i = 0, e = VT->getNumElements(); i < e; ++i) {
1268 if (
auto *IntElement =
1270 bool signedElement = IntElement->getValue().isNegative();
1272 unsigned ElementMinRequiredSize =
1273 IntElement->getValue().getSignificantBits() - 1;
1277 MinRequiredSize = std::max(MinRequiredSize, ElementMinRequiredSize);
1280 return MaxRequiredSize;
1283 return MinRequiredSize;
1287 isSigned = CI->getValue().isNegative();
1288 return CI->getValue().getSignificantBits() - 1;
1293 return Cast->getSrcTy()->getScalarSizeInBits() - 1;
1298 return Cast->getSrcTy()->getScalarSizeInBits();
1310 const SCEV *Ptr)
const {
1318 int64_t MergeDistance)
const {
1332template <
typename T>
1344 assert(PointeeType && Ptr &&
"can't get GEPCost of nullptr");
1346 bool HasBaseReg = (BaseGV ==
nullptr);
1348 auto PtrSizeBits =
DL.getPointerTypeSizeInBits(Ptr->
getType());
1349 APInt BaseOffset(PtrSizeBits, 0);
1353 Type *TargetType =
nullptr;
1357 if (Operands.
empty())
1360 for (
auto I = Operands.
begin();
I != Operands.
end(); ++
I, ++GTI) {
1361 TargetType = GTI.getIndexedType();
1368 if (
StructType *STy = GTI.getStructTypeOrNull()) {
1370 assert(ConstIdx &&
"Unexpected GEP index");
1372 BaseOffset +=
DL.getStructLayout(STy)->getElementOffset(
Field);
1378 int64_t ElementSize =
1379 GTI.getSequentialElementStride(
DL).getFixedValue();
1388 Scale = ElementSize;
1403 AccessType = TargetType;
1434 for (
const Value *V : Ptrs) {
1438 if (Info.isSameBase() && V !=
Base) {
1439 if (
GEP->hasAllConstantIndices())
1443 {TTI::OK_AnyValue, TTI::OP_None}, {TTI::OK_AnyValue, TTI::OP_None},
1448 GEP->getSourceElementType(),
GEP->getPointerOperand(), Indices,
1460 auto *TargetTTI =
static_cast<const T *
>(
this);
1465 if (
const Function *
F = CB->getCalledFunction()) {
1466 if (!TargetTTI->isLoweredToCall(
F))
1475 Type *Ty = U->getType();
1481 case Instruction::Call: {
1485 return TargetTTI->getIntrinsicInstrCost(CostAttrs,
CostKind);
1487 case Instruction::UncondBr:
1488 case Instruction::CondBr:
1489 case Instruction::Ret:
1490 case Instruction::PHI:
1491 case Instruction::Switch:
1492 return TargetTTI->getCFInstrCost(Opcode,
CostKind,
I);
1493 case Instruction::Freeze:
1495 case Instruction::ExtractValue:
1496 case Instruction::InsertValue:
1497 return TargetTTI->getInsertExtractValueCost(Opcode,
CostKind);
1498 case Instruction::Alloca:
1502 case Instruction::GetElementPtr: {
1504 Type *AccessType =
nullptr;
1507 if (
GEP->hasOneUser() &&
I)
1508 AccessType =
I->user_back()->getAccessType();
1510 return TargetTTI->getGEPCost(
GEP->getSourceElementType(),
1514 case Instruction::Add:
1515 case Instruction::FAdd:
1516 case Instruction::Sub:
1517 case Instruction::FSub:
1518 case Instruction::Mul:
1519 case Instruction::FMul:
1520 case Instruction::UDiv:
1521 case Instruction::SDiv:
1522 case Instruction::FDiv:
1523 case Instruction::URem:
1524 case Instruction::SRem:
1525 case Instruction::FRem:
1526 case Instruction::Shl:
1527 case Instruction::LShr:
1528 case Instruction::AShr:
1529 case Instruction::And:
1530 case Instruction::Or:
1531 case Instruction::Xor:
1532 case Instruction::FNeg: {
1535 if (Opcode != Instruction::FNeg)
1537 return TargetTTI->getArithmeticInstrCost(Opcode, Ty,
CostKind, Op1Info,
1538 Op2Info, Operands,
I);
1540 case Instruction::IntToPtr:
1541 case Instruction::PtrToAddr:
1542 case Instruction::PtrToInt:
1543 case Instruction::SIToFP:
1544 case Instruction::UIToFP:
1545 case Instruction::FPToUI:
1546 case Instruction::FPToSI:
1547 case Instruction::Trunc:
1548 case Instruction::FPTrunc:
1549 case Instruction::BitCast:
1550 case Instruction::FPExt:
1551 case Instruction::SExt:
1552 case Instruction::ZExt:
1553 case Instruction::AddrSpaceCast: {
1554 Type *
OpTy = Operands[0]->getType();
1555 return TargetTTI->getCastInstrCost(
1558 case Instruction::Store: {
1560 Type *ValTy = Operands[0]->getType();
1562 return TargetTTI->getMemoryOpCost(Opcode, ValTy,
SI->getAlign(),
1566 case Instruction::Load: {
1568 Type *LoadType = U->getType();
1579 LoadType = TI->getDestTy();
1581 return TargetTTI->getMemoryOpCost(Opcode, LoadType, LI->getAlign(),
1583 {TTI::OK_AnyValue, TTI::OP_None},
I);
1585 case Instruction::Select: {
1586 const Value *Op0, *Op1;
1597 return TargetTTI->getArithmeticInstrCost(
1599 CostKind, Op1Info, Op2Info, Operands,
I);
1603 Type *CondTy = Operands[0]->getType();
1604 return TargetTTI->getCmpSelInstrCost(Opcode, U->getType(), CondTy,
1608 case Instruction::ICmp:
1609 case Instruction::FCmp: {
1612 Type *ValTy = Operands[0]->getType();
1614 return TargetTTI->getCmpSelInstrCost(Opcode, ValTy, U->getType(),
1619 case Instruction::InsertElement: {
1625 if (CI->getValue().getActiveBits() <= 32)
1626 Idx = CI->getZExtValue();
1627 return TargetTTI->getVectorInstrCost(*IE, Ty,
CostKind, Idx,
1630 case Instruction::ShuffleVector: {
1638 int NumSubElts, SubIndex;
1641 if (
all_of(Mask, [](
int M) {
return M < 0; }))
1645 if (Shuffle->changesLength()) {
1647 if (Shuffle->increasesLength() && Shuffle->isIdentityWithPadding())
1650 if (Shuffle->isExtractSubvectorMask(SubIndex))
1652 VecSrcTy, Mask,
CostKind, SubIndex,
1653 VecTy, Operands, Shuffle);
1655 if (Shuffle->isInsertSubvectorMask(NumSubElts, SubIndex))
1656 return TargetTTI->getShuffleCost(
1662 int ReplicationFactor, VF;
1663 if (Shuffle->isReplicationMask(ReplicationFactor, VF)) {
1667 DemandedDstElts.
setBit(
I.index());
1669 return TargetTTI->getReplicationShuffleCost(
1670 VecSrcTy->getElementType(), ReplicationFactor, VF,
1675 NumSubElts = VecSrcTy->getElementCount().getKnownMinValue();
1681 if (Shuffle->increasesLength()) {
1682 for (
int &M : AdjustMask)
1683 M = M >= NumSubElts ? (M + (Mask.size() - NumSubElts)) : M;
1685 return TargetTTI->getShuffleCost(
1687 VecTy, AdjustMask,
CostKind, 0,
nullptr, Operands, Shuffle);
1698 VecSrcTy, VecSrcTy, AdjustMask,
CostKind, 0,
nullptr, Operands,
1702 std::iota(ExtractMask.
begin(), ExtractMask.
end(), 0);
1703 return ShuffleCost + TargetTTI->getShuffleCost(
1705 ExtractMask,
CostKind, 0, VecTy, {}, Shuffle);
1708 if (Shuffle->isIdentity())
1711 if (Shuffle->isReverse())
1712 return TargetTTI->getShuffleCost(
TTI::SK_Reverse, VecTy, VecSrcTy, Mask,
1716 if (Shuffle->isTranspose())
1718 Mask,
CostKind, 0,
nullptr, Operands,
1721 if (Shuffle->isZeroEltSplat())
1723 Mask,
CostKind, 0,
nullptr, Operands,
1726 if (Shuffle->isSingleSource())
1728 VecSrcTy, Mask,
CostKind, 0,
nullptr,
1731 if (Shuffle->isInsertSubvectorMask(NumSubElts, SubIndex))
1732 return TargetTTI->getShuffleCost(
1737 if (Shuffle->isSelect())
1738 return TargetTTI->getShuffleCost(
TTI::SK_Select, VecTy, VecSrcTy, Mask,
1742 if (Shuffle->isSplice(SubIndex))
1743 return TargetTTI->getShuffleCost(
TTI::SK_Splice, VecTy, VecSrcTy, Mask,
1744 CostKind, SubIndex,
nullptr, Operands,
1748 Mask,
CostKind, 0,
nullptr, Operands,
1751 case Instruction::ExtractElement: {
1757 if (CI->getValue().getActiveBits() <= 32)
1758 Idx = CI->getZExtValue();
1759 Type *DstTy = Operands[0]->getType();
1760 return TargetTTI->getVectorInstrCost(*EEI, DstTy,
CostKind, Idx);
1769 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")))
static bool isSigned(unsigned Opcode)
const AbstractManglingParser< Derived, Alloc >::OperatorInfo AbstractManglingParser< Derived, Alloc >::Ops[]
uint64_t IntrinsicInst * II
OptimizedStructLayoutField Field
static SymbolRef::Type getType(const Symbol *Sym)
static void computeKnownBits(const Value *V, const APInt &DemandedElts, KnownBits &Known, const SimplifyQuery &Q, unsigned Depth)
Determine which bits of V are known to be either zero or one and return them in the Known bit set.
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
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
Get the first element.
bool empty() const
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...
Base class for all callable instructions (InvokeInst and CallInst) Holds everything related to callin...
Predicate
This enumeration lists the possible predicates for CmpInst subclasses.
Conditional Branch instruction.
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)
Class to represent integer types.
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.
SCEVUse 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.
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 get(ScalarTy Quantity, bool Scalable)
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.
match_combine_or< Ty... > m_CombineOr(const Ty &...Ps)
Combine pattern matchers matching any of Ps patterns.
LogicalOp_match< LHS, RHS, Instruction::And > m_LogicalAnd(const LHS &L, const RHS &R)
Matches L && R either in the form of L & R or L ?
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_Value()
Match an arbitrary value and ignore it.
auto m_Constant()
Match an arbitrary Constant and ignore it.
auto m_LogicalOr()
Matches L || R where L and R are arbitrary values.
auto m_LogicalAnd()
Matches L && R where L and R are arbitrary values.
LogicalOp_match< LHS, RHS, Instruction::Or > m_LogicalOr(const LHS &L, const RHS &R)
Matches L || R either in the form of L | R or L ?
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.
@ Known
Known to have no common set bits.
auto enumerate(FirstRange &&First, RestRanges &&...Rest)
Given two or more input ranges, returns a new range whose values are tuples (A, B,...
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
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.
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...
ValueUniformity
Enum describing how values behave with respect to uniformity and divergence, to answer the question: ...
@ Default
The result value is 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.