[PATCH] Bugfix: SCEV incorrectly marks certain add recurrences as nsw

[Sanjoy Das]

I just checked in the clarification as
http://reviews.llvm.org/rL228587 . Please let me know if it looks
okay.

Thanks,
-- Sanjoy

On Mon, Feb 9, 2015 at 10:01 AM, Andrew Trick <atrick at apple.com> wrote:
>
>> On Feb 9, 2015, at 12:13 AM, Sanjoy Das <sanjoy at playingwithpointers.com> wrote:
>>
>> In practice it seems the two places that actually do something with `<nw>` work only with a constant non-zero step size, so it is probably okay to remove the check.  But I think the comments in the header file should be changed to state that `<nw>` means that `step` is either `0` or `abs(step) * max-iteration(loop) <= unsigned-max(bitwidth)`.
>
> It seems more natural to me that violating <nw> requires a non-zero step. If you agree, can you add those comments?
>
> Andy
>
>>
>>
>> http://reviews.llvm.org/D7495
>>
>> EMAIL PREFERENCES
>>  http://reviews.llvm.org/settings/panel/emailpreferences/
>>
>>
>