Searched defs:x43 (Results 1 – 2 of 2) sorted by relevance
233 uint64_t x43 = ((uint64_t)(arg1[2]) * ((arg2[9]) * (uint32_t)UINT8_C(0x13))); in fiat_25519_carry_mul() local399 uint64_t x43 = ((uint64_t)(arg1[3]) * x12); in fiat_25519_carry_square() local689 uint32_t x43 = (x38 << 4); in fiat_25519_to_bytes() local848 uint32_t x43 = (x25 + (x24 + x23)); in fiat_25519_from_bytes() local
1204 uint32_t x43 = (x41 & UINT32_C(0x3ffffff)); in fiat_25519_carry_scmul_121666() local
