Searched defs:x24 (Results 1 – 5 of 5) sorted by relevance
98 fiat_25519_uint128 x24 = ((fiat_25519_uint128)(arg1[0]) * (arg2[1])); in fiat_25519_carry_mul() local164 fiat_25519_uint128 x24 = (x23 + (x15 + x13)); in fiat_25519_carry_square() local324 uint64_t x24 = (x16 << 6); in fiat_25519_to_bytes() local456 uint64_t x24 = ((uint64_t)(arg1[8]) << 13); in fiat_25519_from_bytes() local618 uint64_t x24 = ((uint64_t)(arg1[7]) * ((arg2[3]) * ((uint32_t)0x2 * UINT8_C(0x13)))); in fiat_25519_carry_mul() local784 uint64_t x24 = ((uint64_t)(arg1[7]) * (x7 * (uint32_t)0x2)); in fiat_25519_carry_square() local1065 uint32_t x24; in fiat_25519_to_bytes() local1233 uint32_t x24 = ((uint32_t)(arg1[8]) << 13); in fiat_25519_from_bytes() local
43 x24, enumerator
41 x24, enumerator
117 { u32 x23; u8/*bool*/ x24 = subborrow_u25(x21, x4, 0x1ffffff, &x23); in fe_freeze() local457 { u64 x24 = (0x2 * ((((u64)x6 * x8) + ((u64)x4 * x10)) + ((u64)x2 * x12))); in fe_sqr_impl() local
1241 x24 = 24, enumerator