Lines Matching defs:ftmp5
1251 felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, ftmp6, x_out, y_out, z_out;
1281 /* ftmp5 = z1 + z2 */
1282 felem_assign(ftmp5, z1);
1283 felem_small_sum(ftmp5, z2);
1284 /* ftmp5[i] < 2^107 */
1286 /* ftmp5 = (z1 + z2)**2 - (z1z1 + z2z2) = 2z1z2 */
1287 felem_square(tmp, ftmp5);
1288 felem_reduce(ftmp5, tmp);
1292 felem_diff(ftmp5, ftmp2);
1293 /* ftmp5[i] < 2^105 + 2^101 < 2^106 */
1312 /* ftmp5 = 2z1z2 */
1313 felem_assign(ftmp5, z1);
1314 felem_scalar(ftmp5, 2);
1315 /* ftmp5[i] < 2*2^106 = 2^107 */
1333 /* z_out = ftmp5 * h */
1334 felem_small_mul(tmp, small4, ftmp5);
1344 felem_reduce(ftmp5, tmp);
1346 /* r = ftmp5 = (s2 - s1)*2 */
1347 felem_diff_zero107(ftmp5, ftmp6);
1348 /* ftmp5[i] < 2^107 + 2^107 = 2^108 */
1349 felem_scalar(ftmp5, 2);
1350 /* ftmp5[i] < 2^109 */
1351 felem_shrink(small1, ftmp5);