ΒΆ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