#include "llvm/Analysis/ValueLattice.h"

Collaboration diagram for llvm::ValueLatticeElement:

[legend]

Public Member Functions
	ValueLatticeElement ()

	~ValueLatticeElement ()
	Custom destructor to ensure Range is properly destroyed, when the object is deallocated. More...

	ValueLatticeElement (const ValueLatticeElement &Other)
	Custom copy constructor, to ensure Range gets initialized when copying a constant range lattice element. More...

ValueLatticeElement &	operator= (const ValueLatticeElement &Other)
	Custom assignment operator, to ensure Range gets initialized when assigning a constant range lattice element. More...

bool	isUndefined () const

bool	isConstant () const

bool	isNotConstant () const

bool	isConstantRange () const

bool	isOverdefined () const

Constant *	getConstant () const

Constant *	getNotConstant () const

const ConstantRange &	getConstantRange () const

Optional< APInt >	asConstantInteger () const

bool	mergeIn (const ValueLatticeElement &RHS, const DataLayout &DL)
	Updates this object to approximate both this object and RHS. More...

ConstantInt *	getConstantInt () const

Constant *	getCompare (CmpInst::Predicate Pred, Type *Ty, const ValueLatticeElement &Other) const
	Compares this symbolic value with Other using Pred and returns either true, false or undef constants, or nullptr if the comparison cannot be evaluated. More...

Static Public Member Functions
static ValueLatticeElement	get (Constant *C)

static ValueLatticeElement	getNot (Constant *C)

static ValueLatticeElement	getRange (ConstantRange CR)

static ValueLatticeElement	getOverdefined ()

Detailed Description

Definition at line 27 of file ValueLattice.h.

Constructor & Destructor Documentation

◆ ValueLatticeElement() [1/2]

llvm::ValueLatticeElement::ValueLatticeElement ( )

inline

Definition at line 64 of file ValueLattice.h.

◆ ~ValueLatticeElement()

llvm::ValueLatticeElement::~ValueLatticeElement ( )

inline

Custom destructor to ensure Range is properly destroyed, when the object is deallocated.

Definition at line 68 of file ValueLattice.h.

References Range.

◆ ValueLatticeElement() [2/2]

llvm::ValueLatticeElement::ValueLatticeElement ( const ValueLatticeElement & Other )

inline

Custom copy constructor, to ensure Range gets initialized when copying a constant range lattice element.

Definition at line 83 of file ValueLattice.h.

Member Function Documentation

◆ asConstantInteger()

Optional<APInt> llvm::ValueLatticeElement::asConstantInteger ( ) const

inline

Definition at line 165 of file ValueLattice.h.

References assert(), ConstVal, getConstant(), getConstantRange(), getNotConstant(), llvm::ConstantRange::getSingleElement(), isConstant(), isConstantRange(), llvm::ConstantRange::isEmptySet(), isNotConstant(), isOverdefined(), isUndefined(), llvm::None, and Range.

Referenced by getEdgeValueLocal().

◆ get()

static ValueLatticeElement llvm::ValueLatticeElement::get ( Constant * C )

inlinestatic

Definition at line 120 of file ValueLattice.h.

References C.

Referenced by getEdgeValueLocal(), getValueFromICmpCondition(), and intersect().

◆ getCompare()

Constant* llvm::ValueLatticeElement::getCompare	(	CmpInst::Predicate	Pred,
		Type *	Ty,
		const ValueLatticeElement &	Other
	)		const

inline

Compares this symbolic value with Other using Pred and returns either true, false or undef constants, or nullptr if the comparison cannot be evaluated.

Definition at line 294 of file ValueLattice.h.

References contains(), llvm::UndefValue::get(), llvm::ConstantExpr::getCompare(), getConstant(), getConstantRange(), llvm::ConstantInt::getFalse(), llvm::CmpInst::getInversePredicate(), llvm::ConstantInt::getTrue(), isConstant(), isConstantRange(), isUndefined(), llvm::ConstantRange::makeSatisfyingICmpRegion(), and llvm::operator<<().