playing with Souper tonight, it easily proves these popcounts from wikipedia to be equivalent to each otherpic.twitter.com/IlW9Anfk1E
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
Equivalence modulo UB, or no? (i.e. does it get to take restrict into account?)
I think equivalence modulo UB is the only way to do it
I don't think you can define equivalence otherwise.
(at least, not usefully)
Without "modulo UB/restrict", memcpy impls would have to be same-order-on-overlapping to be equiv.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.