ΒΆbool getPotentialCopiesOfStoredValue(
    llvm::Attributor& A,
    llvm::StoreInst& SI,
    SmallSetVector<llvm::Value*, 4>&
        PotentialCopies,
    const llvm::AbstractAttribute& QueryingAA,
    bool& UsedAssumedInformation,
    bool OnlyExact = false)

Description

Collect all potential values of the one stored by \p SI into\p PotentialCopies. That is, the only copies that were made via the store are assumed to be known and all are in \p PotentialCopies. Dependences onto \p QueryingAA are properly tracked, \p UsedAssumedInformation will inform the caller if assumed information was used.

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

Parameters

llvm::Attributor& A
llvm::StoreInst& SI
SmallSetVector<llvm::Value*, 4>& PotentialCopies
const llvm::AbstractAttribute& QueryingAA
bool& UsedAssumedInformation
bool OnlyExact = false

Returns

True if the assumed potential copies are all in \p PotentialCopies, false if something went wrong and the copies could not be determined.