[PATCH] D45439: [IRCE] Use NUW flag for indvar

[Sam Parker via Phabricator via llvm-commits]

samparker added a comment.

Max,

After starting and playing around for the day, I've got to the root question of: why do we do the wrap checks anyway? Aren't the following range checks in the IsIncreasing/Decreasing blocks enough?


https://reviews.llvm.org/D45439