diff options
author | enge <enge@211d60ee-9f03-0410-a15a-8952a2c7a4e4> | 2011-09-02 16:17:43 +0000 |
---|---|---|
committer | enge <enge@211d60ee-9f03-0410-a15a-8952a2c7a4e4> | 2011-09-02 16:17:43 +0000 |
commit | ec4abbab5bfd18c3b1a1a642499873384d7da336 (patch) | |
tree | ae86df0aac647c5a7677848a4f5fc22587d74c7d /tests/div.dat | |
parent | 20c497b30de133737ab0814432d621ecd3f69d6c (diff) | |
download | mpc-ec4abbab5bfd18c3b1a1a642499873384d7da336.tar.gz |
div.c: more stringent handling of over- and underflows
div.dat: added tests with intermediate over- or underflows
The result of div may be wrong in such cases.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@1074 211d60ee-9f03-0410-a15a-8952a2c7a4e4
Diffstat (limited to 'tests/div.dat')
-rw-r--r-- | tests/div.dat | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/tests/div.dat b/tests/div.dat index a20fd67..4d7c1b5 100644 --- a/tests/div.dat +++ b/tests/div.dat @@ -2428,10 +2428,15 @@ - + 250 -inf 250 +inf 250 1 250 0 250 -1e-164895850 250 -1e-164895850 N N # small exact/inexact examples -+ + 10 0b1.01010001 10 -0b1.1000101@-6 10 973 10 964 10 725 10 745 N N +#+ + 10 0b1.01010001 10 -0b1.1000101@-6 10 973 10 964 10 725 10 745 N N 0 0 10 -14 10 9 10 -837 10 637 10 63 10 -5 N N 0 0 2 2 2 -1 2 4 2 3 2 1 2 2 N N + - 4 1.375 4 1.25 4 15 4 14 4 11 4 0 N N # Bug 20080923 -+ ? 4 0b11@527 4 -0b111@-489 4 -0b11@-206 4 0 4 -0b1@-733 4 -0b101@-1750 N Z +#+ - 4 0b11@527 4 -0b111@-489 4 -0b11@-206 4 0 4 -0b1@-733 4 -0b101@-1750 N Z + +# potential intermediate over- or underflow +0 0 10 1 10 0 10 0 10 0b1@536870912 10 0 10 0b1@536870912 N N +#0 0 10 1 10 0 10 1 10 0b1@536870912 10 1 10 0b1@536870912 N N +#0 0 10 1 10 0 10 1 10 0b1@-536870913 10 1 10 0b1@-536870913 N N |