Lines Matching defs:x3
380 uint64_t x1[5], x2[5], z2[5], x3[5], z3[5];
413 memcpy(x3, x1, sizeof x1);
435 f255_cswap(x2, x3, swap);
466 f255_add(c, x3, z3);
469 f255_sub(d, x3, z3);
478 f255_add(x3, da, cb);
479 f255_mul(x3, x3, x3);
495 f255_cswap(x2, x3, swap);
500 * most non-squarings. We use x1 and x3, now useless, as temporaries.
507 memcpy(x3, x1, sizeof x1);
512 f255_mul(x3, x3, x3);
514 f255_mul(x3, x3, x1);
517 f255_mul(x3, x3, x3);
519 f255_mul(x3, z2, x3);
524 * Compute x2/z2. We have 1/z2 in x3.
526 f255_mul(x2, x2, x3);