From a573c414356567618397e324b83c9b0ec9ce10c4 Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Mon, 16 Aug 2010 17:34:25 +0000 Subject: [PATCH] Revert r111031. The way LLVM defines loop invariance, the property of an expression being loop invariant is not equivalent to the property of properly dominating the loop header. Other optimizations have also made this optimization less important. llvm-svn: 111160 --- .../llvm/Analysis/ScalarEvolutionExpressions.h | 18 ------------------ 1 file changed, 18 deletions(-) diff --git a/llvm/include/llvm/Analysis/ScalarEvolutionExpressions.h b/llvm/include/llvm/Analysis/ScalarEvolutionExpressions.h index 4baaa4506c14..4213a287011b 100644 --- a/llvm/include/llvm/Analysis/ScalarEvolutionExpressions.h +++ b/llvm/include/llvm/Analysis/ScalarEvolutionExpressions.h @@ -126,12 +126,6 @@ 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) { @@ -281,12 +275,6 @@ 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 { @@ -315,12 +303,6 @@ 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: