LLVM
12.0.0git
|
Represent one information held inside an operand bundle of an llvm.assume. More...
#include "llvm/Analysis/AssumeBundleQueries.h"
Public Member Functions | |
bool | operator== (RetainedKnowledge Other) const |
bool | operator!= (RetainedKnowledge Other) const |
operator bool () const | |
Static Public Member Functions | |
static RetainedKnowledge | none () |
Public Attributes | |
Attribute::AttrKind | AttrKind = Attribute::None |
unsigned | ArgValue = 0 |
Value * | WasOn = nullptr |
Represent one information held inside an operand bundle of an llvm.assume.
AttrKind is the property that holds. WasOn if not null is that Value for which AttrKind holds. ArgValue is optionally an argument of the attribute. For example if we know that P has an alignment of at least four:
Definition at line 100 of file AssumeBundleQueries.h.
|
inlinestatic |
Definition at line 110 of file AssumeBundleQueries.h.
Referenced by llvm::getKnowledgeForValue(), and llvm::getKnowledgeFromUse().
|
inline |
Definition at line 109 of file AssumeBundleQueries.h.
References AttrKind, and llvm::Attribute::None.
|
inline |
Definition at line 108 of file AssumeBundleQueries.h.
References llvm::Other.
|
inline |
Definition at line 104 of file AssumeBundleQueries.h.
References ArgValue, AttrKind, llvm::Other, and WasOn.
unsigned llvm::RetainedKnowledge::ArgValue = 0 |
Definition at line 102 of file AssumeBundleQueries.h.
Referenced by operator==().
Attribute::AttrKind llvm::RetainedKnowledge::AttrKind = Attribute::None |
Definition at line 101 of file AssumeBundleQueries.h.
Referenced by llvm::getKnowledgeFromUse(), operator bool(), and operator==().
Value* llvm::RetainedKnowledge::WasOn = nullptr |
Definition at line 103 of file AssumeBundleQueries.h.
Referenced by operator==().