LLVM 20.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 |
Public Member Functions inherited from llvm::AbstractState | |
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 4418 of file Attributor.h.
|
inline |
Definition at line 4420 of file Attributor.h.
|
inline |
Return the assumed state encoding.
Definition at line 4447 of file Attributor.h.
|
inline |
Definition at line 4448 of file Attributor.h.
|
inlinestatic |
Definition at line 4425 of file Attributor.h.
References getBestState().
|
inlinestatic |
|
inlinestatic |
Definition at line 4436 of file Attributor.h.
References getWorstState().
|
inlinestatic |
Return the worst possible representable state.
Definition at line 4430 of file Attributor.h.
References Ty.
Referenced by getWorstState().
|
inlineoverridevirtual |
See AbstractState::indicateOptimisticFixpoint(...)
Implements llvm::AbstractState.
Definition at line 4456 of file Attributor.h.
References BS, and llvm::IntegerStateBase< base_ty, BestState, WorstState >::indicateOptimisticFixpoint().
|
inlineoverridevirtual |
See AbstractState::indicatePessimisticFixpoint(...)
Implements llvm::AbstractState.
Definition at line 4451 of file Attributor.h.
References BS, and llvm::IntegerStateBase< base_ty, BestState, WorstState >::indicatePessimisticFixpoint().
|
inlineoverridevirtual |
See AbstractState::isAtFixpoint(...)
Implements llvm::AbstractState.
Definition at line 4444 of file Attributor.h.
References BS, and llvm::IntegerStateBase< base_ty, BestState, WorstState >::isAtFixpoint().
|
inlineoverridevirtual |
See AbstractState::isValidState(...)
Implements llvm::AbstractState.
Definition at line 4441 of file Attributor.h.
References BS, and llvm::IntegerStateBase< base_ty, BestState, WorstState >::isValidState().
Referenced by operator==().
|
inline |
Definition at line 4467 of file Attributor.h.
References isValidState(), RHS, and SimplifiedAssociatedValue.
|
inline |
"Clamp" this state with PVS
.
Definition at line 4461 of file Attributor.h.
References BS, and unionAssumed().
Merge Other
into the currently assumed simplified value.
---------------— Value Simplify Attribute -------------------------—
Definition at line 6086 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 4483 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 4489 of file Attributor.h.
Referenced by operator==().
|
protected |
The type of the original value.
Definition at line 4477 of file Attributor.h.
Referenced by getBestState(), and getWorstState().