blob: 3a23c6409275afdc34b492307eaee1297259eb64 [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001/* IEEE754 floating point arithmetic
2 * double precision: common utilities
3 */
4/*
5 * MIPS floating point support
6 * Copyright (C) 1994-2000 Algorithmics Ltd.
Linus Torvalds1da177e2005-04-16 15:20:36 -07007 *
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
Linus Torvalds1da177e2005-04-16 15:20:36 -070027#include "ieee754dp.h"
28
Ralf Baechle2209bcb2014-04-16 01:31:11 +020029int ieee754dp_tint(union ieee754dp x)
Linus Torvalds1da177e2005-04-16 15:20:36 -070030{
31 COMPXDP;
32
Ralf Baechle9e8bad12014-04-19 00:36:32 +020033 ieee754_clearcx();
Linus Torvalds1da177e2005-04-16 15:20:36 -070034
35 EXPLODEXDP;
36 FLUSHXDP;
37
38 switch (xc) {
39 case IEEE754_CLASS_SNAN:
40 case IEEE754_CLASS_QNAN:
41 case IEEE754_CLASS_INF:
Ralf Baechle9e8bad12014-04-19 00:36:32 +020042 ieee754_setcx(IEEE754_INVALID_OPERATION);
Ralf Baechle90efba32014-04-25 03:19:57 +020043 return ieee754si_indef();
Linus Torvalds1da177e2005-04-16 15:20:36 -070044 case IEEE754_CLASS_ZERO:
45 return 0;
46 case IEEE754_CLASS_DNORM:
47 case IEEE754_CLASS_NORM:
48 break;
49 }
50 if (xe > 31) {
51 /* Set invalid. We will only use overflow for floating
52 point overflow */
Ralf Baechle9e8bad12014-04-19 00:36:32 +020053 ieee754_setcx(IEEE754_INVALID_OPERATION);
Ralf Baechle90efba32014-04-25 03:19:57 +020054 return ieee754si_indef();
Linus Torvalds1da177e2005-04-16 15:20:36 -070055 }
56 /* oh gawd */
Ralf Baechlead8fb5532014-04-22 15:51:55 +020057 if (xe > DP_FBITS) {
58 xm <<= xe - DP_FBITS;
59 } else if (xe < DP_FBITS) {
Linus Torvalds1da177e2005-04-16 15:20:36 -070060 u64 residue;
61 int round;
62 int sticky;
63 int odd;
64
65 if (xe < -1) {
66 residue = xm;
67 round = 0;
68 sticky = residue != 0;
69 xm = 0;
Andrea Gelmini6337f5e2010-05-23 21:52:06 +020070 } else {
Ralf Baechlead8fb5532014-04-22 15:51:55 +020071 residue = xm << (64 - DP_FBITS + xe);
Linus Torvalds1da177e2005-04-16 15:20:36 -070072 round = (residue >> 63) != 0;
73 sticky = (residue << 1) != 0;
Ralf Baechlead8fb5532014-04-22 15:51:55 +020074 xm >>= DP_FBITS - xe;
Linus Torvalds1da177e2005-04-16 15:20:36 -070075 }
76 /* Note: At this point upper 32 bits of xm are guaranteed
77 to be zero */
78 odd = (xm & 0x1) != 0x0;
79 switch (ieee754_csr.rm) {
80 case IEEE754_RN:
81 if (round && (sticky || odd))
82 xm++;
83 break;
84 case IEEE754_RZ:
85 break;
86 case IEEE754_RU: /* toward +Infinity */
87 if ((round || sticky) && !xs)
88 xm++;
89 break;
90 case IEEE754_RD: /* toward -Infinity */
91 if ((round || sticky) && xs)
92 xm++;
93 break;
94 }
95 /* look for valid corner case 0x80000000 */
96 if ((xm >> 31) != 0 && (xs == 0 || xm != 0x80000000)) {
97 /* This can happen after rounding */
Ralf Baechle9e8bad12014-04-19 00:36:32 +020098 ieee754_setcx(IEEE754_INVALID_OPERATION);
Ralf Baechle90efba32014-04-25 03:19:57 +020099 return ieee754si_indef();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700100 }
101 if (round || sticky)
Ralf Baechle9e8bad12014-04-19 00:36:32 +0200102 ieee754_setcx(IEEE754_INEXACT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700103 }
104 if (xs)
105 return -xm;
106 else
107 return xm;
108}