[libre-riscv-dev] daily kan-ban update 01jun2020

[Luke Kenneth Casson Leighton]

On Mon, Jun 1, 2020 at 7:54 PM Michael Nolan <mtnolan2640 at gmail.com> wrote:

> I've got a proof for RegFileArray which shouldn't be too hard to modify
> for RegFile.

go for it.  btw, just so you know: because the wen is unary,
RegFileArray technically can do broadcast (multiple bit-enables:
effectively VSPLAT), and ren (effectively) is an ORing of all enabled
bits.  i doubt however that we'll use broadcast-ren

if you've some time, i could really use your help on sraw, and also
"rlwinm." - the CR0 version of "rlwinm".
https://bugs.libre-soc.org/show_bug.cgi?id=339

l.