Lines Matching defs:ftmp
728 felem ftmp, ftmp2, ftmp3, ftmp4;
733 felem_reduce(ftmp, tmp); /* 2 */
734 felem_mul(tmp, in, ftmp);
735 felem_reduce(ftmp, tmp); /* 2^2 - 1 */
736 felem_square(tmp, ftmp);
737 felem_reduce(ftmp, tmp); /* 2^3 - 2 */
738 felem_mul(tmp, in, ftmp);
739 felem_reduce(ftmp, tmp); /* 2^3 - 1 */
740 felem_square(tmp, ftmp);
746 felem_mul(tmp, ftmp2, ftmp);
747 felem_reduce(ftmp, tmp); /* 2^6 - 1 */
748 felem_square(tmp, ftmp);
754 felem_mul(tmp, ftmp2, ftmp);
792 felem_mul(tmp, ftmp2, ftmp);
793 felem_reduce(ftmp, tmp); /* 2^126 - 1 */
794 felem_square(tmp, ftmp);
795 felem_reduce(ftmp, tmp); /* 2^127 - 2 */
796 felem_mul(tmp, ftmp, in);
797 felem_reduce(ftmp, tmp); /* 2^127 - 1 */
799 felem_square(tmp, ftmp);
800 felem_reduce(ftmp, tmp);
802 felem_mul(tmp, ftmp, ftmp3);
847 felem delta, gamma, beta, alpha, ftmp, ftmp2;
849 felem_assign(ftmp, x_in);
865 felem_diff(ftmp, delta);
866 /* ftmp[i] < 2^57 + 2^58 + 2 < 2^59 */
871 felem_mul(tmp, ftmp, ftmp2);
878 felem_assign(ftmp, beta);
879 felem_scalar(ftmp, 8);
880 /* ftmp[i] < 8 * 2^57 = 2^60 */
881 felem_diff_128_64(tmp, ftmp);
888 felem_assign(ftmp, y_in);
889 felem_sum(ftmp, z_in);
890 /* ftmp[i] < 2^57 + 2^57 = 2^58 */
891 felem_square(tmp, ftmp);
936 felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, x_out, y_out, z_out;
968 /* ftmp = z1^2 */
970 felem_reduce(ftmp, tmp);
973 felem_mul(tmp, ftmp, z1);
986 felem_mul(tmp, ftmp, x2);
989 /* ftmp = z1^2*x2 - z2^2*x1 */
992 felem_reduce(ftmp, tmp);
998 x_equal = felem_is_zero(ftmp);
1018 felem_mul(tmp, ftmp, ftmp5);
1021 /* ftmp = (z1^2*x2 - z2^2*x1)^2 */
1022 felem_assign(ftmp5, ftmp);
1023 felem_square(tmp, ftmp);
1024 felem_reduce(ftmp, tmp);
1027 felem_mul(tmp, ftmp, ftmp5);
1031 felem_mul(tmp, ftmp2, ftmp);