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

[Yingwei Zheng via llvm-commits]

https://github.com/dtcxzyw approved this pull request.

LGTM except for the TODO comment.

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