[PATCH] D118094: [ValueTracking] Checking haveNoCommonBitsSet for (x & y) and ~(x | y)

[Chuanqi Xu via Phabricator via llvm-commits]

ChuanqiXu updated this revision to Diff 403472.
ChuanqiXu retitled this revision from "[InstCombine] Implementing (x & y) + ~(x | y) -> ~(x ^ y)" to "[ValueTracking] Checking haveNoCommonBitsSet for  (x & y) and ~(x | y)".
ChuanqiXu edited the summary of this revision.
ChuanqiXu added a comment.

Implement in haveNoCommonBitsSet and add tests.


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

https://reviews.llvm.org/D118094

Files:
  llvm/lib/Analysis/ValueTracking.cpp
  llvm/test/Transforms/InstCombine/pr53357.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D118094.403472.patch
Type: text/x-patch
Size: 5502 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220127/4db79233/attachment.bin>