xref: /freebsd/contrib/llvm-project/libc/src/__support/FPUtil/ManipulationFunctions.h (revision bb722a7d0f1642bff6487f943ad0427799a6e5bf)
1*bb722a7dSDimitry Andric //===-- Floating-point manipulation functions -------------------*- C++ -*-===//
2*bb722a7dSDimitry Andric //
3*bb722a7dSDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*bb722a7dSDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5*bb722a7dSDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*bb722a7dSDimitry Andric //
7*bb722a7dSDimitry Andric //===----------------------------------------------------------------------===//
8*bb722a7dSDimitry Andric 
9*bb722a7dSDimitry Andric #ifndef LLVM_LIBC_SRC___SUPPORT_FPUTIL_MANIPULATIONFUNCTIONS_H
10*bb722a7dSDimitry Andric #define LLVM_LIBC_SRC___SUPPORT_FPUTIL_MANIPULATIONFUNCTIONS_H
11*bb722a7dSDimitry Andric 
12*bb722a7dSDimitry Andric #include "FPBits.h"
13*bb722a7dSDimitry Andric #include "NearestIntegerOperations.h"
14*bb722a7dSDimitry Andric #include "NormalFloat.h"
15*bb722a7dSDimitry Andric #include "cast.h"
16*bb722a7dSDimitry Andric #include "dyadic_float.h"
17*bb722a7dSDimitry Andric #include "rounding_mode.h"
18*bb722a7dSDimitry Andric 
19*bb722a7dSDimitry Andric #include "hdr/math_macros.h"
20*bb722a7dSDimitry Andric #include "src/__support/CPP/bit.h"
21*bb722a7dSDimitry Andric #include "src/__support/CPP/limits.h" // INT_MAX, INT_MIN
22*bb722a7dSDimitry Andric #include "src/__support/CPP/type_traits.h"
23*bb722a7dSDimitry Andric #include "src/__support/FPUtil/FEnvImpl.h"
24*bb722a7dSDimitry Andric #include "src/__support/macros/attributes.h"
25*bb722a7dSDimitry Andric #include "src/__support/macros/config.h"
26*bb722a7dSDimitry Andric #include "src/__support/macros/optimization.h" // LIBC_UNLIKELY
27*bb722a7dSDimitry Andric 
28*bb722a7dSDimitry Andric namespace LIBC_NAMESPACE_DECL {
29*bb722a7dSDimitry Andric namespace fputil {
30*bb722a7dSDimitry Andric 
31*bb722a7dSDimitry Andric template <typename T, cpp::enable_if_t<cpp::is_floating_point_v<T>, int> = 0>
frexp(T x,int & exp)32*bb722a7dSDimitry Andric LIBC_INLINE constexpr T frexp(T x, int &exp) {
33*bb722a7dSDimitry Andric   FPBits<T> bits(x);
34*bb722a7dSDimitry Andric   if (bits.is_inf_or_nan()) {
35*bb722a7dSDimitry Andric #ifdef LIBC_FREXP_INF_NAN_EXPONENT
36*bb722a7dSDimitry Andric     // The value written back to the second parameter when calling
37*bb722a7dSDimitry Andric     // frexp/frexpf/frexpl` with `+/-Inf`/`NaN` is unspecified in the standard.
38*bb722a7dSDimitry Andric     // Set the exp value for Inf/NaN inputs explicitly to
39*bb722a7dSDimitry Andric     // LIBC_FREXP_INF_NAN_EXPONENT if it is defined.
40*bb722a7dSDimitry Andric     exp = LIBC_FREXP_INF_NAN_EXPONENT;
41*bb722a7dSDimitry Andric #endif // LIBC_FREXP_INF_NAN_EXPONENT
42*bb722a7dSDimitry Andric     return x;
43*bb722a7dSDimitry Andric   }
44*bb722a7dSDimitry Andric   if (bits.is_zero()) {
45*bb722a7dSDimitry Andric     exp = 0;
46*bb722a7dSDimitry Andric     return x;
47*bb722a7dSDimitry Andric   }
48*bb722a7dSDimitry Andric 
49*bb722a7dSDimitry Andric   NormalFloat<T> normal(bits);
50*bb722a7dSDimitry Andric   exp = normal.exponent + 1;
51*bb722a7dSDimitry Andric   normal.exponent = -1;
52*bb722a7dSDimitry Andric   return normal;
53*bb722a7dSDimitry Andric }
54*bb722a7dSDimitry Andric 
55*bb722a7dSDimitry Andric template <typename T, cpp::enable_if_t<cpp::is_floating_point_v<T>, int> = 0>
modf(T x,T & iptr)56*bb722a7dSDimitry Andric LIBC_INLINE T modf(T x, T &iptr) {
57*bb722a7dSDimitry Andric   FPBits<T> bits(x);
58*bb722a7dSDimitry Andric   if (bits.is_zero() || bits.is_nan()) {
59*bb722a7dSDimitry Andric     iptr = x;
60*bb722a7dSDimitry Andric     return x;
61*bb722a7dSDimitry Andric   } else if (bits.is_inf()) {
62*bb722a7dSDimitry Andric     iptr = x;
63*bb722a7dSDimitry Andric     return FPBits<T>::zero(bits.sign()).get_val();
64*bb722a7dSDimitry Andric   } else {
65*bb722a7dSDimitry Andric     iptr = trunc(x);
66*bb722a7dSDimitry Andric     if (x == iptr) {
67*bb722a7dSDimitry Andric       // If x is already an integer value, then return zero with the right
68*bb722a7dSDimitry Andric       // sign.
69*bb722a7dSDimitry Andric       return FPBits<T>::zero(bits.sign()).get_val();
70*bb722a7dSDimitry Andric     } else {
71*bb722a7dSDimitry Andric       return x - iptr;
72*bb722a7dSDimitry Andric     }
73*bb722a7dSDimitry Andric   }
74*bb722a7dSDimitry Andric }
75*bb722a7dSDimitry Andric 
76*bb722a7dSDimitry Andric template <typename T, cpp::enable_if_t<cpp::is_floating_point_v<T>, int> = 0>
copysign(T x,T y)77*bb722a7dSDimitry Andric LIBC_INLINE T copysign(T x, T y) {
78*bb722a7dSDimitry Andric   FPBits<T> xbits(x);
79*bb722a7dSDimitry Andric   xbits.set_sign(FPBits<T>(y).sign());
80*bb722a7dSDimitry Andric   return xbits.get_val();
81*bb722a7dSDimitry Andric }
82*bb722a7dSDimitry Andric 
83*bb722a7dSDimitry Andric template <typename T> struct IntLogbConstants;
84*bb722a7dSDimitry Andric 
85*bb722a7dSDimitry Andric template <> struct IntLogbConstants<int> {
86*bb722a7dSDimitry Andric   LIBC_INLINE_VAR static constexpr int FP_LOGB0 = FP_ILOGB0;
87*bb722a7dSDimitry Andric   LIBC_INLINE_VAR static constexpr int FP_LOGBNAN = FP_ILOGBNAN;
88*bb722a7dSDimitry Andric   LIBC_INLINE_VAR static constexpr int T_MAX = INT_MAX;
89*bb722a7dSDimitry Andric   LIBC_INLINE_VAR static constexpr int T_MIN = INT_MIN;
90*bb722a7dSDimitry Andric };
91*bb722a7dSDimitry Andric 
92*bb722a7dSDimitry Andric template <> struct IntLogbConstants<long> {
93*bb722a7dSDimitry Andric   LIBC_INLINE_VAR static constexpr long FP_LOGB0 = FP_ILOGB0;
94*bb722a7dSDimitry Andric   LIBC_INLINE_VAR static constexpr long FP_LOGBNAN = FP_ILOGBNAN;
95*bb722a7dSDimitry Andric   LIBC_INLINE_VAR static constexpr long T_MAX = LONG_MAX;
96*bb722a7dSDimitry Andric   LIBC_INLINE_VAR static constexpr long T_MIN = LONG_MIN;
97*bb722a7dSDimitry Andric };
98*bb722a7dSDimitry Andric 
99*bb722a7dSDimitry Andric template <typename T, typename U>
100*bb722a7dSDimitry Andric LIBC_INLINE constexpr cpp::enable_if_t<cpp::is_floating_point_v<U>, T>
101*bb722a7dSDimitry Andric intlogb(U x) {
102*bb722a7dSDimitry Andric   FPBits<U> bits(x);
103*bb722a7dSDimitry Andric   if (LIBC_UNLIKELY(bits.is_zero() || bits.is_inf_or_nan())) {
104*bb722a7dSDimitry Andric     set_errno_if_required(EDOM);
105*bb722a7dSDimitry Andric     raise_except_if_required(FE_INVALID);
106*bb722a7dSDimitry Andric 
107*bb722a7dSDimitry Andric     if (bits.is_zero())
108*bb722a7dSDimitry Andric       return IntLogbConstants<T>::FP_LOGB0;
109*bb722a7dSDimitry Andric     if (bits.is_nan())
110*bb722a7dSDimitry Andric       return IntLogbConstants<T>::FP_LOGBNAN;
111*bb722a7dSDimitry Andric     // bits is inf.
112*bb722a7dSDimitry Andric     return IntLogbConstants<T>::T_MAX;
113*bb722a7dSDimitry Andric   }
114*bb722a7dSDimitry Andric 
115*bb722a7dSDimitry Andric   DyadicFloat<FPBits<U>::STORAGE_LEN> normal(bits.get_val());
116*bb722a7dSDimitry Andric   int exponent = normal.get_unbiased_exponent();
117*bb722a7dSDimitry Andric   // The C standard does not specify the return value when an exponent is
118*bb722a7dSDimitry Andric   // out of int range. However, XSI conformance required that INT_MAX or
119*bb722a7dSDimitry Andric   // INT_MIN are returned.
120*bb722a7dSDimitry Andric   // NOTE: It is highly unlikely that exponent will be out of int range as
121*bb722a7dSDimitry Andric   // the exponent is only 15 bits wide even for the 128-bit floating point
122*bb722a7dSDimitry Andric   // format.
123*bb722a7dSDimitry Andric   if (LIBC_UNLIKELY(exponent > IntLogbConstants<T>::T_MAX ||
124*bb722a7dSDimitry Andric                     exponent < IntLogbConstants<T>::T_MIN)) {
125*bb722a7dSDimitry Andric     set_errno_if_required(ERANGE);
126*bb722a7dSDimitry Andric     raise_except_if_required(FE_INVALID);
127*bb722a7dSDimitry Andric     return exponent > 0 ? IntLogbConstants<T>::T_MAX
128*bb722a7dSDimitry Andric                         : IntLogbConstants<T>::T_MIN;
129*bb722a7dSDimitry Andric   }
130*bb722a7dSDimitry Andric 
131*bb722a7dSDimitry Andric   return static_cast<T>(exponent);
132*bb722a7dSDimitry Andric }
133*bb722a7dSDimitry Andric 
134*bb722a7dSDimitry Andric template <typename T, cpp::enable_if_t<cpp::is_floating_point_v<T>, int> = 0>
135*bb722a7dSDimitry Andric LIBC_INLINE constexpr T logb(T x) {
136*bb722a7dSDimitry Andric   FPBits<T> bits(x);
137*bb722a7dSDimitry Andric   if (LIBC_UNLIKELY(bits.is_zero() || bits.is_inf_or_nan())) {
138*bb722a7dSDimitry Andric     if (bits.is_nan())
139*bb722a7dSDimitry Andric       return x;
140*bb722a7dSDimitry Andric 
141*bb722a7dSDimitry Andric     raise_except_if_required(FE_DIVBYZERO);
142*bb722a7dSDimitry Andric 
143*bb722a7dSDimitry Andric     if (bits.is_zero()) {
144*bb722a7dSDimitry Andric       set_errno_if_required(ERANGE);
145*bb722a7dSDimitry Andric       return FPBits<T>::inf(Sign::NEG).get_val();
146*bb722a7dSDimitry Andric     }
147*bb722a7dSDimitry Andric     // bits is inf.
148*bb722a7dSDimitry Andric     return FPBits<T>::inf().get_val();
149*bb722a7dSDimitry Andric   }
150*bb722a7dSDimitry Andric 
151*bb722a7dSDimitry Andric   DyadicFloat<FPBits<T>::STORAGE_LEN> normal(bits.get_val());
152*bb722a7dSDimitry Andric   return static_cast<T>(normal.get_unbiased_exponent());
153*bb722a7dSDimitry Andric }
154*bb722a7dSDimitry Andric 
155*bb722a7dSDimitry Andric template <typename T, typename U>
156*bb722a7dSDimitry Andric LIBC_INLINE constexpr cpp::enable_if_t<
157*bb722a7dSDimitry Andric     cpp::is_floating_point_v<T> && cpp::is_integral_v<U>, T>
158*bb722a7dSDimitry Andric ldexp(T x, U exp) {
159*bb722a7dSDimitry Andric   FPBits<T> bits(x);
160*bb722a7dSDimitry Andric   if (LIBC_UNLIKELY((exp == 0) || bits.is_zero() || bits.is_inf_or_nan()))
161*bb722a7dSDimitry Andric     return x;
162*bb722a7dSDimitry Andric 
163*bb722a7dSDimitry Andric   // NormalFloat uses int32_t to store the true exponent value. We should ensure
164*bb722a7dSDimitry Andric   // that adding |exp| to it does not lead to integer rollover. But, if |exp|
165*bb722a7dSDimitry Andric   // value is larger the exponent range for type T, then we can return infinity
166*bb722a7dSDimitry Andric   // early. Because the result of the ldexp operation can be a subnormal number,
167*bb722a7dSDimitry Andric   // we need to accommodate the (mantissaWidth + 1) worth of shift in
168*bb722a7dSDimitry Andric   // calculating the limit.
169*bb722a7dSDimitry Andric   constexpr int EXP_LIMIT =
170*bb722a7dSDimitry Andric       FPBits<T>::MAX_BIASED_EXPONENT + FPBits<T>::FRACTION_LEN + 1;
171*bb722a7dSDimitry Andric   // Make sure that we can safely cast exp to int when not returning early.
172*bb722a7dSDimitry Andric   static_assert(EXP_LIMIT <= INT_MAX && -EXP_LIMIT >= INT_MIN);
173*bb722a7dSDimitry Andric   if (LIBC_UNLIKELY(exp > EXP_LIMIT)) {
174*bb722a7dSDimitry Andric     int rounding_mode = quick_get_round();
175*bb722a7dSDimitry Andric     Sign sign = bits.sign();
176*bb722a7dSDimitry Andric 
177*bb722a7dSDimitry Andric     if ((sign == Sign::POS && rounding_mode == FE_DOWNWARD) ||
178*bb722a7dSDimitry Andric         (sign == Sign::NEG && rounding_mode == FE_UPWARD) ||
179*bb722a7dSDimitry Andric         (rounding_mode == FE_TOWARDZERO))
180*bb722a7dSDimitry Andric       return FPBits<T>::max_normal(sign).get_val();
181*bb722a7dSDimitry Andric 
182*bb722a7dSDimitry Andric     set_errno_if_required(ERANGE);
183*bb722a7dSDimitry Andric     raise_except_if_required(FE_OVERFLOW);
184*bb722a7dSDimitry Andric     return FPBits<T>::inf(sign).get_val();
185*bb722a7dSDimitry Andric   }
186*bb722a7dSDimitry Andric 
187*bb722a7dSDimitry Andric   // Similarly on the negative side we return zero early if |exp| is too small.
188*bb722a7dSDimitry Andric   if (LIBC_UNLIKELY(exp < -EXP_LIMIT)) {
189*bb722a7dSDimitry Andric     int rounding_mode = quick_get_round();
190*bb722a7dSDimitry Andric     Sign sign = bits.sign();
191*bb722a7dSDimitry Andric 
192*bb722a7dSDimitry Andric     if ((sign == Sign::POS && rounding_mode == FE_UPWARD) ||
193*bb722a7dSDimitry Andric         (sign == Sign::NEG && rounding_mode == FE_DOWNWARD))
194*bb722a7dSDimitry Andric       return FPBits<T>::min_subnormal(sign).get_val();
195*bb722a7dSDimitry Andric 
196*bb722a7dSDimitry Andric     set_errno_if_required(ERANGE);
197*bb722a7dSDimitry Andric     raise_except_if_required(FE_UNDERFLOW);
198*bb722a7dSDimitry Andric     return FPBits<T>::zero(sign).get_val();
199*bb722a7dSDimitry Andric   }
200*bb722a7dSDimitry Andric 
201*bb722a7dSDimitry Andric   // For all other values, NormalFloat to T conversion handles it the right way.
202*bb722a7dSDimitry Andric   DyadicFloat<FPBits<T>::STORAGE_LEN> normal(bits.get_val());
203*bb722a7dSDimitry Andric   normal.exponent += static_cast<int>(exp);
204*bb722a7dSDimitry Andric   // TODO: Add tests for exceptions.
205*bb722a7dSDimitry Andric   return normal.template as<T, /*ShouldRaiseExceptions=*/true>();
206*bb722a7dSDimitry Andric }
207*bb722a7dSDimitry Andric 
208*bb722a7dSDimitry Andric template <typename T, typename U,
209*bb722a7dSDimitry Andric           cpp::enable_if_t<cpp::is_floating_point_v<T> &&
210*bb722a7dSDimitry Andric                                cpp::is_floating_point_v<U> &&
211*bb722a7dSDimitry Andric                                (sizeof(T) <= sizeof(U)),
212*bb722a7dSDimitry Andric                            int> = 0>
213*bb722a7dSDimitry Andric LIBC_INLINE T nextafter(T from, U to) {
214*bb722a7dSDimitry Andric   FPBits<T> from_bits(from);
215*bb722a7dSDimitry Andric   if (from_bits.is_nan())
216*bb722a7dSDimitry Andric     return from;
217*bb722a7dSDimitry Andric 
218*bb722a7dSDimitry Andric   FPBits<U> to_bits(to);
219*bb722a7dSDimitry Andric   if (to_bits.is_nan())
220*bb722a7dSDimitry Andric     return cast<T>(to);
221*bb722a7dSDimitry Andric 
222*bb722a7dSDimitry Andric   // NOTE: This would work only if `U` has a greater or equal precision than
223*bb722a7dSDimitry Andric   // `T`. Otherwise `from` could loose its precision and the following statement
224*bb722a7dSDimitry Andric   // could incorrectly evaluate to `true`.
225*bb722a7dSDimitry Andric   if (cast<U>(from) == to)
226*bb722a7dSDimitry Andric     return cast<T>(to);
227*bb722a7dSDimitry Andric 
228*bb722a7dSDimitry Andric   using StorageType = typename FPBits<T>::StorageType;
229*bb722a7dSDimitry Andric   if (from != T(0)) {
230*bb722a7dSDimitry Andric     if ((cast<U>(from) < to) == (from > T(0))) {
231*bb722a7dSDimitry Andric       from_bits = FPBits<T>(StorageType(from_bits.uintval() + 1));
232*bb722a7dSDimitry Andric     } else {
233*bb722a7dSDimitry Andric       from_bits = FPBits<T>(StorageType(from_bits.uintval() - 1));
234*bb722a7dSDimitry Andric     }
235*bb722a7dSDimitry Andric   } else {
236*bb722a7dSDimitry Andric     from_bits = FPBits<T>::min_subnormal(to_bits.sign());
237*bb722a7dSDimitry Andric   }
238*bb722a7dSDimitry Andric 
239*bb722a7dSDimitry Andric   if (from_bits.is_subnormal())
240*bb722a7dSDimitry Andric     raise_except_if_required(FE_UNDERFLOW | FE_INEXACT);
241*bb722a7dSDimitry Andric   else if (from_bits.is_inf())
242*bb722a7dSDimitry Andric     raise_except_if_required(FE_OVERFLOW | FE_INEXACT);
243*bb722a7dSDimitry Andric 
244*bb722a7dSDimitry Andric   return from_bits.get_val();
245*bb722a7dSDimitry Andric }
246*bb722a7dSDimitry Andric 
247*bb722a7dSDimitry Andric template <bool IsDown, typename T,
248*bb722a7dSDimitry Andric           cpp::enable_if_t<cpp::is_floating_point_v<T>, int> = 0>
249*bb722a7dSDimitry Andric LIBC_INLINE constexpr T nextupdown(T x) {
250*bb722a7dSDimitry Andric   constexpr Sign sign = IsDown ? Sign::NEG : Sign::POS;
251*bb722a7dSDimitry Andric 
252*bb722a7dSDimitry Andric   FPBits<T> xbits(x);
253*bb722a7dSDimitry Andric   if (xbits.is_nan() || xbits == FPBits<T>::max_normal(sign) ||
254*bb722a7dSDimitry Andric       xbits == FPBits<T>::inf(sign))
255*bb722a7dSDimitry Andric     return x;
256*bb722a7dSDimitry Andric 
257*bb722a7dSDimitry Andric   using StorageType = typename FPBits<T>::StorageType;
258*bb722a7dSDimitry Andric   if (x != T(0)) {
259*bb722a7dSDimitry Andric     if (xbits.sign() == sign) {
260*bb722a7dSDimitry Andric       xbits = FPBits<T>(StorageType(xbits.uintval() + 1));
261*bb722a7dSDimitry Andric     } else {
262*bb722a7dSDimitry Andric       xbits = FPBits<T>(StorageType(xbits.uintval() - 1));
263*bb722a7dSDimitry Andric     }
264*bb722a7dSDimitry Andric   } else {
265*bb722a7dSDimitry Andric     xbits = FPBits<T>::min_subnormal(sign);
266*bb722a7dSDimitry Andric   }
267*bb722a7dSDimitry Andric 
268*bb722a7dSDimitry Andric   return xbits.get_val();
269*bb722a7dSDimitry Andric }
270*bb722a7dSDimitry Andric 
271*bb722a7dSDimitry Andric } // namespace fputil
272*bb722a7dSDimitry Andric } // namespace LIBC_NAMESPACE_DECL
273*bb722a7dSDimitry Andric 
274*bb722a7dSDimitry Andric #ifdef LIBC_TYPES_LONG_DOUBLE_IS_X86_FLOAT80
275*bb722a7dSDimitry Andric #include "x86_64/NextAfterLongDouble.h"
276*bb722a7dSDimitry Andric #include "x86_64/NextUpDownLongDouble.h"
277*bb722a7dSDimitry Andric #endif // LIBC_TYPES_LONG_DOUBLE_IS_X86_FLOAT80
278*bb722a7dSDimitry Andric 
279*bb722a7dSDimitry Andric #endif // LLVM_LIBC_SRC___SUPPORT_FPUTIL_MANIPULATIONFUNCTIONS_H
280