[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