246 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_ROUNDING_FUNCTIONS_H10#define _LIBCPP___MATH_ROUNDING_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// ceil28 29[[__nodiscard__]] inline _LIBCPP_HIDE_FROM_ABI float ceil(float __x) _NOEXCEPT { return __builtin_ceilf(__x); }30 31template <class = int>32[[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI double ceil(double __x) _NOEXCEPT {33 return __builtin_ceil(__x);34}35 36[[__nodiscard__]] inline _LIBCPP_HIDE_FROM_ABI long double ceil(long double __x) _NOEXCEPT {37 return __builtin_ceill(__x);38}39 40template <class _A1, __enable_if_t<is_integral<_A1>::value, int> = 0>41[[__nodiscard__]] inline _LIBCPP_HIDE_FROM_ABI double ceil(_A1 __x) _NOEXCEPT {42 return __builtin_ceil((double)__x);43}44 45// floor46 47[[__nodiscard__]] inline _LIBCPP_HIDE_FROM_ABI float floor(float __x) _NOEXCEPT { return __builtin_floorf(__x); }48 49template <class = int>50[[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI double floor(double __x) _NOEXCEPT {51 return __builtin_floor(__x);52}53 54[[__nodiscard__]] inline _LIBCPP_HIDE_FROM_ABI long double floor(long double __x) _NOEXCEPT {55 return __builtin_floorl(__x);56}57 58template <class _A1, __enable_if_t<is_integral<_A1>::value, int> = 0>59[[__nodiscard__]] inline _LIBCPP_HIDE_FROM_ABI double floor(_A1 __x) _NOEXCEPT {60 return __builtin_floor((double)__x);61}62 63// llrint64 65inline _LIBCPP_HIDE_FROM_ABI long long llrint(float __x) _NOEXCEPT { return __builtin_llrintf(__x); }66 67template <class = int>68_LIBCPP_HIDE_FROM_ABI long long llrint(double __x) _NOEXCEPT {69 return __builtin_llrint(__x);70}71 72inline _LIBCPP_HIDE_FROM_ABI long long llrint(long double __x) _NOEXCEPT { return __builtin_llrintl(__x); }73 74template <class _A1, __enable_if_t<is_integral<_A1>::value, int> = 0>75inline _LIBCPP_HIDE_FROM_ABI long long llrint(_A1 __x) _NOEXCEPT {76 return __builtin_llrint((double)__x);77}78 79// llround80 81inline _LIBCPP_HIDE_FROM_ABI long long llround(float __x) _NOEXCEPT { return __builtin_llroundf(__x); }82 83template <class = int>84_LIBCPP_HIDE_FROM_ABI long long llround(double __x) _NOEXCEPT {85 return __builtin_llround(__x);86}87 88inline _LIBCPP_HIDE_FROM_ABI long long llround(long double __x) _NOEXCEPT { return __builtin_llroundl(__x); }89 90template <class _A1, __enable_if_t<is_integral<_A1>::value, int> = 0>91inline _LIBCPP_HIDE_FROM_ABI long long llround(_A1 __x) _NOEXCEPT {92 return __builtin_llround((double)__x);93}94 95// lrint96 97inline _LIBCPP_HIDE_FROM_ABI long lrint(float __x) _NOEXCEPT { return __builtin_lrintf(__x); }98 99template <class = int>100_LIBCPP_HIDE_FROM_ABI long lrint(double __x) _NOEXCEPT {101 return __builtin_lrint(__x);102}103 104inline _LIBCPP_HIDE_FROM_ABI long lrint(long double __x) _NOEXCEPT { return __builtin_lrintl(__x); }105 106template <class _A1, __enable_if_t<is_integral<_A1>::value, int> = 0>107inline _LIBCPP_HIDE_FROM_ABI long lrint(_A1 __x) _NOEXCEPT {108 return __builtin_lrint((double)__x);109}110 111// lround112 113inline _LIBCPP_HIDE_FROM_ABI long lround(float __x) _NOEXCEPT { return __builtin_lroundf(__x); }114 115template <class = int>116_LIBCPP_HIDE_FROM_ABI long lround(double __x) _NOEXCEPT {117 return __builtin_lround(__x);118}119 120inline _LIBCPP_HIDE_FROM_ABI long lround(long double __x) _NOEXCEPT { return __builtin_lroundl(__x); }121 122template <class _A1, __enable_if_t<is_integral<_A1>::value, int> = 0>123inline _LIBCPP_HIDE_FROM_ABI long lround(_A1 __x) _NOEXCEPT {124 return __builtin_lround((double)__x);125}126 127// nearbyint128 129[[__nodiscard__]] inline _LIBCPP_HIDE_FROM_ABI float nearbyint(float __x) _NOEXCEPT {130 return __builtin_nearbyintf(__x);131}132 133template <class = int>134[[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI double nearbyint(double __x) _NOEXCEPT {135 return __builtin_nearbyint(__x);136}137 138[[__nodiscard__]] inline _LIBCPP_HIDE_FROM_ABI long double nearbyint(long double __x) _NOEXCEPT {139 return __builtin_nearbyintl(__x);140}141 142template <class _A1, __enable_if_t<is_integral<_A1>::value, int> = 0>143[[__nodiscard__]] inline _LIBCPP_HIDE_FROM_ABI double nearbyint(_A1 __x) _NOEXCEPT {144 return __builtin_nearbyint((double)__x);145}146 147// nextafter148 149inline _LIBCPP_HIDE_FROM_ABI float nextafter(float __x, float __y) _NOEXCEPT { return __builtin_nextafterf(__x, __y); }150 151template <class = int>152_LIBCPP_HIDE_FROM_ABI double nextafter(double __x, double __y) _NOEXCEPT {153 return __builtin_nextafter(__x, __y);154}155 156inline _LIBCPP_HIDE_FROM_ABI long double nextafter(long double __x, long double __y) _NOEXCEPT {157 return __builtin_nextafterl(__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> nextafter(_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::nextafter((__result_type)__x, (__result_type)__y);165}166 167// nexttoward168 169inline _LIBCPP_HIDE_FROM_ABI float nexttoward(float __x, long double __y) _NOEXCEPT {170 return __builtin_nexttowardf(__x, __y);171}172 173template <class = int>174_LIBCPP_HIDE_FROM_ABI double nexttoward(double __x, long double __y) _NOEXCEPT {175 return __builtin_nexttoward(__x, __y);176}177 178inline _LIBCPP_HIDE_FROM_ABI long double nexttoward(long double __x, long double __y) _NOEXCEPT {179 return __builtin_nexttowardl(__x, __y);180}181 182template <class _A1, __enable_if_t<is_integral<_A1>::value, int> = 0>183inline _LIBCPP_HIDE_FROM_ABI double nexttoward(_A1 __x, long double __y) _NOEXCEPT {184 return __builtin_nexttoward((double)__x, __y);185}186 187// rint188 189[[__nodiscard__]] inline _LIBCPP_HIDE_FROM_ABI float rint(float __x) _NOEXCEPT { return __builtin_rintf(__x); }190 191template <class = int>192[[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI double rint(double __x) _NOEXCEPT {193 return __builtin_rint(__x);194}195 196[[__nodiscard__]] inline _LIBCPP_HIDE_FROM_ABI long double rint(long double __x) _NOEXCEPT {197 return __builtin_rintl(__x);198}199 200template <class _A1, __enable_if_t<is_integral<_A1>::value, int> = 0>201[[__nodiscard__]] inline _LIBCPP_HIDE_FROM_ABI double rint(_A1 __x) _NOEXCEPT {202 return __builtin_rint((double)__x);203}204 205// round206 207[[__nodiscard__]] inline _LIBCPP_HIDE_FROM_ABI float round(float __x) _NOEXCEPT { return __builtin_round(__x); }208 209template <class = int>210[[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI double round(double __x) _NOEXCEPT {211 return __builtin_round(__x);212}213 214[[__nodiscard__]] inline _LIBCPP_HIDE_FROM_ABI long double round(long double __x) _NOEXCEPT {215 return __builtin_roundl(__x);216}217 218template <class _A1, __enable_if_t<is_integral<_A1>::value, int> = 0>219[[__nodiscard__]] inline _LIBCPP_HIDE_FROM_ABI double round(_A1 __x) _NOEXCEPT {220 return __builtin_round((double)__x);221}222 223// trunc224 225[[__nodiscard__]] inline _LIBCPP_HIDE_FROM_ABI float trunc(float __x) _NOEXCEPT { return __builtin_trunc(__x); }226 227template <class = int>228[[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI double trunc(double __x) _NOEXCEPT {229 return __builtin_trunc(__x);230}231 232[[__nodiscard__]] inline _LIBCPP_HIDE_FROM_ABI long double trunc(long double __x) _NOEXCEPT {233 return __builtin_truncl(__x);234}235 236template <class _A1, __enable_if_t<is_integral<_A1>::value, int> = 0>237[[__nodiscard__]] inline _LIBCPP_HIDE_FROM_ABI double trunc(_A1 __x) _NOEXCEPT {238 return __builtin_trunc((double)__x);239}240 241} // namespace __math242 243_LIBCPP_END_NAMESPACE_STD244 245#endif // _LIBCPP___MATH_ROUNDING_FUNCTIONS_H246