Searched defs:x50 (Results 1 – 11 of 11) sorted by relevance
152 fiat_25519_uint1 x50 = (fiat_25519_uint1)(x49 >> 51); in fiat_25519_carry_mul() local222 uint64_t x50 = (x48 + x36); in fiat_25519_carry_square() local432 uint8_t x50 = (uint8_t)(x47 & UINT8_C(0xff)); in fiat_25519_to_bytes() local
194 uint64_t x50 = ((uint64_t)(arg1[7]) * ((arg2[1]) * 0x2)); in fiat_25519_carry_mul() local364 uint64_t x50 = ((uint64_t)(arg1[2]) * x12); in fiat_25519_carry_square() local719 uint32_t x50 = (x22 >> 8); in fiat_25519_to_bytes() local882 uint32_t x50 = (x48 & UINT32_C(0x3ffffff)); in fiat_25519_from_bytes() local
201 fiat_p256_uint1 x50; in fiat_p256_mul() local496 fiat_p256_uint1 x50; in fiat_p256_square() local945 uint64_t x50; in fiat_p256_from_montgomery() local1120 uint64_t x50 = (x1 >> 8); in fiat_p256_to_bytes() local
198 uint32_t x50; in fiat_p256_mul() local1205 uint32_t x50; in fiat_p256_square() local2459 uint32_t x50; in fiat_p256_from_montgomery() local3029 uint8_t x50 = (uint8_t)(x48 & UINT8_C(0xff)); in fiat_p256_to_bytes() local
63 int x50 = x49 * x48 + x47; in calc() local