This class represents a signed maximum selection.
Declared in <llvm/Analysis/ScalarEvolutionExpressions.h>
class SCEVSMaxExpr
: public SCEVMinMaxExpr| Name | Description |
|---|---|
SCEVMinMaxExpr | This node is the base class min/max selections. |
| Name | Description |
|---|---|
NoWrapFlags | SCEV no-wrap flags; alias of SCEVNoWrapFlags. |
| Name | Description |
|---|---|
operator= [deleted] | Deleted copy assignment. |
computeAndSetCanonical | Compute and set the canonical SCEV, by constructing a SCEV with the same operands, but all SCEVUse flags dropped. |
dump | This method is used for debugging. |
getCanonical | Return the canonical SCEV. |
getExpressionSize | Return the estimated size of this SCEV's expression tree. |
getNoWrapFlags | Return no-wrap flags selected by Mask. |
getNumOperands | Return the number of operands. |
getOperand | Return the operand at index i. |
getSCEVType | Return the SCEV opcode of this expression. |
getType | Return the LLVM type of this SCEV expression. |
hasNoSelfWrap | Return true if this expression has the no-self-wrap flag. |
hasNoSignedWrap | Return true if this expression has the no-signed-wrap flag. |
hasNoUnsignedWrap | Return true if this expression has the no-unsigned-wrap flag. |
isAllOnesValue | Return true if the expression is a constant all-ones value. |
isNonConstantNegative | Return true if the specified scev is negated, but not a constant. |
isOne | Return true if the expression is a constant one. |
isZero | Return true if the expression is a constant zero. |
operands | Return the array of operands. |
print | Print this SCEV to OS. |
setNoWrapFlags | Set flags for a non-recurrence without clearing previously set flags. |
| Name | Description |
|---|---|
classof | classof overloads |
negate | Return the dual min/max SCEV type for T. |
| Name | Description |
|---|---|
FlagAnyWrap | No wrap guarantee. |
FlagNSW | No signed wrap. |
FlagNUW | No unsigned wrap. |
FlagNW | No self-wrap. |
NoWrapMask | Mask of all no-wrap flag bits. |
| Name | Description |
|---|---|
CanonicalSCEV | Pointer to the canonical version of the SCEV, i.e. one where all operands have no SCEVUse flags. |
ExpressionSize | Estimated complexity of this node's expression tree size. |
NumOperands | Number of operands. |
Operands | Pointer to the immutable operand array owned by ScalarEvolution. |
SubclassData | This field is initialized to zero and may be used in subclasses to store miscellaneous information. |
Ty | Immutable type of the SCEV. |
| Name | Description |
|---|---|
llvm::ScalarEvolution | The main scalar evolution driver. Because client code (intentionally) can't do much with the SCEV objects directly, they must ask this class for services. |
| Name | Description |
|---|---|
SCEVExprContains | Return true if any node in Root satisfies the predicate Pred. |
cannotBeMaxInLoop | Returns true if S is defined and never is equal to signed/unsigned max. |
cannotBeMinInLoop | Returns true if S is defined and never is equal to signed/unsigned min. |
denormalizeForPostIncUse | Denormalize S to be post-increment for all loops present in Loops. |
isDereferenceableAndAlignedInLoop | Overload for isDereferenceableAndAlignedInLoop taking the pointer and access size directly as SCEVs. |
isKnownNegativeInLoop | Returns true if we can prove that S is defined and always negative in loop L. |
isKnownNonNegativeInLoop | Returns true if we can prove that S is defined and always non-negative in loop L. |
isKnownNonPositiveInLoop | Returns true if we can prove that S is defined and always non-positive in loop L. |
isKnownPositiveInLoop | Returns true if we can prove that S is defined and always positive in loop L. |
normalizeForPostIncUse | Normalize S to be post-increment for all loops present in Loops. |
normalizeForPostIncUseIf | Normalize S for all add recurrence sub-expressions for which Pred returns true. |
visitAll | Use SCEVTraversal to visit all nodes in the given expression tree. |
SCEVPatternMatch::m_SCEV | Match a SCEV, capturing it if we match. |
SCEVPatternMatch::m_scev_SMax | Match a commutative SCEVSMaxExpr with operands matching Op0 and Op1. |
SCEVPatternMatch::m_scev_Specific | Match if we have a specific specified SCEV. |
SCEVPatternMatch::match | Match SCEV S against pattern P. |