Lines Matching defs:ftmp2
753 felem ftmp, ftmp2, ftmp3, ftmp4;
761 felem_assign(ftmp2, ftmp);
769 felem_square(tmp, ftmp2);
773 felem_mul(tmp, ftmp3, ftmp2);
776 felem_assign(ftmp2, ftmp3);
790 felem_mul(tmp, ftmp3, ftmp2);
792 felem_assign(ftmp2, ftmp3);
798 felem_mul(tmp, ftmp3, ftmp2);
800 felem_assign(ftmp2, ftmp3);
806 felem_mul(tmp, ftmp3, ftmp2);
808 felem_assign(ftmp2, ftmp3);
814 felem_mul(tmp, ftmp3, ftmp2);
816 felem_assign(ftmp2, ftmp3);
822 felem_mul(tmp, ftmp3, ftmp2);
824 felem_assign(ftmp2, ftmp3);
830 felem_mul(tmp, ftmp3, ftmp2);
832 felem_assign(ftmp2, ftmp3);
838 felem_mul(tmp, ftmp3, ftmp2);
1092 felem delta, gamma, beta, alpha, ftmp, ftmp2;
1095 felem_assign(ftmp2, x_in);
1112 felem_sum64(ftmp2, delta);
1113 /* ftmp2[i] < 2^60 + 2^15 */
1114 felem_scalar64(ftmp2, 3);
1115 /* ftmp2[i] < 3*2^60 + 3*2^15 */
1116 felem_mul(tmp, ftmp, ftmp2);
1211 felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, ftmp6, x_out, y_out, z_out;
1224 /* ftmp2 = z2z2 = z2**2 */
1226 felem_reduce(ftmp2, tmp);
1229 felem_mul(tmp, x1, ftmp2);
1242 felem_diff_128_64(tmp, ftmp2);
1246 /* ftmp2 = z2 * z2z2 */
1247 felem_mul(tmp, ftmp2, z2);
1248 felem_reduce(ftmp2, tmp);
1251 felem_mul(tmp, y1, ftmp2);
1345 /* J = ftmp2 = h * I */
1347 felem_reduce(ftmp2, tmp);
1356 felem_diff_128_64(tmp, ftmp2);
1372 felem_mul(tmp2, ftmp6, ftmp2);