ΒΆbool hasAttributeInAssume(
llvm::AssumeInst& Assume,
llvm::Value* IsOn,
llvm::StringRef AttrName,
uint64_t* ArgVal = nullptr)
bool hasAttributeInAssume(
llvm::AssumeInst& Assume,
llvm::Value* IsOn,
llvm::StringRef AttrName,
uint64_t* ArgVal = nullptr)
Description
Query the operand bundle of an llvm.assume to find a single attribute of the specified kind applied on a specified Value. This has a non-constant complexity. It should only be used when a single attribute is going to be queried. Return true iff the queried attribute was found. If ArgVal is set. the argument will be stored to ArgVal.
Declared at: llvm/include/llvm/Analysis/AssumeBundleQueries.h:42
Parameters
- llvm::AssumeInst& Assume
- llvm::Value* IsOn
- llvm::StringRef AttrName
- uint64_t* ArgVal = nullptr