36790d2881
Since [1], `compiler-builtins` makes a certain set of math symbols weakly available on all platforms. This means we can begin exposing some of the related functions in `core`, so begin this process here. It is not possible to provide inherent methods in both `core` and `std` while giving them different stability gates, so standalone functions are added instead. This provides a way to experiment with the functionality while unstable; once it is time to stabilize, they can be converted to inherent. For `f16` and `f128`, everything is unstable so we can move the inherent methods. The following are included to start: * floor * ceil * round * round_ties_even * trunc * fract * mul_add * div_euclid * rem_euclid * powi * sqrt * abs_sub * cbrt These mirror the set of functions that we have in `compiler-builtins` since [1]. Tracking issue: https://github.com/rust-lang/rust/issues/137578 [1]: https://github.com/rust-lang/compiler-builtins/pull/763
113 lines
3.6 KiB
Rust
113 lines
3.6 KiB
Rust
#![cfg(not(test))]
|
|
|
|
// These symbols are all defined by `libm`,
|
|
// or by `compiler-builtins` on unsupported platforms.
|
|
unsafe extern "C" {
|
|
pub safe fn acos(n: f64) -> f64;
|
|
pub safe fn asin(n: f64) -> f64;
|
|
pub safe fn atan(n: f64) -> f64;
|
|
pub safe fn atan2(a: f64, b: f64) -> f64;
|
|
pub safe fn cosh(n: f64) -> f64;
|
|
pub safe fn expm1(n: f64) -> f64;
|
|
pub safe fn expm1f(n: f32) -> f32;
|
|
#[cfg_attr(target_env = "msvc", link_name = "_hypot")]
|
|
pub safe fn hypot(x: f64, y: f64) -> f64;
|
|
#[cfg_attr(target_env = "msvc", link_name = "_hypotf")]
|
|
pub safe fn hypotf(x: f32, y: f32) -> f32;
|
|
pub safe fn log1p(n: f64) -> f64;
|
|
pub safe fn log1pf(n: f32) -> f32;
|
|
pub safe fn sinh(n: f64) -> f64;
|
|
pub safe fn tan(n: f64) -> f64;
|
|
pub safe fn tanh(n: f64) -> f64;
|
|
pub safe fn tgamma(n: f64) -> f64;
|
|
pub safe fn tgammaf(n: f32) -> f32;
|
|
pub safe fn lgamma_r(n: f64, s: &mut i32) -> f64;
|
|
#[cfg(not(target_os = "aix"))]
|
|
pub safe fn lgammaf_r(n: f32, s: &mut i32) -> f32;
|
|
pub safe fn erf(n: f64) -> f64;
|
|
pub safe fn erff(n: f32) -> f32;
|
|
pub safe fn erfc(n: f64) -> f64;
|
|
pub safe fn erfcf(n: f32) -> f32;
|
|
|
|
pub safe fn acosf128(n: f128) -> f128;
|
|
pub safe fn asinf128(n: f128) -> f128;
|
|
pub safe fn atanf128(n: f128) -> f128;
|
|
pub safe fn atan2f128(a: f128, b: f128) -> f128;
|
|
pub safe fn cbrtf128(n: f128) -> f128;
|
|
pub safe fn coshf128(n: f128) -> f128;
|
|
pub safe fn expm1f128(n: f128) -> f128;
|
|
pub safe fn hypotf128(x: f128, y: f128) -> f128;
|
|
pub safe fn log1pf128(n: f128) -> f128;
|
|
pub safe fn sinhf128(n: f128) -> f128;
|
|
pub safe fn tanf128(n: f128) -> f128;
|
|
pub safe fn tanhf128(n: f128) -> f128;
|
|
pub safe fn tgammaf128(n: f128) -> f128;
|
|
pub safe fn lgammaf128_r(n: f128, s: &mut i32) -> f128;
|
|
pub safe fn erff128(n: f128) -> f128;
|
|
pub safe fn erfcf128(n: f128) -> f128;
|
|
|
|
cfg_if::cfg_if! {
|
|
if #[cfg(not(all(target_os = "windows", target_env = "msvc", target_arch = "x86")))] {
|
|
pub safe fn acosf(n: f32) -> f32;
|
|
pub safe fn asinf(n: f32) -> f32;
|
|
pub safe fn atan2f(a: f32, b: f32) -> f32;
|
|
pub safe fn atanf(n: f32) -> f32;
|
|
pub safe fn coshf(n: f32) -> f32;
|
|
pub safe fn sinhf(n: f32) -> f32;
|
|
pub safe fn tanf(n: f32) -> f32;
|
|
pub safe fn tanhf(n: f32) -> f32;
|
|
}}
|
|
}
|
|
|
|
// On AIX, we don't have lgammaf_r only the f64 version, so we can
|
|
// use the f64 version lgamma_r
|
|
#[cfg(target_os = "aix")]
|
|
pub fn lgammaf_r(n: f32, s: &mut i32) -> f32 {
|
|
lgamma_r(n.into(), s) as f32
|
|
}
|
|
|
|
// On 32-bit x86 MSVC these functions aren't defined, so we just define shims
|
|
// which promote everything to f64, perform the calculation, and then demote
|
|
// back to f32. While not precisely correct should be "correct enough" for now.
|
|
cfg_if::cfg_if! {
|
|
if #[cfg(all(target_os = "windows", target_env = "msvc", target_arch = "x86"))] {
|
|
#[inline]
|
|
pub fn acosf(n: f32) -> f32 {
|
|
f64::acos(n as f64) as f32
|
|
}
|
|
|
|
#[inline]
|
|
pub fn asinf(n: f32) -> f32 {
|
|
f64::asin(n as f64) as f32
|
|
}
|
|
|
|
#[inline]
|
|
pub fn atan2f(n: f32, b: f32) -> f32 {
|
|
f64::atan2(n as f64, b as f64) as f32
|
|
}
|
|
|
|
#[inline]
|
|
pub fn atanf(n: f32) -> f32 {
|
|
f64::atan(n as f64) as f32
|
|
}
|
|
|
|
#[inline]
|
|
pub fn coshf(n: f32) -> f32 {
|
|
f64::cosh(n as f64) as f32
|
|
}
|
|
|
|
#[inline]
|
|
pub fn sinhf(n: f32) -> f32 {
|
|
f64::sinh(n as f64) as f32
|
|
}
|
|
|
|
#[inline]
|
|
pub fn tanf(n: f32) -> f32 {
|
|
f64::tan(n as f64) as f32
|
|
}
|
|
|
|
#[inline]
|
|
pub fn tanhf(n: f32) -> f32 {
|
|
f64::tanh(n as f64) as f32
|
|
}
|
|
}}
|