Lines Matching defs:tmp0
204 fe64 x1, x2, z2, x3, z3, tmp0, tmp1;
226 fe64_sub(tmp0, x3, z3);
230 fe64_mul(z3, x2, tmp0);
232 fe64_sqr(tmp0, tmp1);
236 fe64_mul(x2, tmp1, tmp0);
237 fe64_sub(tmp1, tmp1, tmp0);
241 fe64_add(tmp0, tmp0, z3);
243 fe64_mul(z2, tmp1, tmp0);
689 fe51 x1, x2, z2, x3, z3, tmp0, tmp1;
718 fe51_sub(tmp0, x3, z3);
722 fe51_mul(z3, tmp0, x2);
724 fe51_sq(tmp0, tmp1);
728 fe51_mul(x2, tmp1, tmp0);
729 fe51_sub(tmp1, tmp1, tmp0);
733 fe51_add(tmp0, tmp0, z3);
735 fe51_mul(z2, tmp1, tmp0);
4370 fe x1, x2, z2, x3, z3, tmp0, tmp1;
4391 fe_sub(tmp0, x3, z3);
4395 fe_mul(z3, tmp0, x2);
4397 fe_sq(tmp0, tmp1);
4401 fe_mul(x2, tmp1, tmp0);
4402 fe_sub(tmp1, tmp1, tmp0);
4406 fe_add(tmp0, tmp0, z3);
4408 fe_mul(z2, tmp1, tmp0);