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 4419 of file Attributor.h.
|
inline |
Definition at line 4421 of file Attributor.h.
|
inline |
Return the assumed state encoding.
Definition at line 4448 of file Attributor.h.
|
inline |
Definition at line 4449 of file Attributor.h.
|
inlinestatic |
Definition at line 4426 of file Attributor.h.
References getBestState().
|
inlinestatic |
|
inlinestatic |
Definition at line 4437 of file Attributor.h.
References getWorstState().
|
inlinestatic |
Return the worst possible representable state.
Definition at line 4431 of file Attributor.h.
References Ty.
Referenced by getWorstState().
|
inlineoverridevirtual |
See AbstractState::indicateOptimisticFixpoint(...)
Implements llvm::AbstractState.
Definition at line 4457 of file Attributor.h.
References BS, and llvm::IntegerStateBase< base_ty, BestState, WorstState >::indicateOptimisticFixpoint().
|
inlineoverridevirtual |
See AbstractState::indicatePessimisticFixpoint(...)
Implements llvm::AbstractState.
Definition at line 4452 of file Attributor.h.
References BS, and llvm::IntegerStateBase< base_ty, BestState, WorstState >::indicatePessimisticFixpoint().
|
inlineoverridevirtual |
See AbstractState::isAtFixpoint(...)
Implements llvm::AbstractState.
Definition at line 4445 of file Attributor.h.
References BS, and llvm::IntegerStateBase< base_ty, BestState, WorstState >::isAtFixpoint().
|
inlineoverridevirtual |
See AbstractState::isValidState(...)
Implements llvm::AbstractState.
Definition at line 4442 of file Attributor.h.
References BS, and llvm::IntegerStateBase< base_ty, BestState, WorstState >::isValidState().
Referenced by operator==().
|
inline |
Definition at line 4468 of file Attributor.h.
References isValidState(), RHS, and SimplifiedAssociatedValue.
|
inline |
"Clamp" this state with PVS
.
Definition at line 4462 of file Attributor.h.
References BS, and unionAssumed().
Merge Other
into the currently assumed simplified value.
---------------— Value Simplify Attribute -------------------------—
Definition at line 6089 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 4484 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 4490 of file Attributor.h.
Referenced by operator==().
|
protected |
The type of the original value.
Definition at line 4478 of file Attributor.h.
Referenced by getBestState(), and getWorstState().