diff options
| author | Tim Hutt <timothy.hutt@codasip.com> | 2023-08-11 16:00:51 +0100 |
|---|---|---|
| committer | Bill McSpadden <bill@riscv.org> | 2023-09-12 15:50:00 -0500 |
| commit | 4c77f62622c199f14e0bd6cdc6a6c427fe31b09e (patch) | |
| tree | af586e957a2c4e37cba06761960fc492aa220cd9 /model/riscv_csr_map.sail | |
| parent | e2e942c1e56ceea17a6a732a88391cc9b1276d0c (diff) | |
| download | sail-riscv-4c77f62622c199f14e0bd6cdc6a6c427fe31b09e.zip sail-riscv-4c77f62622c199f14e0bd6cdc6a6c427fe31b09e.tar.gz sail-riscv-4c77f62622c199f14e0bd6cdc6a6c427fe31b09e.tar.bz2 | |
Remove effects
Since Sail 0.15 (released Nov 2022), effects have had no effect. They now generate a deprecation warning. This commit removes all the effect annotations from the model, thus fixing the compiler warnings.
Diffstat (limited to 'model/riscv_csr_map.sail')
| -rw-r--r-- | model/riscv_csr_map.sail | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/model/riscv_csr_map.sail b/model/riscv_csr_map.sail index e3f8f5b..e3c1c20 100644 --- a/model/riscv_csr_map.sail +++ b/model/riscv_csr_map.sail @@ -180,13 +180,13 @@ overload to_str = {csr_name} /* returns whether a CSR is defined and accessible at a given address * and privilege */ -val ext_is_CSR_defined : (csreg, Privilege) -> bool effect {rreg} +val ext_is_CSR_defined : (csreg, Privilege) -> bool scattered function ext_is_CSR_defined /* returns the value of the CSR if it is defined */ -val ext_read_CSR : csreg -> option(xlenbits) effect {rreg} +val ext_read_CSR : csreg -> option(xlenbits) scattered function ext_read_CSR /* returns new value (after legalisation) if the CSR is defined */ -val ext_write_CSR : (csreg, xlenbits) -> option(xlenbits) effect {rreg, wreg, escape} +val ext_write_CSR : (csreg, xlenbits) -> option(xlenbits) scattered function ext_write_CSR |