blob: a51e627b136a7e8b8e96239cf0bf358f90a022e6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
/* accessors for default architectural addresses, for use from within instructions */
/* 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
}
|