Searched refs:fiat_25519_int1 (Results 1 – 2 of 2) sorted by relevance
11 typedef signed char fiat_25519_int1; typedef44 fiat_25519_int1 x2 = (fiat_25519_int1)(x1 >> 51); in fiat_25519_subborrowx_u51()60 uint64_t x2 = ((fiat_25519_int1)(0x0 - x1) & UINT64_C(0xffffffffffffffff)); in fiat_25519_cmovznz_u64()
11 typedef signed char fiat_25519_int1; typedef42 fiat_25519_int1 x2 = (fiat_25519_int1)(x1 >> 26); in fiat_25519_subborrowx_u26()76 fiat_25519_int1 x2 = (fiat_25519_int1)(x1 >> 25); in fiat_25519_subborrowx_u25()92 uint32_t x2 = ((fiat_25519_int1)(0x0 - x1) & UINT32_C(0xffffffff)); in fiat_25519_cmovznz_u32()