rint.c File Reference

#include <math.h>

Include dependency graph for rint.c:

Macros
#define	rint_def(ret_type, type, name, isnan_func)

Functions
	rint_def (float, float, rintf, nearbyintf)
	rint_def (double, double, rint, nearbyint)
	rint_def (long double, long double, rintl, nearbyintl)
	rint_def (long, float, lrintf, nearbyintf)
	rint_def (long, double, lrint, nearbyint)
	rint_def (long, long double, lrintl, nearbyintl)
	rint_def (long long, float, llrintf, nearbyintf)
	rint_def (long long, double, llrint, nearbyint)
	rint_def (long long, long double, llrintl, nearbyintl)

Macro Definition Documentation

rint_def

#define rint_def	(		ret_type,
			type,
			name,
			isnan_func )

Value:

  ret_type name(type f)                                                        \
  {                                                                            \
  __ESBMC_HIDE:;                                                               \
    return isnan_func(f);                                                      \
  }                                                                            \
                                                                               \
  ret_type __##name(type f)                                                    \
  {                                                                            \
  __ESBMC_HIDE:;                                                               \
    return name(f);                                                            \
  }

Function Documentation

rint_def() [1/9]

rint_def	(	double	,
		double	,
		rint	,
		nearbyint	)

rint_def() [2/9]

rint_def	(	float	,
		float	,
		rintf	,
		nearbyintf	)

rint_def() [3/9]

rint_def	(	long double	,
		long double	,
		rintl	,
		nearbyintl	)

rint_def() [4/9]

rint_def	(	long long	,
		double	,
		llrint	,
		nearbyint	)

rint_def() [5/9]

rint_def	(	long long	,
		float	,
		llrintf	,
		nearbyintf	)

rint_def() [6/9]

rint_def	(	long long	,
		long double	,
		llrintl	,
		nearbyintl	)

rint_def() [7/9]

rint_def	(	long	,
		double	,
		lrint	,
		nearbyint	)

rint_def() [8/9]

rint_def	(	long	,
		float	,
		lrintf	,
		nearbyintf	)

rint_def() [9/9]

rint_def	(	long	,
		long double	,
		lrintl	,
		nearbyintl	)