¶Optional<int64_t> isPointerOffset(
    const llvm::Value* Ptr1,
    const llvm::Value* Ptr2,
    const llvm::DataLayout& DL)

Description

If Ptr1 is provably equal to Ptr2 plus a constant offset, return that offset. For example, Ptr1 might be &A [42], and Ptr2 might be &A [40]. In this case offset would be -8.

Declared at: llvm/include/llvm/Analysis/ValueTracking.h:686

Parameters

const llvm::Value* Ptr1

const llvm::Value* Ptr2

const llvm::DataLayout& DL