#What did David do to his enemies when they cried out to Yahweh for help?

After David's enemies cried out to Yahweh for help David beat them into fine pieces like dust on the ground and pulverized them like mud in the streets. [22:42-43]