An abstract interface for liveness abstract attribute.

Synopsis

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

struct AAIsDead
    : StateWrapper<BitIntegerState<uint8_t, 3, 0>, AbstractAttribute>

Base Classes

Name

Description

StateWrapper<BitIntegerState<uint8_t, 3, 0>, AbstractAttribute>

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

Type Aliases

Name

Description

Base

StateType

Provide static access to the type of the state.

Enums

Name

Description

Unnamed enum

State encoding bits. A set bit in the state means the property holds.

Member Functions

Name

Description

AAIsDead [constructor]

Constructor

getIdAddr [virtual]

See AbstractAttribute::getIdAddr()

getName [virtual]

See AbstractAttribute::getName()

getState

See AbstractAttribute::getState(...).

isAssumedDead [virtual]

Returns true if BB is assumed dead.

isEdgeDead [virtual]

Return if the edge from From BB to To BB is assumed dead. This is specifically useful in AAReachability.

Static Member Functions

Name

Description

classof

This function should return true if the type of the AA is AAIsDead

createForPosition

Create an abstract attribute view for the position IRP.

isValidIRPositionForInit

See AbstractAttribute::isValidIRPositionForInit

mayCatchAsynchronousExceptions

Determine if F might catch asynchronous exceptions.

Static Data Members

Name

Description

ID

Unique ID (due to the unique address)

Protected Member Functions

Name

Description

isAssumedDead

isAssumedDead overloads

isKnownDead

isKnownDead overloads

isLiveInstSet

This method is used to check if at least one instruction in a collection of instructions is live.

isRemovableStore [virtual]

Return true if the underlying value is a store that is known to be removable.

Friends

Name

Description

llvm::Attributor

The fixpoint analysis framework that orchestrates the attribute deduction.

Created with MrDocs