diff options
| author | Andrew Trick <atrick@apple.com> | 2013-07-14 02:50:07 +0000 |
|---|---|---|
| committer | Andrew Trick <atrick@apple.com> | 2013-07-14 02:50:07 +0000 |
| commit | 409443b1c6415e55c2bd4f0662e14cbc52d16686 (patch) | |
| tree | 4c44daac6c0deed9a387cb2b9fd05dea7eb8487f /lib | |
| parent | 181a289256d8276ffe247405b521074f9947a124 (diff) | |
| download | llvm-409443b1c6415e55c2bd4f0662e14cbc52d16686.tar.gz llvm-409443b1c6415e55c2bd4f0662e14cbc52d16686.tar.bz2 llvm-409443b1c6415e55c2bd4f0662e14cbc52d16686.tar.xz | |
Teach indvars to generate nsw/nuw flags when widening an induction variable.
Fixes PR16600.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@186272 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/Analysis/ScalarEvolutionExpander.cpp | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/lib/Analysis/ScalarEvolutionExpander.cpp b/lib/Analysis/ScalarEvolutionExpander.cpp index fcd7ce272a..0dd1043b19 100644 --- a/lib/Analysis/ScalarEvolutionExpander.cpp +++ b/lib/Analysis/ScalarEvolutionExpander.cpp @@ -1137,7 +1137,12 @@ SCEVExpander::getAddRecExprPHILiterally(const SCEVAddRecExpr *Normalized, IVIncInsertPos : Pred->getTerminator(); Builder.SetInsertPoint(InsertPos); Value *IncV = expandIVInc(PN, StepV, L, ExpandTy, IntTy, useSubtract); - + if (isa<OverflowingBinaryOperator>(IncV)) { + if (Normalized->getNoWrapFlags(SCEV::FlagNUW)) + cast<BinaryOperator>(IncV)->setHasNoUnsignedWrap(); + if (Normalized->getNoWrapFlags(SCEV::FlagNSW)) + cast<BinaryOperator>(IncV)->setHasNoSignedWrap(); + } PN->addIncoming(IncV, Pred); } |