HomePhabricator

[ValueTracking] Handle non-zero ashr/lshr recurrences

Authored by reames on Wed, Mar 31, 4:47 PM.

Description

[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.

Details

Committed
reamesWed, Mar 31, 4:48 PM
Parents
rG0f70a17d0ad9: [tests] Add tests for ashr/lshr recurrences in isKnownNonZero
Branches
Unknown
Tags
Unknown