vpclmullqhqdq xmm1,xmm2,xmm3
vpclmulhqhqdq xmm1,xmm2,xmm3

Where are they defined? The AVX documentation I've been using only defines VPCLMULLQLQDQ, VPCLMULHQLQDQ, VPCLMULLQHDQ and VPCLMULHQHDQ.

I found it in nasm documentation and in AMD 26568.PDF Rev. 3.14 December 2011 page 273

I see, so it's an AMD variant of PCLMULHQHDQ and PCLMULHQHDQ. I wonder if they intentionally changed it (perhaps wanting it to be more consistent), or made a mistake when copying from Intel?

Since Intel was the one who designed AVX, I will for now stay with Intel's nomenclature - until we settle where this inconsistency comes from.