LLVM: llvm::BooleanState Struct Reference (original) (raw)

Simple wrapper for a single bit (boolean) state. More...

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

Public Member Functions
	BooleanState ()=default
	BooleanState (base_t Assumed)
void	setAssumed (bool Value)
	Set the assumed value to Value but never below the known one.
void	setKnown (bool Value)
	Set the known and asssumed value to Value.
bool	isAssumed () const
	Return true if the state is assumed to hold.
bool	isKnown () const
	Return true if the state is known to hold.
Public Member Functions inherited from llvm::IntegerStateBase< bool, true, false >
	IntegerStateBase ()=default
	IntegerStateBase (base_t Assumed)
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

Additional Inherited Members
Static Public Member Functions inherited from llvm::IntegerStateBase< bool, true, false >
static constexpr base_t	getBestState ()
	Return the best possible representable state.
static constexpr base_t	getBestState (const IntegerStateBase &)
static constexpr base_t	getWorstState ()
	Return the worst possible representable state.
static constexpr base_t	getWorstState (const IntegerStateBase &)
Protected Member Functions inherited from llvm::IntegerStateBase< bool, true, false >
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< bool, true, false >
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.

Simple wrapper for a single bit (boolean) state.

Definition at line 2926 of file Attributor.h.

◆ base_t

◆ super

llvm::BooleanState::BooleanState ( )	default

◆ BooleanState() [2/2]

llvm::BooleanState::BooleanState ( base_t Assumed)	inline

◆ isAssumed()

bool llvm::BooleanState::isAssumed ( ) const	inline

◆ isKnown()

bool llvm::BooleanState::isKnown ( ) const	inline

◆ setAssumed()

void llvm::BooleanState::setAssumed ( bool Value)	inline

◆ setKnown()

void llvm::BooleanState::setKnown ( bool Value)	inline

The documentation for this struct was generated from the following file:

include/llvm/Transforms/IPO/Attributor.h