Lines Matching refs:ftmp2
728 felem ftmp, ftmp2, ftmp3, ftmp4;
741 felem_reduce(ftmp2, tmp); /* 2^4 - 2 */
742 felem_square(tmp, ftmp2);
743 felem_reduce(ftmp2, tmp); /* 2^5 - 4 */
744 felem_square(tmp, ftmp2);
745 felem_reduce(ftmp2, tmp); /* 2^6 - 8 */
746 felem_mul(tmp, ftmp2, ftmp);
749 felem_reduce(ftmp2, tmp); /* 2^7 - 2 */
751 felem_square(tmp, ftmp2);
752 felem_reduce(ftmp2, tmp);
754 felem_mul(tmp, ftmp2, ftmp);
755 felem_reduce(ftmp2, tmp); /* 2^12 - 1 */
756 felem_square(tmp, ftmp2);
762 felem_mul(tmp, ftmp3, ftmp2);
763 felem_reduce(ftmp2, tmp); /* 2^24 - 1 */
764 felem_square(tmp, ftmp2);
770 felem_mul(tmp, ftmp3, ftmp2);
786 felem_mul(tmp, ftmp2, ftmp4);
787 felem_reduce(ftmp2, tmp); /* 2^120 - 1 */
789 felem_square(tmp, ftmp2);
790 felem_reduce(ftmp2, tmp);
792 felem_mul(tmp, ftmp2, ftmp);
847 felem delta, gamma, beta, alpha, ftmp, ftmp2;
850 felem_assign(ftmp2, x_in);
867 felem_sum(ftmp2, delta);
868 /* ftmp2[i] < 2^57 + 2^57 = 2^58 */
869 felem_scalar(ftmp2, 3);
870 /* ftmp2[i] < 3 * 2^58 < 2^60 */
871 felem_mul(tmp, ftmp, ftmp2);
936 felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, x_out, y_out, z_out;
941 /* ftmp2 = z2^2 */
943 felem_reduce(ftmp2, tmp);
946 felem_mul(tmp, ftmp2, z2);
953 /* ftmp2 = z2^2*x1 */
954 felem_mul(tmp2, ftmp2, x1);
955 felem_reduce(ftmp2, tmp2);
964 /* ftmp2 = z2^2*x1 */
965 felem_assign(ftmp2, x1);
990 felem_diff_128_64(tmp, ftmp2);
1030 /* ftmp2 = z2^2*x1*(z1^2*x2 - z2^2*x1)^2 */
1031 felem_mul(tmp, ftmp2, ftmp);
1032 felem_reduce(ftmp2, tmp);
1047 felem_assign(ftmp5, ftmp2);
1059 /* ftmp2 = z2^2*x1*(z1^2*x2 - z2^2*x1)^2 - x_out */
1060 felem_diff(ftmp2, x_out);
1061 /* ftmp2[i] < 2^57 + 2^58 + 2 < 2^59 */
1066 felem_mul(tmp2, ftmp3, ftmp2);