Lines Matching refs:ftmp2
523 felem ftmp, ftmp2, ftmp3, ftmp4;
535 felem_reduce(ftmp2, tmp); /* 2^4 - 2 */
536 felem_square(tmp, ftmp2);
537 felem_reduce(ftmp2, tmp); /* 2^5 - 4 */
538 felem_square(tmp, ftmp2);
539 felem_reduce(ftmp2, tmp); /* 2^6 - 8 */
540 felem_mul(tmp, ftmp2, ftmp);
543 felem_reduce(ftmp2, tmp); /* 2^7 - 2 */
545 felem_square(tmp, ftmp2);
546 felem_reduce(ftmp2, tmp);
548 felem_mul(tmp, ftmp2, ftmp);
549 felem_reduce(ftmp2, tmp); /* 2^12 - 1 */
550 felem_square(tmp, ftmp2);
556 felem_mul(tmp, ftmp3, ftmp2);
557 felem_reduce(ftmp2, tmp); /* 2^24 - 1 */
558 felem_square(tmp, ftmp2);
564 felem_mul(tmp, ftmp3, ftmp2);
580 felem_mul(tmp, ftmp2, ftmp4);
581 felem_reduce(ftmp2, tmp); /* 2^120 - 1 */
583 felem_square(tmp, ftmp2);
584 felem_reduce(ftmp2, tmp);
586 felem_mul(tmp, ftmp2, ftmp);
628 felem delta, gamma, beta, alpha, ftmp, ftmp2;
631 felem_assign(ftmp2, x_in);
648 felem_sum(ftmp2, delta);
649 /* ftmp2[i] < 2^57 + 2^57 = 2^58 */
650 felem_scalar(ftmp2, 3);
651 /* ftmp2[i] < 3 * 2^58 < 2^60 */
652 felem_mul(tmp, ftmp, ftmp2);
712 felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, x_out, y_out, z_out;
717 /* ftmp2 = z2^2 */
719 felem_reduce(ftmp2, tmp);
722 felem_mul(tmp, ftmp2, z2);
729 /* ftmp2 = z2^2*x1 */
730 felem_mul(tmp2, ftmp2, x1);
731 felem_reduce(ftmp2, tmp2);
738 /* ftmp2 = z2^2*x1 */
739 felem_assign(ftmp2, x1);
764 felem_diff_128_64(tmp, ftmp2);
802 /* ftmp2 = z2^2*x1*(z1^2*x2 - z2^2*x1)^2 */
803 felem_mul(tmp, ftmp2, ftmp);
804 felem_reduce(ftmp2, tmp);
819 felem_assign(ftmp5, ftmp2);
829 /* ftmp2 = z2^2*x1*(z1^2*x2 - z2^2*x1)^2 - x_out */
830 felem_diff(ftmp2, x_out);
831 /* ftmp2[i] < 2^57 + 2^58 + 2 < 2^59 */
834 felem_mul(tmp2, ftmp3, ftmp2);
