blob: d71bd38e3ddca8940cc4ad58383e5c4100fa96de (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
#[cfg_attr(all(test, assert_no_panic), no_panic::no_panic)]
pub fn remquof(mut x: f32, mut y: f32) -> (f32, i32) {
let ux: u32 = x.to_bits();
let mut uy: u32 = y.to_bits();
let mut ex = ((ux >> 23) & 0xff) as i32;
let mut ey = ((uy >> 23) & 0xff) as i32;
let sx = (ux >> 31) != 0;
let sy = (uy >> 31) != 0;
let mut q: u32;
let mut i: u32;
let mut uxi: u32 = ux;
if (uy << 1) == 0 || y.is_nan() || ex == 0xff {
return ((x * y) / (x * y), 0);
}
if (ux << 1) == 0 {
return (x, 0);
}
/* normalize x and y */
if ex == 0 {
i = uxi << 9;
while (i >> 31) == 0 {
ex -= 1;
i <<= 1;
}
uxi <<= -ex + 1;
} else {
uxi &= (!0) >> 9;
uxi |= 1 << 23;
}
if ey == 0 {
i = uy << 9;
while (i >> 31) == 0 {
ey -= 1;
i <<= 1;
}
uy <<= -ey + 1;
} else {
uy &= (!0) >> 9;
uy |= 1 << 23;
}
q = 0;
if ex + 1 != ey {
if ex < ey {
return (x, 0);
}
/* x mod y */
while ex > ey {
i = uxi.wrapping_sub(uy);
if (i >> 31) == 0 {
uxi = i;
q += 1;
}
uxi <<= 1;
q <<= 1;
ex -= 1;
}
i = uxi.wrapping_sub(uy);
if (i >> 31) == 0 {
uxi = i;
q += 1;
}
if uxi == 0 {
ex = -30;
} else {
while (uxi >> 23) == 0 {
uxi <<= 1;
ex -= 1;
}
}
}
/* scale result and decide between |x| and |x|-|y| */
if ex > 0 {
uxi -= 1 << 23;
uxi |= (ex as u32) << 23;
} else {
uxi >>= -ex + 1;
}
x = f32::from_bits(uxi);
if sy {
y = -y;
}
if ex == ey || (ex + 1 == ey && (2.0 * x > y || (2.0 * x == y && (q % 2) != 0))) {
x -= y;
q += 1;
}
q &= 0x7fffffff;
let quo = if sx ^ sy { -(q as i32) } else { q as i32 };
if sx {
(-x, quo)
} else {
(x, quo)
}
}
|
