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

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

According to the test result, I'd like to merge the remaining part of https://github.com/llvm/llvm-project/pull/86059 first.


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