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

[Stanislav Mekhanoshin via Phabricator via llvm-commits]

rampitec added a comment.

In D112955#3137782 <https://reviews.llvm.org/D112955#3137782>, @spatel wrote:

> Double-check that I'm getting the pattern right, but I don't think the 'or' side of this should have 6 instructions. There has to be a smarter way (!), but I worked this out on paper with a truth table:
> https://alive2.llvm.org/ce/z/BP3ZZm

Indeed. Thanks Sanjay!


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

https://reviews.llvm.org/D112955