Lines Matching defs:ftmp
704 felem ftmp, ftmp2, ftmp3, ftmp4;
709 felem_reduce(ftmp, tmp); /* 2 */
710 felem_mul(tmp, in, ftmp);
711 felem_reduce(ftmp, tmp); /* 2^2 - 1 */
712 felem_square(tmp, ftmp);
713 felem_reduce(ftmp, tmp); /* 2^3 - 2 */
714 felem_mul(tmp, in, ftmp);
715 felem_reduce(ftmp, tmp); /* 2^3 - 1 */
716 felem_square(tmp, ftmp);
722 felem_mul(tmp, ftmp2, ftmp);
723 felem_reduce(ftmp, tmp); /* 2^6 - 1 */
724 felem_square(tmp, ftmp);
730 felem_mul(tmp, ftmp2, ftmp);
768 felem_mul(tmp, ftmp2, ftmp);
769 felem_reduce(ftmp, tmp); /* 2^126 - 1 */
770 felem_square(tmp, ftmp);
771 felem_reduce(ftmp, tmp); /* 2^127 - 2 */
772 felem_mul(tmp, ftmp, in);
773 felem_reduce(ftmp, tmp); /* 2^127 - 1 */
775 felem_square(tmp, ftmp);
776 felem_reduce(ftmp, tmp);
778 felem_mul(tmp, ftmp, ftmp3);
823 felem delta, gamma, beta, alpha, ftmp, ftmp2;
825 felem_assign(ftmp, x_in);
841 felem_diff(ftmp, delta);
842 /* ftmp[i] < 2^57 + 2^58 + 2 < 2^59 */
847 felem_mul(tmp, ftmp, ftmp2);
854 felem_assign(ftmp, beta);
855 felem_scalar(ftmp, 8);
856 /* ftmp[i] < 8 * 2^57 = 2^60 */
857 felem_diff_128_64(tmp, ftmp);
864 felem_assign(ftmp, y_in);
865 felem_sum(ftmp, z_in);
866 /* ftmp[i] < 2^57 + 2^57 = 2^58 */
867 felem_square(tmp, ftmp);
912 felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, x_out, y_out, z_out;
945 /* ftmp = z1^2 */
947 felem_reduce(ftmp, tmp);
950 felem_mul(tmp, ftmp, z1);
963 felem_mul(tmp, ftmp, x2);
966 /* ftmp = z1^2*x2 - z2^2*x1 */
969 felem_reduce(ftmp, tmp);
979 x_equal = felem_is_zero(ftmp);
1021 felem_mul(tmp, ftmp, ftmp5);
1024 /* ftmp = (z1^2*x2 - z2^2*x1)^2 */
1025 felem_assign(ftmp5, ftmp);
1026 felem_square(tmp, ftmp);
1027 felem_reduce(ftmp, tmp);
1030 felem_mul(tmp, ftmp, ftmp5);
1034 felem_mul(tmp, ftmp2, ftmp);