[libre-riscv-dev] [Bug 173] dynamic partitioned "shift"

bugzilla-daemon at libre-riscv.org bugzilla-daemon at libre-riscv.org
Fri Feb 14 20:53:52 GMT 2020


--- Comment #29 from Michael Nolan <mtnolan2640 at gmail.com> ---
> exccellent.  remember, it's *sigh* not as straightforward as truncating
> (bit-wise)... well, you saw what i had in the original, with the comparators.

> a *bit-wise* truncation also needs to be *shudder* based on the partition
> length.

This has been added to the shifter as well as the proof in the latest commit

You are receiving this mail because:
You are on the CC list for the bug.

More information about the libre-riscv-dev mailing list