[ValueTracking] computeOverflowForSignedAdd and isKnownNonNegative