fdim.c File Reference

#include <math.h>

Include dependency graph for fdim.c:

Macros
#define	fdim_def(type, name, isnan_func)

Functions
	fdim_def (float, fdimf, isnan)
	fdim_def (double, fdim, isnan)
	fdim_def (long double, fdiml, isnan)

Macro Definition Documentation

fdim_def

#define fdim_def	(		type,
			name,
			isnan_func )

Value:

  type name(type x, type y)                                                    \
  {                                                                            \
  __ESBMC_HIDE:;                                                               \
    if (isnan_func(x) || isnan_func(y))                                        \
      return NAN;                                                              \
                                                                               \
    return (x > y ? x - y : 0.0);                                              \
  }                                                                            \
                                                                               \
  type __##name(type x, type y)                                                \
  {                                                                            \
  __ESBMC_HIDE:;                                                               \
    return name(x, y);                                                         \
  }

Function Documentation

fdim_def() [1/3]

fdim_def	(	double	,
		fdim	,
		isnan	)

fdim_def() [2/3]

fdim_def	(	float	,
		fdimf	,
		isnan	)

fdim_def() [3/3]

fdim_def	(	long double	,
		fdiml	,
		isnan	)