diff options
| author | Andreas Enge <andreas.enge@inria.fr> | 2012-09-19 11:17:49 +0000 |
|---|---|---|
| committer | Andreas Enge <andreas.enge@inria.fr> | 2012-09-19 11:17:49 +0000 |
| commit | 9d1fd17d4081b2a0ac2de5f1c86d1bc81427a5f9 (patch) | |
| tree | 5d9efd557b23ca31a5921219c05f41b00f9c7932 /tests/div.dat | |
| parent | 75e6da9bb997ede499e9e282317f0c0b3fc92bbd (diff) | |
| download | mpc-git-rootsunity.tar.gz | |
merge trunk into branch rootsunityrootsunity
git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/mpc/branches/rootsunity@1273 211d60ee-9f03-0410-a15a-8952a2c7a4e4
Diffstat (limited to 'tests/div.dat')
| -rw-r--r-- | tests/div.dat | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/tests/div.dat b/tests/div.dat index 2cffc7e..6f5e600 100644 --- a/tests/div.dat +++ b/tests/div.dat @@ -1,6 +1,6 @@ # Data file for mpc_div. # -# Copyright (C) 2008, 2009, 2010, 2011 INRIA +# Copyright (C) 2008, 2009, 2010, 2011, 2012 INRIA # # This file is part of GNU MPC. # @@ -2478,3 +2478,9 @@ 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 + +# examples to exercise underflow +# (1.5+i)*2^emin/(1-i) gives (0.25 + 1.25*i)*2^emin +- - 2 0 2 0x1p-1073741823 2 0x3p-1073741824 2 0x1p-1073741823 2 1 2 -1 Z Z +# (1.5+i)*2^emin/(1+i) gives (1.25 - 0.25*i)*2^emin +- + 2 0x1p-1073741823 2 -0 2 0x3p-1073741824 2 0x1p-1073741823 2 1 2 1 Z Z |