Predicate information for llvm.assume intrinsics.
Synopsis
Declared in <llvm/Transforms/Utils/PredicateInfo.h>
class PredicateAssume
: public PredicateBaseDescription
Since assumes are always true, we simply provide the assume instruction, so you can tell your relative position to it.
Base Classes
Name |
Description |
Base class for all predicate information we provide. |
Member Functions
Name |
Description |
|
Deleted copy assignment; PredicateBase cannot be copy‐assigned. |
Fetch condition in the form of PredicateConstraint, if possible. |
Static Member Functions
Name |
Description |
Return true if |
Data Members
Name |
Description |
The llvm.assume intrinsic that establishes this predicate. |
|
The condition associated with this predicate. |
|
The original operand before we renamed it. |
|
The renamed operand in the condition used for this predicate. |
|
Discriminator describing which derived predicate this is. |
Protected Member Functions
Name |
Description |
|
Construct an assume predicate of kind |
Derived Classes
Name |
Description |
Predicate information from an llvm.assume operand‐bundle attribute. |
|
Predicate information from the boolean condition of an llvm.assume. |
Created with MrDocs