Searched refs:x_sub_y_xor_y (Results 1 – 1 of 1) sorted by relevance
28 uint64_t x_sub_y_xor_y = x_sub_y ^ y; in FStar_UInt64_gte_mask() local29 uint64_t q = x_xor_y | x_sub_y_xor_y; in FStar_UInt64_gte_mask()50 uint32_t x_sub_y_xor_y = x_sub_y ^ y; in FStar_UInt32_gte_mask() local51 uint32_t q = x_xor_y | x_sub_y_xor_y; in FStar_UInt32_gte_mask()72 uint16_t x_sub_y_xor_y = x_sub_y ^ y; in FStar_UInt16_gte_mask() local73 uint16_t q = x_xor_y | x_sub_y_xor_y; in FStar_UInt16_gte_mask()94 uint8_t x_sub_y_xor_y = x_sub_y ^ y; in FStar_UInt8_gte_mask() local95 uint8_t q = x_xor_y | x_sub_y_xor_y; in FStar_UInt8_gte_mask()