[PATCH] D37713: [InstSimplify] fold sdiv/srem based on compare of dividend and divisor

[Nuno Lopes via Phabricator via llvm-commits]

nlopes requested changes to this revision.
nlopes added a comment.
This revision now requires changes to proceed.

I was trying to prove this in Alive, but the proof doesn't go through.
Some corner cases are not correct: http://rise4fun.com/Alive/iVs
For example: 'INT_MIN / something' would be replaced with 0, but shouldn't.


https://reviews.llvm.org/D37713