fpclassify.c File Reference

#include <math.h>

Include dependency graph for fpclassify.c:

Macros
#define	classify_return_type   int
#define	classify_def(type, name, isnan_func, isinf_func, isnormal_func)

Functions
	classify_def (float, _fdclass, isnan, isinf, __builtin_isnormal)
	classify_def (float, __fpclassifyf, isnan, isinf, __builtin_isnormal)
	classify_def (double, _dclass, isnan, isinf, __builtin_isnormal)
	classify_def (double, __fpclassify, isnan, isinf, __builtin_isnormal)
	classify_def (double, __fpclassifyd, isnan, isinf, __builtin_isnormal)
	classify_def (long double, _ldclass, isnan, isinf, __builtin_isnormal)
	classify_def (long double, __fpclassifyl, isnan, isinf, __builtin_isnormal)

Macro Definition Documentation

classify_def

#define classify_def	(		type,
			name,
			isnan_func,
			isinf_func,
			isnormal_func )

Value:

  classify_return_type name(type f)                                            \
  {                                                                            \
  __ESBMC_HIDE:;                                                               \
    return isnan_func(f)      ? FP_NAN                                         \
           : isinf_func(f)    ? FP_INFINITE                                    \
           : f == 0           ? FP_ZERO                                        \
           : isnormal_func(f) ? FP_NORMAL                                      \
                              : FP_SUBNORMAL;                                  \
  }

classify_return_type

#define classify_return_type   int

Function Documentation

classify_def() [1/7]

classify_def	(	double	,
		__fpclassify	,
		isnan	,
		isinf	,
		__builtin_isnormal	)

classify_def() [2/7]

classify_def	(	double	,
		__fpclassifyd	,
		isnan	,
		isinf	,
		__builtin_isnormal	)

classify_def() [3/7]

classify_def	(	double	,
		_dclass	,
		isnan	,
		isinf	,
		__builtin_isnormal	)

classify_def() [4/7]

classify_def	(	float	,
		__fpclassifyf	,
		isnan	,
		isinf	,
		__builtin_isnormal	)

classify_def() [5/7]

classify_def	(	float	,
		_fdclass	,
		isnan	,
		isinf	,
		__builtin_isnormal	)

classify_def() [6/7]

classify_def	(	long double	,
		__fpclassifyl	,
		isnan	,
		isinf	,
		__builtin_isnormal	)

classify_def() [7/7]

classify_def	(	long double	,
		_ldclass	,
		isnan	,
		isinf	,
		__builtin_isnormal	)