llvm::hasAssumption

hasAssumption overloads

Synopses

Declared in <llvm/IR/Assumptions.h>

Return true if CB or the callee has the assumption AssumptionStr attached.

bool
hasAssumption(
    CallBase const& CB,
    KnownAssumptionString const& AssumptionStr);
» more...

Return true if F has the assumption AssumptionStr attached.

bool
hasAssumption(
    Function const& F,
    KnownAssumptionString const& AssumptionStr);
» more...

Return Value

  • true if CB or its callee has the assumption attached.
  • true if F has the assumption attached.

Parameters

NameDescription
CBCall site to inspect for the assumption.
AssumptionStrKnown assumption string to look for.
FFunction to inspect for the assumption.