struct AAIsDead

Declaration

struct AAIsDead : public StateWrapper, public IRPosition { /* full declaration omitted */ };

Description

An abstract interface for liveness abstract attribute.

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

Inherits from: StateWrapper, IRPosition

Member Variables

public static const char ID

Unique ID (due to the unique address)

Inherited from IRPosition:

protected AnchorVal

protected KindOrArgNo

public static EmptyKey

public static TombstoneKey

Method Overview

• public AAIsDead(const llvm::IRPosition & IRP)
• public static llvm::AAIsDead & createForPosition(const llvm::IRPosition & IRP, llvm::Attributor & A)
• public const llvm::IRPosition & getIRPosition() const
• public virtual bool isAssumedDead() const
• public virtual bool isAssumedDead(const llvm::BasicBlock * BB) const
• public virtual bool isAssumedDead(const llvm::Instruction * I) const
• public virtual bool isKnownDead(const llvm::BasicBlock * BB) const
• public virtual bool isKnownDead(const llvm::Instruction * I) const
• public template <typename T>bool isLiveInstSet(T begin, T end) const

Inherited from IRPosition:

• public argument
• public callsite_argument
• public callsite_argument
• public callsite_argument
• public callsite_function
• public callsite_function
• public callsite_returned
• public callsite_returned
• public function
• public function_scope
• public getAnchorScope
• public getAnchorValue
• public getArgNo
• public getAssociatedArgument
• public getAssociatedFunction
• public getAssociatedValue
• public getAttr
• public getAttrIdx
• public getAttrs
• public getCtxI
• public getPositionKind
• public hasAttr
• public isAnyCallSitePosition
• public isFnInterfaceKind
• public removeAttrs
• public returned
• public value

Methods

¶AAIsDead(const llvm::IRPosition& IRP)

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

Parameters

const llvm::IRPosition& IRP

¶static llvm::AAIsDead& createForPosition(
    const llvm::IRPosition& IRP,
    llvm::Attributor& A)

Description

Create an abstract attribute view for the position \p IRP.

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

Parameters

const llvm::IRPosition& IRP

llvm::Attributor& A

¶const llvm::IRPosition& getIRPosition() const

Description

Return an IR position, see struct IRPosition.

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

¶virtual bool isAssumedDead() const

Description

Returns true if the underlying value is assumed dead.

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

¶virtual bool isAssumedDead(
    const llvm::BasicBlock* BB) const

Description

Returns true if \p BB is assumed dead.

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

Parameters

const llvm::BasicBlock* BB

¶virtual bool isAssumedDead(
    const llvm::Instruction* I) const

Description

Returns true if \p I is assumed dead.

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

Parameters

const llvm::Instruction* I

¶virtual bool isKnownDead(
    const llvm::BasicBlock* BB) const

Description

Returns true if \p BB is known dead.

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

Parameters

const llvm::BasicBlock* BB

¶virtual bool isKnownDead(
    const llvm::Instruction* I) const

Description

Returns true if \p I is known dead.

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

Parameters

const llvm::Instruction* I

¶template <typename T>
bool isLiveInstSet(T begin, T end) const

Description

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

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

Templates

T

Parameters

T begin

T end