[llvm] [ValueTracking] If overlap in unsigned and signed range is contiguous, return it (PR #144267)

[Nikita Popov via llvm-commits]

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

computeConstantRange() produces a crude and cheap approximation. We are not interested in making it more accurate at the cost of significant complexity.

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