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

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

> [ValueTracking] Add basic tests tracking or disjoint conditions as add; NFC
[ValueTracking] Tracking or disjoint conditions as add in Assumption/DomCondition Cache

I would like to file a separate PR for the above commits :)


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