From: Cesar Strauss <cestrauss@gmail.com>
Date: Sat, 23 Jan 2021 21:09:28 +0000 (-0300)
Subject: Clarify comment about operations returning plain Signals
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=26b9f25a9fbff87bd63b45f37d488ad079c1a7bd;p=ieee754fpu.git

Clarify comment about operations returning plain Signals

Possibly not all Signal results will be ported to PartitionedSignal. For
instance, comparison operations.
---

diff --git a/src/ieee754/part/formal/proof_partition.py b/src/ieee754/part/formal/proof_partition.py
index 534e9e54..f2ef3074 100644
--- a/src/ieee754/part/formal/proof_partition.py
+++ b/src/ieee754/part/formal/proof_partition.py
@@ -361,8 +361,9 @@ class OpDriver(Elaboratable):
         result = self.op(*operands)
         if isinstance(result, PartitionedSignal):
             comb += output.eq(result.sig)
-        # TODO: remove when all operations return PartitionedSignal
         else:
+            # handle operations that return plain Signals
+            # TODO: revise if/when PartitionedBool is implemented
             comb += output.eq(result)
         # instantiate the partitioned gate generator and connect the gates
         m.submodules.gen = gen = GateGenerator(mwidth)