add f8 fma tests -- f16 takes >8hr to run with bitwuzla

[ieee754fpu.git] / src / ieee754 / fpfma / util.py

diff --git a/src/ieee754/fpfma/util.py b/src/ieee754/fpfma/util.py
index 518a5d9e6e4dba4b1c9f75f8558b0d2788fefe8d..5f2ec62906872703894242de95777019cbf46e02 100644 (file)
--- a/src/ieee754/fpfma/util.py
+++ b/src/ieee754/fpfma/util.py
@@ -59,15 +59,3 @@ def multiplicand_mantissa_shape(fpformat):
 def product_mantissa_shape(fpformat):
     assert isinstance(fpformat, FPFormat)
     return unsigned(multiplicand_mantissa_shape(fpformat).width * 2)
-
-
-def get_fpformat(pspec):
-    width = pspec.width
-    assert isinstance(width, int)
-    fpformat = getattr(pspec, "fpformat", None)
-    if fpformat is None:
-        fpformat = FPFormat.standard(width)
-    else:
-        assert isinstance(fpformat, FPFormat)
-    assert width == fpformat.width
-    return fpformat