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

[Sanjay Patel via Phabricator via llvm-commits]

spatel added a comment.

I think we need to step back before we add a bunch of other matches.
For an expression with and/or/not, there should always be a Demorgan sibling where the and/or are swapped, right?
https://alive2.llvm.org/ce/z/ziSbZa

But we're transforming that into something that ends in 'xor', so it suggests we're missing some other 'xor' fold (and possibly another 'or' fold?).

Can we generalize the existing transforms or at least group them so we don't have a mess of incomplete logic folds?


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

https://reviews.llvm.org/D113132