Searched defs:x_xor_y (Results 1 – 3 of 3) sorted by relevance
26 uint64_t x_xor_y = x ^ y; in FStar_UInt64_gte_mask() local48 uint32_t x_xor_y = x ^ y; in FStar_UInt32_gte_mask() local70 uint16_t x_xor_y = x ^ y; in FStar_UInt16_gte_mask() local92 uint8_t x_xor_y = x ^ y; in FStar_UInt8_gte_mask() local
30 uint64_t x_xor_y = x ^ y; in FStar_UInt64_gte_mask() local52 uint32_t x_xor_y = x ^ y; in FStar_UInt32_gte_mask() local74 uint16_t x_xor_y = (uint32_t)x ^ (uint32_t)y; in FStar_UInt16_gte_mask() local96 uint8_t x_xor_y = (uint32_t)x ^ (uint32_t)y; in FStar_UInt8_gte_mask() local