Lines Matching refs:ftmp4
1240 felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, ftmp6, x_out, y_out, z_out;
1314 felem_reduce(ftmp4, tmp);
1316 /* h = ftmp4 = u2 - u1 */
1317 felem_diff_zero107(ftmp4, ftmp3);
1318 /* ftmp4[i] < 2^107 + 2^101 < 2^108 */
1319 felem_shrink(small4, ftmp4);
1369 felem_assign(ftmp, ftmp4);
1376 felem_mul(tmp, ftmp4, ftmp);
1379 /* V = ftmp4 = U1 * I */
1381 felem_reduce(ftmp4, tmp);
1386 felem_assign(ftmp3, ftmp4);
1387 felem_scalar(ftmp4, 2);
1388 felem_sum(ftmp4, ftmp2);
1389 /* ftmp4[i] < 2*2^101 + 2^101 < 2^103 */
1390 felem_diff(x_out, ftmp4);