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