Lines Matching defs:ftmp5
1211 felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, ftmp6, x_out, y_out, z_out;
1232 /* ftmp5 = z1 + z2 */
1233 felem_assign(ftmp5, z1);
1234 felem_sum64(ftmp5, z2);
1235 /* ftmp5[i] < 2^61 */
1237 /* ftmp5 = (z1 + z2)**2 - z1z1 - z2z2 = 2*z1z2 */
1238 felem_square(tmp, ftmp5);
1244 felem_reduce(ftmp5, tmp);
1261 /* ftmp5 = 2*z1z2 */
1262 felem_scalar(ftmp5, z1, 2);
1279 /* z_out = ftmp5 * h */
1280 felem_mul(tmp, ftmp5, ftmp4);
1291 /* r = ftmp5 = (s2 - s1)*2 */
1294 felem_reduce(ftmp5, tmp);
1295 y_equal = felem_is_zero(ftmp5);
1296 felem_scalar64(ftmp5, 2);
1297 /* ftmp5[i] < 2^61 */
1354 felem_square(tmp, ftmp5);
1370 felem_mul(tmp, ftmp5, ftmp3);