Lines Matching defs:ftmp5
912 felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, x_out, y_out, z_out;
1011 /* ftmp5 = z1*z2 */
1014 felem_reduce(ftmp5, tmp);
1017 felem_assign(ftmp5, z1);
1021 felem_mul(tmp, ftmp, ftmp5);
1025 felem_assign(ftmp5, ftmp);
1029 /* ftmp5 = (z1^2*x2 - z2^2*x1)^3 */
1030 felem_mul(tmp, ftmp, ftmp5);
1031 felem_reduce(ftmp5, tmp);
1038 felem_mul(tmp, ftmp4, ftmp5);
1046 felem_diff_128_64(tmp2, ftmp5);
1049 /* ftmp5 = 2*z2^2*x1*(z1^2*x2 - z2^2*x1)^2 */
1050 felem_assign(ftmp5, ftmp2);
1051 felem_scalar(ftmp5, 2);
1052 /* ftmp5[i] < 2 * 2^57 = 2^58 */
1058 felem_diff_128_64(tmp2, ftmp5);