summaryrefslogtreecommitdiff
path: root/Build/source/libs/mpfr/mpfr-src/src/next.c
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/libs/mpfr/mpfr-src/src/next.c')
-rw-r--r--Build/source/libs/mpfr/mpfr-src/src/next.c159
1 files changed, 0 insertions, 159 deletions
diff --git a/Build/source/libs/mpfr/mpfr-src/src/next.c b/Build/source/libs/mpfr/mpfr-src/src/next.c
deleted file mode 100644
index e119d866d2a..00000000000
--- a/Build/source/libs/mpfr/mpfr-src/src/next.c
+++ /dev/null
@@ -1,159 +0,0 @@
-/* mpfr_nextabove, mpfr_nextbelow, mpfr_nexttoward -- next representable
-floating-point number
-
-Copyright 1999, 2001-2020 Free Software Foundation, Inc.
-Contributed by the AriC and Caramba projects, INRIA.
-
-This file is part of the GNU MPFR Library.
-
-The GNU MPFR Library is free software; you can redistribute it and/or modify
-it under the terms of the GNU Lesser General Public License as published by
-the Free Software Foundation; either version 3 of the License, or (at your
-option) any later version.
-
-The GNU 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 Lesser General Public
-License for more details.
-
-You should have received a copy of the GNU Lesser General Public License
-along with the GNU MPFR Library; see the file COPYING.LESSER. If not, see
-https://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc.,
-51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. */
-
-/* Note concerning the exceptions: In case of NaN result, the NaN flag is
- * set as usual. No underflow or overflow is generated (this contradicts
- * the obsolete IEEE 754-1985 standard for Nextafter, but conforms to the
- * current standard IEEE 754-2008 for nextUp and nextDown).
- */
-
-#include "mpfr-impl.h"
-
-void
-mpfr_nexttozero (mpfr_ptr x)
-{
- if (MPFR_UNLIKELY (MPFR_IS_SINGULAR (x)))
- {
- if (MPFR_IS_INF (x))
- {
- mpfr_setmax (x, __gmpfr_emax);
- }
- else
- {
- MPFR_ASSERTN (MPFR_IS_ZERO (x));
- MPFR_CHANGE_SIGN(x);
- mpfr_setmin (x, __gmpfr_emin);
- }
- }
- else
- {
- mp_size_t xn;
- int sh;
- mp_limb_t *xp;
-
- xn = MPFR_LIMB_SIZE (x);
- MPFR_UNSIGNED_MINUS_MODULO (sh, MPFR_PREC(x));
- xp = MPFR_MANT(x);
- mpn_sub_1 (xp, xp, xn, MPFR_LIMB_ONE << sh);
- if (MPFR_UNLIKELY (MPFR_LIMB_MSB (xp[xn-1]) == 0))
- { /* was an exact power of two: not normalized any more,
- thus do not use MPFR_GET_EXP. */
- mpfr_exp_t exp = MPFR_EXP (x);
- if (MPFR_UNLIKELY (exp == __gmpfr_emin))
- MPFR_SET_ZERO(x);
- else
- {
- MPFR_SET_EXP (x, exp - 1);
- /* The following is valid whether xn = 1 or xn > 1. */
- xp[xn-1] |= MPFR_LIMB_HIGHBIT;
- }
- }
- }
-}
-
-void
-mpfr_nexttoinf (mpfr_ptr x)
-{
- if (MPFR_UNLIKELY (MPFR_IS_SINGULAR (x)))
- {
- if (MPFR_IS_ZERO (x))
- mpfr_setmin (x, __gmpfr_emin);
- }
- else
- {
- mp_size_t xn;
- int sh;
- mp_limb_t *xp;
-
- xn = MPFR_LIMB_SIZE (x);
- MPFR_UNSIGNED_MINUS_MODULO (sh, MPFR_PREC(x));
- xp = MPFR_MANT(x);
- if (MPFR_UNLIKELY (mpn_add_1 (xp, xp, xn, MPFR_LIMB_ONE << sh)))
- /* got 1.0000... */
- {
- mpfr_exp_t exp = MPFR_EXP (x);
- if (MPFR_UNLIKELY (exp == __gmpfr_emax))
- MPFR_SET_INF (x);
- else
- {
- MPFR_SET_EXP (x, exp + 1);
- xp[xn-1] = MPFR_LIMB_HIGHBIT;
- }
- }
- }
-}
-
-void
-mpfr_nextabove (mpfr_ptr x)
-{
- if (MPFR_UNLIKELY(MPFR_IS_NAN(x)))
- {
- __gmpfr_flags |= MPFR_FLAGS_NAN;
- return;
- }
- if (MPFR_IS_NEG(x))
- mpfr_nexttozero (x);
- else
- mpfr_nexttoinf (x);
-}
-
-void
-mpfr_nextbelow (mpfr_ptr x)
-{
- if (MPFR_UNLIKELY(MPFR_IS_NAN(x)))
- {
- __gmpfr_flags |= MPFR_FLAGS_NAN;
- return;
- }
-
- if (MPFR_IS_NEG(x))
- mpfr_nexttoinf (x);
- else
- mpfr_nexttozero (x);
-}
-
-void
-mpfr_nexttoward (mpfr_ptr x, mpfr_srcptr y)
-{
- int s;
-
- if (MPFR_UNLIKELY(MPFR_IS_NAN(x)))
- {
- __gmpfr_flags |= MPFR_FLAGS_NAN;
- return;
- }
- else if (MPFR_UNLIKELY(MPFR_IS_NAN(x) || MPFR_IS_NAN(y)))
- {
- MPFR_SET_NAN(x);
- __gmpfr_flags |= MPFR_FLAGS_NAN;
- return;
- }
-
- s = mpfr_cmp (x, y);
- if (s == 0)
- return;
- else if (s < 0)
- mpfr_nextabove (x);
- else
- mpfr_nextbelow (x);
-}