Lines Matching defs:ftmp3
728 felem ftmp, ftmp2, ftmp3, ftmp4;
757 felem_reduce(ftmp3, tmp); /* 2^13 - 2 */
759 felem_square(tmp, ftmp3);
760 felem_reduce(ftmp3, tmp);
762 felem_mul(tmp, ftmp3, ftmp2);
765 felem_reduce(ftmp3, tmp); /* 2^25 - 2 */
767 felem_square(tmp, ftmp3);
768 felem_reduce(ftmp3, tmp);
770 felem_mul(tmp, ftmp3, ftmp2);
771 felem_reduce(ftmp3, tmp); /* 2^48 - 1 */
772 felem_square(tmp, ftmp3);
778 felem_mul(tmp, ftmp3, ftmp4);
779 felem_reduce(ftmp3, tmp); /* 2^96 - 1 */
780 felem_square(tmp, ftmp3);
802 felem_mul(tmp, ftmp, ftmp3);
936 felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, x_out, y_out, z_out;
972 /* ftmp3 = z1^3 */
974 felem_reduce(ftmp3, tmp);
977 felem_mul(tmp, ftmp3, y2);
980 /* ftmp3 = z1^3*y2 - z2^3*y1 */
983 felem_reduce(ftmp3, tmp);
999 y_equal = felem_is_zero(ftmp3);
1039 felem_square(tmp2, ftmp3);
1066 felem_mul(tmp2, ftmp3, ftmp2);