2003-03-14 13:48:18 +08:00
|
|
|
/* Include gmp-mparam.h first, such that definitions of _SHORT_LIMB
|
|
|
|
and _LONG_LONG_LIMB in it can take effect into gmp.h. */
|
|
|
|
#include <gmp-mparam.h>
|
|
|
|
|
2000-12-06 01:34:28 +08:00
|
|
|
#ifndef __GMP_H__
|
|
|
|
|
|
|
|
#include <stdlib/gmp.h>
|
|
|
|
|
2016-11-03 22:26:52 +08:00
|
|
|
#include <bits/floatn.h>
|
|
|
|
|
2017-10-02 06:15:15 +08:00
|
|
|
#ifndef _ISOMAC
|
2000-12-06 01:34:28 +08:00
|
|
|
/* Now define the internal interfaces. */
|
|
|
|
extern mp_size_t __mpn_extract_double (mp_ptr res_ptr, mp_size_t size,
|
|
|
|
int *expt, int *is_neg,
|
2017-10-02 06:15:15 +08:00
|
|
|
double value) attribute_hidden;
|
2000-12-06 01:34:28 +08:00
|
|
|
|
|
|
|
extern mp_size_t __mpn_extract_long_double (mp_ptr res_ptr, mp_size_t size,
|
|
|
|
int *expt, int *is_neg,
|
2017-10-02 06:15:15 +08:00
|
|
|
long double value)
|
|
|
|
attribute_hidden;
|
2000-12-06 01:34:28 +08:00
|
|
|
|
2016-11-03 22:26:52 +08:00
|
|
|
#if __HAVE_DISTINCT_FLOAT128
|
|
|
|
extern mp_size_t __mpn_extract_float128 (mp_ptr res_ptr, mp_size_t size,
|
|
|
|
int *expt, int *is_neg,
|
2017-10-02 06:15:15 +08:00
|
|
|
_Float128 value)
|
|
|
|
attribute_hidden;
|
2016-11-03 22:26:52 +08:00
|
|
|
#endif
|
|
|
|
|
2017-10-02 06:15:15 +08:00
|
|
|
extern float __mpn_construct_float (mp_srcptr frac_ptr, int expt, int sign)
|
|
|
|
attribute_hidden;
|
2000-12-06 01:34:28 +08:00
|
|
|
|
|
|
|
extern double __mpn_construct_double (mp_srcptr frac_ptr, int expt,
|
2017-10-02 06:15:15 +08:00
|
|
|
int negative) attribute_hidden;
|
2000-12-06 01:34:28 +08:00
|
|
|
|
|
|
|
extern long double __mpn_construct_long_double (mp_srcptr frac_ptr, int expt,
|
2017-10-02 06:15:15 +08:00
|
|
|
int sign)
|
|
|
|
attribute_hidden;
|
2000-12-06 01:34:28 +08:00
|
|
|
|
2016-07-26 02:10:00 +08:00
|
|
|
#if __HAVE_DISTINCT_FLOAT128
|
|
|
|
extern _Float128 __mpn_construct_float128 (mp_srcptr frac_ptr, int expt,
|
2017-10-02 06:15:15 +08:00
|
|
|
int sign) attribute_hidden;
|
|
|
|
#endif
|
|
|
|
|
2016-07-26 02:10:00 +08:00
|
|
|
#endif
|
2000-12-06 01:34:28 +08:00
|
|
|
|
|
|
|
#endif
|