[llvm] [KnownBits] Implement knownbits lshr/ashr with exact flag (PR #84254)

[Jay Foad via llvm-commits]

================
@@ -320,6 +320,22 @@ TEST(KnownBitsTest, AbsDiffSpecialCase) {
   EXPECT_EQ(0b0000ul, Res.Zero.getZExtValue());
 }
 
+TEST(KnownBitsTest, ShrExactSpecialCase) {
----------------
jayfoad wrote:

I don't understand what this special case is - why isn't it covered by the exhaustive testing below?

https://github.com/llvm/llvm-project/pull/84254