[llvm] [ValueTracking] Track `or disjoint` conditions as add in Assumption/DomCondition Cache (PR #86302)

[via llvm-commits]

goldsteinn wrote:

> > According to the test result, I'd like to merge the remaining part of #86059 first.
> 
> This one isn't really meant to be impactful, imo its just cleanup to use `addlike` instead of `add` in as many places as we can. Think there is very little risk involved.

That okay?

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