From: Sanjoy Das <sanjoy@playingwithpointers.com>
Date: Mon, 9 Feb 2015 19:39:00 +0000 (+0000)
Subject: Address post-commit review for rL228587: make it explicit that the
X-Git-Tag: llvmorg-3.7.0-rc1~12668
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=bc4ab6ee7b2989cbf0ab85497465c0bab7e27754;p=platform%2Fupstream%2Fllvm.git

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.

llvm-svn: 228595
---

diff --git a/llvm/include/llvm/Analysis/ScalarEvolution.h b/llvm/include/llvm/Analysis/ScalarEvolution.h
index 8381b86..ea34b27 100644
--- a/llvm/include/llvm/Analysis/ScalarEvolution.h
+++ b/llvm/include/llvm/Analysis/ScalarEvolution.h
@@ -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