[PATCH] D47922: unsigned foo(unsigned x, unsigned y) { return x > y && x != 0; } should fold to x > y

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri accepted this revision.
lebedev.ri added a comment.
This revision is now accepted and ready to land.

Ok, thanks, that is much better.
Alive agrees that these are valid transforms.
I would personally prefer to also have some *negative* tests.
But this looks good to me. Unless others have any comments.


Repository:
  rL LLVM

https://reviews.llvm.org/D47922