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

[Paul Walker via Phabricator via llvm-commits]

paulwalker-arm added a comment.

In D145157#4164759 <https://reviews.llvm.org/D145157#4164759>, @nikic wrote:

> 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?

@nikic Can you be more specific as to the meaning of "de Morgan conjugate"? Do you mean switching the operands as @spatel mentioned (which already works) or had you something else in mind.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D145157