Lines Matching defs:ftmp4
695 felem ftmp, ftmp2, ftmp3, ftmp4;
727 felem_assign(ftmp4, ftmp3);
729 felem_reduce(ftmp4, tmp); /* 2^8 - 2^1 */
730 felem_square(tmp, ftmp4);
731 felem_reduce(ftmp4, tmp); /* 2^9 - 2^2 */
787 felem_mul(tmp, ftmp3, ftmp4);
1153 felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, ftmp6, x_out, y_out, z_out;
1213 /* h = ftmp4 = u2 - u1 */
1216 felem_reduce(ftmp4, tmp);
1218 x_equal = felem_is_zero(ftmp4);
1221 felem_mul(tmp, ftmp5, ftmp4);
1246 felem_assign(ftmp, ftmp4);
1254 felem_mul(tmp, ftmp4, ftmp);
1257 /* V = ftmp4 = U1 * I */
1259 felem_reduce(ftmp4, tmp);
1266 felem_assign(ftmp3, ftmp4);
1267 felem_scalar64(ftmp4, 2);
1268 /* ftmp4[i] < 2^61 */
1269 felem_diff_128_64(tmp, ftmp4);