Specialization of the integer state for a decreasing value, hence 0 is the best state and ~0u the worst.
Synopsis
Declared in <llvm/Transforms/IPO/Attributor.h>
template<typename base_ty = uint32_t>
struct DecIntegerState
: IntegerStateBase<base_ty, 0, ~ base_ty(0)>Base Classes
Name |
Description |
Simple state with integers encoding. |
Type Aliases
Name |
Description |
Underlying integer storage type. |
Member Functions
Name |
Description |
|
Constructors |
Return the assumed state encoding. |
|
Return the known state encoding |
|
|
See AbstractState::indicateOptimisticFixpoint(...) |
|
See AbstractState::indicatePessimisticFixpoint(...) |
|
See AbstractState::isAtFixpoint() |
|
See AbstractState::isValidState() NOTE: For now we simply pretend that the worst possible state is invalid. |
Join assumed and known information with |
|
"Clamp" this state with |
|
Clamp this state with |
|
Join assumed and known information with |
|
Take maximum of assumed and |
|
Take minimum of known and |
|
Return true if this equals |
|
Return true if this differs from |
Static Member Functions
Name |
Description |
|
|
|
Protected Member Functions
Name |
Description |
|
Handle a new assumed value |
|
Handle a new known value |
|
Handle a new assumed value |
|
Handle a value |
Protected Data Members
Return Value
The computed result.
Created with MrDocs