H1
reduce4(__m128i H1, __m128i H2, __m128i H3, __m128i H4,
H1_X1_lo = _mm_clmulepi64_si128(H1, X1, 0x00);
H1_X1_hi = _mm_clmulepi64_si128(H1, X1, 0x11);
tmp0 = _mm_shuffle_epi32(H1, 78);
tmp0 = _mm_xor_si128(tmp0, H1);
ctx->state[1] = H1;