Lines Matching defs:ftmp3
753 felem ftmp, ftmp2, ftmp3, ftmp4;
770 felem_reduce(ftmp3, tmp); /* 2^3 - 2^1 */
771 felem_square(tmp, ftmp3);
772 felem_reduce(ftmp3, tmp); /* 2^4 - 2^2 */
773 felem_mul(tmp, ftmp3, ftmp2);
774 felem_reduce(ftmp3, tmp); /* 2^4 - 2^0 */
776 felem_assign(ftmp2, ftmp3);
777 felem_square(tmp, ftmp3);
778 felem_reduce(ftmp3, tmp); /* 2^5 - 2^1 */
779 felem_square(tmp, ftmp3);
780 felem_reduce(ftmp3, tmp); /* 2^6 - 2^2 */
781 felem_square(tmp, ftmp3);
782 felem_reduce(ftmp3, tmp); /* 2^7 - 2^3 */
783 felem_square(tmp, ftmp3);
784 felem_reduce(ftmp3, tmp); /* 2^8 - 2^4 */
785 felem_assign(ftmp4, ftmp3);
786 felem_mul(tmp, ftmp3, ftmp);
790 felem_mul(tmp, ftmp3, ftmp2);
791 felem_reduce(ftmp3, tmp); /* 2^8 - 2^0 */
792 felem_assign(ftmp2, ftmp3);
795 felem_square(tmp, ftmp3);
796 felem_reduce(ftmp3, tmp); /* 2^16 - 2^8 */
798 felem_mul(tmp, ftmp3, ftmp2);
799 felem_reduce(ftmp3, tmp); /* 2^16 - 2^0 */
800 felem_assign(ftmp2, ftmp3);
803 felem_square(tmp, ftmp3);
804 felem_reduce(ftmp3, tmp); /* 2^32 - 2^16 */
806 felem_mul(tmp, ftmp3, ftmp2);
807 felem_reduce(ftmp3, tmp); /* 2^32 - 2^0 */
808 felem_assign(ftmp2, ftmp3);
811 felem_square(tmp, ftmp3);
812 felem_reduce(ftmp3, tmp); /* 2^64 - 2^32 */
814 felem_mul(tmp, ftmp3, ftmp2);
815 felem_reduce(ftmp3, tmp); /* 2^64 - 2^0 */
816 felem_assign(ftmp2, ftmp3);
819 felem_square(tmp, ftmp3);
820 felem_reduce(ftmp3, tmp); /* 2^128 - 2^64 */
822 felem_mul(tmp, ftmp3, ftmp2);
823 felem_reduce(ftmp3, tmp); /* 2^128 - 2^0 */
824 felem_assign(ftmp2, ftmp3);
827 felem_square(tmp, ftmp3);
828 felem_reduce(ftmp3, tmp); /* 2^256 - 2^128 */
830 felem_mul(tmp, ftmp3, ftmp2);
831 felem_reduce(ftmp3, tmp); /* 2^256 - 2^0 */
832 felem_assign(ftmp2, ftmp3);
835 felem_square(tmp, ftmp3);
836 felem_reduce(ftmp3, tmp); /* 2^512 - 2^256 */
838 felem_mul(tmp, ftmp3, ftmp2);
839 felem_reduce(ftmp3, tmp); /* 2^512 - 2^0 */
842 felem_square(tmp, ftmp3);
843 felem_reduce(ftmp3, tmp); /* 2^521 - 2^9 */
845 felem_mul(tmp, ftmp3, ftmp4);
846 felem_reduce(ftmp3, tmp); /* 2^512 - 2^2 */
847 felem_mul(tmp, ftmp3, in);
1211 felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, ftmp6, x_out, y_out, z_out;
1228 /* u1 = ftmp3 = x1*z2z2 */
1230 felem_reduce(ftmp3, tmp);
1258 /* u1 = ftmp3 = x1*z2z2 */
1259 felem_assign(ftmp3, x1);
1273 felem_diff_128_64(tmp, ftmp3);
1350 felem_mul(tmp, ftmp3, ftmp);
1358 felem_assign(ftmp3, ftmp4);
1366 felem_diff64(ftmp3, x_out);
1368 * ftmp3[i] < 2^60 + 2^60 = 2^61
1370 felem_mul(tmp, ftmp5, ftmp3);