lemire opened this issue 6 years ago · 0 comments
uint64_t wyrng(uint64_t *s){ *s+=0x60bee2bee120fc15ull; __uint128_t t=(__uint128_t)(*s^0x1b03738712fad5c9ull)*(*s); return (t>>64)^t; }