ΒΆbool hasAssumption(
    const llvm::Function& F,
    const llvm::KnownAssumptionString&
        AssumptionStr)

Description

Return true if \p F has the assumption \p AssumptionStr attached.

Declared at: llvm/include/llvm/IR/Assumptions.h:52

Parameters

const llvm::Function& F
const llvm::KnownAssumptionString& AssumptionStr