Lines Matching refs:ftmp5
756 felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, x_out, y_out, z_out;
824 /* ftmp5 = z1*z2 */
827 felem_reduce(ftmp5, tmp);
830 felem_assign(ftmp5, z1);
834 felem_mul(tmp, ftmp, ftmp5);
838 felem_assign(ftmp5, ftmp);
842 /* ftmp5 = (z1^2*x2 - z2^2*x1)^3 */
843 felem_mul(tmp, ftmp, ftmp5);
844 felem_reduce(ftmp5, tmp);
851 felem_mul(tmp, ftmp4, ftmp5);
859 felem_diff_128_64(tmp2, ftmp5);
862 /* ftmp5 = 2*z2^2*x1*(z1^2*x2 - z2^2*x1)^2 */
863 felem_assign(ftmp5, ftmp2);
864 felem_scalar(ftmp5, 2);
865 /* ftmp5[i] < 2 * 2^57 = 2^58 */
869 felem_diff_128_64(tmp2, ftmp5);
