ΒΆbool isDynamicallyUnique(
llvm::Attributor& A,
const llvm::AbstractAttribute& QueryingAA,
const llvm::Value& V,
bool ForAnalysisOnly = true)
bool isDynamicallyUnique(
llvm::Attributor& A,
const llvm::AbstractAttribute& QueryingAA,
const llvm::Value& V,
bool ForAnalysisOnly = true)
Description
Return true if \p V is dynamically unique, that is, there are no two "instances" of \p V at runtime with different values. Note: If \p ForAnalysisOnly is set we only check that the Attributor will never use \p V to represent two "instances" not that \p V could not technically represent them.
Declared at: llvm/include/llvm/Transforms/IPO/Attributor.h:183
Parameters
- llvm::Attributor& A
- const llvm::AbstractAttribute& QueryingAA
- const llvm::Value& V
- bool ForAnalysisOnly = true