Files
rust/library/compiler-builtins/libm/src/math/sqrt.rs

132 lines
3.1 KiB
Rust
Raw Normal View History

2018-07-13 18:31:01 -04:00
use core::f64;
const TINY: f64 = 1.0e-300;
#[inline]
pub fn sqrt(x: f64) -> f64 {
let mut z: f64;
let sign: u32 = 0x80000000;
let mut ix0: i32;
let mut s0: i32;
let mut q: i32;
let mut m: i32;
let mut t: i32;
let mut i: i32;
let mut r: u32;
let mut t1: u32;
let mut s1: u32;
let mut ix1: u32;
let mut q1: u32;
ix0 = (x.to_bits() >> 32) as i32;
ix1 = x.to_bits() as u32;
/* take care of Inf and NaN */
2018-07-13 21:51:07 -05:00
if (ix0 & 0x7ff00000) == 0x7ff00000 {
return x * x + x; /* sqrt(NaN)=NaN, sqrt(+inf)=+inf, sqrt(-inf)=sNaN */
2018-07-13 18:31:01 -04:00
}
/* take care of zero */
if ix0 <= 0 {
2018-07-13 21:51:07 -05:00
if ((ix0 & !(sign as i32)) | ix1 as i32) == 0 {
return x; /* sqrt(+-0) = +-0 */
2018-07-13 18:31:01 -04:00
}
if ix0 < 0 {
2018-07-13 21:51:07 -05:00
return (x - x) / (x - x); /* sqrt(-ve) = sNaN */
2018-07-13 18:31:01 -04:00
}
}
/* normalize x */
2018-07-13 21:51:07 -05:00
m = ix0 >> 20;
if m == 0 {
/* subnormal x */
2018-07-13 18:31:01 -04:00
while ix0 == 0 {
m -= 21;
2018-07-13 21:51:07 -05:00
ix0 |= (ix1 >> 11) as i32;
2018-07-13 18:31:01 -04:00
ix1 <<= 21;
}
2018-07-13 21:51:07 -05:00
i = 0;
while (ix0 & 0x00100000) == 0 {
2018-07-13 18:31:01 -04:00
i += 1;
ix0 <<= 1;
}
m -= i - 1;
2018-07-13 21:51:07 -05:00
ix0 |= (ix1 >> (32 - i)) as i32;
2018-07-13 18:31:01 -04:00
ix1 <<= i;
}
2018-07-13 21:51:07 -05:00
m -= 1023; /* unbias exponent */
ix0 = (ix0 & 0x000fffff) | 0x00100000;
if (m & 1) == 1 {
/* odd m, double x to make it even */
ix0 += ix0 + ((ix1 & sign) >> 31) as i32;
2018-07-13 18:31:01 -04:00
ix1 += ix1;
}
2018-07-13 21:51:07 -05:00
m >>= 1; /* m = [m/2] */
2018-07-13 18:31:01 -04:00
/* generate sqrt(x) bit by bit */
2018-07-13 21:51:07 -05:00
ix0 += ix0 + ((ix1 & sign) >> 31) as i32;
2018-07-13 18:31:01 -04:00
ix1 += ix1;
q = 0; /* [q,q1] = sqrt(x) */
q1 = 0;
s0 = 0;
s1 = 0;
2018-07-13 21:51:07 -05:00
r = 0x00200000; /* r = moving bit from right to left */
2018-07-13 18:31:01 -04:00
while r != 0 {
t = s0 + r as i32;
if t <= ix0 {
2018-07-13 21:51:07 -05:00
s0 = t + r as i32;
2018-07-13 18:31:01 -04:00
ix0 -= t;
2018-07-13 21:51:07 -05:00
q += r as i32;
2018-07-13 18:31:01 -04:00
}
2018-07-13 21:51:07 -05:00
ix0 += ix0 + ((ix1 & sign) >> 31) as i32;
2018-07-13 18:31:01 -04:00
ix1 += ix1;
r >>= 1;
}
r = sign;
while r != 0 {
t1 = s1 + r;
2018-07-13 21:51:07 -05:00
t = s0;
2018-07-13 18:31:01 -04:00
if t < ix0 || (t == ix0 && t1 <= ix1) {
s1 = t1 + r;
2018-07-13 21:51:07 -05:00
if (t1 & sign) == sign && (s1 & sign) == 0 {
2018-07-13 18:31:01 -04:00
s0 += 1;
}
ix0 -= t;
if ix1 < t1 {
ix0 -= 1;
}
ix1 -= t1;
q1 += r;
}
2018-07-13 21:51:07 -05:00
ix0 += ix0 + ((ix1 & sign) >> 31) as i32;
2018-07-13 18:31:01 -04:00
ix1 += ix1;
r >>= 1;
}
/* use floating add to find out rounding direction */
2018-07-13 21:51:07 -05:00
if (ix0 as u32 | ix1) != 0 {
2018-07-13 18:31:01 -04:00
z = 1.0 - TINY; /* raise inexact flag */
if z >= 1.0 {
z = 1.0 + TINY;
if q1 == 0xffffffff {
q1 = 0;
2018-07-13 21:51:07 -05:00
q += 1;
2018-07-13 18:31:01 -04:00
} else if z > 1.0 {
if q1 == 0xfffffffe {
q += 1;
}
q1 += 2;
} else {
q1 += q1 & 1;
}
}
}
2018-07-13 21:51:07 -05:00
ix0 = (q >> 1) + 0x3fe00000;
ix1 = q1 >> 1;
if (q & 1) == 1 {
2018-07-13 18:31:01 -04:00
ix1 |= sign;
}
ix0 += m << 20;
f64::from_bits((ix0 as u64) << 32 | ix1 as u64)
}