Lines Matching refs:x_out
839 * Outputs can equal corresponding inputs, i.e., x_out == x_in is allowed,
840 * while x_out == y_in is not (maybe this works, but it's not tested).
843 point_double(felem x_out, felem y_out, felem z_out,
883 felem_reduce(x_out, tmp);
900 felem_diff(beta, x_out);
936 felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, x_out, y_out, z_out;
1052 * x_out = (z1^3*y2 - z2^3*y1)^2 - (z1^2*x2 - z2^2*x1)^3 -
1057 felem_reduce(x_out, tmp2);
1059 /* ftmp2 = z2^2*x1*(z1^2*x2 - z2^2*x1)^2 - x_out */
1060 felem_diff(ftmp2, x_out);
1064 * tmp2 = (z1^3*y2 - z2^3*y1)*(z2^2*x1*(z1^2*x2 - z2^2*x1)^2 - x_out)
1070 * y_out = (z1^3*y2 - z2^3*y1)*(z2^2*x1*(z1^2*x2 - z2^2*x1)^2 - x_out) -
1078 * the result (x_out, y_out, z_out) is incorrect if one of the inputs is
1085 copy_conditional(x_out, x2, z1_is_zero);
1086 copy_conditional(x_out, x1, z2_is_zero);
1091 felem_assign(x3, x_out);
1134 * Output point (X, Y, Z) is stored in x_out, y_out, z_out
1136 static void batch_mul(felem x_out, felem y_out, felem z_out,
1224 felem_assign(x_out, nq[0]);
1343 felem z1, z2, x_in, y_in, x_out, y_out;
1359 felem_contract(x_out, x_in);
1361 if (!felem_to_BN(x, x_out)) {
1435 felem x_in, y_in, z_in, x_out, y_out, z_out;
1542 if ((!BN_to_felem(x_out, &p->X)) ||
1546 felem_assign(pre_comp[i][1][0], x_out);
1588 batch_mul(x_out, y_out, z_out,
1594 batch_mul(x_out, y_out, z_out,
1598 felem_contract(x_in, x_out);