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