diff options
Diffstat (limited to 'model/riscv_addr_checks.sail')
-rw-r--r-- | model/riscv_addr_checks.sail | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/model/riscv_addr_checks.sail b/model/riscv_addr_checks.sail index 2471075..25b6396 100644 --- a/model/riscv_addr_checks.sail +++ b/model/riscv_addr_checks.sail @@ -53,20 +53,3 @@ function ext_data_get_addr(base : regbits, offset : xlenbits, acc : AccessType, function ext_handle_data_check_error(err : ext_data_addr_error) -> unit = () - -/* accessors for default architectural addresses, for use from within instructions */ -/* FIXME: these don't really belong in this file. */ -/* FIXME: see note in cheri_addr_checks.sail */ - -val get_next_pc : unit -> xlenbits effect {rreg} -function get_next_pc() = nextPC - -val set_next_pc : xlenbits -> unit effect {wreg} -function set_next_pc(pc) = { - nextPC = pc -} - -val tick_pc : unit -> unit effect {rreg, wreg} -function tick_pc() = { - PC = nextPC -} |