This node is the base class for sequential/in-order min/max selections. More...

#include "llvm/Analysis/ScalarEvolutionExpressions.h"

Inheritance diagram for llvm::SCEVSequentialMinMaxExpr:

Public Member Functions
Type *	getType () const
SCEVTypes	getEquivalentNonSequentialSCEVType () const
Public Member Functions inherited from llvm::SCEVNAryExpr
size_t	getNumOperands () const
const SCEV *	getOperand (unsigned i) const
ArrayRef< const SCEV * >	operands () const
NoWrapFlags	getNoWrapFlags (NoWrapFlags Mask=NoWrapMask) const
bool	hasNoUnsignedWrap () const
bool	hasNoSignedWrap () const
bool	hasNoSelfWrap () const
Public Member Functions inherited from llvm::SCEV
	SCEV (const FoldingSetNodeIDRef ID, SCEVTypes SCEVTy, unsigned short ExpressionSize)
	SCEV (const SCEV &)=delete
SCEV &	operator= (const SCEV &)=delete
SCEVTypes	getSCEVType () const
LLVM_ABI Type *	getType () const
	Return the LLVM type of this SCEV expression.
LLVM_ABI ArrayRef< const SCEV * >	operands () const
	Return operands of this SCEV expression.
LLVM_ABI bool	isZero () const
	Return true if the expression is a constant zero.
LLVM_ABI bool	isOne () const
	Return true if the expression is a constant one.
LLVM_ABI bool	isAllOnesValue () const
	Return true if the expression is a constant all-ones value.
LLVM_ABI bool	isNonConstantNegative () const
	Return true if the specified scev is negated, but not a constant.
unsigned short	getExpressionSize () const
LLVM_ABI void	print (raw_ostream &OS) const
	Print out the internal representation of this scalar to the specified stream.
LLVM_ABI void	dump () const
	This method is used for debugging.
Public Member Functions inherited from llvm::FoldingSetBase::Node
	Node ()=default
void *	getNextInBucket () const
void	SetNextInBucket (void *N)

Static Public Member Functions
static SCEVTypes	getEquivalentNonSequentialSCEVType (SCEVTypes Ty)
static bool	classof (const SCEV *S)
Static Public Member Functions inherited from llvm::SCEVNAryExpr
static bool	classof (const SCEV *S)
	Methods for support type inquiry through isa, cast, and dyn_cast:

Protected Member Functions
	SCEVSequentialMinMaxExpr (const FoldingSetNodeIDRef ID, enum SCEVTypes T, const SCEV const O, size_t N)
	Note: Constructing subclasses via this constructor is allowed.
Protected Member Functions inherited from llvm::SCEVNAryExpr
	SCEVNAryExpr (const FoldingSetNodeIDRef ID, enum SCEVTypes T, const SCEV const O, size_t N)

Friends
class	ScalarEvolution

Additional Inherited Members
Public Types inherited from llvm::SCEV
enum	NoWrapFlags { FlagAnyWrap = 0 , FlagNW = (1 << 0) , FlagNUW = (1 << 1) , FlagNSW = (1 << 2) , NoWrapMask = (1 << 3) - 1 }
	NoWrapFlags are bitfield indices into SubclassData. More...
Protected Attributes inherited from llvm::SCEVNAryExpr
const SCEV const	Operands
size_t	NumOperands
Protected Attributes inherited from llvm::SCEV
const unsigned short	ExpressionSize
unsigned short	SubclassData = 0
	This field is initialized to zero and may be used in subclasses to store miscellaneous information.

Detailed Description

This node is the base class for sequential/in-order min/max selections.

Note that their fundamental difference from SCEVMinMaxExpr's is that they are early-returning upon reaching saturation point. I.e. given 0 umin_seq poison, the result will be 0, while the result of 0 umin poison is poison. When returning early, later expressions are not executed, so 0 umin_seq (x u/ 0) does not result in undefined behavior.

Definition at line 520 of file ScalarEvolutionExpressions.h.