Lines Matching refs:ftmp4
753 felem ftmp, ftmp2, ftmp3, ftmp4;
785 felem_assign(ftmp4, ftmp3);
787 felem_reduce(ftmp4, tmp); /* 2^8 - 2^1 */
788 felem_square(tmp, ftmp4);
789 felem_reduce(ftmp4, tmp); /* 2^9 - 2^2 */
845 felem_mul(tmp, ftmp3, ftmp4);
1211 felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, ftmp6, x_out, y_out, z_out;
1272 /* h = ftmp4 = u2 - u1 */
1275 felem_reduce(ftmp4, tmp);
1277 x_equal = felem_is_zero(ftmp4);
1280 felem_mul(tmp, ftmp5, ftmp4);
1338 felem_assign(ftmp, ftmp4);
1346 felem_mul(tmp, ftmp4, ftmp);
1349 /* V = ftmp4 = U1 * I */
1351 felem_reduce(ftmp4, tmp);
1358 felem_assign(ftmp3, ftmp4);
1359 felem_scalar64(ftmp4, 2);
1360 /* ftmp4[i] < 2^61 */
1361 felem_diff_128_64(tmp, ftmp4);