Function test_known_float16

tests/src/engine/test_float.cpp:65–92

}

bool test_known_float16()
{
    // See https://en.wikipedia.org/wiki/Half-precision_floating-point_format#Half_precision_examples
    const float inv1024 = 1.f / 1024.f;
    const float smallestNormal = powf(2.f, -14.f);

    using f32lim = std::numeric_limits<float>;
    using f16lim = std::numeric_limits<float16_t>;

    bool pass = true;
    pass &= check_known_float16(0.f, 0);
    pass &= check_known_float16(smallestNormal * inv1024 * 0.5f, 0); // underflow
    pass &= check_known_float16(smallestNormal * inv1024, f16lim::denorm_min().bits);
    pass &= check_known_float16(smallestNormal * inv1024 * 1023.f, 0x03ff);
    pass &= check_known_float16(1.f / 3.f, 0x3555);
    pass &= check_known_float16(0.5f * (1.f + 1023.f / 1024.f), 0x3bff);
    pass &= check_known_float16(1.f, 0x3c00);
    pass &= check_known_float16(1.f + inv1024, 0x3c01);
    pass &= check_known_float16(65504.f, f16lim::max().bits); // largest finite number
    pass &= check_known_float16(f32lim::infinity(), f16lim::infinity().bits);
    pass &= check_known_float16(-f32lim::infinity(), 0xfc00);
    pass &= check_known_float16(f32lim::quiet_NaN(), f16lim::quiet_NaN().bits);
    pass &= check_known_float16(f32lim::signaling_NaN(), f16lim::quiet_NaN().bits); // no signaling NaN here
    pass &= check_known_float16(65519.f, f16lim::max().bits); // not quite overflow to Inf
    pass &= check_known_float16(65520.f, f16lim::infinity().bits); // overflow to Inf
    pass &= check_known_float16(1000000.f, f16lim::infinity().bits); // overflow to Inf
    return pass;
}

bool test_float16_vectors()
{