Specialization of the integer state for a bit-wise encoding. More...

#include "llvm/Transforms/IPO/Attributor.h"

Inheritance diagram for llvm::BitIntegerState< base_ty, BestState, WorstState >:

Public Types
using	super = IntegerStateBase<base_ty, BestState, WorstState>
using	base_t = base_ty
Public Types inherited from llvm::IntegerStateBase< uint32_t, ~uint32_t(0), 0 >
using	base_t

Public Member Functions
	BitIntegerState ()=default
	BitIntegerState (base_t Assumed)
bool	isKnown (base_t BitsEncoding=BestState) const
	Return true if the bits set in `BitsEncoding` are "known bits".
bool	isAssumed (base_t BitsEncoding=BestState) const
	Return true if the bits set in `BitsEncoding` are "assumed bits".
BitIntegerState &	addKnownBits (base_t Bits)
	Add the bits in `BitsEncoding` to the "known bits".
BitIntegerState &	removeAssumedBits (base_t BitsEncoding)
	Remove the bits in `BitsEncoding` from the "assumed bits" if not known.
BitIntegerState &	removeKnownBits (base_t BitsEncoding)
	Remove the bits in `BitsEncoding` from the "known bits".
BitIntegerState &	intersectAssumedBits (base_t BitsEncoding)
	Keep only "assumed bits" also set in `BitsEncoding` but all known ones.
Public Member Functions inherited from llvm::IntegerStateBase< uint32_t, ~uint32_t(0), 0 >
	IntegerStateBase ()=default
bool	isValidState () const override
	NOTE: For now we simply pretend that the worst possible state is invalid.
bool	isAtFixpoint () const override
	Return if this abstract state is fixed, thus does not need to be updated if information changes as it cannot change itself.
ChangeStatus	indicateOptimisticFixpoint () override
	Indicate that the abstract state should converge to the optimistic state.
ChangeStatus	indicatePessimisticFixpoint () override
	Indicate that the abstract state should converge to the pessimistic state.
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< 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.
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.

Detailed Description

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

Specialization of the integer state for a bit-wise encoding.

Definition at line 2728 of file Attributor.h.

Member Typedef Documentation

◆ base_t

template<typename base_ty = uint32_t, base_ty BestState = ~base_ty(0), base_ty WorstState = 0>

using llvm::BitIntegerState< base_ty, BestState, WorstState >::base_t = base_ty

Definition at line 2731 of file Attributor.h.

◆ super

template<typename base_ty = uint32_t, base_ty BestState = ~base_ty(0), base_ty WorstState = 0>

using llvm::BitIntegerState< base_ty, BestState, WorstState >::super = IntegerStateBase<base_ty, BestState, WorstState>

Definition at line 2730 of file Attributor.h.

Constructor & Destructor Documentation

◆ BitIntegerState() [1/2]

template<typename base_ty = uint32_t, base_ty BestState = ~base_ty(0), base_ty WorstState = 0>

llvm::BitIntegerState< base_ty, BestState, WorstState >::BitIntegerState ( )

default

Referenced by addKnownBits(), intersectAssumedBits(), removeAssumedBits(), and removeKnownBits().

◆ BitIntegerState() [2/2]

template<typename base_ty = uint32_t, base_ty BestState = ~base_ty(0), base_ty WorstState = 0>

llvm::BitIntegerState< base_ty, BestState, WorstState >::BitIntegerState ( base_t Assumed )

inline

Definition at line 2733 of file Attributor.h.

References llvm::IntegerStateBase< uint32_t, ~uint32_t(0), 0 >::Assumed.

Member Function Documentation

◆ addKnownBits()

template<typename base_ty = uint32_t, base_ty BestState = ~base_ty(0), base_ty WorstState = 0>

BitIntegerState & llvm::BitIntegerState< base_ty, BestState, WorstState >::addKnownBits ( base_t Bits )

inline

Add the bits in BitsEncoding to the "known bits".

Definition at line 2746 of file Attributor.h.

References llvm::IntegerStateBase< uint32_t, ~uint32_t(0), 0 >::Assumed, BitIntegerState(), and llvm::IntegerStateBase< uint32_t, ~uint32_t(0), 0 >::Known.

◆ intersectAssumedBits()

template<typename base_ty = uint32_t, base_ty BestState = ~base_ty(0), base_ty WorstState = 0>

BitIntegerState & llvm::BitIntegerState< base_ty, BestState, WorstState >::intersectAssumedBits ( base_t BitsEncoding )

inline

Keep only "assumed bits" also set in BitsEncoding but all known ones.

Definition at line 2765 of file Attributor.h.

References llvm::IntegerStateBase< uint32_t, ~uint32_t(0), 0 >::Assumed, BitIntegerState(), and llvm::IntegerStateBase< uint32_t, ~uint32_t(0), 0 >::Known.

Referenced by removeAssumedBits().

◆ isAssumed()

template<typename base_ty = uint32_t, base_ty BestState = ~base_ty(0), base_ty WorstState = 0>

bool llvm::BitIntegerState< base_ty, BestState, WorstState >::isAssumed ( base_t BitsEncoding = BestState ) const

inline

Return true if the bits set in BitsEncoding are "assumed bits".

Definition at line 2741 of file Attributor.h.

References llvm::IntegerStateBase< uint32_t, ~uint32_t(0), 0 >::Assumed.

◆ isKnown()

template<typename base_ty = uint32_t, base_ty BestState = ~base_ty(0), base_ty WorstState = 0>

bool llvm::BitIntegerState< base_ty, BestState, WorstState >::isKnown ( base_t BitsEncoding = BestState ) const

inline

Return true if the bits set in BitsEncoding are "known bits".

Definition at line 2736 of file Attributor.h.

References llvm::IntegerStateBase< uint32_t, ~uint32_t(0), 0 >::Known.

Referenced by llvm::Attributor::isAssumedDead().

◆ removeAssumedBits()

template<typename base_ty = uint32_t, base_ty BestState = ~base_ty(0), base_ty WorstState = 0>

BitIntegerState & llvm::BitIntegerState< base_ty, BestState, WorstState >::removeAssumedBits ( base_t BitsEncoding )

inline

Remove the bits in BitsEncoding from the "assumed bits" if not known.

Definition at line 2754 of file Attributor.h.

References BitIntegerState(), and intersectAssumedBits().

◆ removeKnownBits()

template<typename base_ty = uint32_t, base_ty BestState = ~base_ty(0), base_ty WorstState = 0>

BitIntegerState & llvm::BitIntegerState< base_ty, BestState, WorstState >::removeKnownBits ( base_t BitsEncoding )

inline

Remove the bits in BitsEncoding from the "known bits".

Definition at line 2759 of file Attributor.h.

References BitIntegerState(), and llvm::IntegerStateBase< uint32_t, ~uint32_t(0), 0 >::Known.

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

include/llvm/Transforms/IPO/Attributor.h

Public Types

Public Member Functions

Additional Inherited Members

Detailed Description

Member Typedef Documentation

◆ base_t

◆ super

Constructor & Destructor Documentation

◆ BitIntegerState() [1/2]

◆ BitIntegerState() [2/2]

Member Function Documentation

◆ addKnownBits()

◆ intersectAssumedBits()

◆ isAssumed()

◆ isKnown()

◆ removeAssumedBits()

◆ removeKnownBits()