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

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added a comment.

Interesting... I've made a dummy patch which lifts the restricton on `nsw` in cases when we are not dealing with `eq/ne`, and it passed 5000 complex fuzzed tests (which usually fail if there is some obvious bug). I also don't see a place where we would really need the no wrap other than `eq/ne`.

@samparker do you have a chance to prepare a patch that lifts this restriction? I can do it as well, but I'm a bit loaded atm. If we can get rid of no-wrap requirements at all, it will be a way better than using `nuw`. :)


https://reviews.llvm.org/D45439