What is your evidence to say that __builtin_popcount(x^y) works in O(1)?