From bf6ff54e0f3dbfe34b64c8000180306cf126b77c Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Fri, 7 Feb 2020 14:26:40 +0000
Subject: [PATCH] add first version of part_mux

---
 src/ieee754/part_mux/part_mux.py | 56 ++++++++++++++++++++++++++++++++
 1 file changed, 56 insertions(+)
 create mode 100644 src/ieee754/part_mux/part_mux.py

diff --git a/src/ieee754/part_mux/part_mux.py b/src/ieee754/part_mux/part_mux.py
new file mode 100644
index 00000000..2d9d7eff
--- /dev/null
+++ b/src/ieee754/part_mux/part_mux.py
@@ -0,0 +1,56 @@
+# SPDX-License-Identifier: LGPL-2.1-or-later
+# See Notices.txt for copyright information
+
+"""
+Copyright (C) 2020 Luke Kenneth Casson Leighton <lkcl@lkcl.net>
+
+dynamically-partitionable "comparison" class, directly equivalent
+to Signal.__eq__ except SIMD-partitionable
+
+See:
+
+* http://libre-riscv.org/3d_gpu/architecture/dynamic_simd/mux
+* http://bugs.libre-riscv.org/show_bug.cgi?id=132
+"""
+
+from nmigen import Signal, Module, Elaboratable, Mux
+from ieee754.part_mul_add.partpoints import PartitionPoints
+
+class PartitionedMux(Elaboratable):
+    """PartitionedMux: Partitioned "Mux"
+
+    takes a partition point set, subdivides a and b into blocks
+    and "selects" them.  the assumption is that "sel" has had
+    its LSB propagated up throughout the entire partition, and
+    consequently the incoming selector (sel) can completely
+    ignore what the *actual* partition bits are.
+    """
+    def __init__(self, width):
+        self.width = width
+        self.partition_points = PartitionPoints(partition_points)
+        self.mwidth = len(self.partition_points)+1
+        self.a = Signal(width, reset_less=True)
+        self.b = Signal(width, reset_less=True)
+        self.sel = Signal(self.mwidth, reset_less=True)
+        self.output = Signal(width, reset_less=True)
+        assert self.partition_points.fits_in_width(width),
+                    ("partition_points doesn't fit in width")
+
+    def elaborate(self, platform):
+        m = Module()
+        comb = m.d.comb
+
+        # loop across all partition ranges.
+        # drop the selection directly into the output.
+        keys = list(self.partition_points.keys()) + [self.width]
+        start = 0
+        for i in range(len(keys)):
+            end = keys[i]
+            mux = output[start:end]
+            mux.append(self.a[start:end] == self.b[start:end])
+            start = end  # for next time round loop
+
+        return m
+
+    def ports(self):
+        return [self.a, self.b, self.sel, self.output]
-- 
2.30.2