Searched defs:x111 (Results 1 – 1 of 1) sorted by relevance
301 uint64_t x111 = (x98 + (x89 + (x81 + (x40 + (x37 + (x33 + (x28 + (x22 + (x15 + x7))))))))); in fiat_25519_carry_mul() local467 uint64_t x111 = (x110 >> 25); in fiat_25519_carry_square() local757 uint8_t x111 = (uint8_t)(x108 & UINT8_C(0xff)); in fiat_25519_to_bytes() local