Lines Matching defs:x3
628 uint64_t x1[4], x2[4], z2[4], x3[4], z3[4];
659 memcpy(x3, x1, sizeof x1);
681 f255_cswap(x2, x3, swap);
701 f255_add(c, x3, z3);
704 f255_sub(d, x3, z3);
713 f255_add(x3, da, cb);
714 f255_mul(x3, x3, x3);
730 f255_cswap(x2, x3, swap);
735 * most non-squarings. We use x1 and x3, now useless, as temporaries.
742 memcpy(x3, x1, sizeof x1);
747 f255_mul(x3, x3, x3);
749 f255_mul(x3, x3, x1);
752 f255_mul(x3, x3, x3);
754 f255_mul(x3, z2, x3);
759 * Compute x2/z2. We have 1/z2 in x3.
761 f255_mul(x2, x2, x3);