projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 812ce7f) | patch
Exact ashr/lshr don't loose any set bits and are thus trivially invertible
authorPhilip Reames <listmail@philipreames.com>
Tue, 6 Apr 2021 02:21:38 +0000 (19:21 -0700)
committerPhilip Reames <listmail@philipreames.com>
Tue, 6 Apr 2021 02:22:36 +0000 (19:22 -0700)
commit13deb6aac723e5694d404f21ee136e9773eb27a6
tree8121f759f8d8c389dd2fe8aae087fbf5b833c463tree | snapshot
parent812ce7f9beb2b828032ddbd01d3aba4c1f9d76dacommit | diff
Exact ashr/lshr don't loose any set bits and are thus trivially invertible

Use that fact to improve isKnownNonEqual.
llvm/lib/Analysis/ValueTracking.cpp diff | blob | history
llvm/test/Analysis/ValueTracking/known-non-equal.ll diff | blob | history
Domain: System / Toolchain;