[libc-commits] [libc] [libc][math] Implement nexttoward functions (PR #72763)

via libc-commits libc-commits at lists.llvm.org
Sat Nov 18 17:50:33 PST 2023


================
@@ -169,8 +171,49 @@ LIBC_INLINE T nextafter(T from, T to) {
     int_val = (to_bits.uintval() & sign_mask) + UIntType(1);
   }
 
+  UIntType exponent_bits = int_val & FloatProperties<T>::EXPONENT_MASK;
+  if (exponent_bits == UIntType(0))
+    raise_except_if_required(FE_UNDERFLOW | FE_INEXACT);
+  else if (exponent_bits == FloatProperties<T>::EXPONENT_MASK)
+    raise_except_if_required(FE_OVERFLOW | FE_INEXACT);
+
+  return cpp::bit_cast<T>(int_val);
+}
+
+template <typename T, cpp::enable_if_t<cpp::is_floating_point_v<T>, int> = 0>
+LIBC_INLINE T nexttoward(T from, long double to) {
----------------
lntue wrote:

For free function, I personally prefer to use SFINAE on the returning type `LIBC_INLINE cpp::enable_if_t<cpp::is_floating_point_v<T>, T> nexttoward(...)`, so that it frees the second template parameter to be used if needed.

https://github.com/llvm/llvm-project/pull/72763


More information about the libc-commits mailing list