q4
digit q1, q2, q3, q4;
q4 = (digit)(rbj / t);
tmp.ul[L] = COMBINE(q3, q4);
q = q0+y*(q1+y*(q2+y*(q3+y*(q4+y*(q5+y*q6)))));
uint64_t q0, q1, q2, q3, q4, q5, q6, q7;
q4 = q[4];
r4 = (q4 >> 16) | (q4 << 48);
q[4] = q1 ^ q2 ^ q3 ^ q5 ^ r1 ^ r3 ^ r4 ^ r5 ^ r6 ^ r7 ^ rotr32(q1 ^ q2 ^ q4 ^ q5 ^ q7 ^ r1 ^ r4 ^ r5 ^ r6);
q[5] = q2 ^ q3 ^ q4 ^ q6 ^ r2 ^ r4 ^ r5 ^ r6 ^ r7 ^ rotr32(q2 ^ q3 ^ q5 ^ q6 ^ r2 ^ r5 ^ r6 ^ r7);
q[6] = q3 ^ q4 ^ q5 ^ q7 ^ r3 ^ r5 ^ r6 ^ r7 ^ rotr32(q3 ^ q4 ^ q6 ^ q7 ^ r3 ^ r6 ^ r7);
q[7] = q4 ^ q5 ^ q6 ^ r4 ^ r6 ^ r7 ^ rotr32(q4 ^ q5 ^ q7 ^ r4 ^ r7);
uint64_t q0, q1, q2, q3, q4, q5, q6, q7;
q4 = q[4];
q[7] = q1 ^ q4 ^ q6;
q[5] = q7 ^ q2 ^ q4;
q[2] = q4 ^ q7 ^ q1;
q4 = q[4];
q[7] = q1 ^ q4 ^ q6;
q[5] = q7 ^ q2 ^ q4;
q[2] = q4 ^ q7 ^ q1;
q[5] = q4 ^ r4 ^ r5 ^ rotr32(q5 ^ r5);
uint64_t q0, q1, q2, q3, q4, q5, q6, q7;
q4 = q[4];
r4 = (q4 >> 16) | (q4 << 48);
q[4] = q3 ^ r3 ^ q7 ^ r7 ^ r4 ^ rotr32(q4 ^ r4);
uint32_t q0, q1, q2, q3, q4, q5, q6, q7;
q4 = q[4];
r4 = (q4 >> 8) | (q4 << 24);
q[4] = q1 ^ q2 ^ q3 ^ q5 ^ r1 ^ r3 ^ r4 ^ r5 ^ r6 ^ r7 ^ rotr16(q1 ^ q2 ^ q4 ^ q5 ^ q7 ^ r1 ^ r4 ^ r5 ^ r6);
q[5] = q2 ^ q3 ^ q4 ^ q6 ^ r2 ^ r4 ^ r5 ^ r6 ^ r7 ^ rotr16(q2 ^ q3 ^ q5 ^ q6 ^ r2 ^ r5 ^ r6 ^ r7);
q[6] = q3 ^ q4 ^ q5 ^ q7 ^ r3 ^ r5 ^ r6 ^ r7 ^ rotr16(q3 ^ q4 ^ q6 ^ q7 ^ r3 ^ r6 ^ r7);
q[7] = q4 ^ q5 ^ q6 ^ r4 ^ r6 ^ r7 ^ rotr16(q4 ^ q5 ^ q7 ^ r4 ^ r7);
uint32_t q0, q1, q2, q3, q4, q5, q6, q7;
q4 = q[4];
q[7] = q1 ^ q4 ^ q6;
q[5] = q7 ^ q2 ^ q4;
q[2] = q4 ^ q7 ^ q1;
q4 = q[4];
q[7] = q1 ^ q4 ^ q6;
q[5] = q7 ^ q2 ^ q4;
q[2] = q4 ^ q7 ^ q1;
uint32_t q0, q1, q2, q3, q4, q5, q6, q7;
q4 = q[4];
r4 = (q4 >> 8) | (q4 << 24);
q[4] = q3 ^ r3 ^ q7 ^ r7 ^ r4 ^ rotr16(q4 ^ r4);
q[5] = q4 ^ r4 ^ r5 ^ rotr16(q5 ^ r5);
__m128i q0, q1, q2, q3, q4, q5, q6, q7;
q4 = q[4];
r4 = _mm_srli_epi32(q4, 8) | _mm_slli_epi32(q4, 24);
q[4] = q1 ^ q2 ^ q3 ^ q5 ^ r1 ^ r3 ^ r4 ^ r5 ^ r6 ^ r7 ^ rotr16(q1 ^ q2 ^ q4 ^ q5 ^ q7 ^ r1 ^ r4 ^ r5 ^ r6);
q[5] = q2 ^ q3 ^ q4 ^ q6 ^ r2 ^ r4 ^ r5 ^ r6 ^ r7 ^ rotr16(q2 ^ q3 ^ q5 ^ q6 ^ r2 ^ r5 ^ r6 ^ r7);
q[6] = q3 ^ q4 ^ q5 ^ q7 ^ r3 ^ r5 ^ r6 ^ r7 ^ rotr16(q3 ^ q4 ^ q6 ^ q7 ^ r3 ^ r6 ^ r7);
q[7] = q4 ^ q5 ^ q6 ^ r4 ^ r6 ^ r7 ^ rotr16(q4 ^ q5 ^ q7 ^ r4 ^ r7);
__m128i q0, q1, q2, q3, q4, q5, q6, q7;
q4 = q[4];
q[7] = q1 ^ q4 ^ q6;
q[5] = q7 ^ q2 ^ q4;
q[2] = q4 ^ q7 ^ q1;
q4 = q[4];
q[7] = q1 ^ q4 ^ q6;
q[5] = q7 ^ q2 ^ q4;
q[2] = q4 ^ q7 ^ q1;
r4 = _mm_srli_epi32(q4, 8) | _mm_slli_epi32(q4, 24);
q[4] = q3 ^ r3 ^ q7 ^ r7 ^ r4 ^ rotr16(q4 ^ r4);
q[5] = q4 ^ r4 ^ r5 ^ rotr16(q5 ^ r5);
__m128i q0, q1, q2, q3, q4, q5, q6, q7;
q4 = q[4];