Classes
struct	TypePairAndMemDesc

Functions
template<typename Predicate >
Predicate	predNot (Predicate P)
	True iff P is false.

template<typename Predicate >
Predicate	all (Predicate P0, Predicate P1)
	True iff P0 and P1 are true.

template<typename Predicate , typename... Args>
Predicate	all (Predicate P0, Predicate P1, Args... args)
	True iff all given predicates are true.

template<typename Predicate >
Predicate	any (Predicate P0, Predicate P1)
	True iff P0 or P1 are true.

template<typename Predicate , typename... Args>
Predicate	any (Predicate P0, Predicate P1, Args... args)
	True iff any given predicates are true.

LegalityPredicate	typeIs (unsigned TypeIdx, LLT TypesInit)
	True iff the given type index is the specified type.

LegalityPredicate	typeInSet (unsigned TypeIdx, std::initializer_list< LLT > TypesInit)
	True iff the given type index is one of the specified types.

LegalityPredicate	typeIsNot (unsigned TypeIdx, LLT Type)
	True iff the given type index is not the specified type.

LegalityPredicate	typePairInSet (unsigned TypeIdx0, unsigned TypeIdx1, std::initializer_list< std::pair< LLT, LLT > > TypesInit)
	True iff the given types for the given pair of type indexes is one of the specified type pairs.

LegalityPredicate	typePairAndMemDescInSet (unsigned TypeIdx0, unsigned TypeIdx1, unsigned MMOIdx, std::initializer_list< TypePairAndMemDesc > TypesAndMemDescInit)
	True iff the given types for the given pair of type indexes is one of the specified type pairs.

LegalityPredicate	isScalar (unsigned TypeIdx)
	True iff the specified type index is a scalar.

LegalityPredicate	isVector (unsigned TypeIdx)
	True iff the specified type index is a vector.

LegalityPredicate	isPointer (unsigned TypeIdx)
	True iff the specified type index is a pointer (with any address space).

LegalityPredicate	isPointer (unsigned TypeIdx, unsigned AddrSpace)
	True iff the specified type index is a pointer with the specified address space.

LegalityPredicate	elementTypeIs (unsigned TypeIdx, LLT EltTy)
	True if the type index is a vector with element type `EltTy`.

LegalityPredicate	scalarNarrowerThan (unsigned TypeIdx, unsigned Size)
	True iff the specified type index is a scalar that's narrower than the given size.

LegalityPredicate	scalarWiderThan (unsigned TypeIdx, unsigned Size)
	True iff the specified type index is a scalar that's wider than the given size.

LegalityPredicate	scalarOrEltNarrowerThan (unsigned TypeIdx, unsigned Size)
	True iff the specified type index is a scalar or vector with an element type that's narrower than the given size.

LegalityPredicate	scalarOrEltWiderThan (unsigned TypeIdx, unsigned Size)
	True iff the specified type index is a scalar or a vector with an element type that's wider than the given size.

LegalityPredicate	sizeNotMultipleOf (unsigned TypeIdx, unsigned Size)
	True iff the specified type index is a scalar whose size is not a multiple of Size.

LegalityPredicate	sizeNotPow2 (unsigned TypeIdx)
	True iff the specified type index is a scalar whose size is not a power of.

LegalityPredicate	scalarOrEltSizeNotPow2 (unsigned TypeIdx)
	True iff the specified type index is a scalar or vector whose element size is not a power of 2.

LegalityPredicate	sizeIs (unsigned TypeIdx, unsigned Size)
	True if the total bitwidth of the specified type index is `Size` bits.

LegalityPredicate	sameSize (unsigned TypeIdx0, unsigned TypeIdx1)
	True iff the specified type indices are both the same bit size.

LegalityPredicate	largerThan (unsigned TypeIdx0, unsigned TypeIdx1)
	True iff the first type index has a larger total bit size than second type index.

LegalityPredicate	smallerThan (unsigned TypeIdx0, unsigned TypeIdx1)
	True iff the first type index has a smaller total bit size than second type index.

LegalityPredicate	memSizeInBytesNotPow2 (unsigned MMOIdx)
	True iff the specified MMO index has a size (rounded to bytes) that is not a power of 2.

LegalityPredicate	memSizeNotByteSizePow2 (unsigned MMOIdx)
	True iff the specified MMO index has a size that is not an even byte size, or that even byte size is not a power of 2.

LegalityPredicate	numElementsNotPow2 (unsigned TypeIdx)
	True iff the specified type index is a vector whose element count is not a power of 2.

LegalityPredicate	atomicOrderingAtLeastOrStrongerThan (unsigned MMOIdx, AtomicOrdering Ordering)
	True iff the specified MMO index has at an atomic ordering of at Ordering or stronger.

Function Documentation

◆ all() [1/2]

template<typename Predicate >

Predicate llvm::LegalityPredicates::all	(	Predicate	P0,
		Predicate	P1
	)

True iff P0 and P1 are true.

Definition at line 234 of file LegalizerInfo.h.

Referenced by llvm::AArch64LegalizerInfo::AArch64LegalizerInfo(), all(), llvm::AMDGPULegalizerInfo::AMDGPULegalizerInfo(), llvm::PPCLegalizerInfo::PPCLegalizerInfo(), llvm::RISCVLegalizerInfo::RISCVLegalizerInfo(), llvm::SPIRVLegalizerInfo::SPIRVLegalizerInfo(), typeIsLegalBoolVec(), and typeIsLegalIntOrFPVec().

◆ all() [2/2]

template<typename Predicate , typename... Args>

Predicate llvm::LegalityPredicates::all	(	Predicate	P0,
		Predicate	P1,
		Args...	args
	)

True iff all given predicates are true.

Definition at line 241 of file LegalizerInfo.h.

References all(), and args.

◆ any() [1/2]

template<typename Predicate >

Predicate llvm::LegalityPredicates::any	(	Predicate	P0,
		Predicate	P1
	)

True iff P0 or P1 are true.

Definition at line 247 of file LegalizerInfo.h.

Referenced by any(), and llvm::RISCVLegalizerInfo::RISCVLegalizerInfo().

◆ any() [2/2]

template<typename Predicate , typename... Args>

Predicate llvm::LegalityPredicates::any	(	Predicate	P0,
		Predicate	P1,
		Args...	args
	)

True iff any given predicates are true.

Definition at line 254 of file LegalizerInfo.h.

References any(), and args.

◆ atomicOrderingAtLeastOrStrongerThan()

LegalityPredicate llvm::LegalityPredicates::atomicOrderingAtLeastOrStrongerThan	(	unsigned	MMOIdx,
		AtomicOrdering	Ordering
	)

True iff the specified MMO index has at an atomic ordering of at Ordering or stronger.

Definition at line 208 of file LegalityPredicates.cpp.

References llvm::isAtLeastOrStrongerThan().

Referenced by llvm::AArch64LegalizerInfo::AArch64LegalizerInfo().

◆ elementTypeIs()

LegalityPredicate llvm::LegalityPredicates::elementTypeIs	(	unsigned	TypeIdx,
		LLT	EltTy
	)

True if the type index is a vector with element type EltTy.

Definition at line 93 of file LegalityPredicates.cpp.

References llvm::LLT::getElementType(), and llvm::LLT::isVector().

◆ isPointer() [1/2]

LegalityPredicate llvm::LegalityPredicates::isPointer ( unsigned TypeIdx )

True iff the specified type index is a pointer (with any address space).

Definition at line 79 of file LegalityPredicates.cpp.

Referenced by llvm::AMDGPULegalizerInfo::AMDGPULegalizerInfo().

◆ isPointer() [2/2]

LegalityPredicate llvm::LegalityPredicates::isPointer	(	unsigned	TypeIdx,
		unsigned	AddrSpace
	)

True iff the specified type index is a pointer with the specified address space.

Definition at line 85 of file LegalityPredicates.cpp.

References llvm::LLT::getAddressSpace(), and llvm::LLT::isPointer().

◆ isScalar()

LegalityPredicate llvm::LegalityPredicates::isScalar ( unsigned TypeIdx )

True iff the specified type index is a scalar.

Definition at line 67 of file LegalityPredicates.cpp.

Referenced by llvm::AMDGPULegalizerInfo::AMDGPULegalizerInfo().

◆ isVector()

LegalityPredicate llvm::LegalityPredicates::isVector ( unsigned TypeIdx )

True iff the specified type index is a vector.

Definition at line 73 of file LegalityPredicates.cpp.

Referenced by llvm::AArch64LegalizerInfo::AArch64LegalizerInfo().

◆ largerThan()

LegalityPredicate llvm::LegalityPredicates::largerThan	(	unsigned	TypeIdx0,
		unsigned	TypeIdx1
	)

True iff the first type index has a larger total bit size than second type index.

Definition at line 125 of file LegalityPredicates.cpp.

◆ memSizeInBytesNotPow2()

LegalityPredicate llvm::LegalityPredicates::memSizeInBytesNotPow2 ( unsigned MMOIdx )

True iff the specified MMO index has a size (rounded to bytes) that is not a power of 2.

Definition at line 186 of file LegalityPredicates.cpp.

Referenced by llvm::LegalizeRuleSet::lowerIfMemSizeNotPow2(), and llvm::LegalizeRuleSet::unsupportedIfMemSizeNotPow2().

◆ memSizeNotByteSizePow2()

LegalityPredicate llvm::LegalityPredicates::memSizeNotByteSizePow2 ( unsigned MMOIdx )

True iff the specified MMO index has a size that is not an even byte size, or that even byte size is not a power of 2.

Definition at line 193 of file LegalityPredicates.cpp.

References llvm::LLT::getSizeInBytes(), and llvm::LLT::isByteSized().

Referenced by llvm::LegalizeRuleSet::lowerIfMemSizeNotByteSizePow2().

◆ numElementsNotPow2()

LegalityPredicate llvm::LegalityPredicates::numElementsNotPow2 ( unsigned TypeIdx )

True iff the specified type index is a vector whose element count is not a power of 2.

Definition at line 201 of file LegalityPredicates.cpp.

References llvm::LLT::getNumElements(), llvm::isPowerOf2_32(), and llvm::LLT::isVector().

◆ predNot()

template<typename Predicate >

Predicate llvm::LegalityPredicates::predNot ( Predicate P )

True iff P is false.

Definition at line 228 of file LegalizerInfo.h.

References P.

Referenced by llvm::AArch64LegalizerInfo::AArch64LegalizerInfo().

◆ sameSize()

LegalityPredicate llvm::LegalityPredicates::sameSize	(	unsigned	TypeIdx0,
		unsigned	TypeIdx1
	)

True iff the specified type indices are both the same bit size.

Definition at line 178 of file LegalityPredicates.cpp.

◆ scalarNarrowerThan()

LegalityPredicate llvm::LegalityPredicates::scalarNarrowerThan	(	unsigned	TypeIdx,
		unsigned	Size
	)

True iff the specified type index is a scalar that's narrower than the given size.

Definition at line 101 of file LegalityPredicates.cpp.

References llvm::LLT::getSizeInBits(), llvm::LLT::isScalar(), and Size.

◆ scalarOrEltNarrowerThan()

LegalityPredicate llvm::LegalityPredicates::scalarOrEltNarrowerThan	(	unsigned	TypeIdx,
		unsigned	Size
	)

True iff the specified type index is a scalar or vector with an element type that's narrower than the given size.

Definition at line 133 of file LegalityPredicates.cpp.

References llvm::LLT::getScalarSizeInBits(), and Size.

◆ scalarOrEltSizeNotPow2()

LegalityPredicate llvm::LegalityPredicates::scalarOrEltSizeNotPow2 ( unsigned TypeIdx )

True iff the specified type index is a scalar or vector whose element size is not a power of 2.

Definition at line 149 of file LegalityPredicates.cpp.

References llvm::LLT::getScalarSizeInBits(), and llvm::isPowerOf2_32().

◆ scalarOrEltWiderThan()

LegalityPredicate llvm::LegalityPredicates::scalarOrEltWiderThan	(	unsigned	TypeIdx,
		unsigned	Size
	)

True iff the specified type index is a scalar or a vector with an element type that's wider than the given size.

Definition at line 141 of file LegalityPredicates.cpp.

References llvm::LLT::getScalarSizeInBits(), and Size.

◆ scalarWiderThan()

LegalityPredicate llvm::LegalityPredicates::scalarWiderThan	(	unsigned	TypeIdx,
		unsigned	Size
	)

True iff the specified type index is a scalar that's wider than the given size.

Definition at line 109 of file LegalityPredicates.cpp.

References llvm::LLT::getSizeInBits(), llvm::LLT::isScalar(), and Size.

◆ sizeIs()

LegalityPredicate llvm::LegalityPredicates::sizeIs	(	unsigned	TypeIdx,
		unsigned	Size
	)

True if the total bitwidth of the specified type index is Size bits.

Definition at line 172 of file LegalityPredicates.cpp.

References Size.

◆ sizeNotMultipleOf()

LegalityPredicate llvm::LegalityPredicates::sizeNotMultipleOf	(	unsigned	TypeIdx,
		unsigned	Size
	)

True iff the specified type index is a scalar whose size is not a multiple of Size.

Definition at line 156 of file LegalityPredicates.cpp.

References llvm::LLT::getSizeInBits(), llvm::LLT::isScalar(), and Size.

◆ sizeNotPow2()

LegalityPredicate llvm::LegalityPredicates::sizeNotPow2 ( unsigned TypeIdx )

True iff the specified type index is a scalar whose size is not a power of.

Definition at line 164 of file LegalityPredicates.cpp.

References llvm::LLT::getSizeInBits(), and llvm::LLT::isScalar().

◆ smallerThan()

LegalityPredicate llvm::LegalityPredicates::smallerThan	(	unsigned	TypeIdx0,
		unsigned	TypeIdx1
	)

True iff the first type index has a smaller total bit size than second type index.

Definition at line 117 of file LegalityPredicates.cpp.

Referenced by llvm::AArch64LegalizerInfo::AArch64LegalizerInfo().

◆ typeInSet()

LegalityPredicate llvm::LegalityPredicates::typeInSet	(	unsigned	TypeIdx,
		std::initializer_list< LLT >	TypesInit
	)

True iff the given type index is one of the specified types.

Definition at line 34 of file LegalityPredicates.cpp.

References llvm::is_contained().

Referenced by llvm::AArch64LegalizerInfo::AArch64LegalizerInfo(), llvm::RISCVLegalizerInfo::RISCVLegalizerInfo(), llvm::SPIRVLegalizerInfo::SPIRVLegalizerInfo(), typeIsLegalBoolVec(), typeIsLegalIntOrFPVec(), and llvm::X86LegalizerInfo::X86LegalizerInfo().

◆ typeIs()

LegalityPredicate llvm::LegalityPredicates::typeIs	(	unsigned	TypeIdx,
		LLT	TypesInit
	)

True iff the given type index is the specified type.

Definition at line 28 of file LegalityPredicates.cpp.

Referenced by llvm::AArch64LegalizerInfo::AArch64LegalizerInfo(), llvm::AMDGPULegalizerInfo::AMDGPULegalizerInfo(), and llvm::RISCVLegalizerInfo::RISCVLegalizerInfo().

◆ typeIsNot()

LegalityPredicate llvm::LegalityPredicates::typeIsNot	(	unsigned	TypeIdx,
		LLT	Type
	)

inline

True iff the given type index is not the specified type.

Definition at line 265 of file LegalizerInfo.h.

Referenced by llvm::AMDGPULegalizerInfo::AMDGPULegalizerInfo(), and llvm::PPCLegalizerInfo::PPCLegalizerInfo().

◆ typePairAndMemDescInSet()

LegalityPredicate llvm::LegalityPredicates::typePairAndMemDescInSet	(	unsigned	TypeIdx0,
		unsigned	TypeIdx1,
		unsigned	MMOIdx,
		std::initializer_list< TypePairAndMemDesc >	TypesAndMemDescInit
	)

True iff the given types for the given pair of type indexes is one of the specified type pairs.

Definition at line 52 of file LegalityPredicates.cpp.

References llvm::any_of(), and llvm::Match.

Referenced by llvm::LegalizeRuleSet::legalForTypesWithMemDesc().

◆ typePairInSet()

LegalityPredicate llvm::LegalityPredicates::typePairInSet	(	unsigned	TypeIdx0,
		unsigned	TypeIdx1,
		std::initializer_list< std::pair< LLT, LLT > >	TypesInit
	)

True iff the given types for the given pair of type indexes is one of the specified type pairs.

Definition at line 42 of file LegalityPredicates.cpp.

References llvm::is_contained(), and llvm::Match.

Referenced by llvm::X86LegalizerInfo::X86LegalizerInfo().

Classes

Functions

Function Documentation

◆ all() [1/2]

◆ all() [2/2]

◆ any() [1/2]

◆ any() [2/2]

◆ atomicOrderingAtLeastOrStrongerThan()

◆ elementTypeIs()

◆ isPointer() [1/2]

◆ isPointer() [2/2]

◆ isScalar()

◆ isVector()

◆ largerThan()

◆ memSizeInBytesNotPow2()

◆ memSizeNotByteSizePow2()

◆ numElementsNotPow2()

◆ predNot()

◆ sameSize()

◆ scalarNarrowerThan()

◆ scalarOrEltNarrowerThan()

◆ scalarOrEltSizeNotPow2()

◆ scalarOrEltWiderThan()

◆ scalarWiderThan()

◆ sizeIs()

◆ sizeNotMultipleOf()

◆ sizeNotPow2()

◆ smallerThan()

◆ typeInSet()

◆ typeIs()

◆ typeIsNot()

◆ typePairAndMemDescInSet()

◆ typePairInSet()