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

Synopsis

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

struct AANonConvergent
    : StateWrapper<BooleanState, AbstractAttribute>

Base Classes

Name

Description

StateWrapper<BooleanState, AbstractAttribute>

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

Type Aliases

Name

Description

Base

Base type of this abstract attribute.

StateType

Provide static access to the type of the state.

Member Functions

Name

Description

AANonConvergent [constructor]

Create a AANonConvergent for the position IRP.

getIdAddr [virtual]

See AbstractAttribute::getIdAddr()

getName [virtual]

See AbstractAttribute::getName()

getState

See AbstractAttribute::getState(...).

isAssumedNotConvergent

Return true if "non‐convergent" is assumed.

isKnownNotConvergent

Return true if "non‐convergent" is known.

Static Member Functions

Name

Description

classof

This function should return true if the type of the AA is AANonConvergent.

createForPosition

Create an abstract attribute view for the position IRP.

Static Data Members

Name

Description

ID

Unique ID (due to the unique address)

Created with MrDocs