[llvm] [KnownBitsTest] Common up isCorrect and isOptimal. NFC. (PR #89585)

[Paul Kirth via llvm-commits]

ilovepi wrote:

Actually, looking at your patch, I'm not sure how this is causing an assertion failure. Still, can you take a look?

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