A class for a set state. More...
#include "llvm/Transforms/IPO/Attributor.h"
Public Types | |
| using | SetTy = SmallSetVector< MemberTy, 8 > |
Public Member Functions | |
| PotentialValuesState () | |
| PotentialValuesState (bool IsValid) | |
| bool | isValidState () const override |
| See AbstractState::isValidState(...) More... | |
| bool | isAtFixpoint () const override |
| See AbstractState::isAtFixpoint(...) More... | |
| ChangeStatus | indicatePessimisticFixpoint () override |
| See AbstractState::indicatePessimisticFixpoint(...) More... | |
| ChangeStatus | indicateOptimisticFixpoint () override |
| See AbstractState::indicateOptimisticFixpoint(...) More... | |
| PotentialValuesState & | getAssumed () |
| Return the assumed state. More... | |
| const PotentialValuesState & | getAssumed () const |
| const SetTy & | getAssumedSet () const |
| Return this set. More... | |
| bool | undefIsContained () const |
| Returns whether this state contains an undef value or not. More... | |
| bool | operator== (const PotentialValuesState &RHS) const |
| void | unionAssumed (const MemberTy &C) |
| Union assumed set with the passed value. More... | |
| void | unionAssumed (const PotentialValuesState &PVS) |
Union assumed set with assumed set of the passed state PVS. More... | |
| void | unionAssumedWithUndef () |
| Union assumed set with an undef value. More... | |
| PotentialValuesState | operator^= (const PotentialValuesState &PVS) |
"Clamp" this state with PVS. More... | |
| PotentialValuesState | operator&= (const PotentialValuesState &PVS) |
| bool | contains (const MemberTy &V) const |
 Public Member Functions inherited from llvm::AbstractState | |
| virtual | ~AbstractState ()=default |
Static Public Member Functions | |
| static PotentialValuesState | getBestState () |
| Return empty set as the best state of potential values. More... | |
| static PotentialValuesState | getBestState (const PotentialValuesState &PVS) |
| static PotentialValuesState | getWorstState () |
| Return full set as the worst state of potential values. More... | |
Static Public Attributes | |
| static unsigned | MaxPotentialValues = 0 |
| Maximum number of potential values to be tracked. More... | |
Protected Member Functions | |
| SetTy & | getAssumedSet () |
Detailed Description
template<typename MemberTy>
struct llvm::PotentialValuesState< MemberTy >
A class for a set state.
The assumed boolean state indicates whether the corresponding set is full set or not. If the assumed state is false, this is the worst state. The worst state (invalid state) of set of potential values is when the set contains every possible value (i.e. we cannot in any way limit the value that the target position can take). That never happens naturally, we only force it. As for the conditions under which we force it, see AAPotentialConstantValues.
Definition at line 4423 of file Attributor.h.
Member Typedef Documentation
◆ SetTy
| using llvm::PotentialValuesState< MemberTy >::SetTy = SmallSetVector<MemberTy, 8> |
Definition at line 4424 of file Attributor.h.
Constructor & Destructor Documentation
◆ PotentialValuesState() [1/2]
|
inline |
Definition at line 4426 of file Attributor.h.
Referenced by llvm::PotentialValuesState< MemberTy >::getBestState(), and llvm::PotentialValuesState< MemberTy >::getWorstState().
◆ PotentialValuesState() [2/2]
|
inline |
Definition at line 4428 of file Attributor.h.
Member Function Documentation
◆ contains()
|
inline |
Definition at line 4514 of file Attributor.h.
References llvm::SetVector< T, Vector, Set >::contains(), llvm::PotentialValuesState< MemberTy >::isValidState(), and true.
◆ getAssumed() [1/2]
|
inline |
Return the assumed state.
Definition at line 4448 of file Attributor.h.
◆ getAssumed() [2/2]
|
inline |
Definition at line 4449 of file Attributor.h.
◆ getAssumedSet() [1/2]
|
inlineprotected |
Definition at line 4519 of file Attributor.h.
References assert(), and llvm::PotentialValuesState< MemberTy >::isValidState().
◆ getAssumedSet() [2/2]
|
inline |
Return this set.
We should check whether this set is valid or not by isValidState() before calling this function.
Definition at line 4453 of file Attributor.h.
References assert(), and llvm::PotentialValuesState< MemberTy >::isValidState().
Referenced by llvm::AAPotentialConstantValues::getAssumedConstant().
◆ getBestState() [1/2]
|
inlinestatic |
Return empty set as the best state of potential values.
Definition at line 4479 of file Attributor.h.
References llvm::PotentialValuesState< MemberTy >::PotentialValuesState().
Referenced by llvm::PotentialValuesState< MemberTy >::getBestState().
◆ getBestState() [2/2]
|
inlinestatic |
Definition at line 4483 of file Attributor.h.
References llvm::PotentialValuesState< MemberTy >::getBestState().
◆ getWorstState()
|
inlinestatic |
Return full set as the worst state of potential values.
Definition at line 4488 of file Attributor.h.
References llvm::PotentialValuesState< MemberTy >::PotentialValuesState().
◆ indicateOptimisticFixpoint()
|
inlineoverridevirtual |
See AbstractState::indicateOptimisticFixpoint(...)
Implements llvm::AbstractState.
Definition at line 4443 of file Attributor.h.
References llvm::IntegerStateBase< base_ty, BestState, WorstState >::indicateOptimisticFixpoint().
◆ indicatePessimisticFixpoint()
|
inlineoverridevirtual |
See AbstractState::indicatePessimisticFixpoint(...)
Implements llvm::AbstractState.
Definition at line 4438 of file Attributor.h.
References llvm::IntegerStateBase< base_ty, BestState, WorstState >::indicatePessimisticFixpoint().
◆ isAtFixpoint()
|
inlineoverridevirtual |
See AbstractState::isAtFixpoint(...)
Implements llvm::AbstractState.
Definition at line 4435 of file Attributor.h.
References llvm::IntegerStateBase< base_ty, BestState, WorstState >::isAtFixpoint().
◆ isValidState()
|
inlineoverridevirtual |
See AbstractState::isValidState(...)
Implements llvm::AbstractState.
Definition at line 4432 of file Attributor.h.
References llvm::IntegerStateBase< base_ty, BestState, WorstState >::isValidState().
Referenced by llvm::PotentialValuesState< MemberTy >::contains(), llvm::AAPotentialConstantValues::getAssumedConstant(), llvm::PotentialValuesState< MemberTy >::getAssumedSet(), llvm::PotentialValuesState< MemberTy >::operator==(), and llvm::PotentialValuesState< MemberTy >::undefIsContained().
◆ operator&=()
|
inline |
Definition at line 4508 of file Attributor.h.
References llvm::PotentialValuesState< MemberTy >::unionAssumed().
◆ operator==()
|
inline |
Definition at line 4464 of file Attributor.h.
References llvm::PotentialValuesState< MemberTy >::isValidState(), RHS, and llvm::PotentialValuesState< MemberTy >::undefIsContained().
◆ operator^=()
|
inline |
"Clamp" this state with PVS.
Definition at line 4502 of file Attributor.h.
References llvm::PotentialValuesState< MemberTy >::unionAssumed().
◆ undefIsContained()
|
inline |
Returns whether this state contains an undef value or not.
Definition at line 4459 of file Attributor.h.
References assert(), and llvm::PotentialValuesState< MemberTy >::isValidState().
Referenced by llvm::AAPotentialConstantValues::getAssumedConstant(), and llvm::PotentialValuesState< MemberTy >::operator==().
◆ unionAssumed() [1/2]
|
inline |
Union assumed set with the passed value.
Definition at line 4493 of file Attributor.h.
Referenced by llvm::PotentialValuesState< MemberTy >::operator&=(), and llvm::PotentialValuesState< MemberTy >::operator^=().
◆ unionAssumed() [2/2]
|
inline |
Union assumed set with assumed set of the passed state PVS.
Definition at line 4496 of file Attributor.h.
◆ unionAssumedWithUndef()
|
inline |
Union assumed set with an undef value.
Definition at line 4499 of file Attributor.h.
Member Data Documentation
◆ MaxPotentialValues
|
static |
Maximum number of potential values to be tracked.
This is set by -attributor-max-potential-values command line option
Definition at line 4476 of file Attributor.h.
The documentation for this struct was generated from the following files:
- include/llvm/Transforms/IPO/Attributor.h
- lib/Transforms/IPO/AttributorAttributes.cpp
