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

[Nikita Popov via llvm-commits]

https://github.com/nikic requested changes to this pull request.

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

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