struct AAAssumptionInfo

Declaration

struct AAAssumptionInfo : public StateWrapper { /* full declaration omitted */ };

Description

An abstract attribute for getting assumption information.

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

Inherits from: StateWrapper

Member Variables

public static const char ID

Unique ID (due to the unique address)

Method Overview

• public AAAssumptionInfo(const llvm::IRPosition & IRP, llvm::Attributor & A, const DenseSet<llvm::StringRef> & Known)
• public static bool classof(const llvm::AbstractAttribute * AA)
• public static llvm::AAAssumptionInfo & createForPosition(const llvm::IRPosition & IRP, llvm::Attributor & A)
• public const char * getIdAddr() const
• public const std::string getName() const
• public virtual bool hasAssumption(const llvm::StringRef Assumption) const

Methods

¶AAAssumptionInfo(
    const llvm::IRPosition& IRP,
    llvm::Attributor& A,
    const DenseSet<llvm::StringRef>& Known)

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

Parameters

const llvm::IRPosition& IRP

llvm::Attributor& A

const DenseSet<llvm::StringRef>& Known

¶static bool classof(
    const llvm::AbstractAttribute* AA)

Description

This function should return true if the type of the \p AA is AAAssumptionInfo

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

Parameters

const llvm::AbstractAttribute* AA

¶static llvm::AAAssumptionInfo& 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:5117

Parameters

const llvm::IRPosition& IRP

llvm::Attributor& A

¶const char* getIdAddr() const

Description

See AbstractAttribute::getIdAddr()

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

¶const std::string getName() const

Description

See AbstractAttribute::getName()

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

¶virtual bool hasAssumption(
    const llvm::StringRef Assumption) const

Description

Returns true if the assumption set contains the assumption \p Assumption.

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

Parameters

const llvm::StringRef Assumption