xref: /freebsd-src/contrib/llvm-project/libcxx/include/__math/modulo.h (revision 5f757f3ff9144b609b3c433dfd370cc6bdc191ad)
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_MODULO_H
10*5f757f3fSDimitry Andric #define _LIBCPP___MATH_MODULO_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_same.h>
16*5f757f3fSDimitry Andric #include <__type_traits/promote.h>
17*5f757f3fSDimitry Andric 
18*5f757f3fSDimitry Andric #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
19*5f757f3fSDimitry Andric #  pragma GCC system_header
20*5f757f3fSDimitry Andric #endif
21*5f757f3fSDimitry Andric 
22*5f757f3fSDimitry Andric _LIBCPP_BEGIN_NAMESPACE_STD
23*5f757f3fSDimitry Andric 
24*5f757f3fSDimitry Andric namespace __math {
25*5f757f3fSDimitry Andric 
26*5f757f3fSDimitry Andric // fmod
27*5f757f3fSDimitry Andric 
28*5f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI float fmod(float __x, float __y) _NOEXCEPT { return __builtin_fmodf(__x, __y); }
29*5f757f3fSDimitry Andric 
30*5f757f3fSDimitry Andric template <class = int>
31*5f757f3fSDimitry Andric _LIBCPP_HIDE_FROM_ABI double fmod(double __x, double __y) _NOEXCEPT {
32*5f757f3fSDimitry Andric   return __builtin_fmod(__x, __y);
33*5f757f3fSDimitry Andric }
34*5f757f3fSDimitry Andric 
35*5f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI long double fmod(long double __x, long double __y) _NOEXCEPT {
36*5f757f3fSDimitry Andric   return __builtin_fmodl(__x, __y);
37*5f757f3fSDimitry Andric }
38*5f757f3fSDimitry Andric 
39*5f757f3fSDimitry Andric template <class _A1, class _A2, __enable_if_t<is_arithmetic<_A1>::value && is_arithmetic<_A2>::value, int> = 0>
40*5f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI typename __promote<_A1, _A2>::type fmod(_A1 __x, _A2 __y) _NOEXCEPT {
41*5f757f3fSDimitry Andric   using __result_type = typename __promote<_A1, _A2>::type;
42*5f757f3fSDimitry Andric   static_assert((!(_IsSame<_A1, __result_type>::value && _IsSame<_A2, __result_type>::value)), "");
43*5f757f3fSDimitry Andric   return __math::fmod((__result_type)__x, (__result_type)__y);
44*5f757f3fSDimitry Andric }
45*5f757f3fSDimitry Andric 
46*5f757f3fSDimitry Andric // modf
47*5f757f3fSDimitry Andric 
48*5f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI float modf(float __x, float* __y) _NOEXCEPT { return __builtin_modff(__x, __y); }
49*5f757f3fSDimitry Andric 
50*5f757f3fSDimitry Andric template <class = int>
51*5f757f3fSDimitry Andric _LIBCPP_HIDE_FROM_ABI double modf(double __x, double* __y) _NOEXCEPT {
52*5f757f3fSDimitry Andric   return __builtin_modf(__x, __y);
53*5f757f3fSDimitry Andric }
54*5f757f3fSDimitry Andric 
55*5f757f3fSDimitry Andric inline _LIBCPP_HIDE_FROM_ABI long double modf(long double __x, long double* __y) _NOEXCEPT {
56*5f757f3fSDimitry Andric   return __builtin_modfl(__x, __y);
57*5f757f3fSDimitry Andric }
58*5f757f3fSDimitry Andric 
59*5f757f3fSDimitry Andric } // namespace __math
60*5f757f3fSDimitry Andric 
61*5f757f3fSDimitry Andric _LIBCPP_END_NAMESPACE_STD
62*5f757f3fSDimitry Andric 
63*5f757f3fSDimitry Andric #endif // _LIBCPP___MATH_MODULO_H
64