[PATCH] SCEV incorrectly marks certain expressions as nsw
atrick at apple.com
Tue Feb 17 00:36:58 PST 2015
Correct. Never mind my comment about the PreRA/nsw check you added earlier -- that check was already there to begin with.
The additional AR/nsw check is only needed for the second condition, which is exactly what you've done. This patch is good as-is.
More information about the llvm-commits