ΒΆbool hasAssumption(
const llvm::Function& F,
const llvm::KnownAssumptionString&
AssumptionStr)
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