[libre-riscv-dev] partitioned compare and mux

[Michael Nolan]

Luke Kenneth Casson Leighton <lkcl at lkcl.net> writes:

>
> ...yes agreed it's sub-optimal.  if you can take out the use of
> RippleLSB (which i just added), that will be a useful module for
> later, yes, for predicate mask processing.
>
> i will move on to create a PartitionMux class now that i have
> something i know will "work" on it, if you can do something less
> logic-costly but don't remove RippleLSB itself?

Sure, I'll modify reorder_results to do that for partitioned_compare.
>
> also apologies i didn't update the formal tests but it will basically
> be, where there are Assert output[2] == 0, that will now be Assert
> output[2] == output[1] and so on in a chain down to the relevant
> partitioned-LSB?

I'll do that too
--Michael