This means that we are dealing with an entirely unknown SCEV value, and only represent it as its LLVM Value. More...

#include "llvm/Analysis/ScalarEvolutionExpressions.h"

Inheritance diagram for llvm::SCEVUnknown:

[legend]

Collaboration diagram for llvm::SCEVUnknown:

[legend]

Public Member Functions
Value *	getValue () const

Type *	getType () const


bool	isSizeOf (Type *&AllocTy) const

bool	isAlignOf (Type *&AllocTy) const

bool	isOffsetOf (Type &STy, Constant &FieldNo) 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. More...

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

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

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

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

unsigned short	getExpressionSize () const

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

void	dump () const
	This method is used for debugging. More...

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

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

Detailed Description

This means that we are dealing with an entirely unknown SCEV value, and only represent it as its LLVM Value.

This is the "bottom" value for the analysis.

Definition at line 571 of file ScalarEvolutionExpressions.h.

Member Function Documentation

◆ classof()

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

inlinestatic

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

Definition at line 609 of file ScalarEvolutionExpressions.h.

References S, and llvm::scUnknown.

◆ getType()

Type* llvm::SCEVUnknown::getType ( ) const

inline

Definition at line 606 of file ScalarEvolutionExpressions.h.

References llvm::Value::getType(), and llvm::ValueHandleBase::getValPtr().

Referenced by llvm::ScalarEvolution::getLosslessPtrToIntExpr(), and isSimpleCastedPHI().

◆ getValue()

Value* llvm::SCEVUnknown::getValue ( ) const

inline

Definition at line 592 of file ScalarEvolutionExpressions.h.

References llvm::ValueHandleBase::getValPtr().

Referenced by CompareSCEVComplexity(), llvm::ScalarEvolution::createAddRecFromPHIWithCasts(), getCastsForInductionPHI(), llvm::getStrideFromPointer(), isAlignOf(), isOffsetOf(), isSizeOf(), llvm::SCEV::print(), llvm::ScalarEvolution::verify(), and llvm::SCEVParameterRewriter::visitUnknown().

◆ isAlignOf()

bool SCEVUnknown::isAlignOf ( Type *& AllocTy ) const

Definition at line 560 of file ScalarEvolution.cpp.

References getValue().

Referenced by llvm::SCEV::print().

◆ isOffsetOf()

bool SCEVUnknown::isOffsetOf	(	Type *&	STy,
		Constant *&	FieldNo
	)		const

Definition at line 584 of file ScalarEvolution.cpp.

References getValue(), llvm::Type::isArrayTy(), and llvm::Type::isStructTy().

Referenced by llvm::SCEV::print().

◆ isSizeOf()

bool SCEVUnknown::isSizeOf ( Type *& AllocTy ) const

Test whether this is a special constant representing a type size, alignment, or field offset in a target-independent manner, and hasn't happened to have been folded with other operations into something unrecognizable. This is mainly only useful for pretty-printing and other situations where it isn't absolutely required for these to succeed.

Definition at line 544 of file ScalarEvolution.cpp.

References getValue().

Referenced by llvm::SCEV::print().