#include "llvm/CodeGen/GlobalISel/LegalizerInfo.h"

Public Member Functions
	LegalizeRuleSet ()

bool	isAliasedByAnother ()

void	setIsAliasedByAnother ()

void	aliasTo (unsigned Opcode)

unsigned	getAlias () const

LegalizeRuleSet &	legalIf (LegalityPredicate Predicate)
	The instruction is legal if predicate is true. More...

LegalizeRuleSet &	legalFor (std::initializer_list< LLT > Types)
	The instruction is legal when type index 0 is any type in the given list. More...

LegalizeRuleSet &	legalFor (std::initializer_list< std::pair< LLT, LLT >> Types)
	The instruction is legal when type indexes 0 and 1 is any type pair in the given list. More...

LegalizeRuleSet &	legalForTypesWithMemSize (std::initializer_list< LegalityPredicates::TypePairAndMemSize > TypesAndMemSize)
	The instruction is legal when type indexes 0 and 1 along with the memory size is any type and size tuple in the given list. More...

LegalizeRuleSet &	legalForCartesianProduct (std::initializer_list< LLT > Types)
	The instruction is legal when type indexes 0 and 1 are both in the given list. More...

LegalizeRuleSet &	legalForCartesianProduct (std::initializer_list< LLT > Types0, std::initializer_list< LLT > Types1)
	The instruction is legal when type indexes 0 and 1 are both their respective lists. More...

LegalizeRuleSet &	lower ()
	The instruction is lowered. More...

LegalizeRuleSet &	lowerIf (LegalityPredicate Predicate)
	The instruction is lowered if predicate is true. More...

LegalizeRuleSet &	lowerIf (LegalityPredicate Predicate, LegalizeMutation Mutation)
	The instruction is lowered if predicate is true. More...

LegalizeRuleSet &	lowerFor (std::initializer_list< LLT > Types)
	The instruction is lowered when type index 0 is any type in the given list. More...

LegalizeRuleSet &	lowerFor (std::initializer_list< LLT > Types, LegalizeMutation Mutation)
	The instruction is lowered when type index 0 is any type in the given list. More...

LegalizeRuleSet &	lowerFor (std::initializer_list< std::pair< LLT, LLT >> Types)
	The instruction is lowered when type indexes 0 and 1 is any type pair in the given list. More...

LegalizeRuleSet &	lowerFor (std::initializer_list< std::pair< LLT, LLT >> Types, LegalizeMutation Mutation)
	The instruction is lowered when type indexes 0 and 1 is any type pair in the given list. More...

LegalizeRuleSet &	lowerForCartesianProduct (std::initializer_list< LLT > Types0, std::initializer_list< LLT > Types1)
	The instruction is lowered when type indexes 0 and 1 are both in their respective lists. More...

LegalizeRuleSet &	lowerForCartesianProduct (std::initializer_list< LLT > Types0, std::initializer_list< LLT > Types1, std::initializer_list< LLT > Types2)
	The instruction is lowered when when type indexes 0, 1, and 2 are all in their respective lists. More...

LegalizeRuleSet &	libcallIf (LegalityPredicate Predicate)
	Like legalIf, but for the Libcall action. More...

LegalizeRuleSet &	libcallFor (std::initializer_list< LLT > Types)

LegalizeRuleSet &	libcallFor (std::initializer_list< std::pair< LLT, LLT >> Types)

LegalizeRuleSet &	libcallForCartesianProduct (std::initializer_list< LLT > Types)

LegalizeRuleSet &	libcallForCartesianProduct (std::initializer_list< LLT > Types0, std::initializer_list< LLT > Types1)

LegalizeRuleSet &	widenScalarIf (LegalityPredicate Predicate, LegalizeMutation Mutation)
	Widen the scalar to the one selected by the mutation if the predicate is true. More...

LegalizeRuleSet &	narrowScalarIf (LegalityPredicate Predicate, LegalizeMutation Mutation)
	Narrow the scalar to the one selected by the mutation if the predicate is true. More...

LegalizeRuleSet &	moreElementsIf (LegalityPredicate Predicate, LegalizeMutation Mutation)
	Add more elements to reach the type selected by the mutation if the predicate is true. More...

LegalizeRuleSet &	fewerElementsIf (LegalityPredicate Predicate, LegalizeMutation Mutation)
	Remove elements to reach the type selected by the mutation if the predicate is true. More...

LegalizeRuleSet &	unsupported ()
	The instruction is unsupported. More...

LegalizeRuleSet &	unsupportedIf (LegalityPredicate Predicate)

LegalizeRuleSet &	unsupportedIfMemSizeNotPow2 ()

LegalizeRuleSet &	customIf (LegalityPredicate Predicate)

LegalizeRuleSet &	customFor (std::initializer_list< LLT > Types)

LegalizeRuleSet &	customForCartesianProduct (std::initializer_list< LLT > Types)

LegalizeRuleSet &	customForCartesianProduct (std::initializer_list< LLT > Types0, std::initializer_list< LLT > Types1)

LegalizeRuleSet &	widenScalarToNextPow2 (unsigned TypeIdx, unsigned MinSize=0)
	Widen the scalar to the next power of two that is at least MinSize. More...

LegalizeRuleSet &	narrowScalar (unsigned TypeIdx, LegalizeMutation Mutation)

LegalizeRuleSet &	minScalar (unsigned TypeIdx, const LLT &Ty)
	Ensure the scalar is at least as wide as Ty. More...

LegalizeRuleSet &	maxScalar (unsigned TypeIdx, const LLT &Ty)
	Ensure the scalar is at most as wide as Ty. More...

LegalizeRuleSet &	maxScalarIf (LegalityPredicate Predicate, unsigned TypeIdx, const LLT &Ty)
	Conditionally limit the maximum size of the scalar. More...

LegalizeRuleSet &	clampScalar (unsigned TypeIdx, const LLT &MinTy, const LLT &MaxTy)
	Limit the range of scalar sizes to MinTy and MaxTy. More...

LegalizeRuleSet &	minScalarSameAs (unsigned TypeIdx, unsigned LargeTypeIdx)
	Widen the scalar to match the size of another. More...

LegalizeRuleSet &	moreElementsToNextPow2 (unsigned TypeIdx)
	Add more elements to the vector to reach the next power of two. More...

LegalizeRuleSet &	clampMinNumElements (unsigned TypeIdx, const LLT &EltTy, unsigned MinElements)
	Limit the number of elements in EltTy vectors to at least MinElements. More...

LegalizeRuleSet &	clampMaxNumElements (unsigned TypeIdx, const LLT &EltTy, unsigned MaxElements)
	Limit the number of elements in EltTy vectors to at most MaxElements. More...

LegalizeRuleSet &	clampNumElements (unsigned TypeIdx, const LLT &MinTy, const LLT &MaxTy)
	Limit the number of elements for the given vectors to at least MinTy's number of elements and at most MaxTy's number of elements. More...

LegalizeRuleSet &	fallback ()
	Fallback on the previous implementation. More...

bool	verifyTypeIdxsCoverage (unsigned NumTypeIdxs) const
	Check if there is no type index which is obviously not handled by the LegalizeRuleSet in any way at all. More...

LegalizeActionStep	apply (const LegalityQuery &Query) const
	Apply the ruleset to the given LegalityQuery. More...

Detailed Description

Definition at line 269 of file LegalizerInfo.h.

Constructor & Destructor Documentation

◆ LegalizeRuleSet()

llvm::LegalizeRuleSet::LegalizeRuleSet ( )

inline

Definition at line 393 of file LegalizerInfo.h.

Member Function Documentation

◆ aliasTo()

void llvm::LegalizeRuleSet::aliasTo ( unsigned Opcode )

inline

Definition at line 397 of file LegalizerInfo.h.

References assert(), and llvm::SmallVectorBase::empty().

Referenced by llvm::LegalizerInfo::aliasActionDefinitions().

◆ apply()

LegalizeActionStep LegalizeRuleSet::apply ( const LegalityQuery & Query ) const

Apply the ruleset to the given LegalityQuery.

Definition at line 62 of file LegalizerInfo.cpp.

References assert(), llvm::dbgs(), llvm::LegalizeActions::FewerElements, LLVM_DEBUG, llvm::LegalizeActions::Lower, llvm::LegalizeActions::MoreElements, Mutation, llvm::LegalityQuery::print(), llvm::LegalityQuery::Types, llvm::LegalizeActions::Unsupported, and llvm::LegalizeActions::UseLegacyRules.

Referenced by llvm::LegalizerInfo::getAction().

◆ clampMaxNumElements()

LegalizeRuleSet& llvm::LegalizeRuleSet::clampMaxNumElements	(	unsigned	TypeIdx,
		const LLT &	EltTy,
		unsigned	MaxElements
	)

inline

Limit the number of elements in EltTy vectors to at most MaxElements.

Definition at line 698 of file LegalizerInfo.h.

References llvm::LegalizeActions::FewerElements, llvm::LLT::getElementType(), llvm::LLT::getNumElements(), llvm::LLT::getScalarSizeInBits(), llvm::LLT::isVector(), Query(), llvm::LegalityQuery::Types, and llvm::LLT::vector().

◆ clampMinNumElements()

LegalizeRuleSet& llvm::LegalizeRuleSet::clampMinNumElements	(	unsigned	TypeIdx,
		const LLT &	EltTy,
		unsigned	MinElements
	)

inline

Limit the number of elements in EltTy vectors to at least MinElements.

Definition at line 680 of file LegalizerInfo.h.

References llvm::LLT::getElementType(), llvm::LLT::getNumElements(), llvm::LLT::getScalarSizeInBits(), llvm::LLT::isVector(), llvm::LegalizeActions::MoreElements, Query(), llvm::LegalityQuery::Types, and llvm::LLT::vector().

◆ clampNumElements()

LegalizeRuleSet& llvm::LegalizeRuleSet::clampNumElements	(	unsigned	TypeIdx,
		const LLT &	MinTy,
		const LLT &	MaxTy
	)

inline

Limit the number of elements for the given vectors to at least MinTy's number of elements and at most MaxTy's number of elements.

No effect if the type is not a vector or does not have the same element type as the constraints. The element type of MinTy and MaxTy must match.

Definition at line 723 of file LegalizerInfo.h.

References assert(), llvm::LLT::getElementType(), and llvm::LLT::getNumElements().

◆ clampScalar()

LegalizeRuleSet& llvm::LegalizeRuleSet::clampScalar	(	unsigned	TypeIdx,
		const LLT &	MinTy,
		const LLT &	MaxTy
	)

inline

Limit the range of scalar sizes to MinTy and MaxTy.

Definition at line 649 of file LegalizerInfo.h.

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

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

◆ customFor()

LegalizeRuleSet& llvm::LegalizeRuleSet::customFor ( std::initializer_list< LLT > Types )

inline

Definition at line 588 of file LegalizerInfo.h.

References llvm::LegalizeActions::Custom.

◆ customForCartesianProduct() [1/2]

LegalizeRuleSet& llvm::LegalizeRuleSet::customForCartesianProduct ( std::initializer_list< LLT > Types )

inline

Definition at line 591 of file LegalizerInfo.h.

References llvm::LegalizeActions::Custom.

◆ customForCartesianProduct() [2/2]

LegalizeRuleSet& llvm::LegalizeRuleSet::customForCartesianProduct	(	std::initializer_list< LLT >	Types0,
		std::initializer_list< LLT >	Types1
	)

inline

Definition at line 595 of file LegalizerInfo.h.

References llvm::LegalizeActions::Custom.

◆ customIf()

LegalizeRuleSet& llvm::LegalizeRuleSet::customIf ( LegalityPredicate Predicate )

inline

Definition at line 582 of file LegalizerInfo.h.

References llvm::LegalizeActions::Custom.

◆ fallback()

LegalizeRuleSet& llvm::LegalizeRuleSet::fallback ( )

inline

Fallback on the previous implementation.

This should only be used while porting a rule.

Definition at line 735 of file LegalizerInfo.h.

References llvm::ARM_AM::add, llvm::cl::apply(), Query(), and llvm::LegalizeActions::UseLegacyRules.

◆ fewerElementsIf()

LegalizeRuleSet& llvm::LegalizeRuleSet::fewerElementsIf	(	LegalityPredicate	Predicate,
		LegalizeMutation	Mutation
	)

inline

Remove elements to reach the type selected by the mutation if the predicate is true.

Definition at line 562 of file LegalizerInfo.h.

References llvm::LegalizeActions::FewerElements.

◆ getAlias()

unsigned llvm::LegalizeRuleSet::getAlias ( ) const

inline

Definition at line 403 of file LegalizerInfo.h.

◆ isAliasedByAnother()

bool llvm::LegalizeRuleSet::isAliasedByAnother ( )

inline

Definition at line 395 of file LegalizerInfo.h.

◆ legalFor() [1/2]

LegalizeRuleSet& llvm::LegalizeRuleSet::legalFor ( std::initializer_list< LLT > Types )

inline

The instruction is legal when type index 0 is any type in the given list.

Definition at line 413 of file LegalizerInfo.h.

References llvm::LegalizeActions::Legal.

Referenced by llvm::MipsLegalizerInfo::MipsLegalizerInfo(), and llvm::X86LegalizerInfo::X86LegalizerInfo().

◆ legalFor() [2/2]

LegalizeRuleSet& llvm::LegalizeRuleSet::legalFor ( std::initializer_list< std::pair< LLT, LLT >> Types )

inline

The instruction is legal when type indexes 0 and 1 is any type pair in the given list.

Definition at line 418 of file LegalizerInfo.h.

References llvm::LegalizeActions::Legal.

◆ legalForCartesianProduct() [1/2]

LegalizeRuleSet& llvm::LegalizeRuleSet::legalForCartesianProduct ( std::initializer_list< LLT > Types )

inline

The instruction is legal when type indexes 0 and 1 are both in the given list.

That is, the type pair is in the cartesian product of the list.

Definition at line 432 of file LegalizerInfo.h.

References llvm::LegalizeActions::Legal.

Referenced by llvm::MipsLegalizerInfo::MipsLegalizerInfo(), and llvm::X86LegalizerInfo::X86LegalizerInfo().

◆ legalForCartesianProduct() [2/2]

LegalizeRuleSet& llvm::LegalizeRuleSet::legalForCartesianProduct	(	std::initializer_list< LLT >	Types0,
		std::initializer_list< LLT >	Types1
	)

inline

The instruction is legal when type indexes 0 and 1 are both their respective lists.

Definition at line 437 of file LegalizerInfo.h.

References llvm::LegalizeActions::Legal.

◆ legalForTypesWithMemSize()

LegalizeRuleSet& llvm::LegalizeRuleSet::legalForTypesWithMemSize ( std::initializer_list< LegalityPredicates::TypePairAndMemSize > TypesAndMemSize )

inline

The instruction is legal when type indexes 0 and 1 along with the memory size is any type and size tuple in the given list.

Definition at line 423 of file LegalizerInfo.h.

References llvm::LegalizeActions::Legal, and llvm::LegalityPredicates::typePairAndMemSizeInSet().

◆ legalIf()

LegalizeRuleSet& llvm::LegalizeRuleSet::legalIf ( LegalityPredicate Predicate )

inline

The instruction is legal if predicate is true.

Definition at line 406 of file LegalizerInfo.h.

References llvm::LegalizeActions::Legal.

◆ libcallFor() [1/2]

LegalizeRuleSet& llvm::LegalizeRuleSet::libcallFor ( std::initializer_list< LLT > Types )

inline

Definition at line 515 of file LegalizerInfo.h.

References llvm::LegalizeActions::Libcall.

Referenced by llvm::MipsLegalizerInfo::MipsLegalizerInfo().

◆ libcallFor() [2/2]

LegalizeRuleSet& llvm::LegalizeRuleSet::libcallFor ( std::initializer_list< std::pair< LLT, LLT >> Types )

inline

Definition at line 519 of file LegalizerInfo.h.

References llvm::LegalizeActions::Libcall.

◆ libcallForCartesianProduct() [1/2]

LegalizeRuleSet& llvm::LegalizeRuleSet::libcallForCartesianProduct ( std::initializer_list< LLT > Types )

inline

Definition at line 523 of file LegalizerInfo.h.

References llvm::LegalizeActions::Libcall.

◆ libcallForCartesianProduct() [2/2]

LegalizeRuleSet& llvm::LegalizeRuleSet::libcallForCartesianProduct	(	std::initializer_list< LLT >	Types0,
		std::initializer_list< LLT >	Types1
	)

inline

Definition at line 527 of file LegalizerInfo.h.

References llvm::LegalizeActions::Libcall.

◆ libcallIf()

LegalizeRuleSet& llvm::LegalizeRuleSet::libcallIf ( LegalityPredicate Predicate )

inline

Like legalIf, but for the Libcall action.

Definition at line 509 of file LegalizerInfo.h.

References llvm::LegalizeActions::Libcall.

◆ lower()

LegalizeRuleSet& llvm::LegalizeRuleSet::lower ( )

inline

The instruction is lowered.

Definition at line 443 of file LegalizerInfo.h.

References llvm::Lower.

◆ lowerFor() [1/4]

LegalizeRuleSet& llvm::LegalizeRuleSet::lowerFor ( std::initializer_list< LLT > Types )

inline

The instruction is lowered when type index 0 is any type in the given list.

Keep type index 0 as the same type.

Definition at line 469 of file LegalizerInfo.h.

References llvm::LegalizeMutations::changeTo(), and llvm::Lower.

Referenced by llvm::MipsLegalizerInfo::MipsLegalizerInfo().

◆ lowerFor() [2/4]

LegalizeRuleSet& llvm::LegalizeRuleSet::lowerFor	(	std::initializer_list< LLT >	Types,
		LegalizeMutation	Mutation
	)

inline

The instruction is lowered when type index 0 is any type in the given list.

Definition at line 475 of file LegalizerInfo.h.

References llvm::Lower.

◆ lowerFor() [3/4]

LegalizeRuleSet& llvm::LegalizeRuleSet::lowerFor ( std::initializer_list< std::pair< LLT, LLT >> Types )

inline

The instruction is lowered when type indexes 0 and 1 is any type pair in the given list.

Keep type index 0 as the same type.

Definition at line 481 of file LegalizerInfo.h.

References llvm::LegalizeMutations::changeTo(), and llvm::Lower.

◆ lowerFor() [4/4]

LegalizeRuleSet& llvm::LegalizeRuleSet::lowerFor	(	std::initializer_list< std::pair< LLT, LLT >>	Types,
		LegalizeMutation	Mutation
	)

inline

The instruction is lowered when type indexes 0 and 1 is any type pair in the given list.

Definition at line 487 of file LegalizerInfo.h.

References llvm::Lower.

◆ lowerForCartesianProduct() [1/2]

LegalizeRuleSet& llvm::LegalizeRuleSet::lowerForCartesianProduct	(	std::initializer_list< LLT >	Types0,
		std::initializer_list< LLT >	Types1
	)

inline

The instruction is lowered when type indexes 0 and 1 are both in their respective lists.

Definition at line 493 of file LegalizerInfo.h.

References llvm::Lower.

◆ lowerForCartesianProduct() [2/2]

LegalizeRuleSet& llvm::LegalizeRuleSet::lowerForCartesianProduct	(	std::initializer_list< LLT >	Types0,
		std::initializer_list< LLT >	Types1,
		std::initializer_list< LLT >	Types2
	)

inline

The instruction is lowered when when type indexes 0, 1, and 2 are all in their respective lists.

Definition at line 500 of file LegalizerInfo.h.

References llvm::Lower.

◆ lowerIf() [1/2]

LegalizeRuleSet& llvm::LegalizeRuleSet::lowerIf ( LegalityPredicate Predicate )

inline

The instruction is lowered if predicate is true.

Keep type index 0 as the same type.

Definition at line 452 of file LegalizerInfo.h.

References llvm::Lower.

◆ lowerIf() [2/2]

LegalizeRuleSet& llvm::LegalizeRuleSet::lowerIf	(	LegalityPredicate	Predicate,
		LegalizeMutation	Mutation
	)

inline

The instruction is lowered if predicate is true.

Definition at line 460 of file LegalizerInfo.h.

References llvm::Lower.

◆ maxScalar()

LegalizeRuleSet& llvm::LegalizeRuleSet::maxScalar	(	unsigned	TypeIdx,
		const LLT &	Ty
	)

inline

Ensure the scalar is at most as wide as Ty.

Definition at line 625 of file LegalizerInfo.h.

References llvm::LegalizeMutations::changeTo(), llvm::LLT::getSizeInBits(), llvm::LegalizeActions::NarrowScalar, and llvm::LegalityPredicates::widerThan().

◆ maxScalarIf()

LegalizeRuleSet& llvm::LegalizeRuleSet::maxScalarIf	(	LegalityPredicate	Predicate,
		unsigned	TypeIdx,
		const LLT &	Ty
	)

inline

Conditionally limit the maximum size of the scalar.

For example, when the maximum size of one type depends on the size of another such as extracting N bits from an M bit container.

Definition at line 636 of file LegalizerInfo.h.

References llvm::LegalizeMutations::changeTo(), llvm::LLT::getSizeInBits(), llvm::LegalizeActions::NarrowScalar, Query(), and llvm::LegalityPredicates::widerThan().

◆ minScalar()

LegalizeRuleSet& llvm::LegalizeRuleSet::minScalar	(	unsigned	TypeIdx,
		const LLT &	Ty
	)

inline

Ensure the scalar is at least as wide as Ty.

Definition at line 616 of file LegalizerInfo.h.

References llvm::LegalizeMutations::changeTo(), llvm::LLT::getSizeInBits(), llvm::LegalityPredicates::narrowerThan(), and llvm::LegalizeActions::WidenScalar.

Referenced by llvm::MipsLegalizerInfo::MipsLegalizerInfo().

◆ minScalarSameAs()

LegalizeRuleSet& llvm::LegalizeRuleSet::minScalarSameAs	(	unsigned	TypeIdx,
		unsigned	LargeTypeIdx
	)

inline

Widen the scalar to match the size of another.

Definition at line 656 of file LegalizerInfo.h.

References Query(), and llvm::LegalityQuery::Types.

◆ moreElementsIf()

LegalizeRuleSet& llvm::LegalizeRuleSet::moreElementsIf	(	LegalityPredicate	Predicate,
		LegalizeMutation	Mutation
	)

inline

Add more elements to reach the type selected by the mutation if the predicate is true.

Definition at line 553 of file LegalizerInfo.h.

References llvm::LegalizeActions::MoreElements.

◆ moreElementsToNextPow2()

LegalizeRuleSet& llvm::LegalizeRuleSet::moreElementsToNextPow2 ( unsigned TypeIdx )

inline

Add more elements to the vector to reach the next power of two.

No effect if the type is not a vector or the element count is a power of two.

Definition at line 672 of file LegalizerInfo.h.

References llvm::LegalizeActions::MoreElements, llvm::LegalizeMutations::moreElementsToNextPow2(), and llvm::LegalityPredicates::numElementsNotPow2().

◆ narrowScalar()

LegalizeRuleSet& llvm::LegalizeRuleSet::narrowScalar	(	unsigned	TypeIdx,
		LegalizeMutation	Mutation
	)

inline

Definition at line 609 of file LegalizerInfo.h.

References llvm::LegalityPredicates::isScalar(), and llvm::LegalizeActions::NarrowScalar.

◆ narrowScalarIf()

LegalizeRuleSet& llvm::LegalizeRuleSet::narrowScalarIf	(	LegalityPredicate	Predicate,
		LegalizeMutation	Mutation
	)

inline

Narrow the scalar to the one selected by the mutation if the predicate is true.

Definition at line 543 of file LegalizerInfo.h.

References llvm::LegalizeActions::NarrowScalar.

◆ setIsAliasedByAnother()

void llvm::LegalizeRuleSet::setIsAliasedByAnother ( )

inline

Definition at line 396 of file LegalizerInfo.h.

◆ unsupported()

LegalizeRuleSet& llvm::LegalizeRuleSet::unsupported ( )

inline

The instruction is unsupported.

Definition at line 571 of file LegalizerInfo.h.

References llvm::LegalizeActions::Unsupported.

◆ unsupportedIf()

LegalizeRuleSet& llvm::LegalizeRuleSet::unsupportedIf ( LegalityPredicate Predicate )

inline

Definition at line 574 of file LegalizerInfo.h.

References llvm::LegalizeActions::Unsupported.

◆ unsupportedIfMemSizeNotPow2()

LegalizeRuleSet& llvm::LegalizeRuleSet::unsupportedIfMemSizeNotPow2 ( )

inline

Definition at line 577 of file LegalizerInfo.h.

References llvm::LegalityPredicates::memSizeInBytesNotPow2(), and llvm::LegalizeActions::Unsupported.

◆ verifyTypeIdxsCoverage()

bool LegalizeRuleSet::verifyTypeIdxsCoverage ( unsigned NumTypeIdxs ) const

Check if there is no type index which is obviously not handled by the LegalizeRuleSet in any way at all.

Precondition: Type indices of the opcode form a dense [0, NumTypeIdxs) set.

Definition at line 88 of file LegalizerInfo.cpp.

References llvm::dbgs(), and LLVM_DEBUG.

Referenced by llvm::LegalizerInfo::verify().

◆ widenScalarIf()

LegalizeRuleSet& llvm::LegalizeRuleSet::widenScalarIf	(	LegalityPredicate	Predicate,
		LegalizeMutation	Mutation
	)

inline

Widen the scalar to the one selected by the mutation if the predicate is true.

Definition at line 534 of file LegalizerInfo.h.

References llvm::LegalizeActions::WidenScalar.

◆ widenScalarToNextPow2()

LegalizeRuleSet& llvm::LegalizeRuleSet::widenScalarToNextPow2	(	unsigned	TypeIdx,
		unsigned	MinSize = `0`
	)

inline

Widen the scalar to the next power of two that is at least MinSize.

No effect if the type is not a scalar or is a power of two.

Definition at line 602 of file LegalizerInfo.h.

References llvm::LegalityPredicates::sizeNotPow2(), llvm::LegalizeActions::WidenScalar, and llvm::LegalizeMutations::widenScalarToNextPow2().

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

The documentation for this class was generated from the following files:

include/llvm/CodeGen/GlobalISel/LegalizerInfo.h
lib/CodeGen/GlobalISel/LegalizerInfo.cpp

Public Member Functions

Detailed Description

Constructor & Destructor Documentation

◆ LegalizeRuleSet()

Member Function Documentation

◆ aliasTo()

◆ apply()

◆ clampMaxNumElements()

◆ clampMinNumElements()

◆ clampNumElements()

◆ clampScalar()

◆ customFor()

◆ customForCartesianProduct() [1/2]

◆ customForCartesianProduct() [2/2]

◆ customIf()

◆ fallback()

◆ fewerElementsIf()

◆ getAlias()

◆ isAliasedByAnother()

◆ legalFor() [1/2]

◆ legalFor() [2/2]

◆ legalForCartesianProduct() [1/2]

◆ legalForCartesianProduct() [2/2]

◆ legalForTypesWithMemSize()

◆ legalIf()

◆ libcallFor() [1/2]

◆ libcallFor() [2/2]

◆ libcallForCartesianProduct() [1/2]

◆ libcallForCartesianProduct() [2/2]

◆ libcallIf()

◆ lower()

◆ lowerFor() [1/4]

◆ lowerFor() [2/4]

◆ lowerFor() [3/4]

◆ lowerFor() [4/4]

◆ lowerForCartesianProduct() [1/2]

◆ lowerForCartesianProduct() [2/2]

◆ lowerIf() [1/2]

◆ lowerIf() [2/2]

◆ maxScalar()

◆ maxScalarIf()

◆ minScalar()

◆ minScalarSameAs()

◆ moreElementsIf()

◆ moreElementsToNextPow2()

◆ narrowScalar()

◆ narrowScalarIf()

◆ setIsAliasedByAnother()

◆ unsupported()

◆ unsupportedIf()

◆ unsupportedIfMemSizeNotPow2()

◆ verifyTypeIdxsCoverage()

◆ widenScalarIf()

◆ widenScalarToNextPow2()