Pseudo-code for rev8 seem to need a correction
slobodova opened this issue · comments
Sail code in Chapter 2 for rev8 seems to be incorrect:
j needs to start at xlen-1
and i can only go to (xlen-8)
riscv / riscv-bitmanip
Working draft of the proposed RISC-V Bitmanipulation extension