[PATCH] D116135: [InstCombine] ((~a & ~b & c) | ~(a | b | c) -> ~(a | b)

[Stanislav Mekhanoshin via Phabricator via llvm-commits]

rampitec added a comment.

I will precommit tests if that is generally OK.

Handling of all the code in the previous block dealing with `(~(A | B) & C)` is possible, but will overcomplicate the patch a lot and not exactly trivial for the symmetrical case `(~(A | B) & C) | (~(A | C) & B)`.

In general a lot of things would become easier after D114126 <https://reviews.llvm.org/D114126> if accepted.


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

https://reviews.llvm.org/D116135