1 //===----------------------------------------------------------------------===//
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-exception
7 //===----------------------------------------------------------------------===//
9 #ifndef _LIBCPP___MATH_INVERSE_TRIGONOMETRIC_FUNCTIONS_H
10 #define _LIBCPP___MATH_INVERSE_TRIGONOMETRIC_FUNCTIONS_H
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>
19 #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
20 # pragma GCC system_header
23 _LIBCPP_BEGIN_NAMESPACE_STD
29 inline _LIBCPP_HIDE_FROM_ABI
float acos(float __x
) _NOEXCEPT
{ return __builtin_acosf(__x
); }
31 template <class = int>
32 _LIBCPP_HIDE_FROM_ABI
double acos(double __x
) _NOEXCEPT
{
33 return __builtin_acos(__x
);
36 inline _LIBCPP_HIDE_FROM_ABI
long double acos(long double __x
) _NOEXCEPT
{ return __builtin_acosl(__x
); }
38 template <class _A1
, __enable_if_t
<is_integral
<_A1
>::value
, int> = 0>
39 inline _LIBCPP_HIDE_FROM_ABI
double acos(_A1 __x
) _NOEXCEPT
{
40 return __builtin_acos((double)__x
);
45 inline _LIBCPP_HIDE_FROM_ABI
float asin(float __x
) _NOEXCEPT
{ return __builtin_asinf(__x
); }
47 template <class = int>
48 _LIBCPP_HIDE_FROM_ABI
double asin(double __x
) _NOEXCEPT
{
49 return __builtin_asin(__x
);
52 inline _LIBCPP_HIDE_FROM_ABI
long double asin(long double __x
) _NOEXCEPT
{ return __builtin_asinl(__x
); }
54 template <class _A1
, __enable_if_t
<is_integral
<_A1
>::value
, int> = 0>
55 inline _LIBCPP_HIDE_FROM_ABI
double asin(_A1 __x
) _NOEXCEPT
{
56 return __builtin_asin((double)__x
);
61 inline _LIBCPP_HIDE_FROM_ABI
float atan(float __x
) _NOEXCEPT
{ return __builtin_atanf(__x
); }
63 template <class = int>
64 _LIBCPP_HIDE_FROM_ABI
double atan(double __x
) _NOEXCEPT
{
65 return __builtin_atan(__x
);
68 inline _LIBCPP_HIDE_FROM_ABI
long double atan(long double __x
) _NOEXCEPT
{ return __builtin_atanl(__x
); }
70 template <class _A1
, __enable_if_t
<is_integral
<_A1
>::value
, int> = 0>
71 inline _LIBCPP_HIDE_FROM_ABI
double atan(_A1 __x
) _NOEXCEPT
{
72 return __builtin_atan((double)__x
);
77 inline _LIBCPP_HIDE_FROM_ABI
float atan2(float __y
, float __x
) _NOEXCEPT
{ return __builtin_atan2f(__y
, __x
); }
79 template <class = int>
80 _LIBCPP_HIDE_FROM_ABI
double atan2(double __x
, double __y
) _NOEXCEPT
{
81 return __builtin_atan2(__x
, __y
);
84 inline _LIBCPP_HIDE_FROM_ABI
long double atan2(long double __y
, long double __x
) _NOEXCEPT
{
85 return __builtin_atan2l(__y
, __x
);
88 template <class _A1
, class _A2
, __enable_if_t
<is_arithmetic
<_A1
>::value
&& is_arithmetic
<_A2
>::value
, int> = 0>
89 inline _LIBCPP_HIDE_FROM_ABI typename __promote
<_A1
, _A2
>::type
atan2(_A1 __y
, _A2 __x
) _NOEXCEPT
{
90 using __result_type
= typename __promote
<_A1
, _A2
>::type
;
91 static_assert((!(_IsSame
<_A1
, __result_type
>::value
&& _IsSame
<_A2
, __result_type
>::value
)), "");
92 return __math::atan2((__result_type
)__y
, (__result_type
)__x
);
97 _LIBCPP_END_NAMESPACE_STD
99 #endif // _LIBCPP___MATH_INVERSE_TRIGONOMETRIC_FUNCTIONS_H