Lines Matching defs:x_out
623 * Outputs can equal corresponding inputs, i.e., x_out == x_in is allowed,
624 * while x_out == y_in is not (maybe this works, but it's not tested). */
625 static void point_double(felem x_out, felem y_out, felem z_out,
664 felem_reduce(x_out, tmp);
681 felem_diff(beta, x_out);
712 felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, x_out, y_out, z_out;
823 /* x_out = (z1^3*y2 - z2^3*y1)^2 - (z1^2*x2 - z2^2*x1)^3 -
827 felem_reduce(x_out, tmp2);
829 /* ftmp2 = z2^2*x1*(z1^2*x2 - z2^2*x1)^2 - x_out */
830 felem_diff(ftmp2, x_out);
833 /* tmp2 = (z1^3*y2 - z2^3*y1)*(z2^2*x1*(z1^2*x2 - z2^2*x1)^2 - x_out) */
837 /* y_out = (z1^3*y2 - z2^3*y1)*(z2^2*x1*(z1^2*x2 - z2^2*x1)^2 - x_out) -
843 /* the result (x_out, y_out, z_out) is incorrect if one of the inputs is
847 copy_conditional(x_out, x2, z1_is_zero);
848 copy_conditional(x_out, x1, z2_is_zero);
853 felem_assign(x3, x_out);
891 * Output point (X, Y, Z) is stored in x_out, y_out, z_out */
892 static void batch_mul(felem x_out, felem y_out, felem z_out, const u8 *p_scalar,
970 felem_assign(x_out, nq[0]);
981 felem z1, z2, x_in, y_in, x_out, y_out;
1000 felem_contract(x_out, x_in);
1001 if (x != NULL && !felem_to_BN(x, x_out)) {
1028 felem x_in, y_in, z_in, x_out, y_out, z_out;
1067 if (!BN_to_felem(x_out, &p->X) ||
1073 felem_assign(p_pre_comp[1][0], x_out);
1108 batch_mul(x_out, y_out, z_out,
1113 felem_contract(x_in, x_out);
