1*5f757f3fSDimitry Andric //===----------------------------------------------------------------------===// 2*5f757f3fSDimitry Andric // 3*5f757f3fSDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4*5f757f3fSDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 5*5f757f3fSDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6*5f757f3fSDimitry Andric // 7*5f757f3fSDimitry Andric //===----------------------------------------------------------------------===// 8*5f757f3fSDimitry Andric 9*5f757f3fSDimitry Andric #ifndef _LIBCPP___MATH_EXPONENTIAL_FUNCTIONS_H 10*5f757f3fSDimitry Andric #define _LIBCPP___MATH_EXPONENTIAL_FUNCTIONS_H 11*5f757f3fSDimitry Andric 12*5f757f3fSDimitry Andric #include <__config> 13*5f757f3fSDimitry Andric #include <__type_traits/enable_if.h> 14*5f757f3fSDimitry Andric #include <__type_traits/is_arithmetic.h> 15*5f757f3fSDimitry Andric #include <__type_traits/is_integral.h> 16*5f757f3fSDimitry Andric #include <__type_traits/is_same.h> 17*5f757f3fSDimitry Andric #include <__type_traits/promote.h> 18*5f757f3fSDimitry Andric 19*5f757f3fSDimitry Andric #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) 20*5f757f3fSDimitry Andric # pragma GCC system_header 21*5f757f3fSDimitry Andric #endif 22*5f757f3fSDimitry Andric 23*5f757f3fSDimitry Andric _LIBCPP_BEGIN_NAMESPACE_STD 24*5f757f3fSDimitry Andric 25*5f757f3fSDimitry Andric namespace __math { 26*5f757f3fSDimitry Andric 27*5f757f3fSDimitry Andric // exp 28*5f757f3fSDimitry Andric 29*5f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI float exp(float __x) _NOEXCEPT { return __builtin_expf(__x); } 30*5f757f3fSDimitry Andric 31*5f757f3fSDimitry Andric template <class = int> 32*5f757f3fSDimitry Andric _LIBCPP_HIDE_FROM_ABI double exp(double __x) _NOEXCEPT { 33*5f757f3fSDimitry Andric return __builtin_exp(__x); 34*5f757f3fSDimitry Andric } 35*5f757f3fSDimitry Andric 36*5f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI long double exp(long double __x) _NOEXCEPT { return __builtin_expl(__x); } 37*5f757f3fSDimitry Andric 38*5f757f3fSDimitry Andric template <class _A1, __enable_if_t<is_integral<_A1>::value, int> = 0> 39*5f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI double exp(_A1 __x) _NOEXCEPT { 40*5f757f3fSDimitry Andric return __builtin_exp((double)__x); 41*5f757f3fSDimitry Andric } 42*5f757f3fSDimitry Andric 43*5f757f3fSDimitry Andric // frexp 44*5f757f3fSDimitry Andric 45*5f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI float frexp(float __x, int* __e) _NOEXCEPT { return __builtin_frexpf(__x, __e); } 46*5f757f3fSDimitry Andric 47*5f757f3fSDimitry Andric template <class = int> 48*5f757f3fSDimitry Andric _LIBCPP_HIDE_FROM_ABI double frexp(double __x, int* __e) _NOEXCEPT { 49*5f757f3fSDimitry Andric return __builtin_frexp(__x, __e); 50*5f757f3fSDimitry Andric } 51*5f757f3fSDimitry Andric 52*5f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI long double frexp(long double __x, int* __e) _NOEXCEPT { 53*5f757f3fSDimitry Andric return __builtin_frexpl(__x, __e); 54*5f757f3fSDimitry Andric } 55*5f757f3fSDimitry Andric 56*5f757f3fSDimitry Andric template <class _A1, __enable_if_t<is_integral<_A1>::value, int> = 0> 57*5f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI double frexp(_A1 __x, int* __e) _NOEXCEPT { 58*5f757f3fSDimitry Andric return __builtin_frexp((double)__x, __e); 59*5f757f3fSDimitry Andric } 60*5f757f3fSDimitry Andric 61*5f757f3fSDimitry Andric // ldexp 62*5f757f3fSDimitry Andric 63*5f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI float ldexp(float __x, int __e) _NOEXCEPT { return __builtin_ldexpf(__x, __e); } 64*5f757f3fSDimitry Andric 65*5f757f3fSDimitry Andric template <class = int> 66*5f757f3fSDimitry Andric _LIBCPP_HIDE_FROM_ABI double ldexp(double __x, int __e) _NOEXCEPT { 67*5f757f3fSDimitry Andric return __builtin_ldexp(__x, __e); 68*5f757f3fSDimitry Andric } 69*5f757f3fSDimitry Andric 70*5f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI long double ldexp(long double __x, int __e) _NOEXCEPT { 71*5f757f3fSDimitry Andric return __builtin_ldexpl(__x, __e); 72*5f757f3fSDimitry Andric } 73*5f757f3fSDimitry Andric 74*5f757f3fSDimitry Andric template <class _A1, __enable_if_t<is_integral<_A1>::value, int> = 0> 75*5f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI double ldexp(_A1 __x, int __e) _NOEXCEPT { 76*5f757f3fSDimitry Andric return __builtin_ldexp((double)__x, __e); 77*5f757f3fSDimitry Andric } 78*5f757f3fSDimitry Andric 79*5f757f3fSDimitry Andric // exp2 80*5f757f3fSDimitry Andric 81*5f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI float exp2(float __x) _NOEXCEPT { return __builtin_exp2f(__x); } 82*5f757f3fSDimitry Andric 83*5f757f3fSDimitry Andric template <class = int> 84*5f757f3fSDimitry Andric _LIBCPP_HIDE_FROM_ABI double exp2(double __x) _NOEXCEPT { 85*5f757f3fSDimitry Andric return __builtin_exp2(__x); 86*5f757f3fSDimitry Andric } 87*5f757f3fSDimitry Andric 88*5f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI long double exp2(long double __x) _NOEXCEPT { return __builtin_exp2l(__x); } 89*5f757f3fSDimitry Andric 90*5f757f3fSDimitry Andric template <class _A1, __enable_if_t<is_integral<_A1>::value, int> = 0> 91*5f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI double exp2(_A1 __x) _NOEXCEPT { 92*5f757f3fSDimitry Andric return __builtin_exp2((double)__x); 93*5f757f3fSDimitry Andric } 94*5f757f3fSDimitry Andric 95*5f757f3fSDimitry Andric // expm1 96*5f757f3fSDimitry Andric 97*5f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI float expm1(float __x) _NOEXCEPT { return __builtin_expm1f(__x); } 98*5f757f3fSDimitry Andric 99*5f757f3fSDimitry Andric template <class = int> 100*5f757f3fSDimitry Andric _LIBCPP_HIDE_FROM_ABI double expm1(double __x) _NOEXCEPT { 101*5f757f3fSDimitry Andric return __builtin_expm1(__x); 102*5f757f3fSDimitry Andric } 103*5f757f3fSDimitry Andric 104*5f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI long double expm1(long double __x) _NOEXCEPT { return __builtin_expm1l(__x); } 105*5f757f3fSDimitry Andric 106*5f757f3fSDimitry Andric template <class _A1, __enable_if_t<is_integral<_A1>::value, int> = 0> 107*5f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI double expm1(_A1 __x) _NOEXCEPT { 108*5f757f3fSDimitry Andric return __builtin_expm1((double)__x); 109*5f757f3fSDimitry Andric } 110*5f757f3fSDimitry Andric 111*5f757f3fSDimitry Andric // scalbln 112*5f757f3fSDimitry Andric 113*5f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI float scalbln(float __x, long __y) _NOEXCEPT { return __builtin_scalblnf(__x, __y); } 114*5f757f3fSDimitry Andric 115*5f757f3fSDimitry Andric template <class = int> 116*5f757f3fSDimitry Andric _LIBCPP_HIDE_FROM_ABI double scalbln(double __x, long __y) _NOEXCEPT { 117*5f757f3fSDimitry Andric return __builtin_scalbln(__x, __y); 118*5f757f3fSDimitry Andric } 119*5f757f3fSDimitry Andric 120*5f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI long double scalbln(long double __x, long __y) _NOEXCEPT { 121*5f757f3fSDimitry Andric return __builtin_scalblnl(__x, __y); 122*5f757f3fSDimitry Andric } 123*5f757f3fSDimitry Andric 124*5f757f3fSDimitry Andric template <class _A1, __enable_if_t<is_integral<_A1>::value, int> = 0> 125*5f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI double scalbln(_A1 __x, long __y) _NOEXCEPT { 126*5f757f3fSDimitry Andric return __builtin_scalbln((double)__x, __y); 127*5f757f3fSDimitry Andric } 128*5f757f3fSDimitry Andric 129*5f757f3fSDimitry Andric // scalbn 130*5f757f3fSDimitry Andric 131*5f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI float scalbn(float __x, int __y) _NOEXCEPT { return __builtin_scalbnf(__x, __y); } 132*5f757f3fSDimitry Andric 133*5f757f3fSDimitry Andric template <class = int> 134*5f757f3fSDimitry Andric _LIBCPP_HIDE_FROM_ABI double scalbn(double __x, int __y) _NOEXCEPT { 135*5f757f3fSDimitry Andric return __builtin_scalbn(__x, __y); 136*5f757f3fSDimitry Andric } 137*5f757f3fSDimitry Andric 138*5f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI long double scalbn(long double __x, int __y) _NOEXCEPT { 139*5f757f3fSDimitry Andric return __builtin_scalbnl(__x, __y); 140*5f757f3fSDimitry Andric } 141*5f757f3fSDimitry Andric 142*5f757f3fSDimitry Andric template <class _A1, __enable_if_t<is_integral<_A1>::value, int> = 0> 143*5f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI double scalbn(_A1 __x, int __y) _NOEXCEPT { 144*5f757f3fSDimitry Andric return __builtin_scalbn((double)__x, __y); 145*5f757f3fSDimitry Andric } 146*5f757f3fSDimitry Andric 147*5f757f3fSDimitry Andric // pow 148*5f757f3fSDimitry Andric 149*5f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI float pow(float __x, float __y) _NOEXCEPT { return __builtin_powf(__x, __y); } 150*5f757f3fSDimitry Andric 151*5f757f3fSDimitry Andric template <class = int> 152*5f757f3fSDimitry Andric _LIBCPP_HIDE_FROM_ABI double pow(double __x, double __y) _NOEXCEPT { 153*5f757f3fSDimitry Andric return __builtin_pow(__x, __y); 154*5f757f3fSDimitry Andric } 155*5f757f3fSDimitry Andric 156*5f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI long double pow(long double __x, long double __y) _NOEXCEPT { 157*5f757f3fSDimitry Andric return __builtin_powl(__x, __y); 158*5f757f3fSDimitry Andric } 159*5f757f3fSDimitry Andric 160*5f757f3fSDimitry Andric template <class _A1, class _A2, __enable_if_t<is_arithmetic<_A1>::value && is_arithmetic<_A2>::value, int> = 0> 161*5f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI typename __promote<_A1, _A2>::type pow(_A1 __x, _A2 __y) _NOEXCEPT { 162*5f757f3fSDimitry Andric using __result_type = typename __promote<_A1, _A2>::type; 163*5f757f3fSDimitry Andric static_assert((!(_IsSame<_A1, __result_type>::value && _IsSame<_A2, __result_type>::value)), ""); 164*5f757f3fSDimitry Andric return __math::pow((__result_type)__x, (__result_type)__y); 165*5f757f3fSDimitry Andric } 166*5f757f3fSDimitry Andric 167*5f757f3fSDimitry Andric } // namespace __math 168*5f757f3fSDimitry Andric 169*5f757f3fSDimitry Andric _LIBCPP_END_NAMESPACE_STD 170*5f757f3fSDimitry Andric 171*5f757f3fSDimitry Andric #endif // _LIBCPP___MATH_EXPONENTIAL_FUNCTIONS_H 172