Function main

common/test/run-gossmap-fp16.c:105–141

/* AUTOGENERATED MOCKS END */

int main(int argc, char *argv[])
{
	/* 5 bit exponent, 11 bit mantissa. */
	u32 exponent, mantissa;

	common_setup(argv[0]);

	/* These can be represented exactly. */
	for (exponent = 0; exponent < (1 << 5); exponent++) {
		for (mantissa = 0; mantissa < (1 << 11); mantissa++) {
			u64 v = ((u64)mantissa << exponent);
			assert(fp16_to_u64(u64_to_fp16(v, false)) == v);
			assert(fp16_to_u64(u64_to_fp16(v, true)) == v);
		}
	}

	/* Now check round up vs down (don't use exponent 32, since that will
	 * overflow). */
	for (exponent = 1; exponent < (1 << 5) - 1; exponent++) {
		/* Too many bits: will require rounding */
		mantissa = (1 << 11) + 1;
		u64 v = ((u64)mantissa << exponent);

		assert(fp16_to_u64(u64_to_fp16(v, false))
		       == ((u64)(mantissa - 1) << exponent));
		assert(fp16_to_u64(u64_to_fp16(v, true))
		       == ((u64)(mantissa + 1) << exponent));
	}

	assert(u64_to_fp16((1ULL << (31 + 11)), false) == 65535);
	assert(u64_to_fp16((1ULL << (31 + 11)), true) == 65535);

	/* Round up works, even if it causes overflow. */
	assert(fp16_to_u64(u64_to_fp16(0xffffffff, true)) == (1ULL << 32));

	common_shutdown();
}