LLVM: llvm::PotentialValuesState< MemberTy > Struct Template Reference (original) (raw)
A class for a set state. More...
#include "[llvm/Transforms/IPO/Attributor.h](Attributor%5F8h%5Fsource.html)"
| Public Member Functions | |
|---|---|
| PotentialValuesState () | |
| PotentialValuesState (bool IsValid) | |
| bool | isValidState () const override |
| See AbstractState::isValidState(...) | |
| bool | isAtFixpoint () const override |
| See AbstractState::isAtFixpoint(...) | |
| ChangeStatus | indicatePessimisticFixpoint () override |
| See AbstractState::indicatePessimisticFixpoint(...) | |
| ChangeStatus | indicateOptimisticFixpoint () override |
| See AbstractState::indicateOptimisticFixpoint(...) | |
| PotentialValuesState & | getAssumed () |
| Return the assumed state. | |
| const PotentialValuesState & | getAssumed () const |
| const SetTy & | getAssumedSet () const |
| Return this set. | |
| bool | undefIsContained () const |
| Returns whether this state contains an undef value or not. | |
| bool | operator== (const PotentialValuesState &RHS) const |
| void | unionAssumed (const MemberTy &C) |
| Union assumed set with the passed value. | |
| void | unionAssumed (const PotentialValuesState &PVS) |
| Union assumed set with assumed set of the passed state PVS. | |
| void | unionAssumedWithUndef () |
| Union assumed set with an undef value. | |
| PotentialValuesState | operator^= (const PotentialValuesState &PVS) |
| "Clamp" this state with PVS. | |
| 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. | |
| static PotentialValuesState | getBestState (const PotentialValuesState &PVS) |
| static PotentialValuesState | getWorstState () |
| Return full set as the worst state of potential values. |
| Static Public Attributes | |
|---|---|
| static unsigned | MaxPotentialValues |
| Maximum number of potential values to be tracked. |
| Protected Member Functions | |
|---|---|
| SetTy & | getAssumedSet () |
template
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 5013 of file Attributor.h.
◆ SetTy
template
template
◆ PotentialValuesState() [2/2]
template
◆ contains()
template
◆ getAssumed() [1/2]
template
◆ getAssumed() [2/2]
template
◆ getAssumedSet() [1/2]
template
◆ getAssumedSet() [2/2]
template
◆ getBestState() [1/2]
template
◆ getBestState() [2/2]
template
◆ getWorstState()
template
Return full set as the worst state of potential values.
Definition at line 5078 of file Attributor.h.
◆ indicateOptimisticFixpoint()
template
◆ indicatePessimisticFixpoint()
template
◆ isAtFixpoint()
template
◆ isValidState()
template
◆ operator&=()
template
◆ operator==()
template
◆ operator^=()
template
◆ undefIsContained()
template
◆ unionAssumed() [1/2]
template
◆ unionAssumed() [2/2]
template
Union assumed set with assumed set of the passed state PVS.
Definition at line 5086 of file Attributor.h.
◆ unionAssumedWithUndef()
template
Union assumed set with an undef value.
Definition at line 5089 of file Attributor.h.
◆ MaxPotentialValues
template
Maximum number of potential values to be tracked.
This is set by -attributor-max-potential-values command line option
Definition at line 5066 of file Attributor.h.
The documentation for this struct was generated from the following file:
- include/llvm/Transforms/IPO/Attributor.h