diff options
author | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2001-02-18 12:11:25 +0000 |
---|---|---|
committer | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2001-02-18 12:11:25 +0000 |
commit | 2b3c508a765379aada943f068641c0a463000287 (patch) | |
tree | af49843003b8fcc96f218dbec247f5f66a8fca8a /tests/tisnan.c | |
parent | 03808906530371e7869c2f99d66b09c4b781bd7d (diff) | |
download | mpfr-2b3c508a765379aada943f068641c0a463000287.tar.gz |
new test file
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@999 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tests/tisnan.c')
-rw-r--r-- | tests/tisnan.c | 97 |
1 files changed, 97 insertions, 0 deletions
diff --git a/tests/tisnan.c b/tests/tisnan.c new file mode 100644 index 000000000..1a7e646b7 --- /dev/null +++ b/tests/tisnan.c @@ -0,0 +1,97 @@ +/* Test file for mpfr_nan_p, mpfr_inf_p and mpfr_number_p. + +Copyright (C) 2001 Free Software Foundation. + +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 +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 +License for more details. + +You should have received a copy of the GNU Library 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 <stdio.h> +#include "gmp.h" +#include "mpfr.h" + +int +main (void) +{ + mpfr_t x; + + mpfr_init (x); + + /* check +infinity gives non-zero for mpfr_inf_p only */ + mpfr_set_ui (x, 1L, GMP_RNDZ); + mpfr_div_ui (x, x, 0L, GMP_RNDZ); + if (mpfr_nan_p (x)) { + fprintf (stderr, "Error: mpfr_nan_p(+Inf) gives non-zero\n"); + exit (1); + } + if (mpfr_inf_p (x) == 0) { + fprintf (stderr, "Error: mpfr_inf_p(+Inf) gives zero\n"); + exit (1); + } + if (mpfr_number_p (x)) { + fprintf (stderr, "Error: mpfr_number_p(+Inf) gives non-zero\n"); + exit (1); + } + + /* same for -Inf */ + mpfr_neg (x, x, GMP_RNDN); + if (mpfr_nan_p (x)) { + fprintf (stderr, "Error: mpfr_nan_p(-Inf) gives non-zero\n"); + exit (1); + } + if (mpfr_inf_p (x) == 0) { + fprintf (stderr, "Error: mpfr_inf_p(-Inf) gives zero\n"); + exit (1); + } + if (mpfr_number_p (x)) { + fprintf (stderr, "Error: mpfr_number_p(-Inf) gives non-zero\n"); + exit (1); + } + + /* same for NaN */ + mpfr_sub (x, x, x, GMP_RNDN); + if (mpfr_nan_p (x) == 0) { + fprintf (stderr, "Error: mpfr_nan_p(NaN) gives zero\n"); + exit (1); + } + if (mpfr_inf_p (x)) { + fprintf (stderr, "Error: mpfr_inf_p(NaN) gives non-zero\n"); + exit (1); + } + if (mpfr_number_p (x)) { + fprintf (stderr, "Error: mpfr_number_p(NaN) gives non-zero\n"); + exit (1); + } + + /* same for an ordinary number */ + mpfr_set_ui (x, 1, GMP_RNDN); + if (mpfr_nan_p (x)) { + fprintf (stderr, "Error: mpfr_nan_p(1) gives non-zero\n"); + exit (1); + } + if (mpfr_inf_p (x)) { + fprintf (stderr, "Error: mpfr_inf_p(1) gives non-zero\n"); + exit (1); + } + if (mpfr_number_p (x) == 0) { + fprintf (stderr, "Error: mpfr_number_p(1) gives zero\n"); + exit (1); + } + + mpfr_clear (x); + + return 0; +} |