diff options
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 |