Lines Matching defs:x2
380 uint64_t x1[5], x2[5], z2[5], x3[5], z3[5];
410 memset(x2, 0, sizeof x2);
411 x2[0] = 1;
414 memcpy(z3, x2, sizeof x2);
435 f255_cswap(x2, x3, swap);
451 f255_add(a, x2, z2);
457 f255_sub(b, x2, z2);
487 f255_mul(x2, aa, bb);
495 f255_cswap(x2, x3, swap);
524 * Compute x2/z2. We have 1/z2 in x3.
526 f255_mul(x2, x2, x3);
527 f255_final_reduce(x2);
530 * Encode the final x2 value in little-endian. We first assemble
533 x2[0] |= x2[1] << 51;
534 x2[1] = (x2[1] >> 13) | (x2[2] << 38);
535 x2[2] = (x2[2] >> 26) | (x2[3] << 25);
536 x2[3] = (x2[3] >> 39) | (x2[4] << 12);
537 br_enc64le(G, x2[0]);
538 br_enc64le(G + 8, x2[1]);
539 br_enc64le(G + 16, x2[2]);
540 br_enc64le(G + 24, x2[3]);