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

[via llvm-commits]

goldsteinn 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 :)

Done, see: https://github.com/llvm/llvm-project/pull/86302

Once that gets in ill rebase this one (merge conflicts otherwise).

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