LLVM API Documentation

llvm::SCEV Class Reference

#include <ScalarEvolution.h>

Inheritance diagram for llvm::SCEV:

[legend]Collaboration diagram for llvm::SCEV:

[legend]List of all members.


Public Member Functions
	SCEV (unsigned SCEVTy)
unsigned	getSCEVType () const
virtual bool	isLoopInvariant (const Loop *L) const =0
virtual bool	hasComputableLoopEvolution (const Loop *L) const =0
virtual const Type *	getType () const =0
uint32_t	getBitWidth () const
bool	isZero () const
virtual SCEVHandle	replaceSymbolicValuesWithConcrete (const SCEVHandle &Sym, const SCEVHandle &Conc, ScalarEvolution &SE) const =0
virtual void	print (std::ostream &OS) const =0
void	print (std::ostream *OS) const
void	dump () const
Protected Member Functions
virtual	~SCEV ()
Friends
class	SCEVHandle

Detailed Description

SCEV - This class represent an analyzed expression in the program. These are reference counted opaque objects that the client is not allowed to do much with directly.

Definition at line 42 of file ScalarEvolution.h.

Constructor & Destructor Documentation

SCEV::~SCEV ( ) [protected, virtual]

Definition at line 115 of file ScalarEvolution.cpp.

llvm::SCEV::SCEV ( unsigned SCEVTy ) [inline, explicit]

Definition at line 58 of file ScalarEvolution.h.

Member Function Documentation

void SCEV::dump ( ) const

dump - This method is used for debugging.
Definition at line 116 of file ScalarEvolution.cpp.
References print().

uint32_t SCEV::getBitWidth ( ) const

getBitWidth - Get the bit width of the type, if it has one, 0 otherwise.
Definition at line 120 of file ScalarEvolution.cpp.
References llvm::IntegerType::getBitWidth(), and getType().
Referenced by GetMinTrailingZeros(), and llvm::SCEVAddRecExpr::getNumIterationsInRange().

unsigned llvm::SCEV::getSCEVType ( ) const [inline]

Definition at line 60 of file ScalarEvolution.h.
Referenced by llvm::SCEVCommutativeExpr::classof(), llvm::SCEVSignExtendExpr::classof(), llvm::SCEVZeroExtendExpr::classof(), llvm::SCEVTruncateExpr::classof(), llvm::SCEVConstant::classof(), llvm::SCEVCouldNotCompute::classof(), GroupByComplexity(), SCEVComplexityCompare::operator()(), llvm::SCEVVisitor< SCEVExpander, Value * >::visit(), and llvm::SCEVCommutativeExpr::~SCEVCommutativeExpr().

virtual const Type* llvm::SCEV::getType ( ) const [pure virtual]

getType - Return the LLVM type of this SCEV expression.
Implemented in llvm::SCEVCouldNotCompute, llvm::SCEVConstant, llvm::SCEVTruncateExpr, llvm::SCEVZeroExtendExpr, llvm::SCEVSignExtendExpr, llvm::SCEVCommutativeExpr, llvm::SCEVUDivExpr, llvm::SCEVAddRecExpr, and llvm::SCEVUnknown.
Referenced by getBitWidth().

virtual bool llvm::SCEV::hasComputableLoopEvolution ( const Loop * L ) const [pure virtual]

hasComputableLoopEvolution - Return true if this SCEV changes value in a known way in the specified loop. This property being true implies that the value is variant in the loop AND that we can emit an expression to compute the value of the expression at any particular loop iteration.
Implemented in llvm::SCEVCouldNotCompute, llvm::SCEVConstant, llvm::SCEVTruncateExpr, llvm::SCEVZeroExtendExpr, llvm::SCEVSignExtendExpr, llvm::SCEVCommutativeExpr, llvm::SCEVUDivExpr, llvm::SCEVAddRecExpr, and llvm::SCEVUnknown.
Referenced by llvm::SCEVUDivExpr::hasComputableLoopEvolution().

virtual bool llvm::SCEV::isLoopInvariant ( const Loop * L ) const [pure virtual]

isLoopInvariant - Return true if the value of this SCEV is unchanging in the specified loop.
Implemented in llvm::SCEVCouldNotCompute, llvm::SCEVConstant, llvm::SCEVTruncateExpr, llvm::SCEVZeroExtendExpr, llvm::SCEVSignExtendExpr, llvm::SCEVCommutativeExpr, llvm::SCEVUDivExpr, llvm::SCEVAddRecExpr, and llvm::SCEVUnknown.
Referenced by llvm::SCEVUDivExpr::isLoopInvariant().

bool SCEV::isZero ( ) const

isZero - Return true if the expression is a constant zero.
Definition at line 126 of file ScalarEvolution.cpp.
References llvm::SCEVConstant::getValue(), and llvm::ConstantInt::isZero().

void llvm::SCEV::print ( std::ostream * OS ) const [inline]

Reimplemented in llvm::SCEVCouldNotCompute, llvm::SCEVConstant, llvm::SCEVTruncateExpr, llvm::SCEVZeroExtendExpr, llvm::SCEVSignExtendExpr, llvm::SCEVCommutativeExpr, llvm::SCEVUDivExpr, llvm::SCEVAddRecExpr, and llvm::SCEVUnknown.
Definition at line 98 of file ScalarEvolution.h.

virtual void llvm::SCEV::print ( std::ostream & OS ) const [pure virtual]

print - Print out the internal representation of this scalar to the specified stream. This should really only be used for debugging purposes.
Implemented in llvm::SCEVCouldNotCompute, llvm::SCEVConstant, llvm::SCEVTruncateExpr, llvm::SCEVZeroExtendExpr, llvm::SCEVSignExtendExpr, llvm::SCEVCommutativeExpr, llvm::SCEVUDivExpr, llvm::SCEVAddRecExpr, and llvm::SCEVUnknown.
Referenced by dump(), and llvm::operator<<().

virtual SCEVHandle llvm::SCEV::replaceSymbolicValuesWithConcrete ( const SCEVHandle & Sym,

const SCEVHandle & Conc,

ScalarEvolution & SE

) const [pure virtual]

replaceSymbolicValuesWithConcrete - If this SCEV internally references the symbolic value "Sym", construct and return a new SCEV that produces the same value, but which uses the concrete value Conc instead of the symbolic value. If this SCEV does not use the symbolic value, it returns itself.
Implemented in llvm::SCEVCouldNotCompute, llvm::SCEVConstant, llvm::SCEVTruncateExpr, llvm::SCEVZeroExtendExpr, llvm::SCEVSignExtendExpr, llvm::SCEVCommutativeExpr, llvm::SCEVUDivExpr, llvm::SCEVAddRecExpr, and llvm::SCEVUnknown.
Referenced by llvm::SCEVUDivExpr::replaceSymbolicValuesWithConcrete().

Friends And Related Function Documentation

friend class SCEVHandle [friend]

Definition at line 46 of file ScalarEvolution.h.

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

This web site is hosted by the Computer Science Department at the University of Illinois at Urbana-Champaign.

llvm::SCEV Class Reference

Public Member Functions

Protected Member Functions

Friends

Detailed Description

Constructor & Destructor Documentation

Member Function Documentation

Friends And Related Function Documentation