diff options
| -rw-r--r-- | include/llvm/Analysis/ScalarEvolutionExpressions.h | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/include/llvm/Analysis/ScalarEvolutionExpressions.h b/include/llvm/Analysis/ScalarEvolutionExpressions.h index 3e846e1be8..dca6272732 100644 --- a/include/llvm/Analysis/ScalarEvolutionExpressions.h +++ b/include/llvm/Analysis/ScalarEvolutionExpressions.h @@ -126,6 +126,12 @@ namespace llvm { public: virtual void print(raw_ostream &OS) const; + virtual bool hasComputableLoopEvolution(const Loop *QL) const { + // Not computable. A truncate of an addrec is always folded into + // the addrec. + return false; + } + /// Methods for support type inquiry through isa, cast, and dyn_cast: static inline bool classof(const SCEVTruncateExpr *S) { return true; } static inline bool classof(const SCEV *S) { @@ -294,6 +300,12 @@ namespace llvm { } public: + virtual bool hasComputableLoopEvolution(const Loop *QL) const { + // Not computable. An add of an addrec is always folded into the addrec + // if the other operands are loop-variant or loop-computable. + return false; + } + virtual const char *getOperationStr() const { return " + "; } virtual const Type *getType() const { @@ -322,6 +334,12 @@ namespace llvm { } public: + virtual bool hasComputableLoopEvolution(const Loop *QL) const { + // Not computable. A mul of an addrec is always folded into the addrec + // if the other operands are loop-variant or loop-computable. + return false; + } + virtual const char *getOperationStr() const { return " * "; } /// Methods for support type inquiry through isa, cast, and dyn_cast: |