Lines Matching refs:ftmp5
1153 felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, ftmp6, x_out, y_out, z_out;
1173 /* ftmp5 = z1 + z2 */
1174 felem_assign(ftmp5, z1);
1175 felem_sum64(ftmp5, z2);
1176 /* ftmp5[i] < 2^61 */
1178 /* ftmp5 = (z1 + z2)**2 - z1z1 - z2z2 = 2*z1z2 */
1179 felem_square(tmp, ftmp5);
1185 felem_reduce(ftmp5, tmp);
1202 /* ftmp5 = 2*z1z2 */
1203 felem_scalar(ftmp5, z1, 2);
1220 /* z_out = ftmp5 * h */
1221 felem_mul(tmp, ftmp5, ftmp4);
1232 /* r = ftmp5 = (s2 - s1)*2 */
1235 felem_reduce(ftmp5, tmp);
1236 y_equal = felem_is_zero(ftmp5);
1237 felem_scalar64(ftmp5, 2);
1238 /* ftmp5[i] < 2^61 */
1262 felem_square(tmp, ftmp5);
1278 felem_mul(tmp, ftmp5, ftmp3);