Searched refs:fiat_p256_int1 (Results 1 – 4 of 4) sorted by relevance
16 typedef signed char fiat_p256_int1; typedef63 fiat_p256_int1 x2 = (fiat_p256_int1)(x1 >> 64); in fiat_p256_subborrowx_u64()104 uint64_t x2 = ((fiat_p256_int1)(0x0 - x1) & UINT64_C(0xffffffffffffffff)); in fiat_p256_cmovznz_u64()
16 typedef signed char fiat_p256_int1; typedef61 fiat_p256_int1 x2 = (fiat_p256_int1)(x1 >> 32); in fiat_p256_subborrowx_u32()102 uint32_t x2 = ((fiat_p256_int1)(0x0 - x1) & UINT32_C(0xffffffff)); in fiat_p256_cmovznz_u32()