copysign.c File Reference

#include <math.h>

Include dependency graph for copysign.c:

Macros
#define	copysign_def(type, name, signbit_func, abs_func)

Functions
	copysign_def (float, copysignf, signbit, fabsf)
	copysign_def (double, copysign, signbit, fabs)
	copysign_def (long double, copysignl, signbit, fabsl)

Macro Definition Documentation

copysign_def

#define copysign_def	(		type,
			name,
			signbit_func,
			abs_func )

Value:

  type name(type x, type y)                                                    \
  {                                                                            \
  __ESBMC_HIDE:;                                                               \
    type abs = abs_func(x);                                                    \
    return (signbit_func(y)) ? -abs : abs;                                     \
  }                                                                            \
                                                                               \
  type __##name(type x, type y)                                                \
  {                                                                            \
  __ESBMC_HIDE:;                                                               \
    return name(x, y);                                                         \
  }

Function Documentation

copysign_def() [1/3]

copysign_def	(	double	,
		copysign	,
		signbit	,
		fabs	)

copysign_def() [2/3]

copysign_def	(	float	,
		copysignf	,
		signbit	,
		fabsf	)

copysign_def() [3/3]

copysign_def	(	long double	,
		copysignl	,
		signbit	,
		fabsl	)