Function get_random_uint64

src/tools/testint128.c:68–78

* Get a random uint64 value. * We don't assume random() is good for more than 16 bits. */

 * We don't assume random() is good for more than 16 bits.
 */
static uint64
get_random_uint64(void)
{
	uint64		x;

	x = (uint64) (random() & 0xFFFF) << 48;
	x |= (uint64) (random() & 0xFFFF) << 32;
	x |= (uint64) (random() & 0xFFFF) << 16;
	x |= (uint64) (random() & 0xFFFF);
	return x;
}

/*
 * Main program.