vasilito
facf0c92e0
Red Bear OS is a full fork. All sources must be available from git clone with zero network access. Removed gitignore rules that excluded fetched source trees under recipes/*/source/, local/recipes/kde/*/source/, local/recipes/qt/*/source/, and vendor source trees. Build artifacts (target/, build/, source.tar, *.o, *.so) remain excluded. 127291 files added — kernel, relibc, base, bootloader, pkgar, all KDE/Qt frameworks, mesa, wayland, DRM drivers, and every other recipe source.
146 lines
4.6 KiB
C
146 lines
4.6 KiB
C
/* Test file for mpfr_check.
|
|
|
|
Copyright 2003-2004, 2006-2025 Free Software Foundation, Inc.
|
|
Contributed by the Pascaline 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/>. */
|
|
|
|
#include "mpfr-test.h"
|
|
|
|
#define PRINT_ERROR(s) \
|
|
(printf ("mpfr_check failed " s " Prec=%lu\n", (unsigned long) pr), \
|
|
exit(1))
|
|
|
|
int
|
|
main (void)
|
|
{
|
|
mpfr_t a;
|
|
mp_limb_t *p, tmp;
|
|
mp_size_t s;
|
|
mpfr_prec_t pr;
|
|
int max;
|
|
|
|
tests_start_mpfr ();
|
|
for (pr = MPFR_PREC_MIN ; pr < 500 ; pr++)
|
|
{
|
|
mpfr_init2 (a, pr);
|
|
if (!mpfr_check (a))
|
|
PRINT_ERROR ("for init");
|
|
/* Check special cases */
|
|
MPFR_SET_NAN (a);
|
|
if (!mpfr_check (a))
|
|
PRINT_ERROR ("for nan");
|
|
MPFR_SET_POS (a);
|
|
MPFR_SET_INF (a);
|
|
if (!mpfr_check (a))
|
|
PRINT_ERROR ("for inf");
|
|
MPFR_SET_ZERO (a);
|
|
if (!mpfr_check (a))
|
|
PRINT_ERROR ("for zero");
|
|
MPFR_EXP (a) = MPFR_EXP_MIN;
|
|
if (mpfr_check (a))
|
|
PRINT_ERROR ("for EXP = MPFR_EXP_MIN");
|
|
/* Check var */
|
|
mpfr_set_ui (a, 2, MPFR_RNDN);
|
|
if (!mpfr_check (a))
|
|
PRINT_ERROR ("for set_ui");
|
|
mpfr_clear_overflow ();
|
|
max = 1000; /* Allows max 2^1000 bits for the exponent */
|
|
while (!mpfr_overflow_p () && max > 0)
|
|
{
|
|
/* this call to mpfr_mul with identical arguments is intentional,
|
|
and should not be replaced by mpfr_sqr */
|
|
mpfr_mul (a, a, a, MPFR_RNDN);
|
|
if (!mpfr_check (a))
|
|
PRINT_ERROR ("for mul");
|
|
max--;
|
|
}
|
|
if (max == 0)
|
|
PRINT_ERROR ("for overflow");
|
|
mpfr_set_ui (a, 2137, MPFR_RNDN);
|
|
/* Corrupt a and check for it */
|
|
MPFR_SIGN (a) = 2;
|
|
if (mpfr_check (a))
|
|
PRINT_ERROR ("sgn");
|
|
MPFR_SET_POS (a);
|
|
/* Check prec */
|
|
MPFR_PREC (a) = MPFR_PREC_MIN - 1;
|
|
if (mpfr_check (a)) PRINT_ERROR ("precmin");
|
|
#if MPFR_VERSION_MAJOR < 3
|
|
/* Disable the test with MPFR >= 3 since mpfr_prec_t is now signed.
|
|
The "if" below is sufficient, but the MPFR_PREC_MAX+1 generates
|
|
a warning with GCC 4.4.4 even though the test is always false. */
|
|
if ((mpfr_prec_t) 0 - 1 > 0)
|
|
{
|
|
MPFR_PREC (a) = MPFR_PREC_MAX + 1;
|
|
if (mpfr_check (a))
|
|
PRINT_ERROR ("precmax");
|
|
}
|
|
#endif
|
|
MPFR_PREC (a) = pr;
|
|
if (!mpfr_check (a))
|
|
PRINT_ERROR ("prec");
|
|
/* Check exponent */
|
|
MPFR_EXP (a) = MPFR_EXP_INVALID;
|
|
if (mpfr_check(a))
|
|
PRINT_ERROR ("exp invalid");
|
|
MPFR_EXP (a) = -MPFR_EXP_INVALID;
|
|
if (mpfr_check(a))
|
|
PRINT_ERROR ("-exp invalid");
|
|
MPFR_EXP(a) = 0;
|
|
if (!mpfr_check(a)) PRINT_ERROR ("exp 0");
|
|
/* Check Mantissa */
|
|
p = MPFR_MANT(a);
|
|
MPFR_MANT (a) = NULL;
|
|
if (mpfr_check (a))
|
|
PRINT_ERROR ("Mantissa Null Ptr");
|
|
MPFR_MANT (a) = p;
|
|
/* Check size */
|
|
s = MPFR_GET_ALLOC_SIZE (a);
|
|
MPFR_SET_ALLOC_SIZE (a, 0);
|
|
if (mpfr_check (a))
|
|
PRINT_ERROR ("0 size");
|
|
MPFR_SET_ALLOC_SIZE (a, MP_SIZE_T_MIN);
|
|
if (mpfr_check (a)) PRINT_ERROR ("min size");
|
|
MPFR_SET_ALLOC_SIZE (a, MPFR_LIMB_SIZE (a) - 1);
|
|
if (mpfr_check (a))
|
|
PRINT_ERROR ("size < prec");
|
|
MPFR_SET_ALLOC_SIZE (a, s);
|
|
/* Check normal form */
|
|
tmp = MPFR_MANT (a)[0];
|
|
if ((pr % GMP_NUMB_BITS) != 0)
|
|
{
|
|
MPFR_MANT(a)[0] = MPFR_LIMB_MAX;
|
|
if (mpfr_check (a))
|
|
PRINT_ERROR ("last bits non 0");
|
|
}
|
|
MPFR_MANT(a)[0] = tmp;
|
|
MPFR_MANT(a)[MPFR_LIMB_SIZE(a)-1] &= MPFR_LIMB_MASK (GMP_NUMB_BITS-1);
|
|
if (mpfr_check (a))
|
|
PRINT_ERROR ("last bits non 0");
|
|
/* Final */
|
|
mpfr_set_ui (a, 2137, MPFR_RNDN);
|
|
if (!mpfr_check (a))
|
|
PRINT_ERROR ("after last set");
|
|
mpfr_clear (a);
|
|
if (mpfr_check (a))
|
|
PRINT_ERROR ("after clear");
|
|
}
|
|
tests_end_mpfr ();
|
|
return 0;
|
|
}
|