diff options
| author | Nick Lewycky <nicholas@mxc.ca> | 2011-11-09 07:11:37 +0000 |
|---|---|---|
| committer | Stephen Hines <srhines@google.com> | 2011-11-14 09:12:03 -0800 |
| commit | 00b838b7ecc7b9d98cad4e0a26949902c9438075 (patch) | |
| tree | 7504c300167fd944c730dd7b69319c990631503c /lib | |
| parent | d4807991d8782772c32e24cb6e17e8c2d1853531 (diff) | |
| download | external_llvm-00b838b7ecc7b9d98cad4e0a26949902c9438075.zip external_llvm-00b838b7ecc7b9d98cad4e0a26949902c9438075.tar.gz external_llvm-00b838b7ecc7b9d98cad4e0a26949902c9438075.tar.bz2 | |
Don't forget to check FlagNW when determining whether an AddRecExpr will wrap
or not. Patch by Brendon Cahoon!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@144173 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/Analysis/ScalarEvolution.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/Analysis/ScalarEvolution.cpp b/lib/Analysis/ScalarEvolution.cpp index f65cf34..b940d93 100644 --- a/lib/Analysis/ScalarEvolution.cpp +++ b/lib/Analysis/ScalarEvolution.cpp @@ -6228,8 +6228,9 @@ ScalarEvolution::HowManyLessThans(const SCEV *LHS, const SCEV *RHS, return getCouldNotCompute(); // Check to see if we have a flag which makes analysis easy. - bool NoWrap = isSigned ? AddRec->getNoWrapFlags(SCEV::FlagNSW) : - AddRec->getNoWrapFlags(SCEV::FlagNUW); + bool NoWrap = isSigned ? + AddRec->getNoWrapFlags((SCEV::NoWrapFlags)(SCEV::FlagNSW | SCEV::FlagNW)) : + AddRec->getNoWrapFlags((SCEV::NoWrapFlags)(SCEV::FlagNUW | SCEV::FlagNW)); if (AddRec->isAffine()) { unsigned BitWidth = getTypeSizeInBits(AddRec->getType()); |