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