diff options
| author | Chuanqi Xu <yedeng.yd@linux.alibaba.com> | 2022-01-25 11:12:25 +0800 |
|---|---|---|
| committer | Chuanqi Xu <yedeng.yd@linux.alibaba.com> | 2022-02-16 13:42:52 +0800 |
| commit | a2609be0b284bfa55edf78e607eb426679cfea3d (patch) | |
| tree | 0696b463625f6ab94a67668805c6e6b2e9b91ebf /llvm/lib/Bitstream/Reader/BitstreamReader.cpp | |
| parent | d30ca5e2e23fe50dcd8d5d602bf7cfc61b4c1561 (diff) | |
| download | llvm-a2609be0b284bfa55edf78e607eb426679cfea3d.zip llvm-a2609be0b284bfa55edf78e607eb426679cfea3d.tar.gz llvm-a2609be0b284bfa55edf78e607eb426679cfea3d.tar.bz2 | |
[ValueTracking] Checking haveNoCommonBitsSet for (x & y) and ~(x | y)
This one tries to fix:
https://github.com/llvm/llvm-project/issues/53357.
Simply, this one would check (x & y) and ~(x | y) in
haveNoCommonBitsSet. Since they shouldn't have common bits (we could
traverse the case by enumerating), and we could convert this one to (x &
y) | ~(x | y) . Then the compiler could handle it in
InstCombineAndOrXor.
Further more, since ((x & y) + (~x & ~y)) would be converted to ((x & y)
+ ~(x | y)), this patch would fix it too.
https://alive2.llvm.org/ce/z/qsKzRS
Reviewed By: spatel, xbolva00, RKSimon, lebedev.ri
Differential Revision: https://reviews.llvm.org/D118094
Diffstat (limited to 'llvm/lib/Bitstream/Reader/BitstreamReader.cpp')
0 files changed, 0 insertions, 0 deletions