commit d5d8f67dc5ec18bfd172dc620a49f68db898512d
author Johannes Doerfert <doerfert@cs.uni-saarland.de> Sun Apr 26 19:55:21 2015 +0000
committer Johannes Doerfert <doerfert@cs.uni-saarland.de> Sun Apr 26 19:55:21 2015 +0000
tree 89eaf122b5b93b0689caba5e925014c5a7baa6b5
parent 63294cbb6a2bc9a48aa2367e61136b13ab1ac12d

Use the original no-wrap flags for normalized AddRecs

llvm-svn: 235822

polly/lib/Support/SCEVValidator.cpp

diff --git a/polly/lib/Support/SCEVValidator.cpp b/polly/lib/Support/SCEVValidator.cpp
index 1cfbd66..80c2249 100644
--- a/polly/lib/Support/SCEVValidator.cpp
+++ b/polly/lib/Support/SCEVValidator.cpp
@@ -287,7 +287,7 @@
     // if 'start' is not zero.
     const SCEV *ZeroStartExpr = SE.getAddRecExpr(
         SE.getConstant(Expr->getStart()->getType(), 0),
-        Expr->getStepRecurrence(SE), Expr->getLoop(), SCEV::FlagAnyWrap);
+        Expr->getStepRecurrence(SE), Expr->getLoop(), Expr->getNoWrapFlags());
 
     ValidatorResult ZeroStartResult =
         ValidatorResult(SCEVType::PARAM, ZeroStartExpr);