[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?

Dropped adding dom condition w.o constant RHS.
If we don't see a compile time regression from it, whats the rationale for dropping `logicop` from assume?

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