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_sys_exceptions.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_sys_exceptions.sail')
| -rw-r--r-- | model/riscv_sys_exceptions.sail | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/model/riscv_sys_exceptions.sail b/model/riscv_sys_exceptions.sail index a4fc8f0..14cc05c 100644 --- a/model/riscv_sys_exceptions.sail +++ b/model/riscv_sys_exceptions.sail @@ -99,7 +99,7 @@ function prepare_trap_vector(p : Privilege, cause : Mcause) -> xlenbits = { * prepare_xret_target: used to get the value for control transfer to the xret target */ -val get_xret_target : Privilege -> xlenbits effect {rreg} +val get_xret_target : Privilege -> xlenbits function get_xret_target(p) = match p { Machine => mepc, @@ -107,7 +107,7 @@ function get_xret_target(p) = User => uepc } -val set_xret_target : (Privilege, xlenbits) -> xlenbits effect {rreg, wreg} +val set_xret_target : (Privilege, xlenbits) -> xlenbits function set_xret_target(p, value) = { let target = legalize_xepc(value); match p { @@ -118,7 +118,7 @@ function set_xret_target(p, value) = { target } -val prepare_xret_target : (Privilege) -> xlenbits effect {rreg, wreg} +val prepare_xret_target : (Privilege) -> xlenbits function prepare_xret_target(p) = get_xret_target(p) |