Lines Matching defs:ftmp
753 felem ftmp, ftmp2, ftmp3, ftmp4;
758 felem_reduce(ftmp, tmp); /* 2^1 */
759 felem_mul(tmp, in, ftmp);
760 felem_reduce(ftmp, tmp); /* 2^2 - 2^0 */
761 felem_assign(ftmp2, ftmp);
762 felem_square(tmp, ftmp);
763 felem_reduce(ftmp, tmp); /* 2^3 - 2^1 */
764 felem_mul(tmp, in, ftmp);
765 felem_reduce(ftmp, tmp); /* 2^3 - 2^0 */
766 felem_square(tmp, ftmp);
767 felem_reduce(ftmp, tmp); /* 2^4 - 2^1 */
786 felem_mul(tmp, ftmp3, ftmp);
866 felem ftmp;
868 felem_assign(ftmp, in);
870 ftmp[0] += ftmp[8] >> 57;
871 ftmp[8] &= bottom57bits;
872 /* ftmp[8] < 2^57 */
873 ftmp[1] += ftmp[0] >> 58;
874 ftmp[0] &= bottom58bits;
875 ftmp[2] += ftmp[1] >> 58;
876 ftmp[1] &= bottom58bits;
877 ftmp[3] += ftmp[2] >> 58;
878 ftmp[2] &= bottom58bits;
879 ftmp[4] += ftmp[3] >> 58;
880 ftmp[3] &= bottom58bits;
881 ftmp[5] += ftmp[4] >> 58;
882 ftmp[4] &= bottom58bits;
883 ftmp[6] += ftmp[5] >> 58;
884 ftmp[5] &= bottom58bits;
885 ftmp[7] += ftmp[6] >> 58;
886 ftmp[6] &= bottom58bits;
887 ftmp[8] += ftmp[7] >> 58;
888 ftmp[7] &= bottom58bits;
889 /* ftmp[8] < 2^57 + 4 */
893 * than our bound for ftmp[8]. Therefore we only have to check if the
898 is_zero |= ftmp[0];
899 is_zero |= ftmp[1];
900 is_zero |= ftmp[2];
901 is_zero |= ftmp[3];
902 is_zero |= ftmp[4];
903 is_zero |= ftmp[5];
904 is_zero |= ftmp[6];
905 is_zero |= ftmp[7];
906 is_zero |= ftmp[8];
910 * We know that ftmp[i] < 2^63, therefore the only way that the top bit
915 is_p = ftmp[0] ^ kPrime[0];
916 is_p |= ftmp[1] ^ kPrime[1];
917 is_p |= ftmp[2] ^ kPrime[2];
918 is_p |= ftmp[3] ^ kPrime[3];
919 is_p |= ftmp[4] ^ kPrime[4];
920 is_p |= ftmp[5] ^ kPrime[5];
921 is_p |= ftmp[6] ^ kPrime[6];
922 is_p |= ftmp[7] ^ kPrime[7];
923 is_p |= ftmp[8] ^ kPrime[8];
1092 felem delta, gamma, beta, alpha, ftmp, ftmp2;
1094 felem_assign(ftmp, x_in);
1110 felem_diff64(ftmp, delta);
1111 /* ftmp[i] < 2^61 */
1116 felem_mul(tmp, ftmp, ftmp2);
1131 felem_assign(ftmp, beta);
1132 felem_scalar64(ftmp, 8);
1133 /* ftmp[i] < 2^62 + 2^17 */
1134 felem_diff_128_64(tmp, ftmp);
1141 felem_assign(ftmp, y_in);
1142 felem_sum64(ftmp, z_in);
1143 /* ftmp[i] < 2^60 + 2^15 */
1144 felem_square(tmp, ftmp);
1211 felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, ftmp6, x_out, y_out, z_out;
1219 /* ftmp = z1z1 = z1**2 */
1221 felem_reduce(ftmp, tmp);
1240 felem_diff_128_64(tmp, ftmp);
1269 felem_mul(tmp, x2, ftmp);
1283 /* ftmp = z1 * z1z1 */
1284 felem_mul(tmp, ftmp, z1);
1285 felem_reduce(ftmp, tmp);
1288 felem_mul(tmp, y2, ftmp);
1337 /* I = ftmp = (2h)**2 */
1338 felem_assign(ftmp, ftmp4);
1339 felem_scalar64(ftmp, 2);
1340 /* ftmp[i] < 2^61 */
1341 felem_square(tmp, ftmp);
1343 felem_reduce(ftmp, tmp);
1346 felem_mul(tmp, ftmp4, ftmp);
1350 felem_mul(tmp, ftmp3, ftmp);