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

[Stanislav Mekhanoshin via Phabricator via llvm-commits]

rampitec created this revision.
rampitec added a reviewer: spatel.
Herald added a subscriber: hiraditya.
rampitec requested review of this revision.
Herald added a project: LLVM.

This moves `((~a & ~b & c) | ~(a | b | c) -> ~(a | b)` into the
block with common LHS. Even though the expression is processed
by other means handle it just for completeness. As a result it
also restores tests from abandoned D113216 <https://reviews.llvm.org/D113216>.


https://reviews.llvm.org/D116254

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D116254.396107.patch
Type: text/x-patch
Size: 17864 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20211223/7b21686c/attachment.bin>