Closed marcfedorow closed 3 years ago
@jnk0le it seems like old issues are not checked. Anyway thanks for pointing this out
I made a pull request here https://github.com/riscv/riscv-p-spec/pull/72. Should have checked the issues first
I have merged the pull requests. Thanks.
1110111_00000_00000_001_00000_1110111
can be bothKMMAWT2 x0 x0 x0
andKMMAWT2.u x0 x0 x0
according to 5.47. As I may suppose from Table 39KMMAWT2.u
's real encoding is1111111_...
.Same for PBSADA