llvm::IncIntegerState< base_ty, BestState, WorstState > Struct Template Reference
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"
Inheritance diagram for llvm::IncIntegerState< 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 | |
| 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. | |
Detailed Description
template<typename base_ty = uint32_t, base_ty BestState = ~base_ty(0), base_ty WorstState = 0>
struct llvm::IncIntegerState< base_ty, BestState, WorstState >
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.
Member Typedef Documentation
◆ base_t
template<typename base_ty = uint32_t, base_ty BestState = ~base_ty(0), base_ty WorstState = 0>
| using llvm::IncIntegerState< base_ty, BestState, WorstState >::base_t = base_ty |
Definition at line 2847 of file Attributor.h.
◆ super
template<typename base_ty = uint32_t, base_ty BestState = ~base_ty(0), base_ty WorstState = 0>
| using llvm::IncIntegerState< base_ty, BestState, WorstState >::super = IntegerStateBase<base_ty, BestState, WorstState> |
Definition at line 2846 of file Attributor.h.
Constructor & Destructor Documentation
◆ IncIntegerState() [1/2]
template<typename base_ty = uint32_t, base_ty BestState = ~base_ty(0), base_ty WorstState = 0>
|
inline |
Definition at line 2849 of file Attributor.h.
◆ IncIntegerState() [2/2]
template<typename base_ty = uint32_t, base_ty BestState = ~base_ty(0), base_ty WorstState = 0>
|
inline |
Definition at line 2850 of file Attributor.h.
Member Function Documentation
◆ getBestState() [1/2]
template<typename base_ty = uint32_t, base_ty BestState = ~base_ty(0), base_ty WorstState = 0>
|
inlinestaticconstexpr |
Return the best possible representable state.
Definition at line 2853 of file Attributor.h.
Referenced by llvm::IncIntegerState< uint64_t, Value::MaximumAlignment, 1 >::getBestState().
◆ getBestState() [2/2]
template<typename base_ty = uint32_t, base_ty BestState = ~base_ty(0), base_ty WorstState = 0>
|
inlinestaticconstexpr |
Definition at line 2855 of file Attributor.h.
◆ takeAssumedMinimum()
template<typename base_ty = uint32_t, base_ty BestState = ~base_ty(0), base_ty WorstState = 0>
|
inline |
Take minimum of assumed and Value.
Definition at line 2860 of file Attributor.h.
◆ takeKnownMaximum()
template<typename base_ty = uint32_t, base_ty BestState = ~base_ty(0), base_ty WorstState = 0>
|
inline |
Take maximum of known and Value.
Definition at line 2867 of file Attributor.h.
The documentation for this struct was generated from the following file:
- include/llvm/Transforms/IPO/Attributor.h
Generated on for LLVM by
1.14.0