yanelox opened this issue 3 years ago · 0 comments
For RV32, the encodings corresponding to shamt[5]=1 are reserved. Now it isn't.