add a check of bitp against the expected partition points when

[ieee754fpu.git] / src / ieee754 / part / layout_experiment.py

diff --git a/src/ieee754/part/layout_experiment.py b/src/ieee754/part/layout_experiment.py
index a9806c5597c134737d0939ee41fcbad3d82c1908..1b2f6f0aca22001451b8f3864984f3c0dc0cda37 100644 (file)
--- a/src/ieee754/part/layout_experiment.py
+++ b/src/ieee754/part/layout_experiment.py
@@ -98,6 +98,12 @@ if __name__ == '__main__':
                 val = yield pval # get nmigen to evaluate pp
                 ppt.append(val)
             pprint((i, (ppt,b,c,d,e)))
+            # check the results against bitp static-expected partition points
+            # https://bugs.libre-soc.org/show_bug.cgi?id=713#c47
+            # https://stackoverflow.com/a/27165694
+            ival = int(''.join(map(str, map(int, ppt))), 2)
+            assert ival == bitp[i]
+
     sim = Simulator(m)
     sim.add_process(process)
     sim.run()