diff options
author | enge <enge@211d60ee-9f03-0410-a15a-8952a2c7a4e4> | 2011-02-23 16:06:54 +0000 |
---|---|---|
committer | enge <enge@211d60ee-9f03-0410-a15a-8952a2c7a4e4> | 2011-02-23 16:06:54 +0000 |
commit | 4cf5acde5bcaeaa861d1401960b5bcf855f51a8b (patch) | |
tree | f86acb8f3943c5949b460375fd0abcd2eb0b6d7d /tests/mul.dat | |
parent | aa8f22696d5a5131c0edccbbbbf6d671c0906b07 (diff) | |
download | mpc-4cf5acde5bcaeaa861d1401960b5bcf855f51a8b.tar.gz |
mul.c: bug with underflow
mul.dat: added test discovering the bug
git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@952 211d60ee-9f03-0410-a15a-8952a2c7a4e4
Diffstat (limited to 'tests/mul.dat')
-rwxr-xr-x | tests/mul.dat | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/tests/mul.dat b/tests/mul.dat index 4e8be13..7645b4c 100755 --- a/tests/mul.dat +++ b/tests/mul.dat @@ -1,5 +1,3 @@ -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 @@ -133,6 +131,7 @@ # 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 +0 0 15 2 15 0 15 -1 15 -1 15 -1 15 1 N N # check squares, copied from sqr.dat + - 53 0xfdbac097c8dc58p+2096 53 -0x7f6e5d4c3b2a2p+1036 53 -0xfedcba9876543p+1024 53 0x10000000000001p-42 53 -0xfedcba9876543p+1024 53 0x10000000000001p-42 U D @@ -144,6 +143,10 @@ # intermediate over- and underflows - + 100 -inf 100 inf 100 0x1@125000750 100 0x3@125000750 100 0x1@225000750 100 0x2@225000750 N N +- + 100 -inf 100 inf 100 0x1@225000750 100 0x2@225000750 100 0x1@125000750 100 0x3@125000750 N N + - 100 -0 100 0 100 0x1@-125000750 100 0x3@-125000750 100 0x1@-225000750 100 0x2@-225000750 N N ++ - 100 -0 100 0 100 0x1@-225000750 100 0x2@-225000750 100 0x1@-125000750 100 0x3@-125000750 N N +- - 100 0 100 0 100 0x3@-125000750 100 0x1@-125000750 100 0x1@-225000750 100 0x2@-225000750 N N ++ - 100 -0 100 0 100 0x2@-225000750 100 0x1@-225000750 100 0x1@-125000750 100 0x3@-125000750 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 |