Searched defs:x39 (Results 1 – 4 of 4) sorted by relevance
111 fiat_25519_uint128 x39 = (x37 + x30); in fiat_25519_carry_mul() local177 uint64_t x39 = (uint64_t)(x37 & UINT64_C(0x7ffffffffffff)); in fiat_25519_carry_square() local404 uint64_t x39 = (x38 >> 8); in fiat_25519_to_bytes() local536 uint64_t x39 = (x25 + (x24 + (x23 + (x22 + (x21 + x20))))); in fiat_25519_from_bytes() local
143 uint64_t x39 = ((uint64_t)(arg1[4]) * ((arg2[6]) * (uint32_t)UINT8_C(0x13))); in fiat_25519_carry_mul() local309 uint64_t x39 = ((uint64_t)(arg1[4]) * (arg1[4])); in fiat_25519_carry_square() local448 uint32_t x39 = (uint32_t)(x37 & UINT32_C(0x1ffffff)); in fiat_25519_carry_scmul_121666() local704 fiat_25519_uint1 x39; in fiat_25519_to_bytes() local865 uint32_t x39 = (x12 + (x11 + x10)); in fiat_25519_from_bytes() local
149 uint64_t x39; in fiat_p256_mul() local462 uint64_t x39; in fiat_p256_square() local904 fiat_p256_uint1 x39; in fiat_p256_from_montgomery() local1101 uint64_t x39 = (x37 >> 8); in fiat_p256_to_bytes() local1205 uint64_t x39 = (x36 & UINT64_C(0xffffffffffffffff)); in fiat_p256_from_bytes() local
145 uint32_t x39; in fiat_p256_mul() local1194 uint32_t x39; in fiat_p256_square() local2250 uint32_t x39; in fiat_p256_add() local2466 fiat_p256_uint1 x39; in fiat_p256_from_montgomery() local3098 uint32_t x39 = (x37 >> 8); in fiat_p256_to_bytes() local3202 uint32_t x39 = (x20 + (x19 + (x18 + x17))); in fiat_p256_from_bytes() local