[PATCH] D157755: [InstSimplify] Use knownbits for simplifying `(icmp ugt/ule (or X, Y), X)`; PR64610

Sat Aug 12 12:56:04 PDT 2023

goldstein.w.n added a comment.

In D157755#4582486 <https://reviews.llvm.org/D157755#4582486>, @nikic wrote:

> I just had the thought that a better way to handle this would be to fold ugt to ne and ule to eq. In fact, this is what D144610 <https://reviews.llvm.org/D144610> does. I think that would fix the motivating case as well?

I believe that would work as well. Happy to replace with D144610 <https://reviews.llvm.org/D144610>

Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D157755/new/

https://reviews.llvm.org/D157755