Searched defs:x47 (Results 1 – 4 of 4) sorted by relevance
119 uint64_t x47 = (x46 >> 51); in fiat_25519_carry_mul() local185 uint64_t x47 = (x45 + x33); in fiat_25519_carry_square() local412 uint64_t x47 = (x45 >> 8); in fiat_25519_to_bytes() local544 uint8_t x47 = (uint8_t)(x46 >> 51); in fiat_25519_from_bytes() local
151 uint64_t x47 = ((uint64_t)(arg1[8]) * (arg2[1])); in fiat_25519_carry_mul() local317 uint64_t x47 = ((uint64_t)(arg1[2]) * x2); in fiat_25519_carry_square() local456 uint32_t x47 = (x45 + x18); in fiat_25519_carry_scmul_121666() local714 uint32_t x47 = (x28 << 5); in fiat_25519_to_bytes() local873 uint32_t x47 = (x45 & UINT32_C(0x1ffffff)); in fiat_25519_from_bytes() local
161 uint64_t x47; in fiat_p256_mul() local474 uint64_t x47; in fiat_p256_square() local916 uint64_t x47; in fiat_p256_from_montgomery() local1109 uint8_t x47 = (uint8_t)(x45 >> 8); in fiat_p256_to_bytes() local
157 uint32_t x47; in fiat_p256_mul() local1206 uint32_t x47; in fiat_p256_square() local2478 fiat_p256_uint1 x47; in fiat_p256_from_montgomery() local3106 uint8_t x47 = (uint8_t)(x44 & UINT8_C(0xff)); in fiat_p256_to_bytes() local3210 uint32_t x47 = (x36 & UINT32_C(0xffffffff)); in fiat_p256_from_bytes() local