¶bool canReplacePointersIfEqual(
    llvm::Value* A,
    llvm::Value* B,
    const llvm::DataLayout& DL,
    llvm::Instruction* CtxI)

Description

Returns true if a pointer value \p A can be replace with another pointer value \Bif they are deemed equal through some means (e.g. information from conditions). NOTE: the current implementations is incomplete and unsound. It does not reject all invalid cases yet, but will be made stricter in the future. In particular this means returning true means unknown if replacement is safe.

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

Parameters

llvm::Value* A

llvm::Value* B

const llvm::DataLayout& DL

llvm::Instruction* CtxI