LLVM: llvm::SCEVNAryExpr Class Reference

LLVM 20.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:

Inheritance graph

[legend]

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

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

Member Function Documentation

◆ classof()

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

inlinestatic

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

Definition at line 237 of file ScalarEvolutionExpressions.h.

References llvm::SCEV::getSCEVType(), llvm::scAddExpr, llvm::scAddRecExpr, 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 211 of file ScalarEvolutionExpressions.h.

References NumOperands.

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

◆ getOperand()

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

inline

Definition at line 213 of file ScalarEvolutionExpressions.h.

References assert(), NumOperands, and Operands.

Referenced by extractConstantWithoutWrapping(), llvm::ScalarEvolution::getAddExpr(), llvm::ScalarEvolution::getMulExpr(), GetQuadraticEquation(), llvm::SCEVAddRecExpr::getStepRecurrence(), getStoreStride(), llvm::SCEVMulExpr::getType(), llvm::SCEVMinMaxExpr::getType(), llvm::SCEVSequentialMinMaxExpr::getType(), MatchNotExpr(), llvm::SCEV::print(), and SolveQuadraticAddRecRange().

◆ hasNoSelfWrap()

bool llvm::SCEVNAryExpr::hasNoSelfWrap ( ) const

inline

Definition at line 234 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 230 of file ScalarEvolutionExpressions.h.

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

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

◆ hasNoUnsignedWrap()

bool llvm::SCEVNAryExpr::hasNoUnsignedWrap ( ) const

inline

Definition at line 226 of file ScalarEvolutionExpressions.h.

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

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

◆ operands()

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

inline

Definition at line 218 of file ScalarEvolutionExpressions.h.

References NumOperands, and Operands.

Referenced by BuildConstantFromSCEV(), llvm::SCEVAddRecExpr::evaluateAtIteration(), llvm::ScalarEvolution::getAddExpr(), llvm::ScalarEvolution::getLosslessPtrToIntExpr(), llvm::ScalarEvolution::getMinMaxExpr(), getPreStartForExtend(), llvm::SCEVAddRecExpr::getStepRecurrence(), llvm::SCEV::print(), llvm::ScalarEvolution::LoopGuards::rewrite(), llvm::SCEVRewriteVisitor< SC >::visitAddExpr(), llvm::SCEVDivision::visitAddExpr(), llvm::SCEVRewriteVisitor< SC >::visitAddRecExpr(), llvm::SCEVLoopAddRecRewriter::visitAddRecExpr(), llvm::SCEVRewriteVisitor< SC >::visitMulExpr(), llvm::SCEVDivision::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 203 of file ScalarEvolutionExpressions.h.

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

◆ Operands

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

protected

Definition at line 202 of file ScalarEvolutionExpressions.h.

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

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

include/llvm/Analysis/ScalarEvolutionExpressions.h