diff options
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | 2017-10-25 21:40:59 +0000 |
|---|---|---|
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | 2017-10-25 21:40:59 +0000 |
| commit | bc1160282cb224d1c8f63cf9c7919309bee03846 (patch) | |
| tree | 01047edd8faef3cf76b94b47748bac5c0222275c /lib/Analysis/ScalarEvolution.cpp | |
| parent | 2bbf52db0b1ecde1bfeb3a002441e18a6297b3af (diff) | |
Add a comment to clarify a future change
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@316614 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/ScalarEvolution.cpp')
| -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 c69bd601aff..f6c45de9ed6 100644 --- a/lib/Analysis/ScalarEvolution.cpp +++ b/lib/Analysis/ScalarEvolution.cpp @@ -9710,8 +9710,9 @@ const SCEV *ScalarEvolution::computeMaxBECountForLT(const SCEV *Start, StrideForMaxBECount = IsSigned ? getSignedRangeMin(Stride) : getUnsignedRangeMin(Stride); else - // Using a stride of 1 is safe when computing max backedge taken count for - // a loop with unknown stride. + // Using a stride of 1 is safe when computing max backedge taken count for a + // loop with unknown stride, since the precondition for this function is + // that it is positive. StrideForMaxBECount = APInt(BitWidth, 1, IsSigned); APInt MaxValue = IsSigned ? APInt::getSignedMaxValue(BitWidth) |