Searched refs:x_xor_q (Results 1 – 1 of 1) sorted by relevance

/mbedtls-development/3rdparty/everest/library/kremlib/
A D	FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.c	30 uint64_t x_xor_q = x ^ q; in FStar_UInt64_gte_mask() local 31 uint64_t x_xor_q_ = x_xor_q >> (uint32_t)63U; in FStar_UInt64_gte_mask() 52 uint32_t x_xor_q = x ^ q; in FStar_UInt32_gte_mask() local 53 uint32_t x_xor_q_ = x_xor_q >> (uint32_t)31U; in FStar_UInt32_gte_mask() 74 uint16_t x_xor_q = x ^ q; in FStar_UInt16_gte_mask() local 75 uint16_t x_xor_q_ = x_xor_q >> (uint32_t)15U; in FStar_UInt16_gte_mask() 96 uint8_t x_xor_q = x ^ q; in FStar_UInt8_gte_mask() local 97 uint8_t x_xor_q_ = x_xor_q >> (uint32_t)7U; in FStar_UInt8_gte_mask()

Completed in 4 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023