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

[bugzilla-daemon at libre-riscv.org]

http://bugs.libre-riscv.org/show_bug.cgi?id=173

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