projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eac2c94) | patch
[ValueTracking] Handle non-zero add/mul recurrences more precisely
authorNikita Popov <nikita.ppv@gmail.com>
Fri, 26 Mar 2021 17:14:30 +0000 (18:14 +0100)
committerNikita Popov <nikita.ppv@gmail.com>
Fri, 26 Mar 2021 17:30:07 +0000 (18:30 +0100)
commit938d05b814c7fe470201d595afefc02e3371244e
tree661e2ea7168aa16b7d72a3e3452294a22b511caftree | snapshot
parenteac2c94bc22641526c3fefd4d1424edd1062cef3commit | diff
[ValueTracking] Handle non-zero add/mul recurrences more precisely

This is mainly for clarity: It doesn't make sense to do any
negative/positive checks when dealing with a nuw add/mul. These
only make sense to nsw add/mul.
llvm/lib/Analysis/ValueTracking.cpp diff | blob | history
llvm/test/Analysis/ValueTracking/monotonic-phi.ll diff | blob | history
Domain: System / Toolchain;