diff options
author | Tim Hutt <timothy.hutt@codasip.com> | 2024-09-25 16:53:31 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-09-25 16:53:31 +0100 |
commit | b63b12f2c8ad831828998af1dafcb38d657a3894 (patch) | |
tree | a7dda1d442e4c647e85da093a266c6f1f9729bcd /model/riscv_next_regs.sail | |
parent | 07a5036dc7511090048d34b1584bb80da3d3c1a9 (diff) | |
download | sail-riscv-master.zip sail-riscv-master.tar.gz sail-riscv-master.tar.bz2 |
Resolve the strange split between `read_CSR` (which is not `scattered`) and `ext_read_CSR` (which is). Same for `write_CSR` and `is_CSR_defined`.
I changed the return type of `read_CSR` from `option(xlenbits)` to `xlenbits` since the code must already check `is_CSR_defined` before calling `read_CSR`. The only function that returned `None()` was the `seed` CSR in `write_seed_csr`, which actually meant you would get a weird "Unhandled write to CSR" if you wrote to `seed`.
I renamed & reordered the files slightly to make the scattered mapping work, but I haven't moved any of the actual definitions yet. In future we should actually scatter them.
Fixes #410
Diffstat (limited to 'model/riscv_next_regs.sail')
0 files changed, 0 insertions, 0 deletions