Searched defs:x69 (Results 1 – 2 of 2) sorted by relevance
136 { u32 x68; u8/*bool*/ x69 = addcarryx_u26(x65, x32, x66, &x68); in fe_freeze() local359 { u64 x69 = (x68 + (x55 << 0x1)); in fe_mul_impl() local502 { u32 x69 = ((u32)x67 & 0x1ffffff); in fe_sqr_impl() local682 { u64 x69 = (x68 + (x55 << 0x1)); in fe_mul_121666_impl() local
369 uint64_t x69 = (x67 >> 8); in fiat_25519_to_bytes() local663 uint64_t x69 = ((uint64_t)(arg1[3]) * (arg2[4])); in fiat_25519_carry_mul() local829 uint64_t x69 = ((uint64_t)(arg1[0]) * x15); in fiat_25519_carry_square() local1119 uint8_t x69 = (uint8_t)(x66 & UINT8_C(0xff)); in fiat_25519_to_bytes() local