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