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 | 8eaae2869342b9b545d20f1a92d69da682ad7f55 (patch) | |
| tree | f328d3ddd8abeb133662c8e0a0616bfb25598af0 /llvm/lib/Analysis/ScalarEvolutionExpander.cpp | |
| parent | c89a0ececb6d932c8fe34d948359ab57f1397b3e (diff) | |
| download | llvm-8eaae2869342b9b545d20f1a92d69da682ad7f55.zip llvm-8eaae2869342b9b545d20f1a92d69da682ad7f55.tar.gz llvm-8eaae2869342b9b545d20f1a92d69da682ad7f55.tar.bz2 | |
Teach indvars to generate nsw/nuw flags when widening an induction variable.
Fixes PR16600.
llvm-svn: 186272
Diffstat (limited to 'llvm/lib/Analysis/ScalarEvolutionExpander.cpp')
| -rw-r--r-- | llvm/lib/Analysis/ScalarEvolutionExpander.cpp | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/llvm/lib/Analysis/ScalarEvolutionExpander.cpp b/llvm/lib/Analysis/ScalarEvolutionExpander.cpp index fcd7ce2..0dd1043 100644 --- a/llvm/lib/Analysis/ScalarEvolutionExpander.cpp +++ b/llvm/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); } |