[PATCH] D113132: [InstCombine] Fuse checks for LHS (~(A | B) & C) | ... NFC.

[Stanislav Mekhanoshin via Phabricator via llvm-commits]

rampitec added a comment.

Quite similarly we are not handling inverted case from D112276 <https://reviews.llvm.org/D112276>: https://alive2.llvm.org/ce/z/ywuzdS
This is done: `(c & ~(a | b)) | (b & ~(a | c))` --> `~a & (b ^ c)`, and this is not: `(c | ~(a & b)) & (b | ~(a & c))` --> `~(a & (b ^ c))`.


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

https://reviews.llvm.org/D113132