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

[Chuanqi Xu via Phabricator via llvm-commits]

ChuanqiXu updated this revision to Diff 408331.
ChuanqiXu added a comment.

- Remove *_thwart test. It is meaningless.
- Remove test for (x & y) + (~x & ~y)
- Add unitest for HaveNoCommonBitSet to test (X & Y) and ~(X | Y) in either order.


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
  llvm/unittests/Analysis/ValueTrackingTest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D118094.408331.patch
Type: text/x-patch
Size: 8379 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220214/31e423ea/attachment.bin>