Lines Matching refs:ftmp2
809 felem ftmp, ftmp2;
864 felem_reduce(ftmp2, tmp); /* 2^64 - 2^0 */
866 felem_square(tmp, ftmp2);
867 felem_reduce(ftmp2, tmp);
869 felem_mul(tmp, ftmp2, e16);
870 felem_reduce(ftmp2, tmp); /* 2^80 - 2^0 */
872 felem_square(tmp, ftmp2);
873 felem_reduce(ftmp2, tmp);
875 felem_mul(tmp, ftmp2, e8);
876 felem_reduce(ftmp2, tmp); /* 2^88 - 2^0 */
878 felem_square(tmp, ftmp2);
879 felem_reduce(ftmp2, tmp);
881 felem_mul(tmp, ftmp2, e4);
882 felem_reduce(ftmp2, tmp); /* 2^92 - 2^0 */
883 felem_square(tmp, ftmp2);
884 felem_reduce(ftmp2, tmp); /* 2^93 - 2^1 */
885 felem_square(tmp, ftmp2);
886 felem_reduce(ftmp2, tmp); /* 2^94 - 2^2 */
887 felem_mul(tmp, ftmp2, e2);
888 felem_reduce(ftmp2, tmp); /* 2^94 - 2^0 */
889 felem_square(tmp, ftmp2);
890 felem_reduce(ftmp2, tmp); /* 2^95 - 2^1 */
891 felem_square(tmp, ftmp2);
892 felem_reduce(ftmp2, tmp); /* 2^96 - 2^2 */
893 felem_mul(tmp, ftmp2, in);
894 felem_reduce(ftmp2, tmp); /* 2^96 - 3 */
896 felem_mul(tmp, ftmp2, ftmp);
917 felem delta, gamma, beta, alpha, ftmp, ftmp2;
922 felem_assign(ftmp2, x_in);
923 /* ftmp2[i] < 2^106 */
944 felem_sum(ftmp2, delta);
945 /* ftmp2[i] < 2^105 + 2^106 < 2^107 */
946 felem_scalar(ftmp2, 3);
947 /* ftmp2[i] < 3 * 2^107 < 2^109 */
948 felem_mul(tmp, ftmp, ftmp2);
1038 felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, ftmp6, x_out, y_out, z_out;
1055 /* ftmp2 = z2z2 = z2**2 */
1057 felem_reduce(ftmp2, tmp);
1058 /* ftmp2[i] < 2^101 */
1059 felem_shrink(small2, ftmp2);
1076 /* ftmp2 = z2z2 + z1z1 */
1077 felem_sum(ftmp2, ftmp);
1078 /* ftmp2[i] < 2^101 + 2^101 = 2^102 */
1079 felem_diff(ftmp5, ftmp2);
1082 /* ftmp2 = z2 * z2z2 */
1084 felem_reduce(ftmp2, tmp);
1086 /* s1 = ftmp2 = y1 * z2**3 */
1087 felem_mul(tmp, y1, ftmp2);
1102 /* s1 = ftmp2 = y1 * z2**3 */
1151 /* J = ftmp2 = h * I */
1153 ftmp2, tmp);
1164 felem_sum(ftmp4, ftmp2);
1173 felem_mul(tmp2, ftmp6, ftmp2);
