llvm::SCEVPatternMatch Namespace Reference

Classes
struct	bind_cst_ty
struct	cst_pred_ty
struct	is_all_ones
struct	is_one
struct	is_specific_cst
struct	is_specific_signed_cst
struct	is_undef_or_poison
struct	is_zero
struct	SCEVAffineAddRec_match
	Match an affine SCEVAddRecExpr. More...
struct	SCEVBinaryExpr_match
	Match a binary SCEV. More...
struct	SCEVUnaryExpr_match
	Match a unary SCEV. More...
struct	SCEVURem_match
	Match unsigned remainder pattern. More...
struct	specificloop_ty
	Match a specified const Loop*. More...
struct	specificscev_ty
	Match a specified const SCEV *. More...

Functions
template<typename Pattern>
bool	match (const SCEV *S, const Pattern &P)
template<typename SCEVPtrT, typename Pattern>
bool	match (const SCEVUseT< SCEVPtrT > U, const Pattern &P)
cst_pred_ty< is_zero >	m_scev_Zero ()
	Match an integer 0.
cst_pred_ty< is_one >	m_scev_One ()
	Match an integer 1.
cst_pred_ty< is_all_ones >	m_scev_AllOnes ()
	Match an integer with all bits set.
auto	m_SCEV ()
auto	m_SCEVConstant ()
auto	m_SCEVVScale ()
match_bind< const SCEV >	m_SCEV (const SCEV *&V)
	Match a SCEV, capturing it if we match.
template<typename SCEVPtrT>
match_bind< SCEVUseT< SCEVPtrT > >	m_SCEV (SCEVUseT< SCEVPtrT > &V)
match_bind< const SCEVConstant >	m_SCEVConstant (const SCEVConstant *&V)
match_bind< const SCEVUnknown >	m_SCEVUnknown (const SCEVUnknown *&V)
match_bind< const SCEVAddExpr >	m_scev_Add (const SCEVAddExpr *&V)
match_bind< const SCEVMulExpr >	m_scev_Mul (const SCEVMulExpr *&V)
specificscev_ty	m_scev_Specific (const SCEV *S)
	Match if we have a specific specified SCEV.
cst_pred_ty< is_specific_cst >	m_scev_SpecificInt (uint64_t V)
	Match an SCEV constant with a plain unsigned integer.
cst_pred_ty< is_specific_signed_cst >	m_scev_SpecificSInt (int64_t V)
	Match an SCEV constant with a plain signed integer (sign-extended value will be matched)
bind_cst_ty	m_scev_APInt (const APInt *&C)
	Match an SCEV constant and bind it to an APInt.
template<typename SCEVTy, typename Op0_t>
SCEVUnaryExpr_match< SCEVTy, Op0_t >	m_scev_Unary (const Op0_t &Op0)
template<typename Op0_t>
SCEVUnaryExpr_match< SCEVSignExtendExpr, Op0_t >	m_scev_SExt (const Op0_t &Op0)
template<typename Op0_t>
SCEVUnaryExpr_match< SCEVZeroExtendExpr, Op0_t >	m_scev_ZExt (const Op0_t &Op0)
template<typename Op0_t>
SCEVUnaryExpr_match< SCEVPtrToAddrExpr, Op0_t >	m_scev_PtrToAddr (const Op0_t &Op0)
template<typename Op0_t>
SCEVUnaryExpr_match< SCEVTruncateExpr, Op0_t >	m_scev_Trunc (const Op0_t &Op0)
template<typename SCEVTy, typename Op0_t, typename Op1_t, SCEV::NoWrapFlags WrapFlags = SCEV::FlagAnyWrap, bool Commutable = false>
SCEVBinaryExpr_match< SCEVTy, Op0_t, Op1_t, WrapFlags, Commutable >	m_scev_Binary (const Op0_t &Op0, const Op1_t &Op1)
template<typename Op0_t, typename Op1_t>
SCEVBinaryExpr_match< SCEVAddExpr, Op0_t, Op1_t >	m_scev_Add (const Op0_t &Op0, const Op1_t &Op1)
template<typename Op0_t, typename Op1_t>
SCEVBinaryExpr_match< SCEVMulExpr, Op0_t, Op1_t >	m_scev_Mul (const Op0_t &Op0, const Op1_t &Op1)
template<typename Op0_t, typename Op1_t>
SCEVBinaryExpr_match< SCEVMulExpr, Op0_t, Op1_t, SCEV::FlagAnyWrap, true >	m_scev_c_Mul (const Op0_t &Op0, const Op1_t &Op1)
template<typename Op0_t, typename Op1_t>
SCEVBinaryExpr_match< SCEVMulExpr, Op0_t, Op1_t, SCEV::FlagNUW, true >	m_scev_c_NUWMul (const Op0_t &Op0, const Op1_t &Op1)
template<typename Op0_t, typename Op1_t>
SCEVBinaryExpr_match< SCEVUDivExpr, Op0_t, Op1_t >	m_scev_UDiv (const Op0_t &Op0, const Op1_t &Op1)
template<typename Op0_t, typename Op1_t>
SCEVBinaryExpr_match< SCEVSMaxExpr, Op0_t, Op1_t, SCEV::FlagAnyWrap, true >	m_scev_SMax (const Op0_t &Op0, const Op1_t &Op1)
template<typename Op0_t, typename Op1_t>
SCEVBinaryExpr_match< SCEVUMaxExpr, Op0_t, Op1_t, SCEV::FlagAnyWrap, true >	m_scev_UMax (const Op0_t &Op0, const Op1_t &Op1)
template<typename Op0_t, typename Op1_t>
SCEVBinaryExpr_match< SCEVMinMaxExpr, Op0_t, Op1_t >	m_scev_MinMax (const Op0_t &Op0, const Op1_t &Op1)
template<typename Op0_t, typename Op1_t>
SCEVURem_match< Op0_t, Op1_t >	m_scev_URem (Op0_t LHS, Op1_t RHS, ScalarEvolution &SE)
	Match the mathematical pattern A - (A / B) * B, where A and B can be arbitrary expressions.
auto	m_Loop ()
specificloop_ty	m_SpecificLoop (const Loop *L)
match_bind< const Loop >	m_Loop (const Loop *&L)
template<typename Op0_t, typename Op1_t>
SCEVAffineAddRec_match< Op0_t, Op1_t, match_isa< const Loop > >	m_scev_AffineAddRec (const Op0_t &Op0, const Op1_t &Op1)
template<typename Op0_t, typename Op1_t, typename Loop_t>
SCEVAffineAddRec_match< Op0_t, Op1_t, Loop_t >	m_scev_AffineAddRec (const Op0_t &Op0, const Op1_t &Op1, const Loop_t &L)
is_undef_or_poison	m_scev_UndefOrPoison ()
	Match an SCEVUnknown wrapping undef or poison.

Function Documentation

m_Loop() [1/2]

auto llvm::SCEVPatternMatch::m_Loop ( )

inline

Definition at line 363 of file ScalarEvolutionPatternMatch.h.

References llvm::PatternMatchHelpers::m_Isa().

Referenced by DoInitialMatch(), llvm::ScalarEvolution::getSignExtendExprImpl(), llvm::ScalarEvolution::getZeroExtendExprImpl(), IsKnownPredicateViaAddRecStart(), and m_scev_AffineAddRec().

m_Loop() [2/2]

match_bind< const Loop > llvm::SCEVPatternMatch::m_Loop ( const Loop *& L )

inline

Definition at line 390 of file ScalarEvolutionPatternMatch.h.

m_SCEV() [1/3]

auto llvm::SCEVPatternMatch::m_SCEV ( )

inline

Definition at line 81 of file ScalarEvolutionPatternMatch.h.

References llvm::PatternMatchHelpers::m_Isa().

Referenced by llvm::canPeelLastIteration(), collectDivisibilityInformation(), CollectSubexprs(), llvm::ScalarEvolution::computeConstantDifference(), llvm::VPlanTransforms::convertToStridedAccesses(), DoInitialMatch(), llvm::ScalarEvolution::getAddExpr(), llvm::ScalarEvolution::getMulExpr(), llvm::ScalarEvolution::getSignExtendExprImpl(), getStepDirection(), getStrideFromPointer(), llvm::ScalarEvolution::getUDivExpr(), llvm::ScalarEvolution::getZeroExtendExprImpl(), llvm::vputils::isAddressSCEVForCost(), isBigEndianBitShift(), isDivisibilityGuard(), isHighCostExpansion(), llvm::InductionDescriptor::isInductionPHI(), isKnownPredicateExtendIdiom(), IsKnownPredicateViaAddRecStart(), isLoopCounter(), llvm::SCEVPatternMatch::SCEVURem_match< Op0_t, Op1_t >::match(), MatchBinarySub(), MatchNotExpr(), mayUsePostIncMode(), llvm::VPlanTransforms::optimizeFindIVReductions(), optimizeLatchExitIVUserViaSCEV(), llvm::LoopVectorizationPlanner::selectBestEpiloguePlan(), and llvm::ScalarEvolution::SimplifyICmpOperands().

m_SCEV() [2/3]

match_bind< const SCEV > llvm::SCEVPatternMatch::m_SCEV ( const SCEV *& V )

inline

Match a SCEV, capturing it if we match.

Definition at line 86 of file ScalarEvolutionPatternMatch.h.

m_SCEV() [3/3]

template<typename SCEVPtrT>

match_bind< SCEVUseT< SCEVPtrT > > llvm::SCEVPatternMatch::m_SCEV ( SCEVUseT< SCEVPtrT > & V )

inline

Definition at line 89 of file ScalarEvolutionPatternMatch.h.

m_scev_Add() [1/2]

template<typename Op0_t, typename Op1_t>

SCEVBinaryExpr_match< SCEVAddExpr, Op0_t, Op1_t > llvm::SCEVPatternMatch::m_scev_Add ( const Op0_t & Op0, const Op1_t & Op1 )

inline

Definition at line 236 of file ScalarEvolutionPatternMatch.h.

References m_scev_Binary().

m_scev_Add() [2/2]

match_bind< const SCEVAddExpr > llvm::SCEVPatternMatch::m_scev_Add ( const SCEVAddExpr *& V )

inline

Definition at line 99 of file ScalarEvolutionPatternMatch.h.

Referenced by llvm::ScalarEvolution::getAddExpr(), llvm::ScalarEvolution::getMulExpr(), llvm::ScalarEvolution::getUDivExpr(), llvm::ScalarEvolution::getZeroExtendExprImpl(), llvm::SCEVPatternMatch::SCEVURem_match< Op0_t, Op1_t >::match(), MatchBinarySub(), MatchNotExpr(), and llvm::ScalarEvolution::SimplifyICmpOperands().

m_scev_AffineAddRec() [1/2]

template<typename Op0_t, typename Op1_t>

SCEVAffineAddRec_match< Op0_t, Op1_t, match_isa< const Loop > > llvm::SCEVPatternMatch::m_scev_AffineAddRec ( const Op0_t & Op0, const Op1_t & Op1 )

inline

Definition at line 394 of file ScalarEvolutionPatternMatch.h.

References m_Loop().

Referenced by llvm::canPeelLastIteration(), CollectSubexprs(), llvm::VPlanTransforms::convertToStridedAccesses(), DoInitialMatch(), llvm::ScalarEvolution::getSignExtendExprImpl(), getStepDirection(), getStrideFromPointer(), llvm::ScalarEvolution::getZeroExtendExprImpl(), llvm::vputils::isAddressSCEVForCost(), llvm::InductionDescriptor::isInductionPHI(), IsKnownPredicateViaAddRecStart(), isLoopCounter(), mayUsePostIncMode(), llvm::VPlanTransforms::optimizeFindIVReductions(), and optimizeLatchExitIVUserViaSCEV().

m_scev_AffineAddRec() [2/2]

template<typename Op0_t, typename Op1_t, typename Loop_t>

SCEVAffineAddRec_match< Op0_t, Op1_t, Loop_t > llvm::SCEVPatternMatch::m_scev_AffineAddRec ( const Op0_t & Op0, const Op1_t & Op1, const Loop_t & L )

inline

Definition at line 401 of file ScalarEvolutionPatternMatch.h.

m_scev_AllOnes()

cst_pred_ty< is_all_ones > llvm::SCEVPatternMatch::m_scev_AllOnes ( )

inline

Match an integer with all bits set.

Definition at line 77 of file ScalarEvolutionPatternMatch.h.

Referenced by llvm::ScalarEvolution::getAddExpr(), llvm::SCEV::isAllOnesValue(), MatchBinarySub(), MatchNotExpr(), and llvm::ScalarEvolution::LoopGuards::rewrite().

m_scev_APInt()

bind_cst_ty llvm::SCEVPatternMatch::m_scev_APInt ( const APInt *& C )

inline

Match an SCEV constant and bind it to an APInt.

Definition at line 157 of file ScalarEvolutionPatternMatch.h.

References C().

Referenced by canFoldIVIncExpr(), llvm::ScalarEvolution::computeConstantDifference(), ExtractImmediateOperand(), getNextSCEVDivisibleByDivisor(), getPreviousSCEVDivisibleByDivisor(), getSmallConstantTripCount(), llvm::getStrideFromAddRec(), llvm::ScalarEvolution::getUDivExpr(), llvm::ScalarEvolution::getZeroExtendExprImpl(), mayLoopAccessLocation(), llvm::VPlanTransforms::replaceSymbolicStrides(), and llvm::VPlanTransforms::simplifyLiveInsWithSCEV().

m_scev_Binary()

template<typename SCEVTy, typename Op0_t, typename Op1_t, SCEV::NoWrapFlags WrapFlags = SCEV::FlagAnyWrap, bool Commutable = false>

SCEVBinaryExpr_match< SCEVTy, Op0_t, Op1_t, WrapFlags, Commutable > llvm::SCEVPatternMatch::m_scev_Binary ( const Op0_t & Op0, const Op1_t & Op1 )

inline

Definition at line 229 of file ScalarEvolutionPatternMatch.h.

Referenced by m_scev_Add(), m_scev_c_Mul(), m_scev_c_NUWMul(), m_scev_MinMax(), m_scev_Mul(), m_scev_SMax(), m_scev_UDiv(), and m_scev_UMax().

m_scev_c_Mul()

template<typename Op0_t, typename Op1_t>

SCEVBinaryExpr_match< SCEVMulExpr, Op0_t, Op1_t, SCEV::FlagAnyWrap, true > llvm::SCEVPatternMatch::m_scev_c_Mul ( const Op0_t & Op0, const Op1_t & Op1 )

inline

Definition at line 248 of file ScalarEvolutionPatternMatch.h.

References m_scev_Binary().

Referenced by llvm::LoopVectorizationPlanner::selectBestEpiloguePlan(), and llvm::ScalarEvolution::SimplifyICmpOperands().

m_scev_c_NUWMul()

template<typename Op0_t, typename Op1_t>

SCEVBinaryExpr_match< SCEVMulExpr, Op0_t, Op1_t, SCEV::FlagNUW, true > llvm::SCEVPatternMatch::m_scev_c_NUWMul ( const Op0_t & Op0, const Op1_t & Op1 )

inline

Definition at line 255 of file ScalarEvolutionPatternMatch.h.

References m_scev_Binary().

Referenced by llvm::ScalarEvolution::getUDivExpr().

m_scev_MinMax()

template<typename Op0_t, typename Op1_t>

SCEVBinaryExpr_match< SCEVMinMaxExpr, Op0_t, Op1_t > llvm::SCEVPatternMatch::m_scev_MinMax ( const Op0_t & Op0, const Op1_t & Op1 )

inline

Definition at line 282 of file ScalarEvolutionPatternMatch.h.

References m_scev_Binary().

m_scev_Mul() [1/2]

template<typename Op0_t, typename Op1_t>

SCEVBinaryExpr_match< SCEVMulExpr, Op0_t, Op1_t > llvm::SCEVPatternMatch::m_scev_Mul ( const Op0_t & Op0, const Op1_t & Op1 )

inline

Definition at line 242 of file ScalarEvolutionPatternMatch.h.

References m_scev_Binary().

m_scev_Mul() [2/2]

match_bind< const SCEVMulExpr > llvm::SCEVPatternMatch::m_scev_Mul ( const SCEVMulExpr *& V )

inline

Definition at line 103 of file ScalarEvolutionPatternMatch.h.

Referenced by canFoldIVIncExpr(), CollectSubexprs(), llvm::ScalarEvolution::computeConstantDifference(), ExtractImmediateOperand(), llvm::ScalarEvolution::getAddExpr(), getSmallConstantTripCount(), getStrideFromPointer(), llvm::ScalarEvolution::getUDivExpr(), llvm::ScalarEvolution::getZeroExtendExprImpl(), isBigEndianBitShift(), isHighCostExpansion(), llvm::SCEVPatternMatch::SCEVURem_match< Op0_t, Op1_t >::match(), MatchBinarySub(), MatchNotExpr(), and llvm::ScalarEvolution::SimplifyICmpOperands().

m_scev_One()

cst_pred_ty< is_one > llvm::SCEVPatternMatch::m_scev_One ( )

inline

Match an integer 1.

Definition at line 70 of file ScalarEvolutionPatternMatch.h.

Referenced by llvm::canPeelLastIteration(), isLoopCounter(), and llvm::SCEV::isOne().

m_scev_PtrToAddr()

template<typename Op0_t>

SCEVUnaryExpr_match< SCEVPtrToAddrExpr, Op0_t > llvm::SCEVPatternMatch::m_scev_PtrToAddr ( const Op0_t & Op0 )

inline

Definition at line 191 of file ScalarEvolutionPatternMatch.h.

m_scev_SExt()

template<typename Op0_t>

SCEVUnaryExpr_match< SCEVSignExtendExpr, Op0_t > llvm::SCEVPatternMatch::m_scev_SExt ( const Op0_t & Op0 )

inline

Definition at line 179 of file ScalarEvolutionPatternMatch.h.

References m_scev_Unary().

Referenced by isKnownPredicateExtendIdiom(), and isSimpleCastedPHI().

m_scev_SMax()

template<typename Op0_t, typename Op1_t>

SCEVBinaryExpr_match< SCEVSMaxExpr, Op0_t, Op1_t, SCEV::FlagAnyWrap, true > llvm::SCEVPatternMatch::m_scev_SMax ( const Op0_t & Op0, const Op1_t & Op1 )

inline

Definition at line 268 of file ScalarEvolutionPatternMatch.h.

References m_scev_Binary().

Referenced by llvm::ScalarEvolution::getUDivExpr(), and llvm::ScalarEvolution::getZeroExtendExprImpl().

m_scev_Specific()

specificscev_ty llvm::SCEVPatternMatch::m_scev_Specific ( const SCEV * S )

inline

Match if we have a specific specified SCEV.

Definition at line 117 of file ScalarEvolutionPatternMatch.h.

Referenced by llvm::ScalarEvolution::getAddExpr(), llvm::ScalarEvolution::getUDivExpr(), isKnownPredicateExtendIdiom(), IsKnownPredicateViaAddRecStart(), isSimpleCastedPHI(), and llvm::ScalarEvolution::SimplifyICmpOperands().

m_scev_SpecificInt()

cst_pred_ty< is_specific_cst > llvm::SCEVPatternMatch::m_scev_SpecificInt ( uint64_t V )

inline

Match an SCEV constant with a plain unsigned integer.

Definition at line 126 of file ScalarEvolutionPatternMatch.h.

References uint64_t.

Referenced by isBigEndianBitShift().

m_scev_SpecificSInt()

cst_pred_ty< is_specific_signed_cst > llvm::SCEVPatternMatch::m_scev_SpecificSInt ( int64_t V )

inline

Match an SCEV constant with a plain signed integer (sign-extended value will be matched)

Definition at line 136 of file ScalarEvolutionPatternMatch.h.

m_scev_Trunc()

template<typename Op0_t>

SCEVUnaryExpr_match< SCEVTruncateExpr, Op0_t > llvm::SCEVPatternMatch::m_scev_Trunc ( const Op0_t & Op0 )

inline

Definition at line 197 of file ScalarEvolutionPatternMatch.h.

References m_scev_Unary().

Referenced by llvm::ScalarEvolution::getZeroExtendExprImpl(), isSimpleCastedPHI(), and llvm::SCEVPatternMatch::SCEVURem_match< Op0_t, Op1_t >::match().

m_scev_UDiv()

template<typename Op0_t, typename Op1_t>

SCEVBinaryExpr_match< SCEVUDivExpr, Op0_t, Op1_t > llvm::SCEVPatternMatch::m_scev_UDiv ( const Op0_t & Op0, const Op1_t & Op1 )

inline

Definition at line 262 of file ScalarEvolutionPatternMatch.h.

References m_scev_Binary().

Referenced by llvm::ScalarEvolution::getMulExpr(), isBigEndianBitShift(), and llvm::ScalarEvolution::SimplifyICmpOperands().

m_scev_UMax()

template<typename Op0_t, typename Op1_t>

SCEVBinaryExpr_match< SCEVUMaxExpr, Op0_t, Op1_t, SCEV::FlagAnyWrap, true > llvm::SCEVPatternMatch::m_scev_UMax ( const Op0_t & Op0, const Op1_t & Op1 )

inline

Definition at line 275 of file ScalarEvolutionPatternMatch.h.

References m_scev_Binary().

m_scev_Unary()

template<typename SCEVTy, typename Op0_t>

SCEVUnaryExpr_match< SCEVTy, Op0_t > llvm::SCEVPatternMatch::m_scev_Unary ( const Op0_t & Op0 )

inline

Definition at line 173 of file ScalarEvolutionPatternMatch.h.

Referenced by m_scev_SExt(), m_scev_Trunc(), and m_scev_ZExt().

m_scev_UndefOrPoison()

is_undef_or_poison llvm::SCEVPatternMatch::m_scev_UndefOrPoison ( )

inline

Match an SCEVUnknown wrapping undef or poison.

Definition at line 414 of file ScalarEvolutionPatternMatch.h.

Referenced by llvm::ScalarEvolution::containsUndefs().

m_scev_URem()

template<typename Op0_t, typename Op1_t>

SCEVURem_match< Op0_t, Op1_t > llvm::SCEVPatternMatch::m_scev_URem ( Op0_t LHS, Op1_t RHS, ScalarEvolution & SE )

inline

Match the mathematical pattern A - (A / B) * B, where A and B can be arbitrary expressions.

Also match zext (trunc A to iB) to iY, which is used for URem with constant power-of-2 second operands. It's not always easy, as A and B can be folded (imagine A is X / 2, and B is 4, A / B becomes X / 8).

Definition at line 358 of file ScalarEvolutionPatternMatch.h.

References LHS, and RHS.

Referenced by collectDivisibilityInformation(), llvm::ScalarEvolution::getAddExpr(), llvm::ScalarEvolution::getZeroExtendExprImpl(), and isDivisibilityGuard().

m_scev_Zero()

cst_pred_ty< is_zero > llvm::SCEVPatternMatch::m_scev_Zero ( )

inline

Match an integer 0.

Definition at line 63 of file ScalarEvolutionPatternMatch.h.

Referenced by collectDivisibilityInformation(), llvm::ScalarEvolution::getUDivExpr(), and llvm::SCEV::isZero().

m_scev_ZExt()

template<typename Op0_t>

SCEVUnaryExpr_match< SCEVZeroExtendExpr, Op0_t > llvm::SCEVPatternMatch::m_scev_ZExt ( const Op0_t & Op0 )

inline

Definition at line 185 of file ScalarEvolutionPatternMatch.h.

References m_scev_Unary().

Referenced by llvm::ScalarEvolution::getAddExpr(), llvm::ScalarEvolution::getMulExpr(), isKnownPredicateExtendIdiom(), isSimpleCastedPHI(), and llvm::SCEVPatternMatch::SCEVURem_match< Op0_t, Op1_t >::match().

m_SCEVConstant() [1/2]

auto llvm::SCEVPatternMatch::m_SCEVConstant ( )

inline

Definition at line 82 of file ScalarEvolutionPatternMatch.h.

References llvm::PatternMatchHelpers::m_Isa().

Referenced by CollectSubexprs(), llvm::VPlanTransforms::convertToStridedAccesses(), llvm::ScalarEvolution::getMulExpr(), getStrideFromPointer(), mayUsePostIncMode(), and llvm::ScalarEvolution::SimplifyICmpOperands().

m_SCEVConstant() [2/2]

match_bind< const SCEVConstant > llvm::SCEVPatternMatch::m_SCEVConstant ( const SCEVConstant *& V )

inline

Definition at line 92 of file ScalarEvolutionPatternMatch.h.

m_SCEVUnknown()

match_bind< const SCEVUnknown > llvm::SCEVPatternMatch::m_SCEVUnknown ( const SCEVUnknown *& V )

inline

Definition at line 95 of file ScalarEvolutionPatternMatch.h.

Referenced by collectDivisibilityInformation(), and llvm::SCEVPatternMatch::is_undef_or_poison::match().

m_SCEVVScale()

auto llvm::SCEVPatternMatch::m_SCEVVScale ( )

inline

Definition at line 83 of file ScalarEvolutionPatternMatch.h.

References llvm::PatternMatchHelpers::m_Isa().

Referenced by canFoldIVIncExpr(), ExtractImmediateOperand(), getSmallConstantTripCount(), llvm::ScalarEvolution::getUDivExpr(), llvm::LoopVectorizationPlanner::selectBestEpiloguePlan(), and llvm::ScalarEvolution::SimplifyICmpOperands().

m_SpecificLoop()

specificloop_ty llvm::SCEVPatternMatch::m_SpecificLoop ( const Loop * L )

inline

Definition at line 388 of file ScalarEvolutionPatternMatch.h.

Referenced by llvm::canPeelLastIteration(), llvm::VPlanTransforms::convertToStridedAccesses(), getStrideFromPointer(), llvm::InductionDescriptor::isInductionPHI(), IsKnownPredicateViaAddRecStart(), isLoopCounter(), and optimizeLatchExitIVUserViaSCEV().

match() [1/2]

template<typename Pattern>

bool llvm::SCEVPatternMatch::match	(	const SCEV *	S,
		const Pattern &	P )

Definition at line 38 of file ScalarEvolutionPatternMatch.h.

References P.

Referenced by canFoldIVIncExpr(), cannotHoistOrSinkRecipe(), llvm::vputils::cannotHoistOrSinkRecipe(), llvm::canPeelLastIteration(), checkOrAndOpImpliedByOther(), CollectSubexprs(), combineRecipe(), countToEliminateCompares(), decompose(), DoInitialMatch(), ExtractImmediateOperand(), llvm::LoopVectorizationCostModel::getInstructionCost(), llvm::vputils::getSCEVExprForVPValue(), getSmallConstantTripCount(), llvm::vputils::isAddressSCEVForCost(), isHighCostExpansion(), isLoopCounter(), isSignificantBitCheckWellFormed(), llvm::vputils::isUniformAcrossVFsAndUFs(), llvm::SCEVPatternMatch::is_undef_or_poison::match(), llvm::SCEVPatternMatch::SCEVURem_match< Op0_t, Op1_t >::match(), RecurrenceInfo::matchConditionalRecurrence(), mayUsePostIncMode(), optimizeLoopExitWithUnknownExitCount(), optimizeVectorInductionWidthForTCAndVFUF(), preparePlanForEpilogueVectorLoop(), replaceSubOverflowUses(), llvm::ScalarEvolution::LoopGuards::rewrite(), llvm::LoopVectorizationPlanner::selectBestEpiloguePlan(), simplifyBlends(), and simplifyRecipe().

match() [2/2]

template<typename SCEVPtrT, typename Pattern>

bool llvm::SCEVPatternMatch::match	(	const SCEVUseT< SCEVPtrT >	U,
		const Pattern &	P )

Definition at line 43 of file ScalarEvolutionPatternMatch.h.

References P.