struct SetState

Declaration

template <typename BaseTy>
struct SetState : public AbstractState { /* full declaration omitted */ };

Description

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.

Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2683

Inherits from: AbstractState

Templates

BaseTy

Member Variables

private llvm::SetState::SetContents Known

The set of values known for this state.

private llvm::SetState::SetContents Assumed

The set of assumed values for this state.

private bool IsAtFixedpoint

Method Overview

• public SetState<BaseTy>()
• public SetState<BaseTy>(const DenseSet<BaseTy> & Known)
• public const llvm::SetState::SetContents & getAssumed() const
• public bool getIntersection(const llvm::SetState::SetContents & RHS)
• public const llvm::SetState::SetContents & getKnown() const
• public bool getUnion(const llvm::SetState::SetContents & RHS)
• public llvm::ChangeStatus indicateOptimisticFixpoint()
• public llvm::ChangeStatus indicatePessimisticFixpoint()
• public bool isAtFixpoint() const
• public bool isValidState() const
• public bool setContains(const BaseTy & Elem) const

Inherited from AbstractState:

• public indicateOptimisticFixpoint
• public indicatePessimisticFixpoint
• public isAtFixpoint
• public isValidState

Methods

¶SetState<BaseTy>()

Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2745

¶SetState<BaseTy>(const DenseSet<BaseTy>& Known)

Description

Initializes the known state with an initial set and initializes the assumed state as universal.

Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2749

Parameters

const DenseSet<BaseTy>& Known

¶const llvm::SetState::SetContents& getAssumed()
    const

Description

Return the assumed state encoding.

Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2776

¶bool getIntersection(
    const llvm::SetState::SetContents& RHS)

Description

Performs the set intersection between this set and \p RHS. Returns true if changes were made.

Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2785

Parameters

const llvm::SetState::SetContents& RHS

¶const llvm::SetState::SetContents& getKnown()
    const

Description

Return the known state encoding.

Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2773

¶bool getUnion(
    const llvm::SetState::SetContents& RHS)

Description

Performs the set union between this set and \p RHS. Returns true if changes were made.

Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2798

Parameters

const llvm::SetState::SetContents& RHS

¶llvm::ChangeStatus indicateOptimisticFixpoint()

Description

See AbstractState::indicateOptimisticFixpoint(...)

Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2759

¶llvm::ChangeStatus indicatePessimisticFixpoint()

Description

See AbstractState::indicatePessimisticFixpoint(...)

Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2766

¶bool isAtFixpoint() const

Description

See AbstractState::isAtFixpoint()

Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2756

¶bool isValidState() const

Description

See AbstractState::isValidState()

Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2753

¶bool setContains(const BaseTy& Elem) const

Description

Returns if the set state contains the element.

Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:2779

Parameters

const BaseTy& Elem