diff options
| author | enge <enge@211d60ee-9f03-0410-a15a-8952a2c7a4e4> | 2011-02-23 14:22:59 +0000 |
|---|---|---|
| committer | enge <enge@211d60ee-9f03-0410-a15a-8952a2c7a4e4> | 2011-02-23 14:22:59 +0000 |
| commit | 12bbdc3e2e0e57ff470668d6e656963c4faeb051 (patch) | |
| tree | 021c9b22c1e77ab480ff40de51b0e907e9f296a7 /tests/mul.dat | |
| parent | e38280cb6d1a9425fded5744dbe4a5837145cd52 (diff) | |
| download | mpc-12bbdc3e2e0e57ff470668d6e656963c4faeb051.tar.gz | |
mul.c, mul.dat: bug fix for wrong detection of underflow
git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@949 211d60ee-9f03-0410-a15a-8952a2c7a4e4
Diffstat (limited to 'tests/mul.dat')
| -rwxr-xr-x | tests/mul.dat | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tests/mul.dat b/tests/mul.dat index f916210..4e8be13 100755 --- a/tests/mul.dat +++ b/tests/mul.dat @@ -1,3 +1,5 @@ +0 0 15 2 15 0 15 -1 15 -1 15 -1 15 1 N N + # Data file for mpc_mul # # Copyright (C) INRIA, 2008, 2010, 2011 @@ -128,7 +130,7 @@ + - 6 0x33p-315 6 0x9p-497 6 0x3p148 6 0x1dp-73 6 0x11p-463 6 0x3p-645 N N 0 0 4 0x1p-1902 4 0x3p-1085 4 -0x1p-892 4 -0x3p-75 4 -0x1p-1010 4 0 N N -# a few values, previously hard-coded in tmul.c +# a few particular values 0 0 8 10 8 -5 8 4 8 3 8 1 8 -2 N N + + 27 0b1.10110000001100010010000000e-3 27 0b1.00111100000010100001011001e-1 27 0b1.11111011011000010101000000e-2 27 0b1.11010001010110111001110001e-3 27 0b1.10100101110110011011100100e-1 27 0b1.10111100011000001100110011e-1 N N @@ -143,3 +145,5 @@ # intermediate over- and underflows - + 100 -inf 100 inf 100 0x1@125000750 100 0x3@125000750 100 0x1@225000750 100 0x2@225000750 N N + - 100 -0 100 0 100 0x1@-125000750 100 0x3@-125000750 100 0x1@-225000750 100 0x2@-225000750 N N +0 + 100 0 100 inf 100 0x1@125000750 100 0x1@125000750 100 0x1@225000750 100 0x1@225000750 N N ++ 0 100 inf 100 0 100 0x1@125000750 100 0x1@125000750 100 0x1@225000750 100 -0x1@225000750 N N |