Lines Matching refs:ftmp2
984 felem ftmp, ftmp2;
1040 felem_reduce(ftmp2, tmp); /* 2^64 - 2^0 */
1042 felem_square(tmp, ftmp2);
1043 felem_reduce(ftmp2, tmp);
1045 felem_mul(tmp, ftmp2, e16);
1046 felem_reduce(ftmp2, tmp); /* 2^80 - 2^0 */
1048 felem_square(tmp, ftmp2);
1049 felem_reduce(ftmp2, tmp);
1051 felem_mul(tmp, ftmp2, e8);
1052 felem_reduce(ftmp2, tmp); /* 2^88 - 2^0 */
1054 felem_square(tmp, ftmp2);
1055 felem_reduce(ftmp2, tmp);
1057 felem_mul(tmp, ftmp2, e4);
1058 felem_reduce(ftmp2, tmp); /* 2^92 - 2^0 */
1059 felem_square(tmp, ftmp2);
1060 felem_reduce(ftmp2, tmp); /* 2^93 - 2^1 */
1061 felem_square(tmp, ftmp2);
1062 felem_reduce(ftmp2, tmp); /* 2^94 - 2^2 */
1063 felem_mul(tmp, ftmp2, e2);
1064 felem_reduce(ftmp2, tmp); /* 2^94 - 2^0 */
1065 felem_square(tmp, ftmp2);
1066 felem_reduce(ftmp2, tmp); /* 2^95 - 2^1 */
1067 felem_square(tmp, ftmp2);
1068 felem_reduce(ftmp2, tmp); /* 2^96 - 2^2 */
1069 felem_mul(tmp, ftmp2, in);
1070 felem_reduce(ftmp2, tmp); /* 2^96 - 3 */
1072 felem_mul(tmp, ftmp2, ftmp);
1108 felem delta, gamma, beta, alpha, ftmp, ftmp2;
1113 felem_assign(ftmp2, x_in);
1114 /* ftmp2[i] < 2^106 */
1135 felem_sum(ftmp2, delta);
1136 /* ftmp2[i] < 2^105 + 2^106 < 2^107 */
1137 felem_scalar(ftmp2, 3);
1138 /* ftmp2[i] < 3 * 2^107 < 2^109 */
1139 felem_mul(tmp, ftmp, ftmp2);
1240 felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, ftmp6, x_out, y_out, z_out;
1258 /* ftmp2 = z2z2 = z2**2 */
1260 felem_reduce(ftmp2, tmp);
1261 /* ftmp2[i] < 2^101 */
1262 felem_shrink(small2, ftmp2);
1279 /* ftmp2 = z2z2 + z1z1 */
1280 felem_sum(ftmp2, ftmp);
1281 /* ftmp2[i] < 2^101 + 2^101 = 2^102 */
1282 felem_diff(ftmp5, ftmp2);
1285 /* ftmp2 = z2 * z2z2 */
1287 felem_reduce(ftmp2, tmp);
1289 /* s1 = ftmp2 = y1 * z2**3 */
1290 felem_mul(tmp, y1, ftmp2);
1307 /* s1 = ftmp2 = y1 * z2**3 */
1375 /* J = ftmp2 = h * I */
1377 felem_reduce(ftmp2, tmp);
1388 felem_sum(ftmp4, ftmp2);
1397 felem_mul(tmp2, ftmp6, ftmp2);