Add methods and functions to negate floating points

Improper negation of NaN is fixed.

Author: arithy

python/src/softfloatpy/__init__.py

@@ -64,6 +64,7 @@
     "f16_to_f64",
     "f16_to_f128",
     "f16_round_to_int",
+    "f16_neg",
     "f16_add",
     "f16_sub",
     "f16_mul",
@@ -89,6 +90,7 @@
     "f32_to_f64",
     "f32_to_f128",
     "f32_round_to_int",
+    "f32_neg",
     "f32_add",
     "f32_sub",
     "f32_mul",
@@ -111,6 +113,7 @@
     "f64_to_f32",
     "f64_to_f128",
     "f64_round_to_int",
+    "f64_neg",
     "f64_add",
     "f64_sub",
     "f64_mul",
@@ -133,6 +136,7 @@
     "f128_to_f32",
     "f128_to_f64",
     "f128_round_to_int",
+    "f128_neg",
     "f128_add",
     "f128_sub",
     "f128_mul",
@@ -195,6 +199,7 @@
     f16_to_f64,
     f16_to_f128,
     f16_round_to_int,
+    f16_neg,
     f16_add,
     f16_sub,
     f16_mul,
@@ -220,6 +225,7 @@
     f32_to_f64,
     f32_to_f128,
     f32_round_to_int,
+    f32_neg,
     f32_add,
     f32_sub,
     f32_mul,
@@ -242,6 +248,7 @@
     f64_to_f32,
     f64_to_f128,
     f64_round_to_int,
+    f64_neg,
     f64_add,
     f64_sub,
     f64_mul,
@@ -264,6 +271,7 @@
     f128_to_f32,
     f128_to_f64,
     f128_round_to_int,
+    f128_neg,
     f128_add,
     f128_sub,
     f128_mul,

python/src/softfloatpy/_core.pyi

@@ -1215,6 +1215,15 @@ class Float16:
         """
         ...
 
+    def neg(self) -> Self:
+        """Negates the IEEE 754 binary16 floating point.
+
+        Returns:
+            The resulted number (``-x``).
+
+        """
+        ...
+
     @classmethod
     def add(cls, x: Self, y: Self) -> Self:
         """Adds the IEEE 754 binary16 floating points.
@@ -1717,6 +1726,15 @@ class Float32:
         """
         ...
 
+    def neg(self) -> Self:
+        """Negates the IEEE 754 binary32 floating point.
+
+        Returns:
+            The resulted number (``-x``).
+
+        """
+        ...
+
     @classmethod
     def add(cls, x: Self, y: Self) -> Self:
         """Adds the IEEE 754 binary32 floating points.
@@ -2208,6 +2226,15 @@ class Float64:
         """
         ...
 
+    def neg(self) -> Self:
+        """Negates the IEEE 754 binary64 floating point.
+
+        Returns:
+            The resulted number (``-x``).
+
+        """
+        ...
+
     @classmethod
     def add(cls, x: Self, y: Self) -> Self:
         """Adds the IEEE 754 binary64 floating points.
@@ -2711,6 +2738,15 @@ class Float128:
         """
         ...
 
+    def neg(self) -> Self:
+        """Negates the IEEE 754 binary128 floating point.
+
+        Returns:
+            The resulted number (``-x``).
+
+        """
+        ...
+
     @classmethod
     def add(cls, x: Self, y: Self) -> Self:
         """Adds the IEEE 754 binary128 floating points.
@@ -3410,6 +3446,19 @@ def f16_round_to_int(
     ...
 
 
+def f16_neg(x: Float16) -> Float16:
+    """Negates the IEEE 754 binary16 floating point.
+
+    Args:
+        x: The floating point to be negated.
+
+    Returns:
+        The resulted number expressed as an IEEE 754 binary16 floating point (``-x``).
+
+    """
+    ...
+
+
 def f16_add(x: Float16, y: Float16) -> Float16:
     """Adds the IEEE 754 binary16 floating points.
 
@@ -3779,6 +3828,19 @@ def f32_round_to_int(
     ...
 
 
+def f32_neg(x: Float32) -> Float32:
+    """Negates the IEEE 754 binary32 floating point.
+
+    Args:
+        x: The floating point to be negated.
+
+    Returns:
+        The resulted number expressed as an IEEE 754 binary32 floating point (``-x``).
+
+    """
+    ...
+
+
 def f32_add(x: Float32, y: Float32) -> Float32:
     """Adds the IEEE 754 binary32 floating points.
 
@@ -4109,6 +4171,19 @@ def f64_round_to_int(
     ...
 
 
+def f64_neg(x: Float64) -> Float64:
+    """Negates the IEEE 754 binary64 floating point.
+
+    Args:
+        x: The floating point to be negated.
+
+    Returns:
+        The resulted number expressed as an IEEE 754 binary64 floating point (``-x``).
+
+    """
+    ...
+
+
 def f64_add(x: Float64, y: Float64) -> Float64:
     """Adds the IEEE 754 binary64 floating points.
 
@@ -4439,6 +4514,19 @@ def f128_round_to_int(
     ...
 
 
+def f128_neg(x: Float128) -> Float128:
+    """Negates the IEEE 754 binary128 floating point.
+
+    Args:
+        x: The floating point to be negated.
+
+    Returns:
+        The resulted number expressed as an IEEE 754 binary128 floating point (``-x``).
+
+    """
+    ...
+
+
 def f128_add(x: Float128, y: Float128) -> Float128:
     """Adds the IEEE 754 binary128 floating points.