[ValueTracking] Pass `exact` flag to `KnownBits::udiv` in `computeKnownBits`
authorNoah Goldstein <goldstein.w.n@gmail.com>
Sun, 7 May 2023 02:04:31 +0000 (21:04 -0500)
committerNoah Goldstein <goldstein.w.n@gmail.com>
Tue, 16 May 2023 23:58:12 +0000 (18:58 -0500)
commit99795afb28af4a93e128597b47579e05da2340b3
treee818a641b254ca6c96b113f0974a3ef4503c687d
parent7d05ab99edb9f5ef06c3d635afcd22502866f447
[ValueTracking] Pass `exact` flag to `KnownBits::udiv` in `computeKnownBits`

This information was previously missing but we can use it for
determining the low-bits.

Differential Revision: https://reviews.llvm.org/D150095
llvm/lib/Analysis/ValueTracking.cpp
llvm/test/Analysis/ValueTracking/knownbits-div.ll