[PATCH] D154139: [InstCombine] Transform `(icmp eq/ne (or x, C), x)` -> `(icmp eq/ne (and x, C), C)`

[Noah Goldstein via Phabricator via llvm-commits]

goldstein.w.n added a comment.

In D154139#4465123 <https://reviews.llvm.org/D154139#4465123>, @nikic wrote:

>> Proof (note constants are always noundef): https://alive2.llvm.org/ce/z/N4CcaK
>
> `undef` is a constant :) Or more typically in this context, a vector with undef elements.

Oof, fixed.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D154139