Lines Matching refs:ftmp2
704 felem ftmp, ftmp2, ftmp3, ftmp4;
717 felem_reduce(ftmp2, tmp); /* 2^4 - 2 */
718 felem_square(tmp, ftmp2);
719 felem_reduce(ftmp2, tmp); /* 2^5 - 4 */
720 felem_square(tmp, ftmp2);
721 felem_reduce(ftmp2, tmp); /* 2^6 - 8 */
722 felem_mul(tmp, ftmp2, ftmp);
725 felem_reduce(ftmp2, tmp); /* 2^7 - 2 */
727 felem_square(tmp, ftmp2);
728 felem_reduce(ftmp2, tmp);
730 felem_mul(tmp, ftmp2, ftmp);
731 felem_reduce(ftmp2, tmp); /* 2^12 - 1 */
732 felem_square(tmp, ftmp2);
738 felem_mul(tmp, ftmp3, ftmp2);
739 felem_reduce(ftmp2, tmp); /* 2^24 - 1 */
740 felem_square(tmp, ftmp2);
746 felem_mul(tmp, ftmp3, ftmp2);
762 felem_mul(tmp, ftmp2, ftmp4);
763 felem_reduce(ftmp2, tmp); /* 2^120 - 1 */
765 felem_square(tmp, ftmp2);
766 felem_reduce(ftmp2, tmp);
768 felem_mul(tmp, ftmp2, ftmp);
823 felem delta, gamma, beta, alpha, ftmp, ftmp2;
826 felem_assign(ftmp2, x_in);
843 felem_sum(ftmp2, delta);
844 /* ftmp2[i] < 2^57 + 2^57 = 2^58 */
845 felem_scalar(ftmp2, 3);
846 /* ftmp2[i] < 3 * 2^58 < 2^60 */
847 felem_mul(tmp, ftmp, ftmp2);
912 felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, x_out, y_out, z_out;
918 /* ftmp2 = z2^2 */
920 felem_reduce(ftmp2, tmp);
923 felem_mul(tmp, ftmp2, z2);
930 /* ftmp2 = z2^2*x1 */
931 felem_mul(tmp2, ftmp2, x1);
932 felem_reduce(ftmp2, tmp2);
941 /* ftmp2 = z2^2*x1 */
942 felem_assign(ftmp2, x1);
967 felem_diff_128_64(tmp, ftmp2);
1033 /* ftmp2 = z2^2*x1*(z1^2*x2 - z2^2*x1)^2 */
1034 felem_mul(tmp, ftmp2, ftmp);
1035 felem_reduce(ftmp2, tmp);
1050 felem_assign(ftmp5, ftmp2);
1062 /* ftmp2 = z2^2*x1*(z1^2*x2 - z2^2*x1)^2 - x_out */
1063 felem_diff(ftmp2, x_out);
1064 /* ftmp2[i] < 2^57 + 2^58 + 2 < 2^59 */
1069 felem_mul(tmp2, ftmp3, ftmp2);