Searched defs:x43 (Results 1 – 4 of 4) sorted by relevance
115 uint64_t x43 = (uint64_t)(x42 >> 51); in fiat_25519_carry_mul() local181 uint64_t x43 = (x41 * (uint64_t)UINT8_C(0x13)); in fiat_25519_carry_square() local408 uint64_t x43 = (x41 >> 8); in fiat_25519_to_bytes() local540 uint64_t x43 = (x41 + x38); in fiat_25519_from_bytes() local
147 uint64_t x43 = ((uint64_t)(arg1[2]) * ((arg2[9]) * (uint32_t)UINT8_C(0x13))); in fiat_25519_carry_mul() local313 uint64_t x43 = ((uint64_t)(arg1[3]) * x12); in fiat_25519_carry_square() local452 uint32_t x43 = (x41 & UINT32_C(0x3ffffff)); in fiat_25519_carry_scmul_121666() local710 uint32_t x43 = (x38 << 4); in fiat_25519_to_bytes() local869 uint32_t x43 = (x25 + (x24 + x23)); in fiat_25519_from_bytes() local
155 uint64_t x43; in fiat_p256_mul() local468 uint64_t x43; in fiat_p256_square() local910 fiat_p256_uint1 x43; in fiat_p256_from_montgomery() local1105 uint64_t x43 = (x41 >> 8); in fiat_p256_to_bytes() local
151 uint32_t x43; in fiat_p256_mul() local1200 uint32_t x43; in fiat_p256_square() local2472 fiat_p256_uint1 x43; in fiat_p256_from_montgomery() local3102 uint8_t x43 = (uint8_t)(x41 & UINT8_C(0xff)); in fiat_p256_to_bytes() local3206 uint32_t x43 = (x40 & UINT32_C(0xffffffff)); in fiat_p256_from_bytes() local