ΒΆbool hasAssumption(
const llvm::CallBase& CB,
const llvm::KnownAssumptionString&
AssumptionStr)
bool hasAssumption(
const llvm::CallBase& CB,
const llvm::KnownAssumptionString&
AssumptionStr)
Description
Return true if \p CB or the callee has the assumption \p AssumptionStr attached.
Declared at: llvm/include/llvm/IR/Assumptions.h:57
Parameters
- const llvm::CallBase& CB
- const llvm::KnownAssumptionString& AssumptionStr