[llvm] [Analysis][ValueTracking] Unify most of the tracking between AssumptionCache and DomConditionCache (PR #83161)

[via llvm-commits]

goldsteinn wrote:

> This makes some generalizations that I am not happy with. In particular a) assumes should not recursive into logical ops and b) dom conds should require constant RHS in comparisons.

why no `logicop` for assume?

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