Searched defs:x31 (Results 1 – 2 of 2) sorted by relevance
221 uint64_t x31 = ((uint64_t)(arg1[5]) * ((arg2[9]) * ((uint32_t)0x2 * UINT8_C(0x13)))); in fiat_25519_carry_mul() local387 uint64_t x31 = ((arg1[5]) * (x8 * (uint64_t)0x2)); in fiat_25519_carry_square() local671 fiat_25519_uint1 x31; in fiat_25519_to_bytes() local836 uint32_t x31 = ((uint32_t)(arg1[1]) << 8); in fiat_25519_from_bytes() local
1191 uint64_t x31 = (x29 + x3); in fiat_25519_carry_scmul_121666() local
