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 |
|---|
SCEVPredicateKind |
| Name | Description |
|---|---|
SCEVComparePredicate [constructor] | Constructor |
getComplexity [virtual] | Returns the estimated complexity of this predicate. This is roughly measured in the number of run-time checks required. |
getKind | |
getLHS | Returns the left hand side of the predicate. |
getPredicate | |
getRHS | Returns the right hand side of the predicate. |
implies [virtual] | Implementation of the SCEVPredicate interface |
isAlwaysTrue [virtual] | |
print [virtual] |
| Name | Description |
|---|---|
classof | Methods for support type inquiry through isa, cast, and dyn_cast: |
| Name | Description |
|---|---|
operator= | Copy assignment operator |
| Name |
|---|
Kind |