root/test/error/float16_t_overflow.cpp

DEFINITIONS

1. h_assert
2. main

#include "Halide.h"
#include <stdio.h>
#include <cmath>

using namespace Halide;

// FIXME: Why aren't we using a unit test framework for this?
void h_assert(bool condition, const char* msg) {
    if (!condition) {
        printf("FAIL: %s\n", msg);
        abort();
    }
}

int main() {
    // Number is larger than can be represented in half
    // but should be representable in single precision
    const float largeNum = (float)(1<<16);
    h_assert(!std::isnan(largeNum), "largeNum should not be NaN");
    h_assert(!std::isinf(largeNum), "largeNum should not be inf");
    
    // This should fail as it triggers overflow
    float16_t fail(largeNum, RoundingMode::ToNearestTiesToEven);
    
    // Supress -Wunused-but-set-variable
    fail.is_infinity();
    
    printf("Should not be reached!\n");
    return 0;
}