f9675f75b4e40d10aa4e7c9b5acce29430b5ac35
1 # SPDX-License-Identifier: LGPL-2.1-or-later
2 # See Notices.txt for copyright information
5 Copyright (C) 2020 Luke Kenneth Casson Leighton <lkcl@lkcl.net>
7 dynamic-partitionable class similar to Signal, which, when the partition
8 is fully open will be identical to Signal. when partitions are closed,
9 the class turns into a SIMD variant of Signal. *this is dynamic*.
11 the basic fundamental idea is: write code once, and if you want a SIMD
12 version of it, use PartitionedSignal in place of Signal. job done.
13 this however requires the code to *not* be designed to use nmigen.If,
14 nmigen.Case, or other constructs: only Mux and other logic.
16 http://bugs.libre-riscv.org/show_bug.cgi?id=132
19 from ieee754
.part_mul_add
.adder
import PartitionedAdder
20 from nmigen
import (Signal
,
23 class PartitionedSignal
:
24 def __init__(self
, partition_points
, *args
, **kwargs
):
25 self
.partpoints
= partition_points
26 self
.sig
= Signal(*args
, **kwargs
)
29 self
.modnames
[name
] = 0
31 def set_module(self
, m
):
34 def get_modname(self
, category
):
35 self
.modnames
[category
] += 1
36 return "%s%d" % (category
, self
.modnames
[category
])
39 return self
.sig
.eq(val
)
41 def __xor__(self
, other
):
42 if isinstance(other
, PartitionedSignal
):
43 return self
.sig ^ other
.sig
44 return self
.sig ^ other
46 def __add__(self
, other
):
47 shape
= self
.sig
.shape()
48 pa
= PartitionedAdder(shape
[0], self
.partpoints
)
49 setattr(self
.m
.submodules
, self
.get_modname('add'), pa
)
51 comb
+= pa
.a
.eq(self
.sig
)
52 if isinstance(other
, PartitionedSignal
):
53 comb
+= pa
.b
.eq(other
.sig
)
55 comb
+= pa
.b
.eq(other
)