[llvm] extend the computeOverflowForSignedSub/computeOverflowForUnsignedSub implementations with ConstantRange, and add tests (PR #67724)

[via llvm-commits]

elhewaty wrote:

I will create a new pull request, I think I messed up everything here.

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