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);true if CB or its callee has the assumption attached.
| Name | Description |
|---|---|
| CB | Call site to inspect for the assumption. |
| AssumptionStr | Known assumption string to look for. |