Searched defs:x33 (Results 1 – 2 of 2) sorted by relevance
223 uint64_t x33 = ((uint64_t)(arg1[5]) * ((arg2[7]) * ((uint32_t)0x2 * UINT8_C(0x13)))); in fiat_25519_carry_mul() local389 uint64_t x33 = ((uint64_t)(arg1[5]) * (x13 * (uint32_t)0x2)); in fiat_25519_carry_square() local674 fiat_25519_uint1 x33; in fiat_25519_to_bytes() local838 uint32_t x33 = (x32 + (x31 + (x30 + x29))); in fiat_25519_from_bytes() local
1193 uint32_t x33 = (uint32_t)(x31 & UINT32_C(0x1ffffff)); in fiat_25519_carry_scmul_121666() local
