Searched defs:x39 (Results 1 – 2 of 2) sorted by relevance
122 { u32 x38; u8/*bool*/ x39 = subborrow_u26(x36, x14, 0x3ffffff, &x38); in fe_freeze() local235 { const u32 x39 = in2[8]; in fe_add_impl() local278 { const u32 x39 = in2[8]; in fe_sub_impl() local321 { const u32 x39 = in2[8]; in fe_mul_impl() local472 { u64 x39 = (x38 + (x37 << 0x1)); in fe_sqr_impl() local644 { const u32 x39 = 0; in fe_mul_121666_impl() local
174 fiat_25519_uint128 x39; in fiat_25519_carry_mul() local293 uint64_t x39; in fiat_25519_carry_square() local524 uint8_t x39; in fiat_25519_to_bytes() local740 uint64_t x39; in fiat_25519_from_bytes() local1071 uint64_t x39; in fiat_25519_carry_mul() local1385 uint64_t x39; in fiat_25519_carry_square() local1831 fiat_25519_uint1 x39; in fiat_25519_to_bytes() local2089 uint32_t x39; in fiat_25519_from_bytes() local