-rw-r--r-- 230 saferewrite-20250228/src/cmp_64xint16/bitopscpp/verify.cc raw
#include <stdint.h> int32_t cmp_64xint16(const uint16_t *x,const uint16_t *y) { uint32_t differentbits = 0; for (long long i = 0;i < 64;++i) differentbits |= x[i] ^ y[i]; return (1 & ((differentbits - 1) >> 16)) - 1; }