Kind of SCEVPredicate subclass.
Declared in <llvm/Analysis/ScalarEvolution.h>
enum SCEVPredicateKind;| Name | Description |
|---|---|
P_Union | Union of predicates (logical AND). |
P_Compare | Comparison predicate LHS Pred RHS. |
P_Wrap | Wrap predicate on an add recurrence. |