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

[Jay Foad via Phabricator via llvm-commits]

foad added a comment.

> (icmp ule (or X, Y), X)
>
> If there are any unique bits between `X` and `Y`
> --> false

I don't understand "unique bits between". I think you mean: if there are any bits set in Y that are not set in X?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D157755