ceil.c File Reference

#include <math.h>
#include <fenv.h>

Include dependency graph for ceil.c:

Macros
#define	ceil_def(type, name, rint_func)

Functions
	ceil_def (float, ceilf, rintf)
	ceil_def (double, ceil, rint)
	ceil_def (long double, ceill, rintl)
void	__ceil_array (const double *v, double *out, int size)

Macro Definition Documentation

ceil_def

#define ceil_def	(		type,
			name,
			rint_func )

Value:

  type name(type f)                                                            \
  {                                                                            \
  __ESBMC_HIDE:;                                                               \
    type result;                                                               \
    int save_round = fegetround();                                             \
    fesetround(FE_UPWARD);                                                     \
    result = rint_func(f);                                                     \
    fesetround(save_round);                                                    \
    return result;                                                             \
  }                                                                            \
                                                                               \
  type __##name(type f)                                                        \
  {                                                                            \
  __ESBMC_HIDE:;                                                               \
    return name(f);                                                            \
  }

Function Documentation

__ceil_array()

void __ceil_array	(	const double *	v,
		double *	out,
		int	size )

ceil_def() [1/3]

ceil_def	(	double	,
		ceil	,
		rint	)

ceil_def() [2/3]

ceil_def	(	float	,
		ceilf	,
		rintf	)

ceil_def() [3/3]

ceil_def	(	long double	,
		ceill	,
		rintl	)