From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Fri, 15 Feb 2019 13:19:16 +0000 (+0000)
Subject: use constant P128 instead of 128
X-Git-Tag: ls180-24jan2020~1979
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2356710243dd4361af2c2c17edc609eacf82ed61;p=ieee754fpu.git

use constant P128 instead of 128
---

diff --git a/src/add/nmigen_add_experiment.py b/src/add/nmigen_add_experiment.py
index dbcd9bdf..fc1735d7 100644
--- a/src/add/nmigen_add_experiment.py
+++ b/src/add/nmigen_add_experiment.py
@@ -28,6 +28,7 @@ class FPNum:
         self.s = Signal()           # Sign bit
 
         self.mzero = Const(0, (m_width, False))
+        self.P128 = Const(128, (10, True))
         self.P127 = Const(127, (10, True))
         self.N127 = Const(-127, (10, True))
         self.N126 = Const(-126, (10, True))
@@ -67,19 +68,19 @@ class FPNum:
                ]
 
     def nan(self, s):
-        return self.create(s, 0x80, 1<<22)
+        return self.create(s, self.P128, 1<<22)
 
     def inf(self, s):
-        return self.create(s, 0x80, 0)
+        return self.create(s, self.P128, 0)
 
     def zero(self, s):
         return self.create(s, self.N127, 0)
 
     def is_nan(self):
-        return (self.e == 128) & (self.m != 0)
+        return (self.e == self.P128) & (self.m != 0)
 
     def is_inf(self):
-        return (self.e == 128) & (self.m == 0)
+        return (self.e == self.P128) & (self.m == 0)
 
     def is_zero(self):
         return (self.e == self.N127) & (self.m == self.mzero)
@@ -172,7 +173,7 @@ class FPADD:
                     m.next = "put_z"
                     m.d.sync += z.inf(a.s)
                     # if a is inf and signs don't match return NaN
-                    with m.If((b.e == 128) & (a.s != b.s)):
+                    with m.If((b.e == b.P128) & (a.s != b.s)):
                         m.d.sync += z.nan(b.s)
 
                 # if b is inf return inf