Did Cristiano Ronaldo punch Diego Godin in the face?

The soccer world seems to be undecided about whether or not this was a punch. Was Cristiano Ronaldo just trying to push Diego Godin off of him during a routine corner play, or did he deliberately punch the Atlético Madrid defender in the face?