1 | #[cfg_attr (all(test, assert_no_panic), no_panic::no_panic)] |
2 | pub fn modff(x: f32) -> (f32, f32) { |
3 | let rv2: f32; |
4 | let mut u: u32 = x.to_bits(); |
5 | let mask: u32; |
6 | let e = (((u >> 23) & 0xff) as i32) - 0x7f; |
7 | |
8 | /* no fractional part */ |
9 | if e >= 23 { |
10 | rv2 = x; |
11 | if e == 0x80 && (u << 9) != 0 { |
12 | /* nan */ |
13 | return (x, rv2); |
14 | } |
15 | u &= 0x80000000; |
16 | return (f32::from_bits(u), rv2); |
17 | } |
18 | /* no integral part */ |
19 | if e < 0 { |
20 | u &= 0x80000000; |
21 | rv2 = f32::from_bits(u); |
22 | return (x, rv2); |
23 | } |
24 | |
25 | mask = 0x007fffff >> e; |
26 | if (u & mask) == 0 { |
27 | rv2 = x; |
28 | u &= 0x80000000; |
29 | return (f32::from_bits(u), rv2); |
30 | } |
31 | u &= !mask; |
32 | rv2 = f32::from_bits(u); |
33 | return (x - rv2, rv2); |
34 | } |
35 | |