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

Luke Kenneth Casson Leighton lkcl at lkcl.net
Mon Jun 1 20:02:03 BST 2020

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".


More information about the libre-riscv-dev mailing list