Lines Matching full:ftmp3
537 p224_felem ftmp, ftmp2, ftmp3, ftmp4;
565 p224_felem_reduce(ftmp3, tmp); // 2^13 - 2
567 p224_felem_square(tmp, ftmp3);
568 p224_felem_reduce(ftmp3, tmp);
570 p224_felem_mul(tmp, ftmp3, ftmp2);
573 p224_felem_reduce(ftmp3, tmp); // 2^25 - 2
575 p224_felem_square(tmp, ftmp3);
576 p224_felem_reduce(ftmp3, tmp);
578 p224_felem_mul(tmp, ftmp3, ftmp2);
579 p224_felem_reduce(ftmp3, tmp); // 2^48 - 1
580 p224_felem_square(tmp, ftmp3);
586 p224_felem_mul(tmp, ftmp3, ftmp4);
587 p224_felem_reduce(ftmp3, tmp); // 2^96 - 1
588 p224_felem_square(tmp, ftmp3);
610 p224_felem_mul(tmp, ftmp, ftmp3);
730 p224_felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, x_out, y_out, z_out;
764 // ftmp3 = z1^3
766 p224_felem_reduce(ftmp3, tmp);
769 p224_felem_mul(tmp, ftmp3, y2);
772 // ftmp3 = z1^3*y2 - z2^3*y1
775 p224_felem_reduce(ftmp3, tmp);
789 y_equal = p224_felem_is_zero(ftmp3);
829 p224_felem_square(tmp2, ftmp3);
852 p224_felem_mul(tmp2, ftmp3, ftmp2);