Lines Matching defs:ftmp4
1251 felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, ftmp6, x_out, y_out, z_out;
1324 felem_reduce(ftmp4, tmp);
1326 /* h = ftmp4 = u2 - u1 */
1327 felem_diff_zero107(ftmp4, ftmp3);
1328 /* ftmp4[i] < 2^107 + 2^101 < 2^108 */
1329 felem_shrink(small4, ftmp4);
1360 felem_assign(ftmp, ftmp4);
1367 felem_mul(tmp, ftmp4, ftmp);
1370 /* V = ftmp4 = U1 * I */
1372 felem_reduce(ftmp4, tmp);
1377 felem_assign(ftmp3, ftmp4);
1378 felem_scalar(ftmp4, 2);
1379 felem_sum(ftmp4, ftmp2);
1380 /* ftmp4[i] < 2*2^101 + 2^101 < 2^103 */
1381 felem_diff(x_out, ftmp4);