[llvm] [DA] Consolidate ConstantRange intersection checks into a single early pre-test (PR #187435)

[Ryotaro Kasuga via llvm-commits]

kasuga-fj wrote:

The intention of the check is effectively equivalent to the ConstantRange-based analysis. Since it is now performed before any dependence test function, I think this one should also be removed, just as you deleted the duplicated logic from each function.

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