sp_mul.c 4.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171
  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_mul(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(), "mul", 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. case CLPAIR(IEEE754_CLASS_INF, IEEE754_CLASS_ZERO):
  62. case CLPAIR(IEEE754_CLASS_ZERO, IEEE754_CLASS_INF):
  63. SETCX(IEEE754_INVALID_OPERATION);
  64. return ieee754sp_xcpt(ieee754sp_indef(), "mul", x, y);
  65. case CLPAIR(IEEE754_CLASS_NORM, IEEE754_CLASS_INF):
  66. case CLPAIR(IEEE754_CLASS_DNORM, IEEE754_CLASS_INF):
  67. case CLPAIR(IEEE754_CLASS_INF, IEEE754_CLASS_NORM):
  68. case CLPAIR(IEEE754_CLASS_INF, IEEE754_CLASS_DNORM):
  69. case CLPAIR(IEEE754_CLASS_INF, IEEE754_CLASS_INF):
  70. return ieee754sp_inf(xs ^ ys);
  71. case CLPAIR(IEEE754_CLASS_ZERO, IEEE754_CLASS_ZERO):
  72. case CLPAIR(IEEE754_CLASS_ZERO, IEEE754_CLASS_NORM):
  73. case CLPAIR(IEEE754_CLASS_ZERO, IEEE754_CLASS_DNORM):
  74. case CLPAIR(IEEE754_CLASS_NORM, IEEE754_CLASS_ZERO):
  75. case CLPAIR(IEEE754_CLASS_DNORM, IEEE754_CLASS_ZERO):
  76. return ieee754sp_zero(xs ^ ys);
  77. case CLPAIR(IEEE754_CLASS_DNORM, IEEE754_CLASS_DNORM):
  78. SPDNORMX;
  79. case CLPAIR(IEEE754_CLASS_NORM, IEEE754_CLASS_DNORM):
  80. SPDNORMY;
  81. break;
  82. case CLPAIR(IEEE754_CLASS_DNORM, IEEE754_CLASS_NORM):
  83. SPDNORMX;
  84. break;
  85. case CLPAIR(IEEE754_CLASS_NORM, IEEE754_CLASS_NORM):
  86. break;
  87. }
  88. /* rm = xm * ym, re = xe+ye basically */
  89. assert(xm & SP_HIDDEN_BIT);
  90. assert(ym & SP_HIDDEN_BIT);
  91. {
  92. int re = xe + ye;
  93. int rs = xs ^ ys;
  94. unsigned rm;
  95. /* shunt to top of word */
  96. xm <<= 32 - (SP_MBITS + 1);
  97. ym <<= 32 - (SP_MBITS + 1);
  98. /* multiply 32bits xm,ym to give high 32bits rm with stickness
  99. */
  100. {
  101. unsigned short lxm = xm & 0xffff;
  102. unsigned short hxm = xm >> 16;
  103. unsigned short lym = ym & 0xffff;
  104. unsigned short hym = ym >> 16;
  105. unsigned lrm;
  106. unsigned hrm;
  107. lrm = lxm * lym; /* 16 * 16 => 32 */
  108. hrm = hxm * hym; /* 16 * 16 => 32 */
  109. {
  110. unsigned t = lxm * hym; /* 16 * 16 => 32 */
  111. {
  112. unsigned at = lrm + (t << 16);
  113. hrm += at < lrm;
  114. lrm = at;
  115. }
  116. hrm = hrm + (t >> 16);
  117. }
  118. {
  119. unsigned t = hxm * lym; /* 16 * 16 => 32 */
  120. {
  121. unsigned at = lrm + (t << 16);
  122. hrm += at < lrm;
  123. lrm = at;
  124. }
  125. hrm = hrm + (t >> 16);
  126. }
  127. rm = hrm | (lrm != 0);
  128. }
  129. /*
  130. * sticky shift down to normal rounding precision
  131. */
  132. if ((int) rm < 0) {
  133. rm = (rm >> (32 - (SP_MBITS + 1 + 3))) |
  134. ((rm << (SP_MBITS + 1 + 3)) != 0);
  135. re++;
  136. } else {
  137. rm = (rm >> (32 - (SP_MBITS + 1 + 3 + 1))) |
  138. ((rm << (SP_MBITS + 1 + 3 + 1)) != 0);
  139. }
  140. assert(rm & (SP_HIDDEN_BIT << 3));
  141. SPNORMRET2(rs, re, rm, "mul", x, y);
  142. }
  143. }