Return true if CB or the callee has the assumption AssumptionStr attached.
Declared in <llvm/IR/Assumptions.h>
bool
hasAssumption(
CallBase const& CB,
KnownAssumptionString const& AssumptionStr);| Name | Description |
|---|---|
| CB | Base class for all callable instructions (InvokeInst and CallInst) Holds everything related to calling a function. |
| AssumptionStr | Helper that allows to insert a new assumption string in the known assumption set by creating a (static) object. |