LLVM: llvm::SetState< BaseTy > Struct Template Reference (original) (raw)
Simple state for a set. More...
#include "[llvm/Transforms/IPO/Attributor.h](Attributor%5F8h%5Fsource.html)"
| Classes | |
|---|---|
| struct | SetContents |
| A wrapper around a set that has semantics for handling unions and intersections with a "universal" set that contains all elements. More... |
| Public Member Functions | |
|---|---|
| SetState () | |
| SetState (const DenseSet< BaseTy > &Known) | |
| Initializes the known state with an initial set and initializes the assumed state as universal. | |
| bool | isValidState () const override |
| See AbstractState::isValidState() | |
| bool | isAtFixpoint () const override |
| See AbstractState::isAtFixpoint() | |
| ChangeStatus | indicateOptimisticFixpoint () override |
| See AbstractState::indicateOptimisticFixpoint(...) | |
| ChangeStatus | indicatePessimisticFixpoint () override |
| See AbstractState::indicatePessimisticFixpoint(...) | |
| const SetContents & | getKnown () const |
| Return the known state encoding. | |
| const SetContents & | getAssumed () const |
| Return the assumed state encoding. | |
| bool | setContains (const BaseTy &Elem) const |
| Returns if the set state contains the element. | |
| bool | getIntersection (const SetContents &RHS) |
| Performs the set intersection between this set and RHS. | |
| bool | getUnion (const SetContents &RHS) |
| Performs the set union between this set and RHS. | |
| Public Member Functions inherited from llvm::AbstractState | |
| virtual | ~AbstractState ()=default |
template
struct llvm::SetState< BaseTy >
Simple state for a set.
This represents a state containing a set of values. The interface supports modelling sets that contain all possible elements. The state's internal value is modified using union or intersection operations.
Definition at line 3080 of file Attributor.h.
◆ SetState() [1/2]
template
◆ SetState() [2/2]
template
Initializes the known state with an initial set and initializes the assumed state as universal.
Definition at line 3146 of file Attributor.h.
◆ getAssumed()
template
Return the assumed state encoding.
Definition at line 3173 of file Attributor.h.
◆ getIntersection()
template
Performs the set intersection between this set and RHS.
Returns true if changes were made.
Definition at line 3182 of file Attributor.h.
References RHS.
◆ getKnown()
template
◆ getUnion()
template
Performs the set union between this set and RHS.
Returns true if changes were made.
Definition at line 3197 of file Attributor.h.
References RHS.
◆ indicateOptimisticFixpoint()
template
◆ indicatePessimisticFixpoint()
template
◆ isAtFixpoint()
template
◆ isValidState()
template
◆ setContains()
template
Returns if the set state contains the element.
Definition at line 3176 of file Attributor.h.
The documentation for this struct was generated from the following file:
- include/llvm/Transforms/IPO/Attributor.h