From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Mon, 18 Feb 2019 17:42:59 +0000 (+0000)
Subject: remove zeroing bugfix correction, not needed any more
X-Git-Tag: ls180-24jan2020~1900
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ad762e2e795b32191b5fce237771a209e0373d88;p=ieee754fpu.git

remove zeroing bugfix correction, not needed any more
---

diff --git a/src/add/fpbase.py b/src/add/fpbase.py
index 2d2fc29d..48bfb822 100644
--- a/src/add/fpbase.py
+++ b/src/add/fpbase.py
@@ -309,9 +309,6 @@ class FPBase:
         # denormalised, correct exponent to zero
         with m.If(z.is_denormalised()):
             m.d.sync += z.e.eq(z.N127)
-        # FIX SIGN BUG: -a + a = +0.
-        with m.If((z.e == z.N126) & (z.m[0:] == 0)):
-            m.d.sync += z.s.eq(0)
 
     def pack(self, m, z, next_state):
         """ packs the result into the output (detects overflow->Inf)