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

[Stanislav Mekhanoshin via Phabricator via llvm-commits]

rampitec updated this revision to Diff 386645.
rampitec edited the summary of this revision.
rampitec added a comment.

Added swapped case:

  (a | ~(b & c)) & ~(a & (b ^ c)) --> ~(a | b) | (a ^ b ^ c)


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

https://reviews.llvm.org/D112955

Files:
  llvm/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp
  llvm/test/Transforms/InstCombine/and-xor-or.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D112955.386645.patch
Type: text/x-patch
Size: 14874 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20211111/ab6b5620/attachment-0001.bin>