[PATCH] D29774: [InstCombine] fold icmp sgt/slt (add nsw X, C2), C --> icmp sgt/slt X, (C - C2)

[Nuno Lopes via Phabricator via llvm-commits]

nlopes added a comment.

LGTM.
The easy way to check for overflow in Alive: http://rise4fun.com/Alive/MH

Regarding the instsimplify ones you mention, I didn't check what's implemented, but they need a precondition stronger than just that C1-C2 overflows: http://rise4fun.com/Alive/TRL


https://reviews.llvm.org/D29774