diff options
author | thevenyp <thevenyp@211d60ee-9f03-0410-a15a-8952a2c7a4e4> | 2008-12-05 14:16:15 +0000 |
---|---|---|
committer | thevenyp <thevenyp@211d60ee-9f03-0410-a15a-8952a2c7a4e4> | 2008-12-05 14:16:15 +0000 |
commit | d4c8d8eb30996db22c8095a7337ccfc7ccea58e0 (patch) | |
tree | 679021c9d2737066c60e76677bb4e601737b2b14 /tests/sqrt.dat | |
parent | 4ab4dab384e5718ab56f7031f530867dcabdc087 (diff) | |
download | mpc-d4c8d8eb30996db22c8095a7337ccfc7ccea58e0.tar.gz |
tests/read_data.c: now read and optionally check inexact flag.
tests/*.dat: add two columns for ternary value.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@383 211d60ee-9f03-0410-a15a-8952a2c7a4e4
Diffstat (limited to 'tests/sqrt.dat')
-rw-r--r-- | tests/sqrt.dat | 162 |
1 files changed, 81 insertions, 81 deletions
diff --git a/tests/sqrt.dat b/tests/sqrt.dat index c18554c..c1ba750 100644 --- a/tests/sqrt.dat +++ b/tests/sqrt.dat @@ -22,101 +22,101 @@ # The line format respects the parameter order in function prototype as # follow: # -# PREC_ROP_RE ROP_RE PREC_ROP_IM ROP_IM PREC_OP_RE OP_RE PREC_OP_IM OP_IM RND_RE RND_IM +# INEX_RE INEX_IM PREC_ROP_RE ROP_RE PREC_ROP_IM ROP_IM PREC_OP_RE OP_RE PREC_OP_IM OP_IM RND_RE RND_IM # # see sin.dat for precisions # special values (following ISO C99 standard) -53 +inf 53 -inf 53 -inf 53 -inf N N -53 +0 53 -inf 53 -inf 53 -1 N N -53 +0 53 -inf 53 -inf 53 -0 N N -53 +0 53 +inf 53 -inf 53 +0 N N -53 +0 53 +inf 53 -inf 53 +1 N N -53 +inf 53 +inf 53 -inf 53 +inf N N -53 nan 53 inf 53 -inf 53 nan N N -53 +inf 53 -inf 53 -1 53 -inf N N -53 +0 53 -1 53 -1 53 -0 N N -53 +0 53 +1 53 -1 53 +0 N N -53 +inf 53 +inf 53 -1 53 +inf N N -53 nan 53 nan 53 -1 53 nan N N -53 +inf 53 -inf 53 -0 53 -inf N N -53 +1 53 -1 53 -0 53 -2 N N -53 +0 53 -0 53 -0 53 -0 N N -53 +0 53 +0 53 -0 53 +0 N N -53 +1 53 +1 53 -0 53 +2 N N -53 +inf 53 +inf 53 -0 53 +inf N N -53 nan 53 nan 53 -0 53 nan N N -53 +inf 53 -inf 53 +0 53 -inf N N -53 +1 53 -1 53 +0 53 -2 N N -53 +0 53 -0 53 +0 53 -0 N N -53 +0 53 +0 53 +0 53 +0 N N -53 +1 53 +1 53 +0 53 +2 N N -53 +inf 53 +inf 53 +0 53 +inf N N -53 nan 53 nan 53 +0 53 nan N N -53 +inf 53 -inf 53 +1 53 -inf N N -53 +1 53 -0 53 +1 53 -0 N N -53 +1 53 +0 53 +1 53 +0 N N -53 +inf 53 +inf 53 +1 53 +inf N N -53 nan 53 nan 53 +1 53 nan N N -53 +inf 53 -inf 53 +inf 53 -inf N N -53 +inf 53 -0 53 +inf 53 -1 N N -53 +inf 53 -0 53 +inf 53 -0 N N -53 +inf 53 +0 53 +inf 53 +0 N N -53 +inf 53 +0 53 +inf 53 +1 N N -53 +inf 53 +inf 53 +inf 53 +inf N N -53 +inf 53 nan 53 +inf 53 nan N N -53 +inf 53 -inf 53 nan 53 -inf N N -53 nan 53 nan 53 nan 53 -1 N N -53 nan 53 nan 53 nan 53 -0 N N -53 nan 53 nan 53 nan 53 +0 N N -53 nan 53 nan 53 nan 53 +1 N N -53 +inf 53 +inf 53 nan 53 +inf N N -53 nan 53 nan 53 nan 53 nan N N +0 0 53 +inf 53 -inf 53 -inf 53 -inf N N +0 0 53 +0 53 -inf 53 -inf 53 -1 N N +0 0 53 +0 53 -inf 53 -inf 53 -0 N N +0 0 53 +0 53 +inf 53 -inf 53 +0 N N +0 0 53 +0 53 +inf 53 -inf 53 +1 N N +0 0 53 +inf 53 +inf 53 -inf 53 +inf N N +0 0 53 nan 53 inf 53 -inf 53 nan N N +0 0 53 +inf 53 -inf 53 -1 53 -inf N N +0 0 53 +0 53 -1 53 -1 53 -0 N N +0 0 53 +0 53 +1 53 -1 53 +0 N N +0 0 53 +inf 53 +inf 53 -1 53 +inf N N +0 0 53 nan 53 nan 53 -1 53 nan N N +0 0 53 +inf 53 -inf 53 -0 53 -inf N N +0 0 53 +1 53 -1 53 -0 53 -2 N N +0 0 53 +0 53 -0 53 -0 53 -0 N N +0 0 53 +0 53 +0 53 -0 53 +0 N N +0 0 53 +1 53 +1 53 -0 53 +2 N N +0 0 53 +inf 53 +inf 53 -0 53 +inf N N +0 0 53 nan 53 nan 53 -0 53 nan N N +0 0 53 +inf 53 -inf 53 +0 53 -inf N N +0 0 53 +1 53 -1 53 +0 53 -2 N N +0 0 53 +0 53 -0 53 +0 53 -0 N N +0 0 53 +0 53 +0 53 +0 53 +0 N N +0 0 53 +1 53 +1 53 +0 53 +2 N N +0 0 53 +inf 53 +inf 53 +0 53 +inf N N +0 0 53 nan 53 nan 53 +0 53 nan N N +0 0 53 +inf 53 -inf 53 +1 53 -inf N N +0 0 53 +1 53 -0 53 +1 53 -0 N N +0 0 53 +1 53 +0 53 +1 53 +0 N N +0 0 53 +inf 53 +inf 53 +1 53 +inf N N +0 0 53 nan 53 nan 53 +1 53 nan N N +0 0 53 +inf 53 -inf 53 +inf 53 -inf N N +0 0 53 +inf 53 -0 53 +inf 53 -1 N N +0 0 53 +inf 53 -0 53 +inf 53 -0 N N +0 0 53 +inf 53 +0 53 +inf 53 +0 N N +0 0 53 +inf 53 +0 53 +inf 53 +1 N N +0 0 53 +inf 53 +inf 53 +inf 53 +inf N N +0 0 53 +inf 53 nan 53 +inf 53 nan N N +0 0 53 +inf 53 -inf 53 nan 53 -inf N N +0 0 53 nan 53 nan 53 nan 53 -1 N N +0 0 53 nan 53 nan 53 nan 53 -0 N N +0 0 53 nan 53 nan 53 nan 53 +0 N N +0 0 53 nan 53 nan 53 nan 53 +1 N N +0 0 53 +inf 53 +inf 53 nan 53 +inf N N +0 0 53 nan 53 nan 53 nan 53 nan N N # pure real argument # sqrt(x +i*0) = sqrt(x) +i*0, when x>0 # sqrt(x -i*0) = sqrt(x) -i*0, when x>0 # sqrt(x +i*0) = +0 +i*sqrt(-x) +i*0, when x<0 # sqrt(x -i*0) = +0 -i*sqrt(-x) +i*0, when x<0 -53 0x16a09e667f3bcdp-52 53 +0 53 2 17 +0 N N -53 +0 53 0x16a09e667f3bcdp-52 54 -2 16 +0 Z N -53 0x16a09e667f3bcdp-52 53 -0 55 2 15 -0 U N -53 +0 53 -0x16a09e667f3bcdp-52 56 -2 14 -0 D N -53 0x5a827999fcef30p-54 53 +0 57 2 13 +0 Z Z -53 +0 53 0x5a827999fcef30p-54 58 -2 12 +0 U Z -53 0x5a827999fcef30p-54 53 -0 59 2 11 -0 D Z -53 +0 53 -0x5a827999fcef30p-54 60 -2 10 -0 N Z -53 0x16a09e667f3bcdp-52 53 +0 61 2 9 +0 U U -53 +0 53 0x16a09e667f3bcdp-52 62 -2 8 +0 D U -53 0x16a09e667f3bcdp-52 53 -0 63 2 7 -0 N U -53 +0 53 -0x5a827999fcef30p-54 64 -2 6 -0 Z U -53 0x5a827999fcef30p-54 53 +0 65 2 5 +0 D D -53 +0 53 0x5a827999fcef30p-54 66 -2 4 +0 N D -53 0x5a827999fcef30p-54 53 -0 67 2 3 -0 Z D -53 +0 53 -0x16a09e667f3bcdp-52 68 -2 2 -0 U D +? ? 53 0x16a09e667f3bcdp-52 53 +0 53 2 17 +0 N N +? ? 53 +0 53 0x16a09e667f3bcdp-52 54 -2 16 +0 Z N +? ? 53 0x16a09e667f3bcdp-52 53 -0 55 2 15 -0 U N +? ? 53 +0 53 -0x16a09e667f3bcdp-52 56 -2 14 -0 D N +? ? 53 0x5a827999fcef30p-54 53 +0 57 2 13 +0 Z Z +? ? 53 +0 53 0x5a827999fcef30p-54 58 -2 12 +0 U Z +? ? 53 0x5a827999fcef30p-54 53 -0 59 2 11 -0 D Z +? ? 53 +0 53 -0x5a827999fcef30p-54 60 -2 10 -0 N Z +? ? 53 0x16a09e667f3bcdp-52 53 +0 61 2 9 +0 U U +? ? 53 +0 53 0x16a09e667f3bcdp-52 62 -2 8 +0 D U +? ? 53 0x16a09e667f3bcdp-52 53 -0 63 2 7 -0 N U +? ? 53 +0 53 -0x5a827999fcef30p-54 64 -2 6 -0 Z U +? ? 53 0x5a827999fcef30p-54 53 +0 65 2 5 +0 D D +? ? 53 +0 53 0x5a827999fcef30p-54 66 -2 4 +0 N D +? ? 53 0x5a827999fcef30p-54 53 -0 67 2 3 -0 Z D +? ? 53 +0 53 -0x16a09e667f3bcdp-52 68 -2 2 -0 U D # pure imaginary argument # sqrt(+/-0 +i*y) = sqrt(y/2) * (1 +i), when y >0 # sqrt(+/-0 +i*y) = sqrt(-y/2) * (1 -i), when y < 0 -53 0x16a09e667f3bcdp-52 53 0x16a09e667f3bcdp-52 53 +0 53 4 N N -53 0x5a827999fcef30p-54 53 0x16a09e667f3bcdp-52 51 -0 54 4 Z N -53 0x16a09e667f3bcdp-52 53 -0x16a09e667f3bcdp-52 49 +0 55 -4 U N -53 0x5a827999fcef30p-54 53 -0x16a09e667f3bcdp-52 47 -0 56 -4 D N -53 0x5a827999fcef30p-54 53 0x5a827999fcef30p-54 45 +0 57 4 Z Z -53 0x16a09e667f3bcdp-52 53 0x5a827999fcef30p-54 43 -0 58 4 U Z -53 0x5a827999fcef30p-54 53 -0x5a827999fcef30p-54 41 +0 59 -4 D Z -53 0x16a09e667f3bcdp-52 53 -0x5a827999fcef30p-54 39 -0 60 -4 N Z -53 0x16a09e667f3bcdp-52 53 0x16a09e667f3bcdp-52 37 +0 61 4 U U -53 0x5a827999fcef30p-54 53 0x16a09e667f3bcdp-52 35 -0 62 4 D U -53 0x16a09e667f3bcdp-52 53 -0x5a827999fcef30p-54 33 +0 63 -4 N U -53 0x5a827999fcef30p-54 53 -0x5a827999fcef30p-54 31 -0 64 -4 Z U -53 0x5a827999fcef30p-54 53 0x5a827999fcef30p-54 29 +0 65 4 D D -53 0x16a09e667f3bcdp-52 53 0x5a827999fcef30p-54 27 -0 66 4 N D -53 0x5a827999fcef30p-54 53 -0x16a09e667f3bcdp-52 25 +0 67 -4 Z D -53 0x16a09e667f3bcdp-52 53 -0x16a09e667f3bcdp-52 23 -0 68 -4 U D +? ? 53 0x16a09e667f3bcdp-52 53 0x16a09e667f3bcdp-52 53 +0 53 4 N N +? ? 53 0x5a827999fcef30p-54 53 0x16a09e667f3bcdp-52 51 -0 54 4 Z N +? ? 53 0x16a09e667f3bcdp-52 53 -0x16a09e667f3bcdp-52 49 +0 55 -4 U N +? ? 53 0x5a827999fcef30p-54 53 -0x16a09e667f3bcdp-52 47 -0 56 -4 D N +? ? 53 0x5a827999fcef30p-54 53 0x5a827999fcef30p-54 45 +0 57 4 Z Z +? ? 53 0x16a09e667f3bcdp-52 53 0x5a827999fcef30p-54 43 -0 58 4 U Z +? ? 53 0x5a827999fcef30p-54 53 -0x5a827999fcef30p-54 41 +0 59 -4 D Z +? ? 53 0x16a09e667f3bcdp-52 53 -0x5a827999fcef30p-54 39 -0 60 -4 N Z +? ? 53 0x16a09e667f3bcdp-52 53 0x16a09e667f3bcdp-52 37 +0 61 4 U U +? ? 53 0x5a827999fcef30p-54 53 0x16a09e667f3bcdp-52 35 -0 62 4 D U +? ? 53 0x16a09e667f3bcdp-52 53 -0x5a827999fcef30p-54 33 +0 63 -4 N U +? ? 53 0x5a827999fcef30p-54 53 -0x5a827999fcef30p-54 31 -0 64 -4 Z U +? ? 53 0x5a827999fcef30p-54 53 0x5a827999fcef30p-54 29 +0 65 4 D D +? ? 53 0x16a09e667f3bcdp-52 53 0x5a827999fcef30p-54 27 -0 66 4 N D +? ? 53 0x5a827999fcef30p-54 53 -0x16a09e667f3bcdp-52 25 +0 67 -4 Z D +? ? 53 0x16a09e667f3bcdp-52 53 -0x16a09e667f3bcdp-52 23 -0 68 -4 U D # bugs fixed in r160 2008-07-15 -19 0b11101001001001001100p+39 19 -0b1010110101100111011p-236 19 0b1.101010001010100000p+117 19 -0b1.001110111101100001p-158 N Z - 2 0b11p+100 2 -0b11p+100 2 -0 2 -0b11p+203 N Z - 2 0 2 -0b10p+117 2 -0b11p+235 2 -0 N Z +? ? 19 0b11101001001001001100p+39 19 -0b1010110101100111011p-236 19 0b1.101010001010100000p+117 19 -0b1.001110111101100001p-158 N Z +? ? 2 0b11p+100 2 -0b11p+100 2 -0 2 -0b11p+203 N Z +? ? 2 0 2 -0b10p+117 2 -0b11p+235 2 -0 N Z |