struct AADereferenceable

Declaration

struct AADereferenceable : public IRAttribute { /* full declaration omitted */ };

Description

An abstract interface for all dereferenceable attribute.

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

Inherits from: IRAttribute

Member Variables

public static const char ID
Unique ID (due to the unique address)

Method Overview

Methods

AADereferenceable(const llvm::IRPosition& IRP)

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

Parameters

const llvm::IRPosition& IRP

static llvm::AADereferenceable& 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:2277

Parameters

const llvm::IRPosition& IRP
llvm::Attributor& A

uint32_t getAssumedDereferenceableBytes() const

Description

Return assumed dereferenceable bytes.

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

uint32_t getKnownDereferenceableBytes() const

Description

Return known dereferenceable bytes.

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

bool isAssumedGlobal() const

Description

Return true if we assume that underlying value is dereferenceable(_or_null) globally.

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

bool isAssumedNonNull() const

Description

Return true if we assume that the underlying value is nonnull.

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

bool isKnownGlobal() const

Description

Return true if we know that underlying value is dereferenceable(_or_null) globally.

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

bool isKnownNonNull() const

Description

Return true if we know that the underlying value is nonnull.

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