Lines Matching defs:tmp1
204 fe64 x1, x2, z2, x3, z3, tmp0, tmp1;
227 fe64_sub(tmp1, x2, z2);
231 fe64_mul(z2, z2, tmp1);
232 fe64_sqr(tmp0, tmp1);
233 fe64_sqr(tmp1, x2);
236 fe64_mul(x2, tmp1, tmp0);
237 fe64_sub(tmp1, tmp1, tmp0);
239 fe64_mul121666(z3, tmp1);
243 fe64_mul(z2, tmp1, tmp0);
689 fe51 x1, x2, z2, x3, z3, tmp0, tmp1;
719 fe51_sub(tmp1, x2, z2);
723 fe51_mul(z2, z2, tmp1);
724 fe51_sq(tmp0, tmp1);
725 fe51_sq(tmp1, x2);
728 fe51_mul(x2, tmp1, tmp0);
729 fe51_sub(tmp1, tmp1, tmp0);
731 fe51_mul121666(z3, tmp1);
735 fe51_mul(z2, tmp1, tmp0);
4370 fe x1, x2, z2, x3, z3, tmp0, tmp1;
4392 fe_sub(tmp1, x2, z2);
4396 fe_mul(z2, z2, tmp1);
4397 fe_sq(tmp0, tmp1);
4398 fe_sq(tmp1, x2);
4401 fe_mul(x2, tmp1, tmp0);
4402 fe_sub(tmp1, tmp1, tmp0);
4404 fe_mul121666(z3, tmp1);
4408 fe_mul(z2, tmp1, tmp0);