[pclmulqdq]

I believe this particular line of code comes from Terje Mathisen, who is still active on the IEEE 754 standards committee today.