Lines Matching defs:ftmp4
728 felem ftmp, ftmp2, ftmp3, ftmp4;
773 felem_reduce(ftmp4, tmp); /* 2^49 - 2 */
775 felem_square(tmp, ftmp4);
776 felem_reduce(ftmp4, tmp);
778 felem_mul(tmp, ftmp3, ftmp4);
781 felem_reduce(ftmp4, tmp); /* 2^97 - 2 */
783 felem_square(tmp, ftmp4);
784 felem_reduce(ftmp4, tmp);
786 felem_mul(tmp, ftmp2, ftmp4);
936 felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, x_out, y_out, z_out;
945 /* ftmp4 = z2^3 */
947 felem_reduce(ftmp4, tmp);
949 /* ftmp4 = z2^3*y1 */
950 felem_mul(tmp2, ftmp4, y1);
951 felem_reduce(ftmp4, tmp2);
961 /* ftmp4 = z2^3*y1 */
962 felem_assign(ftmp4, y1);
981 felem_diff_128_64(tmp, ftmp4);
1035 felem_mul(tmp, ftmp4, ftmp5);