summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorzimmerma <zimmerma@211d60ee-9f03-0410-a15a-8952a2c7a4e4>2012-06-26 17:22:25 +0000
committerzimmerma <zimmerma@211d60ee-9f03-0410-a15a-8952a2c7a4e4>2012-06-26 17:22:25 +0000
commit635cb7b060170f4cd0e80b74e7027f878e7f0aa2 (patch)
treeab4a6ca997443c67c6737577abc5693eed378853 /tests
parent291bdb489dd5db17185fa4c2f83b4d69edf6790b (diff)
downloadmpc-635cb7b060170f4cd0e80b74e7027f878e7f0aa2.tar.gz
[div.dat] added example to exercise overflow
[div.c] deal with overflow (both common work with Benjamin Dadoun) git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@1175 211d60ee-9f03-0410-a15a-8952a2c7a4e4
Diffstat (limited to 'tests')
-rw-r--r--tests/div.dat3
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/div.dat b/tests/div.dat
index 4617dde..90cf412 100644
--- a/tests/div.dat
+++ b/tests/div.dat
@@ -2467,3 +2467,6 @@
#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
+
+# example to exercise overflow
+0 + 2 0 2 inf 10 0x3ffp1073741813 10 0x3ffp1073741813 10 0x2abp-10 10 -0x2abp-10 N N