Lines Matching defs:ftmp
695 felem ftmp, ftmp2, ftmp3, ftmp4;
700 felem_reduce(ftmp, tmp); /* 2^1 */
701 felem_mul(tmp, in, ftmp);
702 felem_reduce(ftmp, tmp); /* 2^2 - 2^0 */
703 felem_assign(ftmp2, ftmp);
704 felem_square(tmp, ftmp);
705 felem_reduce(ftmp, tmp); /* 2^3 - 2^1 */
706 felem_mul(tmp, in, ftmp);
707 felem_reduce(ftmp, tmp); /* 2^3 - 2^0 */
708 felem_square(tmp, ftmp);
709 felem_reduce(ftmp, tmp); /* 2^4 - 2^1 */
728 felem_mul(tmp, ftmp3, ftmp);
808 felem ftmp;
810 felem_assign(ftmp, in);
812 ftmp[0] += ftmp[8] >> 57;
813 ftmp[8] &= bottom57bits;
814 /* ftmp[8] < 2^57 */
815 ftmp[1] += ftmp[0] >> 58;
816 ftmp[0] &= bottom58bits;
817 ftmp[2] += ftmp[1] >> 58;
818 ftmp[1] &= bottom58bits;
819 ftmp[3] += ftmp[2] >> 58;
820 ftmp[2] &= bottom58bits;
821 ftmp[4] += ftmp[3] >> 58;
822 ftmp[3] &= bottom58bits;
823 ftmp[5] += ftmp[4] >> 58;
824 ftmp[4] &= bottom58bits;
825 ftmp[6] += ftmp[5] >> 58;
826 ftmp[5] &= bottom58bits;
827 ftmp[7] += ftmp[6] >> 58;
828 ftmp[6] &= bottom58bits;
829 ftmp[8] += ftmp[7] >> 58;
830 ftmp[7] &= bottom58bits;
831 /* ftmp[8] < 2^57 + 4 */
835 * than our bound for ftmp[8]. Therefore we only have to check if the
840 is_zero |= ftmp[0];
841 is_zero |= ftmp[1];
842 is_zero |= ftmp[2];
843 is_zero |= ftmp[3];
844 is_zero |= ftmp[4];
845 is_zero |= ftmp[5];
846 is_zero |= ftmp[6];
847 is_zero |= ftmp[7];
848 is_zero |= ftmp[8];
852 * We know that ftmp[i] < 2^63, therefore the only way that the top bit
857 is_p = ftmp[0] ^ kPrime[0];
858 is_p |= ftmp[1] ^ kPrime[1];
859 is_p |= ftmp[2] ^ kPrime[2];
860 is_p |= ftmp[3] ^ kPrime[3];
861 is_p |= ftmp[4] ^ kPrime[4];
862 is_p |= ftmp[5] ^ kPrime[5];
863 is_p |= ftmp[6] ^ kPrime[6];
864 is_p |= ftmp[7] ^ kPrime[7];
865 is_p |= ftmp[8] ^ kPrime[8];
1034 felem delta, gamma, beta, alpha, ftmp, ftmp2;
1036 felem_assign(ftmp, x_in);
1052 felem_diff64(ftmp, delta);
1053 /* ftmp[i] < 2^61 */
1058 felem_mul(tmp, ftmp, ftmp2);
1073 felem_assign(ftmp, beta);
1074 felem_scalar64(ftmp, 8);
1075 /* ftmp[i] < 2^62 + 2^17 */
1076 felem_diff_128_64(tmp, ftmp);
1083 felem_assign(ftmp, y_in);
1084 felem_sum64(ftmp, z_in);
1085 /* ftmp[i] < 2^60 + 2^15 */
1086 felem_square(tmp, ftmp);
1153 felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, ftmp6, x_out, y_out, z_out;
1160 /* ftmp = z1z1 = z1**2 */
1162 felem_reduce(ftmp, tmp);
1181 felem_diff_128_64(tmp, ftmp);
1210 felem_mul(tmp, x2, ftmp);
1224 /* ftmp = z1 * z1z1 */
1225 felem_mul(tmp, ftmp, z1);
1226 felem_reduce(ftmp, tmp);
1229 felem_mul(tmp, y2, ftmp);
1245 /* I = ftmp = (2h)**2 */
1246 felem_assign(ftmp, ftmp4);
1247 felem_scalar64(ftmp, 2);
1248 /* ftmp[i] < 2^61 */
1249 felem_square(tmp, ftmp);
1251 felem_reduce(ftmp, tmp);
1254 felem_mul(tmp, ftmp4, ftmp);
1258 felem_mul(tmp, ftmp3, ftmp);