struct AAReachability

Declaration

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

Description

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

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

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 AAReachability(const llvm::IRPosition & IRP)
• public static llvm::AAReachability & createForPosition(const llvm::IRPosition & IRP, llvm::Attributor & A)
• public const llvm::IRPosition & getIRPosition() const
• public bool isAssumedReachable(const llvm::Instruction * From, const llvm::Instruction * To) const
• public bool isKnownReachable(const llvm::Instruction * From, const llvm::Instruction * To) 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

¶AAReachability(const llvm::IRPosition& IRP)

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

Parameters

const llvm::IRPosition& IRP

¶static llvm::AAReachability& 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:2009

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:2006

¶bool isAssumedReachable(
    const llvm::Instruction* From,
    const llvm::Instruction* To) const

Description

Returns true if 'From' instruction is assumed to reach, 'To' instruction. Users should provide two positions they are interested in, and the class determines (and caches) reachability.

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

Parameters

const llvm::Instruction* From

const llvm::Instruction* To

¶bool isKnownReachable(
    const llvm::Instruction* From,
    const llvm::Instruction* To) const

Description

Returns true if 'From' instruction is known to reach, 'To' instruction. Users should provide two positions they are interested in, and the class determines (and caches) reachability.

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

Parameters

const llvm::Instruction* From

const llvm::Instruction* To