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

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

In D145157#4165054 <https://reviews.llvm.org/D145157#4165054>, @paulwalker-arm wrote:

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

The conjugate is `A | (~A & B) -> A | B` (https://alive2.llvm.org/ce/z/v5GEKu).


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D145157