Searched refs:fiat_25519_int1 (Results 1 – 6 of 6) sorted by relevance
13 typedef signed char fiat_25519_int1; typedef60 fiat_25519_int1 x2 = (fiat_25519_int1)(x1 >> 51); in fiat_25519_subborrowx_u51()80 uint64_t x2 = ((fiat_25519_int1)(0x0 - x1) & UINT64_C(0xffffffffffffffff)); in fiat_25519_cmovznz_u64()
13 typedef signed char fiat_25519_int1; typedef58 fiat_25519_int1 x2 = (fiat_25519_int1)(x1 >> 26); in fiat_25519_subborrowx_u26()102 fiat_25519_int1 x2 = (fiat_25519_int1)(x1 >> 25); in fiat_25519_subborrowx_u25()122 uint32_t x2 = ((fiat_25519_int1)(0x0 - x1) & UINT32_C(0xffffffff)); in fiat_25519_cmovznz_u32()