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

#include "llvm/Analysis/ScalarEvolutionExpressions.h"

Inheritance diagram for llvm::SCEVSequentialMinMaxExpr:

[legend]

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

Type *	getType () const
	Return the LLVM type of this SCEV expression.

ArrayRef< const SCEV * >	operands () const
	Return operands of this SCEV expression.

bool	isZero () const
	Return true if the expression is a constant zero.

bool	isOne () const
	Return true if the expression is a constant one.

bool	isAllOnesValue () const
	Return true if the expression is a constant all-ones value.

bool	isNonConstantNegative () const
	Return true if the specified scev is negated, but not a constant.

unsigned short	getExpressionSize () const

void	print (raw_ostream &OS) const
	Print out the internal representation of this scalar to the specified stream.

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 517 of file ScalarEvolutionExpressions.h.