2019-05-31 15:09:55 +07:00
|
|
|
// SPDX-License-Identifier: GPL-2.0-only
|
2005-04-17 05:20:36 +07:00
|
|
|
/* IEEE754 floating point arithmetic
|
|
|
|
* single precision square root
|
|
|
|
*/
|
|
|
|
/*
|
|
|
|
* MIPS floating point support
|
|
|
|
* Copyright (C) 1994-2000 Algorithmics Ltd.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include "ieee754sp.h"
|
|
|
|
|
2014-04-16 06:31:11 +07:00
|
|
|
union ieee754sp ieee754sp_sqrt(union ieee754sp x)
|
2005-04-17 05:20:36 +07:00
|
|
|
{
|
|
|
|
int ix, s, q, m, t, i;
|
|
|
|
unsigned int r;
|
|
|
|
COMPXSP;
|
|
|
|
|
|
|
|
/* take care of Inf and NaN */
|
|
|
|
|
|
|
|
EXPLODEXSP;
|
2014-04-19 05:36:32 +07:00
|
|
|
ieee754_clearcx();
|
2005-04-17 05:20:36 +07:00
|
|
|
FLUSHXSP;
|
|
|
|
|
|
|
|
/* x == INF or NAN? */
|
|
|
|
switch (xc) {
|
2015-04-04 05:25:34 +07:00
|
|
|
case IEEE754_CLASS_SNAN:
|
|
|
|
return ieee754sp_nanxcpt(x);
|
|
|
|
|
2005-04-17 05:20:36 +07:00
|
|
|
case IEEE754_CLASS_QNAN:
|
|
|
|
/* sqrt(Nan) = Nan */
|
2015-04-04 05:25:30 +07:00
|
|
|
return x;
|
2014-04-26 06:49:14 +07:00
|
|
|
|
2005-04-17 05:20:36 +07:00
|
|
|
case IEEE754_CLASS_ZERO:
|
|
|
|
/* sqrt(0) = 0 */
|
|
|
|
return x;
|
2014-04-26 06:49:14 +07:00
|
|
|
|
2005-04-17 05:20:36 +07:00
|
|
|
case IEEE754_CLASS_INF:
|
|
|
|
if (xs) {
|
|
|
|
/* sqrt(-Inf) = Nan */
|
2014-04-19 05:36:32 +07:00
|
|
|
ieee754_setcx(IEEE754_INVALID_OPERATION);
|
2015-04-04 05:25:30 +07:00
|
|
|
return ieee754sp_indef();
|
2005-04-17 05:20:36 +07:00
|
|
|
}
|
|
|
|
/* sqrt(+Inf) = Inf */
|
|
|
|
return x;
|
2014-04-26 06:49:14 +07:00
|
|
|
|
2005-04-17 05:20:36 +07:00
|
|
|
case IEEE754_CLASS_DNORM:
|
|
|
|
case IEEE754_CLASS_NORM:
|
|
|
|
if (xs) {
|
|
|
|
/* sqrt(-x) = Nan */
|
2014-04-19 05:36:32 +07:00
|
|
|
ieee754_setcx(IEEE754_INVALID_OPERATION);
|
2015-04-04 05:25:30 +07:00
|
|
|
return ieee754sp_indef();
|
2005-04-17 05:20:36 +07:00
|
|
|
}
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
ix = x.bits;
|
|
|
|
|
|
|
|
/* normalize x */
|
|
|
|
m = (ix >> 23);
|
|
|
|
if (m == 0) { /* subnormal x */
|
|
|
|
for (i = 0; (ix & 0x00800000) == 0; i++)
|
|
|
|
ix <<= 1;
|
|
|
|
m -= i - 1;
|
|
|
|
}
|
|
|
|
m -= 127; /* unbias exponent */
|
|
|
|
ix = (ix & 0x007fffff) | 0x00800000;
|
|
|
|
if (m & 1) /* odd m, double x to make it even */
|
|
|
|
ix += ix;
|
|
|
|
m >>= 1; /* m = [m/2] */
|
|
|
|
|
|
|
|
/* generate sqrt(x) bit by bit */
|
|
|
|
ix += ix;
|
2017-11-02 18:14:04 +07:00
|
|
|
s = 0;
|
|
|
|
q = 0; /* q = sqrt(x) */
|
2005-04-17 05:20:36 +07:00
|
|
|
r = 0x01000000; /* r = moving bit from right to left */
|
|
|
|
|
|
|
|
while (r != 0) {
|
|
|
|
t = s + r;
|
|
|
|
if (t <= ix) {
|
|
|
|
s = t + r;
|
|
|
|
ix -= t;
|
|
|
|
q += r;
|
|
|
|
}
|
|
|
|
ix += ix;
|
|
|
|
r >>= 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (ix != 0) {
|
2014-04-19 05:36:32 +07:00
|
|
|
ieee754_setcx(IEEE754_INEXACT);
|
2005-04-17 05:20:36 +07:00
|
|
|
switch (ieee754_csr.rm) {
|
2014-04-30 16:21:55 +07:00
|
|
|
case FPU_CSR_RU:
|
2005-04-17 05:20:36 +07:00
|
|
|
q += 2;
|
|
|
|
break;
|
2014-04-30 16:21:55 +07:00
|
|
|
case FPU_CSR_RN:
|
2005-04-17 05:20:36 +07:00
|
|
|
q += (q & 1);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
ix = (q >> 1) + 0x3f000000;
|
|
|
|
ix += (m << 23);
|
|
|
|
x.bits = ix;
|
|
|
|
return x;
|
|
|
|
}
|