Lines Matching defs:x2
179 uint32_t x1[10], x2[10], x3[10], z2[10], z3[10];
223 * Initialise variables x1, x2, z2, x3 and z3. We set all of them
229 memcpy(x2, z2, sizeof z2);
230 x2[1] = 0x13000000;
231 memcpy(z3, x2, sizeof x2);
252 cswap(x2, x3, swap);
257 print_int_mont("x2", x2);
263 c255_add(a, x2, z2);
265 c255_sub(b, x2, z2);
290 c255_mul(x2, aa, bb);
296 print_int_mont("x2", x2);
302 cswap(x2, x3, swap);
330 c255_mul(b, x2, b);
335 * memcpy(x2, b, sizeof b);
336 * br_i31_from_monty(x2, C255_P, P0I);
340 br_i31_montymul(x2, a, b, C255_P, P0I);
342 br_i31_encode(G, 32, x2);