sp_sub.c 4.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184
  1. /* IEEE754 floating point arithmetic
  2. * single precision
  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. #include "ieee754sp.h"
  26. ieee754sp ieee754sp_sub(ieee754sp x, ieee754sp y)
  27. {
  28. COMPXSP;
  29. COMPYSP;
  30. EXPLODEXSP;
  31. EXPLODEYSP;
  32. CLEARCX;
  33. FLUSHXSP;
  34. FLUSHYSP;
  35. switch (CLPAIR(xc, yc)) {
  36. case CLPAIR(IEEE754_CLASS_SNAN, IEEE754_CLASS_QNAN):
  37. case CLPAIR(IEEE754_CLASS_QNAN, IEEE754_CLASS_SNAN):
  38. case CLPAIR(IEEE754_CLASS_SNAN, IEEE754_CLASS_SNAN):
  39. case CLPAIR(IEEE754_CLASS_ZERO, IEEE754_CLASS_SNAN):
  40. case CLPAIR(IEEE754_CLASS_NORM, IEEE754_CLASS_SNAN):
  41. case CLPAIR(IEEE754_CLASS_DNORM, IEEE754_CLASS_SNAN):
  42. case CLPAIR(IEEE754_CLASS_INF, IEEE754_CLASS_SNAN):
  43. case CLPAIR(IEEE754_CLASS_SNAN, IEEE754_CLASS_ZERO):
  44. case CLPAIR(IEEE754_CLASS_SNAN, IEEE754_CLASS_NORM):
  45. case CLPAIR(IEEE754_CLASS_SNAN, IEEE754_CLASS_DNORM):
  46. case CLPAIR(IEEE754_CLASS_SNAN, IEEE754_CLASS_INF):
  47. SETCX(IEEE754_INVALID_OPERATION);
  48. return ieee754sp_nanxcpt(ieee754sp_indef(), "sub", x, y);
  49. case CLPAIR(IEEE754_CLASS_ZERO, IEEE754_CLASS_QNAN):
  50. case CLPAIR(IEEE754_CLASS_NORM, IEEE754_CLASS_QNAN):
  51. case CLPAIR(IEEE754_CLASS_DNORM, IEEE754_CLASS_QNAN):
  52. case CLPAIR(IEEE754_CLASS_INF, IEEE754_CLASS_QNAN):
  53. return y;
  54. case CLPAIR(IEEE754_CLASS_QNAN, IEEE754_CLASS_QNAN):
  55. case CLPAIR(IEEE754_CLASS_QNAN, IEEE754_CLASS_ZERO):
  56. case CLPAIR(IEEE754_CLASS_QNAN, IEEE754_CLASS_NORM):
  57. case CLPAIR(IEEE754_CLASS_QNAN, IEEE754_CLASS_DNORM):
  58. case CLPAIR(IEEE754_CLASS_QNAN, IEEE754_CLASS_INF):
  59. return x;
  60. /* Infinity handling
  61. */
  62. case CLPAIR(IEEE754_CLASS_INF, IEEE754_CLASS_INF):
  63. if (xs != ys)
  64. return x;
  65. SETCX(IEEE754_INVALID_OPERATION);
  66. return ieee754sp_xcpt(ieee754sp_indef(), "sub", x, y);
  67. case CLPAIR(IEEE754_CLASS_ZERO, IEEE754_CLASS_INF):
  68. case CLPAIR(IEEE754_CLASS_DNORM, IEEE754_CLASS_INF):
  69. case CLPAIR(IEEE754_CLASS_NORM, IEEE754_CLASS_INF):
  70. return ieee754sp_inf(ys ^ 1);
  71. case CLPAIR(IEEE754_CLASS_INF, IEEE754_CLASS_ZERO):
  72. case CLPAIR(IEEE754_CLASS_INF, IEEE754_CLASS_NORM):
  73. case CLPAIR(IEEE754_CLASS_INF, IEEE754_CLASS_DNORM):
  74. return x;
  75. /* Zero handling
  76. */
  77. case CLPAIR(IEEE754_CLASS_ZERO, IEEE754_CLASS_ZERO):
  78. if (xs != ys)
  79. return x;
  80. else
  81. return ieee754sp_zero(ieee754_csr.rm ==
  82. IEEE754_RD);
  83. case CLPAIR(IEEE754_CLASS_NORM, IEEE754_CLASS_ZERO):
  84. case CLPAIR(IEEE754_CLASS_DNORM, IEEE754_CLASS_ZERO):
  85. return x;
  86. case CLPAIR(IEEE754_CLASS_ZERO, IEEE754_CLASS_NORM):
  87. case CLPAIR(IEEE754_CLASS_ZERO, IEEE754_CLASS_DNORM):
  88. /* quick fix up */
  89. DPSIGN(y) ^= 1;
  90. return y;
  91. case CLPAIR(IEEE754_CLASS_DNORM, IEEE754_CLASS_DNORM):
  92. SPDNORMX;
  93. case CLPAIR(IEEE754_CLASS_NORM, IEEE754_CLASS_DNORM):
  94. SPDNORMY;
  95. break;
  96. case CLPAIR(IEEE754_CLASS_DNORM, IEEE754_CLASS_NORM):
  97. SPDNORMX;
  98. break;
  99. case CLPAIR(IEEE754_CLASS_NORM, IEEE754_CLASS_NORM):
  100. break;
  101. }
  102. /* flip sign of y and handle as add */
  103. ys ^= 1;
  104. assert(xm & SP_HIDDEN_BIT);
  105. assert(ym & SP_HIDDEN_BIT);
  106. /* provide guard,round and stick bit space */
  107. xm <<= 3;
  108. ym <<= 3;
  109. if (xe > ye) {
  110. /* have to shift y fraction right to align
  111. */
  112. int s = xe - ye;
  113. SPXSRSYn(s);
  114. } else if (ye > xe) {
  115. /* have to shift x fraction right to align
  116. */
  117. int s = ye - xe;
  118. SPXSRSXn(s);
  119. }
  120. assert(xe == ye);
  121. assert(xe <= SP_EMAX);
  122. if (xs == ys) {
  123. /* generate 28 bit result of adding two 27 bit numbers
  124. */
  125. xm = xm + ym;
  126. xe = xe;
  127. xs = xs;
  128. if (xm >> (SP_MBITS + 1 + 3)) { /* carry out */
  129. SPXSRSX1(); /* shift preserving sticky */
  130. }
  131. } else {
  132. if (xm >= ym) {
  133. xm = xm - ym;
  134. xe = xe;
  135. xs = xs;
  136. } else {
  137. xm = ym - xm;
  138. xe = xe;
  139. xs = ys;
  140. }
  141. if (xm == 0) {
  142. if (ieee754_csr.rm == IEEE754_RD)
  143. return ieee754sp_zero(1); /* round negative inf. => sign = -1 */
  144. else
  145. return ieee754sp_zero(0); /* other round modes => sign = 1 */
  146. }
  147. /* normalize to rounding precision
  148. */
  149. while ((xm >> (SP_MBITS + 3)) == 0) {
  150. xm <<= 1;
  151. xe--;
  152. }
  153. }
  154. SPNORMRET2(xs, xe, xm, "sub", x, y);
  155. }