Lines Matching refs:ftmp4
537 p224_felem ftmp, ftmp2, ftmp3, ftmp4;
581 p224_felem_reduce(ftmp4, tmp); // 2^49 - 2
583 p224_felem_square(tmp, ftmp4);
584 p224_felem_reduce(ftmp4, tmp);
586 p224_felem_mul(tmp, ftmp3, ftmp4);
589 p224_felem_reduce(ftmp4, tmp); // 2^97 - 2
591 p224_felem_square(tmp, ftmp4);
592 p224_felem_reduce(ftmp4, tmp);
594 p224_felem_mul(tmp, ftmp2, ftmp4);
730 p224_felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, x_out, y_out, z_out;
739 // ftmp4 = z2^3
741 p224_felem_reduce(ftmp4, tmp);
743 // ftmp4 = z2^3*y1
744 p224_felem_mul(tmp2, ftmp4, y1);
745 p224_felem_reduce(ftmp4, tmp2);
753 // ftmp4 = z2^3*y1
754 p224_felem_assign(ftmp4, y1);
773 p224_felem_diff_128_64(tmp, ftmp4);
825 p224_felem_mul(tmp, ftmp4, ftmp5);
