diff options
author | enge <enge@211d60ee-9f03-0410-a15a-8952a2c7a4e4> | 2011-09-02 17:59:00 +0000 |
---|---|---|
committer | enge <enge@211d60ee-9f03-0410-a15a-8952a2c7a4e4> | 2011-09-02 17:59:00 +0000 |
commit | 80d7ee0c37146ab7acfb22766d3d4770a76ced8c (patch) | |
tree | bd7e4cd8bcff3448a3b9fc4918c036b5eec796ed /tests/div.dat | |
parent | c4e0a182135706a4eb73dd78eb1d0c9aa97d7bec (diff) | |
download | mpc-80d7ee0c37146ab7acfb22766d3d4770a76ced8c.tar.gz |
div.c: some heuristics for intermediate under-/overflows
div.dat: added (and commented out) test cases that should give 1 or i, but
fail due to intermediate under-/overflows; returned results are Nan or
infinite
tui_div currently fails
git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@1077 211d60ee-9f03-0410-a15a-8952a2c7a4e4
Diffstat (limited to 'tests/div.dat')
-rw-r--r-- | tests/div.dat | 30 |
1 files changed, 27 insertions, 3 deletions
diff --git a/tests/div.dat b/tests/div.dat index ff2e1f3..2459b59 100644 --- a/tests/div.dat +++ b/tests/div.dat @@ -2424,9 +2424,6 @@ 0 0 7 1 7 1 7 1 7 1 7 1 7 +0 N N 0 0 7 1 7 +0 7 1 7 1 7 1 7 1 N N -# overflow (reported by Emmanuel Thome) -- + 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 0 0 10 -14 10 9 10 -837 10 637 10 63 10 -5 N N @@ -2438,5 +2435,32 @@ # 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 0b1@536870912 10 0 10 0b1@536870912 10 0 N N + +# overflow (reported by Emmanuel Thome) +- + 250 -inf 250 +inf 250 1 250 0 250 -1e-164895850 250 -1e-164895850 N N + +# cases that should yield 1, but cannot be handled due to intermediate +# over- or underflows +# current result: (@NaN@ 0) #0 0 10 1 10 0 10 1 10 0b1@536870912 10 1 10 0b1@536870912 N N +# current result: (@Inf@ 0) #0 0 10 1 10 0 10 1 10 0b1@-536870913 10 1 10 0b1@-536870913 N N +# current result: (@NaN@ 0) +#0 0 10 1 10 0 10 0b1@536870912 10 0b1@536870912 10 0b1@536870912 10 0b1@536870912 N N +# current result: (@NaN@ 0) +#0 0 10 1 10 0 10 0b1@-536870913 10 0b1@-536870913 10 0b1@-536870913 10 0b1@-536870913 N N +# current result: (@Inf@ 0) +#0 0 10 1 10 0 10 0b1@536870912 10 0b1@-536870913 10 0b1@536870912 10 0b1@-536870913 N N +# cases that should yield i, but cannot be handled due to intermediate +# over- or underflows +# current result: (0 @NaN@) +#0 0 10 0 10 1 10 -0b1@536870912 10 1 10 1 10 0b1@536870912 N N +# current result: (@NaN@ @Inf@) +#0 0 10 0 10 1 10 -0b1@-536870913 10 1 10 1 10 0b1@-536870913 N N +# current result: (0 @NaN@) +#0 0 10 0 10 1 10 -0b1@536870912 10 0b1@536870912 10 0b1@536870912 10 0b1@536870912 N N +# current result: (@NaN@ @NaN@) +#0 0 10 0 10 1 10 -0b1@-536870913 10 0b1@-536870913 10 0b1@-536870913 10 0b1@-536870913 N N +# current result: (@NaN@ @Inf@) +#0 0 10 0 10 1 10 -0b1@-536870913 10 0b1@536870912 10 0b1@536870912 10 0b1@-536870913 N N |