summaryrefslogtreecommitdiffstats
path: root/vendor/libm/src/math/floor.rs
diff options
context:
space:
mode:
Diffstat (limited to 'vendor/libm/src/math/floor.rs')
-rw-r--r--vendor/libm/src/math/floor.rs42
1 files changed, 41 insertions, 1 deletions
diff --git a/vendor/libm/src/math/floor.rs b/vendor/libm/src/math/floor.rs
index f6068c697..d09f9a1a1 100644
--- a/vendor/libm/src/math/floor.rs
+++ b/vendor/libm/src/math/floor.rs
@@ -1,3 +1,4 @@
+#![allow(unreachable_code)]
use core::f64;
const TOINT: f64 = 1. / f64::EPSILON;
@@ -5,7 +6,6 @@ const TOINT: f64 = 1. / f64::EPSILON;
/// Floor (f64)
///
/// Finds the nearest integer less than or equal to `x`.
-#[inline]
#[cfg_attr(all(test, assert_no_panic), no_panic::no_panic)]
pub fn floor(x: f64) -> f64 {
// On wasm32 we know that LLVM's intrinsic will compile to an optimized
@@ -16,6 +16,24 @@ pub fn floor(x: f64) -> f64 {
return unsafe { ::core::intrinsics::floorf64(x) }
}
}
+ #[cfg(all(target_arch = "x86", not(target_feature = "sse2")))]
+ {
+ //use an alternative implementation on x86, because the
+ //main implementation fails with the x87 FPU used by
+ //debian i386, probablly due to excess precision issues.
+ //basic implementation taken from https://github.com/rust-lang/libm/issues/219
+ use super::fabs;
+ if fabs(x).to_bits() < 4503599627370496.0_f64.to_bits() {
+ let truncated = x as i64 as f64;
+ if truncated > x {
+ return truncated - 1.0;
+ } else {
+ return truncated;
+ }
+ } else {
+ return x;
+ }
+ }
let ui = x.to_bits();
let e = ((ui >> 52) & 0x7ff) as i32;
@@ -39,3 +57,25 @@ pub fn floor(x: f64) -> f64 {
x + y
}
}
+
+#[cfg(test)]
+mod tests {
+ use super::*;
+ use core::f64::*;
+
+ #[test]
+ fn sanity_check() {
+ assert_eq!(floor(1.1), 1.0);
+ assert_eq!(floor(2.9), 2.0);
+ }
+
+ /// The spec: https://en.cppreference.com/w/cpp/numeric/math/floor
+ #[test]
+ fn spec_tests() {
+ // Not Asserted: that the current rounding mode has no effect.
+ assert!(floor(NAN).is_nan());
+ for f in [0.0, -0.0, INFINITY, NEG_INFINITY].iter().copied() {
+ assert_eq!(floor(f), f);
+ }
+ }
+}