[llvm] r228595 - Address post-commit review for rL228587: make it explicit that the

[Sanjoy Das]

Author: sanjoy
Date: Mon Feb  9 13:39:00 2015
New Revision: 228595

URL: http://llvm.org/viewvc/llvm-project?rev=228595&view=rev
Log:
Address post-commit review for rL228587: make it explicit that the
<NW> bit of a SCEVAddRecExpr does not depend on the sign of the step
and the start value of the step.


Modified:
    llvm/trunk/include/llvm/Analysis/ScalarEvolution.h

Modified: llvm/trunk/include/llvm/Analysis/ScalarEvolution.h
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/include/llvm/Analysis/ScalarEvolution.h?rev=228595&r1=228594&r2=228595&view=diff
==============================================================================
--- llvm/trunk/include/llvm/Analysis/ScalarEvolution.h (original)
+++ llvm/trunk/include/llvm/Analysis/ScalarEvolution.h Mon Feb  9 13:39:00 2015
@@ -87,7 +87,8 @@ namespace llvm {
     /// unsigned-max(bitwidth).  This means that the recurrence will never reach
     /// its start value if the step is non-zero.  Computing the same value on
     /// each iteration is not considered wrapping, and recurrences with step = 0
-    /// are trivially <NW>.
+    /// are trivially <NW>.  <NW> is independent of the sign of step and the
+    /// value the add recurrence starts with.
     ///
     /// Note that NUW and NSW are also valid properties of a recurrence, and
     /// either implies NW. For convenience, NW will be set for a recurrence