This class represents an assumption that the expression LHS Pred RHS evaluates to true, and this can be checked at run-time.
Declared in <llvm/Analysis/ScalarEvolution.h>
class SCEVComparePredicate final
: public SCEVPredicate| Name | Description |
|---|---|
SCEVPredicate | This class represents an assumption made using SCEV expressions which can be checked at run-time. |
| Name | Description |
|---|---|
SCEVPredicateKind | Kind of SCEVPredicate subclass. |
| Name | Description |
|---|---|
SCEVComparePredicate [constructor] | Construct a compare predicate that LHS Pred RHS holds. |
getComplexity [virtual] | Returns the estimated complexity of this predicate. This is roughly measured in the number of run-time checks required. |
getKind | Return the kind of this predicate. |
getLHS | Returns the left hand side of the predicate. |
getPredicate | Return the icmp predicate of this comparison. |
getRHS | Returns the right hand side of the predicate. |
implies [virtual] | Return true if this predicate implies N. |
isAlwaysTrue [virtual] | Return true if this predicate is always true. |
print [virtual] | Print this predicate to OS, indented by Depth. |
| Name | Description |
|---|---|
classof | Methods for support type inquiry through isa, cast, and dyn_cast: |
| Name | Description |
|---|---|
operator= | Copy-assign this predicate. |
| Name | Description |
|---|---|
Kind | Discriminator for the predicate subclass. |