Lines Matching refs:ftmp4
753 felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, ftmp6; in felem_inv() local
767 felem_assign(ftmp4, ftmp); in felem_inv()
771 felem_mul_reduce(ftmp, ftmp4, ftmp); /* 2^11 + ... + 2^0 */ in felem_inv()
786 felem_assign(ftmp4, ftmp); in felem_inv()
790 felem_mul_reduce(ftmp, ftmp4, ftmp); /* 2^119 + ... + 2^0 */ in felem_inv()
791 felem_assign(ftmp4, ftmp); in felem_inv()
795 felem_mul_reduce(ftmp, ftmp4, ftmp); /* 2^239 + ... + 2^0 */ in felem_inv()
1076 felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, ftmp6, x_out, y_out, z_out; in point_add() local
1130 felem_reduce(ftmp4, tmp); /* ftmp[4] < 2^56 */ in point_add()
1132 x_equal = felem_is_zero(ftmp4); in point_add()
1135 felem_mul_reduce(z_out, ftmp5, ftmp4); /* z_out[i] < 2^56 */ in point_add()
1176 felem_assign(ftmp, ftmp4); /* ftmp[i] < 2^56 */ in point_add()
1181 felem_mul_reduce(ftmp2, ftmp4, ftmp); /* ftmp2[i] < 2^56 */ in point_add()
1184 felem_mul_reduce(ftmp4, ftmp3, ftmp); /* ftmp4[i] < 2^56 */ in point_add()
1189 felem_assign(ftmp3, ftmp4); /* ftmp3[i] < 2^56 */ in point_add()
1190 felem_scalar64(ftmp4, 2); /* ftmp4[i] < 2^57 */ in point_add()
1191 felem_diff_128_64(tmp, ftmp4); /* tmp[i] < 2^117 + 2^65 + 2^49 */ in point_add()