Mixin for predicates that hold along a CFG edge.
Synopsis
Declared in <llvm/Transforms/Utils/PredicateInfo.h>
class PredicateWithEdge
: public PredicateBaseDescription
The FROM block is the block where the predicate originates, and the TO block is the block where the predicate is valid.
Base Classes
Name |
Description |
Base class for all predicate information we provide. |
Member Functions
Name |
Description |
|
Deleted default constructor; edge endpoints must be supplied. |
|
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 condition associated with this predicate. |
|
Basic block where the branch or switch that produces the predicate lives. |
|
The original operand before we renamed it. |
|
The renamed operand in the condition used for this predicate. |
|
Successor block in which the renamed operand is known to satisfy the predicate. |
|
Discriminator describing which derived predicate this is. |
Protected Member Functions
Name |
Description |
|
Construct an edge predicate of kind |
Derived Classes
Name |
Description |
Predicate information for conditional branches. |
|
Predicate information for a switch case edge. |
Created with MrDocs