[Libre-soc-dev] adding PartitionedSignal support to nmigen's If/Switch/Case

[Jacob Lifshay]

On Tue, Sep 21, 2021, 13:51 lkcl <luke.leighton at gmail.com> wrote:

>
>
> On September 21, 2021 8:22:36 PM UTC, Jacob Lifshay <
> programmerjake at gmail.com> wrote:
>
> >20:17 <programmerjake> unfortunately, just duplicating the If statement
> >bodies isn't sufficient, since you'd end up overwriting whole Signals
> >assigned to inside the bodies
>
> no: read what i wrote, again, on the list thread and in the bugreport.
>
> you do ***NOT*** assign whole Signals.
>
> that is precisely and exactly what is not done.
>
> you assign SOLELY AND EXCLUSIVELY THE PARTITION LANE.
>

assigning just the partition lane still has problems afaict, it will
require more thought.
one of the problems is: what happens when something in the If body is
partitioned differently than the If condition.

Jacob