xref: /dflybsd-src/contrib/gmp/mpz/cmpabs_d.c (revision 86d7f5d305c6adaa56ff4582ece9859d73106103)
186d7f5d3SJohn Marino /* mpz_cmpabs_d -- compare absolute values of mpz and double.
286d7f5d3SJohn Marino 
386d7f5d3SJohn Marino Copyright 2001, 2002, 2003 Free Software Foundation, Inc.
486d7f5d3SJohn Marino 
586d7f5d3SJohn Marino This file is part of the GNU MP Library.
686d7f5d3SJohn Marino 
786d7f5d3SJohn Marino The GNU MP Library is free software; you can redistribute it and/or modify
886d7f5d3SJohn Marino it under the terms of the GNU Lesser General Public License as published by
986d7f5d3SJohn Marino the Free Software Foundation; either version 3 of the License, or (at your
1086d7f5d3SJohn Marino option) any later version.
1186d7f5d3SJohn Marino 
1286d7f5d3SJohn Marino The GNU MP Library is distributed in the hope that it will be useful, but
1386d7f5d3SJohn Marino WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
1486d7f5d3SJohn Marino or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public
1586d7f5d3SJohn Marino License for more details.
1686d7f5d3SJohn Marino 
1786d7f5d3SJohn Marino You should have received a copy of the GNU Lesser General Public License
1886d7f5d3SJohn Marino along with the GNU MP Library.  If not, see http://www.gnu.org/licenses/.  */
1986d7f5d3SJohn Marino 
2086d7f5d3SJohn Marino #include "config.h"
2186d7f5d3SJohn Marino 
2286d7f5d3SJohn Marino #if HAVE_FLOAT_H
2386d7f5d3SJohn Marino #include <float.h>  /* for DBL_MAX */
2486d7f5d3SJohn Marino #endif
2586d7f5d3SJohn Marino 
2686d7f5d3SJohn Marino #include "gmp.h"
2786d7f5d3SJohn Marino #include "gmp-impl.h"
2886d7f5d3SJohn Marino 
2986d7f5d3SJohn Marino 
3086d7f5d3SJohn Marino #define RETURN_CMP(zl, dl)              \
3186d7f5d3SJohn Marino   do {                                  \
3286d7f5d3SJohn Marino     zlimb = (zl);                       \
3386d7f5d3SJohn Marino     dlimb = (dl);                       \
3486d7f5d3SJohn Marino     if (zlimb != dlimb)                 \
3586d7f5d3SJohn Marino       return (zlimb >= dlimb ? 1 : -1); \
3686d7f5d3SJohn Marino   } while (0)
3786d7f5d3SJohn Marino 
3886d7f5d3SJohn Marino #define RETURN_NONZERO(ptr, size, val)          \
3986d7f5d3SJohn Marino   do {                                          \
4086d7f5d3SJohn Marino     mp_size_t __i;                              \
4186d7f5d3SJohn Marino     for (__i = (size)-1; __i >= 0; __i--)       \
4286d7f5d3SJohn Marino       if ((ptr)[__i] != 0)                      \
4386d7f5d3SJohn Marino         return val;                             \
4486d7f5d3SJohn Marino     return 0;                                   \
4586d7f5d3SJohn Marino   } while (0)
4686d7f5d3SJohn Marino 
4786d7f5d3SJohn Marino 
4886d7f5d3SJohn Marino int
mpz_cmpabs_d(mpz_srcptr z,double d)4986d7f5d3SJohn Marino mpz_cmpabs_d (mpz_srcptr z, double d)
5086d7f5d3SJohn Marino {
5186d7f5d3SJohn Marino   mp_limb_t  darray[LIMBS_PER_DOUBLE], zlimb, dlimb;
5286d7f5d3SJohn Marino   mp_srcptr  zp;
5386d7f5d3SJohn Marino   mp_size_t  zsize;
5486d7f5d3SJohn Marino   int        dexp;
5586d7f5d3SJohn Marino 
5686d7f5d3SJohn Marino   /* d=NaN is an invalid operation, there's no sensible return value.
5786d7f5d3SJohn Marino      d=Inf or -Inf is always bigger than z.  */
5886d7f5d3SJohn Marino   DOUBLE_NAN_INF_ACTION (d, __gmp_invalid_operation (), return -1);
5986d7f5d3SJohn Marino 
6086d7f5d3SJohn Marino   /* 1. Check for either operand zero. */
6186d7f5d3SJohn Marino   zsize = SIZ(z);
6286d7f5d3SJohn Marino   if (d == 0.0)
6386d7f5d3SJohn Marino     return (zsize != 0);
6486d7f5d3SJohn Marino   if (zsize == 0)
6586d7f5d3SJohn Marino     return (d != 0 ? -1 : 0);
6686d7f5d3SJohn Marino 
6786d7f5d3SJohn Marino   /* 2. Ignore signs. */
6886d7f5d3SJohn Marino   zsize = ABS(zsize);
6986d7f5d3SJohn Marino   d = ABS(d);
7086d7f5d3SJohn Marino 
7186d7f5d3SJohn Marino   /* 3. Small d, knowing abs(z) >= 1. */
7286d7f5d3SJohn Marino   if (d < 1.0)
7386d7f5d3SJohn Marino     return 1;
7486d7f5d3SJohn Marino 
7586d7f5d3SJohn Marino   dexp = __gmp_extract_double (darray, d);
7686d7f5d3SJohn Marino   ASSERT (dexp >= 1);
7786d7f5d3SJohn Marino 
7886d7f5d3SJohn Marino   /* 4. Check for different high limb positions. */
7986d7f5d3SJohn Marino   if (zsize != dexp)
8086d7f5d3SJohn Marino     return (zsize >= dexp ? 1 : -1);
8186d7f5d3SJohn Marino 
8286d7f5d3SJohn Marino   /* 5. Limb data. */
8386d7f5d3SJohn Marino   zp = PTR(z);
8486d7f5d3SJohn Marino 
8586d7f5d3SJohn Marino #if LIMBS_PER_DOUBLE == 2
8686d7f5d3SJohn Marino   RETURN_CMP (zp[zsize-1], darray[1]);
8786d7f5d3SJohn Marino   if (zsize == 1)
8886d7f5d3SJohn Marino     return (darray[0] != 0 ? -1 : 0);
8986d7f5d3SJohn Marino 
9086d7f5d3SJohn Marino   RETURN_CMP (zp[zsize-2], darray[0]);
9186d7f5d3SJohn Marino   RETURN_NONZERO (zp, zsize-2, 1);
9286d7f5d3SJohn Marino #endif
9386d7f5d3SJohn Marino 
9486d7f5d3SJohn Marino #if LIMBS_PER_DOUBLE == 3
9586d7f5d3SJohn Marino   RETURN_CMP (zp[zsize-1], darray[2]);
9686d7f5d3SJohn Marino   if (zsize == 1)
9786d7f5d3SJohn Marino     return ((darray[0] | darray[1]) != 0 ? -1 : 0);
9886d7f5d3SJohn Marino 
9986d7f5d3SJohn Marino   RETURN_CMP (zp[zsize-2], darray[1]);
10086d7f5d3SJohn Marino   if (zsize == 2)
10186d7f5d3SJohn Marino     return (darray[0] != 0 ? -1 : 0);
10286d7f5d3SJohn Marino 
10386d7f5d3SJohn Marino   RETURN_CMP (zp[zsize-3], darray[0]);
10486d7f5d3SJohn Marino   RETURN_NONZERO (zp, zsize-3, 1);
10586d7f5d3SJohn Marino #endif
10686d7f5d3SJohn Marino 
10786d7f5d3SJohn Marino #if LIMBS_PER_DOUBLE >= 4
10886d7f5d3SJohn Marino   {
10986d7f5d3SJohn Marino     int i;
11086d7f5d3SJohn Marino     for (i = 1; i <= LIMBS_PER_DOUBLE; i++)
11186d7f5d3SJohn Marino       {
11286d7f5d3SJohn Marino 	RETURN_CMP (zp[zsize-i], darray[LIMBS_PER_DOUBLE-i]);
11386d7f5d3SJohn Marino 	if (i >= zsize)
11486d7f5d3SJohn Marino 	  RETURN_NONZERO (darray, LIMBS_PER_DOUBLE-i, -1);
11586d7f5d3SJohn Marino       }
11686d7f5d3SJohn Marino     RETURN_NONZERO (zp, zsize-LIMBS_PER_DOUBLE, 1);
11786d7f5d3SJohn Marino   }
11886d7f5d3SJohn Marino #endif
11986d7f5d3SJohn Marino }
120