Lines Matching defs:tmp0
214 fe64 x1, x2, z2, x3, z3, tmp0, tmp1;
236 fe64_sub(tmp0, x3, z3);
240 fe64_mul(z3, x2, tmp0);
242 fe64_sqr(tmp0, tmp1);
246 fe64_mul(x2, tmp1, tmp0);
247 fe64_sub(tmp1, tmp1, tmp0);
251 fe64_add(tmp0, tmp0, z3);
253 fe64_mul(z2, tmp1, tmp0);
699 fe51 x1, x2, z2, x3, z3, tmp0, tmp1;
728 fe51_sub(tmp0, x3, z3);
732 fe51_mul(z3, tmp0, x2);
734 fe51_sq(tmp0, tmp1);
738 fe51_mul(x2, tmp1, tmp0);
739 fe51_sub(tmp1, tmp1, tmp0);
743 fe51_add(tmp0, tmp0, z3);
745 fe51_mul(z2, tmp1, tmp0);
4380 fe x1, x2, z2, x3, z3, tmp0, tmp1;
4401 fe_sub(tmp0, x3, z3);
4405 fe_mul(z3, tmp0, x2);
4407 fe_sq(tmp0, tmp1);
4411 fe_mul(x2, tmp1, tmp0);
4412 fe_sub(tmp1, tmp1, tmp0);
4416 fe_add(tmp0, tmp0, z3);
4418 fe_mul(z2, tmp1, tmp0);