Searched defs:x46 (Results 1 – 4 of 4) sorted by relevance
118 uint64_t x46 = (x28 + x45); in fiat_25519_carry_mul() local184 uint64_t x46 = (x44 & UINT64_C(0x7ffffffffffff)); in fiat_25519_carry_square() local411 uint8_t x46 = (uint8_t)(x43 & UINT8_C(0xff)); in fiat_25519_to_bytes() local543 uint64_t x46 = (x44 + x37); in fiat_25519_from_bytes() local
150 uint64_t x46 = ((uint64_t)(arg1[9]) * (arg2[0])); in fiat_25519_carry_mul() local316 uint64_t x46 = ((uint64_t)(arg1[3]) * ((arg1[3]) * (uint32_t)0x2)); in fiat_25519_carry_square() local455 uint32_t x46 = (x44 & UINT32_C(0x1ffffff)); in fiat_25519_carry_scmul_121666() local713 uint32_t x46 = (x30 << 6); in fiat_25519_to_bytes() local872 uint8_t x46 = (uint8_t)(x45 >> 25); in fiat_25519_from_bytes() local
159 uint64_t x46; in fiat_p256_mul() local472 uint64_t x46; in fiat_p256_square() local915 uint64_t x46; in fiat_p256_from_montgomery() local1108 uint8_t x46 = (uint8_t)(x43 & UINT8_C(0xff)); in fiat_p256_to_bytes() local
155 uint32_t x46; in fiat_p256_mul() local1204 uint32_t x46; in fiat_p256_square() local2477 uint32_t x46; in fiat_p256_from_montgomery() local3105 uint32_t x46 = (x44 >> 8); in fiat_p256_to_bytes() local3209 uint32_t x46 = (x37 & UINT32_C(0xffffffff)); in fiat_p256_from_bytes() local