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