Lines Matching defs:ftmp2
695 felem ftmp, ftmp2, ftmp3, ftmp4;
703 felem_assign(ftmp2, ftmp);
711 felem_square(tmp, ftmp2);
715 felem_mul(tmp, ftmp3, ftmp2);
718 felem_assign(ftmp2, ftmp3);
732 felem_mul(tmp, ftmp3, ftmp2);
734 felem_assign(ftmp2, ftmp3);
740 felem_mul(tmp, ftmp3, ftmp2);
742 felem_assign(ftmp2, ftmp3);
748 felem_mul(tmp, ftmp3, ftmp2);
750 felem_assign(ftmp2, ftmp3);
756 felem_mul(tmp, ftmp3, ftmp2);
758 felem_assign(ftmp2, ftmp3);
764 felem_mul(tmp, ftmp3, ftmp2);
766 felem_assign(ftmp2, ftmp3);
772 felem_mul(tmp, ftmp3, ftmp2);
774 felem_assign(ftmp2, ftmp3);
780 felem_mul(tmp, ftmp3, ftmp2);
1034 felem delta, gamma, beta, alpha, ftmp, ftmp2;
1037 felem_assign(ftmp2, x_in);
1054 felem_sum64(ftmp2, delta);
1055 /* ftmp2[i] < 2^60 + 2^15 */
1056 felem_scalar64(ftmp2, 3);
1057 /* ftmp2[i] < 3*2^60 + 3*2^15 */
1058 felem_mul(tmp, ftmp, ftmp2);
1153 felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, ftmp6, x_out, y_out, z_out;
1165 /* ftmp2 = z2z2 = z2**2 */
1167 felem_reduce(ftmp2, tmp);
1170 felem_mul(tmp, x1, ftmp2);
1183 felem_diff_128_64(tmp, ftmp2);
1187 /* ftmp2 = z2 * z2z2 */
1188 felem_mul(tmp, ftmp2, z2);
1189 felem_reduce(ftmp2, tmp);
1192 felem_mul(tmp, y1, ftmp2);
1253 /* J = ftmp2 = h * I */
1255 felem_reduce(ftmp2, tmp);
1264 felem_diff_128_64(tmp, ftmp2);
1280 felem_mul(tmp2, ftmp6, ftmp2);