LLVM: llvm::SCEVNAryExpr Class Reference

LLVM 22.0.0git

This node is a base class providing common functionality for n'ary operators. More...

#include "llvm/Analysis/ScalarEvolutionExpressions.h"

Inheritance diagram for llvm::SCEVNAryExpr:

Public Member Functions
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 bool	classof (const SCEV *S)
	Methods for support type inquiry through isa, cast, and dyn_cast:

Protected Member Functions
	SCEVNAryExpr (const FoldingSetNodeIDRef ID, enum SCEVTypes T, const SCEV const O, size_t N)

Protected Attributes
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.

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...

Detailed Description

This node is a base class providing common functionality for n'ary operators.

Definition at line 197 of file ScalarEvolutionExpressions.h.

Constructor & Destructor Documentation

◆ SCEVNAryExpr()

llvm::SCEVNAryExpr::SCEVNAryExpr	(	const FoldingSetNodeIDRef	ID,
		enum SCEVTypes	T,
		const SCEV const	O,
		size_t	N )

inlineprotected

Definition at line 206 of file ScalarEvolutionExpressions.h.

References llvm::computeExpressionSize(), N, NumOperands, Operands, llvm::SCEV::SCEV(), and T.

Referenced by llvm::SCEVAddRecExpr::ScalarEvolution, llvm::SCEVCommutativeExpr::SCEVCommutativeExpr(), and llvm::SCEVSequentialMinMaxExpr::SCEVSequentialMinMaxExpr().

Member Function Documentation

◆ classof()

bool llvm::SCEVNAryExpr::classof ( const SCEV * S )

inlinestatic

Methods for support type inquiry through isa, cast, and dyn_cast:

Definition at line 238 of file ScalarEvolutionExpressions.h.

References llvm::SCEV::getSCEVType(), llvm::scAddExpr, llvm::scAddRecExpr, llvm::SCEV::SCEV(), llvm::scMulExpr, llvm::scSequentialUMinExpr, llvm::scSMaxExpr, llvm::scSMinExpr, llvm::scUMaxExpr, and llvm::scUMinExpr.

◆ getNoWrapFlags()

NoWrapFlags llvm::SCEVNAryExpr::getNoWrapFlags ( NoWrapFlags Mask = NoWrapMask ) const

inline

◆ getNumOperands()

size_t llvm::SCEVNAryExpr::getNumOperands ( ) const

inline

Definition at line 212 of file ScalarEvolutionExpressions.h.

References NumOperands.

Referenced by extractConstantWithoutWrapping(), llvm::ScalarEvolution::getAddExpr(), llvm::ScalarEvolution::getMulExpr(), llvm::SCEVAddRecExpr::getPostIncExpr(), getPreStartForExtend(), GetQuadraticEquation(), llvm::SCEVAddRecExpr::isAffine(), llvm::SCEVAddRecExpr::isQuadratic(), MatchNotExpr(), llvm::SCEV::print(), and llvm::ScalarEvolution::LoopGuards::rewrite().

◆ getOperand()

const SCEV * llvm::SCEVNAryExpr::getOperand ( unsigned i ) const

inline

◆ hasNoSelfWrap()

bool llvm::SCEVNAryExpr::hasNoSelfWrap ( ) const

inline

Definition at line 235 of file ScalarEvolutionExpressions.h.

References llvm::SCEV::FlagAnyWrap, llvm::SCEV::FlagNW, and getNoWrapFlags().

Referenced by canFoldTermCondOfLoop(), countToEliminateCompares(), and llvm::SCEV::print().

◆ hasNoSignedWrap()

bool llvm::SCEVNAryExpr::hasNoSignedWrap ( ) const

inline

Definition at line 231 of file ScalarEvolutionExpressions.h.

References llvm::SCEV::FlagAnyWrap, llvm::SCEV::FlagNSW, and getNoWrapFlags().

Referenced by llvm::ScalarEvolution::getLoopInvariantPredicate(), llvm::SCEV::print(), and llvm::ScalarEvolution::SimplifyICmpOperands().

◆ hasNoUnsignedWrap()

bool llvm::SCEVNAryExpr::hasNoUnsignedWrap ( ) const

inline

Definition at line 227 of file ScalarEvolutionExpressions.h.

References llvm::SCEV::FlagAnyWrap, llvm::SCEV::FlagNUW, and getNoWrapFlags().

Referenced by llvm::ScalarEvolution::getLoopInvariantPredicate(), llvm::SCEV::print(), and llvm::ScalarEvolution::SimplifyICmpOperands().

◆ operands()

ArrayRef< const SCEV * > llvm::SCEVNAryExpr::operands ( ) const

inline

Definition at line 219 of file ScalarEvolutionExpressions.h.

References llvm::ArrayRef(), NumOperands, and Operands.

Referenced by BuildConstantFromSCEV(), llvm::SCEVAddRecExpr::evaluateAtIteration(), llvm::ScalarEvolution::getAddExpr(), llvm::ScalarEvolution::getLosslessPtrToIntExpr(), llvm::ScalarEvolution::getMinMaxExpr(), llvm::SCEVAddRecExpr::getNumIterationsInRange(), getPreStartForExtend(), llvm::SCEVAddRecExpr::getStepRecurrence(), llvm::SCEV::print(), llvm::ScalarEvolution::LoopGuards::rewrite(), llvm::SCEVDivision::visitAddExpr(), llvm::SCEVRewriteVisitor< SC >::visitAddExpr(), llvm::SCEVLoopAddRecRewriter::visitAddRecExpr(), llvm::SCEVRewriteVisitor< SC >::visitAddRecExpr(), llvm::SCEVDivision::visitMulExpr(), llvm::SCEVRewriteVisitor< SC >::visitMulExpr(), llvm::SCEVRewriteVisitor< SC >::visitSequentialUMinExpr(), llvm::SCEVRewriteVisitor< SC >::visitSMaxExpr(), llvm::SCEVRewriteVisitor< SC >::visitSMinExpr(), llvm::SCEVRewriteVisitor< SC >::visitUMaxExpr(), and llvm::SCEVRewriteVisitor< SC >::visitUMinExpr().

Member Data Documentation

◆ NumOperands

size_t llvm::SCEVNAryExpr::NumOperands

protected

Definition at line 204 of file ScalarEvolutionExpressions.h.

Referenced by getNumOperands(), getOperand(), operands(), and SCEVNAryExpr().

◆ Operands

const SCEV* const* llvm::SCEVNAryExpr::Operands

protected

Definition at line 203 of file ScalarEvolutionExpressions.h.

Referenced by llvm::SCEVAddRecExpr::evaluateAtIteration(), llvm::SCEVAddRecExpr::getNumIterationsInRange(), getOperand(), llvm::SCEVAddRecExpr::getStart(), operands(), and SCEVNAryExpr().

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

include/llvm/Analysis/ScalarEvolutionExpressions.h