15f757f3fSDimitry Andric //===----------------------------------------------------------------------===// 25f757f3fSDimitry Andric // 35f757f3fSDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 45f757f3fSDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 55f757f3fSDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 65f757f3fSDimitry Andric // 75f757f3fSDimitry Andric //===----------------------------------------------------------------------===// 85f757f3fSDimitry Andric 95f757f3fSDimitry Andric #ifndef _LIBCPP___MATH_EXPONENTIAL_FUNCTIONS_H 105f757f3fSDimitry Andric #define _LIBCPP___MATH_EXPONENTIAL_FUNCTIONS_H 115f757f3fSDimitry Andric 125f757f3fSDimitry Andric #include <__config> 135f757f3fSDimitry Andric #include <__type_traits/enable_if.h> 145f757f3fSDimitry Andric #include <__type_traits/is_arithmetic.h> 155f757f3fSDimitry Andric #include <__type_traits/is_integral.h> 165f757f3fSDimitry Andric #include <__type_traits/is_same.h> 175f757f3fSDimitry Andric #include <__type_traits/promote.h> 185f757f3fSDimitry Andric 195f757f3fSDimitry Andric #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) 205f757f3fSDimitry Andric # pragma GCC system_header 215f757f3fSDimitry Andric #endif 225f757f3fSDimitry Andric 235f757f3fSDimitry Andric _LIBCPP_BEGIN_NAMESPACE_STD 245f757f3fSDimitry Andric 255f757f3fSDimitry Andric namespace __math { 265f757f3fSDimitry Andric 275f757f3fSDimitry Andric // exp 285f757f3fSDimitry Andric 295f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI float exp(float __x) _NOEXCEPT { return __builtin_expf(__x); } 305f757f3fSDimitry Andric 315f757f3fSDimitry Andric template <class = int> 325f757f3fSDimitry Andric _LIBCPP_HIDE_FROM_ABI double exp(double __x) _NOEXCEPT { 335f757f3fSDimitry Andric return __builtin_exp(__x); 345f757f3fSDimitry Andric } 355f757f3fSDimitry Andric 365f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI long double exp(long double __x) _NOEXCEPT { return __builtin_expl(__x); } 375f757f3fSDimitry Andric 385f757f3fSDimitry Andric template <class _A1, __enable_if_t<is_integral<_A1>::value, int> = 0> 395f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI double exp(_A1 __x) _NOEXCEPT { 405f757f3fSDimitry Andric return __builtin_exp((double)__x); 415f757f3fSDimitry Andric } 425f757f3fSDimitry Andric 435f757f3fSDimitry Andric // frexp 445f757f3fSDimitry Andric 455f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI float frexp(float __x, int* __e) _NOEXCEPT { return __builtin_frexpf(__x, __e); } 465f757f3fSDimitry Andric 475f757f3fSDimitry Andric template <class = int> 485f757f3fSDimitry Andric _LIBCPP_HIDE_FROM_ABI double frexp(double __x, int* __e) _NOEXCEPT { 495f757f3fSDimitry Andric return __builtin_frexp(__x, __e); 505f757f3fSDimitry Andric } 515f757f3fSDimitry Andric 525f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI long double frexp(long double __x, int* __e) _NOEXCEPT { 535f757f3fSDimitry Andric return __builtin_frexpl(__x, __e); 545f757f3fSDimitry Andric } 555f757f3fSDimitry Andric 565f757f3fSDimitry Andric template <class _A1, __enable_if_t<is_integral<_A1>::value, int> = 0> 575f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI double frexp(_A1 __x, int* __e) _NOEXCEPT { 585f757f3fSDimitry Andric return __builtin_frexp((double)__x, __e); 595f757f3fSDimitry Andric } 605f757f3fSDimitry Andric 615f757f3fSDimitry Andric // ldexp 625f757f3fSDimitry Andric 635f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI float ldexp(float __x, int __e) _NOEXCEPT { return __builtin_ldexpf(__x, __e); } 645f757f3fSDimitry Andric 655f757f3fSDimitry Andric template <class = int> 665f757f3fSDimitry Andric _LIBCPP_HIDE_FROM_ABI double ldexp(double __x, int __e) _NOEXCEPT { 675f757f3fSDimitry Andric return __builtin_ldexp(__x, __e); 685f757f3fSDimitry Andric } 695f757f3fSDimitry Andric 705f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI long double ldexp(long double __x, int __e) _NOEXCEPT { 715f757f3fSDimitry Andric return __builtin_ldexpl(__x, __e); 725f757f3fSDimitry Andric } 735f757f3fSDimitry Andric 745f757f3fSDimitry Andric template <class _A1, __enable_if_t<is_integral<_A1>::value, int> = 0> 755f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI double ldexp(_A1 __x, int __e) _NOEXCEPT { 765f757f3fSDimitry Andric return __builtin_ldexp((double)__x, __e); 775f757f3fSDimitry Andric } 785f757f3fSDimitry Andric 795f757f3fSDimitry Andric // exp2 805f757f3fSDimitry Andric 815f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI float exp2(float __x) _NOEXCEPT { return __builtin_exp2f(__x); } 825f757f3fSDimitry Andric 835f757f3fSDimitry Andric template <class = int> 845f757f3fSDimitry Andric _LIBCPP_HIDE_FROM_ABI double exp2(double __x) _NOEXCEPT { 855f757f3fSDimitry Andric return __builtin_exp2(__x); 865f757f3fSDimitry Andric } 875f757f3fSDimitry Andric 885f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI long double exp2(long double __x) _NOEXCEPT { return __builtin_exp2l(__x); } 895f757f3fSDimitry Andric 905f757f3fSDimitry Andric template <class _A1, __enable_if_t<is_integral<_A1>::value, int> = 0> 915f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI double exp2(_A1 __x) _NOEXCEPT { 925f757f3fSDimitry Andric return __builtin_exp2((double)__x); 935f757f3fSDimitry Andric } 945f757f3fSDimitry Andric 955f757f3fSDimitry Andric // expm1 965f757f3fSDimitry Andric 975f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI float expm1(float __x) _NOEXCEPT { return __builtin_expm1f(__x); } 985f757f3fSDimitry Andric 995f757f3fSDimitry Andric template <class = int> 1005f757f3fSDimitry Andric _LIBCPP_HIDE_FROM_ABI double expm1(double __x) _NOEXCEPT { 1015f757f3fSDimitry Andric return __builtin_expm1(__x); 1025f757f3fSDimitry Andric } 1035f757f3fSDimitry Andric 1045f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI long double expm1(long double __x) _NOEXCEPT { return __builtin_expm1l(__x); } 1055f757f3fSDimitry Andric 1065f757f3fSDimitry Andric template <class _A1, __enable_if_t<is_integral<_A1>::value, int> = 0> 1075f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI double expm1(_A1 __x) _NOEXCEPT { 1085f757f3fSDimitry Andric return __builtin_expm1((double)__x); 1095f757f3fSDimitry Andric } 1105f757f3fSDimitry Andric 1115f757f3fSDimitry Andric // scalbln 1125f757f3fSDimitry Andric 1135f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI float scalbln(float __x, long __y) _NOEXCEPT { return __builtin_scalblnf(__x, __y); } 1145f757f3fSDimitry Andric 1155f757f3fSDimitry Andric template <class = int> 1165f757f3fSDimitry Andric _LIBCPP_HIDE_FROM_ABI double scalbln(double __x, long __y) _NOEXCEPT { 1175f757f3fSDimitry Andric return __builtin_scalbln(__x, __y); 1185f757f3fSDimitry Andric } 1195f757f3fSDimitry Andric 1205f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI long double scalbln(long double __x, long __y) _NOEXCEPT { 1215f757f3fSDimitry Andric return __builtin_scalblnl(__x, __y); 1225f757f3fSDimitry Andric } 1235f757f3fSDimitry Andric 1245f757f3fSDimitry Andric template <class _A1, __enable_if_t<is_integral<_A1>::value, int> = 0> 1255f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI double scalbln(_A1 __x, long __y) _NOEXCEPT { 1265f757f3fSDimitry Andric return __builtin_scalbln((double)__x, __y); 1275f757f3fSDimitry Andric } 1285f757f3fSDimitry Andric 1295f757f3fSDimitry Andric // scalbn 1305f757f3fSDimitry Andric 1315f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI float scalbn(float __x, int __y) _NOEXCEPT { return __builtin_scalbnf(__x, __y); } 1325f757f3fSDimitry Andric 1335f757f3fSDimitry Andric template <class = int> 1345f757f3fSDimitry Andric _LIBCPP_HIDE_FROM_ABI double scalbn(double __x, int __y) _NOEXCEPT { 1355f757f3fSDimitry Andric return __builtin_scalbn(__x, __y); 1365f757f3fSDimitry Andric } 1375f757f3fSDimitry Andric 1385f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI long double scalbn(long double __x, int __y) _NOEXCEPT { 1395f757f3fSDimitry Andric return __builtin_scalbnl(__x, __y); 1405f757f3fSDimitry Andric } 1415f757f3fSDimitry Andric 1425f757f3fSDimitry Andric template <class _A1, __enable_if_t<is_integral<_A1>::value, int> = 0> 1435f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI double scalbn(_A1 __x, int __y) _NOEXCEPT { 1445f757f3fSDimitry Andric return __builtin_scalbn((double)__x, __y); 1455f757f3fSDimitry Andric } 1465f757f3fSDimitry Andric 1475f757f3fSDimitry Andric // pow 1485f757f3fSDimitry Andric 1495f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI float pow(float __x, float __y) _NOEXCEPT { return __builtin_powf(__x, __y); } 1505f757f3fSDimitry Andric 1515f757f3fSDimitry Andric template <class = int> 1525f757f3fSDimitry Andric _LIBCPP_HIDE_FROM_ABI double pow(double __x, double __y) _NOEXCEPT { 1535f757f3fSDimitry Andric return __builtin_pow(__x, __y); 1545f757f3fSDimitry Andric } 1555f757f3fSDimitry Andric 1565f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI long double pow(long double __x, long double __y) _NOEXCEPT { 1575f757f3fSDimitry Andric return __builtin_powl(__x, __y); 1585f757f3fSDimitry Andric } 1595f757f3fSDimitry Andric 1605f757f3fSDimitry Andric template <class _A1, class _A2, __enable_if_t<is_arithmetic<_A1>::value && is_arithmetic<_A2>::value, int> = 0> 1615f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI typename __promote<_A1, _A2>::type pow(_A1 __x, _A2 __y) _NOEXCEPT { 1625f757f3fSDimitry Andric using __result_type = typename __promote<_A1, _A2>::type; 163*0fca6ea1SDimitry Andric static_assert(!(_IsSame<_A1, __result_type>::value && _IsSame<_A2, __result_type>::value), ""); 1645f757f3fSDimitry Andric return __math::pow((__result_type)__x, (__result_type)__y); 1655f757f3fSDimitry Andric } 1665f757f3fSDimitry Andric 1675f757f3fSDimitry Andric } // namespace __math 1685f757f3fSDimitry Andric 1695f757f3fSDimitry Andric _LIBCPP_END_NAMESPACE_STD 1705f757f3fSDimitry Andric 1715f757f3fSDimitry Andric #endif // _LIBCPP___MATH_EXPONENTIAL_FUNCTIONS_H 172