Searched refs:FStar_UInt64_eq_mask (Results 1 – 5 of 5) sorted by relevance
| /mbedtls-latest/3rdparty/everest/library/kremlib/ |
| D | FStar_UInt128_extracted.c | 229 FStar_UInt64_eq_mask(a.low, in FStar_UInt128_eq_mask()
231 & FStar_UInt64_eq_mask(a.high, b.high), in FStar_UInt128_eq_mask()
232 FStar_UInt64_eq_mask(a.low, in FStar_UInt128_eq_mask()
234 & FStar_UInt64_eq_mask(a.high, b.high) in FStar_UInt128_eq_mask()
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 | 13 uint64_t FStar_UInt64_eq_mask(uint64_t a, uint64_t b) in FStar_UInt64_eq_mask() function
|
| /mbedtls-latest/3rdparty/everest/library/ |
| D | Hacl_Curve25519.c | 13 extern uint64_t FStar_UInt64_eq_mask(uint64_t x0, uint64_t x1);
512 uint64_t mask1 = FStar_UInt64_eq_mask(a1, (uint64_t)0x7ffffffffffffU); in Hacl_EC_Format_fcontract_trim()
513 uint64_t mask2 = FStar_UInt64_eq_mask(a2, (uint64_t)0x7ffffffffffffU); in Hacl_EC_Format_fcontract_trim()
514 uint64_t mask3 = FStar_UInt64_eq_mask(a3, (uint64_t)0x7ffffffffffffU); in Hacl_EC_Format_fcontract_trim()
515 uint64_t mask4 = FStar_UInt64_eq_mask(a4, (uint64_t)0x7ffffffffffffU); in Hacl_EC_Format_fcontract_trim()
|
| /mbedtls-latest/3rdparty/everest/library/legacy/ |
| D | Hacl_Curve25519.c | 13 extern uint64_t FStar_UInt64_eq_mask(uint64_t x0, uint64_t x1);
557 uint64_t mask1 = FStar_UInt64_eq_mask(a1, (uint64_t)0x7ffffffffffffU); in Hacl_EC_Format_fcontract_trim()
558 uint64_t mask2 = FStar_UInt64_eq_mask(a2, (uint64_t)0x7ffffffffffffU); in Hacl_EC_Format_fcontract_trim()
559 uint64_t mask3 = FStar_UInt64_eq_mask(a3, (uint64_t)0x7ffffffffffffU); in Hacl_EC_Format_fcontract_trim()
560 uint64_t mask4 = FStar_UInt64_eq_mask(a4, (uint64_t)0x7ffffffffffffU); in Hacl_EC_Format_fcontract_trim()
|
| /mbedtls-latest/3rdparty/everest/include/everest/kremlib/ |
| D | FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.h | 77 uint64_t FStar_UInt64_eq_mask(uint64_t a, uint64_t b);
|
