From 6c57df7388350e7488ade5b3497528eb01fe8d64 Mon Sep 17 00:00:00 2001
From: Jean-Marie Aubry <jmma.aubry@protonmail.com>
Date: Fri, 13 Oct 2023 08:12:30 +1300
Subject: [PATCH] Changed implementation of succ and pred to use
 std::nextafter. (#353)

Signed-off-by: Jean-Marie Aubry <jmma.aubry@protonmail.com>
---
 src/Imath/ImathFun.cpp | 153 ++++-------------------------------------
 1 file changed, 13 insertions(+), 140 deletions(-)

diff --git a/src/Imath/ImathFun.cpp b/src/Imath/ImathFun.cpp
index 74799366..bfec292d 100644
--- a/src/Imath/ImathFun.cpp
+++ b/src/Imath/ImathFun.cpp
@@ -4,159 +4,32 @@
 //
 
 #include "ImathFun.h"
+#include <cmath>
 
 IMATH_INTERNAL_NAMESPACE_SOURCE_ENTER
 
-float
-succf (float f) IMATH_NOEXCEPT
+float succf(float f) IMATH_NOEXCEPT
 {
-    union
-    {
-        float f;
-        uint32_t i;
-    } u;
-    u.f = f;
-
-    if (isinf(f) || isnan (f))
-    {
-        // Nan or infinity; don't change value.
-    }
-    else if (u.i == 0x00000000 || u.i == 0x80000000)
-    {
-        // Plus or minus zero.
-
-        u.i = 0x00000001;
-    }
-    else if (u.f > 0)
-    {
-        // Positive float, normalized or denormalized.
-        // Incrementing the largest positive float
-        // produces +infinity.
-
-        ++u.i;
-    }
-    else
-    {
-        // Negative normalized or denormalized float.
-
-        --u.i;
-    }
-
-    return u.f;
+    return isfinite(f) ?
+            std::nextafter(f, std::numeric_limits<float>::infinity()) : f;
 }
 
-float
-predf (float f) IMATH_NOEXCEPT
+float predf(float f) IMATH_NOEXCEPT
 {
-    union
-    {
-        float f;
-        uint32_t i;
-    } u;
-    u.f = f;
-
-    if (isinf(f) || isnan (f))
-    {
-        // Nan or infinity; don't change value.
-    }
-    else if (u.i == 0x00000000 || u.i == 0x80000000)
-    {
-        // Plus or minus zero.
-
-        u.i = 0x80000001;
-    }
-    else if (u.f > 0)
-    {
-        // Positive float, normalized or denormalized.
-
-        --u.i;
-    }
-    else
-    {
-        // Negative normalized or denormalized float.
-        // Decrementing the largest negative float
-        // produces -infinity.
-
-        ++u.i;
-    }
-
-    return u.f;
+    return isfinite(f) ?
+            std::nextafter(f, -std::numeric_limits<float>::infinity()) : f;
 }
 
-double
-succd (double d) IMATH_NOEXCEPT
+double succd(double d) IMATH_NOEXCEPT
 {
-    union
-    {
-        double d;
-        uint64_t i;
-    } u;
-    u.d = d;
-
-    if (isinf(d) || isnan (d))
-    {
-        // Nan or infinity; don't change value.
-    }
-    else if (u.i == 0x0000000000000000LL || u.i == 0x8000000000000000LL)
-    {
-        // Plus or minus zero.
-
-        u.i = 0x0000000000000001LL;
-    }
-    else if (u.d > 0)
-    {
-        // Positive double, normalized or denormalized.
-        // Incrementing the largest positive double
-        // produces +infinity.
-
-        ++u.i;
-    }
-    else
-    {
-        // Negative normalized or denormalized double.
-
-        --u.i;
-    }
-
-    return u.d;
+    return isfinite(d) ?
+            std::nextafter(d, std::numeric_limits<double>::infinity()) : d;
 }
 
-double
-predd (double d) IMATH_NOEXCEPT
+double predd(double d) IMATH_NOEXCEPT
 {
-    union
-    {
-        double d;
-        uint64_t i;
-    } u;
-    u.d = d;
-
-    if ((u.i & 0x7ff0000000000000LL) == 0x7ff0000000000000LL)
-    {
-        // Nan or infinity; don't change value.
-    }
-    else if (u.i == 0x0000000000000000LL || u.i == 0x8000000000000000LL)
-    {
-        // Plus or minus zero.
-
-        u.i = 0x8000000000000001LL;
-    }
-    else if (u.d > 0)
-    {
-        // Positive double, normalized or denormalized.
-
-        --u.i;
-    }
-    else
-    {
-        // Negative normalized or denormalized double.
-        // Decrementing the largest negative double
-        // produces -infinity.
-
-        ++u.i;
-    }
-
-    return u.d;
+    return isfinite(d) ?
+            std::nextafter(d, -std::numeric_limits<double>::infinity()) : d;
 }
 
 IMATH_INTERNAL_NAMESPACE_SOURCE_EXIT