riscv / riscv-bitmanip

Working draft of the proposed RISC-V Bitmanipulation extension
https://jira.riscv.org/browse/RVG-122
Creative Commons Attribution 4.0 International
204 stars 65 forks source link

Pseudo-code for rev8 seem to need a correction #141

Closed slobodova closed 3 years ago

slobodova commented 3 years ago

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)