Lines Matching refs:ftmp4
704 felem ftmp, ftmp2, ftmp3, ftmp4;
749 felem_reduce(ftmp4, tmp); /* 2^49 - 2 */
751 felem_square(tmp, ftmp4);
752 felem_reduce(ftmp4, tmp);
754 felem_mul(tmp, ftmp3, ftmp4);
757 felem_reduce(ftmp4, tmp); /* 2^97 - 2 */
759 felem_square(tmp, ftmp4);
760 felem_reduce(ftmp4, tmp);
762 felem_mul(tmp, ftmp2, ftmp4);
912 felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, x_out, y_out, z_out;
922 /* ftmp4 = z2^3 */
924 felem_reduce(ftmp4, tmp);
926 /* ftmp4 = z2^3*y1 */
927 felem_mul(tmp2, ftmp4, y1);
928 felem_reduce(ftmp4, tmp2);
938 /* ftmp4 = z2^3*y1 */
939 felem_assign(ftmp4, y1);
958 felem_diff_128_64(tmp, ftmp4);
1038 felem_mul(tmp, ftmp4, ftmp5);