diff options
| author | Nick Lewycky <nicholas@mxc.ca> | 2008-12-09 07:25:04 +0000 |
|---|---|---|
| committer | Nick Lewycky <nicholas@mxc.ca> | 2008-12-09 07:25:04 +0000 |
| commit | 0bed364307fa5c009239e65352ed36cb451953a7 (patch) | |
| tree | ed089200a639c85fd6dd3eb12808f44baac70028 /lib/Analysis/ScalarEvolution.cpp | |
| parent | ba4dacc8752f1af5ca7a153cfeae4d6e4f78ba8f (diff) | |
| download | external_llvm-0bed364307fa5c009239e65352ed36cb451953a7.zip external_llvm-0bed364307fa5c009239e65352ed36cb451953a7.tar.gz external_llvm-0bed364307fa5c009239e65352ed36cb451953a7.tar.bz2 | |
It's easy to handle SLE/SGE when the loop has a unit stride.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@60748 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/ScalarEvolution.cpp')
| -rw-r--r-- | lib/Analysis/ScalarEvolution.cpp | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/lib/Analysis/ScalarEvolution.cpp b/lib/Analysis/ScalarEvolution.cpp index 2b714de..c9af6de 100644 --- a/lib/Analysis/ScalarEvolution.cpp +++ b/lib/Analysis/ScalarEvolution.cpp @@ -2924,8 +2924,12 @@ bool ScalarEvolutionsImpl::potentialInfiniteLoop(SCEV *Stride, SCEV *RHS, if (!R) return true; - if (isSigned) + if (isSigned) { + if (SC->getValue()->isOne()) + return R->getValue()->isMaxValue(true); + return true; // XXX: because we don't have an sdiv scev. + } // If negative, it wraps around every iteration, but we don't care about that. APInt S = SC->getValue()->getValue().abs(); |