Lines Matching refs:x23
121 { u32 x23; u8/*bool*/ x24 = subborrow_u25(x21, x4, 0x1ffffff, &x23); in fe_freeze() local
134 { u32 x56; u8/*bool*/ x57 = addcarryx_u25(x53, x23, x54, &x56); in fe_freeze()
247 { const u32 x23 = in2[0]; in fe_add_impl() local
248 out[0] = (x5 + x23); in fe_add_impl()
290 { const u32 x23 = in2[0]; in fe_sub_impl() local
291 out[0] = ((0x7ffffda + x5) - x23); in fe_sub_impl()
333 { const u32 x23 = in2[0]; in fe_mul_impl() local
334 { u64 x40 = ((u64)x23 * x5); in fe_mul_impl()
335 { u64 x41 = (((u64)x23 * x7) + ((u64)x25 * x5)); in fe_mul_impl()
336 { u64 x42 = ((((u64)(0x2 * x25) * x7) + ((u64)x23 * x9)) + ((u64)x27 * x5)); in fe_mul_impl()
337 { u64 x43 = (((((u64)x25 * x9) + ((u64)x27 * x7)) + ((u64)x23 * x11)) + ((u64)x29 * x5)); in fe_mul_impl()
338 …{ u64 x44 = (((((u64)x27 * x9) + (0x2 * (((u64)x25 * x11) + ((u64)x29 * x7)))) + ((u64)x23 * x13))… in fe_mul_impl()
339 …7 * x11) + ((u64)x29 * x9)) + ((u64)x25 * x13)) + ((u64)x31 * x7)) + ((u64)x23 * x15)) + ((u64)x33… in fe_mul_impl()
340 …* x15)) + ((u64)x33 * x7))) + ((u64)x27 * x13)) + ((u64)x31 * x9)) + ((u64)x23 * x17)) + ((u64)x35… in fe_mul_impl()
341 … * x15)) + ((u64)x33 * x9)) + ((u64)x25 * x17)) + ((u64)x35 * x7)) + ((u64)x23 * x19)) + ((u64)x37… in fe_mul_impl()
342 … x19)) + ((u64)x37 * x7)))) + ((u64)x27 * x17)) + ((u64)x35 * x9)) + ((u64)x23 * x21)) + ((u64)x39… in fe_mul_impl()
343 … * x19)) + ((u64)x37 * x9)) + ((u64)x25 * x21)) + ((u64)x39 * x7)) + ((u64)x23 * x20)) + ((u64)x38… in fe_mul_impl()
460 { u64 x23 = ((((u64)x6 * x6) + ((u64)(0x4 * x4) * x8)) + ((u64)(0x2 * x2) * x10)); in fe_sqr_impl() local
487 { u64 x50 = (x23 + (x33 << 0x4)); in fe_sqr_impl()
656 { const u32 x23 = 121666; in fe_mul_121666_impl() local
657 { u64 x40 = ((u64)x23 * x5); in fe_mul_121666_impl()
658 { u64 x41 = (((u64)x23 * x7) + ((u64)x25 * x5)); in fe_mul_121666_impl()
659 { u64 x42 = ((((u64)(0x2 * x25) * x7) + ((u64)x23 * x9)) + ((u64)x27 * x5)); in fe_mul_121666_impl()
660 { u64 x43 = (((((u64)x25 * x9) + ((u64)x27 * x7)) + ((u64)x23 * x11)) + ((u64)x29 * x5)); in fe_mul_121666_impl()
661 …{ u64 x44 = (((((u64)x27 * x9) + (0x2 * (((u64)x25 * x11) + ((u64)x29 * x7)))) + ((u64)x23 * x13))… in fe_mul_121666_impl()
662 …7 * x11) + ((u64)x29 * x9)) + ((u64)x25 * x13)) + ((u64)x31 * x7)) + ((u64)x23 * x15)) + ((u64)x33… in fe_mul_121666_impl()
663 …* x15)) + ((u64)x33 * x7))) + ((u64)x27 * x13)) + ((u64)x31 * x9)) + ((u64)x23 * x17)) + ((u64)x35… in fe_mul_121666_impl()
664 … * x15)) + ((u64)x33 * x9)) + ((u64)x25 * x17)) + ((u64)x35 * x7)) + ((u64)x23 * x19)) + ((u64)x37… in fe_mul_121666_impl()
665 … x19)) + ((u64)x37 * x7)))) + ((u64)x27 * x17)) + ((u64)x35 * x9)) + ((u64)x23 * x21)) + ((u64)x39… in fe_mul_121666_impl()
666 … * x19)) + ((u64)x37 * x9)) + ((u64)x25 * x21)) + ((u64)x39 * x7)) + ((u64)x23 * x20)) + ((u64)x38… in fe_mul_121666_impl()