_m_punpckhwd(__m64 a, __m64 b);
DEFINE INTERLEAVE_HIGH_WORDS(src1[63:0], src2[63:0]) { dst[15:0] := src1[47:32] dst[31:16] := src2[47:32] dst[47:32] := src1[63:48] dst[63:48] := src2[63:48] RETURN dst[63:0] } dst[63:0] := INTERLEAVE_HIGH_WORDS(a[63:0], b[63:0])