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

[Li Jia He via Phabricator via llvm-commits]

HLJ2009 marked an inline comment as done.
HLJ2009 added inline comments.


================
Comment at: test/Transforms/InstCombine/and3.ll:4
+
+; x > y && x != 0 -> x > y
+
----------------
lebedev.ri wrote:
> Can you place it next to the rest of the tests from `simplifyUnsignedRangeCheck()`?
Yes, I want to do it. However I've looked for a test file specific to simplifyUnsignedRangeCheck, but I didn't find it. If possible, I can add the remaining test cases for simplifyUnsignedRangeCheck


Repository:
  rL LLVM

https://reviews.llvm.org/D47922