diff options
| author | enge <enge@211d60ee-9f03-0410-a15a-8952a2c7a4e4> | 2011-09-02 12:41:35 +0000 |
|---|---|---|
| committer | enge <enge@211d60ee-9f03-0410-a15a-8952a2c7a4e4> | 2011-09-02 12:41:35 +0000 |
| commit | e5ec494194c5585e2736354fd0bf284db0ba729b (patch) | |
| tree | ee86d00fbf2b5e263d055c37a31eb326902e315d /tests/norm.dat | |
| parent | 26d2d8b13d1b199493f45e63b27aa084f4cfa09c (diff) | |
| download | mpc-e5ec494194c5585e2736354fd0bf284db0ba729b.tar.gz | |
norm.c: rewritten to handle all cases of over- and underflow and to obtain a
correct ternary return value
norm.dat: new tests with over- and underflow
mpc-impl.h: added macro MPC_MIN
BUGS, TODO, mpc.texi updated to reflect these changes
git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@1071 211d60ee-9f03-0410-a15a-8952a2c7a4e4
Diffstat (limited to 'tests/norm.dat')
| -rw-r--r-- | tests/norm.dat | 80 |
1 files changed, 79 insertions, 1 deletions
diff --git a/tests/norm.dat b/tests/norm.dat index 7a99a0f..5a6a2dd 100644 --- a/tests/norm.dat +++ b/tests/norm.dat @@ -1,6 +1,6 @@ # Data file for mpc_norm. # -# Copyright (C) 2008, 2010 INRIA +# Copyright (C) 2008, 2010, 2011 INRIA # # This file is part of GNU MPC. # @@ -77,3 +77,81 @@ # infinite loop reported by E. Thome - 250 +0 250 -0xf.fdda3457c3e69e5841461d505b42987feb42867a4a2d2872179c4efa20054c0@-136943039 250 -0xc.670d1beda685fdd771b6246e32ff49ec4fd70aec25367444e00933e6965d3c0@-136943040 N + +# inexact values: norm (2+i)=5, in the middle between two values at precision 2 +- 2 4 2 2 2 1 D +- 2 4 2 2 2 1 Z ++ 2 6 2 2 2 1 U +- 2 4 2 2 2 1 N + +# over- and underflows ++ 10 inf 10 0 10 0b1@536870912 N ++ 10 inf 10 0 10 0b1@536870912 U +- 10 0b1.111111111@1073741822 10 0 10 0b1@536870912 D +- 10 0b1.111111111@1073741822 10 0 10 0b1@536870912 Z +- 10 0 10 0 10 0b1@-536870913 N +- 10 0 10 0 10 0b1@-536870913 D +- 10 0 10 0 10 0b1@-536870913 Z ++ 10 0b1.000000000e-1073741824 10 0 10 0b1@-536870913 U + ++ 10 inf 10 0b1@536870912 10 0 N ++ 10 inf 10 0b1@536870912 10 0 U +- 10 0b1.111111111@1073741822 10 0b1@536870912 10 0 D +- 10 0b1.111111111@1073741822 10 0b1@536870912 10 0 Z +- 10 0 10 0b1@-536870913 10 0 N +- 10 0 10 0b1@-536870913 10 0 D +- 10 0 10 0b1@-536870913 10 0 Z ++ 10 0b1.000000000e-1073741824 10 0b1@-536870913 10 0 U + ++ 10 inf 10 1 10 0b1@536870912 N ++ 10 inf 10 1 10 0b1@536870912 U +- 10 0b1.111111111@1073741822 10 1 10 0b1@536870912 D +- 10 0b1.111111111@1073741822 10 1 10 0b1@536870912 Z +- 10 1 10 1 10 0b1@-536870913 N +- 10 1 10 1 10 0b1@-536870913 D +- 10 1 10 1 10 0b1@-536870913 Z ++ 10 0b1.000000001 10 1 10 0b1@-536870913 U + ++ 10 inf 10 0b1@536870912 10 1 N ++ 10 inf 10 0b1@536870912 10 1 U +- 10 0b1.111111111@1073741822 10 0b1@536870912 10 1 D +- 10 0b1.111111111@1073741822 10 0b1@536870912 10 1 Z +- 10 1 10 0b1@-536870913 10 1 N +- 10 1 10 0b1@-536870913 10 1 D +- 10 1 10 0b1@-536870913 10 1 Z ++ 10 0b1.000000001 10 0b1@-536870913 10 1 U + ++ 3 inf 10 0b1.1 10 0b1@536870912 N ++ 3 inf 10 0b1.1 10 0b1@536870912 U +- 3 0b1.11@1073741822 10 0b1.1 10 0b1@536870912 D +- 3 0b1.11@1073741822 10 0b1.1 10 0b1@536870912 Z +- 3 2 10 0b1.1 10 0b1@-536870913 N +- 3 2 10 0b1.1 10 0b1@-536870913 D +- 3 2 10 0b1.1 10 0b1@-536870913 Z ++ 3 0b1.01@1 10 0b1.1 10 0b1@-536870913 U + ++ 3 inf 10 0b1@536870912 10 0b1.1 N ++ 3 inf 10 0b1@536870912 10 0b1.1 U +- 3 0b1.11@1073741822 10 0b1@536870912 10 0b1.1 D +- 3 0b1.11@1073741822 10 0b1@536870912 10 0b1.1 Z +- 3 2 10 0b1@-536870913 10 0b1.1 N +- 3 2 10 0b1@-536870913 10 0b1.1 D +- 3 2 10 0b1@-536870913 10 0b1.1 Z ++ 3 0b1.01@1 10 0b1@-536870913 10 0b1.1 U + ++ 10 inf 10 0b1@-536870913 10 0b1@536870912 N ++ 10 inf 10 0b1@-536870913 10 0b1@536870912 U +- 10 0b1.111111111@1073741822 10 0b1@-536870913 10 0b1@536870912 D +- 10 0b1.111111111@1073741822 10 0b1@-536870912 10 0b1@536870912 Z ++ 10 inf 10 0b1@536870912 10 0b1@-536870913 N ++ 10 inf 10 0b1@536870912 10 0b1@-536870913 U +- 10 0b1.111111111@1073741822 10 0b1@536870912 10 0b1@-536870913 D +- 10 0b1.111111111@1073741822 10 0b1@536870912 10 0b1@-536870913 Z ++ 10 inf 10 0b1@536870912 10 0b1@536870912 N ++ 10 inf 10 0b1@536870912 10 0b1@536870912 U +- 10 0b1.111111111@1073741822 10 0b1@536870912 10 0b1@536870912 D +- 10 0b1.111111111@1073741822 10 0b1@536870912 10 0b1@536870912 Z +- 10 0 10 0b1@-536870913 10 0b1@-536870913 N +- 10 0 10 0b1@-536870913 10 0b1@-536870913 D +- 10 0 10 0b1@-536870913 10 0b1@-536870913 Z ++ 10 0b1@-1073741824 10 0b1@-536870913 10 0b1@-536870913 U |