ΒΆbool isDereferenceableAndAlignedPointer(
    const llvm::Value* V,
    llvm::Type* Ty,
    llvm::Align Alignment,
    const llvm::DataLayout& DL,
    const llvm::Instruction* CtxI = nullptr,
    const llvm::DominatorTree* DT = nullptr,
    const llvm::TargetLibraryInfo* TLI = nullptr)

Description

Returns true if V is always a dereferenceable pointer with alignment greater or equal than requested. If the context instruction is specified performs context-sensitive analysis and returns true if the pointer is dereferenceable at the specified instruction.

Declared at: llvm/include/llvm/Analysis/Loads.h:44

Parameters

const llvm::Value* V
llvm::Type* Ty
llvm::Align Alignment
const llvm::DataLayout& DL
const llvm::Instruction* CtxI = nullptr
const llvm::DominatorTree* DT = nullptr
const llvm::TargetLibraryInfo* TLI = nullptr