LLVM: llvm::IncIntegerState< base_ty, BestState, WorstState (original) (raw)

Specialization of the integer state for an increasing value, hence ~0u is the best state and 0 the worst. More...

#include "[llvm/Transforms/IPO/Attributor.h](Attributor%5F8h%5Fsource.html)"

Public Member Functions
	IncIntegerState ()
	IncIntegerState (base_t Assumed)
IncIntegerState &	takeAssumedMinimum (base_t Value)
	Take minimum of assumed and Value.
IncIntegerState &	takeKnownMaximum (base_t Value)
	Take maximum of known and Value.
Public Member Functions inherited from llvm::IntegerStateBase< uint32_t, ~uint32_t(0), 0 >
	IntegerStateBase ()=default
bool	isValidState () const override
	See AbstractState::isValidState() NOTE: For now we simply pretend that the worst possible state is invalid.
bool	isAtFixpoint () const override
	See AbstractState::isAtFixpoint()
ChangeStatus	indicateOptimisticFixpoint () override
	See AbstractState::indicateOptimisticFixpoint(...)
ChangeStatus	indicatePessimisticFixpoint () override
	See AbstractState::indicatePessimisticFixpoint(...)
base_t	getKnown () const
	Return the known state encoding.
base_t	getAssumed () const
	Return the assumed state encoding.
bool	operator== (const IntegerStateBase< base_t, BestState, WorstState > &R) const
	Equality for IntegerStateBase.
bool	operator!= (const IntegerStateBase< base_t, BestState, WorstState > &R) const
	Inequality for IntegerStateBase.
void	operator^= (const IntegerStateBase< base_t, BestState, WorstState > &R)
	"Clamp" this state with R.
void	operator+= (const IntegerStateBase< base_t, BestState, WorstState > &R)
	"Clamp" this state with R.
void	operator\|= (const IntegerStateBase< base_t, BestState, WorstState > &R)
void	operator&= (const IntegerStateBase< base_t, BestState, WorstState > &R)
Public Member Functions inherited from llvm::AbstractState
virtual	~AbstractState ()=default

Static Public Member Functions
static constexpr base_t	getBestState ()
	Return the best possible representable state.
static constexpr base_t	getBestState (const IncIntegerState< base_ty, BestState, WorstState > &)
Static Public Member Functions inherited from llvm::IntegerStateBase< uint32_t, ~uint32_t(0), 0 >
static constexpr base_t	getBestState ()
	Return the best possible representable state.
static constexpr base_t	getWorstState ()
	Return the worst possible representable state.

Additional Inherited Members
Protected Member Functions inherited from llvm::IntegerStateBase< uint32_t, ~uint32_t(0), 0 >
virtual void	handleNewAssumedValue (base_t Value)=0
	Handle a new assumed value Value. Subtype dependent.
virtual void	handleNewKnownValue (base_t Value)=0
	Handle a new known value Value. Subtype dependent.
virtual void	joinOR (base_t AssumedValue, base_t KnownValue)=0
	Handle a value Value. Subtype dependent.
virtual void	joinAND (base_t AssumedValue, base_t KnownValue)=0
	Handle a new assumed value Value. Subtype dependent.
Protected Attributes inherited from llvm::IntegerStateBase< uint32_t, ~uint32_t(0), 0 >
base_t	Known
	The known state encoding in an integer of type base_t.
base_t	Assumed
	The assumed state encoding in an integer of type base_t.

template<typename base_ty = uint32_t, base_ty BestState = ~base_ty(0), base_ty WorstState = 0>
struct llvm::IncIntegerState< base_ty, BestState, WorstState >

Specialization of the integer state for an increasing value, hence ~0u is the best state and 0 the worst.

Definition at line 2844 of file Attributor.h.