Lines Matching defs:x3
760 fe x1, x2, z2, x3, z3;
772 * also checked in Coq that doing a ladderstep with x1 = x3 = 0 gives
797 fe_copy(&x3, &x1);
805 * pos >= -1; if z2 = 0 then x2 is nonzero; if z3 = 0 then x3
809 * to_xz (r*P) === if swap then (x3, z3) else (x2, z2)
810 * to_xz ((r+1)*P) === if swap then (x2, z2) else (x3, z3)
816 fe_cswap(&x2, &x3, swap);
826 fe_sub(&tmp0l, &x3, &z3);
829 fe_add(&z2l, &x3, &z3);
840 fe_sq_tl(&x3, &x3l);
845 /* here pos=-1, so r=e, so to_xz (e*P) === if swap then (x3, z3)
848 fe_cswap(&x2, &x3, swap);
858 memzero_explicit(&x3, sizeof(x3));