Lines Matching refs:ftmp5
936 felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, x_out, y_out, z_out;
1008 /* ftmp5 = z1*z2 */
1011 felem_reduce(ftmp5, tmp);
1014 felem_assign(ftmp5, z1);
1018 felem_mul(tmp, ftmp, ftmp5);
1022 felem_assign(ftmp5, ftmp);
1026 /* ftmp5 = (z1^2*x2 - z2^2*x1)^3 */
1027 felem_mul(tmp, ftmp, ftmp5);
1028 felem_reduce(ftmp5, tmp);
1035 felem_mul(tmp, ftmp4, ftmp5);
1043 felem_diff_128_64(tmp2, ftmp5);
1046 /* ftmp5 = 2*z2^2*x1*(z1^2*x2 - z2^2*x1)^2 */
1047 felem_assign(ftmp5, ftmp2);
1048 felem_scalar(ftmp5, 2);
1049 /* ftmp5[i] < 2 * 2^57 = 2^58 */
1055 felem_diff_128_64(tmp2, ftmp5);