dp_add.c 4.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183
  1. /* IEEE754 floating point arithmetic
  2. * double precision: common utilities
  3. */
  4. /*
  5. * MIPS floating point support
  6. * Copyright (C) 1994-2000 Algorithmics Ltd.
  7. *
  8. * ########################################################################
  9. *
  10. * This program is free software; you can distribute it and/or modify it
  11. * under the terms of the GNU General Public License (Version 2) as
  12. * published by the Free Software Foundation.
  13. *
  14. * This program is distributed in the hope it will be useful, but WITHOUT
  15. * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  16. * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
  17. * for more details.
  18. *
  19. * You should have received a copy of the GNU General Public License along
  20. * with this program; if not, write to the Free Software Foundation, Inc.,
  21. * 59 Temple Place - Suite 330, Boston MA 02111-1307, USA.
  22. *
  23. * ########################################################################
  24. *
  25. */
  26. #include "ieee754dp.h"
  27. ieee754dp ieee754dp_add(ieee754dp x, ieee754dp y)
  28. {
  29. COMPXDP;
  30. COMPYDP;
  31. EXPLODEXDP;
  32. EXPLODEYDP;
  33. CLEARCX;
  34. FLUSHXDP;
  35. FLUSHYDP;
  36. switch (CLPAIR(xc, yc)) {
  37. case CLPAIR(IEEE754_CLASS_SNAN, IEEE754_CLASS_QNAN):
  38. case CLPAIR(IEEE754_CLASS_QNAN, IEEE754_CLASS_SNAN):
  39. case CLPAIR(IEEE754_CLASS_SNAN, IEEE754_CLASS_SNAN):
  40. case CLPAIR(IEEE754_CLASS_ZERO, IEEE754_CLASS_SNAN):
  41. case CLPAIR(IEEE754_CLASS_NORM, IEEE754_CLASS_SNAN):
  42. case CLPAIR(IEEE754_CLASS_DNORM, IEEE754_CLASS_SNAN):
  43. case CLPAIR(IEEE754_CLASS_INF, IEEE754_CLASS_SNAN):
  44. case CLPAIR(IEEE754_CLASS_SNAN, IEEE754_CLASS_ZERO):
  45. case CLPAIR(IEEE754_CLASS_SNAN, IEEE754_CLASS_NORM):
  46. case CLPAIR(IEEE754_CLASS_SNAN, IEEE754_CLASS_DNORM):
  47. case CLPAIR(IEEE754_CLASS_SNAN, IEEE754_CLASS_INF):
  48. SETCX(IEEE754_INVALID_OPERATION);
  49. return ieee754dp_nanxcpt(ieee754dp_indef(), "add", x, y);
  50. case CLPAIR(IEEE754_CLASS_ZERO, IEEE754_CLASS_QNAN):
  51. case CLPAIR(IEEE754_CLASS_NORM, IEEE754_CLASS_QNAN):
  52. case CLPAIR(IEEE754_CLASS_DNORM, IEEE754_CLASS_QNAN):
  53. case CLPAIR(IEEE754_CLASS_INF, IEEE754_CLASS_QNAN):
  54. return y;
  55. case CLPAIR(IEEE754_CLASS_QNAN, IEEE754_CLASS_QNAN):
  56. case CLPAIR(IEEE754_CLASS_QNAN, IEEE754_CLASS_ZERO):
  57. case CLPAIR(IEEE754_CLASS_QNAN, IEEE754_CLASS_NORM):
  58. case CLPAIR(IEEE754_CLASS_QNAN, IEEE754_CLASS_DNORM):
  59. case CLPAIR(IEEE754_CLASS_QNAN, IEEE754_CLASS_INF):
  60. return x;
  61. /* Infinity handling
  62. */
  63. case CLPAIR(IEEE754_CLASS_INF, IEEE754_CLASS_INF):
  64. if (xs == ys)
  65. return x;
  66. SETCX(IEEE754_INVALID_OPERATION);
  67. return ieee754dp_xcpt(ieee754dp_indef(), "add", x, y);
  68. case CLPAIR(IEEE754_CLASS_NORM, IEEE754_CLASS_INF):
  69. case CLPAIR(IEEE754_CLASS_ZERO, IEEE754_CLASS_INF):
  70. case CLPAIR(IEEE754_CLASS_DNORM, IEEE754_CLASS_INF):
  71. return y;
  72. case CLPAIR(IEEE754_CLASS_INF, IEEE754_CLASS_ZERO):
  73. case CLPAIR(IEEE754_CLASS_INF, IEEE754_CLASS_NORM):
  74. case CLPAIR(IEEE754_CLASS_INF, IEEE754_CLASS_DNORM):
  75. return x;
  76. /* Zero handling
  77. */
  78. case CLPAIR(IEEE754_CLASS_ZERO, IEEE754_CLASS_ZERO):
  79. if (xs == ys)
  80. return x;
  81. else
  82. return ieee754dp_zero(ieee754_csr.rm ==
  83. IEEE754_RD);
  84. case CLPAIR(IEEE754_CLASS_NORM, IEEE754_CLASS_ZERO):
  85. case CLPAIR(IEEE754_CLASS_DNORM, IEEE754_CLASS_ZERO):
  86. return x;
  87. case CLPAIR(IEEE754_CLASS_ZERO, IEEE754_CLASS_NORM):
  88. case CLPAIR(IEEE754_CLASS_ZERO, IEEE754_CLASS_DNORM):
  89. return y;
  90. case CLPAIR(IEEE754_CLASS_DNORM, IEEE754_CLASS_DNORM):
  91. DPDNORMX;
  92. /* FALL THROUGH */
  93. case CLPAIR(IEEE754_CLASS_NORM, IEEE754_CLASS_DNORM):
  94. DPDNORMY;
  95. break;
  96. case CLPAIR(IEEE754_CLASS_DNORM, IEEE754_CLASS_NORM):
  97. DPDNORMX;
  98. break;
  99. case CLPAIR(IEEE754_CLASS_NORM, IEEE754_CLASS_NORM):
  100. break;
  101. }
  102. assert(xm & DP_HIDDEN_BIT);
  103. assert(ym & DP_HIDDEN_BIT);
  104. /* provide guard,round and stick bit space */
  105. xm <<= 3;
  106. ym <<= 3;
  107. if (xe > ye) {
  108. /* have to shift y fraction right to align
  109. */
  110. int s = xe - ye;
  111. ym = XDPSRS(ym, s);
  112. ye += s;
  113. } else if (ye > xe) {
  114. /* have to shift x fraction right to align
  115. */
  116. int s = ye - xe;
  117. xm = XDPSRS(xm, s);
  118. xe += s;
  119. }
  120. assert(xe == ye);
  121. assert(xe <= DP_EMAX);
  122. if (xs == ys) {
  123. /* generate 28 bit result of adding two 27 bit numbers
  124. * leaving result in xm,xs,xe
  125. */
  126. xm = xm + ym;
  127. xe = xe;
  128. xs = xs;
  129. if (xm >> (DP_MBITS + 1 + 3)) { /* carry out */
  130. xm = XDPSRS1(xm);
  131. xe++;
  132. }
  133. } else {
  134. if (xm >= ym) {
  135. xm = xm - ym;
  136. xe = xe;
  137. xs = xs;
  138. } else {
  139. xm = ym - xm;
  140. xe = xe;
  141. xs = ys;
  142. }
  143. if (xm == 0)
  144. return ieee754dp_zero(ieee754_csr.rm ==
  145. IEEE754_RD);
  146. /* normalize to rounding precision */
  147. while ((xm >> (DP_MBITS + 3)) == 0) {
  148. xm <<= 1;
  149. xe--;
  150. }
  151. }
  152. DPNORMRET2(xs, xe, xm, "add", x, y);
  153. }