From c253e7fe56afdc0ae302c5a3406c7081dfa68feb Mon Sep 17 00:00:00 2001 From: Sanjoy Das Date: Mon, 9 Feb 2015 19:39:00 +0000 Subject: [PATCH] Address post-commit review for rL228587: make it explicit that the bit of a SCEVAddRecExpr does not depend on the sign of the step and the start value of the step. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@228595 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/llvm/Analysis/ScalarEvolution.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/include/llvm/Analysis/ScalarEvolution.h b/include/llvm/Analysis/ScalarEvolution.h index 8381b867084..ea34b272d15 100644 --- a/include/llvm/Analysis/ScalarEvolution.h +++ b/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 . + /// are trivially . 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 -- 2.34.1