Lines Matching defs:z3
628 uint64_t x1[4], x2[4], z2[4], x3[4], z3[4];
660 memcpy(z3, x2, sizeof x2);
682 f255_cswap(z2, z3, swap);
701 f255_add(c, x3, z3);
704 f255_sub(d, x3, z3);
717 f255_sub(z3, da, cb);
718 f255_mul(z3, z3, z3);
719 f255_mul(z3, x1, z3);
731 f255_cswap(z2, z3, swap);