Searched refs:fiat_p256_int1 (Results 1 – 2 of 2) sorted by relevance
16 typedef signed char fiat_p256_int1; typedef49 fiat_p256_int1 x2 = (fiat_p256_int1)(x1 >> 64); in fiat_p256_subborrowx_u64()81 uint64_t x2 = ((fiat_p256_int1)(0x0 - x1) & UINT64_C(0xffffffffffffffff)); in fiat_p256_cmovznz_u64()
16 typedef signed char fiat_p256_int1; typedef47 fiat_p256_int1 x2 = (fiat_p256_int1)(x1 >> 32); in fiat_p256_subborrowx_u32()79 uint32_t x2 = ((fiat_p256_int1)(0x0 - x1) & UINT32_C(0xffffffff)); in fiat_p256_cmovznz_u32()