[DAG] Extend the computeOverflowForSignedSub/computeOverflowForUnsignedSub implementations with ConstantRange (#67890)

- Add tests for computeOverflowFor*Sub functions
- extend the computeOverflowForSignedSub/computeOverflowForUnsignedSub
implementations with ConstantRange (#37109)

GitOrigin-RevId: 9103b1d68dd231acf53a6e86c8b6cd0bef82cbe9
3 files changed