From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Wed, 31 Jul 2019 23:24:14 +0000 (+0100)
Subject: use alternative logic for roundz detect exponent increase
X-Git-Tag: ls180-24jan2020~583
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a03b6d259e68881eb4251b70eb7a5ee0c9c2e34e;p=ieee754fpu.git

use alternative logic for roundz detect exponent increase
---

diff --git a/src/ieee754/fpcommon/roundz.py b/src/ieee754/fpcommon/roundz.py
index e061d2a1..a9ef2e76 100644
--- a/src/ieee754/fpcommon/roundz.py
+++ b/src/ieee754/fpcommon/roundz.py
@@ -47,7 +47,7 @@ class FPRoundMod(PipeModBase):
         with m.If(~self.i.out_do_z):  # bypass wasn't enabled
             with m.If(self.i.roundz):
                 comb += self.o.z.m.eq(self.i.z.m + 1)  # mantissa up
-                with m.If(self.i.z.m == self.i.z.m1s):  # all 1s
+                with m.If(~(~self.i.z.m).bool()):  # all 1s
                     # exponent up
                     comb += self.o.z.e.eq(self.i.z.e + 1)