This class represents a truncation of an integer value to a smaller integer value.
Declared in <llvm/Analysis/ScalarEvolutionExpressions.h>
class SCEVTruncateExpr
: public SCEVIntegralCastExpr| Name | Description |
|---|---|
SCEVIntegralCastExpr | This is the base class for unary integral cast operator classes. |
| 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. |
getNumOperands | Return the number of operands (always 1). |
getOperand | getOperand overloads |
getSCEVType | Return the SCEV opcode of this expression. |
getType | Return the LLVM type of this SCEV expression. |
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 single-element operand array for this cast. |
print | Print this SCEV to OS. |
| Name | Description |
|---|---|
classof | Methods for support type inquiry through isa, cast, and dyn_cast. |
| 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. |
Op | The single cast operand. |
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_Specific | Match if we have a specific specified SCEV. |
SCEVPatternMatch::m_scev_Trunc | Match a truncate SCEV whose operand matches Op0. |
SCEVPatternMatch::match | Match SCEV S against pattern P. |