[ValueTracking] Handle non-zero ashr/lshr recurrences
authorPhilip Reames <listmail@philipreames.com>
Wed, 31 Mar 2021 23:47:32 +0000 (16:47 -0700)
committerPhilip Reames <listmail@philipreames.com>
Wed, 31 Mar 2021 23:48:32 +0000 (16:48 -0700)
commit4af4828a6ef5778609c6738f674a35bc28eaf829
tree5a495a339015b7025511024d31eacc961faa4d31
parent0f70a17d0ad971eaa4368be76f3439471b2ab13e
[ValueTracking] Handle non-zero ashr/lshr recurrences

If we know we don't shift out bits (e.g. exact), all we need to know is that input is non-zero.
llvm/lib/Analysis/ValueTracking.cpp
llvm/test/Analysis/ValueTracking/monotonic-phi.ll