[llvm] [ValueTracking] Improve knownbits from conditions where `Val` is used by `and`/`or`. (PR #86059)

[Nikita Popov via llvm-commits]

https://github.com/nikic commented:

The implementation looks ok to me. I'll leave it to @dtcxzyw to decide if we really need this. Diffs don't look particularly compelling to me.

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