projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3db8ae1) | patch
[ValueTracking] Add logic for `udiv x,y != 0` if `y u<= x`
authorNoah Goldstein <goldstein.w.n@gmail.com>
Thu, 27 Apr 2023 16:03:40 +0000 (11:03 -0500)
committerNoah Goldstein <goldstein.w.n@gmail.com>
Thu, 27 Apr 2023 18:48:41 +0000 (13:48 -0500)
commitd8e9dd33b2a5546af0b26243810712629d4d5f14
tree5051e183f47727dd37017b7b853d541cec94ca97tree | snapshot
parent3db8ae1f68489c1843c4ce6af7a84ae2c18f06bbcommit | diff
[ValueTracking] Add logic for `udiv x,y != 0` if `y u<= x`

Alive2 Link:
        https://alive2.llvm.org/ce/z/2DKh46

Reviewed By: nikic

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