Searched defs:x44 (Results 1 – 6 of 6) sorted by relevance
170 int[] x44 = x11; in sqrt() local
166 int[] x44 = x11; in sqrt() local
116 uint64_t x44 = (uint64_t)(x42 & UINT64_C(0x7ffffffffffff)); in fiat_25519_carry_mul() local182 uint64_t x44 = (x26 + x43); in fiat_25519_carry_square() local409 uint8_t x44 = (uint8_t)(x41 & UINT8_C(0xff)); in fiat_25519_to_bytes() local541 uint8_t x44 = (uint8_t)(x43 >> 51); in fiat_25519_from_bytes() local
148 uint64_t x44 = ((uint64_t)(arg1[2]) * ((arg2[8]) * (uint32_t)UINT8_C(0x13))); in fiat_25519_carry_mul() local314 uint64_t x44 = ((uint64_t)(arg1[3]) * (x14 * (uint32_t)0x2)); in fiat_25519_carry_square() local453 uint32_t x44 = (x42 + x15); in fiat_25519_carry_scmul_121666() local711 uint32_t x44 = (x36 << 3); in fiat_25519_to_bytes() local870 uint32_t x44 = (x28 + (x27 + x26)); in fiat_25519_from_bytes() local
156 uint64_t x44; in fiat_p256_mul() local469 uint64_t x44; in fiat_p256_square() local912 uint64_t x44; in fiat_p256_from_montgomery() local1106 uint8_t x44 = (uint8_t)(x41 & UINT8_C(0xff)); in fiat_p256_to_bytes() local
152 uint32_t x44; in fiat_p256_mul() local1201 uint32_t x44; in fiat_p256_square() local2474 uint32_t x44; in fiat_p256_from_montgomery() local3103 uint32_t x44 = (x3 >> 8); in fiat_p256_to_bytes() local3207 uint32_t x44 = (x39 & UINT32_C(0xffffffff)); in fiat_p256_from_bytes() local