[PATCH] Bugfix: SCEV incorrectly marks certain add recurrences as nsw
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