Lines Matching defs:ftmp3
695 felem ftmp, ftmp2, ftmp3, ftmp4;
712 felem_reduce(ftmp3, tmp); /* 2^3 - 2^1 */
713 felem_square(tmp, ftmp3);
714 felem_reduce(ftmp3, tmp); /* 2^4 - 2^2 */
715 felem_mul(tmp, ftmp3, ftmp2);
716 felem_reduce(ftmp3, tmp); /* 2^4 - 2^0 */
718 felem_assign(ftmp2, ftmp3);
719 felem_square(tmp, ftmp3);
720 felem_reduce(ftmp3, tmp); /* 2^5 - 2^1 */
721 felem_square(tmp, ftmp3);
722 felem_reduce(ftmp3, tmp); /* 2^6 - 2^2 */
723 felem_square(tmp, ftmp3);
724 felem_reduce(ftmp3, tmp); /* 2^7 - 2^3 */
725 felem_square(tmp, ftmp3);
726 felem_reduce(ftmp3, tmp); /* 2^8 - 2^4 */
727 felem_assign(ftmp4, ftmp3);
728 felem_mul(tmp, ftmp3, ftmp);
732 felem_mul(tmp, ftmp3, ftmp2);
733 felem_reduce(ftmp3, tmp); /* 2^8 - 2^0 */
734 felem_assign(ftmp2, ftmp3);
737 felem_square(tmp, ftmp3);
738 felem_reduce(ftmp3, tmp); /* 2^16 - 2^8 */
740 felem_mul(tmp, ftmp3, ftmp2);
741 felem_reduce(ftmp3, tmp); /* 2^16 - 2^0 */
742 felem_assign(ftmp2, ftmp3);
745 felem_square(tmp, ftmp3);
746 felem_reduce(ftmp3, tmp); /* 2^32 - 2^16 */
748 felem_mul(tmp, ftmp3, ftmp2);
749 felem_reduce(ftmp3, tmp); /* 2^32 - 2^0 */
750 felem_assign(ftmp2, ftmp3);
753 felem_square(tmp, ftmp3);
754 felem_reduce(ftmp3, tmp); /* 2^64 - 2^32 */
756 felem_mul(tmp, ftmp3, ftmp2);
757 felem_reduce(ftmp3, tmp); /* 2^64 - 2^0 */
758 felem_assign(ftmp2, ftmp3);
761 felem_square(tmp, ftmp3);
762 felem_reduce(ftmp3, tmp); /* 2^128 - 2^64 */
764 felem_mul(tmp, ftmp3, ftmp2);
765 felem_reduce(ftmp3, tmp); /* 2^128 - 2^0 */
766 felem_assign(ftmp2, ftmp3);
769 felem_square(tmp, ftmp3);
770 felem_reduce(ftmp3, tmp); /* 2^256 - 2^128 */
772 felem_mul(tmp, ftmp3, ftmp2);
773 felem_reduce(ftmp3, tmp); /* 2^256 - 2^0 */
774 felem_assign(ftmp2, ftmp3);
777 felem_square(tmp, ftmp3);
778 felem_reduce(ftmp3, tmp); /* 2^512 - 2^256 */
780 felem_mul(tmp, ftmp3, ftmp2);
781 felem_reduce(ftmp3, tmp); /* 2^512 - 2^0 */
784 felem_square(tmp, ftmp3);
785 felem_reduce(ftmp3, tmp); /* 2^521 - 2^9 */
787 felem_mul(tmp, ftmp3, ftmp4);
788 felem_reduce(ftmp3, tmp); /* 2^512 - 2^2 */
789 felem_mul(tmp, ftmp3, in);
1153 felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, ftmp6, x_out, y_out, z_out;
1169 /* u1 = ftmp3 = x1*z2z2 */
1171 felem_reduce(ftmp3, tmp);
1199 /* u1 = ftmp3 = x1*z2z2 */
1200 felem_assign(ftmp3, x1);
1214 felem_diff_128_64(tmp, ftmp3);
1258 felem_mul(tmp, ftmp3, ftmp);
1266 felem_assign(ftmp3, ftmp4);
1274 felem_diff64(ftmp3, x_out);
1276 * ftmp3[i] < 2^60 + 2^60 = 2^61
1278 felem_mul(tmp, ftmp5, ftmp3);