LLVM: llvm::ValueSimplifyStateType Struct Reference (original) (raw)

#include "[llvm/Transforms/IPO/Attributor.h](Attributor%5F8h%5Fsource.html)"

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
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
LLVM_ABI 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 4480 of file Attributor.h.

llvm::ValueSimplifyStateType::ValueSimplifyStateType ( Type * Ty) inline

◆ getAssumed() [1/2]

◆ getAssumed() [2/2]

◆ getBestState() [1/2]

◆ getBestState() [2/2]

◆ getWorstState() [1/2]

◆ getWorstState() [2/2]

◆ indicateOptimisticFixpoint()

ChangeStatus llvm::ValueSimplifyStateType::indicateOptimisticFixpoint ( ) inlineoverridevirtual

◆ indicatePessimisticFixpoint()

ChangeStatus llvm::ValueSimplifyStateType::indicatePessimisticFixpoint ( ) inlineoverridevirtual

◆ isAtFixpoint()

bool llvm::ValueSimplifyStateType::isAtFixpoint ( ) const inlineoverridevirtual

◆ isValidState()

bool llvm::ValueSimplifyStateType::isValidState ( ) const inlineoverridevirtual

◆ operator==()

◆ operator^=()

◆ unionAssumed()

bool ValueSimplifyStateType::unionAssumed ( std::optional< Value * > Other) protected

◆ BS

◆ SimplifiedAssociatedValue

std::optional<Value *> llvm::ValueSimplifyStateType::SimplifiedAssociatedValue 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 4551 of file Attributor.h.

Referenced by operator==(), and unionAssumed().

◆ Ty

Type* llvm::ValueSimplifyStateType::Ty protected

The documentation for this struct was generated from the following files: