Searched defs:x38 (Results 1 – 5 of 5) sorted by relevance
110 uint64_t x38 = (uint64_t)(x36 & UINT64_C(0x7ffffffffffff)); in fiat_25519_carry_mul() local176 uint64_t x38 = (uint64_t)(x37 >> 51); in fiat_25519_carry_square() local403 uint64_t x38 = (x36 + x25); in fiat_25519_to_bytes() local535 uint64_t x38 = (x19 + (x18 + (x17 + (x16 + (x15 + (x14 + x13)))))); in fiat_25519_from_bytes() local
142 uint64_t x38 = ((uint64_t)(arg1[4]) * ((arg2[7]) * (uint32_t)UINT8_C(0x13))); in fiat_25519_carry_mul() local308 uint64_t x38 = ((uint64_t)(arg1[4]) * x14); in fiat_25519_carry_square() local447 uint32_t x38 = (uint32_t)(x37 >> 25); in fiat_25519_carry_scmul_121666() local703 uint32_t x38; in fiat_25519_to_bytes() local864 uint32_t x38 = (x9 + (x8 + x7)); in fiat_25519_from_bytes() local
147 fiat_p256_uint1 x38; in fiat_p256_mul() local460 fiat_p256_uint1 x38; in fiat_p256_square() local903 uint64_t x38; in fiat_p256_from_montgomery() local1100 uint8_t x38 = (uint8_t)(x35 & UINT8_C(0xff)); in fiat_p256_to_bytes() local1204 uint64_t x38 = (x37 & UINT64_C(0xffffffffffffffff)); in fiat_p256_from_bytes() local
143 fiat_p256_uint1 x38; in fiat_p256_mul() local1192 fiat_p256_uint1 x38; in fiat_p256_square() local2248 uint32_t x38; in fiat_p256_add() local2465 uint32_t x38; in fiat_p256_from_montgomery() local3097 uint8_t x38 = (uint8_t)(x4 & UINT8_C(0xff)); in fiat_p256_to_bytes() local3201 uint32_t x38 = (x16 + (x15 + (x14 + x13))); in fiat_p256_from_bytes() local
302 s256 x38; variable