diff options
author | bdadoun <bdadoun@211d60ee-9f03-0410-a15a-8952a2c7a4e4> | 2012-06-27 09:10:26 +0000 |
---|---|---|
committer | bdadoun <bdadoun@211d60ee-9f03-0410-a15a-8952a2c7a4e4> | 2012-06-27 09:10:26 +0000 |
commit | 27e857dc9e371f5dbd0656c254e4d3592adf6684 (patch) | |
tree | ec505f10cf45f848d613f6114d9e56cf20634524 /tests | |
parent | 71973e26ea981b5da50baada531ec51ffe7ad46e (diff) | |
download | mpc-27e857dc9e371f5dbd0656c254e4d3592adf6684.tar.gz |
[src/div.c] correct handling of negative overflows
[tests/div.dat] examples to exercise negative overflows
git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@1182 211d60ee-9f03-0410-a15a-8952a2c7a4e4
Diffstat (limited to 'tests')
-rw-r--r-- | tests/div.dat | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/tests/div.dat b/tests/div.dat index a7383aa..2cffc7e 100644 --- a/tests/div.dat +++ b/tests/div.dat @@ -2468,7 +2468,13 @@ # 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 (re) +# examples to exercise overflow (re) +# positive overflow + 0 2 inf 2 0 10 0x3ffp1073741813 10 0x3ffp1073741813 10 0x2abp-10 10 0x2abp-10 N N -# example to exercise overflow (im) +# negative overflow +- 0 2 -inf 2 0 10 -0x3ffp1073741813 10 -0x3ffp1073741813 10 0x2abp-10 10 0x2abp-10 N N +# examples to exercise overflow (im) +# positive overflow 0 + 2 0 2 inf 10 0x3ffp1073741813 10 0x3ffp1073741813 10 0x2abp-10 10 -0x2abp-10 N N +# negative overflow +0 - 2 0 2 -inf 10 -0x3ffp1073741813 10 -0x3ffp1073741813 10 0x2abp-10 10 -0x2abp-10 N N |