¶bool getAssumedUnderlyingObjects(
    llvm::Attributor& A,
    const llvm::Value& Ptr,
    SmallSetVector<llvm::Value*, 8>& Objects,
    const llvm::AbstractAttribute& QueryingAA,
    const llvm::Instruction* CtxI,
    bool& UsedAssumedInformation,
    AA::ValueScope VS = AA::Interprocedural,
    SmallPtrSetImpl<llvm::Value*>* SeenObjects =
        nullptr)

Description

Collect all potential underlying objects of \p Ptr at position \p CtxI in\p Objects. Assumed information is used and dependences onto \p QueryingAA are added appropriately.

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

Parameters

llvm::Attributor& A

const llvm::Value& Ptr

SmallSetVector<llvm::Value*, 8>& Objects

const llvm::AbstractAttribute& QueryingAA

const llvm::Instruction* CtxI

bool& UsedAssumedInformation

AA::ValueScope VS = AA::Interprocedural

SmallPtrSetImpl<llvm::Value*>* SeenObjects = nullptr

Returns

True if \p Objects contains all assumed underlying objects, and false if something went wrong and the objects could not be determined.