=================================================================== RCS file: /home/cvs/OpenXM_contrib/gmp/mpfr/Attic/mpfr-impl.h,v retrieving revision 1.1 retrieving revision 1.1.1.2 diff -u -p -r1.1 -r1.1.1.2 --- OpenXM_contrib/gmp/mpfr/Attic/mpfr-impl.h 2000/09/09 14:12:19 1.1 +++ OpenXM_contrib/gmp/mpfr/Attic/mpfr-impl.h 2003/08/25 16:06:06 1.1.1.2 @@ -1,58 +1,208 @@ /* Utilities for MPFR developers, not exported. -Copyright (C) 1999 PolKA project, Inria Lorraine and Loria +Copyright 1999, 2000, 2001, 2002 Free Software Foundation, Inc. This file is part of the MPFR Library. The MPFR Library is free software; you can redistribute it and/or modify -it under the terms of the GNU Library General Public License as published by -the Free Software Foundation; either version 2 of the License, or (at your +it under the terms of the GNU Lesser General Public License as published by +the Free Software Foundation; either version 2.1 of the License, or (at your option) any later version. The MPFR Library is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY -or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Library General Public +or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details. -You should have received a copy of the GNU Library General Public License +You should have received a copy of the GNU Lesser General Public License along with the MPFR Library; see the file COPYING.LIB. If not, write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */ -#include +/* Test if X (positive) is a power of 2 */ -/* generate a random double using the whole range of possible values, - including denormalized numbers, NaN, infinities, ... */ -double drand() -{ - volatile double d; int *i; +#define IS_POW2(X) (((X) & ((X) - 1)) == 0) +#define NOT_POW2(X) (((X) & ((X) - 1)) != 0) - i = (int*) &d; - i[0] = mrand48(); - i[1] = mrand48(); - return d; -} +/* This unsigned type must correspond to the signed one defined in gmp.h */ +#if defined (_CRAY) && ! defined (_CRAYMPP) +typedef unsigned int mp_exp_unsigned_t; +typedef unsigned int mp_size_unsigned_t; +#else +typedef unsigned long int mp_exp_unsigned_t; +typedef unsigned long int mp_size_unsigned_t; +#endif -/* returns the number of ulp's between a and b */ -int ulp(a,b) double a,b; -{ - double eps=1.1102230246251565404e-16; /* 2^(-53) */ - if (a==0.0) { - if (b==0.0) return 0; - else if (b<0.0) return 2147483647; - else return -2147483647; - } - b = (a-b)/a; - if (b>0) - return (int) floor(b/eps); - else - return (int) ceil(b/eps); -} +#define MP_EXP_T_MAX ((mp_exp_t) ((~ (mp_exp_unsigned_t) 0) >> 1)) +#define MP_EXP_T_MIN (-MP_EXP_T_MAX-1) -/* return double m*2^e */ -double dbl(m,e) double m; int e; -{ - if (e>=0) while (e-->0) m *= 2.0; - else while (e++<0) m /= 2.0; - return m; +#define MP_LIMB_T_ONE ((mp_limb_t) 1) + +#if (BITS_PER_MP_LIMB & (BITS_PER_MP_LIMB - 1)) +#error "BITS_PER_MP_LIMB must be a power of 2" +#endif + +#define MPFR_INTPREC_MAX (ULONG_MAX & ~(unsigned long) (BITS_PER_MP_LIMB - 1)) + +/* Assertions */ + +/* Compile with -DWANT_ASSERT to check all assert statements */ + +/* MPFR_ASSERTN(expr): assertions that should always be checked */ +/* #define MPFR_ASSERTN(expr) ASSERT_ALWAYS(expr) */ +#define MPFR_ASSERTN(expr) ((expr) ? (void) 0 : (void) ASSERT_FAIL (expr)) + +/* MPFR_ASSERTD(expr): assertions that should be checked when testing */ +/* #define MPFR_ASSERTD(expr) ASSERT(expr) */ +#if WANT_ASSERT +#define MPFR_ASSERTD(expr) ASSERT_ALWAYS (expr) +#else +#define MPFR_ASSERTD(expr) ((void) 0) +#endif + +/* Definition of constants */ + +#define LOG2 0.69314718055994528622 /* log(2) rounded to zero on 53 bits */ +#define ALPHA 4.3191365662914471407 /* a+2 = a*log(a), rounded to +infinity */ + +/* Safe absolute value (to avoid possible integer overflow) */ + +#define SAFE_ABS(type,x) ((x) >= 0 ? (unsigned type)(x) : -(unsigned type)(x)) + +/* macros for doubles, based on gmp union ieee_double_extract */ + +typedef union ieee_double_extract Ieee_double_extract; + +#define DOUBLE_ISNANorINF(x) (((Ieee_double_extract *)&(x))->s.exp == 0x7ff) +#define DOUBLE_ISINF(x) (DOUBLE_ISNANorINF(x) && \ + (((Ieee_double_extract *)&(x))->s.manl == 0) && \ + (((Ieee_double_extract *)&(x))->s.manh == 0)) +#define DOUBLE_ISNAN(x) (DOUBLE_ISNANorINF(x) && \ + ((((Ieee_double_extract *)&(x))->s.manl != 0) || \ + (((Ieee_double_extract *)&(x))->s.manh != 0))) + +#define DBL_POS_INF (1.0/0.0) +#define DBL_NEG_INF (-1.0/0.0) +#define DBL_NAN (0.0/0.0) + +/* bit 31 of _mpfr_size is used for sign, + bit 30 of _mpfr_size is used for Nan flag, + bit 29 of _mpfr_size is used for Inf flag, + remaining bits are used to store the number of allocated limbs */ +#define MPFR_CLEAR_FLAGS(x) \ + (((x) -> _mpfr_size &= ~((mp_size_unsigned_t) 3 << 29))) +#define MPFR_IS_NAN(x) (((x)->_mpfr_size >> 30) & 1) +#define MPFR_SET_NAN(x) ((x)->_mpfr_size |= ((mp_size_unsigned_t) 1 << 30)) +#define MPFR_CLEAR_NAN(x) \ + (((x) -> _mpfr_size &= ~((mp_size_unsigned_t) 1 << 30))) +#define MPFR_IS_INF(x) (((x)->_mpfr_size >> 29) & 1) +#define MPFR_SET_INF(x) ((x)->_mpfr_size |= ((mp_size_unsigned_t) 1 << 29)) +#define MPFR_CLEAR_INF(x) ((x)->_mpfr_size &= ~((mp_size_unsigned_t) 1 << 29)) +#define MPFR_IS_FP(x) ((((x) -> _mpfr_size >> 29) & 3) == 0) +#define MPFR_ABSSIZE(x) \ + ((x)->_mpfr_size & (((mp_size_unsigned_t) 1 << 29) - 1)) +#define MPFR_SET_ABSSIZE(x, n) \ + ((x)->_mpfr_size = ((x)->_mpfr_size & ((mp_size_unsigned_t) 7 << 29)) \ + | (mp_size_unsigned_t) (n)) +#define MPFR_SIZE(x) ((x)->_mpfr_size) +#define MPFR_EXP(x) ((x)->_mpfr_exp) +#define MPFR_MANT(x) ((x)->_mpfr_d) +#define MPFR_ISNONNEG(x) (MPFR_NOTZERO((x)) && MPFR_SIGN(x) >= 0) +#define MPFR_ISNEG(x) (MPFR_NOTZERO((x)) && MPFR_SIGN(x) == -1) +#define MPFR_SET_POS(x) (MPFR_SIZE(x) &= ~(((mp_size_unsigned_t) 1) << 31)) +#define MPFR_SET_NEG(x) (MPFR_SIZE(x) |= (((mp_size_unsigned_t) 1) << 31)) +#define MPFR_CHANGE_SIGN(x) (MPFR_SIZE(x) ^= (((mp_size_unsigned_t) 1) << 31)) +#define MPFR_SET_SAME_SIGN(x, y) \ + (MPFR_SIGN((x)) != MPFR_SIGN((y)) && (MPFR_CHANGE_SIGN((x)), 0)) +#define MPFR_PREC(x) ((x)->_mpfr_prec) +#define MPFR_NOTZERO(x) \ + (MPFR_MANT(x)[(MPFR_PREC(x)-1)/BITS_PER_MP_LIMB] != (mp_limb_t) 0) +#define MPFR_IS_ZERO(x) \ + (MPFR_MANT(x)[(MPFR_PREC(x)-1)/BITS_PER_MP_LIMB] == (mp_limb_t) 0) +#define MPFR_SET_ZERO(x) \ + (MPFR_MANT(x)[(MPFR_PREC(x)-1)/BITS_PER_MP_LIMB] = (mp_limb_t) 0) +#define MPFR_ESIZE(x) \ + ((MPFR_PREC((x)) - 1) / BITS_PER_MP_LIMB + 1); +#define MPFR_EVEN_INEX 2 + +/* When returning the ternary inexact value, ALWAYS use one of the + following two macros, unless the flag comes from another function + returning the ternary inexact value */ +#define MPFR_RET(I) return \ + (I) ? ((__mpfr_flags |= MPFR_FLAGS_INEXACT), (I)) : 0 +#define MPFR_RET_NAN return (__mpfr_flags |= MPFR_FLAGS_NAN), 0 + +/* The following macro restores the exponent range and the flags, + checks that the result is in the exponent range and returns the + ternary inexact value. */ +#define MPFR_RESTORE_RET(inex, x, rnd_mode) \ + do \ + { \ + int inex_cr; \ + mpfr_restore_emin_emax(); \ + inex_cr = mpfr_check_range(x, rnd_mode); \ + if (inex_cr) \ + return inex_cr; /* underflow or overflow */ \ + MPFR_RET(inex); \ + } \ + while(0) + +/* Memory gestion */ + +/* temporary allocate s limbs at xp, and initialize mpfr variable x */ +#define MPFR_INIT(xp, x, p, s) \ + (xp = (mp_ptr) TMP_ALLOC((size_t) (s) * BYTES_PER_MP_LIMB), \ + MPFR_PREC(x) = (p), \ + MPFR_MANT(x) = (xp), \ + MPFR_SIZE(x) = (s), \ + MPFR_EXP(x) = 0) +/* same when xp is already allocated */ +#define MPFR_INIT1(xp, x, p, s) \ + (MPFR_PREC(x) = (p), MPFR_MANT(x) = (xp), MPFR_SIZE(x) = (s)) + +#ifndef _PROTO +#if defined (__STDC__) || defined (__cplusplus) +#define _PROTO(x) x +#else +#define _PROTO(x) () +#endif +#endif + +#if defined (__cplusplus) +extern "C" { +#endif + +extern mp_prec_t __mpfr_const_log2_prec; +int mpfr_set_underflow _PROTO ((mpfr_ptr, mp_rnd_t, int)); +int mpfr_set_overflow _PROTO ((mpfr_ptr, mp_rnd_t, int)); +void mpfr_save_emin_emax _PROTO ((void)); +void mpfr_restore_emin_emax _PROTO ((void)); +int mpfr_add1 _PROTO ((mpfr_ptr, mpfr_srcptr, mpfr_srcptr, + mp_rnd_t, mp_exp_unsigned_t)); +int mpfr_sub1 _PROTO ((mpfr_ptr, mpfr_srcptr, mpfr_srcptr, + mp_rnd_t, int)); +int mpfr_round_raw_generic _PROTO ((mp_limb_t *, mp_limb_t *, mp_prec_t, int, + mp_prec_t, mp_rnd_t, int *, int)); +int mpfr_can_round_raw _PROTO ((mp_limb_t *, mp_size_t, int, mp_exp_t, + mp_rnd_t, mp_rnd_t, mp_prec_t)); +double mpfr_get_d3 _PROTO ((mpfr_srcptr, mp_exp_t, mp_rnd_t)); +int mpfr_cmp_abs _PROTO ((mpfr_srcptr, mpfr_srcptr)); +int mpfr_cmp2 _PROTO ((mpfr_srcptr, mpfr_srcptr, mp_prec_t *)); +long _mpfr_ceil_log2 _PROTO ((double)); +long _mpfr_floor_log2 _PROTO ((double)); +double _mpfr_ceil_exp2 _PROTO ((double)); +unsigned long _mpfr_isqrt _PROTO ((unsigned long)); +unsigned long _mpfr_cuberoot _PROTO ((unsigned long)); +int mpfr_exp_2 _PROTO ((mpfr_ptr, mpfr_srcptr, mp_rnd_t)); +int mpfr_exp3 _PROTO ((mpfr_ptr, mpfr_srcptr, mp_rnd_t)); + +#define mpfr_round_raw(yp, xp, xprec, neg, yprec, r, inexp) \ + mpfr_round_raw_generic((yp), (xp), (xprec), (neg), (yprec), (r), (inexp), 0) + +#define mpfr_round_raw2(xp, xn, neg, r, prec) \ + mpfr_round_raw_generic(0, (xp), (xn) * BITS_PER_MP_LIMB, (neg), \ + (prec), (r), 0, 1); + +#if defined (__cplusplus) } +#endif