%% options copyright owner = Dirk Krause copyright year = 2016-xxxx license = bsd %% header /** @file dk4fpe.h Floating point exceptions. Note: Including this file disables optimization of floating point operations by use of compiler pragma directives. Use only in those modules in which you want to check for floating point exceptions. This header file should be the last file included by a module. */ /* Pragmas differ on Windows and Unix/Linux to prevent optimization of floating point operations. At least one compiler bails out with error message for unknown pragma directives. */ #ifndef _WIN32 /* +++ !Windows */ #ifdef __SUNPRO_C /* +++ !Windows, SUN workshop compiler */ #if __SUNPRO_C > 0x570 #pragma STDC FENV_ACCESS on #endif /* --- !Windows, SUN workshop compiler */ #else /* +++ !Windows, ! SUN workshop compiler */ #pragma STDC FENV_ACCESS on /* --- !Windows, ! SUN workshop compiler */ #endif /* --- !Windows */ #endif #ifndef DK4CONF_H_INCLUDED #include "dk4conf.h" #endif #ifndef DK4TYPES_H_INCLUDED #include "dk4types.h" #endif #if DK4_HAVE_MATH_H #ifndef MATH_H_INCLUDED #ifdef _WIN32 #define _USE_MATH_DEFINES 1 #endif #include #define MATH_H_INCLUDED 1 #endif #endif #if DK4_HAVE_FLOAT_H #ifndef FLOAT_H_INCLUDED #include #define FLOAT_H_INCLUDED 1 #endif #endif #ifndef _WIN32 #if DK4_HAVE_FENV_H #ifndef FENV_H_INCLUDED #include #define FENV_H_INCLUDED 1 #endif #endif #endif #ifndef DK4ERROR_H_INCLUDED #include "dk4error.h" #endif #ifdef _WIN32 /* +++ Windows */ #pragma fenv_access (on) /* --- Windows */ #endif #ifdef _WIN32 /** Floating point exception set. */ typedef unsigned int dk4_fpe_t; #else /** Floating point exception set. */ typedef int dk4_fpe_t; #endif #ifdef __cplusplus extern "C" { #endif /** Check floating point exception set for errors occured. @param fpe Floating point exception set. @param erp Error report, may be NULL. @return 1 if error exceptions are set, 0 if there is no error condition. Error codes: * DK4_E_MATH_INVALID
if an invalid operation was performed, * DK4_E_MATH_DIVZERO
if a division by zero (or small denominator) occured, * DK4_E_MATH_OVERFLOW
if a range overflow occured (result too large), * DK4_E_MATH_UNDERFLOW
if a range underflow occured (result too small). */ int dk4fpe_check_error(dk4_fpe_t fpe, dk4_er_t *erp); /** Clear floating point exceptions. @param erp Error report, may be NULL. @return 1 on success, 0 on error. Error codes: * DK4_E_NOT_SUPPORTED
if no functions for floating point exceptions are available, * DK4_E_SYSTEM
if the feclearexcept() function indicated an error. */ int dk4fpe_clear(dk4_er_t *erp); /** Obtain floating point exceptions. @param dptr Address of destination variable to store result. @param erp Error report, may be NULL. @return 1 on success, 0 on error. Error codes: * DK4_E_INVALID_ARGUMENTS
if dptr is NULL, * DK4_E_NOT_SUPPORTED
if no functions for floating point exceptions are available. */ int dk4fpe_get(dk4_fpe_t *dptr, dk4_er_t *erp); /** Obtain and clear floating point exceptions. @param dptr Address of destination variable to store result. @param erp Error report, may be NULL. @return 1 on success, 0 on error. Error codes: * DK4_E_INVALID_ARGUMENTS
if dptr is NULL, * DK4_E_NOT_SUPPORTED
if no functions for floating point exceptions are available, * DK4_E_SYSTEM
if the feclearexcept() function indicated an error. */ int dk4fpe_get_clear(dk4_fpe_t *dptr, dk4_er_t *erp); /** Check a double value whether or not it is a finite number (not +/- INF, not NaN). @param d Value to check. @return 1 on success, 0 on error. */ int dk4fpe_is_finite(double d) ; /** Check a double value whether or not it is a normalized number (not +/- INF, not NaN, not denormalized). @param d Value to check. @return 1 on success, 0 on error. */ int dk4fpe_is_normal(double d); #ifdef __cplusplus } #endif %% module #include "dk4fpe.h" #ifdef _WIN32 /** Exception set for errors. */ static const unsigned int dk4fpe_errors = _SW_ZERODIVIDE | _SW_INVALID | _SW_OVERFLOW | _SW_UNDERFLOW; #else /** Exception set for errors. */ static const int dk4fpe_errors = FE_DIVBYZERO | FE_INVALID | FE_OVERFLOW | FE_UNDERFLOW; #endif int dk4fpe_check_error(dk4_fpe_t fpe, dk4_er_t *erp) { int back = 0; if ((dk4_fpe_t)0 != (dk4fpe_errors & fpe)) { back = 1; #ifdef _WIN32 if ((dk4_fpe_t)0 != (_SW_INVALID & fpe)) #else if ((dk4_fpe_t)0 != (FE_INVALID & fpe)) #endif { dk4error_set_simple_error_code(erp, DK4_E_MATH_INVALID); } else { #ifdef _WIN32 if ((dk4_fpe_t)0 != (_SW_ZERODIVIDE & fpe)) #else if ((dk4_fpe_t)0 != (FE_DIVBYZERO & fpe)) #endif { dk4error_set_simple_error_code(erp, DK4_E_MATH_DIVZERO); } else { #ifdef _WIN32 if ((dk4_fpe_t)0 != (_SW_OVERFLOW & fpe)) #else if ((dk4_fpe_t)0 != (FE_OVERFLOW & fpe)) #endif { dk4error_set_simple_error_code(erp, DK4_E_MATH_OVERFLOW); } else { #ifdef _WIN32 if ((dk4_fpe_t)0 != (_SW_UNDERFLOW & fpe)) #else if ((dk4_fpe_t)0 != (FE_UNDERFLOW & fpe)) #endif { dk4error_set_simple_error_code(erp, DK4_E_MATH_UNDERFLOW); } } } } } return back; } int dk4fpe_clear(dk4_er_t *erp) { #ifdef _WIN32 _clearfp(); return 1; #else #if DK4_HAVE_FETESTEXCEPT int back = 0; if (0 == feclearexcept(FE_ALL_EXCEPT)) { back = 1; } else { dk4error_set_simple_error_code(erp, DK4_E_SYSTEM); } return back; #else dk4error_set_simple_error_code(erp, DK4_E_NOT_SUPPORTED); return 0; #endif #endif } int dk4fpe_get(dk4_fpe_t *dptr, dk4_er_t *erp) { int back = 0; if (NULL != dptr) { #ifdef _WIN32 *dptr = (dk4_fpe_t)_statusfp(); back = 1; #else #if DK4_HAVE_FETESTEXCEPT *dptr = (dk4_fpe_t)fetestexcept(FE_ALL_EXCEPT); back = 1; #else dk4error_set_simple_error_code(erp, DK4_E_NOT_SUPPORTED); #endif #endif } else { dk4error_set_simple_error_code(erp, DK4_E_INVALID_ARGUMENTS); } return back; } int dk4fpe_get_clear(dk4_fpe_t *dptr, dk4_er_t *erp) { int back = 0; if (NULL != dptr) { #ifdef _WIN32 *dptr = _clearfp(); back = 1; #else #if DK4_HAVE_FETESTEXCEPT *dptr = (dk4_fpe_t)fetestexcept(FE_ALL_EXCEPT); if (0 == feclearexcept(FE_ALL_EXCEPT)) { back = 1; } else { dk4error_set_simple_error_code(erp, DK4_E_SYSTEM); } #else dk4error_set_simple_error_code(erp, DK4_E_NOT_SUPPORTED); #endif #endif } else { dk4error_set_simple_error_code(erp, DK4_E_INVALID_ARGUMENTS); } return back; } int dk4fpe_is_finite(double d) { int back = 0; #ifdef _WIN32 back = ((0 != _finite(d)) ? 1 : 0); #else back = ((0 != isfinite(d)) ? 1 : 0); #endif return back; } int dk4fpe_is_normal(double d) { int back = 0; #ifdef _WIN32 switch (_fpclass(d)) { case _FPCLASS_NN : case _FPCLASS_NZ : case _FPCLASS_PZ : case _FPCLASS_PN : { back = 1; } break; } #else back = ((0 != isnormal(d)) ? 1 : 0); #endif return back; }