LLVM 20.0.0git
Public Member Functions | Static Public Member Functions | Protected Member Functions | Friends | List of all members
llvm::SCEVSequentialMinMaxExpr Class Reference

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

#include "llvm/Analysis/ScalarEvolutionExpressions.h"

Inheritance diagram for llvm::SCEVSequentialMinMaxExpr:
Inheritance graph
[legend]

Public Member Functions

TypegetType () const
 
SCEVTypes getEquivalentNonSequentialSCEVType () const
 
- Public Member Functions inherited from llvm::SCEVNAryExpr
size_t getNumOperands () const
 
const SCEVgetOperand (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
 
SCEVoperator= (const SCEV &)=delete
 
SCEVTypes getSCEVType () const
 
TypegetType () 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 *constOperands
 
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.

Definition at line 516 of file ScalarEvolutionExpressions.h.

Constructor & Destructor Documentation

◆ SCEVSequentialMinMaxExpr()

llvm::SCEVSequentialMinMaxExpr::SCEVSequentialMinMaxExpr ( const FoldingSetNodeIDRef  ID,
enum SCEVTypes  T,
const SCEV *const O,
size_t  N 
)
inlineprotected

Note: Constructing subclasses via this constructor is allowed.

Definition at line 528 of file ScalarEvolutionExpressions.h.

References assert(), llvm::SCEV::FlagNSW, and llvm::SCEV::FlagNUW.

Member Function Documentation

◆ classof()

static bool llvm::SCEVSequentialMinMaxExpr::classof ( const SCEV S)
inlinestatic

Definition at line 553 of file ScalarEvolutionExpressions.h.

References llvm::SCEV::getSCEVType().

◆ getEquivalentNonSequentialSCEVType() [1/2]

SCEVTypes llvm::SCEVSequentialMinMaxExpr::getEquivalentNonSequentialSCEVType ( ) const
inline

◆ getEquivalentNonSequentialSCEVType() [2/2]

static SCEVTypes llvm::SCEVSequentialMinMaxExpr::getEquivalentNonSequentialSCEVType ( SCEVTypes  Ty)
inlinestatic

◆ getType()

Type * llvm::SCEVSequentialMinMaxExpr::getType ( ) const
inline

Friends And Related Function Documentation

◆ ScalarEvolution

friend class ScalarEvolution
friend

Definition at line 517 of file ScalarEvolutionExpressions.h.


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