projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6dad7ec) | patch
Teach isKnownNonEqual how to recurse through invertible multiplies
authorPhilip Reames <listmail@philipreames.com>
Mon, 7 Dec 2020 22:36:19 +0000 (14:36 -0800)
committerPhilip Reames <listmail@philipreames.com>
Mon, 7 Dec 2020 22:52:08 +0000 (14:52 -0800)
commit2656885390f17cceae142b4265c337fcee2410c0
treea921dc9f65a011338aded9cdd09435fbea0db47ftree | snapshot
parent6dad7ec539cbcf6f59b63753a86b8015bd6ea66fcommit | diff
Teach isKnownNonEqual how to recurse through invertible multiplies

Build on the work started in 8f07629, and add the multiply case. In the process, more clearly describe the requirement for the operation we're looking through.

Differential Revision: https://reviews.llvm.org/D92726
llvm/lib/Analysis/ValueTracking.cpp diff | blob | history
llvm/test/Analysis/ValueTracking/known-non-equal.ll diff | blob | history
Domain: System / Toolchain;