Searched refs:FStar_UInt64_gte_mask (Results 1 – 5 of 5) sorted by relevance
| /mbedtls-latest/3rdparty/everest/library/kremlib/ |
| D | FStar_UInt128_extracted.c | 244 (FStar_UInt64_gte_mask(a.high, b.high) & ~FStar_UInt64_eq_mask(a.high, b.high)) in FStar_UInt128_gte_mask()
245 | (FStar_UInt64_eq_mask(a.high, b.high) & FStar_UInt64_gte_mask(a.low, b.low)), in FStar_UInt128_gte_mask()
246 (FStar_UInt64_gte_mask(a.high, b.high) & ~FStar_UInt64_eq_mask(a.high, b.high)) in FStar_UInt128_gte_mask()
247 | (FStar_UInt64_eq_mask(a.high, b.high) & FStar_UInt64_gte_mask(a.low, b.low)) in FStar_UInt128_gte_mask()
|
| D | FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.c | 22 uint64_t FStar_UInt64_gte_mask(uint64_t a, uint64_t b) in FStar_UInt64_gte_mask() function
|
| /mbedtls-latest/3rdparty/everest/include/everest/kremlib/ |
| D | FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.h | 79 uint64_t FStar_UInt64_gte_mask(uint64_t a, uint64_t b);
|
| /mbedtls-latest/3rdparty/everest/library/ |
| D | Hacl_Curve25519.c | 15 extern uint64_t FStar_UInt64_gte_mask(uint64_t x0, uint64_t x1);
511 uint64_t mask0 = FStar_UInt64_gte_mask(a0, (uint64_t)0x7ffffffffffedU); in Hacl_EC_Format_fcontract_trim()
|
| /mbedtls-latest/3rdparty/everest/library/legacy/ |
| D | Hacl_Curve25519.c | 15 extern uint64_t FStar_UInt64_gte_mask(uint64_t x0, uint64_t x1);
556 uint64_t mask0 = FStar_UInt64_gte_mask(a0, (uint64_t)0x7ffffffffffedU); in Hacl_EC_Format_fcontract_trim()
|
