[PATCH] D145157: [InstCombine] Implement "A & (~A | B) --> A & B" for boolean vectors.

[Nikita Popov via Phabricator via llvm-commits]

nikic added a reviewer: nikic.
nikic added a comment.

Missing scalar test coverage. Please also add relevant proofs to patch description (e.g. https://alive2.llvm.org/ce/z/oKiodu). What about the de Morgan conjugate?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D145157