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

Sanjoy Das sanjoy at playingwithpointers.com
Mon Feb 9 00:13:36 PST 2015

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)`.



More information about the llvm-commits mailing list