This class represents lattice values for constants. More...

#include "llvm/Analysis/ValueLattice.h"

Classes
struct	MergeOptions
	Struct to control some aspects related to merging constant ranges. More...

Public Member Functions
	ValueLatticeElement ()
	~ValueLatticeElement ()
	ValueLatticeElement (const ValueLatticeElement &Other)
	ValueLatticeElement (ValueLatticeElement &&Other)
ValueLatticeElement &	operator= (const ValueLatticeElement &Other)
ValueLatticeElement &	operator= (ValueLatticeElement &&Other)
bool	isUndef () const
bool	isUnknown () const
bool	isUnknownOrUndef () const
bool	isConstant () const
bool	isNotConstant () const
bool	isConstantRangeIncludingUndef () const
bool	isConstantRange (bool UndefAllowed=true) const
	Returns true if this value is a constant range.
bool	isOverdefined () const
Constant *	getConstant () const
Constant *	getNotConstant () const
const ConstantRange &	getConstantRange (bool UndefAllowed=true) const
	Returns the constant range for this value.
std::optional< APInt >	asConstantInteger () const
ConstantRange	asConstantRange (unsigned BW, bool UndefAllowed=false) const
ConstantRange	asConstantRange (Type *Ty, bool UndefAllowed=false) const
bool	markOverdefined ()
bool	markUndef ()
bool	markConstant (Constant *V, bool MayIncludeUndef=false)
bool	markNotConstant (Constant *V)
bool	markConstantRange (ConstantRange NewR, MergeOptions Opts=MergeOptions())
	Mark the object as constant range with `NewR`.
bool	mergeIn (const ValueLatticeElement &RHS, MergeOptions Opts=MergeOptions())
	Updates this object to approximate both this object and RHS.
LLVM_ABI Constant *	getCompare (CmpInst::Predicate Pred, Type *Ty, const ValueLatticeElement &Other, const DataLayout &DL) const
	true, false or undef constants, or nullptr if the comparison cannot be evaluated.
LLVM_ABI ValueLatticeElement	intersect (const ValueLatticeElement &Other) const
	Combine two sets of facts about the same value into a single set of facts.
unsigned	getNumRangeExtensions () const
void	setNumRangeExtensions (unsigned N)
bool	mayHaveDifferentProvenance () const
void	setMayHaveDifferentProvenance (bool V)

Static Public Member Functions
static ValueLatticeElement	get (Constant *C)
static ValueLatticeElement	getNot (Constant *C)
static ValueLatticeElement	getRange (ConstantRange CR, bool MayIncludeUndef=false)
static ValueLatticeElement	getOverdefined ()

Detailed Description

This class represents lattice values for constants.

FIXME: This is basically just for bringup, this can be made a lot more rich in the future.

Definition at line 27 of file ValueLattice.h.

Constructor & Destructor Documentation

◆ ValueLatticeElement() [1/3]

llvm::ValueLatticeElement::ValueLatticeElement ( )

inline

Definition at line 151 of file ValueLattice.h.

Referenced by get(), getCompare(), getNot(), getOverdefined(), getRange(), intersect(), mergeIn(), operator=(), operator=(), ValueLatticeElement(), and ValueLatticeElement().

◆ ~ValueLatticeElement()

llvm::ValueLatticeElement::~ValueLatticeElement ( )

inline

Definition at line 153 of file ValueLattice.h.

◆ ValueLatticeElement() [2/3]

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

inline

Definition at line 155 of file ValueLattice.h.

References llvm::Other, and ValueLatticeElement().

◆ ValueLatticeElement() [3/3]

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

inline

Definition at line 175 of file ValueLattice.h.

References llvm::Other, and ValueLatticeElement().

Member Function Documentation

◆ asConstantInteger()

std::optional< APInt > llvm::ValueLatticeElement::asConstantInteger ( ) const

inline

Definition at line 280 of file ValueLattice.h.

References llvm::cast(), getConstant(), getConstantRange(), llvm::ConstantRange::getSingleElement(), llvm::isa(), isConstant(), and isConstantRange().

◆ asConstantRange() [1/2]

ConstantRange llvm::ValueLatticeElement::asConstantRange	(	Type *	Ty,
		bool	UndefAllowed = false ) const

inline

Definition at line 299 of file ValueLattice.h.

References asConstantRange(), and assert().

◆ asConstantRange() [2/2]

ConstantRange llvm::ValueLatticeElement::asConstantRange	(	unsigned	BW,
		bool	UndefAllowed = false ) const

inline

Definition at line 289 of file ValueLattice.h.

References getConstant(), getConstantRange(), isConstant(), isConstantRange(), isUnknown(), and llvm::Constant::toConstantRange().

Referenced by asConstantRange(), and llvm::getRange().

◆ get()

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

inlinestatic

Definition at line 208 of file ValueLattice.h.

References C(), markConstant(), and ValueLatticeElement().

Referenced by llvm::LazyValueInfoImpl::getValueAt().

◆ getCompare()

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

true, false or undef constants, or nullptr if the comparison cannot be evaluated.

Definition at line 15 of file ValueLattice.cpp.

References llvm::ConstantFoldCompareInstOperands(), DL, getConstant(), getConstantRange(), llvm::ConstantInt::getFalse(), llvm::CmpInst::getInversePredicate(), getNotConstant(), llvm::ConstantInt::getTrue(), llvm::CmpInst::ICMP_NE, isConstant(), isConstantRange(), llvm::ICmpInst::isEquality(), isNotConstant(), isUndef(), isUnknown(), llvm::Other, and ValueLatticeElement().

◆ getConstant()

Constant * llvm::ValueLatticeElement::getConstant ( ) const

inline

Definition at line 260 of file ValueLattice.h.

References assert(), ConstVal, and isConstant().

Referenced by asConstantInteger(), asConstantRange(), getCompare(), llvm::SCCPInstVisitor::getConstant(), getPredicateResult(), markConstant(), markConstantRange(), mergeIn(), and llvm::operator<<().

◆ getConstantRange()

const ConstantRange & llvm::ValueLatticeElement::getConstantRange ( bool UndefAllowed = true ) const

inline

Returns the constant range for this value.

Use UndefAllowed to exclude non-singleton constant ranges that may also be undef. Note that this function also returns a range if the range may include undef, but only contains a single element. In that case, it can be replaced by a constant.

Definition at line 274 of file ValueLattice.h.

References assert(), isConstantRange(), and Range.

Referenced by asConstantInteger(), asConstantRange(), getCompare(), llvm::SCCPInstVisitor::getConstant(), getPredicateResult(), hasSingleValue(), llvm::hasSingleValue(), llvm::inferAttribute(), intersect(), llvm::SCCPSolver::isConstant(), markConstantRange(), mergeIn(), and llvm::operator<<().

◆ getNot()

ValueLatticeElement llvm::ValueLatticeElement::getNot ( Constant * C )

inlinestatic

Definition at line 213 of file ValueLattice.h.

References assert(), C(), llvm::isa(), markNotConstant(), and ValueLatticeElement().

Referenced by llvm::SCCPInstVisitor::getArgAttributeVL(), and getValueFromMetadata().

◆ getNotConstant()

Constant * llvm::ValueLatticeElement::getNotConstant ( ) const

inline

Definition at line 265 of file ValueLattice.h.

References assert(), ConstVal, and isNotConstant().

Referenced by getCompare(), getPredicateResult(), llvm::inferAttribute(), markNotConstant(), mergeIn(), and llvm::operator<<().

◆ getNumRangeExtensions()

unsigned llvm::ValueLatticeElement::getNumRangeExtensions ( ) const

inline

Definition at line 505 of file ValueLattice.h.

◆ getOverdefined()

ValueLatticeElement llvm::ValueLatticeElement::getOverdefined ( )

inlinestatic

Definition at line 236 of file ValueLattice.h.

References markOverdefined(), and ValueLatticeElement().

Referenced by constantFoldUser(), llvm::SCCPInstVisitor::getArgAttributeVL(), getFromRangeMetadata(), getRange(), llvm::LazyValueInfoImpl::getValueAt(), getValueFromICmpCtpop(), getValueFromMetadata(), and getValueFromOverflowCondition().

◆ getRange()

ValueLatticeElement llvm::ValueLatticeElement::getRange	(	ConstantRange	CR,
		bool	MayIncludeUndef = false )

inlinestatic

Definition at line 219 of file ValueLattice.h.

References getOverdefined(), llvm::ConstantRange::isEmptySet(), llvm::ConstantRange::isFullSet(), markConstantRange(), markUndef(), and ValueLatticeElement().

Referenced by constantFoldUser(), llvm::SCCPInstVisitor::getArgAttributeVL(), getFromRangeMetadata(), getValueFromICmpCtpop(), getValueFromMetadata(), getValueFromOverflowCondition(), and intersect().

◆ intersect()

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

Combine two sets of facts about the same value into a single set of facts.

Note that this method is not suitable for merging facts along different paths in a CFG; that's what the mergeIn function is for. This is for merging facts gathered about the same value at the same location through two independent means. Notes:

This method does not promise to return the most precise possible lattice value implied by A and B. It is allowed to return any lattice element which is at least as strong as either A or B (unless our facts conflict, see below).
Due to unreachable code, the intersection of two lattice values could be contradictory. If this happens, we return some valid lattice value so as not confuse the rest of LVI. Ideally, we'd always return Undefined, but we do not make this guarantee. TODO: This would be a useful enhancement.

Definition at line 78 of file ValueLattice.cpp.

References getConstantRange(), getRange(), llvm::hasSingleValue(), llvm::ConstantRange::intersectWith(), isConstantRange(), isConstantRangeIncludingUndef(), isOverdefined(), isUnknown(), llvm::Other, Range, and ValueLatticeElement().

Referenced by llvm::LazyValueInfoImpl::getValueAtUse().

◆ isConstant()

bool llvm::ValueLatticeElement::isConstant ( ) const

inline

Definition at line 245 of file ValueLattice.h.

Referenced by asConstantInteger(), asConstantRange(), getCompare(), llvm::SCCPInstVisitor::getConstant(), getConstant(), getPredicateResult(), hasSingleValue(), llvm::hasSingleValue(), llvm::SCCPSolver::isConstant(), markConstant(), markConstantRange(), and mergeIn().

◆ isConstantRange()

bool llvm::ValueLatticeElement::isConstantRange ( bool UndefAllowed = true ) const

inline

Returns true if this value is a constant range.

Use UndefAllowed to exclude non-singleton constant ranges that may also be undef. Note that this function also returns true if the range may include undef, but only contains a single element. In that case, it can be replaced by a constant.

Definition at line 254 of file ValueLattice.h.

References Range.

Referenced by asConstantInteger(), asConstantRange(), getCompare(), llvm::SCCPInstVisitor::getConstant(), getConstantRange(), getPredicateResult(), hasSingleValue(), llvm::hasSingleValue(), llvm::inferAttribute(), intersect(), llvm::SCCPSolver::isConstant(), markConstantRange(), mergeIn(), and llvm::operator<<().

◆ isConstantRangeIncludingUndef()

bool llvm::ValueLatticeElement::isConstantRangeIncludingUndef ( ) const

inline

Definition at line 247 of file ValueLattice.h.

Referenced by llvm::inferAttribute(), intersect(), markConstantRange(), and llvm::operator<<().

◆ isNotConstant()

bool llvm::ValueLatticeElement::isNotConstant ( ) const

inline

Definition at line 246 of file ValueLattice.h.

Referenced by getCompare(), getNotConstant(), getPredicateResult(), llvm::inferAttribute(), markNotConstant(), mergeIn(), and llvm::operator<<().

◆ isOverdefined()

bool llvm::ValueLatticeElement::isOverdefined ( ) const

inline

Definition at line 258 of file ValueLattice.h.

Referenced by intersect(), markOverdefined(), mergeIn(), and llvm::operator<<().

◆ isUndef()

bool llvm::ValueLatticeElement::isUndef ( ) const

inline

Definition at line 242 of file ValueLattice.h.

Referenced by getCompare(), markConstant(), markConstantRange(), markUndef(), mergeIn(), and llvm::operator<<().

◆ isUnknown()

bool llvm::ValueLatticeElement::isUnknown ( ) const

inline

Definition at line 243 of file ValueLattice.h.

Referenced by asConstantRange(), getCompare(), intersect(), markConstant(), markConstantRange(), markNotConstant(), markUndef(), mergeIn(), llvm::operator<<(), and llvm::SCCPInstVisitor::resolvedUndef().

◆ isUnknownOrUndef()

bool llvm::ValueLatticeElement::isUnknownOrUndef ( ) const

inline

Definition at line 244 of file ValueLattice.h.

Referenced by llvm::SCCPSolver::isOverdefined().

◆ markConstant()

bool llvm::ValueLatticeElement::markConstant	(	Constant *	V,
		bool	MayIncludeUndef = false )

inline

Definition at line 321 of file ValueLattice.h.

References assert(), ConstVal, llvm::dyn_cast(), getConstant(), llvm::isa(), isConstant(), isUndef(), isUnknown(), markConstantRange(), and markUndef().

Referenced by get(), mergeIn(), and llvm::SCCPInstVisitor::setLatticeValueForSpecializationArguments().

◆ markConstantRange()

bool llvm::ValueLatticeElement::markConstantRange	(	ConstantRange	NewR,
		MergeOptions	Opts = MergeOptions() )

inline

Mark the object as constant range with NewR.

If the object is already a constant range, nothing changes if the existing range is equal to NewR and the tag. Otherwise NewR must be a superset of the existing range or the object must be undef. The tag is set to constant_range_including_undef if either the existing value or the new range may include undef.

Definition at line 367 of file ValueLattice.h.

References assert(), llvm::ConstantRange::contains(), getConstant(), getConstantRange(), isConstant(), isConstantRange(), isConstantRangeIncludingUndef(), llvm::ConstantRange::isEmptySet(), llvm::ConstantRange::isFullSet(), isUndef(), isUnknown(), markOverdefined(), and Range.

Referenced by getRange(), markConstant(), markNotConstant(), and mergeIn().

◆ markNotConstant()

bool llvm::ValueLatticeElement::markNotConstant ( Constant * V )

inline

Definition at line 341 of file ValueLattice.h.

References assert(), ConstVal, llvm::dyn_cast(), getNotConstant(), llvm::isa(), isNotConstant(), isUnknown(), and markConstantRange().

Referenced by getNot().

◆ markOverdefined()

bool llvm::ValueLatticeElement::markOverdefined ( )

inline

Definition at line 304 of file ValueLattice.h.

References isOverdefined().

Referenced by getOverdefined(), markConstantRange(), and mergeIn().

◆ markUndef()

bool llvm::ValueLatticeElement::markUndef ( )

inline

Definition at line 312 of file ValueLattice.h.

References assert(), isUndef(), and isUnknown().

Referenced by getRange(), and markConstant().

◆ mayHaveDifferentProvenance()

bool llvm::ValueLatticeElement::mayHaveDifferentProvenance ( ) const

inline

Definition at line 508 of file ValueLattice.h.

Referenced by llvm::SCCPSolver::isReplaceableConstant().

◆ mergeIn()

bool llvm::ValueLatticeElement::mergeIn	(	const ValueLatticeElement &	RHS,
		MergeOptions	Opts = MergeOptions() )

inline

Updates this object to approximate both this object and RHS.

Returns true if this object has been changed.

Definition at line 407 of file ValueLattice.h.

References assert(), getConstant(), getConstantRange(), getNotConstant(), getType(), isConstant(), isConstantRange(), isNotConstant(), isOverdefined(), isUndef(), isUnknown(), markConstant(), markConstantRange(), markOverdefined(), RHS, llvm::Constant::toConstantRange(), and ValueLatticeElement().

◆ operator=() [1/2]

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

inline

Definition at line 196 of file ValueLattice.h.

References llvm::Other, and ValueLatticeElement().

◆ operator=() [2/2]

ValueLatticeElement & llvm::ValueLatticeElement::operator= ( ValueLatticeElement && Other )

inline

Definition at line 202 of file ValueLattice.h.

References llvm::Other, and ValueLatticeElement().

◆ setMayHaveDifferentProvenance()

void llvm::ValueLatticeElement::setMayHaveDifferentProvenance ( bool V )

inline

Definition at line 509 of file ValueLattice.h.

◆ setNumRangeExtensions()

void llvm::ValueLatticeElement::setNumRangeExtensions ( unsigned N )

inline

Definition at line 506 of file ValueLattice.h.

References N.

Member Data Documentation

◆ ConstVal

Constant* llvm::ValueLatticeElement::ConstVal

Definition at line 92 of file ValueLattice.h.

Referenced by getConstant(), getNotConstant(), markConstant(), and markNotConstant().

◆ Range

ConstantRange llvm::ValueLatticeElement::Range

Definition at line 93 of file ValueLattice.h.

Referenced by getConstantRange(), intersect(), isConstantRange(), and markConstantRange().

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

include/llvm/Analysis/ValueLattice.h
lib/Analysis/ValueLattice.cpp

Classes

Public Member Functions

Static Public Member Functions

Detailed Description

Constructor & Destructor Documentation

◆ ValueLatticeElement() [1/3]

◆ ~ValueLatticeElement()

◆ ValueLatticeElement() [2/3]

◆ ValueLatticeElement() [3/3]

Member Function Documentation

◆ asConstantInteger()

◆ asConstantRange() [1/2]

◆ asConstantRange() [2/2]

◆ get()

◆ getCompare()

◆ getConstant()

◆ getConstantRange()

◆ getNot()

◆ getNotConstant()

◆ getNumRangeExtensions()

◆ getOverdefined()

◆ getRange()

◆ intersect()

◆ isConstant()

◆ isConstantRange()

◆ isConstantRangeIncludingUndef()

◆ isNotConstant()

◆ isOverdefined()

◆ isUndef()

◆ isUnknown()

◆ isUnknownOrUndef()

◆ markConstant()

◆ markConstantRange()

◆ markNotConstant()

◆ markOverdefined()

◆ markUndef()

◆ mayHaveDifferentProvenance()

◆ mergeIn()

◆ operator=() [1/2]

◆ operator=() [2/2]

◆ setMayHaveDifferentProvenance()

◆ setNumRangeExtensions()

Member Data Documentation

◆ ConstVal

◆ Range