copysign.hpp

Go to the documentation of this file.

// SPDX-License-Identifier: BSL-1.0
 
#ifndef TETL_CMATH_COPYSIGN_HPP
#define TETL_CMATH_COPYSIGN_HPP
 
#include <etl/_config/all.hpp>
 
#include <etl/_type_traits/is_constant_evaluated.hpp>
#include <etl/_type_traits/is_same.hpp>
 
namespace etl {
 
namespace detail {
template <typename T>
constexpr auto copysign_fallback(T x, T y) noexcept -> T
{
    if ((x < 0 and y > 0) or (x > 0 and y < 0)) {
        return -x;
    }
    return x;
}
 
template <typename T>
[[nodiscard]] constexpr auto copysign(T x, T y) noexcept -> T
{
    if (!is_constant_evaluated()) {
        if constexpr (is_same_v<T, float>) {
#if __has_builtin(__builtin_copysignf)
            return __builtin_copysignf(x, y);
#endif
        }
        if constexpr (is_same_v<T, double>) {
#if __has_builtin(__builtin_copysign)
            return __builtin_copysign(x, y);
#endif
        }
    }
    return copysign_fallback(x, y);
}
 
} // namespace detail


[[nodiscard]] constexpr auto copysign(float mag, float sgn) -> float { return detail::copysign(mag, sgn); }
[[nodiscard]] constexpr auto copysignf(float mag, float sgn) -> float { return detail::copysign(mag, sgn); }
[[nodiscard]] constexpr auto copysign(double mag, double sgn) -> double { return detail::copysign(mag, sgn); }
[[nodiscard]] constexpr auto copysign(long double mag, long double sgn) -> long double
{
    return detail::copysign(mag, sgn);
}
 
[[nodiscard]] constexpr auto copysignl(long double mag, long double sgn) -> long double
{
    return detail::copysign(mag, sgn);
}

 
} // namespace etl
 
#endif // TETL_CMATH_COPYSIGN_HPP