projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: afa3fed) | patch
[ScalarEvolution] Make isKnownNonZero handle more cases.
authorEli Friedman <efriedma@quicinc.com>
Tue, 13 Jul 2021 21:48:47 +0000 (14:48 -0700)
committerEli Friedman <efriedma@quicinc.com>
Tue, 13 Jul 2021 22:36:45 +0000 (15:36 -0700)
commitbb8c7a980fe487eb322d38641db9145a6b6cb1d4
tree52314ae07b4251ca3a4fb538f92ec9b31485edd0tree | snapshot
parentafa3fedcda98db4d47694ed596270a5396074224commit | diff
[ScalarEvolution] Make isKnownNonZero handle more cases.

Using an unsigned range instead of signed ranges is a bit more precise.

Differential Revision: https://reviews.llvm.org/D105941
llvm/lib/Analysis/ScalarEvolution.cpp diff | blob | history
llvm/test/Analysis/ScalarEvolution/trip-count9.ll diff | blob | history
Domain: System / Toolchain;