Searched defs:x_xor_q_ (Results 1 – 3 of 3) sorted by relevance
31 uint64_t x_xor_q_ = x_xor_q >> (uint32_t)63U; in FStar_UInt64_gte_mask() local53 uint32_t x_xor_q_ = x_xor_q >> (uint32_t)31U; in FStar_UInt32_gte_mask() local75 uint16_t x_xor_q_ = x_xor_q >> (uint32_t)15U; in FStar_UInt16_gte_mask() local97 uint8_t x_xor_q_ = x_xor_q >> (uint32_t)7U; in FStar_UInt8_gte_mask() local
35 uint64_t x_xor_q_ = x_xor_q >> 63U; in FStar_UInt64_gte_mask() local57 uint32_t x_xor_q_ = x_xor_q >> 31U; in FStar_UInt32_gte_mask() local79 uint16_t x_xor_q_ = (uint32_t)x_xor_q >> 15U; in FStar_UInt16_gte_mask() local101 uint8_t x_xor_q_ = (uint32_t)x_xor_q >> 7U; in FStar_UInt8_gte_mask() local