LLVM 17.0.0git
|
#include "llvm/Transforms/IPO/Attributor.h"
Public Member Functions | |
ValueSimplifyStateType (Type *Ty) | |
bool | isValidState () const override |
See AbstractState::isValidState(...) | |
bool | isAtFixpoint () const override |
See AbstractState::isAtFixpoint(...) | |
ValueSimplifyStateType | getAssumed () |
Return the assumed state encoding. | |
const ValueSimplifyStateType & | getAssumed () const |
ChangeStatus | indicatePessimisticFixpoint () override |
See AbstractState::indicatePessimisticFixpoint(...) | |
ChangeStatus | indicateOptimisticFixpoint () override |
See AbstractState::indicateOptimisticFixpoint(...) | |
ValueSimplifyStateType | operator^= (const ValueSimplifyStateType &VS) |
"Clamp" this state with PVS . | |
bool | operator== (const ValueSimplifyStateType &RHS) const |
![]() | |
virtual | ~AbstractState ()=default |
virtual bool | isValidState () const =0 |
Return if this abstract state is in a valid state. | |
virtual bool | isAtFixpoint () const =0 |
Return if this abstract state is fixed, thus does not need to be updated if information changes as it cannot change itself. | |
virtual ChangeStatus | indicateOptimisticFixpoint ()=0 |
Indicate that the abstract state should converge to the optimistic state. | |
virtual ChangeStatus | indicatePessimisticFixpoint ()=0 |
Indicate that the abstract state should converge to the pessimistic state. | |
Static Public Member Functions | |
static ValueSimplifyStateType | getBestState (Type *Ty) |
static ValueSimplifyStateType | getBestState (const ValueSimplifyStateType &VS) |
static ValueSimplifyStateType | getWorstState (Type *Ty) |
Return the worst possible representable state. | |
static ValueSimplifyStateType | getWorstState (const ValueSimplifyStateType &VS) |
Protected Member Functions | |
bool | unionAssumed (std::optional< Value * > Other) |
Merge Other into the currently assumed simplified value. | |
Protected Attributes | |
Type * | Ty |
The type of the original value. | |
BooleanState | BS |
Helper to track validity and fixpoint. | |
std::optional< Value * > | SimplifiedAssociatedValue |
An assumed simplified value. | |
Definition at line 4037 of file Attributor.h.
|
inline |
Definition at line 4039 of file Attributor.h.
|
inline |
Return the assumed state encoding.
Definition at line 4066 of file Attributor.h.
|
inline |
Definition at line 4067 of file Attributor.h.
|
inlinestatic |
Definition at line 4044 of file Attributor.h.
References getBestState().
|
inlinestatic |
|
inlinestatic |
Definition at line 4055 of file Attributor.h.
References getWorstState().
|
inlinestatic |
Return the worst possible representable state.
Definition at line 4049 of file Attributor.h.
References Ty.
Referenced by getWorstState().
|
inlineoverridevirtual |
See AbstractState::indicateOptimisticFixpoint(...)
Implements llvm::AbstractState.
Definition at line 4075 of file Attributor.h.
References BS, and llvm::IntegerStateBase< base_ty, BestState, WorstState >::indicateOptimisticFixpoint().
|
inlineoverridevirtual |
See AbstractState::indicatePessimisticFixpoint(...)
Implements llvm::AbstractState.
Definition at line 4070 of file Attributor.h.
References BS, and llvm::IntegerStateBase< base_ty, BestState, WorstState >::indicatePessimisticFixpoint().
|
inlineoverridevirtual |
See AbstractState::isAtFixpoint(...)
Implements llvm::AbstractState.
Definition at line 4063 of file Attributor.h.
References BS, and llvm::IntegerStateBase< base_ty, BestState, WorstState >::isAtFixpoint().
|
inlineoverridevirtual |
See AbstractState::isValidState(...)
Implements llvm::AbstractState.
Definition at line 4060 of file Attributor.h.
References BS, and llvm::IntegerStateBase< base_ty, BestState, WorstState >::isValidState().
Referenced by operator==().
|
inline |
Definition at line 4086 of file Attributor.h.
References isValidState(), RHS, and SimplifiedAssociatedValue.
|
inline |
"Clamp" this state with PVS
.
Definition at line 4080 of file Attributor.h.
References BS, and unionAssumed().
Merge Other
into the currently assumed simplified value.
---------------— Value Simplify Attribute -------------------------—
Definition at line 6148 of file AttributorAttributes.cpp.
References llvm::AA::combineOptionalValuesInAAValueLatice(), llvm::dbgs(), LLVM_DEBUG, and llvm::Other.
Referenced by operator^=().
|
protected |
Helper to track validity and fixpoint.
Definition at line 4102 of file Attributor.h.
Referenced by indicateOptimisticFixpoint(), indicatePessimisticFixpoint(), isAtFixpoint(), isValidState(), and operator^=().
|
protected |
An assumed simplified value.
Initially, it is set to std::nullopt, which means that the value is not clear under current assumption. If in the pessimistic state, getAssumedSimplifiedValue doesn't return this value but returns orignal associated value.
Definition at line 4108 of file Attributor.h.
Referenced by operator==().
|
protected |
The type of the original value.
Definition at line 4096 of file Attributor.h.
Referenced by getBestState(), and getWorstState().