Helper to tie a abstract state implementation to an abstract attribute.

Synopsis

Declared in <llvm/Transforms/IPO/Attributor.h>

template<
    typename StateTy,
    typename BaseType,
    class... Ts>
struct StateWrapper
    : BaseType
    , StateTy

Base Classes

Name

Description

BaseType

StateTy

Type Aliases

Name

Description

StateType

Provide static access to the type of the state.

Member Functions

Name

Description

StateWrapper [constructor]

Construct a state wrapper around an IR position.

getState

See AbstractAttribute::getState(...).

getState

See AbstractAttribute::getState(...).

Derived Classes

Name

Description

AAAddressSpace

An abstract interface for address space information.

AAAllocationInfo

Abstract attribute describing allocation size information.

AAAssumptionInfo

An abstract attribute for getting assumption information.

AACallEdges

An abstract state for querying live call edges. This interface uses the Attributor's optimistic liveness information to compute the edges that are alive.

AADenormalFPMath

An abstract Attribute for specializing "dynamic" components of denormal_fpenv to a known denormal mode.

AAExecutionDomain

Abstract attribute describing thread execution domains.

AAGlobalValueInfo

An abstract interface for llvm::GlobalValue information interference.

AAHeapToStack

Abstract attribute for heap‐to‐stack conversion opportunities.

AAIndirectCallInfo

An abstract interface for indirect call information interference.

AAInstanceInfo

Abstract attribute tracking whether a value leaves its defining function instance.

AAInterFnReachability

An abstract Attribute for computing reachability between functions.

AAIntraFnReachability

An abstract interface to determine reachability of point A to B.

AAIsDead

An abstract interface for liveness abstract attribute.

AANoAliasAddrSpace

An abstract interface for potential address space information.

AANonConvergent

An abstract Attribute for determining the necessity of the convergent attribute.

AAPotentialConstantValues

An abstract interface for potential values analysis.

AAPotentialValues

Abstract attribute tracking potential LLVM values.

AAPrivatizablePtr

An abstract interface for privatizability.

AAUndefinedBehavior

An abstract attribute for undefined behavior.

AAValueConstantRange

An abstract interface for range value analysis.

AAValueSimplify

An abstract interface for value simplify abstract attribute.

Created with MrDocs